OFFSET
1,2
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
Brendan McKay, Jun 12 2021
STATUS
approved