{
"bn": {
"gcd": [
{
"a": "48",
"b": "36",
"g": "12"
},
{
"a": "17",
"b": "5",
"g": "1"
},
{
"a": "0",
"b": "9",
"g": "9"
},
{
"a": "1071",
"b": "462",
"g": "21"
}
],
"jacobi": [
{
"a": "2",
"j": 1,
"n": "15"
},
{
"a": "7",
"j": -1,
"n": "15"
},
{
"a": "3",
"j": 0,
"n": "15"
},
{
"a": "1001",
"j": -1,
"n": "9907"
},
{
"a": "19",
"j": 1,
"n": "45"
}
]
},
"dlnproof": {
"alpha": [
"20339726221384422342385046405916852636239071183673331735668850905052832054424922722815671682677195840451263639852162865973966058689737943010919678440951890",
"1141252193603280648148205068391454501339655302326901394180735952570979683472368043214263487131857520483809742725518514816882642681857268949609761287833094",
"21208531627127287264334260909607115704638701724657362235231720223282257977565989210897214451126868851764396456232783631068816309560788006720368593955611325",
"8592600328069966233846917240751683343128925909590085657164922837534118031007690146557488334421652590253540174563113499077231793039630532854927741544719565",
"21616727105256426359232505754641799921944021886700031280991861177069050145514613966117613198786773133586171783683424551713482455677886500335577414634672069",
"21805822982500948519497973211077522806244557357884488875430954360964077514501830103668844460415113336441974270793532625307288975467604329930216128569126713",
"19446508595609648711844071626926021606494091875276059859410235657612980758448801105038511430789722197130508601456971655036240026203324918536745457081996509",
"20180332457820608313750175728422713412249997605583185756686056950942542992106849736169426150711394982160485689591261789183324810124007748425444632074715082",
"7715897450520794792803470730867690667975307236189358010282389653456938154954298264101390271498682644157817196874871663268892590103136068070609037271207517",
"31322458445324532246703506578831491823190212083166675172688307752909636907078642724672471334241154363988513778599202259247879628210968566271963029541584033",
"30305500661969819441408932996536607320650801042321532034140082891960140246105282153939276702414043965766686312319106841206342590600468524965065806735415163",
"37136667059947374572378948919486842604687188875001384048107980608995893599404869078268087755684899504644306404851249870141745191320697460886928613153237797",
"39001526708953763100160081977854040777584362399695330813525698423122161160519774114282906867762451383341553344612441791350727247860782412167124904376916251",
"30897157958354643776562664110041034145382026473409849936741126440350741596585030908113513325928649076440097876516840618303350878425312446576843511508750429",
"24482086194257208239903449195766159099085595157363748209515639320612676903513476248852547523150098298975202542398422554159401131004910982939971845000870229",
"37820355383052328476938711357314520943269664493491137758647723901966942890882205665181804637632531497134869120420740310145529241433120074814119679044327281",
"38429949618517567575960551435091530498653594435457831132026386674997308774982954288235776557185977162117513789640285383604039405249386121756798449099947755",
"2351995973480675948775979322911392236059233281689013795422655083523487924996855008814745093884656743060227024311825467423749304216435333608168334188209379",
"104399505056442263490086545026600736439153326417749442868163875789406172940186136973751592450812875620976943453024227410493242129012610075441637972863199",
"11196295676325147304401690699716306000764989219882901551610221332572864474302353434472537180820559969702406214136957611809325179157464906404863309699367055",
"16132790428105399535709825470981673976499660313066620886970363985762552228764015925687144300173781066170983425825105433412451069708896367291851563008675520",
"7270196121601984598140019467285096735892519430946070422017009156759233488950554496815200713120902775688872615621776170319281269555190702494632583731445460",
"36734204128289197806404320732142286700406782351456200881346845509942072561511830128378565894109006631213288389303511806747837110767622884840174563299850264",
"10430650431390252396055078601248258848780700315553247463319695040481628085033698291256267716931514218669805640618746059489410998564863464711250475057086837",
"13954014550670882447574902104767206983259595026670976585193356400615510158217753881088379055844203309911282260062594844206277846000670582782689275021191315",
"25263470410904945003077670454771564243071788834501710246999058917004696249925660681941701945170165434702179384463661379321274237315850141925502866401665917",
"23288366069665280787916950244829553381490342067683791778827409438130686227421687381397730595886564310959925895145938207016376344229367493027054203153320786",
"26654330515560081604238368063093695319701092010145635583229722611771828084285528662916359575538704146386385591086515222023632770965476005344703806816693228",
"31232942611922542742339251778313890188890157232272294185460183720447070386477229126728506102449380190608340184222485258963650441807472552676607024038580009",
"36157506462288583092218974129757968688971253594025828920168126964516417712746111465807229480318225255176649575346896667701619876227606624225829430322411983",
"21708523072547266368140265256832434314878742001666153188512060695080239724855385253684002754167688625225527455769767099649176005741698015993414200250933027",
"14332522247473511901448556432666755613947923498787099378563074783454838777157341125738129906494195074390918621548450105715283450178058256604766131460686069",
"38451828315394214409150838881254135954059471330950889514074736710684129206911673439233121467329518622551727451207390222996009444749281868196461893638641858",
"6956086473348010959511082681919409314447685920201072472536402765623217958102277007778677329216442407951757930334708333282563112596638391169159529778930076",
"24625051585815011154623712632071443385731199762993951631445488204010022013192551730465570076498498022255985203270792048391389254092573974917764872578016539",
"32476165250780503864539001063806976975783695904973498540409579057134751754543919335270350814442527204510906832831610341440553457110396081111028171051703793",
"39589569552915824634024977618022029212588868006413050199186855113179618568264953774794578742842055534800780459611138377629176634548109194036210844408225166",
"29145777229335988362020154588819078844565043865532561740907000991051232001536212838050796236651732913220973056423565301750731342656981130929806597918263705",
"4852728851492244096427208582625964497033764937992894709534172878010522191889444306055587038472891815725817943403265103744536453182020660123386400501649731",
"13255992471135595090068282532437506726108418217568821721286388385014638303225154485684085612610152266704086300069249372160796530854872956260738684574129690",
"2363831822006787625901802540911088389513150465674256282676040099126238957447175839677568491496461608641060028909532549447371151763252702145647350930236639",
"3288630036039265020992973636170176726802483858752244531157137808302234792191658923227568290873311545518960375276956638784582242878038264408475862146604279",
"37485238338838962288841542331277886362853807874484016381692599255431236626177948138280294685546132094392619213959331756217452162684109815158998418047383577",
"22887491345638734457698012247944709490281588154631015715592522835607118528692876025618922146843357047901671689103160553530004633708198757090247753555652597",
"91519091438736356206202018686308047571823587463474870683846066495365361871437412064602173570348048426397163834146465654100025768571419096155231032770828",
"23271810635010191487680466228107336545712893800302843066828229044968469218849786436559775563924831140915447891439527663190960736409697008832185062279700552",
"31528060609564929353357138016543466360381591413911081529214445997001264615241143830523348546005073319249261502944736786673919304829892190381491471449963844",
"32130828725618023735434823893489710762780768470679541552698961228733312738998433599112321791654142945216134361245389131916729433974389205426972291335910375",
"4571746300762255248707701856438700388590280178287839840080235032132001846693306272098875573635900938989121517138090048431290081293422698921865374771174037",
"14719004656792790319762720716213397801282506153850203792931717953942677289203929676816774408257443563437649031862481559985234904525860355381481479682297599",
"5804835121719668622177056714817271313510206549503277971626168910706200905692086885040481852872487511547481469911993665625080243446003550287293452066451034",
"5504451269796418637585448814862757474408609331253128166364257991871381409966356291039780311973375967468735019138186055882325658543612836237127727948062108",
"31548955816692526427335175993330367870102569349294325144577862175191238864171972551873626666298988359643316554313936489646968856778345667493178757915476159",
"34403156561406500507971046130687151087059803703730614938709943713250504872999292374370391540056117642673143831030630037703229133954672912915689748797746006",
"37134000016984297141595393112490254859356704722370584630719637337875272247179908062890546223400337003457785826094584113468932516753462761698425298586818117",
"596463273535410489921100806829997569792847986125061582195978682609825269221537449607356833076951857865187603472390497367473362961610235781323329273750938",
"15265899565580961356476928518115388865143847641570288066289228119210586569736588898363210627662171102986556758674425225804231845640112433684886345958919882",
"19882434692765528291235273863456228569732795545218764040494210566500984553977949973468974483041096941018735828941295923154422363479265501164794543391416936",
"13412625112228282923365010802407539788043541362195707454199356591871882474354475137689772539086391275524694781965110199528848122073853152448088054132925449",
"20384086558706163736797663365625081530223652171441803989674969108569031460658154020911595321772431290261082688892972054264106307485256194697538110134113077",
"35734886528839765376265546590406867322774595160287527983922174392817392873235140750423250566231675392587574529364413074882736867424775299418261242741864074",
"6932292413020317521340366119699566340694763928385137665386545344280567231246063130035607400590714586261721823923913774406898328435266758294874077588110073",
"34443403164105850788018634273694922105831255843760159712759506826793411865449342135834948376537736781093855763066452248320674557791218024812570434595570567",
"15264817032791970668560886638727299819885338130160949422873799675681978646820326525274763597289917530653452665021690325006212601626250928141201052333201338",
"33724142566671118263229351811205017706196853849871179803168767848091598629520335826214045277985548777217945455391857862812786876651653781585300354849758234",
"13599100397444764418198604737743722348695632110544723996374741447116414263382930147750758220345473446346770141441477645022087833700135829001086991866544240",
"18656655200757998907377805194417640677351313599182057100710889645379500517855862274396923046515550695935169748773041496636732478714607326695389214813862544",
"33503969107769704260618367804395641739857092138449292781645119639138477125873645428722096770160746147719308465004387282715544050613579820699927623299396990",
"40056030016063270237004339063706273796860567733450977633882597618511359232376299717517502948222006138002719970897654863302808484989033292888745642501576574",
"28806616678299969329667497364745669242249709341705191253369104243181027092027978534376563519598606794937169049644176002821076798244454162750853551411002796",
"8823640702214673733093875443341905309518668790037238593681295994637451076092658743957748756548556724062761088362370602749781921591239185528226165725962969",
"38068782626566192094324591192320676770436173778094711472168473001584182162803049075231213703405526893872554185169550391197444984584536611067876305704388460",
"31522347169584741459021158191374965742519120872371251783219894198700075846298504162149535149325313346192651617528582395014252426905672286409526158048128982",
"14739993457867437391501726024566446572361022912300300200721457124490038007715548501632642539758298239261797463684627726747839030919434882561265224650842620",
"674947608363917903230292514699608447259195619253074908588627698667212070478191223252049986414163148323249139958426928552367654119367501314965457926715966",
"36980083005670862556942999103782774143255300554340607904572511272878700514519327420230922713034101174636940756555689086254684468228660769012456861355771645",
"10899940015982345004208915673830191497341674613979659347697339238615905056174659295787430196955333467268595184998141197116728417585805704818733525167723978",
"24718728347964113532958433653905530606234694244029922126096771829406193602514522154520635551063043642678204619027686512596817585468999115479637758606287216",
"9443455214493020294179628425373644113094401036152353821236586395599144804034649870219806629925245483817996013262687319254807800789157242257798210108268318",
"4779830337716383355180612703989472181531744147341917043469215699410259622214918545233094546019859539968385445984788940224447578155973589042030349969746491",
"7841620192956526432265298451731961169118085952723683663431761204305424554927165969228923421924751958347565827946705864396855112628405290867456478113406081",
"10748302527059646987047907295088273040971324469536440375446754660666640788451572455005578308888038703383540742685892141944941149899145800881654581393993005",
"36124215832023808998288776678537934062525281606169123134590575425288044031317712643261163307570602034372607654185028817822090693841868866526776559674163358",
"17436840041184228817937624492783504503172022668733237328812775602213142231295540504488894064601092658989900702061204978804252834391309881731368739725623471",
"8749049418809085870531848182123523939804427884217269698972160770696332795497590636077837027816665609543887086779289511003282410122819132202031893101396241",
"36945067021553495925583263331468514397187129814391695881376021951491557154719123386630483037437465018332201592249564764679799687184972512940893428304438486",
"3745215680654063513694713373472095485479991223687780449499763377304573305918838693744840479584451563046946452422360970251776634075392788282369323566791973",
"15208484631613208786807522218907136497427331710979895116139413180867333917534752708835995727993390080158427003949512122045870570240911894652010040584173111",
"13797677522037064782103299384800811971158684408978434521502434618667035514699907704053175798045370462059714989478184052043116952465880696941636908662377958",
"29943874417122443677117190268820589919323048265722395440382072284373437006980419742743903217845969524499696113382136890656717455153979491821455931717870943",
"19086347594536097502016729055849692172413872857147437141366707068285758581077623890103610168915651454565236195888135857363219801698309772202020685712491871",
"9324991653522567107905121223363082377307323924256824408484328096549566399267414810014973187661783095819676023883889991872646122103026708630704645586307151",
"29717636740757319071697903397918025436652936170507953996093446678744005573134065691651654761817102036180535886810826589001132031411525389379167123275375575",
"31512735893960939171586268366770043632784490535931969122687358338022659503133238507265059811674321027028715861340352317604381764672208157735550980644168587",
"13725759887301893469917700658719839840989578880227853858345526825926788656038629733326509027136771505845862556237860319083877853231689096462501375370187631",
"3034500160596983402921022418232397763158983373126118169801955352895115860122763807951935012543655636621922164210013188501188710561417230977186801692618554",
"17046412385759587897904237699896486717158788613925534032143705138779242022000154300269399990401448991238630904623249011946499640825817329262884575456172814",
"966183836869826320779388274040381339285722046449148930751410040523881574485963645660825231033486888384797634502139101827011821437273939512104815097650949",
"22046376298975591700695338034296984408064574975887712034614079554057937878957126804528455915213150768851147031447296426818485204982382087725330287877504645",
"25290341070682502195683111080412530868712821259314292260989601458923057994978400651509720063380540466472550792514837924781936914905624752271790397888294762",
"25975416871153316115556517786639114977320107948968327865934921720503334791041374773009396274310380908764925601456418067069445997327243724794514018867473379",
"26478225100674655808509708733193610048944591838775643861309967956484316434193969390784870690070633880767992973463359563855714583341954807632805429730973674",
"7107723251313205003515712509054202401130824842458116286835842516507286968581049884367146961509575391643278765986542616241297383728772606964646807265597939",
"27929196015548456430618581301904495096412741800854377937939430789455190602056132748944431087387940139548670313830490898112235067783074339767244914280648417",
"33613953970960356279255891241138096901175009306910634368736991321111433739088509418417438993403675915937610331034014002919973225024993904714392972142242082",
"34240696362772591396649103841982838297696228769536345718859917273263764825971382478795349013108519184557182159878322460714498797575578181326135435367483250",
"16925702067480277293692453284641199608855956260154112202639358606048358674652356893594476690392173037593062355540116657989180993668952488868361996214113851",
"37614711755934207337240656674698671448967710941175528375084425472506458266422979348470470218106685358180602729017679372512716734630992564470070151374731257",
"21145251136222268546090395362980713972351517050429582117049934187139218687153410974971426801483203619711742987890337687432852207358002501524729916794790275",
"18247671600567534259619902005226424845630110755293898713853107974887062348553966519312536738261583621312648567093897318560604021693420269968264134321077300",
"3554818678330558956799622624245722249162351172239056091749811387682715622097920687210956933107133234776073007592321784628326178279108817468075916183473402",
"18311530757439400387149377858117115952319397025845559541351172172373494505280485338898015343050885388429472595149270864896334266513460872483548103090495080",
"37175178962713855011254940544294534990688691567090133562280204231565163284569726137844584730091069124136987237812671803219085089418461153472914898775672662",
"35641777503665335822348747170815860299920948113483309302362470244081342442147456560364625825673274555609802213830365990343774601152777861860141119417316718",
"11820364868931754245561435206466870936376454337410825819224620299652923241669457110792479549660342107830730537261574280823575500506351957708339703079093323",
"30558674140097464788545888980818406381418531840680610104757535602289886296862456181057084693863827320609593227419819924537970503331482430952484307928240441",
"10377048671822586409680055539655105771427779622640168929089369692244095921478408674343151437792586241831154740101475023404044187949903826722939572245795439",
"3243828775700724339915629110768219108835364087546809522299928030559245737264176217854750024202703838226317105548590879797100844901719318998976773856378447",
"26435684888237788030399835133845566230375459725183594346538082629521968556425112915591769988451347931241888750750924376843404165611891182983560868960706314",
"18521322971369732039475249478398507652437864763260568862580631118531505154069076922293972029754173135582043665575672450701741231936151245630878535039246",
"35824011010949549093766586949966783761690311859915813776809106584587191210464757939257477308474110151737602934313474367661396690219979093720481262958977185",
"1333841995776417604899811853545418929250357186319697162114595693109951962908083690164661244004242676297372571011024703100036502399801637295022184773755166",
"31209470874031760413732383736451496146368308622053298221372557091145539892270243068249577396725018363955957786869168701734657158172055762982768407801342441",
"12711431022155555939672769307312621656719433236392497165339044046293150564420120573457990087957349056889581374646848417011786641240531168272304884368018487",
"16902540083240185816119976736418890512924287176683031506485165180859676804548362869807412012271179884282631119594186700367096108717273399956533249127903981",
"13203238658573406282987269642945906085017832325492453486598462164018049994505893702702716032188340259750792316178095299591350458865625146250752502990082062",
"31030946219460208668519607409631546816037812031914235627347672263868229274559773690356798302930221683039335174700051417796909120071633245350178750602906457",
"29604121336578014806237560824150114192679978725696051506548435151145844154059005548947735815472866475802546954349750267730742282982817802825726500877837992"
],
"h1": "13489538972960292322842873465356619203356543766662775664808768759610850382659486083027586384278202263750749823713742610746232084088054223958579266643698163",
"h2": "6035230892172478014316160562767497327603339883364691946311728327229593385208404696479695511608254365877225063084350089047822148331608966587555767822446716",
"ntilde": "40400327315723497348080028989877420749670410658248745948723617765456840184519080615542468928971830667398636788417505782910916607869906980737912671858051929",
"t": [
"4231263661885312069069609093566361643921506917877144617468293042231242075058057384002333214715150920581550363480554469069747759335535536974591679543747405",
"8219353854494255120232011329944665938624903573018349242267251366724592035119881835260020515581950851555467321938203313806842181281649034722872581633623003",
"5034598211270230850166879493816005449395955486165013930852762002480333430739786511540111791189734337503794952341233730107078350908677115686155527663947434",
"4981716125909237098827812567117312447994570166969822564205057389682772585402410631790099818627849863939024030359254439156401581331278344461982487508892630",
"8323159841018576611539450340021878328572644036553392388555989964940290776626521075521961872889282245186120553890136233307862454422965191458707591690524109",
"5190007518111972433301897634444503170793875282799362065280209002731334380525274646122342739862326507196236524400990872124324692319994504008054576075079490",
"5231810867582552239310540678993733646248523227801281933531832595115736150040851853199679553135214617326083341928712877115427818922227465664552659363772006",
"8425563090187367398520868567806047613432527213007871136312646929795826918898791140927461645792950442315076321471122586940412688440529063518233136856480132",
"1392365401393672523212189397974591722224861353497746132445914453021772744799505743481255939113408639115828225958814622803087485871411175272706397721560779",
"4563642010708650689369815100447175647857735020413003866915561488154596570403941217338226123471665538654685609148223672869413281775139192751427695511958467",
"268201986699820434269389742884342541927350272808811414496931923197453044908974936362115953195657616940599626896339117099877692988430904279104472884846125",
"7353219124928620422294128914408768737463709816615235285083627697500862268509022991188961915120044688872281155025915145010428596690158838341606006801556693",
"1515152204829850853017414498199670433027626705927565251730060236859846499862030092220007472701451353019160926686325813811205155218462415917811393009280860",
"6672591594878757965497665059732564169467225519285941612501037896867162069412266467926390849148305934236199510035542787350768959920133461683207894483550318",
"7716680731951840076480013490891386749504300910930291502988643738293983815748633896527925083647198551500867552706913546549022066110612891198245145978305373",
"3402688076465279498667044647707821751017806812238480918146974530816642424731089249970468329500966461866077123433930353673897209966298402755043580249967362",
"1199639386290044505879775722188038910186699446433017156410897487323370234293217500634590188952041314699351453150662365243883209291401785387039579494500973",
"7120814534874668467306265039237250742503482870251857693975051193317909681494543327706492398819605433738253566647267327342464435247009875952995202595770191",
"2048891834927944087330455480447256724242206316772343649761496496413920609753723976781110378763189410921828424027193352080133989605171027588055898933593827",
"9801811464697272395202921780411153735538136753489696599282044067728491227856029334954720583480426772719538142145053248673835952146262071301882738440674461",
"6609758782887464546192769602624946973809374893699491672433247874176797584978386820271027474875155243462351931401262797026957934306693343191941488713359833",
"9593644414075606680704739994100051303894872280885501193421706436556081514013873572121350843146489941885262630889097876273403058673399549541737448520116573",
"9311924509402187220010020073564873859532003419939230775167269022326612104994161259255727144379649471612232804057899203135283433871951450382395878376056424",
"4030694013679802790575470294854181760471431711906140669272760790189526199526873780578229634494954372793973498453820335923196800635983466574071162701791365",
"9025249595937100041559341746857113539326517127699395286481759588200905140297001819907340475159096146436421507347781365010786315485372210650805429130514286",
"9737409026744040225938399905967291076755364961684060171433327948586135924516526280644499995949411753251294976748247710839840035882228446004934850838963725",
"1790834781003917660590291076364211445297051256379219683373048019061409512791882703280002893348579859190842982347525247846257017649469172673608910469064222",
"8884721474356683825165511897588002255101873589650114146800183796401179968129805107468299632763867649367543925446477925387686490878901065317797014529348533",
"8409348458135471665038213908837512183253250723714297089851444542100407562914287877318499514875398954790779212996794601154078351634061795838549853107865034",
"1899023925324836529479875219761682532847309446551736838659821097960478438885843289123343026753546750163921055259746088370206187387251198378598573182844926",
"2198357513128166166014878715056484950782905712858118527440748546131006282604927303730427841189414617538362735854910618961895219519012997433661494791502743",
"1478515798396163953294638293036322689416503643322167131720769249585712522985575162703090833309416683359474679655702602822080617593915369834459995985478230",
"6697575708172480255950350457316917694651593511915618313600924770645904463126098999761567304810690292060338692801116637734852238625064491917746554741668246",
"7708646281205743825047245197486784344193347397074363027562130631147323197777909350967249144911936876911898529997993657781134105074138652796646319601353811",
"3641228277175352742232543662480018231116931179756903332867274884579341275883906758576220700741691538578668228160175918166943761357814304323760741216393727",
"7884204135649729074778253005928389842085763254137289931276967802928952410736062752630533973036231888352322194323772032671028857691604787311686385246579303",
"5771408498283225387106751400214477102323437058467364060280543550819296997796759410925258997370207467130857898347728667520491753614609211377142108305556736",
"533687156779291719849989496100704843108155036829147963967304272336693200581725787619805565368429595678164991290455209360321494373383035511427729251574077",
"9380416181021603618897400425655888212105808576667829795323061108391912459425580015656867243175852995947170259685652883701146280741918209874211125146265880",
"5872194099826249456377280198525042279561608291301950701914860436571208394088680609114696903993247402682854096386305757693532217316987258608494021473889875",
"787493751919745174467954737139308984190347322182040595291995191788444237315393065152727971223838677484649706643370177549694384014094078448556493540784699",
"9868163837542398967331780184718312587762003017166561047882293042322502938768521876694186046852291425920306027675524387955777807079100990238314007543230116",
"6780594779121139354765202609332011157294117527803919087236250237012981958385201059159106751010175348901851190441528270068787009793671866650614249683307017",
"8798548411193787242242046375403600521639004725740447484277640860594966332815272304009850484749756785366435673786371149197589712149227523923148364122096615",
"9955396541460655263876074117652566686586824060768009462019732309669126985643179677251432107266756804558822381696985019130977903759266092703981096778463195",
"5341185846582954713307060811482205854199970265412623446782802193259085739553105151578299401800239696439065110662109275103898210428572782384123642466972907",
"6148034332982081508142618302030692516291325023479973908735917513792902857190112385364950701989883259494680077225483873217281643313332357619661537182586047",
"9282974719440894678409485960500058548431595646564167327152965559288496980641088290307724722891957907157159054661333957519266484392973261390456776938421962",
"7935172166135093610454729220933629169423664965286244969145447183124150088100194827118415890673456861070976389535808847606773494763124780113448860977012135",
"2719120714383891300640590023183235579245284163116003975389666664367740436308930416051718207054327506909912943963760735485220048274757700373702509083600796",
"8054373342584205653845597420535759390875622748377702500022351861080322209835000479245960979543345447749462434588714944469571168510926889892461237746861886",
"3556255032375238484698935770369840213793744889856612597545054974506401897080693022563498371528599232062609206894500560202644588576984425151215536373146690",
"7180520561570813195983609521752187201142014571983614159870892824111253303279598548114880502371252841221540823514199421853857744806474349906830550754421170",
"6120571211744954170132827916743763156952140575411508513606024011000336054283538787654917147142800005586592651670156367880310607816474130087926632626205226",
"9319624321995282232028862047913587707866235428341550726500315652156825055399471926051849195963220111738299338092135588769011749036515536202455617766370724",
"1347965696446428479649186003799095769484395178633061406742098574330879638715594851295376595096427890822579788857782316616372667387368192053565689948127950",
"5845034682715912522859939990636930825937132131399662355038545219943972618563407188654423087222818403263476010780127658324783736294319987662114290887377203",
"1056105455412128899650239442471609424830205051040442962564141758976261402427755165922884445075463698157474758965507972624416220851547490631864460928120274",
"4841295965029310269131159139997999573808557520220068095025840725482526393551069351586123101799901536700951690454375018929937640621457283928041078524510640",
"1505422722179763187700005619451098522547490598220544422684396426571198055241439798821136338572121841299113881532469225860868831875657009482021447770786536",
"7323604910267350276620934967867360059339687900917266567333569246788982476295072295133345471952570333447141223010832968748387085293770754123922743702017578",
"6716603230564946758391056939636914189539078374691781726349585180660494105329536419641124337663809273300302917518822429061913425293471767163110126614065220",
"7533127565447718384645685138653967237516949923154609484408986848941747920120676223775378238375004627601464949907080174482629486626915207712603993137319993",
"4374260786532160868277942438743466120728458332456282148882116283982346632167920186213547842392536896139454109264738893526829175174385364447599282755272977",
"54456917358716144211704479836564591434240457061672040959285580334363581100855124696849379065021342631038409946582693481835573196989846204082563222798515",
"936708376097252101808047789647299171829538405937980063731817841796384808991744406516266725846319681538985498155719296566087402766492623224048722133700382",
"1050986379192100894010968773617932847933983624262276660545646104897261323972660389373284371783804587333379263226571822318791311348081353099509209964149102",
"3313250869488771552334953032990029774015440287766220130374664875396650577483875220136583021074427154639621377611454731334858161857135036175528757345937827",
"7917243947192948578942408758981100642477801052364201236410153158710053657508369076267834313852617641622695419016326351630070442545584838118750332538666164",
"7474014997560118064133027923338698889259090478213481629425024856466069586913365303864535464532596692507018513911824257506479071717771577257569000559869851",
"2588430307545275821711812445110010308906853411505302253638954292929934398229364287385155303419396186979363304306009585752932446436942234576124009546152897",
"7846970917246714899935701179579035246715492140714828603712484242172658138273009010508761540219592379170832163610641192015061473815850450970841969814235510",
"973564067100656967293296590368528620664294886128636236977585835979222981045583430833965744379830662105488846529193012198971333494148337406619101710102279",
"8275343167515599725054842415184001571816776619832251720256657113450778175787482969817789460035714440310194219000382950903601023267026324259698898311075896",
"7813947984222677243306569790959511341616555120141104240495931975383807353276600768710025477136542000849003484383207405953690163080679390842949822143247384",
"6195957875637608247964334797826909521639793934721725030492608262910379774544013425325030543902440157541469453039659151326143842680496774314376214070949581",
"8951741171756327547074312393913435239490719215107342604214899689513422456156156419103818692639511193412131494955780952843619300551331001205870507369360854",
"7036806337149391321717566461015148636658946919383486553838330178886329311096851031647944022731985983530475930028211259747435204837776657779054604480692333",
"387901764946898437898029691077381952753461248424038231747282979821624924447489875180405657390453893074904280518462922250459769235418085439009298341781862",
"10016330921403725468516771505021772294726009523741383747200088093860825144924872568935141849902978333289853072583064872757356982868882631906681010305220892",
"5876124220549178763103986385824853806139992351269664443599320592653268847826580805827665302384360380832032839758929840628673212238038039708597432762342040",
"8463507787306890180510747729257305038429755172573606901240022527219030624462843030983109349733509935817175786710326034663430012135850625920736461255765931",
"1871532838827414120052578347221229744584789720925630264387160901307539414557620995699552056752646250630332759240378213114843029233061786730060686412034923",
"3008833406628211007880794178849279666136781893464903413628291429133381008179494943878649194943946739755663765623733551601268468979170453338223853952629024",
"3759786399005846977824700889094059273518743069341264897164229167581089152327824562636977006757865868767011462493117789861652327446964628402074648914299737",
"6341637198079869458969918902227856026544562492422895885953316269104778934033105811871964407621069733853973708786834930305159370028592138091864652430273221",
"3861641770689320677380488136343299175732768482854311875427235672559525657649387759115430184971632989521756322154273240423113690363661278299419063050342029",
"7660295764542793426576108446094708686565291085053728328188079429737829941403507486001409375540676052186496901253401709180012696118243017944139483438324834",
"5229127293941595814771461661870922506895187481373811921319879208460990181308779597882917013187986107609129885160965560627313358822170234417503305186499430",
"9199154124100696222690264685762209293027473613593865297283406529497374132582102162393017350152748817939862117022285844241088475179662384687902257442146881",
"357276921527040222933898884415634774566978221195422557845984214635574527980914062339023665307652144301359909541153957524569212320302109297451185347797518",
"4459490073619016858513984449992703279076085337448809839886068166549407762811463683891895070709209752820165307895807066786616051063429243271447062335444598",
"6942013001837635025040216977702889123863395275150383957141503418326133585554885908361036044626189269821809872969264907734723255937944590406335122162201895",
"6148098320635271514400500939566941822799709639570135234202868546105533196681518677719767696649280733854873082179980646162131805678309121137264439669126572",
"6702124262065031321488441388788048130466656173248253521125389474523085952531194336881896695655835566035444349416812061323857423421937656048170958296596031",
"7659365826944321688220565327015643198413315908905022514353319380515656939225113369905233089604668477859380504372122113101288850169225934680979906849462173",
"7974824953716420936121126238472882764573338584113351582384053345953982301175261698607060537665404137551885542275561305215987333589263308733345287375316187",
"8453637775652628030913085368104932891430523231087550176640629047261470604843309048419895315948368592370108577698721628344279374577822558088170889028634834",
"4214947388045651974616896956978720042730719857243181406886070839100643593380603628704217265353242776785002371447728414099012712090959743483413907432566821",
"1828094447290800990681474309751093109219222156508162662054119213111033494032721669152717899341542810072839250384761435999599548849356691994673277810621214",
"3438153724210160906739123288817676196829800625838117164407119422205282550528816546123047351853519833717781287554505425700180899829742215397952204706292268",
"1564939135227401637781113757081512311598368614429079792612066202584620171879914564488707141290309366327795801062039092620512918163328909617192697219231251",
"2473075527836987707802497369933171088334377534461814602185829742629559110198588214800358563604761796335140811506434837657449627584575440021803410912268300",
"9743600362129151884637776411066179061805852398537453326196808620713317919695834572607547046997968880347452176098811648461224610902804688299511094699411976",
"7481049523364997707415796586411447233209991778694434889825964733981429788534049972848327202598581811711940639122120987261213383994256195089166721114730493",
"5562717503540958621524937507913887812117943506095232711472714395560889531548685502399167502079881489522179840969607993815186466007637789483282054031502585",
"7135596617438908369960068907029799670250107310974212620494618518519295422493297375817927882146399816964369503604963645670512679819644644548241000977357261",
"2078000270255994680578551215410578549858921176443590973867068543262447694241465368173921670527335667623872537382848429187456753583917386864875079942142637",
"4698093809870260222817205243065130512702174108062493739245091467688552154443675310201737317709771919847216297174157262261375198434115709875539769401914360",
"4545405215821773669734037536771711424904862953063559231363386274339572802301645712924726374627648429215911890674155935644486759705979122185175645120728215",
"6539664790506505825137366939335014684499548569082722719101934413914503248797745175993282808783575805274720063174050411685820727580048414529259054863365717",
"7288589658291624153330783879682975759085277516976937564246946114477559441510066694661777553882324308954204658160136254216378457594185305106798896532758277",
"7203205489930569831689259223431308061645157347313251234979650904191947894220361329985754059652573652276044165204236459061532087430876671020900027399796820",
"9573856564007886155063222984915306308147929292572628867202687117916760172510092061563275197680362861795376151064874754586584634394797429189058892409762637",
"5766316239048363485417192300286224554841652312032858298727055376922542211164521029130927470951145456616677039368177756898800121852058170559523514212844527",
"7202302141646962795924208990296541398762948754472342584792492551356643351355144614576221341610455796086249851514221348606683685859536309574909197617683581",
"2666525110512972331506626026296667325590770351741015422462517366139110546464279672860333713840277198605065869445914813604042680954943085165267401693834607",
"65329996815450668741599001144041227270598889473645632775040448153452553996373183849340659872670790169237322313210554060993461497775529648168325395528380",
"9389937498012306702219478096594827132209507110635475654267907177036985930895700402831767222169958988380827447075697080837933882159714933014405534380291140",
"1099304994491185764867223375052237377608979223161653265105166619990268538506926048463014949822116484408795713041835495092298250745411993668637083996543050",
"7791743429824897144830465535904199101352149377462792834007364819059654934171839722336887082345592477142402586674117100624849827909123070318186737290044981",
"7109878012329967730146328522812397457067654321367381603369475522543755353853126015861665493678816821413936441690704844474766531180802334441756966936444894",
"6536849549033359812760465888956992770350747849624689944875821023020817536213390306787760521171715856810101515464853351117053122357902991687324904773654117",
"4867660117519505242993171043112626645689167036204648962279168816660506617348556309975797663941559912762190471543447747486965028294259449798198356166566547",
"9603976898121404121392547896515671208695184195879028780893386633645810763300126238575773718814347830955119122073577087318805216273108216310978648783728427",
"1500296421044835086261633715664815178369057624814428758640918780472553771089555569996712874298847355566672333576323165540170796131200680514201634840665769",
"1925979694292488299838135953298481065737924729715793356764221721965923192347198293899680346458996724625781869489761147248359889089982100369497437390306099",
"5702535481944737304326737855342473604001033323253700453585917476733367225525671075257308038240002591875297916162448317506694157737966754208280207649187252"
]
},
"ecdsatss_key": {
"PaillierSK": {
"N": 22994370592216935828184882468002827742803587653519645251843893634363568651696797131685688908508980027258686700297772744465973777875084220221937872706545538717284884839060943164641253250343375714618057985646375887973965210317938761451689628659574940826155386557189856304339630566365077968748093987059797023511286878859254163602261500856658068078038438955043548312406970771151429582789631278507181149978094275039307392720674494856550171285660767836651169754938145965748031208006944761051997782757745201231445155400920601911952091636647288296050338668603705459490932064252599406127071697172636202680108108145421146835557,
"LambdaN": 11497185296108467914092441234001413871401793826759822625921946817181784325848398565842844454254490013629343350148886372232986888937542110110968936353272769358642442419530471582320626625171687857309028992823187943986982605158969380725844814329787470413077693278594928152169815283182538984374046993529898511755491449930787864441448882879804323134048290989357452488389378141155687027153677974333781159585008961549225203679742748341189883316932314470031877461965891077279024646783507650392482277280993342448851552774910913375743479740632807828374808080598102713024923434013554532167464536124535689274460319253792070253078,
"PhiN": 22994370592216935828184882468002827742803587653519645251843893634363568651696797131685688908508980027258686700297772744465973777875084220221937872706545538717284884839060943164641253250343375714618057985646375887973965210317938761451689628659574940826155386557189856304339630566365077968748093987059797023510982899861575728882897765759608646268096581978714904976778756282311374054307355948667562319170017923098450407359485496682379766633864628940063754923931782154558049293567015300784964554561986684897703105549821826751486959481265615656749616161196205426049846868027109064334929072249071378548920638507584140506156,
"P": 141672659925115846098718622762703093078187041674589249937112334473129614075158948669139693148908002879868074043493072167891021525779555224641695840543381666609485256345337904114591166039741265407964414841721454722893426284675332261901180463309463293999665902786509623885078094518034743941027532288760001869639,
"Q": 162306337753318873265016474286718716863669934654054085691102154366925914407116381170479137659168349060988911317695926006279383126016583671945718990462982144580496658094591556152442062156017250925777635009377320437571705870706340377399542044098036739441419293438980717907064530405530080190159937349077004459763
},
"NTildei": 40400327315723497348080028989877420749670410658248745948723617765456840184519080615542468928971830667398636788417505782910916607869906980737912671858051929,
"H1i": 13489538972960292322842873465356619203356543766662775664808768759610850382659486083027586384278202263750749823713742610746232084088054223958579266643698163,
"H2i": 6035230892172478014316160562767497327603339883364691946311728327229593385208404696479695511608254365877225063084350089047822148331608966587555767822446716,
"Alpha": 5061145958641942284904948830072199253611224239234541649976957755758818390963589376464068547149759270941803976361975534920123488365093054858218254569317162,
"Beta": 21862,
"P": 99259708259663365144301508725634134447661758721052572423867219319531421973053,
"Q": 101754095453404552574086868428265792175006820796984068105853475188623622665373,
"Xi": 11259375,
"ShareID": 7,
"Ks": [
7,
9
],
"NTildej": [
40400327315723497348080028989877420749670410658248745948723617765456840184519080615542468928971830667398636788417505782910916607869906980737912671858051929,
40400327315723497348080028989877420749670410658248745948723617765456840184519080615542468928971830667398636788417505782910916607869906980737912671858051929
],
"H1j": [
13489538972960292322842873465356619203356543766662775664808768759610850382659486083027586384278202263750749823713742610746232084088054223958579266643698163,
13489538972960292322842873465356619203356543766662775664808768759610850382659486083027586384278202263750749823713742610746232084088054223958579266643698163
],
"H2j": [
6035230892172478014316160562767497327603339883364691946311728327229593385208404696479695511608254365877225063084350089047822148331608966587555767822446716,
6035230892172478014316160562767497327603339883364691946311728327229593385208404696479695511608254365877225063084350089047822148331608966587555767822446716
],
"BigXj": [
{
"Curve": "secp256k1",
"Coords": [
52641354787079659835760017335606513692779259671592999628953750318451309889461,
64568943818380334826688611802596472118277221273089442952338325742929836584950
]
},
{
"Curve": "secp256k1",
"Coords": [
85838300908374182172223244166612729067673750662512913770986642191598960276644,
91583212174410800530963879867226831727444534666365653151168099175602756224430
]
}
],
"PaillierPKs": [
{
"N": 22994370592216935828184882468002827742803587653519645251843893634363568651696797131685688908508980027258686700297772744465973777875084220221937872706545538717284884839060943164641253250343375714618057985646375887973965210317938761451689628659574940826155386557189856304339630566365077968748093987059797023511286878859254163602261500856658068078038438955043548312406970771151429582789631278507181149978094275039307392720674494856550171285660767836651169754938145965748031208006944761051997782757745201231445155400920601911952091636647288296050338668603705459490932064252599406127071697172636202680108108145421146835557
},
{
"N": 22994370592216935828184882468002827742803587653519645251843893634363568651696797131685688908508980027258686700297772744465973777875084220221937872706545538717284884839060943164641253250343375714618057985646375887973965210317938761451689628659574940826155386557189856304339630566365077968748093987059797023511286878859254163602261500856658068078038438955043548312406970771151429582789631278507181149978094275039307392720674494856550171285660767836651169754938145965748031208006944761051997782757745201231445155400920601911952091636647288296050338668603705459490932064252599406127071697172636202680108108145421146835557
}
],
"ECDSAPub": {
"Curve": "secp256k1",
"Coords": [
4987747227819005602752288090717028984836892407958009406742886414587782593372,
53559731419403322019653045222107427951476747241116384103153508759553694692925
]
}
},
"facproof": {
"A": "31923057681523300659812763467296007409644029145322685995572401763889264059076996117762287011074636363930116675398165611450278230202184884654572605627761084",
"B": "24715183385122242642418101973761231979047830379189021129920720718924113073749884982024516832465922515857397826565351941336854421487830040758500101423062410",
"P": "13784383352809789414819463387737260802498962890358100729959273927830443981433398415710064280118531188931729035610897853322128857256771811282279142534679150",
"Q": "31072462193285942305072579075009272327243812262385078604186323583811529932771948702215547509536475909945632952391986041515722164714941402345776861816697534",
"Sigma": "13498538083506842157554920570778026669222454541350879125055835805705603573332859556667623734175189548520380223896612268055060383649435683619521721415083807999825478176971779303312870674037289654560426758245249960554852356982979881766791685466743034369413866333522316423925858746071719330360214185625428262587622612644782800050875756824177870291916424083460162829417139272124063400607646693056174021103440385114263014988958408032133170261556599679422859538254544411703841359467269705448250982500260778545297205049482044788403073724241328960601930115901514548144353898896906429304771883585518097062774166450380065798358591503859767491252657531078458405224218795505446618323087000020652417858574379809833889349636439333649148804904979332933474087108655379446430713659227863824521831296183193708149693665187135710431977140129192362388037946763587214665",
"T": "23501515459135753940407295708446759203673038513150593261187109509723128804743430387673487610183906389950896511736908830860835963458104722564167469664700314",
"V": "42249942497409388670113780961556779800759305995759737348909307329570398172738020610980781461187506751074947761755860172469007114347690229183864120636840254347790471366636281448569900022484381558449790164057853743937596492753829392697725401882017833018199432882237783683292594506985671970403956908264731856631579341339990555580226290051037135865062194782883816695695043045054561600079083300793254924880275707926647157022216949651951310561296493491065986471839570541530605858103187316270129457289455120802534325555349170902489647147665833121040070437883480526527948214536573924488484684088538493375681490161504324033222028762835265945973346433247284239761647915602578112788801445731168963459660406715189957638020167852917554569064997113680222663139338034768339078749044582448813444597498051629879606499845006300726497647161025853179353610012623855942019968471286654286611995945933616564154090740926415232681960213264552901885102640395897709710840102438108584704752589876294863183724404916869775457419018",
"W1": "19436396488944021830887609212693454776244048722742555352612567664257113559158499027246358705443486262546366275349025798300754833958877847808742678938062150443565879169518181366735243458652489179053102988594996296313977775451636982522644174292686542990813718288840911390613397101282442978131165219496899228790647544478925675820259118379823222029936149923938521789308016158568703564529020",
"W2": "36399977350127749349620274731353822709649474814481208378830694257902430287969717605995131994232693611387797401029503317502155771066819414762434595030283226030360108182789001208824636541461124481596090811426584156495601398650160935558068815495843792542580596070399066551953872207436326846984069362608656472007112559884743958009615400071150445416067828056004913970251040635452114822406597",
"Z1": "198569223109921847710662792735311687354034285960899357889878759221846532539560292645965545023893114030200105426089466098482619615872562628634263198852101401436666642571660331616947319165331182424265644913523207917743702601622960456326934209555650166612986693091487745141177732625016400265905513767483571782710056182029529846215626475582669387552444120008770454663796910810991044196106199051211176929648227393822822734964278094892737765165247974328321035477025112503567171987769820743405933563041454544006866531430775323050840902318453969520",
"Z2": "564306293156969367967210765813128787157199241257136434039959053921103147590771743600189598404363036778142804565498144912564909128495912355684238485649634627983963842975349343453189660259220453760797448041262207460433506732530983679631977446382306178528993550846927817249235651245711726774603876163518391052752116248566573799312247374106709635138059474407000066549715613423405186414560372740027347433721844930918916852044382414671015027030869044333859191442884012191302725379010507713879503936296625003651449678604798520627925661732903358",
"n0": "22994370592216935828184882468002827742803587653519645251843893634363568651696797131685688908508980027258686700297772744465973777875084220221937872706545538717284884839060943164641253250343375714618057985646375887973965210317938761451689628659574940826155386557189856304339630566365077968748093987059797023511286878859254163602261500856658068078038438955043548312406970771151429582789631278507181149978094275039307392720674494856550171285660767836651169754938145965748031208006944761051997782757745201231445155400920601911952091636647288296050338668603705459490932064252599406127071697172636202680108108145421146835557",
"ncap": "40400327315723497348080028989877420749670410658248745948723617765456840184519080615542468928971830667398636788417505782910916607869906980737912671858051929",
"s": "13489538972960292322842873465356619203356543766662775664808768759610850382659486083027586384278202263750749823713742610746232084088054223958579266643698163",
"session": "ecdsatss-fixture-session",
"t": "6035230892172478014316160562767497327603339883364691946311728327229593385208404696479695511608254365877225063084350089047822148331608966587555767822446716",
"v_sign": 1
},
"modproof": {
"A": "1275318607446331228763567",
"B": "1821464698193204003088626",
"W": "79609284457847019630066499313543376632492911181515994947672715358548206145911305314776901823317085702936749648972858158293854223559488820148528506091607015833455930063899750940232303622860559235317581980264058338963502663156365092711216747345919890603145064757386573376706694993051603748542927042535854371262",
"X": [
"48175234274624768257946923318202762185515298365790267723428528584298221704714115704621823746431694595514485661426775540596667788922366795579012105840392319128933276161942471180211617528851154383237263701950359340892823894337974777690626289011405057273162817873971023844805374562052953654342656475039973565303",
"55071219688246703914887417475164467506424136850701566138993514186034378745959328630967791967496682556816145224346546134572463943209815566617252300273610835886465505402240510889938497653151186706920148793036995058632590907424005423110712193802715554178492192476987501327937616200880232851846065321019699311445",
"116351942275993629291687447513834816347717706374156529869798659549761756588774736596994427019168028965613130349309775787444198132194517650318117277992815525524924913712225985595887255248099798279861269451107057074107160258113310583436745294037706146070118952532949804269855255481754796647146156752642845305979",
"11934169473682603774940675121011904991770650838303229035661592550279011537438416955304524536898548684061135345741972150774468846327009600012134213370138107193027712643438505480693843828594992948115829049240291810083848390240312436966319738537155915819278033205376140372828787888534025249123152882465440606258",
"27072565176586388430204668777620123842210394117280040595990769632352898601425618353823442175042454004750189157944317205902368120053386485121841923688552927845467339818194798697676208099894766121316822382324273857886562505573669661107693401892770467166376261971143464975751969390199134632211129994735658173634",
"15336085581124158541824063962674844176532711783304062364301834557674894512210029607055276711489579921343098894848684488235270131746688359358500471910196142973612535438568607733226640763262794060881971810032336535715077794659436757541664756277662001106592882695087847712739735284845803231159475407891748186182",
"67547425660188512928797048090625378822564648297044817546946680879988781701839513944960643349843394853274876423989761086479007651796155899315226061538327253547243505774853195953232462843955257930994706247515342888122496611855799100280116570371610601102789570112556656673350299563979345869769615270409771229709",
"58688476910363726764185836209414997071219749717620423837360272163544941405554149436112975614463159753622343522420941832518073299032868365691702312036286621393530336990802848859869017761230277692036500629692007007002845043380611913926570611921201252452762817312955149519681354171276874092075023332087817222463",
"37158644477504589896066430050577998369151801516537357451026469660250227994859489110691244275724596713393509577653541125801264386687310565477940763140908973490554800095660638966812349198431722852305160092061174281784377966980852034136165584760339206863400918839458618969891789485773617784004192035260230490441",
"84877537905958600889271255100301583772689203894724113757057983206528980520733187649623870675794988985284702628933694034275115423592347998288864950248670333239605797633769343215164238734658737266091259419029282731613392044241598277311582781188132911401815161832951959786474556439905904612404110861164622581849",
"74026489081214661416751222203084304149361107814246313741952879528942676113592849616117617302847511521292659656002368415227296208584249293305911353780968381026618673421257341175129729424509524510601550138012838754744765259924028870249244063026642509624539960532767657375538477235639522662636787990825650447300",
"117749623208215398673906022514010597819909652556408341337825356460568797195874649783152420352307190066523039502218250631299444503942347535101362536774164412653861147030703723368074174469563291532104484461944171471939460694696158151296656648933289621451831905789168904645643370793397863838323111775419160351718",
"44499600441498932406359841723915660270447357581860789978462206922196770275054053372714862355203430063091472192658521527638129859142006767045811630194473077698699022944485679212796625351609334986040471046832623393262797688691751568775764691008071991640663403297780399062684216695920185149777000229146643982029",
"31983386455677452880816625146243944561340579625640205078969608597947575488949619120896677901274932324676561667192048096417742094963122065067310075318400813907827252747028018661398841224950203468632847697321135308660036004764654946849632828744510632377738903721958143929253190017158858007085785783597613283166",
"69410730737627824057617489598447957320096928637290423589241038116520977644563622554672915372911031469100090621121144997934219010131107533326041012084674531025000725816422009902265801320169220898328097587483572220446137785520634174009499309143686798779532503604543352280862506895467585164909786221164805990277",
"80227787915204906706331871824959154394596644146969879335131043873418011439459785151458747767697065034691160418595412473753788218622328898937546922825323247342637016086675537580467968989860676775079941179018763009299158431345655922745093536415640470188781766349565290815205979456867040216990828792777631505888",
"107992644170520628218228900932684732326307894801998769338230048966973144492030327072957592957079905461361721827647353601086242600381982635170927953594481046974546447388589039427969849617921566912590488564006982122616275202591133461525612700819604314963196345789338004853518939936381799783323485647798255539205",
"115175585763775263800421697987560910051662553309655257112958961965429148293202926569005176779239736572873545423200292695514633788212121805162981026391760234620964607041428976102837264857737510914500751678050626204594925594345278492497975791163577302434609399555117765634153522925973022173961181074810438880233",
"98143082622739463707570078053562768248932758645750983924294470539479207948886391682651888008181163844215012519911707526938051136151218774831006838902850233147654604161305370746699431081528297204554945522502016885633582460612795626199083715394746252686542349393491927601878099567764930973035078487531310221768",
"110640546126508116940845594230101168955624445692821610116126843042543174165019749600134218630318475367574501743950683502764923458641085764635618140814967857577615517163406631234332531246282604541769484479535048681872898096313079382656443574202761391091828209802994146820738555257216285109344878222916489461198",
"9734125749345208466794019624880558422852386548398148121089046051644032860243978073832175820648517033507413562015068441974697957358024668215153023730770620252837385780127362750157617352829828718885403569417910273456004834375828941409714790860332076550280337812301678260187198681588353627611924654413865546522",
"46546060137274586908602734555441143576732098910425836749726535248682637796487867162155771816596636980806440528078007736157318172695066661398020800516516940609801228560864260170804021123511582124062964366476277105954800305241830865101268240922303300076853138398387022355274352168490970894374785475297099458094",
"100595805878501064943239847744579691908575104383114731127022058104539749284398096666207102997489206582673714590212402244068089515620704494589911976056210403697453325125535481349984108418815853068286237252024305549201865400913805081732340808546390545972535465601713338995899229022071436160270459888444063474413",
"125461544451180332438312374102477833668113179421915239332963124117287089776880799824852253623038514829481394602912864345815842017987470776829768168623693768197019175393453483312423172982505324928981069655903056910694437833604375076725023426823769292730708330794346550095076895180193590451993042423680463974938",
"126449134452811095539099361416884760441263326842415158356796683025693922243564879617435468037379136946659274415098186619948487540557728939144261818762637235375328209630984926070218366907388426280838584500595630666160782313787824216649169246365423169775171229489485890560938574948958622214645624576955595733463",
"112178971894743990711368287755332027286038026849631984749046538028840612540496004419173181530542424843304035778681635199585105808074677050087663930660734224684770132136614037384329158091212800268338098591858460780995626283407198228045946508069949427036046547899052093809264313095734669408616220890779841563041",
"135056132657642074982912328023267676188303077129322945722013588218544462546620215112522714642906049406268962956616547696708935716250306569092578463357842660940526847476294691100372630377628646394845863014375526922083910833005237427046181820445956546741386363133024308974840908287111210647774186487217966375942",
"82599545534744986585424351006432013351370643967378833871644412662556170924933349913542727844727145006622110974446893714805230020305231085459592709022033467318219105046155614644317190670992732092085259601524712472606235147805113508651391820190970624224933849566406535830898249593216054969100725769585618302305",
"63068686247921783913523702618073902421016772354205082134503935747856235791411609954211946370125354255003666289418447583884065179637760968518536848493942333365877412928510136833046762663883500253819936600915528844485254411367753288420357340003908275844249446902184753856945777709584654330603092271725873334851",
"114799339959060769417689704397975251455044479350870875017034635927787523928137708281460831433609598729058850241801271268226822361953117451642960972742827810528244787276263491791202677188041142645855503315097481609531378849886688318401142460977741492108552117919138793313628727767080874276275111857472519800533",
"17302616039034880364450943389024923835743083707996424474664862396144596271361843395198121620564869003545851354923542705355302831160244825989950371983382500329943906587930790920610719636825999949470487978719874252169529095899173204000668415744753883350951473689788347457070861057796188483486451889756310737843",
"50420201276172934892342856965610979204630829139155371648937151060167463693826286961510500127357665257370642800628146060524459279854981687627178170544849120671218421697052583021350422893329740600371545676775319327014052912917199723592482665889599632726369997802569824892152758129171423182785615539209085674677",
"32839974244399384683462031051707639177790138668149990408180141972589328239183022400314138235872082045201311984704492912072912905922424960876200741482457861138921072617252920623815473394904316897176692609031067663200342285481310426969945737326018892447098905945624599728913059078397964656475864854103213641103",
"68104372522717242814413058078185344846768231844265498803527377493512144554777656989739221842478177978114620213709206351619021554593980908718123387149789925469481063584387175490173568336231408782089037502981436379540514832644249567484549972304888910567179591470507722855896702490300331462715341536663219477054",
"24810432279308396188405133611426139789429380600542839756717284204098564397382821049381133805291437842142405791301753872446100009330824758739971148757986277984890437709019969849455455540283398991791659542896557739099226668097964738268134929670193141023453984464546969724758444516980534360176216806646990029386",
"51119969484422445725406944425998725466370554557612408699840102980874345594188761792536036646095982934370658597227592605366117906913054367047761381319124676204271966228739858156673230856194649770939075940540358051549713891971749616804761885615604590850562438264521672034854364250357219613865654449021809243964",
"89733493288701876272824884400413567842846616097803689176981250312328215901514234136455638497929834883551239214155402535286304375100133071611212168156094645860422443990281488085529714927272859529827824838020882606531179465855755127719441511622253606735838967336209192882744675860759225161901468059818612323215",
"25315274539043515260204580897434220726345587309244105253550153838826656882473933491090163235159144567381263455107316450311254101106996548221851220698002280676602158182918398439133037614292206639292993928903046085453626116049944178709427202019107433946114228631207280173698991526531458930575546470693046325907",
"125235682369433493927369596168053814507609428997900499291055792934123053801568540875981210523414816425870056972009599560350823277227218448854388546536691756026841375846595813196564258034670405372058971346348793964296524506775556772409678583248565904920311433266125256223550146265324057030578145357025774881111",
"90014855481245614693968934378613327149994137794895902520233616688965735045635707047549444843481469049956158857915964630166638195827857003056892784704036650782876840121901129143654827331056893107230274405427486662221909511536923383588861180529160752344958043238554112646739482440656049514378086865954593031431",
"70142829292843319006874258542626954012538481254100617670936239994719758177288492245033677874177101069025719018029762191028440986002355907507333773398765334335790720924560159993967807358393863199073449789886204951868614045680027074024020280773266324513507938995186282553967862124595313803608802993235515857023",
"55629216523272304439702472992918573388726808832752161624825084453880178487864867961602216722363516006073083240269058841142860931079728979336166134211207697871152934792412429516104482960142915436674772284252003297112236587148173243968061287600560926667212400624420624530754344201358800145164056933350587172886",
"83146081857427313201222279638424761229324828495404828866223729490381541550131268238845463842665163400670619167375447979824199394213886304192083384527089185382050757360902806367701888894932430410616664993873817053148311871542551261487113056975465938840913904547643077216665431121088506313887258979206293999595",
"38856119095892112017221989212757089924642146482382168092176541747704115023672840382272663044731189696836327954843025729698785151342155637003316619120039269906036103909402180793805646008882027347721457723514262031960627511904876698158162619506717489060636515421082373788675178928518545746337881145764355949621",
"129868518234221793308493365372082887675877604913091857196158555695721102697595435864894729205926623486182195674357434750635324859104844797721948002073256506567850703468093482476923035011885843152701686189843036313471431894795588723337176881084708429253930147014978272317461639606543437572832862031141871256225",
"25017807530858882537944244588206989573432605862160180557619029253112512867627775143103985786143558642111878825265716592525174672556909218004738292196417578798376576884228545129450434946440240058876764772352595816670757325154925247347394049320123361849301622219107922440611303640053312847614682971856909938432",
"60285206348734267527411517376021596269163705153595287377644097396285569444475809569774872736608925274922485122515904079422611267603523850416923611878092487496133985705256503420381554350619766149966385465625720276387007286384507714138701882414259227134334699502358871862267525288085053478281658856554402163863",
"130976224896325723529128252695604040004068704961360442263570758343962172086425366653732432256959399630415350896533176445169984246989983555087774637927269323196144106139229668464424770699098888292526269245609339092641190035782904689515321874329416805399666707691685939143940403899753393005778977014432108747544",
"77177528762591396584956790912352814910617820095751542116794399656983605883128910675962935173174702589663231348616787771513507578373449818945464090264081199054665299194339690225449305428824574440607858871516326820002561121802072611689005663248480267934222602377321227365568348558415929249456622801047620124877",
"51614376874693417001618116670346964503361995697567938549237834108817675987880987707208071101576046558141514961414424673813324852518779446376598042008804543163612342000890205288049406356932568015701295595801031639143123092501063534498708188593336139867375839719735136672989564809730031733789709836137372940445",
"84129202928934330481826616003088474583775242993251746872140805481282834539781486837407331548142972165689855420316329789505743685857713653949884701719704922533219114885542970269346704017708645240467944336967751831437077417515443153144727356849587946422539785020387458536342773098303615837162753931319989429741",
"33690773268128894502405055634018103269523323717801881043179926741754498617502798997485206646943311730468482528799188032382191296706072107819646806228338645358513327175617635086141149875343434585725238729807122537793539408962967976447591484538495913978466605148307130900136421324004302282966185532285105631985",
"124205561532429274868219009850550313742087042272542122348586977707598830964952228466486419273023902631585422013348820370354032973387348524434183209512360612257544506366378792941242756869975655974237087951727857715502827562087669600801408085512479781805696396732038035933197200089831085873451554383433611851642",
"65246664752206816546950985987046215227382424008588965333317407364976228857792771657934544836536444047794961311511550700454738832752663933778713292645625618409037098753471087620418343446702868877986743588628583141968878908743239602715921663995243003860817745393309077177075921561198880101576284258007035465823",
"92564153870985584833967448071516871184873939205407684024391062024687766689236985339218646559101306416067140998187465198120793081277268862681081485773053189348754847464032330954547930493441899466997711715547390541690089786121480684500925449932766593401961550945123658734913431643712821183560415879332700698272",
"103831414504613708952513903980720465684742821264668959893688860758905954736971783167950907054762520055748328002152876221571586994179142805108652824934109587033689150394506439115414563036245312480993031929940507126678931208888446933361875931880830048646433771950547285712221842473393173394090140697607024466398",
"105003581900678619001204876506041968804210237328069534281969087714131279236069936022374289144999381048089412382224965769567689484953692376987355258332357584298338384520873814627219555070619802249290355100492557634285603955362892850090451285249634384725805538671538182509544089813496087492442263643723683929844",
"107526360004536764754376024354278739068398522111677672244423205959320215020571830785433031809458408938184446042390780789514857473767157602670953777699219980863969272731900003837358400412797138782209990290068835828030445501159628278157770564442576515676646887049234109343721776451996935861090150290476122355581",
"26926129645029467485095304493072714440738590271709682514779931717697848685249214365871827962679442823998813666497555676393590122462346225510632389800240732660811692920959610721373434167901023235394004893583417608966804630921312293091473417033436109946658916134560223597379712331008170888542569477680716573813",
"9558731672499875401395170538447840399039463141629521145595906080581375356022442181158702752639273154158053927677106595750433153920838224771667315378454263851846730401316451836181456578869456261786453687084138730543890415645197009010961955951477426408890716836623568350002177019187618157283286079378390943767",
"80242026551376050672683288289702650562849043499698164516369117346070599912276976032716832298645016797176618318880701073188324024082670669160348644114198834878904431489762846926680345515236990155668850417848525784308253416490524178060959139504063529476159489829973622875206423246244325311120607575587856490536",
"10641383250540293974506234429734612630627811436302290285227342112789016125637503403997331481595639295949698527975384600232984773385722844299070628516476559005484720904499615455398382095141428120145532706815617821257717008424426007750010472367701440305552219069067564021283428493536918699035993777072203342484",
"102503423239930352019898637614983758104818924328664191524036634933266019558741000185385141725921947141688031318174270393867545810963053436743873361720939284492570021629823855457958266331269073333925320149423902602419667038028201403368688628831692325820151375656130648668606504284556811067077331059761723315262",
"121069250844801611282471369445723661592714251984062410927072208580351557883442533360921813491332233354071314512192478276109573019635954103790793273090300925655060041987654060582048589818687449620789863771481662986292539706315441933703561969277350666807486381158513559286355564995640586965130637910027015788673",
"85291160604521341319302363517622538868038513355078928485040753750417646869202724382988930804313435551002091881452458767128220627914278489260232839938766497557664921587152247700870503300189439553439642669055191391555962908438477350105220495172587233585545630448309844638640483415607107856901442778944463001068",
"20533426894742870305630176339405936153445963880909940255566464017640709340073435654577369925056128217456231131328181251762144423972574672798168130550787956515197162773476592031656184270304962086541170156972632261851636684349884336526180770094274828460768552155616762602563092409930602215264671064037298644497",
"18672356807405021094235004044633664634826921116192456603000713641034913033034449402801885955329923837735350537474139828385682806696203458367959167708791306098168938918637901692296705720297227221762645489170500454954388823244467181123883984485940579179477671036873123772837058587233274150112495508644681959963",
"79708880818782512444783869753776666380538418324557544407196136616312654168012307868189204211014306825021330377897907884482366471709726525568408469742296040852963945074120552491241298304458758443282495322517290450368452632255591446618839781258387955870594366662576192055416226818487920214688231108213177803170",
"39617993683432400735856195687732584222594371819865313085041623161405442043647549582879774537263277794446311403194375333781914867442313498736020269993200854007499600544815921691713552364842278408019820793328232679311624796838350584426172409495633153758997147527767439603679310602586629696853422865801528278197",
"20030513332070005716393072286290241548516591973605939608748666951258846123291133066592988674026207675251303615588045707547530272903496480734854404692980889186570080693643027404990690124887195400304299748756591423281093361178819645499360719989034481884884610476060586021514918093883836909448229754867651990840",
"90829392651499071293607600688010636468565291099502912410779477494250901895031827478801624568136611733388315485519286073499734064393388681568948969282754585148537129747821802616351160193648867290709598964549839390572556164601007843875492085253337877495935964617944696384648528715455495118172862809436402317754",
"13220420488184287861795644881118523428365361972430214879287721858894514794904866848002441827188589477348689943429660202736193825599722495167539845484789391235115257983658690571037404222968000057166415851093589437795678150434269657315464640233522748681125611537499333862968252764433834646208565363867872536590",
"14024690125850504783512475842876040294390025512194916639001329618156644486197557379237982816789996241762053637040086908866094427960922586142237210585822898969119591600975261682918681041444875491084649765075157148681795786801380494007321178251189228136988273565858213264058642865973801240899981422067233573724",
"132932167506324991283022078224731766504563520783126923683456503412245746964631654160260056409990700628915352243573665393477247474310812910379037746432820203049920641540212843601206865118804145829519695991173788351745310116462548178492922798010668223732898705950763877264954749549669299321126530050238141083293",
"131482156186703961909984395444207652357086315887386315399537208127553279999247100239589595186950680218992512564612744602464715618459884227910193150610772518803380546572405222068385171176409275681407523178244789427540723769727149676771028933388169406036160117994924530348105183691613364894069875668393631354142",
"82151485599901192961597804880802468356289890515741181170269579933301562676844694068346480331399529528051843308496789869625933228098596365154983948663457296556612609661501050269995166510115673647259478241139572254963232462125344114480732488662605651844441687992007814396299856722640478775534858879867007925673",
"51676748926011866725679226079815527702610463957708565279704467976255543151119319370947887268259383780263504215790332663011224206061136842644047865869065028658232373777287651054998793445794233919739467562622573169324006830654805625875612949004836749707795763239025285338399685849137606519261598117103279118158",
"28231641944809483658338797654845552793476796351861663705042739156783664547558446907940682712225754385472038787802552138921779728313617901792327459032614347952658422880915837183463498937536898319779779509649267961825235115038304633611732988734447053236102159778123527642849038707332291720477220036633312962255",
"127219791629249901416244040066320712905370235953185758869645684675585845302399260030306446245182592114886184052582462762018229876916822857205646172840916290280328108838475607720418251934244355144383705196496630890745285366557683468423905211379256131207081023772477304708208160635937590992144853391543354211410",
"75165221306196838487487706759621433510546481340140649572447918778197317279503957822274156088360047617218040121172926724109197964866924775373802907492306259837522047603906311091022804312250488569719057953872003718890391295067925002460227539558571129263036345890657981566040770435433893308269173091379235890678"
],
"Z": [
"102548640295431179736008299235273520406962262956733495064546978713411585703003720404614976368390912173482304889662199053346411694249237673881580660453558323762703435339623683617374706459118269139288810071345189515357233778501676228536516363565755780445126331427340394676056576663973810836409109938395344301177",
"53176001586431862660500672411620928808015684191089049621643850637167067116824371851577966464029945915487655970613887203331942863738349161055305212188094292604152620099123310092876803510123556392136654662520223647484138630682747031886174129548195179273581875268285492559693645665200908513912294870288408817458",
"105555510717153543592180010020995494479933276989036986418650874298053869755495964816443435787457474117344939896747085238112772606634901222512461539749764423752177050738725203033902312595581294822877220158228667820207184525900863909663497286932093311996322082336065719287842395321972301106233202852161364423259",
"56541362931880474808392065051815761416823434278801782241825907218285415702404664945879710028514759716809476474193083767356624111323301215268819392593851224909631939315265921494781173261330910219261103953483058563785851096199061786273646235122039773333340235604152771239969252156228671219292820895681647438165",
"40600529621372796768574220498359977918379279764873319093076670139118464026940580648802431996498802060602453138179681531020418144492352457827188072991938975249901806466527303864906620831249118017425663004610212203108773080238037459947575049613470354403348296076042520473206977475909247741794553102015267104984",
"33225031804846426785215385288680984768216492201030791083908356465090577528263429015173115006345409249004518727968397701957769345044453130997607970992307053737945592074727485224652941048011066076492583433614740462564138859120467895013642065555343655278507844578783761542629118400121033392946725210041848548315",
"77986774502498802842008850473890193806872635294692770325033024609667311262770669144802856931568295839965725196779235416895923945791148350538628619816814107954103163189951144109647611033495990332646694610655876590317568173062402152724678400388090542541074970576678805996800899388171384787784374076078915550721",
"53884788434047150931849062038019882933798710386713367931226920660764176223743240427890340783473691942060581109480928208561522692665606068264647409772670024910923095816157336570261850635434780368413840523328467933828704424126316565999418201904976441318342710620174120399134887802499542497552395639374771310575",
"96051406288109948432698669495574775920496972094362578000650618770502658634802039163753204377937661542872710829471072671015150315954488446336088901464361518375616322777124257622186569647439493377817192353224598248177993058215094498372901030546156337567715847310255272601553408423822023275006693882849113243740",
"104832242629319706860656380767701974448340336441822727745080957486416827897302274282566628166771634222658961822367687749493687031092239592126091730599975257820374203970425725885311300698959495403148567883224065139747815545892754984839005715726157118657060815008495901411992043221818590455653018166429842901859",
"102883466607678033870376180027836558567436026067619432634816294553838019161173503465878820600839789566287515200448930323925874657660264704710155626283108126971705503674031886480405123464973333770333038289782574896201285697114901035277642167960813395095836305229939917329921678537017430035167705487604568380172",
"77703377399335578275989981866193263707858127989018051245299375685995080394151847205656213869034468901483729648840374445183473358012121187748007272242186107549860214713318769548718962973127802882950071834977036101864773880952161745260744751349127257561587123388514297682555690081464872655653553637196170223565",
"116216443611631716725184154820806731126161886901281503374670495384687166779450816871297159113215134754131680467466081792187009076281821751945203266637484379716442588343380255025016563914463775618099620941608966776866479104600473085827254372764858348309202941223502906395949646623465867293326897165419771382813",
"128354139572602488742209959890553408146846809969602536219261951927834273509867238393535744462143056951429926754860230348003353912925787062631497224760866312542419655154917017637519751528469275439733303672780462617001537700755454466960207443698522361781335472378825727289113108608428869718003964668238226944523",
"16202539841683449038775475732451478186494206973972127515268674700332717983622923281991968074352271994043419918018827543804459748825460421253583736492515181688473626934179622811010684094299634482542819788707923156997162700506497068633125889116581204261440904921870689664221647715200239874172409623890588538753",
"115326072627965399494510969692656922072017729228044128570000385273865652282141911612571363559179714608543731447268511643423320111841214972231338941444198363442763952858241829730764195236842306445963626938996028005969071026625536981523510328234333584196221004527858031252014313655916521655950011820826506197588",
"109544139617689381596310089659206527370087869602345507288855569524865940573400785941301019473846542821110422004163637184963517112010038240545932269098155319391502136823648172577222529879959707256603565883385557429541611572549036682477697802913654405249873008766484462868707261033853547293742137172301866564218",
"85909262510756482494915575313447240705771137482903270931498642173699153399239034268906178495129588652475465395583021393763544478969407338269706355980014887430950116170301630535883329576169674856440053896832162861101914267196861023741735042681842884281352302115272271300302086276460259298990088261252295019651",
"11743704484557884028542566974649418098490283184195189128639934332532027896469960864045268976883016909536016790022963733653475011990946368971038734433033471878366456755728485306688101357030913635279250251063180471142976121549789128971884680986533564674483933316985192695751871939310615359937367778727025219497",
"104411677138035144307895894520027191930784510736464577719641673965584378285926784190147636786359309858975006035900225161097562907355110243938865361684289994898549714159969306415196348553270614658930584326097243898120085420126744237554073905311243483787107747964924612444324224089920049704189146296349183483351",
"48724377945270070737729520663829206369610288314973560365495452792532200658284235089000186830049524272633232204265273081482797684668304819238197761504189907326960124520209143648454106419770415419656259824689403161276670685566179411031341783253886840937910606164849868895049861619796351289025015470712235360485",
"46414974450286696736030606631059212848305321580362637552621815721875735037864543755091956196028342389902632662925705229952464028612233751029305474618766373314521970001204151865751869269722305473057378367152577920438752794202202662773111931672327569907347404157231211025471855279151115544709206089386746542716",
"90160612631023580929595362064786268500853112495129908178612298132725772397859522620755461403019349145303231756224597279568733328123165709004144164876011710757367550079344919012184321019113727038496450982984120140464287139022038499611834323843957015771507812505545586287338433569866270098585670268663865244215",
"113502717374625605580962312772945846913905760826320362940767231156868580803643511850165879920519338087963952152195279428390967169594575551047768445102790080905643246099046622355849040510380214746413138871874292404067518706420343085348957585055318782092300499713791506388699958836606533504613194950799506358772",
"120669464120306823374786072688563000010300739633056419867276977913773729484017199030773040153160003525256391418044263139032977283122599798228381830545239774826056676529365636655769415264895586639320863096385406904650597254977384087279576066003459830367917245190301620606785977945935590661225180875564795434172",
"89874269357332813776661127319935177108932774738906942629339601130551371250377763849027586763775186972299976991367422331854703803424536428125972461041615182403201340390831919431835171235227022141894508497580673604915234789223460313822866126279452328108534326018422755632641916102613188243084764563956019504204",
"34166075264101684184716974164500536482153910417721585891067692333903053678000137094770708671106868246677479523074087396985566937429801139997656567619058073706165883379202802236876710674191575878725118336787292960341049126134093366610879668289459374822453891273525889422817994237711160381351072073933767586056",
"107519506707784107727117612299821870428449757697833978002044887142087166800314626096779657994498148240367508801067694117739861352530763289437047889460826653441094200084442513442936174306348165208775612968307128082878896675691226154133076378161715968759255050241883212908794504931038091557370792281165294113589",
"99446207292442463886907290637534219680325013650291134021618125624064151393872102225437642202967092198430281857318491513745470800086920550683446964632164440419848661172348333804627866301306552554173887016905874810729160304112019668396568650994456960615559129574931713579307796636773903058350493756350953711350",
"118163767451025382012157878570164029591651662013181602024393214687910956241248702971973304732861326759088411786877684496278103676939897117732042440670873600351826756707080419782131477011082971184563789377190026953446902033459358098166757949754229000834023258774142556858334088579512503389464704053276298308456",
"37658986788964090606147054250513161424505385661900111620721192959559033876779203474418857684188511220910951749987589395111882838770340178909289569648589338677751827656833694255847310491561280507155955613969953302604934007835562804939028238504666316051574541170457383821069607945682150587075804370954570835742",
"111228113717879532758315523531067613618640503387307920118232451512331164616941939568580841520895919585374531282360490304168953001306478412094038053732743732318667301708155580291517623442088127501959568356740787129503752584410607210099300071301767908431210018421923137979638446323418924480933014772898772431157",
"19847164212761695976566362974129851412899920481266625767616851626976220655372583133271339606385714200870280530159599376382645775995098635562850634324967103737972289928853639175927337146950453315162983514313479427357488669423680315135163977116387324588496500821703925579480693825297048266303685923074424133517",
"68290266202690839362517741516374569857027339167652552502949052146176266675679156949416038145016899697988759779968672223425360350569458654281615236380293037867075757426363621471280724686791477572152603327280964728022749214282493913668688690809172349759325610769382222066096723717330331771174317912515184891263",
"118133926894309114017203328285377378705374417144401504252270177879697687455115102017457116400672994337575782628939003130143212751824972341670213729037584318981409568183708571583072021586454497799024017750608771458536725012720771512357007955813000679831444764111437440601365182696676465820729141981623354814928",
"77675726767651203510885539657946598094720249000018357601592036017550639321960304459617274795316241272993480931883703486585978586769012434179404960680446309896836221224181294698357226164013317175460181139141458856222477784721868013157221816720946135696032319936262076207535667300177508131819197852065493757214",
"70867444613563770423552117993028873315410309378767770998123472541000274407934106318471485037383058779665921532283859082675592886813196826241947791245888423135631440091984547624436972314190588706207290212939652397918260602894880597182579117634234053037591656852761063894587076864973870571682404336681194451386",
"21703919142773129365899343906144103131975917626247832669545772267280149485244710353886086740294100238259998604782077161286892059266002481142857283169446008050152705210894257682618916032197196830336229708536200664568360846997522103178488931909296843324001231463059635885520689851513210216228664909928742862264",
"48665691190763411442462216620741854529333130484142362537647652695723797095006048844590777144369594963042689366670182302214237191140987110060341855107759617219894554563634363909429768052276577357608033956344284217033431099176992076304018706173339427163057097112422431253902067221977100671660409329378504533847",
"56255021852501045922072722475345022249725985464840934310956704831762707857663266402006027692815814194176957649119507321427592228312591675928480542392353277253350615888937639563615933861425723897377225812431258982138205186560030766696776994888709440469994683824015778244609906694991142298692239134485216594664",
"75539780405490355762926028715159096512146105659747906375007297706216120232920215125974640444266335925496508190268581905521130134763412804932552103057932254430276685736351085465470616893262166104081674675323921663549145289935275453987614000124284945481414106222023519938004282734746462230287576020932250250224",
"99587642158902152239556239356897750326772728929514441715239185111415295833866040273291020703555426707141069259767031383130689860338184727589741471578330245533650844640341292891101504919606424285038347754581722882670029741988917494216589326037435627881397665220707185955899447167689922024521082427246294528568",
"112797153733012096851817857463076343065508569218595691347106788728048487322864349619366848387316902196794356337222384352587765729992157894461813549077397620974178473801672477421379062003667974551178396223991784893664913897235897519872290948622321492114519220609841724576366908413910213857163969340650974765695",
"58242171324435447152026607606997058035314219444480978700442549621125273693023598217477580731798392633372787090590814085362520536800978262953683840339624081051738772327964828577535141958458635456654728574349857777051919368191896061528885170513728295656044825799637792181406933124508617249990416001463047975260",
"119657125523347324935196188529105289664146838245765333170681248274122306276660414749121772067476877609522325956582621860730668033369429515035004889073213051872928520699147724904573617407183176399538431553216892706387994198801298918420504055875951116793939254842912107171018680914424272544274057896448973158875",
"125887564302132991127087025800853591434422905156664659177780203997707094373593992652750080503875130398218542411940817568759840496445573569485102570777567686672424075886890998252271025931900343386295568453446430818563984994364046784250771342428202674680782598350603601525447382753222235328230548269679255830469",
"101548812598587675987541845730049466352117368226686328350191833743462393235229745579461148994235072711301983959647371153178692315410834897936188492039993603771430246083481234287718575897237599608280899906879217073977193511453143947067073608350268736213347011660443444288930020340185363781009388144882549888145",
"100776773383449143536568520347174916914284705655106468974448547584664993533981787355753533926365356978393956184110879860627046144819169259823627624304436961335399769481752025680299035363022066279709589383661213900001054834285462275736292282034979027110896554571801111795534941690002172782315676578893089279487",
"86279356823307697374071195788110129165266722351000932612249756218105340512073252894873002128996318007269091694471823403989114053232662732253343435877405317145216125579580811502610844382830683031049987934053460709013024278815931532930756762045833357515994049255168330403441668747392265281218913558066304925570",
"72420808435112206085697971364332077197754283670039153199542752866347886839790223719150129506219065935737140315372226203729589711420934904541314722403093780196225287661205193948992936662738260116568982591183404689837601723848856556703361966921839958844984313533571264028623502297511418182928021612615578313557",
"14908124202064278152760318788362976551129743384865613017111306786347115190690188415507309804018724636223985017632278429745921428533000457680929005998201388977328513627295363037015016753927512888293330390400313493152174669283103536355451160108466608352074064307602446390726110820245445856308370509236482721461",
"31486532676055305643006112797425873623247762051042747699989599594952468303864592854772486116400032772222777349001955196367614523142997093666861135586688659464294193924138186580633171932360131239758601111836483227190300356560365835996171194827450614178877164121306250321491270044891364562299327441940201342373",
"26946085315575403750301861878105921140482526958192552798881760320026142046741836045051970729618068181429465204442428648391439132701596655175242035285719067996849773088722010192554907549313100324450713788821806254149538264586217429986021909663673871893789583473005151710831275969072893170582092553091020021315",
"108305025260017953329510553135080611981843484756857165350715716327225642025422378501068724323587571037644188414714657016755125163109830805443802960874113173260106570025584954457240954267852986080385979189522382014745008453979199091375396597591930296253625590230037389679233788792442235119151968236293288916995",
"79555337379890376666688982888253119655034916920679911468519926626858343221572393303971212260339194474699486166524360159084895173212848958152459988896711008617985805022466369355622079875448979457807784785923162135972588177968530178097621759838118566650813964399177047250213441156359181985799512848509494903272",
"69303361708887601010741804032738933862092965707462451499203923184928648432504519120775080585477507470457356336825009420306916838734692050617329061740356554238514384313990249598350556717591853015009333312154033628904355743959886674011972489525738027131847112961161970938918475340500038213229476218998151006285",
"60231220394744255723249495796789820609713843573098389191788561787088610017063926463745739688641933757030962263047516022592926023599707640184435162257713849862584164999263321629258416060887240369060428801060281083579865467115205797180216380804463329345890613227555718407541089818401828654709897437266691779830",
"19725313384824675172623067802199274352681662437640927183012793219077427660372102970355851134000303958228292473081731559287708422189966953182458863622332053496368740273433412605821293664793515819938371394179913804207250393954974298547937288504892355790290253601046109249702340444128179408114514105929915173796",
"91542371468223495376237314042665177686511409788061854651015292535447132656360465192450024680725644089822787729919689773536986990591218853460069326256262229983595624037341095363415387894818790900038800129411880896715370630206887560893721868133515229631043639046669882269084072378441905447953153432858271842456",
"39484601514896532727002055658588974108274084470460285825525254893744102601072102794292086542009886268133612716089450102971783434980015234207975792447223187050307598938627114596434358598783435100700562243237186972245060999261036708338515749249323179339702895186773333359620959631179892420817006374272717262977",
"91960877289301522615412607118144955722475034033433210760615262406030969110291454048130160354129057839136744860255325886194038451628922778061455588517058919830388102714732298798152898272889757182513770574288980707457706351974748071408258453120586081808896145667406834964636835702265344587649794572911431375484",
"107407598026511110311149393568810033753290058611561922963562560813226416580677499585553804480066998099108331103580974987926892024331859305502067298148100373702261132893551673338963481233203131490714951156771358929722582069445761209386009469863951818385593674072198810062651629883360466664232553973049192103916",
"78911002472994347605075711057018282033023867410448744562789658901932851856755679626978363647619847459462591569161072409637698814650145231968969155128780303196206555718065811061362122476874863502404669989689517061164957590190000892814866427399973540643462964246652108851952087108301566734045487131242666035600",
"107872657960942079449396898754855640664189334022701776609188408893094766276061382939768887076233724482737310696856811805728639009789780518445166658850573403676312716774051823195464582962154916674207469517595518519103770707790066780817554021953477830126043351032939265978033891235098587208545100945952138365315",
"96700106866681217790026788481024549099442888424540510920043665681428651048577855627834933926611605451038246157819756275568686091646417907683019646001545867002046946556343607725841909194537534839383786155019171390344447372340291337469368346412335749048258419464755027980692439344402988052313360532448485250468",
"126447062757609994754397191656967322587634111613139801761873187409499704310525193196612858024580633317937168591876679498829058548428485452740312338685472054806226358486353800782216574060306407841120642374423015983128735842241479399304211887511511627992634269305397256176500112232689131504517302897838961321498",
"43575507529063140443948651364507128093314552299090553618821810154400863965894227760449384339275395389870505167144971059938646785309830269667294590891846267009220786206570468391911566010603180437935680247842343660178949353343374002482490999020810714285868860808888172471668701137361480722781177330989726810044",
"79993151899045029502846189334602467865238893198674162087920338794221590056723751540398957131703135727505049212109682251077616277235747384109471873401117883939280707993257434827125480748450945118353447452613130442558609982774182621933404238806587689190250944790487515712394977162759168071678645903321615689036",
"9720107386083129758470689032292295845208164027633566785940932131263389008714455396465161758272365969655760025854607644953721493758784749194187895644190988452203960342606787899022535072581191563225498670314683954705328595829657492583966552723653791344569570141939450567919002425584194896965018557958644961686",
"79156839380179362185746527690460781723971201245515511605229569461721915328251755633724884247498993098621564557227272688022132570691730590844595582541725888287993120194904776024759304173180080945001222905949780383586864698420293527205038937826612963815715960048039094608963322985905983857522627619883274709420",
"100013186900599727868482288591518804165028958184758023526753906995462004174864840289820444903026069250448771068012378373058105207457516077147146900134219056970411954151918650686811274541630507357117945569863551243621067341193858470571815669104243973378612562768348143686593995942996052756538043837911901898092",
"5145307100714476797478293714334692980517688764608208458463682794285514639865895417462047346345726094631796063245054289428607907447089254252730436169959607473599250214668004067325625732580437412401810641604627579116589322153867271932636115181973850063839912265952665223837007023408465371820570198474393813279",
"109803062743636666165159975998015910383070257377651138105049243957206181763818153406929351271613943567559060732365840971913309493651553997514280182775057978100742110989240425723857344829210791985459423784451938684564557193424376985328312725056103781546194170439282828167120238901360673439931829346926271679772",
"7140610486979394823686007665253457162053143703689976736990483259555242618869615627075697677483902542549081004906664277277885320084865253589959357607729266016425107549840289984083243176339979287166812421712675058234908958232557826575532579433055183409975031824853830499507077150397790304388718420356792703598",
"94254112108390099413652456967839865160980493689585700881195436936278808862949426746135360894609019539815422220661389557969060352192180323578342324766447155246494898054788781851424802663309523241993890789631778280348926063107250269347207004829490241928067588891932609659322010855281882206001348608222390683151",
"112394055670499041620448977056253305478231346308448897254038874879850539730800209449079844238042342450105574117959232141301530172247734708524724320637899721022694096058100470774396050664015766253584156447596850608369691188014719617474894657543488416743228663426874079994046263722756156789577142280503992786436",
"115731750915111155386931112525589735559657225493249352674734568121854325139882984938652344845726225768412826256256606131791296698623872194831017529793239714631256090839842134491839616619509548212529274878239795265334105404476406275210555584291752372556497038831120750685848630044954856958394720317957806240213",
"62824226139752102758543597399687563856558291705073472910583807860043432403368732600224702264969553651886069020937333039905786522133138371714206119279008195127740003748489603145118569064547781856156843389984909631620710267998539824210197750916272487661405461118670959404856025492440587197210309098309489521598",
"115405564252698624345778828707920333199142758864666287797955439745894637796638946537996530656847774789272471736751035721809133035950652794075478286560745843460280412910438317820093819973698905914946769734457770507058221362382241881603452926085573509875645724769068868972834371464003623771030056097318843402266",
"20181780437954646182945174746474947512521464251061175934806170143596408618036064836607606201179155136928647568865258233662616340569057147490192930890389334385468904262520178392926528887343882175523385474322099875106781212858961738237045027704908095279254087012756563124582752904034791603952692494287776008236"
],
"n": "136916818760204091623976015048464759133432023183248547012902980483308785257779575264840556873395710863096387752515078058971234291323140007356661025164343718590535611045093148326394239290829980839564767499754804864980041000348748334343783648465644586024602104167803736221497905948124070821935970222622700369053",
"p": "12585013558761442369015854793749140483085561049787093984892711979371671553331478517127749908725164712956185780740031432793517853971060025422931448339333311",
"q": "10879354092144402795143277729537255936896201022140058067965450326647556268722481636599343682256937349717112208362331014096348079851729676834054860559893923",
"session": "ecdsatss-fixture-session"
},
"paillier_proof": {
"ecdsa_x": "69539430183401326952272660595291299876888989314635953786588950783766205784833",
"ecdsa_y": "67185822042344370422340077266770414878949552124939975550374826984958714468497",
"k": "62678480394977795",
"n": "22994370592216935828184882468002827742803587653519645251843893634363568651696797131685688908508980027258686700297772744465973777875084220221937872706545538717284884839060943164641253250343375714618057985646375887973965210317938761451689628659574940826155386557189856304339630566365077968748093987059797023511286878859254163602261500856658068078038438955043548312406970771151429582789631278507181149978094275039307392720674494856550171285660767836651169754938145965748031208006944761051997782757745201231445155400920601911952091636647288296050338668603705459490932064252599406127071697172636202680108108145421146835557",
"p": "141672659925115846098718622762703093078187041674589249937112334473129614075158948669139693148908002879868074043493072167891021525779555224641695840543381666609485256345337904114591166039741265407964414841721454722893426284675332261901180463309463293999665902786509623885078094518034743941027532288760001869639",
"pi": [
"12963965020719765638387463090773400464913618601030192864005774119868004580397542872170232303875721793868059560856123402675084669088543368462451274543658790702281068794521502531438065632290534854574656155173066024295555124211154088549931491408004738275811518137960729840570902798554059285475628606212340589808487276416218975127608510302807840808918819126812677837291205894135276651495201482650502205066779502812708727452999008878483914043370954823106837463183789039299186488613596103066923806324488804419434732686688626133840122975321981621149391564312829977602120099048579776086111682862873418915430059608313389591802",
"21692238594762424532077801473425317060083290363497899730871678286566521554298969269875768520483674460284356878704503598829386311750588332529670967225287815312277181405296984193084180063270511778153487990845581748936498608380680696732516758076616390113171988692968160162952133839907781665232871830223315387927072360748838480775481536361070056784457703863008178034421083853571136141395307690926876581294966643049831628537463501555855219949697921490882294758021595625857872567252733412704348611645032852313650874237288803410364818827192579009164858980733830525446544936616298154536120120619304484650402708934455775841507",
"6762555670082724796366446258910614988188951789057385442541206236107774188078610975319834283668873129700524852474754157672178230118211535154584720225374063192960066907995708849355250723819701676799273942705168006933269677443972649371886669301555478373085517408272116993895972630717179292019945016203861285336885391485147446827777695491987845529971782009408022927545559594045939848119174070154677938607033231852305335688885598186524727682816312926273692262534250670001588437609588939700945537724626724422515792359825806606412018248763997473841323651161010434821437130881011045062938835924139122123183205183690828299214",
"5211587446275194544494748632353568685112991664736163105723316236602769603747261804769873085571314618237255946527792724281900377837814323886598974788217116133359047924376929992725667737139155160889593226110521528503198748790639521929191132073528394068459166178903948690497974369479549115227093318618093131793123709712059518027255242108082406290317919855461462397784779651736417176607897364601369069688536347790712983868606673376865007227839200662627575105955300983521256258577360125334502578695853691923406370946226824224989597381520214418138943242238123831631320464322011183924696973845685701024093015577739614283406",
"8186990425557348719211088287959230501040312478967939964714033084086865890962075366661050831475443757720037919531334418879996855243148861777429271691347090662360175415660700356250856462665440629865212362841313573990147078277366882414365889604176471254939818730047043691526655769759839726103440467479552216322247907916319027297870896080628754921567801491905887159651290416878241988369439290171178600517863349564923175303765959253013689120644723901152459169344394871598407260619494068000123010789412238977047645488687381980471596867148320479003296851478005047462977692191770050095817820889098837445154459028542328022147",
"13777570294822091026391996522475427540484305283675025561817625334771607808086139121816963650938187258865578815911726282261048030740174087866201495637453349136935904025189788465762789144690230264888596794544463974873068014366247321456135837605186892435525149291433668528779210885142396450966742434421165304167208599750117749590627358119615698484238564537464233331585190935566449419940287126653918616350567645542649272424276684642291584962146245642295709395982023171316105033723364718919046766140305148716015911584340591558681062704210141743998938412825238420314873933582794666436137872181540158577283866956965780220758",
"19819008401722262442699211668370520374603211261598109823103511478752661683717688974226455431183567019840930506686274664005061026477812265636081468328260941342715586447549552586046742146674137683552510459430351220597935921431143898714895768273741677846674967976160990903132088679023828108802392058664894237810487007483944322629372366253292032167046146890999934439705942668304436061560327566217404372974003184817939233132674828475857265901331940775271763653279012442218779639287271398244570725537042852605248959908910612606262711497344611552613873694520569793159243023769345530089214415201044202847618315142286969558786",
"1668458113943728601465062517489365690175059929626350588891808959511313918602854008382403149071604502229330890635450858114292925068560397007761263805587892701553881555548240700937772649530802969817326818353891451670688043357597835043141090466749874381559428784686932050194402289574410672913974964572862651560584666266302804423610863736071440531310926982954709851805150997060777856049275425296891781730220931128374966937574168326020526828812612979041578750399806628051110488408276055590695811172997040815335642294321785543966886325471394770675800062367288393854206561918899296881341649506066604652249484417182404022236",
"18414183745685177023924602237440512300528675063233909900705427075682770440932192593783258237169722508236415509641598148118800229099854252189311381740805241850697981837466917863318642433793611416280692609341667641382390509603561035900234987789194806037254722760122070722355626157961074086911852525545214100143265960764597681560961921042100394071252906295445893128885458411978505737041485792751139517835637524787820211160963316199450093174084602716489980166981391178920048929227733747218188670873224008179240992770237397060358159550248617709643015503802944932337522907271511882882597160947247214933580157013117399115016",
"19272476586134536913590610354963868900707300618305186825530575716951652964149239693122755216372154097581636192347937452210371538935133888511949029934082381233901148506718046697476184634990901066101400555154159970073221732074299891708848873343554079848503979869300722653208633319082041655485702538015559553301053449511069551139232565931937557216008991621448319233686984703895341715191731659679491679735799492435577552316377704008889878583526959488706034418546385215807087763770375922341470520145804476623863495724082587756964506293674193027836561243450976039218763143272494022020924899891789892338254848097740930899837",
"20246726196081402196473391767268223999687055796570871690554584807770641583505896282938854914043936028137877629850780598119398622098448553391784562837197302272931448344771768416002401188959088278076168435998607233123241385359729998476490097946358340164143357961365381674475319645311272693047695872504072307929964599596267716725078510534686127463349573776506512860792184532705195824935844681368470116901756157505871217846929372167706883487170663137994701550910060589978285443287142111632303416855431837280499861964639410539950345535876098265070347004030082202749600337161792545755571515046914862287557321587722109485840",
"16490244018837961960413404602372487808024290340465642464656483068406314246799487105469111252546477370155538742650686353968277589031414781269846710847923498208080990418953632722523928315837100323558070149200190509871816031014539499991082515178773250266641220446906478384771213783659269466428958972472707610359021348009589285506799596775138670901141699717271120168036253695074619684980822416875200814167685939689395788964417514828762365774584796639638760127282244818011694985348033311709782882916304305327870382628788015242853354194742148441707110481274855366380921603643353239385869275523355463241105965600773116216627",
"14025140574476156933607772474964351509017882393860654645470030057577766329396953167072260664866823062771572059373071184094974090626882049189069093855998786186672492412681922510813590721078707749351470804069925853306775502571204027859814998690478432187897496149458988676355118134205238752231846499354035789888584955105794614869981899500206087996028289567846296935436645369517140930790346219985663713435452957372510962501702762818146624807443345221549183964609083448223417912533365095641859651165042652592913566332701333451776993254301139205617626074894164882843961713788549109621737290455800434021495428500695216445918"
],
"q": "162306337753318873265016474286718716863669934654054085691102154366925914407116381170479137659168349060988911317695926006279383126016583671945718990462982144580496658094591556152442062156017250925777635009377320437571705870706340377399542044098036739441419293438980717907064530405530080190159937349077004459763"
},
"paillier_small": {
"enc": [
{
"M": "0",
"X": "6996",
"C": "111166982"
},
{
"M": "1",
"X": "7056",
"C": "66311728"
},
{
"M": "42",
"X": "8096",
"C": "72957588"
},
{
"M": "9000",
"X": "5211",
"C": "107869357"
}
],
"homo_add": {
"c": "33281590",
"m": "9042"
},
"homo_mult": {
"c": "69780290",
"m": "294"
},
"lambda": "5936",
"n": "12091",
"p": "107",
"phi": "11872",
"q": "113"
},
"signing_keys": [
{
"PaillierSK": {
"N": 24223939740694388022909091396388990574598726107049945392905167608323920446124392975382033454189485990948202639102010829870704452202878074634351848296315492298601104780594679926168552437856674213326920569547840361600839490841480967222937719196480674384280282534495177528355675690860763380294442464907273766019755325100115726983278123312079941433899284207858248992324935205203170004296493086059874250701702452019624790819713440128554494774290861246902213689568901311665757216196349405701871589400155908543533164806923547460567253794740465463774218750464985003477749641743741618317427170715584873085371376594437709198209,
"LambdaN": 12111969870347194011454545698194495287299363053524972696452583804161960223062196487691016727094742995474101319551005414935352226101439037317175924148157746149300552390297339963084276218928337106663460284773920180800419745420740483611468859598240337192140141267247588764177837845430381690147221232453636883009721737262592698675434891693860920462930012088323925796793284863106230565749667299359071527215703243531408330569568727074917165451684926866080674249415242889595397601689545097720501956076664577453560093869172334922823352575438570841561283136174193811411655328330054123006410140914547491612406430418767121770658,
"PhiN": 24223939740694388022909091396388990574598726107049945392905167608323920446124392975382033454189485990948202639102010829870704452202878074634351848296315492298601104780594679926168552437856674213326920569547840361600839490841480967222937719196480674384280282534495177528355675690860763380294442464907273766019443474525185397350869783387721840925860024176647851593586569726212461131499334598718143054431406487062816661139137454149834330903369853732161348498830485779190795203379090195441003912153329154907120187738344669845646705150877141683122566272348387622823310656660108246012820281829094983224812860837534243541316,
"P": 146504272105879165865117312469367149165455311680714527456979398059540487448650406176552693904002021470540340380342792844960736725645550114523965719863871325028692711118973097645211293440296218528734072819070638363979422701847951668162621954222194085233929306256849719495521246146462956600601646303125573670007,
"Q": 165346302824450466543222611888733358873804719529682871281386080931168385348508081165178502366293943486267789300233193133759427145275457400216899470874544207446269301698286112615656383806530535107678904249508239250941125942015372112489030523894403295420509678826783652809085642740026933259956869453777891986887
},
"NTildei": 19221755794020005323017378008118565077235512678641794394901321643538060018860948048016218918798474702255512730567479666430846454740567239088986396328934606696081675862929790414719358441056647977915254221176961523266746830693664900744469849768675224192502082175015822879958336835035448248739442995079549946513617713546272780366586426730498904792953997248874373042366446154705614749045300018579137367977673428365561060582850693661240065901950134042350251162325384863204980893077505054533166594992424032337737729699456040955704222209915315919344275633779269446011260603785230477282723197328543471264626300866977585405937,
"H1i": 16159320173200443349268269949787873705581349161044705406578048644910251449556561171858287133036358408151087419228801383630353696584842134932753801967930301506756064931744027886310362200886422907486394052342789758789285567725088622759536561305940850845912148582098625430119397661496778019641816315129721240886057808032845450212215051775775592973733099194560123721677243956170934722247712875228497057383169025867473757458206681210774125129708797405050015339656473299590325765192164034741775197990585661581774408087514461018569792470585164662465089928329952311056287160614639485527258266728091659945519187492780928482168,
"H2i": 5143577961378144021514101951196043739328184163967989912671135119575196788960043124940732025131577876927935131265929154339480197099019764156409016035748720301686589632894784208444470532288131607472223311610026284428661101376324283460646738914929268512027916491036870986331143832736253158383024039132540768653637679041054901286629818464126687493445617033060174043566060399157733523072466632681726181677481295565714487374619268969009148558602385766766650487113884239845403067638399497561384288733574818317805169710359252536819849002079313099837956551883547457283721850100021739948902537706768688305877670635655751479512,
"Alpha": 5699586396935630531834743397719316469480796272313384400976489945866688002985026969209913219056764711770901336022969017555485971261634854023843238088550798497936428475158452087102455114362149032058869052329142460774886579044805871283714812017497651983194975414254044705831735442699384222181734326549841116694787714157551115685221181845189404237201196931543128571305531051252402882044194460943209097138136414183468851187184923294608327758930032122314879730398255779786153356358030629706987192195494989593332450123662709962206758631372602186080946365305658648530005758477303092253148387297636008307699137807353293906278,
"Beta": 118200564834018766143805075289873315707447092408817635755273416230076466781108024033043440020189243150918692601368526581844749096969561872516074952639754615871252390242811644062684325226114643851011317368423473963138947781050955624189880936462009505014635458053543200779236938250945220133215266316342795926488783588582507280322531284489337892160410957535479382913235203921662736816103996084725226831003710129373978281393805207652158052425594094697879582119227299420250555530444687307378147108575962127618062857918612318297935841210872868529286462995554953038036620072114113965771398447682962678740635966564333894865,
"P": 70783233997309236532173597649532112795160965662851509025449536590485218776157322897023528380565166044171661039174841266858712509933552474464754359476051400542088611352126746650190027449164280936073205682108607105998756783969969246742981228679406669008219872299610567672707672847308462352903524371598055177439,
"Q": 67889508251172529633292802839041777196844964002341734751742824846338233496660026695766000276550205515783860394743093701632631622357299545826204472813422475465570239202263198127108238058626354383720158834025521325991066631974298834593475111350622620462407820527257675586606250593082179922401893920406404397351,
"Xi": 101467673082496385624984909379418050251826627113458584852306563209680429149720,
"ShareID": 17252260342904736992144048621821728938998178970065412605690003744700822327496,
"Ks": [
17252260342904736992144048621821728938998178970065412605690003744700822327496,
17252260342904736992144048621821728938998178970065412605690003744700822327497
],
"NTildej": [
19221755794020005323017378008118565077235512678641794394901321643538060018860948048016218918798474702255512730567479666430846454740567239088986396328934606696081675862929790414719358441056647977915254221176961523266746830693664900744469849768675224192502082175015822879958336835035448248739442995079549946513617713546272780366586426730498904792953997248874373042366446154705614749045300018579137367977673428365561060582850693661240065901950134042350251162325384863204980893077505054533166594992424032337737729699456040955704222209915315919344275633779269446011260603785230477282723197328543471264626300866977585405937,
21694182052226570294412031507656966217739991937910274266747575261662725850201237498171051412847200935496879221064918450987960056577323115618142219303392778025187493168976535343133041381468721409346325865850958865339527654213805580143509192089587836326993190864849883398939446725673513649031287062101255775469748112347564938635638522723115288758881915184646734121859181872104563450459179560006725155831440510522087795330297734731552101401099275288367733866010324069954084277097094601245290162251249431827626326500207208557272602271149104699821945001166947754699370573349682220492652047149565184061873108805612164859001
],
"H1j": [
16159320173200443349268269949787873705581349161044705406578048644910251449556561171858287133036358408151087419228801383630353696584842134932753801967930301506756064931744027886310362200886422907486394052342789758789285567725088622759536561305940850845912148582098625430119397661496778019641816315129721240886057808032845450212215051775775592973733099194560123721677243956170934722247712875228497057383169025867473757458206681210774125129708797405050015339656473299590325765192164034741775197990585661581774408087514461018569792470585164662465089928329952311056287160614639485527258266728091659945519187492780928482168,
3650808621222307643458879430642632917826529046257860324337159073973031665251167237649898026216763953692213493656269913383512743168600859170520530750692890384647684062973261031050571433150271465861279743208871996827029360936612738237534506852136576505809638943426449125075761060855897997798577548359952315284288748211218102933654501083520332750959021736850788230460934399914887596121958899073893498643407019411918441981813985063208721025286402799966533837921038449804636806476602077244461110757324863374700469475979170674433980137224764726248607148305266067168886590098841545649165545852202521270180908592256098081675
],
"H2j": [
5143577961378144021514101951196043739328184163967989912671135119575196788960043124940732025131577876927935131265929154339480197099019764156409016035748720301686589632894784208444470532288131607472223311610026284428661101376324283460646738914929268512027916491036870986331143832736253158383024039132540768653637679041054901286629818464126687493445617033060174043566060399157733523072466632681726181677481295565714487374619268969009148558602385766766650487113884239845403067638399497561384288733574818317805169710359252536819849002079313099837956551883547457283721850100021739948902537706768688305877670635655751479512,
746363700760262463853267481902502235700562267241804173218619035452886458598071171417740131149585677991436170623592057298853664713049064091961268991926792519930272118838804849147123562382598023062196519415613766886785468606507665118656589583351223295570490897571274830670185422656918191182856843901589876125180251311714823204858904759192609815372603363899681665620507013796316000163063048986568231547223810694484662417057835786879153566428281203143367124769563273456285006671699535768309984666665681702314812648956699222158283817072153973998143610482162825749735679983611073263065512535497914776728790117279682007104
],
"BigXj": [
{
"Curve": "secp256k1",
"Coords": [
7723769740806669951730955824760791082106486244121477183960559644206982362375,
109117359445915790573967826437640168343139607241456073427315736107790374154225
]
},
{
"Curve": "secp256k1",
"Coords": [
57071885289075078454658843358601181251725475142400679589462955100826818018106,
47325896614463246424154242182024110945544442602980641128969083246026490898952
]
}
],
"PaillierPKs": [
{
"N": 24223939740694388022909091396388990574598726107049945392905167608323920446124392975382033454189485990948202639102010829870704452202878074634351848296315492298601104780594679926168552437856674213326920569547840361600839490841480967222937719196480674384280282534495177528355675690860763380294442464907273766019755325100115726983278123312079941433899284207858248992324935205203170004296493086059874250701702452019624790819713440128554494774290861246902213689568901311665757216196349405701871589400155908543533164806923547460567253794740465463774218750464985003477749641743741618317427170715584873085371376594437709198209
},
{
"N": 24862010864591447410653581559329967853907393861695036613341842780298203734080266382497586179727376670544672899305246737855070565910926411887385741112900821081079263501017888029142650555698820322201400873654436979301770010980357437195222396338962285203445805131129684265314318615464819053610349200898755844263528562409683920040535338247552398942869819791235946019130326180380009213668380622427270560979778289177699867142963700860346575370219209415217150487321738097425720880135609690540079831505990088599623820866575515604938979995418783877624528691292874890057179081591705147705232658278677468115380963720605662397549
}
],
"ECDSAPub": {
"Curve": "secp256k1",
"Coords": [
29166086180605975890449327922574615947553436113681911351271550606209655734699,
76640239415013298265414104847851969018274498851750225644270779178272067516084
]
}
},
{
"PaillierSK": {
"N": 24862010864591447410653581559329967853907393861695036613341842780298203734080266382497586179727376670544672899305246737855070565910926411887385741112900821081079263501017888029142650555698820322201400873654436979301770010980357437195222396338962285203445805131129684265314318615464819053610349200898755844263528562409683920040535338247552398942869819791235946019130326180380009213668380622427270560979778289177699867142963700860346575370219209415217150487321738097425720880135609690540079831505990088599623820866575515604938979995418783877624528691292874890057179081591705147705232658278677468115380963720605662397549,
"LambdaN": 12431005432295723705326790779664983926953696930847518306670921390149101867040133191248793089863688335272336449652623368927535282955463205943692870556450410540539631750508944014571325277849410161100700436827218489650885005490178718597611198169481142601722902565564842132657159307732409526805174600449377922131605793279017431550045636331340006685586945103133258732036031731054419140620339707406534845519648865832248363319753455437434039660979034359167209270063653538349078382899610281065129778118574013486698362431665852208407649071244135276464692826891162500574628294991039239471910899064102617340964991991979405333918,
"PhiN": 24862010864591447410653581559329967853907393861695036613341842780298203734080266382497586179727376670544672899305246737855070565910926411887385741112900821081079263501017888029142650555698820322201400873654436979301770010980357437195222396338962285203445805131129684265314318615464819053610349200898755844263211586558034863100091272662680013371173890206266517464072063462108838281240679414813069691039297731664496726639506910874868079321958068718334418540127307076698156765799220562130259556237148026973396724863331704416815298142488270552929385653782325001149256589982078478943821798128205234681929983983958810667836,
"P": 174500788390909003765481832986514918834060998271184757897075811967948368127870710136256406954406834729306736263646117238080033048668330879831169219871437874256571983770096393524469126422633067824048510026490616173239521004749007271050456685103996877687141381932613547162146397814343794591649915495463658919127,
"Q": 142475063258147936678583751885870652861868586698243797161186906303222564299830497477944462986073722783896404239810672747398462999592809817051562727322993146470992130566292734885351148846208993802178585976753195014884160848181506053644686352406553011220781109677013121599264462336128438841801064241183192810587
},
"NTildei": 21694182052226570294412031507656966217739991937910274266747575261662725850201237498171051412847200935496879221064918450987960056577323115618142219303392778025187493168976535343133041381468721409346325865850958865339527654213805580143509192089587836326993190864849883398939446725673513649031287062101255775469748112347564938635638522723115288758881915184646734121859181872104563450459179560006725155831440510522087795330297734731552101401099275288367733866010324069954084277097094601245290162251249431827626326500207208557272602271149104699821945001166947754699370573349682220492652047149565184061873108805612164859001,
"H1i": 3650808621222307643458879430642632917826529046257860324337159073973031665251167237649898026216763953692213493656269913383512743168600859170520530750692890384647684062973261031050571433150271465861279743208871996827029360936612738237534506852136576505809638943426449125075761060855897997798577548359952315284288748211218102933654501083520332750959021736850788230460934399914887596121958899073893498643407019411918441981813985063208721025286402799966533837921038449804636806476602077244461110757324863374700469475979170674433980137224764726248607148305266067168886590098841545649165545852202521270180908592256098081675,
"H2i": 746363700760262463853267481902502235700562267241804173218619035452886458598071171417740131149585677991436170623592057298853664713049064091961268991926792519930272118838804849147123562382598023062196519415613766886785468606507665118656589583351223295570490897571274830670185422656918191182856843901589876125180251311714823204858904759192609815372603363899681665620507013796316000163063048986568231547223810694484662417057835786879153566428281203143367124769563273456285006671699535768309984666665681702314812648956699222158283817072153973998143610482162825749735679983611073263065512535497914776728790117279682007104,
"Alpha": 8604474832306257967485570720729280757395570501114625994334566539735310160644164277661976479426244303515402061246804628862654582632942153659963556103405651049164318899618377761966406392880237189421696785329524638933370308710701795503145768123011204965620121579877810692906309870069066151509589795489325299132970715475146914873923575527829665393651975630675651737875132120205007413438787014984339646657022032152827541292302420136632951111568389956944361975082628993510632138221472537263256550805330926901498406519484543353150843886145716592536620408905048769819772817049111022120283130237635684533471033151378138500745,
"Beta": 3020618201600395970527790926744319994184292040792893932551701870502136865899728618067347414535286756749364983122043758352744581086040265885213619831082896372892117432061326512782964111522879447251036427719236871065668928533423114488835916303345451776372866014348583613997744372781377698302250497915018157603587621815914566357383513259696245364564063062309399109496014150727180279249895829594893354549689444244596400376427910054040230392321616533022944631380991849255645607818198393305829779607361533472333862020274313615744704185734845492914768358785551327256224230442412081725009396020836432248031251627781067818953,
"P": 79762111852740905648304060810345354452480230364681035299624702601276323038845422802794991727479750523950845969761907333668360633841407859922272972778462002742217293470615851889530859099307883712631331751993111802007484430199574402268341265835529713627588580489335930040658379442983461726901226317491318059521,
"Q": 67996513470828700804589219670364605988079906054317077000473101237921494263821097098447651478697189040209833396728777068584276039848868569222595227763226286850930976353267664495295232185725794336752971691954318387645434181742034389003733740564566038528475227645772538703813802707207939077841385487669542254953,
"Xi": 19653617761452639086723043945927117759997550443513029674679598035716583357873,
"ShareID": 17252260342904736992144048621821728938998178970065412605690003744700822327497,
"Ks": [
17252260342904736992144048621821728938998178970065412605690003744700822327496,
17252260342904736992144048621821728938998178970065412605690003744700822327497
],
"NTildej": [
19221755794020005323017378008118565077235512678641794394901321643538060018860948048016218918798474702255512730567479666430846454740567239088986396328934606696081675862929790414719358441056647977915254221176961523266746830693664900744469849768675224192502082175015822879958336835035448248739442995079549946513617713546272780366586426730498904792953997248874373042366446154705614749045300018579137367977673428365561060582850693661240065901950134042350251162325384863204980893077505054533166594992424032337737729699456040955704222209915315919344275633779269446011260603785230477282723197328543471264626300866977585405937,
21694182052226570294412031507656966217739991937910274266747575261662725850201237498171051412847200935496879221064918450987960056577323115618142219303392778025187493168976535343133041381468721409346325865850958865339527654213805580143509192089587836326993190864849883398939446725673513649031287062101255775469748112347564938635638522723115288758881915184646734121859181872104563450459179560006725155831440510522087795330297734731552101401099275288367733866010324069954084277097094601245290162251249431827626326500207208557272602271149104699821945001166947754699370573349682220492652047149565184061873108805612164859001
],
"H1j": [
16159320173200443349268269949787873705581349161044705406578048644910251449556561171858287133036358408151087419228801383630353696584842134932753801967930301506756064931744027886310362200886422907486394052342789758789285567725088622759536561305940850845912148582098625430119397661496778019641816315129721240886057808032845450212215051775775592973733099194560123721677243956170934722247712875228497057383169025867473757458206681210774125129708797405050015339656473299590325765192164034741775197990585661581774408087514461018569792470585164662465089928329952311056287160614639485527258266728091659945519187492780928482168,
3650808621222307643458879430642632917826529046257860324337159073973031665251167237649898026216763953692213493656269913383512743168600859170520530750692890384647684062973261031050571433150271465861279743208871996827029360936612738237534506852136576505809638943426449125075761060855897997798577548359952315284288748211218102933654501083520332750959021736850788230460934399914887596121958899073893498643407019411918441981813985063208721025286402799966533837921038449804636806476602077244461110757324863374700469475979170674433980137224764726248607148305266067168886590098841545649165545852202521270180908592256098081675
],
"H2j": [
5143577961378144021514101951196043739328184163967989912671135119575196788960043124940732025131577876927935131265929154339480197099019764156409016035748720301686589632894784208444470532288131607472223311610026284428661101376324283460646738914929268512027916491036870986331143832736253158383024039132540768653637679041054901286629818464126687493445617033060174043566060399157733523072466632681726181677481295565714487374619268969009148558602385766766650487113884239845403067638399497561384288733574818317805169710359252536819849002079313099837956551883547457283721850100021739948902537706768688305877670635655751479512,
746363700760262463853267481902502235700562267241804173218619035452886458598071171417740131149585677991436170623592057298853664713049064091961268991926792519930272118838804849147123562382598023062196519415613766886785468606507665118656589583351223295570490897571274830670185422656918191182856843901589876125180251311714823204858904759192609815372603363899681665620507013796316000163063048986568231547223810694484662417057835786879153566428281203143367124769563273456285006671699535768309984666665681702314812648956699222158283817072153973998143610482162825749735679983611073263065512535497914776728790117279682007104
],
"BigXj": [
{
"Curve": "secp256k1",
"Coords": [
7723769740806669951730955824760791082106486244121477183960559644206982362375,
109117359445915790573967826437640168343139607241456073427315736107790374154225
]
},
{
"Curve": "secp256k1",
"Coords": [
57071885289075078454658843358601181251725475142400679589462955100826818018106,
47325896614463246424154242182024110945544442602980641128969083246026490898952
]
}
],
"PaillierPKs": [
{
"N": 24223939740694388022909091396388990574598726107049945392905167608323920446124392975382033454189485990948202639102010829870704452202878074634351848296315492298601104780594679926168552437856674213326920569547840361600839490841480967222937719196480674384280282534495177528355675690860763380294442464907273766019755325100115726983278123312079941433899284207858248992324935205203170004296493086059874250701702452019624790819713440128554494774290861246902213689568901311665757216196349405701871589400155908543533164806923547460567253794740465463774218750464985003477749641743741618317427170715584873085371376594437709198209
},
{
"N": 24862010864591447410653581559329967853907393861695036613341842780298203734080266382497586179727376670544672899305246737855070565910926411887385741112900821081079263501017888029142650555698820322201400873654436979301770010980357437195222396338962285203445805131129684265314318615464819053610349200898755844263528562409683920040535338247552398942869819791235946019130326180380009213668380622427270560979778289177699867142963700860346575370219209415217150487321738097425720880135609690540079831505990088599623820866575515604938979995418783877624528691292874890057179081591705147705232658278677468115380963720605662397549
}
],
"ECDSAPub": {
"Curve": "secp256k1",
"Coords": [
29166086180605975890449327922574615947553436113681911351271550606209655734699,
76640239415013298265414104847851969018274498851750225644270779178272067516084
]
}
}
]
}