2.63/1.77 NO 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 a 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 x 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 x 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.4 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 a 2.63/1.77 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 a 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 a 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 2.63/1.77 b 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 a 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 a 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 __N1 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 f 2.63/1.77 2.63/1.77 2.63/1.77 c 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 k 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 ConCon 2.63/1.77 concon 1.9.0.0 2.63/1.77 2.63/1.77 concon -s --inf 'tcap exeq oc etac' --cert theBenchmark.trs 58 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 2.63/1.77 EOF