← BB5 code

Entry facet

Parameters & instances

Family variables and every recorded [[n, k, d]] instance.

Recorded instances

Instancenkd
primaryn=30 verifiedk=4 verifiedd=5 verified