2.71/1.26 YES 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 2.71/1.27 0 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 true 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 2.71/1.27 s 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 0 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 false 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 2.71/1.27 s 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 s 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 app 2.71/1.27 2.71/1.27 2.71/1.27 nil 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 app 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 app 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 nil 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 2.71/1.27 nil 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 nil 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 qsort 2.71/1.27 2.71/1.27 2.71/1.27 nil 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 nil 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 zs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 zs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 true 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 zs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 zs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 y 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 false 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 qsort 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 app 2.71/1.27 2.71/1.27 2.71/1.27 qsort 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 cons 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 qsort 2.71/1.27 2.71/1.27 zs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 x 2.71/1.27 2.71/1.27 2.71/1.27 xs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 ys 2.71/1.27 2.71/1.27 2.71/1.27 zs 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.4 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 y' 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 x' 2.71/1.27 2.71/1.27 2.71/1.27 z 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 $1 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 false 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 y' 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 $6 2.71/1.27 2.71/1.27 2.71/1.27 $2 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 $1 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 true 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 $1 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 false 2.71/1.27 2.71/1.27 2.71/1.27 true 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 y' 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 x' 2.71/1.27 2.71/1.27 2.71/1.27 z 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 $1 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 true 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 split 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 y' 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 pair 2.71/1.27 2.71/1.27 $6 2.71/1.27 2.71/1.27 2.71/1.27 $2 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 $1 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 false 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 le 2.71/1.27 2.71/1.27 z' 2.71/1.27 2.71/1.27 2.71/1.27 $1 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 true 2.71/1.27 2.71/1.27 2.71/1.27 false 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 ConCon 2.71/1.27 concon 1.3.2.0 2.71/1.27 ./concon -s --cert theBenchmark.trs 58 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 2.71/1.27 EOF