194.32/50.67	MAYBE
194.32/50.67	
194.32/50.67	Problem:
194.32/50.67	 b(b(c(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(b(b(c(b(b(c(a(x1))))))))))))))
194.32/50.67	
194.32/50.67	Proof:
194.32/50.67	 Open
194.61/50.68	EOF