180.65/53.85 MAYBE 180.65/53.85 180.65/53.85 Problem: 180.65/53.85 0(x1) -> 1(x1) 180.65/53.85 0(0(x1)) -> 0(x1) 180.65/53.85 3(4(5(x1))) -> 4(3(5(x1))) 180.65/53.85 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2 180.65/53.85 ( 180.65/53.85 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 180.65/53.85 -> 180.65/53.85 1(0(1(1(1(0(1(0(1(1(1(0(1(1(0(0(0(1(0(1(1(1(1(1(0(1(1(0(0(1(0(1(1(1( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0(1(1(1(1(1(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 180.65/53.85 0(0(0(0(0(0(0(0(0(1(1(0(1(1(1(1(0(0(1(0(0(1(1(1(1(1(0(1(1(0(0(0(1(0( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.85 0 180.65/53.85 ( 180.65/53.85 1 180.65/53.85 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 0 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 1 180.65/53.86 ( 180.65/53.86 0(0(1(0(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 180.65/53.86 -> 180.65/53.86 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2 180.65/53.86 ( 180.65/53.86 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 180.65/53.86 180.65/53.86 Proof: 180.65/53.86 Open 180.86/53.87 EOF