How to use from method in fast-check-monorepo

Best JavaScript code snippet using fast-check-monorepo

ts_it_types.ts

Source:ts_it_types.ts Github

copy

Full Screen

1// --------------------- ERROR BLOCK --------------------- \\2/** Controll of Switch block and unreachable statements */3export class UnreachableStatementError extends Error {4 /**5 * Конструктор6 * @param value аргумент switch7 */8 constructor(value: never) {9 super(`Unreachable statement: ${value}`);10 }11}12/** Alias to UnreachableStatementError */13export const NeverError = UnreachableStatementError;14// --------------------- BUILDIN OVERLOAD BLOCK --------------------- \\15/**16 * GetNames type to exctract name from type or class17 * @template FromType type to analyze18 * @template KeepType type to keep. Default is any - all types be included19 * @template Include include direct type of names. Default is true20 */21export type GetNames<FromType, KeepType = any, Include = true> = {22 [K in keyof FromType]: 23 FromType[K] extends KeepType ? 24 Include extends true ? K : 25 never : Include extends true ? 26 never : K27}[keyof FromType];28/**29 * LoseNames. vice versa of GetNames30 * @template FromType type to analyze31 * @template OnlyType type to keep. Default is any - all types be included32 * @template Include include direct type of names. Default is true33 */34export type LoseNames<FromType, IgnoreType> = GetNames<FromType, IgnoreType, false>;35/**36 * Be or not to be...37 */38export type Maybe<T> = T | void;39/**40 * Select type41 * @template State true or false 42 * @template FirstType to be type on true43 * @template SecondType to be type on false44 */45export type TypeSelector<State extends boolean, FirstType, SecondType> = State extends true ? FirstType : SecondType;46// --------------------- MAP BLOCK --------------------- \\47/**48 * Map Qualifier49 * @template T value type50 */51export type MapQualifier<T> = {[key: string]: T};52/**53 * Map Qualifier. Short name54 * @template T value type55 */56export type MapQ<T> = {[key: string]: T};57/**58 * StringMap Declaration59 * key - string type60 * value - string type61 */62export type StringMap = MapQualifier<string>;63/**64 * ObjectMap Declaration65 * key - string type66 * value - any type67 */68export type ObjectMap = MapQualifier<any>;69// --------------------- R BLOCK --------------------- \\70/** 71 * Rang Qualifier 72 * @template From R from73 * @template To R to74 */75export type RangQualifier<From, To> = Exclude<To, From>;76/** 77 * Rang Qualifier. Short name78 * @template From R from79 * @template To R to80 */81export type RQ<From, To> = Exclude<To, From>;82/** ZERO */83export type R0 = 0;84/** R from [0 to 1] */85export type R1 = R0 | 1;86/** R from [0 to 1) */87export type R1n = R0;88/** R from [0 to 2] */89export type R2 = R1 | 2;90/** R from [0 to 2) */91export type R2n = R1;92/** R from [0 to 3] */93export type R3 = R2 | 3;94/** R from [0 to 3) */95export type R3n = R2;96/** R from [0 to 4] */97export type R4 = R3 | 4;98/** R from [0 to 4) */99export type R4n = R3;100/** R from [0 to 5] */101export type R5 = R4 | 5;102/** R from [0 to 5) */103export type R5n = R4;104/** R from [0 to 6] */105export type R6 = R5 | 6;106/** R from [0 to 6) */107export type R6n = R5;108/** R from [0 to 7] */109export type R7 = R6 | 7;110/** R from [0 to 7) */111export type R7n = R6;112/** R from [0 to 8] */113export type R8 = R7 | 8;114/** R from [0 to 8) */115export type R8n = R7;116/** R from [0 to 9] */117export type R9 = R8 | 9;118/** R from [0 to 9) */119export type R9n = R8;120/** R from [0 to 10] */121export type R10 = R9 | 10;122/** R from [0 to 10) */123export type R10n = R9;124/** R from [0 to 11] */125export type R11 = R10 | 11;126/** R from [0 to 11) */127export type R11n = R10;128/** R from [0 to 12] */129export type R12 = R11 | 12;130/** R from [0 to 12) */131export type R12n = R11;132/** R from [0 to 13] */133export type R13 = R12 | 13;134/** R from [0 to 13) */135export type R13n = R12;136/** R from [0 to 14] */137export type R14 = R13 | 14;138/** R from [0 to 14) */139export type R14n = R13;140/** R from [0 to 15] */141export type R15 = R14 | 15;142/** R from [0 to 15) */143export type R15n = R14;144/** R from [0 to 16] */145export type R16 = R15 | 16;146/** R from [0 to 16) */147export type R16n = R15;148/** R from [0 to 17] */149export type R17 = R16 | 17;150/** R from [0 to 17) */151export type R17n = R16;152/** R from [0 to 18] */153export type R18 = R17 | 18;154/** R from [0 to 18) */155export type R18n = R17;156/** R from [0 to 19] */157export type R19 = R18 | 19;158/** R from [0 to 19) */159export type R19n = R18;160/** R from [0 to 20] */161export type R20 = R19 | 20;162/** R from [0 to 20) */163export type R20n = R19;164/** R from [0 to 21] */165export type R21 = R20 | 21;166/** R from [0 to 21) */167export type R21n = R20;168/** R from [0 to 22] */169export type R22 = R21 | 22;170/** R from [0 to 22) */171export type R22n = R21;172/** R from [0 to 23] */173export type R23 = R22 | 23;174/** R from [0 to 23) */175export type R23n = R22;176/** R from [0 to 24] */177export type R24 = R23 | 24;178/** R from [0 to 24) */179export type R24n = R23;180/** R from [0 to 25] */181export type R25 = R24 | 25;182/** R from [0 to 25) */183export type R25n = R24;184/** R from [0 to 26] */185export type R26 = R25 | 26;186/** R from [0 to 26) */187export type R26n = R25;188/** R from [0 to 27] */189export type R27 = R26 | 27;190/** R from [0 to 27) */191export type R27n = R26;192/** R from [0 to 28] */193export type R28 = R27 | 28;194/** R from [0 to 28) */195export type R28n = R27;196/** R from [0 to 29] */197export type R29 = R28 | 29;198/** R from [0 to 29) */199export type R29n = R28;200/** R from [0 to 30] */201export type R30 = R29 | 30;202/** R from [0 to 30) */203export type R30n = R29;204/** R from [0 to 31] */205export type R31 = R30 | 31;206/** R from [0 to 31) */207export type R31n = R30;208/** R from [0 to 32] */209export type R32 = R31 | 32;210/** R from [0 to 32) */211export type R32n = R31;212/** R from [0 to 33] */213export type R33 = R32 | 33;214/** R from [0 to 33) */215export type R33n = R32;216/** R from [0 to 34] */217export type R34 = R33 | 34;218/** R from [0 to 34) */219export type R34n = R33;220/** R from [0 to 35] */221export type R35 = R34 | 35;222/** R from [0 to 35) */223export type R35n = R34;224/** R from [0 to 36] */225export type R36 = R35 | 36;226/** R from [0 to 36) */227export type R36n = R35;228/** R from [0 to 37] */229export type R37 = R36 | 37;230/** R from [0 to 37) */231export type R37n = R36;232/** R from [0 to 38] */233export type R38 = R37 | 38;234/** R from [0 to 38) */235export type R38n = R37;236/** R from [0 to 39] */237export type R39 = R38 | 39;238/** R from [0 to 39) */239export type R39n = R38;240/** R from [0 to 40] */241export type R40 = R39 | 40;242/** R from [0 to 40) */243export type R40n = R39;244/** R from [0 to 41] */245export type R41 = R40 | 41;246/** R from [0 to 41) */247export type R41n = R40;248/** R from [0 to 42] */249export type R42 = R41 | 42;250/** R from [0 to 42) */251export type R42n = R41;252/** R from [0 to 43] */253export type R43 = R42 | 43;254/** R from [0 to 43) */255export type R43n = R42;256/** R from [0 to 44] */257export type R44 = R43 | 44;258/** R from [0 to 44) */259export type R44n = R43;260/** R from [0 to 45] */261export type R45 = R44 | 45;262/** R from [0 to 45) */263export type R45n = R44;264/** R from [0 to 46] */265export type R46 = R45 | 46;266/** R from [0 to 46) */267export type R46n = R45;268/** R from [0 to 47] */269export type R47 = R46 | 47;270/** R from [0 to 47) */271export type R47n = R46;272/** R from [0 to 48] */273export type R48 = R47 | 48;274/** R from [0 to 48) */275export type R48n = R47;276/** R from [0 to 49] */277export type R49 = R48 | 49;278/** R from [0 to 49) */279export type R49n = R48;280/** R from [0 to 50] */281export type R50 = R49 | 50;282/** R from [0 to 50) */283export type R50n = R49;284/** R from [0 to 51] */285export type R51 = R50 | 51;286/** R from [0 to 51) */287export type R51n = R50;288/** R from [0 to 52] */289export type R52 = R51 | 52;290/** R from [0 to 52) */291export type R52n = R51;292/** R from [0 to 53] */293export type R53 = R52 | 53;294/** R from [0 to 53) */295export type R53n = R52;296/** R from [0 to 54] */297export type R54 = R53 | 54;298/** R from [0 to 54) */299export type R54n = R53;300/** R from [0 to 55] */301export type R55 = R54 | 55;302/** R from [0 to 55) */303export type R55n = R54;304/** R from [0 to 56] */305export type R56 = R55 | 56;306/** R from [0 to 56) */307export type R56n = R55;308/** R from [0 to 57] */309export type R57 = R56 | 57;310/** R from [0 to 57) */311export type R57n = R56;312/** R from [0 to 58] */313export type R58 = R57 | 58;314/** R from [0 to 58) */315export type R58n = R57;316/** R from [0 to 59] */317export type R59 = R58 | 59;318/** R from [0 to 59) */319export type R59n = R58;320/** R from [0 to 60] */321export type R60 = R59 | 60;322/** R from [0 to 60) */323export type R60n = R59;324/** R from [0 to 61] */325export type R61 = R60 | 61;326/** R from [0 to 61) */327export type R61n = R60;328/** R from [0 to 62] */329export type R62 = R61 | 62;330/** R from [0 to 62) */331export type R62n = R61;332/** R from [0 to 63] */333export type R63 = R62 | 63;334/** R from [0 to 63) */335export type R63n = R62;336/** R from [0 to 64] */337export type R64 = R63 | 64;338/** R from [0 to 64) */339export type R64n = R63;340/** R from [0 to 65] */341export type R65 = R64 | 65;342/** R from [0 to 65) */343export type R65n = R64;344/** R from [0 to 66] */345export type R66 = R65 | 66;346/** R from [0 to 66) */347export type R66n = R65;348/** R from [0 to 67] */349export type R67 = R66 | 67;350/** R from [0 to 67) */351export type R67n = R66;352/** R from [0 to 68] */353export type R68 = R67 | 68;354/** R from [0 to 68) */355export type R68n = R67;356/** R from [0 to 69] */357export type R69 = R68 | 69;358/** R from [0 to 69) */359export type R69n = R68;360/** R from [0 to 70] */361export type R70 = R69 | 70;362/** R from [0 to 70) */363export type R70n = R69;364/** R from [0 to 71] */365export type R71 = R70 | 71;366/** R from [0 to 71) */367export type R71n = R70;368/** R from [0 to 72] */369export type R72 = R71 | 72;370/** R from [0 to 72) */371export type R72n = R71;372/** R from [0 to 73] */373export type R73 = R72 | 73;374/** R from [0 to 73) */375export type R73n = R72;376/** R from [0 to 74] */377export type R74 = R73 | 74;378/** R from [0 to 74) */379export type R74n = R73;380/** R from [0 to 75] */381export type R75 = R74 | 75;382/** R from [0 to 75) */383export type R75n = R74;384/** R from [0 to 76] */385export type R76 = R75 | 76;386/** R from [0 to 76) */387export type R76n = R75;388/** R from [0 to 77] */389export type R77 = R76 | 77;390/** R from [0 to 77) */391export type R77n = R76;392/** R from [0 to 78] */393export type R78 = R77 | 78;394/** R from [0 to 78) */395export type R78n = R77;396/** R from [0 to 79] */397export type R79 = R78 | 79;398/** R from [0 to 79) */399export type R79n = R78;400/** R from [0 to 80] */401export type R80 = R79 | 80;402/** R from [0 to 80) */403export type R80n = R79;404/** R from [0 to 81] */405export type R81 = R80 | 81;406/** R from [0 to 81) */407export type R81n = R80;408/** R from [0 to 82] */409export type R82 = R81 | 82;410/** R from [0 to 82) */411export type R82n = R81;412/** R from [0 to 83] */413export type R83 = R82 | 83;414/** R from [0 to 83) */415export type R83n = R82;416/** R from [0 to 84] */417export type R84 = R83 | 84;418/** R from [0 to 84) */419export type R84n = R83;420/** R from [0 to 85] */421export type R85 = R84 | 85;422/** R from [0 to 85) */423export type R85n = R84;424/** R from [0 to 86] */425export type R86 = R85 | 86;426/** R from [0 to 86) */427export type R86n = R85;428/** R from [0 to 87] */429export type R87 = R86 | 87;430/** R from [0 to 87) */431export type R87n = R86;432/** R from [0 to 88] */433export type R88 = R87 | 88;434/** R from [0 to 88) */435export type R88n = R87;436/** R from [0 to 89] */437export type R89 = R88 | 89;438/** R from [0 to 89) */439export type R89n = R88;440/** R from [0 to 90] */441export type R90 = R89 | 90;442/** R from [0 to 90) */443export type R90n = R89;444/** R from [0 to 91] */445export type R91 = R90 | 91;446/** R from [0 to 91) */447export type R91n = R90;448/** R from [0 to 92] */449export type R92 = R91 | 92;450/** R from [0 to 92) */451export type R92n = R91;452/** R from [0 to 93] */453export type R93 = R92 | 93;454/** R from [0 to 93) */455export type R93n = R92;456/** R from [0 to 94] */457export type R94 = R93 | 94;458/** R from [0 to 94) */459export type R94n = R93;460/** R from [0 to 95] */461export type R95 = R94 | 95;462/** R from [0 to 95) */463export type R95n = R94;464/** R from [0 to 96] */465export type R96 = R95 | 96;466/** R from [0 to 96) */467export type R96n = R95;468/** R from [0 to 97] */469export type R97 = R96 | 97;470/** R from [0 to 97) */471export type R97n = R96;472/** R from [0 to 98] */473export type R98 = R97 | 98;474/** R from [0 to 98) */475export type R98n = R97;476/** R from [0 to 99] */477export type R99 = R98 | 99;478/** R from [0 to 99) */479export type R99n = R98;480/** R from [0 to 100] */481export type R100 = R99 | 100;482/** R from [0 to 100) */483export type R100n = R99;484/** R from [0 to 101] */485export type R101 = R100 | 101;486/** R from [0 to 101) */487export type R101n = R100;488/** R from [0 to 102] */489export type R102 = R101 | 102;490/** R from [0 to 102) */491export type R102n = R101;492/** R from [0 to 103] */493export type R103 = R102 | 103;494/** R from [0 to 103) */495export type R103n = R102;496/** R from [0 to 104] */497export type R104 = R103 | 104;498/** R from [0 to 104) */499export type R104n = R103;500/** R from [0 to 105] */501export type R105 = R104 | 105;502/** R from [0 to 105) */503export type R105n = R104;504/** R from [0 to 106] */505export type R106 = R105 | 106;506/** R from [0 to 106) */507export type R106n = R105;508/** R from [0 to 107] */509export type R107 = R106 | 107;510/** R from [0 to 107) */511export type R107n = R106;512/** R from [0 to 108] */513export type R108 = R107 | 108;514/** R from [0 to 108) */515export type R108n = R107;516/** R from [0 to 109] */517export type R109 = R108 | 109;518/** R from [0 to 109) */519export type R109n = R108;520/** R from [0 to 110] */521export type R110 = R109 | 110;522/** R from [0 to 110) */523export type R110n = R109;524/** R from [0 to 111] */525export type R111 = R110 | 111;526/** R from [0 to 111) */527export type R111n = R110;528/** R from [0 to 112] */529export type R112 = R111 | 112;530/** R from [0 to 112) */531export type R112n = R111;532/** R from [0 to 113] */533export type R113 = R112 | 113;534/** R from [0 to 113) */535export type R113n = R112;536/** R from [0 to 114] */537export type R114 = R113 | 114;538/** R from [0 to 114) */539export type R114n = R113;540/** R from [0 to 115] */541export type R115 = R114 | 115;542/** R from [0 to 115) */543export type R115n = R114;544/** R from [0 to 116] */545export type R116 = R115 | 116;546/** R from [0 to 116) */547export type R116n = R115;548/** R from [0 to 117] */549export type R117 = R116 | 117;550/** R from [0 to 117) */551export type R117n = R116;552/** R from [0 to 118] */553export type R118 = R117 | 118;554/** R from [0 to 118) */555export type R118n = R117;556/** R from [0 to 119] */557export type R119 = R118 | 119;558/** R from [0 to 119) */559export type R119n = R118;560/** R from [0 to 120] */561export type R120 = R119 | 120;562/** R from [0 to 120) */563export type R120n = R119;564/** R from [0 to 121] */565export type R121 = R120 | 121;566/** R from [0 to 121) */567export type R121n = R120;568/** R from [0 to 122] */569export type R122 = R121 | 122;570/** R from [0 to 122) */571export type R122n = R121;572/** R from [0 to 123] */573export type R123 = R122 | 123;574/** R from [0 to 123) */575export type R123n = R122;576/** R from [0 to 124] */577export type R124 = R123 | 124;578/** R from [0 to 124) */579export type R124n = R123;580/** R from [0 to 125] */581export type R125 = R124 | 125;582/** R from [0 to 125) */583export type R125n = R124;584/** R from [0 to 126] */585export type R126 = R125 | 126;586/** R from [0 to 126) */587export type R126n = R125;588/** R from [0 to 127] */589export type R127 = R126 | 127;590/** R from [0 to 127) */591export type R127n = R126;592/** R from [0 to 128] */593export type R128 = R127 | 128;594/** R from [0 to 128) */595export type R128n = R127;596/** R from [0 to 129] */597export type R129 = R128 | 129;598/** R from [0 to 129) */599export type R129n = R128;600/** R from [0 to 130] */601export type R130 = R129 | 130;602/** R from [0 to 130) */603export type R130n = R129;604/** R from [0 to 131] */605export type R131 = R130 | 131;606/** R from [0 to 131) */607export type R131n = R130;608/** R from [0 to 132] */609export type R132 = R131 | 132;610/** R from [0 to 132) */611export type R132n = R131;612/** R from [0 to 133] */613export type R133 = R132 | 133;614/** R from [0 to 133) */615export type R133n = R132;616/** R from [0 to 134] */617export type R134 = R133 | 134;618/** R from [0 to 134) */619export type R134n = R133;620/** R from [0 to 135] */621export type R135 = R134 | 135;622/** R from [0 to 135) */623export type R135n = R134;624/** R from [0 to 136] */625export type R136 = R135 | 136;626/** R from [0 to 136) */627export type R136n = R135;628/** R from [0 to 137] */629export type R137 = R136 | 137;630/** R from [0 to 137) */631export type R137n = R136;632/** R from [0 to 138] */633export type R138 = R137 | 138;634/** R from [0 to 138) */635export type R138n = R137;636/** R from [0 to 139] */637export type R139 = R138 | 139;638/** R from [0 to 139) */639export type R139n = R138;640/** R from [0 to 140] */641export type R140 = R139 | 140;642/** R from [0 to 140) */643export type R140n = R139;644/** R from [0 to 141] */645export type R141 = R140 | 141;646/** R from [0 to 141) */647export type R141n = R140;648/** R from [0 to 142] */649export type R142 = R141 | 142;650/** R from [0 to 142) */651export type R142n = R141;652/** R from [0 to 143] */653export type R143 = R142 | 143;654/** R from [0 to 143) */655export type R143n = R142;656/** R from [0 to 144] */657export type R144 = R143 | 144;658/** R from [0 to 144) */659export type R144n = R143;660/** R from [0 to 145] */661export type R145 = R144 | 145;662/** R from [0 to 145) */663export type R145n = R144;664/** R from [0 to 146] */665export type R146 = R145 | 146;666/** R from [0 to 146) */667export type R146n = R145;668/** R from [0 to 147] */669export type R147 = R146 | 147;670/** R from [0 to 147) */671export type R147n = R146;672/** R from [0 to 148] */673export type R148 = R147 | 148;674/** R from [0 to 148) */675export type R148n = R147;676/** R from [0 to 149] */677export type R149 = R148 | 149;678/** R from [0 to 149) */679export type R149n = R148;680/** R from [0 to 150] */681export type R150 = R149 | 150;682/** R from [0 to 150) */683export type R150n = R149;684/** R from [0 to 151] */685export type R151 = R150 | 151;686/** R from [0 to 151) */687export type R151n = R150;688/** R from [0 to 152] */689export type R152 = R151 | 152;690/** R from [0 to 152) */691export type R152n = R151;692/** R from [0 to 153] */693export type R153 = R152 | 153;694/** R from [0 to 153) */695export type R153n = R152;696/** R from [0 to 154] */697export type R154 = R153 | 154;698/** R from [0 to 154) */699export type R154n = R153;700/** R from [0 to 155] */701export type R155 = R154 | 155;702/** R from [0 to 155) */703export type R155n = R154;704/** R from [0 to 156] */705export type R156 = R155 | 156;706/** R from [0 to 156) */707export type R156n = R155;708/** R from [0 to 157] */709export type R157 = R156 | 157;710/** R from [0 to 157) */711export type R157n = R156;712/** R from [0 to 158] */713export type R158 = R157 | 158;714/** R from [0 to 158) */715export type R158n = R157;716/** R from [0 to 159] */717export type R159 = R158 | 159;718/** R from [0 to 159) */719export type R159n = R158;720/** R from [0 to 160] */721export type R160 = R159 | 160;722/** R from [0 to 160) */723export type R160n = R159;724/** R from [0 to 161] */725export type R161 = R160 | 161;726/** R from [0 to 161) */727export type R161n = R160;728/** R from [0 to 162] */729export type R162 = R161 | 162;730/** R from [0 to 162) */731export type R162n = R161;732/** R from [0 to 163] */733export type R163 = R162 | 163;734/** R from [0 to 163) */735export type R163n = R162;736/** R from [0 to 164] */737export type R164 = R163 | 164;738/** R from [0 to 164) */739export type R164n = R163;740/** R from [0 to 165] */741export type R165 = R164 | 165;742/** R from [0 to 165) */743export type R165n = R164;744/** R from [0 to 166] */745export type R166 = R165 | 166;746/** R from [0 to 166) */747export type R166n = R165;748/** R from [0 to 167] */749export type R167 = R166 | 167;750/** R from [0 to 167) */751export type R167n = R166;752/** R from [0 to 168] */753export type R168 = R167 | 168;754/** R from [0 to 168) */755export type R168n = R167;756/** R from [0 to 169] */757export type R169 = R168 | 169;758/** R from [0 to 169) */759export type R169n = R168;760/** R from [0 to 170] */761export type R170 = R169 | 170;762/** R from [0 to 170) */763export type R170n = R169;764/** R from [0 to 171] */765export type R171 = R170 | 171;766/** R from [0 to 171) */767export type R171n = R170;768/** R from [0 to 172] */769export type R172 = R171 | 172;770/** R from [0 to 172) */771export type R172n = R171;772/** R from [0 to 173] */773export type R173 = R172 | 173;774/** R from [0 to 173) */775export type R173n = R172;776/** R from [0 to 174] */777export type R174 = R173 | 174;778/** R from [0 to 174) */779export type R174n = R173;780/** R from [0 to 175] */781export type R175 = R174 | 175;782/** R from [0 to 175) */783export type R175n = R174;784/** R from [0 to 176] */785export type R176 = R175 | 176;786/** R from [0 to 176) */787export type R176n = R175;788/** R from [0 to 177] */789export type R177 = R176 | 177;790/** R from [0 to 177) */791export type R177n = R176;792/** R from [0 to 178] */793export type R178 = R177 | 178;794/** R from [0 to 178) */795export type R178n = R177;796/** R from [0 to 179] */797export type R179 = R178 | 179;798/** R from [0 to 179) */799export type R179n = R178;800/** R from [0 to 180] */801export type R180 = R179 | 180;802/** R from [0 to 180) */803export type R180n = R179;804/** R from [0 to 181] */805export type R181 = R180 | 181;806/** R from [0 to 181) */807export type R181n = R180;808/** R from [0 to 182] */809export type R182 = R181 | 182;810/** R from [0 to 182) */811export type R182n = R181;812/** R from [0 to 183] */813export type R183 = R182 | 183;814/** R from [0 to 183) */815export type R183n = R182;816/** R from [0 to 184] */817export type R184 = R183 | 184;818/** R from [0 to 184) */819export type R184n = R183;820/** R from [0 to 185] */821export type R185 = R184 | 185;822/** R from [0 to 185) */823export type R185n = R184;824/** R from [0 to 186] */825export type R186 = R185 | 186;826/** R from [0 to 186) */827export type R186n = R185;828/** R from [0 to 187] */829export type R187 = R186 | 187;830/** R from [0 to 187) */831export type R187n = R186;832/** R from [0 to 188] */833export type R188 = R187 | 188;834/** R from [0 to 188) */835export type R188n = R187;836/** R from [0 to 189] */837export type R189 = R188 | 189;838/** R from [0 to 189) */839export type R189n = R188;840/** R from [0 to 190] */841export type R190 = R189 | 190;842/** R from [0 to 190) */843export type R190n = R189;844/** R from [0 to 191] */845export type R191 = R190 | 191;846/** R from [0 to 191) */847export type R191n = R190;848/** R from [0 to 192] */849export type R192 = R191 | 192;850/** R from [0 to 192) */851export type R192n = R191;852/** R from [0 to 193] */853export type R193 = R192 | 193;854/** R from [0 to 193) */855export type R193n = R192;856/** R from [0 to 194] */857export type R194 = R193 | 194;858/** R from [0 to 194) */859export type R194n = R193;860/** R from [0 to 195] */861export type R195 = R194 | 195;862/** R from [0 to 195) */863export type R195n = R194;864/** R from [0 to 196] */865export type R196 = R195 | 196;866/** R from [0 to 196) */867export type R196n = R195;868/** R from [0 to 197] */869export type R197 = R196 | 197;870/** R from [0 to 197) */871export type R197n = R196;872/** R from [0 to 198] */873export type R198 = R197 | 198;874/** R from [0 to 198) */875export type R198n = R197;876/** R from [0 to 199] */877export type R199 = R198 | 199;878/** R from [0 to 199) */879export type R199n = R198;880/** R from [0 to 200] */881export type R200 = R199 | 200;882/** R from [0 to 200) */883export type R200n = R199;884/** R from [0 to 201] */885export type R201 = R200 | 201;886/** R from [0 to 201) */887export type R201n = R200;888/** R from [0 to 202] */889export type R202 = R201 | 202;890/** R from [0 to 202) */891export type R202n = R201;892/** R from [0 to 203] */893export type R203 = R202 | 203;894/** R from [0 to 203) */895export type R203n = R202;896/** R from [0 to 204] */897export type R204 = R203 | 204;898/** R from [0 to 204) */899export type R204n = R203;900/** R from [0 to 205] */901export type R205 = R204 | 205;902/** R from [0 to 205) */903export type R205n = R204;904/** R from [0 to 206] */905export type R206 = R205 | 206;906/** R from [0 to 206) */907export type R206n = R205;908/** R from [0 to 207] */909export type R207 = R206 | 207;910/** R from [0 to 207) */911export type R207n = R206;912/** R from [0 to 208] */913export type R208 = R207 | 208;914/** R from [0 to 208) */915export type R208n = R207;916/** R from [0 to 209] */917export type R209 = R208 | 209;918/** R from [0 to 209) */919export type R209n = R208;920/** R from [0 to 210] */921export type R210 = R209 | 210;922/** R from [0 to 210) */923export type R210n = R209;924/** R from [0 to 211] */925export type R211 = R210 | 211;926/** R from [0 to 211) */927export type R211n = R210;928/** R from [0 to 212] */929export type R212 = R211 | 212;930/** R from [0 to 212) */931export type R212n = R211;932/** R from [0 to 213] */933export type R213 = R212 | 213;934/** R from [0 to 213) */935export type R213n = R212;936/** R from [0 to 214] */937export type R214 = R213 | 214;938/** R from [0 to 214) */939export type R214n = R213;940/** R from [0 to 215] */941export type R215 = R214 | 215;942/** R from [0 to 215) */943export type R215n = R214;944/** R from [0 to 216] */945export type R216 = R215 | 216;946/** R from [0 to 216) */947export type R216n = R215;948/** R from [0 to 217] */949export type R217 = R216 | 217;950/** R from [0 to 217) */951export type R217n = R216;952/** R from [0 to 218] */953export type R218 = R217 | 218;954/** R from [0 to 218) */955export type R218n = R217;956/** R from [0 to 219] */957export type R219 = R218 | 219;958/** R from [0 to 219) */959export type R219n = R218;960/** R from [0 to 220] */961export type R220 = R219 | 220;962/** R from [0 to 220) */963export type R220n = R219;964/** R from [0 to 221] */965export type R221 = R220 | 221;966/** R from [0 to 221) */967export type R221n = R220;968/** R from [0 to 222] */969export type R222 = R221 | 222;970/** R from [0 to 222) */971export type R222n = R221;972/** R from [0 to 223] */973export type R223 = R222 | 223;974/** R from [0 to 223) */975export type R223n = R222;976/** R from [0 to 224] */977export type R224 = R223 | 224;978/** R from [0 to 224) */979export type R224n = R223;980/** R from [0 to 225] */981export type R225 = R224 | 225;982/** R from [0 to 225) */983export type R225n = R224;984/** R from [0 to 226] */985export type R226 = R225 | 226;986/** R from [0 to 226) */987export type R226n = R225;988/** R from [0 to 227] */989export type R227 = R226 | 227;990/** R from [0 to 227) */991export type R227n = R226;992/** R from [0 to 228] */993export type R228 = R227 | 228;994/** R from [0 to 228) */995export type R228n = R227;996/** R from [0 to 229] */997export type R229 = R228 | 229;998/** R from [0 to 229) */999export type R229n = R228;1000/** R from [0 to 230] */1001export type R230 = R229 | 230;1002/** R from [0 to 230) */1003export type R230n = R229;1004/** R from [0 to 231] */1005export type R231 = R230 | 231;1006/** R from [0 to 231) */1007export type R231n = R230;1008/** R from [0 to 232] */1009export type R232 = R231 | 232;1010/** R from [0 to 232) */1011export type R232n = R231;1012/** R from [0 to 233] */1013export type R233 = R232 | 233;1014/** R from [0 to 233) */1015export type R233n = R232;1016/** R from [0 to 234] */1017export type R234 = R233 | 234;1018/** R from [0 to 234) */1019export type R234n = R233;1020/** R from [0 to 235] */1021export type R235 = R234 | 235;1022/** R from [0 to 235) */1023export type R235n = R234;1024/** R from [0 to 236] */1025export type R236 = R235 | 236;1026/** R from [0 to 236) */1027export type R236n = R235;1028/** R from [0 to 237] */1029export type R237 = R236 | 237;1030/** R from [0 to 237) */1031export type R237n = R236;1032/** R from [0 to 238] */1033export type R238 = R237 | 238;1034/** R from [0 to 238) */1035export type R238n = R237;1036/** R from [0 to 239] */1037export type R239 = R238 | 239;1038/** R from [0 to 239) */1039export type R239n = R238;1040/** R from [0 to 240] */1041export type R240 = R239 | 240;1042/** R from [0 to 240) */1043export type R240n = R239;1044/** R from [0 to 241] */1045export type R241 = R240 | 241;1046/** R from [0 to 241) */1047export type R241n = R240;1048/** R from [0 to 242] */1049export type R242 = R241 | 242;1050/** R from [0 to 242) */1051export type R242n = R241;1052/** R from [0 to 243] */1053export type R243 = R242 | 243;1054/** R from [0 to 243) */1055export type R243n = R242;1056/** R from [0 to 244] */1057export type R244 = R243 | 244;1058/** R from [0 to 244) */1059export type R244n = R243;1060/** R from [0 to 245] */1061export type R245 = R244 | 245;1062/** R from [0 to 245) */1063export type R245n = R244;1064/** R from [0 to 246] */1065export type R246 = R245 | 246;1066/** R from [0 to 246) */1067export type R246n = R245;1068/** R from [0 to 247] */1069export type R247 = R246 | 247;1070/** R from [0 to 247) */1071export type R247n = R246;1072/** R from [0 to 248] */1073export type R248 = R247 | 248;1074/** R from [0 to 248) */1075export type R248n = R247;1076/** R from [0 to 249] */1077export type R249 = R248 | 249;1078/** R from [0 to 249) */1079export type R249n = R248;1080/** R from [0 to 250] */1081export type R250 = R249 | 250;1082/** R from [0 to 250) */1083export type R250n = R249;1084/** R from [0 to 251] */1085export type R251 = R250 | 251;1086/** R from [0 to 251) */1087export type R251n = R250;1088/** R from [0 to 252] */1089export type R252 = R251 | 252;1090/** R from [0 to 252) */1091export type R252n = R251;1092/** R from [0 to 253] */1093export type R253 = R252 | 253;1094/** R from [0 to 253) */1095export type R253n = R252;1096/** R from [0 to 254] */1097export type R254 = R253 | 254;1098/** R from [0 to 254) */1099export type R254n = R253;1100/** R from [0 to 255] */1101export type R255 = R254 | 255;1102/** R from [0 to 255) */1103export type R255n = R254;1104/** R from [0 to 256] */1105export type R256 = R255 | 256;1106/** R from [0 to 256) */1107export type R256n = R255;1108/** R from [0 to 257] */1109export type R257 = R256 | 257;1110/** R from [0 to 257) */1111export type R257n = R256;1112/** R from [0 to 258] */1113export type R258 = R257 | 258;1114/** R from [0 to 258) */1115export type R258n = R257;1116/** R from [0 to 259] */1117export type R259 = R258 | 259;1118/** R from [0 to 259) */1119export type R259n = R258;1120/** R from [0 to 260] */1121export type R260 = R259 | 260;1122/** R from [0 to 260) */1123export type R260n = R259;1124/** R from [0 to 261] */1125export type R261 = R260 | 261;1126/** R from [0 to 261) */1127export type R261n = R260;1128/** R from [0 to 262] */1129export type R262 = R261 | 262;1130/** R from [0 to 262) */1131export type R262n = R261;1132/** R from [0 to 263] */1133export type R263 = R262 | 263;1134/** R from [0 to 263) */1135export type R263n = R262;1136/** R from [0 to 264] */1137export type R264 = R263 | 264;1138/** R from [0 to 264) */1139export type R264n = R263;1140/** R from [0 to 265] */1141export type R265 = R264 | 265;1142/** R from [0 to 265) */1143export type R265n = R264;1144/** R from [0 to 266] */1145export type R266 = R265 | 266;1146/** R from [0 to 266) */1147export type R266n = R265;1148/** R from [0 to 267] */1149export type R267 = R266 | 267;1150/** R from [0 to 267) */1151export type R267n = R266;1152/** R from [0 to 268] */1153export type R268 = R267 | 268;1154/** R from [0 to 268) */1155export type R268n = R267;1156/** R from [0 to 269] */1157export type R269 = R268 | 269;1158/** R from [0 to 269) */1159export type R269n = R268;1160/** R from [0 to 270] */1161export type R270 = R269 | 270;1162/** R from [0 to 270) */1163export type R270n = R269;1164/** R from [0 to 271] */1165export type R271 = R270 | 271;1166/** R from [0 to 271) */1167export type R271n = R270;1168/** R from [0 to 272] */1169export type R272 = R271 | 272;1170/** R from [0 to 272) */1171export type R272n = R271;1172/** R from [0 to 273] */1173export type R273 = R272 | 273;1174/** R from [0 to 273) */1175export type R273n = R272;1176/** R from [0 to 274] */1177export type R274 = R273 | 274;1178/** R from [0 to 274) */1179export type R274n = R273;1180/** R from [0 to 275] */1181export type R275 = R274 | 275;1182/** R from [0 to 275) */1183export type R275n = R274;1184/** R from [0 to 276] */1185export type R276 = R275 | 276;1186/** R from [0 to 276) */1187export type R276n = R275;1188/** R from [0 to 277] */1189export type R277 = R276 | 277;1190/** R from [0 to 277) */1191export type R277n = R276;1192/** R from [0 to 278] */1193export type R278 = R277 | 278;1194/** R from [0 to 278) */1195export type R278n = R277;1196/** R from [0 to 279] */1197export type R279 = R278 | 279;1198/** R from [0 to 279) */1199export type R279n = R278;1200/** R from [0 to 280] */1201export type R280 = R279 | 280;1202/** R from [0 to 280) */1203export type R280n = R279;1204/** R from [0 to 281] */1205export type R281 = R280 | 281;1206/** R from [0 to 281) */1207export type R281n = R280;1208/** R from [0 to 282] */1209export type R282 = R281 | 282;1210/** R from [0 to 282) */1211export type R282n = R281;1212/** R from [0 to 283] */1213export type R283 = R282 | 283;1214/** R from [0 to 283) */1215export type R283n = R282;1216/** R from [0 to 284] */1217export type R284 = R283 | 284;1218/** R from [0 to 284) */1219export type R284n = R283;1220/** R from [0 to 285] */1221export type R285 = R284 | 285;1222/** R from [0 to 285) */1223export type R285n = R284;1224/** R from [0 to 286] */1225export type R286 = R285 | 286;1226/** R from [0 to 286) */1227export type R286n = R285;1228/** R from [0 to 287] */1229export type R287 = R286 | 287;1230/** R from [0 to 287) */1231export type R287n = R286;1232/** R from [0 to 288] */1233export type R288 = R287 | 288;1234/** R from [0 to 288) */1235export type R288n = R287;1236/** R from [0 to 289] */1237export type R289 = R288 | 289;1238/** R from [0 to 289) */1239export type R289n = R288;1240/** R from [0 to 290] */1241export type R290 = R289 | 290;1242/** R from [0 to 290) */1243export type R290n = R289;1244/** R from [0 to 291] */1245export type R291 = R290 | 291;1246/** R from [0 to 291) */1247export type R291n = R290;1248/** R from [0 to 292] */1249export type R292 = R291 | 292;1250/** R from [0 to 292) */1251export type R292n = R291;1252/** R from [0 to 293] */1253export type R293 = R292 | 293;1254/** R from [0 to 293) */1255export type R293n = R292;1256/** R from [0 to 294] */1257export type R294 = R293 | 294;1258/** R from [0 to 294) */1259export type R294n = R293;1260/** R from [0 to 295] */1261export type R295 = R294 | 295;1262/** R from [0 to 295) */1263export type R295n = R294;1264/** R from [0 to 296] */1265export type R296 = R295 | 296;1266/** R from [0 to 296) */1267export type R296n = R295;1268/** R from [0 to 297] */1269export type R297 = R296 | 297;1270/** R from [0 to 297) */1271export type R297n = R296;1272/** R from [0 to 298] */1273export type R298 = R297 | 298;1274/** R from [0 to 298) */1275export type R298n = R297;1276/** R from [0 to 299] */1277export type R299 = R298 | 299;1278/** R from [0 to 299) */1279export type R299n = R298;1280/** R from [0 to 300] */1281export type R300 = R299 | 300;1282/** R from [0 to 300) */1283export type R300n = R299;1284/** R from [0 to 301] */1285export type R301 = R300 | 301;1286/** R from [0 to 301) */1287export type R301n = R300;1288/** R from [0 to 302] */1289export type R302 = R301 | 302;1290/** R from [0 to 302) */1291export type R302n = R301;1292/** R from [0 to 303] */1293export type R303 = R302 | 303;1294/** R from [0 to 303) */1295export type R303n = R302;1296/** R from [0 to 304] */1297export type R304 = R303 | 304;1298/** R from [0 to 304) */1299export type R304n = R303;1300/** R from [0 to 305] */1301export type R305 = R304 | 305;1302/** R from [0 to 305) */1303export type R305n = R304;1304/** R from [0 to 306] */1305export type R306 = R305 | 306;1306/** R from [0 to 306) */1307export type R306n = R305;1308/** R from [0 to 307] */1309export type R307 = R306 | 307;1310/** R from [0 to 307) */1311export type R307n = R306;1312/** R from [0 to 308] */1313export type R308 = R307 | 308;1314/** R from [0 to 308) */1315export type R308n = R307;1316/** R from [0 to 309] */1317export type R309 = R308 | 309;1318/** R from [0 to 309) */1319export type R309n = R308;1320/** R from [0 to 310] */1321export type R310 = R309 | 310;1322/** R from [0 to 310) */1323export type R310n = R309;1324/** R from [0 to 311] */1325export type R311 = R310 | 311;1326/** R from [0 to 311) */1327export type R311n = R310;1328/** R from [0 to 312] */1329export type R312 = R311 | 312;1330/** R from [0 to 312) */1331export type R312n = R311;1332/** R from [0 to 313] */1333export type R313 = R312 | 313;1334/** R from [0 to 313) */1335export type R313n = R312;1336/** R from [0 to 314] */1337export type R314 = R313 | 314;1338/** R from [0 to 314) */1339export type R314n = R313;1340/** R from [0 to 315] */1341export type R315 = R314 | 315;1342/** R from [0 to 315) */1343export type R315n = R314;1344/** R from [0 to 316] */1345export type R316 = R315 | 316;1346/** R from [0 to 316) */1347export type R316n = R315;1348/** R from [0 to 317] */1349export type R317 = R316 | 317;1350/** R from [0 to 317) */1351export type R317n = R316;1352/** R from [0 to 318] */1353export type R318 = R317 | 318;1354/** R from [0 to 318) */1355export type R318n = R317;1356/** R from [0 to 319] */1357export type R319 = R318 | 319;1358/** R from [0 to 319) */1359export type R319n = R318;1360/** R from [0 to 320] */1361export type R320 = R319 | 320;1362/** R from [0 to 320) */1363export type R320n = R319;1364/** R from [0 to 321] */1365export type R321 = R320 | 321;1366/** R from [0 to 321) */1367export type R321n = R320;1368/** R from [0 to 322] */1369export type R322 = R321 | 322;1370/** R from [0 to 322) */1371export type R322n = R321;1372/** R from [0 to 323] */1373export type R323 = R322 | 323;1374/** R from [0 to 323) */1375export type R323n = R322;1376/** R from [0 to 324] */1377export type R324 = R323 | 324;1378/** R from [0 to 324) */1379export type R324n = R323;1380/** R from [0 to 325] */1381export type R325 = R324 | 325;1382/** R from [0 to 325) */1383export type R325n = R324;1384/** R from [0 to 326] */1385export type R326 = R325 | 326;1386/** R from [0 to 326) */1387export type R326n = R325;1388/** R from [0 to 327] */1389export type R327 = R326 | 327;1390/** R from [0 to 327) */1391export type R327n = R326;1392/** R from [0 to 328] */1393export type R328 = R327 | 328;1394/** R from [0 to 328) */1395export type R328n = R327;1396/** R from [0 to 329] */1397export type R329 = R328 | 329;1398/** R from [0 to 329) */1399export type R329n = R328;1400/** R from [0 to 330] */1401export type R330 = R329 | 330;1402/** R from [0 to 330) */1403export type R330n = R329;1404/** R from [0 to 331] */1405export type R331 = R330 | 331;1406/** R from [0 to 331) */1407export type R331n = R330;1408/** R from [0 to 332] */1409export type R332 = R331 | 332;1410/** R from [0 to 332) */1411export type R332n = R331;1412/** R from [0 to 333] */1413export type R333 = R332 | 333;1414/** R from [0 to 333) */1415export type R333n = R332;1416/** R from [0 to 334] */1417export type R334 = R333 | 334;1418/** R from [0 to 334) */1419export type R334n = R333;1420/** R from [0 to 335] */1421export type R335 = R334 | 335;1422/** R from [0 to 335) */1423export type R335n = R334;1424/** R from [0 to 336] */1425export type R336 = R335 | 336;1426/** R from [0 to 336) */1427export type R336n = R335;1428/** R from [0 to 337] */1429export type R337 = R336 | 337;1430/** R from [0 to 337) */1431export type R337n = R336;1432/** R from [0 to 338] */1433export type R338 = R337 | 338;1434/** R from [0 to 338) */1435export type R338n = R337;1436/** R from [0 to 339] */1437export type R339 = R338 | 339;1438/** R from [0 to 339) */1439export type R339n = R338;1440/** R from [0 to 340] */1441export type R340 = R339 | 340;1442/** R from [0 to 340) */1443export type R340n = R339;1444/** R from [0 to 341] */1445export type R341 = R340 | 341;1446/** R from [0 to 341) */1447export type R341n = R340;1448/** R from [0 to 342] */1449export type R342 = R341 | 342;1450/** R from [0 to 342) */1451export type R342n = R341;1452/** R from [0 to 343] */1453export type R343 = R342 | 343;1454/** R from [0 to 343) */1455export type R343n = R342;1456/** R from [0 to 344] */1457export type R344 = R343 | 344;1458/** R from [0 to 344) */1459export type R344n = R343;1460/** R from [0 to 345] */1461export type R345 = R344 | 345;1462/** R from [0 to 345) */1463export type R345n = R344;1464/** R from [0 to 346] */1465export type R346 = R345 | 346;1466/** R from [0 to 346) */1467export type R346n = R345;1468/** R from [0 to 347] */1469export type R347 = R346 | 347;1470/** R from [0 to 347) */1471export type R347n = R346;1472/** R from [0 to 348] */1473export type R348 = R347 | 348;1474/** R from [0 to 348) */1475export type R348n = R347;1476/** R from [0 to 349] */1477export type R349 = R348 | 349;1478/** R from [0 to 349) */1479export type R349n = R348;1480/** R from [0 to 350] */1481export type R350 = R349 | 350;1482/** R from [0 to 350) */1483export type R350n = R349;1484/** R from [0 to 351] */1485export type R351 = R350 | 351;1486/** R from [0 to 351) */1487export type R351n = R350;1488/** R from [0 to 352] */1489export type R352 = R351 | 352;1490/** R from [0 to 352) */1491export type R352n = R351;1492/** R from [0 to 353] */1493export type R353 = R352 | 353;1494/** R from [0 to 353) */1495export type R353n = R352;1496/** R from [0 to 354] */1497export type R354 = R353 | 354;1498/** R from [0 to 354) */1499export type R354n = R353;1500/** R from [0 to 355] */1501export type R355 = R354 | 355;1502/** R from [0 to 355) */1503export type R355n = R354;1504/** R from [0 to 356] */1505export type R356 = R355 | 356;1506/** R from [0 to 356) */1507export type R356n = R355;1508/** R from [0 to 357] */1509export type R357 = R356 | 357;1510/** R from [0 to 357) */1511export type R357n = R356;1512/** R from [0 to 358] */1513export type R358 = R357 | 358;1514/** R from [0 to 358) */1515export type R358n = R357;1516/** R from [0 to 359] */1517export type R359 = R358 | 359;1518/** R from [0 to 359) */1519export type R359n = R358;1520/** R from [0 to 360] */1521export type R360 = R359 | 360;1522/** R from [0 to 360) */1523export type R360n = R359;1524/** R from [0 to 361] */1525export type R361 = R360 | 361;1526/** R from [0 to 361) */1527export type R361n = R360;1528/** R from [0 to 362] */1529export type R362 = R361 | 362;1530/** R from [0 to 362) */1531export type R362n = R361;1532/** R from [0 to 363] */1533export type R363 = R362 | 363;1534/** R from [0 to 363) */1535export type R363n = R362;1536/** R from [0 to 364] */1537export type R364 = R363 | 364;1538/** R from [0 to 364) */1539export type R364n = R363;1540/** R from [0 to 365] */1541export type R365 = R364 | 365;1542/** R from [0 to 365) */1543export type R365n = R364;1544/** R from [0 to 366] */1545export type R366 = R365 | 366;1546/** R from [0 to 366) */1547export type R366n = R365;1548/** R from [0 to 367] */1549export type R367 = R366 | 367;1550/** R from [0 to 367) */1551export type R367n = R366;1552/** R from [0 to 368] */1553export type R368 = R367 | 368;1554/** R from [0 to 368) */1555export type R368n = R367;1556/** R from [0 to 369] */1557export type R369 = R368 | 369;1558/** R from [0 to 369) */1559export type R369n = R368;1560/** R from [0 to 370] */1561export type R370 = R369 | 370;1562/** R from [0 to 370) */1563export type R370n = R369;1564/** R from [0 to 371] */1565export type R371 = R370 | 371;1566/** R from [0 to 371) */1567export type R371n = R370;1568/** R from [0 to 372] */1569export type R372 = R371 | 372;1570/** R from [0 to 372) */1571export type R372n = R371;1572/** R from [0 to 373] */1573export type R373 = R372 | 373;1574/** R from [0 to 373) */1575export type R373n = R372;1576/** R from [0 to 374] */1577export type R374 = R373 | 374;1578/** R from [0 to 374) */1579export type R374n = R373;1580/** R from [0 to 375] */1581export type R375 = R374 | 375;1582/** R from [0 to 375) */1583export type R375n = R374;1584/** R from [0 to 376] */1585export type R376 = R375 | 376;1586/** R from [0 to 376) */1587export type R376n = R375;1588/** R from [0 to 377] */1589export type R377 = R376 | 377;1590/** R from [0 to 377) */1591export type R377n = R376;1592/** R from [0 to 378] */1593export type R378 = R377 | 378;1594/** R from [0 to 378) */1595export type R378n = R377;1596/** R from [0 to 379] */1597export type R379 = R378 | 379;1598/** R from [0 to 379) */1599export type R379n = R378;1600/** R from [0 to 380] */1601export type R380 = R379 | 380;1602/** R from [0 to 380) */1603export type R380n = R379;1604/** R from [0 to 381] */1605export type R381 = R380 | 381;1606/** R from [0 to 381) */1607export type R381n = R380;1608/** R from [0 to 382] */1609export type R382 = R381 | 382;1610/** R from [0 to 382) */1611export type R382n = R381;1612/** R from [0 to 383] */1613export type R383 = R382 | 383;1614/** R from [0 to 383) */1615export type R383n = R382;1616/** R from [0 to 384] */1617export type R384 = R383 | 384;1618/** R from [0 to 384) */1619export type R384n = R383;1620/** R from [0 to 385] */1621export type R385 = R384 | 385;1622/** R from [0 to 385) */1623export type R385n = R384;1624/** R from [0 to 386] */1625export type R386 = R385 | 386;1626/** R from [0 to 386) */1627export type R386n = R385;1628/** R from [0 to 387] */1629export type R387 = R386 | 387;1630/** R from [0 to 387) */1631export type R387n = R386;1632/** R from [0 to 388] */1633export type R388 = R387 | 388;1634/** R from [0 to 388) */1635export type R388n = R387;1636/** R from [0 to 389] */1637export type R389 = R388 | 389;1638/** R from [0 to 389) */1639export type R389n = R388;1640/** R from [0 to 390] */1641export type R390 = R389 | 390;1642/** R from [0 to 390) */1643export type R390n = R389;1644/** R from [0 to 391] */1645export type R391 = R390 | 391;1646/** R from [0 to 391) */1647export type R391n = R390;1648/** R from [0 to 392] */1649export type R392 = R391 | 392;1650/** R from [0 to 392) */1651export type R392n = R391;1652/** R from [0 to 393] */1653export type R393 = R392 | 393;1654/** R from [0 to 393) */1655export type R393n = R392;1656/** R from [0 to 394] */1657export type R394 = R393 | 394;1658/** R from [0 to 394) */1659export type R394n = R393;1660/** R from [0 to 395] */1661export type R395 = R394 | 395;1662/** R from [0 to 395) */1663export type R395n = R394;1664/** R from [0 to 396] */1665export type R396 = R395 | 396;1666/** R from [0 to 396) */1667export type R396n = R395;1668/** R from [0 to 397] */1669export type R397 = R396 | 397;1670/** R from [0 to 397) */1671export type R397n = R396;1672/** R from [0 to 398] */1673export type R398 = R397 | 398;1674/** R from [0 to 398) */1675export type R398n = R397;1676/** R from [0 to 399] */1677export type R399 = R398 | 399;1678/** R from [0 to 399) */1679export type R399n = R398;1680/** R from [0 to 400] */1681export type R400 = R399 | 400;1682/** R from [0 to 400) */1683export type R400n = R399;1684/** R from [0 to 401] */1685export type R401 = R400 | 401;1686/** R from [0 to 401) */1687export type R401n = R400;1688/** R from [0 to 402] */1689export type R402 = R401 | 402;1690/** R from [0 to 402) */1691export type R402n = R401;1692/** R from [0 to 403] */1693export type R403 = R402 | 403;1694/** R from [0 to 403) */1695export type R403n = R402;1696/** R from [0 to 404] */1697export type R404 = R403 | 404;1698/** R from [0 to 404) */1699export type R404n = R403;1700/** R from [0 to 405] */1701export type R405 = R404 | 405;1702/** R from [0 to 405) */1703export type R405n = R404;1704/** R from [0 to 406] */1705export type R406 = R405 | 406;1706/** R from [0 to 406) */1707export type R406n = R405;1708/** R from [0 to 407] */1709export type R407 = R406 | 407;1710/** R from [0 to 407) */1711export type R407n = R406;1712/** R from [0 to 408] */1713export type R408 = R407 | 408;1714/** R from [0 to 408) */1715export type R408n = R407;1716/** R from [0 to 409] */1717export type R409 = R408 | 409;1718/** R from [0 to 409) */1719export type R409n = R408;1720/** R from [0 to 410] */1721export type R410 = R409 | 410;1722/** R from [0 to 410) */1723export type R410n = R409;1724/** R from [0 to 411] */1725export type R411 = R410 | 411;1726/** R from [0 to 411) */1727export type R411n = R410;1728/** R from [0 to 412] */1729export type R412 = R411 | 412;1730/** R from [0 to 412) */1731export type R412n = R411;1732/** R from [0 to 413] */1733export type R413 = R412 | 413;1734/** R from [0 to 413) */1735export type R413n = R412;1736/** R from [0 to 414] */1737export type R414 = R413 | 414;1738/** R from [0 to 414) */1739export type R414n = R413;1740/** R from [0 to 415] */1741export type R415 = R414 | 415;1742/** R from [0 to 415) */1743export type R415n = R414;1744/** R from [0 to 416] */1745export type R416 = R415 | 416;1746/** R from [0 to 416) */1747export type R416n = R415;1748/** R from [0 to 417] */1749export type R417 = R416 | 417;1750/** R from [0 to 417) */1751export type R417n = R416;1752/** R from [0 to 418] */1753export type R418 = R417 | 418;1754/** R from [0 to 418) */1755export type R418n = R417;1756/** R from [0 to 419] */1757export type R419 = R418 | 419;1758/** R from [0 to 419) */1759export type R419n = R418;1760/** R from [0 to 420] */1761export type R420 = R419 | 420;1762/** R from [0 to 420) */1763export type R420n = R419;1764/** R from [0 to 421] */1765export type R421 = R420 | 421;1766/** R from [0 to 421) */1767export type R421n = R420;1768/** R from [0 to 422] */1769export type R422 = R421 | 422;1770/** R from [0 to 422) */1771export type R422n = R421;1772/** R from [0 to 423] */1773export type R423 = R422 | 423;1774/** R from [0 to 423) */1775export type R423n = R422;1776/** R from [0 to 424] */1777export type R424 = R423 | 424;1778/** R from [0 to 424) */1779export type R424n = R423;1780/** R from [0 to 425] */1781export type R425 = R424 | 425;1782/** R from [0 to 425) */1783export type R425n = R424;1784/** R from [0 to 426] */1785export type R426 = R425 | 426;1786/** R from [0 to 426) */1787export type R426n = R425;1788/** R from [0 to 427] */1789export type R427 = R426 | 427;1790/** R from [0 to 427) */1791export type R427n = R426;1792/** R from [0 to 428] */1793export type R428 = R427 | 428;1794/** R from [0 to 428) */1795export type R428n = R427;1796/** R from [0 to 429] */1797export type R429 = R428 | 429;1798/** R from [0 to 429) */1799export type R429n = R428;1800/** R from [0 to 430] */1801export type R430 = R429 | 430;1802/** R from [0 to 430) */1803export type R430n = R429;1804/** R from [0 to 431] */1805export type R431 = R430 | 431;1806/** R from [0 to 431) */1807export type R431n = R430;1808/** R from [0 to 432] */1809export type R432 = R431 | 432;1810/** R from [0 to 432) */1811export type R432n = R431;1812/** R from [0 to 433] */1813export type R433 = R432 | 433;1814/** R from [0 to 433) */1815export type R433n = R432;1816/** R from [0 to 434] */1817export type R434 = R433 | 434;1818/** R from [0 to 434) */1819export type R434n = R433;1820/** R from [0 to 435] */1821export type R435 = R434 | 435;1822/** R from [0 to 435) */1823export type R435n = R434;1824/** R from [0 to 436] */1825export type R436 = R435 | 436;1826/** R from [0 to 436) */1827export type R436n = R435;1828/** R from [0 to 437] */1829export type R437 = R436 | 437;1830/** R from [0 to 437) */1831export type R437n = R436;1832/** R from [0 to 438] */1833export type R438 = R437 | 438;1834/** R from [0 to 438) */1835export type R438n = R437;1836/** R from [0 to 439] */1837export type R439 = R438 | 439;1838/** R from [0 to 439) */1839export type R439n = R438;1840/** R from [0 to 440] */1841export type R440 = R439 | 440;1842/** R from [0 to 440) */1843export type R440n = R439;1844/** R from [0 to 441] */1845export type R441 = R440 | 441;1846/** R from [0 to 441) */1847export type R441n = R440;1848/** R from [0 to 442] */1849export type R442 = R441 | 442;1850/** R from [0 to 442) */1851export type R442n = R441;1852/** R from [0 to 443] */1853export type R443 = R442 | 443;1854/** R from [0 to 443) */1855export type R443n = R442;1856/** R from [0 to 444] */1857export type R444 = R443 | 444;1858/** R from [0 to 444) */1859export type R444n = R443;1860/** R from [0 to 445] */1861export type R445 = R444 | 445;1862/** R from [0 to 445) */1863export type R445n = R444;1864/** R from [0 to 446] */1865export type R446 = R445 | 446;1866/** R from [0 to 446) */1867export type R446n = R445;1868/** R from [0 to 447] */1869export type R447 = R446 | 447;1870/** R from [0 to 447) */1871export type R447n = R446;1872/** R from [0 to 448] */1873export type R448 = R447 | 448;1874/** R from [0 to 448) */1875export type R448n = R447;1876/** R from [0 to 449] */1877export type R449 = R448 | 449;1878/** R from [0 to 449) */1879export type R449n = R448;1880/** R from [0 to 450] */1881export type R450 = R449 | 450;1882/** R from [0 to 450) */1883export type R450n = R449;1884/** R from [0 to 451] */1885export type R451 = R450 | 451;1886/** R from [0 to 451) */1887export type R451n = R450;1888/** R from [0 to 452] */1889export type R452 = R451 | 452;1890/** R from [0 to 452) */1891export type R452n = R451;1892/** R from [0 to 453] */1893export type R453 = R452 | 453;1894/** R from [0 to 453) */1895export type R453n = R452;1896/** R from [0 to 454] */1897export type R454 = R453 | 454;1898/** R from [0 to 454) */1899export type R454n = R453;1900/** R from [0 to 455] */1901export type R455 = R454 | 455;1902/** R from [0 to 455) */1903export type R455n = R454;1904/** R from [0 to 456] */1905export type R456 = R455 | 456;1906/** R from [0 to 456) */1907export type R456n = R455;1908/** R from [0 to 457] */1909export type R457 = R456 | 457;1910/** R from [0 to 457) */1911export type R457n = R456;1912/** R from [0 to 458] */1913export type R458 = R457 | 458;1914/** R from [0 to 458) */1915export type R458n = R457;1916/** R from [0 to 459] */1917export type R459 = R458 | 459;1918/** R from [0 to 459) */1919export type R459n = R458;1920/** R from [0 to 460] */1921export type R460 = R459 | 460;1922/** R from [0 to 460) */1923export type R460n = R459;1924/** R from [0 to 461] */1925export type R461 = R460 | 461;1926/** R from [0 to 461) */1927export type R461n = R460;1928/** R from [0 to 462] */1929export type R462 = R461 | 462;1930/** R from [0 to 462) */1931export type R462n = R461;1932/** R from [0 to 463] */1933export type R463 = R462 | 463;1934/** R from [0 to 463) */1935export type R463n = R462;1936/** R from [0 to 464] */1937export type R464 = R463 | 464;1938/** R from [0 to 464) */1939export type R464n = R463;1940/** R from [0 to 465] */1941export type R465 = R464 | 465;1942/** R from [0 to 465) */1943export type R465n = R464;1944/** R from [0 to 466] */1945export type R466 = R465 | 466;1946/** R from [0 to 466) */1947export type R466n = R465;1948/** R from [0 to 467] */1949export type R467 = R466 | 467;1950/** R from [0 to 467) */1951export type R467n = R466;1952/** R from [0 to 468] */1953export type R468 = R467 | 468;1954/** R from [0 to 468) */1955export type R468n = R467;1956/** R from [0 to 469] */1957export type R469 = R468 | 469;1958/** R from [0 to 469) */1959export type R469n = R468;1960/** R from [0 to 470] */1961export type R470 = R469 | 470;1962/** R from [0 to 470) */1963export type R470n = R469;1964/** R from [0 to 471] */1965export type R471 = R470 | 471;1966/** R from [0 to 471) */1967export type R471n = R470;1968/** R from [0 to 472] */1969export type R472 = R471 | 472;1970/** R from [0 to 472) */1971export type R472n = R471;1972/** R from [0 to 473] */1973export type R473 = R472 | 473;1974/** R from [0 to 473) */1975export type R473n = R472;1976/** R from [0 to 474] */1977export type R474 = R473 | 474;1978/** R from [0 to 474) */1979export type R474n = R473;1980/** R from [0 to 475] */1981export type R475 = R474 | 475;1982/** R from [0 to 475) */1983export type R475n = R474;1984/** R from [0 to 476] */1985export type R476 = R475 | 476;1986/** R from [0 to 476) */1987export type R476n = R475;1988/** R from [0 to 477] */1989export type R477 = R476 | 477;1990/** R from [0 to 477) */1991export type R477n = R476;1992/** R from [0 to 478] */1993export type R478 = R477 | 478;1994/** R from [0 to 478) */1995export type R478n = R477;1996/** R from [0 to 479] */1997export type R479 = R478 | 479;1998/** R from [0 to 479) */1999export type R479n = R478;2000/** R from [0 to 480] */2001export type R480 = R479 | 480;2002/** R from [0 to 480) */2003export type R480n = R479;2004/** R from [0 to 481] */2005export type R481 = R480 | 481;2006/** R from [0 to 481) */2007export type R481n = R480;2008/** R from [0 to 482] */2009export type R482 = R481 | 482;2010/** R from [0 to 482) */2011export type R482n = R481;2012/** R from [0 to 483] */2013export type R483 = R482 | 483;2014/** R from [0 to 483) */2015export type R483n = R482;2016/** R from [0 to 484] */2017export type R484 = R483 | 484;2018/** R from [0 to 484) */2019export type R484n = R483;2020/** R from [0 to 485] */2021export type R485 = R484 | 485;2022/** R from [0 to 485) */2023export type R485n = R484;2024/** R from [0 to 486] */2025export type R486 = R485 | 486;2026/** R from [0 to 486) */2027export type R486n = R485;2028/** R from [0 to 487] */2029export type R487 = R486 | 487;2030/** R from [0 to 487) */2031export type R487n = R486;2032/** R from [0 to 488] */2033export type R488 = R487 | 488;2034/** R from [0 to 488) */2035export type R488n = R487;2036/** R from [0 to 489] */2037export type R489 = R488 | 489;2038/** R from [0 to 489) */2039export type R489n = R488;2040/** R from [0 to 490] */2041export type R490 = R489 | 490;2042/** R from [0 to 490) */2043export type R490n = R489;2044/** R from [0 to 491] */2045export type R491 = R490 | 491;2046/** R from [0 to 491) */2047export type R491n = R490;2048/** R from [0 to 492] */2049export type R492 = R491 | 492;2050/** R from [0 to 492) */2051export type R492n = R491;2052/** R from [0 to 493] */2053export type R493 = R492 | 493;2054/** R from [0 to 493) */2055export type R493n = R492;2056/** R from [0 to 494] */2057export type R494 = R493 | 494;2058/** R from [0 to 494) */2059export type R494n = R493;2060/** R from [0 to 495] */2061export type R495 = R494 | 495;2062/** R from [0 to 495) */2063export type R495n = R494;2064/** R from [0 to 496] */2065export type R496 = R495 | 496;2066/** R from [0 to 496) */2067export type R496n = R495;2068/** R from [0 to 497] */2069export type R497 = R496 | 497;2070/** R from [0 to 497) */2071export type R497n = R496;2072/** R from [0 to 498] */2073export type R498 = R497 | 498;2074/** R from [0 to 498) */2075export type R498n = R497;2076/** R from [0 to 499] */2077export type R499 = R498 | 499;2078/** R from [0 to 499) */2079export type R499n = R498;2080/** R from [0 to 500] */2081export type R500 = R499 | 500;2082/** R from [0 to 500) */2083export type R500n = R499;2084/** R from [0 to 501] */2085export type R501 = R500 | 501;2086/** R from [0 to 501) */2087export type R501n = R500;2088/** R from [0 to 502] */2089export type R502 = R501 | 502;2090/** R from [0 to 502) */2091export type R502n = R501;2092/** R from [0 to 503] */2093export type R503 = R502 | 503;2094/** R from [0 to 503) */2095export type R503n = R502;2096/** R from [0 to 504] */2097export type R504 = R503 | 504;2098/** R from [0 to 504) */2099export type R504n = R503;2100/** R from [0 to 505] */2101export type R505 = R504 | 505;2102/** R from [0 to 505) */2103export type R505n = R504;2104/** R from [0 to 506] */2105export type R506 = R505 | 506;2106/** R from [0 to 506) */2107export type R506n = R505;2108/** R from [0 to 507] */2109export type R507 = R506 | 507;2110/** R from [0 to 507) */2111export type R507n = R506;2112/** R from [0 to 508] */2113export type R508 = R507 | 508;2114/** R from [0 to 508) */2115export type R508n = R507;2116/** R from [0 to 509] */2117export type R509 = R508 | 509;2118/** R from [0 to 509) */2119export type R509n = R508;2120/** R from [0 to 510] */2121export type R510 = R509 | 510;2122/** R from [0 to 510) */2123export type R510n = R509;2124/** R from [0 to 511] */2125export type R511 = R510 | 511;2126/** R from [0 to 511) */2127export type R511n = R510;2128/** R from [0 to 512] */2129export type R512 = R511 | 512;2130/** R from [0 to 512) */2131export type R512n = R511;2132/** R from [0 to 513] */2133export type R513 = R512 | 513;2134/** R from [0 to 513) */2135export type R513n = R512;2136/** R from [0 to 514] */2137export type R514 = R513 | 514;2138/** R from [0 to 514) */2139export type R514n = R513;2140/** R from [0 to 515] */2141export type R515 = R514 | 515;2142/** R from [0 to 515) */2143export type R515n = R514;2144/** R from [0 to 516] */2145export type R516 = R515 | 516;2146/** R from [0 to 516) */2147export type R516n = R515;2148/** R from [0 to 517] */2149export type R517 = R516 | 517;2150/** R from [0 to 517) */2151export type R517n = R516;2152/** R from [0 to 518] */2153export type R518 = R517 | 518;2154/** R from [0 to 518) */2155export type R518n = R517;2156/** R from [0 to 519] */2157export type R519 = R518 | 519;2158/** R from [0 to 519) */2159export type R519n = R518;2160/** R from [0 to 520] */2161export type R520 = R519 | 520;2162/** R from [0 to 520) */2163export type R520n = R519;2164/** R from [0 to 521] */2165export type R521 = R520 | 521;2166/** R from [0 to 521) */2167export type R521n = R520;2168/** R from [0 to 522] */2169export type R522 = R521 | 522;2170/** R from [0 to 522) */2171export type R522n = R521;2172/** R from [0 to 523] */2173export type R523 = R522 | 523;2174/** R from [0 to 523) */2175export type R523n = R522;2176/** R from [0 to 524] */2177export type R524 = R523 | 524;2178/** R from [0 to 524) */2179export type R524n = R523;2180/** R from [0 to 525] */2181export type R525 = R524 | 525;2182/** R from [0 to 525) */2183export type R525n = R524;2184/** R from [0 to 526] */2185export type R526 = R525 | 526;2186/** R from [0 to 526) */2187export type R526n = R525;2188/** R from [0 to 527] */2189export type R527 = R526 | 527;2190/** R from [0 to 527) */2191export type R527n = R526;2192/** R from [0 to 528] */2193export type R528 = R527 | 528;2194/** R from [0 to 528) */2195export type R528n = R527;2196/** R from [0 to 529] */2197export type R529 = R528 | 529;2198/** R from [0 to 529) */2199export type R529n = R528;2200/** R from [0 to 530] */2201export type R530 = R529 | 530;2202/** R from [0 to 530) */2203export type R530n = R529;2204/** R from [0 to 531] */2205export type R531 = R530 | 531;2206/** R from [0 to 531) */2207export type R531n = R530;2208/** R from [0 to 532] */2209export type R532 = R531 | 532;2210/** R from [0 to 532) */2211export type R532n = R531;2212/** R from [0 to 533] */2213export type R533 = R532 | 533;2214/** R from [0 to 533) */2215export type R533n = R532;2216/** R from [0 to 534] */2217export type R534 = R533 | 534;2218/** R from [0 to 534) */2219export type R534n = R533;2220/** R from [0 to 535] */2221export type R535 = R534 | 535;2222/** R from [0 to 535) */2223export type R535n = R534;2224/** R from [0 to 536] */2225export type R536 = R535 | 536;2226/** R from [0 to 536) */2227export type R536n = R535;2228/** R from [0 to 537] */2229export type R537 = R536 | 537;2230/** R from [0 to 537) */2231export type R537n = R536;2232/** R from [0 to 538] */2233export type R538 = R537 | 538;2234/** R from [0 to 538) */2235export type R538n = R537;2236/** R from [0 to 539] */2237export type R539 = R538 | 539;2238/** R from [0 to 539) */2239export type R539n = R538;2240/** R from [0 to 540] */2241export type R540 = R539 | 540;2242/** R from [0 to 540) */2243export type R540n = R539;2244/** R from [0 to 541] */2245export type R541 = R540 | 541;2246/** R from [0 to 541) */2247export type R541n = R540;2248/** R from [0 to 542] */2249export type R542 = R541 | 542;2250/** R from [0 to 542) */2251export type R542n = R541;2252/** R from [0 to 543] */2253export type R543 = R542 | 543;2254/** R from [0 to 543) */2255export type R543n = R542;2256/** R from [0 to 544] */2257export type R544 = R543 | 544;2258/** R from [0 to 544) */2259export type R544n = R543;2260/** R from [0 to 545] */2261export type R545 = R544 | 545;2262/** R from [0 to 545) */2263export type R545n = R544;2264/** R from [0 to 546] */2265export type R546 = R545 | 546;2266/** R from [0 to 546) */2267export type R546n = R545;2268/** R from [0 to 547] */2269export type R547 = R546 | 547;2270/** R from [0 to 547) */2271export type R547n = R546;2272/** R from [0 to 548] */2273export type R548 = R547 | 548;2274/** R from [0 to 548) */2275export type R548n = R547;2276/** R from [0 to 549] */2277export type R549 = R548 | 549;2278/** R from [0 to 549) */2279export type R549n = R548;2280/** R from [0 to 550] */2281export type R550 = R549 | 550;2282/** R from [0 to 550) */2283export type R550n = R549;2284/** R from [0 to 551] */2285export type R551 = R550 | 551;2286/** R from [0 to 551) */2287export type R551n = R550;2288/** R from [0 to 552] */2289export type R552 = R551 | 552;2290/** R from [0 to 552) */2291export type R552n = R551;2292/** R from [0 to 553] */2293export type R553 = R552 | 553;2294/** R from [0 to 553) */2295export type R553n = R552;2296/** R from [0 to 554] */2297export type R554 = R553 | 554;2298/** R from [0 to 554) */2299export type R554n = R553;2300/** R from [0 to 555] */2301export type R555 = R554 | 555;2302/** R from [0 to 555) */2303export type R555n = R554;2304/** R from [0 to 556] */2305export type R556 = R555 | 556;2306/** R from [0 to 556) */2307export type R556n = R555;2308/** R from [0 to 557] */2309export type R557 = R556 | 557;2310/** R from [0 to 557) */2311export type R557n = R556;2312/** R from [0 to 558] */2313export type R558 = R557 | 558;2314/** R from [0 to 558) */2315export type R558n = R557;2316/** R from [0 to 559] */2317export type R559 = R558 | 559;2318/** R from [0 to 559) */2319export type R559n = R558;2320/** R from [0 to 560] */2321export type R560 = R559 | 560;2322/** R from [0 to 560) */2323export type R560n = R559;2324/** R from [0 to 561] */2325export type R561 = R560 | 561;2326/** R from [0 to 561) */2327export type R561n = R560;2328/** R from [0 to 562] */2329export type R562 = R561 | 562;2330/** R from [0 to 562) */2331export type R562n = R561;2332/** R from [0 to 563] */2333export type R563 = R562 | 563;2334/** R from [0 to 563) */2335export type R563n = R562;2336/** R from [0 to 564] */2337export type R564 = R563 | 564;2338/** R from [0 to 564) */2339export type R564n = R563;2340/** R from [0 to 565] */2341export type R565 = R564 | 565;2342/** R from [0 to 565) */2343export type R565n = R564;2344/** R from [0 to 566] */2345export type R566 = R565 | 566;2346/** R from [0 to 566) */2347export type R566n = R565;2348/** R from [0 to 567] */2349export type R567 = R566 | 567;2350/** R from [0 to 567) */2351export type R567n = R566;2352/** R from [0 to 568] */2353export type R568 = R567 | 568;2354/** R from [0 to 568) */2355export type R568n = R567;2356/** R from [0 to 569] */2357export type R569 = R568 | 569;2358/** R from [0 to 569) */2359export type R569n = R568;2360/** R from [0 to 570] */2361export type R570 = R569 | 570;2362/** R from [0 to 570) */2363export type R570n = R569;2364/** R from [0 to 571] */2365export type R571 = R570 | 571;2366/** R from [0 to 571) */2367export type R571n = R570;2368/** R from [0 to 572] */2369export type R572 = R571 | 572;2370/** R from [0 to 572) */2371export type R572n = R571;2372/** R from [0 to 573] */2373export type R573 = R572 | 573;2374/** R from [0 to 573) */2375export type R573n = R572;2376/** R from [0 to 574] */2377export type R574 = R573 | 574;2378/** R from [0 to 574) */2379export type R574n = R573;2380/** R from [0 to 575] */2381export type R575 = R574 | 575;2382/** R from [0 to 575) */2383export type R575n = R574;2384/** R from [0 to 576] */2385export type R576 = R575 | 576;2386/** R from [0 to 576) */2387export type R576n = R575;2388/** R from [0 to 577] */2389export type R577 = R576 | 577;2390/** R from [0 to 577) */2391export type R577n = R576;2392/** R from [0 to 578] */2393export type R578 = R577 | 578;2394/** R from [0 to 578) */2395export type R578n = R577;2396/** R from [0 to 579] */2397export type R579 = R578 | 579;2398/** R from [0 to 579) */2399export type R579n = R578;2400/** R from [0 to 580] */2401export type R580 = R579 | 580;2402/** R from [0 to 580) */2403export type R580n = R579;2404/** R from [0 to 581] */2405export type R581 = R580 | 581;2406/** R from [0 to 581) */2407export type R581n = R580;2408/** R from [0 to 582] */2409export type R582 = R581 | 582;2410/** R from [0 to 582) */2411export type R582n = R581;2412/** R from [0 to 583] */2413export type R583 = R582 | 583;2414/** R from [0 to 583) */2415export type R583n = R582;2416/** R from [0 to 584] */2417export type R584 = R583 | 584;2418/** R from [0 to 584) */2419export type R584n = R583;2420/** R from [0 to 585] */2421export type R585 = R584 | 585;2422/** R from [0 to 585) */2423export type R585n = R584;2424/** R from [0 to 586] */2425export type R586 = R585 | 586;2426/** R from [0 to 586) */2427export type R586n = R585;2428/** R from [0 to 587] */2429export type R587 = R586 | 587;2430/** R from [0 to 587) */2431export type R587n = R586;2432/** R from [0 to 588] */2433export type R588 = R587 | 588;2434/** R from [0 to 588) */2435export type R588n = R587;2436/** R from [0 to 589] */2437export type R589 = R588 | 589;2438/** R from [0 to 589) */2439export type R589n = R588;2440/** R from [0 to 590] */2441export type R590 = R589 | 590;2442/** R from [0 to 590) */2443export type R590n = R589;2444/** R from [0 to 591] */2445export type R591 = R590 | 591;2446/** R from [0 to 591) */2447export type R591n = R590;2448/** R from [0 to 592] */2449export type R592 = R591 | 592;2450/** R from [0 to 592) */2451export type R592n = R591;2452/** R from [0 to 593] */2453export type R593 = R592 | 593;2454/** R from [0 to 593) */2455export type R593n = R592;2456/** R from [0 to 594] */2457export type R594 = R593 | 594;2458/** R from [0 to 594) */2459export type R594n = R593;2460/** R from [0 to 595] */2461export type R595 = R594 | 595;2462/** R from [0 to 595) */2463export type R595n = R594;2464/** R from [0 to 596] */2465export type R596 = R595 | 596;2466/** R from [0 to 596) */2467export type R596n = R595;2468/** R from [0 to 597] */2469export type R597 = R596 | 597;2470/** R from [0 to 597) */2471export type R597n = R596;2472/** R from [0 to 598] */2473export type R598 = R597 | 598;2474/** R from [0 to 598) */2475export type R598n = R597;2476/** R from [0 to 599] */2477export type R599 = R598 | 599;2478/** R from [0 to 599) */2479export type R599n = R598;2480/** R from [0 to 600] */2481export type R600 = R599 | 600;2482/** R from [0 to 600) */2483export type R600n = R599;2484/** R from [0 to 601] */2485export type R601 = R600 | 601;2486/** R from [0 to 601) */2487export type R601n = R600;2488/** R from [0 to 602] */2489export type R602 = R601 | 602;2490/** R from [0 to 602) */2491export type R602n = R601;2492/** R from [0 to 603] */2493export type R603 = R602 | 603;2494/** R from [0 to 603) */2495export type R603n = R602;2496/** R from [0 to 604] */2497export type R604 = R603 | 604;2498/** R from [0 to 604) */2499export type R604n = R603;2500/** R from [0 to 605] */2501export type R605 = R604 | 605;2502/** R from [0 to 605) */2503export type R605n = R604;2504/** R from [0 to 606] */2505export type R606 = R605 | 606;2506/** R from [0 to 606) */2507export type R606n = R605;2508/** R from [0 to 607] */2509export type R607 = R606 | 607;2510/** R from [0 to 607) */2511export type R607n = R606;2512/** R from [0 to 608] */2513export type R608 = R607 | 608;2514/** R from [0 to 608) */2515export type R608n = R607;2516/** R from [0 to 609] */2517export type R609 = R608 | 609;2518/** R from [0 to 609) */2519export type R609n = R608;2520/** R from [0 to 610] */2521export type R610 = R609 | 610;2522/** R from [0 to 610) */2523export type R610n = R609;2524/** R from [0 to 611] */2525export type R611 = R610 | 611;2526/** R from [0 to 611) */2527export type R611n = R610;2528/** R from [0 to 612] */2529export type R612 = R611 | 612;2530/** R from [0 to 612) */2531export type R612n = R611;2532/** R from [0 to 613] */2533export type R613 = R612 | 613;2534/** R from [0 to 613) */2535export type R613n = R612;2536/** R from [0 to 614] */2537export type R614 = R613 | 614;2538/** R from [0 to 614) */2539export type R614n = R613;2540/** R from [0 to 615] */2541export type R615 = R614 | 615;2542/** R from [0 to 615) */2543export type R615n = R614;2544/** R from [0 to 616] */2545export type R616 = R615 | 616;2546/** R from [0 to 616) */2547export type R616n = R615;2548/** R from [0 to 617] */2549export type R617 = R616 | 617;2550/** R from [0 to 617) */2551export type R617n = R616;2552/** R from [0 to 618] */2553export type R618 = R617 | 618;2554/** R from [0 to 618) */2555export type R618n = R617;2556/** R from [0 to 619] */2557export type R619 = R618 | 619;2558/** R from [0 to 619) */2559export type R619n = R618;2560/** R from [0 to 620] */2561export type R620 = R619 | 620;2562/** R from [0 to 620) */2563export type R620n = R619;2564/** R from [0 to 621] */2565export type R621 = R620 | 621;2566/** R from [0 to 621) */2567export type R621n = R620;2568/** R from [0 to 622] */2569export type R622 = R621 | 622;2570/** R from [0 to 622) */2571export type R622n = R621;2572/** R from [0 to 623] */2573export type R623 = R622 | 623;2574/** R from [0 to 623) */2575export type R623n = R622;2576/** R from [0 to 624] */2577export type R624 = R623 | 624;2578/** R from [0 to 624) */2579export type R624n = R623;2580/** R from [0 to 625] */2581export type R625 = R624 | 625;2582/** R from [0 to 625) */2583export type R625n = R624;2584/** R from [0 to 626] */2585export type R626 = R625 | 626;2586/** R from [0 to 626) */2587export type R626n = R625;2588/** R from [0 to 627] */2589export type R627 = R626 | 627;2590/** R from [0 to 627) */2591export type R627n = R626;2592/** R from [0 to 628] */2593export type R628 = R627 | 628;2594/** R from [0 to 628) */2595export type R628n = R627;2596/** R from [0 to 629] */2597export type R629 = R628 | 629;2598/** R from [0 to 629) */2599export type R629n = R628;2600/** R from [0 to 630] */2601export type R630 = R629 | 630;2602/** R from [0 to 630) */2603export type R630n = R629;2604/** R from [0 to 631] */2605export type R631 = R630 | 631;2606/** R from [0 to 631) */2607export type R631n = R630;2608/** R from [0 to 632] */2609export type R632 = R631 | 632;2610/** R from [0 to 632) */2611export type R632n = R631;2612/** R from [0 to 633] */2613export type R633 = R632 | 633;2614/** R from [0 to 633) */2615export type R633n = R632;2616/** R from [0 to 634] */2617export type R634 = R633 | 634;2618/** R from [0 to 634) */2619export type R634n = R633;2620/** R from [0 to 635] */2621export type R635 = R634 | 635;2622/** R from [0 to 635) */2623export type R635n = R634;2624/** R from [0 to 636] */2625export type R636 = R635 | 636;2626/** R from [0 to 636) */2627export type R636n = R635;2628/** R from [0 to 637] */2629export type R637 = R636 | 637;2630/** R from [0 to 637) */2631export type R637n = R636;2632/** R from [0 to 638] */2633export type R638 = R637 | 638;2634/** R from [0 to 638) */2635export type R638n = R637;2636/** R from [0 to 639] */2637export type R639 = R638 | 639;2638/** R from [0 to 639) */2639export type R639n = R638;2640/** R from [0 to 640] */2641export type R640 = R639 | 640;2642/** R from [0 to 640) */2643export type R640n = R639;2644/** R from [0 to 641] */2645export type R641 = R640 | 641;2646/** R from [0 to 641) */2647export type R641n = R640;2648/** R from [0 to 642] */2649export type R642 = R641 | 642;2650/** R from [0 to 642) */2651export type R642n = R641;2652/** R from [0 to 643] */2653export type R643 = R642 | 643;2654/** R from [0 to 643) */2655export type R643n = R642;2656/** R from [0 to 644] */2657export type R644 = R643 | 644;2658/** R from [0 to 644) */2659export type R644n = R643;2660/** R from [0 to 645] */2661export type R645 = R644 | 645;2662/** R from [0 to 645) */2663export type R645n = R644;2664/** R from [0 to 646] */2665export type R646 = R645 | 646;2666/** R from [0 to 646) */2667export type R646n = R645;2668/** R from [0 to 647] */2669export type R647 = R646 | 647;2670/** R from [0 to 647) */2671export type R647n = R646;2672/** R from [0 to 648] */2673export type R648 = R647 | 648;2674/** R from [0 to 648) */2675export type R648n = R647;2676/** R from [0 to 649] */2677export type R649 = R648 | 649;2678/** R from [0 to 649) */2679export type R649n = R648;2680/** R from [0 to 650] */2681export type R650 = R649 | 650;2682/** R from [0 to 650) */2683export type R650n = R649;2684/** R from [0 to 651] */2685export type R651 = R650 | 651;2686/** R from [0 to 651) */2687export type R651n = R650;2688/** R from [0 to 652] */2689export type R652 = R651 | 652;2690/** R from [0 to 652) */2691export type R652n = R651;2692/** R from [0 to 653] */2693export type R653 = R652 | 653;2694/** R from [0 to 653) */2695export type R653n = R652;2696/** R from [0 to 654] */2697export type R654 = R653 | 654;2698/** R from [0 to 654) */2699export type R654n = R653;2700/** R from [0 to 655] */2701export type R655 = R654 | 655;2702/** R from [0 to 655) */2703export type R655n = R654;2704/** R from [0 to 656] */2705export type R656 = R655 | 656;2706/** R from [0 to 656) */2707export type R656n = R655;2708/** R from [0 to 657] */2709export type R657 = R656 | 657;2710/** R from [0 to 657) */2711export type R657n = R656;2712/** R from [0 to 658] */2713export type R658 = R657 | 658;2714/** R from [0 to 658) */2715export type R658n = R657;2716/** R from [0 to 659] */2717export type R659 = R658 | 659;2718/** R from [0 to 659) */2719export type R659n = R658;2720/** R from [0 to 660] */2721export type R660 = R659 | 660;2722/** R from [0 to 660) */2723export type R660n = R659;2724/** R from [0 to 661] */2725export type R661 = R660 | 661;2726/** R from [0 to 661) */2727export type R661n = R660;2728/** R from [0 to 662] */2729export type R662 = R661 | 662;2730/** R from [0 to 662) */2731export type R662n = R661;2732/** R from [0 to 663] */2733export type R663 = R662 | 663;2734/** R from [0 to 663) */2735export type R663n = R662;2736/** R from [0 to 664] */2737export type R664 = R663 | 664;2738/** R from [0 to 664) */2739export type R664n = R663;2740/** R from [0 to 665] */2741export type R665 = R664 | 665;2742/** R from [0 to 665) */2743export type R665n = R664;2744/** R from [0 to 666] */2745export type R666 = R665 | 666;2746/** R from [0 to 666) */2747export type R666n = R665;2748/** R from [0 to 667] */2749export type R667 = R666 | 667;2750/** R from [0 to 667) */2751export type R667n = R666;2752/** R from [0 to 668] */2753export type R668 = R667 | 668;2754/** R from [0 to 668) */2755export type R668n = R667;2756/** R from [0 to 669] */2757export type R669 = R668 | 669;2758/** R from [0 to 669) */2759export type R669n = R668;2760/** R from [0 to 670] */2761export type R670 = R669 | 670;2762/** R from [0 to 670) */2763export type R670n = R669;2764/** R from [0 to 671] */2765export type R671 = R670 | 671;2766/** R from [0 to 671) */2767export type R671n = R670;2768/** R from [0 to 672] */2769export type R672 = R671 | 672;2770/** R from [0 to 672) */2771export type R672n = R671;2772/** R from [0 to 673] */2773export type R673 = R672 | 673;2774/** R from [0 to 673) */2775export type R673n = R672;2776/** R from [0 to 674] */2777export type R674 = R673 | 674;2778/** R from [0 to 674) */2779export type R674n = R673;2780/** R from [0 to 675] */2781export type R675 = R674 | 675;2782/** R from [0 to 675) */2783export type R675n = R674;2784/** R from [0 to 676] */2785export type R676 = R675 | 676;2786/** R from [0 to 676) */2787export type R676n = R675;2788/** R from [0 to 677] */2789export type R677 = R676 | 677;2790/** R from [0 to 677) */2791export type R677n = R676;2792/** R from [0 to 678] */2793export type R678 = R677 | 678;2794/** R from [0 to 678) */2795export type R678n = R677;2796/** R from [0 to 679] */2797export type R679 = R678 | 679;2798/** R from [0 to 679) */2799export type R679n = R678;2800/** R from [0 to 680] */2801export type R680 = R679 | 680;2802/** R from [0 to 680) */2803export type R680n = R679;2804/** R from [0 to 681] */2805export type R681 = R680 | 681;2806/** R from [0 to 681) */2807export type R681n = R680;2808/** R from [0 to 682] */2809export type R682 = R681 | 682;2810/** R from [0 to 682) */2811export type R682n = R681;2812/** R from [0 to 683] */2813export type R683 = R682 | 683;2814/** R from [0 to 683) */2815export type R683n = R682;2816/** R from [0 to 684] */2817export type R684 = R683 | 684;2818/** R from [0 to 684) */2819export type R684n = R683;2820/** R from [0 to 685] */2821export type R685 = R684 | 685;2822/** R from [0 to 685) */2823export type R685n = R684;2824/** R from [0 to 686] */2825export type R686 = R685 | 686;2826/** R from [0 to 686) */2827export type R686n = R685;2828/** R from [0 to 687] */2829export type R687 = R686 | 687;2830/** R from [0 to 687) */2831export type R687n = R686;2832/** R from [0 to 688] */2833export type R688 = R687 | 688;2834/** R from [0 to 688) */2835export type R688n = R687;2836/** R from [0 to 689] */2837export type R689 = R688 | 689;2838/** R from [0 to 689) */2839export type R689n = R688;2840/** R from [0 to 690] */2841export type R690 = R689 | 690;2842/** R from [0 to 690) */2843export type R690n = R689;2844/** R from [0 to 691] */2845export type R691 = R690 | 691;2846/** R from [0 to 691) */2847export type R691n = R690;2848/** R from [0 to 692] */2849export type R692 = R691 | 692;2850/** R from [0 to 692) */2851export type R692n = R691;2852/** R from [0 to 693] */2853export type R693 = R692 | 693;2854/** R from [0 to 693) */2855export type R693n = R692;2856/** R from [0 to 694] */2857export type R694 = R693 | 694;2858/** R from [0 to 694) */2859export type R694n = R693;2860/** R from [0 to 695] */2861export type R695 = R694 | 695;2862/** R from [0 to 695) */2863export type R695n = R694;2864/** R from [0 to 696] */2865export type R696 = R695 | 696;2866/** R from [0 to 696) */2867export type R696n = R695;2868/** R from [0 to 697] */2869export type R697 = R696 | 697;2870/** R from [0 to 697) */2871export type R697n = R696;2872/** R from [0 to 698] */2873export type R698 = R697 | 698;2874/** R from [0 to 698) */2875export type R698n = R697;2876/** R from [0 to 699] */2877export type R699 = R698 | 699;2878/** R from [0 to 699) */2879export type R699n = R698;2880/** R from [0 to 700] */2881export type R700 = R699 | 700;2882/** R from [0 to 700) */2883export type R700n = R699;2884/** R from [0 to 701] */2885export type R701 = R700 | 701;2886/** R from [0 to 701) */2887export type R701n = R700;2888/** R from [0 to 702] */2889export type R702 = R701 | 702;2890/** R from [0 to 702) */2891export type R702n = R701;2892/** R from [0 to 703] */2893export type R703 = R702 | 703;2894/** R from [0 to 703) */2895export type R703n = R702;2896/** R from [0 to 704] */2897export type R704 = R703 | 704;2898/** R from [0 to 704) */2899export type R704n = R703;2900/** R from [0 to 705] */2901export type R705 = R704 | 705;2902/** R from [0 to 705) */2903export type R705n = R704;2904/** R from [0 to 706] */2905export type R706 = R705 | 706;2906/** R from [0 to 706) */2907export type R706n = R705;2908/** R from [0 to 707] */2909export type R707 = R706 | 707;2910/** R from [0 to 707) */2911export type R707n = R706;2912/** R from [0 to 708] */2913export type R708 = R707 | 708;2914/** R from [0 to 708) */2915export type R708n = R707;2916/** R from [0 to 709] */2917export type R709 = R708 | 709;2918/** R from [0 to 709) */2919export type R709n = R708;2920/** R from [0 to 710] */2921export type R710 = R709 | 710;2922/** R from [0 to 710) */2923export type R710n = R709;2924/** R from [0 to 711] */2925export type R711 = R710 | 711;2926/** R from [0 to 711) */2927export type R711n = R710;2928/** R from [0 to 712] */2929export type R712 = R711 | 712;2930/** R from [0 to 712) */2931export type R712n = R711;2932/** R from [0 to 713] */2933export type R713 = R712 | 713;2934/** R from [0 to 713) */2935export type R713n = R712;2936/** R from [0 to 714] */2937export type R714 = R713 | 714;2938/** R from [0 to 714) */2939export type R714n = R713;2940/** R from [0 to 715] */2941export type R715 = R714 | 715;2942/** R from [0 to 715) */2943export type R715n = R714;2944/** R from [0 to 716] */2945export type R716 = R715 | 716;2946/** R from [0 to 716) */2947export type R716n = R715;2948/** R from [0 to 717] */2949export type R717 = R716 | 717;2950/** R from [0 to 717) */2951export type R717n = R716;2952/** R from [0 to 718] */2953export type R718 = R717 | 718;2954/** R from [0 to 718) */2955export type R718n = R717;2956/** R from [0 to 719] */2957export type R719 = R718 | 719;2958/** R from [0 to 719) */2959export type R719n = R718;2960/** R from [0 to 720] */2961export type R720 = R719 | 720;2962/** R from [0 to 720) */2963export type R720n = R719;2964/** R from [0 to 721] */2965export type R721 = R720 | 721;2966/** R from [0 to 721) */2967export type R721n = R720;2968/** R from [0 to 722] */2969export type R722 = R721 | 722;2970/** R from [0 to 722) */2971export type R722n = R721;2972/** R from [0 to 723] */2973export type R723 = R722 | 723;2974/** R from [0 to 723) */2975export type R723n = R722;2976/** R from [0 to 724] */2977export type R724 = R723 | 724;2978/** R from [0 to 724) */2979export type R724n = R723;2980/** R from [0 to 725] */2981export type R725 = R724 | 725;2982/** R from [0 to 725) */2983export type R725n = R724;2984/** R from [0 to 726] */2985export type R726 = R725 | 726;2986/** R from [0 to 726) */2987export type R726n = R725;2988/** R from [0 to 727] */2989export type R727 = R726 | 727;2990/** R from [0 to 727) */2991export type R727n = R726;2992/** R from [0 to 728] */2993export type R728 = R727 | 728;2994/** R from [0 to 728) */2995export type R728n = R727;2996/** R from [0 to 729] */2997export type R729 = R728 | 729;2998/** R from [0 to 729) */2999export type R729n = R728;3000/** R from [0 to 730] */3001export type R730 = R729 | 730;3002/** R from [0 to 730) */3003export type R730n = R729;3004/** R from [0 to 731] */3005export type R731 = R730 | 731;3006/** R from [0 to 731) */3007export type R731n = R730;3008/** R from [0 to 732] */3009export type R732 = R731 | 732;3010/** R from [0 to 732) */3011export type R732n = R731;3012/** R from [0 to 733] */3013export type R733 = R732 | 733;3014/** R from [0 to 733) */3015export type R733n = R732;3016/** R from [0 to 734] */3017export type R734 = R733 | 734;3018/** R from [0 to 734) */3019export type R734n = R733;3020/** R from [0 to 735] */3021export type R735 = R734 | 735;3022/** R from [0 to 735) */3023export type R735n = R734;3024/** R from [0 to 736] */3025export type R736 = R735 | 736;3026/** R from [0 to 736) */3027export type R736n = R735;3028/** R from [0 to 737] */3029export type R737 = R736 | 737;3030/** R from [0 to 737) */3031export type R737n = R736;3032/** R from [0 to 738] */3033export type R738 = R737 | 738;3034/** R from [0 to 738) */3035export type R738n = R737;3036/** R from [0 to 739] */3037export type R739 = R738 | 739;3038/** R from [0 to 739) */3039export type R739n = R738;3040/** R from [0 to 740] */3041export type R740 = R739 | 740;3042/** R from [0 to 740) */3043export type R740n = R739;3044/** R from [0 to 741] */3045export type R741 = R740 | 741;3046/** R from [0 to 741) */3047export type R741n = R740;3048/** R from [0 to 742] */3049export type R742 = R741 | 742;3050/** R from [0 to 742) */3051export type R742n = R741;3052/** R from [0 to 743] */3053export type R743 = R742 | 743;3054/** R from [0 to 743) */3055export type R743n = R742;3056/** R from [0 to 744] */3057export type R744 = R743 | 744;3058/** R from [0 to 744) */3059export type R744n = R743;3060/** R from [0 to 745] */3061export type R745 = R744 | 745;3062/** R from [0 to 745) */3063export type R745n = R744;3064/** R from [0 to 746] */3065export type R746 = R745 | 746;3066/** R from [0 to 746) */3067export type R746n = R745;3068/** R from [0 to 747] */3069export type R747 = R746 | 747;3070/** R from [0 to 747) */3071export type R747n = R746;3072/** R from [0 to 748] */3073export type R748 = R747 | 748;3074/** R from [0 to 748) */3075export type R748n = R747;3076/** R from [0 to 749] */3077export type R749 = R748 | 749;3078/** R from [0 to 749) */3079export type R749n = R748;3080/** R from [0 to 750] */3081export type R750 = R749 | 750;3082/** R from [0 to 750) */3083export type R750n = R749;3084/** R from [0 to 751] */3085export type R751 = R750 | 751;3086/** R from [0 to 751) */3087export type R751n = R750;3088/** R from [0 to 752] */3089export type R752 = R751 | 752;3090/** R from [0 to 752) */3091export type R752n = R751;3092/** R from [0 to 753] */3093export type R753 = R752 | 753;3094/** R from [0 to 753) */3095export type R753n = R752;3096/** R from [0 to 754] */3097export type R754 = R753 | 754;3098/** R from [0 to 754) */3099export type R754n = R753;3100/** R from [0 to 755] */3101export type R755 = R754 | 755;3102/** R from [0 to 755) */3103export type R755n = R754;3104/** R from [0 to 756] */3105export type R756 = R755 | 756;3106/** R from [0 to 756) */3107export type R756n = R755;3108/** R from [0 to 757] */3109export type R757 = R756 | 757;3110/** R from [0 to 757) */3111export type R757n = R756;3112/** R from [0 to 758] */3113export type R758 = R757 | 758;3114/** R from [0 to 758) */3115export type R758n = R757;3116/** R from [0 to 759] */3117export type R759 = R758 | 759;3118/** R from [0 to 759) */3119export type R759n = R758;3120/** R from [0 to 760] */3121export type R760 = R759 | 760;3122/** R from [0 to 760) */3123export type R760n = R759;3124/** R from [0 to 761] */3125export type R761 = R760 | 761;3126/** R from [0 to 761) */3127export type R761n = R760;3128/** R from [0 to 762] */3129export type R762 = R761 | 762;3130/** R from [0 to 762) */3131export type R762n = R761;3132/** R from [0 to 763] */3133export type R763 = R762 | 763;3134/** R from [0 to 763) */3135export type R763n = R762;3136/** R from [0 to 764] */3137export type R764 = R763 | 764;3138/** R from [0 to 764) */3139export type R764n = R763;3140/** R from [0 to 765] */3141export type R765 = R764 | 765;3142/** R from [0 to 765) */3143export type R765n = R764;3144/** R from [0 to 766] */3145export type R766 = R765 | 766;3146/** R from [0 to 766) */3147export type R766n = R765;3148/** R from [0 to 767] */3149export type R767 = R766 | 767;3150/** R from [0 to 767) */3151export type R767n = R766;3152/** R from [0 to 768] */3153export type R768 = R767 | 768;3154/** R from [0 to 768) */3155export type R768n = R767;3156/** R from [0 to 769] */3157export type R769 = R768 | 769;3158/** R from [0 to 769) */3159export type R769n = R768;3160/** R from [0 to 770] */3161export type R770 = R769 | 770;3162/** R from [0 to 770) */3163export type R770n = R769;3164/** R from [0 to 771] */3165export type R771 = R770 | 771;3166/** R from [0 to 771) */3167export type R771n = R770;3168/** R from [0 to 772] */3169export type R772 = R771 | 772;3170/** R from [0 to 772) */3171export type R772n = R771;3172/** R from [0 to 773] */3173export type R773 = R772 | 773;3174/** R from [0 to 773) */3175export type R773n = R772;3176/** R from [0 to 774] */3177export type R774 = R773 | 774;3178/** R from [0 to 774) */3179export type R774n = R773;3180/** R from [0 to 775] */3181export type R775 = R774 | 775;3182/** R from [0 to 775) */3183export type R775n = R774;3184/** R from [0 to 776] */3185export type R776 = R775 | 776;3186/** R from [0 to 776) */3187export type R776n = R775;3188/** R from [0 to 777] */3189export type R777 = R776 | 777;3190/** R from [0 to 777) */3191export type R777n = R776;3192/** R from [0 to 778] */3193export type R778 = R777 | 778;3194/** R from [0 to 778) */3195export type R778n = R777;3196/** R from [0 to 779] */3197export type R779 = R778 | 779;3198/** R from [0 to 779) */3199export type R779n = R778;3200/** R from [0 to 780] */3201export type R780 = R779 | 780;3202/** R from [0 to 780) */3203export type R780n = R779;3204/** R from [0 to 781] */3205export type R781 = R780 | 781;3206/** R from [0 to 781) */3207export type R781n = R780;3208/** R from [0 to 782] */3209export type R782 = R781 | 782;3210/** R from [0 to 782) */3211export type R782n = R781;3212/** R from [0 to 783] */3213export type R783 = R782 | 783;3214/** R from [0 to 783) */3215export type R783n = R782;3216/** R from [0 to 784] */3217export type R784 = R783 | 784;3218/** R from [0 to 784) */3219export type R784n = R783;3220/** R from [0 to 785] */3221export type R785 = R784 | 785;3222/** R from [0 to 785) */3223export type R785n = R784;3224/** R from [0 to 786] */3225export type R786 = R785 | 786;3226/** R from [0 to 786) */3227export type R786n = R785;3228/** R from [0 to 787] */3229export type R787 = R786 | 787;3230/** R from [0 to 787) */3231export type R787n = R786;3232/** R from [0 to 788] */3233export type R788 = R787 | 788;3234/** R from [0 to 788) */3235export type R788n = R787;3236/** R from [0 to 789] */3237export type R789 = R788 | 789;3238/** R from [0 to 789) */3239export type R789n = R788;3240/** R from [0 to 790] */3241export type R790 = R789 | 790;3242/** R from [0 to 790) */3243export type R790n = R789;3244/** R from [0 to 791] */3245export type R791 = R790 | 791;3246/** R from [0 to 791) */3247export type R791n = R790;3248/** R from [0 to 792] */3249export type R792 = R791 | 792;3250/** R from [0 to 792) */3251export type R792n = R791;3252/** R from [0 to 793] */3253export type R793 = R792 | 793;3254/** R from [0 to 793) */3255export type R793n = R792;3256/** R from [0 to 794] */3257export type R794 = R793 | 794;3258/** R from [0 to 794) */3259export type R794n = R793;3260/** R from [0 to 795] */3261export type R795 = R794 | 795;3262/** R from [0 to 795) */3263export type R795n = R794;3264/** R from [0 to 796] */3265export type R796 = R795 | 796;3266/** R from [0 to 796) */3267export type R796n = R795;3268/** R from [0 to 797] */3269export type R797 = R796 | 797;3270/** R from [0 to 797) */3271export type R797n = R796;3272/** R from [0 to 798] */3273export type R798 = R797 | 798;3274/** R from [0 to 798) */3275export type R798n = R797;3276/** R from [0 to 799] */3277export type R799 = R798 | 799;3278/** R from [0 to 799) */3279export type R799n = R798;3280/** R from [0 to 800] */3281export type R800 = R799 | 800;3282/** R from [0 to 800) */3283export type R800n = R799;3284/** R from [0 to 801] */3285export type R801 = R800 | 801;3286/** R from [0 to 801) */3287export type R801n = R800;3288/** R from [0 to 802] */3289export type R802 = R801 | 802;3290/** R from [0 to 802) */3291export type R802n = R801;3292/** R from [0 to 803] */3293export type R803 = R802 | 803;3294/** R from [0 to 803) */3295export type R803n = R802;3296/** R from [0 to 804] */3297export type R804 = R803 | 804;3298/** R from [0 to 804) */3299export type R804n = R803;3300/** R from [0 to 805] */3301export type R805 = R804 | 805;3302/** R from [0 to 805) */3303export type R805n = R804;3304/** R from [0 to 806] */3305export type R806 = R805 | 806;3306/** R from [0 to 806) */3307export type R806n = R805;3308/** R from [0 to 807] */3309export type R807 = R806 | 807;3310/** R from [0 to 807) */3311export type R807n = R806;3312/** R from [0 to 808] */3313export type R808 = R807 | 808;3314/** R from [0 to 808) */3315export type R808n = R807;3316/** R from [0 to 809] */3317export type R809 = R808 | 809;3318/** R from [0 to 809) */3319export type R809n = R808;3320/** R from [0 to 810] */3321export type R810 = R809 | 810;3322/** R from [0 to 810) */3323export type R810n = R809;3324/** R from [0 to 811] */3325export type R811 = R810 | 811;3326/** R from [0 to 811) */3327export type R811n = R810;3328/** R from [0 to 812] */3329export type R812 = R811 | 812;3330/** R from [0 to 812) */3331export type R812n = R811;3332/** R from [0 to 813] */3333export type R813 = R812 | 813;3334/** R from [0 to 813) */3335export type R813n = R812;3336/** R from [0 to 814] */3337export type R814 = R813 | 814;3338/** R from [0 to 814) */3339export type R814n = R813;3340/** R from [0 to 815] */3341export type R815 = R814 | 815;3342/** R from [0 to 815) */3343export type R815n = R814;3344/** R from [0 to 816] */3345export type R816 = R815 | 816;3346/** R from [0 to 816) */3347export type R816n = R815;3348/** R from [0 to 817] */3349export type R817 = R816 | 817;3350/** R from [0 to 817) */3351export type R817n = R816;3352/** R from [0 to 818] */3353export type R818 = R817 | 818;3354/** R from [0 to 818) */3355export type R818n = R817;3356/** R from [0 to 819] */3357export type R819 = R818 | 819;3358/** R from [0 to 819) */3359export type R819n = R818;3360/** R from [0 to 820] */3361export type R820 = R819 | 820;3362/** R from [0 to 820) */3363export type R820n = R819;3364/** R from [0 to 821] */3365export type R821 = R820 | 821;3366/** R from [0 to 821) */3367export type R821n = R820;3368/** R from [0 to 822] */3369export type R822 = R821 | 822;3370/** R from [0 to 822) */3371export type R822n = R821;3372/** R from [0 to 823] */3373export type R823 = R822 | 823;3374/** R from [0 to 823) */3375export type R823n = R822;3376/** R from [0 to 824] */3377export type R824 = R823 | 824;3378/** R from [0 to 824) */3379export type R824n = R823;3380/** R from [0 to 825] */3381export type R825 = R824 | 825;3382/** R from [0 to 825) */3383export type R825n = R824;3384/** R from [0 to 826] */3385export type R826 = R825 | 826;3386/** R from [0 to 826) */3387export type R826n = R825;3388/** R from [0 to 827] */3389export type R827 = R826 | 827;3390/** R from [0 to 827) */3391export type R827n = R826;3392/** R from [0 to 828] */3393export type R828 = R827 | 828;3394/** R from [0 to 828) */3395export type R828n = R827;3396/** R from [0 to 829] */3397export type R829 = R828 | 829;3398/** R from [0 to 829) */3399export type R829n = R828;3400/** R from [0 to 830] */3401export type R830 = R829 | 830;3402/** R from [0 to 830) */3403export type R830n = R829;3404/** R from [0 to 831] */3405export type R831 = R830 | 831;3406/** R from [0 to 831) */3407export type R831n = R830;3408/** R from [0 to 832] */3409export type R832 = R831 | 832;3410/** R from [0 to 832) */3411export type R832n = R831;3412/** R from [0 to 833] */3413export type R833 = R832 | 833;3414/** R from [0 to 833) */3415export type R833n = R832;3416/** R from [0 to 834] */3417export type R834 = R833 | 834;3418/** R from [0 to 834) */3419export type R834n = R833;3420/** R from [0 to 835] */3421export type R835 = R834 | 835;3422/** R from [0 to 835) */3423export type R835n = R834;3424/** R from [0 to 836] */3425export type R836 = R835 | 836;3426/** R from [0 to 836) */3427export type R836n = R835;3428/** R from [0 to 837] */3429export type R837 = R836 | 837;3430/** R from [0 to 837) */3431export type R837n = R836;3432/** R from [0 to 838] */3433export type R838 = R837 | 838;3434/** R from [0 to 838) */3435export type R838n = R837;3436/** R from [0 to 839] */3437export type R839 = R838 | 839;3438/** R from [0 to 839) */3439export type R839n = R838;3440/** R from [0 to 840] */3441export type R840 = R839 | 840;3442/** R from [0 to 840) */3443export type R840n = R839;3444/** R from [0 to 841] */3445export type R841 = R840 | 841;3446/** R from [0 to 841) */3447export type R841n = R840;3448/** R from [0 to 842] */3449export type R842 = R841 | 842;3450/** R from [0 to 842) */3451export type R842n = R841;3452/** R from [0 to 843] */3453export type R843 = R842 | 843;3454/** R from [0 to 843) */3455export type R843n = R842;3456/** R from [0 to 844] */3457export type R844 = R843 | 844;3458/** R from [0 to 844) */3459export type R844n = R843;3460/** R from [0 to 845] */3461export type R845 = R844 | 845;3462/** R from [0 to 845) */3463export type R845n = R844;3464/** R from [0 to 846] */3465export type R846 = R845 | 846;3466/** R from [0 to 846) */3467export type R846n = R845;3468/** R from [0 to 847] */3469export type R847 = R846 | 847;3470/** R from [0 to 847) */3471export type R847n = R846;3472/** R from [0 to 848] */3473export type R848 = R847 | 848;3474/** R from [0 to 848) */3475export type R848n = R847;3476/** R from [0 to 849] */3477export type R849 = R848 | 849;3478/** R from [0 to 849) */3479export type R849n = R848;3480/** R from [0 to 850] */3481export type R850 = R849 | 850;3482/** R from [0 to 850) */3483export type R850n = R849;3484/** R from [0 to 851] */3485export type R851 = R850 | 851;3486/** R from [0 to 851) */3487export type R851n = R850;3488/** R from [0 to 852] */3489export type R852 = R851 | 852;3490/** R from [0 to 852) */3491export type R852n = R851;3492/** R from [0 to 853] */3493export type R853 = R852 | 853;3494/** R from [0 to 853) */3495export type R853n = R852;3496/** R from [0 to 854] */3497export type R854 = R853 | 854;3498/** R from [0 to 854) */3499export type R854n = R853;3500/** R from [0 to 855] */3501export type R855 = R854 | 855;3502/** R from [0 to 855) */3503export type R855n = R854;3504/** R from [0 to 856] */3505export type R856 = R855 | 856;3506/** R from [0 to 856) */3507export type R856n = R855;3508/** R from [0 to 857] */3509export type R857 = R856 | 857;3510/** R from [0 to 857) */3511export type R857n = R856;3512/** R from [0 to 858] */3513export type R858 = R857 | 858;3514/** R from [0 to 858) */3515export type R858n = R857;3516/** R from [0 to 859] */3517export type R859 = R858 | 859;3518/** R from [0 to 859) */3519export type R859n = R858;3520/** R from [0 to 860] */3521export type R860 = R859 | 860;3522/** R from [0 to 860) */3523export type R860n = R859;3524/** R from [0 to 861] */3525export type R861 = R860 | 861;3526/** R from [0 to 861) */3527export type R861n = R860;3528/** R from [0 to 862] */3529export type R862 = R861 | 862;3530/** R from [0 to 862) */3531export type R862n = R861;3532/** R from [0 to 863] */3533export type R863 = R862 | 863;3534/** R from [0 to 863) */3535export type R863n = R862;3536/** R from [0 to 864] */3537export type R864 = R863 | 864;3538/** R from [0 to 864) */3539export type R864n = R863;3540/** R from [0 to 865] */3541export type R865 = R864 | 865;3542/** R from [0 to 865) */3543export type R865n = R864;3544/** R from [0 to 866] */3545export type R866 = R865 | 866;3546/** R from [0 to 866) */3547export type R866n = R865;3548/** R from [0 to 867] */3549export type R867 = R866 | 867;3550/** R from [0 to 867) */3551export type R867n = R866;3552/** R from [0 to 868] */3553export type R868 = R867 | 868;3554/** R from [0 to 868) */3555export type R868n = R867;3556/** R from [0 to 869] */3557export type R869 = R868 | 869;3558/** R from [0 to 869) */3559export type R869n = R868;3560/** R from [0 to 870] */3561export type R870 = R869 | 870;3562/** R from [0 to 870) */3563export type R870n = R869;3564/** R from [0 to 871] */3565export type R871 = R870 | 871;3566/** R from [0 to 871) */3567export type R871n = R870;3568/** R from [0 to 872] */3569export type R872 = R871 | 872;3570/** R from [0 to 872) */3571export type R872n = R871;3572/** R from [0 to 873] */3573export type R873 = R872 | 873;3574/** R from [0 to 873) */3575export type R873n = R872;3576/** R from [0 to 874] */3577export type R874 = R873 | 874;3578/** R from [0 to 874) */3579export type R874n = R873;3580/** R from [0 to 875] */3581export type R875 = R874 | 875;3582/** R from [0 to 875) */3583export type R875n = R874;3584/** R from [0 to 876] */3585export type R876 = R875 | 876;3586/** R from [0 to 876) */3587export type R876n = R875;3588/** R from [0 to 877] */3589export type R877 = R876 | 877;3590/** R from [0 to 877) */3591export type R877n = R876;3592/** R from [0 to 878] */3593export type R878 = R877 | 878;3594/** R from [0 to 878) */3595export type R878n = R877;3596/** R from [0 to 879] */3597export type R879 = R878 | 879;3598/** R from [0 to 879) */3599export type R879n = R878;3600/** R from [0 to 880] */3601export type R880 = R879 | 880;3602/** R from [0 to 880) */3603export type R880n = R879;3604/** R from [0 to 881] */3605export type R881 = R880 | 881;3606/** R from [0 to 881) */3607export type R881n = R880;3608/** R from [0 to 882] */3609export type R882 = R881 | 882;3610/** R from [0 to 882) */3611export type R882n = R881;3612/** R from [0 to 883] */3613export type R883 = R882 | 883;3614/** R from [0 to 883) */3615export type R883n = R882;3616/** R from [0 to 884] */3617export type R884 = R883 | 884;3618/** R from [0 to 884) */3619export type R884n = R883;3620/** R from [0 to 885] */3621export type R885 = R884 | 885;3622/** R from [0 to 885) */3623export type R885n = R884;3624/** R from [0 to 886] */3625export type R886 = R885 | 886;3626/** R from [0 to 886) */3627export type R886n = R885;3628/** R from [0 to 887] */3629export type R887 = R886 | 887;3630/** R from [0 to 887) */3631export type R887n = R886;3632/** R from [0 to 888] */3633export type R888 = R887 | 888;3634/** R from [0 to 888) */3635export type R888n = R887;3636/** R from [0 to 889] */3637export type R889 = R888 | 889;3638/** R from [0 to 889) */3639export type R889n = R888;3640/** R from [0 to 890] */3641export type R890 = R889 | 890;3642/** R from [0 to 890) */3643export type R890n = R889;3644/** R from [0 to 891] */3645export type R891 = R890 | 891;3646/** R from [0 to 891) */3647export type R891n = R890;3648/** R from [0 to 892] */3649export type R892 = R891 | 892;3650/** R from [0 to 892) */3651export type R892n = R891;3652/** R from [0 to 893] */3653export type R893 = R892 | 893;3654/** R from [0 to 893) */3655export type R893n = R892;3656/** R from [0 to 894] */3657export type R894 = R893 | 894;3658/** R from [0 to 894) */3659export type R894n = R893;3660/** R from [0 to 895] */3661export type R895 = R894 | 895;3662/** R from [0 to 895) */3663export type R895n = R894;3664/** R from [0 to 896] */3665export type R896 = R895 | 896;3666/** R from [0 to 896) */3667export type R896n = R895;3668/** R from [0 to 897] */3669export type R897 = R896 | 897;3670/** R from [0 to 897) */3671export type R897n = R896;3672/** R from [0 to 898] */3673export type R898 = R897 | 898;3674/** R from [0 to 898) */3675export type R898n = R897;3676/** R from [0 to 899] */3677export type R899 = R898 | 899;3678/** R from [0 to 899) */3679export type R899n = R898;3680/** R from [0 to 900] */3681export type R900 = R899 | 900;3682/** R from [0 to 900) */3683export type R900n = R899;3684/** R from [0 to 901] */3685export type R901 = R900 | 901;3686/** R from [0 to 901) */3687export type R901n = R900;3688/** R from [0 to 902] */3689export type R902 = R901 | 902;3690/** R from [0 to 902) */3691export type R902n = R901;3692/** R from [0 to 903] */3693export type R903 = R902 | 903;3694/** R from [0 to 903) */3695export type R903n = R902;3696/** R from [0 to 904] */3697export type R904 = R903 | 904;3698/** R from [0 to 904) */3699export type R904n = R903;3700/** R from [0 to 905] */3701export type R905 = R904 | 905;3702/** R from [0 to 905) */3703export type R905n = R904;3704/** R from [0 to 906] */3705export type R906 = R905 | 906;3706/** R from [0 to 906) */3707export type R906n = R905;3708/** R from [0 to 907] */3709export type R907 = R906 | 907;3710/** R from [0 to 907) */3711export type R907n = R906;3712/** R from [0 to 908] */3713export type R908 = R907 | 908;3714/** R from [0 to 908) */3715export type R908n = R907;3716/** R from [0 to 909] */3717export type R909 = R908 | 909;3718/** R from [0 to 909) */3719export type R909n = R908;3720/** R from [0 to 910] */3721export type R910 = R909 | 910;3722/** R from [0 to 910) */3723export type R910n = R909;3724/** R from [0 to 911] */3725export type R911 = R910 | 911;3726/** R from [0 to 911) */3727export type R911n = R910;3728/** R from [0 to 912] */3729export type R912 = R911 | 912;3730/** R from [0 to 912) */3731export type R912n = R911;3732/** R from [0 to 913] */3733export type R913 = R912 | 913;3734/** R from [0 to 913) */3735export type R913n = R912;3736/** R from [0 to 914] */3737export type R914 = R913 | 914;3738/** R from [0 to 914) */3739export type R914n = R913;3740/** R from [0 to 915] */3741export type R915 = R914 | 915;3742/** R from [0 to 915) */3743export type R915n = R914;3744/** R from [0 to 916] */3745export type R916 = R915 | 916;3746/** R from [0 to 916) */3747export type R916n = R915;3748/** R from [0 to 917] */3749export type R917 = R916 | 917;3750/** R from [0 to 917) */3751export type R917n = R916;3752/** R from [0 to 918] */3753export type R918 = R917 | 918;3754/** R from [0 to 918) */3755export type R918n = R917;3756/** R from [0 to 919] */3757export type R919 = R918 | 919;3758/** R from [0 to 919) */3759export type R919n = R918;3760/** R from [0 to 920] */3761export type R920 = R919 | 920;3762/** R from [0 to 920) */3763export type R920n = R919;3764/** R from [0 to 921] */3765export type R921 = R920 | 921;3766/** R from [0 to 921) */3767export type R921n = R920;3768/** R from [0 to 922] */3769export type R922 = R921 | 922;3770/** R from [0 to 922) */3771export type R922n = R921;3772/** R from [0 to 923] */3773export type R923 = R922 | 923;3774/** R from [0 to 923) */3775export type R923n = R922;3776/** R from [0 to 924] */3777export type R924 = R923 | 924;3778/** R from [0 to 924) */3779export type R924n = R923;3780/** R from [0 to 925] */3781export type R925 = R924 | 925;3782/** R from [0 to 925) */3783export type R925n = R924;3784/** R from [0 to 926] */3785export type R926 = R925 | 926;3786/** R from [0 to 926) */3787export type R926n = R925;3788/** R from [0 to 927] */3789export type R927 = R926 | 927;3790/** R from [0 to 927) */3791export type R927n = R926;3792/** R from [0 to 928] */3793export type R928 = R927 | 928;3794/** R from [0 to 928) */3795export type R928n = R927;3796/** R from [0 to 929] */3797export type R929 = R928 | 929;3798/** R from [0 to 929) */3799export type R929n = R928;3800/** R from [0 to 930] */3801export type R930 = R929 | 930;3802/** R from [0 to 930) */3803export type R930n = R929;3804/** R from [0 to 931] */3805export type R931 = R930 | 931;3806/** R from [0 to 931) */3807export type R931n = R930;3808/** R from [0 to 932] */3809export type R932 = R931 | 932;3810/** R from [0 to 932) */3811export type R932n = R931;3812/** R from [0 to 933] */3813export type R933 = R932 | 933;3814/** R from [0 to 933) */3815export type R933n = R932;3816/** R from [0 to 934] */3817export type R934 = R933 | 934;3818/** R from [0 to 934) */3819export type R934n = R933;3820/** R from [0 to 935] */3821export type R935 = R934 | 935;3822/** R from [0 to 935) */3823export type R935n = R934;3824/** R from [0 to 936] */3825export type R936 = R935 | 936;3826/** R from [0 to 936) */3827export type R936n = R935;3828/** R from [0 to 937] */3829export type R937 = R936 | 937;3830/** R from [0 to 937) */3831export type R937n = R936;3832/** R from [0 to 938] */3833export type R938 = R937 | 938;3834/** R from [0 to 938) */3835export type R938n = R937;3836/** R from [0 to 939] */3837export type R939 = R938 | 939;3838/** R from [0 to 939) */3839export type R939n = R938;3840/** R from [0 to 940] */3841export type R940 = R939 | 940;3842/** R from [0 to 940) */3843export type R940n = R939;3844/** R from [0 to 941] */3845export type R941 = R940 | 941;3846/** R from [0 to 941) */3847export type R941n = R940;3848/** R from [0 to 942] */3849export type R942 = R941 | 942;3850/** R from [0 to 942) */3851export type R942n = R941;3852/** R from [0 to 943] */3853export type R943 = R942 | 943;3854/** R from [0 to 943) */3855export type R943n = R942;3856/** R from [0 to 944] */3857export type R944 = R943 | 944;3858/** R from [0 to 944) */3859export type R944n = R943;3860/** R from [0 to 945] */3861export type R945 = R944 | 945;3862/** R from [0 to 945) */3863export type R945n = R944;3864/** R from [0 to 946] */3865export type R946 = R945 | 946;3866/** R from [0 to 946) */3867export type R946n = R945;3868/** R from [0 to 947] */3869export type R947 = R946 | 947;3870/** R from [0 to 947) */3871export type R947n = R946;3872/** R from [0 to 948] */3873export type R948 = R947 | 948;3874/** R from [0 to 948) */3875export type R948n = R947;3876/** R from [0 to 949] */3877export type R949 = R948 | 949;3878/** R from [0 to 949) */3879export type R949n = R948;3880/** R from [0 to 950] */3881export type R950 = R949 | 950;3882/** R from [0 to 950) */3883export type R950n = R949;3884/** R from [0 to 951] */3885export type R951 = R950 | 951;3886/** R from [0 to 951) */3887export type R951n = R950;3888/** R from [0 to 952] */3889export type R952 = R951 | 952;3890/** R from [0 to 952) */3891export type R952n = R951;3892/** R from [0 to 953] */3893export type R953 = R952 | 953;3894/** R from [0 to 953) */3895export type R953n = R952;3896/** R from [0 to 954] */3897export type R954 = R953 | 954;3898/** R from [0 to 954) */3899export type R954n = R953;3900/** R from [0 to 955] */3901export type R955 = R954 | 955;3902/** R from [0 to 955) */3903export type R955n = R954;3904/** R from [0 to 956] */3905export type R956 = R955 | 956;3906/** R from [0 to 956) */3907export type R956n = R955;3908/** R from [0 to 957] */3909export type R957 = R956 | 957;3910/** R from [0 to 957) */3911export type R957n = R956;3912/** R from [0 to 958] */3913export type R958 = R957 | 958;3914/** R from [0 to 958) */3915export type R958n = R957;3916/** R from [0 to 959] */3917export type R959 = R958 | 959;3918/** R from [0 to 959) */3919export type R959n = R958;3920/** R from [0 to 960] */3921export type R960 = R959 | 960;3922/** R from [0 to 960) */3923export type R960n = R959;3924/** R from [0 to 961] */3925export type R961 = R960 | 961;3926/** R from [0 to 961) */3927export type R961n = R960;3928/** R from [0 to 962] */3929export type R962 = R961 | 962;3930/** R from [0 to 962) */3931export type R962n = R961;3932/** R from [0 to 963] */3933export type R963 = R962 | 963;3934/** R from [0 to 963) */3935export type R963n = R962;3936/** R from [0 to 964] */3937export type R964 = R963 | 964;3938/** R from [0 to 964) */3939export type R964n = R963;3940/** R from [0 to 965] */3941export type R965 = R964 | 965;3942/** R from [0 to 965) */3943export type R965n = R964;3944/** R from [0 to 966] */3945export type R966 = R965 | 966;3946/** R from [0 to 966) */3947export type R966n = R965;3948/** R from [0 to 967] */3949export type R967 = R966 | 967;3950/** R from [0 to 967) */3951export type R967n = R966;3952/** R from [0 to 968] */3953export type R968 = R967 | 968;3954/** R from [0 to 968) */3955export type R968n = R967;3956/** R from [0 to 969] */3957export type R969 = R968 | 969;3958/** R from [0 to 969) */3959export type R969n = R968;3960/** R from [0 to 970] */3961export type R970 = R969 | 970;3962/** R from [0 to 970) */3963export type R970n = R969;3964/** R from [0 to 971] */3965export type R971 = R970 | 971;3966/** R from [0 to 971) */3967export type R971n = R970;3968/** R from [0 to 972] */3969export type R972 = R971 | 972;3970/** R from [0 to 972) */3971export type R972n = R971;3972/** R from [0 to 973] */3973export type R973 = R972 | 973;3974/** R from [0 to 973) */3975export type R973n = R972;3976/** R from [0 to 974] */3977export type R974 = R973 | 974;3978/** R from [0 to 974) */3979export type R974n = R973;3980/** R from [0 to 975] */3981export type R975 = R974 | 975;3982/** R from [0 to 975) */3983export type R975n = R974;3984/** R from [0 to 976] */3985export type R976 = R975 | 976;3986/** R from [0 to 976) */3987export type R976n = R975;3988/** R from [0 to 977] */3989export type R977 = R976 | 977;3990/** R from [0 to 977) */3991export type R977n = R976;3992/** R from [0 to 978] */3993export type R978 = R977 | 978;3994/** R from [0 to 978) */3995export type R978n = R977;3996/** R from [0 to 979] */3997export type R979 = R978 | 979;3998/** R from [0 to 979) */3999export type R979n = R978;4000/** R from [0 to 980] */4001export type R980 = R979 | 980;4002/** R from [0 to 980) */4003export type R980n = R979;4004/** R from [0 to 981] */4005export type R981 = R980 | 981;4006/** R from [0 to 981) */4007export type R981n = R980;4008/** R from [0 to 982] */4009export type R982 = R981 | 982;4010/** R from [0 to 982) */4011export type R982n = R981;4012/** R from [0 to 983] */4013export type R983 = R982 | 983;4014/** R from [0 to 983) */4015export type R983n = R982;4016/** R from [0 to 984] */4017export type R984 = R983 | 984;4018/** R from [0 to 984) */4019export type R984n = R983;4020/** R from [0 to 985] */4021export type R985 = R984 | 985;4022/** R from [0 to 985) */4023export type R985n = R984;4024/** R from [0 to 986] */4025export type R986 = R985 | 986;4026/** R from [0 to 986) */4027export type R986n = R985;4028/** R from [0 to 987] */4029export type R987 = R986 | 987;4030/** R from [0 to 987) */4031export type R987n = R986;4032/** R from [0 to 988] */4033export type R988 = R987 | 988;4034/** R from [0 to 988) */4035export type R988n = R987;4036/** R from [0 to 989] */4037export type R989 = R988 | 989;4038/** R from [0 to 989) */4039export type R989n = R988;4040/** R from [0 to 990] */4041export type R990 = R989 | 990;4042/** R from [0 to 990) */4043export type R990n = R989;4044/** R from [0 to 991] */4045export type R991 = R990 | 991;4046/** R from [0 to 991) */4047export type R991n = R990;4048/** R from [0 to 992] */4049export type R992 = R991 | 992;4050/** R from [0 to 992) */4051export type R992n = R991;4052/** R from [0 to 993] */4053export type R993 = R992 | 993;4054/** R from [0 to 993) */4055export type R993n = R992;4056/** R from [0 to 994] */4057export type R994 = R993 | 994;4058/** R from [0 to 994) */4059export type R994n = R993;4060/** R from [0 to 995] */4061export type R995 = R994 | 995;4062/** R from [0 to 995) */4063export type R995n = R994;4064/** R from [0 to 996] */4065export type R996 = R995 | 996;4066/** R from [0 to 996) */4067export type R996n = R995;4068/** R from [0 to 997] */4069export type R997 = R996 | 997;4070/** R from [0 to 997) */4071export type R997n = R996;4072/** R from [0 to 998] */4073export type R998 = R997 | 998;4074/** R from [0 to 998) */4075export type R998n = R997;4076/** R from [0 to 999] */4077export type R999 = R998 | 999;4078/** R from [0 to 999) */4079export type R999n = R998;4080/** R from [0 to 1000] */4081export type R1000 = R999 | 1000;4082/** R from [0 to 1000) */4083export type R1000n = R999;4084// --------------------- TUPLE BLOCK --------------------- \\4085/**4086 * Adding value to fisrt position of tuple4087 * @template Tuple array of data4088 * @template Addend make it fisrt of Tuple4089 */4090export type Prepend<Tuple extends any[], Addend> = ((_: Addend, ..._1: Tuple) => any) extends ((4091 ..._: infer Result4092) => any)4093 ? Result4094 : never;4095/**4096 * Reverse tuple4097 * @template Tuple array of data4098 */4099export type Reverse<Tuple extends any[]> = Reverse$<Tuple, []>4100/**4101 * Make tuple from union4102 * @template Union keyof Type4103 * thank you ShanonJackson4104 */4105export type TupleOf<T extends string> = Reverse$<PluckFirst<ObjectTuple<Record<T, never>, []>>>4106/**4107 * Make union from tuple4108 * @template Tuple array of data4109 * @template Union initial union value. default never4110 */4111export type UnionOf<Tuple extends any[], Union = never> = Tuple[number] | Union4112/**4113 * Reverse tuple4114 */4115type Reverse$<Tuple extends any, Prefix extends any[] = []> = {4116 0: Prefix;4117 1: Tuple extends [...any[]] ? ((..._: Tuple) => any) extends ((_: infer First, ..._1: infer Next) => any)4118 ? Reverse$<Next, Prepend<Prefix, First>>4119 : never4120 : never;4121}[Tuple extends [any, ...any[]] ? 1 : 0];4122// add an element to the end of a tuple4123type Push<L extends any[], T> =4124 ((r: any, ...x: L) => void) extends ((...x: infer L2) => void) ?4125 { [K in keyof L2]-?: K extends keyof L ? L[K] : T } : never4126 4127// convert a union to an intersection: X | Y | Z ==> X & Y & Z4128type UnionToIntersection<U> =4129 (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never4130// convert a union to an overloaded function X | Y ==> ((x: X)=>void) & ((y:Y)=>void) 4131type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;4132// returns true if the type is a union otherwise false4133type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;4134// takes last from union4135type PopUnion<U> = UnionToOvlds<U> extends ((a: infer A) => void) ? A : never;4136// takes random key from object4137type PluckFirst<T extends any> = PopUnion<keyof T> extends infer SELF ? SELF extends keyof T ? T[SELF] : never : never;4138type ObjectTuple<T, RES extends any[]> = IsUnion<keyof T> extends true ? {4139 [K in keyof T]: ObjectTuple<Record<Exclude<keyof T, K>, never>, Push<RES, K>> extends any[]4140 ? ObjectTuple<Record<Exclude<keyof T, K>, never>, Push<RES, K>>4141 : PluckFirst<ObjectTuple<Record<Exclude<keyof T, K>, never>, Push<RES, K>>>...

Full Screen

Full Screen

ts_type_ranges.ts

Source:ts_type_ranges.ts Github

copy

Full Screen

1// --------------------- R BLOCK --------------------- \\2/** 3 * Rang Qualifier 4 * @template From R from5 * @template To R to6 */7export type RangQualifier<From, To> = Exclude<To, From>;8/** 9 * Rang Qualifier. Short name10 * @template From R from11 * @template To R to12 */13export type RQ<From, To> = Exclude<To, From>;14/** ZERO */15export type R0 = 0;16/** R from [0 to 1] */17export type R1 = R0 | 1;18/** R from [0 to 1) */19export type R1n = R0;20/** R from [0 to 2] */21export type R2 = R1 | 2;22/** R from [0 to 2) */23export type R2n = R1;24/** R from [0 to 3] */25export type R3 = R2 | 3;26/** R from [0 to 3) */27export type R3n = R2;28/** R from [0 to 4] */29export type R4 = R3 | 4;30/** R from [0 to 4) */31export type R4n = R3;32/** R from [0 to 5] */33export type R5 = R4 | 5;34/** R from [0 to 5) */35export type R5n = R4;36/** R from [0 to 6] */37export type R6 = R5 | 6;38/** R from [0 to 6) */39export type R6n = R5;40/** R from [0 to 7] */41export type R7 = R6 | 7;42/** R from [0 to 7) */43export type R7n = R6;44/** R from [0 to 8] */45export type R8 = R7 | 8;46/** R from [0 to 8) */47export type R8n = R7;48/** R from [0 to 9] */49export type R9 = R8 | 9;50/** R from [0 to 9) */51export type R9n = R8;52/** R from [0 to 10] */53export type R10 = R9 | 10;54/** R from [0 to 10) */55export type R10n = R9;56/** R from [0 to 11] */57export type R11 = R10 | 11;58/** R from [0 to 11) */59export type R11n = R10;60/** R from [0 to 12] */61export type R12 = R11 | 12;62/** R from [0 to 12) */63export type R12n = R11;64/** R from [0 to 13] */65export type R13 = R12 | 13;66/** R from [0 to 13) */67export type R13n = R12;68/** R from [0 to 14] */69export type R14 = R13 | 14;70/** R from [0 to 14) */71export type R14n = R13;72/** R from [0 to 15] */73export type R15 = R14 | 15;74/** R from [0 to 15) */75export type R15n = R14;76/** R from [0 to 16] */77export type R16 = R15 | 16;78/** R from [0 to 16) */79export type R16n = R15;80/** R from [0 to 17] */81export type R17 = R16 | 17;82/** R from [0 to 17) */83export type R17n = R16;84/** R from [0 to 18] */85export type R18 = R17 | 18;86/** R from [0 to 18) */87export type R18n = R17;88/** R from [0 to 19] */89export type R19 = R18 | 19;90/** R from [0 to 19) */91export type R19n = R18;92/** R from [0 to 20] */93export type R20 = R19 | 20;94/** R from [0 to 20) */95export type R20n = R19;96/** R from [0 to 21] */97export type R21 = R20 | 21;98/** R from [0 to 21) */99export type R21n = R20;100/** R from [0 to 22] */101export type R22 = R21 | 22;102/** R from [0 to 22) */103export type R22n = R21;104/** R from [0 to 23] */105export type R23 = R22 | 23;106/** R from [0 to 23) */107export type R23n = R22;108/** R from [0 to 24] */109export type R24 = R23 | 24;110/** R from [0 to 24) */111export type R24n = R23;112/** R from [0 to 25] */113export type R25 = R24 | 25;114/** R from [0 to 25) */115export type R25n = R24;116/** R from [0 to 26] */117export type R26 = R25 | 26;118/** R from [0 to 26) */119export type R26n = R25;120/** R from [0 to 27] */121export type R27 = R26 | 27;122/** R from [0 to 27) */123export type R27n = R26;124/** R from [0 to 28] */125export type R28 = R27 | 28;126/** R from [0 to 28) */127export type R28n = R27;128/** R from [0 to 29] */129export type R29 = R28 | 29;130/** R from [0 to 29) */131export type R29n = R28;132/** R from [0 to 30] */133export type R30 = R29 | 30;134/** R from [0 to 30) */135export type R30n = R29;136/** R from [0 to 31] */137export type R31 = R30 | 31;138/** R from [0 to 31) */139export type R31n = R30;140/** R from [0 to 32] */141export type R32 = R31 | 32;142/** R from [0 to 32) */143export type R32n = R31;144/** R from [0 to 33] */145export type R33 = R32 | 33;146/** R from [0 to 33) */147export type R33n = R32;148/** R from [0 to 34] */149export type R34 = R33 | 34;150/** R from [0 to 34) */151export type R34n = R33;152/** R from [0 to 35] */153export type R35 = R34 | 35;154/** R from [0 to 35) */155export type R35n = R34;156/** R from [0 to 36] */157export type R36 = R35 | 36;158/** R from [0 to 36) */159export type R36n = R35;160/** R from [0 to 37] */161export type R37 = R36 | 37;162/** R from [0 to 37) */163export type R37n = R36;164/** R from [0 to 38] */165export type R38 = R37 | 38;166/** R from [0 to 38) */167export type R38n = R37;168/** R from [0 to 39] */169export type R39 = R38 | 39;170/** R from [0 to 39) */171export type R39n = R38;172/** R from [0 to 40] */173export type R40 = R39 | 40;174/** R from [0 to 40) */175export type R40n = R39;176/** R from [0 to 41] */177export type R41 = R40 | 41;178/** R from [0 to 41) */179export type R41n = R40;180/** R from [0 to 42] */181export type R42 = R41 | 42;182/** R from [0 to 42) */183export type R42n = R41;184/** R from [0 to 43] */185export type R43 = R42 | 43;186/** R from [0 to 43) */187export type R43n = R42;188/** R from [0 to 44] */189export type R44 = R43 | 44;190/** R from [0 to 44) */191export type R44n = R43;192/** R from [0 to 45] */193export type R45 = R44 | 45;194/** R from [0 to 45) */195export type R45n = R44;196/** R from [0 to 46] */197export type R46 = R45 | 46;198/** R from [0 to 46) */199export type R46n = R45;200/** R from [0 to 47] */201export type R47 = R46 | 47;202/** R from [0 to 47) */203export type R47n = R46;204/** R from [0 to 48] */205export type R48 = R47 | 48;206/** R from [0 to 48) */207export type R48n = R47;208/** R from [0 to 49] */209export type R49 = R48 | 49;210/** R from [0 to 49) */211export type R49n = R48;212/** R from [0 to 50] */213export type R50 = R49 | 50;214/** R from [0 to 50) */215export type R50n = R49;216/** R from [0 to 51] */217export type R51 = R50 | 51;218/** R from [0 to 51) */219export type R51n = R50;220/** R from [0 to 52] */221export type R52 = R51 | 52;222/** R from [0 to 52) */223export type R52n = R51;224/** R from [0 to 53] */225export type R53 = R52 | 53;226/** R from [0 to 53) */227export type R53n = R52;228/** R from [0 to 54] */229export type R54 = R53 | 54;230/** R from [0 to 54) */231export type R54n = R53;232/** R from [0 to 55] */233export type R55 = R54 | 55;234/** R from [0 to 55) */235export type R55n = R54;236/** R from [0 to 56] */237export type R56 = R55 | 56;238/** R from [0 to 56) */239export type R56n = R55;240/** R from [0 to 57] */241export type R57 = R56 | 57;242/** R from [0 to 57) */243export type R57n = R56;244/** R from [0 to 58] */245export type R58 = R57 | 58;246/** R from [0 to 58) */247export type R58n = R57;248/** R from [0 to 59] */249export type R59 = R58 | 59;250/** R from [0 to 59) */251export type R59n = R58;252/** R from [0 to 60] */253export type R60 = R59 | 60;254/** R from [0 to 60) */255export type R60n = R59;256/** R from [0 to 61] */257export type R61 = R60 | 61;258/** R from [0 to 61) */259export type R61n = R60;260/** R from [0 to 62] */261export type R62 = R61 | 62;262/** R from [0 to 62) */263export type R62n = R61;264/** R from [0 to 63] */265export type R63 = R62 | 63;266/** R from [0 to 63) */267export type R63n = R62;268/** R from [0 to 64] */269export type R64 = R63 | 64;270/** R from [0 to 64) */271export type R64n = R63;272/** R from [0 to 65] */273export type R65 = R64 | 65;274/** R from [0 to 65) */275export type R65n = R64;276/** R from [0 to 66] */277export type R66 = R65 | 66;278/** R from [0 to 66) */279export type R66n = R65;280/** R from [0 to 67] */281export type R67 = R66 | 67;282/** R from [0 to 67) */283export type R67n = R66;284/** R from [0 to 68] */285export type R68 = R67 | 68;286/** R from [0 to 68) */287export type R68n = R67;288/** R from [0 to 69] */289export type R69 = R68 | 69;290/** R from [0 to 69) */291export type R69n = R68;292/** R from [0 to 70] */293export type R70 = R69 | 70;294/** R from [0 to 70) */295export type R70n = R69;296/** R from [0 to 71] */297export type R71 = R70 | 71;298/** R from [0 to 71) */299export type R71n = R70;300/** R from [0 to 72] */301export type R72 = R71 | 72;302/** R from [0 to 72) */303export type R72n = R71;304/** R from [0 to 73] */305export type R73 = R72 | 73;306/** R from [0 to 73) */307export type R73n = R72;308/** R from [0 to 74] */309export type R74 = R73 | 74;310/** R from [0 to 74) */311export type R74n = R73;312/** R from [0 to 75] */313export type R75 = R74 | 75;314/** R from [0 to 75) */315export type R75n = R74;316/** R from [0 to 76] */317export type R76 = R75 | 76;318/** R from [0 to 76) */319export type R76n = R75;320/** R from [0 to 77] */321export type R77 = R76 | 77;322/** R from [0 to 77) */323export type R77n = R76;324/** R from [0 to 78] */325export type R78 = R77 | 78;326/** R from [0 to 78) */327export type R78n = R77;328/** R from [0 to 79] */329export type R79 = R78 | 79;330/** R from [0 to 79) */331export type R79n = R78;332/** R from [0 to 80] */333export type R80 = R79 | 80;334/** R from [0 to 80) */335export type R80n = R79;336/** R from [0 to 81] */337export type R81 = R80 | 81;338/** R from [0 to 81) */339export type R81n = R80;340/** R from [0 to 82] */341export type R82 = R81 | 82;342/** R from [0 to 82) */343export type R82n = R81;344/** R from [0 to 83] */345export type R83 = R82 | 83;346/** R from [0 to 83) */347export type R83n = R82;348/** R from [0 to 84] */349export type R84 = R83 | 84;350/** R from [0 to 84) */351export type R84n = R83;352/** R from [0 to 85] */353export type R85 = R84 | 85;354/** R from [0 to 85) */355export type R85n = R84;356/** R from [0 to 86] */357export type R86 = R85 | 86;358/** R from [0 to 86) */359export type R86n = R85;360/** R from [0 to 87] */361export type R87 = R86 | 87;362/** R from [0 to 87) */363export type R87n = R86;364/** R from [0 to 88] */365export type R88 = R87 | 88;366/** R from [0 to 88) */367export type R88n = R87;368/** R from [0 to 89] */369export type R89 = R88 | 89;370/** R from [0 to 89) */371export type R89n = R88;372/** R from [0 to 90] */373export type R90 = R89 | 90;374/** R from [0 to 90) */375export type R90n = R89;376/** R from [0 to 91] */377export type R91 = R90 | 91;378/** R from [0 to 91) */379export type R91n = R90;380/** R from [0 to 92] */381export type R92 = R91 | 92;382/** R from [0 to 92) */383export type R92n = R91;384/** R from [0 to 93] */385export type R93 = R92 | 93;386/** R from [0 to 93) */387export type R93n = R92;388/** R from [0 to 94] */389export type R94 = R93 | 94;390/** R from [0 to 94) */391export type R94n = R93;392/** R from [0 to 95] */393export type R95 = R94 | 95;394/** R from [0 to 95) */395export type R95n = R94;396/** R from [0 to 96] */397export type R96 = R95 | 96;398/** R from [0 to 96) */399export type R96n = R95;400/** R from [0 to 97] */401export type R97 = R96 | 97;402/** R from [0 to 97) */403export type R97n = R96;404/** R from [0 to 98] */405export type R98 = R97 | 98;406/** R from [0 to 98) */407export type R98n = R97;408/** R from [0 to 99] */409export type R99 = R98 | 99;410/** R from [0 to 99) */411export type R99n = R98;412/** R from [0 to 100] */413export type R100 = R99 | 100;414/** R from [0 to 100) */415export type R100n = R99;416/** R from [0 to 101] */417export type R101 = R100 | 101;418/** R from [0 to 101) */419export type R101n = R100;420/** R from [0 to 102] */421export type R102 = R101 | 102;422/** R from [0 to 102) */423export type R102n = R101;424/** R from [0 to 103] */425export type R103 = R102 | 103;426/** R from [0 to 103) */427export type R103n = R102;428/** R from [0 to 104] */429export type R104 = R103 | 104;430/** R from [0 to 104) */431export type R104n = R103;432/** R from [0 to 105] */433export type R105 = R104 | 105;434/** R from [0 to 105) */435export type R105n = R104;436/** R from [0 to 106] */437export type R106 = R105 | 106;438/** R from [0 to 106) */439export type R106n = R105;440/** R from [0 to 107] */441export type R107 = R106 | 107;442/** R from [0 to 107) */443export type R107n = R106;444/** R from [0 to 108] */445export type R108 = R107 | 108;446/** R from [0 to 108) */447export type R108n = R107;448/** R from [0 to 109] */449export type R109 = R108 | 109;450/** R from [0 to 109) */451export type R109n = R108;452/** R from [0 to 110] */453export type R110 = R109 | 110;454/** R from [0 to 110) */455export type R110n = R109;456/** R from [0 to 111] */457export type R111 = R110 | 111;458/** R from [0 to 111) */459export type R111n = R110;460/** R from [0 to 112] */461export type R112 = R111 | 112;462/** R from [0 to 112) */463export type R112n = R111;464/** R from [0 to 113] */465export type R113 = R112 | 113;466/** R from [0 to 113) */467export type R113n = R112;468/** R from [0 to 114] */469export type R114 = R113 | 114;470/** R from [0 to 114) */471export type R114n = R113;472/** R from [0 to 115] */473export type R115 = R114 | 115;474/** R from [0 to 115) */475export type R115n = R114;476/** R from [0 to 116] */477export type R116 = R115 | 116;478/** R from [0 to 116) */479export type R116n = R115;480/** R from [0 to 117] */481export type R117 = R116 | 117;482/** R from [0 to 117) */483export type R117n = R116;484/** R from [0 to 118] */485export type R118 = R117 | 118;486/** R from [0 to 118) */487export type R118n = R117;488/** R from [0 to 119] */489export type R119 = R118 | 119;490/** R from [0 to 119) */491export type R119n = R118;492/** R from [0 to 120] */493export type R120 = R119 | 120;494/** R from [0 to 120) */495export type R120n = R119;496/** R from [0 to 121] */497export type R121 = R120 | 121;498/** R from [0 to 121) */499export type R121n = R120;500/** R from [0 to 122] */501export type R122 = R121 | 122;502/** R from [0 to 122) */503export type R122n = R121;504/** R from [0 to 123] */505export type R123 = R122 | 123;506/** R from [0 to 123) */507export type R123n = R122;508/** R from [0 to 124] */509export type R124 = R123 | 124;510/** R from [0 to 124) */511export type R124n = R123;512/** R from [0 to 125] */513export type R125 = R124 | 125;514/** R from [0 to 125) */515export type R125n = R124;516/** R from [0 to 126] */517export type R126 = R125 | 126;518/** R from [0 to 126) */519export type R126n = R125;520/** R from [0 to 127] */521export type R127 = R126 | 127;522/** R from [0 to 127) */523export type R127n = R126;524/** R from [0 to 128] */525export type R128 = R127 | 128;526/** R from [0 to 128) */527export type R128n = R127;528/** R from [0 to 129] */529export type R129 = R128 | 129;530/** R from [0 to 129) */531export type R129n = R128;532/** R from [0 to 130] */533export type R130 = R129 | 130;534/** R from [0 to 130) */535export type R130n = R129;536/** R from [0 to 131] */537export type R131 = R130 | 131;538/** R from [0 to 131) */539export type R131n = R130;540/** R from [0 to 132] */541export type R132 = R131 | 132;542/** R from [0 to 132) */543export type R132n = R131;544/** R from [0 to 133] */545export type R133 = R132 | 133;546/** R from [0 to 133) */547export type R133n = R132;548/** R from [0 to 134] */549export type R134 = R133 | 134;550/** R from [0 to 134) */551export type R134n = R133;552/** R from [0 to 135] */553export type R135 = R134 | 135;554/** R from [0 to 135) */555export type R135n = R134;556/** R from [0 to 136] */557export type R136 = R135 | 136;558/** R from [0 to 136) */559export type R136n = R135;560/** R from [0 to 137] */561export type R137 = R136 | 137;562/** R from [0 to 137) */563export type R137n = R136;564/** R from [0 to 138] */565export type R138 = R137 | 138;566/** R from [0 to 138) */567export type R138n = R137;568/** R from [0 to 139] */569export type R139 = R138 | 139;570/** R from [0 to 139) */571export type R139n = R138;572/** R from [0 to 140] */573export type R140 = R139 | 140;574/** R from [0 to 140) */575export type R140n = R139;576/** R from [0 to 141] */577export type R141 = R140 | 141;578/** R from [0 to 141) */579export type R141n = R140;580/** R from [0 to 142] */581export type R142 = R141 | 142;582/** R from [0 to 142) */583export type R142n = R141;584/** R from [0 to 143] */585export type R143 = R142 | 143;586/** R from [0 to 143) */587export type R143n = R142;588/** R from [0 to 144] */589export type R144 = R143 | 144;590/** R from [0 to 144) */591export type R144n = R143;592/** R from [0 to 145] */593export type R145 = R144 | 145;594/** R from [0 to 145) */595export type R145n = R144;596/** R from [0 to 146] */597export type R146 = R145 | 146;598/** R from [0 to 146) */599export type R146n = R145;600/** R from [0 to 147] */601export type R147 = R146 | 147;602/** R from [0 to 147) */603export type R147n = R146;604/** R from [0 to 148] */605export type R148 = R147 | 148;606/** R from [0 to 148) */607export type R148n = R147;608/** R from [0 to 149] */609export type R149 = R148 | 149;610/** R from [0 to 149) */611export type R149n = R148;612/** R from [0 to 150] */613export type R150 = R149 | 150;614/** R from [0 to 150) */615export type R150n = R149;616/** R from [0 to 151] */617export type R151 = R150 | 151;618/** R from [0 to 151) */619export type R151n = R150;620/** R from [0 to 152] */621export type R152 = R151 | 152;622/** R from [0 to 152) */623export type R152n = R151;624/** R from [0 to 153] */625export type R153 = R152 | 153;626/** R from [0 to 153) */627export type R153n = R152;628/** R from [0 to 154] */629export type R154 = R153 | 154;630/** R from [0 to 154) */631export type R154n = R153;632/** R from [0 to 155] */633export type R155 = R154 | 155;634/** R from [0 to 155) */635export type R155n = R154;636/** R from [0 to 156] */637export type R156 = R155 | 156;638/** R from [0 to 156) */639export type R156n = R155;640/** R from [0 to 157] */641export type R157 = R156 | 157;642/** R from [0 to 157) */643export type R157n = R156;644/** R from [0 to 158] */645export type R158 = R157 | 158;646/** R from [0 to 158) */647export type R158n = R157;648/** R from [0 to 159] */649export type R159 = R158 | 159;650/** R from [0 to 159) */651export type R159n = R158;652/** R from [0 to 160] */653export type R160 = R159 | 160;654/** R from [0 to 160) */655export type R160n = R159;656/** R from [0 to 161] */657export type R161 = R160 | 161;658/** R from [0 to 161) */659export type R161n = R160;660/** R from [0 to 162] */661export type R162 = R161 | 162;662/** R from [0 to 162) */663export type R162n = R161;664/** R from [0 to 163] */665export type R163 = R162 | 163;666/** R from [0 to 163) */667export type R163n = R162;668/** R from [0 to 164] */669export type R164 = R163 | 164;670/** R from [0 to 164) */671export type R164n = R163;672/** R from [0 to 165] */673export type R165 = R164 | 165;674/** R from [0 to 165) */675export type R165n = R164;676/** R from [0 to 166] */677export type R166 = R165 | 166;678/** R from [0 to 166) */679export type R166n = R165;680/** R from [0 to 167] */681export type R167 = R166 | 167;682/** R from [0 to 167) */683export type R167n = R166;684/** R from [0 to 168] */685export type R168 = R167 | 168;686/** R from [0 to 168) */687export type R168n = R167;688/** R from [0 to 169] */689export type R169 = R168 | 169;690/** R from [0 to 169) */691export type R169n = R168;692/** R from [0 to 170] */693export type R170 = R169 | 170;694/** R from [0 to 170) */695export type R170n = R169;696/** R from [0 to 171] */697export type R171 = R170 | 171;698/** R from [0 to 171) */699export type R171n = R170;700/** R from [0 to 172] */701export type R172 = R171 | 172;702/** R from [0 to 172) */703export type R172n = R171;704/** R from [0 to 173] */705export type R173 = R172 | 173;706/** R from [0 to 173) */707export type R173n = R172;708/** R from [0 to 174] */709export type R174 = R173 | 174;710/** R from [0 to 174) */711export type R174n = R173;712/** R from [0 to 175] */713export type R175 = R174 | 175;714/** R from [0 to 175) */715export type R175n = R174;716/** R from [0 to 176] */717export type R176 = R175 | 176;718/** R from [0 to 176) */719export type R176n = R175;720/** R from [0 to 177] */721export type R177 = R176 | 177;722/** R from [0 to 177) */723export type R177n = R176;724/** R from [0 to 178] */725export type R178 = R177 | 178;726/** R from [0 to 178) */727export type R178n = R177;728/** R from [0 to 179] */729export type R179 = R178 | 179;730/** R from [0 to 179) */731export type R179n = R178;732/** R from [0 to 180] */733export type R180 = R179 | 180;734/** R from [0 to 180) */735export type R180n = R179;736/** R from [0 to 181] */737export type R181 = R180 | 181;738/** R from [0 to 181) */739export type R181n = R180;740/** R from [0 to 182] */741export type R182 = R181 | 182;742/** R from [0 to 182) */743export type R182n = R181;744/** R from [0 to 183] */745export type R183 = R182 | 183;746/** R from [0 to 183) */747export type R183n = R182;748/** R from [0 to 184] */749export type R184 = R183 | 184;750/** R from [0 to 184) */751export type R184n = R183;752/** R from [0 to 185] */753export type R185 = R184 | 185;754/** R from [0 to 185) */755export type R185n = R184;756/** R from [0 to 186] */757export type R186 = R185 | 186;758/** R from [0 to 186) */759export type R186n = R185;760/** R from [0 to 187] */761export type R187 = R186 | 187;762/** R from [0 to 187) */763export type R187n = R186;764/** R from [0 to 188] */765export type R188 = R187 | 188;766/** R from [0 to 188) */767export type R188n = R187;768/** R from [0 to 189] */769export type R189 = R188 | 189;770/** R from [0 to 189) */771export type R189n = R188;772/** R from [0 to 190] */773export type R190 = R189 | 190;774/** R from [0 to 190) */775export type R190n = R189;776/** R from [0 to 191] */777export type R191 = R190 | 191;778/** R from [0 to 191) */779export type R191n = R190;780/** R from [0 to 192] */781export type R192 = R191 | 192;782/** R from [0 to 192) */783export type R192n = R191;784/** R from [0 to 193] */785export type R193 = R192 | 193;786/** R from [0 to 193) */787export type R193n = R192;788/** R from [0 to 194] */789export type R194 = R193 | 194;790/** R from [0 to 194) */791export type R194n = R193;792/** R from [0 to 195] */793export type R195 = R194 | 195;794/** R from [0 to 195) */795export type R195n = R194;796/** R from [0 to 196] */797export type R196 = R195 | 196;798/** R from [0 to 196) */799export type R196n = R195;800/** R from [0 to 197] */801export type R197 = R196 | 197;802/** R from [0 to 197) */803export type R197n = R196;804/** R from [0 to 198] */805export type R198 = R197 | 198;806/** R from [0 to 198) */807export type R198n = R197;808/** R from [0 to 199] */809export type R199 = R198 | 199;810/** R from [0 to 199) */811export type R199n = R198;812/** R from [0 to 200] */813export type R200 = R199 | 200;814/** R from [0 to 200) */815export type R200n = R199;816/** R from [0 to 201] */817export type R201 = R200 | 201;818/** R from [0 to 201) */819export type R201n = R200;820/** R from [0 to 202] */821export type R202 = R201 | 202;822/** R from [0 to 202) */823export type R202n = R201;824/** R from [0 to 203] */825export type R203 = R202 | 203;826/** R from [0 to 203) */827export type R203n = R202;828/** R from [0 to 204] */829export type R204 = R203 | 204;830/** R from [0 to 204) */831export type R204n = R203;832/** R from [0 to 205] */833export type R205 = R204 | 205;834/** R from [0 to 205) */835export type R205n = R204;836/** R from [0 to 206] */837export type R206 = R205 | 206;838/** R from [0 to 206) */839export type R206n = R205;840/** R from [0 to 207] */841export type R207 = R206 | 207;842/** R from [0 to 207) */843export type R207n = R206;844/** R from [0 to 208] */845export type R208 = R207 | 208;846/** R from [0 to 208) */847export type R208n = R207;848/** R from [0 to 209] */849export type R209 = R208 | 209;850/** R from [0 to 209) */851export type R209n = R208;852/** R from [0 to 210] */853export type R210 = R209 | 210;854/** R from [0 to 210) */855export type R210n = R209;856/** R from [0 to 211] */857export type R211 = R210 | 211;858/** R from [0 to 211) */859export type R211n = R210;860/** R from [0 to 212] */861export type R212 = R211 | 212;862/** R from [0 to 212) */863export type R212n = R211;864/** R from [0 to 213] */865export type R213 = R212 | 213;866/** R from [0 to 213) */867export type R213n = R212;868/** R from [0 to 214] */869export type R214 = R213 | 214;870/** R from [0 to 214) */871export type R214n = R213;872/** R from [0 to 215] */873export type R215 = R214 | 215;874/** R from [0 to 215) */875export type R215n = R214;876/** R from [0 to 216] */877export type R216 = R215 | 216;878/** R from [0 to 216) */879export type R216n = R215;880/** R from [0 to 217] */881export type R217 = R216 | 217;882/** R from [0 to 217) */883export type R217n = R216;884/** R from [0 to 218] */885export type R218 = R217 | 218;886/** R from [0 to 218) */887export type R218n = R217;888/** R from [0 to 219] */889export type R219 = R218 | 219;890/** R from [0 to 219) */891export type R219n = R218;892/** R from [0 to 220] */893export type R220 = R219 | 220;894/** R from [0 to 220) */895export type R220n = R219;896/** R from [0 to 221] */897export type R221 = R220 | 221;898/** R from [0 to 221) */899export type R221n = R220;900/** R from [0 to 222] */901export type R222 = R221 | 222;902/** R from [0 to 222) */903export type R222n = R221;904/** R from [0 to 223] */905export type R223 = R222 | 223;906/** R from [0 to 223) */907export type R223n = R222;908/** R from [0 to 224] */909export type R224 = R223 | 224;910/** R from [0 to 224) */911export type R224n = R223;912/** R from [0 to 225] */913export type R225 = R224 | 225;914/** R from [0 to 225) */915export type R225n = R224;916/** R from [0 to 226] */917export type R226 = R225 | 226;918/** R from [0 to 226) */919export type R226n = R225;920/** R from [0 to 227] */921export type R227 = R226 | 227;922/** R from [0 to 227) */923export type R227n = R226;924/** R from [0 to 228] */925export type R228 = R227 | 228;926/** R from [0 to 228) */927export type R228n = R227;928/** R from [0 to 229] */929export type R229 = R228 | 229;930/** R from [0 to 229) */931export type R229n = R228;932/** R from [0 to 230] */933export type R230 = R229 | 230;934/** R from [0 to 230) */935export type R230n = R229;936/** R from [0 to 231] */937export type R231 = R230 | 231;938/** R from [0 to 231) */939export type R231n = R230;940/** R from [0 to 232] */941export type R232 = R231 | 232;942/** R from [0 to 232) */943export type R232n = R231;944/** R from [0 to 233] */945export type R233 = R232 | 233;946/** R from [0 to 233) */947export type R233n = R232;948/** R from [0 to 234] */949export type R234 = R233 | 234;950/** R from [0 to 234) */951export type R234n = R233;952/** R from [0 to 235] */953export type R235 = R234 | 235;954/** R from [0 to 235) */955export type R235n = R234;956/** R from [0 to 236] */957export type R236 = R235 | 236;958/** R from [0 to 236) */959export type R236n = R235;960/** R from [0 to 237] */961export type R237 = R236 | 237;962/** R from [0 to 237) */963export type R237n = R236;964/** R from [0 to 238] */965export type R238 = R237 | 238;966/** R from [0 to 238) */967export type R238n = R237;968/** R from [0 to 239] */969export type R239 = R238 | 239;970/** R from [0 to 239) */971export type R239n = R238;972/** R from [0 to 240] */973export type R240 = R239 | 240;974/** R from [0 to 240) */975export type R240n = R239;976/** R from [0 to 241] */977export type R241 = R240 | 241;978/** R from [0 to 241) */979export type R241n = R240;980/** R from [0 to 242] */981export type R242 = R241 | 242;982/** R from [0 to 242) */983export type R242n = R241;984/** R from [0 to 243] */985export type R243 = R242 | 243;986/** R from [0 to 243) */987export type R243n = R242;988/** R from [0 to 244] */989export type R244 = R243 | 244;990/** R from [0 to 244) */991export type R244n = R243;992/** R from [0 to 245] */993export type R245 = R244 | 245;994/** R from [0 to 245) */995export type R245n = R244;996/** R from [0 to 246] */997export type R246 = R245 | 246;998/** R from [0 to 246) */999export type R246n = R245;1000/** R from [0 to 247] */1001export type R247 = R246 | 247;1002/** R from [0 to 247) */1003export type R247n = R246;1004/** R from [0 to 248] */1005export type R248 = R247 | 248;1006/** R from [0 to 248) */1007export type R248n = R247;1008/** R from [0 to 249] */1009export type R249 = R248 | 249;1010/** R from [0 to 249) */1011export type R249n = R248;1012/** R from [0 to 250] */1013export type R250 = R249 | 250;1014/** R from [0 to 250) */1015export type R250n = R249;1016/** R from [0 to 251] */1017export type R251 = R250 | 251;1018/** R from [0 to 251) */1019export type R251n = R250;1020/** R from [0 to 252] */1021export type R252 = R251 | 252;1022/** R from [0 to 252) */1023export type R252n = R251;1024/** R from [0 to 253] */1025export type R253 = R252 | 253;1026/** R from [0 to 253) */1027export type R253n = R252;1028/** R from [0 to 254] */1029export type R254 = R253 | 254;1030/** R from [0 to 254) */1031export type R254n = R253;1032/** R from [0 to 255] */1033export type R255 = R254 | 255;1034/** R from [0 to 255) */1035export type R255n = R254;1036/** R from [0 to 256] */1037export type R256 = R255 | 256;1038/** R from [0 to 256) */1039export type R256n = R255;1040/** R from [0 to 257] */1041export type R257 = R256 | 257;1042/** R from [0 to 257) */1043export type R257n = R256;1044/** R from [0 to 258] */1045export type R258 = R257 | 258;1046/** R from [0 to 258) */1047export type R258n = R257;1048/** R from [0 to 259] */1049export type R259 = R258 | 259;1050/** R from [0 to 259) */1051export type R259n = R258;1052/** R from [0 to 260] */1053export type R260 = R259 | 260;1054/** R from [0 to 260) */1055export type R260n = R259;1056/** R from [0 to 261] */1057export type R261 = R260 | 261;1058/** R from [0 to 261) */1059export type R261n = R260;1060/** R from [0 to 262] */1061export type R262 = R261 | 262;1062/** R from [0 to 262) */1063export type R262n = R261;1064/** R from [0 to 263] */1065export type R263 = R262 | 263;1066/** R from [0 to 263) */1067export type R263n = R262;1068/** R from [0 to 264] */1069export type R264 = R263 | 264;1070/** R from [0 to 264) */1071export type R264n = R263;1072/** R from [0 to 265] */1073export type R265 = R264 | 265;1074/** R from [0 to 265) */1075export type R265n = R264;1076/** R from [0 to 266] */1077export type R266 = R265 | 266;1078/** R from [0 to 266) */1079export type R266n = R265;1080/** R from [0 to 267] */1081export type R267 = R266 | 267;1082/** R from [0 to 267) */1083export type R267n = R266;1084/** R from [0 to 268] */1085export type R268 = R267 | 268;1086/** R from [0 to 268) */1087export type R268n = R267;1088/** R from [0 to 269] */1089export type R269 = R268 | 269;1090/** R from [0 to 269) */1091export type R269n = R268;1092/** R from [0 to 270] */1093export type R270 = R269 | 270;1094/** R from [0 to 270) */1095export type R270n = R269;1096/** R from [0 to 271] */1097export type R271 = R270 | 271;1098/** R from [0 to 271) */1099export type R271n = R270;1100/** R from [0 to 272] */1101export type R272 = R271 | 272;1102/** R from [0 to 272) */1103export type R272n = R271;1104/** R from [0 to 273] */1105export type R273 = R272 | 273;1106/** R from [0 to 273) */1107export type R273n = R272;1108/** R from [0 to 274] */1109export type R274 = R273 | 274;1110/** R from [0 to 274) */1111export type R274n = R273;1112/** R from [0 to 275] */1113export type R275 = R274 | 275;1114/** R from [0 to 275) */1115export type R275n = R274;1116/** R from [0 to 276] */1117export type R276 = R275 | 276;1118/** R from [0 to 276) */1119export type R276n = R275;1120/** R from [0 to 277] */1121export type R277 = R276 | 277;1122/** R from [0 to 277) */1123export type R277n = R276;1124/** R from [0 to 278] */1125export type R278 = R277 | 278;1126/** R from [0 to 278) */1127export type R278n = R277;1128/** R from [0 to 279] */1129export type R279 = R278 | 279;1130/** R from [0 to 279) */1131export type R279n = R278;1132/** R from [0 to 280] */1133export type R280 = R279 | 280;1134/** R from [0 to 280) */1135export type R280n = R279;1136/** R from [0 to 281] */1137export type R281 = R280 | 281;1138/** R from [0 to 281) */1139export type R281n = R280;1140/** R from [0 to 282] */1141export type R282 = R281 | 282;1142/** R from [0 to 282) */1143export type R282n = R281;1144/** R from [0 to 283] */1145export type R283 = R282 | 283;1146/** R from [0 to 283) */1147export type R283n = R282;1148/** R from [0 to 284] */1149export type R284 = R283 | 284;1150/** R from [0 to 284) */1151export type R284n = R283;1152/** R from [0 to 285] */1153export type R285 = R284 | 285;1154/** R from [0 to 285) */1155export type R285n = R284;1156/** R from [0 to 286] */1157export type R286 = R285 | 286;1158/** R from [0 to 286) */1159export type R286n = R285;1160/** R from [0 to 287] */1161export type R287 = R286 | 287;1162/** R from [0 to 287) */1163export type R287n = R286;1164/** R from [0 to 288] */1165export type R288 = R287 | 288;1166/** R from [0 to 288) */1167export type R288n = R287;1168/** R from [0 to 289] */1169export type R289 = R288 | 289;1170/** R from [0 to 289) */1171export type R289n = R288;1172/** R from [0 to 290] */1173export type R290 = R289 | 290;1174/** R from [0 to 290) */1175export type R290n = R289;1176/** R from [0 to 291] */1177export type R291 = R290 | 291;1178/** R from [0 to 291) */1179export type R291n = R290;1180/** R from [0 to 292] */1181export type R292 = R291 | 292;1182/** R from [0 to 292) */1183export type R292n = R291;1184/** R from [0 to 293] */1185export type R293 = R292 | 293;1186/** R from [0 to 293) */1187export type R293n = R292;1188/** R from [0 to 294] */1189export type R294 = R293 | 294;1190/** R from [0 to 294) */1191export type R294n = R293;1192/** R from [0 to 295] */1193export type R295 = R294 | 295;1194/** R from [0 to 295) */1195export type R295n = R294;1196/** R from [0 to 296] */1197export type R296 = R295 | 296;1198/** R from [0 to 296) */1199export type R296n = R295;1200/** R from [0 to 297] */1201export type R297 = R296 | 297;1202/** R from [0 to 297) */1203export type R297n = R296;1204/** R from [0 to 298] */1205export type R298 = R297 | 298;1206/** R from [0 to 298) */1207export type R298n = R297;1208/** R from [0 to 299] */1209export type R299 = R298 | 299;1210/** R from [0 to 299) */1211export type R299n = R298;1212/** R from [0 to 300] */1213export type R300 = R299 | 300;1214/** R from [0 to 300) */1215export type R300n = R299;1216/** R from [0 to 301] */1217export type R301 = R300 | 301;1218/** R from [0 to 301) */1219export type R301n = R300;1220/** R from [0 to 302] */1221export type R302 = R301 | 302;1222/** R from [0 to 302) */1223export type R302n = R301;1224/** R from [0 to 303] */1225export type R303 = R302 | 303;1226/** R from [0 to 303) */1227export type R303n = R302;1228/** R from [0 to 304] */1229export type R304 = R303 | 304;1230/** R from [0 to 304) */1231export type R304n = R303;1232/** R from [0 to 305] */1233export type R305 = R304 | 305;1234/** R from [0 to 305) */1235export type R305n = R304;1236/** R from [0 to 306] */1237export type R306 = R305 | 306;1238/** R from [0 to 306) */1239export type R306n = R305;1240/** R from [0 to 307] */1241export type R307 = R306 | 307;1242/** R from [0 to 307) */1243export type R307n = R306;1244/** R from [0 to 308] */1245export type R308 = R307 | 308;1246/** R from [0 to 308) */1247export type R308n = R307;1248/** R from [0 to 309] */1249export type R309 = R308 | 309;1250/** R from [0 to 309) */1251export type R309n = R308;1252/** R from [0 to 310] */1253export type R310 = R309 | 310;1254/** R from [0 to 310) */1255export type R310n = R309;1256/** R from [0 to 311] */1257export type R311 = R310 | 311;1258/** R from [0 to 311) */1259export type R311n = R310;1260/** R from [0 to 312] */1261export type R312 = R311 | 312;1262/** R from [0 to 312) */1263export type R312n = R311;1264/** R from [0 to 313] */1265export type R313 = R312 | 313;1266/** R from [0 to 313) */1267export type R313n = R312;1268/** R from [0 to 314] */1269export type R314 = R313 | 314;1270/** R from [0 to 314) */1271export type R314n = R313;1272/** R from [0 to 315] */1273export type R315 = R314 | 315;1274/** R from [0 to 315) */1275export type R315n = R314;1276/** R from [0 to 316] */1277export type R316 = R315 | 316;1278/** R from [0 to 316) */1279export type R316n = R315;1280/** R from [0 to 317] */1281export type R317 = R316 | 317;1282/** R from [0 to 317) */1283export type R317n = R316;1284/** R from [0 to 318] */1285export type R318 = R317 | 318;1286/** R from [0 to 318) */1287export type R318n = R317;1288/** R from [0 to 319] */1289export type R319 = R318 | 319;1290/** R from [0 to 319) */1291export type R319n = R318;1292/** R from [0 to 320] */1293export type R320 = R319 | 320;1294/** R from [0 to 320) */1295export type R320n = R319;1296/** R from [0 to 321] */1297export type R321 = R320 | 321;1298/** R from [0 to 321) */1299export type R321n = R320;1300/** R from [0 to 322] */1301export type R322 = R321 | 322;1302/** R from [0 to 322) */1303export type R322n = R321;1304/** R from [0 to 323] */1305export type R323 = R322 | 323;1306/** R from [0 to 323) */1307export type R323n = R322;1308/** R from [0 to 324] */1309export type R324 = R323 | 324;1310/** R from [0 to 324) */1311export type R324n = R323;1312/** R from [0 to 325] */1313export type R325 = R324 | 325;1314/** R from [0 to 325) */1315export type R325n = R324;1316/** R from [0 to 326] */1317export type R326 = R325 | 326;1318/** R from [0 to 326) */1319export type R326n = R325;1320/** R from [0 to 327] */1321export type R327 = R326 | 327;1322/** R from [0 to 327) */1323export type R327n = R326;1324/** R from [0 to 328] */1325export type R328 = R327 | 328;1326/** R from [0 to 328) */1327export type R328n = R327;1328/** R from [0 to 329] */1329export type R329 = R328 | 329;1330/** R from [0 to 329) */1331export type R329n = R328;1332/** R from [0 to 330] */1333export type R330 = R329 | 330;1334/** R from [0 to 330) */1335export type R330n = R329;1336/** R from [0 to 331] */1337export type R331 = R330 | 331;1338/** R from [0 to 331) */1339export type R331n = R330;