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