MAYBE
49.44/15.48	MAYBE
49.44/15.48	
49.44/15.48	Problem:
49.44/15.48	 a(a(a(b(x1)))) -> b(a(b(a(a(a(x1))))))
49.44/15.48	 a(b(x1)) -> x1
49.44/15.48	
49.44/15.48	Proof:
49.44/15.48	 Open
49.44/15.49	EOF