3.48/1.85 YES 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 plus 3.48/1.88 3.48/1.88 3.48/1.88 0 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 y 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 y 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 plus 3.48/1.88 3.48/1.88 3.48/1.88 s 3.48/1.88 3.48/1.88 x 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 y 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 s 3.48/1.88 3.48/1.88 3.48/1.88 plus 3.48/1.88 3.48/1.88 x 3.48/1.88 3.48/1.88 3.48/1.88 y 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 fib 3.48/1.88 3.48/1.88 3.48/1.88 0 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 pair 3.48/1.88 3.48/1.88 3.48/1.88 0 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 s 3.48/1.88 3.48/1.88 3.48/1.88 0 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 fib 3.48/1.88 3.48/1.88 3.48/1.88 s 3.48/1.88 3.48/1.88 x 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 pair 3.48/1.88 3.48/1.88 z 3.48/1.88 3.48/1.88 3.48/1.88 w 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 fib 3.48/1.88 3.48/1.88 x 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 pair 3.48/1.88 3.48/1.88 y 3.48/1.88 3.48/1.88 3.48/1.88 z 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 plus 3.48/1.88 3.48/1.88 y 3.48/1.88 3.48/1.88 3.48/1.88 z 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 w 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 2.4 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 ConCon 3.48/1.88 concon 1.4.0.0 3.48/1.88 concon -s --cert --no-inlining theBenchmark.trs 58 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 3.48/1.88 EOF