199.05/50.70	MAYBE
199.05/50.70	
199.05/50.70	Problem:
199.05/50.70	 b(a(b(b(a(b(b(a(b(a(b(a(x1)))))))))))) -> a(b(a(b(a(b(b(a(b(b(a(b(b(a(x1))))))))))))))
199.05/50.70	
199.05/50.70	Proof:
199.05/50.70	 Open
199.05/50.71	EOF