200.26/50.72	MAYBE
200.26/50.72	
200.26/50.72	Problem:
200.26/50.72	 a(b(a(a(b(a(x1)))))) -> a(a(b(a(b(a(b(a(b(a(a(b(x1))))))))))))
200.26/50.72	
200.26/50.72	Proof:
200.26/50.72	 Open
200.26/50.73	EOF