197.63/50.58 MAYBE 197.63/50.58 197.63/50.58 Problem: 197.63/50.58 a(b(a(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(a(b(a(a(a(a(b(x1)))))))))))))) 197.63/50.58 197.63/50.58 Proof: 197.63/50.58 Open 197.77/50.59 EOF