@semaphore-protocol/proof 4.0.0-beta.9 → 4.0.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 +1014 -190
- package/dist/index.node.cjs +1014 -190
- package/dist/index.node.js +1014 -190
- package/dist/types/generate-proof.d.ts +2 -1
- package/package.json +6 -5
- package/src/generate-proof.ts +7 -3
- package/src/verification-keys.json +946 -186
|
@@ -3,18 +3,18 @@
|
|
|
3
3
|
"curve": "bn128",
|
|
4
4
|
"nPublic": 4,
|
|
5
5
|
"vk_alpha_1": [
|
|
6
|
-
"
|
|
7
|
-
"
|
|
6
|
+
"16428432848801857252194528405604668803277877773566238944394625302971855135431",
|
|
7
|
+
"16846502678714586896801519656441059708016666274385668027902869494772365009666",
|
|
8
8
|
"1"
|
|
9
9
|
],
|
|
10
10
|
"vk_beta_2": [
|
|
11
11
|
[
|
|
12
|
-
"
|
|
13
|
-
"
|
|
12
|
+
"16348171800823588416173124589066524623406261996681292662100840445103873053252",
|
|
13
|
+
"3182164110458002340215786955198810119980427837186618912744689678939861918171"
|
|
14
14
|
],
|
|
15
15
|
[
|
|
16
|
-
"
|
|
17
|
-
"
|
|
16
|
+
"19687132236965066906216944365591810874384658708175106803089633851114028275753",
|
|
17
|
+
"4920802715848186258981584729175884379674325733638798907835771393452862684714"
|
|
18
18
|
],
|
|
19
19
|
["1", "0"]
|
|
20
20
|
],
|
|
@@ -32,133 +32,353 @@
|
|
|
32
32
|
"vk_delta_2": [
|
|
33
33
|
[
|
|
34
34
|
[
|
|
35
|
-
"
|
|
36
|
-
"
|
|
35
|
+
"15662648751553932653781975807624464121405704024803073886925976686616010387354",
|
|
36
|
+
"18358547564487905095688479908858987846616998213156437518686067355563592118237"
|
|
37
37
|
],
|
|
38
38
|
[
|
|
39
|
-
"
|
|
40
|
-
"
|
|
39
|
+
"12579159544968648693964563165973893448704730885005100826654630574108054705556",
|
|
40
|
+
"1545474538105908330267074270190095622354834966212647889547653097055078098224"
|
|
41
41
|
],
|
|
42
42
|
["1", "0"]
|
|
43
43
|
],
|
|
44
44
|
[
|
|
45
45
|
[
|
|
46
|
-
"
|
|
47
|
-
"
|
|
46
|
+
"13720528004476084359207196371475762368424714925503835663451917882430924467554",
|
|
47
|
+
"15357842752194390032830879177519514606613356943505010426726499926726016517582"
|
|
48
48
|
],
|
|
49
49
|
[
|
|
50
|
-
"
|
|
51
|
-
"
|
|
50
|
+
"14571933744484927053512012311263939678215066456565339237074260778179419354637",
|
|
51
|
+
"2196656647584375999320189230399052835502476576494068012902156164580595749760"
|
|
52
52
|
],
|
|
53
53
|
["1", "0"]
|
|
54
54
|
],
|
|
55
55
|
[
|
|
56
56
|
[
|
|
57
|
-
"
|
|
58
|
-
"
|
|
57
|
+
"18282758355470198230938465615400409713402004038201360061031317503584711879237",
|
|
58
|
+
"1096090542237876305763822439899873238394525438826581012748557492836778110917"
|
|
59
59
|
],
|
|
60
60
|
[
|
|
61
|
-
"
|
|
62
|
-
"
|
|
61
|
+
"2920496587818605789230962034477809982324000981266163502059117507002917895757",
|
|
62
|
+
"7973969975759518869552865162652900479072033124669141796195141770899882758383"
|
|
63
63
|
],
|
|
64
64
|
["1", "0"]
|
|
65
65
|
],
|
|
66
66
|
[
|
|
67
67
|
[
|
|
68
|
-
"
|
|
69
|
-
"
|
|
68
|
+
"17529478610649635357901422564682249462969460088983393810272144503916885638629",
|
|
69
|
+
"14033304028688398404089545751254979569049699915340551984412184456786819712695"
|
|
70
70
|
],
|
|
71
71
|
[
|
|
72
|
-
"
|
|
73
|
-
"
|
|
72
|
+
"7242759178038747404494096998044224993169513816067824413031492987300456908934",
|
|
73
|
+
"968190632906420692452807865081290940343138767641492735661467959437198373032"
|
|
74
74
|
],
|
|
75
75
|
["1", "0"]
|
|
76
76
|
],
|
|
77
77
|
[
|
|
78
78
|
[
|
|
79
|
-
"
|
|
80
|
-
"
|
|
79
|
+
"12964751171177929169670182425240761498461607040020835118601467328036987558858",
|
|
80
|
+
"15740655435463241944594855735935231648684671883923953096410588018036769516770"
|
|
81
81
|
],
|
|
82
82
|
[
|
|
83
|
-
"
|
|
84
|
-
"
|
|
83
|
+
"6954370193053655486251406740905618458518953022289151868757271522548301919472",
|
|
84
|
+
"21474571159868965455306627669334290549452576803823591301731326342326814568896"
|
|
85
85
|
],
|
|
86
86
|
["1", "0"]
|
|
87
87
|
],
|
|
88
88
|
[
|
|
89
89
|
[
|
|
90
|
-
"
|
|
91
|
-
"
|
|
90
|
+
"18702593988046837524790351483331632258278160532977261915119611324471253407466",
|
|
91
|
+
"16239592155161765109648123193105804251252701943901733499502441663333912783245"
|
|
92
92
|
],
|
|
93
93
|
[
|
|
94
|
-
"
|
|
95
|
-
"
|
|
94
|
+
"19358066347678636498093783612000296194480758342913325289131948678991962529441",
|
|
95
|
+
"13746033878407070858115621843430829498309218839316343379025665907999784574154"
|
|
96
96
|
],
|
|
97
97
|
["1", "0"]
|
|
98
98
|
],
|
|
99
99
|
[
|
|
100
100
|
[
|
|
101
|
-
"
|
|
102
|
-
"
|
|
101
|
+
"4562585331778730670899179927104513856322577370213643119870201750008533040214",
|
|
102
|
+
"6482921272760726478838066628157548923897782117283646773208763176771446379138"
|
|
103
103
|
],
|
|
104
104
|
[
|
|
105
|
-
"
|
|
106
|
-
"
|
|
105
|
+
"16654459784024455427280229763380300423080811024668332509526284511491790880990",
|
|
106
|
+
"9299549824594530154451155704400285409056448609359755927574262701418672785771"
|
|
107
107
|
],
|
|
108
108
|
["1", "0"]
|
|
109
109
|
],
|
|
110
110
|
[
|
|
111
111
|
[
|
|
112
|
-
"
|
|
113
|
-
"
|
|
112
|
+
"16198597482473356107060462797493408464959815651823410647378959304462364790023",
|
|
113
|
+
"4169753203433043290708949478342499350225971996935208104044673971132510531963"
|
|
114
114
|
],
|
|
115
115
|
[
|
|
116
|
-
"
|
|
117
|
-
"
|
|
116
|
+
"15996002991058741836925286413107190453488985346498046642177496721490001022163",
|
|
117
|
+
"17831214733154720272879709021886998538183166751338990495293296921834561417050"
|
|
118
118
|
],
|
|
119
119
|
["1", "0"]
|
|
120
120
|
],
|
|
121
121
|
[
|
|
122
122
|
[
|
|
123
|
-
"
|
|
124
|
-
"
|
|
123
|
+
"8026613233416032931155189579997899527124867847165186585887532521124762242171",
|
|
124
|
+
"17920452210119585965813298538098997746450528307627971419517604274103840658730"
|
|
125
125
|
],
|
|
126
126
|
[
|
|
127
|
-
"
|
|
128
|
-
"
|
|
127
|
+
"18354222295715868456732739635697044486544782691576216892030243636076554800619",
|
|
128
|
+
"12536429843060624487053183271774959575059067729019923970247266906616071589989"
|
|
129
129
|
],
|
|
130
130
|
["1", "0"]
|
|
131
131
|
],
|
|
132
132
|
[
|
|
133
133
|
[
|
|
134
|
-
"
|
|
135
|
-
"
|
|
134
|
+
"18343503004862189418033094393114515169584171574852422315350418500159030922263",
|
|
135
|
+
"21420692366857794685888663542888709905237738746850069466081467001353666342965"
|
|
136
136
|
],
|
|
137
137
|
[
|
|
138
|
-
"
|
|
139
|
-
"
|
|
138
|
+
"15200551988732901161699976788357951085426436066677048420098461828563894176150",
|
|
139
|
+
"16439186901063853414808045554962977634854311593865750348846556486836509716488"
|
|
140
140
|
],
|
|
141
141
|
["1", "0"]
|
|
142
142
|
],
|
|
143
143
|
[
|
|
144
144
|
[
|
|
145
|
-
"
|
|
146
|
-
"
|
|
145
|
+
"1531932691795154082010331247272128035283420450879984505970978649526303671013",
|
|
146
|
+
"8482807834840099486107357849095958421708288941420679407730439668240369271197"
|
|
147
147
|
],
|
|
148
148
|
[
|
|
149
|
-
"
|
|
150
|
-
"
|
|
149
|
+
"2890563104449202149521252385842115871596603958515320789619311677428773944295",
|
|
150
|
+
"10326017741190716069982105202291613302347042236075737537452333444753171570010"
|
|
151
151
|
],
|
|
152
152
|
["1", "0"]
|
|
153
153
|
],
|
|
154
154
|
[
|
|
155
155
|
[
|
|
156
|
-
"
|
|
157
|
-
"
|
|
156
|
+
"8031021217500376290269114216814836477415391402921787637085737712949651005952",
|
|
157
|
+
"6379626794062388565530320965673584683811331210463512233691169393056454417810"
|
|
158
158
|
],
|
|
159
159
|
[
|
|
160
|
-
"
|
|
161
|
-
"
|
|
160
|
+
"12412675319987657724460960278402203548317535126494687402198671892291826563464",
|
|
161
|
+
"15261959534341262089656432084966075417921918036565394975811438856221288978192"
|
|
162
|
+
],
|
|
163
|
+
["1", "0"]
|
|
164
|
+
],
|
|
165
|
+
[
|
|
166
|
+
[
|
|
167
|
+
"11063658239692825381704700810385108349384459703800229121613802621026834850995",
|
|
168
|
+
"18405974527641184935569939050199806786119735189423462681352004154947586987761"
|
|
169
|
+
],
|
|
170
|
+
[
|
|
171
|
+
"10581036997862130058603889786198200057133900928078268413900852134308841628552",
|
|
172
|
+
"20401912636755055463157317129314482008782101856095804626717136888886428939725"
|
|
173
|
+
],
|
|
174
|
+
["1", "0"]
|
|
175
|
+
],
|
|
176
|
+
[
|
|
177
|
+
[
|
|
178
|
+
"5914749649291606384462747717764850940787906745751128721215181537027495043325",
|
|
179
|
+
"2844460676842285471844840162496739784337096369846435331204280645139535043731"
|
|
180
|
+
],
|
|
181
|
+
[
|
|
182
|
+
"16679714051449621657256662882211432986285335589270632187081448168743144646010",
|
|
183
|
+
"16403998562201315274383761287898474039980386929670468025842124690312505385798"
|
|
184
|
+
],
|
|
185
|
+
["1", "0"]
|
|
186
|
+
],
|
|
187
|
+
[
|
|
188
|
+
[
|
|
189
|
+
"6360514614281299182411878013125972206098844277909449064382248671632240409416",
|
|
190
|
+
"8019490235657930229602545685025618469913840887375206662306714562639338096359"
|
|
191
|
+
],
|
|
192
|
+
[
|
|
193
|
+
"8421518624327767035539667378193845962377888010421324291966623261409058898245",
|
|
194
|
+
"18532505668867290379738328175003759079607042632729982459107375168365918757976"
|
|
195
|
+
],
|
|
196
|
+
["1", "0"]
|
|
197
|
+
],
|
|
198
|
+
[
|
|
199
|
+
[
|
|
200
|
+
"11573288866341175121647407708978273297857024597782918874282176717371576773130",
|
|
201
|
+
"20759074837657564809501685143530456377562536015816086555379080667602653298306"
|
|
202
|
+
],
|
|
203
|
+
[
|
|
204
|
+
"21884242265301052283286073107133504985083194336113478618838523331660374213570",
|
|
205
|
+
"19475107603336226504587469711392819869087288902355805230614724291289122375846"
|
|
206
|
+
],
|
|
207
|
+
["1", "0"]
|
|
208
|
+
],
|
|
209
|
+
[
|
|
210
|
+
[
|
|
211
|
+
"7951387307333182634684754650901435973768779794218900331714625086350726274942",
|
|
212
|
+
"3066170574229466435407264700502616839626082070514501523679452764935485028736"
|
|
213
|
+
],
|
|
214
|
+
[
|
|
215
|
+
"19848381031896652139349791682530465833719275685855743122849792015759588531339",
|
|
216
|
+
"13578824606544430966133042087468301830727811282121948825028360301706303669231"
|
|
217
|
+
],
|
|
218
|
+
["1", "0"]
|
|
219
|
+
],
|
|
220
|
+
[
|
|
221
|
+
[
|
|
222
|
+
"16419308144058642981524756443290703631729426627385646905142158478345164404879",
|
|
223
|
+
"6573154341426354993599623914164155921131813615298607946435982334364383320793"
|
|
224
|
+
],
|
|
225
|
+
[
|
|
226
|
+
"17945712678641984649495876620223190782305382105763957622870181201252059717682",
|
|
227
|
+
"942314767315789144256266064192022265579304275774793342260835421710673918285"
|
|
228
|
+
],
|
|
229
|
+
["1", "0"]
|
|
230
|
+
],
|
|
231
|
+
[
|
|
232
|
+
[
|
|
233
|
+
"8228171988949250866347662896961764196608750080646539001443256474901139877051",
|
|
234
|
+
"9271002136483424788269278316391606491360153732024211579417926107994995432826"
|
|
235
|
+
],
|
|
236
|
+
[
|
|
237
|
+
"3685474186777860155223706676482968796090983045736466861690878558020083034916",
|
|
238
|
+
"20240081759615964816136232877050251456333669788276947762731625798225823502998"
|
|
239
|
+
],
|
|
240
|
+
["1", "0"]
|
|
241
|
+
],
|
|
242
|
+
[
|
|
243
|
+
[
|
|
244
|
+
"7338708370982730261395030177227912514214944721567888714384503728042214055309",
|
|
245
|
+
"275116175553159498718561489405169511232715998055900506709208190227728439831"
|
|
246
|
+
],
|
|
247
|
+
[
|
|
248
|
+
"15163443940499746648640851269666923560658903809778640616581862089179343108182",
|
|
249
|
+
"2285508597732647746841213906783440647997136124356359059650028586535477309792"
|
|
250
|
+
],
|
|
251
|
+
["1", "0"]
|
|
252
|
+
],
|
|
253
|
+
[
|
|
254
|
+
[
|
|
255
|
+
"3790897889674729687102011235738708037383393765058266352188381434189575086080",
|
|
256
|
+
"7481617454708320190331411214970150566519243590120906863698168124347483283307"
|
|
257
|
+
],
|
|
258
|
+
[
|
|
259
|
+
"18961585057625546222763334757505522771740769338010572292783220912986926586854",
|
|
260
|
+
"17582850308142585333519054672998882111865339708436809129995518706804527076353"
|
|
261
|
+
],
|
|
262
|
+
["1", "0"]
|
|
263
|
+
],
|
|
264
|
+
[
|
|
265
|
+
[
|
|
266
|
+
"13953490152873041611053779700802518995304489998104548903919774028525032867964",
|
|
267
|
+
"9679690373149117563754317307037586538394929348733117229177073999196519450461"
|
|
268
|
+
],
|
|
269
|
+
[
|
|
270
|
+
"8400619522468195192079024924375785176686244213372269992523849676384018875300",
|
|
271
|
+
"8584860336778813488021026261425560177968889952950706471574873674510806966419"
|
|
272
|
+
],
|
|
273
|
+
["1", "0"]
|
|
274
|
+
],
|
|
275
|
+
[
|
|
276
|
+
[
|
|
277
|
+
"19026513891744713045426845531420132126578554294461150386909840193098440147673",
|
|
278
|
+
"1895928299034844696630794694609519515092896092191683631304721647222032914779"
|
|
279
|
+
],
|
|
280
|
+
[
|
|
281
|
+
"13362867147840304033834065229457670563442204439046527165143934160967798444725",
|
|
282
|
+
"4073281111734161932072345995811001896063226222777392994725894652964051683943"
|
|
283
|
+
],
|
|
284
|
+
["1", "0"]
|
|
285
|
+
],
|
|
286
|
+
[
|
|
287
|
+
[
|
|
288
|
+
"9112140750806762434510825375931543886135367141484613422947675423683311130537",
|
|
289
|
+
"7211419275788152379372992549185439317698375419836488104253705518694042119228"
|
|
290
|
+
],
|
|
291
|
+
[
|
|
292
|
+
"6961266423823329910790066424248133365666435921221127260870444632539329606224",
|
|
293
|
+
"12020406779776320543918475257645763209221278449775176154727249143619468329590"
|
|
294
|
+
],
|
|
295
|
+
["1", "0"]
|
|
296
|
+
],
|
|
297
|
+
[
|
|
298
|
+
[
|
|
299
|
+
"6590008305704976915857671866558706505394630312395969823040635040879201337002",
|
|
300
|
+
"18803497674827878184210135371703804206276128582022416604041787392310845729622"
|
|
301
|
+
],
|
|
302
|
+
[
|
|
303
|
+
"16299600292583383998706243035294548578562168326056377699804434906128380481545",
|
|
304
|
+
"2714759247406808259589803854440914533632699567907406761316959511568030744066"
|
|
305
|
+
],
|
|
306
|
+
["1", "0"]
|
|
307
|
+
],
|
|
308
|
+
[
|
|
309
|
+
[
|
|
310
|
+
"8484194759795978556088297437107686617328133596604796277228418191688537911573",
|
|
311
|
+
"9325238625126515763679853550553375879158552597544709459784109512243397955590"
|
|
312
|
+
],
|
|
313
|
+
[
|
|
314
|
+
"13482530129860761195447497269660263095272961608736579417124458190809007451755",
|
|
315
|
+
"7354463117736585470843139230227589188304331389476818932256765377140053168035"
|
|
316
|
+
],
|
|
317
|
+
["1", "0"]
|
|
318
|
+
],
|
|
319
|
+
[
|
|
320
|
+
[
|
|
321
|
+
"21462572925415337738214437933606587540653694853107274549824898449394152530908",
|
|
322
|
+
"7333723286812204168407439917521565157977670700382476881790986792115201279410"
|
|
323
|
+
],
|
|
324
|
+
[
|
|
325
|
+
"16253055713127198337468919465234896268161918860396508551871391729457324125212",
|
|
326
|
+
"6820993392268884858152757378169835647522978080101384568523885945756789014349"
|
|
327
|
+
],
|
|
328
|
+
["1", "0"]
|
|
329
|
+
],
|
|
330
|
+
[
|
|
331
|
+
[
|
|
332
|
+
"17544563341965869668707473190805417639220912289969746146554006791986582724590",
|
|
333
|
+
"11102327427527201346056529148642207216130990405495165914761901542247835149412"
|
|
334
|
+
],
|
|
335
|
+
[
|
|
336
|
+
"4999887962989142396481351641254451370620928952306237803174890583736074770292",
|
|
337
|
+
"4470848226757772603246285686584200798638888970547659211297578619392420918858"
|
|
338
|
+
],
|
|
339
|
+
["1", "0"]
|
|
340
|
+
],
|
|
341
|
+
[
|
|
342
|
+
[
|
|
343
|
+
"19811002121850954821192061183148615163420706271800817927960207430256612524059",
|
|
344
|
+
"5314337765479745092537090978913989310916802510812096192767666377841447850226"
|
|
345
|
+
],
|
|
346
|
+
[
|
|
347
|
+
"3428844080448214358238191483671878854080864964895729401025193865570307658787",
|
|
348
|
+
"18254735365473444026840717290492248863101576601864757410600437101587001057517"
|
|
349
|
+
],
|
|
350
|
+
["1", "0"]
|
|
351
|
+
],
|
|
352
|
+
[
|
|
353
|
+
[
|
|
354
|
+
"11882651094700172542567008359015417490389070633573140242127755563781024148099",
|
|
355
|
+
"4310089243116651250383251477034324245457116277666484671624575402227833925755"
|
|
356
|
+
],
|
|
357
|
+
[
|
|
358
|
+
"18874624159090765871635243875933482675871258293088886749847315202391523956097",
|
|
359
|
+
"9304328383406369649010049197573360507944684656613297568584394172735340111263"
|
|
360
|
+
],
|
|
361
|
+
["1", "0"]
|
|
362
|
+
],
|
|
363
|
+
[
|
|
364
|
+
[
|
|
365
|
+
"20383112265143113621158547584533108172173014612497300318772355462448750327634",
|
|
366
|
+
"9476241965146735006848999585927664857836027675817848342111996150638876938940"
|
|
367
|
+
],
|
|
368
|
+
[
|
|
369
|
+
"20733082136685384602293372077980283048183069753990343452404863587763569081917",
|
|
370
|
+
"10370498046215116715134085566322498900073301617448752966999679321197451973184"
|
|
371
|
+
],
|
|
372
|
+
["1", "0"]
|
|
373
|
+
],
|
|
374
|
+
[
|
|
375
|
+
[
|
|
376
|
+
"10728358412340769313351519567620170787387770135423141966436844748162218854008",
|
|
377
|
+
"7929983584961755765377471515178883367433439212271736050025708429355823243624"
|
|
378
|
+
],
|
|
379
|
+
[
|
|
380
|
+
"2424224908982307794171893487036131370038399449016750026546326391873466118335",
|
|
381
|
+
"4169855297038740915695363102363044976292665711211255871324667594694964037773"
|
|
162
382
|
],
|
|
163
383
|
["1", "0"]
|
|
164
384
|
]
|
|
@@ -166,355 +386,895 @@
|
|
|
166
386
|
"vk_alphabeta_12": [
|
|
167
387
|
[
|
|
168
388
|
[
|
|
169
|
-
"
|
|
170
|
-
"
|
|
389
|
+
"5275725312362878540782176211860327475781113689246818544623830805017503247034",
|
|
390
|
+
"700769043921060225711174322502145319612473365595920873303028146383045646735"
|
|
171
391
|
],
|
|
172
392
|
[
|
|
173
|
-
"
|
|
174
|
-
"
|
|
393
|
+
"16577533945604560505206253312979863148043263406037367789711279754781525822966",
|
|
394
|
+
"9408338099405950952721388539539775335199747835458172188116297223654842340186"
|
|
175
395
|
],
|
|
176
396
|
[
|
|
177
|
-
"
|
|
178
|
-
"
|
|
397
|
+
"12663399896275491035004982800573482669934131767886952660443268164480899034271",
|
|
398
|
+
"4432711152773877173921024337047412943791122852326272337530740732443732395954"
|
|
179
399
|
]
|
|
180
400
|
],
|
|
181
401
|
[
|
|
182
402
|
[
|
|
183
|
-
"
|
|
184
|
-
"
|
|
403
|
+
"13121778684901402722679281862736806628725205381360313795132945954337708567513",
|
|
404
|
+
"9534744673358550231812045647241180985734073058548683258847806241019905135720"
|
|
185
405
|
],
|
|
186
406
|
[
|
|
187
|
-
"
|
|
188
|
-
"
|
|
407
|
+
"21329152369227346659770815132468371951064045353268189088026893413117512652875",
|
|
408
|
+
"17209195434408943681049655974234541356066884378594227002358272904159790622854"
|
|
189
409
|
],
|
|
190
410
|
[
|
|
191
|
-
"
|
|
192
|
-
"
|
|
411
|
+
"5346467096835895366917814311591075634165750361894629082277248282132405045579",
|
|
412
|
+
"15508364027636868967189209273443690126627947943852338696115233789046842639684"
|
|
193
413
|
]
|
|
194
414
|
]
|
|
195
415
|
],
|
|
196
416
|
"IC": [
|
|
197
417
|
[
|
|
198
418
|
[
|
|
199
|
-
"
|
|
200
|
-
"
|
|
419
|
+
"20602000776800724705104231353971008348678632605343811527051139864158800058742",
|
|
420
|
+
"14100125742256756091734688090621667470723401759459592787502475801413744195297",
|
|
421
|
+
"1"
|
|
422
|
+
],
|
|
423
|
+
[
|
|
424
|
+
"5090583730862410755830979584235210054631184460526892606022709842010236308675",
|
|
425
|
+
"4935746665478263580470501879719907639988899436008466660042851826337922233613",
|
|
426
|
+
"1"
|
|
427
|
+
],
|
|
428
|
+
[
|
|
429
|
+
"3603230519262933722323237889869128969156000998401789817930265262617368730462",
|
|
430
|
+
"11467103179184542033012124498958167915605281189440445972230559164572312725202",
|
|
431
|
+
"1"
|
|
432
|
+
],
|
|
433
|
+
[
|
|
434
|
+
"20354120984011889701917116306955017859695028034788955847437411305304360829487",
|
|
435
|
+
"16952752114474306858880411587178692742589121096026762314329638709126787301483",
|
|
436
|
+
"1"
|
|
437
|
+
],
|
|
438
|
+
[
|
|
439
|
+
"18678961143994743003180318723146092299060216598083112257165966782010215931454",
|
|
440
|
+
"5866474510945308764957529269555101130643879788634167019342763906927794156659",
|
|
441
|
+
"1"
|
|
442
|
+
]
|
|
443
|
+
],
|
|
444
|
+
[
|
|
445
|
+
[
|
|
446
|
+
"15947740979005208428427315036716544174249364023308166418156254508145278950889",
|
|
447
|
+
"13324328715790405384125386378518079709609297588403011236512446709595322048979",
|
|
448
|
+
"1"
|
|
449
|
+
],
|
|
450
|
+
[
|
|
451
|
+
"18308129219862888344083447566760955160779532192553849267018614487088634836563",
|
|
452
|
+
"6372459765603725576424215986727450779217530423615747931788702584026023386877",
|
|
453
|
+
"1"
|
|
454
|
+
],
|
|
455
|
+
[
|
|
456
|
+
"7093003777162632186231777482293120808844116758585672698445917711442486215336",
|
|
457
|
+
"15357576732947512625016950088762579987226580659874157718142226214458009204755",
|
|
458
|
+
"1"
|
|
459
|
+
],
|
|
460
|
+
[
|
|
461
|
+
"13910597919064508360434043231000553781072135406219661606166769706745413894201",
|
|
462
|
+
"9475901949906914147982792916474633312982452326368523201024844634638043554494",
|
|
463
|
+
"1"
|
|
464
|
+
],
|
|
465
|
+
[
|
|
466
|
+
"5845138751782936895477553974859998077996624699108246120208069774017428318479",
|
|
467
|
+
"3326095377373657419775174404381825686428913179751401123841216020519623741775",
|
|
468
|
+
"1"
|
|
469
|
+
]
|
|
470
|
+
],
|
|
471
|
+
[
|
|
472
|
+
[
|
|
473
|
+
"8027751638293718359199675565570157214590620386957299982399037269650333307021",
|
|
474
|
+
"19002113380575481191643777830101182489616906893723699470070419138254788369727",
|
|
475
|
+
"1"
|
|
476
|
+
],
|
|
477
|
+
[
|
|
478
|
+
"13631613009301650992828160964785768170789209232530437462516754147352285424672",
|
|
479
|
+
"10537705110128905270703523362934130036880036854847578111990360444182641655212",
|
|
480
|
+
"1"
|
|
481
|
+
],
|
|
482
|
+
[
|
|
483
|
+
"15557574650831364767567015658284909068256128766563081293491003990055297878366",
|
|
484
|
+
"4049724481871929240016595616316679773340938699307608349394228543495262553744",
|
|
485
|
+
"1"
|
|
486
|
+
],
|
|
487
|
+
[
|
|
488
|
+
"9967066649437927083270210032320564587652082866881800887188539489167094397640",
|
|
489
|
+
"12463426560961961450861478284334163210886016242490079948590082000657390077088",
|
|
490
|
+
"1"
|
|
491
|
+
],
|
|
492
|
+
[
|
|
493
|
+
"21318595425700216078579789307308348011199610228556265752904860757510620370622",
|
|
494
|
+
"7430155508771673067823897542900534022148544854722115377830369283854627952599",
|
|
495
|
+
"1"
|
|
496
|
+
]
|
|
497
|
+
],
|
|
498
|
+
[
|
|
499
|
+
[
|
|
500
|
+
"12017353327534072098763415761011052990865822334777878720246921848197559257711",
|
|
501
|
+
"4746680322053291743787031203095442352574780441873349801788355375401126089939",
|
|
502
|
+
"1"
|
|
503
|
+
],
|
|
504
|
+
[
|
|
505
|
+
"6764632552006100580460767171096753901452726344615530017064702126145414585640",
|
|
506
|
+
"11581587935666673652762153205827599529022773836189155792609728856814288572033",
|
|
507
|
+
"1"
|
|
508
|
+
],
|
|
509
|
+
[
|
|
510
|
+
"3123694825428833189943974730387937552931713004458396242443840668462184834558",
|
|
511
|
+
"3432192610292569155696646287493678963086402014898209278361624573082188247990",
|
|
512
|
+
"1"
|
|
513
|
+
],
|
|
514
|
+
[
|
|
515
|
+
"12349833666000936285363634772178969342930188247085371717039135170012686159900",
|
|
516
|
+
"5587426338437935681688079936152042996259869611071713486439341129143155921959",
|
|
517
|
+
"1"
|
|
518
|
+
],
|
|
519
|
+
[
|
|
520
|
+
"12022589354168680516901928073724404259700970836413687340697868887207353139344",
|
|
521
|
+
"2351613311284811919248989036726852289804810348516261915606564943623124473717",
|
|
522
|
+
"1"
|
|
523
|
+
]
|
|
524
|
+
],
|
|
525
|
+
[
|
|
526
|
+
[
|
|
527
|
+
"3115002343037487520580459802807906562630507097436525958861415456096559884443",
|
|
528
|
+
"11775142132959919266954507317832500578453517368862270948538792702813845219681",
|
|
529
|
+
"1"
|
|
530
|
+
],
|
|
531
|
+
[
|
|
532
|
+
"5975456097652384580746132945351678665917860606511206167023154005883554813508",
|
|
533
|
+
"10958037207675554032315788914627312943186758288936582678633536154169678007202",
|
|
534
|
+
"1"
|
|
535
|
+
],
|
|
536
|
+
[
|
|
537
|
+
"16345185674805541466042568997276776714209785989761944600635051035243995431568",
|
|
538
|
+
"3326264593228494909568322793066180033820330146744162800569972963329142251537",
|
|
539
|
+
"1"
|
|
540
|
+
],
|
|
541
|
+
[
|
|
542
|
+
"20721047231464194965879320004420846916587593568519526251056516572985788552732",
|
|
543
|
+
"2552439778142862614309289213707433798337671284267429041900242151271508522517",
|
|
544
|
+
"1"
|
|
545
|
+
],
|
|
546
|
+
[
|
|
547
|
+
"2849386127826497959217687777221941766595094589431869464564268817450132435018",
|
|
548
|
+
"12188539304210779665491473755999603070354632830707125660270270405780470402800",
|
|
549
|
+
"1"
|
|
550
|
+
]
|
|
551
|
+
],
|
|
552
|
+
[
|
|
553
|
+
[
|
|
554
|
+
"6024976123298004874848602709755399197808739071863728225378332097920450236516",
|
|
555
|
+
"11108084608972457539770160222798307153256767409158349747526974841008717682367",
|
|
556
|
+
"1"
|
|
557
|
+
],
|
|
558
|
+
[
|
|
559
|
+
"3009127146923662343754766534488769100730310563110562565512507605403185571089",
|
|
560
|
+
"10560679284132950437595738585637379866590755950272794729013445350206405316661",
|
|
561
|
+
"1"
|
|
562
|
+
],
|
|
563
|
+
[
|
|
564
|
+
"16015321530803994569819047219560485624444041236327101681073970215458831987478",
|
|
565
|
+
"18489840631710745699731219026737904723160484479846032199737023956049067434815",
|
|
566
|
+
"1"
|
|
567
|
+
],
|
|
568
|
+
[
|
|
569
|
+
"609265187318362115240245160721406765003010398230819869810290394123140807290",
|
|
570
|
+
"2656965952206569220410287839949134856874352189248192147930831679380007159249",
|
|
571
|
+
"1"
|
|
572
|
+
],
|
|
573
|
+
[
|
|
574
|
+
"13957423432693450118120092425077530751840166358932317773385901323790404449641",
|
|
575
|
+
"7610225795517710715985874151201119876406845575780133396869144717381641586640",
|
|
576
|
+
"1"
|
|
577
|
+
]
|
|
578
|
+
],
|
|
579
|
+
[
|
|
580
|
+
[
|
|
581
|
+
"18178936861568428015361893654874798233785855995042899944660014774323534883903",
|
|
582
|
+
"534506139369949013962728832141783820104682340925384016906020027968881380951",
|
|
583
|
+
"1"
|
|
584
|
+
],
|
|
585
|
+
[
|
|
586
|
+
"13888044772855561714276444972404100722751042044045312252045340354941233320135",
|
|
587
|
+
"13061437363756343100054622876229104455920015737970195589611281743974716159827",
|
|
588
|
+
"1"
|
|
589
|
+
],
|
|
590
|
+
[
|
|
591
|
+
"15297052669271818809266618537917704542138894789392864971735934945598379827363",
|
|
592
|
+
"3240592020743113440365790241401792477958041186219702004441781545015089517479",
|
|
593
|
+
"1"
|
|
594
|
+
],
|
|
595
|
+
[
|
|
596
|
+
"12939402739160799630996576545137073878726141216092557580496570401396343874133",
|
|
597
|
+
"409838859583542828209958035048329036930557790097408442597169497017958367880",
|
|
598
|
+
"1"
|
|
599
|
+
],
|
|
600
|
+
[
|
|
601
|
+
"4849352055719384218783567790347020036570406423962447054960403165168624679411",
|
|
602
|
+
"10140481868950825952506002812679553069445144019364683137830173127833535162812",
|
|
603
|
+
"1"
|
|
604
|
+
]
|
|
605
|
+
],
|
|
606
|
+
[
|
|
607
|
+
[
|
|
608
|
+
"12128929995926069335150064696726717100038806543084523729572253928762150006902",
|
|
609
|
+
"1527343541447603983494013575570118174442170324803005341835852970207664984106",
|
|
610
|
+
"1"
|
|
611
|
+
],
|
|
612
|
+
[
|
|
613
|
+
"3864366504647042739453971869413719136218296278515580744588126485271535533745",
|
|
614
|
+
"16390744785373846505589339019032992526980013169808686005019244934399314954484",
|
|
615
|
+
"1"
|
|
616
|
+
],
|
|
617
|
+
[
|
|
618
|
+
"1189371614834081242339044631966546656514169937037419744085755746584992776112",
|
|
619
|
+
"2490564128297998291899011962907372091056992851367564813460897014374926950158",
|
|
620
|
+
"1"
|
|
621
|
+
],
|
|
622
|
+
[
|
|
623
|
+
"2632864541439030478006092584387470079076010621748787710053145987733131826177",
|
|
624
|
+
"10997016251008884590554668186933912000821350188750456144761529496433221911191",
|
|
625
|
+
"1"
|
|
626
|
+
],
|
|
627
|
+
[
|
|
628
|
+
"3662989402605074726032541754492900291134797145446056852785520146936851543244",
|
|
629
|
+
"8371074929323402425468930212402691638137013802793901226648986870188378349904",
|
|
630
|
+
"1"
|
|
631
|
+
]
|
|
632
|
+
],
|
|
633
|
+
[
|
|
634
|
+
[
|
|
635
|
+
"11685593308965088606881675161829854229906033467171784802160080423031157953626",
|
|
636
|
+
"18989841286028554273231159314070667749621876499337485447347239057791285949659",
|
|
637
|
+
"1"
|
|
638
|
+
],
|
|
639
|
+
[
|
|
640
|
+
"13501500842653069022700095920888317808542113497043735775280862312089436522286",
|
|
641
|
+
"16284422417487952110266526583186344607656490299306406671512902584454645262294",
|
|
642
|
+
"1"
|
|
643
|
+
],
|
|
644
|
+
[
|
|
645
|
+
"14766820041476554952520399418749355774195705334216487399328042021346008099854",
|
|
646
|
+
"11502099463338241997177160748027482497157165595330950109059924501733819344412",
|
|
647
|
+
"1"
|
|
648
|
+
],
|
|
649
|
+
[
|
|
650
|
+
"21097733162892834226328090737666232905549661288100963226189626007151883115218",
|
|
651
|
+
"3620141777236347892405766912767968106066233413607983266884777435591408542679",
|
|
652
|
+
"1"
|
|
653
|
+
],
|
|
654
|
+
[
|
|
655
|
+
"4465316625088681267432956930147995293521314127558426510839100849580054135068",
|
|
656
|
+
"15951396696291486543574989938200386934444721629903447106494532971713975302198",
|
|
657
|
+
"1"
|
|
658
|
+
]
|
|
659
|
+
],
|
|
660
|
+
[
|
|
661
|
+
[
|
|
662
|
+
"15140772590596966074591171894694986645347795546765667852915300358255369432294",
|
|
663
|
+
"7383386342436648909729802223228006548918015494414484659175617833341830753463",
|
|
664
|
+
"1"
|
|
665
|
+
],
|
|
666
|
+
[
|
|
667
|
+
"11436445698241305906567677067532324081573492145508451249291326304016376374466",
|
|
668
|
+
"17397405229027848655285535331264669055168427730382628461971653096729174692794",
|
|
669
|
+
"1"
|
|
670
|
+
],
|
|
671
|
+
[
|
|
672
|
+
"8888190346365862431131132945799487885295183925892581338098808269532220115208",
|
|
673
|
+
"17373048493258440814074078107890527278667903472831731635546171123117085702144",
|
|
674
|
+
"1"
|
|
675
|
+
],
|
|
676
|
+
[
|
|
677
|
+
"5394355195223713516914582580686192473163629785306318732489822694588538915692",
|
|
678
|
+
"20814957740385525027786677509245187599649792998372465800981035312224123940783",
|
|
679
|
+
"1"
|
|
680
|
+
],
|
|
681
|
+
[
|
|
682
|
+
"11167741662268878371451552983943563550747492198375641214347145843414778750740",
|
|
683
|
+
"1505498991925224080559736158020686494389967648228591899080542175743913505975",
|
|
684
|
+
"1"
|
|
685
|
+
]
|
|
686
|
+
],
|
|
687
|
+
[
|
|
688
|
+
[
|
|
689
|
+
"5091938011714608365574587822261119297677309310900626302766934784886036216676",
|
|
690
|
+
"18792973255357094538588824962661759194320829424712347846315600994520652609459",
|
|
691
|
+
"1"
|
|
692
|
+
],
|
|
693
|
+
[
|
|
694
|
+
"5819484726278895533547092474664732368175576227992878488267454637556311136768",
|
|
695
|
+
"14087278759052154922504944654932471722205352537489748711235261956958139094423",
|
|
696
|
+
"1"
|
|
697
|
+
],
|
|
698
|
+
[
|
|
699
|
+
"6676755499836944199268283133886528716777488598645051771936175647684814488319",
|
|
700
|
+
"7841200200792172536039490995922340397104113825218911994623753022413575084536",
|
|
701
|
+
"1"
|
|
702
|
+
],
|
|
703
|
+
[
|
|
704
|
+
"9685171750835271647846188024034904289604883281120913275229696726161494108338",
|
|
705
|
+
"13804722593058778047599265964893015518608567919815229008355552695901539135617",
|
|
706
|
+
"1"
|
|
707
|
+
],
|
|
708
|
+
[
|
|
709
|
+
"133210224564739370698401112580329091433152068231765294734991529050629411851",
|
|
710
|
+
"6253365067148837443745536970484493754157158998156041417978340186561909915882",
|
|
711
|
+
"1"
|
|
712
|
+
]
|
|
713
|
+
],
|
|
714
|
+
[
|
|
715
|
+
[
|
|
716
|
+
"11594484527416994136900781664743660516883697944736099448760569480817952218099",
|
|
717
|
+
"5525949004768282420418522754788387377346850869414250693501350383184014395566",
|
|
718
|
+
"1"
|
|
719
|
+
],
|
|
720
|
+
[
|
|
721
|
+
"13423677678153887686951876961584096043047689175638209759158420018856273430250",
|
|
722
|
+
"688554022717474500337948897714325469989973507431329797109415877246281679190",
|
|
723
|
+
"1"
|
|
724
|
+
],
|
|
725
|
+
[
|
|
726
|
+
"5767985312159947447966233995178318554138266544591427341210101818005833690773",
|
|
727
|
+
"13782057493439290506357575012457041256926849070794382612465582256292384507590",
|
|
728
|
+
"1"
|
|
729
|
+
],
|
|
730
|
+
[
|
|
731
|
+
"2009465632383454183075946487099156558696455704620200103263777377956167571948",
|
|
732
|
+
"10265570962161934109202420603055144010322859077969741656080416572925588897009",
|
|
733
|
+
"1"
|
|
734
|
+
],
|
|
735
|
+
[
|
|
736
|
+
"13063467510206676485181697613068184940643350938488359709447602318070297992418",
|
|
737
|
+
"8824580488237789516855671915345935747743201560548603121129517348234754630838",
|
|
738
|
+
"1"
|
|
739
|
+
]
|
|
740
|
+
],
|
|
741
|
+
[
|
|
742
|
+
[
|
|
743
|
+
"15613862437263830065893280422700893831122147824370200118126675792748158214283",
|
|
744
|
+
"11637898091445829201992956909089879348463617460955895182594618572267100421779",
|
|
745
|
+
"1"
|
|
746
|
+
],
|
|
747
|
+
[
|
|
748
|
+
"676470684249461112964281503193041675013396554434239929609436328672155420783",
|
|
749
|
+
"14862758280768060051884504554805186980208629806423451755599092137651959992706",
|
|
750
|
+
"1"
|
|
751
|
+
],
|
|
752
|
+
[
|
|
753
|
+
"5623342967419780942118234966618900971275224510117264341831041912523393680166",
|
|
754
|
+
"12293742687505619727765346377361630310803471543338450439759434637239250426631",
|
|
755
|
+
"1"
|
|
756
|
+
],
|
|
757
|
+
[
|
|
758
|
+
"17107107724389526013252251054585363312805578717860151655674796329456502453436",
|
|
759
|
+
"695490429984933474058785653390434166254929169748519672533632124843844650437",
|
|
760
|
+
"1"
|
|
761
|
+
],
|
|
762
|
+
[
|
|
763
|
+
"7941603993861390710630117468483386570984050378175531457457840811645822985465",
|
|
764
|
+
"19423663035279971057851778008344970269742436279020301703706239058210708410668",
|
|
765
|
+
"1"
|
|
766
|
+
]
|
|
767
|
+
],
|
|
768
|
+
[
|
|
769
|
+
[
|
|
770
|
+
"14178974435133537452754432783693851994073934244854394772136599698341675338748",
|
|
771
|
+
"14490318493007296294817313593753116388501252549516359980240258503496717340194",
|
|
772
|
+
"1"
|
|
773
|
+
],
|
|
774
|
+
[
|
|
775
|
+
"21219478166573360512901478467779541318881953172337799756939010190701884653821",
|
|
776
|
+
"13653038712207413996195005796658436532811211815454701512198612316602372800026",
|
|
777
|
+
"1"
|
|
778
|
+
],
|
|
779
|
+
[
|
|
780
|
+
"6606031466185873676955137126631780808678269492505994174970319773811652852017",
|
|
781
|
+
"6998326006251734945119834407770954155028321677085545151592873301468610324946",
|
|
782
|
+
"1"
|
|
783
|
+
],
|
|
784
|
+
[
|
|
785
|
+
"15717984973502827230694305820570642040862757036680118080574899662027439132392",
|
|
786
|
+
"6129387663611887185666499162725019000386957238200546358846681873950634080364",
|
|
787
|
+
"1"
|
|
788
|
+
],
|
|
789
|
+
[
|
|
790
|
+
"3229894653990057163047872622628926092609943988699832798310941005306795398260",
|
|
791
|
+
"1577249093608064810495237122250056987651980088410811739655744853476971398741",
|
|
792
|
+
"1"
|
|
793
|
+
]
|
|
794
|
+
],
|
|
795
|
+
[
|
|
796
|
+
[
|
|
797
|
+
"21508024236353721936402111331734487542417525255582275314005272967405040862839",
|
|
798
|
+
"18027689383014810715963711252886295463940938266456411644747464137365500951807",
|
|
799
|
+
"1"
|
|
800
|
+
],
|
|
801
|
+
[
|
|
802
|
+
"14484077699638992615220759300878276902226958277985946809174186953862915299590",
|
|
803
|
+
"4817080763362108602919187869554992685382108795016276838137423588157592666796",
|
|
804
|
+
"1"
|
|
805
|
+
],
|
|
806
|
+
[
|
|
807
|
+
"10791657063117982548380087239678382293931165307389242284595466175088416832331",
|
|
808
|
+
"17574587559710800088797913763598808892829608388483075257576879500511250128297",
|
|
809
|
+
"1"
|
|
810
|
+
],
|
|
811
|
+
[
|
|
812
|
+
"20931338330271163055101602391315623325223860904427973201832184784566097488773",
|
|
813
|
+
"1954574324880132355431783868495392698894997264747376529310223470792870288803",
|
|
814
|
+
"1"
|
|
815
|
+
],
|
|
816
|
+
[
|
|
817
|
+
"2551137710278149502571112114560159376697849893483916552857521579500208583200",
|
|
818
|
+
"3997814265160290573081282672183091638735659350920634229735367532175023689675",
|
|
819
|
+
"1"
|
|
820
|
+
]
|
|
821
|
+
],
|
|
822
|
+
[
|
|
823
|
+
[
|
|
824
|
+
"11844625750737259417493690805104254337758743574820507915512371579679338049474",
|
|
825
|
+
"18479163117067129250021591308069049721232170743585134941796617403156042279597",
|
|
826
|
+
"1"
|
|
827
|
+
],
|
|
828
|
+
[
|
|
829
|
+
"4434911559893931929914698652677389633068778061297646529129767359157675249407",
|
|
830
|
+
"316682746098441691626372255125560321251096997722401729182940832349927288255",
|
|
831
|
+
"1"
|
|
832
|
+
],
|
|
833
|
+
[
|
|
834
|
+
"19610390525670030492896894087745165507340241783776573708027658938288182681300",
|
|
835
|
+
"5840208148535790468526125686220196099566194081164771919666034943299219873755",
|
|
836
|
+
"1"
|
|
837
|
+
],
|
|
838
|
+
[
|
|
839
|
+
"3679027218793663842409677356801552901605408436635647286999251784339864591201",
|
|
840
|
+
"9878321578558671609403512127325051261043472923444011356477587484000484178928",
|
|
841
|
+
"1"
|
|
842
|
+
],
|
|
843
|
+
[
|
|
844
|
+
"16646455734597629493777237097088292344110223995728568379569260368267096014288",
|
|
845
|
+
"14735311379463771264009437608444808852233202023120148855228542005281236140064",
|
|
846
|
+
"1"
|
|
847
|
+
]
|
|
848
|
+
],
|
|
849
|
+
[
|
|
850
|
+
[
|
|
851
|
+
"6922136549797750291447751953663854475218048098902194660515442295348938322083",
|
|
852
|
+
"10287261443878564608994021014993200221021609196127927226041534661185500281120",
|
|
853
|
+
"1"
|
|
854
|
+
],
|
|
855
|
+
[
|
|
856
|
+
"6329063805909277980282354325384845982783657973381777424581891744521604640994",
|
|
857
|
+
"11017548748010510224711773916683171526878158646735796493859902304094594577338",
|
|
858
|
+
"1"
|
|
859
|
+
],
|
|
860
|
+
[
|
|
861
|
+
"7338335804036221772945379382782674399589206056354184002757176151341198318122",
|
|
862
|
+
"16538115574966264108203522400275571374556020887608210819563613080068710593180",
|
|
863
|
+
"1"
|
|
864
|
+
],
|
|
865
|
+
[
|
|
866
|
+
"5138245976626127736555381649425906350640183768145541963359703291501245587848",
|
|
867
|
+
"11347291457433539838423910567581114929056891897670787919546976342310334767900",
|
|
868
|
+
"1"
|
|
869
|
+
],
|
|
870
|
+
[
|
|
871
|
+
"16731418617609356258989018213857655050257827940403117452476763890174877962606",
|
|
872
|
+
"5300557287595854140445529914668848275536281916366261035684431572728600543772",
|
|
873
|
+
"1"
|
|
874
|
+
]
|
|
875
|
+
],
|
|
876
|
+
[
|
|
877
|
+
[
|
|
878
|
+
"6497446328454795535775520142893202697197882656922991300092165933292014766725",
|
|
879
|
+
"4597431274747983679157649737399090093759447324935531801532881928263496852124",
|
|
880
|
+
"1"
|
|
881
|
+
],
|
|
882
|
+
[
|
|
883
|
+
"20581664438782214735167492264807215952133504025063870863776714994387749970180",
|
|
884
|
+
"5854805250432620287068939301087113989827350315462338534819773170350910225622",
|
|
885
|
+
"1"
|
|
886
|
+
],
|
|
887
|
+
[
|
|
888
|
+
"13548539273975522227017059057161374261181128673406746320122994151943985128196",
|
|
889
|
+
"7414800418339434590171697383031637744601564309993253226498272110927128779715",
|
|
890
|
+
"1"
|
|
891
|
+
],
|
|
892
|
+
[
|
|
893
|
+
"1052987139013233499761917411027037646861657729931697227519754049539833189269",
|
|
894
|
+
"657108667626796780066815408290681939596246857020023912757838581820942772606",
|
|
895
|
+
"1"
|
|
896
|
+
],
|
|
897
|
+
[
|
|
898
|
+
"19088282520683145597098955555305422198780142332183007920340899996970202127885",
|
|
899
|
+
"12616611543293706969401642310383814806112402432261338062963427055972449363741",
|
|
900
|
+
"1"
|
|
901
|
+
]
|
|
902
|
+
],
|
|
903
|
+
[
|
|
904
|
+
[
|
|
905
|
+
"305741399293956298249448376598537769086716682101868856634885453070917344627",
|
|
906
|
+
"14942830908704142867090451021371809832404069532430585621173997534136021340349",
|
|
907
|
+
"1"
|
|
908
|
+
],
|
|
909
|
+
[
|
|
910
|
+
"11873341523902185373029537495825388400298468809112431373607438726587086076801",
|
|
911
|
+
"16566421774425889929886838459987430622148040878072136298073788804726016806526",
|
|
912
|
+
"1"
|
|
913
|
+
],
|
|
914
|
+
[
|
|
915
|
+
"18314173705630320437871113612645566255775444265992974192826331109357704470403",
|
|
916
|
+
"8597072000455186494551694692524831407069966911367008568012412188890924300508",
|
|
917
|
+
"1"
|
|
918
|
+
],
|
|
919
|
+
[
|
|
920
|
+
"12713907619301764178052509321657058919935892208409394514649600000706175319189",
|
|
921
|
+
"14893305145776480356274920935320977108910444566603040558476174175562031483300",
|
|
922
|
+
"1"
|
|
923
|
+
],
|
|
924
|
+
[
|
|
925
|
+
"11027938853766719633497710751595847377263279173227878474215846011660771149283",
|
|
926
|
+
"6927793728403485743741891409676155921703126599118383623637742555953569891357",
|
|
927
|
+
"1"
|
|
928
|
+
]
|
|
929
|
+
],
|
|
930
|
+
[
|
|
931
|
+
[
|
|
932
|
+
"37868753390676617287004841173348795594362354905038492583057282228528019603",
|
|
933
|
+
"19475937072595290694509025801956972632863465524774747773770243946674956142538",
|
|
934
|
+
"1"
|
|
935
|
+
],
|
|
936
|
+
[
|
|
937
|
+
"1818532521520079200500527816308109106767855745862413136331026404438772138114",
|
|
938
|
+
"7893556755641665136576228990240239515272703124353568551151593029797349984766",
|
|
939
|
+
"1"
|
|
940
|
+
],
|
|
941
|
+
[
|
|
942
|
+
"21843411659343488969197036446870567462789014279182131087406329675847260538394",
|
|
943
|
+
"13883536936296384480685931731174096875043607202415233199362935327975006076376",
|
|
944
|
+
"1"
|
|
945
|
+
],
|
|
946
|
+
[
|
|
947
|
+
"3061885619227488514362869971925298711535995206671454426027635264218303442708",
|
|
948
|
+
"18477632669759047471715211461337808302603089797347923153039515976242018999984",
|
|
949
|
+
"1"
|
|
950
|
+
],
|
|
951
|
+
[
|
|
952
|
+
"4953684980989921770137053964305439167945572062294709110871332076115076441738",
|
|
953
|
+
"849590699713478394267684876803414882497887483062076673282369901261463387635",
|
|
954
|
+
"1"
|
|
955
|
+
]
|
|
956
|
+
],
|
|
957
|
+
[
|
|
958
|
+
[
|
|
959
|
+
"17761332237343741278668998123360108574589045018570742689473320560784505694171",
|
|
960
|
+
"2985768806786881176362869973473950745997650698247163897069614623128281191971",
|
|
201
961
|
"1"
|
|
202
962
|
],
|
|
203
963
|
[
|
|
204
|
-
"
|
|
205
|
-
"
|
|
964
|
+
"14099532828736062687388547070054719462342298981811592749594569670955512096417",
|
|
965
|
+
"11038429458121896617356666499000022639824993159854464409767840206807807728043",
|
|
206
966
|
"1"
|
|
207
967
|
],
|
|
208
968
|
[
|
|
209
|
-
"
|
|
210
|
-
"
|
|
969
|
+
"7092464867594165410092487979619486929166817679669939558999555261465867685619",
|
|
970
|
+
"20690943609696626243672018055336898909740557628366317533030490341400911534771",
|
|
211
971
|
"1"
|
|
212
972
|
],
|
|
213
973
|
[
|
|
214
|
-
"
|
|
215
|
-
"
|
|
974
|
+
"11468803355345327303851639215186997122074583511720489615730106184659306943551",
|
|
975
|
+
"9723340381470060111632263437706139036358918795037011403763820908081655273682",
|
|
216
976
|
"1"
|
|
217
977
|
],
|
|
218
978
|
[
|
|
219
|
-
"
|
|
220
|
-
"
|
|
979
|
+
"15929497108714526572140462634902391796285476840034863688822264979709196730555",
|
|
980
|
+
"10556139316790113226399166507094772235069235781001645893008903131855134732783",
|
|
221
981
|
"1"
|
|
222
982
|
]
|
|
223
983
|
],
|
|
224
984
|
[
|
|
225
985
|
[
|
|
226
|
-
"
|
|
227
|
-
"
|
|
986
|
+
"16018239095599670975582212156736908990475077583136160880304021421989907078233",
|
|
987
|
+
"13442762142079759258078337448325782252795445513077684243558458356586404542166",
|
|
228
988
|
"1"
|
|
229
989
|
],
|
|
230
990
|
[
|
|
231
|
-
"
|
|
232
|
-
"
|
|
991
|
+
"8012524517439221218249889438165569497775551565363444399021079689755695756644",
|
|
992
|
+
"18993442931337392722189844722480176040693468853419121807183123246184718322422",
|
|
233
993
|
"1"
|
|
234
994
|
],
|
|
235
995
|
[
|
|
236
|
-
"
|
|
237
|
-
"
|
|
996
|
+
"3920077716342530896195446297162279477088824676672184510151991496745985467962",
|
|
997
|
+
"5663885918690734602622426696143772526257235018784490039324179199552252272203",
|
|
238
998
|
"1"
|
|
239
999
|
],
|
|
240
1000
|
[
|
|
241
|
-
"
|
|
242
|
-
"
|
|
1001
|
+
"11007942216549411481832816505096362871539130535791764225892613523847180067807",
|
|
1002
|
+
"12333277086717649179464584335417603775633093807601488202185840108448843332123",
|
|
243
1003
|
"1"
|
|
244
1004
|
],
|
|
245
1005
|
[
|
|
246
|
-
"
|
|
247
|
-
"
|
|
1006
|
+
"18845646001611639216437777320622198530894193094859924604338859788769244491906",
|
|
1007
|
+
"4365664869724113934112630479809518948808449158812862195377335314227128146059",
|
|
248
1008
|
"1"
|
|
249
1009
|
]
|
|
250
1010
|
],
|
|
251
1011
|
[
|
|
252
1012
|
[
|
|
253
|
-
"
|
|
254
|
-
"
|
|
1013
|
+
"9724485076061228092177286932258189815958450833155679889060988975712535081230",
|
|
1014
|
+
"1627333086421877964064603957348348763696708139082607562629629725119997724989",
|
|
255
1015
|
"1"
|
|
256
1016
|
],
|
|
257
1017
|
[
|
|
258
|
-
"
|
|
259
|
-
"
|
|
1018
|
+
"15641874381988682075545920458678901707167602315586561132909307694310257446023",
|
|
1019
|
+
"11034182059786563285109970430313289917032071817373248775707546493147901388113",
|
|
260
1020
|
"1"
|
|
261
1021
|
],
|
|
262
1022
|
[
|
|
263
|
-
"
|
|
264
|
-
"
|
|
1023
|
+
"19299574745226772810381056007321573284793444116746272581694295128392282602507",
|
|
1024
|
+
"6482638271546132546782310681506292669989505915370438641175376336582811537739",
|
|
265
1025
|
"1"
|
|
266
1026
|
],
|
|
267
1027
|
[
|
|
268
|
-
"
|
|
269
|
-
"
|
|
1028
|
+
"5515138970831679245126906315331906152285174207704247085730757090763031968272",
|
|
1029
|
+
"5476746571008230667726688443817396210804752373221945489797046634505665572661",
|
|
270
1030
|
"1"
|
|
271
1031
|
],
|
|
272
1032
|
[
|
|
273
|
-
"
|
|
274
|
-
"
|
|
1033
|
+
"7666694240010574980777401583687953099995588711474009270339615112182231942529",
|
|
1034
|
+
"5345423812126487230177352826531606752132805611025916574123407915411930666385",
|
|
275
1035
|
"1"
|
|
276
1036
|
]
|
|
277
1037
|
],
|
|
278
1038
|
[
|
|
279
1039
|
[
|
|
280
|
-
"
|
|
281
|
-
"
|
|
1040
|
+
"3527954161191330198309290076708590175518992377857531220243324230315686986882",
|
|
1041
|
+
"4506493800007416260514839382433205292331764028735360433653631210611507932973",
|
|
282
1042
|
"1"
|
|
283
1043
|
],
|
|
284
1044
|
[
|
|
285
|
-
"
|
|
286
|
-
"
|
|
1045
|
+
"5530043493028748853396066194331787195114268917530734310055878976603589658986",
|
|
1046
|
+
"6225101949608434111198442012357272827532649788667254718474232856896193900534",
|
|
287
1047
|
"1"
|
|
288
1048
|
],
|
|
289
1049
|
[
|
|
290
|
-
"
|
|
291
|
-
"
|
|
1050
|
+
"18857681750145313162493356993928966938826030906289025101399379263672964054354",
|
|
1051
|
+
"869004496821135911657110194622810910776043851317139916414752924319830673140",
|
|
292
1052
|
"1"
|
|
293
1053
|
],
|
|
294
1054
|
[
|
|
295
|
-
"
|
|
296
|
-
"
|
|
1055
|
+
"1563829187789877652048924285544523323087888587074484491222967490033068091506",
|
|
1056
|
+
"3746011388196035005128740753677692387874351474501361202463946309770129429478",
|
|
297
1057
|
"1"
|
|
298
1058
|
],
|
|
299
1059
|
[
|
|
300
|
-
"
|
|
301
|
-
"
|
|
1060
|
+
"8923361680602360491637539340186330583808472610027697444204036893010926051377",
|
|
1061
|
+
"17386658730777389148551542774423634880430074554050371095211396948875032586750",
|
|
302
1062
|
"1"
|
|
303
1063
|
]
|
|
304
1064
|
],
|
|
305
1065
|
[
|
|
306
1066
|
[
|
|
307
|
-
"
|
|
308
|
-
"
|
|
1067
|
+
"18030052417377603682453955579175094175373404791176719861146533099419481910116",
|
|
1068
|
+
"8281176924556272137773300347187527516223668703826908452855802099328657344885",
|
|
309
1069
|
"1"
|
|
310
1070
|
],
|
|
311
1071
|
[
|
|
312
|
-
"
|
|
313
|
-
"
|
|
1072
|
+
"11849913964821118293258226409033507680960291656604016015128854810099746642358",
|
|
1073
|
+
"2718653438901851962181612429288634518502998150085578586248082443515454453331",
|
|
314
1074
|
"1"
|
|
315
1075
|
],
|
|
316
1076
|
[
|
|
317
|
-
"
|
|
318
|
-
"
|
|
1077
|
+
"17998120665039026798317726060462551095622279047136565816648549826384179735803",
|
|
1078
|
+
"5133986071087432716437635164720916024596119526725252628340805179596147643344",
|
|
319
1079
|
"1"
|
|
320
1080
|
],
|
|
321
1081
|
[
|
|
322
|
-
"
|
|
323
|
-
"
|
|
1082
|
+
"10436725621240227608920674037516192343160590540839553356331196590007025190330",
|
|
1083
|
+
"15618861474705274368161439159831328775613537777134266634959100526889759124590",
|
|
324
1084
|
"1"
|
|
325
1085
|
],
|
|
326
1086
|
[
|
|
327
|
-
"
|
|
328
|
-
"
|
|
1087
|
+
"2511040106219966488942941427805413210834998861588095124665874406004322450915",
|
|
1088
|
+
"9256734357641210393451356199893573129989430877284906007481196262323584132500",
|
|
329
1089
|
"1"
|
|
330
1090
|
]
|
|
331
1091
|
],
|
|
332
1092
|
[
|
|
333
1093
|
[
|
|
334
|
-
"
|
|
335
|
-
"
|
|
1094
|
+
"14565877561081097978808851096191380459292726072163754601747539666057949167693",
|
|
1095
|
+
"2135718143241813932226161801358235289781058013695871838383051572102928884567",
|
|
336
1096
|
"1"
|
|
337
1097
|
],
|
|
338
1098
|
[
|
|
339
|
-
"
|
|
340
|
-
"
|
|
1099
|
+
"20522747851108608773003772892187458826390403588440155512773881116135635256410",
|
|
1100
|
+
"11218511591600821722003994140994121719832310771637604152054113941332818455369",
|
|
341
1101
|
"1"
|
|
342
1102
|
],
|
|
343
1103
|
[
|
|
344
|
-
"
|
|
345
|
-
"
|
|
1104
|
+
"16404237709834224719800904205708261378663612035126521203425485585484994986837",
|
|
1105
|
+
"3167586669955731698085513002461997957955073343333183557668566807567186590619",
|
|
346
1106
|
"1"
|
|
347
1107
|
],
|
|
348
1108
|
[
|
|
349
|
-
"
|
|
350
|
-
"
|
|
1109
|
+
"12910675356590890481798719900077391291951346627685199305549632303581651173802",
|
|
1110
|
+
"20462953503625657093808736208830478011818679863351201550868889073055617578896",
|
|
351
1111
|
"1"
|
|
352
1112
|
],
|
|
353
1113
|
[
|
|
354
|
-
"
|
|
355
|
-
"
|
|
1114
|
+
"18947108562530644410102590841857357185115081182319111952079371871969663671988",
|
|
1115
|
+
"6652719222291337824561052377450295064566587460338214284424446330320206208978",
|
|
356
1116
|
"1"
|
|
357
1117
|
]
|
|
358
1118
|
],
|
|
359
1119
|
[
|
|
360
1120
|
[
|
|
361
|
-
"
|
|
362
|
-
"
|
|
1121
|
+
"10110377608880446364161064735161091842938826397512230713135002732708361876777",
|
|
1122
|
+
"6013899729219769410326935661934883558337463050053435907100782150692294649745",
|
|
363
1123
|
"1"
|
|
364
1124
|
],
|
|
365
1125
|
[
|
|
366
|
-
"
|
|
367
|
-
"
|
|
1126
|
+
"18208889227209298598015138525374980382541030144328510393048300775270787949840",
|
|
1127
|
+
"15191444075449840811990314906356975059662539527217455842253932605838538105879",
|
|
368
1128
|
"1"
|
|
369
1129
|
],
|
|
370
1130
|
[
|
|
371
|
-
"
|
|
372
|
-
"
|
|
1131
|
+
"19203188682890514423320800755662084436821947463936810212920115637567986869322",
|
|
1132
|
+
"3424855308164288636262956984024538145687254883958282264766019244372264927134",
|
|
373
1133
|
"1"
|
|
374
1134
|
],
|
|
375
1135
|
[
|
|
376
|
-
"
|
|
377
|
-
"
|
|
1136
|
+
"19586353501601321585672146098476085745700368665390426128801697725086439710122",
|
|
1137
|
+
"15010004828387861046033155948517332272437733117418549079342100218646019702080",
|
|
378
1138
|
"1"
|
|
379
1139
|
],
|
|
380
1140
|
[
|
|
381
|
-
"
|
|
382
|
-
"
|
|
1141
|
+
"13686339229559293872534012092085760944059315023471369613822812965287369238447",
|
|
1142
|
+
"3695584012986626869153168308549979767804807828687034680677188403817830418810",
|
|
383
1143
|
"1"
|
|
384
1144
|
]
|
|
385
1145
|
],
|
|
386
1146
|
[
|
|
387
1147
|
[
|
|
388
|
-
"
|
|
389
|
-
"
|
|
1148
|
+
"18696621645163318552472841991871104820660024833640321869898695219244792544787",
|
|
1149
|
+
"16940838088709411711968888146075539661653566927745755478421474505108166140656",
|
|
390
1150
|
"1"
|
|
391
1151
|
],
|
|
392
1152
|
[
|
|
393
|
-
"
|
|
394
|
-
"
|
|
1153
|
+
"11530916114120676768574532193664705720045810431665651204245333670674998923676",
|
|
1154
|
+
"7355883923626920336916662475522243088902821161113628716197989160163721774248",
|
|
395
1155
|
"1"
|
|
396
1156
|
],
|
|
397
1157
|
[
|
|
398
|
-
"
|
|
399
|
-
"
|
|
1158
|
+
"11855011297239142909723378707832446926509921514737098047687587969894126468497",
|
|
1159
|
+
"14942813403879667533705178220673159254886774089783887482228941707848831481300",
|
|
400
1160
|
"1"
|
|
401
1161
|
],
|
|
402
1162
|
[
|
|
403
|
-
"
|
|
404
|
-
"
|
|
1163
|
+
"12982663140753853847528768000921561826340636419307931766400467366396846035169",
|
|
1164
|
+
"7171806600323437636744282845777660095738436086868856062406225133619265520575",
|
|
405
1165
|
"1"
|
|
406
1166
|
],
|
|
407
1167
|
[
|
|
408
|
-
"
|
|
409
|
-
"
|
|
1168
|
+
"15982491779929281894294451486893882850583039973528579274058985191703359466543",
|
|
1169
|
+
"19910319651211685401050894240685395121165652955380089146603485967076493605680",
|
|
410
1170
|
"1"
|
|
411
1171
|
]
|
|
412
1172
|
],
|
|
413
1173
|
[
|
|
414
1174
|
[
|
|
415
|
-
"
|
|
416
|
-
"
|
|
1175
|
+
"17688699129722255312471132988267997472426043097741089176095207368928695347323",
|
|
1176
|
+
"4698778325800416923484519718058460264124242609977080857699400967590134848728",
|
|
417
1177
|
"1"
|
|
418
1178
|
],
|
|
419
1179
|
[
|
|
420
|
-
"
|
|
421
|
-
"
|
|
1180
|
+
"11905991584861721837480962390330989450197421918781662074678555052926188909272",
|
|
1181
|
+
"11195321655863853696452219195252788379254952714823481930861848719672010792417",
|
|
422
1182
|
"1"
|
|
423
1183
|
],
|
|
424
1184
|
[
|
|
425
|
-
"
|
|
426
|
-
"
|
|
1185
|
+
"7364573423043519994861038175593500896079924196888521130462378149111415036167",
|
|
1186
|
+
"8488161531239994007634631892382512438657593769374020273048837520623507271908",
|
|
427
1187
|
"1"
|
|
428
1188
|
],
|
|
429
1189
|
[
|
|
430
|
-
"
|
|
431
|
-
"
|
|
1190
|
+
"10948897450624334536526533930990935852623955696383743452358741253735922067160",
|
|
1191
|
+
"7654175296077985337834288232610181411799310934515705881481549241949669590123",
|
|
432
1192
|
"1"
|
|
433
1193
|
],
|
|
434
1194
|
[
|
|
435
|
-
"
|
|
436
|
-
"
|
|
1195
|
+
"2456818423512317060112219756429819064402183920202453945509918337536940292593",
|
|
1196
|
+
"10561627566351771351550703479997725668661012955063201536370060753602302262655",
|
|
437
1197
|
"1"
|
|
438
1198
|
]
|
|
439
1199
|
],
|
|
440
1200
|
[
|
|
441
1201
|
[
|
|
442
|
-
"
|
|
443
|
-
"
|
|
1202
|
+
"21295163659036117126535933666532228255134275601226122998452204301238438701469",
|
|
1203
|
+
"12010652807420347304532358791037860496459429689113682253200903987591679627067",
|
|
444
1204
|
"1"
|
|
445
1205
|
],
|
|
446
1206
|
[
|
|
447
|
-
"
|
|
448
|
-
"
|
|
1207
|
+
"16035147304145989851106586435462674695447030608653337914734493255503105122271",
|
|
1208
|
+
"9396862051344040260236487045030117425080665841603826234795752404308634565281",
|
|
449
1209
|
"1"
|
|
450
1210
|
],
|
|
451
1211
|
[
|
|
452
|
-
"
|
|
453
|
-
"
|
|
1212
|
+
"9623434193020540057685957851610556657916120473978726845338192370747426064401",
|
|
1213
|
+
"20738972702824723087864078264786214906718601061526079118500228332898388551221",
|
|
454
1214
|
"1"
|
|
455
1215
|
],
|
|
456
1216
|
[
|
|
457
|
-
"
|
|
458
|
-
"
|
|
1217
|
+
"457108501000029082366810998923133233303603111079376685755578228260824733356",
|
|
1218
|
+
"13918719735797746251051948238671198059940858851588937008268023917020073366433",
|
|
459
1219
|
"1"
|
|
460
1220
|
],
|
|
461
1221
|
[
|
|
462
|
-
"
|
|
463
|
-
"
|
|
1222
|
+
"19519317439483352367895890468095276150233498159453735432212409926941855183358",
|
|
1223
|
+
"8400170000010792082337905010575114377571921640630709589910201278654198179035",
|
|
464
1224
|
"1"
|
|
465
1225
|
]
|
|
466
1226
|
],
|
|
467
1227
|
[
|
|
468
1228
|
[
|
|
469
|
-
"
|
|
470
|
-
"
|
|
1229
|
+
"209896847902324756441033880218169809685412620378498856437573937154846479551",
|
|
1230
|
+
"19434208870058033389225349051527401299247475125763108527095891214558119617655",
|
|
471
1231
|
"1"
|
|
472
1232
|
],
|
|
473
1233
|
[
|
|
474
|
-
"
|
|
475
|
-
"
|
|
1234
|
+
"4154375339831547300427516624109559852426973786711444825735879648391004291098",
|
|
1235
|
+
"2168897082728012692838287354581700563166925732559863316849698306675591131396",
|
|
476
1236
|
"1"
|
|
477
1237
|
],
|
|
478
1238
|
[
|
|
479
|
-
"
|
|
480
|
-
"
|
|
1239
|
+
"3690054103601385333490512469861728231387681704127049683413276534001532261943",
|
|
1240
|
+
"3997073653940540957268729302105309759820513901669570962308110503858257659002",
|
|
481
1241
|
"1"
|
|
482
1242
|
],
|
|
483
1243
|
[
|
|
484
|
-
"
|
|
485
|
-
"
|
|
1244
|
+
"1493108383089723041516694658460301260449183718295935886883417227290045091286",
|
|
1245
|
+
"1479721274324005701970059663387618978577823761358404739977258141309872068056",
|
|
486
1246
|
"1"
|
|
487
1247
|
],
|
|
488
1248
|
[
|
|
489
|
-
"
|
|
490
|
-
"
|
|
1249
|
+
"20291086357406391640638647514048720424247838755446061571102712546958076851767",
|
|
1250
|
+
"6860718845648137601753080432837091439893783461195961430761483584544410630099",
|
|
491
1251
|
"1"
|
|
492
1252
|
]
|
|
493
1253
|
],
|
|
494
1254
|
[
|
|
495
1255
|
[
|
|
496
|
-
"
|
|
497
|
-
"
|
|
1256
|
+
"1265438250797513961458031163301351393237543067943565114202366151377865506872",
|
|
1257
|
+
"11342865295714982458109220575532930834959120923837779800176462280225501198217",
|
|
498
1258
|
"1"
|
|
499
1259
|
],
|
|
500
1260
|
[
|
|
501
|
-
"
|
|
502
|
-
"
|
|
1261
|
+
"10415384677581396651184780193811022815145977389536746022901590915883889609878",
|
|
1262
|
+
"5311187015233522007413118391261106264838418369874755037462489089469638365756",
|
|
503
1263
|
"1"
|
|
504
1264
|
],
|
|
505
1265
|
[
|
|
506
|
-
"
|
|
507
|
-
"
|
|
1266
|
+
"7499079368996193403750547553190134606728655877653629403923945654291953825315",
|
|
1267
|
+
"1743769713774086589463238504150542785039161133276706463569974209707667651575",
|
|
508
1268
|
"1"
|
|
509
1269
|
],
|
|
510
1270
|
[
|
|
511
|
-
"
|
|
512
|
-
"
|
|
1271
|
+
"5792276842105452143354445764064878932177699791644537942211472215636738768211",
|
|
1272
|
+
"9443070058088199873709166495831389298947366881168483562080569357428781583046",
|
|
513
1273
|
"1"
|
|
514
1274
|
],
|
|
515
1275
|
[
|
|
516
|
-
"
|
|
517
|
-
"
|
|
1276
|
+
"14451507664847323254023899990839043037382802537389529773382951366995420730648",
|
|
1277
|
+
"7633550475637360595097128986678209600092185294414596687526062925070686318486",
|
|
518
1278
|
"1"
|
|
519
1279
|
]
|
|
520
1280
|
]
|