put 1111111111111111
state q1
filler 0

# input: a
# b=log4(a), a > 0

# @main
# entry point: q1
# exit point: q0

# call div6
0 q1 -> 0 q2 L
1 q1 -> 1 q2 L
0 q2 -> 0 Q1 R

# till we got 0
0 q3 -> 0 q0 S
1 q3 -> 1 q4 L
0 q4 -> 0 q5 L
1 q5 -> 1 q5 L
0 q5 -> 1 q6 R

1 q6 -> 1 q6 R
0 q6 -> 0 Q1 R

# @div4
# entry point: Q1
# exit point: q3

1 Q1 -> 1 Q2 R
0 Q1 -> 1 Q2 R

1 Q2 -> 0 Q3 R
0 Q2 -> 0 Q7 L

1 Q3 -> 0 Q4 R
0 Q3 -> 0 Q7 L

1 Q4 -> 0 Q8 R
0 Q4 -> 0 Q7 L

# remain < 4
0 Q7 -> 0 Q7 L
1 Q7 -> 0 Q15 L

# remain = 4
0 Q8 -> 0 Q9 L
0 Q9 -> 0 Q9 L
1 Q9 -> 1 Q15 L

# remain > 4
1 Q8 -> 1 Q10 L
0 Q10 -> 0 Q10 L
1 Q10 -> 1 Q11 R

0 Q11 -> 1 Q12 R
0 Q12 -> 0 Q12 R
1 Q12 -> 0 Q2 R

# find leftmost 1
1 Q15 -> 1 Q15 L
0 Q15 -> 0 q3 R