1.55/0.91 YES 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 size 1.55/0.91 1.55/0.91 1.55/0.91 empty 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 0 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 size 1.55/0.91 1.55/0.91 1.55/0.91 push 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 y 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 1.55/0.91 size 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 m 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 1.55/0.91 0 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 pop 1.55/0.91 1.55/0.91 1.55/0.91 empty 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 empty 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 pop 1.55/0.91 1.55/0.91 1.55/0.91 push 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 y 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 le 1.55/0.91 1.55/0.91 1.55/0.91 size 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 m 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 true 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 top 1.55/0.91 1.55/0.91 1.55/0.91 empty 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 eentry 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 top 1.55/0.91 1.55/0.91 1.55/0.91 push 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 y 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 y 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 le 1.55/0.91 1.55/0.91 1.55/0.91 size 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 m 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 true 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 le 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 0 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 false 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 le 1.55/0.91 1.55/0.91 1.55/0.91 0 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 true 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 le 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 s 1.55/0.91 1.55/0.91 y 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 le 1.55/0.91 1.55/0.91 x 1.55/0.91 1.55/0.91 1.55/0.91 y 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 2.4 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 ConCon 1.55/0.91 concon 1.3.2.0 1.55/0.91 ./concon -s --cert theBenchmark.trs 58 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 1.55/0.91 EOF