2.39/1.17 YES 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 filter 2.39/1.17 2.39/1.17 n 2.39/1.17 2.39/1.17 2.39/1.17 r 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 nil 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 2.39/1.17 mo 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 nil 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 filter 2.39/1.17 2.39/1.17 n 2.39/1.17 2.39/1.17 2.39/1.17 r 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 cons 2.39/1.17 2.39/1.17 x 2.39/1.17 2.39/1.17 2.39/1.17 xs 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 x 2.39/1.17 2.39/1.17 2.39/1.17 xs 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 eq 2.39/1.17 2.39/1.17 2.39/1.17 div 2.39/1.17 2.39/1.17 x 2.39/1.17 2.39/1.17 2.39/1.17 n 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 q 2.39/1.17 2.39/1.17 2.39/1.17 r 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 true 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 filter 2.39/1.17 2.39/1.17 n 2.39/1.17 2.39/1.17 2.39/1.17 r 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 cons 2.39/1.17 2.39/1.17 x 2.39/1.17 2.39/1.17 2.39/1.17 xs 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 y 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 cons 2.39/1.17 2.39/1.17 x 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 ys 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 filter 2.39/1.17 2.39/1.17 n 2.39/1.17 2.39/1.17 2.39/1.17 r 2.39/1.17 2.39/1.17 2.39/1.17 xs 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 y 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 ys 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 eq 2.39/1.17 2.39/1.17 2.39/1.17 div 2.39/1.17 2.39/1.17 x 2.39/1.17 2.39/1.17 2.39/1.17 n 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 q 2.39/1.17 2.39/1.17 2.39/1.17 r 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 false 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.4 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 filter 2.39/1.17 2.39/1.17 z' 2.39/1.17 2.39/1.17 2.39/1.17 $1 2.39/1.17 2.39/1.17 2.39/1.17 z 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 $2 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 ys 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 eq 2.39/1.17 2.39/1.17 2.39/1.17 div 2.39/1.17 2.39/1.17 y' 2.39/1.17 2.39/1.17 2.39/1.17 z' 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 x' 2.39/1.17 2.39/1.17 2.39/1.17 $1 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 false 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 eq 2.39/1.17 2.39/1.17 2.39/1.17 div 2.39/1.17 2.39/1.17 y' 2.39/1.17 2.39/1.17 2.39/1.17 z' 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 $6 2.39/1.17 2.39/1.17 2.39/1.17 $1 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 true 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 conds 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 eq 2.39/1.17 2.39/1.17 2.39/1.17 div 2.39/1.17 2.39/1.17 y' 2.39/1.17 2.39/1.17 2.39/1.17 z' 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 x' 2.39/1.17 2.39/1.17 2.39/1.17 y 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 true 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 filter 2.39/1.17 2.39/1.17 z' 2.39/1.17 2.39/1.17 2.39/1.17 y 2.39/1.17 2.39/1.17 2.39/1.17 z 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 $2 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 ys 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 eq 2.39/1.17 2.39/1.17 2.39/1.17 div 2.39/1.17 2.39/1.17 y' 2.39/1.17 2.39/1.17 2.39/1.17 z' 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 pair 2.39/1.17 2.39/1.17 $6 2.39/1.17 2.39/1.17 2.39/1.17 y 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 false 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 conds 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 ConCon 2.39/1.17 concon 1.3.2.0 2.39/1.17 ./concon -s --cert theBenchmark.trs 58 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 2.39/1.17 EOF