@semaphore-protocol/proof 4.12.0 → 4.13.0-beta.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/dist/index.browser.js +451 -454
  2. package/dist/index.node.cjs +451 -454
  3. package/dist/index.node.js +451 -454
  4. package/package.json +6 -6
  5. package/src/generate-proof.ts +2 -6
  6. package/src/verification-keys.json +448 -448
package/dist/index.node.cjs CHANGED
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * @module @semaphore-protocol/proof
3
- * @version 4.12.0
3
+ * @version 4.13.0-beta.0
4
4
  * @file A library to generate and verify Semaphore proofs.
5
5
  * @copyright Ethereum Foundation 2025
6
6
  * @license MIT
@@ -105,15 +105,12 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
105
105
  // If the Snark artifacts are not defined they will be automatically downloaded.
106
106
  snarkArtifacts ?? (snarkArtifacts = await artifacts.maybeGetSnarkArtifacts(artifacts.Project.SEMAPHORE, {
107
107
  parameters: [merkleTreeDepth],
108
- version: "4.0.0"
108
+ version: "4.13.0-beta.0"
109
109
  }));
110
110
  const { wasm, zkey } = snarkArtifacts;
111
- // The index must be converted to a list of indices, 1 for each tree level.
112
111
  // The missing siblings can be set to 0, as they won't be used in the circuit.
113
- const merkleProofIndices = [];
114
112
  const merkleProofSiblings = merkleProof.siblings;
115
113
  for (let i = 0; i < merkleTreeDepth; i += 1) {
116
- merkleProofIndices.push((merkleProof.index >> i) & 1);
117
114
  if (merkleProofSiblings[i] === undefined) {
118
115
  merkleProofSiblings[i] = 0n;
119
116
  }
@@ -121,7 +118,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
121
118
  const { proof, publicSignals } = await snarkjs.groth16.fullProve({
122
119
  secret: identity.secretScalar,
123
120
  merkleProofLength,
124
- merkleProofIndices,
121
+ merkleProofIndex: merkleProof.index,
125
122
  merkleProofSiblings,
126
123
  scope: hash(scope),
127
124
  message: hash(message)
@@ -175,12 +172,12 @@ var vk_gamma_2 = [
175
172
  var vk_delta_2 = [
176
173
  [
177
174
  [
178
- "15662648751553932653781975807624464121405704024803073886925976686616010387354",
179
- "18358547564487905095688479908858987846616998213156437518686067355563592118237"
175
+ "1840679495515088482960134696280801630416080790829533023994219551574413949094",
176
+ "15486443350553942911683551041605654803534212407535864903504133072835587767534"
180
177
  ],
181
178
  [
182
- "12579159544968648693964563165973893448704730885005100826654630574108054705556",
183
- "1545474538105908330267074270190095622354834966212647889547653097055078098224"
179
+ "3060364846251618669197226831844036150422983854236314835840467692756325510385",
180
+ "12760940477503196359006432908275293647896826941237091217431901661449063660172"
184
181
  ],
185
182
  [
186
183
  "1",
@@ -189,12 +186,12 @@ var vk_delta_2 = [
189
186
  ],
190
187
  [
191
188
  [
192
- "13720528004476084359207196371475762368424714925503835663451917882430924467554",
193
- "15357842752194390032830879177519514606613356943505010426726499926726016517582"
189
+ "17963145441143926394859317681236637592006618363544147407947276880484492680371",
190
+ "6261050507485637891582423513662130208217241958377043048952560311304761494073"
194
191
  ],
195
192
  [
196
- "14571933744484927053512012311263939678215066456565339237074260778179419354637",
197
- "2196656647584375999320189230399052835502476576494068012902156164580595749760"
193
+ "5929696182494897738116496406702919537010110779691475286343401163558272783232",
194
+ "9912869589312343308005251516267401329267189827995072580912106293819878081537"
198
195
  ],
199
196
  [
200
197
  "1",
@@ -203,12 +200,12 @@ var vk_delta_2 = [
203
200
  ],
204
201
  [
205
202
  [
206
- "18282758355470198230938465615400409713402004038201360061031317503584711879237",
207
- "1096090542237876305763822439899873238394525438826581012748557492836778110917"
203
+ "21255988222685192016694714308599096736615216083640173463328506136574319058027",
204
+ "6797467064093434506265328981445813111906203389978229528042315004249570187291"
208
205
  ],
209
206
  [
210
- "2920496587818605789230962034477809982324000981266163502059117507002917895757",
211
- "7973969975759518869552865162652900479072033124669141796195141770899882758383"
207
+ "21446835829275350516919007849818929203485121644490372577992835374080928795668",
208
+ "16473546891063839186038937914738277769151939813697696387906341501525849015883"
212
209
  ],
213
210
  [
214
211
  "1",
@@ -217,12 +214,12 @@ var vk_delta_2 = [
217
214
  ],
218
215
  [
219
216
  [
220
- "17529478610649635357901422564682249462969460088983393810272144503916885638629",
221
- "14033304028688398404089545751254979569049699915340551984412184456786819712695"
217
+ "16637204801923536761391570057044842644043035640764180460130457715166095033106",
218
+ "5882901503720314062955348563045917105685091052294707566015008178821393850609"
222
219
  ],
223
220
  [
224
- "7242759178038747404494096998044224993169513816067824413031492987300456908934",
225
- "968190632906420692452807865081290940343138767641492735661467959437198373032"
221
+ "10948675177553196754563751079238864166828398075686043485125001989301569053656",
222
+ "8350159108048913574286843818550556503979333900863516138248726409577275952933"
226
223
  ],
227
224
  [
228
225
  "1",
@@ -231,12 +228,12 @@ var vk_delta_2 = [
231
228
  ],
232
229
  [
233
230
  [
234
- "12964751171177929169670182425240761498461607040020835118601467328036987558858",
235
- "15740655435463241944594855735935231648684671883923953096410588018036769516770"
231
+ "8191488691269921292102428273744082989201265293972592501215090275866170397094",
232
+ "14177545904200185289716268364371848324191071228268321308456471296302337701410"
236
233
  ],
237
234
  [
238
- "6954370193053655486251406740905618458518953022289151868757271522548301919472",
239
- "21474571159868965455306627669334290549452576803823591301731326342326814568896"
235
+ "18500739249961934972396680135068441371443238780011725149073375526483108011611",
236
+ "19441343149344240170106439598347223020332978114969355685042018391569001359289"
240
237
  ],
241
238
  [
242
239
  "1",
@@ -245,12 +242,12 @@ var vk_delta_2 = [
245
242
  ],
246
243
  [
247
244
  [
248
- "18702593988046837524790351483331632258278160532977261915119611324471253407466",
249
- "16239592155161765109648123193105804251252701943901733499502441663333912783245"
245
+ "5423591608036618983491900675492330939790934080755920580574587483051755682160",
246
+ "8346498571072041806024016688930502377674815977631733826791508164913008637092"
250
247
  ],
251
248
  [
252
- "19358066347678636498093783612000296194480758342913325289131948678991962529441",
253
- "13746033878407070858115621843430829498309218839316343379025665907999784574154"
249
+ "7757008322833876393186512548378504451895428855551708811654606466345246636917",
250
+ "10400786033607895054840743117193001407671871015193390535654584543108276217299"
254
251
  ],
255
252
  [
256
253
  "1",
@@ -259,12 +256,12 @@ var vk_delta_2 = [
259
256
  ],
260
257
  [
261
258
  [
262
- "4562585331778730670899179927104513856322577370213643119870201750008533040214",
263
- "6482921272760726478838066628157548923897782117283646773208763176771446379138"
259
+ "7876022414010472450116755702597335463445258388422110145897388602333485776031",
260
+ "6954552915867644759919795365481085328920367006486888612486338930979345179539"
264
261
  ],
265
262
  [
266
- "16654459784024455427280229763380300423080811024668332509526284511491790880990",
267
- "9299549824594530154451155704400285409056448609359755927574262701418672785771"
263
+ "13855406623792865220778892253795662153312213223161973619351681417506703976435",
264
+ "18734626931994356038247709645956537740336580084792514507313260557025778195490"
268
265
  ],
269
266
  [
270
267
  "1",
@@ -273,12 +270,12 @@ var vk_delta_2 = [
273
270
  ],
274
271
  [
275
272
  [
276
- "16198597482473356107060462797493408464959815651823410647378959304462364790023",
277
- "4169753203433043290708949478342499350225971996935208104044673971132510531963"
273
+ "3404762234768338083120821975279557606914658342038412313238634752578600094005",
274
+ "21498431145572609373314251980589712869881159841893510592717170268695328885996"
278
275
  ],
279
276
  [
280
- "15996002991058741836925286413107190453488985346498046642177496721490001022163",
281
- "17831214733154720272879709021886998538183166751338990495293296921834561417050"
277
+ "918654552925826308762679164490405824774606587821101787512765143024188705418",
278
+ "21266383186436584600625000115754074925732127183392411489237572639609946259913"
282
279
  ],
283
280
  [
284
281
  "1",
@@ -287,12 +284,12 @@ var vk_delta_2 = [
287
284
  ],
288
285
  [
289
286
  [
290
- "8026613233416032931155189579997899527124867847165186585887532521124762242171",
291
- "17920452210119585965813298538098997746450528307627971419517604274103840658730"
287
+ "1105993949698345197643585097147614078527877207676560293967325946395146747492",
288
+ "14756236886995841711672680054616167637920078630372600521679948347740526367189"
292
289
  ],
293
290
  [
294
- "18354222295715868456732739635697044486544782691576216892030243636076554800619",
295
- "12536429843060624487053183271774959575059067729019923970247266906616071589989"
291
+ "5148450644039009366019642727049358502232344372810327472772792951437893101924",
292
+ "18034504812576019315479246085219615019993704166088019750279977777087667864291"
296
293
  ],
297
294
  [
298
295
  "1",
@@ -301,12 +298,12 @@ var vk_delta_2 = [
301
298
  ],
302
299
  [
303
300
  [
304
- "18343503004862189418033094393114515169584171574852422315350418500159030922263",
305
- "21420692366857794685888663542888709905237738746850069466081467001353666342965"
301
+ "10758093211916314196553200410898803929907647253670535679267346628482277508784",
302
+ "4274767232859305751954510235187140718952985628967048586853758431075806713447"
306
303
  ],
307
304
  [
308
- "15200551988732901161699976788357951085426436066677048420098461828563894176150",
309
- "16439186901063853414808045554962977634854311593865750348846556486836509716488"
305
+ "20785260462114497979933096905701121749036536060639824305461951766913183065484",
306
+ "19590587972358374264659634037202624970283292908396662177607012603751033232548"
310
307
  ],
311
308
  [
312
309
  "1",
@@ -315,12 +312,12 @@ var vk_delta_2 = [
315
312
  ],
316
313
  [
317
314
  [
318
- "1531932691795154082010331247272128035283420450879984505970978649526303671013",
319
- "8482807834840099486107357849095958421708288941420679407730439668240369271197"
315
+ "2618246148310960201430780287494848191657796965864927795042805324261941595776",
316
+ "14368097422070853236641139374863674518709488047353998784575521063650362599826"
320
317
  ],
321
318
  [
322
- "2890563104449202149521252385842115871596603958515320789619311677428773944295",
323
- "10326017741190716069982105202291613302347042236075737537452333444753171570010"
319
+ "17465285796580856733584559734299011393012845617236431364030926346508390741908",
320
+ "15771671515941157829590154651648800528771693275796569547021576985398478660110"
324
321
  ],
325
322
  [
326
323
  "1",
@@ -329,12 +326,12 @@ var vk_delta_2 = [
329
326
  ],
330
327
  [
331
328
  [
332
- "8031021217500376290269114216814836477415391402921787637085737712949651005952",
333
- "6379626794062388565530320965673584683811331210463512233691169393056454417810"
329
+ "19376794298787943849232390087598004542314301522831220597797089322704825950676",
330
+ "19737867350231456643052141125117419057327549273339868988801374953723340464858"
334
331
  ],
335
332
  [
336
- "12412675319987657724460960278402203548317535126494687402198671892291826563464",
337
- "15261959534341262089656432084966075417921918036565394975811438856221288978192"
333
+ "20215399339193667804783540498209898191836268304059798672994927365058038602478",
334
+ "5242142088838854661041169422540685544283079353176663011990899025319370130535"
338
335
  ],
339
336
  [
340
337
  "1",
@@ -343,12 +340,12 @@ var vk_delta_2 = [
343
340
  ],
344
341
  [
345
342
  [
346
- "11063658239692825381704700810385108349384459703800229121613802621026834850995",
347
- "18405974527641184935569939050199806786119735189423462681352004154947586987761"
343
+ "10085597991410778862238320724627561390056921134563571321216644036006429959317",
344
+ "488378909153995130539871579787989908747014872208439019483108896623576019563"
348
345
  ],
349
346
  [
350
- "10581036997862130058603889786198200057133900928078268413900852134308841628552",
351
- "20401912636755055463157317129314482008782101856095804626717136888886428939725"
347
+ "12021139979512226038579582171586680588100686303249024393111466802301266826355",
348
+ "15585477229248209303778943359146070057066347717059619139601910203087367223541"
352
349
  ],
353
350
  [
354
351
  "1",
@@ -357,12 +354,12 @@ var vk_delta_2 = [
357
354
  ],
358
355
  [
359
356
  [
360
- "5914749649291606384462747717764850940787906745751128721215181537027495043325",
361
- "2844460676842285471844840162496739784337096369846435331204280645139535043731"
357
+ "11151355628734028743957083817146147142246172249256020491677676102936225743879",
358
+ "6148878607887470376965106129805417413726273684274618640534372786029109289796"
362
359
  ],
363
360
  [
364
- "16679714051449621657256662882211432986285335589270632187081448168743144646010",
365
- "16403998562201315274383761287898474039980386929670468025842124690312505385798"
361
+ "12434945272614874777532638069978774849585567712897882786927171986914583466968",
362
+ "9474416119289678838731839037639543744862713157209984737041165700573998431521"
366
363
  ],
367
364
  [
368
365
  "1",
@@ -371,12 +368,12 @@ var vk_delta_2 = [
371
368
  ],
372
369
  [
373
370
  [
374
- "6360514614281299182411878013125972206098844277909449064382248671632240409416",
375
- "8019490235657930229602545685025618469913840887375206662306714562639338096359"
371
+ "10552844073840690069380727064202901822322140647994714077968192518599543852930",
372
+ "8464564410610586930413078812474653118792378911877719660304629139921145066712"
376
373
  ],
377
374
  [
378
- "8421518624327767035539667378193845962377888010421324291966623261409058898245",
379
- "18532505668867290379738328175003759079607042632729982459107375168365918757976"
375
+ "16226516620176864711410830233184614844801298451143114377985395523309022593742",
376
+ "17818349331847453633574212824968147916032901931076653220971306806330949147046"
380
377
  ],
381
378
  [
382
379
  "1",
@@ -385,12 +382,12 @@ var vk_delta_2 = [
385
382
  ],
386
383
  [
387
384
  [
388
- "11573288866341175121647407708978273297857024597782918874282176717371576773130",
389
- "20759074837657564809501685143530456377562536015816086555379080667602653298306"
385
+ "11910977660987577920210709009672561259828242996197872469075966166845503334627",
386
+ "21164034036850174698563376149201020642798017954208990003102125351412476777075"
390
387
  ],
391
388
  [
392
- "21884242265301052283286073107133504985083194336113478618838523331660374213570",
393
- "19475107603336226504587469711392819869087288902355805230614724291289122375846"
389
+ "7186394305295826405234449499478249537877862319211557131722191304883579994433",
390
+ "21562696531295689321198364269878153729193003936857975586741303012970796745578"
394
391
  ],
395
392
  [
396
393
  "1",
@@ -399,12 +396,12 @@ var vk_delta_2 = [
399
396
  ],
400
397
  [
401
398
  [
402
- "7951387307333182634684754650901435973768779794218900331714625086350726274942",
403
- "3066170574229466435407264700502616839626082070514501523679452764935485028736"
399
+ "13904651813758931218451017445595470831267096481007201862612675314124995744126",
400
+ "8978042339025226321183681103527823719764115424038453995748192129519557390146"
404
401
  ],
405
402
  [
406
- "19848381031896652139349791682530465833719275685855743122849792015759588531339",
407
- "13578824606544430966133042087468301830727811282121948825028360301706303669231"
403
+ "809388004564643029292757368379254847873608761541694935384989264132892035703",
404
+ "17262355234114547923096785351960905409284323750911279031364546115474398387121"
408
405
  ],
409
406
  [
410
407
  "1",
@@ -413,12 +410,12 @@ var vk_delta_2 = [
413
410
  ],
414
411
  [
415
412
  [
416
- "16419308144058642981524756443290703631729426627385646905142158478345164404879",
417
- "6573154341426354993599623914164155921131813615298607946435982334364383320793"
413
+ "6558345968460784390049763805784521815002217729411851946807884534886626161827",
414
+ "15354806778183050889641301855325284664554659630709644281643601998848153844571"
418
415
  ],
419
416
  [
420
- "17945712678641984649495876620223190782305382105763957622870181201252059717682",
421
- "942314767315789144256266064192022265579304275774793342260835421710673918285"
417
+ "10652535347519887395189822930821580110923839775477692334854598850786110522286",
418
+ "2676309859190934211356987871418788745173827917326435545105145194312228927932"
422
419
  ],
423
420
  [
424
421
  "1",
@@ -427,12 +424,12 @@ var vk_delta_2 = [
427
424
  ],
428
425
  [
429
426
  [
430
- "8228171988949250866347662896961764196608750080646539001443256474901139877051",
431
- "9271002136483424788269278316391606491360153732024211579417926107994995432826"
427
+ "13008837552540329669945555125267601671506850554653484764375554355475322672106",
428
+ "8747523348715201524826117893114872627100755908396555383888582540727360170319"
432
429
  ],
433
430
  [
434
- "3685474186777860155223706676482968796090983045736466861690878558020083034916",
435
- "20240081759615964816136232877050251456333669788276947762731625798225823502998"
431
+ "14362932262532115101398537266432403469835582928587937986576170126647180259741",
432
+ "19465131372243730399032288332923427749623619950649114185283141979669712929495"
436
433
  ],
437
434
  [
438
435
  "1",
@@ -441,12 +438,12 @@ var vk_delta_2 = [
441
438
  ],
442
439
  [
443
440
  [
444
- "7338708370982730261395030177227912514214944721567888714384503728042214055309",
445
- "275116175553159498718561489405169511232715998055900506709208190227728439831"
441
+ "2975819863457794540534106082026814925749683882459082630674634814231046678282",
442
+ "1412065904663760804646631258746751281043139957823114168896175727357624150645"
446
443
  ],
447
444
  [
448
- "15163443940499746648640851269666923560658903809778640616581862089179343108182",
449
- "2285508597732647746841213906783440647997136124356359059650028586535477309792"
445
+ "10923033686802973630338121076866786707847462224711293894913954604549691323801",
446
+ "206849934422338568751809463001100985482666950090899465131147354710598444538"
450
447
  ],
451
448
  [
452
449
  "1",
@@ -455,12 +452,12 @@ var vk_delta_2 = [
455
452
  ],
456
453
  [
457
454
  [
458
- "3790897889674729687102011235738708037383393765058266352188381434189575086080",
459
- "7481617454708320190331411214970150566519243590120906863698168124347483283307"
455
+ "480162992275307402138458766717022444606853487583906983174006167449133682419",
456
+ "4317513895129408767924976740121237429284819818692904643718839027869548773970"
460
457
  ],
461
458
  [
462
- "18961585057625546222763334757505522771740769338010572292783220912986926586854",
463
- "17582850308142585333519054672998882111865339708436809129995518706804527076353"
459
+ "13262405985312444078970186498849943900321195099828985533335868853505917797261",
460
+ "19557267590872423028727104631160911505052494099471912877813514632379317322657"
464
461
  ],
465
462
  [
466
463
  "1",
@@ -469,12 +466,12 @@ var vk_delta_2 = [
469
466
  ],
470
467
  [
471
468
  [
472
- "13953490152873041611053779700802518995304489998104548903919774028525032867964",
473
- "9679690373149117563754317307037586538394929348733117229177073999196519450461"
469
+ "19200202091029490813481650338657084292546203226874832156469803215063946973575",
470
+ "12618651409516638881599860197265381601712741100577015122767308286302771469104"
474
471
  ],
475
472
  [
476
- "8400619522468195192079024924375785176686244213372269992523849676384018875300",
477
- "8584860336778813488021026261425560177968889952950706471574873674510806966419"
473
+ "13007473432613827214418912494645587763317012373491741673627171326317268034534",
474
+ "18945273845839713936213998948453037377735477138716592823696094972995676430734"
478
475
  ],
479
476
  [
480
477
  "1",
@@ -483,12 +480,12 @@ var vk_delta_2 = [
483
480
  ],
484
481
  [
485
482
  [
486
- "19026513891744713045426845531420132126578554294461150386909840193098440147673",
487
- "1895928299034844696630794694609519515092896092191683631304721647222032914779"
483
+ "17952299377891129778359420358630122674578053260545009238201942962609853227533",
484
+ "14870265255248157977634180698448233317842465671871650227662529468472265683359"
488
485
  ],
489
486
  [
490
- "13362867147840304033834065229457670563442204439046527165143934160967798444725",
491
- "4073281111734161932072345995811001896063226222777392994725894652964051683943"
487
+ "189191407461654260009604931094612301596398610086477685396836246155750136562",
488
+ "5386067418603374354473699525827266843512990944993920320361025070383636700434"
492
489
  ],
493
490
  [
494
491
  "1",
@@ -497,12 +494,12 @@ var vk_delta_2 = [
497
494
  ],
498
495
  [
499
496
  [
500
- "9112140750806762434510825375931543886135367141484613422947675423683311130537",
501
- "7211419275788152379372992549185439317698375419836488104253705518694042119228"
497
+ "7087610891726263490578502968372079362079288716742836535052919882096572115198",
498
+ "19165288521822971711440427251915924348181678894949479093337606772594416971265"
502
499
  ],
503
500
  [
504
- "6961266423823329910790066424248133365666435921221127260870444632539329606224",
505
- "12020406779776320543918475257645763209221278449775176154727249143619468329590"
501
+ "20657865004359773296174749460208525471465061493425837635789590406080282338609",
502
+ "19228987677456716994631757825894461238112362003689797344518092793384553295541"
506
503
  ],
507
504
  [
508
505
  "1",
@@ -511,12 +508,12 @@ var vk_delta_2 = [
511
508
  ],
512
509
  [
513
510
  [
514
- "6590008305704976915857671866558706505394630312395969823040635040879201337002",
515
- "18803497674827878184210135371703804206276128582022416604041787392310845729622"
511
+ "17505245137434789944182452574067617224425201050484772883547997746615097371963",
512
+ "20260845133089358326399158579725156296097803473066640608103207033331068909342"
516
513
  ],
517
514
  [
518
- "16299600292583383998706243035294548578562168326056377699804434906128380481545",
519
- "2714759247406808259589803854440914533632699567907406761316959511568030744066"
515
+ "15868115020802973005975841620700532050231912684799238810660252952702704218237",
516
+ "12082907947669406274242472837750330466943195391275224099685976025246128902980"
520
517
  ],
521
518
  [
522
519
  "1",
@@ -525,12 +522,12 @@ var vk_delta_2 = [
525
522
  ],
526
523
  [
527
524
  [
528
- "8484194759795978556088297437107686617328133596604796277228418191688537911573",
529
- "9325238625126515763679853550553375879158552597544709459784109512243397955590"
525
+ "4594331941598577598221452082661621104692986523889645236013562777079638655319",
526
+ "1762609303209957157153721702583827613122834622580171126814810689806194629561"
530
527
  ],
531
528
  [
532
- "13482530129860761195447497269660263095272961608736579417124458190809007451755",
533
- "7354463117736585470843139230227589188304331389476818932256765377140053168035"
529
+ "19007526161802383641240175359461631524610614027094844238119056710952465860473",
530
+ "14715579735784199379874892648561441207917258950747011093361545780552208874693"
534
531
  ],
535
532
  [
536
533
  "1",
@@ -539,12 +536,12 @@ var vk_delta_2 = [
539
536
  ],
540
537
  [
541
538
  [
542
- "21462572925415337738214437933606587540653694853107274549824898449394152530908",
543
- "7333723286812204168407439917521565157977670700382476881790986792115201279410"
539
+ "7485179824123997523131664639381864897259996404684332258166369832135508954123",
540
+ "10881342478270369467067319723148813438375856494064738822573065156934347508822"
544
541
  ],
545
542
  [
546
- "16253055713127198337468919465234896268161918860396508551871391729457324125212",
547
- "6820993392268884858152757378169835647522978080101384568523885945756789014349"
543
+ "1601972817031337298637831812199816992312777606655728960021020683868987554195",
544
+ "2433711254943158136168851274887377479496744509610267400088629369667247665073"
548
545
  ],
549
546
  [
550
547
  "1",
@@ -553,12 +550,12 @@ var vk_delta_2 = [
553
550
  ],
554
551
  [
555
552
  [
556
- "17544563341965869668707473190805417639220912289969746146554006791986582724590",
557
- "11102327427527201346056529148642207216130990405495165914761901542247835149412"
553
+ "21876131620481968896720379035237365663921807756136462777091430341330841175471",
554
+ "2480144173739108084452448669923323345844609058471921579131898582731718778782"
558
555
  ],
559
556
  [
560
- "4999887962989142396481351641254451370620928952306237803174890583736074770292",
561
- "4470848226757772603246285686584200798638888970547659211297578619392420918858"
557
+ "12550030020755657638901767857438417129552040782399257765514449351383057408254",
558
+ "15964382790715538209630258689880413000045012534378301423602829251385956103675"
562
559
  ],
563
560
  [
564
561
  "1",
@@ -567,12 +564,12 @@ var vk_delta_2 = [
567
564
  ],
568
565
  [
569
566
  [
570
- "19811002121850954821192061183148615163420706271800817927960207430256612524059",
571
- "5314337765479745092537090978913989310916802510812096192767666377841447850226"
567
+ "9755778744571784902942024644017144092980460816683088130976096004772677749614",
568
+ "14179629833526584267078390697602180301315153315117462805592887876823172854160"
572
569
  ],
573
570
  [
574
- "3428844080448214358238191483671878854080864964895729401025193865570307658787",
575
- "18254735365473444026840717290492248863101576601864757410600437101587001057517"
571
+ "20514202086309996096362622893461701155412137905240430685043036948343951709643",
572
+ "15306529066742219394416286050483836689979166471171430146167318778106717624323"
576
573
  ],
577
574
  [
578
575
  "1",
@@ -581,12 +578,12 @@ var vk_delta_2 = [
581
578
  ],
582
579
  [
583
580
  [
584
- "11882651094700172542567008359015417490389070633573140242127755563781024148099",
585
- "4310089243116651250383251477034324245457116277666484671624575402227833925755"
581
+ "11940155625104966699871577601422782101210008500962523039290080397463046694014",
582
+ "15357955672928167071421694099421283513276146532620388613155238902840418512821"
586
583
  ],
587
584
  [
588
- "18874624159090765871635243875933482675871258293088886749847315202391523956097",
589
- "9304328383406369649010049197573360507944684656613297568584394172735340111263"
585
+ "11018911869326941748396097333962610012409367206771382235485410180078770882043",
586
+ "8653260546508437813015547420357224754812469590996139030970771427385175221270"
590
587
  ],
591
588
  [
592
589
  "1",
@@ -595,12 +592,12 @@ var vk_delta_2 = [
595
592
  ],
596
593
  [
597
594
  [
598
- "20383112265143113621158547584533108172173014612497300318772355462448750327634",
599
- "9476241965146735006848999585927664857836027675817848342111996150638876938940"
595
+ "9655320391442261506786613437943886318993096074047475943277953998327093103323",
596
+ "11990575744352349061206874522191627046356700332670362317248363792794111609261"
600
597
  ],
601
598
  [
602
- "20733082136685384602293372077980283048183069753990343452404863587763569081917",
603
- "10370498046215116715134085566322498900073301617448752966999679321197451973184"
599
+ "3994127356807526759133607764364756226470889975995316552714584542267749872439",
600
+ "4459557655851728174093393601907507106908102585694069559196111332071173551243"
604
601
  ],
605
602
  [
606
603
  "1",
@@ -609,12 +606,12 @@ var vk_delta_2 = [
609
606
  ],
610
607
  [
611
608
  [
612
- "10728358412340769313351519567620170787387770135423141966436844748162218854008",
613
- "7929983584961755765377471515178883367433439212271736050025708429355823243624"
609
+ "12954174285273784606549075693506845206889763851307846906974770419072943757048",
610
+ "10242777212216170785927073187477519618168562932047805757285622707858165402087"
614
611
  ],
615
612
  [
616
- "2424224908982307794171893487036131370038399449016750026546326391873466118335",
617
- "4169855297038740915695363102363044976292665711211255871324667594694964037773"
613
+ "4400832491251200142006544665326745668350059126542471090547702174205927950211",
614
+ "2044236702288697521380775108848050428046625780334775597453588365357238558636"
618
615
  ],
619
616
  [
620
617
  "1",
@@ -655,865 +652,865 @@ var vk_alphabeta_12 = [
655
652
  var IC = [
656
653
  [
657
654
  [
658
- "20602000776800724705104231353971008348678632605343811527051139864158800058742",
659
- "14100125742256756091734688090621667470723401759459592787502475801413744195297",
655
+ "21564662383818339812993695785973841493291121955771661311430527603386143081035",
656
+ "11657658026218961400360867854402607407663293873414596225804388622415098729060",
660
657
  "1"
661
658
  ],
662
659
  [
663
- "5090583730862410755830979584235210054631184460526892606022709842010236308675",
664
- "4935746665478263580470501879719907639988899436008466660042851826337922233613",
660
+ "5533349423449432778163796436454151032650774998392453462759465071162947436375",
661
+ "17666012233471380867104668515469193094558859315891478165712715246422464697296",
665
662
  "1"
666
663
  ],
667
664
  [
668
- "3603230519262933722323237889869128969156000998401789817930265262617368730462",
669
- "11467103179184542033012124498958167915605281189440445972230559164572312725202",
665
+ "13790423553923191278524576257154863570034906260536718090119503950307306296145",
666
+ "16347340498152674232698644565319421975642372036173515105388889392795309295990",
670
667
  "1"
671
668
  ],
672
669
  [
673
- "20354120984011889701917116306955017859695028034788955847437411305304360829487",
674
- "16952752114474306858880411587178692742589121096026762314329638709126787301483",
670
+ "10347034326666188507199356265931633551664071191603767626695085345258477532910",
671
+ "4997773236405807337389381582138203610802209566240298545378121875436944647085",
675
672
  "1"
676
673
  ],
677
674
  [
678
- "18678961143994743003180318723146092299060216598083112257165966782010215931454",
679
- "5866474510945308764957529269555101130643879788634167019342763906927794156659",
675
+ "7712217580333883426256678971341506778688091309349201102564782287450206569996",
676
+ "11641585108425634786022262163621942392033533063883916291688482667130242094857",
680
677
  "1"
681
678
  ]
682
679
  ],
683
680
  [
684
681
  [
685
- "15947740979005208428427315036716544174249364023308166418156254508145278950889",
686
- "13324328715790405384125386378518079709609297588403011236512446709595322048979",
682
+ "9489596831137467831936181723799993784405887389842259727079183545123420301197",
683
+ "5693044079249670766862073856690641907105851772473869123686905553083768481901",
687
684
  "1"
688
685
  ],
689
686
  [
690
- "18308129219862888344083447566760955160779532192553849267018614487088634836563",
691
- "6372459765603725576424215986727450779217530423615747931788702584026023386877",
687
+ "17898997548136088532567977418138177925756213368644036291774970816621511988532",
688
+ "14740534064349741419723390394239028334537142774383826393167588250084168194094",
692
689
  "1"
693
690
  ],
694
691
  [
695
- "7093003777162632186231777482293120808844116758585672698445917711442486215336",
696
- "15357576732947512625016950088762579987226580659874157718142226214458009204755",
692
+ "7500726594286602753757299303462042350941501507291226781032819138010678210197",
693
+ "13983548112698198976520664364050938890446873322776162899610844269223098399304",
697
694
  "1"
698
695
  ],
699
696
  [
700
- "13910597919064508360434043231000553781072135406219661606166769706745413894201",
701
- "9475901949906914147982792916474633312982452326368523201024844634638043554494",
697
+ "4179021390507632616360295568391845734889028630342516412453298502049130820179",
698
+ "20975245700425632280316737137349390332222091470855345182874208080865080212702",
702
699
  "1"
703
700
  ],
704
701
  [
705
- "5845138751782936895477553974859998077996624699108246120208069774017428318479",
706
- "3326095377373657419775174404381825686428913179751401123841216020519623741775",
702
+ "19021523407389922360429160784661737205058068759568696201665794084690606347183",
703
+ "12466052163897566316054301608370450274478624641249744366981264508268594011005",
707
704
  "1"
708
705
  ]
709
706
  ],
710
707
  [
711
708
  [
712
- "8027751638293718359199675565570157214590620386957299982399037269650333307021",
713
- "19002113380575481191643777830101182489616906893723699470070419138254788369727",
709
+ "11884365549811137923790853968899084443031154132686515474186216563685462755000",
710
+ "6704788636781610628272580574653541169120963625645936367544220418722019111188",
714
711
  "1"
715
712
  ],
716
713
  [
717
- "13631613009301650992828160964785768170789209232530437462516754147352285424672",
718
- "10537705110128905270703523362934130036880036854847578111990360444182641655212",
714
+ "12991914739236243841256219048178401410745190271263140777960787004438580261220",
715
+ "5590145430871031209225621787151481513029424432579305171602721437720335415019",
719
716
  "1"
720
717
  ],
721
718
  [
722
- "15557574650831364767567015658284909068256128766563081293491003990055297878366",
723
- "4049724481871929240016595616316679773340938699307608349394228543495262553744",
719
+ "20736101181427060756315290729667064729584862568486313542930046293576350846222",
720
+ "7964565007570676497703411734193469540175343873516773716159178261241341375901",
724
721
  "1"
725
722
  ],
726
723
  [
727
- "9967066649437927083270210032320564587652082866881800887188539489167094397640",
728
- "12463426560961961450861478284334163210886016242490079948590082000657390077088",
724
+ "16794429217414353616789117451165613822803466243648367634557467502136998943893",
725
+ "558993661655740022114023784587509768164689940441081748900073950812070600098",
729
726
  "1"
730
727
  ],
731
728
  [
732
- "21318595425700216078579789307308348011199610228556265752904860757510620370622",
733
- "7430155508771673067823897542900534022148544854722115377830369283854627952599",
729
+ "21277403138624958471460622041656535634603555578993634384564040130349002217692",
730
+ "7205479266817649764349441691795052179964672154330256630020305063447891790148",
734
731
  "1"
735
732
  ]
736
733
  ],
737
734
  [
738
735
  [
739
- "12017353327534072098763415761011052990865822334777878720246921848197559257711",
740
- "4746680322053291743787031203095442352574780441873349801788355375401126089939",
736
+ "18187121597105710107820202802031458279487324017138250255927726057433500669375",
737
+ "15012220220970919550489485531718205331032811410448946673580936317900747952200",
741
738
  "1"
742
739
  ],
743
740
  [
744
- "6764632552006100580460767171096753901452726344615530017064702126145414585640",
745
- "11581587935666673652762153205827599529022773836189155792609728856814288572033",
741
+ "3799482147538344500542820734735122481363768658335038765369725321662205050206",
742
+ "18459466192043192674256302513191294603344972476857678325869973105335820268540",
746
743
  "1"
747
744
  ],
748
745
  [
749
- "3123694825428833189943974730387937552931713004458396242443840668462184834558",
750
- "3432192610292569155696646287493678963086402014898209278361624573082188247990",
746
+ "8371100229123846057591554411543868783772849081957719952786548232633953930371",
747
+ "16392384072261285060820639096886003341285913303581826536584543892461115648635",
751
748
  "1"
752
749
  ],
753
750
  [
754
- "12349833666000936285363634772178969342930188247085371717039135170012686159900",
755
- "5587426338437935681688079936152042996259869611071713486439341129143155921959",
751
+ "164311966912983613985837991405929736331545044362227376912988396007755308644",
752
+ "14800042550380375545221454660591168421002493928474215610733083544813856749571",
756
753
  "1"
757
754
  ],
758
755
  [
759
- "12022589354168680516901928073724404259700970836413687340697868887207353139344",
760
- "2351613311284811919248989036726852289804810348516261915606564943623124473717",
756
+ "5446582152055860717382977841879473507200978562639874129317522779049265868182",
757
+ "17144789881850623578644619126353767193897831802878982156453026267061479318368",
761
758
  "1"
762
759
  ]
763
760
  ],
764
761
  [
765
762
  [
766
- "3115002343037487520580459802807906562630507097436525958861415456096559884443",
767
- "11775142132959919266954507317832500578453517368862270948538792702813845219681",
763
+ "6061065050056818401425995444848442801082028003693533761317243484439410130486",
764
+ "14421699115635896251200870048606905409362397729098347410029925812718494314790",
768
765
  "1"
769
766
  ],
770
767
  [
771
- "5975456097652384580746132945351678665917860606511206167023154005883554813508",
772
- "10958037207675554032315788914627312943186758288936582678633536154169678007202",
768
+ "17764425779832440503119380955582476921366160597878088621057583292133201921828",
769
+ "19325157692898902621888918744505769631959402815048198799820163158409995487168",
773
770
  "1"
774
771
  ],
775
772
  [
776
- "16345185674805541466042568997276776714209785989761944600635051035243995431568",
777
- "3326264593228494909568322793066180033820330146744162800569972963329142251537",
773
+ "6258600847191904397521590251033300809244388630288177399679339852682042841421",
774
+ "11465472288105090946117499669391367720635188603694722501274106607307772288573",
778
775
  "1"
779
776
  ],
780
777
  [
781
- "20721047231464194965879320004420846916587593568519526251056516572985788552732",
782
- "2552439778142862614309289213707433798337671284267429041900242151271508522517",
778
+ "10180595246862511551674650922870347723335534215996716528362762560295598295215",
779
+ "3690737434617038684847593614126376566314533511849567687889412543841205373904",
783
780
  "1"
784
781
  ],
785
782
  [
786
- "2849386127826497959217687777221941766595094589431869464564268817450132435018",
787
- "12188539304210779665491473755999603070354632830707125660270270405780470402800",
783
+ "8360701886606033636746194379935060989917955410360780257886029556878927675568",
784
+ "6224202489864584854579640750182952834186929884827457586524645505100759053191",
788
785
  "1"
789
786
  ]
790
787
  ],
791
788
  [
792
789
  [
793
- "6024976123298004874848602709755399197808739071863728225378332097920450236516",
794
- "11108084608972457539770160222798307153256767409158349747526974841008717682367",
790
+ "11456968548642529067610674808382167764802494980138719820512211518302627107887",
791
+ "11455771654670648686053455792277792946656699485272481961904303203240492823833",
795
792
  "1"
796
793
  ],
797
794
  [
798
- "3009127146923662343754766534488769100730310563110562565512507605403185571089",
799
- "10560679284132950437595738585637379866590755950272794729013445350206405316661",
795
+ "21645856996069548037018252715881645637488521504116923684196082239155781984119",
796
+ "3094554733819647895233423913672213654966781105789538452012413504270628621920",
800
797
  "1"
801
798
  ],
802
799
  [
803
- "16015321530803994569819047219560485624444041236327101681073970215458831987478",
804
- "18489840631710745699731219026737904723160484479846032199737023956049067434815",
800
+ "20222830675731969595697842255572896927625978293922319690451162029271566073332",
801
+ "2299755534593036915322224849363001602999763269809528878097176939139487311140",
805
802
  "1"
806
803
  ],
807
804
  [
808
- "609265187318362115240245160721406765003010398230819869810290394123140807290",
809
- "2656965952206569220410287839949134856874352189248192147930831679380007159249",
805
+ "7830678104955873344268815800406695166240238819395575548650063006484394678866",
806
+ "8292198461920024507844266222654318162909714872134018902302830113806011209596",
810
807
  "1"
811
808
  ],
812
809
  [
813
- "13957423432693450118120092425077530751840166358932317773385901323790404449641",
814
- "7610225795517710715985874151201119876406845575780133396869144717381641586640",
810
+ "21038851675637978842250129668218313705907148230365782923677535275538800334483",
811
+ "13072002963195077193711204467649783731532287330545853507770527504401058570193",
815
812
  "1"
816
813
  ]
817
814
  ],
818
815
  [
819
816
  [
820
- "18178936861568428015361893654874798233785855995042899944660014774323534883903",
821
- "534506139369949013962728832141783820104682340925384016906020027968881380951",
817
+ "8293167606936789587004399648280193251054082814788244028501960279421704000114",
818
+ "7709081435865764497534699711581966805607844184053200285800560724365733120327",
822
819
  "1"
823
820
  ],
824
821
  [
825
- "13888044772855561714276444972404100722751042044045312252045340354941233320135",
826
- "13061437363756343100054622876229104455920015737970195589611281743974716159827",
822
+ "2860123013351178790009979824307221120860118614074034399464150338454013405853",
823
+ "13763218951331690553843957292153943162553066475103633670641020416951290344256",
827
824
  "1"
828
825
  ],
829
826
  [
830
- "15297052669271818809266618537917704542138894789392864971735934945598379827363",
831
- "3240592020743113440365790241401792477958041186219702004441781545015089517479",
827
+ "4789418102197153723790090589693080481785734087539102123677613425037944489592",
828
+ "17330889066392014999074090696809151050093213398828946719768763988010535269715",
832
829
  "1"
833
830
  ],
834
831
  [
835
- "12939402739160799630996576545137073878726141216092557580496570401396343874133",
836
- "409838859583542828209958035048329036930557790097408442597169497017958367880",
832
+ "10129085623121788805469292039165786807952422639351266927935244047158210981616",
833
+ "15002136679925504684294631411355542550586695403781633718655289795426595849334",
837
834
  "1"
838
835
  ],
839
836
  [
840
- "4849352055719384218783567790347020036570406423962447054960403165168624679411",
841
- "10140481868950825952506002812679553069445144019364683137830173127833535162812",
837
+ "6474882311348239101576893582477295320869182221392368446924689953363876865764",
838
+ "8804222865265988294811806880568074647478904220540537334972864902871077838012",
842
839
  "1"
843
840
  ]
844
841
  ],
845
842
  [
846
843
  [
847
- "12128929995926069335150064696726717100038806543084523729572253928762150006902",
848
- "1527343541447603983494013575570118174442170324803005341835852970207664984106",
844
+ "7602559356952468739284912464035245908630437420598679136652908026045180488328",
845
+ "16111238549886116834228378260221364372359193100207778903077344547164794705701",
849
846
  "1"
850
847
  ],
851
848
  [
852
- "3864366504647042739453971869413719136218296278515580744588126485271535533745",
853
- "16390744785373846505589339019032992526980013169808686005019244934399314954484",
849
+ "4388197485785229509959347777848537078359374474217459901855008716954057604556",
850
+ "20315980717934234974549351736037549508696080456775251415021648861890639121862",
854
851
  "1"
855
852
  ],
856
853
  [
857
- "1189371614834081242339044631966546656514169937037419744085755746584992776112",
858
- "2490564128297998291899011962907372091056992851367564813460897014374926950158",
854
+ "8894476488311762521345591915596785336199891552527631661486066886430207383960",
855
+ "10507712815543741943426418314248758401915795238602490433472331649754574318",
859
856
  "1"
860
857
  ],
861
858
  [
862
- "2632864541439030478006092584387470079076010621748787710053145987733131826177",
863
- "10997016251008884590554668186933912000821350188750456144761529496433221911191",
859
+ "1361628466858501220853574985735065893753335834730615950205060657815549076997",
860
+ "21115966409952331008632962084465209049712491721893213003273634228076351704714",
864
861
  "1"
865
862
  ],
866
863
  [
867
- "3662989402605074726032541754492900291134797145446056852785520146936851543244",
868
- "8371074929323402425468930212402691638137013802793901226648986870188378349904",
864
+ "10143501525849454112186704993906437121964710522733801177464721602060816508547",
865
+ "15915040429542080058220845883209269137572987883955427191757123673921710513463",
869
866
  "1"
870
867
  ]
871
868
  ],
872
869
  [
873
870
  [
874
- "11685593308965088606881675161829854229906033467171784802160080423031157953626",
875
- "18989841286028554273231159314070667749621876499337485447347239057791285949659",
871
+ "14460337429616230954943958675716081963588306792996796361707962467350652391417",
872
+ "14942877381842351328929463103485627328312931817317478989303263038647281100178",
876
873
  "1"
877
874
  ],
878
875
  [
879
- "13501500842653069022700095920888317808542113497043735775280862312089436522286",
880
- "16284422417487952110266526583186344607656490299306406671512902584454645262294",
876
+ "1110332392063530538204411737837277243492990423485794325977769076651328083033",
877
+ "10919390875413686146270185137548761614500075623165257383894560234836900440934",
881
878
  "1"
882
879
  ],
883
880
  [
884
- "14766820041476554952520399418749355774195705334216487399328042021346008099854",
885
- "11502099463338241997177160748027482497157165595330950109059924501733819344412",
881
+ "6247001086236109999298892231106907934077299141753582790343558190175549277983",
882
+ "16454834314509312930772051812525955897818959846014029734527761364866908466394",
886
883
  "1"
887
884
  ],
888
885
  [
889
- "21097733162892834226328090737666232905549661288100963226189626007151883115218",
890
- "3620141777236347892405766912767968106066233413607983266884777435591408542679",
886
+ "20787162601686096009469711917911591559519784411908743378310303648286070066213",
887
+ "329555930422375685548517968382781014151923772277385942152727068768012422891",
891
888
  "1"
892
889
  ],
893
890
  [
894
- "4465316625088681267432956930147995293521314127558426510839100849580054135068",
895
- "15951396696291486543574989938200386934444721629903447106494532971713975302198",
891
+ "19169184741483330357166320795527802455869488229141154534326733730896361608917",
892
+ "3731511813614376585927676130561503089005787957765827409553923648443014818208",
896
893
  "1"
897
894
  ]
898
895
  ],
899
896
  [
900
897
  [
901
- "15140772590596966074591171894694986645347795546765667852915300358255369432294",
902
- "7383386342436648909729802223228006548918015494414484659175617833341830753463",
898
+ "17589010625176267714261731510967239431951758897534962393502464004173896269452",
899
+ "11314243799281054396775240572336782676682308560106741694058028398369199499477",
903
900
  "1"
904
901
  ],
905
902
  [
906
- "11436445698241305906567677067532324081573492145508451249291326304016376374466",
907
- "17397405229027848655285535331264669055168427730382628461971653096729174692794",
903
+ "2616999472724851015149231086056537391239391471626016143865918034547647674703",
904
+ "7506564710553140121597894492787098587988120091858028099692759420828047549055",
908
905
  "1"
909
906
  ],
910
907
  [
911
- "8888190346365862431131132945799487885295183925892581338098808269532220115208",
912
- "17373048493258440814074078107890527278667903472831731635546171123117085702144",
908
+ "14344309991058836215766891479904688074428377705347872561431720021418803748831",
909
+ "15612609928947020586954137228660271495271037308547281175913700826963305146550",
913
910
  "1"
914
911
  ],
915
912
  [
916
- "5394355195223713516914582580686192473163629785306318732489822694588538915692",
917
- "20814957740385525027786677509245187599649792998372465800981035312224123940783",
913
+ "3440242895650049423535387064523726907091222579671988835253116715111965412952",
914
+ "14849427531930030795330140974703153646347327185483844960340014370835451697382",
918
915
  "1"
919
916
  ],
920
917
  [
921
- "11167741662268878371451552983943563550747492198375641214347145843414778750740",
922
- "1505498991925224080559736158020686494389967648228591899080542175743913505975",
918
+ "2852531615239369483258860491272966378791893177526418769938038545090569387797",
919
+ "16063779880483301758123806372382589460005057403618403569972825203958953066678",
923
920
  "1"
924
921
  ]
925
922
  ],
926
923
  [
927
924
  [
928
- "5091938011714608365574587822261119297677309310900626302766934784886036216676",
929
- "18792973255357094538588824962661759194320829424712347846315600994520652609459",
925
+ "5594512829679379696380285318703656523428470974534496989204948744681365638740",
926
+ "19153355190048660205157030423801517080853059274698088160107539356351046045274",
930
927
  "1"
931
928
  ],
932
929
  [
933
- "5819484726278895533547092474664732368175576227992878488267454637556311136768",
934
- "14087278759052154922504944654932471722205352537489748711235261956958139094423",
930
+ "17097689361166577080420658288080520278988613085683110393793917777988816824215",
931
+ "7459590994671568259682692606685610899047222196559962915885345162611966637718",
935
932
  "1"
936
933
  ],
937
934
  [
938
- "6676755499836944199268283133886528716777488598645051771936175647684814488319",
939
- "7841200200792172536039490995922340397104113825218911994623753022413575084536",
935
+ "13116148632073600007431810285952333860465239632792370953216512560241953618244",
936
+ "14799685532175739489099204483527227522323817129849089717382054131819739427429",
940
937
  "1"
941
938
  ],
942
939
  [
943
- "9685171750835271647846188024034904289604883281120913275229696726161494108338",
944
- "13804722593058778047599265964893015518608567919815229008355552695901539135617",
940
+ "5706219811832143034266637645771361188908037347937732248035435144965369146555",
941
+ "12447138629477889566952145444778641957820192409278911088161776724576052080520",
945
942
  "1"
946
943
  ],
947
944
  [
948
- "133210224564739370698401112580329091433152068231765294734991529050629411851",
949
- "6253365067148837443745536970484493754157158998156041417978340186561909915882",
945
+ "9075337531911231660080557748186351101199461302410967944881351443239195274105",
946
+ "10154943262257933859476555873389244319984880907200896562143727818162496911540",
950
947
  "1"
951
948
  ]
952
949
  ],
953
950
  [
954
951
  [
955
- "11594484527416994136900781664743660516883697944736099448760569480817952218099",
956
- "5525949004768282420418522754788387377346850869414250693501350383184014395566",
952
+ "731620005417853432918859074252358910740355398918941508771065829828613349823",
953
+ "19910515770073532955456516608312873705031622704610814450443388690531706956007",
957
954
  "1"
958
955
  ],
959
956
  [
960
- "13423677678153887686951876961584096043047689175638209759158420018856273430250",
961
- "688554022717474500337948897714325469989973507431329797109415877246281679190",
957
+ "20997741244937528761124476126880541296614934488972459266967103399487280079983",
958
+ "691841242073305983274024401863399748994712360983131551134776688442016134562",
962
959
  "1"
963
960
  ],
964
961
  [
965
- "5767985312159947447966233995178318554138266544591427341210101818005833690773",
966
- "13782057493439290506357575012457041256926849070794382612465582256292384507590",
962
+ "3804834295585391511501381707857906505103224012384132701085044976269821133970",
963
+ "20099509760109133148009776076747287541189010762822092458821717845553726755458",
967
964
  "1"
968
965
  ],
969
966
  [
970
- "2009465632383454183075946487099156558696455704620200103263777377956167571948",
971
- "10265570962161934109202420603055144010322859077969741656080416572925588897009",
967
+ "2391464501807352635340556268668996300152930049083199925218404251904687006288",
968
+ "14915314962627769248735430810356234246700435842742201448008234008655238195913",
972
969
  "1"
973
970
  ],
974
971
  [
975
- "13063467510206676485181697613068184940643350938488359709447602318070297992418",
976
- "8824580488237789516855671915345935747743201560548603121129517348234754630838",
972
+ "2550798483571404532605425888255521160112361281891675975098996520666295546484",
973
+ "14301429888677505895633251567484383492919446825102781434143661099573147344364",
977
974
  "1"
978
975
  ]
979
976
  ],
980
977
  [
981
978
  [
982
- "15613862437263830065893280422700893831122147824370200118126675792748158214283",
983
- "11637898091445829201992956909089879348463617460955895182594618572267100421779",
979
+ "21490162111290547528168042611798754821499577183557718287164248704015429814972",
980
+ "7203088379187749982266879006324703096284437362101925451284753960262381916685",
984
981
  "1"
985
982
  ],
986
983
  [
987
- "676470684249461112964281503193041675013396554434239929609436328672155420783",
988
- "14862758280768060051884504554805186980208629806423451755599092137651959992706",
984
+ "11223214237295689297145850101238645440121537682121332138195929868637308463498",
985
+ "14109702321042236895491704577209186115487907772920006450393820125747327972469",
989
986
  "1"
990
987
  ],
991
988
  [
992
- "5623342967419780942118234966618900971275224510117264341831041912523393680166",
993
- "12293742687505619727765346377361630310803471543338450439759434637239250426631",
989
+ "11764333716117969692508351247027677728530051181445269365921661700740316916210",
990
+ "17069329779184342517420972676782153054439004330321178386088117553680539289486",
994
991
  "1"
995
992
  ],
996
993
  [
997
- "17107107724389526013252251054585363312805578717860151655674796329456502453436",
998
- "695490429984933474058785653390434166254929169748519672533632124843844650437",
994
+ "11588141311469319794961893931358501904283188689056560755900606624727928644454",
995
+ "10067306885618539872075379381530566596969123088597900104184469822622863228433",
999
996
  "1"
1000
997
  ],
1001
998
  [
1002
- "7941603993861390710630117468483386570984050378175531457457840811645822985465",
1003
- "19423663035279971057851778008344970269742436279020301703706239058210708410668",
999
+ "15599423916056091142371489714861596488179573791036773920869778818505474448565",
1000
+ "16813092898002421671967498325149873797343773863158980594724989849239884388569",
1004
1001
  "1"
1005
1002
  ]
1006
1003
  ],
1007
1004
  [
1008
1005
  [
1009
- "14178974435133537452754432783693851994073934244854394772136599698341675338748",
1010
- "14490318493007296294817313593753116388501252549516359980240258503496717340194",
1006
+ "6791400014655926882130287136612487272935770304302735583504869453121581343273",
1007
+ "19772516776171371355155654655222368776470173698626780043191600527220456989380",
1011
1008
  "1"
1012
1009
  ],
1013
1010
  [
1014
- "21219478166573360512901478467779541318881953172337799756939010190701884653821",
1015
- "13653038712207413996195005796658436532811211815454701512198612316602372800026",
1011
+ "14111286545049632910403170514346664052695255464151001059159739885279430026140",
1012
+ "19023827814282695145793154939387461319687506737652387755633328443970334887030",
1016
1013
  "1"
1017
1014
  ],
1018
1015
  [
1019
- "6606031466185873676955137126631780808678269492505994174970319773811652852017",
1020
- "6998326006251734945119834407770954155028321677085545151592873301468610324946",
1016
+ "10845952857936656076845332457083609590644482957131369573472311522859456728430",
1017
+ "4510996026795745924200908265122933595975184807475059114721677837190726142875",
1021
1018
  "1"
1022
1019
  ],
1023
1020
  [
1024
- "15717984973502827230694305820570642040862757036680118080574899662027439132392",
1025
- "6129387663611887185666499162725019000386957238200546358846681873950634080364",
1021
+ "6618642642394086948508159491704831374406576623125244948689384165895040560928",
1022
+ "5945934774390422749108204230944093371258805626161872594989021682153307462804",
1026
1023
  "1"
1027
1024
  ],
1028
1025
  [
1029
- "3229894653990057163047872622628926092609943988699832798310941005306795398260",
1030
- "1577249093608064810495237122250056987651980088410811739655744853476971398741",
1026
+ "5762345158703056317189851852082608152939819557475016109737808949138810625340",
1027
+ "12034743166788113913447268872978550772801295683120114746141139761809956467267",
1031
1028
  "1"
1032
1029
  ]
1033
1030
  ],
1034
1031
  [
1035
1032
  [
1036
- "21508024236353721936402111331734487542417525255582275314005272967405040862839",
1037
- "18027689383014810715963711252886295463940938266456411644747464137365500951807",
1033
+ "1986497401045897525808132900611040743085925761299864355071211553614919778061",
1034
+ "7346905144261168784547124788450481651681212288537301341205985037373435850061",
1038
1035
  "1"
1039
1036
  ],
1040
1037
  [
1041
- "14484077699638992615220759300878276902226958277985946809174186953862915299590",
1042
- "4817080763362108602919187869554992685382108795016276838137423588157592666796",
1038
+ "17308710084299252796904455380390568148700466343837126759613699250001464464978",
1039
+ "9996933138035716899642366376796696299192002238202443927780222145217276980121",
1043
1040
  "1"
1044
1041
  ],
1045
1042
  [
1046
- "10791657063117982548380087239678382293931165307389242284595466175088416832331",
1047
- "17574587559710800088797913763598808892829608388483075257576879500511250128297",
1043
+ "15686793645427953460873618372386116262866271861997814659714640870021274982905",
1044
+ "8379834636509603151292055095281085626116648693995607112580223874069180480827",
1048
1045
  "1"
1049
1046
  ],
1050
1047
  [
1051
- "20931338330271163055101602391315623325223860904427973201832184784566097488773",
1052
- "1954574324880132355431783868495392698894997264747376529310223470792870288803",
1048
+ "9076439971578104657102553572192714510232480425937408826089084522823481905018",
1049
+ "4792970117708711275016352865118067239931792479452674722603954722378802868115",
1053
1050
  "1"
1054
1051
  ],
1055
1052
  [
1056
- "2551137710278149502571112114560159376697849893483916552857521579500208583200",
1057
- "3997814265160290573081282672183091638735659350920634229735367532175023689675",
1053
+ "18192603413609093952848996781420743070009858517219108318614258320615874041527",
1054
+ "5726800070545056666455635637502901796723557116984207800842602820257412505078",
1058
1055
  "1"
1059
1056
  ]
1060
1057
  ],
1061
1058
  [
1062
1059
  [
1063
- "11844625750737259417493690805104254337758743574820507915512371579679338049474",
1064
- "18479163117067129250021591308069049721232170743585134941796617403156042279597",
1060
+ "3624638597990987866439043527138609399282574931839111732520349676970533524606",
1061
+ "14236936761283250778234019334558412751873709359224597955263556531824267650709",
1065
1062
  "1"
1066
1063
  ],
1067
1064
  [
1068
- "4434911559893931929914698652677389633068778061297646529129767359157675249407",
1069
- "316682746098441691626372255125560321251096997722401729182940832349927288255",
1065
+ "14717053545436829239186736789281862595706603950074015239684300665070520085988",
1066
+ "4398699996980151688448979712147333180928736671746256255845724299938993934401",
1070
1067
  "1"
1071
1068
  ],
1072
1069
  [
1073
- "19610390525670030492896894087745165507340241783776573708027658938288182681300",
1074
- "5840208148535790468526125686220196099566194081164771919666034943299219873755",
1070
+ "9121951808851238882905939573459074256110209849477240867905720726269149298559",
1071
+ "15809106391454072697981815568917409495880348612385021895416683561074664132388",
1075
1072
  "1"
1076
1073
  ],
1077
1074
  [
1078
- "3679027218793663842409677356801552901605408436635647286999251784339864591201",
1079
- "9878321578558671609403512127325051261043472923444011356477587484000484178928",
1075
+ "1479894981852570981319280679783645342177957675807091617539882446030285030418",
1076
+ "2066718119703195952042994511671840965753119388606016445955708783208764348174",
1080
1077
  "1"
1081
1078
  ],
1082
1079
  [
1083
- "16646455734597629493777237097088292344110223995728568379569260368267096014288",
1084
- "14735311379463771264009437608444808852233202023120148855228542005281236140064",
1080
+ "19815986748593651909773648188678999554716182264453939299802477950629866047557",
1081
+ "16407092264459598098369257259699714753226103312109848688250781384407758831863",
1085
1082
  "1"
1086
1083
  ]
1087
1084
  ],
1088
1085
  [
1089
1086
  [
1090
- "6922136549797750291447751953663854475218048098902194660515442295348938322083",
1091
- "10287261443878564608994021014993200221021609196127927226041534661185500281120",
1087
+ "15613243008723455123092147411575376391112432231068172872878577070096474202320",
1088
+ "5873107093396775971117396599760734798099906032548766185438370817936787349557",
1092
1089
  "1"
1093
1090
  ],
1094
1091
  [
1095
- "6329063805909277980282354325384845982783657973381777424581891744521604640994",
1096
- "11017548748010510224711773916683171526878158646735796493859902304094594577338",
1092
+ "16834141953808978143908927431996183920327976876610611417713022697315495751573",
1093
+ "13654532686992240853018948549791256887013496496291777809199645934807993129092",
1097
1094
  "1"
1098
1095
  ],
1099
1096
  [
1100
- "7338335804036221772945379382782674399589206056354184002757176151341198318122",
1101
- "16538115574966264108203522400275571374556020887608210819563613080068710593180",
1097
+ "6948420964311579658629273805599093309750376950755654593152256645799675555292",
1098
+ "13487882342091197446033583506653481420172929731064666546342921851064471183016",
1102
1099
  "1"
1103
1100
  ],
1104
1101
  [
1105
- "5138245976626127736555381649425906350640183768145541963359703291501245587848",
1106
- "11347291457433539838423910567581114929056891897670787919546976342310334767900",
1102
+ "19394538572751263766787912001305327578124655658967715822508095047367739176610",
1103
+ "18543781997197658200465909207929487411074460299350352372249607947804890174961",
1107
1104
  "1"
1108
1105
  ],
1109
1106
  [
1110
- "16731418617609356258989018213857655050257827940403117452476763890174877962606",
1111
- "5300557287595854140445529914668848275536281916366261035684431572728600543772",
1107
+ "12589927738966347501327251279840474334766776331050575461625209207928205886060",
1108
+ "959462895623601934472674110901717704762300968896430701714559960969451469636",
1112
1109
  "1"
1113
1110
  ]
1114
1111
  ],
1115
1112
  [
1116
1113
  [
1117
- "6497446328454795535775520142893202697197882656922991300092165933292014766725",
1118
- "4597431274747983679157649737399090093759447324935531801532881928263496852124",
1114
+ "8137615584892495055020291526958905231099333661811788184718696301740849101157",
1115
+ "2687207731975064832252379832889947233637402224769048556726038325230605941771",
1119
1116
  "1"
1120
1117
  ],
1121
1118
  [
1122
- "20581664438782214735167492264807215952133504025063870863776714994387749970180",
1123
- "5854805250432620287068939301087113989827350315462338534819773170350910225622",
1119
+ "13885596439929813581209514212922796434692699163591868917464979394571523859280",
1120
+ "9878097652687422101935852021644019429882981999977320583962745058937841106941",
1124
1121
  "1"
1125
1122
  ],
1126
1123
  [
1127
- "13548539273975522227017059057161374261181128673406746320122994151943985128196",
1128
- "7414800418339434590171697383031637744601564309993253226498272110927128779715",
1124
+ "8631173264262259507970645610076623498423106545866631090684351740218859725688",
1125
+ "1016053798038006020981669343284493315196054780741914644673199363733814746976",
1129
1126
  "1"
1130
1127
  ],
1131
1128
  [
1132
- "1052987139013233499761917411027037646861657729931697227519754049539833189269",
1133
- "657108667626796780066815408290681939596246857020023912757838581820942772606",
1129
+ "15961735999486283378372162997422679424009620414824241243621370220843660184608",
1130
+ "20417254441097595354933756868263937626153854938297778410197304559253340292659",
1134
1131
  "1"
1135
1132
  ],
1136
1133
  [
1137
- "19088282520683145597098955555305422198780142332183007920340899996970202127885",
1138
- "12616611543293706969401642310383814806112402432261338062963427055972449363741",
1134
+ "1178520673383908739693383215523803171283253547072833584539372138842413935323",
1135
+ "17299850528045653738189931070257440724100504604689182593513913285275876397030",
1139
1136
  "1"
1140
1137
  ]
1141
1138
  ],
1142
1139
  [
1143
1140
  [
1144
- "305741399293956298249448376598537769086716682101868856634885453070917344627",
1145
- "14942830908704142867090451021371809832404069532430585621173997534136021340349",
1141
+ "8831912031608626208659590860005370379486367075139741034563565850444317100764",
1142
+ "3021172425443038605841107616400453942103921372941480602342857951415780702974",
1146
1143
  "1"
1147
1144
  ],
1148
1145
  [
1149
- "11873341523902185373029537495825388400298468809112431373607438726587086076801",
1150
- "16566421774425889929886838459987430622148040878072136298073788804726016806526",
1146
+ "3059510662757778883481419332076070700308630016256510878247743272243941600095",
1147
+ "15035395790319670525177034211650458412333853217184680236668532624748437035820",
1151
1148
  "1"
1152
1149
  ],
1153
1150
  [
1154
- "18314173705630320437871113612645566255775444265992974192826331109357704470403",
1155
- "8597072000455186494551694692524831407069966911367008568012412188890924300508",
1151
+ "13685637698776455204186110804470079588453914443063980321099886742080226062730",
1152
+ "9682881266026263145291558213213598872269717884576543409608535922389843629916",
1156
1153
  "1"
1157
1154
  ],
1158
1155
  [
1159
- "12713907619301764178052509321657058919935892208409394514649600000706175319189",
1160
- "14893305145776480356274920935320977108910444566603040558476174175562031483300",
1156
+ "3763516856991532660448722992781873765488370446650560808185345540890238136637",
1157
+ "20369232495662226413075249333183859185538957332426836915244561860480204043899",
1161
1158
  "1"
1162
1159
  ],
1163
1160
  [
1164
- "11027938853766719633497710751595847377263279173227878474215846011660771149283",
1165
- "6927793728403485743741891409676155921703126599118383623637742555953569891357",
1161
+ "600798041597668517992346008990171393207464253780268666873231584567216261989",
1162
+ "10525081530303707359727125075346968348535999853030410950070225297138443016805",
1166
1163
  "1"
1167
1164
  ]
1168
1165
  ],
1169
1166
  [
1170
1167
  [
1171
- "37868753390676617287004841173348795594362354905038492583057282228528019603",
1172
- "19475937072595290694509025801956972632863465524774747773770243946674956142538",
1168
+ "20461134431540777763351678742138591715280547901327726234350286927132241185188",
1169
+ "10472852803372952799058658982354019188713475970848792479184195536474244495661",
1173
1170
  "1"
1174
1171
  ],
1175
1172
  [
1176
- "1818532521520079200500527816308109106767855745862413136331026404438772138114",
1177
- "7893556755641665136576228990240239515272703124353568551151593029797349984766",
1173
+ "4457546550577956059123939095803574524197029659183066532355640495570648590938",
1174
+ "4586429547546432481362009807809868592064673739343429291622735389311139155014",
1178
1175
  "1"
1179
1176
  ],
1180
1177
  [
1181
- "21843411659343488969197036446870567462789014279182131087406329675847260538394",
1182
- "13883536936296384480685931731174096875043607202415233199362935327975006076376",
1178
+ "8878548766723141968754349938142218026908588360796762754955157392445631389220",
1179
+ "19655584391320884116603893928497066509312593264010740149021778073996618450189",
1183
1180
  "1"
1184
1181
  ],
1185
1182
  [
1186
- "3061885619227488514362869971925298711535995206671454426027635264218303442708",
1187
- "18477632669759047471715211461337808302603089797347923153039515976242018999984",
1183
+ "18870369933201638187711164190503909369135924856011551136841917667015699131672",
1184
+ "9112361599828769259749629608847463305922666380587650734105452323580309624081",
1188
1185
  "1"
1189
1186
  ],
1190
1187
  [
1191
- "4953684980989921770137053964305439167945572062294709110871332076115076441738",
1192
- "849590699713478394267684876803414882497887483062076673282369901261463387635",
1188
+ "6911445528419498463052038634805869251674914450256132175616115327153208000298",
1189
+ "10690522731893204079241577206843870488432634507962253873960389671509400535432",
1193
1190
  "1"
1194
1191
  ]
1195
1192
  ],
1196
1193
  [
1197
1194
  [
1198
- "17761332237343741278668998123360108574589045018570742689473320560784505694171",
1199
- "2985768806786881176362869973473950745997650698247163897069614623128281191971",
1195
+ "6986380650204572696555894377679555516143222742487768093763807736232505565393",
1196
+ "7178524608776379983528074934437460249846710917947837600559796022195490556098",
1200
1197
  "1"
1201
1198
  ],
1202
1199
  [
1203
- "14099532828736062687388547070054719462342298981811592749594569670955512096417",
1204
- "11038429458121896617356666499000022639824993159854464409767840206807807728043",
1200
+ "14511325396554799931573182481061175193800426706123939025747670738299237309735",
1201
+ "10769285680777553472267982014918840554221774825346648320032076460000982086308",
1205
1202
  "1"
1206
1203
  ],
1207
1204
  [
1208
- "7092464867594165410092487979619486929166817679669939558999555261465867685619",
1209
- "20690943609696626243672018055336898909740557628366317533030490341400911534771",
1205
+ "8013412586556337099134005947503268428105831965896517075907705390556137474278",
1206
+ "19297667512816822760059796476649962962536683562090909618885365919602784125018",
1210
1207
  "1"
1211
1208
  ],
1212
1209
  [
1213
- "11468803355345327303851639215186997122074583511720489615730106184659306943551",
1214
- "9723340381470060111632263437706139036358918795037011403763820908081655273682",
1210
+ "13080361876549788166623045320858150120713598021161508399411024345263168932402",
1211
+ "17576543495717489379288162749313643976205071750920478135330898142461043437958",
1215
1212
  "1"
1216
1213
  ],
1217
1214
  [
1218
- "15929497108714526572140462634902391796285476840034863688822264979709196730555",
1219
- "10556139316790113226399166507094772235069235781001645893008903131855134732783",
1215
+ "749928488718787130729650556896889324046178481001039612070309327140640509484",
1216
+ "13452164863896532747052463234349395362380267804683742239405137274623765724883",
1220
1217
  "1"
1221
1218
  ]
1222
1219
  ],
1223
1220
  [
1224
1221
  [
1225
- "16018239095599670975582212156736908990475077583136160880304021421989907078233",
1226
- "13442762142079759258078337448325782252795445513077684243558458356586404542166",
1222
+ "9372497845214770789408935159011869065998887887908644793412741518038352106455",
1223
+ "6824043106301021802337265255123156341718970397778961929809923017776872074111",
1227
1224
  "1"
1228
1225
  ],
1229
1226
  [
1230
- "8012524517439221218249889438165569497775551565363444399021079689755695756644",
1231
- "18993442931337392722189844722480176040693468853419121807183123246184718322422",
1227
+ "4086496243828357822511950569138959383960313427520601019444481316015152488042",
1228
+ "2615367737319233366899202894822598074644813086629000105193228027116011043874",
1232
1229
  "1"
1233
1230
  ],
1234
1231
  [
1235
- "3920077716342530896195446297162279477088824676672184510151991496745985467962",
1236
- "5663885918690734602622426696143772526257235018784490039324179199552252272203",
1232
+ "9012629709797743695547945742380562886599184681041818331492614085521554763885",
1233
+ "2718623884709419946482553893921529036211786053183283843986165106309760049064",
1237
1234
  "1"
1238
1235
  ],
1239
1236
  [
1240
- "11007942216549411481832816505096362871539130535791764225892613523847180067807",
1241
- "12333277086717649179464584335417603775633093807601488202185840108448843332123",
1237
+ "18427510224880798489193372297771918642087297428559360240920393819321647163846",
1238
+ "2359306318398674386831169321367207367384137279256423608187018673109642678309",
1242
1239
  "1"
1243
1240
  ],
1244
1241
  [
1245
- "18845646001611639216437777320622198530894193094859924604338859788769244491906",
1246
- "4365664869724113934112630479809518948808449158812862195377335314227128146059",
1242
+ "12754247067684402177735012756545644802931969186351850348267350800530381710889",
1243
+ "12099320383809626212538063580389580146479432740053820359931631615973679594280",
1247
1244
  "1"
1248
1245
  ]
1249
1246
  ],
1250
1247
  [
1251
1248
  [
1252
- "9724485076061228092177286932258189815958450833155679889060988975712535081230",
1253
- "1627333086421877964064603957348348763696708139082607562629629725119997724989",
1249
+ "20569140258661538465609309793901226556624357340596540902506272918822843322531",
1250
+ "2017406326337631666462757323673108269372934973549118846730220374674251176020",
1254
1251
  "1"
1255
1252
  ],
1256
1253
  [
1257
- "15641874381988682075545920458678901707167602315586561132909307694310257446023",
1258
- "11034182059786563285109970430313289917032071817373248775707546493147901388113",
1254
+ "8930386498955868728437719758548962891090098587711934821538044189694826516007",
1255
+ "872473829025777192208369973080667467931337092296241015253816466644156502335",
1259
1256
  "1"
1260
1257
  ],
1261
1258
  [
1262
- "19299574745226772810381056007321573284793444116746272581694295128392282602507",
1263
- "6482638271546132546782310681506292669989505915370438641175376336582811537739",
1259
+ "14175483990404027876489685615252065635624351311985076586246376806044076171681",
1260
+ "21113727364143444744320684807133692848155682709637854676360180810856157393211",
1264
1261
  "1"
1265
1262
  ],
1266
1263
  [
1267
- "5515138970831679245126906315331906152285174207704247085730757090763031968272",
1268
- "5476746571008230667726688443817396210804752373221945489797046634505665572661",
1264
+ "21439870082805702808423271601350020366447074763322880342394619168639880010353",
1265
+ "7941400412695603400066807985139336675527571568719383199743967549562760847347",
1269
1266
  "1"
1270
1267
  ],
1271
1268
  [
1272
- "7666694240010574980777401583687953099995588711474009270339615112182231942529",
1273
- "5345423812126487230177352826531606752132805611025916574123407915411930666385",
1269
+ "19711238424452525257874734679153550868908489249281428800896614012097184204539",
1270
+ "1782886157746007131009755123169028924792171885647986298122465765882446893776",
1274
1271
  "1"
1275
1272
  ]
1276
1273
  ],
1277
1274
  [
1278
1275
  [
1279
- "3527954161191330198309290076708590175518992377857531220243324230315686986882",
1280
- "4506493800007416260514839382433205292331764028735360433653631210611507932973",
1276
+ "7948738560901759935533785286497248696866588866996290173286993599015937713465",
1277
+ "21383083772687014354764890701208254541124597451836477810961923232709302021348",
1281
1278
  "1"
1282
1279
  ],
1283
1280
  [
1284
- "5530043493028748853396066194331787195114268917530734310055878976603589658986",
1285
- "6225101949608434111198442012357272827532649788667254718474232856896193900534",
1281
+ "845357010357280479944538583795503840023220661394091932603683779589326608493",
1282
+ "9847059640727037259955689686637736252456504139198706340172889541872241315919",
1286
1283
  "1"
1287
1284
  ],
1288
1285
  [
1289
- "18857681750145313162493356993928966938826030906289025101399379263672964054354",
1290
- "869004496821135911657110194622810910776043851317139916414752924319830673140",
1286
+ "19735028023509709139030944391271643151114464633810368686216146704985548761847",
1287
+ "10957037344663239394296826351850357744479187402449826894971824022120305906864",
1291
1288
  "1"
1292
1289
  ],
1293
1290
  [
1294
- "1563829187789877652048924285544523323087888587074484491222967490033068091506",
1295
- "3746011388196035005128740753677692387874351474501361202463946309770129429478",
1291
+ "10857218356588720695758480414315056247878298878160777845472097706661362094341",
1292
+ "12659230123239601491190024243702303223083714138649191559763467016464950902974",
1296
1293
  "1"
1297
1294
  ],
1298
1295
  [
1299
- "8923361680602360491637539340186330583808472610027697444204036893010926051377",
1300
- "17386658730777389148551542774423634880430074554050371095211396948875032586750",
1296
+ "4421692819499651847893059627845897615941598824341416417746061212686721404569",
1297
+ "4146994199944194392929920675270913726921208803955884486055317740464155452045",
1301
1298
  "1"
1302
1299
  ]
1303
1300
  ],
1304
1301
  [
1305
1302
  [
1306
- "18030052417377603682453955579175094175373404791176719861146533099419481910116",
1307
- "8281176924556272137773300347187527516223668703826908452855802099328657344885",
1303
+ "15524220854714802572483165049645493863308840042702423000991528655143800991355",
1304
+ "2873680296803877577016758114722303194280798603668593539655354944462015491495",
1308
1305
  "1"
1309
1306
  ],
1310
1307
  [
1311
- "11849913964821118293258226409033507680960291656604016015128854810099746642358",
1312
- "2718653438901851962181612429288634518502998150085578586248082443515454453331",
1308
+ "21511635879655991539220445961960114690972101995911258097114713712702107045198",
1309
+ "20989977887759636736506409375156488285212092933625761767652129833950022384077",
1313
1310
  "1"
1314
1311
  ],
1315
1312
  [
1316
- "17998120665039026798317726060462551095622279047136565816648549826384179735803",
1317
- "5133986071087432716437635164720916024596119526725252628340805179596147643344",
1313
+ "11893761581911568529718634584272936566371671431644798220328762769071992281769",
1314
+ "821937575358525853867134896951064858145451123332822273699031793459545438220",
1318
1315
  "1"
1319
1316
  ],
1320
1317
  [
1321
- "10436725621240227608920674037516192343160590540839553356331196590007025190330",
1322
- "15618861474705274368161439159831328775613537777134266634959100526889759124590",
1318
+ "2900430274359310690618524896692923294309054497364476374787343685871008327165",
1319
+ "8720502599028203845501964097003798275885159830832083990464536252871878361950",
1323
1320
  "1"
1324
1321
  ],
1325
1322
  [
1326
- "2511040106219966488942941427805413210834998861588095124665874406004322450915",
1327
- "9256734357641210393451356199893573129989430877284906007481196262323584132500",
1323
+ "1526428634965568138084807644441790092430312972915852759909840939607375411557",
1324
+ "19330600709830876812659270341031828899242066658652911432691190721367768585276",
1328
1325
  "1"
1329
1326
  ]
1330
1327
  ],
1331
1328
  [
1332
1329
  [
1333
- "14565877561081097978808851096191380459292726072163754601747539666057949167693",
1334
- "2135718143241813932226161801358235289781058013695871838383051572102928884567",
1330
+ "15149526674916552957955295978442191746545588987005646023076350825495164721219",
1331
+ "12312465770047962862603387783137521184964644789601726457701818413820820272023",
1335
1332
  "1"
1336
1333
  ],
1337
1334
  [
1338
- "20522747851108608773003772892187458826390403588440155512773881116135635256410",
1339
- "11218511591600821722003994140994121719832310771637604152054113941332818455369",
1335
+ "887052875132869652511134918618513446133679884112861540520879340141174426565",
1336
+ "10115049661803710859041384900020828734925904855175927511148559372913626176423",
1340
1337
  "1"
1341
1338
  ],
1342
1339
  [
1343
- "16404237709834224719800904205708261378663612035126521203425485585484994986837",
1344
- "3167586669955731698085513002461997957955073343333183557668566807567186590619",
1340
+ "5335409634692316857819674999057409464444242845634814146712906279192471239809",
1341
+ "5867058049750435253082799741849677700112882194321251997160086323676439139146",
1345
1342
  "1"
1346
1343
  ],
1347
1344
  [
1348
- "12910675356590890481798719900077391291951346627685199305549632303581651173802",
1349
- "20462953503625657093808736208830478011818679863351201550868889073055617578896",
1345
+ "6390335593305126396256729194089555311313091462505885780325052702321666121656",
1346
+ "18487381412649551489908018712149896108342038275401398741392342574667805120371",
1350
1347
  "1"
1351
1348
  ],
1352
1349
  [
1353
- "18947108562530644410102590841857357185115081182319111952079371871969663671988",
1354
- "6652719222291337824561052377450295064566587460338214284424446330320206208978",
1350
+ "17561344226180944305762210377179940277644590157840351095259676105374613733721",
1351
+ "4457686444931138591019078740391588957257078602913243534934572777347626743441",
1355
1352
  "1"
1356
1353
  ]
1357
1354
  ],
1358
1355
  [
1359
1356
  [
1360
- "10110377608880446364161064735161091842938826397512230713135002732708361876777",
1361
- "6013899729219769410326935661934883558337463050053435907100782150692294649745",
1357
+ "20965098559008326088590813869369456731378432392318458389001266401345175640128",
1358
+ "14042828591773129117206816827175127705869746953500687337512206598432260576909",
1362
1359
  "1"
1363
1360
  ],
1364
1361
  [
1365
- "18208889227209298598015138525374980382541030144328510393048300775270787949840",
1366
- "15191444075449840811990314906356975059662539527217455842253932605838538105879",
1362
+ "5160681346448651659586497626661693862047749997839949437718804008266201457999",
1363
+ "11172176363472818962500882015702798178554277628753617638505156304795149694647",
1367
1364
  "1"
1368
1365
  ],
1369
1366
  [
1370
- "19203188682890514423320800755662084436821947463936810212920115637567986869322",
1371
- "3424855308164288636262956984024538145687254883958282264766019244372264927134",
1367
+ "9895986787829279067433235580007733873150486410258899510591342672926524338262",
1368
+ "17085567524013227702565183892434387192890814083751488492831524336837189984808",
1372
1369
  "1"
1373
1370
  ],
1374
1371
  [
1375
- "19586353501601321585672146098476085745700368665390426128801697725086439710122",
1376
- "15010004828387861046033155948517332272437733117418549079342100218646019702080",
1372
+ "17471523688926285783254304025970975494130344358093089172928286129162874908131",
1373
+ "3190459887079760041138579995479624601272160343741716768493984499644215530817",
1377
1374
  "1"
1378
1375
  ],
1379
1376
  [
1380
- "13686339229559293872534012092085760944059315023471369613822812965287369238447",
1381
- "3695584012986626869153168308549979767804807828687034680677188403817830418810",
1377
+ "18662209391457416490153143796070619643893396621545796882925365417699096037127",
1378
+ "6833842027579236353670470801903886997693550374848352300397337592884841902973",
1382
1379
  "1"
1383
1380
  ]
1384
1381
  ],
1385
1382
  [
1386
1383
  [
1387
- "18696621645163318552472841991871104820660024833640321869898695219244792544787",
1388
- "16940838088709411711968888146075539661653566927745755478421474505108166140656",
1384
+ "4908945740153659215004152332101565405606019996633759468461775762281774394964",
1385
+ "21011248797424996501576245928148760982209531788903875960854085764120406894568",
1389
1386
  "1"
1390
1387
  ],
1391
1388
  [
1392
- "11530916114120676768574532193664705720045810431665651204245333670674998923676",
1393
- "7355883923626920336916662475522243088902821161113628716197989160163721774248",
1389
+ "13191008177770444933875632803942491031179706626542149422632460744200672261433",
1390
+ "1534165799369514105278531017786135012423608170399490521452613521868069083539",
1394
1391
  "1"
1395
1392
  ],
1396
1393
  [
1397
- "11855011297239142909723378707832446926509921514737098047687587969894126468497",
1398
- "14942813403879667533705178220673159254886774089783887482228941707848831481300",
1394
+ "16894654236774440752849008601950583853871672841436606103637010655285521468805",
1395
+ "20503922814345137359818511992650618260854734179392765985788772320945807579232",
1399
1396
  "1"
1400
1397
  ],
1401
1398
  [
1402
- "12982663140753853847528768000921561826340636419307931766400467366396846035169",
1403
- "7171806600323437636744282845777660095738436086868856062406225133619265520575",
1399
+ "13065004268029098058138430723943654141471155245888474763272723897073163158870",
1400
+ "5710512539404913250371646267042373316074349637235274990715695121915177985129",
1404
1401
  "1"
1405
1402
  ],
1406
1403
  [
1407
- "15982491779929281894294451486893882850583039973528579274058985191703359466543",
1408
- "19910319651211685401050894240685395121165652955380089146603485967076493605680",
1404
+ "14148729598053591118540483472641383317499343352874570514181373418501495979135",
1405
+ "18856781179557577889492055046909497426316721288753969245955789785217388711233",
1409
1406
  "1"
1410
1407
  ]
1411
1408
  ],
1412
1409
  [
1413
1410
  [
1414
- "17688699129722255312471132988267997472426043097741089176095207368928695347323",
1415
- "4698778325800416923484519718058460264124242609977080857699400967590134848728",
1411
+ "10090652918710530653917808099435521159139748895195088461766119767235382436576",
1412
+ "11091318837882255417245526804952366330364297128880660202614912164204547387079",
1416
1413
  "1"
1417
1414
  ],
1418
1415
  [
1419
- "11905991584861721837480962390330989450197421918781662074678555052926188909272",
1420
- "11195321655863853696452219195252788379254952714823481930861848719672010792417",
1416
+ "8860570299683598442096621998505070786848371471891445883297294946785878462046",
1417
+ "7989998825639039226638403739478078279058331826271283865638775161540842472205",
1421
1418
  "1"
1422
1419
  ],
1423
1420
  [
1424
- "7364573423043519994861038175593500896079924196888521130462378149111415036167",
1425
- "8488161531239994007634631892382512438657593769374020273048837520623507271908",
1421
+ "5346342817560086063900183227140116104611446899776640442309983595929155827321",
1422
+ "4728227596360335588497931997198199618389028039915632351482864022192863414648",
1426
1423
  "1"
1427
1424
  ],
1428
1425
  [
1429
- "10948897450624334536526533930990935852623955696383743452358741253735922067160",
1430
- "7654175296077985337834288232610181411799310934515705881481549241949669590123",
1426
+ "1307197908815971026337345328869558826873966665701251987075516911433581254909",
1427
+ "17192594132693997565716997863213921573339127511539160924519416789869957202415",
1431
1428
  "1"
1432
1429
  ],
1433
1430
  [
1434
- "2456818423512317060112219756429819064402183920202453945509918337536940292593",
1435
- "10561627566351771351550703479997725668661012955063201536370060753602302262655",
1431
+ "854313248786131707673817118128172947011734727201058576923585746608785231698",
1432
+ "18557783153500861542115150359250262617238014629884753038143872262563631673183",
1436
1433
  "1"
1437
1434
  ]
1438
1435
  ],
1439
1436
  [
1440
1437
  [
1441
- "21295163659036117126535933666532228255134275601226122998452204301238438701469",
1442
- "12010652807420347304532358791037860496459429689113682253200903987591679627067",
1438
+ "21873161228197346175501960516775761046310551102876777509980352203545771687279",
1439
+ "18707215645523344387389072646192481937934910226525478131002026622437999592104",
1443
1440
  "1"
1444
1441
  ],
1445
1442
  [
1446
- "16035147304145989851106586435462674695447030608653337914734493255503105122271",
1447
- "9396862051344040260236487045030117425080665841603826234795752404308634565281",
1443
+ "7343587390040263454901211025850787161897089142580995068010391768468897930463",
1444
+ "3658482648621376529359993625818469007071846847686125714572914895878334673518",
1448
1445
  "1"
1449
1446
  ],
1450
1447
  [
1451
- "9623434193020540057685957851610556657916120473978726845338192370747426064401",
1452
- "20738972702824723087864078264786214906718601061526079118500228332898388551221",
1448
+ "4742211578535476701429549849782161889960683750638901011419410277299628721062",
1449
+ "2062074646251094013383801177102242087162824079215143848072614126154740843156",
1453
1450
  "1"
1454
1451
  ],
1455
1452
  [
1456
- "457108501000029082366810998923133233303603111079376685755578228260824733356",
1457
- "13918719735797746251051948238671198059940858851588937008268023917020073366433",
1453
+ "18359716361472545461462552730463973209963417807304950174942922559864719815140",
1454
+ "5056983827460857507380069984758875481501753803689425329782154255566746480271",
1458
1455
  "1"
1459
1456
  ],
1460
1457
  [
1461
- "19519317439483352367895890468095276150233498159453735432212409926941855183358",
1462
- "8400170000010792082337905010575114377571921640630709589910201278654198179035",
1458
+ "14523010611387055577444871812760136002558690970659010707623178497982346846259",
1459
+ "3308345367668716069546301029004126598369832062210584592843582343472237828743",
1463
1460
  "1"
1464
1461
  ]
1465
1462
  ],
1466
1463
  [
1467
1464
  [
1468
- "209896847902324756441033880218169809685412620378498856437573937154846479551",
1469
- "19434208870058033389225349051527401299247475125763108527095891214558119617655",
1465
+ "16279527660665560355373897040370331935550579636485220014724853911689354938317",
1466
+ "6904003978912368193685095776664457394689153505695462937591869249516186513285",
1470
1467
  "1"
1471
1468
  ],
1472
1469
  [
1473
- "4154375339831547300427516624109559852426973786711444825735879648391004291098",
1474
- "2168897082728012692838287354581700563166925732559863316849698306675591131396",
1470
+ "9560809010919012972784508113817963427911544684087874867287891696588652270833",
1471
+ "13758961106589113647808540883579550842476020934204930349712786296821724901343",
1475
1472
  "1"
1476
1473
  ],
1477
1474
  [
1478
- "3690054103601385333490512469861728231387681704127049683413276534001532261943",
1479
- "3997073653940540957268729302105309759820513901669570962308110503858257659002",
1475
+ "18356744759388728427363109482137723412533183996214818264972597809041667896335",
1476
+ "5843668172052689167358136858716513420447295937450806286266266596007287395332",
1480
1477
  "1"
1481
1478
  ],
1482
1479
  [
1483
- "1493108383089723041516694658460301260449183718295935886883417227290045091286",
1484
- "1479721274324005701970059663387618978577823761358404739977258141309872068056",
1480
+ "6420709462517387112057249185404316892233472189408048416844208695646527254338",
1481
+ "11623328726443586571439388530328496139775426107786158218167129166814518113430",
1485
1482
  "1"
1486
1483
  ],
1487
1484
  [
1488
- "20291086357406391640638647514048720424247838755446061571102712546958076851767",
1489
- "6860718845648137601753080432837091439893783461195961430761483584544410630099",
1485
+ "6341494887912612689219682089940932423806240450766177732005845523226141860243",
1486
+ "15802026965858221515632735764793156144768796599084524967329305161737051261612",
1490
1487
  "1"
1491
1488
  ]
1492
1489
  ],
1493
1490
  [
1494
1491
  [
1495
- "1265438250797513961458031163301351393237543067943565114202366151377865506872",
1496
- "11342865295714982458109220575532930834959120923837779800176462280225501198217",
1492
+ "10103926722931078982605706030949362655307484076062888935846650016759889142093",
1493
+ "6408523803583957861093178570261836839579534913280087539951995502207676033681",
1497
1494
  "1"
1498
1495
  ],
1499
1496
  [
1500
- "10415384677581396651184780193811022815145977389536746022901590915883889609878",
1501
- "5311187015233522007413118391261106264838418369874755037462489089469638365756",
1497
+ "10515315627673485567554065052355582969267613011291774163291091821958057145537",
1498
+ "6768816808998775963922309587602657956543153937962248581523225331650114687940",
1502
1499
  "1"
1503
1500
  ],
1504
1501
  [
1505
- "7499079368996193403750547553190134606728655877653629403923945654291953825315",
1506
- "1743769713774086589463238504150542785039161133276706463569974209707667651575",
1502
+ "17178096199287690004953753166317162487668352699797208814859714742711871622892",
1503
+ "1014767011860319157328160123936147170910126758311776156091691264430445201249",
1507
1504
  "1"
1508
1505
  ],
1509
1506
  [
1510
- "5792276842105452143354445764064878932177699791644537942211472215636738768211",
1511
- "9443070058088199873709166495831389298947366881168483562080569357428781583046",
1507
+ "21256511734324430227080113260677171318782797168765800041483009690171330532116",
1508
+ "9426039316756883303579762915588950342012805251014466846083022268829685463452",
1512
1509
  "1"
1513
1510
  ],
1514
1511
  [
1515
- "14451507664847323254023899990839043037382802537389529773382951366995420730648",
1516
- "7633550475637360595097128986678209600092185294414596687526062925070686318486",
1512
+ "8705141798118322524085705638485862297622530882657925369627636348715218022458",
1513
+ "14758676262742035851849342002101814045101609645216471797951315602416337926711",
1517
1514
  "1"
1518
1515
  ]
1519
1516
  ]