4.76/2.17 YES 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 0 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 s 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 s 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 quad 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 z 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 z 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 2.4 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 0 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 s 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 s 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 quad 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 quad 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 z 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 z 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 x 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 add 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 y 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 z 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 ConCon 4.76/2.17 concon 1.4.0.0 4.76/2.17 concon -s --cert theBenchmark.trs 58 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 4.76/2.17 EOF