198.15/50.70	MAYBE
198.15/50.70	
198.15/50.70	Problem:
198.15/50.70	 b(c(c(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(b(c(c(b(c(c(a(x1))))))))))))))
198.15/50.70	
198.15/50.70	Proof:
198.15/50.70	 Open
198.15/50.71	EOF