5.65/2.26 YES 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 5.65/2.26 cons 5.65/2.26 5.65/2.26 y 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 nil 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 5.65/2.26 nil 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 y 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 5.65/2.26 cons 5.65/2.26 5.65/2.26 x 5.65/2.26 5.65/2.26 5.65/2.26 ys 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 5.65/2.26 cons 5.65/2.26 5.65/2.26 x 5.65/2.26 5.65/2.26 5.65/2.26 xs 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 y 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 ys 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 xs 5.65/2.26 5.65/2.26 5.65/2.26 y 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 2.4 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 5.65/2.26 nil 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 x' 5.65/2.26 5.65/2.26 5.65/2.26 y' 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 5.65/2.26 nil 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 x' 5.65/2.26 5.65/2.26 5.65/2.26 y' 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 5.65/2.26 nil 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 x' 5.65/2.26 5.65/2.26 5.65/2.26 y' 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 isnoc 5.65/2.26 5.65/2.26 5.65/2.26 nil 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 tp2 5.65/2.26 5.65/2.26 x' 5.65/2.26 5.65/2.26 5.65/2.26 y' 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 ConCon 5.65/2.26 concon 1.4.0.0 5.65/2.26 concon -s --cert --no-inlining theBenchmark.trs 58 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 5.65/2.26 EOF