These matrices and triangular sequences are machine generated: all we have done is invent the matrix form "tri-antidiagonal matrices" and get a way to compute it. Matrices: {{4}}, {{-1, 4}, {4, -1}}, {{0, -1, 4}, {-1, 4, -1}, {4, -1, 0}}, {{0, 0, -1, 4}, {0, -1, 4, -1}, {-1, 4, -1, 0}, {4, -1, 0, 0}}, {{0, 0, 0, -1, 4}, {0, 0, -1, 4, -1}, {0, -1, 4, -1, 0}, {-1, 4, -1, 0, 0}, {4, -1, 0, 0,0}}