MAYBE
180.65/55.76	MAYBE
180.65/55.76	
180.65/55.76	Problem:
180.65/55.76	 c(c(c(b(x)))) -> a(1(),b(c(x)))
180.65/55.76	 b(c(b(c(x)))) -> a(0(),a(1(),x))
180.65/55.76	 a(0(),x) -> c(c(x))
180.65/55.76	 a(1(),x) -> c(b(x))
180.65/55.76	
180.65/55.76	Proof:
180.65/55.76	 Open
180.65/55.77	EOF