mersenneforum.org The Appallingly Blue Page
 Register FAQ Search Today's Posts Mark Forums Read

 2018-04-03, 15:37 #221 EdH     "Ed Hall" Dec 2009 Adirondack Mtns 3,539 Posts Is it just me, or did you dim the cell background color a bit? I like the color of the previous image (post #212) better than the new one (post #218). Maybe it's just the capture? The blue border looks the same. Column formatting is better in the latter. Thanks for all the work.
 2018-04-03, 18:44 #222 Dubslow Basketry That Evening!     "Bunslow the Bold" Jun 2011 40
 2018-04-04, 03:58 #223 EdH     "Ed Hall" Dec 2009 Adirondack Mtns 3,539 Posts I think it's all good then...
 2018-04-06, 00:02 #224 gd_barnes     May 2007 Kansas; USA 19×541 Posts On the statistics page here: https://www.rechenkraft.net//aliquot/statistics.html There are a few inaccuracies as a result of project progression: 1. "This page contains some simple statistics based on the overall status of all un-terminated Aliquot sequences < 1M." <--- Change to 2M. 2. "First, a table giving the counts of how many sequences are at what size. (Sizes < ~110 are probably FactorDB sequence errors.)" <--- Statement in parenthesis could be changed or removed. 3. "Third, a table giving the counts of how many sequences are at what length. (Lengths < 400 are definitely FDB errors.)" <--- Statement in parenthesis could be changed or removed.
 2018-04-06, 00:12 #225 Dubslow Basketry That Evening!     "Bunslow the Bold" Jun 2011 40
2018-04-06, 04:29   #226
LaurV
Romulan Interpreter

Jun 2011
Thailand

100011101101012 Posts

Quote:
 Originally Posted by Dubslow That's exactly why I've been working on getting everything to 400 digits...
Wow... You must have a couple hundreds of peta-flops under the hood there.... hehe...

On topic: the link colors look much better than the original version. Could you try zooming in/out in Firefox (or what browser you use) and see how the new fonts behave? (this is because some of us keep the zoom level to 80-90 and not all fonts scale well, also, are they pure text that can be changed from the FF's options/general/language/fonts&colors tab? - very useful for some pages especially with lots of text and with large tables, to show my font, not the embedded font). It is not requirement, just question. Don't fix the font in nails...

2018-04-06, 04:41   #227
Dubslow

"Bunslow the Bold"
Jun 2011
40<A<43 -89<O<-88

160658 Posts

Quote:
 Originally Posted by LaurV Wow... You must have a couple hundreds of peta-flops under the hood there.... hehe...
Oooops.... certainly is handy to be able to edit posts for more than an hour!

Quote:
 Originally Posted by LaurV On topic: the link colors look much better than the original version. Could you try zooming in/out in Firefox (or what browser you use) and see how the new fonts behave? (this is because some of us keep the zoom level to 80-90 and not all fonts scale well, also, are they pure text that can be changed from the FF's options/general/language/fonts&colors tab? - very useful for some pages especially with lots of text and with large tables, to show my font, not the embedded font). It is not requirement, just question. Don't fix the font in nails...
No fonts have changed. In fact I think none are specified, you can probably fiddle with yourself in your browser.

2018-04-06, 08:51   #228
LaurV
Romulan Interpreter

Jun 2011
Thailand

23B516 Posts

Quote:
 Originally Posted by Dubslow No fonts have changed. In fact I think none are specified, you can probably fiddle with yourself in your browser.
As I already see them different it means that it is possible, and the browser is showing my own font already, for the actual page. So, everything is well here. Except maybe about fiddling with myself, but about that I don't do in the browser, and I don't like to discuss in public...

 2018-04-06, 18:49 #229 Dubslow Basketry That Evening!     "Bunslow the Bold" Jun 2011 40
2018-05-16, 03:54   #230
Dubslow

"Bunslow the Bold"
Jun 2011
40<A<43 -89<O<-88

3·29·83 Posts

Quote:
 Originally Posted by ChristianB There is more progress to report for the progress page (pun intended). It is now fully automated and running hands-off. Sequences that are determined as terminated are checked using a recent download of the ELF file from factordb using aliqueit to make sure the sequence has no broken indices in factordb. This will make the next extension of the list much less painful than the last one as mergers and terminations are automatically purged from the list. Things are also written and set up that, should the current server ever fail, we can spin up the list on a new server within hours.
Quote:
 Originally Posted by Dubslow To extend this, yesterday CB officially pushed to production new code that does the same for mergers, specifically it verifies the entire elf file of both the sequence to be dropped and the sequence it merged into, and then emails us with the common index: As a result of this second batch of work in this vein, all sequences dropped from the table are verified via aliqueit for correctness, so that any errors in the Factor Database will never (again??) result in a faulty drop of a sequence. (We can't guarantee the non-existence of errors in sequences listed in the table, but we can guarantee that any such errors will never lead to an incorrect unlisting of a sequence.
In this vein, using my recently made python+pexpect+yafu clone of R. Gerbicz's "aliquot siever", I made a list of all sequences below 1e6 which remain open after factoring up to 10^40, then compared to those currently in the master blue page list, and found these 1133 seqs to be verified once more:

Code:
840
1248
3556
3630
4170
4830
6160
6792
7080
8262
8862
10962
11670
15316
15960
16302
17130
17694
17892
19410
19494
19968
20592
20922
21024
21216
22680
23910
24144
25176
26004
26838
29520
30408
30462
30798
31962
32202
33376
33384
33672
35152
35712
36348
36708
42138
42660
42800
43230
44922
45540
45984
46470
47784
48000
48228
48608
49068
49218
50340
51180
51696
52836
56368
56376
56440
57840
58014
58188
58374
60078
61692
62832
62850
64170
64962
65682
67386
69864
71400
71604
71910
72288
75280
75288
75390
77880
78384
80388
87040
89130
90480
91008
91032
92898
95904
97248
97902
98616
98790
98880
99240
99720
105384
106668
107256
108072
108114
109086
110022
110304
110628
111288
111384
112464
114246
114528
118260
118482
119190
119754
120930
121704
125622
127080
127980
127984
129180
132648
132690
132768
133080
133596
133938
134190
134856
134940
136470
136476
136590
136724
137190
142344
142764
146118
148188
149940
151320
151752
151932
152262
152572
152676
154308
155190
155778
158040
158562
160020
162660
163716
163944
164640
164730
164892
165150
165690
166488
167040
167320
169128
169590
170040
170400
170550
171402
171792
171810
172340
172584
173988
176040
176154
176316
176328
176652
179280
180162
185676
187120
189960
190128
190164
191430
191880
192654
193488
194922
197208
200520
201168
202686
202818
203988
204630
206262
207414
207984
208584
209376
210762
214620
214968
216744
216810
216846
217398
217500
219168
219282
220440
221200
221352
223008
223524
223878
224560
224812
227646
228522
228870
229266
229752
230910
231552
231618
231672
231990
233502
234120
235200
236360
236376
238152
238650
239016
239280
239562
239616
241380
241506
242190
243264
243720
244872
246750
248166
251208
251220
251700
251712
253962
254436
254490
254568
254640
255882
258636
259152
259896
261306
263904
265560
266064
266224
267102
267488
268548
269016
269310
269928
269976
271168
271620
273540
275892
275940
278172
279924
280032
280506
281412
282384
282744
283608
284520
285408
285516
286308
286398
286800
287304
289242
292752
294312
294468
294696
295176
296280
303168
304590
306912
308412
309084
309168
309870
311202
311598
311682
311984
312048
312504
312816
314694
314718
315876
317548
318504
319716
320028
320664
321090
323220
325242
325896
326376
327132
327228
327402
327576
328020
328056
328224
328600
329952
330360
333234
334280
334440
334788
336048
336180
337662
337902
341448
342848
344730
345324
346848
347112
347676
348460
349248
350088
350106
350476
350724
351696
351930
352122
353970
356040
357672
359766
360522
360792
361530
361578
361992
362280
362520
363558
365376
366450
366624
367140
368256
368472
368712
368900
369504
370260
372402
373152
375060
375876
381636
382074
382248
382992
385092
386472
387528
387696
388182
388740
389088
389172
389184
389508
391040
391806
392448
392976
393678
395496
395550
397416
398568
399726
400380
401064
402180
403944
405576
405858
407808
407856
407940
408654
410232
410250
410760
411474
411942
411960
411964
412590
414288
414888
417600
417960
418032
421680
422760
422790
423810
424050
424164
424470
424662
425208
425400
425700
428106
430884
431424
431586
432102
435540
436488
436740
438760
438966
440928
441480
442580
442848
444390
444864
446580
448476
449856
450120
451248
451710
452256
452520
453404
453516
454176
455562
455588
457808
461430
463854
463860
464196
465150
466560
467322
467658
467880
471294
471540
472080
472836
474376
474750
475440
476400
477750
478040
478392
480336
480840
481122
481422
481900
482328
483168
483570
483616
484668
485488
486540
487140
488094
488256
490116
490392
490884
493410
495594
495672
495732
496272
496398
498666
498690
500850
502304
502620
503940
504318
505316
506040
506154
506352
506688
507924
508464
509304
510660
510832
511398
512352
512540
512676
516396
516936
517176
517608
518166
518520
519678
522930
523758
525960
526398
529590
529680
529866
531240
532530
532908
533040
533200
533664
534200
535536
535686
537510
538110
538464
538830
539148
539190
540000
540666
541872
543378
543972
544698
546120
546504
547140
548310
548910
550326
551160
551190
552018
552450
553080
553884
554070
555084
555126
556830
557016
558384
558558
559350
559410
560826
561492
563172
563496
565524
565680
566514
567680
568062
568704
568932
569244
569850
570486
573216
574344
574500
574728
576822
577710
577962
579420
579780
580968
582078
583950
585366
585600
585816
587076
587256
587292
587340
587952
587994
590556
591792
593286
594228
595560
596442
596652
596730
598890
598980
599060
599742
600552
601272
602784
603204
604938
605682
605982
606192
608124
608424
608892
610110
611946
614240
615090
615380
615864
616200
618884
620840
621054
621810
625720
626952
628912
629172
629718
629820
630768
630774
630990
632880
633060
633372
635448
636552
636880
637176
637344
637380
637632
638288
638496
638706
641124
642114
642246
642864
642928
643572
644040
644664
645408
645428
646536
647352
648024
649248
649272
649320
650880
651042
652968
653448
654720
655200
655632
657390
658890
659160
659680
660212
660720
664950
668160
668304
669042
670776
671916
672816
673140
675114
675204
675330
677012
677058
677160
677376
677430
677844
679554
679590
680580
681228
683730
685344
686280
687564
689760
690642
691096
691328
692706
693528
693540
695496
695970
696780
697284
699678
700818
701184
706200
706260
706632
707016
707476
708264
708420
709648
710370
712068
712284
713388
714696
714868
715008
715590
716994
717480
717498
717960
717984
718352
718380
720480
721980
722064
722512
722640
726992
727116
727278
728382
728544
728920
729312
730230
731046
731520
731640
733716
734184
734760
735096
735924
736300
736938
737256
737490
737604
738288
738810
738912
739278
739368
740784
740808
741328
742584
743280
744744
747712
748496
751464
751590
752976
753732
754182
754848
755520
755688
755976
756144
756534
757110
757422
757512
757770
758424
758508
760164
760584
761244
761976
762360
763026
763926
764136
764244
765380
765450
766944
767088
767296
767430
767976
769464
770016
770040
770336
770580
771108
771432
773000
773088
773694
774348
774360
775200
775632
775800
776304
777336
777510
777564
779022
779040
781326
781860
782838
784280
788200
788850
790160
790344
791112
791526
791832
791880
792288
793400
793620
793704
794652
794832
796452
797640
798792
799788
800520
802464
803136
803178
803982
804192
806112
807924
809184
809730
810240
812376
813168
813540
814158
815730
815856
816792
818064
818520
818652
819162
820332
823662
825528
827304
827316
827550
829632
829914
830280
830520
831900
832580
834216
834372
836202
836610
837816
840240
840360
841128
841554
841960
843528
844272
844500
847296
848250
848610
849920
851310
852876
856710
858180
859260
859368
859440
860076
861696
861966
862002
862218
862290
862944
862980
864280
865110
865632
866388
866634
867672
868480
868824
869092
870210
872040
873684
875328
875496
876222
877240
877686
877800
878760
882552
883554
884154
884304
886728
886746
887796
889908
889974
892206
892296
892848
893844
894312
895230
896538
901272
901896
902760
903048
903600
903636
903762
904080
904386
904842
905088
905796
905862
906432
906720
909720
910038
910480
911190
913572
914106
914292
914850
917924
918630
920478
921232
921424
922428
923280
924960
925344
925740
925860
926360
927000
927126
927468
927960
928272
928290
930018
930222
930306
932448
932844
933180
933870
934332
935208
935496
935880
937638
937848
938490
938574
939216
940470
941034
941064
941070
941430
941620
942522
943704
944860
945360
946212
946248
947560
948696
948750
951060
951930
952650
953028
953382
953442
955020
955548
955716
956196
957432
957726
959916
961152
961308
961608
961800
962232
964614
965208
966444
967464
971208
971622
974120
975180
975672
976392
977688
978012
978096
979230
979800
979884
981864
981924
982392
983000
985596
986070
986754
988434
989628
989664
990132
990492
991560
991776
992370
992796
993438
994176
994194
994596
995016
995982
997380
997440
I'm downloading ELFs from the FDB at a rate of roughly 5 per hour to be checked my aliqueit, so a bit over a week to check the lot. This will ensure that no seqs are missing from the table either, in addition to preventing future missing seqs.

The original 10277 seqs that survived sieving to 10^40 are attached. If it's easy for you to independently verify, I would appreciate verification of this list.
Attached Files
 first1e6.txt (69.2 KB, 86 views)

2018-05-16, 13:56   #231
LaurV
Romulan Interpreter

Jun 2011
Thailand

3·11·277 Posts

Quote:
 Originally Posted by Dubslow I'm downloading ELFs from the FDB at a rate of roughly 5 per hour to be checked my aliqueit
No need. I have my DB independent of factorDB and there is no conflict compared with the list on the blue page.

Edit: In fact, you can just add this list to the blue page, and see they will resolve by themselves in a week or so, anyhow do not need to dld them separately.

Last fiddled with by LaurV on 2018-05-16 at 14:01

 Similar Threads Thread Thread Starter Forum Replies Last Post xilman Science & Technology 24 2015-10-16 00:03 retina Lounge 32 2015-03-28 13:08 fetofs Puzzles 28 2005-11-03 15:50 ixfd64 Hardware 9 2005-11-01 11:34 dave_0273 Hardware 17 2005-05-19 14:33

All times are UTC. The time now is 21:07.

Mon Jan 18 21:07:52 UTC 2021 up 46 days, 17:19, 0 users, load averages: 2.39, 2.45, 2.46