194.76/49.84	MAYBE
194.76/49.84	
194.76/49.84	Problem:
194.76/49.84	 b(b(b(a(b(x1))))) -> b(a(b(b(a(b(x1))))))
194.76/49.84	 b(a(b(b(x1)))) -> b(b(a(b(a(b(x1))))))
194.76/49.84	 b(a(b(a(a(b(b(x1))))))) -> b(a(a(b(a(a(b(b(b(a(b(x1)))))))))))
194.76/49.84	
194.76/49.84	Proof:
194.76/49.84	 Open
194.76/49.85	EOF