2.83/1.81 YES 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 b 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 f 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.4 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 b 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 b 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 f 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 f 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 U1 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 U1 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 x 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 1 2.83/1.82 2.83/1.82 2.83/1.82 U1 2.83/1.82 2 2.83/1.82 0 2.83/1.82 1 2.83/1.82 2.83/1.82 2.83/1.82 f 2.83/1.82 1 2.83/1.82 3 2.83/1.82 2 2.83/1.82 2.83/1.82 2.83/1.82 b 2.83/1.82 0 2.83/1.82 1 2.83/1.82 1 2.83/1.82 2.83/1.82 2.83/1.82 c 2.83/1.82 0 2.83/1.82 0 2.83/1.82 1 2.83/1.82 2.83/1.82 2.83/1.82 a 2.83/1.82 0 2.83/1.82 1 2.83/1.82 1 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 ConCon 2.83/1.82 concon 1.4.0.0 2.83/1.82 2.83/1.82 concon -s --cert --conf A --no-inlining theBenchmark.trs 58 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 2.83/1.82 EOF