PolymathREU-Walking-to-infi.../rust/fourthfree/log
2020-07-24 21:40:19 -07:00

1000 lines
5.3 KiB
Text

8
16
32
48
64
96
112
128
144
176
192
208
224
240
243
256
272
288
304
336
352
368
384
400
405
416
432
448
464
496
512
528
544
560
567
576
592
608
624
625
656
672
688
704
720
729
736
752
768
784
912
928
944
972
976
992
L(10, 3)^4 = 700 (taking 0.000411s)
1008
1024
1040
1053
1056
1072
1088
1104
1134
1136
1152
1168
1184
1200
1215
1216
1232
1248
1250
1264
1296
1312
1328
1344
1360
1376
1377
1392
1408
1424
1456
1458
1472
1488
1504
1520
1536
1539
1552
1568
1584
1701
1712
1728
1744
1776
1782
1792
1808
1824
1840
1856
1863
1872
1875
1888
1904
1936
1944
1952
1968
1984
2000
2016
2025
2032
2048
2064
2096
2106
2112
2128
2144
2160
2176
2187
2192
2208
2224
2256
2268
2272
2288
2304
2320
2336
2349
2352
2368
2384
2416
2448
2464
2480
2496
2500
2511
2512
2528
2544
2576
2592
2608
2624
2640
2656
2672
2673
2688
2704
2736
2752
2754
2768
2784
2800
2816
2832
2835
2848
2864
2896
2912
2916
2928
2944
2960
2976
2992
2997
3008
3024
3056
3072
3078
3088
3104
3120
3125
3136
3152
3159
3168
3184
3312
3321
3328
3344
3376
3392
3402
3408
3424
3440
3456
3472
3483
3488
3504
3536
3552
3564
3568
3584
3600
3616
3632
3645
3648
3664
3696
3712
3726
3728
3744
3750
3760
3776
3792
3807
3808
3824
3856
3872
3888
3904
3920
3936
3952
3968
3969
3984
4016
4032
4048
4064
4080
4096
4112
4128
4131
4144
4176
4192
4208
4212
4224
4240
4256
4272
4288
4293
4304
4336
4352
4368
4374
4375
4384
4400
4416
4432
4448
4455
4464
4496
4512
4528
4536
4544
4560
4576
4592
4608
4617
4624
4656
4672
4688
4698
4704
4720
4736
4752
4768
4779
4784
4912
4928
4941
4944
4976
4992
5000
5008
5022
5024
5040
5056
5072
5088
5103
5104
5136
5152
5168
5184
5200
5216
5232
5248
5264
5265
5296
5312
5328
5344
5346
5360
5376
5392
5408
5424
5427
5456
5472
5488
5504
5508
5520
5536
5552
5568
5584
5589
5616
5625
5632
5648
5664
5680
5696
5712
5728
5744
5751
5776
5792
5808
5824
5832
5840
5856
5872
5888
5904
5913
5936
5952
5968
5984
5994
6000
6016
6032
6048
6064
6075
6096
6112
6128
6144
6156
6160
6176
6192
6208
6224
6237
6272
6288
6304
6318
6320
6336
6352
6368
6384
6399
6512
6528
6544
6576
6592
6608
6624
6640
6642
6656
6672
6688
6704
6736
6752
6768
6784
6800
6804
6816
6832
6848
6864
6875
6896
6912
6928
6944
6960
6966
6976
6992
7008
7024
7056
7072
7088
7104
7120
7128
7136
7152
7168
7184
7216
7232
7248
7264
7280
7312
7328
7344
7371
7376
7392
7408
7424
7440
7452
7456
7472
7488
7500
7504
7533
7536
7552
7568
7584
7600
7614
7616
7632
7648
7664
7695
7696
7712
7728
7744
7760
7776
7792
7808
7824
7856
7857
7872
7888
7904
7920
7936
7938
7952
7968
7984
9008
9024
9040
9056
9072
9088
9104
9136
9152
9153
9168
9184
9200
9216
9232
9234
9248
9264
9296
9312
9315
9328
9344
9360
9375
9376
9392
9396
9408
9424
9456
9472
9477
9488
9504
9520
9536
9552
9558
9568
9584
9712
9744
9776
9792
9801
9808
9824
9840
9856
9872
9882
9888
9904
9936
9952
9963
9968
9984
L(10, 4)^4 = 6496 (taking 0.002409s)
10000
10016
10032
10044
10048
10064
10096
10112
10125
10128
10144
10160
10176
10192
10206
10208
10224
10256
10272
10287
10288
10304
10320
10336
10352
10368
10384
10416
10432
10448
10449
10464
10480
10496
10512
10528
10544
10576
10592
10608
10611
10624
10625
10640
10656
10672
10688
10692
10704
10736
10752
10768
10773
10784
10800
10816
10832
10848
10854
10864
10896
10912
10928
10935
10944
10960
10976
10992
11008
11016
11024
11056
11072
11088
11097
11104
11120
11136
11152
11168
11178
11184
11312
11328
11376
11392
11408
11421
11424
11440
11456
11472
11488
11502
11504
11536
11552
11568
11583
11584
11600
11616
11632
11648
11664
11696
11712
11728
11744
11745
11760
11776
11792
11808
11824
11826
11856
11872
11875
11888
11904
11907
11920
11936
11952
11968
11984
11988
12016
12032
12048
12064
12069
12080
12096
12112
12128
12144
12176
12192
12208
12224
12231
12240
12256
12272
12288
12304
12312
12336
12352
12368
12384
12393
12400
12416
12432
12448
12464
12474
12496
12512
12528
12544
12555
12560
12576
12592
12608
12624
12636
12656
12672
12688
12704
12717
12720
12736
12752
12768
12784
12798
12912
12928
12944
12976
12992
13008
13024
13040
13041
13056
13072
13088
13104
13136
13152
13168
13184
13200
13203
13216
13232
13248
13264
13296
13312
13328
13344
13360
13365
13376
13392
13408
13424
13456
13472
13488
13504
13520
13527
13536
13552
13568
13584
13616
13632
13648
13664
13680
13689
13696
13712
13728
13744
13750
13792
13808
13824
13840
13851
13856
13872
13888
13904
13932
13936
13952
13968
13984
14000
14013
14016
14032
14048
14064
14094
14096
14112
14128
14144
14160
14175
14176
14192
14208
14224
14256
14272
14288
14304
14320
14336
14337
14352
14368
14375
14384
14512
14528
14544
14576
14592
14608
14624
14640
14641
14656
14661
14672
14688
14704
14736
14742
14752
14768
14784
14800
14816
14823
14832
14848
14864
14896
14904
14912
14928
14944
14960
14976
14985
14992
15000
15008
15024
15056
15066
15072
15088
15104
15120
15136
15147
15152
15168
15184
15216
15228
15232
15248
15264
15280
15296
15309
15312
15328
15344
15376
15408
15424
15440
15456
15471
15472
15488
15504
15536
15552
15568
15584
15600
15616
15625
15632
15633
15648
15664
15696
15712
15714
15728
15744
15760
15776
15792
15795
15808
15824
15856
15872
15876
15888
15904
15920
15936
15952
15957
15968
15984
17008
17024
17040
17056
17072
17088
17091
17104
17136
17152
17168
17172
17184
17200
17216
17232
17248
17253
17264
17296
17312
17328
17334
17344
17360
17376
17392
17408
17415
17424
17456
17472
17488
17496
17500
17504
17520
17536
17552
17568
17577
17584
17712
17728
17739
17744
17776
17792
17808
17840
17856
17872
17888
17901
17904
17936
17952
17968
17982