2.39/1.18 YES 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 last 2.39/1.18 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 x 2.39/1.18 2.39/1.18 2.39/1.18 y 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 x 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 y 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 nil 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 last 2.39/1.18 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 x 2.39/1.18 2.39/1.18 2.39/1.18 y 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 z 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 y 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 u 2.39/1.18 2.39/1.18 2.39/1.18 v 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 last 2.39/1.18 2.39/1.18 y 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 z 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.4 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 y' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 z' 2.39/1.18 2.39/1.18 2.39/1.18 x' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 last 2.39/1.18 2.39/1.18 y' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 $2 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 y' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 nil 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 y' 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 z' 2.39/1.18 2.39/1.18 2.39/1.18 x' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 nil 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 x' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 nil 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 x' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 $3 2.39/1.18 2.39/1.18 2.39/1.18 z' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 last 2.39/1.18 2.39/1.18 x' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 $2 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 x' 2.39/1.18 2.39/1.18 nil 2.39/1.18 2.39/1.18 2.39/1.18 cons 2.39/1.18 2.39/1.18 $3 2.39/1.18 2.39/1.18 2.39/1.18 z' 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 ConCon 2.39/1.18 concon 1.3.2.0 2.39/1.18 ./concon -s --cert theBenchmark.trs 58 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 2.39/1.18 EOF