2.80/1.82 YES 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 f 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 g 2.80/1.82 2.80/1.82 y 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 y 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 a 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 b 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.4 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 f 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 g 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 a 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 b 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 f 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 g 2.80/1.82 2.80/1.82 y 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 y 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 y 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 f 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 g 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 f 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 g 2.80/1.82 2.80/1.82 x 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 a 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 a 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 b 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 b 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 1 2.80/1.82 2.80/1.82 2.80/1.82 b 2.80/1.82 0 2.80/1.82 1 2.80/1.82 1 2.80/1.82 2.80/1.82 2.80/1.82 c 2.80/1.82 0 2.80/1.82 0 2.80/1.82 1 2.80/1.82 2.80/1.82 2.80/1.82 a 2.80/1.82 0 2.80/1.82 1 2.80/1.82 1 2.80/1.82 2.80/1.82 2.80/1.82 g 2.80/1.82 1 2.80/1.82 0 2.80/1.82 2 2.80/1.82 2.80/1.82 2.80/1.82 f 2.80/1.82 1 2.80/1.82 3 2.80/1.82 2 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 ConCon 2.80/1.82 concon 1.4.0.0 2.80/1.82 concon -s --cert --conf A theBenchmark.trs 58 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 2.80/1.82 EOF