199.36/50.59	MAYBE
199.36/50.59	
199.36/50.59	Problem:
199.36/50.59	 b(a(b(b(b(a(b(b(x1)))))))) -> b(b(b(a(b(a(b(b(b(a(b(x1)))))))))))
199.36/50.59	
199.36/50.59	Proof:
199.36/50.59	 Open
199.36/50.60	EOF