OFFSET
1,1
COMMENTS
The corresponding record values are 21, 17, 15, 14, 13, 12, 11, 10.
CROSSREFS
KEYWORD
nonn,base,fini,hard,more
AUTHOR
Franz Vrabec, Jul 16 2021
STATUS
approved