MAYBE
79.84/48.97	MAYBE
79.84/48.97	
79.84/48.97	Problem:
79.84/48.97	 a(x1) -> x1
79.84/48.97	 a(x1) -> b(c(x1))
79.84/48.97	 c(b(b(b(x1)))) -> b(a(b(a(x1))))
79.84/48.97	
79.84/48.97	Proof:
79.84/48.97	 Open
79.84/48.97	EOF