9.28/3.58 YES 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 9.30/3.61 0 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 true 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 9.30/3.61 s 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 0 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 false 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 9.30/3.61 s 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 s 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 app 9.30/3.61 9.30/3.61 9.30/3.61 nil 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 app 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 app 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 nil 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 9.30/3.61 nil 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 nil 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 qsort 9.30/3.61 9.30/3.61 9.30/3.61 nil 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 nil 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 zs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 zs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 true 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 zs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 zs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 y 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 false 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 qsort 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 app 9.30/3.61 9.30/3.61 9.30/3.61 qsort 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 cons 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 qsort 9.30/3.61 9.30/3.61 zs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 x 9.30/3.61 9.30/3.61 9.30/3.61 xs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 ys 9.30/3.61 9.30/3.61 9.30/3.61 zs 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 2.4 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $4 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 x' 9.30/3.61 9.30/3.61 9.30/3.61 z 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $5 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 false 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $4 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 $6 9.30/3.61 9.30/3.61 9.30/3.61 $2 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $5 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 true 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $5 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 false 9.30/3.61 9.30/3.61 9.30/3.61 true 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $4 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 x' 9.30/3.61 9.30/3.61 9.30/3.61 z 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $5 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 true 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 split 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $4 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 pair 9.30/3.61 9.30/3.61 $6 9.30/3.61 9.30/3.61 9.30/3.61 $2 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $5 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 false 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 le 9.30/3.61 9.30/3.61 $3 9.30/3.61 9.30/3.61 9.30/3.61 $5 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 true 9.30/3.61 9.30/3.61 9.30/3.61 false 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 ConCon 9.30/3.61 concon 1.4.0.0 9.30/3.61 concon -s --cert theBenchmark.trs 58 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 9.30/3.61 EOF