User blog comment:LittlePeng9/ITTM galore/@comment-73.15.199.22-20180315055036

3 tape machines that only use 0137 are equivalent to 1 tape 4 color so y[3]_4>=w^(w^2)