5.02/2.09 YES 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 5.02/2.09 0 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 5.02/2.09 s 5.02/2.09 5.02/2.09 x 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 x 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 false 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 5.02/2.09 s 5.02/2.09 5.02/2.09 x 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 false 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 x 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 2.4 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 z 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 z 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 false 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 z 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 false 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 z 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 false 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 z 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 e 5.02/2.09 5.02/2.09 z 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 false 5.02/2.09 5.02/2.09 5.02/2.09 true 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 ConCon 5.02/2.09 concon 1.4.0.0 5.02/2.09 concon -s --cert theBenchmark.trs 58 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 5.02/2.09 EOF