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.