Классификация систем четверок Штейнера порядка 16, ранг которых не превышает 13

Система четверок Штейнера $S(v,4,3)$, или SQS($v$), порядка $v$ – это 3-схема $T(v,4,3,\lambda)$ с $\lambda=1$. Описываются все неизоморфные SQS(16), которые могут быть получены обобщенной каскадной конструкцией (ОК-конструкцией). Все эти системы Штейнера имеют ранг над $\mathbb F_2$ не более чем 13. В частности, имеется одна SQS(16) ранга 11 (точки и плоскости аффинной геометрии AG(4,2)), пятнадцать систем ранга 12 и 4131 система ранга 13. Все эти системы Штейнера являются разрешимыми.