5.08/2.46 YES 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 W 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 W 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 2.4 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 0 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 W 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 W 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U2 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U2 5.08/2.46 5.08/2.46 W 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 W 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U2 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 true 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 true 5.08/2.46 5.08/2.46 1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 1 5.08/2.46 true 5.08/2.46 1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 fib 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 false 5.08/2.46 5.08/2.46 1 5.08/2.46 3 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 false 5.08/2.46 5.08/2.46 1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 true 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 s 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 1 5.08/2.46 true 5.08/2.46 1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U1 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 pair 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 U2 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 plus 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 X 5.08/2.46 5.08/2.46 5.08/2.46 Y 5.08/2.46 5.08/2.46 5.08/2.46 Z 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 false 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 ConCon 5.08/2.46 concon 1.4.0.0 5.08/2.46 5.08/2.46 concon -s --cert --conf A --no-inlining theBenchmark.trs 58 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 5.08/2.46 EOF