MAYBE 260.57/76.42 MAYBE 260.57/76.42 260.57/76.42 Problem: 260.57/76.42 0(x1) -> 260.57/76.42 1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.42 ( 260.57/76.42 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1 260.57/76.43 ( 260.57/76.43 1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 260.57/76.43 2(x1) -> 260.57/76.43 3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3 260.57/76.43 ( 260.57/76.43 3(3(3(3(3(3(3(3(3(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 260.57/76.43 0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1)))))))) 260.57/76.43 260.57/76.43 Proof: 260.57/76.43 Open 260.57/76.44 EOF