1.32/1.09 YES 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 sub 1.32/1.09 1.32/1.09 z 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 0 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 z 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 sub 1.32/1.09 1.32/1.09 1.32/1.09 s 1.32/1.09 1.32/1.09 z 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 s 1.32/1.09 1.32/1.09 y 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 x 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 sub 1.32/1.09 1.32/1.09 z 1.32/1.09 1.32/1.09 1.32/1.09 y 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 x 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 2.4 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 ConCon 1.32/1.09 concon 1.3.2.0 1.32/1.09 ./concon -s --cert theBenchmark.trs 58 1.32/1.09 1.32/1.09 1.32/1.09 1.32/1.09 1.84/1.11 EOF