10.50/3.93 YES 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 le 10.50/3.93 10.50/3.93 10.50/3.93 0 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 true 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 le 10.50/3.93 10.50/3.93 10.50/3.93 s 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 0 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 false 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 le 10.50/3.93 10.50/3.93 10.50/3.93 s 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 s 10.50/3.93 10.50/3.93 y 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 le 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 y 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 app 10.50/3.93 10.50/3.93 10.50/3.93 nil 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 app 10.50/3.93 10.50/3.93 10.50/3.93 cons 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 xs 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 ys 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 cons 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 app 10.50/3.93 10.50/3.93 xs 10.50/3.93 10.50/3.93 10.50/3.93 ys 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 split 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 nil 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 pair 10.50/3.93 10.50/3.93 10.50/3.93 nil 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 nil 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 qsort 10.50/3.93 10.50/3.93 10.50/3.93 nil 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 nil 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 split 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 cons 10.50/3.93 10.50/3.93 y 10.50/3.93 10.50/3.93 10.50/3.93 ys 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 pair 10.50/3.93 10.50/3.93 xs 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 cons 10.50/3.93 10.50/3.93 y 10.50/3.93 10.50/3.93 10.50/3.93 zs 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 split 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 ys 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 pair 10.50/3.93 10.50/3.93 xs 10.50/3.93 10.50/3.93 10.50/3.93 zs 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 le 10.50/3.93 10.50/3.93 x 10.50/3.93 10.50/3.93 10.50/3.93 y 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 true 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.93 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 false 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 2.4 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U3 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U3 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 10.50/3.94 0 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 true 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 10.50/3.94 0 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 true 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 qsort 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 10.50/3.94 s 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 s 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 10.50/3.94 s 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 s 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 10.50/3.94 s 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 0 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 false 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 10.50/3.94 s 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 0 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 false 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 true 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U1 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U1 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U2 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U2 10.50/3.94 10.50/3.94 10.50/3.94 true 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 app 10.50/3.94 10.50/3.94 10.50/3.94 nil 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 false 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U1 10.50/3.94 10.50/3.94 10.50/3.94 split 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U1 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U2 10.50/3.94 10.50/3.94 10.50/3.94 le 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 U2 10.50/3.94 10.50/3.94 10.50/3.94 false 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 x 10.50/3.94 10.50/3.94 10.50/3.94 ys 10.50/3.94 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 pair 10.50/3.94 10.50/3.94 10.50/3.94 cons 10.50/3.94 10.50/3.94 y 10.50/3.94 10.50/3.94 10.50/3.94 xs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 zs 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 ConCon 10.50/3.94 concon 1.4.0.0 10.50/3.94 concon -s --cert --no-inlining theBenchmark.trs 58 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 10.50/3.94 EOF