1-variable functions table([0 = {0, 1, 3}]) "0 gates: 3 functions - {0, 1, 3}" 2-variable functions table([0 = {0, 3, 15}, 1 = {1, 6, 7}]) "0 gates: 3 functions - {0, 3, 15}" "1 gates: 3 functions - {1, 6, 7}" 3-variable functions table([0 = {0, 15, 255}, 1 = {3, 60, 63}, 2 = {1, 6, 7, 30, 31, 105, 111, 127}, 3 = {24, 25, 27, 61, 126}, 4 = {22, 23, 107} ]) "0 gates: 3 functions - {0, 15, 255}" "1 gates: 3 functions - {3, 60, 63}" "2 gates: 8 functions - {1, 6, 7, 30, 31, 105, 111, 127}" "3 gates: 5 functions - {24, 25, 27, 61, 126}" "4 gates: 3 functions - {22, 23, 107}" 4-variable functions TABLE([0 = {0, 255, 65535}, 1 = {15, 4080, 4095}, 2 = {3, 60, 63, 1020, 1023, 15555, 15615, 16383}, 3 = {1, 6, 7, 30, 31, 105, 111, 127, 510, 511, 854, 855, 960, 963, 975, 1632, 1638, 1785, 1791, 1911, 2040, 2047, 4083, 7905, 7918, 7935, 8177, 8191, 16380, 27030, 27135, 28662, 28671, 32767}, 4 = {24, 25, 27, 61, 126, 408, 409, 424, 425, 426, 427, 430, 431, 494, 495, 828, 831, 857, 858, 859, 863, 988, 990, 991, 1021, 1680, 1686, 1695, 1776, 1779, 1782, 1968, 1975, 2032, 2034, 2039, 2042, 2043, 4081, 4086, 4087, 6375, 6399, 6630, 6655, 7127, 7140, 7150, 7167, 7934, 8178, 8179, 8190, 15567, 15575, 15870, 15871, 28665, 32511}, 5 = {22, 23, 107, 286, 287, 300, 301, 303, 316, 317, 318, 319, 360, 361, 366, 367, 384, 385, 386, 387, 390, 391, 393, 395, 399, 410, 446, 447, 490, 491, 856, 862, 873, 874, 875, 876, 878, 879, 892, 894, 895, 961, 965, 966, 967, 980, 981, 982, 983, 985, 989, 1634, 1635, 1641, 1647, 1651, 1654, 1655, 1721, 1725, 1727, 1777, 1783, 1787, 1912, 1915, 1919, 1972, 1980, 1983, 2016, 2023, 2025, 2027, 2031, 2033, 2035, 2041, 2046, 5766, 5775, 5782, 5785, 5790, 5820, 5865, 5866, 5870, 5887, 6023, 6030, 6038, 6043, 6047, 6077, 6120, 6123, 6126, 6127, 6143, 6633, 6634, 6638, 6639, 6643, 6646, 6647, 6649, 6650, 7128, 7131, 7135, 7148, 7151, 7907, 7915, 7919, 7921, 7923, 7930, 7931, 8184, 8185, 8186, 8187, 15559, 15579, 15583, 15831, 15853, 15855, 15869, 16381, 27039, 27615, 27645, 27647, 28663, 32766}, 6 = {280, 281, 282, 283, 362, 363, 382, 383, 406, 407, 411, 414, 415, 428, 429, 444, 445, 488, 489, 829, 872, 877, 893, 984, 987, 1639, 1650, 1656, 1657, 1658, 1659, 1662, 1663, 1681, 1683, 1687, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1723, 1778, 1910, 1914, 1918, 1969, 1971, 1973, 1974, 1981, 2017, 2018, 2019, 2022, 2038, 5736, 5737, 5739, 5742, 5759, 5763, 5767, 5769, 5783, 5786, 5791, 5801, 5805, 5806, 5807, 5822, 5823, 5867, 5871, 5886, 6014, 6017, 6019, 6027, 6031, 6039, 6040, 6041, 6057, 6059, 6060, 6061, 6062, 6063, 6076, 6078, 6079, 6122, 6142, 6383, 6625, 6627, 6631, 6635, 6641, 6648, 6651, 6654, 7129, 7134, 7141, 7143, 7149, 7164, 7165, 7910, 7911, 7913, 7926, 7927, 7929, 8182, 8183, 15830, 15835, 15838, 15839, 27031, 27071, 27606, 28667}, 7 = {278, 279, 1633, 1643, 1913, 5738, 5743, 5758, 5761, 5771, 5774, 5784, 5787, 5803, 5804, 5821, 6015, 6025, 6042, 6046, 6121, 7126, 15834, 27581, 27583, 27607} ]) "0 gates: 3 functions - {0, 255, 65535}" "1 gates: 3 functions - {15, 4080, 4095}" "2 gates: 8 functions - {3, 60, 63, 1020, 1023, 15555, 15615, 16383}" "3 gates: 34 functions - {1, 6, 7, 30, 31, 105, 111, 127, 510, 511, 854, 855, 960, 963, 975, 1632, 1638, 1785, 1791, 1911, 2040, 2047, 4083, 7905, 7918, 7935, 8177, 8191, 16380, 27030, 27135, 28662, 28671, 32767}" "4 gates: 59 functions - {24, 25, 27, 61, 126, 408, 409, 424, 425, 426, 427, 430, 431, 494, 495, 828, 831, 857, 858, 859, 863, 988, 990, 991, 1021, 1680, 1686, 1695, 1776, 1779, 1782, 1968, 1975, 2032, 2034, 2039, 2042, 2043, 4081, 4086, 4087, 6375, 6399, 6630, 6655, 7127, 7140, 7150, 7167, 7934, 8178, 8179, 8190, 15567, 15575, 15870, 15871, 28665, 32511}" "5 gates: 139 functions - {22, 23, 107, 286, 287, 300, 301, 303, 316, 317, 318, 319, 360, 361, 366, 367, 384, 385, 386, 387, 390, 391, 393, 395, 399, 410, 446, 447, 490, 491, 856, 862, 873, 874, 875, 876, 878, 879, 892, 894, 895, 961, 965, 966, 967, 980, 981, 982, 983, 985, 989, 1634, 1635, 1641, 1647, 1651, 1654, 1655, 1721, 1725, 1727, 1777, 1783, 1787, 1912, 1915, 1919, 1972, 1980, 1983, 2016, 2023, 2025, 2027, 2031, 2033, 2035, 2041, 2046, 5766, 5775, 5782, 5785, 5790, 5820, 5865, 5866, 5870, 5887, 6023, 6030, 6038, 6043, 6047, 6077, 6120, 6123, 6126, 6127, 6143, 6633, 6634, 6638, 6639, 6643, 6646, 6647, 6649, 6650, 7128, 7131, 7135, 7148, 7151, 7907, 7915, 7919, 7921, 7923, 7930, 7931, 8184, 8185, 8186, 8187, 15559, 15579, 15583, 15831, 15853, 15855, 15869, 16381, 27039, 27615, 27645, 27647, 28663, 32766}" "6 gates: 130 functions - {280, 281, 282, 283, 362, 363, 382, 383, 406, 407, 411, 414, 415, 428, 429, 444, 445, 488, 489, 829, 872, 877, 893, 984, 987, 1639, 1650, 1656, 1657, 1658, 1659, 1662, 1663, 1681, 1683, 1687, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1723, 1778, 1910, 1914, 1918, 1969, 1971, 1973, 1974, 1981, 2017, 2018, 2019, 2022, 2038, 5736, 5737, 5739, 5742, 5759, 5763, 5767, 5769, 5783, 5786, 5791, 5801, 5805, 5806, 5807, 5822, 5823, 5867, 5871, 5886, 6014, 6017, 6019, 6027, 6031, 6039, 6040, 6041, 6057, 6059, 6060, 6061, 6062, 6063, 6076, 6078, 6079, 6122, 6142, 6383, 6625, 6627, 6631, 6635, 6641, 6648, 6651, 6654, 7129, 7134, 7141, 7143, 7149, 7164, 7165, 7910, 7911, 7913, 7926, 7927, 7929, 8182, 8183, 15830, 15835, 15838, 15839, 27031, 27071, 27606, 28667}" "7 gates: 26 functions - {278, 279, 1633, 1643, 1913, 5738, 5743, 5758, 5761, 5771, 5774, 5784, 5787, 5803, 5804, 5821, 6015, 6025, 6042, 6046, 6121, 7126, 15834, 27581, 27583, 27607}"