API tools faq
paste
Advertisement
mate2code

BECs of Boolean functions in colex order of fractions

mate2code
Jul 19th, 2019
556
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Python 45.61 KB | None | 0 0
raw download clone embed print report
  1. # This Python dict shows the first A000616(4) = 402 big equivalence classes (BEC) of Boolean functions.
  2. # Each BEC is represented by the function whose rational value comes first in the colex order of fractions.
  3.  
  4. # a: smallest possible arity of functions in this BEC (e.g. 2 for the BECs of XOR, AND, OR)
  5. # b: binary string of length 16, representing a period of length 2**arity
  6. # c: index of the complement BEC (E.g. BEC 4 containing AND and BEC 5 containing OR are complements.)
  7. # v: number value of the function as pair of numerator and denominator (List is in colex order of these pairs.)
  8. # w: weight of the function as pair of numerator and denominator (number of 1s to number of digits)
  9. # e[0]: number of functions in each small equivalence class (SEC)
  10. # e[1]: number of SECs in the BEC for the given (smallest possible) arity
  11.  
  12. becs_rational = {
  13.  
  14.       0:  { 'a': 0,  'b': '0000000000000000',  'c':   1,  'v': (    0,     1),  'w': ( 0,  1),  'e': ( 1,  1) },
  15.       1:  { 'a': 0,  'b': '1111111111111111',  'c':   0,  'v': (    1,     1),  'w': ( 1,  1),  'e': ( 1,  1) },
  16.  
  17.       2:  { 'a': 1,  'b': '1010101010101010',  'c':   2,  'v': (    1,     3),  'w': ( 1,  2),  'e': ( 2,  1) },
  18.  
  19.       3:  { 'a': 2,  'b': '0110011001100110',  'c':   3,  'v': (    2,     5),  'w': ( 1,  2),  'e': ( 2,  1) },
  20.       4:  { 'a': 2,  'b': '1000100010001000',  'c':   5,  'v': (    1,    15),  'w': ( 1,  4),  'e': ( 4,  1) },
  21.       5:  { 'a': 2,  'b': '1110111011101110',  'c':   4,  'v': (    7,    15),  'w': ( 3,  4),  'e': ( 4,  1) },
  22.  
  23.       6:  { 'a': 3,  'b': '0111100001111000',  'c':   6,  'v': (    2,    17),  'w': ( 1,  2),  'e': ( 8,  3) },
  24.       7:  { 'a': 3,  'b': '1001011010010110',  'c':   7,  'v': (    7,    17),  'w': ( 1,  2),  'e': ( 2,  1) },
  25.       8:  { 'a': 3,  'b': '0010100000101000',  'c':  13,  'v': (    4,    51),  'w': ( 1,  4),  'e': ( 4,  3) },
  26.       9:  { 'a': 3,  'b': '1001100010011000',  'c':  12,  'v': (    5,    51),  'w': ( 3,  8),  'e': ( 8,  3) },
  27.      10:  { 'a': 3,  'b': '1100010011000100',  'c':  11,  'v': (    7,    51),  'w': ( 3,  8),  'e': ( 8,  3) },
  28.      11:  { 'a': 3,  'b': '1110110011101100',  'c':  10,  'v': (   11,    51),  'w': ( 5,  8),  'e': ( 8,  3) },
  29.      12:  { 'a': 3,  'b': '0111011001110110',  'c':   9,  'v': (   22,    51),  'w': ( 5,  8),  'e': ( 8,  3) },
  30.      13:  { 'a': 3,  'b': '1011111010111110',  'c':   8,  'v': (   25,    51),  'w': ( 3,  4),  'e': ( 4,  3) },
  31.      14:  { 'a': 3,  'b': '0001100000011000',  'c':  16,  'v': (    8,    85),  'w': ( 1,  4),  'e': ( 4,  1) },
  32.      15:  { 'a': 3,  'b': '1101100011011000',  'c':  15,  'v': (    9,    85),  'w': ( 1,  2),  'e': ( 8,  3) },
  33.      16:  { 'a': 3,  'b': '0111111001111110',  'c':  14,  'v': (   42,    85),  'w': ( 3,  4),  'e': ( 4,  1) },
  34.      17:  { 'a': 3,  'b': '1000000010000000',  'c':  21,  'v': (    1,   255),  'w': ( 1,  8),  'e': ( 8,  1) },
  35.      18:  { 'a': 3,  'b': '0110100001101000',  'c':  20,  'v': (   22,   255),  'w': ( 3,  8),  'e': ( 8,  1) },
  36.      19:  { 'a': 3,  'b': '1110100011101000',  'c':  19,  'v': (   23,   255),  'w': ( 1,  2),  'e': ( 8,  1) },
  37.      20:  { 'a': 3,  'b': '1101011011010110',  'c':  18,  'v': (  107,   255),  'w': ( 5,  8),  'e': ( 8,  1) },
  38.      21:  { 'a': 3,  'b': '1111111011111110',  'c':  17,  'v': (  127,   255),  'w': ( 7,  8),  'e': ( 8,  1) },
  39.  
  40.      22:  { 'a': 4,  'b': '0111111110000000',  'c':  22,  'v': (    2,   257),  'w': ( 1,  2),  'e': (16,  4) },
  41.      23:  { 'a': 4,  'b': '1001111101100000',  'c':  23,  'v': (    7,   257),  'w': ( 1,  2),  'e': ( 8, 12) },
  42.      24:  { 'a': 4,  'b': '0001111111100000',  'c':  24,  'v': (    8,   257),  'w': ( 1,  2),  'e': (16, 12) },
  43.      25:  { 'a': 4,  'b': '1001011101101000',  'c':  25,  'v': (   23,   257),  'w': ( 1,  2),  'e': (16,  4) },
  44.      26:  { 'a': 4,  'b': '0001011111101000',  'c':  26,  'v': (   24,   257),  'w': ( 1,  2),  'e': ( 8,  4) },
  45.      27:  { 'a': 4,  'b': '1110011100011000',  'c':  27,  'v': (   25,   257),  'w': ( 1,  2),  'e': ( 8,  4) },
  46.      28:  { 'a': 4,  'b': '0110011110011000',  'c':  28,  'v': (   26,   257),  'w': ( 1,  2),  'e': (16, 12) },
  47.      29:  { 'a': 4,  'b': '0010011111011000',  'c':  29,  'v': (   28,   257),  'w': ( 1,  2),  'e': ( 8, 12) },
  48.      30:  { 'a': 4,  'b': '1000011101111000',  'c':  30,  'v': (   31,   257),  'w': ( 1,  2),  'e': ( 8,  6) },
  49.      31:  { 'a': 4,  'b': '0110100110010110',  'c':  31,  'v': (  106,   257),  'w': ( 1,  2),  'e': ( 2,  1) },
  50.      32:  { 'a': 4,  'b': '0010101010000000',  'c':  95,  'v': (    4,   771),  'w': ( 1,  4),  'e': (16, 12) },
  51.      33:  { 'a': 4,  'b': '1001010110000000',  'c':  94,  'v': (    5,   771),  'w': ( 5, 16),  'e': (16, 12) },
  52.      34:  { 'a': 4,  'b': '1100101001000000',  'c': 109,  'v': (    7,   771),  'w': ( 5, 16),  'e': (16, 12) },
  53.      35:  { 'a': 4,  'b': '1110010111000000',  'c':  96,  'v': (   11,   771),  'w': ( 7, 16),  'e': (16, 24) },
  54.      36:  { 'a': 4,  'b': '1111001001100000',  'c':  44,  'v': (   19,   771),  'w': ( 7, 16),  'e': (16, 12) },
  55.      37:  { 'a': 4,  'b': '0010010101100000',  'c':  97,  'v': (   20,   771),  'w': ( 5, 16),  'e': (16, 12) },
  56.      38:  { 'a': 4,  'b': '0111001011100000',  'c':  67,  'v': (   22,   771),  'w': ( 7, 16),  'e': (16, 12) },
  57.      39:  { 'a': 4,  'b': '1100010111100000',  'c':  98,  'v': (   23,   771),  'w': ( 7, 16),  'e': (16, 12) },
  58.      40:  { 'a': 4,  'b': '1011001000010000',  'c':  78,  'v': (   25,   771),  'w': ( 5, 16),  'e': (16, 12) },
  59.      41:  { 'a': 4,  'b': '0011001010010000',  'c':  82,  'v': (   28,   771),  'w': ( 5, 16),  'e': (16, 24) },
  60.      42:  { 'a': 4,  'b': '1101001001010000',  'c':  91,  'v': (   31,   771),  'w': ( 3,  8),  'e': (16, 24) },
  61.      43:  { 'a': 4,  'b': '0101001011010000',  'c':  93,  'v': (   34,   771),  'w': ( 3,  8),  'e': (16, 12) },
  62.      44:  { 'a': 4,  'b': '1111100111010000',  'c':  36,  'v': (   35,   771),  'w': ( 9, 16),  'e': (16, 12) },
  63.      45:  { 'a': 4,  'b': '1001001000110000',  'c':  90,  'v': (   37,   771),  'w': ( 5, 16),  'e': (16,  6) },
  64.      46:  { 'a': 4,  'b': '0111100100110000',  'c':  57,  'v': (   38,   771),  'w': ( 7, 16),  'e': (16, 12) },
  65.      47:  { 'a': 4,  'b': '1011100110110000',  'c':  65,  'v': (   41,   771),  'w': ( 1,  2),  'e': (16, 12) },
  66.      48:  { 'a': 4,  'b': '0011100101110000',  'c':  72,  'v': (   44,   771),  'w': ( 7, 16),  'e': (16, 24) },
  67.      49:  { 'a': 4,  'b': '0110001011110000',  'c':  50,  'v': (   46,   771),  'w': ( 7, 16),  'e': (16, 12) },
  68.      50:  { 'a': 4,  'b': '1101100111110000',  'c':  49,  'v': (   47,   771),  'w': ( 9, 16),  'e': (16, 12) },
  69.      51:  { 'a': 4,  'b': '1100001001001000',  'c': 110,  'v': (   55,   771),  'w': ( 5, 16),  'e': (16, 24) },
  70.      52:  { 'a': 4,  'b': '0100001011001000',  'c': 111,  'v': (   58,   771),  'w': ( 5, 16),  'e': (16, 24) },
  71.      53:  { 'a': 4,  'b': '1110100111001000',  'c':  99,  'v': (   59,   771),  'w': ( 1,  2),  'e': (16, 12) },
  72.      54:  { 'a': 4,  'b': '1000001000101000',  'c': 107,  'v': (   61,   771),  'w': ( 1,  4),  'e': ( 4,  4) },
  73.      55:  { 'a': 4,  'b': '0110100100101000',  'c': 100,  'v': (   62,   771),  'w': ( 3,  8),  'e': ( 8, 12) },
  74.      56:  { 'a': 4,  'b': '1010100110101000',  'c': 101,  'v': (   65,   771),  'w': ( 7, 16),  'e': (16, 12) },
  75.      57:  { 'a': 4,  'b': '1111110001101000',  'c':  46,  'v': (   67,   771),  'w': ( 9, 16),  'e': (16, 12) },
  76.      58:  { 'a': 4,  'b': '0010100101101000',  'c': 102,  'v': (   68,   771),  'w': ( 3,  8),  'e': ( 8, 12) },
  77.      59:  { 'a': 4,  'b': '0111110011101000',  'c':  69,  'v': (   70,   771),  'w': ( 9, 16),  'e': (16,  6) },
  78.      60:  { 'a': 4,  'b': '1100100111101000',  'c': 103,  'v': (   71,   771),  'w': ( 1,  2),  'e': (16, 12) },
  79.      61:  { 'a': 4,  'b': '1011110000011000',  'c':  79,  'v': (   73,   771),  'w': ( 7, 16),  'e': (16, 24) },
  80.      62:  { 'a': 4,  'b': '0100100100011000',  'c': 104,  'v': (   74,   771),  'w': ( 5, 16),  'e': (16, 12) },
  81.      63:  { 'a': 4,  'b': '0011110010011000',  'c':  87,  'v': (   76,   771),  'w': ( 7, 16),  'e': (16, 24) },
  82.      64:  { 'a': 4,  'b': '1000100110011000',  'c': 105,  'v': (   77,   771),  'w': ( 3,  8),  'e': ( 8,  6) },
  83.      65:  { 'a': 4,  'b': '1101110001011000',  'c':  47,  'v': (   79,   771),  'w': ( 1,  2),  'e': (16, 12) },
  84.      66:  { 'a': 4,  'b': '0101110011011000',  'c':  71,  'v': (   82,   771),  'w': ( 1,  2),  'e': (16, 12) },
  85.      67:  { 'a': 4,  'b': '1111000111011000',  'c':  38,  'v': (   83,   771),  'w': ( 9, 16),  'e': (16, 12) },
  86.      68:  { 'a': 4,  'b': '1001110000111000',  'c':  89,  'v': (   85,   771),  'w': ( 7, 16),  'e': (16, 12) },
  87.      69:  { 'a': 4,  'b': '0111000100111000',  'c':  59,  'v': (   86,   771),  'w': ( 7, 16),  'e': (16,  6) },
  88.      70:  { 'a': 4,  'b': '0001110010111000',  'c':  81,  'v': (   88,   771),  'w': ( 7, 16),  'e': (16, 12) },
  89.      71:  { 'a': 4,  'b': '1011000110111000',  'c':  66,  'v': (   89,   771),  'w': ( 1,  2),  'e': (16, 12) },
  90.      72:  { 'a': 4,  'b': '1110110001111000',  'c':  48,  'v': (   91,   771),  'w': ( 9, 16),  'e': (16, 24) },
  91.      73:  { 'a': 4,  'b': '0100110011000100',  'c':  86,  'v': (  106,   771),  'w': ( 3,  8),  'e': ( 8, 12) },
  92.      74:  { 'a': 4,  'b': '1110000111000100',  'c': 106,  'v': (  107,   771),  'w': ( 7, 16),  'e': (16, 12) },
  93.      75:  { 'a': 4,  'b': '1011010000010100',  'c':  80,  'v': (  121,   771),  'w': ( 3,  8),  'e': (16, 24) },
  94.      76:  { 'a': 4,  'b': '0011010010010100',  'c':  88,  'v': (  124,   771),  'w': ( 3,  8),  'e': (16, 24) },
  95.      77:  { 'a': 4,  'b': '1101010001010100',  'c':  92,  'v': (  127,   771),  'w': ( 7, 16),  'e': (16, 12) },
  96.      78:  { 'a': 4,  'b': '1111111011010100',  'c':  40,  'v': (  131,   771),  'w': (11, 16),  'e': (16, 12) },
  97.      79:  { 'a': 4,  'b': '0111111000110100',  'c':  61,  'v': (  134,   771),  'w': ( 9, 16),  'e': (16, 24) },
  98.      80:  { 'a': 4,  'b': '1011111010110100',  'c':  75,  'v': (  137,   771),  'w': ( 5,  8),  'e': (16, 24) },
  99.      81:  { 'a': 4,  'b': '0011111001110100',  'c':  70,  'v': (  140,   771),  'w': ( 9, 16),  'e': (16, 12) },
  100.      82:  { 'a': 4,  'b': '1101111011110100',  'c':  41,  'v': (  143,   771),  'w': (11, 16),  'e': (16, 24) },
  101.      83:  { 'a': 4,  'b': '0110111000101100',  'c':  83,  'v': (  158,   771),  'w': ( 1,  2),  'e': (16, 24) },
  102.      84:  { 'a': 4,  'b': '1010111010101100',  'c': 108,  'v': (  161,   771),  'w': ( 9, 16),  'e': (16, 24) },
  103.      85:  { 'a': 4,  'b': '0010111001101100',  'c':  85,  'v': (  164,   771),  'w': ( 1,  2),  'e': (16, 24) },
  104.      86:  { 'a': 4,  'b': '1100111011101100',  'c':  73,  'v': (  167,   771),  'w': ( 5,  8),  'e': ( 8, 12) },
  105.      87:  { 'a': 4,  'b': '0111011000111100',  'c':  63,  'v': (  182,   771),  'w': ( 9, 16),  'e': (16, 24) },
  106.      88:  { 'a': 4,  'b': '1011011010111100',  'c':  76,  'v': (  185,   771),  'w': ( 5,  8),  'e': (16, 24) },
  107.      89:  { 'a': 4,  'b': '0011011001111100',  'c':  68,  'v': (  188,   771),  'w': ( 9, 16),  'e': (16, 12) },
  108.      90:  { 'a': 4,  'b': '1101011011111100',  'c':  45,  'v': (  191,   771),  'w': (11, 16),  'e': (16,  6) },
  109.      91:  { 'a': 4,  'b': '1111101011010010',  'c':  42,  'v': (  227,   771),  'w': ( 5,  8),  'e': (16, 24) },
  110.      92:  { 'a': 4,  'b': '1011101010110010',  'c':  77,  'v': (  233,   771),  'w': ( 9, 16),  'e': (16, 12) },
  111.      93:  { 'a': 4,  'b': '1101101011110010',  'c':  43,  'v': (  239,   771),  'w': ( 5,  8),  'e': (16, 12) },
  112.      94:  { 'a': 4,  'b': '0111111101101010',  'c':  33,  'v': (  262,   771),  'w': (11, 16),  'e': (16, 12) },
  113.      95:  { 'a': 4,  'b': '1011111111101010',  'c':  32,  'v': (  265,   771),  'w': ( 3,  4),  'e': (16, 12) },
  114.      96:  { 'a': 4,  'b': '0011111100011010',  'c':  35,  'v': (  268,   771),  'w': ( 9, 16),  'e': (16, 24) },
  115.      97:  { 'a': 4,  'b': '1001111111011010',  'c':  37,  'v': (  277,   771),  'w': (11, 16),  'e': (16, 12) },
  116.      98:  { 'a': 4,  'b': '0001111100111010',  'c':  39,  'v': (  280,   771),  'w': ( 9, 16),  'e': (16, 12) },
  117.      99:  { 'a': 4,  'b': '0011011100010110',  'c':  53,  'v': (  316,   771),  'w': ( 1,  2),  'e': (16, 12) },
  118.     100:  { 'a': 4,  'b': '1101011110010110',  'c':  55,  'v': (  319,   771),  'w': ( 5,  8),  'e': ( 8, 12) },
  119.     101:  { 'a': 4,  'b': '0101011101010110',  'c':  56,  'v': (  322,   771),  'w': ( 9, 16),  'e': (16, 12) },
  120.     102:  { 'a': 4,  'b': '1001011111010110',  'c':  58,  'v': (  325,   771),  'w': ( 5,  8),  'e': ( 8, 12) },
  121.     103:  { 'a': 4,  'b': '0001011100110110',  'c':  60,  'v': (  328,   771),  'w': ( 1,  2),  'e': (16, 12) },
  122.     104:  { 'a': 4,  'b': '1110011110110110',  'c':  62,  'v': (  331,   771),  'w': (11, 16),  'e': (16, 12) },
  123.     105:  { 'a': 4,  'b': '0110011101110110',  'c':  64,  'v': (  334,   771),  'w': ( 5,  8),  'e': ( 8,  6) },
  124.     106:  { 'a': 4,  'b': '0011101100011110',  'c':  74,  'v': (  364,   771),  'w': ( 9, 16),  'e': (16, 12) },
  125.     107:  { 'a': 4,  'b': '1110101110111110',  'c':  54,  'v': (  379,   771),  'w': ( 3,  4),  'e': ( 4,  4) },
  126.     108:  { 'a': 4,  'b': '0101001101010001',  'c':  84,  'v': (  418,   771),  'w': ( 7, 16),  'e': (16, 24) },
  127.     109:  { 'a': 4,  'b': '1011111100110101',  'c':  34,  'v': (  521,   771),  'w': (11, 16),  'e': (16, 12) },
  128.     110:  { 'a': 4,  'b': '1011011100111101',  'c':  51,  'v': (  569,   771),  'w': (11, 16),  'e': (16, 24) },
  129.     111:  { 'a': 4,  'b': '0011011110111101',  'c':  52,  'v': (  572,   771),  'w': (11, 16),  'e': (16, 24) },
  130.     112:  { 'a': 4,  'b': '0001100110000000',  'c': 180,  'v': (    8,  1285),  'w': ( 1,  4),  'e': (16, 12) },
  131.     113:  { 'a': 4,  'b': '1101001110000000',  'c': 148,  'v': (    9,  1285),  'w': ( 3,  8),  'e': (16, 24) },
  132.     114:  { 'a': 4,  'b': '1110100101000000',  'c': 181,  'v': (   13,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  133.     115:  { 'a': 4,  'b': '0110100111000000',  'c': 182,  'v': (   18,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  134.     116:  { 'a': 4,  'b': '1001001111000000',  'c': 171,  'v': (   19,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  135.     117:  { 'a': 4,  'b': '1111010000100000',  'c': 130,  'v': (   21,  1285),  'w': ( 3,  8),  'e': (16,  6) },
  136.     118:  { 'a': 4,  'b': '1011010001100000',  'c': 166,  'v': (   31,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  137.     119:  { 'a': 4,  'b': '0000011001100000',  'c': 185,  'v': (   32,  1285),  'w': ( 1,  4),  'e': ( 4,  3) },
  138.     120:  { 'a': 4,  'b': '1100100101100000',  'c': 184,  'v': (   33,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  139.     121:  { 'a': 4,  'b': '0011010011100000',  'c': 154,  'v': (   36,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  140.     122:  { 'a': 4,  'b': '0100100111100000',  'c': 176,  'v': (   38,  1285),  'w': ( 3,  8),  'e': (16, 24) },
  141.     123:  { 'a': 4,  'b': '0111101000010000',  'c': 144,  'v': (   42,  1285),  'w': ( 3,  8),  'e': (16, 24) },
  142.     124:  { 'a': 4,  'b': '0011101001010000',  'c': 173,  'v': (   52,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  143.     125:  { 'a': 4,  'b': '1101101011010000',  'c': 125,  'v': (   57,  1285),  'w': ( 1,  2),  'e': (16, 24) },
  144.     126:  { 'a': 4,  'b': '1000001111010000',  'c': 177,  'v': (   59,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  145.     127:  { 'a': 4,  'b': '1011000100110000',  'c': 158,  'v': (   63,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  146.     128:  { 'a': 4,  'b': '0110010010110000',  'c': 168,  'v': (   66,  1285),  'w': ( 3,  8),  'e': (16,  4) },
  147.     129:  { 'a': 4,  'b': '1001101010110000',  'c': 151,  'v': (   67,  1285),  'w': ( 7, 16),  'e': (16, 12) },
  148.     130:  { 'a': 4,  'b': '1111110110110000',  'c': 117,  'v': (   69,  1285),  'w': ( 5,  8),  'e': (16,  6) },
  149.     131:  { 'a': 4,  'b': '0001101001110000',  'c': 153,  'v': (   72,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  150.     132:  { 'a': 4,  'b': '1101000101110000',  'c': 152,  'v': (   73,  1285),  'w': ( 7, 16),  'e': (16, 12) },
  151.     133:  { 'a': 4,  'b': '1001110111001000',  'c': 143,  'v': (   99,  1285),  'w': ( 1,  2),  'e': (16, 24) },
  152.     134:  { 'a': 4,  'b': '0100101000101000',  'c': 186,  'v': (  102,  1285),  'w': ( 5, 16),  'e': (16, 12) },
  153.     135:  { 'a': 4,  'b': '0001110100101000',  'c': 174,  'v': (  104,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  154.     136:  { 'a': 4,  'b': '1011100001101000',  'c': 167,  'v': (  111,  1285),  'w': ( 7, 16),  'e': (16, 24) },
  155.     137:  { 'a': 4,  'b': '1100000101101000',  'c': 187,  'v': (  113,  1285),  'w': ( 3,  8),  'e': (16,  6) },
  156.     138:  { 'a': 4,  'b': '0110110101101000',  'c': 138,  'v': (  114,  1285),  'w': ( 1,  2),  'e': (16, 12) },
  157.     139:  { 'a': 4,  'b': '0011100011101000',  'c': 141,  'v': (  116,  1285),  'w': ( 7, 16),  'e': (16, 24) },
  158.     140:  { 'a': 4,  'b': '0100000111101000',  'c': 145,  'v': (  118,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  159.     141:  { 'a': 4,  'b': '1010110111101000',  'c': 139,  'v': (  119,  1285),  'w': ( 9, 16),  'e': (16, 24) },
  160.     142:  { 'a': 4,  'b': '1000000100011000',  'c': 188,  'v': (  123,  1285),  'w': ( 1,  4),  'e': ( 4,  6) },
  161.     143:  { 'a': 4,  'b': '1100110110011000',  'c': 133,  'v': (  129,  1285),  'w': ( 1,  2),  'e': (16, 24) },
  162.     144:  { 'a': 4,  'b': '1111111001011000',  'c': 123,  'v': (  133,  1285),  'w': ( 5,  8),  'e': (16, 24) },
  163.     145:  { 'a': 4,  'b': '0111111011011000',  'c': 140,  'v': (  138,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  164.     146:  { 'a': 4,  'b': '1000110111011000',  'c': 146,  'v': (  139,  1285),  'w': ( 1,  2),  'e': ( 8, 12) },
  165.     147:  { 'a': 4,  'b': '1011111000111000',  'c': 160,  'v': (  143,  1285),  'w': ( 9, 16),  'e': (16,  6) },
  166.     148:  { 'a': 4,  'b': '1111010110111000',  'c': 113,  'v': (  149,  1285),  'w': ( 5,  8),  'e': (16, 24) },
  167.     149:  { 'a': 4,  'b': '0001001001111000',  'c': 150,  'v': (  152,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  168.     150:  { 'a': 4,  'b': '1101111001111000',  'c': 149,  'v': (  153,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  169.     151:  { 'a': 4,  'b': '0111010101111000',  'c': 129,  'v': (  154,  1285),  'w': ( 9, 16),  'e': (16, 12) },
  170.     152:  { 'a': 4,  'b': '1110001011111000',  'c': 132,  'v': (  157,  1285),  'w': ( 9, 16),  'e': (16, 12) },
  171.     153:  { 'a': 4,  'b': '0101111011111000',  'c': 131,  'v': (  158,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  172.     154:  { 'a': 4,  'b': '1011010111111000',  'c': 121,  'v': (  159,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  173.     155:  { 'a': 4,  'b': '0010111010100100',  'c': 189,  'v': (  188,  1285),  'w': ( 7, 16),  'e': (16, 24) },
  174.     156:  { 'a': 4,  'b': '1110010110100100',  'c': 156,  'v': (  189,  1285),  'w': ( 1,  2),  'e': (16, 12) },
  175.     157:  { 'a': 4,  'b': '0110010101100100',  'c': 178,  'v': (  194,  1285),  'w': ( 7, 16),  'e': (16, 24) },
  176.     158:  { 'a': 4,  'b': '1111110011100100',  'c': 127,  'v': (  197,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  177.     159:  { 'a': 4,  'b': '1010010111100100',  'c': 159,  'v': (  199,  1285),  'w': ( 1,  2),  'e': (16, 24) },
  178.     160:  { 'a': 4,  'b': '0111110000010100',  'c': 147,  'v': (  202,  1285),  'w': ( 7, 16),  'e': (16,  6) },
  179.     161:  { 'a': 4,  'b': '1011110010010100',  'c': 163,  'v': (  207,  1285),  'w': ( 1,  2),  'e': (16, 12) },
  180.     162:  { 'a': 4,  'b': '0011110001010100',  'c': 175,  'v': (  212,  1285),  'w': ( 7, 16),  'e': (16, 12) },
  181.     163:  { 'a': 4,  'b': '1011011000110100',  'c': 161,  'v': (  223,  1285),  'w': ( 1,  2),  'e': (16, 12) },
  182.     164:  { 'a': 4,  'b': '1001110010110100',  'c': 165,  'v': (  227,  1285),  'w': ( 1,  2),  'e': (16, 12) },
  183.     165:  { 'a': 4,  'b': '0011011010110100',  'c': 164,  'v': (  228,  1285),  'w': ( 1,  2),  'e': (16, 12) },
  184.     166:  { 'a': 4,  'b': '1111100110110100',  'c': 118,  'v': (  229,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  185.     167:  { 'a': 4,  'b': '1101011001110100',  'c': 136,  'v': (  233,  1285),  'w': ( 9, 16),  'e': (16, 24) },
  186.     168:  { 'a': 4,  'b': '1011100111110100',  'c': 128,  'v': (  239,  1285),  'w': ( 5,  8),  'e': (16,  4) },
  187.     169:  { 'a': 4,  'b': '1010011000101100',  'c': 190,  'v': (  263,  1285),  'w': ( 7, 16),  'e': (16, 12) },
  188.     170:  { 'a': 4,  'b': '0001100100101100',  'c': 179,  'v': (  264,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  189.     171:  { 'a': 4,  'b': '0011111101101100',  'c': 116,  'v': (  276,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  190.     172:  { 'a': 4,  'b': '0010100100011100',  'c': 183,  'v': (  284,  1285),  'w': ( 3,  8),  'e': (16, 12) },
  191.     173:  { 'a': 4,  'b': '1111101001011100',  'c': 124,  'v': (  293,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  192.     174:  { 'a': 4,  'b': '0111101011011100',  'c': 135,  'v': (  298,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  193.     175:  { 'a': 4,  'b': '1011101000111100',  'c': 162,  'v': (  303,  1285),  'w': ( 9, 16),  'e': (16, 12) },
  194.     176:  { 'a': 4,  'b': '1101101001111100',  'c': 122,  'v': (  313,  1285),  'w': ( 5,  8),  'e': (16, 24) },
  195.     177:  { 'a': 4,  'b': '0010111101111100',  'c': 126,  'v': (  316,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  196.     178:  { 'a': 4,  'b': '0110111001101010',  'c': 157,  'v': (  434,  1285),  'w': ( 9, 16),  'e': (16, 24) },
  197.     179:  { 'a': 4,  'b': '1101001111100110',  'c': 170,  'v': (  521,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  198.     180:  { 'a': 4,  'b': '0111111111100110',  'c': 112,  'v': (  522,  1285),  'w': ( 3,  4),  'e': (16, 12) },
  199.     181:  { 'a': 4,  'b': '1011111100010110',  'c': 114,  'v': (  527,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  200.     182:  { 'a': 4,  'b': '0011111110010110',  'c': 115,  'v': (  532,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  201.     183:  { 'a': 4,  'b': '1110001111010110',  'c': 172,  'v': (  541,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  202.     184:  { 'a': 4,  'b': '1001111100110110',  'c': 120,  'v': (  547,  1285),  'w': ( 5,  8),  'e': (16, 12) },
  203.     185:  { 'a': 4,  'b': '0110111111110110',  'c': 119,  'v': (  562,  1285),  'w': ( 3,  4),  'e': ( 4,  3) },
  204.     186:  { 'a': 4,  'b': '1101011101011110',  'c': 134,  'v': (  617,  1285),  'w': (11, 16),  'e': (16, 12) },
  205.     187:  { 'a': 4,  'b': '1001011100111110',  'c': 137,  'v': (  627,  1285),  'w': ( 5,  8),  'e': (16,  6) },
  206.     188:  { 'a': 4,  'b': '1110011101111110',  'c': 142,  'v': (  637,  1285),  'w': ( 3,  4),  'e': ( 4,  6) },
  207.     189:  { 'a': 4,  'b': '0101101111010001',  'c': 155,  'v': (  702,  1285),  'w': ( 9, 16),  'e': (16, 24) },
  208.     190:  { 'a': 4,  'b': '1101001101011001',  'c': 169,  'v': (  777,  1285),  'w': ( 9, 16),  'e': (16, 12) },
  209.     191:  { 'a': 4,  'b': '0000100010000000',  'c': 290,  'v': (   16,  3855),  'w': ( 1,  8),  'e': ( 8,  6) },
  210.     192:  { 'a': 4,  'b': '1000010010000000',  'c': 285,  'v': (   17,  3855),  'w': ( 3, 16),  'e': (16, 12) },
  211.     193:  { 'a': 4,  'b': '1100001010000000',  'c': 291,  'v': (   19,  3855),  'w': ( 1,  4),  'e': (16,  6) },
  212.     194:  { 'a': 4,  'b': '0110111010000000',  'c': 236,  'v': (   22,  3855),  'w': ( 3,  8),  'e': (16, 12) },
  213.     195:  { 'a': 4,  'b': '1110000110000000',  'c': 286,  'v': (   23,  3855),  'w': ( 5, 16),  'e': (16, 12) },
  214.     196:  { 'a': 4,  'b': '1111000001000000',  'c': 220,  'v': (   31,  3855),  'w': ( 5, 16),  'e': (16, 12) },
  215.     197:  { 'a': 4,  'b': '0100001001000000',  'c': 292,  'v': (   34,  3855),  'w': ( 3, 16),  'e': (16,  4) },
  216.     198:  { 'a': 4,  'b': '0110000101000000',  'c': 287,  'v': (   38,  3855),  'w': ( 1,  4),  'e': (16, 12) },
  217.     199:  { 'a': 4,  'b': '0111000011000000',  'c': 247,  'v': (   46,  3855),  'w': ( 5, 16),  'e': (16, 12) },
  218.     200:  { 'a': 4,  'b': '1000001011000000',  'c': 281,  'v': (   49,  3855),  'w': ( 1,  4),  'e': (16, 12) },
  219.     201:  { 'a': 4,  'b': '1011000000100000',  'c': 260,  'v': (   61,  3855),  'w': ( 1,  4),  'e': (16,  4) },
  220.     202:  { 'a': 4,  'b': '0011000010100000',  'c': 271,  'v': (   76,  3855),  'w': ( 1,  4),  'e': (16, 12) },
  221.     203:  { 'a': 4,  'b': '1111110010100000',  'c': 203,  'v': (   79,  3855),  'w': ( 1,  2),  'e': (16, 12) },
  222.     204:  { 'a': 4,  'b': '1101000001100000',  'c': 277,  'v': (   91,  3855),  'w': ( 5, 16),  'e': (16,  4) },
  223.     205:  { 'a': 4,  'b': '0100000101100000',  'c': 288,  'v': (   98,  3855),  'w': ( 1,  4),  'e': (16, 12) },
  224.     206:  { 'a': 4,  'b': '1010110101100000',  'c': 239,  'v': (  101,  3855),  'w': ( 7, 16),  'e': (16, 24) },
  225.     207:  { 'a': 4,  'b': '1110101101100000',  'c': 207,  'v': (  103,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  226.     208:  { 'a': 4,  'b': '0000111011100000',  'c': 248,  'v': (  112,  3855),  'w': ( 3,  8),  'e': ( 8,  6) },
  227.     209:  { 'a': 4,  'b': '1000000111100000',  'c': 289,  'v': (  113,  3855),  'w': ( 5, 16),  'e': (16,  4) },
  228.     210:  { 'a': 4,  'b': '0110101111100000',  'c': 237,  'v': (  118,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  229.     211:  { 'a': 4,  'b': '0011110000010000',  'c': 267,  'v': (  124,  3855),  'w': ( 5, 16),  'e': (16, 12) },
  230.     212:  { 'a': 4,  'b': '0111011010010000',  'c': 235,  'v': (  142,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  231.     213:  { 'a': 4,  'b': '0001100001010000',  'c': 282,  'v': (  152,  3855),  'w': ( 1,  4),  'e': (16,  6) },
  232.     214:  { 'a': 4,  'b': '0101110001010000',  'c': 280,  'v': (  154,  3855),  'w': ( 3,  8),  'e': (16, 12) },
  233.     215:  { 'a': 4,  'b': '0001110000110000',  'c': 270,  'v': (  184,  3855),  'w': ( 5, 16),  'e': (16, 12) },
  234.     216:  { 'a': 4,  'b': '0011111000110000',  'c': 264,  'v': (  188,  3855),  'w': ( 7, 16),  'e': (16, 24) },
  235.     217:  { 'a': 4,  'b': '1001011001110000',  'c': 246,  'v': (  217,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  236.     218:  { 'a': 4,  'b': '0001011011110000',  'c': 219,  'v': (  232,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  237.     219:  { 'a': 4,  'b': '1001111011110000',  'c': 218,  'v': (  233,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  238.     220:  { 'a': 4,  'b': '1111101111110000',  'c': 196,  'v': (  239,  3855),  'w': (11, 16),  'e': (16, 12) },
  239.     221:  { 'a': 4,  'b': '1101001101001000',  'c': 243,  'v': (  283,  3855),  'w': ( 7, 16),  'e': (16, 24) },
  240.     222:  { 'a': 4,  'b': '0011101101001000',  'c': 249,  'v': (  284,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  241.     223:  { 'a': 4,  'b': '1010111011001000',  'c': 223,  'v': (  293,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  242.     224:  { 'a': 4,  'b': '1000011001101000',  'c': 284,  'v': (  337,  3855),  'w': ( 3,  8),  'e': ( 8,  6) },
  243.     225:  { 'a': 4,  'b': '1010010101101000',  'c': 279,  'v': (  341,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  244.     226:  { 'a': 4,  'b': '1110001101101000',  'c': 226,  'v': (  343,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  245.     227:  { 'a': 4,  'b': '0001101101101000',  'c': 253,  'v': (  344,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  246.     228:  { 'a': 4,  'b': '1011010011101000',  'c': 228,  'v': (  349,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  247.     229:  { 'a': 4,  'b': '1000111011101000',  'c': 229,  'v': (  353,  3855),  'w': ( 1,  2),  'e': ( 8,  6) },
  248.     230:  { 'a': 4,  'b': '0010010111101000',  'c': 256,  'v': (  356,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  249.     231:  { 'a': 4,  'b': '0110001111101000',  'c': 231,  'v': (  358,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  250.     232:  { 'a': 4,  'b': '1110101111101000',  'c': 254,  'v': (  359,  3855),  'w': ( 5,  8),  'e': (16, 12) },
  251.     233:  { 'a': 4,  'b': '0011010000011000',  'c': 268,  'v': (  364,  3855),  'w': ( 5, 16),  'e': (16,  6) },
  252.     234:  { 'a': 4,  'b': '0110101100011000',  'c': 241,  'v': (  374,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  253.     235:  { 'a': 4,  'b': '1111011010011000',  'c': 212,  'v': (  383,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  254.     236:  { 'a': 4,  'b': '1110111110011000',  'c': 194,  'v': (  391,  3855),  'w': ( 5,  8),  'e': (16, 12) },
  255.     237:  { 'a': 4,  'b': '0111011001011000',  'c': 210,  'v': (  398,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  256.     238:  { 'a': 4,  'b': '1100001101011000',  'c': 259,  'v': (  403,  3855),  'w': ( 7, 16),  'e': (16, 24) },
  257.     239:  { 'a': 4,  'b': '0110111101011000',  'c': 206,  'v': (  406,  3855),  'w': ( 9, 16),  'e': (16, 24) },
  258.     240:  { 'a': 4,  'b': '0011101011011000',  'c': 266,  'v': (  412,  3855),  'w': ( 1,  2),  'e': (16,  6) },
  259.     241:  { 'a': 4,  'b': '1011011011011000',  'c': 234,  'v': (  413,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  260.     242:  { 'a': 4,  'b': '0001010000111000',  'c': 269,  'v': (  424,  3855),  'w': ( 5, 16),  'e': (16,  6) },
  261.     243:  { 'a': 4,  'b': '0111100110111000',  'c': 221,  'v': (  446,  3855),  'w': ( 9, 16),  'e': (16, 24) },
  262.     244:  { 'a': 4,  'b': '1001101001111000',  'c': 245,  'v': (  457,  3855),  'w': ( 1,  2),  'e': (16,  6) },
  263.     245:  { 'a': 4,  'b': '0101011001111000',  'c': 244,  'v': (  458,  3855),  'w': ( 1,  2),  'e': (16,  6) },
  264.     246:  { 'a': 4,  'b': '1001011011111000',  'c': 217,  'v': (  473,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  265.     247:  { 'a': 4,  'b': '1111001111111000',  'c': 199,  'v': (  479,  3855),  'w': (11, 16),  'e': (16, 12) },
  266.     248:  { 'a': 4,  'b': '1000111111111000',  'c': 208,  'v': (  481,  3855),  'w': ( 5,  8),  'e': ( 8,  6) },
  267.     249:  { 'a': 4,  'b': '1011011111000100',  'c': 222,  'v': (  541,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  268.     250:  { 'a': 4,  'b': '1001110100100100',  'c': 273,  'v': (  553,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  269.     251:  { 'a': 4,  'b': '0110100110100100',  'c': 283,  'v': (  566,  3855),  'w': ( 7, 16),  'e': (16,  6) },
  270.     252:  { 'a': 4,  'b': '1001001110100100',  'c': 263,  'v': (  569,  3855),  'w': ( 7, 16),  'e': (16,  3) },
  271.     253:  { 'a': 4,  'b': '1001011111100100',  'c': 227,  'v': (  601,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  272.     254:  { 'a': 4,  'b': '0001011100010100',  'c': 232,  'v': (  616,  3855),  'w': ( 3,  8),  'e': (16, 12) },
  273.     255:  { 'a': 4,  'b': '0010110110010100',  'c': 276,  'v': (  628,  3855),  'w': ( 7, 16),  'e': (16,  4) },
  274.     256:  { 'a': 4,  'b': '1010011111010100',  'c': 230,  'v': (  661,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  275.     257:  { 'a': 4,  'b': '1101001000110100',  'c': 258,  'v': (  667,  3855),  'w': ( 7, 16),  'e': (16, 12) },
  276.     258:  { 'a': 4,  'b': '1101101010110100',  'c': 257,  'v': (  683,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  277.     259:  { 'a': 4,  'b': '1100011110110100',  'c': 238,  'v': (  691,  3855),  'w': ( 9, 16),  'e': (16, 24) },
  278.     260:  { 'a': 4,  'b': '1111110111110100',  'c': 201,  'v': (  719,  3855),  'w': ( 3,  4),  'e': (16,  4) },
  279.     261:  { 'a': 4,  'b': '0101110100101100',  'c': 272,  'v': (  794,  3855),  'w': ( 1,  2),  'e': (16,  3) },
  280.     262:  { 'a': 4,  'b': '1100101010101100',  'c': 262,  'v': (  803,  3855),  'w': ( 1,  2),  'e': ( 8,  6) },
  281.     263:  { 'a': 4,  'b': '0101101101101100',  'c': 252,  'v': (  826,  3855),  'w': ( 9, 16),  'e': (16,  3) },
  282.     264:  { 'a': 4,  'b': '1111110000011100',  'c': 216,  'v': (  847,  3855),  'w': ( 9, 16),  'e': (16, 24) },
  283.     265:  { 'a': 4,  'b': '0110110100011100',  'c': 275,  'v': (  854,  3855),  'w': ( 1,  2),  'e': (16,  6) },
  284.     266:  { 'a': 4,  'b': '0111001001011100',  'c': 240,  'v': (  878,  3855),  'w': ( 1,  2),  'e': (16,  6) },
  285.     267:  { 'a': 4,  'b': '1111111000111100',  'c': 211,  'v': (  911,  3855),  'w': (11, 16),  'e': (16, 12) },
  286.     268:  { 'a': 4,  'b': '0111111010111100',  'c': 233,  'v': (  926,  3855),  'w': (11, 16),  'e': (16,  6) },
  287.     269:  { 'a': 4,  'b': '1011111001111100',  'c': 242,  'v': (  941,  3855),  'w': (11, 16),  'e': (16,  6) },
  288.     270:  { 'a': 4,  'b': '0011111011111100',  'c': 215,  'v': (  956,  3855),  'w': (11, 16),  'e': (16, 12) },
  289.     271:  { 'a': 4,  'b': '1111010111111100',  'c': 202,  'v': (  959,  3855),  'w': ( 3,  4),  'e': (16, 12) },
  290.     272:  { 'a': 4,  'b': '1101001110100010',  'c': 261,  'v': ( 1051,  3855),  'w': ( 1,  2),  'e': (16,  3) },
  291.     273:  { 'a': 4,  'b': '1101101101100010',  'c': 250,  'v': ( 1067,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  292.     274:  { 'a': 4,  'b': '0110100111100010',  'c': 274,  'v': ( 1078,  3855),  'w': ( 1,  2),  'e': (16, 24) },
  293.     275:  { 'a': 4,  'b': '1110001110010010',  'c': 265,  'v': ( 1111,  3855),  'w': ( 1,  2),  'e': (16,  6) },
  294.     276:  { 'a': 4,  'b': '0110101111010010',  'c': 255,  'v': ( 1142,  3855),  'w': ( 9, 16),  'e': (16,  4) },
  295.     277:  { 'a': 4,  'b': '1111100111110010',  'c': 204,  'v': ( 1199,  3855),  'w': (11, 16),  'e': (16,  4) },
  296.     278:  { 'a': 4,  'b': '1110000101101010',  'c': 278,  'v': ( 1303,  3855),  'w': ( 1,  2),  'e': (16, 12) },
  297.     279:  { 'a': 4,  'b': '0110110101011010',  'c': 225,  'v': ( 1366,  3855),  'w': ( 9, 16),  'e': (16, 12) },
  298.     280:  { 'a': 4,  'b': '1111101000111010',  'c': 214,  'v': ( 1391,  3855),  'w': ( 5,  8),  'e': (16, 12) },
  299.     281:  { 'a': 4,  'b': '1111111001111010',  'c': 200,  'v': ( 1423,  3855),  'w': ( 3,  4),  'e': (16, 12) },
  300.     282:  { 'a': 4,  'b': '0111111011111010',  'c': 213,  'v': ( 1438,  3855),  'w': ( 3,  4),  'e': (16,  6) },
  301.     283:  { 'a': 4,  'b': '1110010110010110',  'c': 251,  'v': ( 1591,  3855),  'w': ( 9, 16),  'e': (16,  6) },
  302.     284:  { 'a': 4,  'b': '0110110111010110',  'c': 224,  'v': ( 1622,  3855),  'w': ( 5,  8),  'e': ( 8,  6) },
  303.     285:  { 'a': 4,  'b': '1111111011110110',  'c': 192,  'v': ( 1679,  3855),  'w': (13, 16),  'e': (16, 12) },
  304.     286:  { 'a': 4,  'b': '0111111100011110',  'c': 195,  'v': ( 1822,  3855),  'w': (11, 16),  'e': (16, 12) },
  305.     287:  { 'a': 4,  'b': '1011111110011110',  'c': 198,  'v': ( 1837,  3855),  'w': ( 3,  4),  'e': (16, 12) },
  306.     288:  { 'a': 4,  'b': '1001111110111110',  'c': 205,  'v': ( 1897,  3855),  'w': ( 3,  4),  'e': (16, 12) },
  307.     289:  { 'a': 4,  'b': '0001111101111110',  'c': 209,  'v': ( 1912,  3855),  'w': (11, 16),  'e': (16,  4) },
  308.     290:  { 'a': 4,  'b': '1110111111111110',  'c': 191,  'v': ( 1927,  3855),  'w': ( 7,  8),  'e': ( 8,  6) },
  309.     291:  { 'a': 4,  'b': '0111111100111101',  'c': 193,  'v': ( 2846,  3855),  'w': ( 3,  4),  'e': (16,  6) },
  310.     292:  { 'a': 4,  'b': '1011111110111101',  'c': 197,  'v': ( 2861,  3855),  'w': (13, 16),  'e': (16,  4) },
  311.     293:  { 'a': 4,  'b': '0001011010000000',  'c': 323,  'v': (   24,  4369),  'w': ( 1,  4),  'e': (16,  4) },
  312.     294:  { 'a': 4,  'b': '0110000110000000',  'c': 322,  'v': (   26,  4369),  'w': ( 1,  4),  'e': (16,  6) },
  313.     295:  { 'a': 4,  'b': '1111011110000000',  'c': 295,  'v': (   33,  4369),  'w': ( 1,  2),  'e': (16, 12) },
  314.     296:  { 'a': 4,  'b': '1101010001000000',  'c': 305,  'v': (   37,  4369),  'w': ( 5, 16),  'e': (16,  1) },
  315.     297:  { 'a': 4,  'b': '1110101011000000',  'c': 312,  'v': (   57,  4369),  'w': ( 7, 16),  'e': (16,  3) },
  316.     298:  { 'a': 4,  'b': '1011110101100000',  'c': 303,  'v': (  115,  4369),  'w': ( 1,  2),  'e': (16, 12) },
  317.     299:  { 'a': 4,  'b': '1110011010001000',  'c': 313,  'v': (  297,  4369),  'w': ( 7, 16),  'e': (16,  4) },
  318.     300:  { 'a': 4,  'b': '1100100101001000',  'c': 318,  'v': (  317,  4369),  'w': ( 3,  8),  'e': (16, 12) },
  319.     301:  { 'a': 4,  'b': '0010101010101000',  'c': 321,  'v': (  364,  4369),  'w': ( 3,  8),  'e': ( 8,  4) },
  320.     302:  { 'a': 4,  'b': '1000111001101000',  'c': 315,  'v': (  383,  4369),  'w': ( 7, 16),  'e': (16,  6) },
  321.     303:  { 'a': 4,  'b': '1111000101101000',  'c': 298,  'v': (  385,  4369),  'w': ( 1,  2),  'e': (16, 12) },
  322.     304:  { 'a': 4,  'b': '0011110101101000',  'c': 309,  'v': (  388,  4369),  'w': ( 1,  2),  'e': (16, 12) },
  323.     305:  { 'a': 4,  'b': '1111111011101000',  'c': 296,  'v': (  401,  4369),  'w': (11, 16),  'e': (16,  1) },
  324.     306:  { 'a': 4,  'b': '0111000111101000',  'c': 306,  'v': (  402,  4369),  'w': ( 1,  2),  'e': ( 8, 12) },
  325.     307:  { 'a': 4,  'b': '0011010111101000',  'c': 307,  'v': (  404,  4369),  'w': ( 1,  2),  'e': (16, 24) },
  326.     308:  { 'a': 4,  'b': '1001010101011000',  'c': 320,  'v': (  455,  4369),  'w': ( 7, 16),  'e': (16, 12) },
  327.     309:  { 'a': 4,  'b': '0110101101011000',  'c': 304,  'v': (  458,  4369),  'w': ( 1,  2),  'e': (16, 12) },
  328.     310:  { 'a': 4,  'b': '1100101110111000',  'c': 316,  'v': (  509,  4369),  'w': ( 9, 16),  'e': (16, 12) },
  329.     311:  { 'a': 4,  'b': '1110110011000100',  'c': 311,  'v': (  601,  4369),  'w': ( 1,  2),  'e': (16, 12) },
  330.     312:  { 'a': 4,  'b': '1111010111000100',  'c': 297,  'v': (  609,  4369),  'w': ( 9, 16),  'e': (16,  3) },
  331.     313:  { 'a': 4,  'b': '1101110101100100',  'c': 299,  'v': (  661,  4369),  'w': ( 9, 16),  'e': (16,  4) },
  332.     314:  { 'a': 4,  'b': '1001010110010100',  'c': 319,  'v': (  711,  4369),  'w': ( 7, 16),  'e': (16, 12) },
  333.     315:  { 'a': 4,  'b': '0110110111010100',  'c': 302,  'v': (  746,  4369),  'w': ( 9, 16),  'e': (16,  6) },
  334.     316:  { 'a': 4,  'b': '0100011100110100',  'c': 310,  'v': (  766,  4369),  'w': ( 7, 16),  'e': (16, 12) },
  335.     317:  { 'a': 4,  'b': '0011010110101100',  'c': 317,  'v': (  916,  4369),  'w': ( 1,  2),  'e': ( 8,  3) },
  336.     318:  { 'a': 4,  'b': '1101100111101100',  'c': 300,  'v': (  949,  4369),  'w': ( 5,  8),  'e': (16, 12) },
  337.     319:  { 'a': 4,  'b': '0110101101101010',  'c': 314,  'v': ( 1482,  4369),  'w': ( 9, 16),  'e': (16, 12) },
  338.     320:  { 'a': 4,  'b': '1010011101101010',  'c': 308,  'v': ( 1483,  4369),  'w': ( 9, 16),  'e': (16, 12) },
  339.     321:  { 'a': 4,  'b': '1010101111101010',  'c': 301,  'v': ( 1499,  4369),  'w': ( 5,  8),  'e': ( 8,  4) },
  340.     322:  { 'a': 4,  'b': '1111101111010110',  'c': 294,  'v': ( 1841,  4369),  'w': ( 3,  4),  'e': (16,  6) },
  341.     323:  { 'a': 4,  'b': '1011111111010110',  'c': 293,  'v': ( 1843,  4369),  'w': ( 3,  4),  'e': (16,  4) },
  342.     324:  { 'a': 4,  'b': '1100010000000000',  'c': 349,  'v': (    7, 13107),  'w': ( 3, 16),  'e': (16,  6) },
  343.     325:  { 'a': 4,  'b': '0001100010000000',  'c': 360,  'v': (   56, 13107),  'w': ( 3, 16),  'e': (16,  6) },
  344.     326:  { 'a': 4,  'b': '0000001010000000',  'c': 361,  'v': (   64, 13107),  'w': ( 1,  8),  'e': ( 8,  4) },
  345.     327:  { 'a': 4,  'b': '0000100110000000',  'c': 357,  'v': (   80, 13107),  'w': ( 3, 16),  'e': (16,  3) },
  346.     328:  { 'a': 4,  'b': '0011001110000000',  'c': 348,  'v': (   92, 13107),  'w': ( 5, 16),  'e': (16,  6) },
  347.     329:  { 'a': 4,  'b': '1000010001000000',  'c': 359,  'v': (  109, 13107),  'w': ( 3, 16),  'e': (16,  4) },
  348.     330:  { 'a': 4,  'b': '1001100101000000',  'c': 352,  'v': (  133, 13107),  'w': ( 5, 16),  'e': (16, 12) },
  349.     331:  { 'a': 4,  'b': '0001011001100000',  'c': 356,  'v': (  328, 13107),  'w': ( 5, 16),  'e': (16,  3) },
  350.     332:  { 'a': 4,  'b': '0000101111100000',  'c': 344,  'v': (  400, 13107),  'w': ( 3,  8),  'e': ( 8, 12) },
  351.     333:  { 'a': 4,  'b': '1110100010001000',  'c': 346,  'v': (  875, 13107),  'w': ( 3,  8),  'e': (16,  6) },
  352.     334:  { 'a': 4,  'b': '1010010001001000',  'c': 358,  'v': (  929, 13107),  'w': ( 5, 16),  'e': (16,  4) },
  353.     335:  { 'a': 4,  'b': '1000011001001000',  'c': 355,  'v': (  941, 13107),  'w': ( 5, 16),  'e': (16,  4) },
  354.     336:  { 'a': 4,  'b': '1100110011001000',  'c': 347,  'v': (  983, 13107),  'w': ( 7, 16),  'e': (16,  4) },
  355.     337:  { 'a': 4,  'b': '1001101010101000',  'c': 354,  'v': ( 1093, 13107),  'w': ( 7, 16),  'e': (16, 12) },
  356.     338:  { 'a': 4,  'b': '0011111010101000',  'c': 342,  'v': ( 1100, 13107),  'w': ( 1,  2),  'e': (16, 12) },
  357.     339:  { 'a': 4,  'b': '1000001101101000',  'c': 350,  'v': ( 1165, 13107),  'w': ( 3,  8),  'e': (16,  4) },
  358.     340:  { 'a': 4,  'b': '0101111011101000',  'c': 341,  'v': ( 1202, 13107),  'w': ( 9, 16),  'e': (16,  4) },
  359.     341:  { 'a': 4,  'b': '1001000111101000',  'c': 340,  'v': ( 1205, 13107),  'w': ( 7, 16),  'e': (16,  4) },
  360.     342:  { 'a': 4,  'b': '1000110111101000',  'c': 338,  'v': ( 1213, 13107),  'w': ( 1,  2),  'e': (16, 12) },
  361.     343:  { 'a': 4,  'b': '1100000100011000',  'c': 351,  'v': ( 1255, 13107),  'w': ( 5, 16),  'e': (16, 12) },
  362.     344:  { 'a': 4,  'b': '0010111111111000',  'c': 332,  'v': ( 1636, 13107),  'w': ( 5,  8),  'e': ( 8, 12) },
  363.     345:  { 'a': 4,  'b': '0110011001100100',  'c': 353,  'v': ( 1966, 13107),  'w': ( 7, 16),  'e': (16,  6) },
  364.     346:  { 'a': 4,  'b': '1101110111010100',  'c': 333,  'v': ( 2239, 13107),  'w': ( 5,  8),  'e': (16,  6) },
  365.     347:  { 'a': 4,  'b': '1101110011001100',  'c': 336,  'v': ( 2623, 13107),  'w': ( 9, 16),  'e': (16,  4) },
  366.     348:  { 'a': 4,  'b': '1111011111001100',  'c': 328,  'v': ( 2659, 13107),  'w': (11, 16),  'e': (16,  6) },
  367.     349:  { 'a': 4,  'b': '1111111111101100',  'c': 324,  'v': ( 2867, 13107),  'w': (13, 16),  'e': (16,  6) },
  368.     350:  { 'a': 4,  'b': '0110101110111100',  'c': 339,  'v': ( 3166, 13107),  'w': ( 5,  8),  'e': (16,  4) },
  369.     351:  { 'a': 4,  'b': '1101101110111100',  'c': 343,  'v': ( 3167, 13107),  'w': (11, 16),  'e': (16, 12) },
  370.     352:  { 'a': 4,  'b': '1100111101111100',  'c': 330,  'v': ( 3223, 13107),  'w': (11, 16),  'e': (16, 12) },
  371.     353:  { 'a': 4,  'b': '1110011001100110',  'c': 345,  'v': ( 5243, 13107),  'w': ( 9, 16),  'e': (16,  6) },
  372.     354:  { 'a': 4,  'b': '0111010101010110',  'c': 337,  'v': ( 5462, 13107),  'w': ( 9, 16),  'e': (16, 12) },
  373.     355:  { 'a': 4,  'b': '1110110111010110',  'c': 335,  'v': ( 5515, 13107),  'w': (11, 16),  'e': (16,  4) },
  374.     356:  { 'a': 4,  'b': '0110111110110110',  'c': 331,  'v': ( 5630, 13107),  'w': (11, 16),  'e': (16,  3) },
  375.     357:  { 'a': 4,  'b': '0111111111110110',  'c': 327,  'v': ( 5734, 13107),  'w': (13, 16),  'e': (16,  3) },
  376.     358:  { 'a': 4,  'b': '1110110101011110',  'c': 334,  'v': ( 6283, 13107),  'w': (11, 16),  'e': (16,  4) },
  377.     359:  { 'a': 4,  'b': '1110111111011110',  'c': 329,  'v': ( 6347, 13107),  'w': (13, 16),  'e': (16,  4) },
  378.     360:  { 'a': 4,  'b': '1111011101111110',  'c': 325,  'v': ( 6499, 13107),  'w': (13, 16),  'e': (16,  6) },
  379.     361:  { 'a': 4,  'b': '1011111111111110',  'c': 326,  'v': ( 6553, 13107),  'w': ( 7,  8),  'e': ( 8,  4) },
  380.     362:  { 'a': 4,  'b': '0000000110000000',  'c': 376,  'v': (  128, 21845),  'w': ( 1,  8),  'e': ( 8,  1) },
  381.     363:  { 'a': 4,  'b': '1001000110000000',  'c': 374,  'v': (  131, 21845),  'w': ( 1,  4),  'e': (16,  6) },
  382.     364:  { 'a': 4,  'b': '0000011111100000',  'c': 372,  'v': (  672, 21845),  'w': ( 3,  8),  'e': ( 8,  6) },
  383.     365:  { 'a': 4,  'b': '1110101010101000',  'c': 365,  'v': ( 1821, 21845),  'w': ( 1,  2),  'e': (16,  4) },
  384.     366:  { 'a': 4,  'b': '0001011001101000',  'c': 375,  'v': ( 1912, 21845),  'w': ( 3,  8),  'e': ( 8,  1) },
  385.     367:  { 'a': 4,  'b': '1101011001101000',  'c': 367,  'v': ( 1913, 21845),  'w': ( 1,  2),  'e': (16,  4) },
  386.     368:  { 'a': 4,  'b': '0111011001101000',  'c': 370,  'v': ( 1914, 21845),  'w': ( 1,  2),  'e': (16,  6) },
  387.     369:  { 'a': 4,  'b': '0001100101101000',  'c': 373,  'v': ( 1928, 21845),  'w': ( 3,  8),  'e': (16,  6) },
  388.     370:  { 'a': 4,  'b': '1001010111101000',  'c': 368,  'v': ( 2019, 21845),  'w': ( 1,  2),  'e': (16,  6) },
  389.     371:  { 'a': 4,  'b': '1101001100111000',  'c': 371,  'v': ( 2457, 21845),  'w': ( 1,  2),  'e': (16,  4) },
  390.     372:  { 'a': 4,  'b': '0001111111111000',  'c': 364,  'v': ( 2728, 21845),  'w': ( 5,  8),  'e': ( 8,  6) },
  391.     373:  { 'a': 4,  'b': '0101101110111100',  'c': 369,  'v': ( 5278, 21845),  'w': ( 5,  8),  'e': (16,  6) },
  392.     374:  { 'a': 4,  'b': '1101111111011010',  'c': 363,  'v': ( 7849, 21845),  'w': ( 3,  4),  'e': (16,  6) },
  393.     375:  { 'a': 4,  'b': '0110101111010110',  'c': 366,  'v': ( 9202, 21845),  'w': ( 5,  8),  'e': ( 8,  1) },
  394.     376:  { 'a': 4,  'b': '0111111111111110',  'c': 362,  'v': (10922, 21845),  'w': ( 7,  8),  'e': ( 8,  1) },
  395.     377:  { 'a': 4,  'b': '1000000000000000',  'c': 401,  'v': (    1, 65535),  'w': ( 1, 16),  'e': (16,  1) },
  396.     378:  { 'a': 4,  'b': '0110100010000000',  'c': 400,  'v': (  278, 65535),  'w': ( 1,  4),  'e': (16,  1) },
  397.     379:  { 'a': 4,  'b': '0111111010000000',  'c': 393,  'v': (  382, 65535),  'w': ( 7, 16),  'e': (16,  4) },
  398.     380:  { 'a': 4,  'b': '1110100110000000',  'c': 386,  'v': (  407, 65535),  'w': ( 3,  8),  'e': (16,  4) },
  399.     381:  { 'a': 4,  'b': '0110101011000000',  'c': 395,  'v': (  854, 65535),  'w': ( 3,  8),  'e': (16,  3) },
  400.     382:  { 'a': 4,  'b': '1001101011000000',  'c': 394,  'v': (  857, 65535),  'w': ( 3,  8),  'e': (16, 12) },
  401.     383:  { 'a': 4,  'b': '0101011011000000',  'c': 392,  'v': (  874, 65535),  'w': ( 3,  8),  'e': (16, 12) },
  402.     384:  { 'a': 4,  'b': '0001111011100000',  'c': 396,  'v': ( 1912, 65535),  'w': ( 7, 16),  'e': (16,  6) },
  403.     385:  { 'a': 4,  'b': '1001011001101000',  'c': 398,  'v': ( 5737, 65535),  'w': ( 7, 16),  'e': (16,  1) },
  404.     386:  { 'a': 4,  'b': '1111111001101000',  'c': 380,  'v': ( 5759, 65535),  'w': ( 5,  8),  'e': (16,  4) },
  405.     387:  { 'a': 4,  'b': '1000000101101000',  'c': 399,  'v': ( 5761, 65535),  'w': ( 5, 16),  'e': (16,  1) },
  406.     388:  { 'a': 4,  'b': '0110100101101000',  'c': 397,  'v': ( 5782, 65535),  'w': ( 7, 16),  'e': (16,  4) },
  407.     389:  { 'a': 4,  'b': '1110100101101000',  'c': 389,  'v': ( 5783, 65535),  'w': ( 1,  2),  'e': (16,  4) },
  408.     390:  { 'a': 4,  'b': '0111111011101000',  'c': 391,  'v': ( 6014, 65535),  'w': ( 5,  8),  'e': (16,  1) },
  409.     391:  { 'a': 4,  'b': '1000000111101000',  'c': 390,  'v': ( 6017, 65535),  'w': ( 3,  8),  'e': (16,  1) },
  410.     392:  { 'a': 4,  'b': '1011110111101000',  'c': 383,  'v': ( 6077, 65535),  'w': ( 5,  8),  'e': (16, 12) },
  411.     393:  { 'a': 4,  'b': '1111011100011000',  'c': 379,  'v': ( 6383, 65535),  'w': ( 9, 16),  'e': (16,  4) },
  412.     394:  { 'a': 4,  'b': '1110101111011000',  'c': 382,  'v': ( 7127, 65535),  'w': ( 5,  8),  'e': (16, 12) },
  413.     395:  { 'a': 4,  'b': '0111011101111000',  'c': 381,  'v': ( 7918, 65535),  'w': ( 5,  8),  'e': (16,  3) },
  414.     396:  { 'a': 4,  'b': '1000111101111000',  'c': 384,  'v': ( 7921, 65535),  'w': ( 9, 16),  'e': (16,  6) },
  415.     397:  { 'a': 4,  'b': '1110001100111100',  'c': 388,  'v': (15559, 65535),  'w': ( 9, 16),  'e': (16,  4) },
  416.     398:  { 'a': 4,  'b': '1110100110010110',  'c': 385,  'v': (27031, 65535),  'w': ( 9, 16),  'e': (16,  1) },
  417.     399:  { 'a': 4,  'b': '1011110111010110',  'c': 387,  'v': (27581, 65535),  'w': (11, 16),  'e': (16,  1) },
  418.     400:  { 'a': 4,  'b': '1111110111010110',  'c': 378,  'v': (27583, 65535),  'w': ( 3,  4),  'e': (16,  1) },
  419.     401:  { 'a': 4,  'b': '1111111111111110',  'c': 377,  'v': (32767, 65535),  'w': (15, 16),  'e': (16,  1) }
  420.  
  421. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!