This site is supported by donations to The OEIS Foundation.

User:Jason Kimberley/magma/Ege gkn

From OeisWiki
Jump to: navigation, search
Ege := := // each sequence has an implicit a(0)=1 and the first listed term is a(1).
 [
   <3, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <3, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <3, 2, [ 0, 0, 1, 1, 1, 2, 2, 3, 4, 5, 6, 9, 10, 13, 17, 21, 25, 33, 39, 49,
   60, 73, 88, 110, 130, 158, 191, 230, 273, 331, 391, 468, 556, 660, 779, 927,
   1087, 1284, 1510, 1775, 2075, 2438, 2842, 3323, 3872, 4510, 5237, 6095,
   7056, 8182, 9465, 10945, 12625, 14578, 16779, 19323, 22210, 25519, 29269,
   33581, 38438, 44004, 50305, 57480, 65585, 74831, 85241, 97084, 110441,
   125577, 142627, 161955, 183669, 208233, 235858, 267016, 302008, 341474,
   385714, 435525, 491365, 554102, 624363, 703263, 791483, 890414, 1001014,
   1124831, 1263105, 1417812, 1590370, 1783200, 1998184, 2238095, 2505329,
   2803342, 3134927, 3504321, 3915113 ]>,
   <3, 3, [ 0, 0, 0, 1, 0, 2, 0, 6, 0, 21, 0, 94, 0, 540, 0, 4207, 0, 42110, 0,
   516344, 0, 7373924, 0, 118573592, 0, 2103205738, 0, 40634185402, 0,
   847871397424, 0, 18987149095005, 0, 454032821688754, 0, 11544329612485981,
   0, 310964453836198311, 0, 8845303172513781271, 0 ]>,
   <3, 4, [ 0, 0, 0, 0, 1, 1, 2, 6, 16, 60, 266, 1547, 10786, 88193, 805579,
   8037796, 86223660, 985883873, 11946592242, 152808993767, 2056701139136,
   28566369866514 ]>,
   <3, 5, [ 0, 0, 0, 0, 0, 1, 0, 3, 0, 60, 0, 7849, 0, 3459386, 0, 2585136741,
   0, 2807105258926, 0 ]>,
   <3, 6, [ 0, 0, 0, 0, 0, 0, 1, 1, 4, 21, 266, 7849, 367860, 21609301,
   1470293676, 113314233813, 9799685588961 ]>,
   <3, 7, [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 5, 0, 1547, 0, 21609301, 0,
   733351105935, 0 ]>,
   <3, 8, [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 6, 94, 10786, 3459386, 1470293676,
   733351105935 ]>,
   <3, 9, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 9, 0, 88193, 0, 113314233813, 0
   ]>,
   <3, 10, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 10, 540, 805579, 2585136741,
   9799685588961 ]>,
   <3, 11, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 13, 0, 8037796, 0 ]>,
   <4, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <4, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <4, 2, [ 0, 0, 0, 1, 1, 1, 1, 2, 2, 3, 3, 5, 5, 7, 8, 11, 12, 16, 18, 24,
   27, 34, 39, 50, 57, 70, 81, 100, 115, 140, 161, 195, 225, 269, 311, 371,
   427, 505, 583, 688, 791, 928, 1067, 1248, 1434, 1668, 1914, 2223, 2546,
   2945, 3370, 3889, 4443, 5113, 5834, 6698, 7632, 8740, 9946, 11371, 12919,
   14735, 16724, 19042, 21581, 24526, 27761, 31499, 35610, 40336, 45543, 51514,
   58092, 65606, 73903, 83347, 93775, 105616, 118698, 133517, 149891, 168388,
   188838, 211898, 237381, 266051, 297751, 333348, 372691, 416798, 465539,
   520095, 580372, 647725, 722129, 805158, 896832, 998992, 1111771, 1237284,
   1375774 ]>,
   <4, 3, [ 0, 0, 0, 0, 0, 1, 0, 2, 0, 6, 0, 23, 0, 112, 0, 801, 0, 7840, 0,
   97723, 0, 1436873, 0, 23791155, 0, 432878091, 0, 8544173926, 0,
   181519645163, 0, 4127569521160, 0 ]>,
   <4, 4, [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 2, 2, 12, 31, 220, 1606, 16829, 193900,
   2452820, 32670332, 456028489, 6636066134, 100135577994, 1582718914660 ]>,
   <4, 5, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 7, 0, 388, 0, 406824, 0,
   1125022326, 0, 3813549359275, 0 ]>,
   <4, 6, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 9, 6, 267, 3727,
   483012, 69823723, 14836130862 ]>,
   <4, 7, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 8, 0, 741, 0,
   2887493, 0 ]>,
   <4, 8, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 13, 1 ]>,
   <4, 9, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 14,
   0 ]>,
   <5, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <5, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <5, 2, [ 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 5, 6, 7, 9, 10, 13, 15,
   18, 21, 26, 30, 36, 42, 50, 58, 70, 80, 95, 110, 129, 150, 176, 202, 236,
   272, 317, 364, 423, 484, 560, 643, 740, 847, 975, 1112, 1277, 1456, 1666,
   1897, 2168, 2464, 2809, 3189, 3627, 4112, 4673, 5287, 5995, 6778, 7671,
   8662, 9791, 11037, 12457, 14029, 15810, 17782, 20015, 22482, 25270, 28360,
   31833, 35683, 40010, 44795, 50170, 56116, 62772, 70140, 78381, 87490, 97663,
   108913, 121450, 135310, 150747, 167788, 186747, 207681, 230927, 256590,
   285063, 316460, 351267, 389642, 432126, 478942 ]>,
   <5, 3, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 9, 0, 49, 0, 455, 0, 5784,
   0, 90940, 0, 1620491, 0, 31478651, 0, 656784488, 0, 14621878339, 0,
   345975756388, 0 ]>,
   <5, 4, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 8, 131,
   3917, 123859, 4131991, 132160608, 4018022149, 118369811960 ]>,
   <6, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <6, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <6, 2, [ 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 4, 6, 6, 8, 9, 11,
   12, 16, 17, 21, 24, 29, 32, 40, 44, 53, 60, 71, 80, 96, 107, 126, 143, 167,
   188, 221, 248, 288, 326, 376, 424, 491, 552, 634, 716, 819, 922, 1056, 1187,
   1353, 1523, 1730, 1944, 2209, 2478, 2806, 3151, 3559, 3989, 4504, 5042,
   5679, 6358, 7148, 7991, 8978, 10025, 11241, 12550, 14051, 15668, 17528,
   19525, 21810, 24283, 27089, 30130, 33586, 37320, 41547, 46141, 51310, 56929,
   63257, 70125, 77834, 86231, 95617, 105843, 117275, 129713, 143586, 158715,
   175536, 193879 ]>,
   <6, 3, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 5, 0, 32, 0,
   385, 0, 7574, 0, 181227, 0, 4624502, 0, 122090545, 0, 3328929960, 0,
   93990692632, 0 ]>,
   <6, 4, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
   0, 0, 0, 1, 0, 1, 0, 4, 0, 19, 0, 1272, 25, 494031, 13504 ]>,
   <7, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <7, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <7, 2, [ 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 4, 5, 6, 7,
   8, 10, 11, 13, 15, 18, 20, 24, 27, 32, 36, 42, 48, 56, 63, 73, 83, 96, 108,
   125, 141, 162, 183, 209, 236, 270, 304, 346, 390, 443, 498, 565, 635, 719,
   807, 911, 1022, 1153, 1291, 1453, 1628, 1829, 2045, 2295, 2564, 2873, 3207,
   3589, 4002, 4474, 4983, 5562, 6192, 6903, 7677, 8550, 9500, 10569, 11733,
   13038, 14462, 16058, 17795, 19737, 21858, 24221, 26799, 29671, 32805, 36287,
   40090, 44307, 48914, 54018, 59588, 65752, 72484, 79919, 88036 ]>,
   <7, 3, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
   0, 1, 0, 3, 0, 21, 0, 546, 0, 30368, 0, 1782840, 0, 95079083, 0, 4686063120,
   0 ]>,
   <8, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <8, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <8, 2, [ 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 4, 5,
   5, 7, 7, 9, 10, 12, 13, 16, 17, 21, 23, 27, 30, 36, 39, 46, 51, 60, 66, 77,
   85, 99, 110, 126, 140, 162, 179, 205, 228, 260, 289, 329, 365, 415, 461,
   521, 579, 655, 726, 818, 909, 1022, 1134, 1273, 1411, 1582, 1754, 1961,
   2173, 2429, 2688, 2998, 3319, 3696, 4088, 4548, 5026, 5586, 6171, 6846,
   7559, 8381, 9245, 10237, 11289, 12488, 13761, 15209, 16747, 18492, 20353,
   22449, 24693, 27219, 29917, 32947, 36197, 39829, 43729 ]>,
   <8, 3, [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
   0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 13, 0, 155, 0, 4337, 0, 266362,
   0, 20807688, 0 ]>,
   <9, 0, [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
   1, 1, 1 ]>,
   <9, 1, [ 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
   0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
   1, 0, 1, 0 ]>,
   <9, 2, [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4,
   4, 5, 5, 6, 7, 8, 9, 11, 12, 14, 16, 18, 20, 24, 26, 30, 34, 39, 43, 50, 55,
   63, 71, 80, 89, 102, 113, 128, 143, 161, 179, 203, 225, 253, 282, 316, 351,
   395, 437, 489, 544, 607, 673, 752, 832, 927, 1028, 1143, 1264, 1407, 1554,
   1725, 1908, 2114, 2334, 2587, 2853, 3157, 3483, 3848, 4240, 4685, 5157,
   5689, 6263, 6902, 7590, 8363, 9188, 10111, 11108, 12212, 13404, 14731,
   16156, 17738, 19450, 21337, 23376 ]>
 ]
;