1.32/1.10 YES 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 add 1.32/1.10 1.32/1.10 x 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 0 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 x 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 add 1.32/1.10 1.32/1.10 x 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 s 1.32/1.10 1.32/1.10 y 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 s 1.32/1.10 1.32/1.10 z 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 add 1.32/1.10 1.32/1.10 x 1.32/1.10 1.32/1.10 1.32/1.10 y 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 z 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 2.4 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 ConCon 1.32/1.10 concon 1.3.2.0 1.32/1.10 ./concon -s --cert theBenchmark.trs 58 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 1.32/1.10 EOF