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