4.42/2.26 YES 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 z 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 z 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 2.4 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 z 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 z 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 z 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 18 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 2 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 2 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 quad 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 12 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 2 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 2 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 4.42/2.26 x 4.42/2.26 4.42/2.26 4.42/2.26 y 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 1 4.42/2.26 4.42/2.26 4.42/2.26 s 4.42/2.26 1 4.42/2.26 0 4.42/2.26 2 4.42/2.26 4.42/2.26 4.42/2.26 add 4.42/2.26 2 4.42/2.26 1 4.42/2.26 0 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 ConCon 4.42/2.26 concon 1.4.0.0 4.42/2.26 concon -s --cert --conf A theBenchmark.trs 58 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 4.42/2.26 EOF