14.77/4.53 YES 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 ys 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 zs1 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 zs2 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 ys 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 zs1 14.77/4.53 14.77/4.53 14.77/4.53 zs2 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 true 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 ys 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 zs1 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 zs2 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 ys 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 zs1 14.77/4.53 14.77/4.53 14.77/4.53 zs2 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 false 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 14.77/4.53 0 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 true 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 14.77/4.53 s 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 0 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 false 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 14.77/4.53 s 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 s 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 2.4 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 14.77/4.53 0 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 true 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 14.77/4.53 0 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 true 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 nil 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 ys 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 zs1 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 zs2 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 ys 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 tp2 14.77/4.53 14.77/4.53 zs1 14.77/4.53 14.77/4.53 14.77/4.53 zs2 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 le 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 true 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 split 14.77/4.53 14.77/4.53 x 14.77/4.53 14.77/4.53 14.77/4.53 14.77/4.53 cons 14.77/4.53 14.77/4.53 y 14.77/4.53 14.77/4.53 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U1 14.77/4.54 14.77/4.54 14.77/4.54 split 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U1 14.77/4.54 14.77/4.54 14.77/4.54 tp2 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U2 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U2 14.77/4.54 14.77/4.54 14.77/4.54 true 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 tp2 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 cons 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 14.77/4.54 s 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 s 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 14.77/4.54 s 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 s 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 split 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 cons 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 tp2 14.77/4.54 14.77/4.54 14.77/4.54 cons 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 split 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 tp2 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 false 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 split 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 cons 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U1 14.77/4.54 14.77/4.54 14.77/4.54 split 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U1 14.77/4.54 14.77/4.54 14.77/4.54 tp2 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U2 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 U2 14.77/4.54 14.77/4.54 14.77/4.54 false 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 ys 14.77/4.54 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 tp2 14.77/4.54 14.77/4.54 14.77/4.54 cons 14.77/4.54 14.77/4.54 y 14.77/4.54 14.77/4.54 14.77/4.54 zs1 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 zs2 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 14.77/4.54 s 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 0 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 false 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 le 14.77/4.54 14.77/4.54 14.77/4.54 s 14.77/4.54 14.77/4.54 x 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 0 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 false 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 ConCon 14.77/4.54 concon 1.4.0.0 14.77/4.54 concon -s --cert --no-inlining theBenchmark.trs 58 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 14.77/4.54 EOF