User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-30754445-20170724222847/@comment-30754445-20170728035330

It looks that my claim is wrong, anyway.

The 'bad part' of (0,0)(1,1)(2,0)(1,1)(2,1)(3,1) is different in BM1 and BM2. So I must have misunderstood the source code in some way.