5.25/2.38 YES 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 5.25/2.38 0 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 5.25/2.38 s 5.25/2.38 5.25/2.38 x 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 x 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 false 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 5.25/2.38 s 5.25/2.38 5.25/2.38 x 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 false 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 x 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 2.4 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 z 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 z 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 false 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 z 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 false 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 z 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 false 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 z 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 e 5.25/2.38 5.25/2.38 z 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 false 5.25/2.38 5.25/2.38 5.25/2.38 true 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 ConCon 5.25/2.38 concon 1.4.0.0 5.25/2.38 concon -s --cert --no-inlining theBenchmark.trs 58 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.38 5.25/2.39 EOF