@semaphore-protocol/proof 4.0.0-beta.16 → 4.0.0-beta.18
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 +473 -469
- package/dist/index.node.cjs +473 -469
- package/dist/index.node.js +473 -469
- package/dist/types/generate-proof.d.ts +1 -0
- package/package.json +4 -4
- package/src/generate-proof.ts +6 -2
- package/src/verification-keys.json +466 -466
package/dist/index.node.cjs
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* @module @semaphore-protocol/proof
|
|
3
|
-
* @version 4.0.0-beta.
|
|
3
|
+
* @version 4.0.0-beta.18
|
|
4
4
|
* @file A library to generate and verify Semaphore proofs.
|
|
5
5
|
* @copyright Ethereum Foundation 2024
|
|
6
6
|
* @license MIT
|
|
@@ -55,6 +55,7 @@ function toBigInt(value) {
|
|
|
55
55
|
* If it is not defined, it will be inferred from the group or Merkle proof passed as the second parameter.
|
|
56
56
|
* Finally, the artifacts themselves can be passed manually with file paths,
|
|
57
57
|
* or they will be automatically fetched.
|
|
58
|
+
* Please keep in mind that groups with 1 member or 2 members cannot be considered anonymous.
|
|
58
59
|
* @param identity The Semaphore identity.
|
|
59
60
|
* @param groupOrMerkleProof The Semaphore group or its Merkle proof.
|
|
60
61
|
* @param message The Semaphore message.
|
|
@@ -99,10 +100,13 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
|
|
|
99
100
|
}
|
|
100
101
|
}
|
|
101
102
|
else {
|
|
102
|
-
merkleTreeDepth = merkleProofLength;
|
|
103
|
+
merkleTreeDepth = merkleProofLength !== 0 ? merkleProofLength : 1;
|
|
103
104
|
}
|
|
104
105
|
// If the Snark artifacts are not defined they will be automatically downloaded.
|
|
105
|
-
snarkArtifacts ?? (snarkArtifacts = await artifacts.maybeGetSnarkArtifacts(artifacts.Project.SEMAPHORE, {
|
|
106
|
+
snarkArtifacts ?? (snarkArtifacts = await artifacts.maybeGetSnarkArtifacts(artifacts.Project.SEMAPHORE, {
|
|
107
|
+
parameters: [merkleTreeDepth],
|
|
108
|
+
version: "4.0.0-beta.18"
|
|
109
|
+
}));
|
|
106
110
|
const { wasm, zkey } = snarkArtifacts;
|
|
107
111
|
// The index must be converted to a list of indices, 1 for each tree level.
|
|
108
112
|
// The missing siblings can be set to 0, as they won't be used in the circuit.
|
|
@@ -136,18 +140,18 @@ var protocol = "groth16";
|
|
|
136
140
|
var curve = "bn128";
|
|
137
141
|
var nPublic = 4;
|
|
138
142
|
var vk_alpha_1 = [
|
|
139
|
-
"
|
|
140
|
-
"
|
|
143
|
+
"16428432848801857252194528405604668803277877773566238944394625302971855135431",
|
|
144
|
+
"16846502678714586896801519656441059708016666274385668027902869494772365009666",
|
|
141
145
|
"1"
|
|
142
146
|
];
|
|
143
147
|
var vk_beta_2 = [
|
|
144
148
|
[
|
|
145
|
-
"
|
|
146
|
-
"
|
|
149
|
+
"16348171800823588416173124589066524623406261996681292662100840445103873053252",
|
|
150
|
+
"3182164110458002340215786955198810119980427837186618912744689678939861918171"
|
|
147
151
|
],
|
|
148
152
|
[
|
|
149
|
-
"
|
|
150
|
-
"
|
|
153
|
+
"19687132236965066906216944365591810874384658708175106803089633851114028275753",
|
|
154
|
+
"4920802715848186258981584729175884379674325733638798907835771393452862684714"
|
|
151
155
|
],
|
|
152
156
|
[
|
|
153
157
|
"1",
|
|
@@ -171,12 +175,12 @@ var vk_gamma_2 = [
|
|
|
171
175
|
var vk_delta_2 = [
|
|
172
176
|
[
|
|
173
177
|
[
|
|
174
|
-
"
|
|
175
|
-
"
|
|
178
|
+
"15662648751553932653781975807624464121405704024803073886925976686616010387354",
|
|
179
|
+
"18358547564487905095688479908858987846616998213156437518686067355563592118237"
|
|
176
180
|
],
|
|
177
181
|
[
|
|
178
|
-
"
|
|
179
|
-
"
|
|
182
|
+
"12579159544968648693964563165973893448704730885005100826654630574108054705556",
|
|
183
|
+
"1545474538105908330267074270190095622354834966212647889547653097055078098224"
|
|
180
184
|
],
|
|
181
185
|
[
|
|
182
186
|
"1",
|
|
@@ -185,12 +189,12 @@ var vk_delta_2 = [
|
|
|
185
189
|
],
|
|
186
190
|
[
|
|
187
191
|
[
|
|
188
|
-
"
|
|
189
|
-
"
|
|
192
|
+
"13720528004476084359207196371475762368424714925503835663451917882430924467554",
|
|
193
|
+
"15357842752194390032830879177519514606613356943505010426726499926726016517582"
|
|
190
194
|
],
|
|
191
195
|
[
|
|
192
|
-
"
|
|
193
|
-
"
|
|
196
|
+
"14571933744484927053512012311263939678215066456565339237074260778179419354637",
|
|
197
|
+
"2196656647584375999320189230399052835502476576494068012902156164580595749760"
|
|
194
198
|
],
|
|
195
199
|
[
|
|
196
200
|
"1",
|
|
@@ -199,12 +203,12 @@ var vk_delta_2 = [
|
|
|
199
203
|
],
|
|
200
204
|
[
|
|
201
205
|
[
|
|
202
|
-
"
|
|
203
|
-
"
|
|
206
|
+
"18282758355470198230938465615400409713402004038201360061031317503584711879237",
|
|
207
|
+
"1096090542237876305763822439899873238394525438826581012748557492836778110917"
|
|
204
208
|
],
|
|
205
209
|
[
|
|
206
|
-
"
|
|
207
|
-
"
|
|
210
|
+
"2920496587818605789230962034477809982324000981266163502059117507002917895757",
|
|
211
|
+
"7973969975759518869552865162652900479072033124669141796195141770899882758383"
|
|
208
212
|
],
|
|
209
213
|
[
|
|
210
214
|
"1",
|
|
@@ -213,12 +217,12 @@ var vk_delta_2 = [
|
|
|
213
217
|
],
|
|
214
218
|
[
|
|
215
219
|
[
|
|
216
|
-
"
|
|
217
|
-
"
|
|
220
|
+
"17529478610649635357901422564682249462969460088983393810272144503916885638629",
|
|
221
|
+
"14033304028688398404089545751254979569049699915340551984412184456786819712695"
|
|
218
222
|
],
|
|
219
223
|
[
|
|
220
|
-
"
|
|
221
|
-
"
|
|
224
|
+
"7242759178038747404494096998044224993169513816067824413031492987300456908934",
|
|
225
|
+
"968190632906420692452807865081290940343138767641492735661467959437198373032"
|
|
222
226
|
],
|
|
223
227
|
[
|
|
224
228
|
"1",
|
|
@@ -227,12 +231,12 @@ var vk_delta_2 = [
|
|
|
227
231
|
],
|
|
228
232
|
[
|
|
229
233
|
[
|
|
230
|
-
"
|
|
231
|
-
"
|
|
234
|
+
"12964751171177929169670182425240761498461607040020835118601467328036987558858",
|
|
235
|
+
"15740655435463241944594855735935231648684671883923953096410588018036769516770"
|
|
232
236
|
],
|
|
233
237
|
[
|
|
234
|
-
"
|
|
235
|
-
"
|
|
238
|
+
"6954370193053655486251406740905618458518953022289151868757271522548301919472",
|
|
239
|
+
"21474571159868965455306627669334290549452576803823591301731326342326814568896"
|
|
236
240
|
],
|
|
237
241
|
[
|
|
238
242
|
"1",
|
|
@@ -241,12 +245,12 @@ var vk_delta_2 = [
|
|
|
241
245
|
],
|
|
242
246
|
[
|
|
243
247
|
[
|
|
244
|
-
"
|
|
245
|
-
"
|
|
248
|
+
"18702593988046837524790351483331632258278160532977261915119611324471253407466",
|
|
249
|
+
"16239592155161765109648123193105804251252701943901733499502441663333912783245"
|
|
246
250
|
],
|
|
247
251
|
[
|
|
248
|
-
"
|
|
249
|
-
"
|
|
252
|
+
"19358066347678636498093783612000296194480758342913325289131948678991962529441",
|
|
253
|
+
"13746033878407070858115621843430829498309218839316343379025665907999784574154"
|
|
250
254
|
],
|
|
251
255
|
[
|
|
252
256
|
"1",
|
|
@@ -255,12 +259,12 @@ var vk_delta_2 = [
|
|
|
255
259
|
],
|
|
256
260
|
[
|
|
257
261
|
[
|
|
258
|
-
"
|
|
259
|
-
"
|
|
262
|
+
"4562585331778730670899179927104513856322577370213643119870201750008533040214",
|
|
263
|
+
"6482921272760726478838066628157548923897782117283646773208763176771446379138"
|
|
260
264
|
],
|
|
261
265
|
[
|
|
262
|
-
"
|
|
263
|
-
"
|
|
266
|
+
"16654459784024455427280229763380300423080811024668332509526284511491790880990",
|
|
267
|
+
"9299549824594530154451155704400285409056448609359755927574262701418672785771"
|
|
264
268
|
],
|
|
265
269
|
[
|
|
266
270
|
"1",
|
|
@@ -269,12 +273,12 @@ var vk_delta_2 = [
|
|
|
269
273
|
],
|
|
270
274
|
[
|
|
271
275
|
[
|
|
272
|
-
"
|
|
273
|
-
"
|
|
276
|
+
"16198597482473356107060462797493408464959815651823410647378959304462364790023",
|
|
277
|
+
"4169753203433043290708949478342499350225971996935208104044673971132510531963"
|
|
274
278
|
],
|
|
275
279
|
[
|
|
276
|
-
"
|
|
277
|
-
"
|
|
280
|
+
"15996002991058741836925286413107190453488985346498046642177496721490001022163",
|
|
281
|
+
"17831214733154720272879709021886998538183166751338990495293296921834561417050"
|
|
278
282
|
],
|
|
279
283
|
[
|
|
280
284
|
"1",
|
|
@@ -283,12 +287,12 @@ var vk_delta_2 = [
|
|
|
283
287
|
],
|
|
284
288
|
[
|
|
285
289
|
[
|
|
286
|
-
"
|
|
287
|
-
"
|
|
290
|
+
"8026613233416032931155189579997899527124867847165186585887532521124762242171",
|
|
291
|
+
"17920452210119585965813298538098997746450528307627971419517604274103840658730"
|
|
288
292
|
],
|
|
289
293
|
[
|
|
290
|
-
"
|
|
291
|
-
"
|
|
294
|
+
"18354222295715868456732739635697044486544782691576216892030243636076554800619",
|
|
295
|
+
"12536429843060624487053183271774959575059067729019923970247266906616071589989"
|
|
292
296
|
],
|
|
293
297
|
[
|
|
294
298
|
"1",
|
|
@@ -297,12 +301,12 @@ var vk_delta_2 = [
|
|
|
297
301
|
],
|
|
298
302
|
[
|
|
299
303
|
[
|
|
300
|
-
"
|
|
301
|
-
"
|
|
304
|
+
"18343503004862189418033094393114515169584171574852422315350418500159030922263",
|
|
305
|
+
"21420692366857794685888663542888709905237738746850069466081467001353666342965"
|
|
302
306
|
],
|
|
303
307
|
[
|
|
304
|
-
"
|
|
305
|
-
"
|
|
308
|
+
"15200551988732901161699976788357951085426436066677048420098461828563894176150",
|
|
309
|
+
"16439186901063853414808045554962977634854311593865750348846556486836509716488"
|
|
306
310
|
],
|
|
307
311
|
[
|
|
308
312
|
"1",
|
|
@@ -311,12 +315,12 @@ var vk_delta_2 = [
|
|
|
311
315
|
],
|
|
312
316
|
[
|
|
313
317
|
[
|
|
314
|
-
"
|
|
315
|
-
"
|
|
318
|
+
"1531932691795154082010331247272128035283420450879984505970978649526303671013",
|
|
319
|
+
"8482807834840099486107357849095958421708288941420679407730439668240369271197"
|
|
316
320
|
],
|
|
317
321
|
[
|
|
318
|
-
"
|
|
319
|
-
"
|
|
322
|
+
"2890563104449202149521252385842115871596603958515320789619311677428773944295",
|
|
323
|
+
"10326017741190716069982105202291613302347042236075737537452333444753171570010"
|
|
320
324
|
],
|
|
321
325
|
[
|
|
322
326
|
"1",
|
|
@@ -325,12 +329,12 @@ var vk_delta_2 = [
|
|
|
325
329
|
],
|
|
326
330
|
[
|
|
327
331
|
[
|
|
328
|
-
"
|
|
329
|
-
"
|
|
332
|
+
"8031021217500376290269114216814836477415391402921787637085737712949651005952",
|
|
333
|
+
"6379626794062388565530320965673584683811331210463512233691169393056454417810"
|
|
330
334
|
],
|
|
331
335
|
[
|
|
332
|
-
"
|
|
333
|
-
"
|
|
336
|
+
"12412675319987657724460960278402203548317535126494687402198671892291826563464",
|
|
337
|
+
"15261959534341262089656432084966075417921918036565394975811438856221288978192"
|
|
334
338
|
],
|
|
335
339
|
[
|
|
336
340
|
"1",
|
|
@@ -339,12 +343,12 @@ var vk_delta_2 = [
|
|
|
339
343
|
],
|
|
340
344
|
[
|
|
341
345
|
[
|
|
342
|
-
"
|
|
343
|
-
"
|
|
346
|
+
"11063658239692825381704700810385108349384459703800229121613802621026834850995",
|
|
347
|
+
"18405974527641184935569939050199806786119735189423462681352004154947586987761"
|
|
344
348
|
],
|
|
345
349
|
[
|
|
346
|
-
"
|
|
347
|
-
"
|
|
350
|
+
"10581036997862130058603889786198200057133900928078268413900852134308841628552",
|
|
351
|
+
"20401912636755055463157317129314482008782101856095804626717136888886428939725"
|
|
348
352
|
],
|
|
349
353
|
[
|
|
350
354
|
"1",
|
|
@@ -353,12 +357,12 @@ var vk_delta_2 = [
|
|
|
353
357
|
],
|
|
354
358
|
[
|
|
355
359
|
[
|
|
356
|
-
"
|
|
357
|
-
"
|
|
360
|
+
"5914749649291606384462747717764850940787906745751128721215181537027495043325",
|
|
361
|
+
"2844460676842285471844840162496739784337096369846435331204280645139535043731"
|
|
358
362
|
],
|
|
359
363
|
[
|
|
360
|
-
"
|
|
361
|
-
"
|
|
364
|
+
"16679714051449621657256662882211432986285335589270632187081448168743144646010",
|
|
365
|
+
"16403998562201315274383761287898474039980386929670468025842124690312505385798"
|
|
362
366
|
],
|
|
363
367
|
[
|
|
364
368
|
"1",
|
|
@@ -367,12 +371,12 @@ var vk_delta_2 = [
|
|
|
367
371
|
],
|
|
368
372
|
[
|
|
369
373
|
[
|
|
370
|
-
"
|
|
371
|
-
"
|
|
374
|
+
"6360514614281299182411878013125972206098844277909449064382248671632240409416",
|
|
375
|
+
"8019490235657930229602545685025618469913840887375206662306714562639338096359"
|
|
372
376
|
],
|
|
373
377
|
[
|
|
374
|
-
"
|
|
375
|
-
"
|
|
378
|
+
"8421518624327767035539667378193845962377888010421324291966623261409058898245",
|
|
379
|
+
"18532505668867290379738328175003759079607042632729982459107375168365918757976"
|
|
376
380
|
],
|
|
377
381
|
[
|
|
378
382
|
"1",
|
|
@@ -381,12 +385,12 @@ var vk_delta_2 = [
|
|
|
381
385
|
],
|
|
382
386
|
[
|
|
383
387
|
[
|
|
384
|
-
"
|
|
385
|
-
"
|
|
388
|
+
"11573288866341175121647407708978273297857024597782918874282176717371576773130",
|
|
389
|
+
"20759074837657564809501685143530456377562536015816086555379080667602653298306"
|
|
386
390
|
],
|
|
387
391
|
[
|
|
388
|
-
"
|
|
389
|
-
"
|
|
392
|
+
"21884242265301052283286073107133504985083194336113478618838523331660374213570",
|
|
393
|
+
"19475107603336226504587469711392819869087288902355805230614724291289122375846"
|
|
390
394
|
],
|
|
391
395
|
[
|
|
392
396
|
"1",
|
|
@@ -395,12 +399,12 @@ var vk_delta_2 = [
|
|
|
395
399
|
],
|
|
396
400
|
[
|
|
397
401
|
[
|
|
398
|
-
"
|
|
399
|
-
"
|
|
402
|
+
"7951387307333182634684754650901435973768779794218900331714625086350726274942",
|
|
403
|
+
"3066170574229466435407264700502616839626082070514501523679452764935485028736"
|
|
400
404
|
],
|
|
401
405
|
[
|
|
402
|
-
"
|
|
403
|
-
"
|
|
406
|
+
"19848381031896652139349791682530465833719275685855743122849792015759588531339",
|
|
407
|
+
"13578824606544430966133042087468301830727811282121948825028360301706303669231"
|
|
404
408
|
],
|
|
405
409
|
[
|
|
406
410
|
"1",
|
|
@@ -409,12 +413,12 @@ var vk_delta_2 = [
|
|
|
409
413
|
],
|
|
410
414
|
[
|
|
411
415
|
[
|
|
412
|
-
"
|
|
413
|
-
"
|
|
416
|
+
"16419308144058642981524756443290703631729426627385646905142158478345164404879",
|
|
417
|
+
"6573154341426354993599623914164155921131813615298607946435982334364383320793"
|
|
414
418
|
],
|
|
415
419
|
[
|
|
416
|
-
"
|
|
417
|
-
"
|
|
420
|
+
"17945712678641984649495876620223190782305382105763957622870181201252059717682",
|
|
421
|
+
"942314767315789144256266064192022265579304275774793342260835421710673918285"
|
|
418
422
|
],
|
|
419
423
|
[
|
|
420
424
|
"1",
|
|
@@ -423,12 +427,12 @@ var vk_delta_2 = [
|
|
|
423
427
|
],
|
|
424
428
|
[
|
|
425
429
|
[
|
|
426
|
-
"
|
|
427
|
-
"
|
|
430
|
+
"8228171988949250866347662896961764196608750080646539001443256474901139877051",
|
|
431
|
+
"9271002136483424788269278316391606491360153732024211579417926107994995432826"
|
|
428
432
|
],
|
|
429
433
|
[
|
|
430
|
-
"
|
|
431
|
-
"
|
|
434
|
+
"3685474186777860155223706676482968796090983045736466861690878558020083034916",
|
|
435
|
+
"20240081759615964816136232877050251456333669788276947762731625798225823502998"
|
|
432
436
|
],
|
|
433
437
|
[
|
|
434
438
|
"1",
|
|
@@ -437,12 +441,12 @@ var vk_delta_2 = [
|
|
|
437
441
|
],
|
|
438
442
|
[
|
|
439
443
|
[
|
|
440
|
-
"
|
|
441
|
-
"
|
|
444
|
+
"7338708370982730261395030177227912514214944721567888714384503728042214055309",
|
|
445
|
+
"275116175553159498718561489405169511232715998055900506709208190227728439831"
|
|
442
446
|
],
|
|
443
447
|
[
|
|
444
|
-
"
|
|
445
|
-
"
|
|
448
|
+
"15163443940499746648640851269666923560658903809778640616581862089179343108182",
|
|
449
|
+
"2285508597732647746841213906783440647997136124356359059650028586535477309792"
|
|
446
450
|
],
|
|
447
451
|
[
|
|
448
452
|
"1",
|
|
@@ -451,12 +455,12 @@ var vk_delta_2 = [
|
|
|
451
455
|
],
|
|
452
456
|
[
|
|
453
457
|
[
|
|
454
|
-
"
|
|
455
|
-
"
|
|
458
|
+
"3790897889674729687102011235738708037383393765058266352188381434189575086080",
|
|
459
|
+
"7481617454708320190331411214970150566519243590120906863698168124347483283307"
|
|
456
460
|
],
|
|
457
461
|
[
|
|
458
|
-
"
|
|
459
|
-
"
|
|
462
|
+
"18961585057625546222763334757505522771740769338010572292783220912986926586854",
|
|
463
|
+
"17582850308142585333519054672998882111865339708436809129995518706804527076353"
|
|
460
464
|
],
|
|
461
465
|
[
|
|
462
466
|
"1",
|
|
@@ -465,12 +469,12 @@ var vk_delta_2 = [
|
|
|
465
469
|
],
|
|
466
470
|
[
|
|
467
471
|
[
|
|
468
|
-
"
|
|
469
|
-
"
|
|
472
|
+
"13953490152873041611053779700802518995304489998104548903919774028525032867964",
|
|
473
|
+
"9679690373149117563754317307037586538394929348733117229177073999196519450461"
|
|
470
474
|
],
|
|
471
475
|
[
|
|
472
|
-
"
|
|
473
|
-
"
|
|
476
|
+
"8400619522468195192079024924375785176686244213372269992523849676384018875300",
|
|
477
|
+
"8584860336778813488021026261425560177968889952950706471574873674510806966419"
|
|
474
478
|
],
|
|
475
479
|
[
|
|
476
480
|
"1",
|
|
@@ -479,12 +483,12 @@ var vk_delta_2 = [
|
|
|
479
483
|
],
|
|
480
484
|
[
|
|
481
485
|
[
|
|
482
|
-
"
|
|
483
|
-
"
|
|
486
|
+
"19026513891744713045426845531420132126578554294461150386909840193098440147673",
|
|
487
|
+
"1895928299034844696630794694609519515092896092191683631304721647222032914779"
|
|
484
488
|
],
|
|
485
489
|
[
|
|
486
|
-
"
|
|
487
|
-
"
|
|
490
|
+
"13362867147840304033834065229457670563442204439046527165143934160967798444725",
|
|
491
|
+
"4073281111734161932072345995811001896063226222777392994725894652964051683943"
|
|
488
492
|
],
|
|
489
493
|
[
|
|
490
494
|
"1",
|
|
@@ -493,12 +497,12 @@ var vk_delta_2 = [
|
|
|
493
497
|
],
|
|
494
498
|
[
|
|
495
499
|
[
|
|
496
|
-
"
|
|
497
|
-
"
|
|
500
|
+
"9112140750806762434510825375931543886135367141484613422947675423683311130537",
|
|
501
|
+
"7211419275788152379372992549185439317698375419836488104253705518694042119228"
|
|
498
502
|
],
|
|
499
503
|
[
|
|
500
|
-
"
|
|
501
|
-
"
|
|
504
|
+
"6961266423823329910790066424248133365666435921221127260870444632539329606224",
|
|
505
|
+
"12020406779776320543918475257645763209221278449775176154727249143619468329590"
|
|
502
506
|
],
|
|
503
507
|
[
|
|
504
508
|
"1",
|
|
@@ -507,12 +511,12 @@ var vk_delta_2 = [
|
|
|
507
511
|
],
|
|
508
512
|
[
|
|
509
513
|
[
|
|
510
|
-
"
|
|
511
|
-
"
|
|
514
|
+
"6590008305704976915857671866558706505394630312395969823040635040879201337002",
|
|
515
|
+
"18803497674827878184210135371703804206276128582022416604041787392310845729622"
|
|
512
516
|
],
|
|
513
517
|
[
|
|
514
|
-
"
|
|
515
|
-
"
|
|
518
|
+
"16299600292583383998706243035294548578562168326056377699804434906128380481545",
|
|
519
|
+
"2714759247406808259589803854440914533632699567907406761316959511568030744066"
|
|
516
520
|
],
|
|
517
521
|
[
|
|
518
522
|
"1",
|
|
@@ -521,12 +525,12 @@ var vk_delta_2 = [
|
|
|
521
525
|
],
|
|
522
526
|
[
|
|
523
527
|
[
|
|
524
|
-
"
|
|
525
|
-
"
|
|
528
|
+
"8484194759795978556088297437107686617328133596604796277228418191688537911573",
|
|
529
|
+
"9325238625126515763679853550553375879158552597544709459784109512243397955590"
|
|
526
530
|
],
|
|
527
531
|
[
|
|
528
|
-
"
|
|
529
|
-
"
|
|
532
|
+
"13482530129860761195447497269660263095272961608736579417124458190809007451755",
|
|
533
|
+
"7354463117736585470843139230227589188304331389476818932256765377140053168035"
|
|
530
534
|
],
|
|
531
535
|
[
|
|
532
536
|
"1",
|
|
@@ -535,12 +539,12 @@ var vk_delta_2 = [
|
|
|
535
539
|
],
|
|
536
540
|
[
|
|
537
541
|
[
|
|
538
|
-
"
|
|
539
|
-
"
|
|
542
|
+
"21462572925415337738214437933606587540653694853107274549824898449394152530908",
|
|
543
|
+
"7333723286812204168407439917521565157977670700382476881790986792115201279410"
|
|
540
544
|
],
|
|
541
545
|
[
|
|
542
|
-
"
|
|
543
|
-
"
|
|
546
|
+
"16253055713127198337468919465234896268161918860396508551871391729457324125212",
|
|
547
|
+
"6820993392268884858152757378169835647522978080101384568523885945756789014349"
|
|
544
548
|
],
|
|
545
549
|
[
|
|
546
550
|
"1",
|
|
@@ -549,12 +553,12 @@ var vk_delta_2 = [
|
|
|
549
553
|
],
|
|
550
554
|
[
|
|
551
555
|
[
|
|
552
|
-
"
|
|
553
|
-
"
|
|
556
|
+
"17544563341965869668707473190805417639220912289969746146554006791986582724590",
|
|
557
|
+
"11102327427527201346056529148642207216130990405495165914761901542247835149412"
|
|
554
558
|
],
|
|
555
559
|
[
|
|
556
|
-
"
|
|
557
|
-
"
|
|
560
|
+
"4999887962989142396481351641254451370620928952306237803174890583736074770292",
|
|
561
|
+
"4470848226757772603246285686584200798638888970547659211297578619392420918858"
|
|
558
562
|
],
|
|
559
563
|
[
|
|
560
564
|
"1",
|
|
@@ -563,12 +567,12 @@ var vk_delta_2 = [
|
|
|
563
567
|
],
|
|
564
568
|
[
|
|
565
569
|
[
|
|
566
|
-
"
|
|
567
|
-
"
|
|
570
|
+
"19811002121850954821192061183148615163420706271800817927960207430256612524059",
|
|
571
|
+
"5314337765479745092537090978913989310916802510812096192767666377841447850226"
|
|
568
572
|
],
|
|
569
573
|
[
|
|
570
|
-
"
|
|
571
|
-
"
|
|
574
|
+
"3428844080448214358238191483671878854080864964895729401025193865570307658787",
|
|
575
|
+
"18254735365473444026840717290492248863101576601864757410600437101587001057517"
|
|
572
576
|
],
|
|
573
577
|
[
|
|
574
578
|
"1",
|
|
@@ -577,12 +581,12 @@ var vk_delta_2 = [
|
|
|
577
581
|
],
|
|
578
582
|
[
|
|
579
583
|
[
|
|
580
|
-
"
|
|
581
|
-
"
|
|
584
|
+
"11882651094700172542567008359015417490389070633573140242127755563781024148099",
|
|
585
|
+
"4310089243116651250383251477034324245457116277666484671624575402227833925755"
|
|
582
586
|
],
|
|
583
587
|
[
|
|
584
|
-
"
|
|
585
|
-
"
|
|
588
|
+
"18874624159090765871635243875933482675871258293088886749847315202391523956097",
|
|
589
|
+
"9304328383406369649010049197573360507944684656613297568584394172735340111263"
|
|
586
590
|
],
|
|
587
591
|
[
|
|
588
592
|
"1",
|
|
@@ -591,12 +595,12 @@ var vk_delta_2 = [
|
|
|
591
595
|
],
|
|
592
596
|
[
|
|
593
597
|
[
|
|
594
|
-
"
|
|
595
|
-
"
|
|
598
|
+
"20383112265143113621158547584533108172173014612497300318772355462448750327634",
|
|
599
|
+
"9476241965146735006848999585927664857836027675817848342111996150638876938940"
|
|
596
600
|
],
|
|
597
601
|
[
|
|
598
|
-
"
|
|
599
|
-
"
|
|
602
|
+
"20733082136685384602293372077980283048183069753990343452404863587763569081917",
|
|
603
|
+
"10370498046215116715134085566322498900073301617448752966999679321197451973184"
|
|
600
604
|
],
|
|
601
605
|
[
|
|
602
606
|
"1",
|
|
@@ -605,12 +609,12 @@ var vk_delta_2 = [
|
|
|
605
609
|
],
|
|
606
610
|
[
|
|
607
611
|
[
|
|
608
|
-
"
|
|
609
|
-
"
|
|
612
|
+
"10728358412340769313351519567620170787387770135423141966436844748162218854008",
|
|
613
|
+
"7929983584961755765377471515178883367433439212271736050025708429355823243624"
|
|
610
614
|
],
|
|
611
615
|
[
|
|
612
|
-
"
|
|
613
|
-
"
|
|
616
|
+
"2424224908982307794171893487036131370038399449016750026546326391873466118335",
|
|
617
|
+
"4169855297038740915695363102363044976292665711211255871324667594694964037773"
|
|
614
618
|
],
|
|
615
619
|
[
|
|
616
620
|
"1",
|
|
@@ -621,895 +625,895 @@ var vk_delta_2 = [
|
|
|
621
625
|
var vk_alphabeta_12 = [
|
|
622
626
|
[
|
|
623
627
|
[
|
|
624
|
-
"
|
|
625
|
-
"
|
|
628
|
+
"5275725312362878540782176211860327475781113689246818544623830805017503247034",
|
|
629
|
+
"700769043921060225711174322502145319612473365595920873303028146383045646735"
|
|
626
630
|
],
|
|
627
631
|
[
|
|
628
|
-
"
|
|
629
|
-
"
|
|
632
|
+
"16577533945604560505206253312979863148043263406037367789711279754781525822966",
|
|
633
|
+
"9408338099405950952721388539539775335199747835458172188116297223654842340186"
|
|
630
634
|
],
|
|
631
635
|
[
|
|
632
|
-
"
|
|
633
|
-
"
|
|
636
|
+
"12663399896275491035004982800573482669934131767886952660443268164480899034271",
|
|
637
|
+
"4432711152773877173921024337047412943791122852326272337530740732443732395954"
|
|
634
638
|
]
|
|
635
639
|
],
|
|
636
640
|
[
|
|
637
641
|
[
|
|
638
|
-
"
|
|
639
|
-
"
|
|
642
|
+
"13121778684901402722679281862736806628725205381360313795132945954337708567513",
|
|
643
|
+
"9534744673358550231812045647241180985734073058548683258847806241019905135720"
|
|
640
644
|
],
|
|
641
645
|
[
|
|
642
|
-
"
|
|
643
|
-
"
|
|
646
|
+
"21329152369227346659770815132468371951064045353268189088026893413117512652875",
|
|
647
|
+
"17209195434408943681049655974234541356066884378594227002358272904159790622854"
|
|
644
648
|
],
|
|
645
649
|
[
|
|
646
|
-
"
|
|
647
|
-
"
|
|
650
|
+
"5346467096835895366917814311591075634165750361894629082277248282132405045579",
|
|
651
|
+
"15508364027636868967189209273443690126627947943852338696115233789046842639684"
|
|
648
652
|
]
|
|
649
653
|
]
|
|
650
654
|
];
|
|
651
655
|
var IC = [
|
|
652
656
|
[
|
|
653
657
|
[
|
|
654
|
-
"
|
|
655
|
-
"
|
|
658
|
+
"20602000776800724705104231353971008348678632605343811527051139864158800058742",
|
|
659
|
+
"14100125742256756091734688090621667470723401759459592787502475801413744195297",
|
|
656
660
|
"1"
|
|
657
661
|
],
|
|
658
662
|
[
|
|
659
|
-
"
|
|
660
|
-
"
|
|
663
|
+
"5090583730862410755830979584235210054631184460526892606022709842010236308675",
|
|
664
|
+
"4935746665478263580470501879719907639988899436008466660042851826337922233613",
|
|
661
665
|
"1"
|
|
662
666
|
],
|
|
663
667
|
[
|
|
664
|
-
"
|
|
665
|
-
"
|
|
668
|
+
"3603230519262933722323237889869128969156000998401789817930265262617368730462",
|
|
669
|
+
"11467103179184542033012124498958167915605281189440445972230559164572312725202",
|
|
666
670
|
"1"
|
|
667
671
|
],
|
|
668
672
|
[
|
|
669
|
-
"
|
|
670
|
-
"
|
|
673
|
+
"20354120984011889701917116306955017859695028034788955847437411305304360829487",
|
|
674
|
+
"16952752114474306858880411587178692742589121096026762314329638709126787301483",
|
|
671
675
|
"1"
|
|
672
676
|
],
|
|
673
677
|
[
|
|
674
|
-
"
|
|
675
|
-
"
|
|
678
|
+
"18678961143994743003180318723146092299060216598083112257165966782010215931454",
|
|
679
|
+
"5866474510945308764957529269555101130643879788634167019342763906927794156659",
|
|
676
680
|
"1"
|
|
677
681
|
]
|
|
678
682
|
],
|
|
679
683
|
[
|
|
680
684
|
[
|
|
681
|
-
"
|
|
682
|
-
"
|
|
685
|
+
"15947740979005208428427315036716544174249364023308166418156254508145278950889",
|
|
686
|
+
"13324328715790405384125386378518079709609297588403011236512446709595322048979",
|
|
683
687
|
"1"
|
|
684
688
|
],
|
|
685
689
|
[
|
|
686
|
-
"
|
|
687
|
-
"
|
|
690
|
+
"18308129219862888344083447566760955160779532192553849267018614487088634836563",
|
|
691
|
+
"6372459765603725576424215986727450779217530423615747931788702584026023386877",
|
|
688
692
|
"1"
|
|
689
693
|
],
|
|
690
694
|
[
|
|
691
|
-
"
|
|
692
|
-
"
|
|
695
|
+
"7093003777162632186231777482293120808844116758585672698445917711442486215336",
|
|
696
|
+
"15357576732947512625016950088762579987226580659874157718142226214458009204755",
|
|
693
697
|
"1"
|
|
694
698
|
],
|
|
695
699
|
[
|
|
696
|
-
"
|
|
697
|
-
"
|
|
700
|
+
"13910597919064508360434043231000553781072135406219661606166769706745413894201",
|
|
701
|
+
"9475901949906914147982792916474633312982452326368523201024844634638043554494",
|
|
698
702
|
"1"
|
|
699
703
|
],
|
|
700
704
|
[
|
|
701
|
-
"
|
|
702
|
-
"
|
|
705
|
+
"5845138751782936895477553974859998077996624699108246120208069774017428318479",
|
|
706
|
+
"3326095377373657419775174404381825686428913179751401123841216020519623741775",
|
|
703
707
|
"1"
|
|
704
708
|
]
|
|
705
709
|
],
|
|
706
710
|
[
|
|
707
711
|
[
|
|
708
|
-
"
|
|
709
|
-
"
|
|
712
|
+
"8027751638293718359199675565570157214590620386957299982399037269650333307021",
|
|
713
|
+
"19002113380575481191643777830101182489616906893723699470070419138254788369727",
|
|
710
714
|
"1"
|
|
711
715
|
],
|
|
712
716
|
[
|
|
713
|
-
"
|
|
714
|
-
"
|
|
717
|
+
"13631613009301650992828160964785768170789209232530437462516754147352285424672",
|
|
718
|
+
"10537705110128905270703523362934130036880036854847578111990360444182641655212",
|
|
715
719
|
"1"
|
|
716
720
|
],
|
|
717
721
|
[
|
|
718
|
-
"
|
|
719
|
-
"
|
|
722
|
+
"15557574650831364767567015658284909068256128766563081293491003990055297878366",
|
|
723
|
+
"4049724481871929240016595616316679773340938699307608349394228543495262553744",
|
|
720
724
|
"1"
|
|
721
725
|
],
|
|
722
726
|
[
|
|
723
|
-
"
|
|
724
|
-
"
|
|
727
|
+
"9967066649437927083270210032320564587652082866881800887188539489167094397640",
|
|
728
|
+
"12463426560961961450861478284334163210886016242490079948590082000657390077088",
|
|
725
729
|
"1"
|
|
726
730
|
],
|
|
727
731
|
[
|
|
728
|
-
"
|
|
729
|
-
"
|
|
732
|
+
"21318595425700216078579789307308348011199610228556265752904860757510620370622",
|
|
733
|
+
"7430155508771673067823897542900534022148544854722115377830369283854627952599",
|
|
730
734
|
"1"
|
|
731
735
|
]
|
|
732
736
|
],
|
|
733
737
|
[
|
|
734
738
|
[
|
|
735
|
-
"
|
|
736
|
-
"
|
|
739
|
+
"12017353327534072098763415761011052990865822334777878720246921848197559257711",
|
|
740
|
+
"4746680322053291743787031203095442352574780441873349801788355375401126089939",
|
|
737
741
|
"1"
|
|
738
742
|
],
|
|
739
743
|
[
|
|
740
|
-
"
|
|
741
|
-
"
|
|
744
|
+
"6764632552006100580460767171096753901452726344615530017064702126145414585640",
|
|
745
|
+
"11581587935666673652762153205827599529022773836189155792609728856814288572033",
|
|
742
746
|
"1"
|
|
743
747
|
],
|
|
744
748
|
[
|
|
745
|
-
"
|
|
746
|
-
"
|
|
749
|
+
"3123694825428833189943974730387937552931713004458396242443840668462184834558",
|
|
750
|
+
"3432192610292569155696646287493678963086402014898209278361624573082188247990",
|
|
747
751
|
"1"
|
|
748
752
|
],
|
|
749
753
|
[
|
|
750
|
-
"
|
|
751
|
-
"
|
|
754
|
+
"12349833666000936285363634772178969342930188247085371717039135170012686159900",
|
|
755
|
+
"5587426338437935681688079936152042996259869611071713486439341129143155921959",
|
|
752
756
|
"1"
|
|
753
757
|
],
|
|
754
758
|
[
|
|
755
|
-
"
|
|
756
|
-
"
|
|
759
|
+
"12022589354168680516901928073724404259700970836413687340697868887207353139344",
|
|
760
|
+
"2351613311284811919248989036726852289804810348516261915606564943623124473717",
|
|
757
761
|
"1"
|
|
758
762
|
]
|
|
759
763
|
],
|
|
760
764
|
[
|
|
761
765
|
[
|
|
762
|
-
"
|
|
763
|
-
"
|
|
766
|
+
"3115002343037487520580459802807906562630507097436525958861415456096559884443",
|
|
767
|
+
"11775142132959919266954507317832500578453517368862270948538792702813845219681",
|
|
764
768
|
"1"
|
|
765
769
|
],
|
|
766
770
|
[
|
|
767
|
-
"
|
|
768
|
-
"
|
|
771
|
+
"5975456097652384580746132945351678665917860606511206167023154005883554813508",
|
|
772
|
+
"10958037207675554032315788914627312943186758288936582678633536154169678007202",
|
|
769
773
|
"1"
|
|
770
774
|
],
|
|
771
775
|
[
|
|
772
|
-
"
|
|
773
|
-
"
|
|
776
|
+
"16345185674805541466042568997276776714209785989761944600635051035243995431568",
|
|
777
|
+
"3326264593228494909568322793066180033820330146744162800569972963329142251537",
|
|
774
778
|
"1"
|
|
775
779
|
],
|
|
776
780
|
[
|
|
777
|
-
"
|
|
778
|
-
"
|
|
781
|
+
"20721047231464194965879320004420846916587593568519526251056516572985788552732",
|
|
782
|
+
"2552439778142862614309289213707433798337671284267429041900242151271508522517",
|
|
779
783
|
"1"
|
|
780
784
|
],
|
|
781
785
|
[
|
|
782
|
-
"
|
|
783
|
-
"
|
|
786
|
+
"2849386127826497959217687777221941766595094589431869464564268817450132435018",
|
|
787
|
+
"12188539304210779665491473755999603070354632830707125660270270405780470402800",
|
|
784
788
|
"1"
|
|
785
789
|
]
|
|
786
790
|
],
|
|
787
791
|
[
|
|
788
792
|
[
|
|
789
|
-
"
|
|
790
|
-
"
|
|
793
|
+
"6024976123298004874848602709755399197808739071863728225378332097920450236516",
|
|
794
|
+
"11108084608972457539770160222798307153256767409158349747526974841008717682367",
|
|
791
795
|
"1"
|
|
792
796
|
],
|
|
793
797
|
[
|
|
794
|
-
"
|
|
795
|
-
"
|
|
798
|
+
"3009127146923662343754766534488769100730310563110562565512507605403185571089",
|
|
799
|
+
"10560679284132950437595738585637379866590755950272794729013445350206405316661",
|
|
796
800
|
"1"
|
|
797
801
|
],
|
|
798
802
|
[
|
|
799
|
-
"
|
|
800
|
-
"
|
|
803
|
+
"16015321530803994569819047219560485624444041236327101681073970215458831987478",
|
|
804
|
+
"18489840631710745699731219026737904723160484479846032199737023956049067434815",
|
|
801
805
|
"1"
|
|
802
806
|
],
|
|
803
807
|
[
|
|
804
|
-
"
|
|
805
|
-
"
|
|
808
|
+
"609265187318362115240245160721406765003010398230819869810290394123140807290",
|
|
809
|
+
"2656965952206569220410287839949134856874352189248192147930831679380007159249",
|
|
806
810
|
"1"
|
|
807
811
|
],
|
|
808
812
|
[
|
|
809
|
-
"
|
|
810
|
-
"
|
|
813
|
+
"13957423432693450118120092425077530751840166358932317773385901323790404449641",
|
|
814
|
+
"7610225795517710715985874151201119876406845575780133396869144717381641586640",
|
|
811
815
|
"1"
|
|
812
816
|
]
|
|
813
817
|
],
|
|
814
818
|
[
|
|
815
819
|
[
|
|
816
|
-
"
|
|
817
|
-
"
|
|
820
|
+
"18178936861568428015361893654874798233785855995042899944660014774323534883903",
|
|
821
|
+
"534506139369949013962728832141783820104682340925384016906020027968881380951",
|
|
818
822
|
"1"
|
|
819
823
|
],
|
|
820
824
|
[
|
|
821
|
-
"
|
|
822
|
-
"
|
|
825
|
+
"13888044772855561714276444972404100722751042044045312252045340354941233320135",
|
|
826
|
+
"13061437363756343100054622876229104455920015737970195589611281743974716159827",
|
|
823
827
|
"1"
|
|
824
828
|
],
|
|
825
829
|
[
|
|
826
|
-
"
|
|
827
|
-
"
|
|
830
|
+
"15297052669271818809266618537917704542138894789392864971735934945598379827363",
|
|
831
|
+
"3240592020743113440365790241401792477958041186219702004441781545015089517479",
|
|
828
832
|
"1"
|
|
829
833
|
],
|
|
830
834
|
[
|
|
831
|
-
"
|
|
832
|
-
"
|
|
835
|
+
"12939402739160799630996576545137073878726141216092557580496570401396343874133",
|
|
836
|
+
"409838859583542828209958035048329036930557790097408442597169497017958367880",
|
|
833
837
|
"1"
|
|
834
838
|
],
|
|
835
839
|
[
|
|
836
|
-
"
|
|
837
|
-
"
|
|
840
|
+
"4849352055719384218783567790347020036570406423962447054960403165168624679411",
|
|
841
|
+
"10140481868950825952506002812679553069445144019364683137830173127833535162812",
|
|
838
842
|
"1"
|
|
839
843
|
]
|
|
840
844
|
],
|
|
841
845
|
[
|
|
842
846
|
[
|
|
843
|
-
"
|
|
844
|
-
"
|
|
847
|
+
"12128929995926069335150064696726717100038806543084523729572253928762150006902",
|
|
848
|
+
"1527343541447603983494013575570118174442170324803005341835852970207664984106",
|
|
845
849
|
"1"
|
|
846
850
|
],
|
|
847
851
|
[
|
|
848
|
-
"
|
|
849
|
-
"
|
|
852
|
+
"3864366504647042739453971869413719136218296278515580744588126485271535533745",
|
|
853
|
+
"16390744785373846505589339019032992526980013169808686005019244934399314954484",
|
|
850
854
|
"1"
|
|
851
855
|
],
|
|
852
856
|
[
|
|
853
|
-
"
|
|
854
|
-
"
|
|
857
|
+
"1189371614834081242339044631966546656514169937037419744085755746584992776112",
|
|
858
|
+
"2490564128297998291899011962907372091056992851367564813460897014374926950158",
|
|
855
859
|
"1"
|
|
856
860
|
],
|
|
857
861
|
[
|
|
858
|
-
"
|
|
859
|
-
"
|
|
862
|
+
"2632864541439030478006092584387470079076010621748787710053145987733131826177",
|
|
863
|
+
"10997016251008884590554668186933912000821350188750456144761529496433221911191",
|
|
860
864
|
"1"
|
|
861
865
|
],
|
|
862
866
|
[
|
|
863
|
-
"
|
|
864
|
-
"
|
|
867
|
+
"3662989402605074726032541754492900291134797145446056852785520146936851543244",
|
|
868
|
+
"8371074929323402425468930212402691638137013802793901226648986870188378349904",
|
|
865
869
|
"1"
|
|
866
870
|
]
|
|
867
871
|
],
|
|
868
872
|
[
|
|
869
873
|
[
|
|
870
|
-
"
|
|
871
|
-
"
|
|
874
|
+
"11685593308965088606881675161829854229906033467171784802160080423031157953626",
|
|
875
|
+
"18989841286028554273231159314070667749621876499337485447347239057791285949659",
|
|
872
876
|
"1"
|
|
873
877
|
],
|
|
874
878
|
[
|
|
875
|
-
"
|
|
876
|
-
"
|
|
879
|
+
"13501500842653069022700095920888317808542113497043735775280862312089436522286",
|
|
880
|
+
"16284422417487952110266526583186344607656490299306406671512902584454645262294",
|
|
877
881
|
"1"
|
|
878
882
|
],
|
|
879
883
|
[
|
|
880
|
-
"
|
|
881
|
-
"
|
|
884
|
+
"14766820041476554952520399418749355774195705334216487399328042021346008099854",
|
|
885
|
+
"11502099463338241997177160748027482497157165595330950109059924501733819344412",
|
|
882
886
|
"1"
|
|
883
887
|
],
|
|
884
888
|
[
|
|
885
|
-
"
|
|
886
|
-
"
|
|
889
|
+
"21097733162892834226328090737666232905549661288100963226189626007151883115218",
|
|
890
|
+
"3620141777236347892405766912767968106066233413607983266884777435591408542679",
|
|
887
891
|
"1"
|
|
888
892
|
],
|
|
889
893
|
[
|
|
890
|
-
"
|
|
891
|
-
"
|
|
894
|
+
"4465316625088681267432956930147995293521314127558426510839100849580054135068",
|
|
895
|
+
"15951396696291486543574989938200386934444721629903447106494532971713975302198",
|
|
892
896
|
"1"
|
|
893
897
|
]
|
|
894
898
|
],
|
|
895
899
|
[
|
|
896
900
|
[
|
|
897
|
-
"
|
|
898
|
-
"
|
|
901
|
+
"15140772590596966074591171894694986645347795546765667852915300358255369432294",
|
|
902
|
+
"7383386342436648909729802223228006548918015494414484659175617833341830753463",
|
|
899
903
|
"1"
|
|
900
904
|
],
|
|
901
905
|
[
|
|
902
|
-
"
|
|
903
|
-
"
|
|
906
|
+
"11436445698241305906567677067532324081573492145508451249291326304016376374466",
|
|
907
|
+
"17397405229027848655285535331264669055168427730382628461971653096729174692794",
|
|
904
908
|
"1"
|
|
905
909
|
],
|
|
906
910
|
[
|
|
907
|
-
"
|
|
908
|
-
"
|
|
911
|
+
"8888190346365862431131132945799487885295183925892581338098808269532220115208",
|
|
912
|
+
"17373048493258440814074078107890527278667903472831731635546171123117085702144",
|
|
909
913
|
"1"
|
|
910
914
|
],
|
|
911
915
|
[
|
|
912
|
-
"
|
|
913
|
-
"
|
|
916
|
+
"5394355195223713516914582580686192473163629785306318732489822694588538915692",
|
|
917
|
+
"20814957740385525027786677509245187599649792998372465800981035312224123940783",
|
|
914
918
|
"1"
|
|
915
919
|
],
|
|
916
920
|
[
|
|
917
|
-
"
|
|
918
|
-
"
|
|
921
|
+
"11167741662268878371451552983943563550747492198375641214347145843414778750740",
|
|
922
|
+
"1505498991925224080559736158020686494389967648228591899080542175743913505975",
|
|
919
923
|
"1"
|
|
920
924
|
]
|
|
921
925
|
],
|
|
922
926
|
[
|
|
923
927
|
[
|
|
924
|
-
"
|
|
925
|
-
"
|
|
928
|
+
"5091938011714608365574587822261119297677309310900626302766934784886036216676",
|
|
929
|
+
"18792973255357094538588824962661759194320829424712347846315600994520652609459",
|
|
926
930
|
"1"
|
|
927
931
|
],
|
|
928
932
|
[
|
|
929
|
-
"
|
|
930
|
-
"
|
|
933
|
+
"5819484726278895533547092474664732368175576227992878488267454637556311136768",
|
|
934
|
+
"14087278759052154922504944654932471722205352537489748711235261956958139094423",
|
|
931
935
|
"1"
|
|
932
936
|
],
|
|
933
937
|
[
|
|
934
|
-
"
|
|
935
|
-
"
|
|
938
|
+
"6676755499836944199268283133886528716777488598645051771936175647684814488319",
|
|
939
|
+
"7841200200792172536039490995922340397104113825218911994623753022413575084536",
|
|
936
940
|
"1"
|
|
937
941
|
],
|
|
938
942
|
[
|
|
939
|
-
"
|
|
940
|
-
"
|
|
943
|
+
"9685171750835271647846188024034904289604883281120913275229696726161494108338",
|
|
944
|
+
"13804722593058778047599265964893015518608567919815229008355552695901539135617",
|
|
941
945
|
"1"
|
|
942
946
|
],
|
|
943
947
|
[
|
|
944
|
-
"
|
|
945
|
-
"
|
|
948
|
+
"133210224564739370698401112580329091433152068231765294734991529050629411851",
|
|
949
|
+
"6253365067148837443745536970484493754157158998156041417978340186561909915882",
|
|
946
950
|
"1"
|
|
947
951
|
]
|
|
948
952
|
],
|
|
949
953
|
[
|
|
950
954
|
[
|
|
951
|
-
"
|
|
952
|
-
"
|
|
955
|
+
"11594484527416994136900781664743660516883697944736099448760569480817952218099",
|
|
956
|
+
"5525949004768282420418522754788387377346850869414250693501350383184014395566",
|
|
953
957
|
"1"
|
|
954
958
|
],
|
|
955
959
|
[
|
|
956
|
-
"
|
|
957
|
-
"
|
|
960
|
+
"13423677678153887686951876961584096043047689175638209759158420018856273430250",
|
|
961
|
+
"688554022717474500337948897714325469989973507431329797109415877246281679190",
|
|
958
962
|
"1"
|
|
959
963
|
],
|
|
960
964
|
[
|
|
961
|
-
"
|
|
962
|
-
"
|
|
965
|
+
"5767985312159947447966233995178318554138266544591427341210101818005833690773",
|
|
966
|
+
"13782057493439290506357575012457041256926849070794382612465582256292384507590",
|
|
963
967
|
"1"
|
|
964
968
|
],
|
|
965
969
|
[
|
|
966
|
-
"
|
|
967
|
-
"
|
|
970
|
+
"2009465632383454183075946487099156558696455704620200103263777377956167571948",
|
|
971
|
+
"10265570962161934109202420603055144010322859077969741656080416572925588897009",
|
|
968
972
|
"1"
|
|
969
973
|
],
|
|
970
974
|
[
|
|
971
|
-
"
|
|
972
|
-
"
|
|
975
|
+
"13063467510206676485181697613068184940643350938488359709447602318070297992418",
|
|
976
|
+
"8824580488237789516855671915345935747743201560548603121129517348234754630838",
|
|
973
977
|
"1"
|
|
974
978
|
]
|
|
975
979
|
],
|
|
976
980
|
[
|
|
977
981
|
[
|
|
978
|
-
"
|
|
979
|
-
"
|
|
982
|
+
"15613862437263830065893280422700893831122147824370200118126675792748158214283",
|
|
983
|
+
"11637898091445829201992956909089879348463617460955895182594618572267100421779",
|
|
980
984
|
"1"
|
|
981
985
|
],
|
|
982
986
|
[
|
|
983
|
-
"
|
|
984
|
-
"
|
|
987
|
+
"676470684249461112964281503193041675013396554434239929609436328672155420783",
|
|
988
|
+
"14862758280768060051884504554805186980208629806423451755599092137651959992706",
|
|
985
989
|
"1"
|
|
986
990
|
],
|
|
987
991
|
[
|
|
988
|
-
"
|
|
989
|
-
"
|
|
992
|
+
"5623342967419780942118234966618900971275224510117264341831041912523393680166",
|
|
993
|
+
"12293742687505619727765346377361630310803471543338450439759434637239250426631",
|
|
990
994
|
"1"
|
|
991
995
|
],
|
|
992
996
|
[
|
|
993
|
-
"
|
|
994
|
-
"
|
|
997
|
+
"17107107724389526013252251054585363312805578717860151655674796329456502453436",
|
|
998
|
+
"695490429984933474058785653390434166254929169748519672533632124843844650437",
|
|
995
999
|
"1"
|
|
996
1000
|
],
|
|
997
1001
|
[
|
|
998
|
-
"
|
|
999
|
-
"
|
|
1002
|
+
"7941603993861390710630117468483386570984050378175531457457840811645822985465",
|
|
1003
|
+
"19423663035279971057851778008344970269742436279020301703706239058210708410668",
|
|
1000
1004
|
"1"
|
|
1001
1005
|
]
|
|
1002
1006
|
],
|
|
1003
1007
|
[
|
|
1004
1008
|
[
|
|
1005
|
-
"
|
|
1006
|
-
"
|
|
1009
|
+
"14178974435133537452754432783693851994073934244854394772136599698341675338748",
|
|
1010
|
+
"14490318493007296294817313593753116388501252549516359980240258503496717340194",
|
|
1007
1011
|
"1"
|
|
1008
1012
|
],
|
|
1009
1013
|
[
|
|
1010
|
-
"
|
|
1011
|
-
"
|
|
1014
|
+
"21219478166573360512901478467779541318881953172337799756939010190701884653821",
|
|
1015
|
+
"13653038712207413996195005796658436532811211815454701512198612316602372800026",
|
|
1012
1016
|
"1"
|
|
1013
1017
|
],
|
|
1014
1018
|
[
|
|
1015
|
-
"
|
|
1016
|
-
"
|
|
1019
|
+
"6606031466185873676955137126631780808678269492505994174970319773811652852017",
|
|
1020
|
+
"6998326006251734945119834407770954155028321677085545151592873301468610324946",
|
|
1017
1021
|
"1"
|
|
1018
1022
|
],
|
|
1019
1023
|
[
|
|
1020
|
-
"
|
|
1021
|
-
"
|
|
1024
|
+
"15717984973502827230694305820570642040862757036680118080574899662027439132392",
|
|
1025
|
+
"6129387663611887185666499162725019000386957238200546358846681873950634080364",
|
|
1022
1026
|
"1"
|
|
1023
1027
|
],
|
|
1024
1028
|
[
|
|
1025
|
-
"
|
|
1026
|
-
"
|
|
1029
|
+
"3229894653990057163047872622628926092609943988699832798310941005306795398260",
|
|
1030
|
+
"1577249093608064810495237122250056987651980088410811739655744853476971398741",
|
|
1027
1031
|
"1"
|
|
1028
1032
|
]
|
|
1029
1033
|
],
|
|
1030
1034
|
[
|
|
1031
1035
|
[
|
|
1032
|
-
"
|
|
1033
|
-
"
|
|
1036
|
+
"21508024236353721936402111331734487542417525255582275314005272967405040862839",
|
|
1037
|
+
"18027689383014810715963711252886295463940938266456411644747464137365500951807",
|
|
1034
1038
|
"1"
|
|
1035
1039
|
],
|
|
1036
1040
|
[
|
|
1037
|
-
"
|
|
1038
|
-
"
|
|
1041
|
+
"14484077699638992615220759300878276902226958277985946809174186953862915299590",
|
|
1042
|
+
"4817080763362108602919187869554992685382108795016276838137423588157592666796",
|
|
1039
1043
|
"1"
|
|
1040
1044
|
],
|
|
1041
1045
|
[
|
|
1042
|
-
"
|
|
1043
|
-
"
|
|
1046
|
+
"10791657063117982548380087239678382293931165307389242284595466175088416832331",
|
|
1047
|
+
"17574587559710800088797913763598808892829608388483075257576879500511250128297",
|
|
1044
1048
|
"1"
|
|
1045
1049
|
],
|
|
1046
1050
|
[
|
|
1047
|
-
"
|
|
1048
|
-
"
|
|
1051
|
+
"20931338330271163055101602391315623325223860904427973201832184784566097488773",
|
|
1052
|
+
"1954574324880132355431783868495392698894997264747376529310223470792870288803",
|
|
1049
1053
|
"1"
|
|
1050
1054
|
],
|
|
1051
1055
|
[
|
|
1052
|
-
"
|
|
1053
|
-
"
|
|
1056
|
+
"2551137710278149502571112114560159376697849893483916552857521579500208583200",
|
|
1057
|
+
"3997814265160290573081282672183091638735659350920634229735367532175023689675",
|
|
1054
1058
|
"1"
|
|
1055
1059
|
]
|
|
1056
1060
|
],
|
|
1057
1061
|
[
|
|
1058
1062
|
[
|
|
1059
|
-
"
|
|
1060
|
-
"
|
|
1063
|
+
"11844625750737259417493690805104254337758743574820507915512371579679338049474",
|
|
1064
|
+
"18479163117067129250021591308069049721232170743585134941796617403156042279597",
|
|
1061
1065
|
"1"
|
|
1062
1066
|
],
|
|
1063
1067
|
[
|
|
1064
|
-
"
|
|
1065
|
-
"
|
|
1068
|
+
"4434911559893931929914698652677389633068778061297646529129767359157675249407",
|
|
1069
|
+
"316682746098441691626372255125560321251096997722401729182940832349927288255",
|
|
1066
1070
|
"1"
|
|
1067
1071
|
],
|
|
1068
1072
|
[
|
|
1069
|
-
"
|
|
1070
|
-
"
|
|
1073
|
+
"19610390525670030492896894087745165507340241783776573708027658938288182681300",
|
|
1074
|
+
"5840208148535790468526125686220196099566194081164771919666034943299219873755",
|
|
1071
1075
|
"1"
|
|
1072
1076
|
],
|
|
1073
1077
|
[
|
|
1074
|
-
"
|
|
1075
|
-
"
|
|
1078
|
+
"3679027218793663842409677356801552901605408436635647286999251784339864591201",
|
|
1079
|
+
"9878321578558671609403512127325051261043472923444011356477587484000484178928",
|
|
1076
1080
|
"1"
|
|
1077
1081
|
],
|
|
1078
1082
|
[
|
|
1079
|
-
"
|
|
1080
|
-
"
|
|
1083
|
+
"16646455734597629493777237097088292344110223995728568379569260368267096014288",
|
|
1084
|
+
"14735311379463771264009437608444808852233202023120148855228542005281236140064",
|
|
1081
1085
|
"1"
|
|
1082
1086
|
]
|
|
1083
1087
|
],
|
|
1084
1088
|
[
|
|
1085
1089
|
[
|
|
1086
|
-
"
|
|
1087
|
-
"
|
|
1090
|
+
"6922136549797750291447751953663854475218048098902194660515442295348938322083",
|
|
1091
|
+
"10287261443878564608994021014993200221021609196127927226041534661185500281120",
|
|
1088
1092
|
"1"
|
|
1089
1093
|
],
|
|
1090
1094
|
[
|
|
1091
|
-
"
|
|
1092
|
-
"
|
|
1095
|
+
"6329063805909277980282354325384845982783657973381777424581891744521604640994",
|
|
1096
|
+
"11017548748010510224711773916683171526878158646735796493859902304094594577338",
|
|
1093
1097
|
"1"
|
|
1094
1098
|
],
|
|
1095
1099
|
[
|
|
1096
|
-
"
|
|
1097
|
-
"
|
|
1100
|
+
"7338335804036221772945379382782674399589206056354184002757176151341198318122",
|
|
1101
|
+
"16538115574966264108203522400275571374556020887608210819563613080068710593180",
|
|
1098
1102
|
"1"
|
|
1099
1103
|
],
|
|
1100
1104
|
[
|
|
1101
|
-
"
|
|
1102
|
-
"
|
|
1105
|
+
"5138245976626127736555381649425906350640183768145541963359703291501245587848",
|
|
1106
|
+
"11347291457433539838423910567581114929056891897670787919546976342310334767900",
|
|
1103
1107
|
"1"
|
|
1104
1108
|
],
|
|
1105
1109
|
[
|
|
1106
|
-
"
|
|
1107
|
-
"
|
|
1110
|
+
"16731418617609356258989018213857655050257827940403117452476763890174877962606",
|
|
1111
|
+
"5300557287595854140445529914668848275536281916366261035684431572728600543772",
|
|
1108
1112
|
"1"
|
|
1109
1113
|
]
|
|
1110
1114
|
],
|
|
1111
1115
|
[
|
|
1112
1116
|
[
|
|
1113
|
-
"
|
|
1114
|
-
"
|
|
1117
|
+
"6497446328454795535775520142893202697197882656922991300092165933292014766725",
|
|
1118
|
+
"4597431274747983679157649737399090093759447324935531801532881928263496852124",
|
|
1115
1119
|
"1"
|
|
1116
1120
|
],
|
|
1117
1121
|
[
|
|
1118
|
-
"
|
|
1119
|
-
"
|
|
1122
|
+
"20581664438782214735167492264807215952133504025063870863776714994387749970180",
|
|
1123
|
+
"5854805250432620287068939301087113989827350315462338534819773170350910225622",
|
|
1120
1124
|
"1"
|
|
1121
1125
|
],
|
|
1122
1126
|
[
|
|
1123
|
-
"
|
|
1124
|
-
"
|
|
1127
|
+
"13548539273975522227017059057161374261181128673406746320122994151943985128196",
|
|
1128
|
+
"7414800418339434590171697383031637744601564309993253226498272110927128779715",
|
|
1125
1129
|
"1"
|
|
1126
1130
|
],
|
|
1127
1131
|
[
|
|
1128
|
-
"
|
|
1129
|
-
"
|
|
1132
|
+
"1052987139013233499761917411027037646861657729931697227519754049539833189269",
|
|
1133
|
+
"657108667626796780066815408290681939596246857020023912757838581820942772606",
|
|
1130
1134
|
"1"
|
|
1131
1135
|
],
|
|
1132
1136
|
[
|
|
1133
|
-
"
|
|
1134
|
-
"
|
|
1137
|
+
"19088282520683145597098955555305422198780142332183007920340899996970202127885",
|
|
1138
|
+
"12616611543293706969401642310383814806112402432261338062963427055972449363741",
|
|
1135
1139
|
"1"
|
|
1136
1140
|
]
|
|
1137
1141
|
],
|
|
1138
1142
|
[
|
|
1139
1143
|
[
|
|
1140
|
-
"
|
|
1141
|
-
"
|
|
1144
|
+
"305741399293956298249448376598537769086716682101868856634885453070917344627",
|
|
1145
|
+
"14942830908704142867090451021371809832404069532430585621173997534136021340349",
|
|
1142
1146
|
"1"
|
|
1143
1147
|
],
|
|
1144
1148
|
[
|
|
1145
|
-
"
|
|
1146
|
-
"
|
|
1149
|
+
"11873341523902185373029537495825388400298468809112431373607438726587086076801",
|
|
1150
|
+
"16566421774425889929886838459987430622148040878072136298073788804726016806526",
|
|
1147
1151
|
"1"
|
|
1148
1152
|
],
|
|
1149
1153
|
[
|
|
1150
|
-
"
|
|
1151
|
-
"
|
|
1154
|
+
"18314173705630320437871113612645566255775444265992974192826331109357704470403",
|
|
1155
|
+
"8597072000455186494551694692524831407069966911367008568012412188890924300508",
|
|
1152
1156
|
"1"
|
|
1153
1157
|
],
|
|
1154
1158
|
[
|
|
1155
|
-
"
|
|
1156
|
-
"
|
|
1159
|
+
"12713907619301764178052509321657058919935892208409394514649600000706175319189",
|
|
1160
|
+
"14893305145776480356274920935320977108910444566603040558476174175562031483300",
|
|
1157
1161
|
"1"
|
|
1158
1162
|
],
|
|
1159
1163
|
[
|
|
1160
|
-
"
|
|
1161
|
-
"
|
|
1164
|
+
"11027938853766719633497710751595847377263279173227878474215846011660771149283",
|
|
1165
|
+
"6927793728403485743741891409676155921703126599118383623637742555953569891357",
|
|
1162
1166
|
"1"
|
|
1163
1167
|
]
|
|
1164
1168
|
],
|
|
1165
1169
|
[
|
|
1166
1170
|
[
|
|
1167
|
-
"
|
|
1168
|
-
"
|
|
1171
|
+
"37868753390676617287004841173348795594362354905038492583057282228528019603",
|
|
1172
|
+
"19475937072595290694509025801956972632863465524774747773770243946674956142538",
|
|
1169
1173
|
"1"
|
|
1170
1174
|
],
|
|
1171
1175
|
[
|
|
1172
|
-
"
|
|
1173
|
-
"
|
|
1176
|
+
"1818532521520079200500527816308109106767855745862413136331026404438772138114",
|
|
1177
|
+
"7893556755641665136576228990240239515272703124353568551151593029797349984766",
|
|
1174
1178
|
"1"
|
|
1175
1179
|
],
|
|
1176
1180
|
[
|
|
1177
|
-
"
|
|
1178
|
-
"
|
|
1181
|
+
"21843411659343488969197036446870567462789014279182131087406329675847260538394",
|
|
1182
|
+
"13883536936296384480685931731174096875043607202415233199362935327975006076376",
|
|
1179
1183
|
"1"
|
|
1180
1184
|
],
|
|
1181
1185
|
[
|
|
1182
|
-
"
|
|
1183
|
-
"
|
|
1186
|
+
"3061885619227488514362869971925298711535995206671454426027635264218303442708",
|
|
1187
|
+
"18477632669759047471715211461337808302603089797347923153039515976242018999984",
|
|
1184
1188
|
"1"
|
|
1185
1189
|
],
|
|
1186
1190
|
[
|
|
1187
|
-
"
|
|
1188
|
-
"
|
|
1191
|
+
"4953684980989921770137053964305439167945572062294709110871332076115076441738",
|
|
1192
|
+
"849590699713478394267684876803414882497887483062076673282369901261463387635",
|
|
1189
1193
|
"1"
|
|
1190
1194
|
]
|
|
1191
1195
|
],
|
|
1192
1196
|
[
|
|
1193
1197
|
[
|
|
1194
|
-
"
|
|
1195
|
-
"
|
|
1198
|
+
"17761332237343741278668998123360108574589045018570742689473320560784505694171",
|
|
1199
|
+
"2985768806786881176362869973473950745997650698247163897069614623128281191971",
|
|
1196
1200
|
"1"
|
|
1197
1201
|
],
|
|
1198
1202
|
[
|
|
1199
|
-
"
|
|
1200
|
-
"
|
|
1203
|
+
"14099532828736062687388547070054719462342298981811592749594569670955512096417",
|
|
1204
|
+
"11038429458121896617356666499000022639824993159854464409767840206807807728043",
|
|
1201
1205
|
"1"
|
|
1202
1206
|
],
|
|
1203
1207
|
[
|
|
1204
|
-
"
|
|
1205
|
-
"
|
|
1208
|
+
"7092464867594165410092487979619486929166817679669939558999555261465867685619",
|
|
1209
|
+
"20690943609696626243672018055336898909740557628366317533030490341400911534771",
|
|
1206
1210
|
"1"
|
|
1207
1211
|
],
|
|
1208
1212
|
[
|
|
1209
|
-
"
|
|
1210
|
-
"
|
|
1213
|
+
"11468803355345327303851639215186997122074583511720489615730106184659306943551",
|
|
1214
|
+
"9723340381470060111632263437706139036358918795037011403763820908081655273682",
|
|
1211
1215
|
"1"
|
|
1212
1216
|
],
|
|
1213
1217
|
[
|
|
1214
|
-
"
|
|
1215
|
-
"
|
|
1218
|
+
"15929497108714526572140462634902391796285476840034863688822264979709196730555",
|
|
1219
|
+
"10556139316790113226399166507094772235069235781001645893008903131855134732783",
|
|
1216
1220
|
"1"
|
|
1217
1221
|
]
|
|
1218
1222
|
],
|
|
1219
1223
|
[
|
|
1220
1224
|
[
|
|
1221
|
-
"
|
|
1222
|
-
"
|
|
1225
|
+
"16018239095599670975582212156736908990475077583136160880304021421989907078233",
|
|
1226
|
+
"13442762142079759258078337448325782252795445513077684243558458356586404542166",
|
|
1223
1227
|
"1"
|
|
1224
1228
|
],
|
|
1225
1229
|
[
|
|
1226
|
-
"
|
|
1227
|
-
"
|
|
1230
|
+
"8012524517439221218249889438165569497775551565363444399021079689755695756644",
|
|
1231
|
+
"18993442931337392722189844722480176040693468853419121807183123246184718322422",
|
|
1228
1232
|
"1"
|
|
1229
1233
|
],
|
|
1230
1234
|
[
|
|
1231
|
-
"
|
|
1232
|
-
"
|
|
1235
|
+
"3920077716342530896195446297162279477088824676672184510151991496745985467962",
|
|
1236
|
+
"5663885918690734602622426696143772526257235018784490039324179199552252272203",
|
|
1233
1237
|
"1"
|
|
1234
1238
|
],
|
|
1235
1239
|
[
|
|
1236
|
-
"
|
|
1237
|
-
"
|
|
1240
|
+
"11007942216549411481832816505096362871539130535791764225892613523847180067807",
|
|
1241
|
+
"12333277086717649179464584335417603775633093807601488202185840108448843332123",
|
|
1238
1242
|
"1"
|
|
1239
1243
|
],
|
|
1240
1244
|
[
|
|
1241
|
-
"
|
|
1242
|
-
"
|
|
1245
|
+
"18845646001611639216437777320622198530894193094859924604338859788769244491906",
|
|
1246
|
+
"4365664869724113934112630479809518948808449158812862195377335314227128146059",
|
|
1243
1247
|
"1"
|
|
1244
1248
|
]
|
|
1245
1249
|
],
|
|
1246
1250
|
[
|
|
1247
1251
|
[
|
|
1248
|
-
"
|
|
1249
|
-
"
|
|
1252
|
+
"9724485076061228092177286932258189815958450833155679889060988975712535081230",
|
|
1253
|
+
"1627333086421877964064603957348348763696708139082607562629629725119997724989",
|
|
1250
1254
|
"1"
|
|
1251
1255
|
],
|
|
1252
1256
|
[
|
|
1253
|
-
"
|
|
1254
|
-
"
|
|
1257
|
+
"15641874381988682075545920458678901707167602315586561132909307694310257446023",
|
|
1258
|
+
"11034182059786563285109970430313289917032071817373248775707546493147901388113",
|
|
1255
1259
|
"1"
|
|
1256
1260
|
],
|
|
1257
1261
|
[
|
|
1258
|
-
"
|
|
1259
|
-
"
|
|
1262
|
+
"19299574745226772810381056007321573284793444116746272581694295128392282602507",
|
|
1263
|
+
"6482638271546132546782310681506292669989505915370438641175376336582811537739",
|
|
1260
1264
|
"1"
|
|
1261
1265
|
],
|
|
1262
1266
|
[
|
|
1263
|
-
"
|
|
1264
|
-
"
|
|
1267
|
+
"5515138970831679245126906315331906152285174207704247085730757090763031968272",
|
|
1268
|
+
"5476746571008230667726688443817396210804752373221945489797046634505665572661",
|
|
1265
1269
|
"1"
|
|
1266
1270
|
],
|
|
1267
1271
|
[
|
|
1268
|
-
"
|
|
1269
|
-
"
|
|
1272
|
+
"7666694240010574980777401583687953099995588711474009270339615112182231942529",
|
|
1273
|
+
"5345423812126487230177352826531606752132805611025916574123407915411930666385",
|
|
1270
1274
|
"1"
|
|
1271
1275
|
]
|
|
1272
1276
|
],
|
|
1273
1277
|
[
|
|
1274
1278
|
[
|
|
1275
|
-
"
|
|
1276
|
-
"
|
|
1279
|
+
"3527954161191330198309290076708590175518992377857531220243324230315686986882",
|
|
1280
|
+
"4506493800007416260514839382433205292331764028735360433653631210611507932973",
|
|
1277
1281
|
"1"
|
|
1278
1282
|
],
|
|
1279
1283
|
[
|
|
1280
|
-
"
|
|
1281
|
-
"
|
|
1284
|
+
"5530043493028748853396066194331787195114268917530734310055878976603589658986",
|
|
1285
|
+
"6225101949608434111198442012357272827532649788667254718474232856896193900534",
|
|
1282
1286
|
"1"
|
|
1283
1287
|
],
|
|
1284
1288
|
[
|
|
1285
|
-
"
|
|
1286
|
-
"
|
|
1289
|
+
"18857681750145313162493356993928966938826030906289025101399379263672964054354",
|
|
1290
|
+
"869004496821135911657110194622810910776043851317139916414752924319830673140",
|
|
1287
1291
|
"1"
|
|
1288
1292
|
],
|
|
1289
1293
|
[
|
|
1290
|
-
"
|
|
1291
|
-
"
|
|
1294
|
+
"1563829187789877652048924285544523323087888587074484491222967490033068091506",
|
|
1295
|
+
"3746011388196035005128740753677692387874351474501361202463946309770129429478",
|
|
1292
1296
|
"1"
|
|
1293
1297
|
],
|
|
1294
1298
|
[
|
|
1295
|
-
"
|
|
1296
|
-
"
|
|
1299
|
+
"8923361680602360491637539340186330583808472610027697444204036893010926051377",
|
|
1300
|
+
"17386658730777389148551542774423634880430074554050371095211396948875032586750",
|
|
1297
1301
|
"1"
|
|
1298
1302
|
]
|
|
1299
1303
|
],
|
|
1300
1304
|
[
|
|
1301
1305
|
[
|
|
1302
|
-
"
|
|
1303
|
-
"
|
|
1306
|
+
"18030052417377603682453955579175094175373404791176719861146533099419481910116",
|
|
1307
|
+
"8281176924556272137773300347187527516223668703826908452855802099328657344885",
|
|
1304
1308
|
"1"
|
|
1305
1309
|
],
|
|
1306
1310
|
[
|
|
1307
|
-
"
|
|
1308
|
-
"
|
|
1311
|
+
"11849913964821118293258226409033507680960291656604016015128854810099746642358",
|
|
1312
|
+
"2718653438901851962181612429288634518502998150085578586248082443515454453331",
|
|
1309
1313
|
"1"
|
|
1310
1314
|
],
|
|
1311
1315
|
[
|
|
1312
|
-
"
|
|
1313
|
-
"
|
|
1316
|
+
"17998120665039026798317726060462551095622279047136565816648549826384179735803",
|
|
1317
|
+
"5133986071087432716437635164720916024596119526725252628340805179596147643344",
|
|
1314
1318
|
"1"
|
|
1315
1319
|
],
|
|
1316
1320
|
[
|
|
1317
|
-
"
|
|
1318
|
-
"
|
|
1321
|
+
"10436725621240227608920674037516192343160590540839553356331196590007025190330",
|
|
1322
|
+
"15618861474705274368161439159831328775613537777134266634959100526889759124590",
|
|
1319
1323
|
"1"
|
|
1320
1324
|
],
|
|
1321
1325
|
[
|
|
1322
|
-
"
|
|
1323
|
-
"
|
|
1326
|
+
"2511040106219966488942941427805413210834998861588095124665874406004322450915",
|
|
1327
|
+
"9256734357641210393451356199893573129989430877284906007481196262323584132500",
|
|
1324
1328
|
"1"
|
|
1325
1329
|
]
|
|
1326
1330
|
],
|
|
1327
1331
|
[
|
|
1328
1332
|
[
|
|
1329
|
-
"
|
|
1330
|
-
"
|
|
1333
|
+
"14565877561081097978808851096191380459292726072163754601747539666057949167693",
|
|
1334
|
+
"2135718143241813932226161801358235289781058013695871838383051572102928884567",
|
|
1331
1335
|
"1"
|
|
1332
1336
|
],
|
|
1333
1337
|
[
|
|
1334
|
-
"
|
|
1335
|
-
"
|
|
1338
|
+
"20522747851108608773003772892187458826390403588440155512773881116135635256410",
|
|
1339
|
+
"11218511591600821722003994140994121719832310771637604152054113941332818455369",
|
|
1336
1340
|
"1"
|
|
1337
1341
|
],
|
|
1338
1342
|
[
|
|
1339
|
-
"
|
|
1340
|
-
"
|
|
1343
|
+
"16404237709834224719800904205708261378663612035126521203425485585484994986837",
|
|
1344
|
+
"3167586669955731698085513002461997957955073343333183557668566807567186590619",
|
|
1341
1345
|
"1"
|
|
1342
1346
|
],
|
|
1343
1347
|
[
|
|
1344
|
-
"
|
|
1345
|
-
"
|
|
1348
|
+
"12910675356590890481798719900077391291951346627685199305549632303581651173802",
|
|
1349
|
+
"20462953503625657093808736208830478011818679863351201550868889073055617578896",
|
|
1346
1350
|
"1"
|
|
1347
1351
|
],
|
|
1348
1352
|
[
|
|
1349
|
-
"
|
|
1350
|
-
"
|
|
1353
|
+
"18947108562530644410102590841857357185115081182319111952079371871969663671988",
|
|
1354
|
+
"6652719222291337824561052377450295064566587460338214284424446330320206208978",
|
|
1351
1355
|
"1"
|
|
1352
1356
|
]
|
|
1353
1357
|
],
|
|
1354
1358
|
[
|
|
1355
1359
|
[
|
|
1356
|
-
"
|
|
1357
|
-
"
|
|
1360
|
+
"10110377608880446364161064735161091842938826397512230713135002732708361876777",
|
|
1361
|
+
"6013899729219769410326935661934883558337463050053435907100782150692294649745",
|
|
1358
1362
|
"1"
|
|
1359
1363
|
],
|
|
1360
1364
|
[
|
|
1361
|
-
"
|
|
1362
|
-
"
|
|
1365
|
+
"18208889227209298598015138525374980382541030144328510393048300775270787949840",
|
|
1366
|
+
"15191444075449840811990314906356975059662539527217455842253932605838538105879",
|
|
1363
1367
|
"1"
|
|
1364
1368
|
],
|
|
1365
1369
|
[
|
|
1366
|
-
"
|
|
1367
|
-
"
|
|
1370
|
+
"19203188682890514423320800755662084436821947463936810212920115637567986869322",
|
|
1371
|
+
"3424855308164288636262956984024538145687254883958282264766019244372264927134",
|
|
1368
1372
|
"1"
|
|
1369
1373
|
],
|
|
1370
1374
|
[
|
|
1371
|
-
"
|
|
1372
|
-
"
|
|
1375
|
+
"19586353501601321585672146098476085745700368665390426128801697725086439710122",
|
|
1376
|
+
"15010004828387861046033155948517332272437733117418549079342100218646019702080",
|
|
1373
1377
|
"1"
|
|
1374
1378
|
],
|
|
1375
1379
|
[
|
|
1376
|
-
"
|
|
1377
|
-
"
|
|
1380
|
+
"13686339229559293872534012092085760944059315023471369613822812965287369238447",
|
|
1381
|
+
"3695584012986626869153168308549979767804807828687034680677188403817830418810",
|
|
1378
1382
|
"1"
|
|
1379
1383
|
]
|
|
1380
1384
|
],
|
|
1381
1385
|
[
|
|
1382
1386
|
[
|
|
1383
|
-
"
|
|
1384
|
-
"
|
|
1387
|
+
"18696621645163318552472841991871104820660024833640321869898695219244792544787",
|
|
1388
|
+
"16940838088709411711968888146075539661653566927745755478421474505108166140656",
|
|
1385
1389
|
"1"
|
|
1386
1390
|
],
|
|
1387
1391
|
[
|
|
1388
|
-
"
|
|
1389
|
-
"
|
|
1392
|
+
"11530916114120676768574532193664705720045810431665651204245333670674998923676",
|
|
1393
|
+
"7355883923626920336916662475522243088902821161113628716197989160163721774248",
|
|
1390
1394
|
"1"
|
|
1391
1395
|
],
|
|
1392
1396
|
[
|
|
1393
|
-
"
|
|
1394
|
-
"
|
|
1397
|
+
"11855011297239142909723378707832446926509921514737098047687587969894126468497",
|
|
1398
|
+
"14942813403879667533705178220673159254886774089783887482228941707848831481300",
|
|
1395
1399
|
"1"
|
|
1396
1400
|
],
|
|
1397
1401
|
[
|
|
1398
|
-
"
|
|
1399
|
-
"
|
|
1402
|
+
"12982663140753853847528768000921561826340636419307931766400467366396846035169",
|
|
1403
|
+
"7171806600323437636744282845777660095738436086868856062406225133619265520575",
|
|
1400
1404
|
"1"
|
|
1401
1405
|
],
|
|
1402
1406
|
[
|
|
1403
|
-
"
|
|
1404
|
-
"
|
|
1407
|
+
"15982491779929281894294451486893882850583039973528579274058985191703359466543",
|
|
1408
|
+
"19910319651211685401050894240685395121165652955380089146603485967076493605680",
|
|
1405
1409
|
"1"
|
|
1406
1410
|
]
|
|
1407
1411
|
],
|
|
1408
1412
|
[
|
|
1409
1413
|
[
|
|
1410
|
-
"
|
|
1411
|
-
"
|
|
1414
|
+
"17688699129722255312471132988267997472426043097741089176095207368928695347323",
|
|
1415
|
+
"4698778325800416923484519718058460264124242609977080857699400967590134848728",
|
|
1412
1416
|
"1"
|
|
1413
1417
|
],
|
|
1414
1418
|
[
|
|
1415
|
-
"
|
|
1416
|
-
"
|
|
1419
|
+
"11905991584861721837480962390330989450197421918781662074678555052926188909272",
|
|
1420
|
+
"11195321655863853696452219195252788379254952714823481930861848719672010792417",
|
|
1417
1421
|
"1"
|
|
1418
1422
|
],
|
|
1419
1423
|
[
|
|
1420
|
-
"
|
|
1421
|
-
"
|
|
1424
|
+
"7364573423043519994861038175593500896079924196888521130462378149111415036167",
|
|
1425
|
+
"8488161531239994007634631892382512438657593769374020273048837520623507271908",
|
|
1422
1426
|
"1"
|
|
1423
1427
|
],
|
|
1424
1428
|
[
|
|
1425
|
-
"
|
|
1426
|
-
"
|
|
1429
|
+
"10948897450624334536526533930990935852623955696383743452358741253735922067160",
|
|
1430
|
+
"7654175296077985337834288232610181411799310934515705881481549241949669590123",
|
|
1427
1431
|
"1"
|
|
1428
1432
|
],
|
|
1429
1433
|
[
|
|
1430
|
-
"
|
|
1431
|
-
"
|
|
1434
|
+
"2456818423512317060112219756429819064402183920202453945509918337536940292593",
|
|
1435
|
+
"10561627566351771351550703479997725668661012955063201536370060753602302262655",
|
|
1432
1436
|
"1"
|
|
1433
1437
|
]
|
|
1434
1438
|
],
|
|
1435
1439
|
[
|
|
1436
1440
|
[
|
|
1437
|
-
"
|
|
1438
|
-
"
|
|
1441
|
+
"21295163659036117126535933666532228255134275601226122998452204301238438701469",
|
|
1442
|
+
"12010652807420347304532358791037860496459429689113682253200903987591679627067",
|
|
1439
1443
|
"1"
|
|
1440
1444
|
],
|
|
1441
1445
|
[
|
|
1442
|
-
"
|
|
1443
|
-
"
|
|
1446
|
+
"16035147304145989851106586435462674695447030608653337914734493255503105122271",
|
|
1447
|
+
"9396862051344040260236487045030117425080665841603826234795752404308634565281",
|
|
1444
1448
|
"1"
|
|
1445
1449
|
],
|
|
1446
1450
|
[
|
|
1447
|
-
"
|
|
1448
|
-
"
|
|
1451
|
+
"9623434193020540057685957851610556657916120473978726845338192370747426064401",
|
|
1452
|
+
"20738972702824723087864078264786214906718601061526079118500228332898388551221",
|
|
1449
1453
|
"1"
|
|
1450
1454
|
],
|
|
1451
1455
|
[
|
|
1452
|
-
"
|
|
1453
|
-
"
|
|
1456
|
+
"457108501000029082366810998923133233303603111079376685755578228260824733356",
|
|
1457
|
+
"13918719735797746251051948238671198059940858851588937008268023917020073366433",
|
|
1454
1458
|
"1"
|
|
1455
1459
|
],
|
|
1456
1460
|
[
|
|
1457
|
-
"
|
|
1458
|
-
"
|
|
1461
|
+
"19519317439483352367895890468095276150233498159453735432212409926941855183358",
|
|
1462
|
+
"8400170000010792082337905010575114377571921640630709589910201278654198179035",
|
|
1459
1463
|
"1"
|
|
1460
1464
|
]
|
|
1461
1465
|
],
|
|
1462
1466
|
[
|
|
1463
1467
|
[
|
|
1464
|
-
"
|
|
1465
|
-
"
|
|
1468
|
+
"209896847902324756441033880218169809685412620378498856437573937154846479551",
|
|
1469
|
+
"19434208870058033389225349051527401299247475125763108527095891214558119617655",
|
|
1466
1470
|
"1"
|
|
1467
1471
|
],
|
|
1468
1472
|
[
|
|
1469
|
-
"
|
|
1470
|
-
"
|
|
1473
|
+
"4154375339831547300427516624109559852426973786711444825735879648391004291098",
|
|
1474
|
+
"2168897082728012692838287354581700563166925732559863316849698306675591131396",
|
|
1471
1475
|
"1"
|
|
1472
1476
|
],
|
|
1473
1477
|
[
|
|
1474
|
-
"
|
|
1475
|
-
"
|
|
1478
|
+
"3690054103601385333490512469861728231387681704127049683413276534001532261943",
|
|
1479
|
+
"3997073653940540957268729302105309759820513901669570962308110503858257659002",
|
|
1476
1480
|
"1"
|
|
1477
1481
|
],
|
|
1478
1482
|
[
|
|
1479
|
-
"
|
|
1480
|
-
"
|
|
1483
|
+
"1493108383089723041516694658460301260449183718295935886883417227290045091286",
|
|
1484
|
+
"1479721274324005701970059663387618978577823761358404739977258141309872068056",
|
|
1481
1485
|
"1"
|
|
1482
1486
|
],
|
|
1483
1487
|
[
|
|
1484
|
-
"
|
|
1485
|
-
"
|
|
1488
|
+
"20291086357406391640638647514048720424247838755446061571102712546958076851767",
|
|
1489
|
+
"6860718845648137601753080432837091439893783461195961430761483584544410630099",
|
|
1486
1490
|
"1"
|
|
1487
1491
|
]
|
|
1488
1492
|
],
|
|
1489
1493
|
[
|
|
1490
1494
|
[
|
|
1491
|
-
"
|
|
1492
|
-
"
|
|
1495
|
+
"1265438250797513961458031163301351393237543067943565114202366151377865506872",
|
|
1496
|
+
"11342865295714982458109220575532930834959120923837779800176462280225501198217",
|
|
1493
1497
|
"1"
|
|
1494
1498
|
],
|
|
1495
1499
|
[
|
|
1496
|
-
"
|
|
1497
|
-
"
|
|
1500
|
+
"10415384677581396651184780193811022815145977389536746022901590915883889609878",
|
|
1501
|
+
"5311187015233522007413118391261106264838418369874755037462489089469638365756",
|
|
1498
1502
|
"1"
|
|
1499
1503
|
],
|
|
1500
1504
|
[
|
|
1501
|
-
"
|
|
1502
|
-
"
|
|
1505
|
+
"7499079368996193403750547553190134606728655877653629403923945654291953825315",
|
|
1506
|
+
"1743769713774086589463238504150542785039161133276706463569974209707667651575",
|
|
1503
1507
|
"1"
|
|
1504
1508
|
],
|
|
1505
1509
|
[
|
|
1506
|
-
"
|
|
1507
|
-
"
|
|
1510
|
+
"5792276842105452143354445764064878932177699791644537942211472215636738768211",
|
|
1511
|
+
"9443070058088199873709166495831389298947366881168483562080569357428781583046",
|
|
1508
1512
|
"1"
|
|
1509
1513
|
],
|
|
1510
1514
|
[
|
|
1511
|
-
"
|
|
1512
|
-
"
|
|
1515
|
+
"14451507664847323254023899990839043037382802537389529773382951366995420730648",
|
|
1516
|
+
"7633550475637360595097128986678209600092185294414596687526062925070686318486",
|
|
1513
1517
|
"1"
|
|
1514
1518
|
]
|
|
1515
1519
|
]
|