2.92/1.86 YES 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 b 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 f 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.4 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 b 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 b 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 f 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 f 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 U1 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 U1 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 x 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 1 2.92/1.86 2.92/1.86 2.92/1.86 U1 2.92/1.86 2 2.92/1.86 0 2.92/1.86 1 2.92/1.86 2.92/1.86 2.92/1.86 f 2.92/1.86 1 2.92/1.86 3 2.92/1.86 2 2.92/1.86 2.92/1.86 2.92/1.86 b 2.92/1.86 0 2.92/1.86 1 2.92/1.86 1 2.92/1.86 2.92/1.86 2.92/1.86 c 2.92/1.86 0 2.92/1.86 0 2.92/1.86 1 2.92/1.86 2.92/1.86 2.92/1.86 a 2.92/1.86 0 2.92/1.86 1 2.92/1.86 1 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 ConCon 2.92/1.86 concon 1.4.0.0 2.92/1.86 concon -s --cert --no-inlining theBenchmark.trs 58 2.92/1.86 2.92/1.86 2.92/1.86 2.92/1.86 2.94/1.87 EOF