n13:=
[* 13,
    [ PowerStructure(Inc) |
        IncidenceStructure< {@ IntegerRing() | 1, 2, 3, 4 @} | KMatrixSpace(GF(2), 4, 8) ! [ GF(2) | 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0,
        0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1 ] >,
        IncidenceStructure< {@ IntegerRing() | 1, 2, 3, 4, 5, 6, 7, 8, 9 @} | KMatrixSpace(GF(2), 9, 12) ! [ GF(2) | 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 
        0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1,
        0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0,
        0 ] >,
        IncidenceStructure< {@ IntegerRing() | 1, 2, 3, 4, 5, 6, 7, 8, 9 @} | KMatrixSpace(GF(2), 9, 12) ! [ GF(2) | 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 
        0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1,
        0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,
        1 ] >,
        IncidenceStructure< {@ IntegerRing() | 1, 2, 3, 4, 5, 6, 7, 8, 9 @} | KMatrixSpace(GF(2), 9, 12) ! [ GF(2) | 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 
        0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1,
        0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0,
        1 ] >
    ],
    [ PowerStructure(Inc) |
        IncidenceStructure< {@ IntegerRing() | 1, 2 @} | KMatrixSpace(GF(2), 2, 4) ! [ GF(2) | 1, 0, 1, 0, 0, 1, 0, 1 ] >
    ]
*]
;