pub enum TagFamily {
T16H5,
T25H7,
T25H9,
T36H11,
T36H11B1,
}
pub const T16H5: [u64; 30] = [
0x231B, 0x2EA5, 0x346A, 0x45B9, 0x79A6, 0x7F6B, 0xB358, 0xE745, 0xFE59, 0x156D, 0x380B, 0xF0AB,
0x0D84, 0x4736, 0x8C72, 0xAF10, 0x093C, 0x93B4, 0xA503, 0x468F, 0xE137, 0x5795, 0xDF42, 0x1C1D,
0xE9DC, 0x73AD, 0xAD5F, 0xD530, 0x07CA, 0xAF2E,
];
pub const T25H7: [u64; 242] = [
0x4B770D, 0x11693E6, 0x1A599AB, 0xC3A535, 0x152AAFA, 0xACCD98, 0x1CAD922, 0x2C2FAD, 0xBB3572,
0x14A3B37, 0x186524B, 0xC99D4C, 0x23BFEA, 0x141CB74, 0x1D0D139, 0x1670AEB, 0x851675, 0x150334E,
0x6E3ED8, 0xFD449D, 0xAA55EC, 0x1C86176, 0x15E9B28, 0x7CA6B2, 0x147C38B, 0x1D6C950, 0x8B0E8C,
0x11A1451, 0x1562B65, 0x13F53C8, 0xD58D7A, 0x829EC9, 0xFACCF1, 0x136E405, 0x7A2F06, 0x10934CB,
0x16A8B56, 0x1A6A26A, 0xF85545, 0x195C2E4, 0x24C8A9, 0x12BFC96, 0x16813AA, 0x1A42ABE,
0x1573424, 0x1044573, 0xB156C2, 0x5E6811, 0x1659BFE, 0x1D55A63, 0x5BF065, 0xE28667, 0x1E9BA54,
0x17D7C5A, 0x1F5AA82, 0x1A2BBD1, 0x1AE9F9, 0x1259E51, 0x134062B, 0xE1177A, 0xED07A8, 0x162BE24,
0x59128B, 0x1663E8F, 0x1A83CB, 0x45BB59, 0x189065A, 0x4BB370, 0x16FB711, 0x122C077, 0xECA17A,
0xDBC1F4, 0x88D343, 0x58AC5D, 0xBA02E8, 0x1A1D9D, 0x1C72EEC, 0x924BC5, 0xDCCAB3, 0x886D15,
0x178C965, 0x5BC69A, 0x1716261, 0x174E2CC, 0x1ED10F4, 0x156AA8, 0x3E2A8A, 0x2752ED, 0x153C651,
0x1741670, 0x765B05, 0x119C0BB, 0x172A783, 0x4FACA1, 0xF31257, 0x12441FC, 0x0D3748, 0xC21F15,
0xAC5037, 0x180E592, 0x7D3210, 0xA27187, 0x2BEEAF, 0x26FF57, 0x690E82, 0x77765C, 0x1A9E1D7,
0x140BE1A, 0x1AA1E3A, 0x1944F5C, 0x19B5032, 0x169897, 0x1068EB9, 0xF30DBC, 0x106A151,
0x1D53E95, 0x1348CEE, 0xCF4FCA, 0x1728BB5, 0xDC1EEC, 0x69E8DB, 0x16E1523, 0x105FA25, 0x18ABB0C,
0xC4275D, 0x6D8E76, 0xE8D6DB, 0xE16FD7, 0x1AC2682, 0x77435B, 0xA359DD, 0x3A9C4E, 0x123919A,
0x1E25817, 0x02A836, 0x1545A4, 0x1209C8D, 0xBB5F69, 0x1DC1F02, 0x5D5F7E, 0x12D0581, 0x13786C2,
0xE15409, 0x1AA3599, 0x139AAD8, 0xB09D2A, 0x54488F, 0x13C351C, 0x976079, 0xB25B12, 0x1ADDB34,
0x1CB23AE, 0x1175738, 0x1303BB8, 0xD47716, 0x188CEEA, 0xBAF967, 0x1226D39, 0x135E99B, 0x34ADC5,
0x2E384D, 0x90D3FA, 0x232713, 0x17D49B1, 0xAA84D6, 0xC2DDF8, 0x1665646, 0x4F345F, 0x2276B1,
0x1255DD7, 0x16F4CCC, 0x4AAFFC, 0xC46DA6, 0x85C7B3, 0x1311FCB, 0x9C6C4F, 0x187D947, 0x8578E4,
0xE2BF0B, 0xA01B4C, 0xA1493B, 0x7AD766, 0xCCFE82, 0x1981B5B, 0x1CACC85, 0x562CDB, 0x15B0E78,
0x8F66C5, 0x3332BF, 0x12CE754, 0x096A76, 0x1D5E3BA, 0x27EA41, 0x14412DF, 0x67B9B4, 0xDAA51A,
0x1DCB17, 0x4D4AFD, 0x6335D5, 0xEE2334, 0x17D4E55, 0x1B8B0F0, 0x14999E3, 0x1513DFA, 0x765CF2,
0x56AF90, 0x12E16AC, 0x1D3D86C, 0xFF279B, 0x18822DD, 0x99D478, 0x8DC0D2, 0x34B666, 0xCF9526,
0x186443D, 0x7A8E29, 0x19C6AA5, 0x1F2A27D, 0x12B2136, 0xD0CD0D, 0x12CB320, 0x17DDB0B, 0x05353B,
0x15B2CAF, 0x1E5A507, 0x120F1E5, 0x114605A, 0x14EFE4C, 0x568134, 0x11B9F92, 0x174D2A7,
0x692B1D, 0x39E4FE, 0xAAFF3D, 0x96224C, 0x13C9F77, 0x110EE8F, 0xF17BEA, 0x99FB5D, 0x337141,
0x02B54D, 0x1233A70,
];
pub const T25H9: [u64; 35] = [
0x155CBF1, 0x1E4D1B6, 0x17B0B68, 0x1EAC9CD, 0x12E14CE, 0x3548BB, 0x7757E6, 0x1065DAB,
0x1BAA2E7, 0xDEA688, 0x81D927, 0x51B241, 0xDBC8AE, 0x1E50E19, 0x15819D2, 0x16D8282, 0x163E035,
0x9D9B81, 0x173EEC4, 0xAE3A09, 0x5F7C51, 0x1A137FC, 0xDC9562, 0x1802E45, 0x1C3542C, 0x870FA4,
0x914709, 0x16684F0, 0xC8F2A5, 0x833EBB, 0x59717F, 0x13CD050, 0xFA0AD1, 0x1B763B0, 0xB991CE,
];
pub const T36H11: [u64; 587] = [
0xD5D628584,
0xD97F18B49,
0xDD280910E,
0xE479E9C98,
0xEBCBCA822,
0xF31DAB3AC,
0x056A5D085,
0x10652E1D4,
0x22B1DFEAD,
0x265AD0472,
0x34FE91B86,
0x3FF962CD5,
0x43A25329A,
0x474B4385F,
0x4E9D243E9,
0x5246149AE,
0x5997F5538,
0x683BB6C4C,
0x6BE4A7211,
0x7E3158EEA,
0x81DA494AF,
0x858339A74,
0x8CD51A5FE,
0x9F21CC2D7,
0xA2CABC89C,
0xADC58D9EB,
0xB16E7DFB0,
0xB8C05EB3A,
0xD25EF139D,
0xD607E1962,
0xE4ABA3076,
0x2DDE6A3DA,
0x43D40C678,
0x5620BE351,
0x64C47FA65,
0x686D7002A,
0x6C16605EF,
0x6FBF50BB4,
0x8D06D39DC,
0x9F53856B5,
0xADF746DC9,
0xBC9B084DD,
0xD290AA77B,
0xD9E28B305,
0xE4DD5C454,
0xFAD2FE6F2,
0x181A8151A,
0x26BE42C2E,
0x2E10237B8,
0x405CD5491,
0x7742EAB1C,
0x85E6AC230,
0x8D388CDBA,
0x9F853EA93,
0xC41EA2445,
0xCF1973594,
0x14A34A333,
0x31EACD15B,
0x6C79D2DAB,
0x73CBB3935,
0x89C155BD3,
0x8D6A46198,
0x91133675D,
0xA708D89FB,
0xAE5AB9585,
0xB9558A6D4,
0xB98743AB2,
0xD6CEC68DA,
0x1506BCAEF,
0x4BECD217A,
0x4F95C273F,
0x658B649DD,
0xA76C4B1B7,
0xECF621F56,
0x1C8A56A57,
0x3628E92BA,
0x53706C0E2,
0x5E6B3D231,
0x7809CFA94,
0xE97EEAD6F,
0x5AF40604A,
0x7492988AD,
0xED5994712,
0x5ECEAF9ED,
0x7C1632815,
0xC1A0095B4,
0xE9E25D52B,
0x3A6705419,
0xA8333012F,
0x4CE5704D0,
0x508E60A95,
0x877476120,
0xA864E950D,
0xEA45CFCE7,
0x19DA047E8,
0x24D4D5937,
0x6E079CC9B,
0x99F2E11D7,
0x33AA50429,
0x499FF26C7,
0x50F1D3251,
0x66E7754EF,
0x96AD633CE,
0x9A5653993,
0xACA30566C,
0xC298A790A,
0x8BE44B65D,
0xDC68F354B,
0x16F7F919B,
0x4DDE0E826,
0xD548CBD9F,
0xE0439CEEE,
0xFD8B1FD16,
0x76521BB7B,
0xD92375742,
0xCAB16D40C,
0x730C9DD72,
0xAD9BA39C2,
0xB14493F87,
0x52B15651F,
0x185409CAD,
0x77AE2C68D,
0x94F5AF4B5,
0x0A13BAD55,
0x61EA437CD,
0xA022399E2,
0x203B163D1,
0x7BBA8F40E,
0x95BC9442D,
0x41C0B5358,
0x8E9C6CC81,
0x0EB549670,
0x9DA3A0B51,
0xD832A67A1,
0xDCD4350BC,
0x4AA05FDD2,
0x60C7BB44E,
0x4B358B96C,
0x067299B45,
0xB9C89B5FA,
0x6975ACAEA,
0x62B8F7AFA,
0x33567C3D7,
0xBAC139950,
0xA5927C62A,
0x5C916E6A4,
0x260ECB7D5,
0x29B7BBD9A,
0x903205F26,
0xAE72270A4,
0x3D2EC51A7,
0x82EA55324,
0x11A6F3427,
0x1CA1C4576,
0xA40C81AEF,
0xBDDCCD730,
0x0E617561E,
0x969317B0F,
0x67F781364,
0x610912F96,
0xB2549FDFC,
0x06E5AAA6B,
0xB6C475339,
0xC56836A4D,
0x844E351EB,
0x4647F83B4,
0x0908A04F5,
0x7F51034C9,
0xAEE537FCA,
0x5E92494BA,
0xD445808F4,
0x28D68B563,
0x04D25374B,
0x2BC065F65,
0x96DC3EA0C,
0x4B2ADE817,
0x07C3FD502,
0xE768B5CAF,
0x17605CF6C,
0x182741EE4,
0x62846097C,
0x72B5EBF80,
0x263DA6E13,
0xFA841BCB5,
0x7E45E8C69,
0x653C81FA0,
0x7443B5E70,
0x0A5234AFD,
0x74756F24E,
0x157EBF02A,
0x82EF46939,
0x80D420264,
0x2AEED3E98,
0xB0A1DD4F8,
0xB5436BE13,
0x7B7B4B13B,
0x1CE80D6D3,
0x16C08427D,
0xEE54462DD,
0x1F7644CCE,
0x9C7B5CC92,
0xE369138F8,
0x5D5A66E91,
0x485D62F49,
0xE6E819E94,
0xB1F340EB5,
0x09D198CE2,
0xD60717437,
0x0196B856C,
0xF0A6173A5,
0x12C0E1EC6,
0x62B82D5CF,
0xAD154C067,
0xCE3778832,
0x6B0A7B864,
0x4C7686694,
0x5058FF3EC,
0xD5E21EA23,
0x9FF4A76EE,
0x9DD981019,
0x1BAD4D30A,
0xC601896D1,
0x973439B48,
0x1CE7431A8,
0x57A8021D6,
0xF9DBA96E6,
0x83A2E4E7C,
0x8EA585380,
0xAF6C0E744,
0x875B73BAB,
0xDA34CA901,
0x2AB9727EF,
0xD39F21B9A,
0x8A10B742F,
0x5F8952DBA,
0xF8DA71AB0,
0xC25F9DF96,
0x06F8A5D94,
0xE42E63E1A,
0xB78409D1B,
0x792229ADD,
0x5ACF8C455,
0x2FC29A9B0,
0xEA486237B,
0xB0C9685A0,
0x1AD748A47,
0x03B4712D5,
0xF29216D30,
0x8DAD65E49,
0x0A2CF09DD,
0x0B5F174C6,
0xE54F57743,
0xB9CF54D78,
0x4A312A88A,
0x27BABC962,
0xB86897111,
0xF2FF6C116,
0x82274BD8A,
0x97023505E,
0x52D46EDD1,
0x585C1F538,
0xBDDD00E43,
0x5590B74DF,
0x729404A1F,
0x65320855E,
0xD3D4B6956,
0x7AE374F14,
0x2D7A60E06,
0x315CD9B5E,
0xFD36B4EAC,
0xF1DF7642B,
0x55DB27726,
0x8F15EBC19,
0x992F8C531,
0x62DEA2A40,
0x928275CAB,
0x69C263CB9,
0xA774CCA9E,
0x266B2110E,
0x1B14ACBB8,
0x624B8A71B,
0x1C539406B,
0x3086D529B,
0x0111DD66E,
0x98CD630BF,
0x8B9D1FFDC,
0x72B2F61E7,
0x9ED9D672B,
0x96CDD15F3,
0x6366C2504,
0x6CA9DF73A,
0xA066D60F0,
0xE7A4B8ADD,
0x8264647EF,
0xAA195BF81,
0x9A3DB8244,
0x014D2DF6A,
0x0B63265B7,
0x2F010DE73,
0x97E774986,
0x248AFFC29,
0xFB57DCD11,
0x0B1A7E4D9,
0x4BFA2D07D,
0x54E5CDF96,
0x4C15C1C86,
0xCD9C61166,
0x499380B2A,
0x540308D09,
0x8B63FE66F,
0xC81AEB35E,
0x86FE0BD5C,
0xCE2480C2A,
0x1AB29EE60,
0x8048DAA15,
0xDBFEB2D39,
0x567C9858C,
0x2B6EDC5BC,
0x2078FCA82,
0xADACC22AA,
0xB92486F49,
0x51FAC5964,
0x691EE6420,
0xF63B3E129,
0x39BE7E572,
0xDA2CE6C74,
0x20CF17A5C,
0xEE55F9B6E,
0xFB8572726,
0xB2C2DE548,
0xCAA9BCE92,
0xAE9182DB3,
0x74B6E5BD1,
0x137B252AF,
0x51F686881,
0xD672F6C02,
0x654146CE4,
0xF944BC825,
0xE8327F809,
0x76A73FD59,
0xF79DA4CB4,
0x956F8099B,
0x7B5F2655C,
0xD06B114A6,
0xD0697CA50,
0x27C390797,
0xBC61ED9B2,
0xCC12DD19B,
0xEB7818D2C,
0x092FCECDA,
0x89DED4EA1,
0x256A0BA34,
0xB6948E627,
0x1EF6B1054,
0x8639294A2,
0xEDA3780A4,
0x39EE2AF1D,
0xCD257EDC5,
0x2D9D6BC22,
0x121D3B47D,
0x37E23F8AD,
0x119F31CF6,
0x2C97F4F09,
0xD502ABFE0,
0x10BC3CA77,
0x53D7190EF,
0x90C3E62A6,
0x7E9EBF675,
0x979CE23D1,
0x27F0C98E9,
0xEAFB4AE59,
0x7CA7FE2BD,
0x1490CA8F6,
0x9123387BA,
0xB3BC73888,
0x3EA87E325,
0x4888964AA,
0xA0188A6B9,
0xCD383C666,
0x40029A3FD,
0xE1C00AC5C,
0x39E6F2B6E,
0xDE664F622,
0xE979A75E8,
0x7C6B4C86C,
0xFD492E071,
0x8FBB35118,
0x40B4A09B7,
0xAF80BD6DA,
0x70E0B2521,
0x2F5C54D93,
0x3F4A118D5,
0x09C1897B9,
0x079776EAC,
0x084B00B17,
0x3A95AD90E,
0x28C544095,
0x39D457C05,
0x7A3791A78,
0xBB770E22E,
0x9A822BD6C,
0x68A4B1FED,
0xA5FD27B3B,
0x0C3995B79,
0xD1519DFF1,
0x8E7EEE359,
0xCD3CA50B1,
0xB73B8B793,
0x57ACA1C43,
0xEC2655277,
0x785A2C1B3,
0x75A07985A,
0xA4B01EB69,
0xA18A11347,
0xDB1F28CA3,
0x877EC3E25,
0x31F6341B8,
0x1363A3A4C,
0x075D8B9BA,
0x7AE0792A9,
0xA83A21651,
0x7F08F9FB5,
0x0D0CF73A9,
0xB04DCC98E,
0xF65C7B0F8,
0x65DDAF69A,
0x2CF9B86B3,
0x14CB51E25,
0xF48027B5B,
0x0EC26EA8B,
0x44BAFD45C,
0xB12C7C0C4,
0x959FD9D82,
0xC77C9725A,
0x48A22D462,
0x8398E8072,
0xEC89B05CE,
0xBB682D4C9,
0xE5A86D2FF,
0x358F01134,
0x8556DDCF6,
0x67584B6E2,
0x11609439F,
0x08488816E,
0xAAF1A2C46,
0xF879898CF,
0x8BBE5E2F7,
0x101EEE363,
0x690F69377,
0xF5BD93CD9,
0xCEA4C2BF6,
0x9550BE706,
0x2C5B38A60,
0xE72033547,
0x4458B0629,
0xEE8D9ED41,
0xD2F918D72,
0x78DC39FD3,
0x8212636F6,
0x7450A72A7,
0xC4F0CF4C6,
0x367BCDDCD,
0xC1CAF8CC6,
0xA7F5B853D,
0x9D536818B,
0x535E021B0,
0xA7EB8729E,
0x422A67B49,
0x929E928A6,
0x48E8AEFCC,
0xA9897393C,
0x5EB81D37E,
0x1E80287B7,
0x34770D903,
0x2EEF86728,
0x59266CCB6,
0x0110BBA61,
0x1DFD284EF,
0x447439D1B,
0xFECE0E599,
0x9309F3703,
0x80764D1DD,
0x353F1E6A0,
0x2C1C12DCC,
0xC1D21B9D7,
0x457EE453E,
0xD66FAF540,
0x44831E652,
0xCFD49A848,
0x9312D4133,
0x3F097D3EE,
0x8C9EBEF7A,
0xA99E29E88,
0x0E9FAB22C,
0x4E748F4FB,
0xECDEE4288,
0xABCE5F1D0,
0xC42F6876C,
0x7ED402EA0,
0xE5C4242C3,
0xD5B2C31AE,
0x286863BE6,
0x160444D94,
0x5F0F5808E,
0xAE3D44B2A,
0x9F5C5D109,
0x8AD9316D7,
0x3422BA064,
0x2FED11D56,
0xBEA6E3E04,
0x04B029EEC,
0x6DEED7435,
0x3718CE17C,
0x55857F5E2,
0x2EDAC7B62,
0x085D6C512,
0xD6CA88E0F,
0x2B7E1FC69,
0xA699D5C1B,
0xF05AD74DE,
0x4CF5FB56D,
0x5725E07E1,
0x72F18A2DE,
0x1CEC52609,
0x48534243C,
0x2523A4D69,
0x35C1B80D1,
0xA4D7338A7,
0x0DB1AF012,
0xE61A9475D,
0x05DF03F91,
0x97AE260BB,
0x32D627FEF,
0xB640F73C2,
0x45A1AC9C6,
0x6A2202DE1,
0x57D3E25F2,
0x5AA9F986E,
0x0CC859D8A,
0xE3EC6CCA8,
0x54E95E1AE,
0x446887B06,
0x7516732BE,
0x3817AC8F5,
0x3E26D938C,
0xAA81BC235,
0xDF387CA1B,
0x0F3A3B3F2,
0xB4BF69677,
0xAE21868ED,
0x81E1D2D9D,
0xA0A9EA14C,
0x8EEE297A9,
0x4740C0559,
0xE8B141837,
0xAC69E0A3D,
0x9ED83A1E1,
0x5EDB55ECB,
0x07340FE81,
0x50DFBC6BF,
0x4F583508A,
0xCB1FB78BC,
0x4025CED2F,
0x39791EBEC,
0x53EE388F1,
0x7D6C0BD23,
0x93A995FBE,
0x8A41728DE,
0x2FE70E053,
0xAB3DB443A,
0x1364EDB05,
0x47B6EEED6,
0x12E71AF01,
0x52FF83587,
0x3A1575DD8,
0x3FEAA3564,
0xEACF78BA7,
0x0872B94F8,
0xDA8DDF9A2,
0x9AA920D2B,
0x1F350ED36,
0x18A5E861F,
0x2C35B89C3,
0x3347AC48A,
0x7F23E022E,
0x2459068FB,
0xE83BE4B73,
];