-
Notifications
You must be signed in to change notification settings - Fork 0
/
lucas-carmichael_1e13.txt
23070 lines (23070 loc) · 298 KB
/
lucas-carmichael_1e13.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
8855
12719
18095
20705
20999
22847
29315
31535
46079
51359
60059
63503
67199
73535
76751
80189
81719
88559
90287
104663
117215
120581
147455
152279
155819
162687
191807
194327
196559
214199
218735
230159
265895
357599
388079
390335
482143
588455
653939
663679
676799
709019
741311
760655
761039
776567
798215
880319
895679
913031
966239
966779
973559
1010735
1017359
1097459
1162349
1241099
1256759
1525499
1554119
1584599
1587599
1659119
1707839
1710863
1719119
1811687
1901735
1915199
1965599
2048255
2055095
2150819
2193119
2249999
2276351
2416679
2581319
2647679
2756159
2924099
3106799
3228119
3235967
3332999
3354695
3419999
3441239
3479111
3483479
3700619
3704399
3741479
4107455
4285439
4452839
4587839
4681247
4853759
4874639
5058719
5455799
5669279
5807759
6023039
6514199
6539819
6656399
6730559
6959699
6994259
7110179
7127999
7234163
7274249
7366463
8159759
8164079
8421335
8699459
8734109
9224279
9349919
9486399
9572639
9694079
9868715
10020599
10054799
10138799
10210319
10260809
10397407
10467599
10576799
10712519
10801727
10985759
11141999
11195855
11334791
11368511
11521439
11682059
12583199
12676799
12791519
12942719
13081499
13287455
13670855
13715567
13971671
14025599
14288399
14345999
14595419
14658349
14800799
14957711
14970499
15622463
16003679
16064579
16184663
16337999
16422119
16719263
16868159
16923059
17450999
17664479
17835839
18119519
18476015
19289663
19716983
20061359
21408695
21490919
21891419
22427999
22575839
23176439
23287991
24036011
24157055
24205391
24685199
25111295
25149695
25194239
25603599
25817279
26456759
26636687
26936099
28451555
29010079
29343839
29407895
30071327
30141719
30222023
30305519
31010279
31270463
31276151
32148899
32869759
33413687
33695759
34347599
34541639
34562303
34709759
34818335
35669159
36149399
36485015
36981119
37425023
38534327
38743319
38999519
39003215
39715319
39750719
40895711
42168335
42624911
42968519
43134959
43383167
43716455
43837559
43858079
45158399
47324639
48239999
49124459
49280399
49412285
49591919
49778819
50168447
50407379
50561279
51768719
53671199
54408959
54958799
55342439
57612059
57872555
57953951
57988799
59534999
59668991
60009599
60939119
61518599
61947599
62211839
63696779
64456223
64585079
64794599
65094623
65529479
66098591
66709019
67418735
69669599
70476839
71368703
71526527
72972899
73019135
73259471
76276511
77350559
77801359
78402815
79043951
80904599
81802559
82144799
82311839
83618639
84033599
84062159
84082415
84309119
84577679
85595399
86450399
87562943
87893999
89941499
90393029
91011599
92221667
93248063
93277079
94840199
95241599
95972799
96080039
96307679
96850943
97501799
97962479
98803439
99467679
100440647
101102687
101609639
102310415
103711439
103727519
103949999
104845439
105067259
105114383
105818129
105884099
106762319
107556371
107732159
108946607
109725119
110066669
111032063
111513599
112011899
113024339
114173279
115372199
116628479
116901455
116990999
117091799
119057399
119213951
119309039
119436239
119541455
119754719
119909327
119945879
120710519
121538879
125532329
126325399
126806399
126881999
126987839
128912399
129255059
129477095
130225535
130401599
131576191
131765759
133763759
133999679
134151479
134325359
134431055
134561855
134597519
135479399
136019519
139091399
139098239
139501439
140096999
141070895
142842419
142955315
144056231
144288143
145235639
146314079
146894399
147911399
150042815
150206399
150405695
151524071
152028899
152374319
156620879
157169879
158453567
161516543
161841239
164613599
165434879
166286879
168179759
170173079
171325979
171624959
174550287
175766759
175827599
176914583
178217759
178474295
179310559
180419399
183259439
183943199
185551739
187268003
187498415
187963199
188722439
189099039
189464183
190079567
190137023
191341799
192099599
192373631
192666239
193849487
194618159
195514199
196377335
196574399
196707455
201614699
202767551
203676479
206238815
207586799
208193999
208643423
211308383
212133599
213136319
213884999
214065071
214426079
216354239
216362159
219095519
219155615
219797039
224925119
227500799
227527055
229390847
233743319
233861519
236527199
239025599
239110959
239629535
239875559
240080255
240184031
240619139
241148399
241485839
242842319
244469231
250716839
252182735
252419111
252654779
254699279
256074029
256226219
259580159
261429119
266100299
269174015
270696439
271038599
275766911
279173999
282159359
282639743
284817119
284831327
285341759
285774839
287379455
287432495
288560447
293284607
293596799
295208927
295736671
297934559
301040639
302376239
304396559
306709199
306871487
307305599
307409759
308420639
308810879
309735719
310294655
317721095
320360039
321843599
325428047
325583279
331919279
332602619
336545495
338340239
340096319
340558679
343979999
344090879
347299391
348307259
348817391
349657307
350368199
350481383
353107799
353822039
355356287
356628635
361538099
362868329
363334399
363662639
364571063
365837471
366648281
366773759
367933499
373506119
375910919
381135455
381626399
382602527
383108879
387368783
393237935
394426655
395032609
395623799
406026599
406335215
406647359
412972559
416453399
416976659
426163583
427717367
430337231
434505719
434886605
435631559
436548959
437579999
441101759
442590119
442647359
442706879
445515839
445895039
446331599
448592399
452125799
458615519
461819015
461829599
462422015
462683519
464972255
466610759
466861199
467983439
468850031
471556799
472453919
476686079
477489599
482058863
482873831
483664895
485549999
487842879
494527439
494683199
495449471
496932479
501737759
503733257
505863371
512750735
513257639
514250099
516561983
522098135
523182239
524971391
525720239
532070063
533680055
540758399
545829647
551923679
555407999
555995759
558705449
560974259
561626999
561645839
562432499
563601257
564135839
565861139
566019167
566200799
566619263
573123599
574342145
577167299
577901519
580277879
590073119
591365123
592557119
594633599
595087019
595462271
601530803
602471519
602758079
602801999
603177119
603383039
603878015
604667699
608368799
612328499
613453823
621734399
622603583
622805039
624840479
625343159
631824479
632309759
632648015
634283099
636119639
640057109
649351295
653067359
654821999
655210079
656132399
656139239
656769119
657177611
659928599
660423455
660695615
663142535
663284159
667406399
667883999
669515939
674628479
677913599
679389479
684736415
685094399
685712159
687169979
690313679
693807191
696825503
698728799
699819119
701315999
701720099
707343839
708059519
711288899
711526139
715317119
717341183
717364871
721173119
728655479
729829583
732015647
735292799
741722399
744868799
754025183
756698543
758266979
758308319
759786719
761212655
767597039
773200511
775931519
777724415
789206183
795674879
796578299
800484227
801105599
801279359
803046527
804133199
807505919
808643219
808833599
826971599
827536639
832477799
836083079
836545919
841029695
843018643
845143199
845468063
845980199
848283119
850615199
852814559
854509823
863488079
865972799
869504999
869669999
873663119
873919799
875375423
883450799
888437399
890753999
900744095
901367999
902902559
904870079
907152479
914586959
917206919
924474599
925651583
927467519
927843839
928167551
929892095
935953535
939989609
942983999
945066527
945236159
952051199
956213495
962529749
968771999
969699599
970174799
974939615
977510879
978057599
982399319
984624479
985726367
992098799
993554639
993625919
1001342159
1014598871
1017732359
1018533119
1020696599
1028235599
1028636279
1043722799
1046435999
1051736399
1052700479
1053082799
1066699799
1073352959
1083401087
1083482399
1084505759
1088554207
1097586299
1098517679
1100831039
1106994119
1110046391
1111321819
1113933911
1116663965
1119093359
1122191279
1124413919
1127206079
1132727255
1133959679
1161310799
1169548799
1170131759
1171355471
1172426819
1178267999
1180310399
1181972999
1190406239
1192523903
1197583199
1199480099
1205025119
1205576855
1206682559
1215282431
1218027199
1220069759
1228796855
1237899599
1243202687
1248915599
1250201315
1252359359
1254577439
1273560119
1273832279
1276986959
1287679679
1288949759
1296364607
1298730719
1301317919
1301818895
1303644999
1304131499
1304175599
1304305415
1304835839
1308043295
1320087167
1326131999
1326814559
1328473439
1329203519
1332120815
1335765599
1335829535
1336169519
1339032239
1344780359
1349853119
1354025231
1358556479
1361371679
1362726287
1364586101
1364951951
1365888719
1373537759
1376406359
1376827199
1385392679
1387238399
1396023551
1399508099
1404941183
1411482239
1412801999
1420520639
1424213279
1428256115
1431883799
1432934063
1439402399
1442199935
1445156999
1449507149
1454412959
1456083839
1456555463
1458700319
1459340639
1466660159
1486401839
1489210271
1492076159
1495253999
1496348671
1501273409
1505284703
1514708159
1517183459
1517804063
1522079359
1522283543
1527481799
1529544383
1529633159
1530374399
1531623599
1532480543
1533892799
1546352639
1549504319
1549990079
1557007919
1559190239
1560063119
1562706431
1566265799
1566398399
1566853469
1569799295
1573613579
1573636259
1574154269
1576659671
1579442399
1588246919
1595060639
1597049999
1602570059
1611502199
1612670279
1618642079
1623152519
1627615079
1631981519
1635968879
1638550199
1640783591
1645919099
1649988899
1657632599
1658446559
1660757615
1662161039
1663998335
1674241415
1676290979
1676960999
1677615335
1678085639
1679499359
1680002639
1683181439
1700586719
1705908599
1708990415
1714834799
1718429999
1720188359
1728896399
1730071979
1730473415
1747955615
1747986239
1748743199
1759843799
1761436799
1763936999
1767553919
1771943039
1772920799
1778743295
1780913519
1782867239
1783689599
1785201599
1793710169
1794507839
1797645095
1805440559
1805702399
1806073919
1824998399