User blog comment:Kyodaisuu/Update of Bashicu Matrix Calculator/@comment-24061664-20170411132551/@comment-5529393-20170413000518

It seems that (1,0)(1,1)(2,1) is already enough for the problem to show up; more generally, anything of the form (x,y) (x,y+1) (x+1,y+1) is going to continue on forever in BM1. Can we be sure that this pattern never appears in the calculation of (0,0,0)(1,1,1)?