#define GET_PERMUTE_SIZE(n,k) ((n < 80) ? ((k < 13) ? permute_sizes[n][k] : 0) : 0)
static unsigned int permute_sizes[80][13] = {
    { 1u, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 1u, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 2u, 2u, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 3u, 6u, 6u, 0, 0, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 4u, 12u, 24u, 24u, 0, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 5u, 20u, 60u, 120u, 120u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 6u, 30u, 120u, 360u, 720u, 720u, 0, 0, 0, 0, 0, 0 },
    { 1u, 7u, 42u, 210u, 840u, 2520u, 5040u, 5040u, 0, 0, 0, 0, 0 },
    { 1u, 8u, 56u, 336u, 1680u, 6720u, 20160u, 40320u, 40320u, 0, 0, 0, 0 },
    { 1u, 9u, 72u, 504u, 3024u, 15120u, 60480u, 181440u, 362880u, 362880u, 0, 0, 0 },
    { 1u, 10u, 90u, 720u, 5040u, 30240u, 151200u, 604800u, 1814400u, 3628800u, 3628800u, 0, 0 },
    { 1u, 11u, 110u, 990u, 7920u, 55440u, 332640u, 1663200u, 6652800u, 19958400u, 39916800u, 39916800u, 0 },
    { 1u, 12u, 132u, 1320u, 11880u, 95040u, 665280u, 3991680u, 19958400u, 79833600u, 239500800u, 479001600u, 479001600u },
    { 1u, 13u, 156u, 1716u, 17160u, 154440u, 1235520u, 8648640u, 51891840u, 259459200u, 1037836800u, 3113510400u, 0 },
    { 1u, 14u, 182u, 2184u, 24024u, 240240u, 2162160u, 17297280u, 121080960u, 726485760u, 3632428800u, 0, 0 },
    { 1u, 15u, 210u, 2730u, 32760u, 360360u, 3603600u, 32432400u, 259459200u, 1816214400u, 0, 0, 0 },
    { 1u, 16u, 240u, 3360u, 43680u, 524160u, 5765760u, 57657600u, 518918400u, 4151347200u, 0, 0, 0 },
    { 1u, 17u, 272u, 4080u, 57120u, 742560u, 8910720u, 98017920u, 980179200u, 0, 0, 0, 0 },
    { 1u, 18u, 306u, 4896u, 73440u, 1028160u, 13366080u, 160392960u, 1764322560u, 0, 0, 0, 0 },
    { 1u, 19u, 342u, 5814u, 93024u, 1395360u, 19535040u, 253955520u, 3047466240u, 0, 0, 0, 0 },
    { 1u, 20u, 380u, 6840u, 116280u, 1860480u, 27907200u, 390700800u, 0, 0, 0, 0, 0 },
    { 1u, 21u, 420u, 7980u, 143640u, 2441880u, 39070080u, 586051200u, 0, 0, 0, 0, 0 },
    { 1u, 22u, 462u, 9240u, 175560u, 3160080u, 53721360u, 859541760u, 0, 0, 0, 0, 0 },
    { 1u, 23u, 506u, 10626u, 212520u, 4037880u, 72681840u, 1235591280u, 0, 0, 0, 0, 0 },
    { 1u, 24u, 552u, 12144u, 255024u, 5100480u, 96909120u, 1744364160u, 0, 0, 0, 0, 0 },
    { 1u, 25u, 600u, 13800u, 303600u, 6375600u, 127512000u, 2422728000u, 0, 0, 0, 0, 0 },
    { 1u, 26u, 650u, 15600u, 358800u, 7893600u, 165765600u, 3315312000u, 0, 0, 0, 0, 0 },
    { 1u, 27u, 702u, 17550u, 421200u, 9687600u, 213127200u, 0, 0, 0, 0, 0, 0 },
    { 1u, 28u, 756u, 19656u, 491400u, 11793600u, 271252800u, 0, 0, 0, 0, 0, 0 },
    { 1u, 29u, 812u, 21924u, 570024u, 14250600u, 342014400u, 0, 0, 0, 0, 0, 0 },
    { 1u, 30u, 870u, 24360u, 657720u, 17100720u, 427518000u, 0, 0, 0, 0, 0, 0 },
    { 1u, 31u, 930u, 26970u, 755160u, 20389320u, 530122320u, 0, 0, 0, 0, 0, 0 },
    { 1u, 32u, 992u, 29760u, 863040u, 24165120u, 652458240u, 0, 0, 0, 0, 0, 0 },
    { 1u, 33u, 1056u, 32736u, 982080u, 28480320u, 797448960u, 0, 0, 0, 0, 0, 0 },
    { 1u, 34u, 1122u, 35904u, 1113024u, 33390720u, 968330880u, 0, 0, 0, 0, 0, 0 },
    { 1u, 35u, 1190u, 39270u, 1256640u, 38955840u, 1168675200u, 0, 0, 0, 0, 0, 0 },
    { 1u, 36u, 1260u, 42840u, 1413720u, 45239040u, 1402410240u, 0, 0, 0, 0, 0, 0 },
    { 1u, 37u, 1332u, 46620u, 1585080u, 52307640u, 1673844480u, 0, 0, 0, 0, 0, 0 },
    { 1u, 38u, 1406u, 50616u, 1771560u, 60233040u, 1987690320u, 0, 0, 0, 0, 0, 0 },
    { 1u, 39u, 1482u, 54834u, 1974024u, 69090840u, 2349088560u, 0, 0, 0, 0, 0, 0 },
    { 1u, 40u, 1560u, 59280u, 2193360u, 78960960u, 2763633600u, 0, 0, 0, 0, 0, 0 },
    { 1u, 41u, 1640u, 63960u, 2430480u, 89927760u, 3237399360u, 0, 0, 0, 0, 0, 0 },
    { 1u, 42u, 1722u, 68880u, 2686320u, 102080160u, 3776965920u, 0, 0, 0, 0, 0, 0 },
    { 1u, 43u, 1806u, 74046u, 2961840u, 115511760u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 44u, 1892u, 79464u, 3258024u, 130320960u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 45u, 1980u, 85140u, 3575880u, 146611080u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 46u, 2070u, 91080u, 3916440u, 164490480u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 47u, 2162u, 97290u, 4280760u, 184072680u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 48u, 2256u, 103776u, 4669920u, 205476480u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 49u, 2352u, 110544u, 5085024u, 228826080u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 50u, 2450u, 117600u, 5527200u, 254251200u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 51u, 2550u, 124950u, 5997600u, 281887200u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 52u, 2652u, 132600u, 6497400u, 311875200u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 53u, 2756u, 140556u, 7027800u, 344362200u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 54u, 2862u, 148824u, 7590024u, 379501200u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 55u, 2970u, 157410u, 8185320u, 417451320u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 56u, 3080u, 166320u, 8814960u, 458377920u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 57u, 3192u, 175560u, 9480240u, 502452720u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 58u, 3306u, 185136u, 10182480u, 549853920u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 59u, 3422u, 195054u, 10923024u, 600766320u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 60u, 3540u, 205320u, 11703240u, 655381440u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 61u, 3660u, 215940u, 12524520u, 713897640u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 62u, 3782u, 226920u, 13388280u, 776520240u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 63u, 3906u, 238266u, 14295960u, 843461640u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 64u, 4032u, 249984u, 15249024u, 914941440u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 65u, 4160u, 262080u, 16248960u, 991186560u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 66u, 4290u, 274560u, 17297280u, 1072431360u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 67u, 4422u, 287430u, 18395520u, 1158917760u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 68u, 4556u, 300696u, 19545240u, 1250895360u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 69u, 4692u, 314364u, 20748024u, 1348621560u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 70u, 4830u, 328440u, 22005480u, 1452361680u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 71u, 4970u, 342930u, 23319240u, 1562389080u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 72u, 5112u, 357840u, 24690960u, 1678985280u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 73u, 5256u, 373176u, 26122320u, 1802440080u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 74u, 5402u, 388944u, 27615024u, 1933051680u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 75u, 5550u, 405150u, 29170800u, 2071126800u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 76u, 5700u, 421800u, 30791400u, 2216980800u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 77u, 5852u, 438900u, 32478600u, 2370937800u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 78u, 6006u, 456456u, 34234200u, 2533330800u, 0, 0, 0, 0, 0, 0, 0 },
    { 1u, 79u, 6162u, 474474u, 36060024u, 2704501800u, 0, 0, 0, 0, 0, 0, 0 },
};