196.50/50.31	MAYBE
196.50/50.31	
196.50/50.31	Problem:
196.50/50.31	 a(b(a(b(a(a(b(a(b(a(x1)))))))))) -> a(b(a(a(b(a(b(a(b(a(a(b(a(b(x1))))))))))))))
196.50/50.31	
196.50/50.31	Proof:
196.50/50.31	 Open
196.50/50.32	EOF