MAYBE 254.53/76.38 MAYBE 254.53/76.38 254.53/76.38 Problem: 254.53/76.38 0(x1) -> 254.53/76.38 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( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.38 ( 254.53/76.38 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1 254.53/76.39 ( 254.53/76.39 1(1(1(1(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 254.53/76.39 2(x1) -> 254.53/76.39 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( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.39 3 254.53/76.39 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 254.53/76.40 ( 254.53/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3 255.08/76.40 ( 255.08/76.40 3(3(3(3(3(3(3(3(3(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 255.08/76.40 0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1)))))))) 255.08/76.40 255.08/76.40 Proof: 255.08/76.40 Open 255.08/76.40 EOF