-
Notifications
You must be signed in to change notification settings - Fork 0
/
3-lucas-carmichael_1e15.txt
6685 lines (6685 loc) · 95.7 KB
/
3-lucas-carmichael_1e15.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
399
935
2015
2915
4991
5719
7055
12719
20705
20999
22847
46079
60059
63503
67199
76751
80189
88559
90287
104663
120581
152279
155819
196559
214199
230159
388079
482143
663679
676799
709019
741311
761039
776567
880319
966239
966779
973559
1162349
1241099
1525499
1584599
1587599
1719119
1811687
1965599
2249999
2416679
2647679
2924099
3106799
3441239
3479111
3483479
3704399
4285439
4452839
4587839
4681247
5058719
5455799
5807759
6514199
6656399
6959699
6994259
7127999
7274249
8699459
8734109
9224279
9694079
10054799
10397407
10467599
10576799
10712519
10801727
10985759
11682059
12583199
12942719
13081499
14288399
14345999
14595419
14658349
14957711
14970499
15622463
16003679
16337999
16923059
17450999
19289663
23287991
26936099
30141719
30305519
31010279
31276151
32148899
37425023
38743319
39750719
40895711
43837559
49124459
50561279
51768719
55342439
57612059
59668991
60939119
62211839
63696779
65529479
70476839
72972899
73259471
76276511
77801359
80904599
82311839
84062159
84577679
87893999
89941499
92221667
97501799
97962479
101609639
103949999
105818129
105884099
107732159
110066669
111513599
112011899
119057399
119213951
126325399
129255059
130401599
131576191
133763759
136019519
144288143
147911399
151524071
156620879
158453567
161516543
170173079
175827599
178217759
180419399
188722439
190137023
192099599
213884999
219095519
227500799
239025599
240184031
242842319
250716839
254699279
256074029
256226219
259580159
266100299
282159359
282639743
293596799
309735719
320360039
347299391
350368199
353822039
362868329
363334399
364571063
395032609
395623799
406647359
416453399
430337231
437579999
442590119
442706879
445515839
448592399
452125799
462683519
477489599
503733257
540758399
558705449
562432499
563601257
564135839
565861139
566200799
577167299
591365123
595462271
601530803
604667699
612328499
622805039
640057109
657177611
667883999
701720099
707343839
708059519
711288899
711526139
758266979
758308319
789206183
795674879
800484227
808643219
827536639
843018643
890753999
907152479
928167551
978057599
992098799
1001342159
1018533119
1083401087
1083482399
1097586299
1110046391
1111321819
1113933911
1124413919
1127206079
1133959679
1181972999
1199480099
1218027199
1248915599
1276986959
1296364607
1328473439
1364586101
1376406359
1424213279
1431883799
1449507149
1495253999
1501273409
1522079359
1527481799
1559190239
1560063119
1574154269
1576659671
1635968879
1683181439
1720188359
1728896399
1747986239
1771943039
1782867239
1785201599
1793710169
1805702399
1825456499
1877893247
1915827647
1934961599
1994967701
1999899719
2089852379
2145418879
2190172991
2275268939
2380738799
2596088939
2616594119
2645482199
2648337443
2704529519
2853981311
2857232159
2869816319
2902555499
2916124721
2930234999
2952417079
2953352063
2959408799
2997198539
3013232039
3032510909
3148965119
3169353329
3176245799
3259692071
3259800959
3306623759
3331739423
3332374499
3344702759
3344779679
3417766559
3453799859
3490255999
3496199219
3603600899
3618583919
3651321239
3695056679
3718582559
3723764399
3825835199
3936881231
3946466159
3965889311
4019075279
4032306623
4058154671
4108903679
4147835999
4208144639
4388676767
4469435207
4534549879
4553362799
4690080953
4746672839
4805504927
4829213843
4988243699
5095754399
5183999999
5199498431
5255545679
5261572859
5268236399
5269510091
5305541471
5313104999
5346826883
5373271727
5378140151
5778659039
5810412659
5880719519
5963144219
6002604299
6180125759
6244240391
6264271859
6412293557
6459336899
6539633099
6543697439
6613769399
6630003599
6652559159
6664986239
6694688279
6726784319
6809119199
6870445823
6884665919
6933149999
7013957579
7021301039
7182755999
7256319839
7369162919
7369890527
7425091799
7472077559
7480259999
7607904569
7666978799
7689464999
7707635519
7720943999
7760865599
7921387619
7947283571
7981037567
8046928343
8250757199
8254794719
8296507007
8342518799
8398143179
8507078999
8587927039
8749873439
9099306719
9122184719
9215040743
9464628599
9565533431
9578428199
9606606239
9860072039
9927477767
9958712399
10015015607
10274816999
10403866367
10695972593
10749148577
10986131951
11194977863
11302390439
11376412319
11475866999
11689772219
11764564811
12282439679
12328920719
12357907343
12361359599
12547917359
12621168559
12739103999
12812676029
12858912239
12892245599
12911629499
13105670399
13152969719
13250196959
13435017599
13477825919
13646912399
13647432707
14090565761
14138530559
14227033031
14229006329
14272399679
14324370479
14473298839
14587808399
14588753999
14640234839
14939210159
15084424879
15373029629
15685437239
15712262999
15879380399
15966112499
16015708799
16022124809
16062067199
16239820799
16279199999
16513024499
16578836999
16738666559
16790805719
16797465359
16802186939
16802670527
16944184799
17417312639
17470648259
17595580199
17677538819
17702851319
17826676811
17880962399
18079288499
18103324007
18630485999
18732717119
18809998367
18920128439
18931640111
19562262299
19576723319
19583210519
19602970379
19882147199
20271948839
20336358899
20369361347
20415870143
20484968599
20494785599
20701604159
20865700049
21149111051
21341172599
22163440529
22201631759
22245083327
22378098599
22433575319
22450015223
22507597979
22742704799
22751735759
22824172799
23004404999
23023902719
23094031589
23331016799
23732492489
23818478111
24007410719
24133932239
24405473663
24415360199
24524970479
25027872803
25082746379
25116798059
25690422869
25898019839
26017353599
26037359039
26120257307
26205928319
26219759999
26494307839
27074881679
27102666359
27124951391
27170898479
27354507599
27425699909
27771974999
27997989659
28818651599
28862979599
29095938143
29478758399
29685404839
29930536943
29969009999
30038296859
30167682859
30176815967
30279065669
30481151999
30627234299
30806802359
30946982867
30989624999
31075644599
31272500249
31636521139
32049059279
32206123883
32254844159
32370096959
32659832099
33331858559
33451746659
33490869719
33548860799
33625200599
33841281599
34249067423
34442092151
35008869059
36061725149
36145049849
36988971839
37455074999
37544466959
37593566639
37704720239
37802967263
38076497423
38631354299
38981291249
39189448349
39465795599
39642270079
39700805759
39845307419
40468332239
40727464511
40773152159
40800008429
41157646991
41253407999
41606667359
41756097599
41839310699
42784515773
42807663047
43003146383
43225263899
43363953599
44072328887
44075156999
44342398799
44503134479
44862801983
45154850399
45275040719
45576838999
45636395759
45721138459
45867967199
46115848799
46143489599
46214767871
46673881799
46983424109
47209377599
47358464399
47953473119
48140099279
48219175871
48244412231
48329625599
48372544219
48559939487
49569379679
50275046699
50282914499
50400340019
50747295743
51043713839
52050394499
52066260119
52086048059
52508132249
53374698719
53647578143
53722314491
54680210243
54685500869
54863960579
55666905839
56231710919
56561675399
56577232799
56763418139
57301504259
57521545759
57545079899
57700844099
57712636799
57778291199
57931688879
58169685599
58269981509
58525463411
58549158719
58811592839
59609209769
60037472879
60092052227
60144065279
60598521983
60684767999
61168008719
62517408029
63080385983
63158669279
63268850699
64031825519
65362471679
65660807519
65725962191
66625934399
66632129423
67901068799
67974227999
68427770399
68615454599
69319282031
69815559743
70338157889
70750961819
70824936167
71383999679
71664929279
71807648639
73411115399
73498424999
73726709759
74962770479
76769096879
76817206439
77650662599
77973292499
78345111599
78520117199
78528718349
79462361999
79833742559
80279490059
80326532519
82844442407
83406931919
84937984559
85633000991
85844310551
86566595579
87178467599
87461474879
87904647599
88128212171
88300692479
89516306879
90536434559
91617671599
92690741519
92831860799
92995244159
93747669599
93887107271
94059729119
94090814999
95399167499
95443689599
95526738719
95621641559
95800465799
95973065999
96246373439
96401880959
96692622479
97517800799
97920203999
99416737799
101277392831
101504430719
101743703819
101954623679
103264532219
103328594459
104791694879
104964909479
106308967049
108608535671
109016540159
109280703167
110650683779
111567093119
111572645183
111953782079
112734273959
113539928039
113576076899
113765005199
114062303519
114547668479
114596515703
115185901823
115398304559
115547974079
116680676699
116701321769
117232610471
117502378139
118641572927
119111610407
119136381671
119152803167
119257950239
121774161599
122578263359
124077869999
124507610849
124530770519
125122403999
125201858599
126404411531
126438213719
126751013999
127424366999
128482999919
129697509311
130198067999
130257854999
130291713551
132420387527
133808622989
134331784859
135864035999
136119689567
136565265563
136684290959
137108377979
138348290303
140274219023
143631176831
144622005263
144967642559
145330623359
147906997919
148249790639
152378042039
153065015459
155166160379
155232488111
155491155719
155528593739
155953123199
156431246399
156723577919
157588488767
157604910329
157725585233
158167307759
158244839999
159224998679
159305917679
159745877549
161077801499
162004579199
162307997039
164181382559
164407886999
165153241439
165287341799
166819625279
171394012799
171443071799
172644480479
174548067119
174694937903
175197940019
175371375409
181212049547
182063294999
182331158351
183035397599
183549143231
186532675379
187892110559
188565119999
188991600839
189027987119
189548551499
189631725821
190015975511
190394008991
190998734999
192705166499
194112116599
194332852223
195397355579
197495038079
198627644879
199000451999
199625474159
201196365299
202106276159
203725611209
205569616799
206087540819
206645131999
207590390279
208098914099
212228128397
216043352249
216170490527
216862628399
218669038559
220078504799
220187218247
220881671849
221511111527
222377007379
222385185791
223057844099
224171182619
226107463679
226743376049
227474170559
227679583559
229497380999
231298669799
231892491599
232605035879
233538148619
233622921239
233655982559
233823858839
234180359279
234725459219
237295147319
238162436591
239053871071
241254165239
241339264979
242803111319
242934534959
243303906719
243679434767
244757251199
244894121471
245754407039
246095366399
246373096199
247483034567
247507951319
247752096749
247994568359
248664988799
251597087999
255150939559
255841000127
255956293319
256137023999
256196375819
256556942333
257115658799
257132391599
257307250199
259786388479
260190160999
260197644149
263191771439
264469769999
264706181279
266344871183
266357699999
266875559999
268033123499
268103074607
269317328939
270039021719
270946047623
271591816319
271734249599
273156581879
274989915017
275394356999
278214093359
278396587871
279336893057
279751625999
279808621343
281081165039
282437210879
283261587839
284149698299
284986220399
288674940959
288880989599
288891445631
289672513439
289901178559
295290562943
295343072639
296487723167
297833150999
298850006303
299119456019
299310661229
300168560999
301058095103
301925370599
302047890143
304025938919
304808520959
305651503559
306115644743
307318078079
308218648583
308256292031
312591405239
312821347511
313469550827
316026426671
316421004479
316944929663
318043749347
320386642999
324239238119
324933245099
325409416499
326861884799
327300820439
327548676839
330113623031
330302559887
331178184479
332175362399
332577357263
334162247999
336462158999
338596805447
343801563731
346136966999