@semaphore-protocol/proof 4.0.0-beta.1 → 4.0.0-beta.11
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/README.md +6 -4
- package/dist/index.browser.js +1103 -382
- package/dist/index.node.cjs +1108 -437
- package/dist/index.node.js +1103 -432
- package/dist/types/generate-proof.d.ts +5 -3
- package/dist/types/hash.d.ts +1 -1
- package/dist/types/index.d.ts +1 -1
- package/dist/types/to-bigint.d.ts +2 -2
- package/dist/types/types/index.d.ts +2 -16
- package/package.json +11 -12
- package/src/generate-proof.ts +18 -17
- package/src/hash.ts +1 -1
- package/src/index.ts +1 -1
- package/src/to-bigint.ts +2 -2
- package/src/types/index.ts +2 -19
- package/src/verification-keys.json +928 -168
- package/src/verify-proof.ts +5 -11
- package/dist/types/get-snark-artifacts.browser.d.ts +0 -8
- package/dist/types/get-snark-artifacts.node.d.ts +0 -9
- package/src/get-snark-artifacts.browser.ts +0 -18
- package/src/get-snark-artifacts.node.ts +0 -59
|
@@ -32,133 +32,353 @@
|
|
|
32
32
|
"vk_delta_2": [
|
|
33
33
|
[
|
|
34
34
|
[
|
|
35
|
-
"
|
|
36
|
-
"
|
|
35
|
+
"13059836359816425778553975687206846338164409479984923255114294465523619970040",
|
|
36
|
+
"3494501265090266483323776427125076982570488036063792468650150218138148835293"
|
|
37
37
|
],
|
|
38
38
|
[
|
|
39
|
-
"
|
|
40
|
-
"
|
|
39
|
+
"18815265419617029498036243865004357229581831642357407445454759910979500165426",
|
|
40
|
+
"15151249351679674757179857367151108866106292017800258580857323337349056252481"
|
|
41
41
|
],
|
|
42
42
|
["1", "0"]
|
|
43
43
|
],
|
|
44
44
|
[
|
|
45
45
|
[
|
|
46
|
-
"
|
|
47
|
-
"
|
|
46
|
+
"21284355201064049515013725567964698308458995747497567769096321545369178267664",
|
|
47
|
+
"13532761187117457776267167491166240112603073699238075603358405884195273308130"
|
|
48
48
|
],
|
|
49
49
|
[
|
|
50
|
-
"
|
|
51
|
-
"
|
|
50
|
+
"13755025500407841928271808574327563222159647895255773830113509677575485710439",
|
|
51
|
+
"14708709266814413125869923160757837040371326884025433917243343433022571511137"
|
|
52
52
|
],
|
|
53
53
|
["1", "0"]
|
|
54
54
|
],
|
|
55
55
|
[
|
|
56
56
|
[
|
|
57
|
-
"
|
|
58
|
-
"
|
|
57
|
+
"16786097788016607790742808610154813235622999962925024769202024012743068916317",
|
|
58
|
+
"16288589209448575059850904513787407047800601393647902754951819632644221425590"
|
|
59
59
|
],
|
|
60
60
|
[
|
|
61
|
-
"
|
|
62
|
-
"
|
|
61
|
+
"19054287618327819080244377924220084730619755297417179223777968789329427435290",
|
|
62
|
+
"11802625068933862043088882453234658125803235172103758441218874440784454679433"
|
|
63
63
|
],
|
|
64
64
|
["1", "0"]
|
|
65
65
|
],
|
|
66
66
|
[
|
|
67
67
|
[
|
|
68
|
-
"
|
|
69
|
-
"
|
|
68
|
+
"2467775821309410353298170614346797970620091442818193435415958276311437053860",
|
|
69
|
+
"6754034540226318773202391358963433276871786953717809855694353846932854329785"
|
|
70
70
|
],
|
|
71
71
|
[
|
|
72
|
-
"
|
|
73
|
-
"
|
|
72
|
+
"11900626424250849274937718621509251345343138630887182003298279365567651532774",
|
|
73
|
+
"3795882684032276797539296527637960192876033451771193231958863625204108357841"
|
|
74
74
|
],
|
|
75
75
|
["1", "0"]
|
|
76
76
|
],
|
|
77
77
|
[
|
|
78
78
|
[
|
|
79
|
-
"
|
|
80
|
-
"
|
|
79
|
+
"12933614295322559340061757843860755814119074678469087137971477853826215320477",
|
|
80
|
+
"17333116859502962840043101407562668240640230466282480836955810105410227775068"
|
|
81
81
|
],
|
|
82
82
|
[
|
|
83
|
-
"
|
|
84
|
-
"
|
|
83
|
+
"7294988186022326345519392644681725286083380252049244042196946627153179228896",
|
|
84
|
+
"16047936521695868738870018107292105532713465015164559404074987652783597045737"
|
|
85
85
|
],
|
|
86
86
|
["1", "0"]
|
|
87
87
|
],
|
|
88
88
|
[
|
|
89
89
|
[
|
|
90
|
-
"
|
|
91
|
-
"
|
|
90
|
+
"13605330538883882809690822917231786498790079369748019502396183248967388405806",
|
|
91
|
+
"15568762761287080334123901982501029099057449591979709935902691107711749249022"
|
|
92
92
|
],
|
|
93
93
|
[
|
|
94
|
-
"
|
|
95
|
-
"
|
|
94
|
+
"663727981727505127530084497770681234757756087785765426261978801707046251460",
|
|
95
|
+
"4557473062770366777369570006933550632897701110895009604852123748934703573598"
|
|
96
96
|
],
|
|
97
97
|
["1", "0"]
|
|
98
98
|
],
|
|
99
99
|
[
|
|
100
100
|
[
|
|
101
|
-
"
|
|
102
|
-
"
|
|
101
|
+
"5537576101367227927432290079717223894972087264645714861714512123692630233528",
|
|
102
|
+
"19054688611757691116083119485406638328516261425570134055761099438916542083510"
|
|
103
103
|
],
|
|
104
104
|
[
|
|
105
|
-
"
|
|
106
|
-
"
|
|
105
|
+
"8586836112195763056179953883229406431968181502947295115552125062679854083702",
|
|
106
|
+
"6979029193706864774816090585159218044225824044811622589489754672108831626492"
|
|
107
107
|
],
|
|
108
108
|
["1", "0"]
|
|
109
109
|
],
|
|
110
110
|
[
|
|
111
111
|
[
|
|
112
|
-
"
|
|
113
|
-
"
|
|
112
|
+
"15652564582439405385221211230207905588664570626471430290387353913847742289423",
|
|
113
|
+
"19578851418759832732932704168311617005093075745056434533146726479017829863318"
|
|
114
114
|
],
|
|
115
115
|
[
|
|
116
|
-
"
|
|
117
|
-
"
|
|
116
|
+
"14106834159967458301881233489789009851186059673153032928358078463768578862295",
|
|
117
|
+
"16643936505220289641562675739145660599904253967999119934999861447807565341362"
|
|
118
118
|
],
|
|
119
119
|
["1", "0"]
|
|
120
120
|
],
|
|
121
121
|
[
|
|
122
122
|
[
|
|
123
|
-
"
|
|
124
|
-
"
|
|
123
|
+
"9848634919654176463577373224145330482034525085313091961003436980620107331892",
|
|
124
|
+
"1685688713043683238718199465856766482066511448257730427497355513493739531611"
|
|
125
125
|
],
|
|
126
126
|
[
|
|
127
|
-
"
|
|
128
|
-
"
|
|
127
|
+
"13480350431152755858527378560944736211973688467090758274688486468999380580617",
|
|
128
|
+
"18196877315995240142437674253225787667859373842602255491217815157552464034485"
|
|
129
129
|
],
|
|
130
130
|
["1", "0"]
|
|
131
131
|
],
|
|
132
132
|
[
|
|
133
133
|
[
|
|
134
|
-
"
|
|
135
|
-
"
|
|
134
|
+
"12236736981369574728236515244179429788162438563725746867632140895351148551552",
|
|
135
|
+
"21786356007381173571659640827279042005211499352757309589075661822822184336792"
|
|
136
136
|
],
|
|
137
137
|
[
|
|
138
|
-
"
|
|
139
|
-
"
|
|
138
|
+
"19080091339088228168648496513310089433965291972445393982881627786426476832461",
|
|
139
|
+
"10863564205627431677272082241703292907572336123388414891152924237169726048989"
|
|
140
140
|
],
|
|
141
141
|
["1", "0"]
|
|
142
142
|
],
|
|
143
143
|
[
|
|
144
144
|
[
|
|
145
|
-
"
|
|
146
|
-
"
|
|
145
|
+
"18087906293812032247545697502040580639160189604135547745784396926653417233054",
|
|
146
|
+
"10309025318092075922877899889998376514894538129513157785184221239491816007275"
|
|
147
147
|
],
|
|
148
148
|
[
|
|
149
|
-
"
|
|
150
|
-
"
|
|
149
|
+
"184008375360758173891663157848136305080059410478051745043500682115967930421",
|
|
150
|
+
"13762379406944901802406147105406409563171519837674920666882385732457367565067"
|
|
151
151
|
],
|
|
152
152
|
["1", "0"]
|
|
153
153
|
],
|
|
154
154
|
[
|
|
155
155
|
[
|
|
156
|
-
"
|
|
157
|
-
"
|
|
156
|
+
"13069258073213826018511225623792777048865648697927965549278238995976541682378",
|
|
157
|
+
"1756370075610000391065900031440928534228372460166358020032744967867009404739"
|
|
158
158
|
],
|
|
159
159
|
[
|
|
160
|
-
"
|
|
161
|
-
"
|
|
160
|
+
"9140577809263846446846557996533548785843500894717723604305025713383218414559",
|
|
161
|
+
"7782751275919236901187777136923054830643484083829974136976698114515315637057"
|
|
162
|
+
],
|
|
163
|
+
["1", "0"]
|
|
164
|
+
],
|
|
165
|
+
[
|
|
166
|
+
[
|
|
167
|
+
"4288116053201917097935075684000732434752594062540657362132573163825118214678",
|
|
168
|
+
"2013822349576539187255170167791292904450945890590676031546564364203578428335"
|
|
169
|
+
],
|
|
170
|
+
[
|
|
171
|
+
"21859395070840197113042028262962323095719784329051140880224965059514424348831",
|
|
172
|
+
"8077112032513125799331495973006800784299892868940747570902318145444056767128"
|
|
173
|
+
],
|
|
174
|
+
["1", "0"]
|
|
175
|
+
],
|
|
176
|
+
[
|
|
177
|
+
[
|
|
178
|
+
"19016912455127243850008892664785684778896975209193735443658242892839245034020",
|
|
179
|
+
"20175815417917544319876056782814914933529560976800336038485418111883227853782"
|
|
180
|
+
],
|
|
181
|
+
[
|
|
182
|
+
"1733299003416816864259549315192082251876301168870557296608277844652111933728",
|
|
183
|
+
"16407892224237245445759181057634763320099880121738727631152800143921701752766"
|
|
184
|
+
],
|
|
185
|
+
["1", "0"]
|
|
186
|
+
],
|
|
187
|
+
[
|
|
188
|
+
[
|
|
189
|
+
"6459673724557348935705566417966034360840940513046631280825724658596691372236",
|
|
190
|
+
"11732104488418080835742848495999449390672991477162489659934147182999672535901"
|
|
191
|
+
],
|
|
192
|
+
[
|
|
193
|
+
"4646055529276583783430546562443788975802459143056296894781022758410365840191",
|
|
194
|
+
"6029012855434716453595719715412319477813852483210244923240854148622030700333"
|
|
195
|
+
],
|
|
196
|
+
["1", "0"]
|
|
197
|
+
],
|
|
198
|
+
[
|
|
199
|
+
[
|
|
200
|
+
"18119791555976875181530385865721092494224184674421992280086192965672251542369",
|
|
201
|
+
"10984413251461965647935549809134853212592257018647144589799535518309030045652"
|
|
202
|
+
],
|
|
203
|
+
[
|
|
204
|
+
"7130566849274623382593449799430907546738108731698918345554426216822781939144",
|
|
205
|
+
"9145503195549781954670301741558506961167250692965330519317415426822517754673"
|
|
206
|
+
],
|
|
207
|
+
["1", "0"]
|
|
208
|
+
],
|
|
209
|
+
[
|
|
210
|
+
[
|
|
211
|
+
"20130681839683286699999162868559569892047546290445540680321104858780927447891",
|
|
212
|
+
"13720910810322640236241345084228368577289121108674469591653285046643807920592"
|
|
213
|
+
],
|
|
214
|
+
[
|
|
215
|
+
"19975766244574254201679709416326566199725210321908005962311647177117814001433",
|
|
216
|
+
"19384575604207898920571405644263255260754982283494527106631330593535635397279"
|
|
217
|
+
],
|
|
218
|
+
["1", "0"]
|
|
219
|
+
],
|
|
220
|
+
[
|
|
221
|
+
[
|
|
222
|
+
"9443203291481021710901029750383878696924345181407701672283832773787973929357",
|
|
223
|
+
"3623654015087414721623407943467672461002500175886362625657458770102123762131"
|
|
224
|
+
],
|
|
225
|
+
[
|
|
226
|
+
"20783980223895248302225054295761481013954415663729096577932141772215407111525",
|
|
227
|
+
"10936780876916181422574139993481684366447129939437423271868090426234211011172"
|
|
228
|
+
],
|
|
229
|
+
["1", "0"]
|
|
230
|
+
],
|
|
231
|
+
[
|
|
232
|
+
[
|
|
233
|
+
"9354292212142814677109747486323108648096936042340817605919210179321989308917",
|
|
234
|
+
"2691056408064763934730579100312307365419695285915108108510025624053099691059"
|
|
235
|
+
],
|
|
236
|
+
[
|
|
237
|
+
"6884402260223763449545988617300286545815739386455462315027606685140336580267",
|
|
238
|
+
"20671296014916566316534621652773273840585037550883195749265386216295483140229"
|
|
239
|
+
],
|
|
240
|
+
["1", "0"]
|
|
241
|
+
],
|
|
242
|
+
[
|
|
243
|
+
[
|
|
244
|
+
"18234746072930724806231995798390096761122848034387635694143726587529010836110",
|
|
245
|
+
"3068590229007175726652350825575975480933564242399453586465825082294647475860"
|
|
246
|
+
],
|
|
247
|
+
[
|
|
248
|
+
"20400009938273944278780991216131489368203720208632049864993233212641381825170",
|
|
249
|
+
"1919684949146675959680323349314941369203574019150554584779991024393742280845"
|
|
250
|
+
],
|
|
251
|
+
["1", "0"]
|
|
252
|
+
],
|
|
253
|
+
[
|
|
254
|
+
[
|
|
255
|
+
"2774371060614150609505152344392883392716265245943510628736114293073040141197",
|
|
256
|
+
"8447854758365235234650174914302032784976268667989384822851416849728373375962"
|
|
257
|
+
],
|
|
258
|
+
[
|
|
259
|
+
"7186617426186972817855986804168941432350281910461206569148058741387131498151",
|
|
260
|
+
"3015263507065482193204789265551006236425156693888783715997203837690906201829"
|
|
261
|
+
],
|
|
262
|
+
["1", "0"]
|
|
263
|
+
],
|
|
264
|
+
[
|
|
265
|
+
[
|
|
266
|
+
"8966253575788130771852727739125896841145906149133271403123431077749138822231",
|
|
267
|
+
"4840070530275546035801699608444700918579228818207171384987643157345263587158"
|
|
268
|
+
],
|
|
269
|
+
[
|
|
270
|
+
"9962709838557371377047621521224985762013252610725145923403828793639693121455",
|
|
271
|
+
"2601469036026438601891277833343663261084005848061139271388586828809996187097"
|
|
272
|
+
],
|
|
273
|
+
["1", "0"]
|
|
274
|
+
],
|
|
275
|
+
[
|
|
276
|
+
[
|
|
277
|
+
"5094820268025857505363635119835975858756772232205804973699906431827658031964",
|
|
278
|
+
"10518236799651118399986483301765863768027777545669908907880159551621810126849"
|
|
279
|
+
],
|
|
280
|
+
[
|
|
281
|
+
"11572692692867396499761538666196116586305865304015349724077332249273828973395",
|
|
282
|
+
"20859555010758118604073361508744352301840967631704468041131681426037983213002"
|
|
283
|
+
],
|
|
284
|
+
["1", "0"]
|
|
285
|
+
],
|
|
286
|
+
[
|
|
287
|
+
[
|
|
288
|
+
"19629232294794264734516475644320504923384252747453171010407820919121492093097",
|
|
289
|
+
"11661383417324806615558394659220516610247089928376070440522188291505784724873"
|
|
290
|
+
],
|
|
291
|
+
[
|
|
292
|
+
"8350002947339764206858601679633707444815132923435432091284098864968718952059",
|
|
293
|
+
"14618693275952711587232205373188572480239428452313785044400368360917578177396"
|
|
294
|
+
],
|
|
295
|
+
["1", "0"]
|
|
296
|
+
],
|
|
297
|
+
[
|
|
298
|
+
[
|
|
299
|
+
"12950215329375055291643630373560741963997558430433168794073218970044384415372",
|
|
300
|
+
"5174537185495146345702880156705283203902425396197383898540057654655066753579"
|
|
301
|
+
],
|
|
302
|
+
[
|
|
303
|
+
"4431630864873466361387108635543958095498731270116355616225197767733734128861",
|
|
304
|
+
"18440638825319565738488991729556785679573678682023564191514526390075411141690"
|
|
305
|
+
],
|
|
306
|
+
["1", "0"]
|
|
307
|
+
],
|
|
308
|
+
[
|
|
309
|
+
[
|
|
310
|
+
"5801648383242377039158295944236326894031930402176012010819307534933038347985",
|
|
311
|
+
"8179214450876128189786889463050502216503192251068580710356475166830402701708"
|
|
312
|
+
],
|
|
313
|
+
[
|
|
314
|
+
"19870706029300681613622543188539567928777315763585981640693685194301201982407",
|
|
315
|
+
"4693973538356763613860391593814220138320073026815959512078454125381217645788"
|
|
316
|
+
],
|
|
317
|
+
["1", "0"]
|
|
318
|
+
],
|
|
319
|
+
[
|
|
320
|
+
[
|
|
321
|
+
"2064976285344404756281594929698931000697669900063301194291518290834961490240",
|
|
322
|
+
"20277284114925687078224763520355726939257825143391929434570333974997434560805"
|
|
323
|
+
],
|
|
324
|
+
[
|
|
325
|
+
"15643195784077230042834999110691483687428735466231422370142767293471863700387",
|
|
326
|
+
"7222144325382158947774651546068992150829509045485292683383357637997517326148"
|
|
327
|
+
],
|
|
328
|
+
["1", "0"]
|
|
329
|
+
],
|
|
330
|
+
[
|
|
331
|
+
[
|
|
332
|
+
"17975202799537991792439304164891754483380324452259562307747422259512624823212",
|
|
333
|
+
"5477988853386650384703921094948844062358006867640221757094709122931664258074"
|
|
334
|
+
],
|
|
335
|
+
[
|
|
336
|
+
"11185225860338384901020382557488674560018020486665010314728105461398537090194",
|
|
337
|
+
"13848136879177885045281819032248904935976168943919823007775235047173993770157"
|
|
338
|
+
],
|
|
339
|
+
["1", "0"]
|
|
340
|
+
],
|
|
341
|
+
[
|
|
342
|
+
[
|
|
343
|
+
"14471888142065071281382782958750780204583311859320300053251117611975834609601",
|
|
344
|
+
"21436730469129810957180793723899276883659861043977115336277237822651402972650"
|
|
345
|
+
],
|
|
346
|
+
[
|
|
347
|
+
"12134671815483061401460971926351313472095768998015505567590046606262972345606",
|
|
348
|
+
"12182522103530455236540896653238430557347694672470208631350018699627212167843"
|
|
349
|
+
],
|
|
350
|
+
["1", "0"]
|
|
351
|
+
],
|
|
352
|
+
[
|
|
353
|
+
[
|
|
354
|
+
"13908385405190960757317970925252036009769791894761756953363068981012257735159",
|
|
355
|
+
"5443396004119553565732772035623066322784594051319016117482037304612664713531"
|
|
356
|
+
],
|
|
357
|
+
[
|
|
358
|
+
"7952693491971973340290086005063781112666070579182591177579397309500032398151",
|
|
359
|
+
"2222951903387607415437785840368382110522618780807171086914436920475598995149"
|
|
360
|
+
],
|
|
361
|
+
["1", "0"]
|
|
362
|
+
],
|
|
363
|
+
[
|
|
364
|
+
[
|
|
365
|
+
"7839940132195146952355178362620770241816809643056324587040019650105609048932",
|
|
366
|
+
"1773488589187652791865678688444883762637006202264973733401143478796059566247"
|
|
367
|
+
],
|
|
368
|
+
[
|
|
369
|
+
"14809325803961768849764967899586584580664329200871180582417984535228799191623",
|
|
370
|
+
"5994728489052927149244186850512435646422353844489887091765127572037304975403"
|
|
371
|
+
],
|
|
372
|
+
["1", "0"]
|
|
373
|
+
],
|
|
374
|
+
[
|
|
375
|
+
[
|
|
376
|
+
"12512046153695559034086723653253082259198022071585962475345129380985810571529",
|
|
377
|
+
"16305074860092225839285572393658030116082973338409399324682327571791603645660"
|
|
378
|
+
],
|
|
379
|
+
[
|
|
380
|
+
"3474997222527127765405001531284334239342007770926956394825252881969982209496",
|
|
381
|
+
"607599331353561746153970361104975756620522710317553470868937971490837920782"
|
|
162
382
|
],
|
|
163
383
|
["1", "0"]
|
|
164
384
|
]
|
|
@@ -196,325 +416,865 @@
|
|
|
196
416
|
"IC": [
|
|
197
417
|
[
|
|
198
418
|
[
|
|
199
|
-
"
|
|
200
|
-
"
|
|
419
|
+
"11373228439083951786763438874368468668602473169346848394664028118071804690004",
|
|
420
|
+
"2392728274936215006016716287711141290248196217507457308817981648956555973842",
|
|
421
|
+
"1"
|
|
422
|
+
],
|
|
423
|
+
[
|
|
424
|
+
"21165236263460891597139480651611604342552675916374159149811150532317922022637",
|
|
425
|
+
"2205889866435138776852640052657720558691248366998420655585799331913362910317",
|
|
426
|
+
"1"
|
|
427
|
+
],
|
|
428
|
+
[
|
|
429
|
+
"5142950424486523257531761394520431861723450305642839631787321698382624066484",
|
|
430
|
+
"15189409525440736600177098582380596261100810741418368942552492853472187151232",
|
|
431
|
+
"1"
|
|
432
|
+
],
|
|
433
|
+
[
|
|
434
|
+
"15166768161845773257369241904008805578918273462394677953758522994830670545180",
|
|
435
|
+
"11585842449811129847758954303386730558495513604993443241740010514431580852767",
|
|
436
|
+
"1"
|
|
437
|
+
],
|
|
438
|
+
[
|
|
439
|
+
"18309269743519286170259635930367379586611051469932392196263349325096833776404",
|
|
440
|
+
"5169422438906150387687192335052847822734742081564185146089879581734761329500",
|
|
441
|
+
"1"
|
|
442
|
+
]
|
|
443
|
+
],
|
|
444
|
+
[
|
|
445
|
+
[
|
|
446
|
+
"9858819933413872566321287453112479619079314892623028633956302548255682218967",
|
|
447
|
+
"8978980794620905465584214544974627507731009260328687273037813961789203643024",
|
|
448
|
+
"1"
|
|
449
|
+
],
|
|
450
|
+
[
|
|
451
|
+
"10076358326823042048333094257819800797834453359160913022846795563251044706095",
|
|
452
|
+
"19803968301016597767781555029004899114416563609613744105056144083718519453457",
|
|
453
|
+
"1"
|
|
454
|
+
],
|
|
455
|
+
[
|
|
456
|
+
"5163620256392555974431339018883081297271688900512864797552560460039668157036",
|
|
457
|
+
"14255936460639291949681319740874191007595598327244735898045668418052144766452",
|
|
458
|
+
"1"
|
|
459
|
+
],
|
|
460
|
+
[
|
|
461
|
+
"14537605621065916653836904827349546258169731169287489407049733321313440129043",
|
|
462
|
+
"13697104552179432948127977631695913762483329167428550338828664939969524379194",
|
|
463
|
+
"1"
|
|
464
|
+
],
|
|
465
|
+
[
|
|
466
|
+
"10518837188707767707511411972157042015637825295037224566646839468274503919246",
|
|
467
|
+
"20859740531774787409224706405964614133972994888613078458739440328759279998775",
|
|
468
|
+
"1"
|
|
469
|
+
]
|
|
470
|
+
],
|
|
471
|
+
[
|
|
472
|
+
[
|
|
473
|
+
"8295798606560676055262757451569098075661634806877203374010954805416034560369",
|
|
474
|
+
"17823033916327857017646050340986899797748134226556967395794361949180557598708",
|
|
475
|
+
"1"
|
|
476
|
+
],
|
|
477
|
+
[
|
|
478
|
+
"7863282428525672743372793899382505053760053469668593484933349016990801573594",
|
|
479
|
+
"18331488006684435728676028523354067877257617459721620528326034910754871664656",
|
|
480
|
+
"1"
|
|
481
|
+
],
|
|
482
|
+
[
|
|
483
|
+
"3208791308718324440134969236351379590643354353649811828887575168234009128404",
|
|
484
|
+
"10257765481441384707633559757593912517257134336953024015057545492286789467798",
|
|
485
|
+
"1"
|
|
486
|
+
],
|
|
487
|
+
[
|
|
488
|
+
"211202131360446365222702196868578991195656024430005775334667458570635430182",
|
|
489
|
+
"20847900408506094777967626429608261593000174750467914924458433091857566381170",
|
|
490
|
+
"1"
|
|
491
|
+
],
|
|
492
|
+
[
|
|
493
|
+
"12874163201492094577931796006056258188942453406826318262453514614280169978298",
|
|
494
|
+
"6030254908603478785612749007917517401778254879153565233016575793713168729906",
|
|
495
|
+
"1"
|
|
496
|
+
]
|
|
497
|
+
],
|
|
498
|
+
[
|
|
499
|
+
[
|
|
500
|
+
"5698226291009392212509456603087660757167892215070748391710298686451794945150",
|
|
501
|
+
"6157973895099184288402315817801807399850034827661856468278605062696847353498",
|
|
502
|
+
"1"
|
|
503
|
+
],
|
|
504
|
+
[
|
|
505
|
+
"15141526076642728649535042926649597908183234939224775055067110611584500129001",
|
|
506
|
+
"4384760212321739848884344304193577499977798066111221580475869690599633722806",
|
|
507
|
+
"1"
|
|
508
|
+
],
|
|
509
|
+
[
|
|
510
|
+
"4172483707996304656828832165635673373391709578552982633845732115764569616109",
|
|
511
|
+
"18703118242791177268087540217341214701751955061868356627779317654228486952499",
|
|
512
|
+
"1"
|
|
513
|
+
],
|
|
514
|
+
[
|
|
515
|
+
"19450300041750343627209216069867232901980973906626832440586455706765725761024",
|
|
516
|
+
"16059746288175455494980620176090534670137960271693908437020084988051972211964",
|
|
517
|
+
"1"
|
|
518
|
+
],
|
|
519
|
+
[
|
|
520
|
+
"20545976615820429183066000767405817531114365884543728191728740956241774393365",
|
|
521
|
+
"441682222632036954103668474012025602234972690129065917741930205184363335774",
|
|
522
|
+
"1"
|
|
523
|
+
]
|
|
524
|
+
],
|
|
525
|
+
[
|
|
526
|
+
[
|
|
527
|
+
"5694780594861626040122686431862072023944220266576706715410778734338641503716",
|
|
528
|
+
"8712472904136893949123536631603982882802768648960668490262215595304129180625",
|
|
529
|
+
"1"
|
|
530
|
+
],
|
|
531
|
+
[
|
|
532
|
+
"1995786476093573828491499692373505173525336583145392096683467783999902548268",
|
|
533
|
+
"4926925836258627177637371690839427994092983220113811290959738100072290144384",
|
|
534
|
+
"1"
|
|
535
|
+
],
|
|
536
|
+
[
|
|
537
|
+
"3791559722445528845247206264702403543222196830021730221796818130566106209767",
|
|
538
|
+
"18417761581887733852915376127193234657558128442956795523445623750943914605716",
|
|
539
|
+
"1"
|
|
540
|
+
],
|
|
541
|
+
[
|
|
542
|
+
"6559711611059474660788123194641390228396298237139470196512451543415077405796",
|
|
543
|
+
"10546964127996233691569839986330212916129646278460480030759233831657936468012",
|
|
544
|
+
"1"
|
|
545
|
+
],
|
|
546
|
+
[
|
|
547
|
+
"19639002331873293572459373894235941550278985499149213248754356208213460657162",
|
|
548
|
+
"16617740711303077578250556582154106231075844388484693766277639059298286987625",
|
|
549
|
+
"1"
|
|
550
|
+
]
|
|
551
|
+
],
|
|
552
|
+
[
|
|
553
|
+
[
|
|
554
|
+
"10137887164821194167739010222610234245229180897989876335252633099720202939025",
|
|
555
|
+
"13556557929447859629157159796541922173969485671491640178139584889369979056605",
|
|
556
|
+
"1"
|
|
557
|
+
],
|
|
558
|
+
[
|
|
559
|
+
"18001826336416230108554083436980932740049468855770464827475781769090259294957",
|
|
560
|
+
"10997751199060512644156045915284269336171252742084691214654620601348632057908",
|
|
561
|
+
"1"
|
|
562
|
+
],
|
|
563
|
+
[
|
|
564
|
+
"79913969765597476108932900497715672182891152853885723893501837676479334643",
|
|
565
|
+
"5339064100797178384601587097901074769415731437415874905101259438574150065725",
|
|
566
|
+
"1"
|
|
567
|
+
],
|
|
568
|
+
[
|
|
569
|
+
"11790468783349396195257730524002236946005794800506042451697489501177528985869",
|
|
570
|
+
"2058745275642252757008568790584694831559296102476273845301514491747777902",
|
|
571
|
+
"1"
|
|
572
|
+
],
|
|
573
|
+
[
|
|
574
|
+
"8569838436054970055409792695113682207394942064434307728493565465575383738014",
|
|
575
|
+
"13183322615830117090366962414504200812495447396240587506161350006490578304105",
|
|
576
|
+
"1"
|
|
577
|
+
]
|
|
578
|
+
],
|
|
579
|
+
[
|
|
580
|
+
[
|
|
581
|
+
"3610567344582501189941093515503625764015617358100951789070992465620388014770",
|
|
582
|
+
"10092557495034796324189431780067983533486688638792444215776822879681822814418",
|
|
583
|
+
"1"
|
|
584
|
+
],
|
|
585
|
+
[
|
|
586
|
+
"1266136239205073111432095590744834423814511894190159459963868637184138842722",
|
|
587
|
+
"11374864676654295041142699893206238903356920702572230940823052344171478284171",
|
|
588
|
+
"1"
|
|
589
|
+
],
|
|
590
|
+
[
|
|
591
|
+
"7496182320409371534981231046400216671163346135425875811178408606577271153492",
|
|
592
|
+
"1462528704706444827904493040179558039394825924259061934534583958249261959624",
|
|
593
|
+
"1"
|
|
594
|
+
],
|
|
595
|
+
[
|
|
596
|
+
"16141406653410498360525438265360373701532563198050057601030953589813051750690",
|
|
597
|
+
"14018180053857919258735952789533727227462568550710713906158448711665296451356",
|
|
598
|
+
"1"
|
|
599
|
+
],
|
|
600
|
+
[
|
|
601
|
+
"511374127838749625770334668647416912569313578777284750605965725458096929607",
|
|
602
|
+
"17635169227434142694714979150654436187903738366738972509867831826867283825221",
|
|
603
|
+
"1"
|
|
604
|
+
]
|
|
605
|
+
],
|
|
606
|
+
[
|
|
607
|
+
[
|
|
608
|
+
"10971489037448711908698715978943908500318707562175731815741960924655210840831",
|
|
609
|
+
"6006427343343794957952233726619963086279381477900155964075102505701412817059",
|
|
610
|
+
"1"
|
|
611
|
+
],
|
|
612
|
+
[
|
|
613
|
+
"15106747726469907788692287944434907296109850836405367650663267344226048690859",
|
|
614
|
+
"20492702082677255463093066854699770210633096845859381878102473765397334244292",
|
|
615
|
+
"1"
|
|
616
|
+
],
|
|
617
|
+
[
|
|
618
|
+
"20017671604137050517701389289600332952924272776091967565221423262198791114477",
|
|
619
|
+
"19092277823744726322414075820335182617528620489612060910384627313255069537857",
|
|
620
|
+
"1"
|
|
621
|
+
],
|
|
622
|
+
[
|
|
623
|
+
"521420364975417235554366424369539937652264103736140177007376087084617840969",
|
|
624
|
+
"3996914661098703435279657116324643068485300222550651293916442007463647760470",
|
|
625
|
+
"1"
|
|
626
|
+
],
|
|
627
|
+
[
|
|
628
|
+
"4679024209278631191232555253447082923762821738851347894762954616029136450469",
|
|
629
|
+
"8497347026541846312098745702841179850966624542794907236048342704145659678775",
|
|
630
|
+
"1"
|
|
631
|
+
]
|
|
632
|
+
],
|
|
633
|
+
[
|
|
634
|
+
[
|
|
635
|
+
"6504013699913689711099075581237522738280971836923813934562267069952131008789",
|
|
636
|
+
"9335304366750096675257996749136859439347731736177301019673263812644758419624",
|
|
637
|
+
"1"
|
|
638
|
+
],
|
|
639
|
+
[
|
|
640
|
+
"18674691980838913091347677991332234920479452203295602521958600357998616141596",
|
|
641
|
+
"4741568400157063102689633599777211724821079787176561142252991434247861983373",
|
|
642
|
+
"1"
|
|
643
|
+
],
|
|
644
|
+
[
|
|
645
|
+
"6081240166901015395566231760209678592881994305266889564610929100038948121840",
|
|
646
|
+
"6726099338457783260423971895907643672217936148382337363967495541886267184664",
|
|
647
|
+
"1"
|
|
648
|
+
],
|
|
649
|
+
[
|
|
650
|
+
"1518231630037540558074208692256894068220282655237665440528391362801123567400",
|
|
651
|
+
"6814959623000862963349418000763326032812413890585599160227546882616685479781",
|
|
652
|
+
"1"
|
|
653
|
+
],
|
|
654
|
+
[
|
|
655
|
+
"17691964860627566514162469663546469998385191762053312278765810284413361692706",
|
|
656
|
+
"8886638770454932775046812264172460584356331780532116653693013498914944507850",
|
|
657
|
+
"1"
|
|
658
|
+
]
|
|
659
|
+
],
|
|
660
|
+
[
|
|
661
|
+
[
|
|
662
|
+
"6051337981942268387146348592741777699916830790184591013400952407193740242722",
|
|
663
|
+
"14813309083853385461981331205467429689964041093530055551198131882311452944165",
|
|
664
|
+
"1"
|
|
665
|
+
],
|
|
666
|
+
[
|
|
667
|
+
"13243916879266487104491184915617833718034439141755271499342847081003561471291",
|
|
668
|
+
"20559308417239116672012110806712907520758637467837138402161111223933628840592",
|
|
669
|
+
"1"
|
|
670
|
+
],
|
|
671
|
+
[
|
|
672
|
+
"19581439469161095403630005805154174170687505024117879919441181595776240034092",
|
|
673
|
+
"17149923765379212333833055145767060687040557826663126725983709990821216291941",
|
|
674
|
+
"1"
|
|
675
|
+
],
|
|
676
|
+
[
|
|
677
|
+
"8848229792169763857187638630433883807573443546037902935946980878173551942434",
|
|
678
|
+
"9076584903972238461379608530218901607367189390010139393438137978954314962294",
|
|
679
|
+
"1"
|
|
680
|
+
],
|
|
681
|
+
[
|
|
682
|
+
"2838594782505936821949168913265923356032509180068328675364337511551145041706",
|
|
683
|
+
"12082207822506113008552336146445599677710895859529470992436917935385155760011",
|
|
684
|
+
"1"
|
|
685
|
+
]
|
|
686
|
+
],
|
|
687
|
+
[
|
|
688
|
+
[
|
|
689
|
+
"7221075042299165070640763584725863160347647659704278782330562384672809305162",
|
|
690
|
+
"13601198331885563117630840819920283945716376381432043240564878006092148603574",
|
|
691
|
+
"1"
|
|
692
|
+
],
|
|
693
|
+
[
|
|
694
|
+
"17966363662480886855360210401838893312981368660270687414500495451106355682632",
|
|
695
|
+
"9255647376958236127578779968319205385670535134228597865566167852255941456992",
|
|
696
|
+
"1"
|
|
697
|
+
],
|
|
698
|
+
[
|
|
699
|
+
"8203959912436866237932353632392355578980349384400645301966843912631449233592",
|
|
700
|
+
"20011411139499301504584228175724552542130947288854633651397978547089429982167",
|
|
701
|
+
"1"
|
|
702
|
+
],
|
|
703
|
+
[
|
|
704
|
+
"1820524505387064465309460998360793499775868154592043137422833944836520606454",
|
|
705
|
+
"1959603910351136409471920269505238383870634384371099582856753558856496902512",
|
|
706
|
+
"1"
|
|
707
|
+
],
|
|
708
|
+
[
|
|
709
|
+
"4198694051360120490653446337443734423586650228488283685090646499268901675490",
|
|
710
|
+
"21526524841382152147992421724785801038770676270240714297859552516739773492697",
|
|
711
|
+
"1"
|
|
712
|
+
]
|
|
713
|
+
],
|
|
714
|
+
[
|
|
715
|
+
[
|
|
716
|
+
"11332498437023113295175458390938230450212523402749978995184951126111215368275",
|
|
717
|
+
"7016084735586326731105326496042171157633237979413962565940384222454876829020",
|
|
718
|
+
"1"
|
|
719
|
+
],
|
|
720
|
+
[
|
|
721
|
+
"5013383022618445727921740844767853050438275291216971327851792785650669011741",
|
|
722
|
+
"528618354489883480125467549183593651465882051681270315858578353218107644734",
|
|
723
|
+
"1"
|
|
724
|
+
],
|
|
725
|
+
[
|
|
726
|
+
"6932115924239435517832880685428272633342271017032662880345701095160428372300",
|
|
727
|
+
"5520601709801507363146277496110244143378961419982733100311341395981490633588",
|
|
728
|
+
"1"
|
|
729
|
+
],
|
|
730
|
+
[
|
|
731
|
+
"434079293392651414251114604226309649137438107252197032381696615267775897288",
|
|
732
|
+
"18623332313653972273799518879682220458729835518812577091590130632605360081933",
|
|
733
|
+
"1"
|
|
734
|
+
],
|
|
735
|
+
[
|
|
736
|
+
"16981203870828204556408891045732712151034600645789784935821356391746701607849",
|
|
737
|
+
"10839961472824284602079430847341654099878245597092020402049973455392611362164",
|
|
738
|
+
"1"
|
|
739
|
+
]
|
|
740
|
+
],
|
|
741
|
+
[
|
|
742
|
+
[
|
|
743
|
+
"10532694937633872732615221785339191399998813277853598590284977223084586265406",
|
|
744
|
+
"18569891906743239236657790847950300608514739578359676359176841830736581922673",
|
|
745
|
+
"1"
|
|
746
|
+
],
|
|
747
|
+
[
|
|
748
|
+
"5204330292569275288250153279775499240677764904182920564782936399035494759139",
|
|
749
|
+
"14869136923170104943599081137392440247136712268832152014557322866069417673392",
|
|
750
|
+
"1"
|
|
751
|
+
],
|
|
752
|
+
[
|
|
753
|
+
"16609139756845639786750046885223171804867949172280450359139781662901766868597",
|
|
754
|
+
"7367747621397764356413880321758620580129087430671669202576071458908338963767",
|
|
755
|
+
"1"
|
|
756
|
+
],
|
|
757
|
+
[
|
|
758
|
+
"18157171842959734937470210968648189999811759058976098804831380331978049484161",
|
|
759
|
+
"14612065821098816890897211924691530301447930045836897440401478111363414764157",
|
|
760
|
+
"1"
|
|
761
|
+
],
|
|
762
|
+
[
|
|
763
|
+
"3678851330338811698871212394774190592148694554830208940152772420325429207592",
|
|
764
|
+
"1261073646471879421850354957670569129175034189935008550219832398890385831603",
|
|
765
|
+
"1"
|
|
766
|
+
]
|
|
767
|
+
],
|
|
768
|
+
[
|
|
769
|
+
[
|
|
770
|
+
"18128060449612109642142496525936963279825759724692188014181733764391545826501",
|
|
771
|
+
"6412545369924963430376339636555328095118045874871394681127600419621347748574",
|
|
772
|
+
"1"
|
|
773
|
+
],
|
|
774
|
+
[
|
|
775
|
+
"9178419128141821432265215706509797566711681420667049266964463482093364121974",
|
|
776
|
+
"12757958736224258162889762688354106158996770313065275427510212926355720788806",
|
|
777
|
+
"1"
|
|
778
|
+
],
|
|
779
|
+
[
|
|
780
|
+
"21697843782274732041256438596018216848529426578597975296740068185709056950695",
|
|
781
|
+
"9641329027897013830146943496858364657344657408442613002988204006109548012670",
|
|
782
|
+
"1"
|
|
783
|
+
],
|
|
784
|
+
[
|
|
785
|
+
"10157462635214395067310714425532743819094195406756516970796212542533337329791",
|
|
786
|
+
"6756552332702121619038049584093175387814338143922613739401669728656840170909",
|
|
787
|
+
"1"
|
|
788
|
+
],
|
|
789
|
+
[
|
|
790
|
+
"9276003791014657516094759987195269349958840151064358512535335441437526577719",
|
|
791
|
+
"17177335596130235736675313878734353760926293469390853206840228086544227127243",
|
|
792
|
+
"1"
|
|
793
|
+
]
|
|
794
|
+
],
|
|
795
|
+
[
|
|
796
|
+
[
|
|
797
|
+
"4691701433964504850819405353426875432448611177084640879664399563684106977201",
|
|
798
|
+
"6997026109056305304958456212770850719737661180940807196442278723629505898836",
|
|
799
|
+
"1"
|
|
800
|
+
],
|
|
801
|
+
[
|
|
802
|
+
"21862540916562048400075167198394269266629631981308358022452061330955535980535",
|
|
803
|
+
"20203136947717696850833432049217389834551585785220431602620838951128875924332",
|
|
804
|
+
"1"
|
|
805
|
+
],
|
|
806
|
+
[
|
|
807
|
+
"6166688558584392552732686802822787347815166465668907688252438119180905848686",
|
|
808
|
+
"1515830657197384709067854833370847128665474205967014377229527531272518040510",
|
|
809
|
+
"1"
|
|
810
|
+
],
|
|
811
|
+
[
|
|
812
|
+
"9783110166666159719262248155776421656845594701278593694743917659000214566949",
|
|
813
|
+
"14498343612651837182986000137068086166435021811504906980633109697812438152688",
|
|
814
|
+
"1"
|
|
815
|
+
],
|
|
816
|
+
[
|
|
817
|
+
"7451534988011232583608528483663880320228268776552285912767998924492654022315",
|
|
818
|
+
"14389118774297616531519885127100101489071211382178872997387065906551438715617",
|
|
819
|
+
"1"
|
|
820
|
+
]
|
|
821
|
+
],
|
|
822
|
+
[
|
|
823
|
+
[
|
|
824
|
+
"17586200399272141670685001491641162521294196727236050999778548238215046166017",
|
|
825
|
+
"281329337697491075931159352771449215426528517554332825727307529327678211850",
|
|
826
|
+
"1"
|
|
827
|
+
],
|
|
828
|
+
[
|
|
829
|
+
"13587768455979634277266588196077051473493752291227370910424884771755142551393",
|
|
830
|
+
"12132714832736811067697324782216133875324337588127071061942622831539088199516",
|
|
831
|
+
"1"
|
|
832
|
+
],
|
|
833
|
+
[
|
|
834
|
+
"5424242637034241045316293106740200282134858230716641545833281265555664814058",
|
|
835
|
+
"4099977807866045222441365441679488428090978308192769063472099506097446172444",
|
|
836
|
+
"1"
|
|
837
|
+
],
|
|
838
|
+
[
|
|
839
|
+
"20991094374514370732056452708323057419772785522538068181419368097559064487764",
|
|
840
|
+
"17494034245166301533444525935585362973100718889755879021217726039762737332309",
|
|
841
|
+
"1"
|
|
842
|
+
],
|
|
843
|
+
[
|
|
844
|
+
"21513377844056886482755561165035200163740875639723610667981589251852648290497",
|
|
845
|
+
"9065101624205101464784359744884631484276281653365096468139033730232168384170",
|
|
846
|
+
"1"
|
|
847
|
+
]
|
|
848
|
+
],
|
|
849
|
+
[
|
|
850
|
+
[
|
|
851
|
+
"20984349344022619370458450579312578055808523135369866643465670885076660164806",
|
|
852
|
+
"418264638272070574199167297855020670696708537402223370097894154915338824856",
|
|
853
|
+
"1"
|
|
854
|
+
],
|
|
855
|
+
[
|
|
856
|
+
"21427513166561351336822904548010728579322568176247623689193394481261310743729",
|
|
857
|
+
"17218242846472515735641714187716984107651753683015981795233490838798663005098",
|
|
858
|
+
"1"
|
|
859
|
+
],
|
|
860
|
+
[
|
|
861
|
+
"21103921212558832170255972733170723908475938955264614598038505509464559335152",
|
|
862
|
+
"10402439116707708662126524824676626448483957064152280120730850351913612702748",
|
|
863
|
+
"1"
|
|
864
|
+
],
|
|
865
|
+
[
|
|
866
|
+
"17902409153345924357919108278878752639341210912451068626743802458423268435162",
|
|
867
|
+
"17156991212231172773517848502387153524430619870630373199856683436943875771004",
|
|
868
|
+
"1"
|
|
869
|
+
],
|
|
870
|
+
[
|
|
871
|
+
"10646416238055467241386416360395574804199761155307993872061057698215892822922",
|
|
872
|
+
"9567771666871218298332873263950533751702773388778384953522740303362056866931",
|
|
873
|
+
"1"
|
|
874
|
+
]
|
|
875
|
+
],
|
|
876
|
+
[
|
|
877
|
+
[
|
|
878
|
+
"271501919920560807144690888833558109667061334163559001274202634455325808979",
|
|
879
|
+
"14794481401072540343622539363544947515055760970979041148841701973173121160867",
|
|
880
|
+
"1"
|
|
881
|
+
],
|
|
882
|
+
[
|
|
883
|
+
"16241413887148836912852878034655069636111245133456457252704664072852738020971",
|
|
884
|
+
"4616891037946851677520624578755099324972320662835976914889099357030429177473",
|
|
885
|
+
"1"
|
|
886
|
+
],
|
|
887
|
+
[
|
|
888
|
+
"3608927726708508538381205233592212299638621918906539441231152707366248326730",
|
|
889
|
+
"20453218571243012416227036764366636460616051978680116597236464784651135817662",
|
|
890
|
+
"1"
|
|
891
|
+
],
|
|
892
|
+
[
|
|
893
|
+
"21663166035926867176571290287267617498655213253914511123571589436615865760399",
|
|
894
|
+
"6820544505512911561421102139415733480016159315919965296282806777526762552747",
|
|
895
|
+
"1"
|
|
896
|
+
],
|
|
897
|
+
[
|
|
898
|
+
"1241495087165602740391581058509323079765010896996258108944819093246488858318",
|
|
899
|
+
"8124857698166498408579282540958166224847900470279217858870563626568969324640",
|
|
900
|
+
"1"
|
|
901
|
+
]
|
|
902
|
+
],
|
|
903
|
+
[
|
|
904
|
+
[
|
|
905
|
+
"12006824962639473646619675695320713559632292589665720351249509600690404062910",
|
|
906
|
+
"13276706600670868735848192943347104623934461144298261448190397129714774342173",
|
|
907
|
+
"1"
|
|
908
|
+
],
|
|
909
|
+
[
|
|
910
|
+
"18264760419082021650494509547780257751527429714087988777838583561869870161497",
|
|
911
|
+
"16206621246021864196868319303736926716510401444517967423381020552156354105325",
|
|
912
|
+
"1"
|
|
913
|
+
],
|
|
914
|
+
[
|
|
915
|
+
"1711726122386296242553570383485323505029934793448519517467561601648909492476",
|
|
916
|
+
"424608816752490157168394436055547341686841853472229245627510525503910492101",
|
|
917
|
+
"1"
|
|
918
|
+
],
|
|
919
|
+
[
|
|
920
|
+
"15415617655332841541287596609058338190575210759281068404604554729079985521497",
|
|
921
|
+
"18478290351885872204755929772605378173281926792205081562405194750294909414375",
|
|
922
|
+
"1"
|
|
923
|
+
],
|
|
924
|
+
[
|
|
925
|
+
"1332104917854036528393448566746555920300729960761914526841432630705030394652",
|
|
926
|
+
"4875500610885916981959937005615629475085341806101091219174051361012752723259",
|
|
927
|
+
"1"
|
|
928
|
+
]
|
|
929
|
+
],
|
|
930
|
+
[
|
|
931
|
+
[
|
|
932
|
+
"1105636691459466684354861615642532458695547504319491829198944901848354002466",
|
|
933
|
+
"12426506081436950451531584361567271522327297423292681691257507245865800741808",
|
|
934
|
+
"1"
|
|
935
|
+
],
|
|
936
|
+
[
|
|
937
|
+
"21744454903360799020170340278186587365704908765309976031542813238813825084489",
|
|
938
|
+
"11372248299010487313898881702904101518095247949018830132141430386679279269802",
|
|
939
|
+
"1"
|
|
940
|
+
],
|
|
941
|
+
[
|
|
942
|
+
"21355163712164844869530150285034119671090568151924216195709912115114996041497",
|
|
943
|
+
"5914269246724008463378274526282819036767424774567321843447592335886063108576",
|
|
944
|
+
"1"
|
|
945
|
+
],
|
|
946
|
+
[
|
|
947
|
+
"11757178117438262829005662514573037965023628709384135799022098340275235227691",
|
|
948
|
+
"12324099857879926506512664547633107100872133202763933183968148074461422444945",
|
|
949
|
+
"1"
|
|
950
|
+
],
|
|
951
|
+
[
|
|
952
|
+
"19030167447913285073203707487614824348154933215474799593455300093917690498309",
|
|
953
|
+
"10756138991756861027792433599825283466492898786698456971350016301834120358130",
|
|
954
|
+
"1"
|
|
955
|
+
]
|
|
956
|
+
],
|
|
957
|
+
[
|
|
958
|
+
[
|
|
959
|
+
"5818698629865247565077962768609742022241069606093835632689725123770908238374",
|
|
960
|
+
"10032230959981143208283946841992758493223859540652919348005062379046462012203",
|
|
201
961
|
"1"
|
|
202
962
|
],
|
|
203
963
|
[
|
|
204
|
-
"
|
|
205
|
-
"
|
|
964
|
+
"11522228664628777947230879504212386210128576797203829606594158165912469543023",
|
|
965
|
+
"13272285677937114294437486001063514791939240537126238704993220742500063989359",
|
|
206
966
|
"1"
|
|
207
967
|
],
|
|
208
968
|
[
|
|
209
|
-
"
|
|
210
|
-
"
|
|
969
|
+
"8471655692275117723910962427858752915984310638982095612617085072826817856111",
|
|
970
|
+
"4389133967757502017802977428616053155133503096651056259096018766643340643444",
|
|
211
971
|
"1"
|
|
212
972
|
],
|
|
213
973
|
[
|
|
214
|
-
"
|
|
215
|
-
"
|
|
974
|
+
"14833683426056097377459837308704611274315245609945506612281500340707955071545",
|
|
975
|
+
"21735047966739217600224642583481593664121921255631091231639049365846545339271",
|
|
216
976
|
"1"
|
|
217
977
|
],
|
|
218
978
|
[
|
|
219
|
-
"
|
|
220
|
-
"
|
|
979
|
+
"7278464060898751306868720821317869528105334779561787036194323452374165351865",
|
|
980
|
+
"6039871164511288641970658426390882746101314533737081850970345002118723705339",
|
|
221
981
|
"1"
|
|
222
982
|
]
|
|
223
983
|
],
|
|
224
984
|
[
|
|
225
985
|
[
|
|
226
|
-
"
|
|
227
|
-
"
|
|
986
|
+
"3562081668776383619644089086241623016377051210290983257053604147762967187048",
|
|
987
|
+
"4553365292908760204444921066083280974740968313355524357160308575327815731986",
|
|
228
988
|
"1"
|
|
229
989
|
],
|
|
230
990
|
[
|
|
231
|
-
"
|
|
232
|
-
"
|
|
991
|
+
"9612674806513362915023578944934656419542782185316845654919222232866782079973",
|
|
992
|
+
"2856039308549766546769489569358317466998141815061340660074603482372423614916",
|
|
233
993
|
"1"
|
|
234
994
|
],
|
|
235
995
|
[
|
|
236
|
-
"
|
|
237
|
-
"
|
|
996
|
+
"17144423089194150938664044057037571466137059216126551322826296560818480520188",
|
|
997
|
+
"7777587218396926909905079292812226413674978129026320051535300425275288555883",
|
|
238
998
|
"1"
|
|
239
999
|
],
|
|
240
1000
|
[
|
|
241
|
-
"
|
|
242
|
-
"
|
|
1001
|
+
"13348600530906896077492067999286804922009589548263122827764204432718850414877",
|
|
1002
|
+
"3504452333162729816257605356258771813994176063517472700088677353335099652978",
|
|
243
1003
|
"1"
|
|
244
1004
|
],
|
|
245
1005
|
[
|
|
246
|
-
"
|
|
247
|
-
"
|
|
1006
|
+
"9271993074172346116417190887626439840621996383820554885726881799780298924983",
|
|
1007
|
+
"19415901227000992567609415633317148788461729474913900357094507534384428975572",
|
|
248
1008
|
"1"
|
|
249
1009
|
]
|
|
250
1010
|
],
|
|
251
1011
|
[
|
|
252
1012
|
[
|
|
253
|
-
"
|
|
254
|
-
"
|
|
1013
|
+
"7693170882539863875701602528545342311434468852163389086171388853464572270633",
|
|
1014
|
+
"3908303967241020812745991584454294385640133430208468916543029049706292930305",
|
|
255
1015
|
"1"
|
|
256
1016
|
],
|
|
257
1017
|
[
|
|
258
|
-
"
|
|
259
|
-
"
|
|
1018
|
+
"14200361022064175872846252914915938901018673724842857113422899538373627654493",
|
|
1019
|
+
"1887985090111673428008310095306101841985601166058324952496388205310462613383",
|
|
260
1020
|
"1"
|
|
261
1021
|
],
|
|
262
1022
|
[
|
|
263
|
-
"
|
|
264
|
-
"
|
|
1023
|
+
"11573157656525163647952907768764423420183350046483835223957092582860133547451",
|
|
1024
|
+
"9173604865670358445639146193904526160076171763657483567287015999631297551260",
|
|
265
1025
|
"1"
|
|
266
1026
|
],
|
|
267
1027
|
[
|
|
268
|
-
"
|
|
269
|
-
"
|
|
1028
|
+
"8178722693917751358075016256308930447648179998714325218415150487090497217243",
|
|
1029
|
+
"16479808796736995387921450370830080669813035631409450618705788666753274143975",
|
|
270
1030
|
"1"
|
|
271
1031
|
],
|
|
272
1032
|
[
|
|
273
|
-
"
|
|
274
|
-
"
|
|
1033
|
+
"20533543720941262967922843401527010251494136604304116450329194230919992456714",
|
|
1034
|
+
"21738708027542248258448002258354036928076950567990414271901435012481250510866",
|
|
275
1035
|
"1"
|
|
276
1036
|
]
|
|
277
1037
|
],
|
|
278
1038
|
[
|
|
279
1039
|
[
|
|
280
|
-
"
|
|
281
|
-
"
|
|
1040
|
+
"705729203963801077445366659807159942042515811344776106038944684242779323077",
|
|
1041
|
+
"8198640129213076396347058165827729949570109420499123900233622693161948493955",
|
|
282
1042
|
"1"
|
|
283
1043
|
],
|
|
284
1044
|
[
|
|
285
|
-
"
|
|
286
|
-
"
|
|
1045
|
+
"17567949859381263201697894705370978555666635560577878390586549308344241574720",
|
|
1046
|
+
"16953629262080155066207979848352607491010984453917718285923448228568338552102",
|
|
287
1047
|
"1"
|
|
288
1048
|
],
|
|
289
1049
|
[
|
|
290
|
-
"
|
|
291
|
-
"
|
|
1050
|
+
"16571340903058171078202337397668804978258511905425857983395617262853832093164",
|
|
1051
|
+
"8200869898550007995855767338315600003217265793696813934354774140864404387075",
|
|
292
1052
|
"1"
|
|
293
1053
|
],
|
|
294
1054
|
[
|
|
295
|
-
"
|
|
296
|
-
"
|
|
1055
|
+
"19245130308508431368191001431651810775716975255435369252757393063712397235401",
|
|
1056
|
+
"19295429264588775090334360243373041256684104838925789132682844828445374541241",
|
|
297
1057
|
"1"
|
|
298
1058
|
],
|
|
299
1059
|
[
|
|
300
|
-
"
|
|
301
|
-
"
|
|
1060
|
+
"8244640034562580123950327146088236084020067479873470678893810764954021793820",
|
|
1061
|
+
"6071779329882466654134795663117452253106971568263743258793999061311754781283",
|
|
302
1062
|
"1"
|
|
303
1063
|
]
|
|
304
1064
|
],
|
|
305
1065
|
[
|
|
306
1066
|
[
|
|
307
|
-
"
|
|
308
|
-
"
|
|
1067
|
+
"12211353780794522017482442205152184029453185156252615419956272689806996867522",
|
|
1068
|
+
"11858951133579915446931127734829983281450719684822534749146423795831786572024",
|
|
309
1069
|
"1"
|
|
310
1070
|
],
|
|
311
1071
|
[
|
|
312
|
-
"
|
|
313
|
-
"
|
|
1072
|
+
"18699083494838544659449334875917956720534604312394484877250282743052866694",
|
|
1073
|
+
"749778821409550859537528691118971534871459292764959826137658158363222566834",
|
|
314
1074
|
"1"
|
|
315
1075
|
],
|
|
316
1076
|
[
|
|
317
|
-
"
|
|
318
|
-
"
|
|
1077
|
+
"2909597392070263345393422292436111503720531353687130181723707126400751447693",
|
|
1078
|
+
"12217177777420376281128847110380606163261839348068116179245513037333903388087",
|
|
319
1079
|
"1"
|
|
320
1080
|
],
|
|
321
1081
|
[
|
|
322
|
-
"
|
|
323
|
-
"
|
|
1082
|
+
"6920254660239140919505113388774145966103232605095540610909080767264160069300",
|
|
1083
|
+
"9696367212878183305057911542364374139977595200010754215085255727487778572962",
|
|
324
1084
|
"1"
|
|
325
1085
|
],
|
|
326
1086
|
[
|
|
327
|
-
"
|
|
328
|
-
"
|
|
1087
|
+
"14968323162826489282828176469636555044919206060463682988985750923782404039777",
|
|
1088
|
+
"11757071201913114247059598621424329188966752420483410843397919162379753756933",
|
|
329
1089
|
"1"
|
|
330
1090
|
]
|
|
331
1091
|
],
|
|
332
1092
|
[
|
|
333
1093
|
[
|
|
334
|
-
"
|
|
335
|
-
"
|
|
1094
|
+
"13128279467779141267539556181844646897000953259054467200148815485804849945589",
|
|
1095
|
+
"19182542610668848202527767345596590904881280203255613775118909904478382941801",
|
|
336
1096
|
"1"
|
|
337
1097
|
],
|
|
338
1098
|
[
|
|
339
|
-
"
|
|
340
|
-
"
|
|
1099
|
+
"12622787765544530515623619382100437898246101834816376149292007743211956407286",
|
|
1100
|
+
"12570391550772615838335361042568121892906867634448929202232001812492234390257",
|
|
341
1101
|
"1"
|
|
342
1102
|
],
|
|
343
1103
|
[
|
|
344
|
-
"
|
|
345
|
-
"
|
|
1104
|
+
"5735316164124731332271878247418185434228086026647700113833855177940542823181",
|
|
1105
|
+
"9649474108395394754402030685603045386825744478341882098839846461266003368756",
|
|
346
1106
|
"1"
|
|
347
1107
|
],
|
|
348
1108
|
[
|
|
349
|
-
"
|
|
350
|
-
"
|
|
1109
|
+
"16190069071551003451113144390700917484497316557096684922619605534369669949534",
|
|
1110
|
+
"10681321343942329435795471710031949263678373347092770298132700842902513672840",
|
|
351
1111
|
"1"
|
|
352
1112
|
],
|
|
353
1113
|
[
|
|
354
|
-
"
|
|
355
|
-
"
|
|
1114
|
+
"13863872929961730606993556753801300020729351590807975827100825368353540990573",
|
|
1115
|
+
"11931534405924761866343686993715271905704590108489876499851774273982957911423",
|
|
356
1116
|
"1"
|
|
357
1117
|
]
|
|
358
1118
|
],
|
|
359
1119
|
[
|
|
360
1120
|
[
|
|
361
|
-
"
|
|
362
|
-
"
|
|
1121
|
+
"454088003829163771011170852736324196796734198039551149147118112028488218145",
|
|
1122
|
+
"19539522144446103612355666512646927077463791742130426065863787086655625062176",
|
|
363
1123
|
"1"
|
|
364
1124
|
],
|
|
365
1125
|
[
|
|
366
|
-
"
|
|
367
|
-
"
|
|
1126
|
+
"9677517649080056520842169551325292586844311652869297540972831144430102239541",
|
|
1127
|
+
"12171721941568335982623293519100425613310698565606469058956892831634461540059",
|
|
368
1128
|
"1"
|
|
369
1129
|
],
|
|
370
1130
|
[
|
|
371
|
-
"
|
|
372
|
-
"
|
|
1131
|
+
"15037699242073552386046516617138931456404909452736126928849871092088157606104",
|
|
1132
|
+
"2403475304123870051310189713205959145472986292698418380091083485671020127630",
|
|
373
1133
|
"1"
|
|
374
1134
|
],
|
|
375
1135
|
[
|
|
376
|
-
"
|
|
377
|
-
"
|
|
1136
|
+
"127899593359332180821632671011918317356219506177015610133494845926153175595",
|
|
1137
|
+
"18684733307620435559282273679266280240730732702398400109727422417551972403102",
|
|
378
1138
|
"1"
|
|
379
1139
|
],
|
|
380
1140
|
[
|
|
381
|
-
"
|
|
382
|
-
"
|
|
1141
|
+
"17130978638728591547347686801647449269492555647218567636544356715497286682290",
|
|
1142
|
+
"14514080855160049012448903996874963632870196574887173768510902774625324658544",
|
|
383
1143
|
"1"
|
|
384
1144
|
]
|
|
385
1145
|
],
|
|
386
1146
|
[
|
|
387
1147
|
[
|
|
388
|
-
"
|
|
389
|
-
"
|
|
1148
|
+
"5855924544364003112712450030145237149424995112678688873039358008205969147611",
|
|
1149
|
+
"15570549396870292677660853760591267003520405786863190676970087082855555878636",
|
|
390
1150
|
"1"
|
|
391
1151
|
],
|
|
392
1152
|
[
|
|
393
|
-
"
|
|
394
|
-
"
|
|
1153
|
+
"14821240964410715386910463283745689087244285662861027299124772223732179089302",
|
|
1154
|
+
"15446473065604291444037235422131957717379131935322344411928007251149202158658",
|
|
395
1155
|
"1"
|
|
396
1156
|
],
|
|
397
1157
|
[
|
|
398
|
-
"
|
|
399
|
-
"
|
|
1158
|
+
"586582749011680966506460208877749670972200690716863059163322868400282852300",
|
|
1159
|
+
"6765443750336920009167305874738739551390685770965140484130502003990191861016",
|
|
400
1160
|
"1"
|
|
401
1161
|
],
|
|
402
1162
|
[
|
|
403
|
-
"
|
|
404
|
-
"
|
|
1163
|
+
"11516588183751421185156362409787679404091107770536300994982153030408504091807",
|
|
1164
|
+
"9422281521245157165519221572217222566067379888854607677340273485846988818889",
|
|
405
1165
|
"1"
|
|
406
1166
|
],
|
|
407
1167
|
[
|
|
408
|
-
"
|
|
409
|
-
"
|
|
1168
|
+
"11972785834549950434085949313031360662160524117252689786653411157712853588295",
|
|
1169
|
+
"1251548247225430075659521219630231228104532865302157324337575228144557232422",
|
|
410
1170
|
"1"
|
|
411
1171
|
]
|
|
412
1172
|
],
|
|
413
1173
|
[
|
|
414
1174
|
[
|
|
415
|
-
"
|
|
416
|
-
"
|
|
1175
|
+
"6083168185688688297667869638715177381772180226443830560342282797830104869062",
|
|
1176
|
+
"926194281246578915103720926341497520082595828680525575284123365838007044551",
|
|
417
1177
|
"1"
|
|
418
1178
|
],
|
|
419
1179
|
[
|
|
420
|
-
"
|
|
421
|
-
"
|
|
1180
|
+
"9409122852531801098754556536729028548924539102103420345160677794564194221020",
|
|
1181
|
+
"20542245913396046089533736519215869670909083018889617904362139603473474391693",
|
|
422
1182
|
"1"
|
|
423
1183
|
],
|
|
424
1184
|
[
|
|
425
|
-
"
|
|
426
|
-
"
|
|
1185
|
+
"16873198639240289433836743385124757917190871707428690095953534423420502659893",
|
|
1186
|
+
"6588241760722454601615602907791715854928448488066342428651422663075975107816",
|
|
427
1187
|
"1"
|
|
428
1188
|
],
|
|
429
1189
|
[
|
|
430
|
-
"
|
|
431
|
-
"
|
|
1190
|
+
"19842357292988471204463611705572234531158701273234975255676630503476698710155",
|
|
1191
|
+
"14693625717448698302951456188963654748379774732579848481403435079923870603157",
|
|
432
1192
|
"1"
|
|
433
1193
|
],
|
|
434
1194
|
[
|
|
435
|
-
"
|
|
436
|
-
"
|
|
1195
|
+
"20241432824683494982737262054148903653340519392174437358036298330854555784611",
|
|
1196
|
+
"5945081237575571782036580504962786649821981413555607621373828735238630355652",
|
|
437
1197
|
"1"
|
|
438
1198
|
]
|
|
439
1199
|
],
|
|
440
1200
|
[
|
|
441
1201
|
[
|
|
442
|
-
"
|
|
443
|
-
"
|
|
1202
|
+
"20768578042859563979294333002563065924476840206018011719077318477769915880402",
|
|
1203
|
+
"2001786654254515377677955109354751436919751171611935922531378122392365944293",
|
|
444
1204
|
"1"
|
|
445
1205
|
],
|
|
446
1206
|
[
|
|
447
|
-
"
|
|
448
|
-
"
|
|
1207
|
+
"2298051095199584549599791615579815921675635758326996304424561508720678758962",
|
|
1208
|
+
"15610877986863106190281569495837881819071964316157027243989237288310023404773",
|
|
449
1209
|
"1"
|
|
450
1210
|
],
|
|
451
1211
|
[
|
|
452
|
-
"
|
|
453
|
-
"
|
|
1212
|
+
"21503958051574416294837474683907975773972588915544597427974161349505807601206",
|
|
1213
|
+
"16176536100016079147853297185775543699660096471098091832015791823791903209774",
|
|
454
1214
|
"1"
|
|
455
1215
|
],
|
|
456
1216
|
[
|
|
457
|
-
"
|
|
458
|
-
"
|
|
1217
|
+
"3606739889472294515277184850587920470749374877850756839089044653095424769194",
|
|
1218
|
+
"14664144387169595605857061033949425545099119522415523292224065111113602111904",
|
|
459
1219
|
"1"
|
|
460
1220
|
],
|
|
461
1221
|
[
|
|
462
|
-
"
|
|
463
|
-
"
|
|
1222
|
+
"19699387660834749955063410769084991520255142011324093146157127237115274380578",
|
|
1223
|
+
"4331670811250121546993058308579590495468093227852181043972677680581964769228",
|
|
464
1224
|
"1"
|
|
465
1225
|
]
|
|
466
1226
|
],
|
|
467
1227
|
[
|
|
468
1228
|
[
|
|
469
|
-
"
|
|
470
|
-
"
|
|
1229
|
+
"10631178625335401501457304969878852001559776191683447428857609753454937038299",
|
|
1230
|
+
"11675745006421997275450756626998030285194831397590498324078767720340123952646",
|
|
471
1231
|
"1"
|
|
472
1232
|
],
|
|
473
1233
|
[
|
|
474
|
-
"
|
|
475
|
-
"
|
|
1234
|
+
"1759441622054752159360583922123536313476013806215300533220440946452846159126",
|
|
1235
|
+
"3059329356920789196856680267147718801714171797250645043538678427768342056591",
|
|
476
1236
|
"1"
|
|
477
1237
|
],
|
|
478
1238
|
[
|
|
479
|
-
"
|
|
480
|
-
"
|
|
1239
|
+
"1809413652255811383678263677090386586529134039718623375196604927184100692799",
|
|
1240
|
+
"7533217575609552382385270158875791232330359159976337796303987871112517604844",
|
|
481
1241
|
"1"
|
|
482
1242
|
],
|
|
483
1243
|
[
|
|
484
|
-
"
|
|
485
|
-
"
|
|
1244
|
+
"7704646641054955393597890923317433079643657350033170553840404545002600772539",
|
|
1245
|
+
"19522826015127415513569513500635678903639248861485847260009074714535026926155",
|
|
486
1246
|
"1"
|
|
487
1247
|
],
|
|
488
1248
|
[
|
|
489
|
-
"
|
|
490
|
-
"
|
|
1249
|
+
"9396801995941988552875859512580723873116085524385365053682345361229348266222",
|
|
1250
|
+
"8122885501816310710455960482459104382732335722838233409931476783790044860185",
|
|
491
1251
|
"1"
|
|
492
1252
|
]
|
|
493
1253
|
],
|
|
494
1254
|
[
|
|
495
1255
|
[
|
|
496
|
-
"
|
|
497
|
-
"
|
|
1256
|
+
"16304360708182088008313907877667665892976553429106710412375369419780233976442",
|
|
1257
|
+
"10460941404478613816427928998514834125407907547113907613807191273719986187223",
|
|
498
1258
|
"1"
|
|
499
1259
|
],
|
|
500
1260
|
[
|
|
501
|
-
"
|
|
502
|
-
"
|
|
1261
|
+
"20051043271541513424021087402997604909963063035826832503174487686321968961776",
|
|
1262
|
+
"13432165841378395910455231038520827433713426813680931204822379789609795102053",
|
|
503
1263
|
"1"
|
|
504
1264
|
],
|
|
505
1265
|
[
|
|
506
|
-
"
|
|
507
|
-
"
|
|
1266
|
+
"18762866968227660024720719389346562423430884054824643430326826128394380607310",
|
|
1267
|
+
"17713599719831815773421839749444223685540274101601039260510841144941870261910",
|
|
508
1268
|
"1"
|
|
509
1269
|
],
|
|
510
1270
|
[
|
|
511
|
-
"
|
|
512
|
-
"
|
|
1271
|
+
"1883157762896148563929088253054113240995256206097667755269496270918239318411",
|
|
1272
|
+
"10985354533025938485092599481185428202087973711120611094551172933738810516920",
|
|
513
1273
|
"1"
|
|
514
1274
|
],
|
|
515
1275
|
[
|
|
516
|
-
"
|
|
517
|
-
"
|
|
1276
|
+
"670487064764400248463858966885752477833093767820377805346079091001272760417",
|
|
1277
|
+
"8502840196732756246718058003393498205431869135787193347957619883686320532648",
|
|
518
1278
|
"1"
|
|
519
1279
|
]
|
|
520
1280
|
]
|