| Step 1 | | State:$q0 | Amp:1 | TapePos:1 |
|
| Observation after step 1 | | State:$q0 | Amp:1 | TapePos:1 |
|
| Step 2 | | State:$q0 | Amp:1 | TapePos:2 |
|
| Observation after step 2 | | State:$q0 | Amp:1 | TapePos:2 |
|
| Step 3 | | State:$q0 | Amp:1 | TapePos:3 |
|
| Observation after step 3 | | State:$q0 | Amp:1 | TapePos:3 |
|
| Step 4 | | State:$q1 | Amp:1 | TapePos:4 |
|
| Observation after step 4 | | State:$q1 | Amp:1 | TapePos:4 |
|
| Step 5 | | State:$q1 | Amp:1 | TapePos:5 |
|
| Observation after step 5 | | State:$q1 | Amp:1 | TapePos:5 |
|
| Step 6 | | State:$q3 | Amp:1 | TapePos:4 |
|
| Observation after step 6 | | State:$q3 | Amp:1 | TapePos:4 |
|
| Step 7 | | State:$q3 | Amp:1 | TapePos:3 |
|
| Observation after step 7 | | State:$q3 | Amp:1 | TapePos:3 |
|
| Step 8 | | State:$q4 | Amp:2-1 / 2 | TapePos:2 | | State:$q5 | Amp:2-1 / 2 | TapePos:4 |
|
| Observation after step 8 | | State:$q4 | Amp:2-1 / 2 | TapePos:2 | | State:$q5 | Amp:2-1 / 2 | TapePos:4 |
|
| Step 9 | | State:$q4 | Amp:2-1 / 2 | TapePos:1 | | State:$q5 | Amp:2-1 / 2 | TapePos:5 |
|
| Observation after step 9 | | State:$q4 | Amp:2-1 / 2 | TapePos:1 | | State:$q5 | Amp:2-1 / 2 | TapePos:5 |
|
| Step 10 | | State:$q4 | Amp:2-1 / 2 | TapePos:0 | | State:$q4 | Amp:2-1 / 2 | TapePos:4 |
|
| Observation after step 10 | | State:$q4 | Amp:2-1 / 2 | TapePos:0 | | State:$q4 | Amp:2-1 / 2 | TapePos:4 |
|
| Step 11 | | State:$q5 | Amp:2-1 / 2 | TapePos:1 | | State:$q4 | Amp:2-1 / 2 | TapePos:3 |
|
| Observation after step 11 | | State:$q5 | Amp:2-1 / 2 | TapePos:1 | | State:$q4 | Amp:2-1 / 2 | TapePos:3 |
|
| Step 12 | | State:$q5 | Amp:2-1 / 2 | TapePos:2 | | State:$q6 | Amp:-1 / 2 | TapePos:3 | | State:$q7 | Amp:1 / 2 | TapePos:3 |
|
| Observation after step 12 | | State:$q5 | Amp:( 6-1 / 2 ) * 2 | TapePos:2 | | State:$q7 | Amp:3-1 / 2 | TapePos:3 |
|
| Step 13 | | State:$q5 | Amp:( 6-1 / 2 ) * 2 | TapePos:3 | | State:$q8 | Amp:6-1 / 2 | TapePos:2 | | State:$q9 | Amp:6-1 / 2 | TapePos:4 |
|
| Observation after step 13 | | State:$q5 | Amp:( 6-1 / 2 ) * 2 | TapePos:3 | | State:$q8 | Amp:6-1 / 2 | TapePos:2 | | State:$q9 | Amp:6-1 / 2 | TapePos:4 |
|
| Step 14 | | State:$q6 | Amp:3-1 / 2 | TapePos:3 | | State:$q7 | Amp:3-1 / 2 | TapePos:3 | | State:$q8 | Amp:6-1 / 2 | TapePos:1 | | State:$q16 | Amp:6-1 / 2 | TapePos:4 |
|
| Observation after step 14 | | State:$q7 | Amp:2-1 / 2 | TapePos:3 | | State:$q8 | Amp:1 / 2 | TapePos:1 | | State:$q16 | Amp:1 / 2 | TapePos:4 |
|
| Step 15 | | State:$q8 | Amp:1 / 2 | TapePos:2 | | State:$q9 | Amp:1 / 2 | TapePos:4 | | State:$q8 | Amp:1 / 2 | TapePos:0 | | State:$q9 | Amp:1 / 2 | TapePos:5 |
|
| Observation after step 15 | | State:$q8 | Amp:1 / 2 | TapePos:2 | | State:$q9 | Amp:1 / 2 | TapePos:4 | | State:$q8 | Amp:1 / 2 | TapePos:0 | | State:$q9 | Amp:1 / 2 | TapePos:5 |
|
| Step 16 | | State:$q8 | Amp:1 / 2 | TapePos:1 | | State:$q16 | Amp:1 / 2 | TapePos:4 | | State:$q9 | Amp:1 / 2 | TapePos:1 | | State:$q8 | Amp:1 / 2 | TapePos:4 |
|
| Observation after step 16 | | State:$q8 | Amp:1 / 2 | TapePos:1 | | State:$q16 | Amp:1 / 2 | TapePos:4 | | State:$q9 | Amp:1 / 2 | TapePos:1 | | State:$q8 | Amp:1 / 2 | TapePos:4 |
|
| Step 17 | | State:$q8 | Amp:1 / 2 | TapePos:0 | | State:$q9 | Amp:1 / 2 | TapePos:5 | | State:$q16 | Amp:1 / 2 | TapePos:1 | | State:$q8 | Amp:1 / 2 | TapePos:3 |
|
| Observation after step 17 | | State:$q8 | Amp:1 / 2 | TapePos:0 | | State:$q9 | Amp:1 / 2 | TapePos:5 | | State:$q16 | Amp:1 / 2 | TapePos:1 | | State:$q8 | Amp:1 / 2 | TapePos:3 |
|
| Step 18 | | State:$q9 | Amp:1 / 2 | TapePos:1 | | State:$q8 | Amp:1 / 2 | TapePos:4 | | State:$q9 | Amp:1 / 2 | TapePos:2 | | State:$q10 | Amp:-( 2-1 / 2 ) / 2 | TapePos:3 | | State:$q11 | Amp:( 2-1 / 2 ) / 2 | TapePos:3 |
|
| Observation after step 18 | | State:$q9 | Amp:( 14-1 / 2 ) * 2 | TapePos:1 | | State:$q8 | Amp:( 14-1 / 2 ) * 2 | TapePos:4 | | State:$q9 | Amp:( 14-1 / 2 ) * 2 | TapePos:2 | | State:$q11 | Amp:7-1 / 2 | TapePos:3 |
|
| Step 19 | | State:$q16 | Amp:( 14-1 / 2 ) * 2 | TapePos:1 | | State:$q8 | Amp:( 14-1 / 2 ) * 2 | TapePos:3 | | State:$q16 | Amp:( 14-1 / 2 ) * 2 | TapePos:2 | | State:$q12 | Amp:14-1 / 2 | TapePos:2 | | State:$q13 | Amp:14-1 / 2 | TapePos:4 |
|
| Observation after step 19 | | State:$q16 | Amp:( 14-1 / 2 ) * 2 | TapePos:1 | | State:$q8 | Amp:( 14-1 / 2 ) * 2 | TapePos:3 | | State:$q16 | Amp:( 14-1 / 2 ) * 2 | TapePos:2 | | State:$q12 | Amp:14-1 / 2 | TapePos:2 | | State:$q13 | Amp:14-1 / 2 | TapePos:4 |
|
| Step 20 | | State:$q9 | Amp:( 14-1 / 2 ) * 2 | TapePos:2 | | State:$q10 | Amp:-7-1 / 2 | TapePos:3 | | State:$q11 | Amp:7-1 / 2 | TapePos:3 | | State:$q9 | Amp:( 14-1 / 2 ) * 2 | TapePos:3 | | State:$q12 | Amp:14-1 / 2 | TapePos:1 | | State:$q17 | Amp:14-1 / 2 | TapePos:4 |
|
| Observation after step 20 | | State:$q9 | Amp:3-1 / 2 | TapePos:2 | | State:$q11 | Amp:6-1 / 2 | TapePos:3 | | State:$q9 | Amp:3-1 / 2 | TapePos:3 | | State:$q12 | Amp:( 3-1 / 2 ) / 2 | TapePos:1 | | State:$q17 | Amp:( 3-1 / 2 ) / 2 | TapePos:4 |
|
| Step 21 | | State:$q16 | Amp:3-1 / 2 | TapePos:2 | | State:$q12 | Amp:( 3-1 / 2 ) / 2 | TapePos:2 | | State:$q13 | Amp:( 3-1 / 2 ) / 2 | TapePos:4 | | State:$q10 | Amp:6-1 / 2 | TapePos:3 | | State:$q11 | Amp:6-1 / 2 | TapePos:3 | | State:$q12 | Amp:( 3-1 / 2 ) / 2 | TapePos:0 | | State:$q18 | Amp:( 3-1 / 2 ) / 2 | TapePos:4 |
|
| Observation after step 21 | | State:$q16 | Amp:( 10-1 / 2 ) * 2 | TapePos:2 | | State:$q12 | Amp:10-1 / 2 | TapePos:2 | | State:$q13 | Amp:10-1 / 2 | TapePos:4 | | State:$q11 | Amp:5-1 / 2 | TapePos:3 | | State:$q12 | Amp:10-1 / 2 | TapePos:0 | | State:$q18 | Amp:10-1 / 2 | TapePos:4 |
|
| Step 22 | | State:$q9 | Amp:( 10-1 / 2 ) * 2 | TapePos:3 | | State:$q12 | Amp:10-1 / 2 | TapePos:1 | | State:$q17 | Amp:10-1 / 2 | TapePos:4 | | State:$q12 | Amp:10-1 / 2 | TapePos:2 | | State:$q13 | Amp:10-1 / 2 | TapePos:4 | | State:$q13 | Amp:10-1 / 2 | TapePos:1 | | State:$q13 | Amp:10-1 / 2 | TapePos:5 |
|
| Observation after step 22 | | State:$q9 | Amp:( 10-1 / 2 ) * 2 | TapePos:3 | | State:$q12 | Amp:10-1 / 2 | TapePos:1 | | State:$q17 | Amp:10-1 / 2 | TapePos:4 | | State:$q12 | Amp:10-1 / 2 | TapePos:2 | | State:$q13 | Amp:10-1 / 2 | TapePos:4 | | State:$q13 | Amp:10-1 / 2 | TapePos:1 | | State:$q13 | Amp:10-1 / 2 | TapePos:5 |
|
| Step 23 | | State:$q10 | Amp:5-1 / 2 | TapePos:3 | | State:$q11 | Amp:5-1 / 2 | TapePos:3 | | State:$q12 | Amp:10-1 / 2 | TapePos:0 | | State:$q18 | Amp:10-1 / 2 | TapePos:4 | | State:$q12 | Amp:10-1 / 2 | TapePos:1 | | State:$q17 | Amp:10-1 / 2 | TapePos:4 | | State:$q17 | Amp:10-1 / 2 | TapePos:1 | | State:$q12 | Amp:10-1 / 2 | TapePos:4 |
|
| Observation after step 23 | | State:$q11 | Amp:1 / 2 | TapePos:3 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:0 | | State:$q18 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q17 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q17 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 |
|
| Step 24 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:2 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:5 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:0 | | State:$q18 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q18 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:3 |
|
| Observation after step 24 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:2 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:5 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:0 | | State:$q18 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q18 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:3 |
|
| Step 25 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q17 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q17 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q12 | Amp:( 2-1 / 2 ) / 2 | TapePos:4 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:1 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:5 | | State:$q13 | Amp:( 2-1 / 2 ) / 2 | TapePos:2 | | State:$q14 | Amp:-1 / 4 | TapePos:3 | | State:$q15 | Amp:1 / 4 | TapePos:3 |
|
| Observation after step 25 | | State:$q12 | Amp:7-1 / 2 | TapePos:1 | | State:$q17 | Amp:7-1 / 2 | TapePos:4 | | State:$q17 | Amp:7-1 / 2 | TapePos:1 | | State:$q12 | Amp:7-1 / 2 | TapePos:4 | | State:$q13 | Amp:7-1 / 2 | TapePos:1 | | State:$q13 | Amp:7-1 / 2 | TapePos:5 | | State:$q13 | Amp:7-1 / 2 | TapePos:2 |
|
| Step 26 | | State:$q12 | Amp:7-1 / 2 | TapePos:0 | | State:$q18 | Amp:7-1 / 2 | TapePos:4 | | State:$q18 | Amp:7-1 / 2 | TapePos:1 | | State:$q12 | Amp:7-1 / 2 | TapePos:3 | | State:$q17 | Amp:7-1 / 2 | TapePos:1 | | State:$q12 | Amp:7-1 / 2 | TapePos:4 | | State:$q17 | Amp:7-1 / 2 | TapePos:2 |
|
| Observation after step 26 | | State:$q12 | Amp:7-1 / 2 | TapePos:0 | | State:$q18 | Amp:7-1 / 2 | TapePos:4 | | State:$q18 | Amp:7-1 / 2 | TapePos:1 | | State:$q12 | Amp:7-1 / 2 | TapePos:3 | | State:$q17 | Amp:7-1 / 2 | TapePos:1 | | State:$q12 | Amp:7-1 / 2 | TapePos:4 | | State:$q17 | Amp:7-1 / 2 | TapePos:2 |
|
| Step 27 | | State:$q13 | Amp:7-1 / 2 | TapePos:1 | | State:$q13 | Amp:7-1 / 2 | TapePos:5 | | State:$q13 | Amp:7-1 / 2 | TapePos:2 | | State:$q14 | Amp:-14-1 / 2 | TapePos:3 | | State:$q15 | Amp:14-1 / 2 | TapePos:3 | | State:$q18 | Amp:7-1 / 2 | TapePos:1 | | State:$q12 | Amp:7-1 / 2 | TapePos:3 | | State:$q18 | Amp:7-1 / 2 | TapePos:2 |
|
| Observation after step 27 | | State:$q13 | Amp:6-1 / 2 | TapePos:1 | | State:$q13 | Amp:6-1 / 2 | TapePos:5 | | State:$q13 | Amp:6-1 / 2 | TapePos:2 | | State:$q18 | Amp:6-1 / 2 | TapePos:1 | | State:$q12 | Amp:6-1 / 2 | TapePos:3 | | State:$q18 | Amp:6-1 / 2 | TapePos:2 |
|
| Step 28 | | State:$q17 | Amp:6-1 / 2 | TapePos:1 | | State:$q12 | Amp:6-1 / 2 | TapePos:4 | | State:$q17 | Amp:6-1 / 2 | TapePos:2 | | State:$q13 | Amp:6-1 / 2 | TapePos:2 | | State:$q14 | Amp:-( 3-1 / 2 ) / 2 | TapePos:3 | | State:$q15 | Amp:( 3-1 / 2 ) / 2 | TapePos:3 | | State:$q13 | Amp:6-1 / 2 | TapePos:3 |
|
| Observation after step 28 | | State:$q17 | Amp:5-1 / 2 | TapePos:1 | | State:$q12 | Amp:5-1 / 2 | TapePos:4 | | State:$q17 | Amp:5-1 / 2 | TapePos:2 | | State:$q13 | Amp:5-1 / 2 | TapePos:2 | | State:$q13 | Amp:5-1 / 2 | TapePos:3 |
|
| Step 29 | | State:$q18 | Amp:5-1 / 2 | TapePos:1 | | State:$q12 | Amp:5-1 / 2 | TapePos:3 | | State:$q18 | Amp:5-1 / 2 | TapePos:2 | | State:$q17 | Amp:5-1 / 2 | TapePos:2 | | State:$q14 | Amp:10-1 / 2 | TapePos:3 | | State:$q15 | Amp:10-1 / 2 | TapePos:3 |
|
| Observation after step 29 | | State:$q18 | Amp:1 / 2 | TapePos:1 | | State:$q12 | Amp:1 / 2 | TapePos:3 | | State:$q18 | Amp:1 / 2 | TapePos:2 | | State:$q17 | Amp:1 / 2 | TapePos:2 |
|
| Step 30 | | State:$q13 | Amp:1 / 2 | TapePos:2 | | State:$q14 | Amp:-( 2-1 / 2 ) / 2 | TapePos:3 | | State:$q15 | Amp:( 2-1 / 2 ) / 2 | TapePos:3 | | State:$q13 | Amp:1 / 2 | TapePos:3 | | State:$q18 | Amp:1 / 2 | TapePos:2 |
|
| Observation after step 30 | | State:$q13 | Amp:3-1 / 2 | TapePos:2 | | State:$q13 | Amp:3-1 / 2 | TapePos:3 | | State:$q18 | Amp:3-1 / 2 | TapePos:2 |
|
| Step 31 | | State:$q17 | Amp:3-1 / 2 | TapePos:2 | | State:$q14 | Amp:6-1 / 2 | TapePos:3 | | State:$q15 | Amp:6-1 / 2 | TapePos:3 | | State:$q13 | Amp:3-1 / 2 | TapePos:3 |
|
| Observation after step 31 | | State:$q17 | Amp:2-1 / 2 | TapePos:2 | | State:$q13 | Amp:2-1 / 2 | TapePos:3 |
|
| Step 32 | | State:$q18 | Amp:2-1 / 2 | TapePos:2 | | State:$q14 | Amp:1 / 2 | TapePos:3 | | State:$q15 | Amp:1 / 2 | TapePos:3 |
|
| Observation after step 32 | | State:$q18 | Amp:1 | TapePos:2 |
|
| Step 33 | | State:$q13 | Amp:1 | TapePos:3 |
|
| Observation after step 33 | | State:$q13 | Amp:1 | TapePos:3 |
|
| Step 34 | | State:$q14 | Amp:2-1 / 2 | TapePos:3 | | State:$q15 | Amp:2-1 / 2 | TapePos:3 |
|
| Observation after step 34 | | Simulator Halted. There are no active non-halting states. |
|