Incidence matrix according to symbol extension

x3x:s3s4s = trunc( x3o:s3s4s )   (N → ∞)

24N |   1   1   2   2 |   3  2  1   3  1 |  4 1 1
----+-----------------+------------------+-------
  2 | 12N   *   *   * |   3  2  0   0  0 |  4 1 0  parts of old edges
  2 |   * 12N   *   * |   1  0  2   0  0 |  2 0 1  underneath tips of former lacing trigs of 3pyrs
  2 |   *   * 24N   * |   1  0  0   2  0 |  2 0 1  underneath base-vertex of former lacing trigs of 3pyrs
  2 |   *   *   * 24N |   0  1  0   1  1 |  1 1 1  underneath vertices of other trigs
----+-----------------+------------------+-------
  6 |   3   1   2   0 | 12N  *  *   *  * |  2 0 0  trunc of former lacing trigs of 3pyrs
  6 |   3   0   0   3 |   * 8N  *   *  * |  1 1 0  trunc of former other trigs
  3 |   0   3   0   0 |   *  * 8N   *  * |  1 0 1  underneath tip of former 3-pyr
  3 |   0   0   2   1 |   *  *  * 24N  * |  1 0 1  underneath base-vertex of former 3-pyr
  4 |   0   0   0   4 |   *  *  *   * 6N |  0 1 1  underneath vertex of former oct
----+-----------------+------------------+-------
 12 |   6   3   6   3 |   3  1  1   3  0 | 8N * *  tut
 24 |  12   0   0  24 |   0  8  0   0  6 |  * N *  toe
 24 |   0  12  24  24 |   0  0  8  24  6 |  * * N  snic