MAYBE 155.23/55.58 MAYBE 155.23/55.58 155.23/55.58 Problem: 155.23/55.58 0(0(0(0(x1)))) -> 1(0(1(1(x1)))) 155.23/55.58 1(0(0(1(x1)))) -> 0(0(1(0(x1)))) 155.23/55.58 155.23/55.58 Proof: 155.23/55.58 Open 155.23/55.59 EOF