@semaphore-protocol/proof 4.13.0-beta.1 → 4.13.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.
- package/dist/index.browser.js +132 -132
- package/dist/index.node.cjs +132 -132
- package/dist/index.node.js +132 -132
- package/package.json +4 -4
- package/src/generate-proof.ts +1 -1
- package/src/hash.ts +1 -1
- package/src/to-bigint.ts +1 -1
- 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.13.0
|
|
3
|
+
* @version 4.13.0
|
|
4
4
|
* @file A library to generate and verify Semaphore proofs.
|
|
5
5
|
* @copyright Ethereum Foundation 2025
|
|
6
6
|
* @license MIT
|
|
@@ -22,7 +22,7 @@ import { encodeBytes32String } from 'ethers/abi';
|
|
|
22
22
|
* @returns The message digest.
|
|
23
23
|
*/
|
|
24
24
|
function hash(message) {
|
|
25
|
-
return (BigInt(keccak256(toBeHex(message, 32))) >>
|
|
25
|
+
return (BigInt(keccak256(toBeHex(message, 32))) >> 8n).toString();
|
|
26
26
|
}
|
|
27
27
|
|
|
28
28
|
/**
|
|
@@ -38,7 +38,7 @@ function toBigInt(value) {
|
|
|
38
38
|
if (typeof value === "string") {
|
|
39
39
|
return toBigInt$1(encodeBytes32String(value));
|
|
40
40
|
}
|
|
41
|
-
throw TypeError(error.message);
|
|
41
|
+
throw TypeError(error instanceof Error ? error.message : error.toString());
|
|
42
42
|
}
|
|
43
43
|
}
|
|
44
44
|
|
|
@@ -104,7 +104,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
|
|
|
104
104
|
// If the Snark artifacts are not defined they will be automatically downloaded.
|
|
105
105
|
snarkArtifacts ?? (snarkArtifacts = await maybeGetSnarkArtifacts(Project.SEMAPHORE, {
|
|
106
106
|
parameters: [merkleTreeDepth],
|
|
107
|
-
version: "4.13.0
|
|
107
|
+
version: "4.13.0"
|
|
108
108
|
}));
|
|
109
109
|
const { wasm, zkey } = snarkArtifacts;
|
|
110
110
|
// The missing siblings can be set to 0, as they won't be used in the circuit.
|
|
@@ -171,12 +171,12 @@ var vk_gamma_2 = [
|
|
|
171
171
|
var vk_delta_2 = [
|
|
172
172
|
[
|
|
173
173
|
[
|
|
174
|
-
"
|
|
175
|
-
"
|
|
174
|
+
"16408413417242390422091814167027427493277171619879801311231535488230631233228",
|
|
175
|
+
"9945686348046960753877586492918972777825246677018826948161896201170445700125"
|
|
176
176
|
],
|
|
177
177
|
[
|
|
178
|
-
"
|
|
179
|
-
"
|
|
178
|
+
"19805828691744104303828611788576365088245444900313217510847939816134147892073",
|
|
179
|
+
"6584315070644963867508873956596397181930928138233362569920493830977850569249"
|
|
180
180
|
],
|
|
181
181
|
[
|
|
182
182
|
"1",
|
|
@@ -185,12 +185,12 @@ var vk_delta_2 = [
|
|
|
185
185
|
],
|
|
186
186
|
[
|
|
187
187
|
[
|
|
188
|
-
"
|
|
189
|
-
"
|
|
188
|
+
"2387596915721059240380306703756745594941774836392065901920862076482873617696",
|
|
189
|
+
"4137034247026796121567786020569192018542087029679792022186664106005314607992"
|
|
190
190
|
],
|
|
191
191
|
[
|
|
192
|
-
"
|
|
193
|
-
"
|
|
192
|
+
"16447312158069665668196107037746726091322857767125704694225455151423385234420",
|
|
193
|
+
"12207258509226852403095283170696450586325894259341619206879136573430824179219"
|
|
194
194
|
],
|
|
195
195
|
[
|
|
196
196
|
"1",
|
|
@@ -199,12 +199,12 @@ var vk_delta_2 = [
|
|
|
199
199
|
],
|
|
200
200
|
[
|
|
201
201
|
[
|
|
202
|
-
"
|
|
203
|
-
"
|
|
202
|
+
"14294733923974082563700679538239516855779956462219064242234075098094333560871",
|
|
203
|
+
"16330999452311032943437085246396144436976596572620326866448611437534258631396"
|
|
204
204
|
],
|
|
205
205
|
[
|
|
206
|
-
"
|
|
207
|
-
"
|
|
206
|
+
"5856262630305079046154806623452275669069805844550622864468698349954335808342",
|
|
207
|
+
"4077511428936129071924927150420083045813488070428429073817813611424925121688"
|
|
208
208
|
],
|
|
209
209
|
[
|
|
210
210
|
"1",
|
|
@@ -213,12 +213,12 @@ var vk_delta_2 = [
|
|
|
213
213
|
],
|
|
214
214
|
[
|
|
215
215
|
[
|
|
216
|
-
"
|
|
217
|
-
"
|
|
216
|
+
"13071886307519653591557928522141791177727944387325349731338730220121865486426",
|
|
217
|
+
"9147362984584117589896461943832229407742734559244362782131452071313721467022"
|
|
218
218
|
],
|
|
219
219
|
[
|
|
220
|
-
"
|
|
221
|
-
"
|
|
220
|
+
"16267462216178612321501515020484989961063147873263196484923037425712997371544",
|
|
221
|
+
"12092490337916442957475513586469567371361906149803313377280821909723439581377"
|
|
222
222
|
],
|
|
223
223
|
[
|
|
224
224
|
"1",
|
|
@@ -227,12 +227,12 @@ var vk_delta_2 = [
|
|
|
227
227
|
],
|
|
228
228
|
[
|
|
229
229
|
[
|
|
230
|
-
"
|
|
231
|
-
"
|
|
230
|
+
"2357551468752810995913393842537718192839284870946471706329338268293755997329",
|
|
231
|
+
"17699476683290927561681064863977135617971404674836959835621062864295611403648"
|
|
232
232
|
],
|
|
233
233
|
[
|
|
234
|
-
"
|
|
235
|
-
"
|
|
234
|
+
"15371001085051472569179708936226706149881484173472097333879881486489180490983",
|
|
235
|
+
"12792428623738700989382805503922676104149362420071951662089713970685402064920"
|
|
236
236
|
],
|
|
237
237
|
[
|
|
238
238
|
"1",
|
|
@@ -241,12 +241,12 @@ var vk_delta_2 = [
|
|
|
241
241
|
],
|
|
242
242
|
[
|
|
243
243
|
[
|
|
244
|
-
"
|
|
245
|
-
"
|
|
244
|
+
"20616939609237548459795216165583176879544143113522163138782264749253509627258",
|
|
245
|
+
"13987713805540595141538231036659236350125001216593964477223521911968346527102"
|
|
246
246
|
],
|
|
247
247
|
[
|
|
248
|
-
"
|
|
249
|
-
"
|
|
248
|
+
"3162343948407473104608991225811079906200146990821363658345349028119611644709",
|
|
249
|
+
"3320292317142377941283260904789121584245307520705790709070006866620962533715"
|
|
250
250
|
],
|
|
251
251
|
[
|
|
252
252
|
"1",
|
|
@@ -255,12 +255,12 @@ var vk_delta_2 = [
|
|
|
255
255
|
],
|
|
256
256
|
[
|
|
257
257
|
[
|
|
258
|
-
"
|
|
259
|
-
"
|
|
258
|
+
"13096135091972781998384533354315732588511252434443280959953028720792091894439",
|
|
259
|
+
"17599645347125110170634377768144829252609553303778272999874612657176247663979"
|
|
260
260
|
],
|
|
261
261
|
[
|
|
262
|
-
"
|
|
263
|
-
"
|
|
262
|
+
"5497049490564113461392112545148903724371578431098493139775449857623325296586",
|
|
263
|
+
"7686421875467730512006088099126520544317589903732886932992767694569986256779"
|
|
264
264
|
],
|
|
265
265
|
[
|
|
266
266
|
"1",
|
|
@@ -269,12 +269,12 @@ var vk_delta_2 = [
|
|
|
269
269
|
],
|
|
270
270
|
[
|
|
271
271
|
[
|
|
272
|
-
"
|
|
273
|
-
"
|
|
272
|
+
"19498497257631907587214071284377177236513238877478254784158949106613204394809",
|
|
273
|
+
"4201858703580495907616071164434098089411977757935963172911584461484497089823"
|
|
274
274
|
],
|
|
275
275
|
[
|
|
276
|
-
"
|
|
277
|
-
"
|
|
276
|
+
"14220658082972513690837811349990790459391670015439493604844277256709703968946",
|
|
277
|
+
"725072098700696182710385988528309000847717684428652699032837799281837303309"
|
|
278
278
|
],
|
|
279
279
|
[
|
|
280
280
|
"1",
|
|
@@ -283,12 +283,12 @@ var vk_delta_2 = [
|
|
|
283
283
|
],
|
|
284
284
|
[
|
|
285
285
|
[
|
|
286
|
-
"
|
|
287
|
-
"
|
|
286
|
+
"14886882169839625604512011386316801918767995818481638031200219618637435317046",
|
|
287
|
+
"4045148753719902607466865114862064444702845131168750813732988685843265272714"
|
|
288
288
|
],
|
|
289
289
|
[
|
|
290
|
-
"
|
|
291
|
-
"
|
|
290
|
+
"6080842004111306921355576610508287032807092958050574806583173765232646608130",
|
|
291
|
+
"10694987061719986731524904780077663994960386767617837357890167696777886594429"
|
|
292
292
|
],
|
|
293
293
|
[
|
|
294
294
|
"1",
|
|
@@ -297,12 +297,12 @@ var vk_delta_2 = [
|
|
|
297
297
|
],
|
|
298
298
|
[
|
|
299
299
|
[
|
|
300
|
-
"
|
|
301
|
-
"
|
|
300
|
+
"19724067353675840213140371880930169181883810789843127137211427073528097386069",
|
|
301
|
+
"21713798113403639943129465020431058408875932630108492210073762207187255107633"
|
|
302
302
|
],
|
|
303
303
|
[
|
|
304
|
-
"
|
|
305
|
-
"
|
|
304
|
+
"17930796050321483178126019717582390671874641297920957330301826849122897776475",
|
|
305
|
+
"12206390446835120782025093868584394872476245212887793139718936402859799461128"
|
|
306
306
|
],
|
|
307
307
|
[
|
|
308
308
|
"1",
|
|
@@ -311,12 +311,12 @@ var vk_delta_2 = [
|
|
|
311
311
|
],
|
|
312
312
|
[
|
|
313
313
|
[
|
|
314
|
-
"
|
|
315
|
-
"
|
|
314
|
+
"17328756557422910934818164024947081727797919847622394659808852744488487561121",
|
|
315
|
+
"6970640849385862299695602095231000533615427942238133481753115580290886282663"
|
|
316
316
|
],
|
|
317
317
|
[
|
|
318
|
-
"
|
|
319
|
-
"
|
|
318
|
+
"17551529991224202267708263974810363449203041333779078351019896570513260547078",
|
|
319
|
+
"803200290296994529393040192875391266206144602742874360276093971196637285110"
|
|
320
320
|
],
|
|
321
321
|
[
|
|
322
322
|
"1",
|
|
@@ -325,12 +325,12 @@ var vk_delta_2 = [
|
|
|
325
325
|
],
|
|
326
326
|
[
|
|
327
327
|
[
|
|
328
|
-
"
|
|
329
|
-
"
|
|
328
|
+
"2119776875486510261156090816054891852076653981738105921239014174885904246433",
|
|
329
|
+
"14572605232309338398194614880225630634521363940715728597124701672171876503457"
|
|
330
330
|
],
|
|
331
331
|
[
|
|
332
|
-
"
|
|
333
|
-
"
|
|
332
|
+
"15641680856161902645414137445124067424307682451191794724349887359826084586070",
|
|
333
|
+
"14764068940615290963682432521466414132081301332432973819150185889917259656516"
|
|
334
334
|
],
|
|
335
335
|
[
|
|
336
336
|
"1",
|
|
@@ -339,12 +339,12 @@ var vk_delta_2 = [
|
|
|
339
339
|
],
|
|
340
340
|
[
|
|
341
341
|
[
|
|
342
|
-
"
|
|
343
|
-
"
|
|
342
|
+
"12585047581981016758713642748813698038343438252986565458259773061683123989258",
|
|
343
|
+
"9669145368105243899354639562088264940980627266994489740805405384333753923552"
|
|
344
344
|
],
|
|
345
345
|
[
|
|
346
|
-
"
|
|
347
|
-
"
|
|
346
|
+
"15854293065825437298487041414058911622298657451488894851139274730870355353259",
|
|
347
|
+
"19565158032720127045649170359766073929463698598471410254463656922079352510393"
|
|
348
348
|
],
|
|
349
349
|
[
|
|
350
350
|
"1",
|
|
@@ -353,12 +353,12 @@ var vk_delta_2 = [
|
|
|
353
353
|
],
|
|
354
354
|
[
|
|
355
355
|
[
|
|
356
|
-
"
|
|
357
|
-
"
|
|
356
|
+
"2288843848207548606244913096831590643237758110674559319081495071409127772262",
|
|
357
|
+
"3252788368686342394845916051738261897651617073407759249108275286346858326943"
|
|
358
358
|
],
|
|
359
359
|
[
|
|
360
|
-
"
|
|
361
|
-
"
|
|
360
|
+
"16683359175825972027599519332179172395722103735125140270260256591403685239266",
|
|
361
|
+
"19124363906021798265340471177011752439360196612765215264076386186223672631683"
|
|
362
362
|
],
|
|
363
363
|
[
|
|
364
364
|
"1",
|
|
@@ -367,12 +367,12 @@ var vk_delta_2 = [
|
|
|
367
367
|
],
|
|
368
368
|
[
|
|
369
369
|
[
|
|
370
|
-
"
|
|
371
|
-
"
|
|
370
|
+
"21778698515108811822570997836350239604460537154789740349136154088410673666440",
|
|
371
|
+
"5780031105796026218614860731746179146574862839671481989139051367514008242236"
|
|
372
372
|
],
|
|
373
373
|
[
|
|
374
|
-
"
|
|
375
|
-
"
|
|
374
|
+
"8140325513003421209811483931164219330248830428283659149673491359622349624487",
|
|
375
|
+
"18469505026450614999435662120574344885993110615313266080469284549107734127701"
|
|
376
376
|
],
|
|
377
377
|
[
|
|
378
378
|
"1",
|
|
@@ -381,12 +381,12 @@ var vk_delta_2 = [
|
|
|
381
381
|
],
|
|
382
382
|
[
|
|
383
383
|
[
|
|
384
|
-
"
|
|
385
|
-
"
|
|
384
|
+
"15964849500928959236136513927877106396819701524466507680781856032238559291702",
|
|
385
|
+
"7548740869127800000959433269529906329291042176659702797114735805029076243809"
|
|
386
386
|
],
|
|
387
387
|
[
|
|
388
|
-
"
|
|
389
|
-
"
|
|
388
|
+
"20366134800430281137974350328157690756475407434441379325123050644263700762747",
|
|
389
|
+
"1672355735830681474636413865943106063110582489546868908540192561642173045849"
|
|
390
390
|
],
|
|
391
391
|
[
|
|
392
392
|
"1",
|
|
@@ -395,12 +395,12 @@ var vk_delta_2 = [
|
|
|
395
395
|
],
|
|
396
396
|
[
|
|
397
397
|
[
|
|
398
|
-
"
|
|
399
|
-
"
|
|
398
|
+
"15604113119818398859105083663101672704426630802104461803147745295915420543514",
|
|
399
|
+
"16114472716989861379676896506941964225302064637372698367976925741668156508052"
|
|
400
400
|
],
|
|
401
401
|
[
|
|
402
|
-
"
|
|
403
|
-
"
|
|
402
|
+
"7939071742082619319458149641163972961008977339800237806212608589725584130020",
|
|
403
|
+
"10165003310380856542064932579929053283069946501185445302343404661722980895662"
|
|
404
404
|
],
|
|
405
405
|
[
|
|
406
406
|
"1",
|
|
@@ -409,12 +409,12 @@ var vk_delta_2 = [
|
|
|
409
409
|
],
|
|
410
410
|
[
|
|
411
411
|
[
|
|
412
|
-
"
|
|
413
|
-
"
|
|
412
|
+
"12959426659056731977096261077158897117816984776686970177641451566537475330762",
|
|
413
|
+
"12686597458456839559095621904427573493459559345644733657026411666208793605782"
|
|
414
414
|
],
|
|
415
415
|
[
|
|
416
|
-
"
|
|
417
|
-
"
|
|
416
|
+
"2556822501937414965915732176313294354334696604955778975945258036864927305135",
|
|
417
|
+
"19835071153104544039790862095812156602791894702605430971509518717702362964947"
|
|
418
418
|
],
|
|
419
419
|
[
|
|
420
420
|
"1",
|
|
@@ -423,12 +423,12 @@ var vk_delta_2 = [
|
|
|
423
423
|
],
|
|
424
424
|
[
|
|
425
425
|
[
|
|
426
|
-
"
|
|
427
|
-
"
|
|
426
|
+
"501939956853020624053826043023206795744298239687467453170002552066896316735",
|
|
427
|
+
"15282288821286986303443436438438118467123854134079934970632941246943744947634"
|
|
428
428
|
],
|
|
429
429
|
[
|
|
430
|
-
"
|
|
431
|
-
"
|
|
430
|
+
"8268832261269721951642392857400064988994240365232333730985870709113231577748",
|
|
431
|
+
"17306268320069329930053046486191119384709698006779409787629519770624845846895"
|
|
432
432
|
],
|
|
433
433
|
[
|
|
434
434
|
"1",
|
|
@@ -437,12 +437,12 @@ var vk_delta_2 = [
|
|
|
437
437
|
],
|
|
438
438
|
[
|
|
439
439
|
[
|
|
440
|
-
"
|
|
441
|
-
"
|
|
440
|
+
"10155645986889866254983794183798376982702094196823662035160585060891538132313",
|
|
441
|
+
"8227572988834008904680469166048218402014791963974296824179448357074224817728"
|
|
442
442
|
],
|
|
443
443
|
[
|
|
444
|
-
"
|
|
445
|
-
"
|
|
444
|
+
"21066066529531022287482896734705560568307576550088195620554036170201413152935",
|
|
445
|
+
"2766194785450921673319752274493654480922324316669506712863711606971264837815"
|
|
446
446
|
],
|
|
447
447
|
[
|
|
448
448
|
"1",
|
|
@@ -451,12 +451,12 @@ var vk_delta_2 = [
|
|
|
451
451
|
],
|
|
452
452
|
[
|
|
453
453
|
[
|
|
454
|
-
"
|
|
455
|
-
"
|
|
454
|
+
"1989924837531089847846387969204339029084060271880315693828877510016009048244",
|
|
455
|
+
"7352603086778020593401803196166503749868671550890770670813014453861490868474"
|
|
456
456
|
],
|
|
457
457
|
[
|
|
458
|
-
"
|
|
459
|
-
"
|
|
458
|
+
"6428463624222837400592542960880514502148047005367618559502923200431303417626",
|
|
459
|
+
"2160048101436923431950651945741915095581265616792410900406773465080133187326"
|
|
460
460
|
],
|
|
461
461
|
[
|
|
462
462
|
"1",
|
|
@@ -465,12 +465,12 @@ var vk_delta_2 = [
|
|
|
465
465
|
],
|
|
466
466
|
[
|
|
467
467
|
[
|
|
468
|
-
"
|
|
469
|
-
"
|
|
468
|
+
"19303607623375189361174333168663340845013627094607738353031532282040550902377",
|
|
469
|
+
"3195542343326523127590636511134614410335800104671557720021340738104811702387"
|
|
470
470
|
],
|
|
471
471
|
[
|
|
472
|
-
"
|
|
473
|
-
"
|
|
472
|
+
"4747193399637226139967607070154314368157241370565382819691031533975814254142",
|
|
473
|
+
"606780685077871587284472254405037298745588560970946322961435429383314118646"
|
|
474
474
|
],
|
|
475
475
|
[
|
|
476
476
|
"1",
|
|
@@ -479,12 +479,12 @@ var vk_delta_2 = [
|
|
|
479
479
|
],
|
|
480
480
|
[
|
|
481
481
|
[
|
|
482
|
-
"
|
|
483
|
-
"
|
|
482
|
+
"14558408330551331658217821972088118480910056101659366480914289399602315516831",
|
|
483
|
+
"9568204816014179577619529844284430743063545941195246216889646276674433402461"
|
|
484
484
|
],
|
|
485
485
|
[
|
|
486
|
-
"
|
|
487
|
-
"
|
|
486
|
+
"4997879817697325140190126125496746317991855622313321171930774136969925165261",
|
|
487
|
+
"12942855016996583214204134800269377810677680516245639526261311120541522533623"
|
|
488
488
|
],
|
|
489
489
|
[
|
|
490
490
|
"1",
|
|
@@ -493,12 +493,12 @@ var vk_delta_2 = [
|
|
|
493
493
|
],
|
|
494
494
|
[
|
|
495
495
|
[
|
|
496
|
-
"
|
|
497
|
-
"
|
|
496
|
+
"13783310291132286501486061315182503677055944149861104676633788059711246063985",
|
|
497
|
+
"19190093413956851541449387374199799048221744576578891593940876486082568836726"
|
|
498
498
|
],
|
|
499
499
|
[
|
|
500
|
-
"
|
|
501
|
-
"
|
|
500
|
+
"15697318658529146415938553904765473201636399656961560956897831706453611373390",
|
|
501
|
+
"11337992225169061295633901814645251777656165320625910201890812012309200609498"
|
|
502
502
|
],
|
|
503
503
|
[
|
|
504
504
|
"1",
|
|
@@ -507,12 +507,12 @@ var vk_delta_2 = [
|
|
|
507
507
|
],
|
|
508
508
|
[
|
|
509
509
|
[
|
|
510
|
-
"
|
|
511
|
-
"
|
|
510
|
+
"18172524094647563702792071405521064148027777374146622596440895328066214725333",
|
|
511
|
+
"21569450500189435887199679551535725246094753831124106295990566904036497813254"
|
|
512
512
|
],
|
|
513
513
|
[
|
|
514
|
-
"
|
|
515
|
-
"
|
|
514
|
+
"9819178401638123792202514084265624499907335293369606938734047198656926777909",
|
|
515
|
+
"3145315298367926043213663632718527591959511677826683294840754237808062567112"
|
|
516
516
|
],
|
|
517
517
|
[
|
|
518
518
|
"1",
|
|
@@ -521,12 +521,12 @@ var vk_delta_2 = [
|
|
|
521
521
|
],
|
|
522
522
|
[
|
|
523
523
|
[
|
|
524
|
-
"
|
|
525
|
-
"
|
|
524
|
+
"8746072717767095707814429468799090500392250697821275811590378893588767597917",
|
|
525
|
+
"18802634026897129713917723325543619649182522727835118188707427828679759584422"
|
|
526
526
|
],
|
|
527
527
|
[
|
|
528
|
-
"
|
|
529
|
-
"
|
|
528
|
+
"7219832117754966106192534848766622469189809645310297510974348973233245025369",
|
|
529
|
+
"18704375927500385275425299458226317326347431199233436591432711644245604239077"
|
|
530
530
|
],
|
|
531
531
|
[
|
|
532
532
|
"1",
|
|
@@ -535,12 +535,12 @@ var vk_delta_2 = [
|
|
|
535
535
|
],
|
|
536
536
|
[
|
|
537
537
|
[
|
|
538
|
-
"
|
|
539
|
-
"
|
|
538
|
+
"13708720001690920974531975083269227589906005357046540542256166004868494493957",
|
|
539
|
+
"17438285563716107537313028987468968480486147502509455852617046032572641428099"
|
|
540
540
|
],
|
|
541
541
|
[
|
|
542
|
-
"
|
|
543
|
-
"
|
|
542
|
+
"11101887644093498136963322545128841855068486606253334583797745666239266446972",
|
|
543
|
+
"20460486971944339166023854053015474903256211559095327365767233192985351503994"
|
|
544
544
|
],
|
|
545
545
|
[
|
|
546
546
|
"1",
|
|
@@ -549,12 +549,12 @@ var vk_delta_2 = [
|
|
|
549
549
|
],
|
|
550
550
|
[
|
|
551
551
|
[
|
|
552
|
-
"
|
|
553
|
-
"
|
|
552
|
+
"132171351540181208752598355011806514484978442078160242634962060418757137902",
|
|
553
|
+
"13354046131540785149549755824616257951646671953336984957173828198477971391435"
|
|
554
554
|
],
|
|
555
555
|
[
|
|
556
|
-
"
|
|
557
|
-
"
|
|
556
|
+
"21669184698178807916508930565726714051772558794823048975473358705382732801596",
|
|
557
|
+
"9635523530117598655810969112395005213391266499466713636714826152431721391097"
|
|
558
558
|
],
|
|
559
559
|
[
|
|
560
560
|
"1",
|
|
@@ -563,12 +563,12 @@ var vk_delta_2 = [
|
|
|
563
563
|
],
|
|
564
564
|
[
|
|
565
565
|
[
|
|
566
|
-
"
|
|
567
|
-
"
|
|
566
|
+
"1817209170269917594978846294744086522596256114711933397300588502829438536106",
|
|
567
|
+
"6855256699562883536928701758472081428223522076535727620422471711268239634308"
|
|
568
568
|
],
|
|
569
569
|
[
|
|
570
|
-
"
|
|
571
|
-
"
|
|
570
|
+
"21773055244640460218409135038646161676097355933318612827708333265587791702761",
|
|
571
|
+
"4880541329774392852243411920559969839321972249482564734670937681914115129863"
|
|
572
572
|
],
|
|
573
573
|
[
|
|
574
574
|
"1",
|
|
@@ -577,12 +577,12 @@ var vk_delta_2 = [
|
|
|
577
577
|
],
|
|
578
578
|
[
|
|
579
579
|
[
|
|
580
|
-
"
|
|
581
|
-
"
|
|
580
|
+
"2268676832521011389605833228499733106004721523029486634934922586295864710389",
|
|
581
|
+
"8102913435692743300910502697459995333988046387043253689269460988879348357821"
|
|
582
582
|
],
|
|
583
583
|
[
|
|
584
|
-
"
|
|
585
|
-
"
|
|
584
|
+
"20309588746697349568949048390517274459537703018546300964903000505784921108425",
|
|
585
|
+
"4291401834465838169107131630619002425334621571862337210064229894382878193958"
|
|
586
586
|
],
|
|
587
587
|
[
|
|
588
588
|
"1",
|
|
@@ -591,12 +591,12 @@ var vk_delta_2 = [
|
|
|
591
591
|
],
|
|
592
592
|
[
|
|
593
593
|
[
|
|
594
|
-
"
|
|
595
|
-
"
|
|
594
|
+
"10311012528118027945397529231050612295259038290206749112146827480766291632622",
|
|
595
|
+
"14263915192420789008257078016040368451751565013845409244574826505356681905483"
|
|
596
596
|
],
|
|
597
597
|
[
|
|
598
|
-
"
|
|
599
|
-
"
|
|
598
|
+
"14352495558770414119917297125905421752955375327125069951920582428689643657147",
|
|
599
|
+
"13732820742602026577147919232809575149719811385820138732151195012323892622807"
|
|
600
600
|
],
|
|
601
601
|
[
|
|
602
602
|
"1",
|
|
@@ -605,12 +605,12 @@ var vk_delta_2 = [
|
|
|
605
605
|
],
|
|
606
606
|
[
|
|
607
607
|
[
|
|
608
|
-
"
|
|
609
|
-
"
|
|
608
|
+
"17092537224655272022410655318466617424580925386513981972839127238283870860133",
|
|
609
|
+
"19418789221732947317254488453881986598823601057019654728627221055116187750232"
|
|
610
610
|
],
|
|
611
611
|
[
|
|
612
|
-
"
|
|
613
|
-
"
|
|
612
|
+
"10324639680661302781934202760230560206041062507025982983925498455935854577265",
|
|
613
|
+
"13351246034714801162998612043454267340423379651242067402477042359803697454008"
|
|
614
614
|
],
|
|
615
615
|
[
|
|
616
616
|
"1",
|