3.14/1.78 YES 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 pos 3.14/1.78 3.14/1.78 3.14/1.78 s 3.14/1.78 3.14/1.78 3.14/1.78 0 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 true 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 pos 3.14/1.78 3.14/1.78 3.14/1.78 0 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 false 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 pos 3.14/1.78 3.14/1.78 3.14/1.78 s 3.14/1.78 3.14/1.78 x 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 true 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 pos 3.14/1.78 3.14/1.78 x 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 true 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 pos 3.14/1.78 3.14/1.78 3.14/1.78 p 3.14/1.78 3.14/1.78 x 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 false 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 pos 3.14/1.78 3.14/1.78 x 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 false 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 2.4 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 ConCon 3.14/1.78 concon 1.4.0.0 3.14/1.78 concon -s --cert --no-inlining theBenchmark.trs 58 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 3.14/1.78 EOF