3.42/1.74 NO 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 0 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 3.42/1.75 0 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 leq 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 false 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 3.42/1.75 0 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 2.4 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 leq 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 false 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 leq 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 false 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 2 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 z 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x' 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 y 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 z 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 x' 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 add 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 gcd 3.42/1.75 3.42/1.75 3.42/1.75 s 3.42/1.75 3.42/1.75 y' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 z' 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 ConCon 3.42/1.75 concon 1.4.0.0 3.42/1.75 concon -s --cert theBenchmark.trs 58 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 3.42/1.75 EOF