mp3_tab.bend source

mp3_tab.bend on the hub · documented module

import Basedef tabs.join(xs: List<&2, List<&2, U32>>) -> List<&2, U32>:  match xs:    case Nil{}:      []    case +hd <> tl:      List.append(&2, U32, hd, tabs.join(tl))def tab.win.p0() -> List<&2, U32>:  [    0, 2147483648, 2147483648, 2147483648, 2147483648, 2147483648, 2147483648, 3045472189,    3045472189, 3045472189, 3045472189, 3045472189, 3045472189, 3053860797, 3053860797, 3053860797,    3053860797, 3058258844, 3058258844, 3058258844, 3062249405, 3062249405, 3064448428, 3064448428,    3066647452, 3068846475, 3070638013, 3070638013, 3071737525, 3072837036, 3073936548, 3075036060,    3077235083, 3078334594, 3079576377, 3080126133, 3081225644, 3081775400, 3082874912, 3083974423,    3085623691, 3086723202, 3087415229, 3088239863, 3089064496, 3089889130, 3090438886, 3091263520,    3092363031, 3093187665, 3094012299, 3095111810, 3095666398, 3096078715, 3096628471, 3097040788,    3097590543, 3098140299, 3098552616, 3098964933, 3099514689, 3099789567, 3100201884, 3100614200,    953542869, 953817747, 954092625, 954230064, 954367503, 954504942, 954504942, 954367503,    954230064, 953955186, 953680308, 953130552, 952580797, 951893602, 951068968, 950244334,    949144823, 947903040, 945154261, 942130604, 937590287, 929751435, 3045472189, 3079576377,    3087964985, 3093187665, 3097040788, 3099927006, 3102950663, 3105017079, 3106735066, 3108521772,    3110445917, 3112271815, 3113302608, 3114367759, 3115432911, 3116532423, 3117666294, 3118834525,    3120037116, 3120883762, 3121485057, 3122086353, 3122687648, 3123288943, 3123873059, 3124439995,    3125006930, 3125556686, 3126089262, 3126587478, 3127051335, 3127498011, 3127893148, 3128253926,    3128563163, 3128820861, 3128988902, 3129057621, 3129100571, 3129109161, 3129083391, 3129014672,    981371573, 981079515, 980684378, 980203342, 979619226, 978932032, 978158937, 977265584,    976269152, 975169640, 973949869, 972209871, 969323653, 966196917, 961106844, 951618724,    3081775400, 3104810920, 3112718492, 3117116538, 3121141460, 3123546641, 3126037722, 3128614703,    3130105593, 3131471393, 3132862962, 3134288891, 3135740590, 3137200879, 3138013165, 3138756194,    3139503519, 3140250843, 3140989577, 3141724017, 3142445571, 3143154241, 3143841436, 3144511451,    3145151401, 3145744643, 3146034553, 3146305136, 3146554244, 3146779730, 3146981594, 3147153392,    3147299421, 3147413238, 3147492695, 3147537792, 3147544234, 3147512022, 3147439008, 3147323043,    3147161982, 3146953676, 3146698126, 3146391036, 3146034553, 3145525063, 3144597350, 3143562263,    994931858, 993669138, 992299044, 990808690, 988549000, 985104436, 981371573, 973554732,    940206459, 3120140195, 3129255190, 3134082733, 3138236503, 3140865023, 3143600917, 3146083945,    3147552824, 3149068948, 3150630168, 3152236486, 3153881459, 3154840847, 3155700914, 3156577087,    3157467219, 3158371310, 3159287212, 3160211703, 3161145859, 3162085383, 3162767209, 3163240192,    3163713712, 3164186696, 3164657531, 3165126220, 3165590613, 3166050712, 3166504367, 3166951581,    3167390741, 3167821312, 3168242219, 3168651851, 3169049672, 3169435146, 3169806660, 3170163680,    3170505666, 3170831010, 3171016499, 3171161723, 3171297819, 3171424252, 3171540753, 3171647054,    3171742885, 3171827979, 3171902336, 3171965418, 3172017226, 3172057760, 3172086751, 3172104199  ]def tab.win.p1() -> List<&2, U32>:  [    1024626457, 1024620551, 1024603103, 1024574112, 1024533578, 1024481770, 1024418688, 1024344331,    1024259237, 1024163406, 1024057105, 1023940604, 1023814171, 1023678075, 1023532851, 1023347362,    1023022018, 1022680032, 1022323012, 1021951498, 1021566024, 1021168203, 1020758571, 1020337664,    1019907093, 1019467933, 1019020719, 1018567064, 1018106965, 1017642572, 1017173883, 1016703048,    1016230064, 1015756544, 1015283561, 1014601735, 1013662211, 1012728055, 1011803564, 1010887662,    1009983571, 1009093439, 1008217266, 1007357199, 1006397811, 1004752838, 1003146520, 1001585300,    1000069176, 998600297, 996117269, 993381375, 990752855, 986599085, 981771542, 972656547,    3087690107, 3121038380, 3128855221, 3132588084, 3136032648, 3138292338, 3139782692, 3141152786,    994931858, 996078615, 997113702, 998041415, 998550905, 998907388, 999214478, 999470028,    999678334, 999839395, 999955360, 1000028374, 1000060586, 1000054144, 1000009047, 999929590,    999815773, 999669744, 999497946, 999296082, 999070596, 998821488, 998550905, 998260995,    997667753, 997027803, 996357788, 995670593, 994961923, 994240369, 993505929, 992767195,    992019871, 991272546, 990529517, 989717231, 988256942, 986805243, 985379314, 983987745,    982621945, 981131055, 978554074, 976062993, 973657812, 969632890, 965234844, 957327272,    934291752, 3099102372, 3108590492, 3113680565, 3116807301, 3119693519, 3121433517, 3122653288,    3123752800, 3124749232, 3125642585, 3126415680, 3127102874, 3127686990, 3128168026, 3128563163,    981371573, 981531024, 981599743, 981625513, 981616923, 981573973, 981505254, 981337213,    981079515, 980770278, 980409500, 980014363, 979567687, 979103830, 978605614, 978073038,    977523282, 976956347, 976389411, 975805295, 975204000, 974602705, 974001409, 973400114,    972553468, 971350877, 970182646, 969048775, 967949263, 966884111, 965818960, 964788167,    962962269, 961038124, 959251418, 957533431, 955467015, 952443358, 949557140, 945704017,    940481337, 932092729, 897988541, 3077235083, 3085073935, 3089614252, 3092637909, 3095386688,    3096628471, 3097727982, 3098552616, 3099377250, 3100064445, 3100614200, 3101163956, 3101438834,    3101713712, 3101851151, 3101988590, 3101988590, 3101851151, 3101713712, 3101576273, 3101301395,    953542869, 953130552, 952718236, 952305919, 952031041, 951481285, 951068968, 950656651,    950106895, 949557140, 949144823, 948595067, 948182750, 947628162, 946528651, 945704017,    944879383, 943779872, 942955238, 942405482, 941580848, 940756215, 939931581, 939239554,    938140043, 936490775, 935391264, 934291752, 933741996, 932642485, 932092729, 930850946,    929751435, 927552412, 926452900, 925353388, 924253877, 923154365, 923154365, 921362827,    919163804, 916964780, 916964780, 914765757, 914765757, 910775196, 910775196, 910775196,    906377149, 906377149, 906377149, 906377149, 897988541, 897988541, 897988541, 897988541,    897988541, 897988541, 0, 0, 0, 0, 0, 0  ]def tab.win() -> List<&2, U32>:  tabs.join([    tab.win.p0(),    tab.win.p1(),  ])def tab.cos.p0() -> List<&2, U32>:  [    1060439283, 1059842890, 1059219353, 1058570176, 1057896922, 1057201213, 1056004842, 1054533760,    1053028117, 1051491540, 1049927729, 1048104908, 1044891074, 1041645699, 1036565814, 1028193072,    613232946, 3175676720, 3184049462, 3189129347, 3192374722, 3195588556, 3197411377, 3198975188,    3200511765, 3202017408, 3203488490, 3204684861, 3205380570, 3206053824, 3206703001, 3207326538,    3207922931, 3208490745, 3209028611, 3209535234, 3210009393, 3210449946, 3210855832, 3211226072,    3211559774, 3211856136, 3212114443, 3212334072, 3212514494, 3212655276, 3212756077, 3212816655,    3212836864, 3212816655, 3212756077, 3212655276, 3212514494, 3212334072, 3212114443, 3211856136,    3211559774, 3211226072, 3210855832, 3210449946, 3210009393, 3209535234, 3209028611, 3208490745,    3207922931, 3209535234, 3210855832, 3211856136, 3212514494, 3212816655, 3212756077, 3212334072,    3211559774, 3210449946, 3209028611, 3207326538, 3205380570, 3202017408, 3197411377, 3189129347,    2773731786, 1041645699, 1049927729, 1054533760, 1057896922, 1059842890, 1061544963, 1062966298,    1064076126, 1064850424, 1065272429, 1065333007, 1065030846, 1064372488, 1063372184, 1062051586,    1060439283, 1058570176, 1056004842, 1051491540, 1044891074, 1028193072, 3184049462, 3195588556,    3200511765, 3204684861, 3206703001, 3208490745, 3210009393, 3211226072, 3212114443, 3212655276,    3212836864, 3212655276, 3212114443, 3211226072, 3210009393, 3208490745, 3206703001, 3204684861,    3200511765, 3195588556, 3184049462, 1028193072, 1044891074, 1051491540, 1056004842, 1058570176,    3207922931, 3204684861, 3197411377, 3175676720, 1044891074, 1054533760, 1059219353, 1062051586,    1064076126, 1065171628, 1065272429, 1064372488, 1062525745, 1059842890, 1056004842, 1048104908,    632323454, 3195588556, 3203488490, 3207326538, 3210009393, 3211856136, 3212756077, 3212655276,    3211559774, 3209535234, 3206703001, 3202017408, 3192374722, 1028193072, 1049927729, 1057201213,    1060439283, 1062966298, 1064630795, 1065333007, 1065030846, 1063742424, 1061544963, 1058570176,    1053028117, 1041645699, 3184049462, 3198975188, 3205380570, 3208490745, 3210855832, 3212334072,    3212836864, 3212334072, 3210855832, 3208490745, 3205380570, 3198975188, 3184049462, 1041645699,    1053028117, 1058570176, 1061544963, 1063742424, 1065030846, 1065333007, 1064630795, 1062966298,    1060439283, 1063742424, 1065272429, 1064850424, 1062525745, 1058570176, 1049927729, 3175676720,    3200511765, 3207326538, 3210855832, 3212655276, 3212514494, 3210449946, 3206703001, 3198975188,    2784433687, 1051491540, 1059219353, 1062966298, 1065030846, 1065171628, 1063372184, 1059842890,    1053028117, 1028193072, 3197411377, 3206053824, 3210009393, 3212334072, 3212756077, 3211226072,    3207922931, 3202017408, 3184049462, 1048104908, 1057896922, 1062051586, 1064630795, 1065333007,    1064076126, 1061007097, 1056004842, 1041645699, 3192374722, 3204684861, 3209028611, 3211856136,    3212836864, 3211856136, 3209028611, 3204684861, 3192374722, 1041645699, 1056004842, 1061007097,    1064076126, 1065333007, 1064630795, 1062051586, 1057896922, 1048104908, 3184049462, 3202017408  ]def tab.cos.p1() -> List<&2, U32>:  [    1060439283, 1051491540, 3184049462, 3204684861, 3210009393, 3212655276, 3212114443, 3208490745,    3200511765, 1028193072, 1056004842, 1062051586, 1065030846, 1064850424, 1061544963, 1054533760,    639555416, 3202017408, 3209028611, 3212334072, 3212514494, 3209535234, 3203488490, 3175676720,    1053028117, 1061007097, 1064630795, 1065171628, 1062525745, 1057201213, 1036565814, 3198975188,    3207922931, 3211856136, 3212756077, 3210449946, 3205380570, 3189129347, 1049927729, 1059842890,    1064076126, 1065333007, 1063372184, 1058570176, 1044891074, 3195588556, 3206703001, 3211226072,    3212836864, 3211226072, 3206703001, 3195588556, 1044891074, 1058570176, 1063372184, 1065333007,    1064076126, 1059842890, 1049927729, 3189129347, 3205380570, 3210449946, 3212756077, 3211856136,    3207922931, 3212334072, 3212114443, 3207326538, 3192374722, 1051491540, 1061544963, 1065171628,    1064076126, 1058570176, 1036565814, 3202017408, 3210009393, 3212816655, 3210855832, 3204684861,    2804975849, 1057201213, 1063372184, 1065333007, 1062525745, 1054533760, 3184049462, 3206053824,    3211559774, 3212655276, 3209028611, 3198975188, 1044891074, 1059842890, 1064630795, 1064850424,    1060439283, 1048104908, 3197411377, 3208490745, 3212514494, 3211856136, 3206703001, 3189129347,    1053028117, 1062051586, 1065272429, 1063742424, 1057896922, 1028193072, 3203488490, 3210449946,    3212836864, 3210449946, 3203488490, 1028193072, 1057896922, 1063742424, 1065272429, 1062051586,    1053028117, 3189129347, 3206703001, 3211856136, 3212514494, 3208490745, 3197411377, 1048104908,    3207922931, 3189129347, 1056004842, 1063742424, 1065030846, 1059842890, 1036565814, 3204684861,    3211559774, 3212334072, 3206703001, 3175676720, 1057896922, 1064372488, 1064630795, 1058570176,    2794276872, 3206053824, 3212114443, 3211856136, 3205380570, 1028193072, 1059219353, 1064850424,    1064076126, 1057201213, 3184049462, 3207326538, 3212514494, 3211226072, 3203488490, 1041645699,    1060439283, 1065171628, 1063372184, 1054533760, 3192374722, 3208490745, 3212756077, 3210449946,    3200511765, 1048104908, 1061544963, 1065333007, 1062525745, 1051491540, 3197411377, 3209535234,    3212836864, 3209535234, 3197411377, 1051491540, 1062525745, 1065333007, 1061544963, 1048104908,    3200511765, 3210449946, 3212756077, 3208490745, 3192374722, 1054533760, 1063372184, 1065171628,    1060439283, 1065333007, 1061544963, 1041645699, 3205380570, 3212334072, 3210855832, 3198975188,    1053028117, 1063742424, 1064630795, 1057201213, 3192374722, 3209535234, 3212756077, 3207326538,    2806132495, 1059842890, 1065272429, 1062051586, 1044891074, 3204684861, 3212114443, 3211226072,    3200511765, 1051491540, 1063372184, 1064850424, 1057896922, 3189129347, 3209028611, 3212816655,    3207922931, 3175676720, 1059219353, 1065171628, 1062525745, 1048104908, 3203488490, 3211856136,    3211559774, 3202017408, 1049927729, 1062966298, 1065030846, 1058570176, 3184049462, 3208490745,    3212836864, 3208490745, 3184049462, 1058570176, 1065030846, 1062966298, 1049927729, 3202017408,    3211559774, 3211856136, 3203488490, 1048104908, 1062525745, 1065171628, 1059219353, 3175676720  ]def tab.cos.p2() -> List<&2, U32>:  [    1060439283, 3175676720, 3209028611, 3212655276, 3205380570, 1048104908, 1063372184, 1064372488,    1053028117, 3202017408, 3212114443, 3210449946, 3192374722, 1058570176, 1065272429, 1061007097,    2790520695, 3208490745, 3212756077, 3206053824, 1044891074, 1062966298, 1064630795, 1054533760,    3200511765, 3211856136, 3210855832, 3195588556, 1057896922, 1065171628, 1061544963, 1028193072,    3207922931, 3212816655, 3206703001, 1041645699, 1062525745, 1064850424, 1056004842, 3198975188,    3211559774, 3211226072, 3197411377, 1057201213, 1065030846, 1062051586, 1036565814, 3207326538,    3212836864, 3207326538, 1036565814, 1062051586, 1065030846, 1057201213, 3197411377, 3211226072,    3211559774, 3198975188, 1056004842, 1064850424, 1062525745, 1041645699, 3206703001, 3212816655,    3207922931, 3212655276, 3203488490, 1054533760, 1065030846, 1061007097, 3184049462, 3210449946,    3211559774, 3195588556, 1059219353, 1065333007, 1057896922, 3198975188, 3212114443, 3209535234,    2807289141, 1062051586, 1064630795, 1051491540, 3205380570, 3212816655, 3206703001, 1048104908,    1064076126, 1062966298, 1036565814, 3208490745, 3212514494, 3202017408, 1056004842, 1065171628,    1060439283, 3189129347, 3210855832, 3211226072, 3192374722, 1059842890, 1065272429, 1057201213,    3200511765, 3212334072, 3209028611, 1028193072, 1062525745, 1064372488, 1049927729, 3206053824,    3212836864, 3206053824, 1049927729, 1064372488, 1062525745, 1028193072, 3209028611, 3212334072,    3200511765, 1057201213, 1065272429, 1059842890, 3192374722, 3211226072, 3210855832, 3189129347,    3207922931, 1048104908, 1064630795, 1061007097, 3192374722, 3211856136, 3209028611, 1041645699,    1064076126, 1062051586, 3184049462, 3211226072, 3210009393, 1028193072, 1063372184, 1062966298,    2785894110, 3210449946, 3210855832, 3175676720, 1062525745, 1063742424, 1036565814, 3209535234,    3211559774, 3189129347, 1061544963, 1064372488, 1044891074, 3208490745, 3212114443, 3195588556,    1060439283, 1064850424, 1049927729, 3207326538, 3212514494, 3198975188, 1059219353, 1065171628,    1053028117, 3206053824, 3212756077, 3202017408, 1057896922, 1065333007, 1056004842, 3204684861,    3212836864, 3204684861, 1056004842, 1065333007, 1057896922, 3202017408, 3212756077, 3206053824,    1053028117, 1065171628, 1059219353, 3198975188, 3212514494, 3207326538, 1049927729, 1064850424,    1060439283, 1064372488, 1036565814, 3210449946, 3210009393, 1041645699, 1064630795, 1059842890,    3200511765, 3212816655, 3203488490, 1058570176, 1065030846, 1048104908, 3209028611, 3211226072,    2808445788, 1063742424, 1061544963, 3195588556, 3212514494, 3206053824, 1056004842, 1065333007,    1053028117, 3207326538, 3212114443, 3189129347, 1062525745, 1062966298, 3184049462, 3211856136,    3207922931, 1051491540, 1065272429, 1057201213, 3205380570, 3212655276, 3197411377, 1061007097,    1064076126, 1028193072, 3210855832, 3209535234, 1044891074, 1064850424, 1059219353, 3202017408,    3212836864, 3202017408, 1059219353, 1064850424, 1044891074, 3209535234, 3210855832, 1028193072,    1064076126, 1061007097, 3197411377, 3212655276, 3205380570, 1057201213, 1065272429, 1051491540  ]def tab.cos.p3() -> List<&2, U32>:  [    1060439283, 3202017408, 3212756077, 3195588556, 1062525745, 1062051586, 3197411377, 3212816655,    3200511765, 1061007097, 1063372184, 3189129347, 3212514494, 3204684861, 1059219353, 1064372488,    2777517194, 3211856136, 3206703001, 1057201213, 1065030846, 1041645699, 3210855832, 3208490745,    1053028117, 1065333007, 1049927729, 3209535234, 3210009393, 1048104908, 1065272429, 1054533760,    3207922931, 3211226072, 1036565814, 1064850424, 1057896922, 3206053824, 3212114443, 3175676720,    1064076126, 1059842890, 3203488490, 3212655276, 3192374722, 1062966298, 1061544963, 3198975188,    3212836864, 3198975188, 1061544963, 1062966298, 3192374722, 3212655276, 3203488490, 1059842890,    1064076126, 3175676720, 3212114443, 3206053824, 1057896922, 1064850424, 1036565814, 3211226072,    3207922931, 3210449946, 1049927729, 1065333007, 1044891074, 3211226072, 3206703001, 1058570176,    1064076126, 3189129347, 3212756077, 3198975188, 1062525745, 1061007097, 3203488490, 3212334072,    2809602434, 1064850424, 1056004842, 3208490745, 3210009393, 1051491540, 1065272429, 1041645699,    3211559774, 3206053824, 1059219353, 1063742424, 3192374722, 3212816655, 3197411377, 1062966298,    1060439283, 3204684861, 3212114443, 1028193072, 1065030846, 1054533760, 3209028611, 3209535234,    1053028117, 1065171628, 1036565814, 3211856136, 3205380570, 1059842890, 1063372184, 3195588556,    3212836864, 3195588556, 1063372184, 1059842890, 3205380570, 3211856136, 1036565814, 1065171628,    1053028117, 3209535234, 3209028611, 1054533760, 1065030846, 1028193072, 3212114443, 3204684861,    3207922931, 1058570176, 1063372184, 3198975188, 3212514494, 1028193072, 1065272429, 1048104908,    3211559774, 3204684861, 1061544963, 1061007097, 3205380570, 3211226072, 1049927729, 1065171628,    2704715995, 3212655276, 3197411377, 1063742424, 1057896922, 3208490745, 3209028611, 1057201213,    1064076126, 3195588556, 3212756077, 3175676720, 1065030846, 1051491540, 3210855832, 3206053824,    1060439283, 1062051586, 3203488490, 3211856136, 1044891074, 1065333007, 1036565814, 3212334072,    3200511765, 1062966298, 1059219353, 3207326538, 3210009393, 1054533760, 1064630795, 3189129347,    3212836864, 3189129347, 1064630795, 1054533760, 3210009393, 3207326538, 1059219353, 1062966298,    3200511765, 3212334072, 1036565814, 1065333007, 1044891074, 3211856136, 3203488490, 1062051586,    1060439283, 1061007097, 3206703001, 3209535234, 1057896922, 1062966298, 3203488490, 3211226072,    1053028117, 1064372488, 3197411377, 3212334072, 1044891074, 1065171628, 3184049462, 3212816655,    2810471380, 1065333007, 1036565814, 3212655276, 3192374722, 1064850424, 1049927729, 3211856136,    3200511765, 1063742424, 1056004842, 3210449946, 3205380570, 1062051586, 1059219353, 3208490745,    3207922931, 1059842890, 1061544963, 3206053824, 3210009393, 1057201213, 1063372184, 3202017408,    3211559774, 1051491540, 1064630795, 3195588556, 3212514494, 1041645699, 1065272429, 3175676720,    3212836864, 3175676720, 1065272429, 1041645699, 3212514494, 3195588556, 1064630795, 1051491540,    3211559774, 3202017408, 1063372184, 1057201213, 3210009393, 3206053824, 1061544963, 1059842890  ]def tab.cos.p4() -> List<&2, U32>:  [    1060439283, 3208490745, 3206703001, 1062051586, 1057896922, 3210449946, 3203488490, 1063742424,    1053028117, 3211856136, 3197411377, 1064850424, 1044891074, 3212655276, 3184049462, 1065333007,    629986777, 3212816655, 1036565814, 1065171628, 3192374722, 3212334072, 1049927729, 1064372488,    3200511765, 3211226072, 1056004842, 1062966298, 3205380570, 3209535234, 1059219353, 1061007097,    3207922931, 3207326538, 1061544963, 1058570176, 3210009393, 3204684861, 1063372184, 1054533760,    3211559774, 3198975188, 1064630795, 1048104908, 3212514494, 3189129347, 1065272429, 1028193072,    3212836864, 1028193072, 1065272429, 3189129347, 3212514494, 1048104908, 1064630795, 3198975188,    3211559774, 1054533760, 1063372184, 3204684861, 3210009393, 1058570176, 1061544963, 3207326538,    3207922931, 3206053824, 1063372184, 1051491540, 3212514494, 3175676720, 1065272429, 3195588556,    3211559774, 1057201213, 1061544963, 3208490745, 3205380570, 1063742424, 1049927729, 3212655276,    2811049703, 1065171628, 3197411377, 3211226072, 1057896922, 1061007097, 3209028611, 3204684861,    1064076126, 1048104908, 3212756077, 1028193072, 1065030846, 3198975188, 3210855832, 1058570176,    1060439283, 3209535234, 3203488490, 1064372488, 1044891074, 3212816655, 1036565814, 1064850424,    3200511765, 3210449946, 1059219353, 1059842890, 3210009393, 3202017408, 1064630795, 1041645699,    3212836864, 1041645699, 1064630795, 3202017408, 3210009393, 1059842890, 1059219353, 3210449946,    3200511765, 1064850424, 1036565814, 3212816655, 1044891074, 1064372488, 3203488490, 3209535234,    3207922931, 1062966298, 1049927729, 3212816655, 1044891074, 1063742424, 3206703001, 3206053824,    1064076126, 1041645699, 3212756077, 1051491540, 1062525745, 3208490745, 3203488490, 1064850424,    638387077, 3212334072, 1056004842, 1061007097, 3210009393, 3198975188, 1065272429, 3189129347,    3211559774, 1058570176, 1059219353, 3211226072, 3192374722, 1065333007, 3197411377, 3210449946,    1060439283, 1057201213, 3212114443, 3175676720, 1065030846, 3202017408, 3209028611, 1062051586,    1053028117, 3212655276, 1036565814, 1064372488, 3205380570, 3207326538, 1063372184, 1048104908,    3212836864, 1048104908, 1063372184, 3207326538, 3205380570, 1064372488, 1036565814, 3212655276,    1053028117, 1062051586, 3209028611, 3202017408, 1065030846, 3175676720, 3212114443, 1057201213,    1060439283, 1054533760, 3212756077, 1048104908, 1062525745, 3209535234, 3197411377, 1065333007,    3200511765, 3208490745, 1063372184, 1041645699, 3212514494, 1057201213, 1059219353, 3211856136,    2811628026, 1064372488, 3206703001, 3204684861, 1065030846, 3189129347, 3210855832, 1061007097,    1053028117, 3212816655, 1049927729, 1062051586, 3210009393, 3195588556, 1065272429, 3202017408,    3207922931, 1063742424, 1036565814, 3212334072, 1057896922, 1058570176, 3212114443, 1028193072,    1064076126, 3207326538, 3203488490, 1065171628, 3192374722, 3210449946, 1061544963, 1051491540,    3212836864, 1051491540, 1061544963, 3210449946, 3192374722, 1065171628, 3203488490, 3207326538,    1064076126, 1028193072, 3212114443, 1058570176, 1057896922, 3212334072, 1036565814, 1063742424  ]def tab.cos.p5() -> List<&2, U32>:  [    1060439283, 3211856136, 1036565814, 1062966298, 3210009393, 3189129347, 1064630795, 3207326538,    3200511765, 1065333007, 3203488490, 3206053824, 1065030846, 3195588556, 3209028611, 1063742424,    671955394, 3211226072, 1061544963, 1048104908, 3212514494, 1058570176, 1056004842, 3212816655,    1053028117, 1059842890, 3212114443, 1041645699, 1062525745, 3210449946, 3184049462, 1064372488,    3207922931, 3198975188, 1065272429, 3204684861, 3205380570, 1065171628, 3197411377, 3208490745,    1064076126, 3175676720, 3210855832, 1062051586, 1044891074, 3212334072, 1059219353, 1054533760,    3212836864, 1054533760, 1059219353, 3212334072, 1044891074, 1062051586, 3210855832, 3175676720,    1064076126, 3208490745, 3197411377, 1065171628, 3205380570, 3204684861, 1065272429, 3198975188,    3207922931, 3195588556, 1064630795, 3208490745, 3192374722, 1064372488, 3209028611, 3189129347,    1064076126, 3209535234, 3184049462, 1063742424, 3210009393, 3175676720, 1063372184, 3210449946,    2812206349, 1062966298, 3210855832, 1028193072, 1062525745, 3211226072, 1036565814, 1062051586,    3211559774, 1041645699, 1061544963, 3211856136, 1044891074, 1061007097, 3212114443, 1048104908,    1060439283, 3212334072, 1049927729, 1059842890, 3212514494, 1051491540, 1059219353, 3212655276,    1053028117, 1058570176, 3212756077, 1054533760, 1057896922, 3212816655, 1056004842, 1057201213,    3212836864, 1057201213, 1056004842, 3212816655, 1057896922, 1054533760, 3212756077, 1058570176,    1053028117, 3212655276, 1059219353, 1051491540, 3212514494, 1059842890, 1049927729, 3212334072,    3207922931, 1065171628, 3203488490, 3202017408, 1065030846, 3208490745, 3184049462, 1062966298,    3211559774, 1048104908, 1059219353, 3212816655, 1057896922, 1051491540, 3212114443, 1062051586,    646781531, 3209535234, 1064630795, 3198975188, 3205380570, 1065333007, 3206703001, 3195588556,    1064076126, 3210449946, 1036565814, 1061007097, 3212514494, 1054533760, 1056004842, 3212655276,    1060439283, 1041645699, 3210855832, 1063742424, 3192374722, 3207326538, 1065272429, 3204684861,    3200511765, 1064850424, 3209028611, 3175676720, 1062525745, 3211856136, 1049927729, 1058570176,    3212836864, 1058570176, 1049927729, 3211856136, 1062525745, 3175676720, 3209028611, 1064850424,    3200511765, 3204684861, 1065272429, 3207326538, 3192374722, 1063742424, 3210855832, 1041645699,    1060439283, 1028193072, 3209028611, 1065171628, 3205380570, 3195588556, 1063372184, 3211856136,    1053028117, 1054533760, 3212114443, 1062966298, 3192374722, 3206053824, 1065272429, 3208490745,    657498047, 1061007097, 3212756077, 1058570176, 1044891074, 3210449946, 1064630795, 3202017408,    3200511765, 1064372488, 3210855832, 1048104908, 1057896922, 3212655276, 1061544963, 3175676720,    3207922931, 1065333007, 3206703001, 3189129347, 1062525745, 3212334072, 1056004842, 1051491540,    3211559774, 1063742424, 3197411377, 3204684861, 1065030846, 3209535234, 1036565814, 1059842890,    3212836864, 1059842890, 1036565814, 3209535234, 1065030846, 3204684861, 3197411377, 1063742424,    3211559774, 1051491540, 1056004842, 3212334072, 1062525745, 3189129347, 3206703001, 1065333007  ]def tab.cos.p6() -> List<&2, U32>:  [    1060439283, 3212816655, 1061544963, 3189129347, 3205380570, 1064850424, 3210855832, 1051491540,    1053028117, 3211226072, 1064630795, 3204684861, 3192374722, 1062051586, 3212756077, 1059842890,    672533717, 3207326538, 1065272429, 3209535234, 1044891074, 1057201213, 3212114443, 1063742424,    3200511765, 3198975188, 1063372184, 3212334072, 1057896922, 1041645699, 3209028611, 1065333007,    3207922931, 1028193072, 1059219353, 3212655276, 1062525745, 3195588556, 3203488490, 1064372488,    3211559774, 1054533760, 1049927729, 3210449946, 1065030846, 3206053824, 3184049462, 1061007097,    3212836864, 1061007097, 3184049462, 3206053824, 1065030846, 3210449946, 1049927729, 1054533760,    3211559774, 1064372488, 3203488490, 3195588556, 1062525745, 3212655276, 1059219353, 1028193072,    3207922931, 1041645699, 1056004842, 3211226072, 1065030846, 3207326538, 1036565814, 1057201213,    3211559774, 1064850424, 3206703001, 1028193072, 1057896922, 3211856136, 1064630795, 3206053824,    2813362996, 1058570176, 3212114443, 1064372488, 3205380570, 3175676720, 1059219353, 3212334072,    1064076126, 3204684861, 3184049462, 1059842890, 3212514494, 1063742424, 3203488490, 3189129347,    1060439283, 3212655276, 1063372184, 3202017408, 3192374722, 1061007097, 3212756077, 1062966298,    3200511765, 3195588556, 1061544963, 3212816655, 1062525745, 3198975188, 3197411377, 1062051586,    3212836864, 1062051586, 3197411377, 3198975188, 1062525745, 3212816655, 1061544963, 3195588556,    3200511765, 1062966298, 3212756077, 1061007097, 3192374722, 3202017408, 1063372184, 3212655276,    3207922931, 1064850424, 3212114443, 1059842890, 3192374722, 3198975188, 1061544963, 3212655276,    1064076126, 3206053824, 1036565814, 1054533760, 3210009393, 1065333007, 3210855832, 1057201213,    651408116, 3204684861, 1063372184, 3212816655, 1062525745, 3202017408, 3184049462, 1058570176,    3211559774, 1065171628, 3209028611, 1051491540, 1044891074, 3207326538, 1064630795, 3212334072,    1060439283, 3195588556, 3197411377, 1061007097, 3212514494, 1064372488, 3206703001, 1041645699,    1053028117, 3209535234, 1065272429, 3211226072, 1057896922, 3175676720, 3203488490, 1062966298,    3212836864, 1062966298, 3203488490, 3175676720, 1057896922, 3211226072, 1065272429, 3209535234,    1053028117, 1041645699, 3206703001, 1064372488, 3212514494, 1061007097, 3197411377, 3195588556,    1060439283, 3198975188, 3184049462, 1057201213, 3210009393, 1065171628, 3212114443, 1061007097,    3200511765, 3175676720, 1056004842, 3209535234, 1065030846, 3212334072, 1061544963, 3202017408,    655184755, 1054533760, 3209028611, 1064850424, 3212514494, 1062051586, 3203488490, 1028193072,    1053028117, 3208490745, 1064630795, 3212655276, 1062525745, 3204684861, 1036565814, 1051491540,    3207922931, 1064372488, 3212756077, 1062966298, 3205380570, 1041645699, 1049927729, 3207326538,    1064076126, 3212816655, 1063372184, 3206053824, 1044891074, 1048104908, 3206703001, 1063742424,    3212836864, 1063742424, 3206703001, 1048104908, 1044891074, 3206053824, 1063372184, 3212816655,    1064076126, 3207326538, 1049927729, 1041645699, 3205380570, 1062966298, 3212756077, 1064372488  ]def tab.cos.p7() -> List<&2, U32>:  [    1060439283, 3211226072, 1065272429, 3212334072, 1062525745, 3206053824, 1049927729, 1028193072,    3200511765, 1059842890, 3210855832, 1065171628, 3212514494, 1062966298, 3206703001, 1051491540,    673112040, 3198975188, 1059219353, 3210449946, 1065030846, 3212655276, 1063372184, 3207326538,    1053028117, 3175676720, 3197411377, 1058570176, 3210009393, 1064850424, 3212756077, 1063742424,    3207922931, 1054533760, 3184049462, 3195588556, 1057896922, 3209535234, 1064630795, 3212816655,    1064076126, 3208490745, 1056004842, 3189129347, 3192374722, 1057201213, 3209028611, 1064372488,    3212836864, 1064372488, 3209028611, 1057201213, 3192374722, 3189129347, 1056004842, 3208490745,    1064076126, 3212816655, 1064630795, 3209535234, 1057896922, 3195588556, 3184049462, 1054533760,    3207922931, 1057201213, 3197411377, 1028193072, 1044891074, 3202017408, 1059219353, 3209535234,    1064076126, 3212655276, 1065272429, 3211856136, 1062525745, 3207326538, 1056004842, 3195588556,    2814519642, 1048104908, 3203488490, 1059842890, 3210009393, 1064372488, 3212756077, 1065171628,    3211559774, 1062051586, 3206703001, 1054533760, 3192374722, 3175676720, 1049927729, 3204684861,    1060439283, 3210449946, 1064630795, 3212816655, 1065030846, 3211226072, 1061544963, 3206053824,    1053028117, 3189129347, 3184049462, 1051491540, 3205380570, 1061007097, 3210855832, 1064850424,    3212836864, 1064850424, 3210855832, 1061007097, 3205380570, 1051491540, 3184049462, 3189129347,    1053028117, 3206053824, 1061544963, 3211226072, 1065030846, 3212816655, 1064630795, 3210449946,    3207922931, 1062051586, 3210855832, 1064372488, 3212514494, 1065333007, 3212756077, 1064850424,    3211559774, 1062966298, 3209028611, 1059842890, 3205380570, 1054533760, 3197411377, 1041645699,    655173063, 3189129347, 1049927729, 3202017408, 1057896922, 3207326538, 1061544963, 3210449946,    1064076126, 3212334072, 1065272429, 3212816655, 1065030846, 3211856136, 1063372184, 3209535234,    1060439283, 3206053824, 1056004842, 3198975188, 1044891074, 3175676720, 3184049462, 1048104908,    3200511765, 1057201213, 3206703001, 1061007097, 3210009393, 1063742424, 3212114443, 1065171628,    3212836864, 1065171628, 3212114443, 1063742424, 3210009393, 1061007097, 3206703001, 1057201213,    3200511765, 1048104908, 3184049462, 3175676720, 1044891074, 3198975188, 1056004842, 3206053824,    1060439283, 3207326538, 1059219353, 3206053824, 1057896922, 3204684861, 1056004842, 3202017408,    1053028117, 3198975188, 1049927729, 3195588556, 1044891074, 3189129347, 1036565814, 3175676720,    651431501, 1028193072, 3184049462, 1041645699, 3192374722, 1048104908, 3197411377, 1051491540,    3200511765, 1054533760, 3203488490, 1057201213, 3205380570, 1058570176, 3206703001, 1059842890,    3207922931, 1061007097, 3209028611, 1062051586, 3210009393, 1062966298, 3210855832, 1063742424,    3211559774, 1064372488, 3212114443, 1064850424, 3212514494, 1065171628, 3212756077, 1065333007,    3212836864, 1065333007, 3212756077, 1065171628, 3212514494, 1064850424, 3212114443, 1064372488,    3211559774, 1063742424, 3210855832, 1062966298, 3210009393, 1062051586, 3209028611, 1061007097  ]def tab.cos() -> List<&2, U32>:  tabs.join([    tab.cos.p0(),    tab.cos.p1(),    tab.cos.p2(),    tab.cos.p3(),    tab.cos.p4(),    tab.cos.p5(),    tab.cos.p6(),    tab.cos.p7(),  ])def tab.bt.p0() -> List<&2, U32>:  [    995530207, 1007724217, 1012118638, 1014809860, 1015368840, 1014809860, 1012118638, 1007724217,    995530207, 3144297932, 3158082400, 3165005741, 3170027630, 3173050356, 3175639986, 3178150932,    3179894665, 3180959366, 3181878436, 3182623948, 3183173251, 3183509652, 3183622934, 3183509652,    3183173251, 3182623948, 3181878436, 3180959366, 3179894665, 3178150932, 3175639986, 3173050356,    3170027630, 3165005741, 3158082400, 3144297932, 3145465211, 3160115004, 3166917277, 3171397385,    3173050356, 3173431428, 3172260974, 3168013388, 3156248549, 1009725516, 1024076885, 1030335042,    1033904705, 1036139286, 1037511355, 1037845198, 1037070195, 1035230258, 1032480044, 1026337897,    1013447607, 3160579643, 3173050356, 3178610686, 3180872277, 3181824559, 3181794836, 3180882762,    3179280112, 3175219168, 3170884562, 3162852488, 3146704802, 994949057, 1001774327, 994139101,    3140135201, 3136823004, 1005385545, 1018751561, 1025566708, 1028780648, 1029236436, 1026074860,    1015355590, 3163635688, 3176910146, 3182050260, 3184109298, 3183622934, 3180502647, 3171261517,    1013683511, 1031031900, 1035975770, 1038069181, 1037295896, 1033896366, 1025566708, 3146571393,    3174120564, 3180280260, 3181628273, 3180730135, 3176910147, 3168916193, 3138562534, 1015368840,    1019858092, 1018946520, 1013683508, 998633753, 999087743, 1013683508, 1016152040, 1005385545,    3162852488, 3174120562, 3178515548, 3176910147, 3166235211, 1019858093, 1032796612, 1035975771,    1034566612, 1025566708, 3166430167, 3181628274, 3185552829, 3184109299, 3176264297, 1013683511,    1033246487, 1037295895, 1036139286, 1029236435, 3146117401, 3176910146, 3181380014, 3180502648,    3173558508, 3140135201, 1021432542, 1025566708, 1023777868, 1015355590, 989339356, 3138562533,    989010389, 3149257975, 3166044932, 3170688972, 3162852488, 1017173737, 1029827279, 1031796464,    1022055303, 3170920483, 3181824559, 3182513980, 3172629538, 1025566708, 1036550383, 1036861476,    1026337898, 3173908331, 3184658600, 3184553843, 3173648638, 1025907272, 1036139286, 1035631313,    1024648020, 3171560534, 3181051950, 3180202032, 3168013388, 1018898412, 1027745411, 1025566708,    1011973348, 3155609748, 3160115004, 3146955120, 3147265668, 3158082400, 982089335, 1021761547,    1025566708, 1010167740, 3173331945, 3179894665, 3171809572, 1025175491, 1035140300, 1031907456,    3165568916, 3183622934, 3182889260, 3147500673, 1035140300, 1037619497, 1023981932, 3179894665,    3185439548, 3177789086, 1025566708, 1036324682, 1032683330, 3158082400, 3180646576, 3179830574,    3155207865, 1026836869, 1028467300, 1015368840, 3163754580, 3167015445, 3155207865, 985597499,    3129572981, 1010598752, 1018085268, 3133081150, 3173050356, 3172659138, 1016270933, 1032411017,    1025848297, 3174320516, 3182623948, 3169245196, 1033162928, 1036139286, 999782022, 3183808331,    3182623948, 1019531798, 1037955900, 1032411017, 3175950949, 3185103144, 3173050356, 1032346926,    1035405613, 1010598752, 3180166978, 3179391104, 1007724217, 1030305440, 1024325924, 3162852488,    3171465579, 3157651388, 1007724217, 1000017022, 1000174692, 1001774327, 3164359692, 3168347620  ]def tab.bt.p1() -> List<&2, U32>:  [    1015368840, 1028675933, 1006589815, 3179280112, 3174771919, 1028408325, 1034340911, 3158861614,    3184008720, 3173050356, 1034693927, 1034961069, 3173821546, 3185665249, 3161285559, 1037070195,    1032273487, 3179552151, 3183622934, 1012057222, 1035880139, 1024076886, 3179616804, 3178491493,    1020529740, 1030910053, 1004236794, 3173050356, 3165036448, 1013963943, 1012631356, 3123041689,    962440391, 3161167156, 3148517308, 1023575359, 1015368840, 3174721296, 3171115756, 1029426499,    1028634889, 3177361548, 3180280260, 1028537410, 1035143612, 3173050356, 3184458404, 1019238042,    1038069181, 3147737480, 3185778531, 3161167159, 1037624638, 1023575359, 3183622934, 3174721296,    1034017988, 1029426498, 3178718057, 3177361548, 1026074860, 1028537411, 3166835186, 3173050356,    1009032352, 1019238041, 3136823004, 3147737476, 3147737476, 989339356, 1019238041, 3156516000,    3173050356, 1019351538, 1028537410, 3173558508, 3177361548, 1031234409, 1029426498, 3181501635,    3174721296, 1036139286, 1023575359, 3185108285, 3161167159, 1038294883, 3147737480, 3185552829,    1019238042, 1036974756, 3173050356, 3182627260, 1028537409, 1032796612, 3177361548, 3176118537,    1029426499, 1023632108, 3174721296, 3162852488, 1023575359, 1001033661, 3161167156, 3109924039,    975558041, 1012631356, 3161447591, 3165036448, 1025566708, 1004236794, 3178393701, 1020529740,    1031007847, 3179616804, 3171560533, 1035880139, 3159540869, 3183622934, 1032068503, 1032273488,    3184553843, 3161285559, 1038181602, 3173821545, 3182444717, 1034693927, 1025566708, 3184008720,    1011377966, 1034340911, 3175891973, 3174771919, 1031796464, 1006589815, 3176159581, 1015368840,    1020863972, 3164359693, 3149257975, 1000174692, 1000017022, 3155207865, 3157651388, 1023981931,    3162852488, 3171809572, 1030305440, 3155207865, 3179391104, 1032683330, 1010598752, 3182889261,    1032346926, 1025566708, 3185103144, 1028467301, 1032411017, 3185439548, 1019531798, 1035140300,    3183808331, 3147265670, 1036139286, 3180646576, 3169245196, 1035140300, 3174320517, 3173331945,    1032411017, 3163754582, 3172659139, 1025566708, 3133081150, 3165568916, 1010598752, 982089333,    3133081147, 3155207865, 1019531797, 3163754580, 3162852488, 1028467300, 3174320517, 3155207865,    1032346927, 3180646576, 1010598752, 1032683330, 3183808330, 1025566708, 1030305440, 3185439548,    1032411017, 1023981931, 3185103145, 1035140300, 1000017025, 3182889260, 1036139286, 3165568916,    3179391104, 1035140300, 3172659139, 3171809572, 1032411017, 3173331945, 3157651389, 1025566708,    3169245195, 982089335, 1010598752, 3147265668, 3146955120, 1012631356, 3155609748, 3159456996,    1025566708, 3175229059, 1018898412, 1020529740, 3180202032, 1033568302, 3171560533, 3172131668,    1035631313, 3183622934, 1025907272, 1026164989, 3184553843, 1037174953, 3173908332, 3173821545,    1036861476, 3184034031, 1025566708, 1025145890, 3182513979, 1034340911, 3170920483, 3169538951,    1031796464, 3177310926, 1017173737, 1015368840, 3170688972, 1018561284, 3149257975, 3136494037,    991078885, 989339356, 3162839238, 1023777868, 3173050356, 1021432542, 992651553, 3173558508  ]def tab.bt.p2() -> List<&2, U32>:  [    1033019000, 3181380015, 1029426498, 3146117401, 3176720083, 1036139286, 3184779543, 1033246487,    3161167159, 3176264297, 1036625650, 3185552829, 1034144626, 3166430168, 3173050356, 1034566612,    3183459419, 1032796612, 3167341742, 3166235211, 1029426499, 3178515548, 1026636914, 3162852488,    3152869193, 1016152041, 3161167156, 999087743, 998633753, 3161167156, 1018946520, 3167341740,    1015368840, 991078887, 3168916192, 1029426499, 3180730135, 1034144626, 3180280260, 1026636915,    3146571393, 3173050356, 1033896366, 3184779544, 1038069181, 3183459418, 1031031900, 3161167159,    3171261517, 1033019000, 3183622934, 1036625649, 3182050260, 1029426498, 3163635688, 3162839238,    1026074860, 3176720084, 1028780648, 3173050356, 1018751562, 3152869195, 3136823004, 992651554,    3141622748, 1001774327, 3142432705, 3146704803, 1015368840, 3170884562, 1027735520, 3179280112,    1033399114, 3181794836, 1034340911, 3180872277, 1031127038, 3173050356, 1013095996, 1013447605,    3173821546, 1032480044, 3182713906, 1037070195, 3185328846, 1037511355, 3183622934, 1033904705,    3177818690, 1024076886, 3157209164, 3156248549, 1020529740, 3172260974, 1025947780, 3173050356,    1023913737, 3166917277, 1012631356, 3145465209, 3144297932, 1010598752, 3165005741, 1022543982,    3173050356, 1028156338, 3178150932, 1032411017, 3180959366, 1034394788, 3182623948, 1035689603,    3183509652, 1036139286, 3183509652, 1035689603, 3182623948, 1034394788, 3180959366, 1032411017,    3178150932, 1028156338, 3173050356, 1022543982, 3165005741, 1010598752, 3144297932, 3143013855,    1007724217, 3159602286, 1014809860, 3162852488, 1014809860, 3159602286, 1007724217, 3143013855  ]def tab.bt() -> List<&2, U32>:  tabs.join([    tab.bt.p0(),    tab.bt.p1(),    tab.bt.p2(),  ])def tab.aa.p0() -> List<&2, U32>:  [    1062962344, 1063369176, 1064508125, 1065073281, 1065278017, 1065339133, 1065351525, 1065353101,    1057207806, 1056016090, 1050702594, 1044006772, 1036103709, 1026018182, 1013489940, 997358386  ]def tab.aa() -> List<&2, U32>:  tab.aa.p0()def tab.winl.p0() -> List<&2, U32>:  [    1065337248, 1065209685, 1064955529, 1064576715, 1064076126, 1063457572, 1062725761, 1061886260,    1060945461, 1026730556, 1040558248, 1046323800, 1050277404, 1053028117, 1055681104, 1057590392,    1058789322, 1059910523  ]def tab.winl() -> List<&2, U32>:  tab.winl.p0()def tab.tw.p0() -> List<&2, U32>:  [    1060945461, 1061886260, 1062725761, 1063457572, 1064076126, 1064576715, 1064955529, 1065209685,    1065337248, 1059910523, 1058789322, 1057590392, 1055681104, 1053028117, 1050277404, 1046323800,    1040558248, 1026730556  ]def tab.tw() -> List<&2, U32>:  tab.tw.p0()def tab.sec.p0() -> List<&2, U32>:  [    1092815430, 1056974725, 1057005197, 1079645762, 1057056395, 1057342072, 1073984175, 1057223771,    1058087743, 1069414683, 1057485416, 1059427869, 1066774581, 1057855544, 1061799040, 1064892987,    1058356026, 1065862217, 1062657950, 1059019886, 1071413542, 1061067246, 1059897405, 1084439708  ]def tab.sec() -> List<&2, U32>:  tab.sec.p0()def tab.syn.p0() -> List<&2, U32>:  [    3212836864, 1104150528, 3254255616, 1129316352, 1129971712, 1137213440, 3288449024, 1157689344,    1157234688, 1167433728, 3316410368, 1172238336, 1169831936, 1191917568, 3340347392, 1200781312,    3212836864, 1103101952, 3255566336, 1128923136, 1130233856, 1135443968, 3289464832, 1157758976,    1156841472, 1166690304, 3317151744, 1173274624, 1168457728, 1191444224, 3340818432, 1200763904,    3212836864, 1101529088, 3256352768, 1128529920, 1130430464, 1133707264, 3290513408, 1157787648,    1156358144, 1165881344, 3317884928, 1174200320, 1166968832, 1190761984, 3341286912, 1200734976,    3212836864, 1100480512, 3257139200, 1128136704, 1130561536, 1131675648, 3291594752, 1157779456,    1155776512, 1164414976, 3318605824, 1174712320, 1164705792, 1189822464, 3341751552, 1200694400,    3212836864, 1099431936, 3258187776, 1127677952, 1130627072, 1128595456, 3292708864, 1157738496,    1155096576, 1162964992, 3319314432, 1175068672, 1161261056, 1188889088, 3342211328, 1200642560,    3212836864, 1098907648, 3259236352, 1127219200, 1130627072, 1125711872, 3293839360, 1157664768,    1154318336, 1161543680, 3320002560, 1175374848, 1157537792, 1187963904, 3342665216, 1200579456,    3221225472, 1096810496, 3260284928, 1126760448, 1130561536, 1121845248, 3295002624, 1157496832,    1153425408, 1160146944, 3320670208, 1175630848, 1149714432, 1187048448, 3343112448, 1200505216,    3221225472, 1095761920, 3261595648, 1126236160, 1130364928, 1116733440, 3296182272, 1157242880,    1152434176, 1158782976, 3321311232, 1175838720, 1116471296, 1186144768, 3343551744, 1200419968,    3221225472, 1093664768, 3262906368, 1125777408, 1130168320, 1108344832, 3297050624, 1156923392,    1151336448, 1157283840, 3321906176, 1176000512, 3296296960, 1185253888, 3343982080, 1200324096,    3221225472, 1092616192, 3263692800, 1125318656, 1129775104, 1073741824, 3297648640, 1156571136,    1150115840, 1154711552, 3322194944, 1176116224, 3305414656, 1184377856, 3344402944, 1200217856,    3225419776, 1091567616, 3264348160, 1124794368, 1129316352, 3253207040, 3298246656, 1156169728,    1148354560, 1152221184, 3322465280, 1176189952, 3310239744, 1183518208, 3344812544, 1200101248,    3225419776, 1090519040, 3265134592, 1124335616, 1128792064, 3261333504, 3298844672, 1155735552,    1145470976, 1149820928, 3322714112, 1176221696, 3314395136, 1182559232, 3345210624, 1199974912,    3229614080, 1088421888, 3265921024, 1123680256, 1128071168, 3265658880, 3299442688, 1155260416,    1142374400, 1145798656, 3322940416, 1176214528, 3317026816, 1180913664, 3345595904, 1199838848,    3229614080, 1088421888, 3266707456, 1122631680, 1127284736, 3268673536, 3300032512, 1154760704,    1137246208, 1141391360, 3323142144, 1176170496, 3319762944, 1179308032, 3345967360, 1199693568,    3231711232, 1086324736, 3267493888, 1121845248, 1126367232, 3271426048, 3300605952, 1154236416,    1127809024, 1133510656, 3323315200, 1176090624, 3322245120, 1177746432, 3346324480, 1199507968  ]def tab.syn() -> List<&2, U32>:  tab.syn.p0()def tab.pow.p0() -> List<&2, U32>:  [    0, 3212836864, 3223405847, 3230299322, 3234541557, 3238579279, 3241046415, 3243655056,    3246391296, 3247817755, 3249298131, 3250828755, 3252406527, 3254028783, 3255236557, 3256088836,    0, 1065353216, 1075922199, 1082815674, 1087057909, 1091095631, 1093562767, 1096171408,    1098907648, 1100334107, 1101814483, 1103345107, 1104922879, 1106545135, 1107752909, 1108605188,    1109476632, 1110366431, 1111273857, 1112198252, 1113139014, 1114095592, 1115067479, 1115869537,    1116370106, 1116877677, 1117392063, 1117913088, 1118440586, 1118974403, 1119514391, 1120060414,    1120612341, 1121170048, 1121733418, 1122302338, 1122876704, 1123456412, 1124041368, 1124352475,    1124650063, 1124950141, 1125252669, 1125557608, 1125864920, 1126174569, 1126486521, 1126800741,    1127117198, 1127435861, 1127756698, 1128079682, 1128404784, 1128731977, 1129061234, 1129392530,    1129725840, 1130061140, 1130398407, 1130737617, 1131078750, 1131421783, 1131766696, 1132113468,    1132462080, 1132637296, 1132813413, 1132990422, 1133168314, 1133347080, 1133526711, 1133707200,    1133888539, 1134070719, 1134253733, 1134437573, 1134622231, 1134807702, 1134993977, 1135181050,    1135368915, 1135557563, 1135746989, 1135937188, 1136128151, 1136319874, 1136512350, 1136705573,    1136899539, 1137094240, 1137289672, 1137485830, 1137682707, 1137880298, 1138078600, 1138277605,    1138477311, 1138677710, 1138878800, 1139080575, 1139283030, 1139486162, 1139689965, 1139894434,    1140099567, 1140305359, 1140511804, 1140718900, 1140888665, 1140992857, 1141097369, 1141202197,    1141307341, 1141412798, 1141518566, 1141624645, 1141731031, 1141837724, 1141944720, 1142052020,    1142159620, 1142267520, 1142375718, 1142484211, 1142592999, 1142702080, 1142811452, 1142921114,    1143031064  ]def tab.pow() -> List<&2, U32>:  tab.pow.p0()def tab.huff.p0() -> List<&2, U32>:  [    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, 0, 0, 0,    785, 785, 785, 785, 784, 784, 784, 784, 513, 513, 513, 513, 513, 513, 513, 513, 256, 256, 256,    256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 65281, 1313, 1298, 1282, 785,    785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256,    256, 256, 256, 256, 256, 256, 256, 256, 290, 288, 65281, 1313, 1298, 1282, 769, 769, 769, 769,    529, 529, 529, 529, 529, 529, 529, 529, 528, 528, 528, 528, 528, 528, 528, 528, 512, 512, 512,    512, 512, 512, 512, 512, 290, 288, 65283, 65218, 65185, 65169, 785, 785, 785, 785, 784, 784,    784, 784, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256,    256, 256, 256, 819, 818, 547, 547, 275, 275, 275, 275, 561, 560, 515, 546, 289, 274, 288, 258,    65282, 65249, 1329, 1299, 1314, 1312, 1057, 1057, 1042, 1042, 1026, 1026, 784, 784, 784, 784,    529, 529, 529, 529, 529, 529, 529, 529, 769, 769, 769, 769, 768, 768, 768, 768, 563, 560, 306,    306, 291, 259, 65284, 65123, 65059, 64994, 1298, 64961, 1041, 1041, 784, 784, 784, 784, 769,    769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256,    65153, 65137, 1107, 1092, 1106, 1061  ]def tab.huff.p1() -> List<&2, U32>:  [    849, 849, 789, 789, 1104, 1091, 773, 773, 1076, 1075, 341, 340, 325, 309, 834, 804, 577, 577,    532, 532, 516, 516, 832, 818, 803, 816, 561, 561, 531, 531, 515, 546, 289, 289, 288, 258, 65284,    65107, 65043, 64977, 1057, 1057, 1042, 1042, 529, 529, 529, 529, 529, 529, 529, 529, 784, 784,    784, 784, 769, 769, 769, 769, 512, 512, 512, 512, 512, 512, 512, 512, 65154, 1077, 65121, 1106,    1061, 1104, 849, 849, 789, 789, 1091, 1076, 1029, 1075, 834, 834, 597, 581, 340, 340, 339, 324,    804, 833, 532, 532, 832, 772, 818, 803, 817, 787, 816, 771, 290, 290, 290, 290, 288, 258, 65283,    65187, 65122, 65089, 65073, 1329, 1299, 65057, 1314, 1312, 1057, 1057, 1042, 1042, 1026, 1026,    785, 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 768, 768, 768, 768, 65217, 851, 821,    65201, 836, 850, 805, 849, 341, 340, 325, 336, 533, 533, 579, 579, 564, 564, 773, 832, 578, 548,    563, 516, 321, 276, 306, 291, 304, 259, 65285, 64964, 64803, 64706, 64673, 64657, 1041, 1041,    784, 784, 784, 784, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256,    256, 256, 256, 256, 256, 65025, 65009, 64993, 1396, 1351, 1381, 1366, 1395, 1335, 1380, 64977,    1334, 1138, 1138, 1063, 1063, 1350, 1392, 1031, 1031, 1062, 1062, 1364, 1363, 1120, 1120, 1333,    1348, 881, 881, 881, 881, 375, 374, 359, 373, 343, 358, 341, 325, 791, 791, 1123, 1122, 64833,    1105, 1045, 64817, 865, 865, 790, 790, 774, 774  ]def tab.huff.p2() -> List<&2, U32>:  [    1104, 1029, 338, 293, 323, 308, 64737, 64721, 833, 788, 772, 818, 803, 816, 322, 292, 307, 320,    561, 531, 515, 546, 289, 274, 288, 258, 65285, 65011, 64931, 64851, 64771, 64705, 64690, 1298,    1057, 1057, 1312, 1282, 785, 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 512, 512,    512, 512, 512, 512, 512, 512, 1399, 1398, 1383, 1367, 1382, 1396, 1351, 65025, 1381, 1366, 1139,    1139, 1079, 1079, 1124, 1124, 1364, 1349, 1363, 1333, 882, 882, 882, 882, 807, 807, 807, 807,    1094, 1094, 1136, 1136, 373, 341, 535, 535, 881, 775, 867, 822, 774, 64945, 324, 338, 64865,    849, 550, 550, 866, 864, 609, 609, 293, 336, 534, 534, 789, 835, 773, 64785, 834, 804, 308, 307,    833, 788, 832, 772, 562, 562, 547, 547, 305, 275, 560, 515, 290, 290, 65284, 65139, 65059,    64979, 64914, 64883, 64817, 64801, 64786, 1329, 1299, 1314, 1057, 1057, 1042, 1042, 1312, 1282,    1024, 1024, 785, 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 65153, 1127, 1141, 1111,    1126, 1140, 1095, 1110, 869, 869, 883, 883, 1079, 1109, 882, 882, 375, 374, 807, 868, 838, 881,    791, 65073, 867, 822, 368, 263, 852, 837, 836, 64993, 610, 610, 550, 550, 352, 336, 534, 534,    865, 774, 851, 821, 850, 805, 593, 533, 579, 564, 773, 832, 578, 578, 548, 548, 577, 577, 307,    276, 306, 291, 516, 560, 259, 259, 65286, 63429, 63029, 62772, 62627, 62562, 62529, 62513, 1041,    1041, 1040, 1040, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256  ]def tab.huff.p3() -> List<&2, U32>:  [    256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 64769, 64484, 64323, 64259, 64178, 64131,    64067, 64001, 63986, 63954, 63922, 63889, 63874, 63842, 63810, 63777, 63762, 63729, 63714,    63682, 63650, 1565, 63617, 63601, 63585, 63569, 1731, 1730, 1580, 1717, 63553, 1729, 1564,    63537, 1548, 63521, 63505, 1715, 1595, 63489, 1714, 63473, 1610, 63457, 1609, 63441, 1323, 1323,    1457, 1457, 1307, 1307, 1712, 1547, 1641, 1700, 1699, 1594, 1685, 1625, 1442, 1442, 1322, 1322,    64756, 64563, 64626, 1279, 1278, 1277, 1262, 1276, 1261, 1275, 1215, 1260, 1229, 64577, 974,    974, 989, 989, 64593, 735, 478, 478, 495, 463, 506, 414, 64497, 1003, 958, 1017, 927, 942, 987,    957, 431, 476, 1272, 1167, 1228, 64353, 1256, 64337, 895, 895, 941, 941, 1242, 1227, 1212, 1135,    1014, 1014, 490, 489, 503, 487, 910, 1013, 985, 925, 863, 894, 970, 955, 1012, 847, 64193, 831,    755, 755, 984, 909, 428, 366, 754, 559, 64145, 752, 486, 457, 924, 997, 698, 698, 983, 893, 740,    740, 908, 877, 739, 739, 667, 667, 953, 938, 497, 287, 271, 271, 683, 606, 590, 712, 726, 574,    302, 302, 738, 736, 481, 286, 526, 725, 605, 711, 636, 724, 696, 651, 589, 681, 666, 710, 364,    467, 573, 695, 466, 466, 301, 465, 379, 379, 709, 604, 665, 679, 316, 316, 634, 633, 436, 436,    464, 269, 424, 394, 452, 332, 438, 363, 347, 408, 393, 448, 331, 422, 362, 407, 392, 421, 346,    406, 391, 376, 375, 359, 1441, 1306, 63169, 1290, 63153, 1337, 63137, 63121, 1426, 1321, 63105,    1411, 1336, 63089  ]def tab.huff.p4() -> List<&2, U32>:  [    63073, 63057, 1169, 1169, 1049, 1049, 1424, 1289, 1412, 1352, 1319, 63041, 1154, 1154, 1064,    1064, 1153, 1153, 416, 390, 360, 404, 403, 389, 344, 374, 373, 343, 358, 372, 327, 357, 342,    311, 356, 326, 1395, 1394, 1137, 1137, 1047, 1047, 1365, 1392, 1287, 1379, 1334, 1364, 1349,    1378, 1318, 1363, 792, 792, 792, 792, 1152, 1152, 1032, 1032, 1121, 1121, 1046, 1046, 1120,    1120, 1030, 1030, 62641, 1106, 1061, 1104, 849, 849, 789, 789, 1091, 1076, 1029, 1090, 1060,    1075, 833, 833, 309, 324, 532, 532, 832, 772, 818, 803, 561, 561, 531, 560, 515, 546, 289, 274,    288, 258, 65286, 64357, 63957, 63700, 63540, 63412, 63283, 63203, 63123, 63059, 62994, 62962,    62929, 62914, 62881, 1314, 1313, 1298, 1312, 1282, 785, 785, 785, 785, 1040, 1040, 1025, 1025,    768, 768, 768, 768, 64770, 64738, 64706, 64674, 64641, 64625, 64609, 64593, 64577, 64561, 64545,    64529, 64513, 64497, 64481, 64466, 1724, 1647, 64433, 64417, 1631, 1767, 1662, 1738, 1708, 1723,    64401, 1780, 1615, 1779, 1599, 1677, 1646, 1778, 1583, 64385, 1777, 1567, 1737, 1692, 1765,    1722, 1707, 1630, 1751, 1661, 1764, 1614, 1736, 1676, 1763, 1750, 1645, 1598, 1721, 1691, 1762,    1706, 1582, 1761, 1566, 64369, 1749, 1629, 767, 766, 751, 765, 494, 494, 735, 764, 719, 749,    734, 763, 447, 447, 748, 718, 477, 506, 431, 491, 446, 476, 461, 505, 415, 430, 475, 445, 504,    399, 460, 489, 414, 503, 383, 474, 429, 459, 502, 502, 746, 752, 488, 398, 501, 473, 413, 472,    486, 271, 480, 270, 64097, 64081, 1357, 64065, 64049, 64033  ]def tab.huff.p5() -> List<&2, U32>:  [    1341, 1325, 64017, 1489, 1463, 1403, 1309, 64001, 1372, 1448, 1418, 1476, 1356, 1462, 1387,    63985, 1475, 1340, 1447, 1402, 1386, 63969, 1068, 1068, 1474, 1461, 455, 380, 468, 440, 395,    425, 410, 454, 364, 467, 466, 464, 453, 269, 409, 448, 268, 432, 1371, 1473, 1432, 1417, 1308,    1460, 1355, 1446, 1459, 1431, 1083, 1083, 1401, 1416, 1458, 1445, 1067, 1067, 1370, 1457, 1051,    1051, 1291, 1430, 1385, 1444, 1354, 1415, 1400, 1443, 1082, 1082, 1173, 1113, 1186, 1066, 1185,    1050, 63569, 1158, 1128, 1172, 1097, 1171, 1081, 63553, 1157, 1112, 416, 266, 375, 400, 1170,    1142, 1127, 1065, 793, 793, 1169, 1033, 1156, 1096, 1141, 1111, 1155, 1080, 1126, 1140, 898,    898, 808, 808, 897, 897, 792, 792, 1095, 1152, 1032, 1125, 1110, 1139, 1079, 1124, 882, 807,    838, 881, 853, 791, 63217, 867, 368, 263, 822, 852, 837, 866, 806, 865, 63137, 851, 352, 262,    534, 534, 821, 836, 594, 594, 549, 549, 593, 593, 533, 533, 848, 773, 579, 579, 564, 578, 548,    563, 276, 276, 577, 576, 306, 291, 516, 560, 305, 305, 275, 259, 65285, 64644, 63478, 62916,    62708, 62579, 62513, 62497, 1041, 1041, 1040, 1040, 769, 769, 769, 769, 256, 256, 256, 256, 256,    256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 65025, 65009, 64993, 64977, 1530, 64961,    64945, 1528, 1527, 1407, 1526, 1391, 1023, 1023, 1023, 1023, 1525, 1375, 1268, 1268, 1103, 1103,    1087, 1087, 1039, 1039, 1523, 64932, 815, 815, 815, 815, 510, 495, 509, 479, 508, 463, 507, 447,    431, 505, 415, 399  ]def tab.huff.p6() -> List<&2, U32>:  [    64802, 64754, 1262, 64721, 1259, 1244, 64705, 1258, 1228, 64689, 64673, 1196, 64657, 1253, 987,    987, 748, 64769, 493, 493, 462, 477, 414, 414, 686, 669, 478, 446, 461, 445, 474, 429, 487, 458,    412, 471, 1266, 1264, 1009, 1009, 799, 799, 64517, 64260, 64084, 63955, 63859, 63779, 63715,    63650, 63603, 63539, 1257, 1257, 1483, 1468, 1512, 1422, 1497, 1406, 1467, 1496, 1421, 1510,    1134, 1134, 1225, 1225, 1466, 1451, 1374, 1405, 1252, 1252, 1358, 1480, 1164, 1164, 1251, 1251,    1238, 1238, 1389, 1465, 64129, 1054, 1101, 64113, 1207, 64097, 830, 830, 1248, 1038, 1237, 1117,    1223, 1148, 1236, 1208, 411, 426, 395, 410, 379, 269, 1193, 1222, 1132, 1235, 1221, 1116, 976,    976, 1192, 1162, 1177, 1220, 1131, 1191, 963, 963, 63889, 961, 780, 63873, 558, 558, 994, 993,    437, 408, 393, 407, 829, 978, 813, 797, 947, 63793, 721, 721, 377, 392, 844, 950, 828, 890, 706,    706, 812, 859, 796, 960, 948, 843, 934, 874, 571, 571, 63617, 690, 555, 689, 421, 346, 539, 539,    944, 779, 918, 873, 932, 842, 903, 888, 570, 570, 931, 917, 674, 674, 62961, 1562, 62945, 1609,    62929, 1654, 1322, 1322, 1441, 1441, 1696, 1546, 1683, 1593, 1669, 1624, 1426, 1426, 1321, 1321,    1639, 1680, 1425, 1425, 1305, 1305, 1545, 1668, 1608, 1623, 1667, 1592, 1638, 1666, 1320, 1320,    1652, 1607, 1409, 1409, 1304, 1304, 1288, 1288, 1664, 1637, 1395, 1395, 1335, 1335, 1622, 1636,    1394, 1394, 1319, 1319, 1606, 1621, 1392, 1392, 1137, 1137, 1137, 1137, 345, 390, 360, 375, 404,    373, 1047, 62785, 62769, 62753  ]def tab.huff.p7() -> List<&2, U32>:  [    1062, 1121, 1046, 62737, 1077, 62721, 1106, 1061, 789, 789, 1105, 1104, 263, 355, 310, 340, 325,    354, 352, 262, 339, 324, 1091, 1076, 1029, 1090, 1060, 1075, 833, 833, 788, 788, 1088, 1028,    818, 818, 803, 803, 561, 561, 531, 531, 816, 771, 546, 546, 289, 274, 288, 258, 65283, 65219,    65155, 65090, 65058, 65027, 1279, 1279, 64725, 64357, 64085, 63780, 63636, 63508, 63347, 63283,    63203, 63122, 63091, 63025, 63010, 1313, 1298, 62977, 1041, 1041, 1040, 1040, 1025, 1025, 1024,    1024, 1022, 1007, 1021, 991, 1020, 975, 1019, 959, 687, 687, 1018, 1017, 671, 671, 655, 655,    1016, 1015, 639, 639, 758, 758, 623, 623, 757, 607, 756, 591, 755, 575, 754, 559, 543, 543,    1009, 783, 64961, 64915, 64851, 64787, 496, 64946, 750, 749, 734, 748, 974, 989, 1003, 958, 988,    973, 1002, 942, 987, 957, 972, 1001, 926, 986, 941, 971, 956, 1000, 910, 985, 925, 999, 894,    970, 64465, 64449, 64434, 1390, 64401, 1436, 1509, 1451, 1374, 64385, 1405, 1358, 1480, 1420,    64369, 1507, 1494, 1389, 1342, 1465, 1435, 1450, 1326, 1505, 1310, 1493, 1373, 1479, 1404, 1492,    1464, 1419, 428, 443, 472, 397, 736, 526, 464, 464, 486, 457, 442, 471, 484, 482, 1357, 1449,    1434, 1478, 1388, 1491, 1341, 1490, 1325, 1489, 1463, 1403, 1309, 1477, 1372, 1448, 1418, 1433,    1476, 1356, 1462, 1387, 64097, 1475, 1340, 1447, 1402, 1474, 1324, 1461, 1371, 1473, 269, 448,    1432, 1417, 1308, 1460, 63825, 1459, 63809, 1441, 1099, 1099, 1446, 1386, 1431, 1401, 63793,    1289, 1083, 1083, 1160, 1160, 1458, 1445, 1067, 1067  ]def tab.huff.p8() -> List<&2, U32>:  [    1370, 1457, 1307, 1430, 1129, 1129, 1098, 1098, 268, 432, 267, 416, 266, 400, 63649, 1144, 1187,    1082, 1173, 1113, 1186, 1066, 1050, 1158, 1128, 1143, 1172, 1097, 1171, 1081, 420, 391, 1157,    1112, 1170, 1142, 1127, 1065, 1169, 1049, 1156, 1096, 1141, 1111, 1155, 1080, 1126, 1154, 1064,    1153, 1140, 1095, 1048, 63377, 1125, 1110, 1137, 63361, 823, 823, 1139, 1138, 807, 807, 384,    264, 368, 263, 868, 838, 853, 791, 867, 822, 852, 837, 866, 806, 865, 790, 63217, 851, 821, 836,    352, 262, 850, 805, 849, 63137, 533, 533, 835, 820, 336, 261, 578, 548, 563, 577, 532, 532, 832,    772, 562, 562, 547, 547, 305, 275, 560, 515, 290, 290, 288, 258  ]def tab.huff() -> List<&2, U32>:  tabs.join([    tab.huff.p0(),    tab.huff.p1(),    tab.huff.p2(),    tab.huff.p3(),    tab.huff.p4(),    tab.huff.p5(),    tab.huff.p6(),    tab.huff.p7(),    tab.huff.p8(),  ])def tab.ix.p0() -> List<&2, U32>:  [    0, 32, 64, 98, 0, 132, 180, 218, 292, 364, 426, 538, 648, 746, 0, 1126, 1460, 1460, 1460, 1460,    1460, 1460, 1460, 1460, 1842, 1842, 1842, 1842, 1842, 1842, 1842, 1842  ]def tab.ix() -> List<&2, U32>:  tab.ix.p0()def tab.lin.p0() -> List<&2, U32>:  [    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 6, 8, 10, 13, 4, 5, 6, 7, 8, 9, 11,    13  ]def tab.lin() -> List<&2, U32>:  tab.lin.p0()def tab.c32.p0() -> List<&2, U32>:  [    130, 162, 193, 209, 44, 28, 76, 140, 9, 9, 9, 9, 9, 9, 9, 9, 190, 254, 222, 238, 126, 94, 157,    157, 109, 61, 173, 205  ]def tab.c32() -> List<&2, U32>:  tab.c32.p0()def tab.c33.p0() -> List<&2, U32>:  [    252, 236, 220, 204, 188, 172, 156, 140, 124, 108, 92, 76, 60, 44, 28, 12  ]def tab.c33() -> List<&2, U32>:  tab.c33.p0()def tab.code.p0() -> List<&2, U32>:  [    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, 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, 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, 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, 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, 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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p1() -> List<&2, U32>:  [    65537, 196609, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 131073, 196608, 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, 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, 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, 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, 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, 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, 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, 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,    0, 0, 0, 0, 0, 0  ]def tab.code.p2() -> List<&2, U32>:  [    65537, 196610, 393217, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196611, 196609, 327681, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 327683, 327682, 393216, 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, 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, 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, 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, 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, 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,    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, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p3() -> List<&2, U32>:  [    131075, 131074, 393217, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196609, 131073, 327681, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 327683, 327682, 393216, 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, 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, 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, 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, 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, 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,    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, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p4() -> List<&2, U32>:  [    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, 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, 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, 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, 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, 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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p5() -> List<&2, U32>:  [    65537, 196610, 393222, 458757, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196611, 196609, 393220,    458756, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393223, 393221, 458759, 524289, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 0, 0, 458758, 393217, 458753, 524288, 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, 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, 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, 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, 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, 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, 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, 0  ]def tab.code.p6() -> List<&2, U32>:  [    196615, 196611, 327685, 458753, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196614, 131074, 262147,    327682, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 262149, 262148, 327684, 393217, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 0, 0, 393219, 327683, 393218, 458752, 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, 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, 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, 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, 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, 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, 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, 0  ]def tab.code.p7() -> List<&2, U32>:  [    65537, 196610, 393226, 524307, 524304, 589834, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196611, 262147,    393223, 458762, 458757, 524291, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393227, 327684, 458765, 524305,    524296, 589828, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 458764, 458763, 524306, 589839, 589835, 589826, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 458759, 458758, 524297, 589838, 589827, 655361, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 524294, 524292, 589829, 655363, 655362, 655360, 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, 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, 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, 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, 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, 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  ]def tab.code.p8() -> List<&2, U32>:  [    131075, 196612, 393222, 524306, 524300, 589829, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196613, 131073,    262146, 524304, 524297, 524291, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393223, 262147, 393221, 524302,    524295, 589827, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 524307, 524305, 524303, 589837, 589834, 655364, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 524301, 458757, 524296, 589835, 655365, 655361, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 589836, 524292, 589828, 589825, 720897, 720896, 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, 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, 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, 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, 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, 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  ]def tab.code.p9() -> List<&2, U32>:  [    196615, 196613, 327689, 393230, 524303, 589831, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196614, 196612,    262149, 327685, 393222, 524295, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 262151, 262150, 327688, 393224,    458760, 524293, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393231, 327686, 393225, 458762, 458757, 524289, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 458763, 393223, 458761, 458758, 524292, 589825, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 524302, 458756, 524294, 524290, 589830, 589824, 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, 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, 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, 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, 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, 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  ]def tab.code.p10() -> List<&2, U32>:  [    65537, 196610, 393226, 524311, 589859, 589854, 589836, 655377, 0, 0, 0, 0, 0, 0, 0, 0, 196611,    262147, 393224, 458764, 524306, 589845, 524300, 524295, 0, 0, 0, 0, 0, 0, 0, 0, 393227, 393225,    458767, 524309, 589856, 655400, 589843, 589830, 0, 0, 0, 0, 0, 0, 0, 0, 458766, 458765, 524310,    589858, 655406, 655383, 589842, 655367, 0, 0, 0, 0, 0, 0, 0, 0, 524308, 524307, 589857, 655407,    655387, 655382, 655369, 655363, 0, 0, 0, 0, 0, 0, 0, 0, 589855, 589846, 655401, 655386, 720917,    720916, 655365, 720899, 0, 0, 0, 0, 0, 0, 0, 0, 524302, 524301, 589834, 655371, 655376, 655366,    720901, 720897, 0, 0, 0, 0, 0, 0, 0, 0, 589833, 524296, 589831, 655368, 655364, 720900, 720898,    720896, 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,    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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p11() -> List<&2, U32>:  [    131075, 196612, 327690, 458776, 524322, 589857, 524309, 589839, 0, 0, 0, 0, 0, 0, 0, 0, 196613,    196611, 262148, 393226, 524320, 524305, 458763, 524298, 0, 0, 0, 0, 0, 0, 0, 0, 327691, 327687,    393229, 458770, 524318, 589855, 524308, 524293, 0, 0, 0, 0, 0, 0, 0, 0, 458777, 393227, 458771,    589883, 524315, 655378, 524300, 589829, 0, 0, 0, 0, 0, 0, 0, 0, 524323, 524321, 524319, 589882,    589854, 655376, 589831, 655365, 0, 0, 0, 0, 0, 0, 0, 0, 524316, 524314, 589856, 655379, 655377,    720911, 655368, 720910, 0, 0, 0, 0, 0, 0, 0, 0, 524302, 458764, 458761, 524301, 589838, 655369,    655364, 655361, 0, 0, 0, 0, 0, 0, 0, 0, 524299, 458756, 524294, 589830, 655366, 655363, 655362,    655360, 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,    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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p12() -> List<&2, U32>:  [    262153, 196614, 327696, 458785, 524329, 589863, 589862, 589850, 0, 0, 0, 0, 0, 0, 0, 0, 196615,    196613, 262150, 327689, 458775, 458768, 524314, 524299, 0, 0, 0, 0, 0, 0, 0, 0, 327697, 262151,    327691, 393230, 458773, 524318, 458762, 524295, 0, 0, 0, 0, 0, 0, 0, 0, 393233, 327690, 393231,    393228, 458770, 524316, 524302, 524293, 0, 0, 0, 0, 0, 0, 0, 0, 458784, 393229, 458774, 458771,    524306, 524304, 524297, 589829, 0, 0, 0, 0, 0, 0, 0, 0, 524328, 458769, 524319, 524317, 524305,    589837, 524292, 589826, 0, 0, 0, 0, 0, 0, 0, 0, 524315, 458764, 458763, 524303, 524298, 589831,    589828, 655361, 0, 0, 0, 0, 0, 0, 0, 0, 589851, 524300, 524296, 589836, 589830, 589827, 589825,    655360, 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,    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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0,    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p13() -> List<&2, U32>:  [    65537, 262149, 393230, 458773, 524322, 589875, 589870, 655431, 589866, 655412, 720964, 720948,    786499, 786476, 852011, 851987, 196611, 262148, 393228, 458771, 524319, 524314, 589868, 589857,    589855, 589848, 655392, 655384, 720927, 786467, 786454, 786446, 393231, 393229, 458775, 524324,    589883, 589873, 655437, 655425, 589853, 655400, 655390, 720936, 720923, 786465, 852010, 851984,    458774, 458772, 524325, 589885, 589880, 655439, 655433, 655424, 655403, 720972, 720952, 720933,    720922, 786463, 851993, 851982, 524323, 458768, 589884, 589881, 655457, 655435, 721010, 720987,    655414, 720969, 720951, 786473, 786480, 852021, 851991, 917528, 589882, 524315, 589874, 655456,    655436, 655430, 720989, 720980, 720973, 720954, 786511, 720925, 852042, 852017, 917545, 917521,    589871, 589869, 655438, 655434, 721011, 720990, 720986, 720975, 720965, 786515, 786503, 786482,    852027, 852006, 917540, 917519, 655432, 589858, 655416, 720991, 720988, 720981, 786523, 786522,    786518, 786505, 852045, 852033, 852019, 917548, 1048619, 1048618, 589867, 524308, 589854,    655404, 655415, 720974, 720968, 786519, 786510, 786493, 786478, 852022, 852005, 917534, 983060,    983056, 655413, 589849, 655401, 655397, 720940, 720955, 720950, 852049, 786498, 852044, 852025,    917558, 917541, 917522, 1048615, 983051, 655395, 655393, 655391, 720953, 720938, 786514, 786504,    852048, 786479, 852026, 917559, 851989, 917526, 983066, 1048614, 1114134, 720949, 655385,    655383, 720934, 786502, 786492, 786483, 786468, 852023, 851994, 852002, 917527, 983067, 983054,    983049, 1048583, 720930, 720928, 720924, 786471, 786481, 852043, 786462, 852020, 917552, 917544,    983092, 983068, 983058, 1048593, 1048585, 1048581, 786477, 720917, 786466, 852032, 852024,    852018, 917553, 917549, 917535, 917523, 917516, 983055, 1048586, 983047, 1048582, 1048579,    852016, 786455, 786452, 852007, 852004, 852003, 983093, 917525, 917520, 1114135, 983053, 983050,    983046, 1114113, 1048580, 1048578, 786448, 786447, 851985, 917531, 917529, 917524, 983069,    917515, 983057, 983052, 1048592, 1048584, 1245185, 1179649, 1245184, 1048577  ]def tab.code.p14() -> List<&2, U32>:  [    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, 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, 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, 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, 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, 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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0  ]def tab.code.p15() -> List<&2, U32>:  [    196615, 262156, 327698, 458805, 458799, 524364, 589948, 589932, 589913, 655483, 655468, 721015,    721003, 720977, 786554, 852031, 262157, 196613, 327696, 393243, 458798, 458788, 524349, 524339,    524330, 589894, 589876, 655443, 655425, 655401, 720955, 720932, 327699, 327697, 327695, 393240,    458793, 458786, 524347, 524336, 524328, 589888, 589874, 655438, 655422, 720976, 720952, 720929,    393245, 393244, 393241, 458795, 458791, 524351, 524343, 589917, 589900, 589883, 655453, 655432,    655414, 720971, 720946, 720925, 458804, 393238, 458794, 458792, 524355, 524345, 589919, 589903,    589896, 589881, 655449, 655429, 655409, 720962, 720942, 720923, 524365, 458789, 458787, 524354,    524346, 524340, 589915, 589898, 589886, 589872, 655439, 655423, 720986, 720958, 720936, 786470,    589949, 458784, 524348, 524344, 524338, 589916, 589902, 589889, 589879, 655447, 655431, 655411,    720969, 720947, 786502, 786462, 589933, 524341, 524337, 589918, 589912, 589899, 589890, 655482,    655451, 655433, 655416, 655402, 720960, 720940, 720917, 786457, 589914, 524331, 524329, 589901,    589897, 589887, 589880, 655452, 655437, 655426, 655407, 720963, 720944, 786485, 786468, 786452,    589895, 524322, 589891, 589884, 589882, 589873, 655448, 655436, 655427, 721002, 720967, 720950,    720934, 786471, 786455, 786447, 655469, 589877, 589875, 589871, 655450, 655442, 655418, 655417,    655408, 720968, 720953, 720937, 720919, 786459, 852030, 786441, 655446, 589866, 589864, 589861,    655430, 655424, 655412, 655403, 720966, 720951, 720938, 720921, 786461, 786450, 786443, 851979,    721014, 655428, 589854, 655415, 655410, 655406, 720970, 720961, 720945, 720935, 720920, 720912,    786454, 786445, 851982, 851975, 720987, 655404, 655399, 655398, 655394, 720959, 720948, 720941,    720927, 786484, 786460, 786451, 786446, 786440, 851977, 851971, 786555, 720956, 720954, 720949,    720943, 720939, 720928, 720918, 786469, 786456, 786449, 786444, 851983, 851978, 786434, 851969,    786503, 720933, 720930, 720926, 720924, 720916, 720913, 786458, 786453, 786448, 786442, 786438,    851976, 851974, 851970, 851968  ]def tab.code.p16() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p17() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p18() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p19() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p20() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p21() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p22() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p23() -> List<&2, U32>:  [    65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,    786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,    655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,    589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,    524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,    786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,    721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,    655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,    655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,    852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,    786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,    721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,    721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,    852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,    852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,    786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,    786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,    917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,    918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,    786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,    917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,    720906, 720903, 720901, 720899, 720897, 524291  ]def tab.code.p24() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p25() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p26() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p27() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p28() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p29() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p30() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code.p31() -> List<&2, U32>:  [    262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,    721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,    590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,    458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,    458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,    655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,    590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,    524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,    590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,    655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,    655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,    590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,    655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,    721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,    655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,    589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,    721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,    721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,    721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,    655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,    524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,    524293, 524291, 524289, 262147  ]def tab.code() -> List<&2, U32>:  tabs.join([    tab.code.p0(),    tab.code.p1(),    tab.code.p2(),    tab.code.p3(),    tab.code.p4(),    tab.code.p5(),    tab.code.p6(),    tab.code.p7(),    tab.code.p8(),    tab.code.p9(),    tab.code.p10(),    tab.code.p11(),    tab.code.p12(),    tab.code.p13(),    tab.code.p14(),    tab.code.p15(),    tab.code.p16(),    tab.code.p17(),    tab.code.p18(),    tab.code.p19(),    tab.code.p20(),    tab.code.p21(),    tab.code.p22(),    tab.code.p23(),    tab.code.p24(),    tab.code.p25(),    tab.code.p26(),    tab.code.p27(),    tab.code.p28(),    tab.code.p29(),    tab.code.p30(),    tab.code.p31(),  ])def tab.scf.p0() -> List<&2, U32>:  [    4, 4, 4, 4, 4, 4, 6, 6, 8, 8, 10, 12, 16, 20, 24, 28, 34, 42, 50, 54, 76, 158, 4, 4, 4, 4, 4, 4,    6, 6, 6, 8, 10, 12, 16, 18, 22, 28, 34, 40, 46, 54, 54, 192, 4, 4, 4, 4, 4, 4, 6, 6, 8, 10, 12,    16, 20, 24, 30, 38, 46, 56, 68, 84, 102, 26  ]def tab.scf() -> List<&2, U32>:  tab.scf.p0()