@lemmaoracle/seal 0.1.1
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 +123 -0
- package/circuits/scripts/build.sh +65 -0
- package/circuits/src/seal-identity.circom +65 -0
- package/dist/bits.d.ts +23 -0
- package/dist/bits.d.ts.map +1 -0
- package/dist/bits.js +38 -0
- package/dist/bits.js.map +1 -0
- package/dist/index.d.ts +21 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +20 -0
- package/dist/index.js.map +1 -0
- package/dist/proof.d.ts +30 -0
- package/dist/proof.d.ts.map +1 -0
- package/dist/proof.js +50 -0
- package/dist/proof.js.map +1 -0
- package/dist/types.d.ts +30 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +5 -0
- package/dist/types.js.map +1 -0
- package/dist/vkey.d.ts +10 -0
- package/dist/vkey.d.ts.map +1 -0
- package/dist/vkey.js +10 -0
- package/dist/vkey.js.map +1 -0
- package/dist/vkeys/seal-identity-v1.json +1374 -0
- package/package.json +54 -0
- package/scripts/setup-toolchain.sh +58 -0
|
@@ -0,0 +1,1374 @@
|
|
|
1
|
+
{
|
|
2
|
+
"protocol": "groth16",
|
|
3
|
+
"curve": "bn128",
|
|
4
|
+
"nPublic": 257,
|
|
5
|
+
"vk_alpha_1": [
|
|
6
|
+
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
|
|
7
|
+
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
|
|
8
|
+
"1"
|
|
9
|
+
],
|
|
10
|
+
"vk_beta_2": [
|
|
11
|
+
[
|
|
12
|
+
"6375614351688725206403948262868962793625744043794305715222011528459656738731",
|
|
13
|
+
"4252822878758300859123897981450591353533073413197771768651442665752259397132"
|
|
14
|
+
],
|
|
15
|
+
[
|
|
16
|
+
"10505242626370262277552901082094356697409835680220590971873171140371331206856",
|
|
17
|
+
"21847035105528745403288232691147584728191162732299865338377159692350059136679"
|
|
18
|
+
],
|
|
19
|
+
[
|
|
20
|
+
"1",
|
|
21
|
+
"0"
|
|
22
|
+
]
|
|
23
|
+
],
|
|
24
|
+
"vk_gamma_2": [
|
|
25
|
+
[
|
|
26
|
+
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
|
|
27
|
+
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
|
|
28
|
+
],
|
|
29
|
+
[
|
|
30
|
+
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
|
|
31
|
+
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
|
|
32
|
+
],
|
|
33
|
+
[
|
|
34
|
+
"1",
|
|
35
|
+
"0"
|
|
36
|
+
]
|
|
37
|
+
],
|
|
38
|
+
"vk_delta_2": [
|
|
39
|
+
[
|
|
40
|
+
"19193272182471264762434748980231591784590519182307207281504177758785973026180",
|
|
41
|
+
"2063192024223760891788273964511746950022865773050413827611633770862317654875"
|
|
42
|
+
],
|
|
43
|
+
[
|
|
44
|
+
"8019781637744188107816389764073667878971023654655609822288587838997310744133",
|
|
45
|
+
"19461202854297572700241884595875866317796239592687668187195707755057513062216"
|
|
46
|
+
],
|
|
47
|
+
[
|
|
48
|
+
"1",
|
|
49
|
+
"0"
|
|
50
|
+
]
|
|
51
|
+
],
|
|
52
|
+
"vk_alphabeta_12": [
|
|
53
|
+
[
|
|
54
|
+
[
|
|
55
|
+
"2029413683389138792403550203267699914886160938906632433982220835551125967885",
|
|
56
|
+
"21072700047562757817161031222997517981543347628379360635925549008442030252106"
|
|
57
|
+
],
|
|
58
|
+
[
|
|
59
|
+
"5940354580057074848093997050200682056184807770593307860589430076672439820312",
|
|
60
|
+
"12156638873931618554171829126792193045421052652279363021382169897324752428276"
|
|
61
|
+
],
|
|
62
|
+
[
|
|
63
|
+
"7898200236362823042373859371574133993780991612861777490112507062703164551277",
|
|
64
|
+
"7074218545237549455313236346927434013100842096812539264420499035217050630853"
|
|
65
|
+
]
|
|
66
|
+
],
|
|
67
|
+
[
|
|
68
|
+
[
|
|
69
|
+
"7077479683546002997211712695946002074877511277312570035766170199895071832130",
|
|
70
|
+
"10093483419865920389913245021038182291233451549023025229112148274109565435465"
|
|
71
|
+
],
|
|
72
|
+
[
|
|
73
|
+
"4595479056700221319381530156280926371456704509942304414423590385166031118820",
|
|
74
|
+
"19831328484489333784475432780421641293929726139240675179672856274388269393268"
|
|
75
|
+
],
|
|
76
|
+
[
|
|
77
|
+
"11934129596455521040620786944827826205713621633706285934057045369193958244500",
|
|
78
|
+
"8037395052364110730298837004334506829870972346962140206007064471173334027475"
|
|
79
|
+
]
|
|
80
|
+
]
|
|
81
|
+
],
|
|
82
|
+
"IC": [
|
|
83
|
+
[
|
|
84
|
+
"12131719629806434694720688165561322785568099053493360535065463248471639080226",
|
|
85
|
+
"14333287841035759204333700380662668627149781485550172236087716443710592663086",
|
|
86
|
+
"1"
|
|
87
|
+
],
|
|
88
|
+
[
|
|
89
|
+
"12797807024897208602845571695609286319227317802847890808354093982732455418856",
|
|
90
|
+
"2647008554290753082100615081829961637865048694824596847279168083605451684455",
|
|
91
|
+
"1"
|
|
92
|
+
],
|
|
93
|
+
[
|
|
94
|
+
"541532087974285926284211052088952493555802612092504941395784103752039078397",
|
|
95
|
+
"18250521721104579776346175253150417694095527011539260170825978152313240415284",
|
|
96
|
+
"1"
|
|
97
|
+
],
|
|
98
|
+
[
|
|
99
|
+
"4037576025251885407478906643794719074815180415326462336136824731932838063574",
|
|
100
|
+
"17466737101521417537518760811346856222132173984569410196106393753704281883497",
|
|
101
|
+
"1"
|
|
102
|
+
],
|
|
103
|
+
[
|
|
104
|
+
"15668508586568255279721760602797004835669791546020934286784766860865056446511",
|
|
105
|
+
"4956229623024289854555393322703264213989318803464915278909906489057342317346",
|
|
106
|
+
"1"
|
|
107
|
+
],
|
|
108
|
+
[
|
|
109
|
+
"14021540185397263387029575199547439612003090164597827430388030874498917198570",
|
|
110
|
+
"12981041290435437435924160753337808785797721590818685242712497486725124920351",
|
|
111
|
+
"1"
|
|
112
|
+
],
|
|
113
|
+
[
|
|
114
|
+
"8767219029607599010738935977348017204261813422902710297698988603811962383260",
|
|
115
|
+
"14503602685977539851439283322586531085673353044524863473995870682216866441988",
|
|
116
|
+
"1"
|
|
117
|
+
],
|
|
118
|
+
[
|
|
119
|
+
"5298616114887921395778890071124488458315311276596015458800034081720324726932",
|
|
120
|
+
"8560214351168367547831523594580805505583014127894796587953617620513187890544",
|
|
121
|
+
"1"
|
|
122
|
+
],
|
|
123
|
+
[
|
|
124
|
+
"11444721947955231049347708292868801727858063448003189303723749043393251744850",
|
|
125
|
+
"9158675504362763405102494277190132198779875155981284391727210267942576410913",
|
|
126
|
+
"1"
|
|
127
|
+
],
|
|
128
|
+
[
|
|
129
|
+
"14647980127583331627409582620715454189136450393498315231310598293458804544075",
|
|
130
|
+
"7253402386689880263851981153750120198289827711469675885021756686175811360456",
|
|
131
|
+
"1"
|
|
132
|
+
],
|
|
133
|
+
[
|
|
134
|
+
"18666635357419159884444310861935375824776397341144490654109970246323719651717",
|
|
135
|
+
"18519563251261828560510350402235607330734004083530833562624622239226246252296",
|
|
136
|
+
"1"
|
|
137
|
+
],
|
|
138
|
+
[
|
|
139
|
+
"9447875697685506179940963001212004000424411975068121970201502227252430357282",
|
|
140
|
+
"11434503364603315183876264553383055950311315319014730336114195619989469291494",
|
|
141
|
+
"1"
|
|
142
|
+
],
|
|
143
|
+
[
|
|
144
|
+
"7083972016491764797093194203244940667590827456870931231324740379437076925999",
|
|
145
|
+
"6683860686462473846473377434598546756677503114647135121951010787196516898497",
|
|
146
|
+
"1"
|
|
147
|
+
],
|
|
148
|
+
[
|
|
149
|
+
"634927127038099710019113707247382119981654656323397670213496788342326045845",
|
|
150
|
+
"1988966328120540421997323257526244425021781056264513763679065459706459453613",
|
|
151
|
+
"1"
|
|
152
|
+
],
|
|
153
|
+
[
|
|
154
|
+
"11371627297566512697432916948853596523902677638376086153474857034163976205954",
|
|
155
|
+
"11096636549527817131299489375067028685437278662485984157659967859419631073064",
|
|
156
|
+
"1"
|
|
157
|
+
],
|
|
158
|
+
[
|
|
159
|
+
"17486282485033137739555195634682192626088520037203999265762975283502682713933",
|
|
160
|
+
"15523028049808687241217795932957699545413658615209368557283286451173054579084",
|
|
161
|
+
"1"
|
|
162
|
+
],
|
|
163
|
+
[
|
|
164
|
+
"12347783169958234602771930716754037781283635235650560059763492875729193279124",
|
|
165
|
+
"8284017492629368790716301406525954950799135878459051476829731043382259874441",
|
|
166
|
+
"1"
|
|
167
|
+
],
|
|
168
|
+
[
|
|
169
|
+
"11410733182951376169010795040664435014710480254785230101371288467475826931659",
|
|
170
|
+
"15318346507980657244993696985898145482346085057063550739960585901815066706691",
|
|
171
|
+
"1"
|
|
172
|
+
],
|
|
173
|
+
[
|
|
174
|
+
"21134140557329307168472584975685403672449950773808766948706206307553878268895",
|
|
175
|
+
"16899709070600754264340030791065921367940920686008801436379803822938732188590",
|
|
176
|
+
"1"
|
|
177
|
+
],
|
|
178
|
+
[
|
|
179
|
+
"1449943011202089403528252391489858249027160202616231745802943162365344672686",
|
|
180
|
+
"13538749191454790802036641712281815695430288327632143548312934227662761297371",
|
|
181
|
+
"1"
|
|
182
|
+
],
|
|
183
|
+
[
|
|
184
|
+
"20696748329755240342101147310809311013615521794814163787549884738415652069325",
|
|
185
|
+
"20556684034580930734952068507749998788732699526162695798097889983752180992739",
|
|
186
|
+
"1"
|
|
187
|
+
],
|
|
188
|
+
[
|
|
189
|
+
"15398078634260847157792259516785756638082864184024640043937846789334106638267",
|
|
190
|
+
"8350142837305154381064585372510251328488754151945975849469740572129547245869",
|
|
191
|
+
"1"
|
|
192
|
+
],
|
|
193
|
+
[
|
|
194
|
+
"760249860347594122541664811048784797317146468510561775433489547537971083661",
|
|
195
|
+
"6551674873380509454186957585767717136162493330136527486169714295472969834574",
|
|
196
|
+
"1"
|
|
197
|
+
],
|
|
198
|
+
[
|
|
199
|
+
"17311869473835682388423835894401569159393788228964019892176721596375775790552",
|
|
200
|
+
"5553352684609832444614560439193363773098987243757200087782685684188828685854",
|
|
201
|
+
"1"
|
|
202
|
+
],
|
|
203
|
+
[
|
|
204
|
+
"14436657119997184212014946054689898212247982151751360153367757589543727640967",
|
|
205
|
+
"1106025343224170756563682517646035476501211678866787574880040522478350180204",
|
|
206
|
+
"1"
|
|
207
|
+
],
|
|
208
|
+
[
|
|
209
|
+
"21076140135180511543288133623582512392609358906192810181528303173084850383653",
|
|
210
|
+
"19231933619578251943700062988959368419967953025734373973635094315942789540374",
|
|
211
|
+
"1"
|
|
212
|
+
],
|
|
213
|
+
[
|
|
214
|
+
"6565144684840111212641454058039845334940709520563496026989356633542395027973",
|
|
215
|
+
"12907985680687575851081480968632408523195587186100156174819990724375751252519",
|
|
216
|
+
"1"
|
|
217
|
+
],
|
|
218
|
+
[
|
|
219
|
+
"4728446997384134313491621558130827009032119471074513863023489320939930961462",
|
|
220
|
+
"5499706916157042541346961493442353366648529288112539181486891415364308844788",
|
|
221
|
+
"1"
|
|
222
|
+
],
|
|
223
|
+
[
|
|
224
|
+
"17967438571457109577603271129890160626709361638472230388331606995196133737945",
|
|
225
|
+
"5694200750304894787634721160534271972643661154553249470645331016257725219806",
|
|
226
|
+
"1"
|
|
227
|
+
],
|
|
228
|
+
[
|
|
229
|
+
"6371368461420704443201134246125316022107045655937100736767936294396580162520",
|
|
230
|
+
"12556221859516402489146128716268122384309100679333224230785250356008416182685",
|
|
231
|
+
"1"
|
|
232
|
+
],
|
|
233
|
+
[
|
|
234
|
+
"13666922813493280609867678307305297447512475675608879937404660586601293232470",
|
|
235
|
+
"21377144922340672955509969890746204027971551964932136133279864299909082403934",
|
|
236
|
+
"1"
|
|
237
|
+
],
|
|
238
|
+
[
|
|
239
|
+
"19760460789286472557688977341297865784676694344615800440514277731502721389730",
|
|
240
|
+
"12928949047257078821506081840495563522379616394039980429664932858851832690589",
|
|
241
|
+
"1"
|
|
242
|
+
],
|
|
243
|
+
[
|
|
244
|
+
"4692457002079822469121695133840165846855178539333500096295355064327573420258",
|
|
245
|
+
"5096989716391239670070250447071704581682789918330080081637853803944969892773",
|
|
246
|
+
"1"
|
|
247
|
+
],
|
|
248
|
+
[
|
|
249
|
+
"7368369368686820686965214634547559265445335514241134988911392286053806223986",
|
|
250
|
+
"2685731560873069093460183076728261956701201459603360270694887372644372967307",
|
|
251
|
+
"1"
|
|
252
|
+
],
|
|
253
|
+
[
|
|
254
|
+
"4985974762153886411406649354567937314081555316271731314047663819892604873314",
|
|
255
|
+
"3263177943933887985034309613188146471174676064476258018748206964100796497488",
|
|
256
|
+
"1"
|
|
257
|
+
],
|
|
258
|
+
[
|
|
259
|
+
"12039371434258716288790481402503812578251221537191583291767900883038572205222",
|
|
260
|
+
"9820416399073441269742603448360841947382655456191743973337241018205766278925",
|
|
261
|
+
"1"
|
|
262
|
+
],
|
|
263
|
+
[
|
|
264
|
+
"12190697068941096797361430606316137528903692930405540868048031524496756781384",
|
|
265
|
+
"20881122648312935220188983164371031480246939448142200655584148453140691383625",
|
|
266
|
+
"1"
|
|
267
|
+
],
|
|
268
|
+
[
|
|
269
|
+
"1047201876192767294569754644754818122384591518718688345415325249007545425444",
|
|
270
|
+
"8812346354976301324618452199432341961116935565139111069991850260883501745452",
|
|
271
|
+
"1"
|
|
272
|
+
],
|
|
273
|
+
[
|
|
274
|
+
"20466222855983065520872281588331979110692918812057724562023739751021545036655",
|
|
275
|
+
"11185131271356115094988204987054061531561341431264016710475024613716580893680",
|
|
276
|
+
"1"
|
|
277
|
+
],
|
|
278
|
+
[
|
|
279
|
+
"9229870596279615753124773553755187995594019940780695259974783141731608497102",
|
|
280
|
+
"21196788586875916586165099208513826271054713321824017334188440019219603086768",
|
|
281
|
+
"1"
|
|
282
|
+
],
|
|
283
|
+
[
|
|
284
|
+
"15915185733364713008741459474392299555333126339448090573089109055919979713715",
|
|
285
|
+
"9727098773464092589127574920609471991209087394130805242494737329919367100767",
|
|
286
|
+
"1"
|
|
287
|
+
],
|
|
288
|
+
[
|
|
289
|
+
"13394182179223934211872070350596070840048288755329242889310327431243794188878",
|
|
290
|
+
"12575963988769711878887538481646034150857935924053441114414506606037490498586",
|
|
291
|
+
"1"
|
|
292
|
+
],
|
|
293
|
+
[
|
|
294
|
+
"16301817048725111302939769178579298283730351057396655374264805063666983942951",
|
|
295
|
+
"17484571067187193486701862159462820146765904601860920348807982081519890205917",
|
|
296
|
+
"1"
|
|
297
|
+
],
|
|
298
|
+
[
|
|
299
|
+
"3567231916373183508681403063429429157160337664355818006379784441220147561472",
|
|
300
|
+
"20909545794357659223659032824575366376246350311209195027679071070165142050257",
|
|
301
|
+
"1"
|
|
302
|
+
],
|
|
303
|
+
[
|
|
304
|
+
"13864529113980354404679885789292409953823714877732561472530962776822040760722",
|
|
305
|
+
"2703389355650766103081301648596392266899523210672955926360500634483167813545",
|
|
306
|
+
"1"
|
|
307
|
+
],
|
|
308
|
+
[
|
|
309
|
+
"3330991962773954574005772812067304030955472924641595179919319456010425985548",
|
|
310
|
+
"18717232726793857224851741122210665547069456696687491176155071725019063607830",
|
|
311
|
+
"1"
|
|
312
|
+
],
|
|
313
|
+
[
|
|
314
|
+
"14662373179652983149792535782255270808860973843488810050815587200998622092583",
|
|
315
|
+
"5511447399374293486050980766854915202200466337958056734644183757617990116977",
|
|
316
|
+
"1"
|
|
317
|
+
],
|
|
318
|
+
[
|
|
319
|
+
"2276021773044884017764356246978507206592048529313724087294629837849894440248",
|
|
320
|
+
"11145152143152493467416052801580071622716940315702622595463375768073912170408",
|
|
321
|
+
"1"
|
|
322
|
+
],
|
|
323
|
+
[
|
|
324
|
+
"5695308685479805610787917521513522988867185159367030833849990590888761052208",
|
|
325
|
+
"206473868658681084664160617008866361841406796363940520963447755834042967508",
|
|
326
|
+
"1"
|
|
327
|
+
],
|
|
328
|
+
[
|
|
329
|
+
"11184851237024903677116278354043321775527905600431742023132457041091020655832",
|
|
330
|
+
"5618129361663153477277423947175174756065409931991055093143134396118166672081",
|
|
331
|
+
"1"
|
|
332
|
+
],
|
|
333
|
+
[
|
|
334
|
+
"17830924297922939011693487268998776348768892351708477874230540652902146962713",
|
|
335
|
+
"17755885779639470573571755008099330299130634233576651389641874402497197733955",
|
|
336
|
+
"1"
|
|
337
|
+
],
|
|
338
|
+
[
|
|
339
|
+
"4847641993259224627069677213625000375532546685187124003317860904044490442174",
|
|
340
|
+
"11327928324843224914054969673352812755630990219930513421371186578650313584293",
|
|
341
|
+
"1"
|
|
342
|
+
],
|
|
343
|
+
[
|
|
344
|
+
"19992727849096949379364249482361459431871880046518913597122366283533858848730",
|
|
345
|
+
"8388056467738961844349830290470195668050770041873246808335581049878383716120",
|
|
346
|
+
"1"
|
|
347
|
+
],
|
|
348
|
+
[
|
|
349
|
+
"15004921747203637603487918103247684529665358348281002549878805516478145347869",
|
|
350
|
+
"21432462430023867172866152380732014519079830928635322580999167079791764980220",
|
|
351
|
+
"1"
|
|
352
|
+
],
|
|
353
|
+
[
|
|
354
|
+
"1538622357490177725194442789647107230517154820191224265868616919663077912351",
|
|
355
|
+
"19889107270541418102815157301883726842626186354855441724115896796346146786566",
|
|
356
|
+
"1"
|
|
357
|
+
],
|
|
358
|
+
[
|
|
359
|
+
"13158064942208002377692692715441856848104262861039877982926438730465976212889",
|
|
360
|
+
"8818019409576573470105387254128804639695857626252030536269378661913586352439",
|
|
361
|
+
"1"
|
|
362
|
+
],
|
|
363
|
+
[
|
|
364
|
+
"9205980069482069526028100872351676532711350364820370993313081560552590666501",
|
|
365
|
+
"1754539452315489942035463028293197527010245203501625381382861674787764146522",
|
|
366
|
+
"1"
|
|
367
|
+
],
|
|
368
|
+
[
|
|
369
|
+
"13686796695046783495675805601858819428103284621955849920446300638258900918217",
|
|
370
|
+
"5854370627279714268749322127846803495431971732338434754709552346592311042779",
|
|
371
|
+
"1"
|
|
372
|
+
],
|
|
373
|
+
[
|
|
374
|
+
"8020959067449391020584266550966765284280957209722783232143031512433292271260",
|
|
375
|
+
"11737045761904404382505497565720264829768460831694527964732348166183762342707",
|
|
376
|
+
"1"
|
|
377
|
+
],
|
|
378
|
+
[
|
|
379
|
+
"9515187016916037792135477389980498402937927952544149136447837232839467971397",
|
|
380
|
+
"1918895569035483171135209589067495125141080136507252371922421565470382042518",
|
|
381
|
+
"1"
|
|
382
|
+
],
|
|
383
|
+
[
|
|
384
|
+
"19620957956650212448352999921226002310651538806082436160319217665350718649859",
|
|
385
|
+
"10367608000975898918965828917112524152862975205455055720994660038475761441186",
|
|
386
|
+
"1"
|
|
387
|
+
],
|
|
388
|
+
[
|
|
389
|
+
"17431205161866914815509141274094841534812372184937111566453536345413371793808",
|
|
390
|
+
"21245214382102459591722242245780362912583325802179247097337032278507881785803",
|
|
391
|
+
"1"
|
|
392
|
+
],
|
|
393
|
+
[
|
|
394
|
+
"18542246357654725758544542712772206478843915470565147706996477805203658339383",
|
|
395
|
+
"2829665548369583207141649038475041505299001926659643926260931347012990464956",
|
|
396
|
+
"1"
|
|
397
|
+
],
|
|
398
|
+
[
|
|
399
|
+
"12477634445427289770977817696215138232969982694462538258627625047533560493741",
|
|
400
|
+
"235051495990101766172597655137484052219112092572829090196472594620466716909",
|
|
401
|
+
"1"
|
|
402
|
+
],
|
|
403
|
+
[
|
|
404
|
+
"5795828763971267426910572412869547943646432170437671825341154632148997088639",
|
|
405
|
+
"7283551343138628929047073671395578135063092915583185507068231993518125644332",
|
|
406
|
+
"1"
|
|
407
|
+
],
|
|
408
|
+
[
|
|
409
|
+
"10485447699060130725169072175398760307097196825503159319666353723650897574344",
|
|
410
|
+
"2498935824998132432028361281964562717194725774674912690039742286447579928321",
|
|
411
|
+
"1"
|
|
412
|
+
],
|
|
413
|
+
[
|
|
414
|
+
"10849107029665775477604748980572156781910386566180132275964592701059183995479",
|
|
415
|
+
"6980408137525628251178310921208464065502573660761910757748678987031365180105",
|
|
416
|
+
"1"
|
|
417
|
+
],
|
|
418
|
+
[
|
|
419
|
+
"14302019001644679000208441457989536327711064202275365034559691709543301904562",
|
|
420
|
+
"6609864895631248943627436220649869377169175753595580275675993954422423643797",
|
|
421
|
+
"1"
|
|
422
|
+
],
|
|
423
|
+
[
|
|
424
|
+
"9480100538149975297317566588639105645827913066389384191873345414509147346070",
|
|
425
|
+
"21476349592792229988238469775192409602537075485302951785475405342492087587575",
|
|
426
|
+
"1"
|
|
427
|
+
],
|
|
428
|
+
[
|
|
429
|
+
"8692063282671448855544034010251214271536025587412111716272558906938848421327",
|
|
430
|
+
"11434160698787748735326398908648658302362683264369958378944658119233544212717",
|
|
431
|
+
"1"
|
|
432
|
+
],
|
|
433
|
+
[
|
|
434
|
+
"16615899307912534445177520653632433554504568603907300397477088957464278255348",
|
|
435
|
+
"5149651763865419985160738495466299548472915245620580595303502092449262203764",
|
|
436
|
+
"1"
|
|
437
|
+
],
|
|
438
|
+
[
|
|
439
|
+
"19089307638140890533916143751611221068145567214756165825805089071522967773680",
|
|
440
|
+
"19179939921316442353416127680906330771260026129563587103155066031765571824000",
|
|
441
|
+
"1"
|
|
442
|
+
],
|
|
443
|
+
[
|
|
444
|
+
"1589498426632305473248536953797718263197135876909818969188360454975992204878",
|
|
445
|
+
"8139116696160106698320792039123750804750212889694049398048374207409328395905",
|
|
446
|
+
"1"
|
|
447
|
+
],
|
|
448
|
+
[
|
|
449
|
+
"8973967053166213479475472154883596843695242990839599903735152571658760255404",
|
|
450
|
+
"6711319238440665684765351030711309178072537187870473817257889121331785827174",
|
|
451
|
+
"1"
|
|
452
|
+
],
|
|
453
|
+
[
|
|
454
|
+
"7224425940483761520405843664468029353331318367050484501849256113493841626800",
|
|
455
|
+
"3579123999414893922470579290088157156796206285997968449295737197681600670146",
|
|
456
|
+
"1"
|
|
457
|
+
],
|
|
458
|
+
[
|
|
459
|
+
"1889021571264448854535935667339359229958730212686283345954095133303333743272",
|
|
460
|
+
"18359716585441227278414253530703607350289164430759540453034299540947220349038",
|
|
461
|
+
"1"
|
|
462
|
+
],
|
|
463
|
+
[
|
|
464
|
+
"12125535105298034880001906943656395479283759839655535238381953720008595471828",
|
|
465
|
+
"21778771251401216991029497757363205385293411601046618952497621355966740231856",
|
|
466
|
+
"1"
|
|
467
|
+
],
|
|
468
|
+
[
|
|
469
|
+
"9889956903783090804663561946213078853413438155808239034467079490145916691944",
|
|
470
|
+
"5247356892991342893838932009973946936490109099903972907858419301792340510879",
|
|
471
|
+
"1"
|
|
472
|
+
],
|
|
473
|
+
[
|
|
474
|
+
"4219947579762340285054647645984135294286305986224002997012736979167107412631",
|
|
475
|
+
"17919429183835532949669297994446537281368363736764699669752472666932807159867",
|
|
476
|
+
"1"
|
|
477
|
+
],
|
|
478
|
+
[
|
|
479
|
+
"15019305070225434812335257540299768221453561527548136839558699294624679906702",
|
|
480
|
+
"6375023330551672275213484927875201218749209611595311202118835789606890759522",
|
|
481
|
+
"1"
|
|
482
|
+
],
|
|
483
|
+
[
|
|
484
|
+
"17924409958983931591421772693479818397431474800544971434538157891411414806563",
|
|
485
|
+
"3609319006772923136352580693488094495723239555107436760842121958856433261840",
|
|
486
|
+
"1"
|
|
487
|
+
],
|
|
488
|
+
[
|
|
489
|
+
"12119681276906399282889915541082158501853588436830581415538566085424947995801",
|
|
490
|
+
"176618820994401028719029353817178162866710095972408497538893833851808030728",
|
|
491
|
+
"1"
|
|
492
|
+
],
|
|
493
|
+
[
|
|
494
|
+
"5311524043687811013904265213609551702006788561493187242259127516452960423840",
|
|
495
|
+
"21858474236942678991491600644531593331457630142073918983101997273529589066",
|
|
496
|
+
"1"
|
|
497
|
+
],
|
|
498
|
+
[
|
|
499
|
+
"14049934709093874556680531245821186658514639460857280989710938476994256222664",
|
|
500
|
+
"731601542864269736507587409337846722959438745875816691234549826121506789922",
|
|
501
|
+
"1"
|
|
502
|
+
],
|
|
503
|
+
[
|
|
504
|
+
"14163220128914786058229021031733091187992098497107223270068638179147003146019",
|
|
505
|
+
"10919514598763390766971136846866676348265562401865415920562019232087225494800",
|
|
506
|
+
"1"
|
|
507
|
+
],
|
|
508
|
+
[
|
|
509
|
+
"5792454506035200977670696902137678436520080974923818010569325033968673870694",
|
|
510
|
+
"13345879097795499557438276977152601462066905228565278822486348401733453785982",
|
|
511
|
+
"1"
|
|
512
|
+
],
|
|
513
|
+
[
|
|
514
|
+
"12878076543398271300877443365989464497218086634890306220766294324144780298921",
|
|
515
|
+
"17495652355214350194597707734027406776070266542771093055315305165362947261271",
|
|
516
|
+
"1"
|
|
517
|
+
],
|
|
518
|
+
[
|
|
519
|
+
"17234535296370781970401795923103590381292327150937617081869202258109255414102",
|
|
520
|
+
"15376807529027157762784311352883016696014807251490069493928909083656750671573",
|
|
521
|
+
"1"
|
|
522
|
+
],
|
|
523
|
+
[
|
|
524
|
+
"7471413165261919453683863603597358367582471491025211605771799560132832406697",
|
|
525
|
+
"7320897004809839916499937691702115364752142327197531733721161262819636604728",
|
|
526
|
+
"1"
|
|
527
|
+
],
|
|
528
|
+
[
|
|
529
|
+
"9610320334343214254399408459274613946975310191958777063202269080673256832582",
|
|
530
|
+
"7985889606647097650466101364500676228299873058848139787661953377430165847105",
|
|
531
|
+
"1"
|
|
532
|
+
],
|
|
533
|
+
[
|
|
534
|
+
"17630169771731013213423914109739778254605435879021322554715822996325289007992",
|
|
535
|
+
"19109847066970685015206720609925621516311385182899175438222322186837575458198",
|
|
536
|
+
"1"
|
|
537
|
+
],
|
|
538
|
+
[
|
|
539
|
+
"18606562508656781981592347250062891942890055799041086974139058191934275202120",
|
|
540
|
+
"7502441617253042826316549401441547309473389318398870804561507665889653563650",
|
|
541
|
+
"1"
|
|
542
|
+
],
|
|
543
|
+
[
|
|
544
|
+
"6850229963848899286713346815129397476536948401034401800435955168036572862662",
|
|
545
|
+
"754095138878965753762209389993964445124352067664489602662476325954622929467",
|
|
546
|
+
"1"
|
|
547
|
+
],
|
|
548
|
+
[
|
|
549
|
+
"11177887580307091038644727734477918000123580518608607891485118690794495841405",
|
|
550
|
+
"3933334776036825915637579582771758288374540850191186209901342029565307722567",
|
|
551
|
+
"1"
|
|
552
|
+
],
|
|
553
|
+
[
|
|
554
|
+
"20111828602044589460431744310909713832892490906428493455971519484178159042197",
|
|
555
|
+
"16047525995501656448656752185769681217285574138244362228858427931537684663812",
|
|
556
|
+
"1"
|
|
557
|
+
],
|
|
558
|
+
[
|
|
559
|
+
"6156912130854297130763489557915559265462334670309065607244158988807652272948",
|
|
560
|
+
"997761948404979523794457149698665117134984792087373720349604692042320033175",
|
|
561
|
+
"1"
|
|
562
|
+
],
|
|
563
|
+
[
|
|
564
|
+
"9874882148692191207641757610427778294188204043403736731047571280301322580687",
|
|
565
|
+
"4236898301219930207639582337637201560058434347198612416305013446764165550215",
|
|
566
|
+
"1"
|
|
567
|
+
],
|
|
568
|
+
[
|
|
569
|
+
"11336145748595455796357701462648799462016221309697065718207705462478940607267",
|
|
570
|
+
"3073465106144715981574241807189080357084420325333127673749894462164471907071",
|
|
571
|
+
"1"
|
|
572
|
+
],
|
|
573
|
+
[
|
|
574
|
+
"21578776052344607395195347271427974483090586186419101407784274970037483646653",
|
|
575
|
+
"1848322185173040146305001184256057326590098337443608726950184475663324381521",
|
|
576
|
+
"1"
|
|
577
|
+
],
|
|
578
|
+
[
|
|
579
|
+
"20571363689358627108221566200038834160931716410549303523818875493197215210630",
|
|
580
|
+
"18345342015503725519817172342548822689484710373705462903415274149184804438967",
|
|
581
|
+
"1"
|
|
582
|
+
],
|
|
583
|
+
[
|
|
584
|
+
"5566600907783678814730815451549545204786717017569721936757697604908811673010",
|
|
585
|
+
"9095218214200757954263671902287649065234951158384869168323180612172195068638",
|
|
586
|
+
"1"
|
|
587
|
+
],
|
|
588
|
+
[
|
|
589
|
+
"2814620726892067045387529562168553291458455716083809316560834858539597665248",
|
|
590
|
+
"17497418891346520123780852895902939628275693107591684636797568886155671650831",
|
|
591
|
+
"1"
|
|
592
|
+
],
|
|
593
|
+
[
|
|
594
|
+
"2521774708146519598803296006471830822376832137045550035283747943043910590601",
|
|
595
|
+
"20271246515999249086784884287140091898768753894420187908307519023475676471693",
|
|
596
|
+
"1"
|
|
597
|
+
],
|
|
598
|
+
[
|
|
599
|
+
"19375947285535490552252016670567142283656023163424753148472421279375807013022",
|
|
600
|
+
"10677507493723930796421750758092378691869353908816060483427268329022315753699",
|
|
601
|
+
"1"
|
|
602
|
+
],
|
|
603
|
+
[
|
|
604
|
+
"18559269675874591155098478010990588555136878051801922249186423859175992208930",
|
|
605
|
+
"11886727314971894755114753164221387037602029739797188885742784361053083513302",
|
|
606
|
+
"1"
|
|
607
|
+
],
|
|
608
|
+
[
|
|
609
|
+
"19404197384609420676247596686560209414308728702769635029846433802329069307711",
|
|
610
|
+
"17221652776879490163231821326074384008336204631587383366380672173625752191770",
|
|
611
|
+
"1"
|
|
612
|
+
],
|
|
613
|
+
[
|
|
614
|
+
"403347869029854180784265206810209249312447127673107771054212791524530010403",
|
|
615
|
+
"6809362205532113818494464691368685228629007938319462641313040875467714111606",
|
|
616
|
+
"1"
|
|
617
|
+
],
|
|
618
|
+
[
|
|
619
|
+
"16918310755618851779901454096017164724094627262377516374215345041779178680457",
|
|
620
|
+
"15744118062030681019021626993927688978506634237644654656878585247036896383953",
|
|
621
|
+
"1"
|
|
622
|
+
],
|
|
623
|
+
[
|
|
624
|
+
"2556714570734747999295216284877377589535377151298679218855838763711126078139",
|
|
625
|
+
"10340832331733847332170534575749419985459225103558086855572071053527492027721",
|
|
626
|
+
"1"
|
|
627
|
+
],
|
|
628
|
+
[
|
|
629
|
+
"15379242180765577985446852581238494278404783477950756168535594117977160093520",
|
|
630
|
+
"20568688016466042487244155887064807763539414866704546078642582930736505355158",
|
|
631
|
+
"1"
|
|
632
|
+
],
|
|
633
|
+
[
|
|
634
|
+
"13545500350070097831581142882867389782978555411144809286370589518716632206180",
|
|
635
|
+
"4879699513921424632062818761180931345993535750102041504387050373571178964328",
|
|
636
|
+
"1"
|
|
637
|
+
],
|
|
638
|
+
[
|
|
639
|
+
"2315590348955711567178986457600986326019836785365608323727852490021374840343",
|
|
640
|
+
"18931214234023720068548057413505370589066288883581675674120250049530450958921",
|
|
641
|
+
"1"
|
|
642
|
+
],
|
|
643
|
+
[
|
|
644
|
+
"2694746337182879363562490929044938350975132266724429970231777209964434957446",
|
|
645
|
+
"19166556300947798773349658393432589834210847192045736898678166077834561792075",
|
|
646
|
+
"1"
|
|
647
|
+
],
|
|
648
|
+
[
|
|
649
|
+
"17447107174954510351260882972766585946201978994687625446760226128022502133284",
|
|
650
|
+
"7733503668336484165130090490112132018292127323605971488093391655772906353345",
|
|
651
|
+
"1"
|
|
652
|
+
],
|
|
653
|
+
[
|
|
654
|
+
"15810189488779600746361697295293852214834093208500075763774733017936032289140",
|
|
655
|
+
"13378821605810098142490658601169590091102348640594870693409406921963032023980",
|
|
656
|
+
"1"
|
|
657
|
+
],
|
|
658
|
+
[
|
|
659
|
+
"21822898007041095124172219902478269394453982056724305067001951975924410416883",
|
|
660
|
+
"9867349237940280634253029978271070965758934277305377077398810337948188465155",
|
|
661
|
+
"1"
|
|
662
|
+
],
|
|
663
|
+
[
|
|
664
|
+
"13552133658686067719620941527747363123269186799629856354893368412358805121747",
|
|
665
|
+
"3105442481708367015059186709475735843344617174871474728624158468211734942822",
|
|
666
|
+
"1"
|
|
667
|
+
],
|
|
668
|
+
[
|
|
669
|
+
"21803029940113605190185843153558586027565410361065321204670687607646684608715",
|
|
670
|
+
"19199181175781208586382529120552021050302431593338780910778250560374551954311",
|
|
671
|
+
"1"
|
|
672
|
+
],
|
|
673
|
+
[
|
|
674
|
+
"656363949248016872333107528850743392771949647500735388362035634290898832871",
|
|
675
|
+
"12454666636830278455058743708228234080078990055686265715666387403918877120361",
|
|
676
|
+
"1"
|
|
677
|
+
],
|
|
678
|
+
[
|
|
679
|
+
"6855126558569055063379123377948964400113972901622781250506493276139847978395",
|
|
680
|
+
"2557665095971239370751644136850955893996111309914626649170788550079538865530",
|
|
681
|
+
"1"
|
|
682
|
+
],
|
|
683
|
+
[
|
|
684
|
+
"21109614777151752664616749055985680241325826924525811032940118332023459653889",
|
|
685
|
+
"2142294952863876069549252657464045035721923578868077056815971365120570110056",
|
|
686
|
+
"1"
|
|
687
|
+
],
|
|
688
|
+
[
|
|
689
|
+
"16943469528564605081484346469640718882070847643395902029561140323419213850310",
|
|
690
|
+
"21014749698118240324854042714229360328006890728772353705951405692538193328268",
|
|
691
|
+
"1"
|
|
692
|
+
],
|
|
693
|
+
[
|
|
694
|
+
"1152871636264702124290412640418638550095235180208828971341647493824248415517",
|
|
695
|
+
"13932733852911215169831691597407328893257362722348309491968762939650532076218",
|
|
696
|
+
"1"
|
|
697
|
+
],
|
|
698
|
+
[
|
|
699
|
+
"14032718910890870535689999073695086874612871422248942982958411524733758270443",
|
|
700
|
+
"9610117006611357917962071242630340036481272390856261423835202575842864271019",
|
|
701
|
+
"1"
|
|
702
|
+
],
|
|
703
|
+
[
|
|
704
|
+
"21730778417660820348970893126505552411503526840243050476534027251273234916538",
|
|
705
|
+
"21362610373689564770895729654547229772795208983616509874716739500106691395461",
|
|
706
|
+
"1"
|
|
707
|
+
],
|
|
708
|
+
[
|
|
709
|
+
"8847099002569965135363076849288743154952919134833969372204524503624818299225",
|
|
710
|
+
"10629394188110520293129544262320499368864363957523075685671965397673972045057",
|
|
711
|
+
"1"
|
|
712
|
+
],
|
|
713
|
+
[
|
|
714
|
+
"6698675197310921098889452087719051812123112283940374293759403457406686170812",
|
|
715
|
+
"13964212619622812701919653652323523994281038344670739457560726671786424223365",
|
|
716
|
+
"1"
|
|
717
|
+
],
|
|
718
|
+
[
|
|
719
|
+
"20835936151662317835181062948685093452548153452645411724067750891128423151687",
|
|
720
|
+
"13103016470905685096276390955975940954061143330791023678846336768460715664654",
|
|
721
|
+
"1"
|
|
722
|
+
],
|
|
723
|
+
[
|
|
724
|
+
"10636810256519549051464676654782526698906205705393487014818134717544815061827",
|
|
725
|
+
"1035038862837052845030054985435527223436217914661143129402352087690427218140",
|
|
726
|
+
"1"
|
|
727
|
+
],
|
|
728
|
+
[
|
|
729
|
+
"1897130595948684806192798046019322896636001614596541285679911869722160058236",
|
|
730
|
+
"2859720364954112795793262388234202045623318827299966875284386545681120739104",
|
|
731
|
+
"1"
|
|
732
|
+
],
|
|
733
|
+
[
|
|
734
|
+
"17679655617580883255745771646476847496431922272969782677465300485155566668210",
|
|
735
|
+
"11481695941369661456705122777710851553797516799344223597618522989053245828199",
|
|
736
|
+
"1"
|
|
737
|
+
],
|
|
738
|
+
[
|
|
739
|
+
"4791343322648843279229772915404690035104297931382367261535037546463809881437",
|
|
740
|
+
"10334038534754461179969414365878254974349371371798894322021475721906475636185",
|
|
741
|
+
"1"
|
|
742
|
+
],
|
|
743
|
+
[
|
|
744
|
+
"10724737647364480480944542070279062787729415924582287529792686791816525152337",
|
|
745
|
+
"20624203914480113937909354864305562704575868025346026285101724875183351022185",
|
|
746
|
+
"1"
|
|
747
|
+
],
|
|
748
|
+
[
|
|
749
|
+
"6908872110539574899096062695383298269773963386034084216839132231810506967606",
|
|
750
|
+
"20880099210221646098431489336065466514284369213481829010170267608585414464024",
|
|
751
|
+
"1"
|
|
752
|
+
],
|
|
753
|
+
[
|
|
754
|
+
"9588022276340360901111676371074016000695680392164056197368460781603568542363",
|
|
755
|
+
"18714964106721097498962586958450116510289995482909784857981109360295588532110",
|
|
756
|
+
"1"
|
|
757
|
+
],
|
|
758
|
+
[
|
|
759
|
+
"12961967429874666148284266852757878184029258411079906770399897952503628475738",
|
|
760
|
+
"581548308659362765792584071848850764814911038875856838125097392391827408842",
|
|
761
|
+
"1"
|
|
762
|
+
],
|
|
763
|
+
[
|
|
764
|
+
"3429262840739031036993725444698881597144232400169515069960627476495020985785",
|
|
765
|
+
"6184049285336831970418945325163700733315958668096553051735361434614059855052",
|
|
766
|
+
"1"
|
|
767
|
+
],
|
|
768
|
+
[
|
|
769
|
+
"17311948623093843313668736086957959727153650041412487250410064974616997219907",
|
|
770
|
+
"6081961423651812869516712510570114117321357892934374858835524697196490820636",
|
|
771
|
+
"1"
|
|
772
|
+
],
|
|
773
|
+
[
|
|
774
|
+
"9692090014365846832172639737247925446706958793665411173844615079330720225429",
|
|
775
|
+
"4221057757807055428327031591181544064980234790503856638989101264534118435380",
|
|
776
|
+
"1"
|
|
777
|
+
],
|
|
778
|
+
[
|
|
779
|
+
"8963565026405276144292038548054329544654552826196663814135060944304148432703",
|
|
780
|
+
"9778660684555469750810808220706673389992153927119213168809973001843616020156",
|
|
781
|
+
"1"
|
|
782
|
+
],
|
|
783
|
+
[
|
|
784
|
+
"6776017707870644292227884466368522156005441808571341812714815752788522049188",
|
|
785
|
+
"12210038972014954576340395882556798796686126988011463959684759925659386053262",
|
|
786
|
+
"1"
|
|
787
|
+
],
|
|
788
|
+
[
|
|
789
|
+
"14887499988982591305710760096078709156846370079625923614298972745354119430171",
|
|
790
|
+
"4217561949662317266556336438202095086673263606853695268098530302258855301658",
|
|
791
|
+
"1"
|
|
792
|
+
],
|
|
793
|
+
[
|
|
794
|
+
"21716980831368308139016527535068413923641452702561587358342249229313490587779",
|
|
795
|
+
"19164929551041017713876591534959994862112367136782463431378266624216236478387",
|
|
796
|
+
"1"
|
|
797
|
+
],
|
|
798
|
+
[
|
|
799
|
+
"19979080539557524663945841155505547034058999656754073857112673061571433228334",
|
|
800
|
+
"3265272534326806154870425713146780406788978957630020858766260771654631281556",
|
|
801
|
+
"1"
|
|
802
|
+
],
|
|
803
|
+
[
|
|
804
|
+
"3693158361992729133234874904735965931720102439617335049839852052554641781356",
|
|
805
|
+
"7653935462832841046262007196559122817274898462242381414694247861216024079115",
|
|
806
|
+
"1"
|
|
807
|
+
],
|
|
808
|
+
[
|
|
809
|
+
"283597926281061024074398865447999281831043442895546700488046199790212197519",
|
|
810
|
+
"20381708509480153145340742841666286670977126560258871292379418538667115010591",
|
|
811
|
+
"1"
|
|
812
|
+
],
|
|
813
|
+
[
|
|
814
|
+
"21723197701297362472395303928284670578742520459068615215223841705753734430082",
|
|
815
|
+
"8905319912843554306399588428339529284938665161791613075827035190861340286921",
|
|
816
|
+
"1"
|
|
817
|
+
],
|
|
818
|
+
[
|
|
819
|
+
"17601899671308859134096317266057737328709024798097368990833767942251058718273",
|
|
820
|
+
"5803785989180618060170255302574531702429614128814821971434043589527943541698",
|
|
821
|
+
"1"
|
|
822
|
+
],
|
|
823
|
+
[
|
|
824
|
+
"10124956572498956216187703602225306253929601645257535200979505847367071623612",
|
|
825
|
+
"18651489229175110767840771807377042663810980927769403767944740673068953995334",
|
|
826
|
+
"1"
|
|
827
|
+
],
|
|
828
|
+
[
|
|
829
|
+
"4497226720014173160136371464158543133436471820689124295897990449180946422290",
|
|
830
|
+
"21244049202917023887762744077853168091124032113038200977941773789878465113501",
|
|
831
|
+
"1"
|
|
832
|
+
],
|
|
833
|
+
[
|
|
834
|
+
"12270246218171782530658624828220866329417487648103714111478762545921086151335",
|
|
835
|
+
"511786366595475159325998969451028795359224254559973544343598404439386361900",
|
|
836
|
+
"1"
|
|
837
|
+
],
|
|
838
|
+
[
|
|
839
|
+
"568704961405101659720802874160245960701311235089580559029940684062338578625",
|
|
840
|
+
"4077528160268559572744641855376198977332710825829237707994520662524541102854",
|
|
841
|
+
"1"
|
|
842
|
+
],
|
|
843
|
+
[
|
|
844
|
+
"12408048944429627154927193533066734666294096561454687889648544195038875035003",
|
|
845
|
+
"15889180903018326464147634866684756368176448112499018940897077267661729294225",
|
|
846
|
+
"1"
|
|
847
|
+
],
|
|
848
|
+
[
|
|
849
|
+
"12451616880094522512971423559378479100214321026380688440095492702920876612383",
|
|
850
|
+
"7835185217709965702671589026574840811846150709914551105660159758135354034696",
|
|
851
|
+
"1"
|
|
852
|
+
],
|
|
853
|
+
[
|
|
854
|
+
"15867412332271649293149095367623270635440076289509398882421868441832031966625",
|
|
855
|
+
"9749840314701129798889682129114084064790294000879896996502001487173313082126",
|
|
856
|
+
"1"
|
|
857
|
+
],
|
|
858
|
+
[
|
|
859
|
+
"6344801930514663420832160590838692470800997588289092505149877342887628040866",
|
|
860
|
+
"18434409256133131540931864779025123362833893678204833516297099597143504606379",
|
|
861
|
+
"1"
|
|
862
|
+
],
|
|
863
|
+
[
|
|
864
|
+
"13282849948570768090284081579479852556721883243628212743282575519485547559241",
|
|
865
|
+
"21537879628686403934706039932890814640735809034287116583877008896549352679481",
|
|
866
|
+
"1"
|
|
867
|
+
],
|
|
868
|
+
[
|
|
869
|
+
"11375935469816641273239086629762828208854564240630359840719559311735597673806",
|
|
870
|
+
"17496042245194196820535144513676877367049340853343172904311022459914822674136",
|
|
871
|
+
"1"
|
|
872
|
+
],
|
|
873
|
+
[
|
|
874
|
+
"16070267562140710216845499188051199183914120175630633411695756991448917184493",
|
|
875
|
+
"5766030425844640504900979011087217791931962186054479263364123808572305137107",
|
|
876
|
+
"1"
|
|
877
|
+
],
|
|
878
|
+
[
|
|
879
|
+
"8506434169762968173698533435518408144449515937899023312211078761775164732233",
|
|
880
|
+
"639926889146721904677222006729717554842349194389611539554326672788218662172",
|
|
881
|
+
"1"
|
|
882
|
+
],
|
|
883
|
+
[
|
|
884
|
+
"15645126588405549890796019569166272044966229791846618913476653527298994586306",
|
|
885
|
+
"17647626934850672746061614833143336706607249308303195158405609763245269352749",
|
|
886
|
+
"1"
|
|
887
|
+
],
|
|
888
|
+
[
|
|
889
|
+
"11113738115852029406366147715465255785345777204707298316256874974045476686333",
|
|
890
|
+
"11245579776435736839317253238691423623721922631678553073470387415472359609912",
|
|
891
|
+
"1"
|
|
892
|
+
],
|
|
893
|
+
[
|
|
894
|
+
"15090323161210380608595694075005179181802708561230353204142604316553236326798",
|
|
895
|
+
"2974606634284361522632832697903481767505338992851483322801830674263802807015",
|
|
896
|
+
"1"
|
|
897
|
+
],
|
|
898
|
+
[
|
|
899
|
+
"20094210091632502153219873172380582038177786245110172020062124750719226447042",
|
|
900
|
+
"10616074561740410905359374190005230637937262504228212644018887808703499631840",
|
|
901
|
+
"1"
|
|
902
|
+
],
|
|
903
|
+
[
|
|
904
|
+
"4297027307241190909493663242395485788342628880527151835928985711280714239935",
|
|
905
|
+
"12114200205853530181912286812724903052162666205386530285789338909576632924737",
|
|
906
|
+
"1"
|
|
907
|
+
],
|
|
908
|
+
[
|
|
909
|
+
"15236121176154711830097231902164236592646298284080871429663095906273359425357",
|
|
910
|
+
"10140536953644820910189556750233499981506685585602105918895317026440418786633",
|
|
911
|
+
"1"
|
|
912
|
+
],
|
|
913
|
+
[
|
|
914
|
+
"12713026032601295394354918937269308496705601764450816789573003483262953768391",
|
|
915
|
+
"21334643187083698661662103556410918212535506489221023406286683772705507993820",
|
|
916
|
+
"1"
|
|
917
|
+
],
|
|
918
|
+
[
|
|
919
|
+
"13811292037482603447678365682225246538256835873282443704804720022142397225221",
|
|
920
|
+
"9373794670660464836893538060974037084748129490182459517570925023993531803703",
|
|
921
|
+
"1"
|
|
922
|
+
],
|
|
923
|
+
[
|
|
924
|
+
"2405035779394860760839807750935691229932921509873349560270964536421291395612",
|
|
925
|
+
"10999959423082374029386523358715281508878548018257124000984406994407778312860",
|
|
926
|
+
"1"
|
|
927
|
+
],
|
|
928
|
+
[
|
|
929
|
+
"6389672179756777775364041992948261132898383016884993413193889312192909563269",
|
|
930
|
+
"1687757538531916999301196936434309809563398160506523277961185331227130211332",
|
|
931
|
+
"1"
|
|
932
|
+
],
|
|
933
|
+
[
|
|
934
|
+
"3609309931214829879791625206481074680351691222078296083428731818507950982152",
|
|
935
|
+
"6504643201818272648523235824337910263922264647876685812370623029786033715842",
|
|
936
|
+
"1"
|
|
937
|
+
],
|
|
938
|
+
[
|
|
939
|
+
"3371972708943802376300698205151146609067732257432434694433658989734189139574",
|
|
940
|
+
"3017555707956998470915497005242061917574130392664844128659111905285550040802",
|
|
941
|
+
"1"
|
|
942
|
+
],
|
|
943
|
+
[
|
|
944
|
+
"19290191626018006900814868213839530375418351068571021345237160282598974047551",
|
|
945
|
+
"19594012714573291997774755509919030119884920585151448496349982273236483937811",
|
|
946
|
+
"1"
|
|
947
|
+
],
|
|
948
|
+
[
|
|
949
|
+
"9263950038241542602831077518023460178013523493942366090308593581044408071625",
|
|
950
|
+
"20750851100619447353071911171515225863594227454754712068867327347569979990896",
|
|
951
|
+
"1"
|
|
952
|
+
],
|
|
953
|
+
[
|
|
954
|
+
"6147869847792796140686359040274959802946888763316277675091343900588429556190",
|
|
955
|
+
"8073789503652721636454105498676887860186407665251268607701780483746435462366",
|
|
956
|
+
"1"
|
|
957
|
+
],
|
|
958
|
+
[
|
|
959
|
+
"20124695356837858986667743401281851145017144265053902214637479974718790948819",
|
|
960
|
+
"20683544674151239337880573878773933684511398779997904358048119591473336287436",
|
|
961
|
+
"1"
|
|
962
|
+
],
|
|
963
|
+
[
|
|
964
|
+
"4589862753495528393241599749165203613769860494316310131068150572933313029357",
|
|
965
|
+
"21210869598096566362275309859745467976325501028454317670836977870748664819610",
|
|
966
|
+
"1"
|
|
967
|
+
],
|
|
968
|
+
[
|
|
969
|
+
"14108882062132954976218208175786238787137575430026195361883763365197453005713",
|
|
970
|
+
"17681343949898643138637651070903830039588463447111366088410360620624406501713",
|
|
971
|
+
"1"
|
|
972
|
+
],
|
|
973
|
+
[
|
|
974
|
+
"8353171020111923275361175559232250673635329229827430015274247673579769765380",
|
|
975
|
+
"4940157623261761152224236459189279239979441763909393343748807162082611477969",
|
|
976
|
+
"1"
|
|
977
|
+
],
|
|
978
|
+
[
|
|
979
|
+
"11440487254852754894700677600783986650322861742967642953925113040069593351802",
|
|
980
|
+
"1261932310196597265630342036048371057745728231053087542374369159423146534342",
|
|
981
|
+
"1"
|
|
982
|
+
],
|
|
983
|
+
[
|
|
984
|
+
"20516137604814089226309351125896566414556990678481579386153146592177764680134",
|
|
985
|
+
"4303038039616803118972886027877475296217777091581753547909381105419538919100",
|
|
986
|
+
"1"
|
|
987
|
+
],
|
|
988
|
+
[
|
|
989
|
+
"10324056619850547662765768206444142304760340822377663670872060463671217110368",
|
|
990
|
+
"10405470784489703211974567284209687396927356851990649255595204415496548976333",
|
|
991
|
+
"1"
|
|
992
|
+
],
|
|
993
|
+
[
|
|
994
|
+
"516392422353932222402944207222133003085173806068762163026572656661328556215",
|
|
995
|
+
"12884388564888427383628312963917627495257407674747853313790077248768976603893",
|
|
996
|
+
"1"
|
|
997
|
+
],
|
|
998
|
+
[
|
|
999
|
+
"10536076788154677813125170800985769697601872533445580012703372444287325830846",
|
|
1000
|
+
"9082850688869695490994947724202450977558972426501708935706247921288488975518",
|
|
1001
|
+
"1"
|
|
1002
|
+
],
|
|
1003
|
+
[
|
|
1004
|
+
"6061149191552797590414554256442971681815000660087530102119362261734369064963",
|
|
1005
|
+
"10147432977638827170733467179230203356574110170576211836997784681725850449255",
|
|
1006
|
+
"1"
|
|
1007
|
+
],
|
|
1008
|
+
[
|
|
1009
|
+
"17420857306991164988591458382760987466405122700049751003395223647370628677409",
|
|
1010
|
+
"15561821430804808046798595447694929146751547876334661666725489988429430953662",
|
|
1011
|
+
"1"
|
|
1012
|
+
],
|
|
1013
|
+
[
|
|
1014
|
+
"16478741591003422177447989961516715398388017338444951847899852103295919525575",
|
|
1015
|
+
"6174320860639642468585429741414972061454805230186186537782109294229305901245",
|
|
1016
|
+
"1"
|
|
1017
|
+
],
|
|
1018
|
+
[
|
|
1019
|
+
"14461197310900379021330768215959259336405950632458421714431384160886859981282",
|
|
1020
|
+
"13212937645038212643241683473065844488963031408092789271024364244753811134035",
|
|
1021
|
+
"1"
|
|
1022
|
+
],
|
|
1023
|
+
[
|
|
1024
|
+
"14125031384123758014366823858050503525725578552219838920464033536558486365665",
|
|
1025
|
+
"16528420275953481084323070108021377022114577949346205033734884676465327908040",
|
|
1026
|
+
"1"
|
|
1027
|
+
],
|
|
1028
|
+
[
|
|
1029
|
+
"14603656668427733366531548178611643624644977545265417682304974490982958732154",
|
|
1030
|
+
"17414935700201375637428495575102192550403658193471964721443004320234195350351",
|
|
1031
|
+
"1"
|
|
1032
|
+
],
|
|
1033
|
+
[
|
|
1034
|
+
"9992414128519173839329500355693986855845087126124370201431639868284934635549",
|
|
1035
|
+
"7385625005744673448839954146040825483459074976052578609220269566976317194947",
|
|
1036
|
+
"1"
|
|
1037
|
+
],
|
|
1038
|
+
[
|
|
1039
|
+
"15519988278868170590375254421270919694126868441635896874487543825362256813938",
|
|
1040
|
+
"13635096836328965641505664632390374543325241492771003167793355048260370420069",
|
|
1041
|
+
"1"
|
|
1042
|
+
],
|
|
1043
|
+
[
|
|
1044
|
+
"20845779925175897758480331303582326975018464903638755478834610906719372521235",
|
|
1045
|
+
"13113639898318143807646884205834166018754341032933846144773193568060058647391",
|
|
1046
|
+
"1"
|
|
1047
|
+
],
|
|
1048
|
+
[
|
|
1049
|
+
"13627701163738521170193483564070292607664070762168597651466514778646393023578",
|
|
1050
|
+
"20626415426803625897558205767709401667582777125907975015658570810654172953891",
|
|
1051
|
+
"1"
|
|
1052
|
+
],
|
|
1053
|
+
[
|
|
1054
|
+
"6014815006293254584820498207466397328060512702990843636360906872849737496427",
|
|
1055
|
+
"9632708538101563697528793920484024849791098238138620432475566312092417761805",
|
|
1056
|
+
"1"
|
|
1057
|
+
],
|
|
1058
|
+
[
|
|
1059
|
+
"4714494044700361889984683600057280167036128166905373320732541811198980890886",
|
|
1060
|
+
"12825674118399489835107504259394816180445405145235661506857391904509528887854",
|
|
1061
|
+
"1"
|
|
1062
|
+
],
|
|
1063
|
+
[
|
|
1064
|
+
"10417021656818472915428975175242144603155151981130894082405216387557391497898",
|
|
1065
|
+
"1455509579272072034342760174163315695327549766370102184920537326661866029727",
|
|
1066
|
+
"1"
|
|
1067
|
+
],
|
|
1068
|
+
[
|
|
1069
|
+
"4991434952136663343253599877687688651242719446853333849175278391315629999968",
|
|
1070
|
+
"19741808699861402223504601969519768943073228244847531131130061710944666180058",
|
|
1071
|
+
"1"
|
|
1072
|
+
],
|
|
1073
|
+
[
|
|
1074
|
+
"9827026245506765083925362294908509558205974203596698570371200568616971126411",
|
|
1075
|
+
"15019629749473365023811540357545975158601937107092890525527461298216260574867",
|
|
1076
|
+
"1"
|
|
1077
|
+
],
|
|
1078
|
+
[
|
|
1079
|
+
"9708737624037013733232949200633714509798871538248662202719222051863372514644",
|
|
1080
|
+
"18865096477507389874494630300549977817555709010833270391990088700142492941824",
|
|
1081
|
+
"1"
|
|
1082
|
+
],
|
|
1083
|
+
[
|
|
1084
|
+
"8106374834825932747496015259218003434681938626208779362785972074350202650689",
|
|
1085
|
+
"13666623908100947373804690930158972612241298777092389676146236677150757047285",
|
|
1086
|
+
"1"
|
|
1087
|
+
],
|
|
1088
|
+
[
|
|
1089
|
+
"18500149585351409611098083403134269540276799384260402740734102159630640662195",
|
|
1090
|
+
"9025005784778810248126665735289847191809788073794560021636656540582767429772",
|
|
1091
|
+
"1"
|
|
1092
|
+
],
|
|
1093
|
+
[
|
|
1094
|
+
"16210944089831640819074963496628731275526319748467889086571852714718464628908",
|
|
1095
|
+
"13380364928456897529430025964051061536030465187088586854698367601713556621594",
|
|
1096
|
+
"1"
|
|
1097
|
+
],
|
|
1098
|
+
[
|
|
1099
|
+
"1038470441364701613855689577465797322226143444445332125845140275080130502189",
|
|
1100
|
+
"9638613160963812038701987491193778314543654893910960859353917267361212281663",
|
|
1101
|
+
"1"
|
|
1102
|
+
],
|
|
1103
|
+
[
|
|
1104
|
+
"11421723578302796400320918847870343835379909900682019464907056319723417455133",
|
|
1105
|
+
"2456077827166439106906668298722736992181431400833715283852114652599581416762",
|
|
1106
|
+
"1"
|
|
1107
|
+
],
|
|
1108
|
+
[
|
|
1109
|
+
"17026725768784005207315997302116360055970231770661083599258493784992070249612",
|
|
1110
|
+
"3507227933109303104580707663314676983880324558318578862778991111994198547731",
|
|
1111
|
+
"1"
|
|
1112
|
+
],
|
|
1113
|
+
[
|
|
1114
|
+
"10534888807698258199057441137306030454450658649602673546397739953589910980360",
|
|
1115
|
+
"10654283133156009891062479222626889593922429813908569804808148511739983894134",
|
|
1116
|
+
"1"
|
|
1117
|
+
],
|
|
1118
|
+
[
|
|
1119
|
+
"18883446431976701893261956206780116644823992998728044616748606325624301935076",
|
|
1120
|
+
"19954816295586612922648921207291593058234599569496031530473408133031347729664",
|
|
1121
|
+
"1"
|
|
1122
|
+
],
|
|
1123
|
+
[
|
|
1124
|
+
"9355443550295723944403048110173722724748408288201164589726393706659295379873",
|
|
1125
|
+
"3551223475851210538413503546708442448435444705751487491278625155662322435260",
|
|
1126
|
+
"1"
|
|
1127
|
+
],
|
|
1128
|
+
[
|
|
1129
|
+
"17294982245230995763945179741358973286295000489601488191294571541670386453441",
|
|
1130
|
+
"6185677135459183290837596030552588034985444631434619135037818939842961916601",
|
|
1131
|
+
"1"
|
|
1132
|
+
],
|
|
1133
|
+
[
|
|
1134
|
+
"18504293350708901049124757387542945065353837824453564397055629224088778612748",
|
|
1135
|
+
"3488127373841871990945534285109318913570695378300897030759152935774631343555",
|
|
1136
|
+
"1"
|
|
1137
|
+
],
|
|
1138
|
+
[
|
|
1139
|
+
"14211821301064374434655644991595727476958968808572844489276028170132448855494",
|
|
1140
|
+
"969452488743880358344785618606970782553311372378649450431278642174860957651",
|
|
1141
|
+
"1"
|
|
1142
|
+
],
|
|
1143
|
+
[
|
|
1144
|
+
"18939424225647470004846650766078378738111895381812080550922650914385907159646",
|
|
1145
|
+
"3733010958077405685583478916175159210972767037021184671934403764421666171990",
|
|
1146
|
+
"1"
|
|
1147
|
+
],
|
|
1148
|
+
[
|
|
1149
|
+
"15567113935720476532611894509897802532356201770663272260962842837039311048665",
|
|
1150
|
+
"9432824220360765213827463035212552747470475858755327536512881728567041123912",
|
|
1151
|
+
"1"
|
|
1152
|
+
],
|
|
1153
|
+
[
|
|
1154
|
+
"133807508152472377766898609378016940806285845190001987244872936064684186466",
|
|
1155
|
+
"1784460890984149581581308145432981536853078944617150844727992089925421521017",
|
|
1156
|
+
"1"
|
|
1157
|
+
],
|
|
1158
|
+
[
|
|
1159
|
+
"3001826862276016936682880615638283777927404225776823018366333511605372322343",
|
|
1160
|
+
"1738682326047712165639610205333313169978964899738090127279957737916019425438",
|
|
1161
|
+
"1"
|
|
1162
|
+
],
|
|
1163
|
+
[
|
|
1164
|
+
"8425735726972214757272262117745080306948679048388022483957495374297761347716",
|
|
1165
|
+
"6913164599650715757239846815702962337286997005959853714315768794310845032841",
|
|
1166
|
+
"1"
|
|
1167
|
+
],
|
|
1168
|
+
[
|
|
1169
|
+
"17486240672071973634131010434506427617067067094091990241635827860976895265695",
|
|
1170
|
+
"1329271029590861143158266605332373083832812218813598358640374897330044559848",
|
|
1171
|
+
"1"
|
|
1172
|
+
],
|
|
1173
|
+
[
|
|
1174
|
+
"9883103157992428069363602681196147079620541422545567275181068166059904962499",
|
|
1175
|
+
"15513990322103380960322764269918967999322697819711705841541262231433451437466",
|
|
1176
|
+
"1"
|
|
1177
|
+
],
|
|
1178
|
+
[
|
|
1179
|
+
"15900043597702542616976393213596103635470170208837784729855108621990717070979",
|
|
1180
|
+
"848007809462712366538539070473589335030518804438534937618939703711788366087",
|
|
1181
|
+
"1"
|
|
1182
|
+
],
|
|
1183
|
+
[
|
|
1184
|
+
"16686030248618545323281722219515542401828066685472078456196789405825341958765",
|
|
1185
|
+
"6615409490699399944557779145522389886813666355294446949791221915049221296015",
|
|
1186
|
+
"1"
|
|
1187
|
+
],
|
|
1188
|
+
[
|
|
1189
|
+
"335222160278467141480487109253607628513857046948712204276571283662009376438",
|
|
1190
|
+
"13610250249312444613395602213869533000685969401498643207004547793503529329960",
|
|
1191
|
+
"1"
|
|
1192
|
+
],
|
|
1193
|
+
[
|
|
1194
|
+
"8500382975356834141032784196831731826271506309793980042213226052049501742473",
|
|
1195
|
+
"10827614064016115804435674185991444859980770358267497260053677158441758910545",
|
|
1196
|
+
"1"
|
|
1197
|
+
],
|
|
1198
|
+
[
|
|
1199
|
+
"9219382675764681601540734461521189407125488930899037933854835304913916302700",
|
|
1200
|
+
"12743604392019748149391391534654881802410446298084976157031141456758776414167",
|
|
1201
|
+
"1"
|
|
1202
|
+
],
|
|
1203
|
+
[
|
|
1204
|
+
"18949158201173062328194332370999477217827755731182925592359011485374550612824",
|
|
1205
|
+
"4813400899486683749475169984447301635065959570952563471194264273906564318023",
|
|
1206
|
+
"1"
|
|
1207
|
+
],
|
|
1208
|
+
[
|
|
1209
|
+
"4933050881926130383790713633190556715412387110185240337611998059211013094997",
|
|
1210
|
+
"5844373135559656550100885154431085560615976546034216019563432852802299653010",
|
|
1211
|
+
"1"
|
|
1212
|
+
],
|
|
1213
|
+
[
|
|
1214
|
+
"12346627555396414476184760384212503702877218239597406943485344993648376883831",
|
|
1215
|
+
"10215276970722157249914671275023397335836451798486128213074845083480806405845",
|
|
1216
|
+
"1"
|
|
1217
|
+
],
|
|
1218
|
+
[
|
|
1219
|
+
"13824176870564737310414752008543782405586101537831847538862820895114097031207",
|
|
1220
|
+
"18388586987520486032856331260278701011967515023202366749536606806247137576348",
|
|
1221
|
+
"1"
|
|
1222
|
+
],
|
|
1223
|
+
[
|
|
1224
|
+
"12903634818599462224418756903285537561885269035186391857513788091066162486317",
|
|
1225
|
+
"20595323121235963731098624792764455657451006400922433531806103583574122798707",
|
|
1226
|
+
"1"
|
|
1227
|
+
],
|
|
1228
|
+
[
|
|
1229
|
+
"20486998441747110211200335075039664964871711556650827406940836383798847444735",
|
|
1230
|
+
"13806112561288800042176412043446477867971548895737136446880724007537760706330",
|
|
1231
|
+
"1"
|
|
1232
|
+
],
|
|
1233
|
+
[
|
|
1234
|
+
"1928567197554890205397159029950169803346626216069623646262136788488589685337",
|
|
1235
|
+
"11633228508243725793457600143610795668024083219037763019642718820544618280385",
|
|
1236
|
+
"1"
|
|
1237
|
+
],
|
|
1238
|
+
[
|
|
1239
|
+
"21633675718241555499833837128155437658776221443298435572713804471889672817189",
|
|
1240
|
+
"8305959096546266589115423697503861122719246092066308168330741654916495973181",
|
|
1241
|
+
"1"
|
|
1242
|
+
],
|
|
1243
|
+
[
|
|
1244
|
+
"2051575999592707628665084190204164961960472030594432573231132974807610423935",
|
|
1245
|
+
"15345153934071751462169591303745387266226114406728737217287279402287806500742",
|
|
1246
|
+
"1"
|
|
1247
|
+
],
|
|
1248
|
+
[
|
|
1249
|
+
"145904918045199337585294016622710278436233464955290014785014255507458318521",
|
|
1250
|
+
"16738899475778876693977544012543951654758948616168420550246847354420145049042",
|
|
1251
|
+
"1"
|
|
1252
|
+
],
|
|
1253
|
+
[
|
|
1254
|
+
"1821580492960489974928641431147452276965357501510504851148762121402881110418",
|
|
1255
|
+
"12173749748136490958939547943396305070588500418510702795791714272612706943894",
|
|
1256
|
+
"1"
|
|
1257
|
+
],
|
|
1258
|
+
[
|
|
1259
|
+
"21438896349939557668772905318475723188337412456229232186313589365644386132196",
|
|
1260
|
+
"2784217868661381485548236172256061752443941056581847215877832283166438968249",
|
|
1261
|
+
"1"
|
|
1262
|
+
],
|
|
1263
|
+
[
|
|
1264
|
+
"7492779736330163920454966581833934872834708828380670941741095569708537992966",
|
|
1265
|
+
"14413043297800293092352603985363567663029647768806885835628699332916373747615",
|
|
1266
|
+
"1"
|
|
1267
|
+
],
|
|
1268
|
+
[
|
|
1269
|
+
"18278577036143941376703548042705145931392456608336316463589179941915854539005",
|
|
1270
|
+
"11467847692037090115604623500440676965475252907813768272158602404156006173776",
|
|
1271
|
+
"1"
|
|
1272
|
+
],
|
|
1273
|
+
[
|
|
1274
|
+
"10009902293926634873801878486238134108361883937553307126398282939067764420454",
|
|
1275
|
+
"15302300581953074492254717634254162345648335815044895377018604943854949286955",
|
|
1276
|
+
"1"
|
|
1277
|
+
],
|
|
1278
|
+
[
|
|
1279
|
+
"4189224365925414787367458702737659769283195185229936378750085211897882592358",
|
|
1280
|
+
"16938080960722058216131490313945379996858247134166551511596322539044126449789",
|
|
1281
|
+
"1"
|
|
1282
|
+
],
|
|
1283
|
+
[
|
|
1284
|
+
"2833746166188601239612269229351885203316497880758712147535351026276515849368",
|
|
1285
|
+
"2978204848797151321297939011247923551155952353717992946860541301100621042927",
|
|
1286
|
+
"1"
|
|
1287
|
+
],
|
|
1288
|
+
[
|
|
1289
|
+
"4474982449527899356159399874401873399028675104841202611607259826065469886234",
|
|
1290
|
+
"12756216872141201854292001931330921211109663024288506299616312030854975221702",
|
|
1291
|
+
"1"
|
|
1292
|
+
],
|
|
1293
|
+
[
|
|
1294
|
+
"12864373444864382430241181859646812416644398842585389893052099095643892070250",
|
|
1295
|
+
"9615451164141286078707169070464663456640373292517784493879068718448156401619",
|
|
1296
|
+
"1"
|
|
1297
|
+
],
|
|
1298
|
+
[
|
|
1299
|
+
"19877033057341079611257819387008894482903181288741945232879112747768499402840",
|
|
1300
|
+
"10537041712610418850340778669708649554911333694435749348501886144012681209906",
|
|
1301
|
+
"1"
|
|
1302
|
+
],
|
|
1303
|
+
[
|
|
1304
|
+
"19930752464640618374590207585100138596642634380501447833833520425153608628415",
|
|
1305
|
+
"13362911803945522324434135281881070787308578914695686309424432015192874663530",
|
|
1306
|
+
"1"
|
|
1307
|
+
],
|
|
1308
|
+
[
|
|
1309
|
+
"8272378676440079580287469845498707379547269260116961228121036137488587806039",
|
|
1310
|
+
"21622795063745096750008620914868710748312768614534826803010867179971845661469",
|
|
1311
|
+
"1"
|
|
1312
|
+
],
|
|
1313
|
+
[
|
|
1314
|
+
"996660246451520145009893555100105699581380996977749697957656088348455412618",
|
|
1315
|
+
"5117744270915989083440410195606351479280354116069485192603547603695566605167",
|
|
1316
|
+
"1"
|
|
1317
|
+
],
|
|
1318
|
+
[
|
|
1319
|
+
"9049747716411543749687717722000913379770736262117811175325564795505256984169",
|
|
1320
|
+
"8767091983631715740594819706466710312777176997461092283994992887983104381215",
|
|
1321
|
+
"1"
|
|
1322
|
+
],
|
|
1323
|
+
[
|
|
1324
|
+
"13917723526131459345890390510538362672723238636582892811738438579658908181350",
|
|
1325
|
+
"15468823605677095697690432345811733542574768158749316618783073595052537409348",
|
|
1326
|
+
"1"
|
|
1327
|
+
],
|
|
1328
|
+
[
|
|
1329
|
+
"18097991020991943868722804884181417360005036111503285716988560026084950455598",
|
|
1330
|
+
"9163741506057953195420645355658306082387467086370281712304573348641371870477",
|
|
1331
|
+
"1"
|
|
1332
|
+
],
|
|
1333
|
+
[
|
|
1334
|
+
"9646367305106325912263968365605593602731220635080929940677466401062938150573",
|
|
1335
|
+
"7422794150324579175453051979957781925228832319538852227095449659468354648010",
|
|
1336
|
+
"1"
|
|
1337
|
+
],
|
|
1338
|
+
[
|
|
1339
|
+
"17667812920570401486166212401902012762848569673619224975474219121721079017315",
|
|
1340
|
+
"7935027968181969009565339638097804033132690819404805239560128158240425546258",
|
|
1341
|
+
"1"
|
|
1342
|
+
],
|
|
1343
|
+
[
|
|
1344
|
+
"10664953331708562515891895574901115845835640418924312175853002849936386437406",
|
|
1345
|
+
"6069462586076353015324659737496781018962131360807769679813942806566148708052",
|
|
1346
|
+
"1"
|
|
1347
|
+
],
|
|
1348
|
+
[
|
|
1349
|
+
"19843065463948031343418208537789363669848998895605008070049629856207492332050",
|
|
1350
|
+
"13801928638100248896228730661516858537219138894370237698923766233299731128018",
|
|
1351
|
+
"1"
|
|
1352
|
+
],
|
|
1353
|
+
[
|
|
1354
|
+
"20319900556267777083815939877843414625769998958470658482862865086904745849566",
|
|
1355
|
+
"18123434004767438608766495917581026481967914331263746837425215648749082068074",
|
|
1356
|
+
"1"
|
|
1357
|
+
],
|
|
1358
|
+
[
|
|
1359
|
+
"618025781517830453575130590098071349380277325161952850128219674717591692844",
|
|
1360
|
+
"16756595348348945112160338660364860948946202532706616443534023265501346740585",
|
|
1361
|
+
"1"
|
|
1362
|
+
],
|
|
1363
|
+
[
|
|
1364
|
+
"9576830846291107982112761129094291659998848059435235840026447430990606608380",
|
|
1365
|
+
"12674419094624552043370865245571524177877208668053228157890547547244760737193",
|
|
1366
|
+
"1"
|
|
1367
|
+
],
|
|
1368
|
+
[
|
|
1369
|
+
"18709943754100385589160747060734653820563394480330956261586691762250213990517",
|
|
1370
|
+
"4727550247195003458543420727563181354933033740793496196759266653291928452024",
|
|
1371
|
+
"1"
|
|
1372
|
+
]
|
|
1373
|
+
]
|
|
1374
|
+
}
|