197.19/50.23	MAYBE
197.19/50.23	
197.19/50.23	Problem:
197.19/50.23	 b(a(b(a(b(a(a(x1))))))) -> a(a(a(a(a(a(b(a(b(a(b(a(b(a(x1))))))))))))))
197.19/50.23	
197.19/50.23	Proof:
197.19/50.23	 Open
197.19/50.23	EOF