decomposable:=
[
    [],
    [
        <2, 1, [ <24, 1, 1>, <24, 1, 1> ]>,
        <2, 2, [ <16, 1, 1>, <32, 1, 1> ]>,
        <2, 3, [ <8, 1, 1>, <40, 1, 1> ]>
    ],
    [
        <3, 5, [ <16, 1, 1>, <16, 1, 1>, <16, 1, 1> ]>,
        <3, 8, [ <8, 1, 1>, <16, 1, 1>, <24, 1, 1> ]>,
        <3, 10, [ <8, 1, 1>, <8, 1, 1>, <32, 1, 1> ]>
    ],
    [
        <4, 11, [ <16, 1, 1>, <32, 3, 1> ]>,
        <4, 17, [ <16, 1, 1>, <32, 3, 2> ]>,
        <4, 18, [ <8, 1, 1>, <40, 3, 1> ]>,
        <4, 19, [ <8, 1, 1>, <40, 3, 2> ]>,
        <4, 26, [ <24, 1, 1>, <24, 3, 1> ]>,
        <4, 27, [ <8, 1, 1>, <40, 3, 3> ]>,
        <4, 28, [ <8, 1, 1>, <40, 3, 4> ]>,
        <4, 29, [ <8, 1, 1>, <8, 1, 1>, <16, 1, 1>, <16, 1, 1> ]>,
        <4, 31, [ <16, 1, 1>, <32, 3, 3> ]>,
        <4, 34, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <24, 1, 1> ]>,
        <4, 35, [ <16, 3, 1>, <32, 1, 1> ]>
    ],
    [
        <5, 21, [ <16, 1, 1>, <32, 4, 1> ]>,
        <5, 41, [ <8, 1, 1>, <40, 4, 1> ]>,
        <5, 54, [ <8, 1, 1>, <40, 4, 2> ]>,
        <5, 56, [ <8, 1, 1>, <40, 4, 3> ]>,
        <5, 58, [ <8, 1, 1>, <16, 1, 1>, <24, 3, 1> ]>,
        <5, 73, [ <16, 1, 1>, <32, 4, 2> ]>,
        <5, 74, [ <8, 1, 1>, <40, 4, 4> ]>,
        <5, 75, [ <24, 4, 1>, <24, 1, 1> ]>,
        <5, 76, [ <16, 1, 1>, <32, 4, 3> ]>,
        <5, 86, [ <8, 1, 1>, <40, 4, 5> ]>,
        <5, 87, [ <8, 1, 1>, <40, 4, 6> ]>,
        <5, 88, [ <8, 1, 1>, <8, 1, 1>, <32, 3, 2> ]>,
        <5, 99, [ <8, 1, 1>, <40, 4, 7> ]>,
        <5, 100, [ <8, 1, 1>, <8, 1, 1>, <32, 3, 3> ]>,
        <5, 101, [ <8, 1, 1>, <40, 4, 8> ]>,
        <5, 103, [ <8, 1, 1>, <40, 4, 9> ]>,
        <5, 107, [ <16, 1, 1>, <32, 4, 4> ]>,
        <5, 108, [ <16, 1, 1>, <32, 4, 5> ]>,
        <5, 109, [ <8, 1, 1>, <8, 1, 1>, <32, 3, 1> ]>,
        <5, 110, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <16, 1, 1> ]>,
        <5, 112, [ <8, 1, 1>, <16, 3, 1>, <24, 1, 1> ]>,
        <5, 115, [ <16, 3, 1>, <16, 1, 1>, <16, 1, 1> ]>,
        <5, 136, [ <16, 4, 1>, <32, 1, 1> ]>
    ],
    [
        <6, 15, [ <16, 1, 1>, <32, 5, 1> ]>,
        <6, 95, [ <8, 1, 1>, <40, 5, 1> ]>,
        <6, 100, [ <24, 3, 1>, <24, 3, 1> ]>,
        <6, 111, [ <8, 1, 1>, <16, 1, 1>, <24, 4, 1> ]>,
        <6, 125, [ <8, 1, 1>, <40, 5, 2> ]>,
        <6, 139, [ <8, 1, 1>, <40, 5, 3> ]>,
        <6, 158, [ <8, 1, 1>, <40, 5, 4> ]>,
        <6, 172, [ <8, 1, 1>, <40, 5, 5> ]>,
        <6, 173, [ <8, 1, 1>, <40, 5, 6> ]>,
        <6, 176, [ <8, 1, 1>, <40, 5, 7> ]>,
        <6, 177, [ <8, 1, 1>, <40, 5, 8> ]>,
        <6, 195, [ <8, 1, 1>, <8, 1, 1>, <32, 4, 2> ]>,
        <6, 206, [ <8, 1, 1>, <40, 5, 9> ]>,
        <6, 211, [ <8, 1, 1>, <40, 5, 10> ]>,
        <6, 213, [ <8, 1, 1>, <8, 1, 1>, <32, 4, 3> ]>,
        <6, 235, [ <8, 1, 1>, <40, 5, 11> ]>,
        <6, 259, [ <16, 1, 1>, <32, 5, 2> ]>,
        <6, 261, [ <8, 1, 1>, <40, 5, 12> ]>,
        <6, 262, [ <16, 1, 1>, <32, 5, 3> ]>,
        <6, 265, [ <8, 1, 1>, <40, 5, 13> ]>,
        <6, 266, [ <8, 1, 1>, <40, 5, 14> ]>,
        <6, 271, [ <8, 1, 1>, <40, 5, 15> ]>,
        <6, 272, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <24, 3, 1> ]>,
        <6, 274, [ <8, 1, 1>, <8, 1, 1>, <32, 4, 5> ]>,
        <6, 275, [ <8, 1, 1>, <40, 5, 16> ]>,
        <6, 276, [ <8, 1, 1>, <40, 5, 17> ]>,
        <6, 283, [ <8, 1, 1>, <8, 1, 1>, <32, 4, 4> ]>,
        <6, 288, [ <16, 3, 1>, <32, 3, 2> ]>,
        <6, 291, [ <8, 1, 1>, <40, 5, 18> ]>,
        <6, 295, [ <8, 1, 1>, <8, 1, 1>, <16, 1, 1>, <16, 3, 1> ]>,
        <6, 296, [ <8, 1, 1>, <40, 5, 19> ]>,
        <6, 297, [ <16, 3, 1>, <32, 3, 3> ]>,
        <6, 301, [ <16, 3, 1>, <32, 3, 1> ]>,
        <6, 307, [ <8, 1, 1>, <40, 5, 20> ]>,
        <6, 308, [ <16, 1, 1>, <32, 5, 4> ]>,
        <6, 310, [ <16, 1, 1>, <32, 5, 5> ]>,
        <6, 312, [ <8, 1, 1>, <8, 1, 1>, <32, 4, 1> ]>,
        <6, 313, [ <8, 1, 1>, <40, 5, 21> ]>,
        <6, 315, [ <8, 1, 1>, <40, 5, 22> ]>,
        <6, 316, [ <16, 1, 1>, <32, 5, 6> ]>,
        <6, 361, [ <24, 5, 1>, <24, 1, 1> ]>,
        <6, 362, [ <16, 1, 1>, <32, 5, 7> ]>,
        <6, 363, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1> ]>,
        <6, 373, [ <8, 1, 1>, <40, 5, 23> ]>,
        <6, 378, [ <8, 1, 1>, <40, 5, 24> ]>,
        <6, 387, [ <8, 1, 1>, <40, 5, 25> ]>,
        <6, 390, [ <8, 1, 1>, <40, 5, 26> ]>,
        <6, 406, [ <8, 1, 1>, <40, 5, 27> ]>,
        <6, 409, [ <8, 1, 1>, <40, 5, 28> ]>,
        <6, 410, [ <16, 1, 1>, <32, 5, 8> ]>,
        <6, 419, [ <8, 1, 1>, <40, 5, 29> ]>,
        <6, 425, [ <16, 1, 1>, <32, 5, 9> ]>,
        <6, 427, [ <24, 1, 1>, <24, 5, 2> ]>,
        <6, 430, [ <8, 1, 1>, <40, 5, 30> ]>,
        <6, 436, [ <16, 1, 1>, <32, 5, 10> ]>,
        <6, 445, [ <16, 1, 1>, <32, 5, 11> ]>,
        <6, 451, [ <8, 1, 1>, <16, 4, 1>, <24, 1, 1> ]>,
        <6, 452, [ <16, 4, 1>, <16, 1, 1>, <16, 1, 1> ]>,
        <6, 453, [ <16, 5, 1>, <32, 1, 1> ]>
    ],
    [
        <7, 152, [ <24, 3, 1>, <24, 4, 1> ]>,
        <7, 175, [ <8, 1, 1>, <40, 6, 1> ]>,
        <7, 188, [ <8, 1, 1>, <40, 6, 2> ]>,
        <7, 195, [ <8, 1, 1>, <40, 6, 3> ]>,
        <7, 221, [ <8, 1, 1>, <40, 6, 4> ]>,
        <7, 227, [ <8, 1, 1>, <40, 6, 5> ]>,
        <7, 236, [ <8, 1, 1>, <40, 6, 6> ]>,
        <7, 253, [ <8, 1, 1>, <40, 6, 7> ]>,
        <7, 334, [ <8, 1, 1>, <40, 6, 8> ]>,
        <7, 353, [ <16, 1, 1>, <32, 6, 1> ]>,
        <7, 367, [ <8, 1, 1>, <40, 6, 9> ]>,
        <7, 373, [ <8, 1, 1>, <40, 6, 10> ]>,
        <7, 380, [ <8, 1, 1>, <40, 6, 11> ]>,
        <7, 388, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 3> ]>,
        <7, 393, [ <8, 1, 1>, <40, 6, 12> ]>,
        <7, 395, [ <8, 1, 1>, <40, 6, 13> ]>,
        <7, 421, [ <8, 1, 1>, <40, 6, 14> ]>,
        <7, 432, [ <8, 1, 1>, <40, 6, 15> ]>,
        <7, 433, [ <8, 1, 1>, <40, 6, 16> ]>,
        <7, 434, [ <8, 1, 1>, <40, 6, 17> ]>,
        <7, 436, [ <8, 1, 1>, <40, 6, 18> ]>,
        <7, 437, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 2> ]>,
        <7, 442, [ <8, 1, 1>, <40, 6, 19> ]>,
        <7, 462, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <24, 4, 1> ]>,
        <7, 490, [ <8, 1, 1>, <40, 6, 20> ]>,
        <7, 491, [ <8, 1, 1>, <40, 6, 21> ]>,
        <7, 494, [ <8, 1, 1>, <16, 3, 1>, <24, 3, 1> ]>,
        <7, 511, [ <16, 3, 1>, <32, 4, 5> ]>,
        <7, 537, [ <8, 1, 1>, <40, 6, 22> ]>,
        <7, 549, [ <8, 1, 1>, <40, 6, 23> ]>,
        <7, 552, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 4> ]>,
        <7, 553, [ <8, 1, 1>, <40, 6, 24> ]>,
        <7, 554, [ <8, 1, 1>, <40, 6, 25> ]>,
        <7, 572, [ <16, 3, 1>, <32, 4, 2> ]>,
        <7, 573, [ <16, 3, 1>, <32, 4, 3> ]>,
        <7, 574, [ <16, 3, 1>, <32, 4, 4> ]>,
        <7, 576, [ <16, 1, 1>, <32, 6, 2> ]>,
        <7, 585, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 5> ]>,
        <7, 588, [ <8, 1, 1>, <40, 6, 26> ]>,
        <7, 589, [ <8, 1, 1>, <40, 6, 27> ]>,
        <7, 590, [ <8, 1, 1>, <40, 6, 28> ]>,
        <7, 592, [ <8, 1, 1>, <40, 6, 29> ]>,
        <7, 594, [ <8, 1, 1>, <40, 6, 30> ]>,
        <7, 599, [ <16, 3, 1>, <32, 4, 1> ]>,
        <7, 602, [ <16, 1, 1>, <32, 6, 3> ]>,
        <7, 604, [ <8, 1, 1>, <40, 6, 31> ]>,
        <7, 607, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 6> ]>,
        <7, 796, [ <8, 1, 1>, <16, 1, 1>, <24, 5, 1> ]>,
        <7, 797, [ <16, 1, 1>, <16, 3, 1>, <16, 3, 1> ]>,
        <7, 800, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <16, 3, 1> ]>,
        <7, 802, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 7> ]>,
        <7, 815, [ <16, 1, 1>, <32, 6, 4> ]>,
        <7, 829, [ <16, 1, 1>, <32, 6, 5> ]>,
        <7, 830, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 1> ]>,
        <7, 839, [ <8, 1, 1>, <40, 6, 32> ]>,
        <7, 841, [ <8, 1, 1>, <40, 6, 33> ]>,
        <7, 846, [ <8, 1, 1>, <40, 6, 34> ]>,
        <7, 849, [ <8, 1, 1>, <40, 6, 35> ]>,
        <7, 857, [ <8, 1, 1>, <40, 6, 36> ]>,
        <7, 859, [ <8, 1, 1>, <40, 6, 37> ]>,
        <7, 864, [ <8, 1, 1>, <40, 6, 38> ]>,
        <7, 868, [ <8, 1, 1>, <40, 6, 39> ]>,
        <7, 951, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 8> ]>,
        <7, 955, [ <8, 1, 1>, <40, 6, 40> ]>,
        <7, 962, [ <8, 1, 1>, <40, 6, 41> ]>,
        <7, 965, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 9> ]>,
        <7, 972, [ <8, 1, 1>, <16, 1, 1>, <24, 5, 2> ]>,
        <7, 975, [ <8, 1, 1>, <40, 6, 42> ]>,
        <7, 984, [ <8, 1, 1>, <40, 6, 43> ]>,
        <7, 987, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 10> ]>,
        <7, 995, [ <16, 1, 1>, <32, 6, 6> ]>,
        <7, 997, [ <8, 1, 1>, <40, 6, 44> ]>,
        <7, 1001, [ <8, 1, 1>, <40, 6, 45> ]>,
        <7, 1004, [ <8, 1, 1>, <40, 6, 46> ]>,
        <7, 1058, [ <16, 1, 1>, <32, 6, 7> ]>,
        <7, 1059, [ <16, 1, 1>, <32, 6, 8> ]>,
        <7, 1063, [ <16, 1, 1>, <32, 6, 9> ]>,
        <7, 1066, [ <16, 1, 1>, <32, 6, 10> ]>,
        <7, 1068, [ <8, 1, 1>, <40, 6, 47> ]>,
        <7, 1072, [ <8, 1, 1>, <8, 1, 1>, <32, 5, 11> ]>,
        <7, 1073, [ <8, 1, 1>, <40, 6, 48> ]>,
        <7, 1082, [ <8, 1, 1>, <40, 6, 49> ]>,
        <7, 1099, [ <16, 4, 1>, <32, 3, 2> ]>,
        <7, 1100, [ <8, 1, 1>, <8, 1, 1>, <16, 4, 1>, <16, 1, 1> ]>,
        <7, 1101, [ <16, 4, 1>, <32, 3, 3> ]>,
        <7, 1102, [ <16, 4, 1>, <32, 3, 1> ]>,
        <7, 1103, [ <8, 1, 1>, <16, 5, 1>, <24, 1, 1> ]>,
        <7, 1106, [ <8, 1, 1>, <40, 6, 50> ]>,
        <7, 1107, [ <16, 5, 1>, <16, 1, 1>, <16, 1, 1> ]>,
        <7, 1109, [ <16, 1, 1>, <32, 6, 11> ]>,
        <7, 1121, [ <8, 1, 1>, <40, 6, 51> ]>,
        <7, 1134, [ <8, 1, 1>, <40, 6, 52> ]>
    ],
    [
        <8, 162, [ <8, 1, 1>, <40, 7, 1> ]>,
        <8, 194, [ <8, 1, 1>, <40, 7, 2> ]>,
        <8, 247, [ <8, 1, 1>, <40, 7, 3> ]>,
        <8, 268, [ <8, 1, 1>, <40, 7, 4> ]>,
        <8, 281, [ <8, 1, 1>, <40, 7, 5> ]>,
        <8, 292, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 1> ]>,
        <8, 297, [ <8, 1, 1>, <40, 7, 6> ]>,
        <8, 302, [ <8, 1, 1>, <40, 7, 7> ]>,
        <8, 322, [ <8, 1, 1>, <40, 7, 8> ]>,
        <8, 336, [ <8, 1, 1>, <40, 7, 9> ]>,
        <8, 348, [ <8, 1, 1>, <40, 7, 10> ]>,
        <8, 365, [ <16, 3, 1>, <32, 5, 3> ]>,
        <8, 425, [ <8, 1, 1>, <40, 7, 11> ]>,
        <8, 453, [ <8, 1, 1>, <40, 7, 12> ]>,
        <8, 454, [ <8, 1, 1>, <40, 7, 13> ]>,
        <8, 458, [ <8, 1, 1>, <40, 7, 14> ]>,
        <8, 459, [ <8, 1, 1>, <40, 7, 15> ]>,
        <8, 460, [ <8, 1, 1>, <40, 7, 16> ]>,
        <8, 494, [ <8, 1, 1>, <16, 3, 1>, <24, 4, 1> ]>,
        <8, 498, [ <16, 3, 1>, <32, 5, 2> ]>,
        <8, 538, [ <24, 4, 1>, <24, 4, 1> ]>,
        <8, 540, [ <16, 1, 1>, <32, 7, 1> ]>,
        <8, 549, [ <8, 1, 1>, <40, 7, 17> ]>,
        <8, 553, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 2> ]>,
        <8, 557, [ <8, 1, 1>, <40, 7, 18> ]>,
        <8, 561, [ <8, 1, 1>, <40, 7, 19> ]>,
        <8, 564, [ <8, 1, 1>, <40, 7, 20> ]>,
        <8, 575, [ <8, 1, 1>, <40, 7, 21> ]>,
        <8, 578, [ <8, 1, 1>, <40, 7, 22> ]>,
        <8, 595, [ <8, 1, 1>, <40, 7, 23> ]>,
        <8, 606, [ <16, 3, 1>, <32, 5, 5> ]>,
        <8, 614, [ <8, 1, 1>, <40, 7, 24> ]>,
        <8, 617, [ <8, 1, 1>, <40, 7, 25> ]>,
        <8, 651, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 3> ]>,
        <8, 1088, [ <16, 1, 1>, <32, 7, 2> ]>,
        <8, 1089, [ <8, 1, 1>, <40, 7, 26> ]>,
        <8, 1090, [ <24, 5, 1>, <24, 3, 1> ]>,
        <8, 1091, [ <16, 3, 1>, <32, 5, 6> ]>,
        <8, 1092, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <24, 5, 1> ]>,
        <8, 1094, [ <8, 1, 1>, <8, 1, 1>, <16, 3, 1>, <16, 3, 1> ]>,
        <8, 1096, [ <8, 1, 1>, <40, 7, 27> ]>,
        <8, 1098, [ <16, 3, 1>, <32, 5, 7> ]>,
        <8, 1119, [ <16, 3, 1>, <32, 5, 4> ]>,
        <8, 1133, [ <16, 1, 1>, <32, 7, 3> ]>,
        <8, 1134, [ <8, 1, 1>, <40, 7, 28> ]>,
        <8, 1145, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 4> ]>,
        <8, 1148, [ <8, 1, 1>, <40, 7, 29> ]>,
        <8, 1161, [ <8, 1, 1>, <40, 7, 30> ]>,
        <8, 1162, [ <8, 1, 1>, <40, 7, 31> ]>,
        <8, 1207, [ <8, 1, 1>, <40, 7, 32> ]>,
        <8, 1223, [ <8, 1, 1>, <40, 7, 33> ]>,
        <8, 1230, [ <8, 1, 1>, <40, 7, 34> ]>,
        <8, 1233, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 5> ]>,
        <8, 1253, [ <16, 1, 1>, <32, 7, 4> ]>,
        <8, 1254, [ <16, 3, 1>, <32, 5, 1> ]>,
        <8, 1260, [ <8, 1, 1>, <40, 7, 35> ]>,
        <8, 1262, [ <8, 1, 1>, <40, 7, 36> ]>,
        <8, 1264, [ <8, 1, 1>, <40, 7, 37> ]>,
        <8, 1269, [ <8, 1, 1>, <40, 7, 38> ]>,
        <8, 1271, [ <8, 1, 1>, <40, 7, 39> ]>,
        <8, 1273, [ <8, 1, 1>, <40, 7, 40> ]>,
        <8, 1277, [ <8, 1, 1>, <40, 7, 41> ]>,
        <8, 1408, [ <16, 3, 1>, <32, 5, 8> ]>,
        <8, 1410, [ <8, 1, 1>, <40, 7, 42> ]>,
        <8, 1413, [ <16, 3, 1>, <32, 5, 9> ]>,
        <8, 1414, [ <8, 1, 1>, <40, 7, 43> ]>,
        <8, 1417, [ <24, 3, 1>, <24, 5, 2> ]>,
        <8, 1419, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <24, 5, 2> ]>,
        <8, 1420, [ <8, 1, 1>, <40, 7, 44> ]>,
        <8, 1428, [ <16, 3, 1>, <32, 5, 10> ]>,
        <8, 1429, [ <8, 1, 1>, <40, 7, 45> ]>,
        <8, 1435, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 6> ]>,
        <8, 1436, [ <8, 1, 1>, <40, 7, 46> ]>,
        <8, 1447, [ <16, 1, 1>, <32, 7, 5> ]>,
        <8, 1449, [ <8, 1, 1>, <40, 7, 47> ]>,
        <8, 1453, [ <8, 1, 1>, <40, 7, 48> ]>,
        <8, 1458, [ <8, 1, 1>, <40, 7, 49> ]>,
        <8, 1579, [ <16, 1, 1>, <32, 7, 6> ]>,
        <8, 1580, [ <16, 1, 1>, <32, 7, 7> ]>,
        <8, 1582, [ <16, 1, 1>, <32, 7, 8> ]>,
        <8, 1585, [ <16, 1, 1>, <32, 7, 9> ]>,
        <8, 1586, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 7> ]>,
        <8, 1588, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 8> ]>,
        <8, 1589, [ <8, 1, 1>, <40, 7, 50> ]>,
        <8, 1595, [ <8, 1, 1>, <40, 7, 51> ]>,
        <8, 1596, [ <8, 1, 1>, <40, 7, 52> ]>,
        <8, 1598, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 9> ]>,
        <8, 1602, [ <8, 1, 1>, <40, 7, 53> ]>,
        <8, 1611, [ <8, 1, 1>, <40, 7, 54> ]>,
        <8, 1612, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 10> ]>,
        <8, 1621, [ <16, 3, 1>, <32, 5, 11> ]>,
        <8, 1659, [ <16, 3, 1>, <16, 4, 1>, <16, 1, 1> ]>,
        <8, 1660, [ <8, 1, 1>, <16, 4, 1>, <24, 3, 1> ]>,
        <8, 1661, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <16, 4, 1> ]>,
        <8, 1662, [ <16, 4, 1>, <32, 4, 5> ]>,
        <8, 1663, [ <16, 4, 1>, <32, 4, 1> ]>,
        <8, 1664, [ <16, 4, 1>, <32, 4, 3> ]>,
        <8, 1665, [ <16, 4, 1>, <32, 4, 4> ]>,
        <8, 1689, [ <16, 5, 1>, <32, 3, 2> ]>,
        <8, 1691, [ <8, 1, 1>, <8, 1, 1>, <16, 5, 1>, <16, 1, 1> ]>,
        <8, 1693, [ <16, 1, 1>, <32, 7, 10> ]>,
        <8, 1696, [ <8, 1, 1>, <40, 7, 55> ]>,
        <8, 1699, [ <16, 5, 1>, <32, 3, 3> ]>,
        <8, 1706, [ <8, 1, 1>, <40, 7, 56> ]>,
        <8, 1710, [ <8, 1, 1>, <8, 1, 1>, <32, 6, 11> ]>,
        <8, 1722, [ <8, 1, 1>, <40, 7, 57> ]>,
        <8, 1723, [ <16, 5, 1>, <32, 3, 1> ]>,
        <8, 1725, [ <8, 1, 1>, <40, 7, 58> ]>,
        <8, 1734, [ <8, 1, 1>, <40, 7, 59> ]>,
        <8, 1736, [ <8, 1, 1>, <40, 7, 60> ]>,
        <8, 1789, [ <16, 4, 1>, <32, 4, 2> ]>,
        <8, 1796, [ <8, 1, 1>, <40, 7, 61> ]>,
        <8, 1805, [ <8, 1, 1>, <40, 7, 62> ]>,
        <8, 1812, [ <8, 1, 1>, <40, 7, 63> ]>,
        <8, 1866, [ <16, 1, 1>, <32, 7, 11> ]>,
        <8, 1868, [ <8, 1, 1>, <40, 7, 64> ]>
    ],
    [
        <9, 107, [ <8, 1, 1>, <40, 8, 1> ]>,
        <9, 154, [ <8, 1, 1>, <40, 8, 2> ]>,
        <9, 170, [ <16, 3, 1>, <32, 6, 1> ]>,
        <9, 178, [ <8, 1, 1>, <40, 8, 3> ]>,
        <9, 224, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 1> ]>,
        <9, 231, [ <8, 1, 1>, <40, 8, 4> ]>,
        <9, 241, [ <8, 1, 1>, <40, 8, 5> ]>,
        <9, 245, [ <8, 1, 1>, <40, 8, 6> ]>,
        <9, 259, [ <8, 1, 1>, <40, 8, 7> ]>,
        <9, 276, [ <16, 3, 1>, <32, 6, 2> ]>,
        <9, 282, [ <8, 1, 1>, <40, 8, 8> ]>,
        <9, 330, [ <8, 1, 1>, <40, 8, 9> ]>,
        <9, 333, [ <8, 1, 1>, <40, 8, 10> ]>,
        <9, 846, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 2> ]>,
        <9, 848, [ <8, 1, 1>, <16, 3, 1>, <24, 5, 1> ]>,
        <9, 851, [ <16, 3, 1>, <16, 3, 1>, <16, 3, 1> ]>,
        <9, 887, [ <16, 3, 1>, <32, 6, 3> ]>,
        <9, 904, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 3> ]>,
        <9, 906, [ <8, 1, 1>, <40, 8, 11> ]>,
        <9, 909, [ <16, 3, 1>, <32, 6, 4> ]>,
        <9, 921, [ <8, 1, 1>, <40, 8, 12> ]>,
        <9, 1016, [ <8, 1, 1>, <40, 8, 13> ]>,
        <9, 1037, [ <8, 1, 1>, <40, 8, 14> ]>,
        <9, 1049, [ <8, 1, 1>, <40, 8, 15> ]>,
        <9, 1132, [ <8, 1, 1>, <40, 8, 16> ]>,
        <9, 1161, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 4> ]>,
        <9, 1164, [ <16, 3, 1>, <32, 6, 5> ]>,
        <9, 1171, [ <8, 1, 1>, <40, 8, 17> ]>,
        <9, 1173, [ <8, 1, 1>, <40, 8, 18> ]>,
        <9, 1175, [ <8, 1, 1>, <40, 8, 19> ]>,
        <9, 1177, [ <8, 1, 1>, <40, 8, 20> ]>,
        <9, 1205, [ <24, 4, 1>, <24, 5, 1> ]>,
        <9, 1272, [ <8, 1, 1>, <16, 3, 1>, <24, 5, 2> ]>,
        <9, 1277, [ <8, 1, 1>, <40, 8, 21> ]>,
        <9, 1279, [ <16, 3, 1>, <32, 6, 6> ]>,
        <9, 1284, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 5> ]>,
        <9, 1285, [ <8, 1, 1>, <40, 8, 22> ]>,
        <9, 1438, [ <16, 1, 1>, <32, 8, 1> ]>,
        <9, 1439, [ <16, 1, 1>, <32, 8, 2> ]>,
        <9, 1441, [ <16, 1, 1>, <32, 8, 3> ]>,
        <9, 1442, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 6> ]>,
        <9, 1444, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 7> ]>,
        <9, 1445, [ <8, 1, 1>, <40, 8, 23> ]>,
        <9, 1447, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 8> ]>,
        <9, 1448, [ <8, 1, 1>, <40, 8, 24> ]>,
        <9, 1455, [ <8, 1, 1>, <40, 8, 25> ]>,
        <9, 1456, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 9> ]>,
        <9, 1458, [ <16, 3, 1>, <32, 6, 7> ]>,
        <9, 1460, [ <16, 3, 1>, <32, 6, 8> ]>,
        <9, 1472, [ <16, 3, 1>, <32, 6, 9> ]>,
        <9, 1499, [ <16, 3, 1>, <32, 6, 10> ]>,
        <9, 1502, [ <16, 4, 1>, <32, 5, 6> ]>,
        <9, 1503, [ <8, 1, 1>, <8, 1, 1>, <16, 3, 1>, <16, 4, 1> ]>,
        <9, 1504, [ <16, 4, 1>, <32, 5, 3> ]>,
        <9, 1505, [ <16, 4, 1>, <32, 5, 7> ]>,
        <9, 1506, [ <16, 4, 1>, <32, 5, 4> ]>,
        <9, 1507, [ <16, 4, 1>, <32, 5, 2> ]>,
        <9, 1508, [ <16, 4, 1>, <32, 5, 5> ]>,
        <9, 1509, [ <16, 4, 1>, <32, 5, 1> ]>,
        <9, 1510, [ <16, 4, 1>, <32, 5, 10> ]>,
        <9, 1518, [ <16, 4, 1>, <32, 5, 11> ]>,
        <9, 1571, [ <16, 1, 1>, <16, 3, 1>, <16, 5, 1> ]>,
        <9, 1573, [ <8, 1, 1>, <16, 5, 1>, <24, 3, 1> ]>,
        <9, 1577, [ <16, 3, 1>, <32, 6, 11> ]>,
        <9, 1578, [ <8, 1, 1>, <40, 8, 26> ]>,
        <9, 1583, [ <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <8, 1, 1>, <16, 5, 1> ]>,
        <9, 1584, [ <8, 1, 1>, <40, 8, 27> ]>,
        <9, 1585, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 10> ]>,
        <9, 1586, [ <16, 5, 1>, <32, 4, 5> ]>,
        <9, 1592, [ <8, 1, 1>, <40, 8, 28> ]>,
        <9, 1593, [ <8, 1, 1>, <40, 8, 29> ]>,
        <9, 1595, [ <8, 1, 1>, <40, 8, 30> ]>,
        <9, 1617, [ <16, 5, 1>, <32, 4, 1> ]>,
        <9, 1625, [ <16, 5, 1>, <32, 4, 3> ]>,
        <9, 1634, [ <16, 5, 1>, <32, 4, 4> ]>,
        <9, 1718, [ <16, 4, 1>, <32, 5, 8> ]>,
        <9, 1719, [ <16, 5, 1>, <32, 4, 2> ]>,
        <9, 1722, [ <8, 1, 1>, <40, 8, 31> ]>,
        <9, 1724, [ <8, 1, 1>, <40, 8, 32> ]>,
        <9, 1726, [ <24, 5, 2>, <24, 4, 1> ]>,
        <9, 1729, [ <8, 1, 1>, <16, 4, 1>, <24, 4, 1> ]>,
        <9, 1730, [ <16, 4, 1>, <32, 5, 9> ]>,
        <9, 1731, [ <8, 1, 1>, <40, 8, 33> ]>,
        <9, 1733, [ <8, 1, 1>, <40, 8, 34> ]>,
        <9, 1739, [ <8, 1, 1>, <40, 8, 35> ]>,
        <9, 1741, [ <8, 1, 1>, <40, 8, 36> ]>,
        <9, 1745, [ <8, 1, 1>, <40, 8, 37> ]>,
        <9, 1823, [ <16, 1, 1>, <32, 8, 4> ]>,
        <9, 1824, [ <8, 1, 1>, <8, 1, 1>, <32, 7, 11> ]>,
        <9, 1825, [ <8, 1, 1>, <40, 8, 38> ]>,
        <9, 1879, [ <16, 1, 1>, <32, 8, 5> ]>,
        <9, 1883, [ <8, 1, 1>, <40, 8, 39> ]>,
        <9, 1907, [ <16, 1, 1>, <16, 4, 1>, <16, 4, 1> ]>,
        <9, 1909, [ <16, 1, 1>, <32, 8, 6> ]>,
        <9, 1915, [ <8, 1, 1>, <40, 8, 40> ]>,
        <9, 1920, [ <8, 1, 1>, <40, 8, 41> ]>
    ],
    [
        <10, 54, [ <8, 1, 1>, <40, 9, 1> ]>,
        <10, 68, [ <16, 3, 1>, <32, 7, 1> ]>,
        <10, 87, [ <8, 1, 1>, <40, 9, 2> ]>,
        <10, 359, [ <8, 1, 1>, <40, 9, 3> ]>,
        <10, 360, [ <16, 3, 1>, <32, 7, 2> ]>,
        <10, 361, [ <24, 5, 1>, <24, 5, 1> ]>,
        <10, 399, [ <8, 1, 1>, <40, 9, 4> ]>,
        <10, 403, [ <16, 3, 1>, <32, 7, 3> ]>,
        <10, 482, [ <8, 1, 1>, <40, 9, 5> ]>,
        <10, 579, [ <8, 1, 1>, <40, 9, 6> ]>,
        <10, 624, [ <8, 1, 1>, <40, 9, 7> ]>,
        <10, 632, [ <16, 3, 1>, <32, 7, 4> ]>,
        <10, 647, [ <8, 1, 1>, <40, 9, 8> ]>,
        <10, 684, [ <24, 5, 1>, <24, 5, 2> ]>,
        <10, 686, [ <8, 1, 1>, <40, 9, 9> ]>,
        <10, 688, [ <16, 3, 1>, <32, 7, 5> ]>,
        <10, 781, [ <16, 1, 1>, <32, 9, 1> ]>,
        <10, 782, [ <8, 1, 1>, <8, 1, 1>, <32, 8, 1> ]>,
        <10, 784, [ <8, 1, 1>, <8, 1, 1>, <32, 8, 2> ]>,
        <10, 786, [ <8, 1, 1>, <40, 9, 10> ]>,
        <10, 787, [ <8, 1, 1>, <8, 1, 1>, <32, 8, 3> ]>,
        <10, 789, [ <16, 3, 1>, <32, 7, 6> ]>,
        <10, 791, [ <16, 3, 1>, <32, 7, 7> ]>,
        <10, 794, [ <16, 3, 1>, <32, 7, 8> ]>,
        <10, 806, [ <16, 3, 1>, <32, 7, 9> ]>,
        <10, 809, [ <8, 1, 1>, <16, 4, 1>, <24, 5, 1> ]>,
        <10, 810, [ <16, 4, 1>, <16, 3, 1>, <16, 3, 1> ]>,
        <10, 811, [ <16, 4, 1>, <32, 6, 3> ]>,
        <10, 812, [ <16, 4, 1>, <32, 6, 4> ]>,
        <10, 813, [ <16, 4, 1>, <32, 6, 2> ]>,
        <10, 814, [ <16, 4, 1>, <32, 6, 5> ]>,
        <10, 815, [ <16, 4, 1>, <32, 6, 7> ]>,
        <10, 817, [ <16, 4, 1>, <32, 6, 8> ]>,
        <10, 829, [ <16, 4, 1>, <32, 6, 9> ]>,
        <10, 860, [ <16, 4, 1>, <32, 6, 10> ]>,
        <10, 864, [ <16, 5, 1>, <32, 5, 6> ]>,
        <10, 866, [ <8, 1, 1>, <8, 1, 1>, <16, 3, 1>, <16, 5, 1> ]>,
        <10, 868, [ <8, 1, 1>, <40, 9, 11> ]>,
        <10, 869, [ <16, 5, 1>, <32, 5, 3> ]>,
        <10, 870, [ <8, 1, 1>, <40, 9, 12> ]>,
        <10, 875, [ <16, 3, 1>, <32, 7, 10> ]>,
        <10, 881, [ <16, 5, 1>, <32, 5, 7> ]>,
        <10, 888, [ <16, 5, 1>, <32, 5, 4> ]>,
        <10, 890, [ <16, 5, 1>, <32, 5, 2> ]>,
        <10, 902, [ <16, 5, 1>, <32, 5, 5> ]>,
        <10, 932, [ <16, 5, 1>, <32, 5, 1> ]>,
        <10, 940, [ <16, 5, 1>, <32, 5, 10> ]>,
        <10, 949, [ <16, 5, 1>, <32, 5, 11> ]>,
        <10, 1004, [ <16, 5, 1>, <32, 5, 8> ]>,
        <10, 1005, [ <8, 1, 1>, <40, 9, 13> ]>,
        <10, 1006, [ <24, 5, 2>, <24, 5, 2> ]>,
        <10, 1007, [ <8, 1, 1>, <16, 4, 1>, <24, 5, 2> ]>,
        <10, 1009, [ <8, 1, 1>, <16, 5, 1>, <24, 4, 1> ]>,
        <10, 1010, [ <16, 5, 1>, <32, 5, 9> ]>,
        <10, 1011, [ <8, 1, 1>, <40, 9, 14> ]>,
        <10, 1013, [ <8, 1, 1>, <40, 9, 15> ]>,
        <10, 1024, [ <16, 4, 1>, <32, 6, 1> ]>,
        <10, 1025, [ <16, 4, 1>, <32, 6, 6> ]>,
        <10, 1071, [ <8, 1, 1>, <8, 1, 1>, <32, 8, 4> ]>,
        <10, 1072, [ <16, 3, 1>, <32, 7, 11> ]>,
        <10, 1125, [ <16, 1, 1>, <32, 9, 2> ]>,
        <10, 1127, [ <8, 1, 1>, <8, 1, 1>, <32, 8, 5> ]>,
        <10, 1128, [ <8, 1, 1>, <40, 9, 16> ]>,
        <10, 1161, [ <16, 4, 1>, <16, 1, 1>, <16, 5, 1> ]>,
        <10, 1163, [ <16, 1, 1>, <32, 9, 3> ]>,
        <10, 1167, [ <8, 1, 1>, <40, 9, 17> ]>,
        <10, 1168, [ <8, 1, 1>, <8, 1, 1>, <16, 4, 1>, <16, 4, 1> ]>,
        <10, 1169, [ <16, 4, 1>, <32, 6, 11> ]>,
        <10, 1170, [ <8, 1, 1>, <40, 9, 18> ]>,
        <10, 1171, [ <8, 1, 1>, <8, 1, 1>, <32, 8, 6> ]>,
        <10, 1175, [ <8, 1, 1>, <40, 9, 19> ]>
    ],
    [
        <11, 258, [ <8, 1, 1>, <8, 1, 1>, <32, 9, 1> ]>,
        <11, 259, [ <16, 3, 1>, <32, 8, 1> ]>,
        <11, 261, [ <16, 3, 1>, <32, 8, 2> ]>,
        <11, 264, [ <16, 3, 1>, <32, 8, 3> ]>,
        <11, 266, [ <16, 4, 1>, <32, 7, 2> ]>,
        <11, 267, [ <16, 4, 1>, <32, 7, 3> ]>,
        <11, 268, [ <16, 4, 1>, <32, 7, 4> ]>,
        <11, 269, [ <16, 4, 1>, <32, 7, 6> ]>,
        <11, 271, [ <16, 4, 1>, <32, 7, 7> ]>,
        <11, 274, [ <16, 4, 1>, <32, 7, 8> ]>,
        <11, 286, [ <16, 4, 1>, <32, 7, 9> ]>,
        <11, 289, [ <8, 1, 1>, <16, 5, 1>, <24, 5, 1> ]>,
        <11, 292, [ <16, 5, 1>, <16, 3, 1>, <16, 3, 1> ]>,
        <11, 296, [ <16, 5, 1>, <32, 6, 3> ]>,
        <11, 298, [ <16, 5, 1>, <32, 6, 4> ]>,
        <11, 301, [ <16, 5, 1>, <32, 6, 2> ]>,
        <11, 313, [ <16, 5, 1>, <32, 6, 5> ]>,
        <11, 320, [ <16, 5, 1>, <32, 6, 7> ]>,
        <11, 322, [ <16, 5, 1>, <32, 6, 8> ]>,
        <11, 334, [ <16, 5, 1>, <32, 6, 9> ]>,
        <11, 365, [ <16, 5, 1>, <32, 6, 10> ]>,
        <11, 369, [ <8, 1, 1>, <16, 5, 1>, <24, 5, 2> ]>,
        <11, 372, [ <16, 4, 1>, <32, 7, 5> ]>,
        <11, 374, [ <16, 5, 1>, <32, 6, 1> ]>,
        <11, 375, [ <16, 5, 1>, <32, 6, 6> ]>,
        <11, 389, [ <16, 3, 1>, <32, 8, 4> ]>,
        <11, 390, [ <16, 4, 1>, <32, 7, 1> ]>,
        <11, 391, [ <16, 4, 1>, <32, 7, 11> ]>,
        <11, 426, [ <8, 1, 1>, <8, 1, 1>, <32, 9, 2> ]>,
        <11, 428, [ <16, 3, 1>, <32, 8, 5> ]>,
        <11, 450, [ <16, 1, 1>, <16, 5, 1>, <16, 5, 1> ]>,
        <11, 452, [ <8, 1, 1>, <8, 1, 1>, <16, 5, 1>, <16, 4, 1> ]>,
        <11, 453, [ <8, 1, 1>, <40, 10, 1> ]>,
        <11, 454, [ <16, 5, 1>, <32, 6, 11> ]>,
        <11, 455, [ <8, 1, 1>, <8, 1, 1>, <32, 9, 3> ]>,
        <11, 463, [ <16, 3, 1>, <16, 4, 1>, <16, 4, 1> ]>,
        <11, 464, [ <16, 4, 1>, <32, 7, 10> ]>,
        <11, 466, [ <16, 3, 1>, <32, 8, 6> ]>
    ],
    [
        <12, 55, [ <16, 3, 1>, <32, 9, 1> ]>,
        <12, 56, [ <16, 4, 1>, <32, 8, 1> ]>,
        <12, 58, [ <16, 4, 1>, <32, 8, 2> ]>,
        <12, 61, [ <16, 4, 1>, <32, 8, 3> ]>,
        <12, 63, [ <16, 5, 1>, <32, 7, 2> ]>,
        <12, 65, [ <16, 5, 1>, <32, 7, 3> ]>,
        <12, 68, [ <16, 5, 1>, <32, 7, 4> ]>,
        <12, 72, [ <16, 5, 1>, <32, 7, 6> ]>,
        <12, 74, [ <16, 5, 1>, <32, 7, 7> ]>,
        <12, 77, [ <16, 5, 1>, <32, 7, 8> ]>,
        <12, 89, [ <16, 5, 1>, <32, 7, 9> ]>,
        <12, 92, [ <16, 5, 1>, <32, 7, 5> ]>,
        <12, 95, [ <16, 4, 1>, <32, 8, 4> ]>,
        <12, 97, [ <16, 5, 1>, <32, 7, 1> ]>,
        <12, 98, [ <16, 5, 1>, <32, 7, 11> ]>,
        <12, 109, [ <16, 3, 1>, <32, 9, 2> ]>,
        <12, 111, [ <16, 4, 1>, <32, 8, 5> ]>,
        <12, 123, [ <8, 1, 1>, <8, 1, 1>, <16, 5, 1>, <16, 5, 1> ]>,
        <12, 125, [ <16, 4, 1>, <16, 5, 1>, <16, 3, 1> ]>,
        <12, 127, [ <16, 5, 1>, <32, 7, 10> ]>,
        <12, 128, [ <16, 3, 1>, <32, 9, 3> ]>,
        <12, 135, [ <16, 4, 1>, <16, 4, 1>, <16, 4, 1> ]>,
        <12, 136, [ <16, 4, 1>, <32, 8, 6> ]>
    ],
    [
        <13, 9, [ <16, 4, 1>, <32, 9, 1> ]>,
        <13, 10, [ <16, 5, 1>, <32, 8, 1> ]>,
        <13, 12, [ <16, 5, 1>, <32, 8, 2> ]>,
        <13, 15, [ <16, 5, 1>, <32, 8, 3> ]>,
        <13, 17, [ <16, 5, 1>, <32, 8, 4> ]>,
        <13, 20, [ <16, 4, 1>, <32, 9, 2> ]>,
        <13, 22, [ <16, 5, 1>, <32, 8, 5> ]>,
        <13, 25, [ <16, 3, 1>, <16, 5, 1>, <16, 5, 1> ]>,
        <13, 27, [ <16, 5, 1>, <16, 4, 1>, <16, 4, 1> ]>,
        <13, 29, [ <16, 5, 1>, <32, 8, 6> ]>,
        <13, 30, [ <16, 4, 1>, <32, 9, 3> ]>
    ],
    [
        <14, 1, [ <16, 5, 1>, <32, 9, 1> ]>,
        <14, 2, [ <16, 5, 1>, <32, 9, 2> ]>,
        <14, 3, [ <16, 4, 1>, <16, 5, 1>, <16, 5, 1> ]>,
        <14, 5, [ <16, 5, 1>, <32, 9, 3> ]>
    ],
    [
        <15, 1, [ <16, 5, 1>, <16, 5, 1>, <16, 5, 1> ]>
    ]
];