2.88/1.86 YES 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 2.88/1.86 mo 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 cons 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 eq 2.88/1.86 2.88/1.86 2.88/1.86 div 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 q 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 true 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 cons 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 y 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 cons 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 ys 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 y 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 ys 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 eq 2.88/1.86 2.88/1.86 2.88/1.86 div 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 q 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 false 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.4 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 cons 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 eq 2.88/1.86 2.88/1.86 2.88/1.86 div 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 q 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 true 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 eq 2.88/1.86 2.88/1.86 2.88/1.86 div 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 q 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 true 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 cons 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 y 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 cons 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 ys 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 xs 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 y 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 ys 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 eq 2.88/1.86 2.88/1.86 2.88/1.86 div 2.88/1.86 2.88/1.86 x 2.88/1.86 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 q 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 false 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 conds 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 2.88/1.86 mo 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 2.88/1.86 n 2.88/1.86 2.88/1.86 2.88/1.86 r 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2.88/1.86 2.88/1.86 mo 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 1 2.88/1.86 2.88/1.86 2.88/1.86 pair 2.88/1.86 2 2.88/1.86 0 2.88/1.86 2 2.88/1.86 2.88/1.86 2.88/1.86 mo 2.88/1.86 0 2.88/1.86 0 2.88/1.86 1 2.88/1.86 2.88/1.86 2.88/1.86 filter 2.88/1.86 3 2.88/1.86 1 2.88/1.86 1 2.88/1.86 2.88/1.86 2.88/1.86 nil 2.88/1.86 0 2.88/1.86 0 2.88/1.86 1 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 ConCon 2.88/1.86 concon 1.4.0.0 2.88/1.86 concon -s --cert --conf A theBenchmark.trs 58 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 2.88/1.86 EOF