234.91/60.14	MAYBE
234.91/60.14	
234.91/60.14	Problem:
234.91/60.14	 b(a(b(x))) -> b(a(a(a(b(x)))))
234.91/60.14	 b(a(a(a(b(a(a(b(x)))))))) -> b(a(a(b(a(a(b(a(a(a(b(b(x))))))))))))
234.91/60.14	 b(a(a(a(b(a(a(a(b(x))))))))) -> b(x)
234.91/60.14	 b(a(a(a(b(b(b(x))))))) -> b(b(b(a(a(a(b(x)))))))
234.91/60.14	 b(a(a(b(b(x))))) -> b(x)
234.91/60.14	 b(b(a(a(b(x))))) -> b(x)
234.91/60.14	 b(a(a(a(b(a(b(x))))))) -> b(x)
234.91/60.14	 b(a(b(a(a(a(b(x))))))) -> b(x)
234.91/60.14	
234.91/60.14	Proof:
234.91/60.14	 Open
234.91/60.15	/export/starexec/sandbox/solver/bin/starexec_run_SRS: line 3: 11576 Alarm clock             ./csi.sh $1 2> /dev/null
234.91/60.15	EOF