5.13/2.53 YES 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 W 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 W 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 2.4 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 W 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 W 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 W 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 0 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 U1 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 U1 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 U1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 U1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 true 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 true 5.13/2.53 5.13/2.53 1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 1 5.13/2.53 1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 U1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 fib 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 false 5.13/2.53 5.13/2.53 1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 U1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 pair 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 Z 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 false 5.13/2.53 5.13/2.53 1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 true 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 plus 5.13/2.53 5.13/2.53 5.13/2.53 X 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 s 5.13/2.53 5.13/2.53 Y 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 1 5.13/2.53 true 5.13/2.53 1 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 ConCon 5.13/2.53 concon 1.4.0.0 5.13/2.53 concon -s --cert --conf A theBenchmark.trs 58 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 5.13/2.53 EOF