API tools faq
paste
Advertisement
mate2code

Monotonic 4-ary Boolean functions

mate2code
Jul 28th, 2019
637
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Python 17.05 KB | None | 0 0
raw download clone embed print report
  1. # These are the Dedekind(4) = 168 monotonic Boolean functions of arity 4.
  2. # weight:  sum of the binary vector
  3. # bec:  the functions' big equivalence class (index number of rational order)
  4. # rcv:  ring count vector, i.e. a refined weight (first entry is the weight)
  5. # binary:  the functions' vector of truth values
  6.  
  7. monotonic_functions = {
  8.  
  9.     # weight 0  (1)
  10.       0:  { 'weight':  0,  'bec':   0,  'rcv': ( 0,  0,  0,  0),  'binary': '0000000000000000' },
  11.  
  12.     # weight 1  (1)
  13.       1:  { 'weight':  1,  'bec': 377,  'rcv': ( 1,  4,  4,  2),  'binary': '0000000000000001' },
  14.  
  15.     # weight 2  (4)
  16.       2:  { 'weight':  2,  'bec':  17,  'rcv': ( 2,  7,  6,  3),  'binary': '0000000100000001' },
  17.       3:  { 'weight':  2,  'bec':  17,  'rcv': ( 2,  7,  7,  3),  'binary': '0000000000010001' },
  18.       4:  { 'weight':  2,  'bec':  17,  'rcv': ( 2,  7,  7,  4),  'binary': '0000000000000101' },
  19.       5:  { 'weight':  2,  'bec':  17,  'rcv': ( 2,  7,  8,  4),  'binary': '0000000000000011' },
  20.  
  21.     # weight 3  (6)
  22.       6:  { 'weight':  3,  'bec': 324,  'rcv': ( 3, 10,  9,  4),  'binary': '0000000100010001' },
  23.       7:  { 'weight':  3,  'bec': 324,  'rcv': ( 3, 10,  9,  5),  'binary': '0000000100000101' },
  24.       8:  { 'weight':  3,  'bec': 324,  'rcv': ( 3, 10, 10,  5),  'binary': '0000000000010101' },
  25.       9:  { 'weight':  3,  'bec': 324,  'rcv': ( 3, 10, 10,  5),  'binary': '0000000100000011' },
  26.      10:  { 'weight':  3,  'bec': 324,  'rcv': ( 3, 10, 11,  5),  'binary': '0000000000010011' },
  27.      11:  { 'weight':  3,  'bec': 324,  'rcv': ( 3, 10, 11,  6),  'binary': '0000000000000111' },
  28.  
  29.     # weight 4  (6 + 4)
  30.      12:  { 'weight':  4,  'bec':   4,  'rcv': ( 4, 12, 10,  4),  'binary': '0001000100010001' },
  31.      13:  { 'weight':  4,  'bec':   4,  'rcv': ( 4, 12, 10,  6),  'binary': '0000010100000101' },
  32.      14:  { 'weight':  4,  'bec':   4,  'rcv': ( 4, 12, 12,  6),  'binary': '0000000001010101' },
  33.      15:  { 'weight':  4,  'bec':   4,  'rcv': ( 4, 12, 12,  6),  'binary': '0000001100000011' },
  34.      16:  { 'weight':  4,  'bec':   4,  'rcv': ( 4, 12, 14,  6),  'binary': '0000000000110011' },
  35.      17:  { 'weight':  4,  'bec':   4,  'rcv': ( 4, 12, 14,  8),  'binary': '0000000000001111' },
  36.  
  37.      18:  { 'weight':  4,  'bec': 201,  'rcv': ( 4, 13, 12,  6),  'binary': '0000000100010101' },
  38.      19:  { 'weight':  4,  'bec': 201,  'rcv': ( 4, 13, 13,  6),  'binary': '0000000100010011' },
  39.      20:  { 'weight':  4,  'bec': 201,  'rcv': ( 4, 13, 13,  7),  'binary': '0000000100000111' },
  40.      21:  { 'weight':  4,  'bec': 201,  'rcv': ( 4, 13, 14,  7),  'binary': '0000000000010111' },
  41.  
  42.     # weight 5  (12 + 1)
  43.      22:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 13,  6),  'binary': '0001000100010101' },
  44.      23:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 13,  7),  'binary': '0000010100010101' },
  45.      24:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 14,  6),  'binary': '0001000100010011' },
  46.      25:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 14,  7),  'binary': '0000000101010101' },
  47.      26:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 14,  8),  'binary': '0000010100000111' },
  48.      27:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 15,  7),  'binary': '0000001100010011' },
  49.      28:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 15,  8),  'binary': '0000001100000111' },
  50.      29:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 16,  7),  'binary': '0000000100110011' },
  51.      30:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 16,  8),  'binary': '0000000001010111' },
  52.      31:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 16,  9),  'binary': '0000000100001111' },
  53.      32:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 17,  8),  'binary': '0000000000110111' },
  54.      33:  { 'weight':  5,  'bec': 196,  'rcv': ( 5, 15, 17,  9),  'binary': '0000000000011111' },
  55.  
  56.      34:  { 'weight':  5,  'bec': 296,  'rcv': ( 5, 16, 16,  8),  'binary': '0000000100010111' },
  57.  
  58.     # weight 6  (12 + 6)
  59.      35:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 14,  7),  'binary': '0001010100010101' },
  60.      36:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 15,  7),  'binary': '0001000101010101' },
  61.      37:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 15,  8),  'binary': '0000010101010101' },
  62.      38:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 16,  7),  'binary': '0001001100010011' },
  63.      39:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 16,  9),  'binary': '0000011100000111' },
  64.      40:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 17,  7),  'binary': '0001000100110011' },
  65.      41:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 17, 10),  'binary': '0000010100001111' },
  66.      42:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 18,  8),  'binary': '0000001100110011' },
  67.      43:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 18, 10),  'binary': '0000001100001111' },
  68.      44:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 19,  9),  'binary': '0000000001110111' },
  69.      45:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 19, 10),  'binary': '0000000001011111' },
  70.      46:  { 'weight':  6,  'bec':  10,  'rcv': ( 6, 17, 20, 10),  'binary': '0000000000111111' },
  71.  
  72.      47:  { 'weight':  6,  'bec': 333,  'rcv': ( 6, 18, 17,  8),  'binary': '0001000100010111' },
  73.      48:  { 'weight':  6,  'bec': 333,  'rcv': ( 6, 18, 17,  9),  'binary': '0000010100010111' },
  74.      49:  { 'weight':  6,  'bec': 333,  'rcv': ( 6, 18, 18,  9),  'binary': '0000000101010111' },
  75.      50:  { 'weight':  6,  'bec': 333,  'rcv': ( 6, 18, 18,  9),  'binary': '0000001100010111' },
  76.      51:  { 'weight':  6,  'bec': 333,  'rcv': ( 6, 18, 19,  9),  'binary': '0000000100110111' },
  77.      52:  { 'weight':  6,  'bec': 333,  'rcv': ( 6, 18, 19, 10),  'binary': '0000000100011111' },
  78.  
  79.     # weight 7  (12 + 3 + 4)
  80.      53:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 18,  9),  'binary': '0001010100010111' },
  81.      54:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 19,  9),  'binary': '0001000101010111' },
  82.      55:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 19,  9),  'binary': '0001001100010111' },
  83.      56:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 19, 10),  'binary': '0000010101010111' },
  84.      57:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 19, 10),  'binary': '0000011100010111' },
  85.      58:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 20,  9),  'binary': '0001000100110111' },
  86.      59:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 20, 11),  'binary': '0000010100011111' },
  87.      60:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 21, 10),  'binary': '0000000101110111' },
  88.      61:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 21, 10),  'binary': '0000001100110111' },
  89.      62:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 21, 11),  'binary': '0000000101011111' },
  90.      63:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 21, 11),  'binary': '0000001100011111' },
  91.      64:  { 'weight':  7,  'bec':  77,  'rcv': ( 7, 20, 22, 11),  'binary': '0000000100111111' },
  92.  
  93.      65:  { 'weight':  7,  'bec': 297,  'rcv': ( 7, 20, 20, 10),  'binary': '0000001101010111' },
  94.      66:  { 'weight':  7,  'bec': 297,  'rcv': ( 7, 20, 20, 10),  'binary': '0000010100110111' },
  95.      67:  { 'weight':  7,  'bec': 297,  'rcv': ( 7, 20, 20, 10),  'binary': '0001000100011111' },
  96.  
  97.      68:  { 'weight':  7,  'bec': 336,  'rcv': ( 7, 19, 16,  8),  'binary': '0001010101010101' },
  98.      69:  { 'weight':  7,  'bec': 336,  'rcv': ( 7, 19, 19,  8),  'binary': '0001001100110011' },
  99.      70:  { 'weight':  7,  'bec': 336,  'rcv': ( 7, 19, 19, 11),  'binary': '0000011100001111' },
  100.      71:  { 'weight':  7,  'bec': 336,  'rcv': ( 7, 19, 22, 11),  'binary': '0000000001111111' },
  101.  
  102.     # weight 8  (4 + 4 + 12 + 4)
  103.      72:  { 'weight':  8,  'bec':   2,  'rcv': ( 8, 20, 16,  8),  'binary': '0101010101010101' },
  104.      73:  { 'weight':  8,  'bec':   2,  'rcv': ( 8, 20, 20,  8),  'binary': '0011001100110011' },
  105.      74:  { 'weight':  8,  'bec':   2,  'rcv': ( 8, 20, 20, 12),  'binary': '0000111100001111' },
  106.      75:  { 'weight':  8,  'bec':   2,  'rcv': ( 8, 20, 24, 12),  'binary': '0000000011111111' },
  107.  
  108.      76:  { 'weight':  8,  'bec':  19,  'rcv': ( 8, 22, 20, 10),  'binary': '0001011100010111' },
  109.      77:  { 'weight':  8,  'bec':  19,  'rcv': ( 8, 22, 22, 10),  'binary': '0001000101110111' },
  110.      78:  { 'weight':  8,  'bec':  19,  'rcv': ( 8, 22, 22, 12),  'binary': '0000010101011111' },
  111.      79:  { 'weight':  8,  'bec':  19,  'rcv': ( 8, 22, 24, 12),  'binary': '0000001100111111' },
  112.  
  113.      80:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 21, 10),  'binary': '0001001101010111' },
  114.      81:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 21, 10),  'binary': '0001010100110111' },
  115.      82:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 21, 11),  'binary': '0000011101010111' },
  116.      83:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 21, 11),  'binary': '0001010100011111' },
  117.      84:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 22, 11),  'binary': '0000010101110111' },
  118.      85:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 22, 11),  'binary': '0000011100110111' },
  119.      86:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 22, 11),  'binary': '0001000101011111' },
  120.      87:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 22, 11),  'binary': '0001001100011111' },
  121.      88:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 23, 11),  'binary': '0000001101110111' },
  122.      89:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 23, 11),  'binary': '0001000100111111' },
  123.      90:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 23, 12),  'binary': '0000001101011111' },
  124.      91:  { 'weight':  8,  'bec': 203,  'rcv': ( 8, 22, 23, 12),  'binary': '0000010100111111' },
  125.  
  126.      92:  { 'weight':  8,  'bec': 365,  'rcv': ( 8, 22, 20, 10),  'binary': '0001010101010111' },
  127.      93:  { 'weight':  8,  'bec': 365,  'rcv': ( 8, 22, 22, 10),  'binary': '0001001100110111' },
  128.      94:  { 'weight':  8,  'bec': 365,  'rcv': ( 8, 22, 22, 12),  'binary': '0000011100011111' },
  129.      95:  { 'weight':  8,  'bec': 365,  'rcv': ( 8, 22, 24, 12),  'binary': '0000000101111111' },
  130.  
  131.     # weight 9  (12 + 3 + 4)
  132.      96:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 22, 11),  'binary': '0001011101010111' },
  133.      97:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 23, 11),  'binary': '0001010101110111' },
  134.      98:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 23, 11),  'binary': '0001011100110111' },
  135.      99:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 23, 12),  'binary': '0001010101011111' },
  136.     100:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 23, 12),  'binary': '0001011100011111' },
  137.     101:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 24, 11),  'binary': '0001001101110111' },
  138.     102:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 24, 13),  'binary': '0000011101011111' },
  139.     103:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 25, 12),  'binary': '0001000101111111' },
  140.     104:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 25, 12),  'binary': '0001001100111111' },
  141.     105:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 25, 13),  'binary': '0000010101111111' },
  142.     106:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 25, 13),  'binary': '0000011100111111' },
  143.     107:  { 'weight':  9,  'bec':  92,  'rcv': ( 9, 24, 26, 13),  'binary': '0000001101111111' },
  144.  
  145.     108:  { 'weight':  9,  'bec': 312,  'rcv': ( 9, 24, 24, 12),  'binary': '0000011101110111' },
  146.     109:  { 'weight':  9,  'bec': 312,  'rcv': ( 9, 24, 24, 12),  'binary': '0001001101011111' },
  147.     110:  { 'weight':  9,  'bec': 312,  'rcv': ( 9, 24, 24, 12),  'binary': '0001010100111111' },
  148.  
  149.     111:  { 'weight':  9,  'bec': 347,  'rcv': ( 9, 23, 20, 10),  'binary': '0101010101010111' },
  150.     112:  { 'weight':  9,  'bec': 347,  'rcv': ( 9, 23, 23, 10),  'binary': '0011001100110111' },
  151.     113:  { 'weight':  9,  'bec': 347,  'rcv': ( 9, 23, 23, 13),  'binary': '0000111100011111' },
  152.     114:  { 'weight':  9,  'bec': 347,  'rcv': ( 9, 23, 26, 13),  'binary': '0000000111111111' },
  153.  
  154.     # weight 10  (12 + 6)
  155.     115:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 22, 11),  'binary': '0101011101010111' },
  156.     116:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 23, 11),  'binary': '0101010101110111' },
  157.     117:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 23, 12),  'binary': '0101010101011111' },
  158.     118:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 24, 11),  'binary': '0011011100110111' },
  159.     119:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 24, 13),  'binary': '0001111100011111' },
  160.     120:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 25, 11),  'binary': '0011001101110111' },
  161.     121:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 25, 14),  'binary': '0000111101011111' },
  162.     122:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 26, 12),  'binary': '0011001100111111' },
  163.     123:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 26, 14),  'binary': '0000111100111111' },
  164.     124:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 27, 13),  'binary': '0001000111111111' },
  165.     125:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 27, 14),  'binary': '0000010111111111' },
  166.     126:  { 'weight': 10,  'bec':  11,  'rcv': (10, 25, 28, 14),  'binary': '0000001111111111' },
  167.  
  168.     127:  { 'weight': 10,  'bec': 346,  'rcv': (10, 26, 25, 12),  'binary': '0001011101110111' },
  169.     128:  { 'weight': 10,  'bec': 346,  'rcv': (10, 26, 25, 13),  'binary': '0001011101011111' },
  170.     129:  { 'weight': 10,  'bec': 346,  'rcv': (10, 26, 26, 13),  'binary': '0001010101111111' },
  171.     130:  { 'weight': 10,  'bec': 346,  'rcv': (10, 26, 26, 13),  'binary': '0001011100111111' },
  172.     131:  { 'weight': 10,  'bec': 346,  'rcv': (10, 26, 27, 13),  'binary': '0001001101111111' },
  173.     132:  { 'weight': 10,  'bec': 346,  'rcv': (10, 26, 27, 14),  'binary': '0000011101111111' },
  174.  
  175.     # weight 11  (12 + 1)
  176.     133:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 25, 12),  'binary': '0101011101110111' },
  177.     134:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 25, 13),  'binary': '0101011101011111' },
  178.     135:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 26, 12),  'binary': '0011011101110111' },
  179.     136:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 26, 13),  'binary': '0101010101111111' },
  180.     137:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 26, 14),  'binary': '0001111101011111' },
  181.     138:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 27, 13),  'binary': '0011011100111111' },
  182.     139:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 27, 14),  'binary': '0001111100111111' },
  183.     140:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 28, 13),  'binary': '0011001101111111' },
  184.     141:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 28, 14),  'binary': '0001010111111111' },
  185.     142:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 28, 15),  'binary': '0000111101111111' },
  186.     143:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 29, 14),  'binary': '0001001111111111' },
  187.     144:  { 'weight': 11,  'bec': 220,  'rcv': (11, 27, 29, 15),  'binary': '0000011111111111' },
  188.  
  189.     145:  { 'weight': 11,  'bec': 305,  'rcv': (11, 28, 28, 14),  'binary': '0001011101111111' },
  190.  
  191.     # weight 12  (6 + 4)
  192.     146:  { 'weight': 12,  'bec':   5,  'rcv': (12, 28, 26, 12),  'binary': '0111011101110111' },
  193.     147:  { 'weight': 12,  'bec':   5,  'rcv': (12, 28, 26, 14),  'binary': '0101111101011111' },
  194.     148:  { 'weight': 12,  'bec':   5,  'rcv': (12, 28, 28, 14),  'binary': '0011111100111111' },
  195.     149:  { 'weight': 12,  'bec':   5,  'rcv': (12, 28, 28, 14),  'binary': '0101010111111111' },
  196.     150:  { 'weight': 12,  'bec':   5,  'rcv': (12, 28, 30, 14),  'binary': '0011001111111111' },
  197.     151:  { 'weight': 12,  'bec':   5,  'rcv': (12, 28, 30, 16),  'binary': '0000111111111111' },
  198.  
  199.     152:  { 'weight': 12,  'bec': 260,  'rcv': (12, 29, 28, 14),  'binary': '0101011101111111' },
  200.     153:  { 'weight': 12,  'bec': 260,  'rcv': (12, 29, 29, 14),  'binary': '0011011101111111' },
  201.     154:  { 'weight': 12,  'bec': 260,  'rcv': (12, 29, 29, 15),  'binary': '0001111101111111' },
  202.     155:  { 'weight': 12,  'bec': 260,  'rcv': (12, 29, 30, 15),  'binary': '0001011111111111' },
  203.  
  204.     # weight 13  (6)
  205.     156:  { 'weight': 13,  'bec': 349,  'rcv': (13, 30, 29, 14),  'binary': '0111011101111111' },
  206.     157:  { 'weight': 13,  'bec': 349,  'rcv': (13, 30, 29, 15),  'binary': '0101111101111111' },
  207.     158:  { 'weight': 13,  'bec': 349,  'rcv': (13, 30, 30, 15),  'binary': '0011111101111111' },
  208.     159:  { 'weight': 13,  'bec': 349,  'rcv': (13, 30, 30, 15),  'binary': '0101011111111111' },
  209.     160:  { 'weight': 13,  'bec': 349,  'rcv': (13, 30, 31, 15),  'binary': '0011011111111111' },
  210.     161:  { 'weight': 13,  'bec': 349,  'rcv': (13, 30, 31, 16),  'binary': '0001111111111111' },
  211.  
  212.     # weight 14  (4)
  213.     162:  { 'weight': 14,  'bec':  21,  'rcv': (14, 31, 30, 15),  'binary': '0111111101111111' },
  214.     163:  { 'weight': 14,  'bec':  21,  'rcv': (14, 31, 31, 15),  'binary': '0111011111111111' },
  215.     164:  { 'weight': 14,  'bec':  21,  'rcv': (14, 31, 31, 16),  'binary': '0101111111111111' },
  216.     165:  { 'weight': 14,  'bec':  21,  'rcv': (14, 31, 32, 16),  'binary': '0011111111111111' },
  217.  
  218.     # weight 15  (1)
  219.     166:  { 'weight': 15,  'bec': 401,  'rcv': (15, 32, 32, 16),  'binary': '0111111111111111' },
  220.  
  221.     # weight 16  (1)
  222.     167:  { 'weight': 16,  'bec':   1,  'rcv': (16, 32, 32, 16),  'binary': '1111111111111111' },
  223.  
  224. }
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!