MAYBE
168.28/55.74	MAYBE
168.28/55.74	
168.28/55.74	Problem:
168.28/55.74	 b(b(b(x1))) -> b(b(a(b(a(b(a(b(x1))))))))
168.28/55.74	 b(a(b(b(x1)))) -> b(a(b(a(b(a(a(b(x1))))))))
168.28/55.74	 b(b(a(b(a(b(a(a(b(x1))))))))) -> b(b(b(b(a(b(x1))))))
168.28/55.74	
168.28/55.74	Proof:
168.28/55.74	 Open
168.28/55.74	EOF