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