Permalink
Name already in use
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
minimal-elements-of-the-prime-numbers/kernel15
Go to fileThis commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1284 lines (1284 sloc)
9.35 KB
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
12 | |
14 | |
18 | |
1E | |
21 | |
27 | |
2B | |
2D | |
32 | |
38 | |
3E | |
41 | |
47 | |
4B | |
4D | |
54 | |
58 | |
5E | |
67 | |
6B | |
6D | |
72 | |
74 | |
78 | |
87 | |
8B | |
92 | |
94 | |
9E | |
A1 | |
A7 | |
AD | |
B2 | |
B8 | |
BE | |
C1 | |
CB | |
CD | |
D2 | |
D4 | |
E1 | |
ED | |
111 | |
11B | |
131 | |
137 | |
13B | |
13D | |
157 | |
15B | |
15D | |
171 | |
177 | |
197 | |
19D | |
1B7 | |
1BB | |
1D1 | |
1DB | |
1DD | |
234 | |
298 | |
311 | |
31B | |
337 | |
33D | |
344 | |
351 | |
357 | |
35B | |
364 | |
377 | |
391 | |
39B | |
39D | |
3A4 | |
3BD | |
3C4 | |
3D7 | |
3DB | |
3DD | |
452 | |
51B | |
51D | |
531 | |
53B | |
551 | |
55D | |
562 | |
571 | |
577 | |
5A2 | |
5B1 | |
5B7 | |
5BB | |
5BD | |
5C2 | |
5D1 | |
5D7 | |
634 | |
652 | |
681 | |
698 | |
717 | |
71B | |
731 | |
737 | |
757 | |
75D | |
77D | |
79B | |
79D | |
7B1 | |
7B7 | |
7BD | |
7D7 | |
7DD | |
801 | |
852 | |
88D | |
8D8 | |
91D | |
93B | |
93D | |
95B | |
95D | |
971 | |
977 | |
97B | |
97D | |
988 | |
991 | |
9BD | |
9C8 | |
9D1 | |
A98 | |
AAB | |
B1D | |
B31 | |
B3B | |
B44 | |
B51 | |
B57 | |
B7B | |
B7D | |
B97 | |
B9B | |
BB7 | |
BC4 | |
BD1 | |
BD7 | |
BDD | |
C07 | |
C34 | |
C52 | |
C7E | |
C98 | |
CC7 | |
CE7 | |
D0E | |
D1D | |
D31 | |
D51 | |
D5B | |
D68 | |
D77 | |
D7B | |
D91 | |
D97 | |
DA8 | |
DAE | |
DCE | |
DD1 | |
EB4 | |
EEB | |
107B | |
1091 | |
10B1 | |
1107 | |
110D | |
1561 | |
1651 | |
1691 | |
1B01 | |
2052 | |
2502 | |
2522 | |
303B | |
307D | |
3097 | |
30BB | |
30D1 | |
3107 | |
3361 | |
3701 | |
3907 | |
3B01 | |
3B0B | |
3C97 | |
4434 | |
4498 | |
4834 | |
4898 | |
49A8 | |
4E34 | |
5037 | |
507D | |
5091 | |
509B | |
5107 | |
5161 | |
5202 | |
53C7 | |
5552 | |
570B | |
590B | |
590D | |
59C7 | |
5A5B | |
5C97 | |
5D0D | |
5DAB | |
6061 | |
6151 | |
6191 | |
6511 | |
6601 | |
6911 | |
707B | |
7091 | |
7097 | |
70AE | |
70BB | |
70CE | |
70DB | |
7561 | |
760E | |
7691 | |
76CE | |
7907 | |
7961 | |
7A0E | |
7A3B | |
7AEE | |
7B0B | |
7BAB | |
7C0E | |
7C77 | |
7CAE | |
7D0B | |
7D61 | |
7DAB | |
7E5B | |
7E6E | |
7E7B | |
7EBB | |
8098 | |
811D | |
8191 | |
835D | |
853D | |
8881 | |
8908 | |
8951 | |
8968 | |
899D | |
8D3D | |
8D5D | |
8D6E | |
8DDD | |
8E98 | |
9011 | |
9037 | |
9097 | |
90D7 | |
9301 | |
93C7 | |
95C7 | |
9611 | |
9631 | |
96A8 | |
9811 | |
9851 | |
989D | |
990B | |
990D | |
998D | |
99AB | |
99C7 | |
99D8 | |
9A08 | |
9A9B | |
9AA8 | |
9ABB | |
9B61 | |
9BC7 | |
9D0B | |
9DAB | |
9DC7 | |
9DD8 | |
A052 | |
A304 | |
A502 | |
A55B | |
A9BB | |
AB04 | |
AB64 | |
B09D | |
B107 | |
B10B | |
B161 | |
B1AB | |
B1C7 | |
B30D | |
B3C7 | |
B50B | |
B664 | |
B691 | |
B6A4 | |
B707 | |
B761 | |
B90D | |
B961 | |
BA5B | |
BABB | |
BBAB | |
BBB4 | |
BC37 | |
BC77 | |
C777 | |
C937 | |
C997 | |
D011 | |
D03D | |
D05D | |
D09B | |
D0B1 | |
D0BD | |
D101 | |
D10B | |
D30D | |
D3AB | |
D507 | |
D50D | |
D66E | |
D761 | |
D7DE | |
D811 | |
D85D | |
D86E | |
D89D | |
D8C8 | |
D8E8 | |
D9AB | |
D9D8 | |
DA3B | |
DA9B | |
DABB | |
DB01 | |
DB61 | |
DBAB | |
DC88 | |
DD07 | |
DD0B | |
DD7E | |
DD8D | |
DDE7 | |
DE6E | |
E252 | |
E33B | |
E522 | |
E57B | |
E7AE | |
E7CE | |
E898 | |
E997 | |
E9A8 | |
E9BB | |
EA34 | |
EB5B | |
EE98 | |
EEC7 | |
10017 | |
10B0D | |
170AB | |
17A0B | |
19001 | |
19601 | |
1A09B | |
1D0C7 | |
22E52 | |
2EA52 | |
30017 | |
3001D | |
300B1 | |
301C7 | |
30334 | |
30631 | |
307AB | |
3300B | |
3333B | |
36031 | |
36301 | |
37A0B | |
37BBB | |
39997 | |
3A30B | |
3B0C7 | |
3D001 | |
3D601 | |
40034 | |
40968 | |
43334 | |
49668 | |
49998 | |
50022 | |
5009D | |
501C7 | |
50222 | |
50507 | |
505C7 | |
50611 | |
50C57 | |
53007 | |
53997 | |
55537 | |
5555B | |
5557B | |
5599B | |
56101 | |
56691 | |
56961 | |
5700D | |
5755B | |
59001 | |
59557 | |
59997 | |
5999D | |
599DB | |
59DDD | |
5D99B | |
5DD3D | |
5DD9D | |
60931 | |
63031 | |
65691 | |
66951 | |
69031 | |
69361 | |
69561 | |
70011 | |
70051 | |
7005B | |
7006E | |
7030D | |
703AB | |
70501 | |
70701 | |
707C7 | |
71601 | |
71951 | |
7300D | |
7333B | |
75001 | |
7555B | |
75911 | |
76011 | |
76051 | |
766EE | |
76EEE | |
7700B | |
77191 | |
77661 | |
7776E | |
77771 | |
777BB | |
77911 | |
77BBB | |
79001 | |
7A05B | |
7A66E | |
7AA6E | |
7AAAE | |
7ACCE | |
7C6EE | |
7CCEE | |
7CECE | |
7CEEE | |
7D3BB | |
7E7C7 | |
7EECE | |
80034 | |
80304 | |
80434 | |
809DD | |
80A34 | |
84A34 | |
850DD | |
85961 | |
86661 | |
88151 | |
88331 | |
88511 | |
88591 | |
88898 | |
890DD | |
89998 | |
89D0D | |
8D90D | |
8E434 | |
90017 | |
90051 | |
900A8 | |
900DB | |
901C7 | |
90C57 | |
90D8D | |
91007 | |
91061 | |
9199B | |
95997 | |
96068 | |
96561 | |
99397 | |
99537 | |
9999B | |
999B7 | |
999D7 | |
999DB | |
999DD | |
99BBB | |
99DBB | |
99DD7 | |
99DDD | |
9B007 | |
9B00B | |
9B0AB | |
9BB11 | |
9BBBB | |
9D007 | |
9D08D | |
9D537 | |
9D9BB | |
9D9DB | |
9DD57 | |
9DDB7 | |
9DDDB | |
9DDDD | |
A0A34 | |
A0B5B | |
A0BBB | |
A0E34 | |
A2E52 | |
A330B | |
A8434 | |
A8834 | |
A8E34 | |
A909B | |
AAA34 | |
AAE52 | |
AB0BB | |
AB334 | |
ABB34 | |
AE034 | |
AE834 | |
AE99B | |
AEA52 | |
AEE52 | |
B0011 | |
B0071 | |
B0077 | |
B00B1 | |
B0611 | |
B0A64 | |
B500D | |
B599D | |
B6101 | |
B7771 | |
B7911 | |
BA064 | |
BAAA4 | |
BAB34 | |
BB061 | |
BB304 | |
BB53D | |
BB601 | |
BBB91 | |
BBB9D | |
BBBBD | |
BDA0B | |
BDBBB | |
D0088 | |
D00D7 | |
D0307 | |
D05C7 | |
D070D | |
D0888 | |
D0B07 | |
D0BC7 | |
D0C08 | |
D0DC7 | |
D0DD8 | |
D1661 | |
D59DD | |
D5D3D | |
D5DDD | |
D6611 | |
D700D | |
D8D0D | |
D900B | |
D9908 | |
D999D | |
D9BBB | |
D9D9D | |
D9DDB | |
DB007 | |
DB00D | |
DB1B1 | |
DB53D | |
DB59D | |
DB99D | |
DBBB1 | |
DD0D8 | |
DD33B | |
DD3B7 | |
DD3BB | |
DD57D | |
DD898 | |
DD9DD | |
DDB37 | |
DDBDB | |
DDD08 | |
DDD3D | |
DDD5D | |
DDD7D | |
DDD88 | |
DDD9D | |
DDDB7 | |
DDDC8 | |
DDDD7 | |
DDE98 | |
DE037 | |
DE998 | |
DEB07 | |
E0098 | |
E00C7 | |
E0537 | |
E0557 | |
E077B | |
E0834 | |
E0968 | |
E3334 | |
E37AB | |
E39C7 | |
E4034 | |
E5307 | |
E55AB | |
E705B | |
E750B | |
E766E | |
E76EE | |
E8304 | |
E8434 | |
E9608 | |
E9C37 | |
EAE52 | |
EBB0B | |
EC557 | |
EC597 | |
EC957 | |
1000BD | |
1009AB | |
10A90B | |
1900AB | |
190661 | |
19099B | |
190A0B | |
1A900B | |
222A52 | |
2AAA52 | |
31000D | |
330331 | |
333334 | |
3733AB | |
373ABB | |
3BBB61 | |
430004 | |
490068 | |
490608 | |
5000DB | |
500D0B | |
505557 | |
505A0B | |
50D00B | |
50DDDB | |
50DDDD | |
522222 | |
5500AB | |
5500C7 | |
550957 | |
550A0B | |
555A9B | |
559057 | |
560011 | |
590661 | |
633331 | |
666331 | |
666591 | |
666661 | |
7050AB | |
705A0B | |
706101 | |
70A50B | |
7300AB | |
761661 | |
76666E | |
777011 | |
777101 | |
77750B | |
777A5B | |
777CEE | |
779051 | |
791501 | |
7E7797 | |
7ECCCE | |
7EEE97 | |
800D9D | |
808834 | |
836631 | |
83D661 | |
843004 | |
856611 | |
884034 | |
884304 | |
888E34 | |
88A434 | |
88AE34 | |
8A4034 | |
8AEE34 | |
8E8034 | |
8E8E34 | |
8EEE34 | |
9000BB | |
9001AB | |
900B07 | |
900D98 | |
903661 | |
905661 | |
906651 | |
9080DD | |
9099A8 | |
909D9B | |
90A668 | |
90DD9B | |
90DDBB | |
910001 | |
9100AB | |
91A00B | |
930007 | |
950001 | |
956661 | |
9909A8 | |
995907 | |
999068 | |
999507 | |
999907 | |
9B0B1B | |
9B0BB1 | |
9BB01B | |
9C5597 | |
9C5957 | |
9D09DD | |
9D0D9D | |
9D800D | |
9DB307 | |
9DD09D | |
A00034 | |
A0033B | |
A033B4 | |
A2A252 | |
AAAA52 | |
ABBBBB | |
B00004 | |
B0001B | |
B0003D | |
B00A04 | |
B0555B | |
B07191 | |
B07711 | |
B07777 | |
B0B911 | |
B0BDBB | |
B77011 | |
B777C7 | |
BB0001 | |
BB0034 | |
BB035D | |
BB055B | |
BB0BDB | |
BB9101 | |
BBB0DB | |
BBB50D | |
BBBB01 | |
BBD0BB | |
C55397 | |
C55557 | |
C55597 | |
D0003B | |
D00057 | |
D0007D | |
D000B7 | |
D000C8 | |
D008DD | |
D00DAB | |
D0333B | |
D05537 | |
D099DD | |
D09DDD | |
D0DDBB | |
D555C7 | |
D5C537 | |
D88008 | |
D88088 | |
D888EE | |
D909DD | |
D9D0DD | |
D9DD0D | |
DB0BBB | |
DBBB0B | |
DBBB0D | |
DC0008 | |
DC5537 | |
DDDDD8 | |
DDDEBB | |
DDE99B | |
DE0808 | |
DE0C57 | |
DE300B | |
DE5537 | |
DE8888 | |
DEE088 | |
DEE307 | |
DEE888 | |
DEEE37 | |
DEEE57 | |
DEEEC8 | |
E0000B | |
E007BB | |
E00A52 | |
E03BC7 | |
E07ABB | |
E09B07 | |
E0A99B | |
E0C397 | |
E0E76E | |
E50057 | |
E55007 | |
E55597 | |
E55937 | |
E730AB | |
E73A0B | |
E80E34 | |
E88834 | |
E8E034 | |
E90008 | |
E95557 | |
EA099B | |
EE4304 | |
EE5057 | |
EE5507 | |
EE8E34 | |
EE9307 | |
EEE434 | |
100001D | |
1000A9B | |
1000DC7 | |
22AA252 | |
3000BC7 | |
3033301 | |
3076661 | |
333B304 | |
33B3034 | |
3B33304 | |
3D66661 | |
50007AB | |
5005957 | |
5500597 | |
5550057 | |
5559007 | |
5559597 | |
5595007 | |
5966661 | |
5DDDDDB | |
6366631 | |
7010001 | |
7066651 | |
7100061 | |
733BBBB | |
766A6AE | |
77505AB | |
7776501 | |
777775B | |
777AACE | |
777ECCE | |
777EEAE | |
7CCCCCE | |
7E30A0B | |
7EEEEAE | |
8300004 | |
8363331 | |
8693331 | |
880E834 | |
8833304 | |
8888034 | |
8888434 | |
888A034 | |
88A3334 | |
88E8834 | |
88EE034 | |
88EE304 | |
8AA3334 | |
8D0009D | |
8EE8834 | |
9000361 | |
9000668 | |
9003331 | |
9005557 | |
9006008 | |
9008D0D | |
9083331 | |
9090968 | |
90BBB01 | |
90D0908 | |
9500661 | |
9555597 | |
9555957 | |
9660008 | |
9900968 | |
9995597 | |
9996008 | |
9999557 | |
9999597 | |
9999908 | |
9A66668 | |
A003B34 | |
A003BB4 | |
AA22252 | |
B00B034 | |
B00B35D | |
B033334 | |
B0B6661 | |
B0BB01B | |
B100001 | |
B333304 | |
B777777 | |
B99999D | |
BA60004 | |
BAA0334 | |
BBB001B | |
BBB6611 | |
BBBBB11 | |
BBBD00B | |
BD000AB | |
D0000DB | |
D009098 | |
D00CCC8 | |
D00D908 | |
D00D99D | |
D03000B | |
D0BB0BB | |
D0D9008 | |
D0D9998 | |
D1000C7 | |
D800008 | |
D8DDEEE | |
D90080D | |
DBBBBBB | |
DD09998 | |
DDD5557 | |
DDDDBBB | |
DDDDDBD | |
DDDE8EE | |
DECC008 | |
DECCCC8 | |
DEE0CC8 | |
DEEC0C8 | |
E000397 | |
E0003BB | |
E000434 | |
E00076E | |
E000937 | |
E007A5B | |
E00909B | |
E0090B7 | |
E009307 | |
E00B077 | |
E00E434 | |
E00E797 | |
E00E937 | |
E05999B | |
E09009B | |
E0900B7 | |
E0E0937 | |
E0E7E97 | |
E0EAA52 | |
E0EEA52 | |
E555057 | |
E5555C7 | |
E7777C7 | |
E77E797 | |
E88EE34 | |
E999998 | |
EA5999B | |
EB000BB | |
EB0BBBB | |
EE00434 | |
EE0E797 | |
EEE076E | |
EEE706E | |
EEE8834 | |
EEEE557 | |
EEEE797 | |
30333331 | |
30B66661 | |
33000034 | |
33030004 | |
33B33004 | |
500575AB | |
55000007 | |
5500075B | |
55500907 | |
55555057 | |
55555907 | |
55559507 | |
60003301 | |
60033001 | |
60330001 | |
7000003D | |
70106661 | |
70666611 | |
77000001 | |
7777770B | |
777777C7 | |
77777ACE | |
77777EAE | |
777E30AB | |
777E3A0B | |
7CCCC66E | |
800005DD | |
88AA0834 | |
90000008 | |
900008DD | |
90099668 | |
90500557 | |
90555007 | |
90666668 | |
90909998 | |
90990998 | |
90996668 | |
9099999D | |
90D00098 | |
90D90998 | |
95500057 | |
99099098 | |
99555057 | |
99900998 | |
99966608 | |
99966668 | |
99999668 | |
99999998 | |
9D009008 | |
9D090998 | |
A0803334 | |
A2222252 | |
AAA52222 | |
B00005AB | |
B000B55B | |
B0BBBB5B | |
B3330034 | |
BB0BBB1B | |
BBAA3334 | |
BBB0BB1B | |
BBB0BB5B | |
BBDB000B | |
D000BBBB | |
D00100C7 | |
D8888888 | |
D900008D | |
D9000098 | |
DBB000BB | |
DC0CCCC8 | |
DCC0CCC8 | |
DCCCC008 | |
DD000908 | |
DD09009D | |
DDDDDDAB | |
DDDDDEEE | |
DDDEEE8E | |
DDDEEEE8 | |
DEE80008 | |
E0777E97 | |
E0E0E397 | |
E0E77797 | |
E0EE0397 | |
E7777797 | |
E9066668 | |
EE00E397 | |
EE077797 | |
EE0E0397 | |
EEE00797 | |
EEE07E97 | |
EEE0AA52 | |
EEE55397 | |
EEE55557 | |
EEEAAA52 | |
EEEEE834 | |
EEEEEA52 | |
300003331 | |
300007661 | |
300330031 | |
333000004 | |
333300001 | |
333B00034 | |
3700000AB | |
3B3300034 | |
500000057 | |
555555007 | |
555555557 | |
5DDDDDDDD | |
600000331 | |
7500000AB | |
75000A00B | |
75A00000B | |
761000001 | |
77000E0C7 | |
777700EC7 | |
7777730AB | |
7777777AE | |
77777EE97 | |
7777E7E97 | |
777999997 | |
7A500000B | |
7BBBBBB5B | |
88888A834 | |
900000031 | |
900666608 | |
909990098 | |
90D009998 | |
950000557 | |
966666008 | |
990000007 | |
990555507 | |
999999997 | |
A000000B4 | |
A0005999B | |
AAEEEEE34 | |
B000AA334 | |
BBBBB005B | |
BBBBBBB5B | |
D09999998 | |
D0D90009D | |
D800000DD | |
D90009998 | |
DCCCC0CC8 | |
DE88EEEEE | |
DEEEEEE88 | |
E000B7777 | |
E000BBBBB | |
E003ABBBB | |
EE0000797 | |
EE0EEE397 | |
EE5555557 | |
EE777EE97 | |
EEEEEE537 | |
EEEEEE937 | |
2222222252 | |
3000000071 | |
3330030001 | |
3333303001 | |
3333330001 | |
500000007B | |
5555555097 | |
7000000071 | |
77000000C7 | |
8333333331 | |
8888883334 | |
8888888834 | |
888888AA34 | |
900000009B | |
900000009D | |
900000DD9D | |
9000099998 | |
9955555507 | |
9D0000099D | |
9D05555557 | |
AB0000005B | |
B000000DAB | |
B00000BBDB | |
BB00BB0B5B | |
BB0BB00B5B | |
D000099998 | |
D00090008D | |
D0D000909D | |
D0DDDDDDDB | |
D300000007 | |
D88EEEEEEE | |
D900999998 | |
DD00900008 | |
DDD6EEEEEE | |
DDDDDDD6EE | |
DDDDDDDDDE | |
DDDEEEEEEE | |
DEEEEE8008 | |
E000000797 | |
7777777CCCE | |
88888830004 | |
90000009D9D | |
99955555557 | |
9999999999D | |
B00000D00AB | |
BB000BBB05B | |
BBBB0000B5B | |
D000009080D | |
D000090800D | |
D090800000D | |
DDDDDDD999B | |
DDDDDDDDD9B | |
EEEEEE00397 | |
EEEEEEE0397 | |
333000000301 | |
5000000000DD | |
73A00000000B | |
9000000000B7 | |
903333333331 | |
ABB00000000B | |
D000000001C7 | |
DCCCCCCCCCC8 | |
E0EEEEEEE397 | |
19A000000000B | |
3333333333331 | |
3BBBBBBBBBBBB | |
9333333333331 | |
A00000000099B | |
B00000000050D | |
EEEEEEEEEE76E | |
1000000000999B | |
71000000000001 | |
908D000000000D | |
BBBBBBBBBB6661 | |
77777777777777B | |
BB00000000BBB5B | |
DEEEEEEEEEEEEEE | |
7777777777777E97 | |
B0BBBBBBBBBBBB1B | |
BB0000000000DB0B | |
D000000000000998 | |
D908000000000000D | |
DDDDDDDDDDDDDDDDB | |
E9666666666666668 | |
3330000000000000031 | |
D00000000000000908D | |
E0BBBBBBBBBBBBBBBBB | |
2EEEEEEEEEEEEEEEEE52 | |
77777777777777777ECE | |
5000000000000000005AB | |
777777777777777777997 | |
7BBBBBBBBBBBBBBBBBBBB | |
BB0000000000000000DBB | |
DD000000000000000909D | |
D900000000000000000DDD | |
DD0000000000000000099D | |
BBBBBBBBBBBBBBBBBBBBBB1 | |
B00000000000000000000005B | |
B0700000000000000000000001 | |
B70000000000000000000000001 | |
705000000000000000000000000B | |
633000000000000000000000000001 | |
EBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB | |
500000000000000000000000000000000017 | |
77777777777777777777777777777777777777777777777777777777777CCE | |
7777777777777777777777777777777777777777777777777777777777777777777777777CE | |
96666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666608 | |
EEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE397 | |
7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777797 |