You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

BigInteger.d.ts 66KB

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