3.96/4.80 YES 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 f 3.98/4.82 3.98/4.82 x 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 g 3.98/4.82 3.98/4.82 x 3.98/4.82 3.98/4.82 3.98/4.82 y 3.98/4.82 3.98/4.82 3.98/4.82 z 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 h 3.98/4.82 3.98/4.82 3.98/4.82 a 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 x 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 i 3.98/4.82 3.98/4.82 y 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 h 3.98/4.82 3.98/4.82 3.98/4.82 a 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 y 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 i 3.98/4.82 3.98/4.82 z 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 h 3.98/4.82 3.98/4.82 3.98/4.82 a 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 a 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 i 3.98/4.82 3.98/4.82 3.98/4.82 b 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 h 3.98/4.82 3.98/4.82 3.98/4.82 a 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 b 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 i 3.98/4.82 3.98/4.82 3.98/4.82 c 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 h 3.98/4.82 3.98/4.82 3.98/4.82 b 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 b 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 i 3.98/4.82 3.98/4.82 3.98/4.82 d 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 2.4 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 ConCon 3.98/4.82 concon 1.4.0.0 3.98/4.82 concon -s --cert --no-inlining theBenchmark.trs 58 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.82 3.98/4.84 EOF