@lemmaoracle/seal 0.1.7 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (22) hide show
  1. package/README.md +87 -32
  2. package/circuits/src/seal-identity.circom +50 -12
  3. package/dist/bits.d.ts +8 -8
  4. package/dist/bits.d.ts.map +1 -1
  5. package/dist/bits.js +11 -11
  6. package/dist/bits.js.map +1 -1
  7. package/dist/index.d.ts +18 -13
  8. package/dist/index.d.ts.map +1 -1
  9. package/dist/index.js +17 -12
  10. package/dist/index.js.map +1 -1
  11. package/dist/proof.d.ts +31 -18
  12. package/dist/proof.d.ts.map +1 -1
  13. package/dist/proof.js +47 -27
  14. package/dist/proof.js.map +1 -1
  15. package/dist/types.d.ts +10 -12
  16. package/dist/types.d.ts.map +1 -1
  17. package/dist/vkey.d.ts +2 -0
  18. package/dist/vkey.d.ts.map +1 -1
  19. package/dist/vkey.js +2 -0
  20. package/dist/vkey.js.map +1 -1
  21. package/dist/vkeys/seal-identity-v1.json +11 -1286
  22. package/package.json +4 -4
package/dist/vkeys/seal-identity-v1.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "protocol": "groth16",
3
3
  "curve": "bn128",
4
- "nPublic": 257,
4
+ "nPublic": 2,
5
5
  "vk_alpha_1": [
6
6
  "20491192805390485299153009773594534940189261866228447918068658471970481763042",
7
7
  "9383485363053290200918347156157836566562967994039712273449902621266178545958",
@@ -37,12 +37,12 @@
37
37
  ],
38
38
  "vk_delta_2": [
39
39
  [
40
- "19193272182471264762434748980231591784590519182307207281504177758785973026180",
41
- "2063192024223760891788273964511746950022865773050413827611633770862317654875"
40
+ "15950884542017274758822011532112912759799333329053208763866474633872387752268",
41
+ "7795007782880704309903762885593057427739802082673364870273405032213150420280"
42
42
  ],
43
43
  [
44
- "8019781637744188107816389764073667878971023654655609822288587838997310744133",
45
- "19461202854297572700241884595875866317796239592687668187195707755057513062216"
44
+ "2361525678396357050452061713766129768515164872860155694321287119520448896299",
45
+ "7947287810160773055213885434493947065585360850219950321646135190419465189169"
46
46
  ],
47
47
  [
48
48
  "1",
@@ -81,1293 +81,18 @@
81
81
  ],
82
82
  "IC": [
83
83
  [
84
- "12131719629806434694720688165561322785568099053493360535065463248471639080226",
85
- "14333287841035759204333700380662668627149781485550172236087716443710592663086",
84
+ "10353239493068004798069323618922547996506619344083019841544484651077001389169",
85
+ "11726071080376853014152624466937568207225298750458833225247929640606885484427",
86
86
  "1"
87
87
  ],
88
88
  [
89
- "12797807024897208602845571695609286319227317802847890808354093982732455418856",
90
- "2647008554290753082100615081829961637865048694824596847279168083605451684455",
89
+ "12536740412891259148157446308242108514136764325310208732660481427038299505256",
90
+ "14491829003871598979773914208036957880896698884713691968979352561053060712748",
91
91
  "1"
92
92
  ],
93
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",
94
+ "13343189208302481929958890267548837787223455484652321097167269265156442506042",
95
+ "1906120202526259161968695777975695158926455732845601578358758005023264801592",
1371
96
  "1"
1372
97
  ]
1373
98
  ]