rows 1..8 match definition; figure rows: [[1], [0, 1], [1, 1, 0], [0, 1, 2, 2], [5, 5, 4, 2, 0]]
m_i vs G(i) mismatches for i< 350: []
m_1..m_24 [0, 0, 1, 1, 4, 4, 4, 4, 8, 8, 9, 9, 11, 11, 11, 11, 16, 16, 17, 17, 20, 20, 20, 20]
weakly increasing on i<350: True
u_k = 2J(k) = #diagonals with entry nonzero mod 2^k for k<=40
real 0.28
user 0.25
sys 0.01
