OFFSET
1,3
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
Brendan McKay, Jun 11 2021
STATUS
approved