4.16/1.93 YES 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 filter 4.16/1.93 4.16/1.93 n 4.16/1.93 4.16/1.93 4.16/1.93 r 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 nil 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 pair 4.16/1.93 4.16/1.93 4.16/1.93 mo 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 nil 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 filter 4.16/1.93 4.16/1.93 n 4.16/1.93 4.16/1.93 4.16/1.93 r 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 cons 4.16/1.93 4.16/1.93 x 4.16/1.93 4.16/1.93 4.16/1.93 xs 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 pair 4.16/1.93 4.16/1.93 x 4.16/1.93 4.16/1.93 4.16/1.93 xs 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 eq 4.16/1.93 4.16/1.93 4.16/1.93 div 4.16/1.93 4.16/1.93 x 4.16/1.93 4.16/1.93 4.16/1.93 n 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 pair 4.16/1.93 4.16/1.93 q 4.16/1.93 4.16/1.93 4.16/1.93 r 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 true 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.93 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 cons 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 xs 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 y 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 cons 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 ys 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 xs 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 y 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 ys 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 eq 4.16/1.94 4.16/1.94 4.16/1.94 div 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 q 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 false 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 2.4 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 cons 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 xs 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 xs 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 eq 4.16/1.94 4.16/1.94 4.16/1.94 div 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 q 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 true 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 eq 4.16/1.94 4.16/1.94 4.16/1.94 div 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 q 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 true 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 cons 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 xs 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 y 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 cons 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 ys 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 xs 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 y 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 ys 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 eq 4.16/1.94 4.16/1.94 4.16/1.94 div 4.16/1.94 4.16/1.94 x 4.16/1.94 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 q 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 false 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 conds 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 nil 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 4.16/1.94 mo 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 nil 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 4.16/1.94 n 4.16/1.94 4.16/1.94 4.16/1.94 r 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 nil 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 4.16/1.94 4.16/1.94 mo 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 nil 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 1 4.16/1.94 4.16/1.94 4.16/1.94 pair 4.16/1.94 2 4.16/1.94 0 4.16/1.94 2 4.16/1.94 4.16/1.94 4.16/1.94 mo 4.16/1.94 0 4.16/1.94 0 4.16/1.94 1 4.16/1.94 4.16/1.94 4.16/1.94 filter 4.16/1.94 3 4.16/1.94 1 4.16/1.94 1 4.16/1.94 4.16/1.94 4.16/1.94 nil 4.16/1.94 0 4.16/1.94 0 4.16/1.94 1 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 ConCon 4.16/1.94 concon 1.4.0.0 4.16/1.94 concon -s --cert --no-inlining theBenchmark.trs 58 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 4.16/1.94 EOF