OFFSET
1,2
REFERENCES
Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, pages 135 and 190, Problem 31.
LINKS
Samuel S. Wagstaff, Jr., On k-free sequences of integers, Math. Comp., 26 (1972), 767-771.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Don Knuth, Aug 05 2013
STATUS
approved