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