2.77/1.22 YES 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 2.77/1.22 cons 2.77/1.22 2.77/1.22 y 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 nil 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 2.77/1.22 nil 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 y 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 2.77/1.22 cons 2.77/1.22 2.77/1.22 x 2.77/1.22 2.77/1.22 2.77/1.22 ys 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 2.77/1.22 cons 2.77/1.22 2.77/1.22 x 2.77/1.22 2.77/1.22 2.77/1.22 xs 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 y 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 ys 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 xs 2.77/1.22 2.77/1.22 2.77/1.22 y 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.4 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 2.77/1.22 nil 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 x' 2.77/1.22 2.77/1.22 2.77/1.22 y' 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 2.77/1.22 nil 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 x' 2.77/1.22 2.77/1.22 2.77/1.22 y' 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 2.77/1.22 nil 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 x' 2.77/1.22 2.77/1.22 2.77/1.22 y' 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 isnoc 2.77/1.22 2.77/1.22 2.77/1.22 nil 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 tp2 2.77/1.22 2.77/1.22 x' 2.77/1.22 2.77/1.22 2.77/1.22 y' 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 ConCon 2.77/1.22 concon 1.3.2.0 2.77/1.22 ./concon -s --cert theBenchmark.trs 58 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.22 2.77/1.24 EOF