2.33/1.40 NO 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 a 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 x 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 x 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 2.33/1.40 c 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.4 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 a 2.33/1.40 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 c 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 a 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 __N1 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 __N1 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 __N1 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 a 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 __N1 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 2.33/1.40 b 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 a 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 __N1 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 f 2.33/1.40 2.33/1.40 __N1 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 k 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.40 2.33/1.41 2.33/1.41 2.33/1.41 __N1 2.33/1.41 2.33/1.41 c 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 a 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 c 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 f 2.33/1.41 2.33/1.41 2.33/1.41 c 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 k 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 __N1 2.33/1.41 2.33/1.41 c 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 f 2.33/1.41 2.33/1.41 2.33/1.41 c 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 k 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 ConCon 2.33/1.41 concon 1.10.0.0 2.33/1.41 2.33/1.41 concon -s --inf 'tcap exeq oc etac' --cert theBenchmark.trs 58 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 2.33/1.41 EOF