3.24/2.12 YES 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 w 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 w 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 2.4 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 3.24/2.13 0 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 3.24/2.13 s 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 w 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 fib 3.24/2.13 3.24/2.13 x 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 pair 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 w 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 plus 3.24/2.13 3.24/2.13 y 3.24/2.13 3.24/2.13 3.24/2.13 z 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 w 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 ConCon 3.24/2.13 concon 1.4.0.0 3.24/2.13 concon -s --cert theBenchmark.trs 58 3.24/2.13 3.24/2.13 3.24/2.13 3.24/2.13 3.25/2.15 EOF