1.85/1.10 YES 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 plus 1.85/1.10 1.85/1.10 1.85/1.10 0 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 X 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 X 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 plus 1.85/1.10 1.85/1.10 1.85/1.10 s 1.85/1.10 1.85/1.10 X 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 Y 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 plus 1.85/1.10 1.85/1.10 X 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 s 1.85/1.10 1.85/1.10 Y 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 fib 1.85/1.10 1.85/1.10 1.85/1.10 0 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 pair 1.85/1.10 1.85/1.10 1.85/1.10 s 1.85/1.10 1.85/1.10 1.85/1.10 0 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 0 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 fib 1.85/1.10 1.85/1.10 1.85/1.10 s 1.85/1.10 1.85/1.10 X 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 pair 1.85/1.10 1.85/1.10 W 1.85/1.10 1.85/1.10 1.85/1.10 Y 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 fib 1.85/1.10 1.85/1.10 X 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 pair 1.85/1.10 1.85/1.10 Y 1.85/1.10 1.85/1.10 1.85/1.10 Z 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 plus 1.85/1.10 1.85/1.10 Y 1.85/1.10 1.85/1.10 1.85/1.10 Z 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 W 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 2.4 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 ConCon 1.85/1.10 concon 1.3.2.0 1.85/1.10 ./concon -s --cert theBenchmark.trs 58 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 1.85/1.10 EOF