5.30/2.19 YES 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 last 5.30/2.19 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 x 5.30/2.19 5.30/2.19 5.30/2.19 y 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 x 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 y 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 nil 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 last 5.30/2.19 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 x 5.30/2.19 5.30/2.19 5.30/2.19 y 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 z 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 y 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 u 5.30/2.19 5.30/2.19 5.30/2.19 v 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 last 5.30/2.19 5.30/2.19 y 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 z 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 2.4 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 $3 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 z' 5.30/2.19 5.30/2.19 5.30/2.19 x' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 last 5.30/2.19 5.30/2.19 $3 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 $2 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 $3 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 nil 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 $3 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 z' 5.30/2.19 5.30/2.19 5.30/2.19 x' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 nil 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 y' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 nil 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 y' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 $3 5.30/2.19 5.30/2.19 5.30/2.19 z' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 last 5.30/2.19 5.30/2.19 y' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 $2 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 y' 5.30/2.19 5.30/2.19 nil 5.30/2.19 5.30/2.19 5.30/2.19 cons 5.30/2.19 5.30/2.19 $3 5.30/2.19 5.30/2.19 5.30/2.19 z' 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 ConCon 5.30/2.19 concon 1.4.0.0 5.30/2.19 concon -s --cert --no-inlining theBenchmark.trs 58 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 5.30/2.19 EOF