0 x x r 1
0 _ _ l wipe_le2
0 * * r 0        

1 x x r 2
1 _ _ l wipe_le2
1 * * r 1


2 x x r 3
2 _ _ l wipe_le2
2 * * r 2


3 x x r 4
3 _ _ l wipe_R
3 * * r 3

4 x x r 5
4 _ _ l wipe_R
4 * * r 4

5 x x r 6plus      
5 _ _ l wipe_R
5 * * r 5


6plus * * r 6plus
6plus _ _ l wipe_ge6

wipe_le2 * _ l wipe_le2
wipe_le2 _ _ r write_le2_a

wipe_R * _ l wipe_R
wipe_R _ _ r write_R_a

wipe_ge6 * _ l wipe_ge6
wipe_ge6 _ _ r write_ge6_a



; "<= 2"
write_le2_a _ < r write_le2_b
write_le2_b _ = r write_le2_c
write_le2_c _ 2 r halt

;"R"
write_R_a _ R r halt

; ">= 6"
write_ge6_a _ > r write_ge6_b
write_ge6_b _ = r write_ge6_c
write_ge6_c _ 6 r halt