@semaphore-protocol/proof 4.0.0-beta.11 → 4.0.0-beta.12

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 (5) hide show
  1. package/dist/index.browser.js +129 -129
  2. package/dist/index.node.cjs +129 -129
  3. package/dist/index.node.js +129 -129
  4. package/package.json +5 -5
  5. package/src/verification-keys.json +128 -128
package/dist/index.browser.js CHANGED
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * @module @semaphore-protocol/proof
3
- * @version 4.0.0-beta.11
3
+ * @version 4.0.0-beta.12
4
4
  * @file A library to generate and verify Semaphore proofs.
5
5
  * @copyright Ethereum Foundation 2024
6
6
  * @license MIT
@@ -170,12 +170,12 @@ var vk_gamma_2 = [
170
170
  var vk_delta_2 = [
171
171
  [
172
172
  [
173
- "13059836359816425778553975687206846338164409479984923255114294465523619970040",
174
- "3494501265090266483323776427125076982570488036063792468650150218138148835293"
173
+ "10049769308514589345710525790497478045162192181874654650612439582831356277192",
174
+ "6798275159111696631765684932966934480819839778360905827982023140392612472251"
175
175
  ],
176
176
  [
177
- "18815265419617029498036243865004357229581831642357407445454759910979500165426",
178
- "15151249351679674757179857367151108866106292017800258580857323337349056252481"
177
+ "9632931161306518428495887250948808623666181422608519935229236995717535313753",
178
+ "13909893679970909921284721325099295595079958875696358686115736114533495869795"
179
179
  ],
180
180
  [
181
181
  "1",
@@ -184,12 +184,12 @@ var vk_delta_2 = [
184
184
  ],
185
185
  [
186
186
  [
187
- "21284355201064049515013725567964698308458995747497567769096321545369178267664",
188
- "13532761187117457776267167491166240112603073699238075603358405884195273308130"
187
+ "19341779283870938325962302230892649885502492339014465701160403382913313018716",
188
+ "9002589149121965406377790703690701514742110610103894317373190676851261250182"
189
189
  ],
190
190
  [
191
- "13755025500407841928271808574327563222159647895255773830113509677575485710439",
192
- "14708709266814413125869923160757837040371326884025433917243343433022571511137"
191
+ "15853924395610285571497184614672056220255220256147800551140212909213761909913",
192
+ "15384387008815567134216543585911373077215244920196736604974944142355824894376"
193
193
  ],
194
194
  [
195
195
  "1",
@@ -198,12 +198,12 @@ var vk_delta_2 = [
198
198
  ],
199
199
  [
200
200
  [
201
- "16786097788016607790742808610154813235622999962925024769202024012743068916317",
202
- "16288589209448575059850904513787407047800601393647902754951819632644221425590"
201
+ "20083606144842666939684160820556467581044745205228415333288523629251382490832",
202
+ "4892475367240699533498124978912576905968020673574559095879617409161257740280"
203
203
  ],
204
204
  [
205
- "19054287618327819080244377924220084730619755297417179223777968789329427435290",
206
- "11802625068933862043088882453234658125803235172103758441218874440784454679433"
205
+ "8880701712891502068342106183752508169009511975869428067925759962432179990770",
206
+ "19196917991372254097659601920372094664470329157515388592183392963173987434415"
207
207
  ],
208
208
  [
209
209
  "1",
@@ -212,12 +212,12 @@ var vk_delta_2 = [
212
212
  ],
213
213
  [
214
214
  [
215
- "2467775821309410353298170614346797970620091442818193435415958276311437053860",
216
- "6754034540226318773202391358963433276871786953717809855694353846932854329785"
215
+ "15595111262392352699569329550863719272136417639201948573321210451845475261310",
216
+ "14709385606134004409926090352432771201334818755294681438762198567603122984956"
217
217
  ],
218
218
  [
219
- "11900626424250849274937718621509251345343138630887182003298279365567651532774",
220
- "3795882684032276797539296527637960192876033451771193231958863625204108357841"
219
+ "6894292519900463438264764292659242116361936210107228897203114956615108320465",
220
+ "14227147558489134328158035447732190048870965571562543433839005727350235629494"
221
221
  ],
222
222
  [
223
223
  "1",
@@ -226,12 +226,12 @@ var vk_delta_2 = [
226
226
  ],
227
227
  [
228
228
  [
229
- "12933614295322559340061757843860755814119074678469087137971477853826215320477",
230
- "17333116859502962840043101407562668240640230466282480836955810105410227775068"
229
+ "14320850367979727803456370253215537369678224171279198206044992705279862306132",
230
+ "5475541246268319974306511838266954642349839591742677843373092350878881816036"
231
231
  ],
232
232
  [
233
- "7294988186022326345519392644681725286083380252049244042196946627153179228896",
234
- "16047936521695868738870018107292105532713465015164559404074987652783597045737"
233
+ "9695519010485916829174245942670015592311240112874015080337013283624414875322",
234
+ "14026863062721131266417143383735927929515468275568001741023143022462108466668"
235
235
  ],
236
236
  [
237
237
  "1",
@@ -240,12 +240,12 @@ var vk_delta_2 = [
240
240
  ],
241
241
  [
242
242
  [
243
- "13605330538883882809690822917231786498790079369748019502396183248967388405806",
244
- "15568762761287080334123901982501029099057449591979709935902691107711749249022"
243
+ "12402838088924052923512617712407943454558325804407246215860795418264423785092",
244
+ "10286912080628596477467183526391676938111746098793720613051271594210995874277"
245
245
  ],
246
246
  [
247
- "663727981727505127530084497770681234757756087785765426261978801707046251460",
248
- "4557473062770366777369570006933550632897701110895009604852123748934703573598"
247
+ "18192144771812728760821091791509406004413270888917521896519497516182602851052",
248
+ "8969827906164370148568535190125332589838680819876134752608330672491611718778"
249
249
  ],
250
250
  [
251
251
  "1",
@@ -254,12 +254,12 @@ var vk_delta_2 = [
254
254
  ],
255
255
  [
256
256
  [
257
- "5537576101367227927432290079717223894972087264645714861714512123692630233528",
258
- "19054688611757691116083119485406638328516261425570134055761099438916542083510"
257
+ "11068844518467094308182673400072406174415035287465774858372276008144890272347",
258
+ "21294477411884184721419887719040509211791603543588769195913632677965664561521"
259
259
  ],
260
260
  [
261
- "8586836112195763056179953883229406431968181502947295115552125062679854083702",
262
- "6979029193706864774816090585159218044225824044811622589489754672108831626492"
261
+ "4898298183000166428070984533097167988044449442228324686951622815588789280020",
262
+ "3145975317148809397211222308484405528017506805621720865271122352919092734185"
263
263
  ],
264
264
  [
265
265
  "1",
@@ -268,12 +268,12 @@ var vk_delta_2 = [
268
268
  ],
269
269
  [
270
270
  [
271
- "15652564582439405385221211230207905588664570626471430290387353913847742289423",
272
- "19578851418759832732932704168311617005093075745056434533146726479017829863318"
271
+ "18275029135856620478842184125347270385705018956856636472544734692104668441197",
272
+ "17019299296527992906342471627956454165356014861255173051509531752951474839628"
273
273
  ],
274
274
  [
275
- "14106834159967458301881233489789009851186059673153032928358078463768578862295",
276
- "16643936505220289641562675739145660599904253967999119934999861447807565341362"
275
+ "4726292743397434547486156972449202870187918808626632743805765024906772393932",
276
+ "18712955702371136698460276131619504667967074451844136203135440318125770689683"
277
277
  ],
278
278
  [
279
279
  "1",
@@ -282,12 +282,12 @@ var vk_delta_2 = [
282
282
  ],
283
283
  [
284
284
  [
285
- "9848634919654176463577373224145330482034525085313091961003436980620107331892",
286
- "1685688713043683238718199465856766482066511448257730427497355513493739531611"
285
+ "4203949560354147821783061259439508268015232617968894950825877033100175693770",
286
+ "7070022814268269475674001477040669982274081663112043242616687573179272469763"
287
287
  ],
288
288
  [
289
- "13480350431152755858527378560944736211973688467090758274688486468999380580617",
290
- "18196877315995240142437674253225787667859373842602255491217815157552464034485"
289
+ "12940391355331109441147053871885221765801476632578768077585085250842908979972",
290
+ "15428836885992191488864297196572470385256339610669991675966605773279258629810"
291
291
  ],
292
292
  [
293
293
  "1",
@@ -296,12 +296,12 @@ var vk_delta_2 = [
296
296
  ],
297
297
  [
298
298
  [
299
- "12236736981369574728236515244179429788162438563725746867632140895351148551552",
300
- "21786356007381173571659640827279042005211499352757309589075661822822184336792"
299
+ "15029143251469020678417745262015955011761489030158757959406941301509954637253",
300
+ "9215863273591023879373751614289228209440638027086548351177699133093136218918"
301
301
  ],
302
302
  [
303
- "19080091339088228168648496513310089433965291972445393982881627786426476832461",
304
- "10863564205627431677272082241703292907572336123388414891152924237169726048989"
303
+ "17630923485910370531147811073172401806424795286222769017995022586794787691894",
304
+ "17639902090432855761607212999107125862255080434477939330403550134367931862250"
305
305
  ],
306
306
  [
307
307
  "1",
@@ -310,12 +310,12 @@ var vk_delta_2 = [
310
310
  ],
311
311
  [
312
312
  [
313
- "18087906293812032247545697502040580639160189604135547745784396926653417233054",
314
- "10309025318092075922877899889998376514894538129513157785184221239491816007275"
313
+ "13783008611244158112820345862046566925592820181422685465611038024392658912218",
314
+ "11286999809932675831231635172884104916598198610643895494221292893580015272745"
315
315
  ],
316
316
  [
317
- "184008375360758173891663157848136305080059410478051745043500682115967930421",
318
- "13762379406944901802406147105406409563171519837674920666882385732457367565067"
317
+ "18220331907668058189189266984811818382536030325980319490052254711990106619408",
318
+ "7399859568003719929092067255297667044787076639314018778324389410794797203822"
319
319
  ],
320
320
  [
321
321
  "1",
@@ -324,12 +324,12 @@ var vk_delta_2 = [
324
324
  ],
325
325
  [
326
326
  [
327
- "13069258073213826018511225623792777048865648697927965549278238995976541682378",
328
- "1756370075610000391065900031440928534228372460166358020032744967867009404739"
327
+ "17038353963915800405951415178090940216214909064699790293151814567548494237780",
328
+ "16377454805970471136556451041642561492050129029468552950239023629414014853926"
329
329
  ],
330
330
  [
331
- "9140577809263846446846557996533548785843500894717723604305025713383218414559",
332
- "7782751275919236901187777136923054830643484083829974136976698114515315637057"
331
+ "15490021089663831333876456182365939475639854244939093159179164741657017023319",
332
+ "3632028168433409518690370660019979191925992823806956511592031439491580827093"
333
333
  ],
334
334
  [
335
335
  "1",
@@ -338,12 +338,12 @@ var vk_delta_2 = [
338
338
  ],
339
339
  [
340
340
  [
341
- "4288116053201917097935075684000732434752594062540657362132573163825118214678",
342
- "2013822349576539187255170167791292904450945890590676031546564364203578428335"
341
+ "10869362019203773549991994466432246818750552482449272815024995819170579818159",
342
+ "19318612173039398554610402032189036230760569630971013176034600348734573687128"
343
343
  ],
344
344
  [
345
- "21859395070840197113042028262962323095719784329051140880224965059514424348831",
346
- "8077112032513125799331495973006800784299892868940747570902318145444056767128"
345
+ "3245151284162480382840661459866398914990218375518126822356780454697379196592",
346
+ "17376037803297137953593713472693431735691900221654570494069764772063916969267"
347
347
  ],
348
348
  [
349
349
  "1",
@@ -352,12 +352,12 @@ var vk_delta_2 = [
352
352
  ],
353
353
  [
354
354
  [
355
- "19016912455127243850008892664785684778896975209193735443658242892839245034020",
356
- "20175815417917544319876056782814914933529560976800336038485418111883227853782"
355
+ "21739762430966591611544841693197130387727042679304816904320680605415377362025",
356
+ "13337456010890669571312110722110978626654402271645533931088450675631972389174"
357
357
  ],
358
358
  [
359
- "1733299003416816864259549315192082251876301168870557296608277844652111933728",
360
- "16407892224237245445759181057634763320099880121738727631152800143921701752766"
359
+ "9392230200497743555544102618287208999941692619434060081126831244370851959140",
360
+ "21111955068677333960505079108312560231811849538594697119908234179626105686302"
361
361
  ],
362
362
  [
363
363
  "1",
@@ -366,12 +366,12 @@ var vk_delta_2 = [
366
366
  ],
367
367
  [
368
368
  [
369
- "6459673724557348935705566417966034360840940513046631280825724658596691372236",
370
- "11732104488418080835742848495999449390672991477162489659934147182999672535901"
369
+ "9765887841111014027207536734081294072212942995633675647422724718381533100171",
370
+ "10611805799193697089972647133835358446175696630019306104758388585312795475026"
371
371
  ],
372
372
  [
373
- "4646055529276583783430546562443788975802459143056296894781022758410365840191",
374
- "6029012855434716453595719715412319477813852483210244923240854148622030700333"
373
+ "12111202900875841332274674234864138665123655274511234144349518743965832241535",
374
+ "19734635784073407875945934329600179316595807453795254623432046479616133177247"
375
375
  ],
376
376
  [
377
377
  "1",
@@ -380,12 +380,12 @@ var vk_delta_2 = [
380
380
  ],
381
381
  [
382
382
  [
383
- "18119791555976875181530385865721092494224184674421992280086192965672251542369",
384
- "10984413251461965647935549809134853212592257018647144589799535518309030045652"
383
+ "9338876125692749169921649753345966897920335121369780024613311788669200836231",
384
+ "21819764752388384320943920865020023504588699757854723759009625630599418384159"
385
385
  ],
386
386
  [
387
- "7130566849274623382593449799430907546738108731698918345554426216822781939144",
388
- "9145503195549781954670301741558506961167250692965330519317415426822517754673"
387
+ "18733835313573560168713238640348200008758608939774980957241614757051426557329",
388
+ "16193105938174292468402166430441544247332830012383311834096877330373326202912"
389
389
  ],
390
390
  [
391
391
  "1",
@@ -394,12 +394,12 @@ var vk_delta_2 = [
394
394
  ],
395
395
  [
396
396
  [
397
- "20130681839683286699999162868559569892047546290445540680321104858780927447891",
398
- "13720910810322640236241345084228368577289121108674469591653285046643807920592"
397
+ "3919601513420678474289276072949118564098120747866534224625771548831677958372",
398
+ "9675068040487058613030479303481110062861018853323992035192122053375288989240"
399
399
  ],
400
400
  [
401
- "19975766244574254201679709416326566199725210321908005962311647177117814001433",
402
- "19384575604207898920571405644263255260754982283494527106631330593535635397279"
401
+ "14825744772260021909192492207967364627484904101011554011523154032558083852565",
402
+ "14608360470284772612816373122857162753416790881336559383898199290740342112532"
403
403
  ],
404
404
  [
405
405
  "1",
@@ -408,12 +408,12 @@ var vk_delta_2 = [
408
408
  ],
409
409
  [
410
410
  [
411
- "9443203291481021710901029750383878696924345181407701672283832773787973929357",
412
- "3623654015087414721623407943467672461002500175886362625657458770102123762131"
411
+ "2721486373801018323157167210616746825623246218390071226081564411423434451187",
412
+ "12968340607736823528148475270009593191211106142050392359906510451365260428580"
413
413
  ],
414
414
  [
415
- "20783980223895248302225054295761481013954415663729096577932141772215407111525",
416
- "10936780876916181422574139993481684366447129939437423271868090426234211011172"
415
+ "21479491441666028821536714814783435198368229014209693309182760114418462843253",
416
+ "9200592412239337272867558509657794777460340114124665277681133167901890516146"
417
417
  ],
418
418
  [
419
419
  "1",
@@ -422,12 +422,12 @@ var vk_delta_2 = [
422
422
  ],
423
423
  [
424
424
  [
425
- "9354292212142814677109747486323108648096936042340817605919210179321989308917",
426
- "2691056408064763934730579100312307365419695285915108108510025624053099691059"
425
+ "4793686881935694857536946556150865385816389634693618604434563516314064685468",
426
+ "7468504662830152377628803783383953933430030795298938442558418401235422516300"
427
427
  ],
428
428
  [
429
- "6884402260223763449545988617300286545815739386455462315027606685140336580267",
430
- "20671296014916566316534621652773273840585037550883195749265386216295483140229"
429
+ "5369558539480434036232750403701436967132622763576337857204435045501308015944",
430
+ "1544206620168318762839348132398850094597148992890365849594573375964142863145"
431
431
  ],
432
432
  [
433
433
  "1",
@@ -436,12 +436,12 @@ var vk_delta_2 = [
436
436
  ],
437
437
  [
438
438
  [
439
- "18234746072930724806231995798390096761122848034387635694143726587529010836110",
440
- "3068590229007175726652350825575975480933564242399453586465825082294647475860"
439
+ "21484720459303605302798978604237614472976046584193439253348361650969825748292",
440
+ "11778504031072617076835666396737479480765353231040635692430530998929741888857"
441
441
  ],
442
442
  [
443
- "20400009938273944278780991216131489368203720208632049864993233212641381825170",
444
- "1919684949146675959680323349314941369203574019150554584779991024393742280845"
443
+ "2793941551558768339218839007321603095797268500190811372910811097625523777732",
444
+ "8499136457565785031004321689745329944377719203840897611578892135704152228750"
445
445
  ],
446
446
  [
447
447
  "1",
@@ -450,12 +450,12 @@ var vk_delta_2 = [
450
450
  ],
451
451
  [
452
452
  [
453
- "2774371060614150609505152344392883392716265245943510628736114293073040141197",
454
- "8447854758365235234650174914302032784976268667989384822851416849728373375962"
453
+ "13694249165008464179020280306785446096967664405044044843321440965214796746818",
454
+ "11875738647114616324350947684061726919561909502972863503130998242120718452173"
455
455
  ],
456
456
  [
457
- "7186617426186972817855986804168941432350281910461206569148058741387131498151",
458
- "3015263507065482193204789265551006236425156693888783715997203837690906201829"
457
+ "8478769662157599345424310347901565107922506021173025438525323643981274129672",
458
+ "19812433478661078453961877947302599509407379278239949313742808880496429684167"
459
459
  ],
460
460
  [
461
461
  "1",
@@ -464,12 +464,12 @@ var vk_delta_2 = [
464
464
  ],
465
465
  [
466
466
  [
467
- "8966253575788130771852727739125896841145906149133271403123431077749138822231",
468
- "4840070530275546035801699608444700918579228818207171384987643157345263587158"
467
+ "5812040741672176204747103844640668295298927415072914668459838256763201016256",
468
+ "19806735015669785931995353978269817545182909058206355431360188275802638341659"
469
469
  ],
470
470
  [
471
- "9962709838557371377047621521224985762013252610725145923403828793639693121455",
472
- "2601469036026438601891277833343663261084005848061139271388586828809996187097"
471
+ "17521885357464563233202648521875905290166433650141773052058705408597538338911",
472
+ "11525530340338830716502860942689345100262306689117330289237484894552808300709"
473
473
  ],
474
474
  [
475
475
  "1",
@@ -478,12 +478,12 @@ var vk_delta_2 = [
478
478
  ],
479
479
  [
480
480
  [
481
- "5094820268025857505363635119835975858756772232205804973699906431827658031964",
482
- "10518236799651118399986483301765863768027777545669908907880159551621810126849"
481
+ "10792411997925964958381215817029067479896035855504468308483392531229534219232",
482
+ "19436706355139059383094509938806698706706766923839248625914995027794208831821"
483
483
  ],
484
484
  [
485
- "11572692692867396499761538666196116586305865304015349724077332249273828973395",
486
- "20859555010758118604073361508744352301840967631704468041131681426037983213002"
485
+ "935862788360489051830486282214078237146011038653740178111222389815697167391",
486
+ "8072583953344188119277829536748521153437596767795457833432747233169365522749"
487
487
  ],
488
488
  [
489
489
  "1",
@@ -492,12 +492,12 @@ var vk_delta_2 = [
492
492
  ],
493
493
  [
494
494
  [
495
- "19629232294794264734516475644320504923384252747453171010407820919121492093097",
496
- "11661383417324806615558394659220516610247089928376070440522188291505784724873"
495
+ "13369983427310673379273386726118528512090053533610011895772924489087434499560",
496
+ "21007636601223260258896743126015285106374704680873221102534543271676455685798"
497
497
  ],
498
498
  [
499
- "8350002947339764206858601679633707444815132923435432091284098864968718952059",
500
- "14618693275952711587232205373188572480239428452313785044400368360917578177396"
499
+ "781816009964815727693649369421765727079762601401895827065766198634750193888",
500
+ "7437655172123655742476741904638757853205242308502126726581419961030710769332"
501
501
  ],
502
502
  [
503
503
  "1",
@@ -506,12 +506,12 @@ var vk_delta_2 = [
506
506
  ],
507
507
  [
508
508
  [
509
- "12950215329375055291643630373560741963997558430433168794073218970044384415372",
510
- "5174537185495146345702880156705283203902425396197383898540057654655066753579"
509
+ "18289767809318109953604511379563953654879368440278122006476245297734205780313",
510
+ "7297858819137361266048049960276576061221795813016982777983276508233065012908"
511
511
  ],
512
512
  [
513
- "4431630864873466361387108635543958095498731270116355616225197767733734128861",
514
- "18440638825319565738488991729556785679573678682023564191514526390075411141690"
513
+ "4400537004106671968009111731711678778861503186165383927771233149107549932374",
514
+ "11861017471431365163414128324204576291654501179050818386156071891372931715517"
515
515
  ],
516
516
  [
517
517
  "1",
@@ -520,12 +520,12 @@ var vk_delta_2 = [
520
520
  ],
521
521
  [
522
522
  [
523
- "5801648383242377039158295944236326894031930402176012010819307534933038347985",
524
- "8179214450876128189786889463050502216503192251068580710356475166830402701708"
523
+ "2992162472650247075753290379196863994101122291268065125561265479303189972094",
524
+ "2149278938146333837762157047865197539626726297462234579786480672038208839960"
525
525
  ],
526
526
  [
527
- "19870706029300681613622543188539567928777315763585981640693685194301201982407",
528
- "4693973538356763613860391593814220138320073026815959512078454125381217645788"
527
+ "551667036500907650888508201663204030618105224866044580467647054394918324251",
528
+ "28038421244332437252451488699272760491836813993308427474241344447797755331"
529
529
  ],
530
530
  [
531
531
  "1",
@@ -534,12 +534,12 @@ var vk_delta_2 = [
534
534
  ],
535
535
  [
536
536
  [
537
- "2064976285344404756281594929698931000697669900063301194291518290834961490240",
538
- "20277284114925687078224763520355726939257825143391929434570333974997434560805"
537
+ "11119926988115729035668011565310535780603655775231850120289918739692745155137",
538
+ "8817602722261405319698829040610455364903580494786394492896940141358443005801"
539
539
  ],
540
540
  [
541
- "15643195784077230042834999110691483687428735466231422370142767293471863700387",
542
- "7222144325382158947774651546068992150829509045485292683383357637997517326148"
541
+ "1680290803075724940691569649460494417420550431404206498993917267359934429167",
542
+ "654240854620562345252945066604315306494281026224973615193213783227252715475"
543
543
  ],
544
544
  [
545
545
  "1",
@@ -548,12 +548,12 @@ var vk_delta_2 = [
548
548
  ],
549
549
  [
550
550
  [
551
- "17975202799537991792439304164891754483380324452259562307747422259512624823212",
552
- "5477988853386650384703921094948844062358006867640221757094709122931664258074"
551
+ "4417305792230285111357011064673221162480286486496089003939989926259051525871",
552
+ "14337554339543299757023541671562153395916531829217482775164867679838962247573"
553
553
  ],
554
554
  [
555
- "11185225860338384901020382557488674560018020486665010314728105461398537090194",
556
- "13848136879177885045281819032248904935976168943919823007775235047173993770157"
555
+ "18102181553730085952093068611215465293662342195186852247233989189686218494670",
556
+ "18318343953566300700872145919583310314872293221527574189507609074563561808951"
557
557
  ],
558
558
  [
559
559
  "1",
@@ -562,12 +562,12 @@ var vk_delta_2 = [
562
562
  ],
563
563
  [
564
564
  [
565
- "14471888142065071281382782958750780204583311859320300053251117611975834609601",
566
- "21436730469129810957180793723899276883659861043977115336277237822651402972650"
565
+ "1902628209424530126704615228962823322693910527728191597878269502368972448245",
566
+ "6800687607590437742793451968857688924532461129043710692695682669594760138183"
567
567
  ],
568
568
  [
569
- "12134671815483061401460971926351313472095768998015505567590046606262972345606",
570
- "12182522103530455236540896653238430557347694672470208631350018699627212167843"
569
+ "10034931611814725856775298104026042876081758307779816060207300321750191893265",
570
+ "17205169168497932228842841751695431463810324846010162985835301764799251782423"
571
571
  ],
572
572
  [
573
573
  "1",
@@ -576,12 +576,12 @@ var vk_delta_2 = [
576
576
  ],
577
577
  [
578
578
  [
579
- "13908385405190960757317970925252036009769791894761756953363068981012257735159",
580
- "5443396004119553565732772035623066322784594051319016117482037304612664713531"
579
+ "8609310002954675750899296865505156197275068986904937546335682968407062557353",
580
+ "17652382972559786603081358712023734457988123179346418318061767410638467351353"
581
581
  ],
582
582
  [
583
- "7952693491971973340290086005063781112666070579182591177579397309500032398151",
584
- "2222951903387607415437785840368382110522618780807171086914436920475598995149"
583
+ "14010114671133332884183212883039266364632832900771268544464943567097360538030",
584
+ "20953981342395933310821155979182741101782516022917194002901756056810161577653"
585
585
  ],
586
586
  [
587
587
  "1",
@@ -590,12 +590,12 @@ var vk_delta_2 = [
590
590
  ],
591
591
  [
592
592
  [
593
- "7839940132195146952355178362620770241816809643056324587040019650105609048932",
594
- "1773488589187652791865678688444883762637006202264973733401143478796059566247"
593
+ "155887139811629598842391409587306581332057016161277301334614704354501745866",
594
+ "11589273064298032074960397339280273111253628710081452605587787277989878262684"
595
595
  ],
596
596
  [
597
- "14809325803961768849764967899586584580664329200871180582417984535228799191623",
598
- "5994728489052927149244186850512435646422353844489887091765127572037304975403"
597
+ "16121151623164478719433805875174860779395398667644700642305374194327245787952",
598
+ "21415746312736962630685763964130668169157204911852029590085104536633069699336"
599
599
  ],
600
600
  [
601
601
  "1",
@@ -604,12 +604,12 @@ var vk_delta_2 = [
604
604
  ],
605
605
  [
606
606
  [
607
- "12512046153695559034086723653253082259198022071585962475345129380985810571529",
608
- "16305074860092225839285572393658030116082973338409399324682327571791603645660"
607
+ "1432416214818308586539371032122259241440290306461685527056371471791146740623",
608
+ "14621784478774900045485232005516896073016099759402781623216618339142142444432"
609
609
  ],
610
610
  [
611
- "3474997222527127765405001531284334239342007770926956394825252881969982209496",
612
- "607599331353561746153970361104975756620522710317553470868937971490837920782"
611
+ "11269289100589657711755210305168004136417079020640258348687053385360804643179",
612
+ "10859741497221216461724796630804714121202257706435373999834867538278407694230"
613
613
  ],
614
614
  [
615
615
  "1",