196.64/50.07	MAYBE
196.64/50.07	
196.64/50.07	Problem:
196.64/50.07	 a(b(a(b(b(b(a(b(b(a(b(x1))))))))))) -> a(b(b(a(b(b(b(a(b(a(b(b(b(a(x1))))))))))))))
196.64/50.07	
196.64/50.07	Proof:
196.64/50.07	 Open
196.64/50.08	EOF