2.97/1.72 NO 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 gcd 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 gcd 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 gcd 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 gcd 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 gcd 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 0 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 gcd 2.97/1.72 2.97/1.72 2.97/1.72 0 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 2.97/1.72 0 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 2.97/1.72 s 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 2.97/1.72 s 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.4 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 2.97/1.72 0 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 x 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 2.97/1.72 0 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 y 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 x 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 iadd 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 tp2 2.97/1.72 2.97/1.72 2.97/1.72 0 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 add 2.97/1.72 2.97/1.72 z 2.97/1.72 2.97/1.72 2.97/1.72 x' 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 ConCon 2.97/1.72 concon 1.4.0.0 2.97/1.72 concon -s --cert theBenchmark.trs 58 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 2.97/1.72 EOF