199.46/50.56	MAYBE
199.46/50.56	
199.46/50.56	Problem:
199.46/50.56	 a(b(a(b(a(b(a(a(b(a(b(a(x1)))))))))))) -> a(a(b(a(b(a(a(b(a(b(a(b(a(b(x1))))))))))))))
199.46/50.56	
199.46/50.56	Proof:
199.46/50.56	 Open
199.46/50.56	EOF