199.57/50.88	MAYBE
199.57/50.88	
199.57/50.88	Problem:
199.57/50.88	 b(c(b(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(a(b(c(b(b(c(b(x1))))))))))))))
199.57/50.88	
199.57/50.88	Proof:
199.57/50.88	 Open
199.57/50.89	EOF