This Turing Machine accepts
L = {w | w = aibjck; i,j,k > 0}

Current state: q0
Step: 0
Cv: 30.1 30.2 30.3 31 32 33 34
q0