BigInteger.d.ts - time-to-botec - Benchmark sampling in different programming languages

BigInteger.d.ts (67584B)
      1 /**
      2  * Type definitions for BigInteger.js
      3  * Definitions by: Tommy Frazier <https://github.com/toefraz>
      4  */
      5 export = bigInt;
      6 export as namespace bigInt;
      7 
      8 declare var bigInt: bigInt.BigIntegerStatic;
      9 
     10 declare namespace bigInt {
     11     type BigNumber = number | bigint | string | BigInteger;
     12 
     13     interface BigIntegerStatic {
     14         /**
     15          * Equivalent to bigInt(0).
     16          */
     17         (): BigInteger;
     18 
     19         /**
     20          * Parse a Javascript number into a bigInt.
     21          */
     22         (number: number): BigInteger;
     23 
     24         /**
     25          * Parse a Javascript native bigint into a bigInt.
     26          */
     27         (number: bigint): BigInteger;
     28 
     29         /**
     30          * Parse a string into a bigInt.
     31          * Default base is 10.
     32          * Default alphabet is "0123456789abcdefghijklmnopqrstuvwxyz".
     33          * caseSensitive defaults to false.
     34          */
     35         (string: string, base?: BigNumber, alphabet?: string, caseSensitive?: boolean): BigInteger;
     36 
     37         /**
     38          * no-op.
     39          */
     40         (bigInt: BigInteger): BigInteger;
     41 
     42         /**
     43          * Constructs a bigInt from an array of digits in specified base.
     44          * The optional isNegative flag will make the number negative.
     45          */
     46         fromArray: (digits: BigNumber[], base?: BigNumber, isNegative?: boolean) => BigInteger;
     47 
     48         /**
     49          * Finds the greatest common denominator of a and b.
     50          */
     51         gcd: (a: BigNumber, b: BigNumber) => BigInteger;
     52 
     53 
     54         /**
     55          * Returns true if x is a BigInteger, false otherwise.
     56          */
     57         isInstance: (x: any) => x is BigInteger;
     58 
     59         /**
     60          * Finds the least common multiple of a and b.
     61          */
     62         lcm: (a: BigNumber, b: BigNumber) => BigInteger;
     63 
     64         /**
     65          * Returns the largest of a and b.
     66          */
     67         max: (a: BigNumber, b: BigNumber) => BigInteger;
     68 
     69         /**
     70          * Returns the smallest of a and b.
     71          */
     72         min: (a: BigNumber, b: BigNumber) => BigInteger;
     73 
     74         /**
     75          * Equivalent to bigInt(-1).
     76          */
     77         minusOne: BigInteger;
     78 
     79         /**
     80          * Equivalent to bigInt(1).
     81          */
     82         one: BigInteger;
     83 
     84         /**
     85          * Returns a random number between min and max.
     86          */
     87         randBetween: (min: BigNumber, max: BigNumber, rng?: () => number) => BigInteger;
     88 
     89         /**
     90          * Equivalent to bigInt(0).
     91          */
     92         zero: BigInteger;
     93     }
     94 
     95     interface BigInteger {
     96         /**
     97          * Returns the absolute value of a bigInt.
     98          */
     99         abs(): BigInteger;
    100 
    101         /**
    102          * Performs addition.
    103          */
    104         add(number: BigNumber): BigInteger;
    105 
    106         /**
    107          * Performs the bitwise AND operation.
    108          */
    109         and(number: BigNumber): BigInteger;
    110 
    111         /**
    112          * Returns the number of digits required to represent a bigInt in binary.
    113          */
    114         bitLength(): BigInteger;
    115 
    116         /**
    117          * Performs a comparison between two numbers. If the numbers are equal, it returns 0.
    118          * If the first number is greater, it returns 1. If the first number is lesser, it returns -1.
    119          */
    120         compare(number: BigNumber): number;
    121 
    122         /**
    123          * Performs a comparison between the absolute value of two numbers.
    124          */
    125         compareAbs(number: BigNumber): number;
    126 
    127         /**
    128          * Alias for the compare method.
    129          */
    130         compareTo(number: BigNumber): number;
    131 
    132         /**
    133          * Performs integer division, disregarding the remainder.
    134          */
    135         divide(number: BigNumber): BigInteger;
    136 
    137         /**
    138          * Performs division and returns an object with two properties: quotient and remainder.
    139          * The sign of the remainder will match the sign of the dividend.
    140          */
    141         divmod(number: BigNumber): { quotient: BigInteger, remainder: BigInteger };
    142 
    143         /**
    144          * Alias for the equals method.
    145          */
    146         eq(number: BigNumber): boolean;
    147 
    148         /**
    149          * Checks if two numbers are equal.
    150          */
    151         equals(number: BigNumber): boolean;
    152 
    153         /**
    154          * Alias for the greaterOrEquals method.
    155          */
    156         geq(number: BigNumber): boolean;
    157 
    158         /**
    159          * Checks if the first number is greater than the second.
    160          */
    161         greater(number: BigNumber): boolean;
    162 
    163         /**
    164          * Checks if the first number is greater than or equal to the second.
    165          */
    166         greaterOrEquals(number: BigNumber): boolean;
    167 
    168         /**
    169          * Alias for the greater method.
    170          */
    171         gt(number: BigNumber): boolean;
    172 
    173         /**
    174          * Returns true if the first number is divisible by the second number, false otherwise.
    175          */
    176         isDivisibleBy(number: BigNumber): boolean;
    177 
    178         /**
    179          * Returns true if the number is even, false otherwise.
    180          */
    181         isEven(): boolean;
    182 
    183         /**
    184          * Returns true if the number is negative, false otherwise.
    185          * Returns false for 0 and true for -0.
    186          */
    187         isNegative(): boolean;
    188 
    189         /**
    190          * Returns true if the number is odd, false otherwise.
    191          */
    192         isOdd(): boolean;
    193 
    194         /**
    195          * Return true if the number is positive, false otherwise.
    196          * Returns true for 0 and false for -0.
    197          */
    198         isPositive(): boolean;
    199 
    200         /**
    201          * Returns true if the number is prime, false otherwise.
    202          */
    203         isPrime(strict?: boolean): boolean;
    204 
    205         /**
    206          * Returns true if the number is very likely to be prime, false otherwise.
    207          */
    208         isProbablePrime(iterations?: number, rng?: () => number): boolean;
    209 
    210         /**
    211          * Returns true if the number is 1 or -1, false otherwise.
    212          */
    213         isUnit(): boolean;
    214 
    215         /**
    216          * Return true if the number is 0 or -0, false otherwise.
    217          */
    218         isZero(): boolean;
    219 
    220         /**
    221          * Alias for the lesserOrEquals method.
    222          */
    223         leq(number: BigNumber): boolean;
    224 
    225         /**
    226          * Checks if the first number is lesser than the second.
    227          */
    228         lesser(number: BigNumber): boolean;
    229 
    230         /**
    231          * Checks if the first number is less than or equal to the second.
    232          */
    233         lesserOrEquals(number: BigNumber): boolean;
    234 
    235         /**
    236          * Alias for the lesser method.
    237          */
    238         lt(number: BigNumber): boolean;
    239 
    240         /**
    241          * Alias for the subtract method.
    242          */
    243         minus(number: BigNumber): BigInteger;
    244 
    245         /**
    246          * Performs division and returns the remainder, disregarding the quotient.
    247          * The sign of the remainder will match the sign of the dividend.
    248          */
    249         mod(number: BigNumber): BigInteger;
    250 
    251         /**
    252          * Finds the multiplicative inverse of the number modulo mod.
    253          */
    254         modInv(number: BigNumber): BigInteger;
    255 
    256         /**
    257          * Takes the number to the power exp modulo mod.
    258          */
    259         modPow(exp: BigNumber, mod: BigNumber): BigInteger;
    260 
    261         /**
    262          * Performs multiplication.
    263          */
    264         multiply(number: BigNumber): BigInteger;
    265 
    266         /**
    267          * Reverses the sign of the number.
    268          */
    269         negate(): BigInteger;
    270 
    271         /**
    272          * Alias for the notEquals method.
    273          */
    274         neq(number: BigNumber): boolean;
    275 
    276         /**
    277          * Adds one to the number.
    278          */
    279         next(): BigInteger;
    280 
    281         /**
    282          * Performs the bitwise NOT operation.
    283          */
    284         not(): BigInteger;
    285 
    286         /**
    287          * Checks if two numbers are not equal.
    288          */
    289         notEquals(number: BigNumber): boolean;
    290 
    291         /**
    292          * Performs the bitwise OR operation.
    293          */
    294         or(number: BigNumber): BigInteger;
    295 
    296         /**
    297          * Alias for the divide method.
    298          */
    299         over(number: BigNumber): BigInteger;
    300 
    301         /**
    302          * Alias for the add method.
    303          */
    304         plus(number: BigNumber): BigInteger;
    305 
    306         /**
    307          * Performs exponentiation. If the exponent is less than 0, pow returns 0.
    308          * bigInt.zero.pow(0) returns 1.
    309          */
    310         pow(number: BigNumber): BigInteger;
    311 
    312         /**
    313          * Subtracts one from the number.
    314          */
    315         prev(): BigInteger;
    316 
    317         /**
    318          * Alias for the mod method.
    319          */
    320         remainder(number: BigNumber): BigInteger;
    321 
    322         /**
    323          * Shifts the number left by n places in its binary representation.
    324          * If a negative number is provided, it will shift right.
    325          *
    326          * Throws an error if number is outside of the range [-9007199254740992, 9007199254740992].
    327          */
    328         shiftLeft(number: BigNumber): BigInteger;
    329 
    330         /**
    331          * Shifts the number right by n places in its binary representation.
    332          * If a negative number is provided, it will shift left.
    333          *
    334          * Throws an error if number is outside of the range [-9007199254740992, 9007199254740992].
    335          */
    336         shiftRight(number: BigNumber): BigInteger;
    337 
    338         /**
    339          * Squares the number.
    340          */
    341         square(): BigInteger;
    342 
    343         /**
    344          * Performs subtraction.
    345          */
    346         subtract(number: BigNumber): BigInteger;
    347 
    348         /**
    349          * Alias for the multiply method.
    350          */
    351         times(number: BigNumber): BigInteger;
    352 
    353         /**
    354          *
    355          * Converts a bigInt to an object representing it as an array of integers module the given radix.
    356          */
    357         toArray(radix: number): BaseArray;
    358 
    359         /**
    360          * Converts a bigInt into a native Javascript number. Loses precision for numbers outside the range.
    361          */
    362         toJSNumber(): number;
    363 
    364         /**
    365          * Converts a bigInt to a string.
    366          */
    367         toString(radix?: number, alphabet?: string): string;
    368 
    369 		/**
    370          * Converts a bigInt to a string. This method is called behind the scenes in JSON.stringify.
    371          */
    372         toJSON(): string;
    373 
    374         /**
    375          * Converts a bigInt to a native Javascript number. This override allows you to use native
    376          * arithmetic operators without explicit conversion.
    377          */
    378         valueOf(): number;
    379 
    380         /**
    381          * Performs the bitwise XOR operation.
    382          */
    383         xor(number: BigNumber): BigInteger;
    384     }
    385 
    386     // Array constant accessors
    387     interface BigIntegerStatic {
    388         '-999': BigInteger;
    389         '-998': BigInteger;
    390         '-997': BigInteger;
    391         '-996': BigInteger;
    392         '-995': BigInteger;
    393         '-994': BigInteger;
    394         '-993': BigInteger;
    395         '-992': BigInteger;
    396         '-991': BigInteger;
    397         '-990': BigInteger;
    398         '-989': BigInteger;
    399         '-988': BigInteger;
    400         '-987': BigInteger;
    401         '-986': BigInteger;
    402         '-985': BigInteger;
    403         '-984': BigInteger;
    404         '-983': BigInteger;
    405         '-982': BigInteger;
    406         '-981': BigInteger;
    407         '-980': BigInteger;
    408         '-979': BigInteger;
    409         '-978': BigInteger;
    410         '-977': BigInteger;
    411         '-976': BigInteger;
    412         '-975': BigInteger;
    413         '-974': BigInteger;
    414         '-973': BigInteger;
    415         '-972': BigInteger;
    416         '-971': BigInteger;
    417         '-970': BigInteger;
    418         '-969': BigInteger;
    419         '-968': BigInteger;
    420         '-967': BigInteger;
    421         '-966': BigInteger;
    422         '-965': BigInteger;
    423         '-964': BigInteger;
    424         '-963': BigInteger;
    425         '-962': BigInteger;
    426         '-961': BigInteger;
    427         '-960': BigInteger;
    428         '-959': BigInteger;
    429         '-958': BigInteger;
    430         '-957': BigInteger;
    431         '-956': BigInteger;
    432         '-955': BigInteger;
    433         '-954': BigInteger;
    434         '-953': BigInteger;
    435         '-952': BigInteger;
    436         '-951': BigInteger;
    437         '-950': BigInteger;
    438         '-949': BigInteger;
    439         '-948': BigInteger;
    440         '-947': BigInteger;
    441         '-946': BigInteger;
    442         '-945': BigInteger;
    443         '-944': BigInteger;
    444         '-943': BigInteger;
    445         '-942': BigInteger;
    446         '-941': BigInteger;
    447         '-940': BigInteger;
    448         '-939': BigInteger;
    449         '-938': BigInteger;
    450         '-937': BigInteger;
    451         '-936': BigInteger;
    452         '-935': BigInteger;
    453         '-934': BigInteger;
    454         '-933': BigInteger;
    455         '-932': BigInteger;
    456         '-931': BigInteger;
    457         '-930': BigInteger;
    458         '-929': BigInteger;
    459         '-928': BigInteger;
    460         '-927': BigInteger;
    461         '-926': BigInteger;
    462         '-925': BigInteger;
    463         '-924': BigInteger;
    464         '-923': BigInteger;
    465         '-922': BigInteger;
    466         '-921': BigInteger;
    467         '-920': BigInteger;
    468         '-919': BigInteger;
    469         '-918': BigInteger;
    470         '-917': BigInteger;
    471         '-916': BigInteger;
    472         '-915': BigInteger;
    473         '-914': BigInteger;
    474         '-913': BigInteger;
    475         '-912': BigInteger;
    476         '-911': BigInteger;
    477         '-910': BigInteger;
    478         '-909': BigInteger;
    479         '-908': BigInteger;
    480         '-907': BigInteger;
    481         '-906': BigInteger;
    482         '-905': BigInteger;
    483         '-904': BigInteger;
    484         '-903': BigInteger;
    485         '-902': BigInteger;
    486         '-901': BigInteger;
    487         '-900': BigInteger;
    488         '-899': BigInteger;
    489         '-898': BigInteger;
    490         '-897': BigInteger;
    491         '-896': BigInteger;
    492         '-895': BigInteger;
    493         '-894': BigInteger;
    494         '-893': BigInteger;
    495         '-892': BigInteger;
    496         '-891': BigInteger;
    497         '-890': BigInteger;
    498         '-889': BigInteger;
    499         '-888': BigInteger;
    500         '-887': BigInteger;
    501         '-886': BigInteger;
    502         '-885': BigInteger;
    503         '-884': BigInteger;
    504         '-883': BigInteger;
    505         '-882': BigInteger;
    506         '-881': BigInteger;
    507         '-880': BigInteger;
    508         '-879': BigInteger;
    509         '-878': BigInteger;
    510         '-877': BigInteger;
    511         '-876': BigInteger;
    512         '-875': BigInteger;
    513         '-874': BigInteger;
    514         '-873': BigInteger;
    515         '-872': BigInteger;
    516         '-871': BigInteger;
    517         '-870': BigInteger;
    518         '-869': BigInteger;
    519         '-868': BigInteger;
    520         '-867': BigInteger;
    521         '-866': BigInteger;
    522         '-865': BigInteger;
    523         '-864': BigInteger;
    524         '-863': BigInteger;
    525         '-862': BigInteger;
    526         '-861': BigInteger;
    527         '-860': BigInteger;
    528         '-859': BigInteger;
    529         '-858': BigInteger;
    530         '-857': BigInteger;
    531         '-856': BigInteger;
    532         '-855': BigInteger;
    533         '-854': BigInteger;
    534         '-853': BigInteger;
    535         '-852': BigInteger;
    536         '-851': BigInteger;
    537         '-850': BigInteger;
    538         '-849': BigInteger;
    539         '-848': BigInteger;
    540         '-847': BigInteger;
    541         '-846': BigInteger;
    542         '-845': BigInteger;
    543         '-844': BigInteger;
    544         '-843': BigInteger;
    545         '-842': BigInteger;
    546         '-841': BigInteger;
    547         '-840': BigInteger;
    548         '-839': BigInteger;
    549         '-838': BigInteger;
    550         '-837': BigInteger;
    551         '-836': BigInteger;
    552         '-835': BigInteger;
    553         '-834': BigInteger;
    554         '-833': BigInteger;
    555         '-832': BigInteger;
    556         '-831': BigInteger;
    557         '-830': BigInteger;
    558         '-829': BigInteger;
    559         '-828': BigInteger;
    560         '-827': BigInteger;
    561         '-826': BigInteger;
    562         '-825': BigInteger;
    563         '-824': BigInteger;
    564         '-823': BigInteger;
    565         '-822': BigInteger;
    566         '-821': BigInteger;
    567         '-820': BigInteger;
    568         '-819': BigInteger;
    569         '-818': BigInteger;
    570         '-817': BigInteger;
    571         '-816': BigInteger;
    572         '-815': BigInteger;
    573         '-814': BigInteger;
    574         '-813': BigInteger;
    575         '-812': BigInteger;
    576         '-811': BigInteger;
    577         '-810': BigInteger;
    578         '-809': BigInteger;
    579         '-808': BigInteger;
    580         '-807': BigInteger;
    581         '-806': BigInteger;
    582         '-805': BigInteger;
    583         '-804': BigInteger;
    584         '-803': BigInteger;
    585         '-802': BigInteger;
    586         '-801': BigInteger;
    587         '-800': BigInteger;
    588         '-799': BigInteger;
    589         '-798': BigInteger;
    590         '-797': BigInteger;
    591         '-796': BigInteger;
    592         '-795': BigInteger;
    593         '-794': BigInteger;
    594         '-793': BigInteger;
    595         '-792': BigInteger;
    596         '-791': BigInteger;
    597         '-790': BigInteger;
    598         '-789': BigInteger;
    599         '-788': BigInteger;
    600         '-787': BigInteger;
    601         '-786': BigInteger;
    602         '-785': BigInteger;
    603         '-784': BigInteger;
    604         '-783': BigInteger;
    605         '-782': BigInteger;
    606         '-781': BigInteger;
    607         '-780': BigInteger;
    608         '-779': BigInteger;
    609         '-778': BigInteger;
    610         '-777': BigInteger;
    611         '-776': BigInteger;
    612         '-775': BigInteger;
    613         '-774': BigInteger;
    614         '-773': BigInteger;
    615         '-772': BigInteger;
    616         '-771': BigInteger;
    617         '-770': BigInteger;
    618         '-769': BigInteger;
    619         '-768': BigInteger;
    620         '-767': BigInteger;
    621         '-766': BigInteger;
    622         '-765': BigInteger;
    623         '-764': BigInteger;
    624         '-763': BigInteger;
    625         '-762': BigInteger;
    626         '-761': BigInteger;
    627         '-760': BigInteger;
    628         '-759': BigInteger;
    629         '-758': BigInteger;
    630         '-757': BigInteger;
    631         '-756': BigInteger;
    632         '-755': BigInteger;
    633         '-754': BigInteger;
    634         '-753': BigInteger;
    635         '-752': BigInteger;
    636         '-751': BigInteger;
    637         '-750': BigInteger;
    638         '-749': BigInteger;
    639         '-748': BigInteger;
    640         '-747': BigInteger;
    641         '-746': BigInteger;
    642         '-745': BigInteger;
    643         '-744': BigInteger;
    644         '-743': BigInteger;
    645         '-742': BigInteger;
    646         '-741': BigInteger;
    647         '-740': BigInteger;
    648         '-739': BigInteger;
    649         '-738': BigInteger;
    650         '-737': BigInteger;
    651         '-736': BigInteger;
    652         '-735': BigInteger;
    653         '-734': BigInteger;
    654         '-733': BigInteger;
    655         '-732': BigInteger;
    656         '-731': BigInteger;
    657         '-730': BigInteger;
    658         '-729': BigInteger;
    659         '-728': BigInteger;
    660         '-727': BigInteger;
    661         '-726': BigInteger;
    662         '-725': BigInteger;
    663         '-724': BigInteger;
    664         '-723': BigInteger;
    665         '-722': BigInteger;
    666         '-721': BigInteger;
    667         '-720': BigInteger;
    668         '-719': BigInteger;
    669         '-718': BigInteger;
    670         '-717': BigInteger;
    671         '-716': BigInteger;
    672         '-715': BigInteger;
    673         '-714': BigInteger;
    674         '-713': BigInteger;
    675         '-712': BigInteger;
    676         '-711': BigInteger;
    677         '-710': BigInteger;
    678         '-709': BigInteger;
    679         '-708': BigInteger;
    680         '-707': BigInteger;
    681         '-706': BigInteger;
    682         '-705': BigInteger;
    683         '-704': BigInteger;
    684         '-703': BigInteger;
    685         '-702': BigInteger;
    686         '-701': BigInteger;
    687         '-700': BigInteger;
    688         '-699': BigInteger;
    689         '-698': BigInteger;
    690         '-697': BigInteger;
    691         '-696': BigInteger;
    692         '-695': BigInteger;
    693         '-694': BigInteger;
    694         '-693': BigInteger;
    695         '-692': BigInteger;
    696         '-691': BigInteger;
    697         '-690': BigInteger;
    698         '-689': BigInteger;
    699         '-688': BigInteger;
    700         '-687': BigInteger;
    701         '-686': BigInteger;
    702         '-685': BigInteger;
    703         '-684': BigInteger;
    704         '-683': BigInteger;
    705         '-682': BigInteger;
    706         '-681': BigInteger;
    707         '-680': BigInteger;
    708         '-679': BigInteger;
    709         '-678': BigInteger;
    710         '-677': BigInteger;
    711         '-676': BigInteger;
    712         '-675': BigInteger;
    713         '-674': BigInteger;
    714         '-673': BigInteger;
    715         '-672': BigInteger;
    716         '-671': BigInteger;
    717         '-670': BigInteger;
    718         '-669': BigInteger;
    719         '-668': BigInteger;
    720         '-667': BigInteger;
    721         '-666': BigInteger;
    722         '-665': BigInteger;
    723         '-664': BigInteger;
    724         '-663': BigInteger;
    725         '-662': BigInteger;
    726         '-661': BigInteger;
    727         '-660': BigInteger;
    728         '-659': BigInteger;
    729         '-658': BigInteger;
    730         '-657': BigInteger;
    731         '-656': BigInteger;
    732         '-655': BigInteger;
    733         '-654': BigInteger;
    734         '-653': BigInteger;
    735         '-652': BigInteger;
    736         '-651': BigInteger;
    737         '-650': BigInteger;
    738         '-649': BigInteger;
    739         '-648': BigInteger;
    740         '-647': BigInteger;
    741         '-646': BigInteger;
    742         '-645': BigInteger;
    743         '-644': BigInteger;
    744         '-643': BigInteger;
    745         '-642': BigInteger;
    746         '-641': BigInteger;
    747         '-640': BigInteger;
    748         '-639': BigInteger;
    749         '-638': BigInteger;
    750         '-637': BigInteger;
    751         '-636': BigInteger;
    752         '-635': BigInteger;
    753         '-634': BigInteger;
    754         '-633': BigInteger;
    755         '-632': BigInteger;
    756         '-631': BigInteger;
    757         '-630': BigInteger;
    758         '-629': BigInteger;
    759         '-628': BigInteger;
    760         '-627': BigInteger;
    761         '-626': BigInteger;
    762         '-625': BigInteger;
    763         '-624': BigInteger;
    764         '-623': BigInteger;
    765         '-622': BigInteger;
    766         '-621': BigInteger;
    767         '-620': BigInteger;
    768         '-619': BigInteger;
    769         '-618': BigInteger;
    770         '-617': BigInteger;
    771         '-616': BigInteger;
    772         '-615': BigInteger;
    773         '-614': BigInteger;
    774         '-613': BigInteger;
    775         '-612': BigInteger;
    776         '-611': BigInteger;
    777         '-610': BigInteger;
    778         '-609': BigInteger;
    779         '-608': BigInteger;
    780         '-607': BigInteger;
    781         '-606': BigInteger;
    782         '-605': BigInteger;
    783         '-604': BigInteger;
    784         '-603': BigInteger;
    785         '-602': BigInteger;
    786         '-601': BigInteger;
    787         '-600': BigInteger;
    788         '-599': BigInteger;
    789         '-598': BigInteger;
    790         '-597': BigInteger;
    791         '-596': BigInteger;
    792         '-595': BigInteger;
    793         '-594': BigInteger;
    794         '-593': BigInteger;
    795         '-592': BigInteger;
    796         '-591': BigInteger;
    797         '-590': BigInteger;
    798         '-589': BigInteger;
    799         '-588': BigInteger;
    800         '-587': BigInteger;
    801         '-586': BigInteger;
    802         '-585': BigInteger;
    803         '-584': BigInteger;
    804         '-583': BigInteger;
    805         '-582': BigInteger;
    806         '-581': BigInteger;
    807         '-580': BigInteger;
    808         '-579': BigInteger;
    809         '-578': BigInteger;
    810         '-577': BigInteger;
    811         '-576': BigInteger;
    812         '-575': BigInteger;
    813         '-574': BigInteger;
    814         '-573': BigInteger;
    815         '-572': BigInteger;
    816         '-571': BigInteger;
    817         '-570': BigInteger;
    818         '-569': BigInteger;
    819         '-568': BigInteger;
    820         '-567': BigInteger;
    821         '-566': BigInteger;
    822         '-565': BigInteger;
    823         '-564': BigInteger;
    824         '-563': BigInteger;
    825         '-562': BigInteger;
    826         '-561': BigInteger;
    827         '-560': BigInteger;
    828         '-559': BigInteger;
    829         '-558': BigInteger;
    830         '-557': BigInteger;
    831         '-556': BigInteger;
    832         '-555': BigInteger;
    833         '-554': BigInteger;
    834         '-553': BigInteger;
    835         '-552': BigInteger;
    836         '-551': BigInteger;
    837         '-550': BigInteger;
    838         '-549': BigInteger;
    839         '-548': BigInteger;
    840         '-547': BigInteger;
    841         '-546': BigInteger;
    842         '-545': BigInteger;
    843         '-544': BigInteger;
    844         '-543': BigInteger;
    845         '-542': BigInteger;
    846         '-541': BigInteger;
    847         '-540': BigInteger;
    848         '-539': BigInteger;
    849         '-538': BigInteger;
    850         '-537': BigInteger;
    851         '-536': BigInteger;
    852         '-535': BigInteger;
    853         '-534': BigInteger;
    854         '-533': BigInteger;
    855         '-532': BigInteger;
    856         '-531': BigInteger;
    857         '-530': BigInteger;
    858         '-529': BigInteger;
    859         '-528': BigInteger;
    860         '-527': BigInteger;
    861         '-526': BigInteger;
    862         '-525': BigInteger;
    863         '-524': BigInteger;
    864         '-523': BigInteger;
    865         '-522': BigInteger;
    866         '-521': BigInteger;
    867         '-520': BigInteger;
    868         '-519': BigInteger;
    869         '-518': BigInteger;
    870         '-517': BigInteger;
    871         '-516': BigInteger;
    872         '-515': BigInteger;
    873         '-514': BigInteger;
    874         '-513': BigInteger;
    875         '-512': BigInteger;
    876         '-511': BigInteger;
    877         '-510': BigInteger;
    878         '-509': BigInteger;
    879         '-508': BigInteger;
    880         '-507': BigInteger;
    881         '-506': BigInteger;
    882         '-505': BigInteger;
    883         '-504': BigInteger;
    884         '-503': BigInteger;
    885         '-502': BigInteger;
    886         '-501': BigInteger;
    887         '-500': BigInteger;
    888         '-499': BigInteger;
    889         '-498': BigInteger;
    890         '-497': BigInteger;
    891         '-496': BigInteger;
    892         '-495': BigInteger;
    893         '-494': BigInteger;
    894         '-493': BigInteger;
    895         '-492': BigInteger;
    896         '-491': BigInteger;
    897         '-490': BigInteger;
    898         '-489': BigInteger;
    899         '-488': BigInteger;
    900         '-487': BigInteger;
    901         '-486': BigInteger;
    902         '-485': BigInteger;
    903         '-484': BigInteger;
    904         '-483': BigInteger;
    905         '-482': BigInteger;
    906         '-481': BigInteger;
    907         '-480': BigInteger;
    908         '-479': BigInteger;
    909         '-478': BigInteger;
    910         '-477': BigInteger;
    911         '-476': BigInteger;
    912         '-475': BigInteger;
    913         '-474': BigInteger;
    914         '-473': BigInteger;
    915         '-472': BigInteger;
    916         '-471': BigInteger;
    917         '-470': BigInteger;
    918         '-469': BigInteger;
    919         '-468': BigInteger;
    920         '-467': BigInteger;
    921         '-466': BigInteger;
    922         '-465': BigInteger;
    923         '-464': BigInteger;
    924         '-463': BigInteger;
    925         '-462': BigInteger;
    926         '-461': BigInteger;
    927         '-460': BigInteger;
    928         '-459': BigInteger;
    929         '-458': BigInteger;
    930         '-457': BigInteger;
    931         '-456': BigInteger;
    932         '-455': BigInteger;
    933         '-454': BigInteger;
    934         '-453': BigInteger;
    935         '-452': BigInteger;
    936         '-451': BigInteger;
    937         '-450': BigInteger;
    938         '-449': BigInteger;
    939         '-448': BigInteger;
    940         '-447': BigInteger;
    941         '-446': BigInteger;
    942         '-445': BigInteger;
    943         '-444': BigInteger;
    944         '-443': BigInteger;
    945         '-442': BigInteger;
    946         '-441': BigInteger;
    947         '-440': BigInteger;
    948         '-439': BigInteger;
    949         '-438': BigInteger;
    950         '-437': BigInteger;
    951         '-436': BigInteger;
    952         '-435': BigInteger;
    953         '-434': BigInteger;
    954         '-433': BigInteger;
    955         '-432': BigInteger;
    956         '-431': BigInteger;
    957         '-430': BigInteger;
    958         '-429': BigInteger;
    959         '-428': BigInteger;
    960         '-427': BigInteger;
    961         '-426': BigInteger;
    962         '-425': BigInteger;
    963         '-424': BigInteger;
    964         '-423': BigInteger;
    965         '-422': BigInteger;
    966         '-421': BigInteger;
    967         '-420': BigInteger;
    968         '-419': BigInteger;
    969         '-418': BigInteger;
    970         '-417': BigInteger;
    971         '-416': BigInteger;
    972         '-415': BigInteger;
    973         '-414': BigInteger;
    974         '-413': BigInteger;
    975         '-412': BigInteger;
    976         '-411': BigInteger;
    977         '-410': BigInteger;
    978         '-409': BigInteger;
    979         '-408': BigInteger;
    980         '-407': BigInteger;
    981         '-406': BigInteger;
    982         '-405': BigInteger;
    983         '-404': BigInteger;
    984         '-403': BigInteger;
    985         '-402': BigInteger;
    986         '-401': BigInteger;
    987         '-400': BigInteger;
    988         '-399': BigInteger;
    989         '-398': BigInteger;
    990         '-397': BigInteger;
    991         '-396': BigInteger;
    992         '-395': BigInteger;
    993         '-394': BigInteger;
    994         '-393': BigInteger;
    995         '-392': BigInteger;
    996         '-391': BigInteger;
    997         '-390': BigInteger;
    998         '-389': BigInteger;
    999         '-388': BigInteger;
   1000         '-387': BigInteger;
   1001         '-386': BigInteger;
   1002         '-385': BigInteger;
   1003         '-384': BigInteger;
   1004         '-383': BigInteger;
   1005         '-382': BigInteger;
   1006         '-381': BigInteger;
   1007         '-380': BigInteger;
   1008         '-379': BigInteger;
   1009         '-378': BigInteger;
   1010         '-377': BigInteger;
   1011         '-376': BigInteger;
   1012         '-375': BigInteger;
   1013         '-374': BigInteger;
   1014         '-373': BigInteger;
   1015         '-372': BigInteger;
   1016         '-371': BigInteger;
   1017         '-370': BigInteger;
   1018         '-369': BigInteger;
   1019         '-368': BigInteger;
   1020         '-367': BigInteger;
   1021         '-366': BigInteger;
   1022         '-365': BigInteger;
   1023         '-364': BigInteger;
   1024         '-363': BigInteger;
   1025         '-362': BigInteger;
   1026         '-361': BigInteger;
   1027         '-360': BigInteger;
   1028         '-359': BigInteger;
   1029         '-358': BigInteger;
   1030         '-357': BigInteger;
   1031         '-356': BigInteger;
   1032         '-355': BigInteger;
   1033         '-354': BigInteger;
   1034         '-353': BigInteger;
   1035         '-352': BigInteger;
   1036         '-351': BigInteger;
   1037         '-350': BigInteger;
   1038         '-349': BigInteger;
   1039         '-348': BigInteger;
   1040         '-347': BigInteger;
   1041         '-346': BigInteger;
   1042         '-345': BigInteger;
   1043         '-344': BigInteger;
   1044         '-343': BigInteger;
   1045         '-342': BigInteger;
   1046         '-341': BigInteger;
   1047         '-340': BigInteger;
   1048         '-339': BigInteger;
   1049         '-338': BigInteger;
   1050         '-337': BigInteger;
   1051         '-336': BigInteger;
   1052         '-335': BigInteger;
   1053         '-334': BigInteger;
   1054         '-333': BigInteger;
   1055         '-332': BigInteger;
   1056         '-331': BigInteger;
   1057         '-330': BigInteger;
   1058         '-329': BigInteger;
   1059         '-328': BigInteger;
   1060         '-327': BigInteger;
   1061         '-326': BigInteger;
   1062         '-325': BigInteger;
   1063         '-324': BigInteger;
   1064         '-323': BigInteger;
   1065         '-322': BigInteger;
   1066         '-321': BigInteger;
   1067         '-320': BigInteger;
   1068         '-319': BigInteger;
   1069         '-318': BigInteger;
   1070         '-317': BigInteger;
   1071         '-316': BigInteger;
   1072         '-315': BigInteger;
   1073         '-314': BigInteger;
   1074         '-313': BigInteger;
   1075         '-312': BigInteger;
   1076         '-311': BigInteger;
   1077         '-310': BigInteger;
   1078         '-309': BigInteger;
   1079         '-308': BigInteger;
   1080         '-307': BigInteger;
   1081         '-306': BigInteger;
   1082         '-305': BigInteger;
   1083         '-304': BigInteger;
   1084         '-303': BigInteger;
   1085         '-302': BigInteger;
   1086         '-301': BigInteger;
   1087         '-300': BigInteger;
   1088         '-299': BigInteger;
   1089         '-298': BigInteger;
   1090         '-297': BigInteger;
   1091         '-296': BigInteger;
   1092         '-295': BigInteger;
   1093         '-294': BigInteger;
   1094         '-293': BigInteger;
   1095         '-292': BigInteger;
   1096         '-291': BigInteger;
   1097         '-290': BigInteger;
   1098         '-289': BigInteger;
   1099         '-288': BigInteger;
   1100         '-287': BigInteger;
   1101         '-286': BigInteger;
   1102         '-285': BigInteger;
   1103         '-284': BigInteger;
   1104         '-283': BigInteger;
   1105         '-282': BigInteger;
   1106         '-281': BigInteger;
   1107         '-280': BigInteger;
   1108         '-279': BigInteger;
   1109         '-278': BigInteger;
   1110         '-277': BigInteger;
   1111         '-276': BigInteger;
   1112         '-275': BigInteger;
   1113         '-274': BigInteger;
   1114         '-273': BigInteger;
   1115         '-272': BigInteger;
   1116         '-271': BigInteger;
   1117         '-270': BigInteger;
   1118         '-269': BigInteger;
   1119         '-268': BigInteger;
   1120         '-267': BigInteger;
   1121         '-266': BigInteger;
   1122         '-265': BigInteger;
   1123         '-264': BigInteger;
   1124         '-263': BigInteger;
   1125         '-262': BigInteger;
   1126         '-261': BigInteger;
   1127         '-260': BigInteger;
   1128         '-259': BigInteger;
   1129         '-258': BigInteger;
   1130         '-257': BigInteger;
   1131         '-256': BigInteger;
   1132         '-255': BigInteger;
   1133         '-254': BigInteger;
   1134         '-253': BigInteger;
   1135         '-252': BigInteger;
   1136         '-251': BigInteger;
   1137         '-250': BigInteger;
   1138         '-249': BigInteger;
   1139         '-248': BigInteger;
   1140         '-247': BigInteger;
   1141         '-246': BigInteger;
   1142         '-245': BigInteger;
   1143         '-244': BigInteger;
   1144         '-243': BigInteger;
   1145         '-242': BigInteger;
   1146         '-241': BigInteger;
   1147         '-240': BigInteger;
   1148         '-239': BigInteger;
   1149         '-238': BigInteger;
   1150         '-237': BigInteger;
   1151         '-236': BigInteger;
   1152         '-235': BigInteger;
   1153         '-234': BigInteger;
   1154         '-233': BigInteger;
   1155         '-232': BigInteger;
   1156         '-231': BigInteger;
   1157         '-230': BigInteger;
   1158         '-229': BigInteger;
   1159         '-228': BigInteger;
   1160         '-227': BigInteger;
   1161         '-226': BigInteger;
   1162         '-225': BigInteger;
   1163         '-224': BigInteger;
   1164         '-223': BigInteger;
   1165         '-222': BigInteger;
   1166         '-221': BigInteger;
   1167         '-220': BigInteger;
   1168         '-219': BigInteger;
   1169         '-218': BigInteger;
   1170         '-217': BigInteger;
   1171         '-216': BigInteger;
   1172         '-215': BigInteger;
   1173         '-214': BigInteger;
   1174         '-213': BigInteger;
   1175         '-212': BigInteger;
   1176         '-211': BigInteger;
   1177         '-210': BigInteger;
   1178         '-209': BigInteger;
   1179         '-208': BigInteger;
   1180         '-207': BigInteger;
   1181         '-206': BigInteger;
   1182         '-205': BigInteger;
   1183         '-204': BigInteger;
   1184         '-203': BigInteger;
   1185         '-202': BigInteger;
   1186         '-201': BigInteger;
   1187         '-200': BigInteger;
   1188         '-199': BigInteger;
   1189         '-198': BigInteger;
   1190         '-197': BigInteger;
   1191         '-196': BigInteger;
   1192         '-195': BigInteger;
   1193         '-194': BigInteger;
   1194         '-193': BigInteger;
   1195         '-192': BigInteger;
   1196         '-191': BigInteger;
   1197         '-190': BigInteger;
   1198         '-189': BigInteger;
   1199         '-188': BigInteger;
   1200         '-187': BigInteger;
   1201         '-186': BigInteger;
   1202         '-185': BigInteger;
   1203         '-184': BigInteger;
   1204         '-183': BigInteger;
   1205         '-182': BigInteger;
   1206         '-181': BigInteger;
   1207         '-180': BigInteger;
   1208         '-179': BigInteger;
   1209         '-178': BigInteger;
   1210         '-177': BigInteger;
   1211         '-176': BigInteger;
   1212         '-175': BigInteger;
   1213         '-174': BigInteger;
   1214         '-173': BigInteger;
   1215         '-172': BigInteger;
   1216         '-171': BigInteger;
   1217         '-170': BigInteger;
   1218         '-169': BigInteger;
   1219         '-168': BigInteger;
   1220         '-167': BigInteger;
   1221         '-166': BigInteger;
   1222         '-165': BigInteger;
   1223         '-164': BigInteger;
   1224         '-163': BigInteger;
   1225         '-162': BigInteger;
   1226         '-161': BigInteger;
   1227         '-160': BigInteger;
   1228         '-159': BigInteger;
   1229         '-158': BigInteger;
   1230         '-157': BigInteger;
   1231         '-156': BigInteger;
   1232         '-155': BigInteger;
   1233         '-154': BigInteger;
   1234         '-153': BigInteger;
   1235         '-152': BigInteger;
   1236         '-151': BigInteger;
   1237         '-150': BigInteger;
   1238         '-149': BigInteger;
   1239         '-148': BigInteger;
   1240         '-147': BigInteger;
   1241         '-146': BigInteger;
   1242         '-145': BigInteger;
   1243         '-144': BigInteger;
   1244         '-143': BigInteger;
   1245         '-142': BigInteger;
   1246         '-141': BigInteger;
   1247         '-140': BigInteger;
   1248         '-139': BigInteger;
   1249         '-138': BigInteger;
   1250         '-137': BigInteger;
   1251         '-136': BigInteger;
   1252         '-135': BigInteger;
   1253         '-134': BigInteger;
   1254         '-133': BigInteger;
   1255         '-132': BigInteger;
   1256         '-131': BigInteger;
   1257         '-130': BigInteger;
   1258         '-129': BigInteger;
   1259         '-128': BigInteger;
   1260         '-127': BigInteger;
   1261         '-126': BigInteger;
   1262         '-125': BigInteger;
   1263         '-124': BigInteger;
   1264         '-123': BigInteger;
   1265         '-122': BigInteger;
   1266         '-121': BigInteger;
   1267         '-120': BigInteger;
   1268         '-119': BigInteger;
   1269         '-118': BigInteger;
   1270         '-117': BigInteger;
   1271         '-116': BigInteger;
   1272         '-115': BigInteger;
   1273         '-114': BigInteger;
   1274         '-113': BigInteger;
   1275         '-112': BigInteger;
   1276         '-111': BigInteger;
   1277         '-110': BigInteger;
   1278         '-109': BigInteger;
   1279         '-108': BigInteger;
   1280         '-107': BigInteger;
   1281         '-106': BigInteger;
   1282         '-105': BigInteger;
   1283         '-104': BigInteger;
   1284         '-103': BigInteger;
   1285         '-102': BigInteger;
   1286         '-101': BigInteger;
   1287         '-100': BigInteger;
   1288         '-99': BigInteger;
   1289         '-98': BigInteger;
   1290         '-97': BigInteger;
   1291         '-96': BigInteger;
   1292         '-95': BigInteger;
   1293         '-94': BigInteger;
   1294         '-93': BigInteger;
   1295         '-92': BigInteger;
   1296         '-91': BigInteger;
   1297         '-90': BigInteger;
   1298         '-89': BigInteger;
   1299         '-88': BigInteger;
   1300         '-87': BigInteger;
   1301         '-86': BigInteger;
   1302         '-85': BigInteger;
   1303         '-84': BigInteger;
   1304         '-83': BigInteger;
   1305         '-82': BigInteger;
   1306         '-81': BigInteger;
   1307         '-80': BigInteger;
   1308         '-79': BigInteger;
   1309         '-78': BigInteger;
   1310         '-77': BigInteger;
   1311         '-76': BigInteger;
   1312         '-75': BigInteger;
   1313         '-74': BigInteger;
   1314         '-73': BigInteger;
   1315         '-72': BigInteger;
   1316         '-71': BigInteger;
   1317         '-70': BigInteger;
   1318         '-69': BigInteger;
   1319         '-68': BigInteger;
   1320         '-67': BigInteger;
   1321         '-66': BigInteger;
   1322         '-65': BigInteger;
   1323         '-64': BigInteger;
   1324         '-63': BigInteger;
   1325         '-62': BigInteger;
   1326         '-61': BigInteger;
   1327         '-60': BigInteger;
   1328         '-59': BigInteger;
   1329         '-58': BigInteger;
   1330         '-57': BigInteger;
   1331         '-56': BigInteger;
   1332         '-55': BigInteger;
   1333         '-54': BigInteger;
   1334         '-53': BigInteger;
   1335         '-52': BigInteger;
   1336         '-51': BigInteger;
   1337         '-50': BigInteger;
   1338         '-49': BigInteger;
   1339         '-48': BigInteger;
   1340         '-47': BigInteger;
   1341         '-46': BigInteger;
   1342         '-45': BigInteger;
   1343         '-44': BigInteger;
   1344         '-43': BigInteger;
   1345         '-42': BigInteger;
   1346         '-41': BigInteger;
   1347         '-40': BigInteger;
   1348         '-39': BigInteger;
   1349         '-38': BigInteger;
   1350         '-37': BigInteger;
   1351         '-36': BigInteger;
   1352         '-35': BigInteger;
   1353         '-34': BigInteger;
   1354         '-33': BigInteger;
   1355         '-32': BigInteger;
   1356         '-31': BigInteger;
   1357         '-30': BigInteger;
   1358         '-29': BigInteger;
   1359         '-28': BigInteger;
   1360         '-27': BigInteger;
   1361         '-26': BigInteger;
   1362         '-25': BigInteger;
   1363         '-24': BigInteger;
   1364         '-23': BigInteger;
   1365         '-22': BigInteger;
   1366         '-21': BigInteger;
   1367         '-20': BigInteger;
   1368         '-19': BigInteger;
   1369         '-18': BigInteger;
   1370         '-17': BigInteger;
   1371         '-16': BigInteger;
   1372         '-15': BigInteger;
   1373         '-14': BigInteger;
   1374         '-13': BigInteger;
   1375         '-12': BigInteger;
   1376         '-11': BigInteger;
   1377         '-10': BigInteger;
   1378         '-9': BigInteger;
   1379         '-8': BigInteger;
   1380         '-7': BigInteger;
   1381         '-6': BigInteger;
   1382         '-5': BigInteger;
   1383         '-4': BigInteger;
   1384         '-3': BigInteger;
   1385         '-2': BigInteger;
   1386         '-1': BigInteger;
   1387         '0': BigInteger;
   1388         '1': BigInteger;
   1389         '2': BigInteger;
   1390         '3': BigInteger;
   1391         '4': BigInteger;
   1392         '5': BigInteger;
   1393         '6': BigInteger;
   1394         '7': BigInteger;
   1395         '8': BigInteger;
   1396         '9': BigInteger;
   1397         '10': BigInteger;
   1398         '11': BigInteger;
   1399         '12': BigInteger;
   1400         '13': BigInteger;
   1401         '14': BigInteger;
   1402         '15': BigInteger;
   1403         '16': BigInteger;
   1404         '17': BigInteger;
   1405         '18': BigInteger;
   1406         '19': BigInteger;
   1407         '20': BigInteger;
   1408         '21': BigInteger;
   1409         '22': BigInteger;
   1410         '23': BigInteger;
   1411         '24': BigInteger;
   1412         '25': BigInteger;
   1413         '26': BigInteger;
   1414         '27': BigInteger;
   1415         '28': BigInteger;
   1416         '29': BigInteger;
   1417         '30': BigInteger;
   1418         '31': BigInteger;
   1419         '32': BigInteger;
   1420         '33': BigInteger;
   1421         '34': BigInteger;
   1422         '35': BigInteger;
   1423         '36': BigInteger;
   1424         '37': BigInteger;
   1425         '38': BigInteger;
   1426         '39': BigInteger;
   1427         '40': BigInteger;
   1428         '41': BigInteger;
   1429         '42': BigInteger;
   1430         '43': BigInteger;
   1431         '44': BigInteger;
   1432         '45': BigInteger;
   1433         '46': BigInteger;
   1434         '47': BigInteger;
   1435         '48': BigInteger;
   1436         '49': BigInteger;
   1437         '50': BigInteger;
   1438         '51': BigInteger;
   1439         '52': BigInteger;
   1440         '53': BigInteger;
   1441         '54': BigInteger;
   1442         '55': BigInteger;
   1443         '56': BigInteger;
   1444         '57': BigInteger;
   1445         '58': BigInteger;
   1446         '59': BigInteger;
   1447         '60': BigInteger;
   1448         '61': BigInteger;
   1449         '62': BigInteger;
   1450         '63': BigInteger;
   1451         '64': BigInteger;
   1452         '65': BigInteger;
   1453         '66': BigInteger;
   1454         '67': BigInteger;
   1455         '68': BigInteger;
   1456         '69': BigInteger;
   1457         '70': BigInteger;
   1458         '71': BigInteger;
   1459         '72': BigInteger;
   1460         '73': BigInteger;
   1461         '74': BigInteger;
   1462         '75': BigInteger;
   1463         '76': BigInteger;
   1464         '77': BigInteger;
   1465         '78': BigInteger;
   1466         '79': BigInteger;
   1467         '80': BigInteger;
   1468         '81': BigInteger;
   1469         '82': BigInteger;
   1470         '83': BigInteger;
   1471         '84': BigInteger;
   1472         '85': BigInteger;
   1473         '86': BigInteger;
   1474         '87': BigInteger;
   1475         '88': BigInteger;
   1476         '89': BigInteger;
   1477         '90': BigInteger;
   1478         '91': BigInteger;
   1479         '92': BigInteger;
   1480         '93': BigInteger;
   1481         '94': BigInteger;
   1482         '95': BigInteger;
   1483         '96': BigInteger;
   1484         '97': BigInteger;
   1485         '98': BigInteger;
   1486         '99': BigInteger;
   1487         '100': BigInteger;
   1488         '101': BigInteger;
   1489         '102': BigInteger;
   1490         '103': BigInteger;
   1491         '104': BigInteger;
   1492         '105': BigInteger;
   1493         '106': BigInteger;
   1494         '107': BigInteger;
   1495         '108': BigInteger;
   1496         '109': BigInteger;
   1497         '110': BigInteger;
   1498         '111': BigInteger;
   1499         '112': BigInteger;
   1500         '113': BigInteger;
   1501         '114': BigInteger;
   1502         '115': BigInteger;
   1503         '116': BigInteger;
   1504         '117': BigInteger;
   1505         '118': BigInteger;
   1506         '119': BigInteger;
   1507         '120': BigInteger;
   1508         '121': BigInteger;
   1509         '122': BigInteger;
   1510         '123': BigInteger;
   1511         '124': BigInteger;
   1512         '125': BigInteger;
   1513         '126': BigInteger;
   1514         '127': BigInteger;
   1515         '128': BigInteger;
   1516         '129': BigInteger;
   1517         '130': BigInteger;
   1518         '131': BigInteger;
   1519         '132': BigInteger;
   1520         '133': BigInteger;
   1521         '134': BigInteger;
   1522         '135': BigInteger;
   1523         '136': BigInteger;
   1524         '137': BigInteger;
   1525         '138': BigInteger;
   1526         '139': BigInteger;
   1527         '140': BigInteger;
   1528         '141': BigInteger;
   1529         '142': BigInteger;
   1530         '143': BigInteger;
   1531         '144': BigInteger;
   1532         '145': BigInteger;
   1533         '146': BigInteger;
   1534         '147': BigInteger;
   1535         '148': BigInteger;
   1536         '149': BigInteger;
   1537         '150': BigInteger;
   1538         '151': BigInteger;
   1539         '152': BigInteger;
   1540         '153': BigInteger;
   1541         '154': BigInteger;
   1542         '155': BigInteger;
   1543         '156': BigInteger;
   1544         '157': BigInteger;
   1545         '158': BigInteger;
   1546         '159': BigInteger;
   1547         '160': BigInteger;
   1548         '161': BigInteger;
   1549         '162': BigInteger;
   1550         '163': BigInteger;
   1551         '164': BigInteger;
   1552         '165': BigInteger;
   1553         '166': BigInteger;
   1554         '167': BigInteger;
   1555         '168': BigInteger;
   1556         '169': BigInteger;
   1557         '170': BigInteger;
   1558         '171': BigInteger;
   1559         '172': BigInteger;
   1560         '173': BigInteger;
   1561         '174': BigInteger;
   1562         '175': BigInteger;
   1563         '176': BigInteger;
   1564         '177': BigInteger;
   1565         '178': BigInteger;
   1566         '179': BigInteger;
   1567         '180': BigInteger;
   1568         '181': BigInteger;
   1569         '182': BigInteger;
   1570         '183': BigInteger;
   1571         '184': BigInteger;
   1572         '185': BigInteger;
   1573         '186': BigInteger;
   1574         '187': BigInteger;
   1575         '188': BigInteger;
   1576         '189': BigInteger;
   1577         '190': BigInteger;
   1578         '191': BigInteger;
   1579         '192': BigInteger;
   1580         '193': BigInteger;
   1581         '194': BigInteger;
   1582         '195': BigInteger;
   1583         '196': BigInteger;
   1584         '197': BigInteger;
   1585         '198': BigInteger;
   1586         '199': BigInteger;
   1587         '200': BigInteger;
   1588         '201': BigInteger;
   1589         '202': BigInteger;
   1590         '203': BigInteger;
   1591         '204': BigInteger;
   1592         '205': BigInteger;
   1593         '206': BigInteger;
   1594         '207': BigInteger;
   1595         '208': BigInteger;
   1596         '209': BigInteger;
   1597         '210': BigInteger;
   1598         '211': BigInteger;
   1599         '212': BigInteger;
   1600         '213': BigInteger;
   1601         '214': BigInteger;
   1602         '215': BigInteger;
   1603         '216': BigInteger;
   1604         '217': BigInteger;
   1605         '218': BigInteger;
   1606         '219': BigInteger;
   1607         '220': BigInteger;
   1608         '221': BigInteger;
   1609         '222': BigInteger;
   1610         '223': BigInteger;
   1611         '224': BigInteger;
   1612         '225': BigInteger;
   1613         '226': BigInteger;
   1614         '227': BigInteger;
   1615         '228': BigInteger;
   1616         '229': BigInteger;
   1617         '230': BigInteger;
   1618         '231': BigInteger;
   1619         '232': BigInteger;
   1620         '233': BigInteger;
   1621         '234': BigInteger;
   1622         '235': BigInteger;
   1623         '236': BigInteger;
   1624         '237': BigInteger;
   1625         '238': BigInteger;
   1626         '239': BigInteger;
   1627         '240': BigInteger;
   1628         '241': BigInteger;
   1629         '242': BigInteger;
   1630         '243': BigInteger;
   1631         '244': BigInteger;
   1632         '245': BigInteger;
   1633         '246': BigInteger;
   1634         '247': BigInteger;
   1635         '248': BigInteger;
   1636         '249': BigInteger;
   1637         '250': BigInteger;
   1638         '251': BigInteger;
   1639         '252': BigInteger;
   1640         '253': BigInteger;
   1641         '254': BigInteger;
   1642         '255': BigInteger;
   1643         '256': BigInteger;
   1644         '257': BigInteger;
   1645         '258': BigInteger;
   1646         '259': BigInteger;
   1647         '260': BigInteger;
   1648         '261': BigInteger;
   1649         '262': BigInteger;
   1650         '263': BigInteger;
   1651         '264': BigInteger;
   1652         '265': BigInteger;
   1653         '266': BigInteger;
   1654         '267': BigInteger;
   1655         '268': BigInteger;
   1656         '269': BigInteger;
   1657         '270': BigInteger;
   1658         '271': BigInteger;
   1659         '272': BigInteger;
   1660         '273': BigInteger;
   1661         '274': BigInteger;
   1662         '275': BigInteger;
   1663         '276': BigInteger;
   1664         '277': BigInteger;
   1665         '278': BigInteger;
   1666         '279': BigInteger;
   1667         '280': BigInteger;
   1668         '281': BigInteger;
   1669         '282': BigInteger;
   1670         '283': BigInteger;
   1671         '284': BigInteger;
   1672         '285': BigInteger;
   1673         '286': BigInteger;
   1674         '287': BigInteger;
   1675         '288': BigInteger;
   1676         '289': BigInteger;
   1677         '290': BigInteger;
   1678         '291': BigInteger;
   1679         '292': BigInteger;
   1680         '293': BigInteger;
   1681         '294': BigInteger;
   1682         '295': BigInteger;
   1683         '296': BigInteger;
   1684         '297': BigInteger;
   1685         '298': BigInteger;
   1686         '299': BigInteger;
   1687         '300': BigInteger;
   1688         '301': BigInteger;
   1689         '302': BigInteger;
   1690         '303': BigInteger;
   1691         '304': BigInteger;
   1692         '305': BigInteger;
   1693         '306': BigInteger;
   1694         '307': BigInteger;
   1695         '308': BigInteger;
   1696         '309': BigInteger;
   1697         '310': BigInteger;
   1698         '311': BigInteger;
   1699         '312': BigInteger;
   1700         '313': BigInteger;
   1701         '314': BigInteger;
   1702         '315': BigInteger;
   1703         '316': BigInteger;
   1704         '317': BigInteger;
   1705         '318': BigInteger;
   1706         '319': BigInteger;
   1707         '320': BigInteger;
   1708         '321': BigInteger;
   1709         '322': BigInteger;
   1710         '323': BigInteger;
   1711         '324': BigInteger;
   1712         '325': BigInteger;
   1713         '326': BigInteger;
   1714         '327': BigInteger;
   1715         '328': BigInteger;
   1716         '329': BigInteger;
   1717         '330': BigInteger;
   1718         '331': BigInteger;
   1719         '332': BigInteger;
   1720         '333': BigInteger;
   1721         '334': BigInteger;
   1722         '335': BigInteger;
   1723         '336': BigInteger;
   1724         '337': BigInteger;
   1725         '338': BigInteger;
   1726         '339': BigInteger;
   1727         '340': BigInteger;
   1728         '341': BigInteger;
   1729         '342': BigInteger;
   1730         '343': BigInteger;
   1731         '344': BigInteger;
   1732         '345': BigInteger;
   1733         '346': BigInteger;
   1734         '347': BigInteger;
   1735         '348': BigInteger;
   1736         '349': BigInteger;
   1737         '350': BigInteger;
   1738         '351': BigInteger;
   1739         '352': BigInteger;
   1740         '353': BigInteger;
   1741         '354': BigInteger;
   1742         '355': BigInteger;
   1743         '356': BigInteger;
   1744         '357': BigInteger;
   1745         '358': BigInteger;
   1746         '359': BigInteger;
   1747         '360': BigInteger;
   1748         '361': BigInteger;
   1749         '362': BigInteger;
   1750         '363': BigInteger;
   1751         '364': BigInteger;
   1752         '365': BigInteger;
   1753         '366': BigInteger;
   1754         '367': BigInteger;
   1755         '368': BigInteger;
   1756         '369': BigInteger;
   1757         '370': BigInteger;
   1758         '371': BigInteger;
   1759         '372': BigInteger;
   1760         '373': BigInteger;
   1761         '374': BigInteger;
   1762         '375': BigInteger;
   1763         '376': BigInteger;
   1764         '377': BigInteger;
   1765         '378': BigInteger;
   1766         '379': BigInteger;
   1767         '380': BigInteger;
   1768         '381': BigInteger;
   1769         '382': BigInteger;
   1770         '383': BigInteger;
   1771         '384': BigInteger;
   1772         '385': BigInteger;
   1773         '386': BigInteger;
   1774         '387': BigInteger;
   1775         '388': BigInteger;
   1776         '389': BigInteger;
   1777         '390': BigInteger;
   1778         '391': BigInteger;
   1779         '392': BigInteger;
   1780         '393': BigInteger;
   1781         '394': BigInteger;
   1782         '395': BigInteger;
   1783         '396': BigInteger;
   1784         '397': BigInteger;
   1785         '398': BigInteger;
   1786         '399': BigInteger;
   1787         '400': BigInteger;
   1788         '401': BigInteger;
   1789         '402': BigInteger;
   1790         '403': BigInteger;
   1791         '404': BigInteger;
   1792         '405': BigInteger;
   1793         '406': BigInteger;
   1794         '407': BigInteger;
   1795         '408': BigInteger;
   1796         '409': BigInteger;
   1797         '410': BigInteger;
   1798         '411': BigInteger;
   1799         '412': BigInteger;
   1800         '413': BigInteger;
   1801         '414': BigInteger;
   1802         '415': BigInteger;
   1803         '416': BigInteger;
   1804         '417': BigInteger;
   1805         '418': BigInteger;
   1806         '419': BigInteger;
   1807         '420': BigInteger;
   1808         '421': BigInteger;
   1809         '422': BigInteger;
   1810         '423': BigInteger;
   1811         '424': BigInteger;
   1812         '425': BigInteger;
   1813         '426': BigInteger;
   1814         '427': BigInteger;
   1815         '428': BigInteger;
   1816         '429': BigInteger;
   1817         '430': BigInteger;
   1818         '431': BigInteger;
   1819         '432': BigInteger;
   1820         '433': BigInteger;
   1821         '434': BigInteger;
   1822         '435': BigInteger;
   1823         '436': BigInteger;
   1824         '437': BigInteger;
   1825         '438': BigInteger;
   1826         '439': BigInteger;
   1827         '440': BigInteger;
   1828         '441': BigInteger;
   1829         '442': BigInteger;
   1830         '443': BigInteger;
   1831         '444': BigInteger;
   1832         '445': BigInteger;
   1833         '446': BigInteger;
   1834         '447': BigInteger;
   1835         '448': BigInteger;
   1836         '449': BigInteger;
   1837         '450': BigInteger;
   1838         '451': BigInteger;
   1839         '452': BigInteger;
   1840         '453': BigInteger;
   1841         '454': BigInteger;
   1842         '455': BigInteger;
   1843         '456': BigInteger;
   1844         '457': BigInteger;
   1845         '458': BigInteger;
   1846         '459': BigInteger;
   1847         '460': BigInteger;
   1848         '461': BigInteger;
   1849         '462': BigInteger;
   1850         '463': BigInteger;
   1851         '464': BigInteger;
   1852         '465': BigInteger;
   1853         '466': BigInteger;
   1854         '467': BigInteger;
   1855         '468': BigInteger;
   1856         '469': BigInteger;
   1857         '470': BigInteger;
   1858         '471': BigInteger;
   1859         '472': BigInteger;
   1860         '473': BigInteger;
   1861         '474': BigInteger;
   1862         '475': BigInteger;
   1863         '476': BigInteger;
   1864         '477': BigInteger;
   1865         '478': BigInteger;
   1866         '479': BigInteger;
   1867         '480': BigInteger;
   1868         '481': BigInteger;
   1869         '482': BigInteger;
   1870         '483': BigInteger;
   1871         '484': BigInteger;
   1872         '485': BigInteger;
   1873         '486': BigInteger;
   1874         '487': BigInteger;
   1875         '488': BigInteger;
   1876         '489': BigInteger;
   1877         '490': BigInteger;
   1878         '491': BigInteger;
   1879         '492': BigInteger;
   1880         '493': BigInteger;
   1881         '494': BigInteger;
   1882         '495': BigInteger;
   1883         '496': BigInteger;
   1884         '497': BigInteger;
   1885         '498': BigInteger;
   1886         '499': BigInteger;
   1887         '500': BigInteger;
   1888         '501': BigInteger;
   1889         '502': BigInteger;
   1890         '503': BigInteger;
   1891         '504': BigInteger;
   1892         '505': BigInteger;
   1893         '506': BigInteger;
   1894         '507': BigInteger;
   1895         '508': BigInteger;
   1896         '509': BigInteger;
   1897         '510': BigInteger;
   1898         '511': BigInteger;
   1899         '512': BigInteger;
   1900         '513': BigInteger;
   1901         '514': BigInteger;
   1902         '515': BigInteger;
   1903         '516': BigInteger;
   1904         '517': BigInteger;
   1905         '518': BigInteger;
   1906         '519': BigInteger;
   1907         '520': BigInteger;
   1908         '521': BigInteger;
   1909         '522': BigInteger;
   1910         '523': BigInteger;
   1911         '524': BigInteger;
   1912         '525': BigInteger;
   1913         '526': BigInteger;
   1914         '527': BigInteger;
   1915         '528': BigInteger;
   1916         '529': BigInteger;
   1917         '530': BigInteger;
   1918         '531': BigInteger;
   1919         '532': BigInteger;
   1920         '533': BigInteger;
   1921         '534': BigInteger;
   1922         '535': BigInteger;
   1923         '536': BigInteger;
   1924         '537': BigInteger;
   1925         '538': BigInteger;
   1926         '539': BigInteger;
   1927         '540': BigInteger;
   1928         '541': BigInteger;
   1929         '542': BigInteger;
   1930         '543': BigInteger;
   1931         '544': BigInteger;
   1932         '545': BigInteger;
   1933         '546': BigInteger;
   1934         '547': BigInteger;
   1935         '548': BigInteger;
   1936         '549': BigInteger;
   1937         '550': BigInteger;
   1938         '551': BigInteger;
   1939         '552': BigInteger;
   1940         '553': BigInteger;
   1941         '554': BigInteger;
   1942         '555': BigInteger;
   1943         '556': BigInteger;
   1944         '557': BigInteger;
   1945         '558': BigInteger;
   1946         '559': BigInteger;
   1947         '560': BigInteger;
   1948         '561': BigInteger;
   1949         '562': BigInteger;
   1950         '563': BigInteger;
   1951         '564': BigInteger;
   1952         '565': BigInteger;
   1953         '566': BigInteger;
   1954         '567': BigInteger;
   1955         '568': BigInteger;
   1956         '569': BigInteger;
   1957         '570': BigInteger;
   1958         '571': BigInteger;
   1959         '572': BigInteger;
   1960         '573': BigInteger;
   1961         '574': BigInteger;
   1962         '575': BigInteger;
   1963         '576': BigInteger;
   1964         '577': BigInteger;
   1965         '578': BigInteger;
   1966         '579': BigInteger;
   1967         '580': BigInteger;
   1968         '581': BigInteger;
   1969         '582': BigInteger;
   1970         '583': BigInteger;
   1971         '584': BigInteger;
   1972         '585': BigInteger;
   1973         '586': BigInteger;
   1974         '587': BigInteger;
   1975         '588': BigInteger;
   1976         '589': BigInteger;
   1977         '590': BigInteger;
   1978         '591': BigInteger;
   1979         '592': BigInteger;
   1980         '593': BigInteger;
   1981         '594': BigInteger;
   1982         '595': BigInteger;
   1983         '596': BigInteger;
   1984         '597': BigInteger;
   1985         '598': BigInteger;
   1986         '599': BigInteger;
   1987         '600': BigInteger;
   1988         '601': BigInteger;
   1989         '602': BigInteger;
   1990         '603': BigInteger;
   1991         '604': BigInteger;
   1992         '605': BigInteger;
   1993         '606': BigInteger;
   1994         '607': BigInteger;
   1995         '608': BigInteger;
   1996         '609': BigInteger;
   1997         '610': BigInteger;
   1998         '611': BigInteger;
   1999         '612': BigInteger;
   2000         '613': BigInteger;
   2001         '614': BigInteger;
   2002         '615': BigInteger;
   2003         '616': BigInteger;
   2004         '617': BigInteger;
   2005         '618': BigInteger;
   2006         '619': BigInteger;
   2007         '620': BigInteger;
   2008         '621': BigInteger;
   2009         '622': BigInteger;
   2010         '623': BigInteger;
   2011         '624': BigInteger;
   2012         '625': BigInteger;
   2013         '626': BigInteger;
   2014         '627': BigInteger;
   2015         '628': BigInteger;
   2016         '629': BigInteger;
   2017         '630': BigInteger;
   2018         '631': BigInteger;
   2019         '632': BigInteger;
   2020         '633': BigInteger;
   2021         '634': BigInteger;
   2022         '635': BigInteger;
   2023         '636': BigInteger;
   2024         '637': BigInteger;
   2025         '638': BigInteger;
   2026         '639': BigInteger;
   2027         '640': BigInteger;
   2028         '641': BigInteger;
   2029         '642': BigInteger;
   2030         '643': BigInteger;
   2031         '644': BigInteger;
   2032         '645': BigInteger;
   2033         '646': BigInteger;
   2034         '647': BigInteger;
   2035         '648': BigInteger;
   2036         '649': BigInteger;
   2037         '650': BigInteger;
   2038         '651': BigInteger;
   2039         '652': BigInteger;
   2040         '653': BigInteger;
   2041         '654': BigInteger;
   2042         '655': BigInteger;
   2043         '656': BigInteger;
   2044         '657': BigInteger;
   2045         '658': BigInteger;
   2046         '659': BigInteger;
   2047         '660': BigInteger;
   2048         '661': BigInteger;
   2049         '662': BigInteger;
   2050         '663': BigInteger;
   2051         '664': BigInteger;
   2052         '665': BigInteger;
   2053         '666': BigInteger;
   2054         '667': BigInteger;
   2055         '668': BigInteger;
   2056         '669': BigInteger;
   2057         '670': BigInteger;
   2058         '671': BigInteger;
   2059         '672': BigInteger;
   2060         '673': BigInteger;
   2061         '674': BigInteger;
   2062         '675': BigInteger;
   2063         '676': BigInteger;
   2064         '677': BigInteger;
   2065         '678': BigInteger;
   2066         '679': BigInteger;
   2067         '680': BigInteger;
   2068         '681': BigInteger;
   2069         '682': BigInteger;
   2070         '683': BigInteger;
   2071         '684': BigInteger;
   2072         '685': BigInteger;
   2073         '686': BigInteger;
   2074         '687': BigInteger;
   2075         '688': BigInteger;
   2076         '689': BigInteger;
   2077         '690': BigInteger;
   2078         '691': BigInteger;
   2079         '692': BigInteger;
   2080         '693': BigInteger;
   2081         '694': BigInteger;
   2082         '695': BigInteger;
   2083         '696': BigInteger;
   2084         '697': BigInteger;
   2085         '698': BigInteger;
   2086         '699': BigInteger;
   2087         '700': BigInteger;
   2088         '701': BigInteger;
   2089         '702': BigInteger;
   2090         '703': BigInteger;
   2091         '704': BigInteger;
   2092         '705': BigInteger;
   2093         '706': BigInteger;
   2094         '707': BigInteger;
   2095         '708': BigInteger;
   2096         '709': BigInteger;
   2097         '710': BigInteger;
   2098         '711': BigInteger;
   2099         '712': BigInteger;
   2100         '713': BigInteger;
   2101         '714': BigInteger;
   2102         '715': BigInteger;
   2103         '716': BigInteger;
   2104         '717': BigInteger;
   2105         '718': BigInteger;
   2106         '719': BigInteger;
   2107         '720': BigInteger;
   2108         '721': BigInteger;
   2109         '722': BigInteger;
   2110         '723': BigInteger;
   2111         '724': BigInteger;
   2112         '725': BigInteger;
   2113         '726': BigInteger;
   2114         '727': BigInteger;
   2115         '728': BigInteger;
   2116         '729': BigInteger;
   2117         '730': BigInteger;
   2118         '731': BigInteger;
   2119         '732': BigInteger;
   2120         '733': BigInteger;
   2121         '734': BigInteger;
   2122         '735': BigInteger;
   2123         '736': BigInteger;
   2124         '737': BigInteger;
   2125         '738': BigInteger;
   2126         '739': BigInteger;
   2127         '740': BigInteger;
   2128         '741': BigInteger;
   2129         '742': BigInteger;
   2130         '743': BigInteger;
   2131         '744': BigInteger;
   2132         '745': BigInteger;
   2133         '746': BigInteger;
   2134         '747': BigInteger;
   2135         '748': BigInteger;
   2136         '749': BigInteger;
   2137         '750': BigInteger;
   2138         '751': BigInteger;
   2139         '752': BigInteger;
   2140         '753': BigInteger;
   2141         '754': BigInteger;
   2142         '755': BigInteger;
   2143         '756': BigInteger;
   2144         '757': BigInteger;
   2145         '758': BigInteger;
   2146         '759': BigInteger;
   2147         '760': BigInteger;
   2148         '761': BigInteger;
   2149         '762': BigInteger;
   2150         '763': BigInteger;
   2151         '764': BigInteger;
   2152         '765': BigInteger;
   2153         '766': BigInteger;
   2154         '767': BigInteger;
   2155         '768': BigInteger;
   2156         '769': BigInteger;
   2157         '770': BigInteger;
   2158         '771': BigInteger;
   2159         '772': BigInteger;
   2160         '773': BigInteger;
   2161         '774': BigInteger;
   2162         '775': BigInteger;
   2163         '776': BigInteger;
   2164         '777': BigInteger;
   2165         '778': BigInteger;
   2166         '779': BigInteger;
   2167         '780': BigInteger;
   2168         '781': BigInteger;
   2169         '782': BigInteger;
   2170         '783': BigInteger;
   2171         '784': BigInteger;
   2172         '785': BigInteger;
   2173         '786': BigInteger;
   2174         '787': BigInteger;
   2175         '788': BigInteger;
   2176         '789': BigInteger;
   2177         '790': BigInteger;
   2178         '791': BigInteger;
   2179         '792': BigInteger;
   2180         '793': BigInteger;
   2181         '794': BigInteger;
   2182         '795': BigInteger;
   2183         '796': BigInteger;
   2184         '797': BigInteger;
   2185         '798': BigInteger;
   2186         '799': BigInteger;
   2187         '800': BigInteger;
   2188         '801': BigInteger;
   2189         '802': BigInteger;
   2190         '803': BigInteger;
   2191         '804': BigInteger;
   2192         '805': BigInteger;
   2193         '806': BigInteger;
   2194         '807': BigInteger;
   2195         '808': BigInteger;
   2196         '809': BigInteger;
   2197         '810': BigInteger;
   2198         '811': BigInteger;
   2199         '812': BigInteger;
   2200         '813': BigInteger;
   2201         '814': BigInteger;
   2202         '815': BigInteger;
   2203         '816': BigInteger;
   2204         '817': BigInteger;
   2205         '818': BigInteger;
   2206         '819': BigInteger;
   2207         '820': BigInteger;
   2208         '821': BigInteger;
   2209         '822': BigInteger;
   2210         '823': BigInteger;
   2211         '824': BigInteger;
   2212         '825': BigInteger;
   2213         '826': BigInteger;
   2214         '827': BigInteger;
   2215         '828': BigInteger;
   2216         '829': BigInteger;
   2217         '830': BigInteger;
   2218         '831': BigInteger;
   2219         '832': BigInteger;
   2220         '833': BigInteger;
   2221         '834': BigInteger;
   2222         '835': BigInteger;
   2223         '836': BigInteger;
   2224         '837': BigInteger;
   2225         '838': BigInteger;
   2226         '839': BigInteger;
   2227         '840': BigInteger;
   2228         '841': BigInteger;
   2229         '842': BigInteger;
   2230         '843': BigInteger;
   2231         '844': BigInteger;
   2232         '845': BigInteger;
   2233         '846': BigInteger;
   2234         '847': BigInteger;
   2235         '848': BigInteger;
   2236         '849': BigInteger;
   2237         '850': BigInteger;
   2238         '851': BigInteger;
   2239         '852': BigInteger;
   2240         '853': BigInteger;
   2241         '854': BigInteger;
   2242         '855': BigInteger;
   2243         '856': BigInteger;
   2244         '857': BigInteger;
   2245         '858': BigInteger;
   2246         '859': BigInteger;
   2247         '860': BigInteger;
   2248         '861': BigInteger;
   2249         '862': BigInteger;
   2250         '863': BigInteger;
   2251         '864': BigInteger;
   2252         '865': BigInteger;
   2253         '866': BigInteger;
   2254         '867': BigInteger;
   2255         '868': BigInteger;
   2256         '869': BigInteger;
   2257         '870': BigInteger;
   2258         '871': BigInteger;
   2259         '872': BigInteger;
   2260         '873': BigInteger;
   2261         '874': BigInteger;
   2262         '875': BigInteger;
   2263         '876': BigInteger;
   2264         '877': BigInteger;
   2265         '878': BigInteger;
   2266         '879': BigInteger;
   2267         '880': BigInteger;
   2268         '881': BigInteger;
   2269         '882': BigInteger;
   2270         '883': BigInteger;
   2271         '884': BigInteger;
   2272         '885': BigInteger;
   2273         '886': BigInteger;
   2274         '887': BigInteger;
   2275         '888': BigInteger;
   2276         '889': BigInteger;
   2277         '890': BigInteger;
   2278         '891': BigInteger;
   2279         '892': BigInteger;
   2280         '893': BigInteger;
   2281         '894': BigInteger;
   2282         '895': BigInteger;
   2283         '896': BigInteger;
   2284         '897': BigInteger;
   2285         '898': BigInteger;
   2286         '899': BigInteger;
   2287         '900': BigInteger;
   2288         '901': BigInteger;
   2289         '902': BigInteger;
   2290         '903': BigInteger;
   2291         '904': BigInteger;
   2292         '905': BigInteger;
   2293         '906': BigInteger;
   2294         '907': BigInteger;
   2295         '908': BigInteger;
   2296         '909': BigInteger;
   2297         '910': BigInteger;
   2298         '911': BigInteger;
   2299         '912': BigInteger;
   2300         '913': BigInteger;
   2301         '914': BigInteger;
   2302         '915': BigInteger;
   2303         '916': BigInteger;
   2304         '917': BigInteger;
   2305         '918': BigInteger;
   2306         '919': BigInteger;
   2307         '920': BigInteger;
   2308         '921': BigInteger;
   2309         '922': BigInteger;
   2310         '923': BigInteger;
   2311         '924': BigInteger;
   2312         '925': BigInteger;
   2313         '926': BigInteger;
   2314         '927': BigInteger;
   2315         '928': BigInteger;
   2316         '929': BigInteger;
   2317         '930': BigInteger;
   2318         '931': BigInteger;
   2319         '932': BigInteger;
   2320         '933': BigInteger;
   2321         '934': BigInteger;
   2322         '935': BigInteger;
   2323         '936': BigInteger;
   2324         '937': BigInteger;
   2325         '938': BigInteger;
   2326         '939': BigInteger;
   2327         '940': BigInteger;
   2328         '941': BigInteger;
   2329         '942': BigInteger;
   2330         '943': BigInteger;
   2331         '944': BigInteger;
   2332         '945': BigInteger;
   2333         '946': BigInteger;
   2334         '947': BigInteger;
   2335         '948': BigInteger;
   2336         '949': BigInteger;
   2337         '950': BigInteger;
   2338         '951': BigInteger;
   2339         '952': BigInteger;
   2340         '953': BigInteger;
   2341         '954': BigInteger;
   2342         '955': BigInteger;
   2343         '956': BigInteger;
   2344         '957': BigInteger;
   2345         '958': BigInteger;
   2346         '959': BigInteger;
   2347         '960': BigInteger;
   2348         '961': BigInteger;
   2349         '962': BigInteger;
   2350         '963': BigInteger;
   2351         '964': BigInteger;
   2352         '965': BigInteger;
   2353         '966': BigInteger;
   2354         '967': BigInteger;
   2355         '968': BigInteger;
   2356         '969': BigInteger;
   2357         '970': BigInteger;
   2358         '971': BigInteger;
   2359         '972': BigInteger;
   2360         '973': BigInteger;
   2361         '974': BigInteger;
   2362         '975': BigInteger;
   2363         '976': BigInteger;
   2364         '977': BigInteger;
   2365         '978': BigInteger;
   2366         '979': BigInteger;
   2367         '980': BigInteger;
   2368         '981': BigInteger;
   2369         '982': BigInteger;
   2370         '983': BigInteger;
   2371         '984': BigInteger;
   2372         '985': BigInteger;
   2373         '986': BigInteger;
   2374         '987': BigInteger;
   2375         '988': BigInteger;
   2376         '989': BigInteger;
   2377         '990': BigInteger;
   2378         '991': BigInteger;
   2379         '992': BigInteger;
   2380         '993': BigInteger;
   2381         '994': BigInteger;
   2382         '995': BigInteger;
   2383         '996': BigInteger;
   2384         '997': BigInteger;
   2385         '998': BigInteger;
   2386         '999': BigInteger;
   2387     }
   2388 
   2389     interface BaseArray {
   2390         value: number[],
   2391         isNegative: boolean
   2392     }
   2393 }
	time-to-botec Benchmark sampling in different programming languages
	Log \| Files \| Refs \| README