5.13/2.17 YES 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 nil 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 u 5.13/2.17 5.13/2.17 5.13/2.17 v 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 2.4 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 nil 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 u 5.13/2.17 5.13/2.17 5.13/2.17 v 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 x 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 u 5.13/2.17 5.13/2.17 5.13/2.17 v 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 last 5.13/2.17 5.13/2.17 y 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 $2 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 x' 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 $2 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 nil 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 $2 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 z 5.13/2.17 5.13/2.17 5.13/2.17 x' 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 nil 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 $2 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 nil 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 $2 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 y' 5.13/2.17 5.13/2.17 5.13/2.17 z' 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 $2 5.13/2.17 5.13/2.17 nil 5.13/2.17 5.13/2.17 5.13/2.17 cons 5.13/2.17 5.13/2.17 y' 5.13/2.17 5.13/2.17 5.13/2.17 z' 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 ConCon 5.13/2.17 concon 1.4.0.0 5.13/2.17 concon -s --cert theBenchmark.trs 58 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 5.13/2.17 EOF