4.38/2.14 YES 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 f 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 a 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 g 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 b 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 2.4 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 f 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 a 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 g 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 b 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 g 4.41/2.15 4.41/2.15 x 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 b 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 ConCon 4.41/2.15 concon 1.9.0.0 4.41/2.15 4.41/2.15 concon -s --inf 'tcap exeq oc etac' --cert theBenchmark.trs 58 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 4.41/2.15 EOF