mnemorandom 0.1.1

data/vendor/git/corpora.git/data/mathematics/primes_binary.json

@@ -0,0 +1,1005 @@
+{
+    "description":"The first 1000 prime numbers in binary.",
+    "primes": [
+        10,
+        11,
+        101,
+        111,
+        1011,
+        1101,
+        10001,
+        10011,
+        10111,
+        11101,
+        11111,
+        100101,
+        101001,
+        101011,
+        101111,
+        110101,
+        111011,
+        111101,
+        1000011,
+        1000111,
+        1001001,
+        1001111,
+        1010011,
+        1011001,
+        1100001,
+        1100101,
+        1100111,
+        1101011,
+        1101101,
+        1110001,
+        1111111,
+        10000011,
+        10001001,
+        10001011,
+        10010101,
+        10010111,
+        10011101,
+        10100011,
+        10100111,
+        10101101,
+        10110011,
+        10110101,
+        10111111,
+        11000001,
+        11000101,
+        11000111,
+        11010011,
+        11011111,
+        11100011,
+        11100101,
+        11101001,
+        11101111,
+        11110001,
+        11111011,
+        100000001,
+        100000111,
+        100001101,
+        100001111,
+        100010101,
+        100011001,
+        100011011,
+        100100101,
+        100110011,
+        100110111,
+        100111001,
+        100111101,
+        101001011,
+        101010001,
+        101011011,
+        101011101,
+        101100001,
+        101100111,
+        101101111,
+        101110101,
+        101111011,
+        101111111,
+        110000101,
+        110001101,
+        110010001,
+        110011001,
+        110100011,
+        110100101,
+        110101111,
+        110110001,
+        110110111,
+        110111011,
+        111000001,
+        111001001,
+        111001101,
+        111001111,
+        111010011,
+        111011111,
+        111100111,
+        111101011,
+        111110011,
+        111110111,
+        111111101,
+        1000001001,
+        1000001011,
+        1000011101,
+        1000100011,
+        1000101101,
+        1000110011,
+        1000111001,
+        1000111011,
+        1001000001,
+        1001001011,
+        1001010001,
+        1001010111,
+        1001011001,
+        1001011111,
+        1001100101,
+        1001101001,
+        1001101011,
+        1001110111,
+        1010000001,
+        1010000011,
+        1010000111,
+        1010001101,
+        1010010011,
+        1010010101,
+        1010100001,
+        1010100101,
+        1010101011,
+        1010110011,
+        1010111101,
+        1011000101,
+        1011001111,
+        1011010111,
+        1011011101,
+        1011100011,
+        1011100111,
+        1011101111,
+        1011110101,
+        1011111001,
+        1100000001,
+        1100000101,
+        1100010011,
+        1100011101,
+        1100101001,
+        1100101011,
+        1100110101,
+        1100110111,
+        1100111011,
+        1100111101,
+        1101000111,
+        1101010101,
+        1101011001,
+        1101011011,
+        1101011111,
+        1101101101,
+        1101110001,
+        1101110011,
+        1101110111,
+        1110001011,
+        1110001111,
+        1110010111,
+        1110100001,
+        1110101001,
+        1110101101,
+        1110110011,
+        1110111001,
+        1111000111,
+        1111001011,
+        1111010001,
+        1111010111,
+        1111011111,
+        1111100101,
+        1111110001,
+        1111110101,
+        1111111011,
+        1111111101,
+        10000000111,
+        10000001001,
+        10000001111,
+        10000011001,
+        10000011011,
+        10000100101,
+        10000100111,
+        10000101101,
+        10000111111,
+        10001000011,
+        10001000101,
+        10001001001,
+        10001001111,
+        10001010101,
+        10001011101,
+        10001100011,
+        10001101001,
+        10001111111,
+        10010000001,
+        10010001011,
+        10010010011,
+        10010011101,
+        10010100011,
+        10010101001,
+        10010110001,
+        10010111101,
+        10011000001,
+        10011000111,
+        10011001101,
+        10011001111,
+        10011010101,
+        10011100001,
+        10011101011,
+        10011111101,
+        10011111111,
+        10100000011,
+        10100001001,
+        10100001011,
+        10100010001,
+        10100010101,
+        10100010111,
+        10100011011,
+        10100100111,
+        10100101001,
+        10100101111,
+        10101010001,
+        10101010111,
+        10101011101,
+        10101100101,
+        10101110111,
+        10110000001,
+        10110001111,
+        10110010011,
+        10110010101,
+        10110011001,
+        10110011111,
+        10110100111,
+        10110101011,
+        10110101101,
+        10110110011,
+        10110111111,
+        10111001001,
+        10111001011,
+        10111001111,
+        10111010001,
+        10111010101,
+        10111011011,
+        10111100111,
+        10111110011,
+        10111111011,
+        11000000111,
+        11000001101,
+        11000010001,
+        11000010111,
+        11000011111,
+        11000100011,
+        11000101011,
+        11000101111,
+        11000111101,
+        11001000001,
+        11001000111,
+        11001001001,
+        11001001101,
+        11001010011,
+        11001010101,
+        11001011011,
+        11001100101,
+        11001111001,
+        11001111111,
+        11010000011,
+        11010000101,
+        11010011101,
+        11010100001,
+        11010100011,
+        11010101101,
+        11010111001,
+        11010111011,
+        11011000101,
+        11011001101,
+        11011010011,
+        11011011001,
+        11011011111,
+        11011110001,
+        11011110111,
+        11011111011,
+        11011111101,
+        11100001001,
+        11100010011,
+        11100011111,
+        11100100111,
+        11100110111,
+        11101000101,
+        11101001011,
+        11101001111,
+        11101010001,
+        11101010101,
+        11101010111,
+        11101100001,
+        11101101101,
+        11101110011,
+        11101111001,
+        11110001011,
+        11110001101,
+        11110011101,
+        11110011111,
+        11110110101,
+        11110111011,
+        11111000011,
+        11111001001,
+        11111001101,
+        11111001111,
+        11111010011,
+        11111011011,
+        11111100001,
+        11111101011,
+        11111101101,
+        11111110111,
+        100000000101,
+        100000001111,
+        100000010101,
+        100000100001,
+        100000100011,
+        100000100111,
+        100000101001,
+        100000110011,
+        100000111111,
+        100001000001,
+        100001010001,
+        100001010011,
+        100001011001,
+        100001011101,
+        100001011111,
+        100001101001,
+        100001110001,
+        100010000011,
+        100010011011,
+        100010011111,
+        100010100101,
+        100010101101,
+        100010111101,
+        100010111111,
+        100011000011,
+        100011001011,
+        100011011011,
+        100011011101,
+        100011100001,
+        100011101001,
+        100011101111,
+        100011110101,
+        100011111001,
+        100100000101,
+        100100000111,
+        100100011101,
+        100100100011,
+        100100100101,
+        100100101011,
+        100100101111,
+        100100110101,
+        100101000011,
+        100101001001,
+        100101001101,
+        100101001111,
+        100101010101,
+        100101011001,
+        100101011111,
+        100101101011,
+        100101110001,
+        100101110111,
+        100110000101,
+        100110001001,
+        100110001111,
+        100110011011,
+        100110100011,
+        100110101001,
+        100110101101,
+        100111000111,
+        100111011001,
+        100111100011,
+        100111101011,
+        100111101111,
+        100111110101,
+        100111110111,
+        100111111101,
+        101000010011,
+        101000011111,
+        101000100001,
+        101000110001,
+        101000111001,
+        101000111101,
+        101001001001,
+        101001010111,
+        101001100001,
+        101001100011,
+        101001100111,
+        101001101111,
+        101001110101,
+        101001111011,
+        101001111111,
+        101010000001,
+        101010000101,
+        101010001011,
+        101010010011,
+        101010010111,
+        101010011001,
+        101010011111,
+        101010101001,
+        101010101011,
+        101010110101,
+        101010111101,
+        101011000001,
+        101011001111,
+        101011011001,
+        101011100101,
+        101011100111,
+        101011101101,
+        101011110001,
+        101011110011,
+        101100000011,
+        101100010001,
+        101100010101,
+        101100011011,
+        101100100011,
+        101100101001,
+        101100101101,
+        101100111111,
+        101101000111,
+        101101010001,
+        101101010111,
+        101101011101,
+        101101100101,
+        101101101111,
+        101101111011,
+        101110001001,
+        101110001101,
+        101110010011,
+        101110011001,
+        101110011011,
+        101110110111,
+        101110111001,
+        101111000011,
+        101111001011,
+        101111001111,
+        101111011101,
+        101111100001,
+        101111101001,
+        101111110101,
+        101111111011,
+        110000000111,
+        110000001011,
+        110000010001,
+        110000100101,
+        110000101111,
+        110000110001,
+        110001000001,
+        110001011011,
+        110001011111,
+        110001100001,
+        110001101101,
+        110001110011,
+        110001110111,
+        110010000011,
+        110010001001,
+        110010010001,
+        110010010101,
+        110010011101,
+        110010110011,
+        110010110101,
+        110010111001,
+        110010111011,
+        110011000111,
+        110011100011,
+        110011100101,
+        110011101011,
+        110011110001,
+        110011110111,
+        110011111011,
+        110100000001,
+        110100000011,
+        110100001111,
+        110100010011,
+        110100011111,
+        110100100001,
+        110100101011,
+        110100101101,
+        110100111101,
+        110100111111,
+        110101001111,
+        110101010101,
+        110101101001,
+        110101111001,
+        110110000001,
+        110110000101,
+        110110000111,
+        110110001011,
+        110110001101,
+        110110100011,
+        110110101011,
+        110110110111,
+        110110111101,
+        110111000111,
+        110111001001,
+        110111001101,
+        110111010011,
+        110111010101,
+        110111011011,
+        110111100101,
+        110111100111,
+        110111110011,
+        110111111101,
+        110111111111,
+        111000001001,
+        111000010111,
+        111000011101,
+        111000100001,
+        111000100111,
+        111000101111,
+        111000110101,
+        111000111011,
+        111001001011,
+        111001010111,
+        111001011001,
+        111001011101,
+        111001101011,
+        111001110001,
+        111001110101,
+        111001111101,
+        111010000111,
+        111010001111,
+        111010010101,
+        111010011011,
+        111010110001,
+        111010110111,
+        111010111001,
+        111011000011,
+        111011010001,
+        111011010101,
+        111011011011,
+        111011101101,
+        111011101111,
+        111011111001,
+        111100000111,
+        111100001011,
+        111100001101,
+        111100010111,
+        111100100101,
+        111100101001,
+        111100110001,
+        111101000011,
+        111101000111,
+        111101001101,
+        111101001111,
+        111101010011,
+        111101011001,
+        111101011011,
+        111101100111,
+        111101101011,
+        111101111111,
+        111110010101,
+        111110100001,
+        111110100011,
+        111110100111,
+        111110101101,
+        111110110011,
+        111110110101,
+        111110111011,
+        111111010001,
+        111111010011,
+        111111011001,
+        111111101001,
+        111111101111,
+        111111111011,
+        111111111101,
+        1000000000011,
+        1000000001111,
+        1000000011111,
+        1000000100001,
+        1000000100101,
+        1000000101011,
+        1000000111001,
+        1000000111101,
+        1000000111111,
+        1000001010001,
+        1000001101001,
+        1000001110011,
+        1000001111001,
+        1000001111011,
+        1000010000101,
+        1000010000111,
+        1000010010001,
+        1000010010011,
+        1000010011101,
+        1000010100011,
+        1000010100101,
+        1000010101111,
+        1000010110001,
+        1000010111011,
+        1000011000001,
+        1000011001001,
+        1000011100111,
+        1000011110001,
+        1000011110011,
+        1000011111101,
+        1000100000101,
+        1000100001011,
+        1000100010101,
+        1000100100111,
+        1000100101101,
+        1000100111001,
+        1000101000101,
+        1000101000111,
+        1000101011001,
+        1000101011111,
+        1000101100011,
+        1000101101001,
+        1000101101111,
+        1000110000001,
+        1000110000011,
+        1000110001101,
+        1000110011011,
+        1000110100001,
+        1000110100101,
+        1000110100111,
+        1000110101011,
+        1000111000011,
+        1000111000101,
+        1000111010001,
+        1000111010111,
+        1000111100111,
+        1000111101111,
+        1000111110101,
+        1000111111011,
+        1001000001101,
+        1001000011101,
+        1001000011111,
+        1001000100011,
+        1001000101001,
+        1001000101011,
+        1001000110001,
+        1001000110111,
+        1001001000001,
+        1001001000111,
+        1001001010011,
+        1001001011111,
+        1001001110001,
+        1001001110011,
+        1001001111001,
+        1001001111101,
+        1001010001111,
+        1001010010111,
+        1001010101111,
+        1001010110011,
+        1001010110101,
+        1001010111001,
+        1001010111111,
+        1001011000001,
+        1001011001101,
+        1001011010001,
+        1001011011111,
+        1001011111101,
+        1001100000111,
+        1001100001101,
+        1001100011001,
+        1001100100111,
+        1001100101101,
+        1001100110111,
+        1001101000011,
+        1001101000101,
+        1001101001001,
+        1001101001111,
+        1001101010111,
+        1001101011101,
+        1001101100111,
+        1001101101001,
+        1001101101101,
+        1001101111011,
+        1001110000001,
+        1001110000111,
+        1001110001011,
+        1001110010001,
+        1001110010011,
+        1001110011101,
+        1001110011111,
+        1001110101111,
+        1001110111011,
+        1001111000011,
+        1001111010101,
+        1001111011001,
+        1001111011111,
+        1001111101011,
+        1001111101101,
+        1001111110011,
+        1001111111001,
+        1001111111111,
+        1010000011011,
+        1010000100001,
+        1010000101111,
+        1010000110011,
+        1010000111011,
+        1010001000101,
+        1010001001101,
+        1010001011001,
+        1010001101011,
+        1010001101111,
+        1010001110001,
+        1010001110101,
+        1010010001101,
+        1010010011001,
+        1010010011111,
+        1010010100001,
+        1010010110001,
+        1010010110111,
+        1010010111101,
+        1010011001011,
+        1010011010101,
+        1010011100011,
+        1010011100111,
+        1010100000101,
+        1010100001011,
+        1010100010001,
+        1010100010111,
+        1010100011111,
+        1010100100101,
+        1010100101001,
+        1010100101011,
+        1010100110111,
+        1010100111101,
+        1010101000001,
+        1010101000011,
+        1010101001001,
+        1010101011111,
+        1010101100101,
+        1010101100111,
+        1010101101011,
+        1010101111101,
+        1010101111111,
+        1010110000011,
+        1010110001111,
+        1010110010001,
+        1010110010111,
+        1010110011011,
+        1010110110101,
+        1010110111011,
+        1010111000001,
+        1010111000101,
+        1010111001101,
+        1010111010111,
+        1010111110111,
+        1011000000111,
+        1011000001001,
+        1011000001111,
+        1011000010011,
+        1011000010101,
+        1011000011001,
+        1011000011011,
+        1011000100101,
+        1011000110011,
+        1011000111001,
+        1011000111101,
+        1011001000101,
+        1011001001111,
+        1011001010101,
+        1011001101001,
+        1011001101101,
+        1011001101111,
+        1011001110101,
+        1011010010011,
+        1011010010111,
+        1011010011111,
+        1011010101001,
+        1011010101111,
+        1011010110101,
+        1011010111101,
+        1011011000011,
+        1011011001111,
+        1011011010011,
+        1011011011001,
+        1011011011011,
+        1011011100001,
+        1011011100101,
+        1011011101011,
+        1011011101101,
+        1011011110111,
+        1011011111001,
+        1011100001001,
+        1011100001111,
+        1011100100011,
+        1011100100111,
+        1011100110011,
+        1011101000001,
+        1011101011101,
+        1011101100011,
+        1011101110111,
+        1011101111011,
+        1011110001101,
+        1011110010101,
+        1011110011011,
+        1011110011111,
+        1011110100101,
+        1011110110011,
+        1011110111001,
+        1011110111111,
+        1011111001001,
+        1011111001011,
+        1011111010101,
+        1011111100001,
+        1011111101001,
+        1011111110011,
+        1011111110101,
+        1011111111111,
+        1100000000111,
+        1100000010011,
+        1100000011101,
+        1100000110101,
+        1100000110111,
+        1100000111011,
+        1100001000011,
+        1100001001001,
+        1100001001101,
+        1100001010101,
+        1100001100111,
+        1100001110001,
+        1100001110111,
+        1100001111101,
+        1100001111111,
+        1100010000101,
+        1100010001111,
+        1100010011011,
+        1100010011101,
+        1100010100111,
+        1100010101101,
+        1100010110011,
+        1100010111001,
+        1100011000001,
+        1100011000111,
+        1100011010001,
+        1100011010111,
+        1100011011001,
+        1100011011111,
+        1100011100101,
+        1100011101011,
+        1100011110101,
+        1100011111101,
+        1100100010101,
+        1100100011011,
+        1100100110001,
+        1100100110011,
+        1100101000101,
+        1100101001001,
+        1100101010001,
+        1100101011011,
+        1100101111001,
+        1100110000001,
+        1100110010011,
+        1100110010111,
+        1100110011001,
+        1100110100011,
+        1100110101001,
+        1100110101011,
+        1100110110001,
+        1100110110101,
+        1100111000111,
+        1100111001111,
+        1100111011011,
+        1100111101101,
+        1100111111101,
+        1101000000011,
+        1101000000101,
+        1101000010001,
+        1101000010111,
+        1101000100001,
+        1101000100011,
+        1101000101101,
+        1101000101111,
+        1101000110101,
+        1101000111111,
+        1101001001101,
+        1101001010001,
+        1101001101001,
+        1101001101011,
+        1101001111011,
+        1101001111101,
+        1101010000111,
+        1101010001001,
+        1101010010011,
+        1101010100111,
+        1101010101011,
+        1101010101101,
+        1101010110001,
+        1101010111001,
+        1101011001001,
+        1101011001111,
+        1101011010101,
+        1101011010111,
+        1101011100011,
+        1101011110011,
+        1101011111011,
+        1101011111111,
+        1101100000101,
+        1101100100011,
+        1101100100101,
+        1101100101111,
+        1101100110001,
+        1101100110111,
+        1101100111011,
+        1101101000001,
+        1101101000111,
+        1101101001111,
+        1101101010101,
+        1101101011001,
+        1101101100101,
+        1101101101011,
+        1101101110011,
+        1101101111111,
+        1101110000011,
+        1101110010001,
+        1101110011101,
+        1101110100111,
+        1101110111111,
+        1101111000101,
+        1101111010001,
+        1101111010111,
+        1101111011001,
+        1101111101111,
+        1101111110111,
+        1110000001001,
+        1110000010011,
+        1110000011001,
+        1110000100111,
+        1110000101011,
+        1110000101101,
+        1110000110011,
+        1110000111101,
+        1110001000101,
+        1110001001011,
+        1110001001111,
+        1110001010101,
+        1110001110011,
+        1110010000001,
+        1110010001011,
+        1110010001101,
+        1110010011001,
+        1110010100011,
+        1110010100101,
+        1110010110101,
+        1110010110111,
+        1110011001001,
+        1110011100001,
+        1110011110011,
+        1110011111001,
+        1110100001001,
+        1110100011011,
+        1110100100001,
+        1110100100011,
+        1110100110101,
+        1110100111001,
+        1110100111111,
+        1110101000001,
+        1110101001011,
+        1110101010011,
+        1110101011101,
+        1110101100011,
+        1110101101001,
+        1110101110001,
+        1110101110101,
+        1110101111011,
+        1110101111101,
+        1110110000111,
+        1110110001001,
+        1110110010101,
+        1110110011001,
+        1110110011111,
+        1110110100101,
+        1110110100111,
+        1110110110011,
+        1110110110111,
+        1110111000101,
+        1110111010111,
+        1110111011011,
+        1110111100001,
+        1110111110101,
+        1110111111001,
+        1111000000001,
+        1111000000111,
+        1111000001011,
+        1111000010011,
+        1111000010111,
+        1111000100101,
+        1111000101011,
+        1111000101111,
+        1111000111101,
+        1111001001001,
+        1111001001101,
+        1111001001111,
+        1111001101101,
+        1111001110001,
+        1111010001001,
+        1111010001111,
+        1111010010101,
+        1111010100001,
+        1111010101101,
+        1111010111011,
+        1111011000001,
+        1111011000101,
+        1111011000111,
+        1111011001011,
+        1111011011101,
+        1111011100011,
+        1111011101111
+    ]
+}