| [ |
| {"n": 1, "s": 1.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "trivial", "exact": "1"}, |
| {"n": 2, "s": 2.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Göbel 1979)", "exact": "2"}, |
| {"n": 3, "s": 2.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Göbel 1979)", "exact": "2"}, |
| {"n": 4, "s": 2.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "trivial", "exact": "2"}, |
| {"n": 5, "s": 2.70710678118654, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Göbel 1979)", "exact": "2 + sqrt(2)/2"}, |
| {"n": 6, "s": 3.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Kearney & Shiu 2001)", "exact": "3"}, |
| {"n": 7, "s": 3.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Friedman 1999)", "exact": "3"}, |
| {"n": 8, "s": 3.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Friedman 1999)", "exact": "3"}, |
| {"n": 9, "s": 3.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "trivial", "exact": "3"}, |
| {"n": 10, "s": 3.70710678118654, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Stromquist 2003)", "exact": "3 + sqrt(2)/2"}, |
| {"n": 11, "s": 3.87708359002281, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (Trump 1979)", "exact": "root of degree-8 polynomial"}, |
| {"n": 12, "s": 4.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "ceil(sqrt(n)) grid", "exact": "4"}, |
| {"n": 13, "s": 4.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Bentz 2009)", "exact": "4"}, |
| {"n": 14, "s": 4.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Friedman 1999)", "exact": "4"}, |
| {"n": 15, "s": 4.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Friedman 1999)", "exact": "4"}, |
| {"n": 16, "s": 4.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "ceil(sqrt(n)) grid", "exact": "4"}, |
| {"n": 17, "s": 4.67553009360455, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (Bidwell 1998)", "exact": "root of degree-18 polynomial"}, |
| {"n": 18, "s": 4.82287565553229, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (Hämäläinen 1980)", "exact": "7/2 + sqrt(7)/2"}, |
| {"n": 19, "s": 4.88561808316412, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (Wainwright 1979)", "exact": "3 + 4*sqrt(2)/3"}, |
| {"n": 20, "s": 5.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "ceil(sqrt(n)) grid", "exact": "5"}, |
| {"n": 21, "s": 5.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "ceil(sqrt(n)) grid", "exact": "5"}, |
| {"n": 22, "s": 5.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Bentz 2018)", "exact": "5"}, |
| {"n": 23, "s": 5.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Nagamochi 2005)", "exact": "5"}, |
| {"n": 24, "s": 5.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "proved (Friedman 1999)", "exact": "5"}, |
| {"n": 25, "s": 5.0, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "ceil(sqrt(n)) grid", "exact": "5"}, |
| {"n": 26, "s": 5.62132034355964, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (Friedman 1997)", "exact": "7/2 + 3*sqrt(2)/2"}, |
| {"n": 27, "s": 5.70710678118654, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (Göbel 1979)", "exact": "5 + sqrt(2)/2"}, |
| {"n": 28, "s": 5.82444461667405, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (catalogue, Dec 2025)", "exact": "root of degree-6 polynomial"}, |
| {"n": 29, "s": 5.93383346267692, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (catalogue, Dec 2025)", "exact": ""}, |
| {"n": 68, "s": 8.7987961402601, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed", "exact": ""}, |
| {"n": 102, "s": 10.61138794077522, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (catalogue; community claims may be lower)", "exact": "root of degree-8 polynomial"}, |
| {"n": 299, "s": 17.82287565553229, "source": "published catalogue of best-known packings", "date": "catalogue-snapshot", "verified": true, "basis": "listed (catalogue; community claims may be lower)", "exact": "33/2 + sqrt(7)/2"} |
| ] |
