@semaphore-protocol/proof 4.0.0-beta.11 → 4.0.0-beta.12

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.
@@ -32,353 +32,353 @@
32
32
  "vk_delta_2": [
33
33
  [
34
34
  [
35
- "13059836359816425778553975687206846338164409479984923255114294465523619970040",
36
- "3494501265090266483323776427125076982570488036063792468650150218138148835293"
35
+ "10049769308514589345710525790497478045162192181874654650612439582831356277192",
36
+ "6798275159111696631765684932966934480819839778360905827982023140392612472251"
37
37
  ],
38
38
  [
39
- "18815265419617029498036243865004357229581831642357407445454759910979500165426",
40
- "15151249351679674757179857367151108866106292017800258580857323337349056252481"
39
+ "9632931161306518428495887250948808623666181422608519935229236995717535313753",
40
+ "13909893679970909921284721325099295595079958875696358686115736114533495869795"
41
41
  ],
42
42
  ["1", "0"]
43
43
  ],
44
44
  [
45
45
  [
46
- "21284355201064049515013725567964698308458995747497567769096321545369178267664",
47
- "13532761187117457776267167491166240112603073699238075603358405884195273308130"
46
+ "19341779283870938325962302230892649885502492339014465701160403382913313018716",
47
+ "9002589149121965406377790703690701514742110610103894317373190676851261250182"
48
48
  ],
49
49
  [
50
- "13755025500407841928271808574327563222159647895255773830113509677575485710439",
51
- "14708709266814413125869923160757837040371326884025433917243343433022571511137"
50
+ "15853924395610285571497184614672056220255220256147800551140212909213761909913",
51
+ "15384387008815567134216543585911373077215244920196736604974944142355824894376"
52
52
  ],
53
53
  ["1", "0"]
54
54
  ],
55
55
  [
56
56
  [
57
- "16786097788016607790742808610154813235622999962925024769202024012743068916317",
58
- "16288589209448575059850904513787407047800601393647902754951819632644221425590"
57
+ "20083606144842666939684160820556467581044745205228415333288523629251382490832",
58
+ "4892475367240699533498124978912576905968020673574559095879617409161257740280"
59
59
  ],
60
60
  [
61
- "19054287618327819080244377924220084730619755297417179223777968789329427435290",
62
- "11802625068933862043088882453234658125803235172103758441218874440784454679433"
61
+ "8880701712891502068342106183752508169009511975869428067925759962432179990770",
62
+ "19196917991372254097659601920372094664470329157515388592183392963173987434415"
63
63
  ],
64
64
  ["1", "0"]
65
65
  ],
66
66
  [
67
67
  [
68
- "2467775821309410353298170614346797970620091442818193435415958276311437053860",
69
- "6754034540226318773202391358963433276871786953717809855694353846932854329785"
68
+ "15595111262392352699569329550863719272136417639201948573321210451845475261310",
69
+ "14709385606134004409926090352432771201334818755294681438762198567603122984956"
70
70
  ],
71
71
  [
72
- "11900626424250849274937718621509251345343138630887182003298279365567651532774",
73
- "3795882684032276797539296527637960192876033451771193231958863625204108357841"
72
+ "6894292519900463438264764292659242116361936210107228897203114956615108320465",
73
+ "14227147558489134328158035447732190048870965571562543433839005727350235629494"
74
74
  ],
75
75
  ["1", "0"]
76
76
  ],
77
77
  [
78
78
  [
79
- "12933614295322559340061757843860755814119074678469087137971477853826215320477",
80
- "17333116859502962840043101407562668240640230466282480836955810105410227775068"
79
+ "14320850367979727803456370253215537369678224171279198206044992705279862306132",
80
+ "5475541246268319974306511838266954642349839591742677843373092350878881816036"
81
81
  ],
82
82
  [
83
- "7294988186022326345519392644681725286083380252049244042196946627153179228896",
84
- "16047936521695868738870018107292105532713465015164559404074987652783597045737"
83
+ "9695519010485916829174245942670015592311240112874015080337013283624414875322",
84
+ "14026863062721131266417143383735927929515468275568001741023143022462108466668"
85
85
  ],
86
86
  ["1", "0"]
87
87
  ],
88
88
  [
89
89
  [
90
- "13605330538883882809690822917231786498790079369748019502396183248967388405806",
91
- "15568762761287080334123901982501029099057449591979709935902691107711749249022"
90
+ "12402838088924052923512617712407943454558325804407246215860795418264423785092",
91
+ "10286912080628596477467183526391676938111746098793720613051271594210995874277"
92
92
  ],
93
93
  [
94
- "663727981727505127530084497770681234757756087785765426261978801707046251460",
95
- "4557473062770366777369570006933550632897701110895009604852123748934703573598"
94
+ "18192144771812728760821091791509406004413270888917521896519497516182602851052",
95
+ "8969827906164370148568535190125332589838680819876134752608330672491611718778"
96
96
  ],
97
97
  ["1", "0"]
98
98
  ],
99
99
  [
100
100
  [
101
- "5537576101367227927432290079717223894972087264645714861714512123692630233528",
102
- "19054688611757691116083119485406638328516261425570134055761099438916542083510"
101
+ "11068844518467094308182673400072406174415035287465774858372276008144890272347",
102
+ "21294477411884184721419887719040509211791603543588769195913632677965664561521"
103
103
  ],
104
104
  [
105
- "8586836112195763056179953883229406431968181502947295115552125062679854083702",
106
- "6979029193706864774816090585159218044225824044811622589489754672108831626492"
105
+ "4898298183000166428070984533097167988044449442228324686951622815588789280020",
106
+ "3145975317148809397211222308484405528017506805621720865271122352919092734185"
107
107
  ],
108
108
  ["1", "0"]
109
109
  ],
110
110
  [
111
111
  [
112
- "15652564582439405385221211230207905588664570626471430290387353913847742289423",
113
- "19578851418759832732932704168311617005093075745056434533146726479017829863318"
112
+ "18275029135856620478842184125347270385705018956856636472544734692104668441197",
113
+ "17019299296527992906342471627956454165356014861255173051509531752951474839628"
114
114
  ],
115
115
  [
116
- "14106834159967458301881233489789009851186059673153032928358078463768578862295",
117
- "16643936505220289641562675739145660599904253967999119934999861447807565341362"
116
+ "4726292743397434547486156972449202870187918808626632743805765024906772393932",
117
+ "18712955702371136698460276131619504667967074451844136203135440318125770689683"
118
118
  ],
119
119
  ["1", "0"]
120
120
  ],
121
121
  [
122
122
  [
123
- "9848634919654176463577373224145330482034525085313091961003436980620107331892",
124
- "1685688713043683238718199465856766482066511448257730427497355513493739531611"
123
+ "4203949560354147821783061259439508268015232617968894950825877033100175693770",
124
+ "7070022814268269475674001477040669982274081663112043242616687573179272469763"
125
125
  ],
126
126
  [
127
- "13480350431152755858527378560944736211973688467090758274688486468999380580617",
128
- "18196877315995240142437674253225787667859373842602255491217815157552464034485"
127
+ "12940391355331109441147053871885221765801476632578768077585085250842908979972",
128
+ "15428836885992191488864297196572470385256339610669991675966605773279258629810"
129
129
  ],
130
130
  ["1", "0"]
131
131
  ],
132
132
  [
133
133
  [
134
- "12236736981369574728236515244179429788162438563725746867632140895351148551552",
135
- "21786356007381173571659640827279042005211499352757309589075661822822184336792"
134
+ "15029143251469020678417745262015955011761489030158757959406941301509954637253",
135
+ "9215863273591023879373751614289228209440638027086548351177699133093136218918"
136
136
  ],
137
137
  [
138
- "19080091339088228168648496513310089433965291972445393982881627786426476832461",
139
- "10863564205627431677272082241703292907572336123388414891152924237169726048989"
138
+ "17630923485910370531147811073172401806424795286222769017995022586794787691894",
139
+ "17639902090432855761607212999107125862255080434477939330403550134367931862250"
140
140
  ],
141
141
  ["1", "0"]
142
142
  ],
143
143
  [
144
144
  [
145
- "18087906293812032247545697502040580639160189604135547745784396926653417233054",
146
- "10309025318092075922877899889998376514894538129513157785184221239491816007275"
145
+ "13783008611244158112820345862046566925592820181422685465611038024392658912218",
146
+ "11286999809932675831231635172884104916598198610643895494221292893580015272745"
147
147
  ],
148
148
  [
149
- "184008375360758173891663157848136305080059410478051745043500682115967930421",
150
- "13762379406944901802406147105406409563171519837674920666882385732457367565067"
149
+ "18220331907668058189189266984811818382536030325980319490052254711990106619408",
150
+ "7399859568003719929092067255297667044787076639314018778324389410794797203822"
151
151
  ],
152
152
  ["1", "0"]
153
153
  ],
154
154
  [
155
155
  [
156
- "13069258073213826018511225623792777048865648697927965549278238995976541682378",
157
- "1756370075610000391065900031440928534228372460166358020032744967867009404739"
156
+ "17038353963915800405951415178090940216214909064699790293151814567548494237780",
157
+ "16377454805970471136556451041642561492050129029468552950239023629414014853926"
158
158
  ],
159
159
  [
160
- "9140577809263846446846557996533548785843500894717723604305025713383218414559",
161
- "7782751275919236901187777136923054830643484083829974136976698114515315637057"
160
+ "15490021089663831333876456182365939475639854244939093159179164741657017023319",
161
+ "3632028168433409518690370660019979191925992823806956511592031439491580827093"
162
162
  ],
163
163
  ["1", "0"]
164
164
  ],
165
165
  [
166
166
  [
167
- "4288116053201917097935075684000732434752594062540657362132573163825118214678",
168
- "2013822349576539187255170167791292904450945890590676031546564364203578428335"
167
+ "10869362019203773549991994466432246818750552482449272815024995819170579818159",
168
+ "19318612173039398554610402032189036230760569630971013176034600348734573687128"
169
169
  ],
170
170
  [
171
- "21859395070840197113042028262962323095719784329051140880224965059514424348831",
172
- "8077112032513125799331495973006800784299892868940747570902318145444056767128"
171
+ "3245151284162480382840661459866398914990218375518126822356780454697379196592",
172
+ "17376037803297137953593713472693431735691900221654570494069764772063916969267"
173
173
  ],
174
174
  ["1", "0"]
175
175
  ],
176
176
  [
177
177
  [
178
- "19016912455127243850008892664785684778896975209193735443658242892839245034020",
179
- "20175815417917544319876056782814914933529560976800336038485418111883227853782"
178
+ "21739762430966591611544841693197130387727042679304816904320680605415377362025",
179
+ "13337456010890669571312110722110978626654402271645533931088450675631972389174"
180
180
  ],
181
181
  [
182
- "1733299003416816864259549315192082251876301168870557296608277844652111933728",
183
- "16407892224237245445759181057634763320099880121738727631152800143921701752766"
182
+ "9392230200497743555544102618287208999941692619434060081126831244370851959140",
183
+ "21111955068677333960505079108312560231811849538594697119908234179626105686302"
184
184
  ],
185
185
  ["1", "0"]
186
186
  ],
187
187
  [
188
188
  [
189
- "6459673724557348935705566417966034360840940513046631280825724658596691372236",
190
- "11732104488418080835742848495999449390672991477162489659934147182999672535901"
189
+ "9765887841111014027207536734081294072212942995633675647422724718381533100171",
190
+ "10611805799193697089972647133835358446175696630019306104758388585312795475026"
191
191
  ],
192
192
  [
193
- "4646055529276583783430546562443788975802459143056296894781022758410365840191",
194
- "6029012855434716453595719715412319477813852483210244923240854148622030700333"
193
+ "12111202900875841332274674234864138665123655274511234144349518743965832241535",
194
+ "19734635784073407875945934329600179316595807453795254623432046479616133177247"
195
195
  ],
196
196
  ["1", "0"]
197
197
  ],
198
198
  [
199
199
  [
200
- "18119791555976875181530385865721092494224184674421992280086192965672251542369",
201
- "10984413251461965647935549809134853212592257018647144589799535518309030045652"
200
+ "9338876125692749169921649753345966897920335121369780024613311788669200836231",
201
+ "21819764752388384320943920865020023504588699757854723759009625630599418384159"
202
202
  ],
203
203
  [
204
- "7130566849274623382593449799430907546738108731698918345554426216822781939144",
205
- "9145503195549781954670301741558506961167250692965330519317415426822517754673"
204
+ "18733835313573560168713238640348200008758608939774980957241614757051426557329",
205
+ "16193105938174292468402166430441544247332830012383311834096877330373326202912"
206
206
  ],
207
207
  ["1", "0"]
208
208
  ],
209
209
  [
210
210
  [
211
- "20130681839683286699999162868559569892047546290445540680321104858780927447891",
212
- "13720910810322640236241345084228368577289121108674469591653285046643807920592"
211
+ "3919601513420678474289276072949118564098120747866534224625771548831677958372",
212
+ "9675068040487058613030479303481110062861018853323992035192122053375288989240"
213
213
  ],
214
214
  [
215
- "19975766244574254201679709416326566199725210321908005962311647177117814001433",
216
- "19384575604207898920571405644263255260754982283494527106631330593535635397279"
215
+ "14825744772260021909192492207967364627484904101011554011523154032558083852565",
216
+ "14608360470284772612816373122857162753416790881336559383898199290740342112532"
217
217
  ],
218
218
  ["1", "0"]
219
219
  ],
220
220
  [
221
221
  [
222
- "9443203291481021710901029750383878696924345181407701672283832773787973929357",
223
- "3623654015087414721623407943467672461002500175886362625657458770102123762131"
222
+ "2721486373801018323157167210616746825623246218390071226081564411423434451187",
223
+ "12968340607736823528148475270009593191211106142050392359906510451365260428580"
224
224
  ],
225
225
  [
226
- "20783980223895248302225054295761481013954415663729096577932141772215407111525",
227
- "10936780876916181422574139993481684366447129939437423271868090426234211011172"
226
+ "21479491441666028821536714814783435198368229014209693309182760114418462843253",
227
+ "9200592412239337272867558509657794777460340114124665277681133167901890516146"
228
228
  ],
229
229
  ["1", "0"]
230
230
  ],
231
231
  [
232
232
  [
233
- "9354292212142814677109747486323108648096936042340817605919210179321989308917",
234
- "2691056408064763934730579100312307365419695285915108108510025624053099691059"
233
+ "4793686881935694857536946556150865385816389634693618604434563516314064685468",
234
+ "7468504662830152377628803783383953933430030795298938442558418401235422516300"
235
235
  ],
236
236
  [
237
- "6884402260223763449545988617300286545815739386455462315027606685140336580267",
238
- "20671296014916566316534621652773273840585037550883195749265386216295483140229"
237
+ "5369558539480434036232750403701436967132622763576337857204435045501308015944",
238
+ "1544206620168318762839348132398850094597148992890365849594573375964142863145"
239
239
  ],
240
240
  ["1", "0"]
241
241
  ],
242
242
  [
243
243
  [
244
- "18234746072930724806231995798390096761122848034387635694143726587529010836110",
245
- "3068590229007175726652350825575975480933564242399453586465825082294647475860"
244
+ "21484720459303605302798978604237614472976046584193439253348361650969825748292",
245
+ "11778504031072617076835666396737479480765353231040635692430530998929741888857"
246
246
  ],
247
247
  [
248
- "20400009938273944278780991216131489368203720208632049864993233212641381825170",
249
- "1919684949146675959680323349314941369203574019150554584779991024393742280845"
248
+ "2793941551558768339218839007321603095797268500190811372910811097625523777732",
249
+ "8499136457565785031004321689745329944377719203840897611578892135704152228750"
250
250
  ],
251
251
  ["1", "0"]
252
252
  ],
253
253
  [
254
254
  [
255
- "2774371060614150609505152344392883392716265245943510628736114293073040141197",
256
- "8447854758365235234650174914302032784976268667989384822851416849728373375962"
255
+ "13694249165008464179020280306785446096967664405044044843321440965214796746818",
256
+ "11875738647114616324350947684061726919561909502972863503130998242120718452173"
257
257
  ],
258
258
  [
259
- "7186617426186972817855986804168941432350281910461206569148058741387131498151",
260
- "3015263507065482193204789265551006236425156693888783715997203837690906201829"
259
+ "8478769662157599345424310347901565107922506021173025438525323643981274129672",
260
+ "19812433478661078453961877947302599509407379278239949313742808880496429684167"
261
261
  ],
262
262
  ["1", "0"]
263
263
  ],
264
264
  [
265
265
  [
266
- "8966253575788130771852727739125896841145906149133271403123431077749138822231",
267
- "4840070530275546035801699608444700918579228818207171384987643157345263587158"
266
+ "5812040741672176204747103844640668295298927415072914668459838256763201016256",
267
+ "19806735015669785931995353978269817545182909058206355431360188275802638341659"
268
268
  ],
269
269
  [
270
- "9962709838557371377047621521224985762013252610725145923403828793639693121455",
271
- "2601469036026438601891277833343663261084005848061139271388586828809996187097"
270
+ "17521885357464563233202648521875905290166433650141773052058705408597538338911",
271
+ "11525530340338830716502860942689345100262306689117330289237484894552808300709"
272
272
  ],
273
273
  ["1", "0"]
274
274
  ],
275
275
  [
276
276
  [
277
- "5094820268025857505363635119835975858756772232205804973699906431827658031964",
278
- "10518236799651118399986483301765863768027777545669908907880159551621810126849"
277
+ "10792411997925964958381215817029067479896035855504468308483392531229534219232",
278
+ "19436706355139059383094509938806698706706766923839248625914995027794208831821"
279
279
  ],
280
280
  [
281
- "11572692692867396499761538666196116586305865304015349724077332249273828973395",
282
- "20859555010758118604073361508744352301840967631704468041131681426037983213002"
281
+ "935862788360489051830486282214078237146011038653740178111222389815697167391",
282
+ "8072583953344188119277829536748521153437596767795457833432747233169365522749"
283
283
  ],
284
284
  ["1", "0"]
285
285
  ],
286
286
  [
287
287
  [
288
- "19629232294794264734516475644320504923384252747453171010407820919121492093097",
289
- "11661383417324806615558394659220516610247089928376070440522188291505784724873"
288
+ "13369983427310673379273386726118528512090053533610011895772924489087434499560",
289
+ "21007636601223260258896743126015285106374704680873221102534543271676455685798"
290
290
  ],
291
291
  [
292
- "8350002947339764206858601679633707444815132923435432091284098864968718952059",
293
- "14618693275952711587232205373188572480239428452313785044400368360917578177396"
292
+ "781816009964815727693649369421765727079762601401895827065766198634750193888",
293
+ "7437655172123655742476741904638757853205242308502126726581419961030710769332"
294
294
  ],
295
295
  ["1", "0"]
296
296
  ],
297
297
  [
298
298
  [
299
- "12950215329375055291643630373560741963997558430433168794073218970044384415372",
300
- "5174537185495146345702880156705283203902425396197383898540057654655066753579"
299
+ "18289767809318109953604511379563953654879368440278122006476245297734205780313",
300
+ "7297858819137361266048049960276576061221795813016982777983276508233065012908"
301
301
  ],
302
302
  [
303
- "4431630864873466361387108635543958095498731270116355616225197767733734128861",
304
- "18440638825319565738488991729556785679573678682023564191514526390075411141690"
303
+ "4400537004106671968009111731711678778861503186165383927771233149107549932374",
304
+ "11861017471431365163414128324204576291654501179050818386156071891372931715517"
305
305
  ],
306
306
  ["1", "0"]
307
307
  ],
308
308
  [
309
309
  [
310
- "5801648383242377039158295944236326894031930402176012010819307534933038347985",
311
- "8179214450876128189786889463050502216503192251068580710356475166830402701708"
310
+ "2992162472650247075753290379196863994101122291268065125561265479303189972094",
311
+ "2149278938146333837762157047865197539626726297462234579786480672038208839960"
312
312
  ],
313
313
  [
314
- "19870706029300681613622543188539567928777315763585981640693685194301201982407",
315
- "4693973538356763613860391593814220138320073026815959512078454125381217645788"
314
+ "551667036500907650888508201663204030618105224866044580467647054394918324251",
315
+ "28038421244332437252451488699272760491836813993308427474241344447797755331"
316
316
  ],
317
317
  ["1", "0"]
318
318
  ],
319
319
  [
320
320
  [
321
- "2064976285344404756281594929698931000697669900063301194291518290834961490240",
322
- "20277284114925687078224763520355726939257825143391929434570333974997434560805"
321
+ "11119926988115729035668011565310535780603655775231850120289918739692745155137",
322
+ "8817602722261405319698829040610455364903580494786394492896940141358443005801"
323
323
  ],
324
324
  [
325
- "15643195784077230042834999110691483687428735466231422370142767293471863700387",
326
- "7222144325382158947774651546068992150829509045485292683383357637997517326148"
325
+ "1680290803075724940691569649460494417420550431404206498993917267359934429167",
326
+ "654240854620562345252945066604315306494281026224973615193213783227252715475"
327
327
  ],
328
328
  ["1", "0"]
329
329
  ],
330
330
  [
331
331
  [
332
- "17975202799537991792439304164891754483380324452259562307747422259512624823212",
333
- "5477988853386650384703921094948844062358006867640221757094709122931664258074"
332
+ "4417305792230285111357011064673221162480286486496089003939989926259051525871",
333
+ "14337554339543299757023541671562153395916531829217482775164867679838962247573"
334
334
  ],
335
335
  [
336
- "11185225860338384901020382557488674560018020486665010314728105461398537090194",
337
- "13848136879177885045281819032248904935976168943919823007775235047173993770157"
336
+ "18102181553730085952093068611215465293662342195186852247233989189686218494670",
337
+ "18318343953566300700872145919583310314872293221527574189507609074563561808951"
338
338
  ],
339
339
  ["1", "0"]
340
340
  ],
341
341
  [
342
342
  [
343
- "14471888142065071281382782958750780204583311859320300053251117611975834609601",
344
- "21436730469129810957180793723899276883659861043977115336277237822651402972650"
343
+ "1902628209424530126704615228962823322693910527728191597878269502368972448245",
344
+ "6800687607590437742793451968857688924532461129043710692695682669594760138183"
345
345
  ],
346
346
  [
347
- "12134671815483061401460971926351313472095768998015505567590046606262972345606",
348
- "12182522103530455236540896653238430557347694672470208631350018699627212167843"
347
+ "10034931611814725856775298104026042876081758307779816060207300321750191893265",
348
+ "17205169168497932228842841751695431463810324846010162985835301764799251782423"
349
349
  ],
350
350
  ["1", "0"]
351
351
  ],
352
352
  [
353
353
  [
354
- "13908385405190960757317970925252036009769791894761756953363068981012257735159",
355
- "5443396004119553565732772035623066322784594051319016117482037304612664713531"
354
+ "8609310002954675750899296865505156197275068986904937546335682968407062557353",
355
+ "17652382972559786603081358712023734457988123179346418318061767410638467351353"
356
356
  ],
357
357
  [
358
- "7952693491971973340290086005063781112666070579182591177579397309500032398151",
359
- "2222951903387607415437785840368382110522618780807171086914436920475598995149"
358
+ "14010114671133332884183212883039266364632832900771268544464943567097360538030",
359
+ "20953981342395933310821155979182741101782516022917194002901756056810161577653"
360
360
  ],
361
361
  ["1", "0"]
362
362
  ],
363
363
  [
364
364
  [
365
- "7839940132195146952355178362620770241816809643056324587040019650105609048932",
366
- "1773488589187652791865678688444883762637006202264973733401143478796059566247"
365
+ "155887139811629598842391409587306581332057016161277301334614704354501745866",
366
+ "11589273064298032074960397339280273111253628710081452605587787277989878262684"
367
367
  ],
368
368
  [
369
- "14809325803961768849764967899586584580664329200871180582417984535228799191623",
370
- "5994728489052927149244186850512435646422353844489887091765127572037304975403"
369
+ "16121151623164478719433805875174860779395398667644700642305374194327245787952",
370
+ "21415746312736962630685763964130668169157204911852029590085104536633069699336"
371
371
  ],
372
372
  ["1", "0"]
373
373
  ],
374
374
  [
375
375
  [
376
- "12512046153695559034086723653253082259198022071585962475345129380985810571529",
377
- "16305074860092225839285572393658030116082973338409399324682327571791603645660"
376
+ "1432416214818308586539371032122259241440290306461685527056371471791146740623",
377
+ "14621784478774900045485232005516896073016099759402781623216618339142142444432"
378
378
  ],
379
379
  [
380
- "3474997222527127765405001531284334239342007770926956394825252881969982209496",
381
- "607599331353561746153970361104975756620522710317553470868937971490837920782"
380
+ "11269289100589657711755210305168004136417079020640258348687053385360804643179",
381
+ "10859741497221216461724796630804714121202257706435373999834867538278407694230"
382
382
  ],
383
383
  ["1", "0"]
384
384
  ]