MAYBE
82.85/53.05	MAYBE
82.85/53.05	
82.85/53.05	Problem:
82.85/53.05	 a(x1) -> x1
82.85/53.05	 a(a(b(x1))) -> b(a(b(a(x1))))
82.85/53.05	 b(b(b(x1))) -> a(x1)
82.85/53.05	
82.85/53.05	Proof:
82.85/53.05	 Open
82.85/53.06	EOF