Fiat-Shamir-input.txt

n=18648205386853254997336432680458167927499339073784985528532547614409456245488981142877161345969858048215948714923708382820480840874813748801471539584267484755936686752744783413739125943233653999051209448182207909629421746527378194321902970579018856644480882152313944560393051497485828680857335718114611964552885104265150055945242720360100106513534076272794044406196878765837538904547659294030939098600878757199801637807166799513290085464535201970100524208427770710381666568483326620218531996566995145251243469305438063263464012657821586535905138761055656285403828431540264950336835278652143372365241546552484476169327
X=14772571603876836811541670949572128241169401342131208463225744241599670152892391876257395024411849458437138251174169622067764138392581305106075632670619316257106326318137895405692218293145463258642691088362191880136592420484791920466201622693919097279181431627938066321538456013939544634565099087552414464457857057576125833047888136327081063453215744112393431256403334773000310928618402099814432221031511304222710455874379597440903540708792266950948321591095329552119185491016060399894052956719902764442823413583598628184774745861281678528608363033452536501478435713275873519708454722312315762333069699979672877596887
R=1142879601346090759192356884697886337309397934223309056172625181487680251807470380175752049871044797825163118206413198837218088209880531201854260207187626373861910365380268542886916481043310282357637675517853988799719240958763344142678858721489231199502994658272384904625851414142023434993317404824574499139299981406834490083474942517508999062233117365593575830515842965997751954855697144954423953186450087963584832666205054908180294817851243458264503422332155235376072639966222703297460663146859047697644703120294556693403651699035333187137636798807217251333044317666643104774336192200402433950370629366257178505634,c=0,s=140680791113070393326633611685181751208711340535140157629234843827167077892431113160831302416891716283423092502738476128096629927448391244723703663180980425697094307987179836552632941117873839233644264507594138848568730787853037487543407790758678548053391830560664339224000864215939608753708766696496609058281
R=515951264786892558797415186539449398596799339239533472091756595083546871177441855770226805911951752295694175027788354950519726652482707282842024824601495255482867703973864995304563619369159446641255704224596971042533359693662356014204583203994229234313501717443290905742711963098134517815834429860917565560177129058756003869729813558048719387526801091081376605550376397170800918147818012665389939122765490477766082235377611731515056327076581888264855519638239922063464867779580513080089098054044577094210301071884533202838393770934786645457064027501341052751254895087590298881966984514508448787594832470409322970244,c=1,s=637491190081121401242635923624154849211144427416171457415516008862542600693728666995850836787148765116455961752991391421251576772222364867810701628056702736470909107370621993070168689116910732614085840562462691134998804833001097737676312388218003887174398083625796940559023578390345901644361259684858227711534634013628103523647259621038160774617666518793144172802428364522320968075653816352378698391182590283964919718585653820526899568663615383260812148361759647486740673052625321909215675710605722060056436813036598052764893426248286534612460365135481615124359304822224442964264451275953398730133174994050897545034
R=4101525844418979298943597593070784201525385355040037956390749472317393796821815530435305008962854457407706157334135613948032455553399964494309577808569557564137887838629042338755130336852138489169536928848141981800349888434783981952597065495165421383948078632968837090404599044116683108293291542875284530602882131329324599303268938054387654143122460932565289041079762304666732269100212509069840051759288783808725693770366086221232671626870200363544480331325740465523305861144825268892855161871598339384124313720715164585719282873870585902114316397924103177377413146395265444990504515741262136570646830854917185650802,c=1,s=15770528596331452364326407274886949246048249051801679155584269517348345212929845090044743194512317360508554324238687986929972944191043578545813303796152994357440823118714964768150807854331727326114749588189569108735908108992998921673531514122855147910503322520166652399586482308347982541315565642593914869367433934951223583124995330090679156508647113295048498887384909279959857896917814658968199766936617736943736687654640089652105378387858946846191380347689654097208766260531175679391303123169588099468430213822381556074662816071765177306229339708814265599147879543358668501644359186267660959435988964876330074288483
R=590835806550824165649267820683343581710801746594242323682803105669091054255566009414396575843801718720799511717740664701006452782402726209239607881603028695519495183491687874957950046167013584511611061954928827375950566666237057853661911433982816701662971796644180310769988877033170261789576227260040013384901876056457088398850465669400173857183626745251245590403260551193321969705801722356040416959560522233586572105552096797936949541552320895350349018356320502098002242462263164019514591640266694121336657326340128459701038039720577703766064615253390647818809776364400663830539732816905459263815532872734282905241,c=1,s=11506998737486899199751673730704917789437523066993171180975923342890464838817902388941187820024908181686339396456841844350425034944509607543268860667527298471653817254542455031497903152538726446844683449993135184136058556150394095998967928548897664017532574386001959125274583209798067382647577542663518363486221747064299610655317403004817190966096499176469254787855005581179540235350205076832891973456753763425811145491665089465471176589141558347342362822420021401271129272790769328542844820801047207675923983288619252765010188560559445763796940472966452946169723756174224303899887785534179850074680175074960081105262
R=18034272902982718016876556922188513994594307147106790726554982849439037529974743699623328242417617097467895140069700173749632240161140103804321447963043133103352863158863665081633529778683911733551903419551584052435920990098819993048958341639161437521361085623398559400414567170433282684194946906433189092371585379455849461613115773859071714743121021337073957821362008829041897947069757565541244804839642247895704926852713711008786074778943933653875909320591186274400582643948920161455457660939444930758382509549658248004506202636724462403521869279656659493604509021235078653077875992641797731410988235916827697165025,c=1,s=11196480562441944131197931218571156155606727881131117143632408141764338395711423918951807800691799490594099266801834767816771177471430586877228274730464735357957894598789548201778416238680039606679984791698846793515783704946054061766273204383307255581797330318243916071960306210436650704897666021861952387516419312153719907742421428340096821529401835644546695871018178466387774509132528552389031641722908113452280773651226390176875588372339312158159102221245012332531990614937092679778458038466242833865580146024716672912300731995029664303529525861965127624276243023952660038079124315069285322811270290887059657664870
R=18034272902982718016876556922188513994594307147106790726554982849439037529974743699623328242417617097467895140069700173749632240161140103804321447963043133103352863158863665081633529778683911733551903419551584052435920990098819993048958341639161437521361085623398559400414567170433282684194946906433189092371585379455849461613115773859071714743121021337073957821362008829041897947069757565541244804839642247895704926852713711008786074778943933653875909320591186274400582643948920161455457660939444930758382509549658248004506202636724462403521869279656659493604509021235078653077875992641797731410988235916827697165025,c=0,s=134291745475970033714019740857725190954083968176452166447229987545261367257923063682264930913356264140070084198677644232834701339950045674717320381646059653405298009250148116241156196187228612822564508644068439454376930005325655953273191186499701656449393238422923816182075282687758848611564999279620987508495
R=1699452318422968802237475226964785297989980270932312491709877022486616456575404975691363050617971016590240885990938221733405342728015439694045442447099605392887714342790321049647230930682465013404879518936816475791084100708770741634939390708220086619511964705482905770762773871447159099334301064806991444106449977931859617237031464598279915930024341050999079153632462469684841284318616976865427141675539422613260637466234327278677068515354676888509083810727363598616545810596777821341883836966849116845005098040505171801479848215237979428666535949283848000072008944939739286300251797622705714691900146326847969656009,c=0,s=41224414106485113298376974780000565403648193736901657253514765447669393143018572272854197313320205504119723103018748639548243447691481907063357591491454593061804394872391472570528158912371703403699435102074716226286535251482535234957109316636475900918702353904971768491503299545576195114113411230984632276003
R=14944697389374179507410318272259165604047541250880145953765885360181200209375307008628234465123728497665040707806088821382907002985217194760875599150105881618756481807002339003588404457726829843227203796938638648835474711367969002496301475321996809458171015516741241704535734205985803662970164717731827951214867822242713191733808998385208351772706567004652318619514654454430595738092915719058594352936370714257771921406045828010627352711791239570166086616085450842820953044118994007052781442606852806637405784444588733108115742966037459026079979268008649961602823643809492258648685136975299381282183945053211576781081,c=1,s=15595280066381951350583922693833464790631107312504598913519820496123181012513124577282629184239723892124747379337708716829305149745794780733653543252226758804176537877730446870559880831640681036776547551839919481883896131752447807777811231748930597234355975040751765218256742253158639243409988143016627849844658215901775947138770799502941350588934772004199503802370729085840897032424969124762930564155339728644601399383879175159450568014740593018051462309892866847201067813679374705164716426050389008415956203253252412536392958071988169503171750189349585393768188941279620748174823638021302359372457376195892842142530
R=17589627453878426264752638751490979329263968707287444974264455354544016750585535122751893281570828695854320919188791418698827487133237095362899412692480462646139665514198565348288886160999251228524685821077187233808649664865201782317283289788901991644896087357960999868144129187180864495302978349479956152830981028239761924395322752855743619229806501736120603308989835074538638316572519770837735204653816700066717828206068058255681875791003931346908920908970434737776101817588623348607691390965916520897357271958378193521484443666061905179613051803824074249745127285249458611115907407345194581855837272944495779731216,c=1,s=15566663590145868984375805235160448148271416359508330658915014038563025501700349692410756223205213265832360446986302938460044483380241376848464726732059380810953197957778347301988860625079638802117077751449063832160438669410542560830486833645157418381302635849455943135661584912526150284777459177441182101629504082950351649321596246915274209004513704331883672282765438496332604055507027915256598919187972360940691458837486977269802022742000988441513181914154481971399394998825116839477586300756231676775603823092672178719613196481609885627596668950660590777904981204529448388633245874695548879280331708052230743629346
R=13255617623132853180036879818635217703116170303227324906419229115801574809056943595542253021124856630911236134711544831347332683303258029594790912290282647991262619268723988570605482030160436202056006656200168558604929129191386961802404047594898318155205157993368689375360351176372321209136682029904764526190620659592060051698773415661358067299923578335575549677880745417946410231300654562659346627047171863363515915429673992911448078820398202721489687062645817499880358774601877858802334209782494601670844996161880972668623210527218979575916955725601486033807767353105502411043689036922751798824750023409788293148162,c=1,s=5324803628438773081891066023431351378537104040819804083349461329759341692101286911813921883884696617088283910814121647696574323135533800483441220305518920276607535779940329147178904464623031191276926178808232791573088582718307042765032461203990365598422404025384524689022886745661933080794754910817764376542726399876257074563571786997879025372552564231483990827868112218937979059311362406611648143497358877733294500942583308726001223062504519013305786584441296936390290712480492766678608188295133398260382296383350167730065893259511245740127272566209339046721641284117543609976583383027523281848376053005629469300073