199.22/50.68	MAYBE
199.22/50.68	
199.22/50.68	Problem:
199.22/50.68	 a(a(b(b(a(b(a(b(a(x1))))))))) -> a(b(a(b(a(b(a(a(b(b(a(a(b(x1)))))))))))))
199.22/50.68	
199.22/50.68	Proof:
199.22/50.68	 Open
199.22/50.69	EOF