diff --git a/DDC-2024/quarter-finals/crypto/dist-Independence/chal.py b/DDC-2024/quarter-finals/crypto/dist-Independence/chal.py new file mode 100644 index 0000000..3af6235 --- /dev/null +++ b/DDC-2024/quarter-finals/crypto/dist-Independence/chal.py @@ -0,0 +1,34 @@ +from Crypto.Util.number import * + +FLAG = open('flag.txt', 'rb').read() + +def encrypt(m, pubkey, privkey): + g, p = pubkey + x, _ = privkey + h = pow(g, x, p) + C = [] + while m: + y = getRandomRange(2, p) + c1 = pow(g, y, p) + y = (y<<1) | (m & 1) + c2 = pow(h, y, p) + C += [(c1, c2)] + m >>= 1 + return C + +def keygen(nbits=512): + p = getStrongPrime(nbits) + g = getRandomRange(2, p) + x = getRandomRange(2, p) + pub = (g, p) + priv = (x, p) + return pub, priv + +pub, priv = keygen() +m = bytes_to_long(FLAG) +print(m) +c = encrypt(m, pub, priv) + +with open('out1.txt', 'w') as f: + f.write(f'{pub = }\n') + f.write(f'out = {str(c)}') diff --git a/DDC-2024/quarter-finals/crypto/dist-Independence/out.txt b/DDC-2024/quarter-finals/crypto/dist-Independence/out.txt new file mode 100644 index 0000000..6ed77eb --- /dev/null +++ b/DDC-2024/quarter-finals/crypto/dist-Independence/out.txt @@ -0,0 +1,2 @@ +pub = (5464549774190809852923763408523051958716400587576327799474715226373287205246183801056700913652415087121976663782311766735601091617825037804761387911068511, 9581257592556018473305786754018994054986440370491067910997313283399579058244765977967617476919486211692103485121526918608638896652486174462300514168144287) +out = [(7135801671058767584309500409714690782210907857769654167278686110915938179468272566599508349773575527751255945760666566561800878978873221420946365250158855, 8558667795367217630200789973869614923107151017456755231025099578562328753501118840162746538211725967983893568561332219610117111942140345185312896115801764), (9081654292092052593740926323443898739874089270155307973492015550364429244098275392340717306252957984398357583861032563833247926509557344976877672260459142, 10717987397890394333740060345095117642091105249224464088813273106704588906752870875186992219251592794333561984503545125421373446449869990855977041916951), (9360130297670218031610492994028720993482628709360198214243778793398751075670754237237922402499730710823475492707764648126386351366301670788376439590298316, 3120448508748906987556110369749886165580109830662081752474330489254010476308828119200925206094791905070939389455737293276178632192056309384694974096309458), (1083506379087641699770637419264593932755070655970771793801179018657382179566881106275836918531105517140262682038613598883188296060530248722608864608988889, 8940087194035402483496705628884264787605527110793476244925806874740375623817048114681152875735822158010654540865289697479265831026914404896571968031263804), (124277969953193805319804226917595751067607047035330458353762502340479130250648176661105824338747619554611350499515891319992592410360630530940790392595830, 8347662068255564580804326284959555588684710760260726270370148736939937276617775336580281891290709008042317911915849446737891063894425285113134513111496526), (5585449964363459201042697340104387287562810490036740270379531260132254182519092318506601041687165795603121347061249502815913882478619551079084435092229497, 3626530603928470483836420843344972582225178210559936197875658566104953191570282228500318993876515055930004065244951958457025501506369989407606730729207747), (551758385394045798992693735960005468916519997479567989604525218703647251895981821399587169561954747534774807671470749121456876814957540199767691197608870, 3627238306793257551146641265137548052244560223971847343142933292298258932709818773574775615930713804092340232044464261523574216882145800425419794228825141), (2068484274758333464877011411359832299051985179100344356256376771853853590155595357233589599534353693159574150945096729429408300803550440765046612555054039, 4450651971419990549748275405601590502758738779039557658950644124613258987690736633531185643352305400098531527857219997212852309271638303451487891747310785), (2540357432533303456390782203324384088372550197241158390921859749686120062098375209091083057981271507886177610430180366292676135439958241639966934115477272, 79141098478369529346599130440629108744445504325165890721485998470112626897361177085258292668733346398745863522607862313519240302142429724552910394773949), (400142624613864351255997848650232270458754356501939677463394717376257975909665926922958846429651631783876305828537801534046182843845000192245052225478917, 7321867544288305981664851458696947321066845144728286839224385797201594821682449220413916698032735956795048640617862625679569153314257214483470397458665908), (5481034153389835267773571581483491573004845474066133306328459210769114680371235794621911415018966955838590956824472197309127780551555153690827358890057959, 5736630431861229689955824829255432511933442338056506615895515791614589480145434232365590306608195601849716241289466636389010246146652496707145355138608473), (9218941163398546186170480524193417610395514181935576125427833588227704024563971126558104381268969652841092694342988692849443998991371103810477526828841549, 3620374265234863181225399781638917811237293850733458698295871353460167915849851010583756628639973163357515966429348887484580857569951318897507923588974935), (3152560988522048467870113186199608798001928847782511672829954733337752493157815932129211126701677066943175605255341396061233746951728863433085194333570518, 8122150711060204973535556857212733259060415658408924885848225153008190637371864188999633375791152116762827584288839631398112764654501241086042897697798458), (9488914375375837790173140393273633739698113042494234891140829541275818710081445745279260916658906901045008918303311720143602751251520617427699984785831991, 8255624638322932146730705949302487097229355552111365704829633397525282952431359814591865851228609533325481405306180294218298447950234737818599790642679034), (6883194939773274008214292176097567009748849692004333290631083436870651792604206815556657086746679890037277331153333008692352811151312229156349092536101342, 1572953136443607893167708135316365572745965725359014559558194171878751043915054470034515700619920305301088712215621166211215581159028132240461779840039080), (8657000152493749432671730572649851141989353796437711430094352422924939000717308473596461170927350578682396746147889796450077288902469914487891190254126274, 2991131611411176090527297719735818008644131492073777582121885281690435160145500597859081377510205803737677032502363047558575938058330204591096973101516134), (1493184224862270063598151704466317936472286372490129591936481794780476268882795578522004699054926533061638392704780990958976383943301552296458770498250006, 9338078310931082237655423532225840542503482710865341568305837494149950339011628498486240124636368661825169667389529028133857288745033050856859120249985079), (7432976762892897948574545581705043739744925541418205735983495062952623361636497005084465803198092949323585524177609077321441893888484862379676143951793515, 8147213429480855588345803408542358315023352383737629192876218673461976860595298765474111479524622494245248354453894432745846012848949837922073150608188799), (6744781076730824832478724771534833678218516633663334205520896767113813510402747780103514789988743583023573331671441569245610442761712036639647397501941132, 7374436386007227537435215401486959842096150174710377463816064191583770047428434534349874815725649295787273447181935394986015878687245703540753610878051255), (817796335213167225154885391330026605994010520268634381646616039276896301229210836556503974633395480902108921869483662405680475359667884359489952273428333, 437178301760129408428238156667078683949657570664960417079503012596625520500259592523244488878602963338380577442110200700662004399164719074973392101913600), (8454590779792562755894383561124618276360363967469157297660703912781089190915198683725559596892830703798558989207719508281913518686775037186147535890474254, 858175649934955305314814884350435919757834421163643372958074649300235037622319847062978979356242325634799411914736940832341105581600082557181014857793864), (6842723741477049190641107584835996445450295543058543789832261145317841224181829002437780187633016174001807276634768970321796717978582877470520535357863831, 2016317916212186095873603633122419972422383949259402501420664600081744627891563786342708422470504875736928148943501884955811644473847162236263256969631002), (3913263308929478424807270852373005764290916162332749667160770012198210147014412175441957004782091599776499192956392301628378199293797837212527921497793095, 116258892051839128861769198143313139251532314172765034640660774793403450381802807548340102704182741197778971999591116778999882742115252562514497009080906), (6314519468008560103569684221657618852310679374672029488615342928867413877776021665117738681061000934270173742008205816919703851856431882979018960426754637, 5720963958835007465751937739633721461727312276697999796968833798565384081994882467035798678748412601612474839006714927762525823450981953648409626802277851), (1774880283831908616853554512281516569870826890709284676242122718808056737483149645211236714818370546201235933517590347044067929504338409361490586688515959, 7693933292852222424636878335492334988401399031306230223105154573249244792663183638706241996855402134530801667310082796002410690701718498862321691871810433), (2783694365091778530493813416096134682403511067331473793116771554357274897587950468126828697630149155539287268709383363817924682172110051022278160260357143, 7899347139771842008867307438145088350304442517621551385892813597530200491627761447628314820965727023729487870751658865103326493346382158151289806572984523), (2070330476074984292451826774375387064277951888518525589739437712480786920747907449281877453988975099526425316173705502098382637428528464958334526984102144, 23452433601442089497870036937537248154633447753208451797760526423427938502486418337386358348279715439929623988345496134161727878355326280454745070997016), (3637707145502390362532020598833682792029868283932743637830656078890038266670868847244659264990991200328689679284259154451980838927111707731216362711001350, 1753020436993256693423713692950757073160901032188994026550886713954248790087758552070282858351263843931770522156467785036561199559903090882444806459802126), (7813932056724735284263121847445070099451181807914239561143408488959522525031790294633671078968737262140335235938384547065822381551995604534546649886560608, 5777686788842258054667057956436183904761650600249507784414910090061390327783963276317583554105769339498246076157327563006711450169771188544110139241489794), (5978051505053235423376269294303639282246614535930497556401322083621770504502487339149488984396767201794881572068083168752138725246878243420377888673701264, 3537322048392412951344713696748039484884516305801870448166682299289241447072741839393205939284336919772365440299139006175812953751867836770962579998050464), (3313504573329094863184553559587722664768193352677168799512804526926337757746837633106468409386978447277908064041105091474522909227985112239276448858983136, 7015913400110970460293680658736646234756125054461204471901301528367239380678117088290923605452684433112110510310630243265549799653215947835898805411885826), (7977410692470246131262065713413006330509878075505421022679316068478028831938263992695733511150444300777623886703014874763580589401494125329809571267540515, 9105879626124424974727940155008662651221916858849934784014278391409487430828817483793527533682341320576625228659402324807050302286089671076546978982744657), (3427067461263944465638994939497423173634080071292990772316217358307785702296341415536910215077008962147722710461215413938757356595902095000299113896311504, 7191390101141814352497805767245065092422802171595308402562936013296566831294066087619886076695930380908215801325514527380343422604593655596283624400999350), (3592998097487333402258164624327447889347615662043402364017504560399713103233861058807221636829601536476153659485296177967870293532168144348174646352724339, 180715209684860976805214855826224349749196504587457168622676361008365803719083346521735248079957274890604560486975023046606924713445477851225126675928228), (1683269913621313111369773229703574446909541662853367161322043017659228123950481617041119353286852349556633691345668943527080551790825993776359824916906989, 8204237543159283267708661825800661663958324158068423382525703399275454987023998348857430095350900958641311340038144183843461446813893420392924568565202631), (2531351680936419196130961163647385939562942013332308148086539719683339186429683155257535076253062756745843536853663938121713699360848532633825029847184029, 8119323543197867369423942583119450951868993983985446274372403887636200766351533029645883457982538061076024027065221940795184977680039378205189987846831824), (7662702410975164786938189090387623612022399621643990340735514112016888228870125617162957119500153058691034498895095113104199088410580985740077376031445398, 3710138506857576259395423286962074802413359107466464189161051198541238173728603225545059560853758717840412432253919818688312246060008280059271283790151094), (7605914267315572961793830350154598190952769732467803049812166457808712297635644649152674966531489075339614779662431414404263411579101735996512231016001958, 5739747810330624051584991240072996548047392692701468596840671337620686828235525791353031668919807328548816003370708139352132671178680222006271210256203672), (2866984735345580956941583360062425520757170416397125981216144646278090542995495218410194039205091326421800797621158398440235007302666015535434452226716860, 8691790073155728544819419463748018022258170681108642178280472887797583568478894544730305857580559161103704530024128592689685697109246590644928150407713371), (2864664777426204138980596390887707540449173204235967895184885881865946307393071099335181509455928392612850142858655857480269523513723941303351795200452672, 5075692944383696694932795822401829264193360972754718149311636154874770642329185038313810093812635372580433868840508384498505720707509933182876251856962583), (3918295016034516445790491157736734442444012522931898421739910012678403339819889593545073156014403446642476280560362065110243266296155820894067375244971337, 6048470111497576714459680504670597113484729175738284583812404072181303983535572834594529358838704906358951672521296007559239743345366867575239261077293652), (5481294862522221352047366165947787564080258639464716906433530793570652932157154204644642888366903269456718723089594941209310744651649378641116635436345194, 7705599404330618389298515156596380303737649426957765072370544829472862200575413662974368643336294024428096651927006734267241784956564748642796486491078232), (5434634810784389292201862650969601286845981452346820329642237086740510261248043739648600598335462356872840106466118415520170021403888379923708243925186506, 5185561001111827264912413212497386072664711792439976381232366884587819344145043403908906824782100925848310951849905356298452340563772066530007174995642993), (8247523063552895191584726586573327736716642206011934130578926358444910156185724860311872062153628925534723907172838603321680004108916788454980320264612026, 803679199903254956901162293087024699427189269324660110610012408723531565653426785071215132755599466450868617475119866676008701048380100316006389698714113), (8443641149730997129153483968957526347166756422198959901911782795498319468050773324132576046371966776532643981723348218015423494286424390104608837209318676, 4575422844065498323427593923792127533457402381589753684654842406480293982982385746007477712851535051665439329102634295806054934173228753230386346484682249), (4382395209141583633802557787234342062001137886229231808359523896358021270335537506475036865177347430267278242707476455475626400222072389061832950336758521, 7303226024866447564791160369574493944626634465394702690132682329748016694552356323050867802882343270142884889660575183757633407036647779525005057108672691), (7410970472007494270436764675965164634020627637480637356310686629833050432467550205733020253508703850184071016937712591102076671835889463627913830084463903, 5112700216554958347291064541610476114444824480047472141113737227073860333900104435480767437585301849813360146438716270997470021000865682587486057312702721), (7245019161625310158568848728419760273946116881593581433351253931350125800220931680884175683089839902753110174856223114023338354446213778922171446705668285, 8854969483765850152641336097332653815370602431038102532395007755437860105296577325008752010522777784402388027406192469226943273285947639865036259872758145), (1332034290460812411667118522197683126342091367083875162147858099445570126862172787415166246310978024388799024390251243077027888262367203295605765476617916, 7199315724235558606752055395784272577066269043925483774555569130466055773911990705989330821659605259089093565276552561504423772313890432893139420134227583), (7132144412957514381042865854220941333397237312909629738450636680654579248320826748814099809845120653500638956504448220544803441786642005389061331395583465, 3249276026707868012513109108602200631936893878842601016819439365394773025614867313508477428595221079436256020799714582084025792514201984199313218224475178), (4205655259014506397645307958387964577941676475521365522052214504751262855850321463976378782369239734015686907492736631418743392359506894055840279655641, 4913535689623603055851670122895636403569149487678243625739616799622632115377124390489641003192356577920307823677997286166023956138967410108490811883492936), (5531977498888794770229792430651734549012077910701100276218678660847308893250087324220214481885643459266663950724801315670582585821469062504426632373499879, 8494470526710841561825195436076082032189528286565501045991800166917197733821162778051207050998366975260363273393670325499632590086529916578332853640093699), (4604989702725553580137817767658709934776292463137412441658642169742469857930392274598441628546621713991072826683061659577514719696251093572202340187848235, 6840298753706227621429669880594789761555298681875140458654057728797907684157972873598829313445212260706829681960541226375104523266414866044709359823946512), (4903890426614270302906114221768402569795743330600810064461857476716982071826748387208122610706703085672459975224921631623240077442433391724683176287441984, 6042422508441078806752263041700750535479114647518870685460611367119979435044432293601526294478201226029932903926604468993198944892846991505755135147157621), (9410656781830671172479362644507842253744615270385572265448489033757290497583624632425177464795291988279139188507400708232332123687840263874675951939990909, 7962691149568651502556851913280322018803908081143907508376648080139693277349765877054454382042403971338142007724799354967184261533769606228895492531223128), (4621077859774684383893401845902246587320607122941750403249909005344265420030426587107824608830771489735790403066217005091929924981912810538999933740464883, 9213456026406652427796297763597350897192615133464044251166640108075419498275010682065180034973611201102341031354702947292250694669171990862242275824724573), (1437770749825908824203589391087267824891992770807462438513726495943113421267156840357917403166994483100534544370608742812140847828041871189837898949628765, 1059686025455866760031635782700961996829870690536552899522809702212876715273962456883990881367036558982780346898337997057700156356454579146031383496518247), (5675081640106424782815744625989310057355362118693314577653432763528402890862547509637282965948511158344832560598825196147727218236241856389473913600998147, 1699151964217212890498564780037597383121721374351138218566600352808705217361380874703938150108266800245431525920685370373377314076853183083236435008152522), (5226716556826569756663785677880886368393816786388976098945804241217784344519115677868342563294649994561375287466396814158977540160746665634711857525170833, 5285347718237580798646564081038504438142497588864103285918766442366848379755928236582360101497653210642119628240766749117075172730306546765645052502233648), (3734759114300192425376131340468636078333218268645415420313527930572043405869307375430257152072067658293451941804937001917250923181054338175758605464977468, 8305741266217974780123495690124362376334710209063996067767060502398179549460705692310996263984248416388439795652111444027388039563351548579246004772612588), (543095571334571033859633937528516976718694030372543400920433521819522109225708061468495705476171645344843291695480704090644497302114170409869441285088429, 2076217376426880966482179498856487492983461430171852596615422875966388102115894954506612133429879082386069421968304907337440561498600742051223802019767793), (9330493144562291169795007861059922959192264161703573008907873753639068007676644525096367556281744457402845986800331742078202305351026948132202060606122888, 887730099925520690214755713607594974900753080218935733323659009836815288732383437121886411051678127343540208789008852060163887409797087699546749361528136), (9477015288555407075031027264137024353727961999076314871797115686913306296226615209754645822472141312416199036722519450064392194135555529531286837882789102, 4821409632264001484352272878462206850435226259808178798435961166113633403545227319493968885673791737524365307199807754405298240759552478057502974045464217), (5822151317288509633993736644518564480001367300156603991713618832513679506834902624020904822462280834921149612428682092377599885400145126820003477364848199, 3139135375598440847547191008094620581352818492790321593197969086156070401504168689875842401605863858252842732856148696159006154132396840482173080596910708), (4147946438418799472976799401634653607632944303085768958265163965548877462325279700754667332244213395958112574507676164204956040268923449993661323433467696, 7467941338606518153928283107926670115468826173161146381641507199906033218046128995305695510986290614008819694130065197882803358089564451153050851618255402), (1404627024061831561505898015173996693880785897978694433063146448412139885441476404647968876706166199747050150245687181087879854742348260852420524630736733, 458318757129591720846848108865907766114106932196620374967381973761834634653835965326373806864375432619074162589168774405843310397959038107841230703664659), (4499756326445246717058899548214330727821034779394492336315500503564008975584514167097270350865525308597243694044952314548184786797899992036796082289242690, 2664422852838436950579761291772236336098224591877940942725079869639028250931713689793969832939033940010193866857618490387977686607910083784345181579092649), (632827947010677400646809561655777685791782766066015127048333206085314503657704882914554226412148021468071479323526101944608089367916386592315797424749586, 9293732533808634502268082468274492430708412684220928171446356846070344691709893602566529996871352610507085581102735742451583551295105740666194189280362213), (7973917624621297716102172894416475720692386209938322749961461726870918355454693927982634253992197542207222203215375880821361665075966283180378969690354380, 3696673491102609793597769840070547598324465633956120267014985107410064272692670150054562371997499040170228514343686234221662640157485437314603236505483420), (5727168137639224946187972434148935577129809434484167405280323929378929962883166813763534363631037459389883672255861867228557727920447184449344304337734565, 4441593453850986320649993475730071326991063581831156453897123266663827129347801684937230608650058578457318237233022511224489125410080413219427393545579272), (2971369636553714962266830628798313718008887357739972846817979507792260986030502470478520045056775729499703202435703878738995880759330521087338523723335434, 8658153527831225600218063552696958363380222108058285356838988118919020890311708188068978581544120260282914686899708198890433853307060417178536288795918523), (7588450555432016477712374181027511302009113252106569260259820868953046718825914278333798944088984091956508917393944085431227586646187670984182759241106896, 1386377133356955815288340571040289394856871054865120671758856887649281394057141808327341785367929290872538941743999653721534413347731717381125040286479959), (2495346325918617331768488747514795382368708256983534846707909440804457623268491070105571069287726384802713270724623805995150213913128081625994217210779026, 1824834408610670110967081233061251067855876267717269858146398859371863691907690449409300103674968727068462033883559293982918513979062239464890339248862974), (7379344860623203945494433634850022851063520706209727620359311081093745836504910657639039573987326833478171282366241489655899718994334898922071591098047592, 4368070973592602553075769521336724723280257715530191635278382882917372574344181700311858814828496435448710862955171573091770695521135919666360480615281217), (7933031315156610798755111203474709352856471746210039819394486830692461521023613570788454466003211764407829406627821594304191558624306146219690845195940084, 6323488094022727775995057923042783169861350601456265335854831837312467747818427905081536016943042365304661590740999679544787163735144659421053104159697398), (8483018014913459692450774339354360340570184947782698428785164623748143566625956628599405975551632760503232194191690368388813993076381241237954814133008209, 3062336844680934130626597714095126103253601512549998508372738510710178100565563964036838190979229692809593600102059010465364377564595760379398406969243759), (1988782765607752887330894235088553927325528504596946042083754011346252142799219228502176538057463039657919449335443526984832666719340418728449325570829156, 7671209777209117212634007097094789379936568141359159307572286570901189387406923107145545041191526391154465336253045639730646611682096731177237480882921106), (9053690508723775230719056599938574935686359667663604984960072866090960755759405406269046253780898377301701927260719023936046359123367087055212450712997421, 6706936758412985788398107044583140580801248832207344122389071716621883644095476387123222193159358482779816498181028935312767757999837517364455579558534050), (6116316299753143881666110858403228821030726832061746605665021363902628238129973652657390613420370805273126446528709547505879877719962817820063957406654361, 3084730465468802908876215558707746840330957342614586896590849199769545388830339234754232347673202859800380393477865986701021213798833194107037804230672823), (2818275977536184618615101682279628853580947954741211968799939031034383333826567800655138594486744977306223864684125457378889766337072614915853853901937486, 7781491455246839118364207654304722139119407669470717006564374903979967881446765614037518735832994392841120915736719003638777309673283362234270141028159161), (3029521537374143870806362209659524129730218170037796793301797467632466111380265141811155017507423597739746847352586178133682850009036797654312690053290808, 4581151672924796478263486804001456072886355489190379176098712750529967951810247044564494147747439701114743893045353083413907367592327617740537412928925903), (2694509033615370068952190311001259266970655107455553224053457632209251176858728461046539242960738956457354703428268553769721954394548636265897524604807798, 4336964391355402407529020712971872144051100170628665477991388170875219286772707311653713854638361093265060406006956152404319654016447363786702717469983297), (7705023788735731318615815048756133784951173163196852215601010133101173692359814133453643468431053901548819458096957743218271203098558099381708083745056106, 6062008420295533042190411861507439435523038210548558422095691684235927052782156180362028879784747781273796099686669070750217068461163045563086981684568327), (4629785418742304646435729664059863797381529963888533018129039364889373738193843838626178360656561959884780702397845355692232170707995201945120312277499111, 1564247482771676684010413849607643143595564730810511217004603100852328073327597324868698464718006501965909268188939918229931764388893647846847544658266698), (9207000924563817414762331026023738144602587053559996751946663662711005769347361174157831907159780608757123130777432656221896334603313618607343711917907364, 9166570124170457791545051459770172844092466809945764658674867207571859836356551943287524576218543680320245420313851884877765163485827513458162626304150242), (1153394341677505559043753554388122980308194709635827044040443126258669007931922872518447631013131544824461175853802778419167389483002832348657757922149655, 7384823901934820113448454280667161790286482003383832472769468898040042255560468772034854632751856321364565707747213553691669418599596446613323517366187385), (443906856750353956450116924463445052867462707294563034503748307985338093594466566751772213327602002378358491401000653309290778128053175361200517216263800, 2426880236351814998003914758245926726715576333332874100106834832129416335087523012146845482725523676989298292579066470510835337062354216993732338177087250), (143248286020301920534089873110956849596711567256134719035402433737545970774936815984039822642157049303944709434011170955235346439998415026585713376566024, 5857180077759271739872269977040637646140112817963696740789370407498423399023884377307721937854129837561393593729022236860636138436097466199711242021934922), (7397807740999963339932531307558421482174091289915988627117122432798599778449152048323178052065688250663272037729165419358224809752390145072789374423737372, 9458290421820137870860979417337419741366259479069917206568722084485777313359294405325495125051003171815690698172235996246569280277829963747005934201568684), (2073656040668306417000540287135508835358615728484748344830798442889309301939833690756016578224330307640513604348913154295937621009798266051002772508385124, 1174537985261724926701204051001910623363483701037095656673175602400008789229200671236702261523023652784467687696386466421776964146877279217260853214207097), (8850728421702545364606033207145414827479632438765343799682640303378868542391999079223590833422748355219354651720027993504707425898807813612675299353776416, 5846329635576901457685954988139215636472601189605426431989917251253673701101749826107860974092307522353775033917001744291411725676775874965615625461601468), (5074326634796837759864068483518200648387521023971211416689448839363277450665182521679749433305883351018605674888683763668946457998045617628923297877620437, 5101653442442422617130524139058604646778943627557001478815822341695775719863795258191538483316808720245829317917568811173087854959204975018027383205214015), (1003929645683054738884141030646992012161848562474117211678542684131431066378155389438733770575801522904227726727283204091203347258829694534780889705991951, 3193755238826509290148543288651243708428061822102705703153412550251124837542456154972092477149661175858002022145616098717789662511429229157287635026234731), (2594719647851887580242744141906754147498076821095101293058414586114884449653710777399780722296085295113057260790122606623627988856418045408593785912850185, 7315037218619431702004943114795073076041199109098704661042379595618445310937203611347420721892676360960813897653105050270772294454369933445165993641148031), (2310558621420046789587952375219511974739436111023897163008003381466326838054883543841545659441020415959670934045448527026195385065428973343482738486359790, 877429996826166811972681903005439060245455959144564282157081921788408226880400538173636789190331104632229039994494452052326376739923145871246823947598496), (328717662734175067768127531398719101993424814725280074209944729309772012049052105659542393179439927599006708011508416987872741202383661564521381421403883, 1725657985770983700403415731195321170885272727682746056225605304765434839805590902605349492992134246863260171832970832399532577130270768769566024874416088), (5313715549463141391430753677797875590657820730953242575464390503240983032452140185778087001345147975682322629612507897142971003798960334415237745568023952, 9521421022745374635245038372627324248965957065223549415597137963446183522475050873967685198008553983598550843498874410841694465024272895594886165778941294), (6154356245080053484314852390602724945917933083831708206060253966274210290969350027860970616075534452269228950213647104047391552420860967922120290228268895, 6918438255625946092008371017219415675987206320517262356036599908948879517612455486582986910445280103333710259054515692472141037885041225504739986832749557), (7835712333230328915879088750479246878634598038761823480245749101269088304563687078823811424136178055337048712832258589783514585776438031370836880626713373, 5528644858736601986151511218944413361947085276374389210602350838211214676863935688651901232886846702868588694120153574699137480440385283633671288491513007), (7139567293704447596836422403191841128796607953059695050177752896782954065469660745903194915210492615047334365454567594913425957640860704535216798415236739, 1193934923947738829088696180989874901463351166246590849334366287426745776139712121696504160585489889611195046530493442042620703322116483689104506402248341), (6361748894731263467756393206960550176803274799174312826054940103678633950962642509599885506632199562293763530528225850644963603236969872830651322224547757, 5769072044017425762621975420654122034566052536177230862598075455409938604783628581172518228151857025733494594545340808469799807575665670136442525898107804), (5882877272308043440488762812037336113489100179341341611076349992053590864136190139303471223292810987530487572044643616106326224681447347036089128360445651, 306545832571913698960517115523213638794046761347966389498239569326928053597903433083108212532071522633127041822518392982529478513252107556413494904956858), (2478766896603896092284736198832722952504121334273095172240055563391587131694309723155969191803845229487888224717872881642247714634098553030772025750995089, 9316255354676667452400701956841815639675970952144741645065810188562643710064421678450039901945079918742970661553156972911158187153866321500277328505689697), (8869144782726129134527884199165766393700030406449855872401976355973304027168863863589575470189963676706159466793555816729172288137357380683463919542504358, 6619135422368947200714172554194085855003721078517085895568838496070550036354054110430649280270705755981835067959248669668161566721871326944214884586777059), (4186479598922942734670747138892163260260881902662999245548385355118549175992153776547130429431476932235434625411236442999809673124435723381875147209891803, 7835828235974175434606702520229773807131079133413752254630062846485076199688478320319237725721648480035539298631760407917809029377106445694962009480687360), (5699064255198810539511028926747618978934500133933602758612136057953393576147168384054910858182479763118888950341030807702047819106660125787144682320720101, 8764378413261615538478818080750750830746121397671489971047261297986402085977306180515144404522140527784126383180204843818014334320628736301725261522033945), (6447873832451283370606936080777165199421829638462899135286213398917662619632372767823127198345839048462877015803002211287613108546757965804484968497751666, 9227496669844971685065622428467054906448436106639017693324133532118870857266666974315551969644006352511077294156337791902372277007506073041852729705175159), (8624213952396820610710546541962343721269528456643086548244509701622027564537423447782074202985901697611961066390331505986944263206540462746229217315383654, 5739352483220591759129738279582114346528711494993989410302695903053539808785324427167843127440707348698976490931693250650095144962192640168399573888385830), (1189597038859009676693739972120277003871061113933040958435164956408757585538434139336110011246999875151642383445435134001255176897715327759912816286501584, 5254525735445350991885594403766293828319801006469734978630272789308168691926585937215302200412594994615252172387886744067344748048950362738960410171315158), (4426825553837151965061224006840172607072546313321179965794542029429227144614074349972176845175725573032181448357703171956322170269548519539414143519210508, 4574640495267172071624579869597678156205923154954033967694442920398190408787730146025904526367905803108598408647935092344579340484124024410441699231868533), (1260301068691202933947689789948609606695761736516264065006662188512841886262625144672482067656688346695476989812870234191865636667783707939978079874806029, 26487386525998870230303120289187830173376088448592729053727962069826504777776380080075096221210317358898204124915708805840718192436318398065500130352012), (197542632359961186248685234634030022755416268449182705514399143995199140646585795182684187038421913506156643198030237400327891170703505075565822484240520, 2983023708312143376029533446754304161429652049163805903805391964645017090424855145832947287042946543759153521319209522854928086073887320828497549264468791), (1226646047838707856420012428081200007279345395993332611867334984985043615962460687211405860606374038319686668952715714117360658855942769878385300266820836, 3848451586542712377040563945049399151292311285083110469444124187454364179371152418352614423104225668883918340911087280352510444288267840892205640467632418), (1186457052071327454354029478084468256271404696839069384190138045897020433585737846315023940486888716762936351723760870543255113635565725273364820387225916, 26355400823294023691256381634489297132453011956825468049158162170659963870585101195705130081233983291430993155719989006260466039210725965733843585416650), (3380572365839023964738603487882762541855251589866086554443741127601000495543810308458909038216001353951363801392973230470996537651505418845250197573760222, 5411904015085900164414749499722975471171593850381601930949476761416971559436386644820813436776694937987351717406231918527153757614531589878723987311833637), (2256055949675216036171450236063192540804647189517671736704730738892293378353097792509932920752908675871881313630653606252960388281753147220211275082615296, 1733804962973267889242727329369777718655197991531946104047605298143587428599429235864086051978282821812451704950751831094434665496614807125419676323399126), (8061121439595876125545327916644434461528258132198541253324791846976956824986031055775671998187955862831831485473713746554097269759844697373980550308952084, 7885811696368623939217804782253064235135859428821764412564430174327358039029143120939889711779495351223701954787671527271286062413731683671115957607018944), (252549029275254197748658627479479129667992125025718407101113413030262456224976941914796421682350007064277257956510569313825024621940720341425053745291336, 4979298308938791395702340925080416632058217266542246512850526259711574680840146738809942326470966534476619529855209746502406297681801582876441571754157903), (4130967586336571252049429493981521037315710947539448776901678404064453739225535444488201309979217666429974247361747091268656064307090083094882097747359602, 2363735260725124916280484733139589555419831658478060440815554533629794705027228786663707605330465781991922292934922353621453848833604011750458382711312694), (5110745365747017774678961821464112053308887530490811827605025998331782699056554299950434192039580155764899559100540177291480817180128331204555829693443390, 5761221432160617831970430818586679328969860344939209855303150186294371937098278482862391051242209135043234036422553499943161901432217747472800492586304889), (9449900692538702177059996605015012843856991739869409375337595172341402066816825377573539686966053900183111963083732235619549609224271068529973021114724382, 6768068193120427491024643498705074452465818442558100733233066213895649580072547340940722449936802462609235098923657767509912436688474180584613862752926164), (2181248153306466562182291316496884392674359360907216060485493106046037103836160085991232656055080164796844271767118472377210935716959896610324898038142124, 5033288171965603569643449257262422076339547547041410985951729008011373198211883945945069487550913702763250923939991067034657949466003551228385388428098179), (775601296741688608321018768264742786600009228912800527856868999547465105275069825468982674297966237750213632003417053224023962127403014233299151082715000, 3042626134246815713639170888578046837740823483738994659832755543196176317285037771073594046508503629692804762043740051436150200709003655107926594895070415), (1643014819165921374382482050677131430234923306769039747386519685412410637689737143462257521870063296005552401365986294359233450109236385716342467755216247, 5814502413025789315063205783953279377150761120016794275626171773797828029123220960043896397492949704198756038315443292711484948606700402672923370198367206), (451019147601893791843452573135076156606824375325877333203406106266471799721543511380652693007682380084505128108173386148194000060306636952451590846201941, 7049551937494552737331389011977954504222814075218648179536569994529249808220685195502855355534454487462559061758200746044162204345806035870391914588341547), (5577225899957845761554121691322555997880212402823213774911380748680535535657706635815796020313603375104397658312402114151645281547424583201455705498799351, 4091225171199182936544493152385139091222878146493126209851296159204322238797987815723632507562781689403868937470807963566206609369032523151044373670234535), (4760838809267723999209393717444971109990416458783855414436042618785066159279182236244932797086413800365875693961904256504660220056644593223082851607237348, 1443110388570795867823259342121080896781160166061387393210766719316338151271040894083855861403829290845556821200513270228436126563584838571796566507428007), (8972347481400368882257897774182469702156412454763079627451427304218250735193227216131888533156146347760123615575608168024085421532896359214829495551733902, 1781500511217890070159430699072233256655228095183627711371643643148274303804910840488907186950123367534103441433283143299133289180144415278341395932505200), (3686272659324794368433903414053905493755379393772257393995114848087845592627799467544468523878409523205696346322107023517427767555324018010551401865260087, 4721331903323105558665586316473837066519757959216973782382057751788271626318166841210770408843173410395735845116003838552830357456322906517462952176507876), (1667510245386915502780590888354103237681666501704461544133313161553948022137529550285448895170027330292142374153203214314582261283179678116464497024083667, 552381099074495483609896315980004458864226154352712013411036158884395820071498156111349324881588774270902765710591927564090418720062394752468066694924961), (1148076870120613443384826062080804153208267535230179276482641247496321836807215638891833148509253351479012925165262230675172202124466753156813080367437868, 8195093813310097795261849275707555384065288997231505207954030770748555103246637784024882641406616515821536551752406150525461548586579970894643270755628153), (9471522806928729088828345339292576216833130908455970506061106970454783873694047856342833318720363766923294697222740015431709722844070208015209036979457092, 3283947596018803538842343017478056631719028504074291644254558167685556450520658896625632933069578087608510853964532612872294418300654618025854606103149542), (6176130537985260992644027851669187809153474098535925362184659717510166174117609864063365069497411033719920945780222198024331251094258003513447338542288407, 4094625070063039384722361617263125650222710344319841877157392213358432659932592744203703420171453961253916474102837280323782920446159258046104735320527647), (7595069220864920106735889182745933784869725797639024399197413650425105838377241067420388116054707270480788698667539153846150719407072753683572905468475588, 6945611009305896765349652354377648159922304545326664808389851331229172869223781595587477575986941308368872094274512414600916721654429977560683207821972568), (7235707490937415517180095696305678834883516858491030438557730651306351919086053938778577600594395400917451258625598914476811900331338211420867362841520590, 3545978994207306526813529425082296918812818854679775383618091447703648013474256966007536894650598152761716664713127254892701233857059154899218464694785823), (8551628612780227004193906402634980381129275468357466132468188740312931382021575040973761496918300292684981329135894914774367797724403022753157081206522549, 7620665020964243912401908165639869235985425580577504879475077324040656856133033871976841240155632816024950654986102990717675492549944616085656795192978609), (4198259634929909899513322304244189659460051945495273656836756226070504954250316843402912283489238609768222568333969270303198492561848400251615575975764909, 2592701846525505810459213072693550009528919978119297024931180821929365623539007383193429044586802674293653850287152818065722684795286180960418759578649060), (5735325579006029499355645897432975391781424360709638396830784463224192284160563649264627738249234086138573813639754495254412603298603742405294123652251359, 4217088172085052909413777726709874559193642117648454430228571360623386924092737641432092964806699784326087384694666208218735983509909456332030473123433526), (3080277762373881794907908796780962566494717785887223642558963240554434912134922661256158468892503931789990579603862930650061920921286389430165282719866009, 1000782663367486537343837611273818611852622800322332368403895170652788450903148748147143968792821025862696705082971401257103976942342170111990333096966678), (7952576878989895743029485128715345075423891335083440809382288725849648378666295651141105355582803733042547450724947459641122278847655233097692884419235403, 2138655559678591780308873574759041105089413585231071673316145757675302929971264539065490676170105257058764942496059618392073096483984749633427465267822062), (7379640845408577107402336683554321325230464500848876411376163276001986721561171804404724918329878387634962791456509337152383088278638568894394694863224054, 2272887139117339135194074517552319487922500805868922863362498369755088308016617445539557295869648321586406014877567492832171046769163652107577452267176942), (6343181078743923859802926614916037729443149528184133211507895723024486741855000809143887440974780145931718866805663585063937713116891906441103705936190547, 8795235152274156414712998688688880557791160097503950657282400196069587141435905083343454399255201338549309122450384205404319099721116584432711477152907152), (5336623462252131008757885292725614362566731189578968950861817665740834516589005827976591555206260566596481880436118815511182418293948205503438356524714925, 5659552031641678997815586350460901050598127704072962351551815298529722407697333454395971738842292643012176926860062675202967983655499129556173160625624386), (7573769470005619243837012566993540816083118544963029422305633797787654131470890613600238451770639393231133511387359927358783113353992169548359695709822629, 2980752024749278548566524428923136582656338401500187478422972213761873601342184884094412506870755279423272807958908559345214801415279253130384367980874491), (2416685033278911524754081896452724355273151821559758736965682954185301799720297142440349230096194155210766414289500926675000297236954764573365276886864678, 8101405814638343165576535498120871164229809102503716644997012089038506260749802283574392485808257409140461833211934832112711467268138410467977617961899699), (205985196351129351363359568380589540175408696477684059060482685442431327499184868419780765971609514699614876564643586045675137049818991924111786016305990, 7316927890054723846540322247735928122514727509733563464080569333608743018881120243932460444725610846604403868387454893003749374598969022137100198954355335), (2328595107997241329375575026933214861842400109691824831872558071745114150890178628751724088342946779497624920299496577573204770400939832643065391937722976, 5330156558314359466185928380592765141615990582211974322252970521984719570832572586572872162202741420185208931442147372257810885566355956732576579043946729), (1860194720513739540747494217687262700219770601035223524559898060328786537297172993270858407090684168510987054216213591087168612604883295149120899097661167, 539112262325847234442930162421493058354059339758784535011952202851785510701956065421694405269570689105328185702089090102822267282391872199604303568182528), (4985441596504049745205000799450877030878276738653948534675587150000933787615154496475475222981562155755554408005024271054753777056135168699668374002143753, 7018264749329837085701382789662673324642478855630863577663547570782892388007632056637064435162823215868717297835094987427693610994218205775329396785898094), (5756323725557860362767164595255824314634890999345857484765898505672411915375752883610719539569040799200338721822597072411420776834629062204115399927867419, 1540797447897313698269954431253363461527067713159678554473233370973234422575297148802324114438830514368895736718567137712582662603044078437105233849886325), (6060103892338588029290005316441007349733156127675637343537105950088787881296502154000913410987472363414625289493653161425059938030499762559521036857562158, 7457356456425404395001819703779826509790644898226437501522813226306130060679980923093732186028229305818705784321448263148387635664095220516541084574218767), (7078108613425531709352652463434773867732643044293258898260319639191205454950824006867255055701743387642075183427231930897450582713973345219073721040501658, 5419175755173713645546047628095756131874151380450885956472340747274191070669091397392722516328376419880592898079419649472808445173856315756197740522776677), (8259296777666912881408592959569815187870991472472461151206328500147767379559788685557175589697348032291614395210141614751500790103838232405531388031077927, 7027283105587164437212340574323783427194635289161084866615153437098739423318341885811619304616960747400570777378511979079674838448495677730392347875306822), (5320625639301848291658508697168240138645051791252948395994354586904744405879995045861583275617664075884237165563736732298412849132046866026279193317107326, 9034935372960675273918725538074535759023651192523461070990474531508155471514155532886707641837806946036801736982647738802213139527885954950614804477940711), (3691778013771084039214271168982600981867915692152401104860145207502884054681858170280684395744156572039860574629007930511877063932184100622572063659525030, 4506582679144421955985293662344799096643905944424959449553957863446700977740711652355192164240404418419499395992527508521561720684999543096922063956081183), (278503674437454266203665264369301864618597874998571264878918982634353535232146166842972035604399949216853328094206974040670429645822318737635042791723622, 9133372674212869387581109117843886496034089571216345741516967059060792740683917972885038008660573777371853252410232692191531163721425419033103083574953568), (4352058852615297433549716832230520159176216083018588204878126462137485427419781368276468758139151080131629487980216155297519908158912652112344893978163471, 2345915374698923240299346814827940785735487901969092812659622642610786124793207803215383933070419648425108447647523175854083736131035188523578963148735257), (6680212358372947455155899671406880917018238563323156105859643393762674847796562256364732279325491909439317108301883885931938400897982452189343793254262990, 9008645166276401501653282087964261982928108386022628028755357013711242957903846961575502830691136360594997510358756873518164416747303406390774434419327410), (7867396206391993158972415792996986829534395489318835308854318621220457195701629182212990423553235966277323307819342309876146907528155087496769518367001213, 3115363284214892374506597844616065644742628100460016103562136282081788025496401741299591047896150758612082037101467870172130072219030042166873993797708457), (6850691187799827075640484299283866549723489899572694673842880444561317586477296335055560342860008466992957639233797935458538804213329396809819714798948085, 364369353530499932539216885525039402141128789190641377651663022182127714508773385843909678915802113624401461404121025442995402547037812918438320002654886), (5742586942654534551283053578812147410204288172181448859863637308584716008756824014808984415377191280345130572298844298862685390420297726726312167560161201, 1718193461500291512858803995217863017082605130939971978300547025861301514960151553512293279868065747375829876071223038665265822901647947930601954881371410), (4466395952784424094712363276892232417539005831366604021960897911375867843462673852623137975365746043688574621043718178768739186058283842428318237005386442, 7511671482648186724991671562890748386267380918691261194711047658849361593784820993295091910159028855455815568361606781005282421982873430747447535694502824), (2035061872182350873577698560526384935237053250909239201955483609577772478228765101497055894680792397309404482200568087563479350639690787549993318608242147, 1390829221028627057747234607847403699858750791354582649630602048217565977365700745774920701749164906607418967632224645191230213982629728675221647641723611), (1299771845053088686173897731175211359960095114424312737487916450960331499481162584717553881359552913497784024792360581282827381585745325611044345664008167, 3675884386587718259218175741535229391761499457153297529273056772998322296610374921421408539789152610746505138212010802449020061335891827104610091941077855), (6771794412704335506419075361542044232882537609459098373812561655602594541190729406166588706093814792157156928771756726469983344956499705253594535359853488, 2025899719411931844515813163831388431458055095276928584917503530259369902371815771515585572018564581257314352402223204276613597408464702856084253651181991), (8212106485233223083281114061056303859629078687179709638150687714480016902212463489277397537442092156491876664615464734859393209606453524551139984222571846, 8081914323274031667712094160232650878748748656856779760987481479862319619023065167001216097310177964062593951684347790433904996911897618327352022451210337), (7712396782937085700988987370872738936674415759649326375743049615304847415740419465427954554539242196296243115948678906076146735131837950167112969490699017, 8723640525644950937278594763473127943750363201882081264485449842705012561824836066416707963624495965176906226903048888903036768364550850075140705202281491), (7053513101378716704017679315631209003851505073934981234280794918702712864155159824137429822463090311667040844148822787556368487969402917574932652933934350, 5630726752597194712980228282053198667487308527716156344313942585522628450606097447718056441357773797483244906642088904436314882974195146533783949656385993), (5322361439512585620485264466765848431997691560045105314928245537545804689183834778398584967328345386622966211953931766108985129907520297786959931281016014, 7381081010504397987371740229175690296964949598386687577080823150022375737206393601813110164459262692141488456440828861996219510560587160641306329603224962), (8385865927086764572308447604987328656337177110442732518045112444827737511788513366559037320969757943111586488715501978183730010629027198310676436472045172, 984360066434623547116165527422901351148574010406097966568421660005648535121799577861782765758201383674068921082542144615081469362266110509450819134982311), (2155103565546922471029703970148931372311306078503306280667177608746889305594061498244830528356186651277410661793635141622824891080730340087208538487613776, 1011752762739836382726969063319447321511542273151247680147435596915329950184109127603128854905902786636528892366831169621997212786760404931751945819385133), (8962418439357465754792452181480092915684341602009768062627113072360248584048050848787368266802836984856669828576590317892864524968989903888296963355991780, 1120257950831236122042680111000500153772034986043883432090288898054874228889191664954512435771957986521238119759261890281487456512094952718305523187093786), (4184726603956234651087861600137057461999861415757114076881893687852490550829794935632391153659314078829522541170360908828746847127252897289050732470486243, 1769912086248891774341242689944893898542584848322785769749161191327121668414102123384755240638515231307514330315065318915611293797292043125634948890355153), (9155389143224437562398103620906458625091969551933294339221555140907521712012404965697057846702781922020777816193671278428911250717631803737025211176165072, 4819482526888891608864206958319697778590499133555542617991976883917816179681794181068027526448738766935740105003911418448868544659632522772919330475088109), (6788656136526041787100499674513165309583016488006006251227056827854502520987324238059648585886829870398711141905498399065367420955003572208627915988423195, 4974977370592938187748158642042023271904307679517531651048845865896040983248951287261938311689645690820477970758784396098579572029329053046364709268079554), (2923194237759096797700974260681524867835534451607681040967752193810606209389846455080562922576722718774549231207077950465198286409822752087062837492090864, 2404462275316737506363577093307112153320470480952255367925163745001258166819085574620265916134015282622924428459257543662138077616117929071499070517288383), (8307378332530995510604889909178068553614149208320168863865667206369135700784540824964198022366230022705401801584456376288738742128620515029191379466094653, 8795407497077606135062238510617680715522684525890646320587565450378145387807803769053288494034449380501996215092167894783416978931014003984316273131822631), (7089343244653414569007662601274586705797262550209169239858197762387581179339155643206698236510793559950543598281005977845066280680420821369689137645507039, 5116121941894882093029631509805711442111796253381705511843625027824902233037763578041386783191856979403562125247181169484931138303551746516558656886232198), (3574080888332007946891524425521942332002640264081980777796784448694195975651194894539777864731769819340220062147387369213467063261516849699378475131704193, 7069272432329971888295834613192385319378180388064196424332745515663403307744417995623650748204154382499385161538081780478210424741144987507712733791785795), (3864667012502077566716702476315381859190063154140004426331434802014775776880291003528261760228011852178130155910974168207730849187467923155194083141454118, 9104742782194762430969101880794648504678391281836939029545222286685083193277853367520416000859755512183889892715283528760471470717640131080988468219164199), (7747227472307876840108293050643889927954421241118459755575321918543035517165531483581725099958684500845943191438998812744624418958226710507688215429573739, 6802709062192287039582911140765078533409393316105293575444658797659270717810772316475915280470621689958147456937929001719161547192009611861644316737405223), (5679245247003322279844180497277260516819287451130658377686475608088587614425562009682392759548542939458809989320560466495222385760414082624630709464574667, 4670436957630537284482216677619371479379544475133090554489792892989489389391808988094539282724908268722383986999618169729456918577121694065619995119503907), (5220592979052048914466322986359177351448634189292191423485661575459020638443498497591607406206804380415464948697571485789429712658823722769978136437127460, 3897844578422714915401221408682304913921297729252625565858674570075407001052446089194181806876294452707222904245184986302530365282893825422302819039578529), (766870365233263022458402757387391119121892815697767543809702992932376741939200818013400952277133421258567755056346741057743496440664775006027781502553934, 1445602102948505014983298961273941477504834051203375917331868802898387731323155407882123228993324787548199177119392401473496980677768561206628461579332848), (7998156081354094047784682783137919068226453483128199950289409479525818137971986924327634486685297538701497091380349090630540609969214693928131966426733163, 2794906338480330993580737715419264183775860786505733397037425316966893948740346884776101637092200793512408482984944948797546649360888214226609223696355078), (2707846978034650925368162672194562565595158007858697379124561866300761947710219596187258863174991270865838241187025501054204265235432601146947278932224439, 4774556541245653324068806492710944019349554517666491638064713575786301982418556794954028507173618444776989600975688112264422180413210091713767000450494714), (3991186807739311346265864415962077400558111265696575807977807702278031373276627005816841936565520832591612452787286573802985969877666857167283289838234537, 868919547350312545898197926061430376581746560363894113581048617332591259947094349698928065969370570855629669696921544079209293211613374977661175293603698), (5629561793348231918103799052860698952476405683584736224055583409793605009583294992440894209236903727535100174251062246573942426946067187935479511443504517, 1889108796722161301439428518428495364845336999945459681009209577269013714281248341615008269571542721526787651882569385500098230901394872079678902954164697), (4425083337233751065323232836061444930069249304300686887592998773793575570836676434311781530053951147585577504963231813825318784531870597200213608072032844, 2872995713192974945881672586080630443927761478101736592985084439665037752793666882178623358903829929711252642783538509418952890241484765843929314070899593), (5164019129964482901286251903505152339728184767117662564602622829470335932574751327651068378504746060034889378039665382761321429029868288739529829972650585, 7495001494280945461752192629508997814547251492401823504971837294480333749900291357347313521215629695073074382313703678573023060289870366145774642830080930), (9446300804039532433093897967678543239907276435640232455293994096221334196769920397294672191429658977597530551128416138140622854407739377968239757331472333, 5794232263411406295529476465432978284659563981279454410154979652151873065755236432750709042623986776484843379926579465935553926324832482105097544851928280), (5178320762357606766410816298956786798076993574384049803164697223094866947978734420967439992411591879390069990494421417599334502920984336099665169995498452, 8771242616482106012264141916305815352341148084320462922065660559702477768171458015017059186037258718108278989972790314463693533005977502076747515660431145), (3363019927613122833508706685421235733449647210195727628376737905622102618021291692166112455926793056200989659878040870086317265553665424707228797418466124, 8995822126195507631772768993758012476613860832544558499609259887393471843691226544158937174804489203494264564315975316297306165983783412860685693829898084), (9208721848724368394176434513771530318689204900941840721465740982788448223910296871998141558298213298049222080215100114208817861719320149333220309030891245, 4144895308002428499327576242692113324820333268037553026541703217079583351963220821305924796315132034242344654744139352617288583709057479893896410975836734), (7290355525665984417638460625053579868199997794942039261074652866598124467349786526737281960550709426049806262999779120830751185714949891964844787341237097, 1915293133663538544075729817624627805385918161148468370585556850125198664501202196633533769693139002079050431953201438061305497963522066359086719543814805), (884077227061254216049101159626213885679292616249542156569355491353511117784671393301669754746940642937110890403098319526952385061692248165719026379127800, 7408056279915633522148698261167937173878783926190775608715924830397935604465112282523346214865818140608840344519194634096073331633074154067082639816114032), (4996612839326105025885256473315819407302451926452370246180338354910535356667744136036541802717654964127355684221187333036740747483962829296574286751039779, 8037974577687031911317647708563112045585890043915995762299566368742186153517208120493426643016232117230696408406645146447665760339515036439860103443025497), (6204980139239670214203946665190175515105547232570422376789407025961681239683979144638848656733024397572916336566124074146381107020430674832726885917241055, 6361264576397571971206496690937626588571678282922085415385735770009641405707118257759149628778673139732285625145056253520582234024517529768491576581998096), (3519733750437425466051415863305611363242978588580875807767067737462035962318238130058207755290209181052752117203703606943520704800779203716891456325226715, 8027528257616527669366346302917602017222973736380346712823175162807652379367321194806350713843263565600406558757117363308738161100550269240805430010359729), (9186786523675004771967796161922914396451261269319204590425290327860384124627135544424274220092690300763023522352456187906419971797040769126274818135317450, 4767135200434246435357914982094332372244835818269642780641127479987757323129470244410967747630124463806836772817483524622530190769273585032731401264772180), (5899019614800183841490629462804226146176560910403630672787352632589467298734124115530800223813038582613615863074564775861343311313789908412061325843669695, 1018988219304124940417534253612501585190288783107820216311008007431792714163896931294426880102737770167047902777581840566905282138323912008328679034805497), (2063664997380518323333769545353525215251147831163978955248584064529149793732978664862832943468798792512090959610436636594955986465833823061910205942417287, 320736898541498161426997092903424028652889637436472199071294624823014386325784519220075686909858736786868021419133364203663887838016373883431117589790958), (1407875354025379206739787573983878926265143276835573521112285986330275422275031267164622998345759984280096314735218180724559982612441217859561385021737324, 5848263214374381595342309200753537613719171149437404238600819899963120735071160827800108038883643482086127076045487687042711014141328535276553980166738881), (3641355085595500908766608014510648072557611425917790184673939539459392031600651574776772173652714235453084437538455069167233892341784475377019665011572111, 1041621995096327125409605924468859798826388265378014812750470390717830344690924651209732619658387519087524040679625309433525696106458441573243881061856350), (5209028337523206075008020485042863844874263984554930214188428406536629188266129099267064089762300979260813012574857774979916348690968182854806682449895198, 2202650253239094718628209621192218958248729539463074512767426557490769836987940909549700599479981302675586894848844294688021364570321387243526201723160508), (7986162956671119172687792776706338518820546906894037178972255959050819781706519383386056563847006627980191760531710304038524827519925359427653337110483279, 5177046698238100011813107093183400186527280417323450461377483474746098754046598734680115309096860606862088893357203386977341551097722035000598697100718138), (3458704636313186234959669389296772560015825011472583490194959095743607842106823254849209896822366896802827801548492635623137056201492572361885858252842930, 8963655830943343274253435167867629348924608226425041519103237468226602682323578349933910927420658545395976548777448890889424981504737800070546543572989228), (987176554795811908072388460185014995590213813646923480206171888712592125715916617597352287478774488382955073941274730846600763924380848478131859849755128, 8191212715915984510647701152790128544669825018449663062240567921314359562251280207446262990821766670166715193384520163779480096235518128182404165597532814), (7370569772202273816999938668576945237450992826820597982432835864549436602756762595445453868859401323640915135342974365534643453315425687632978521690452996, 1319130317917737635544874528199010818976263745510187045641644480129355440158322267756757106538141402865090995676568152429944459853152110349456956306909404), (102586373659878217533938605756142889851163887043044832726348475521460379542006407548359123812494983853595738846540518833228396716134087498551776632196545, 5580321285368089337535085896055874966556665409059727744862922067776888124076999186028231261568120245572467786331426202108315991335322721522878755399057043), (6231557700648700150116079612780678484534511883164912218731442327345871709764536988330330515994778275825838403360332342788214434512311089203710979148928216, 2752558447035526602061829783084062700150010337296755829002859436219899086074991709653817895442915359626658674037542743683322175398671008084875215192024724), (1040840007168658185215853370782334668386186871655102582471131425656057372579616369012565237735945297370397163315363924647260465011326928851154530467660968, 5250865894347165671042482018655655734581218539093261435625474375745790821877522754178014588335207132606346498893766954849141627955952046680562114257711354), (4521534037439479238339539989216604312732790103653276861570235111580599372225911558361340367371522729027459599430910455380119942004711111194526825245049207, 4456695560469146185973341304457333424644161400643729157362497197494068613272252123935916346160938146611533416737210183408310070539993167629454853019031126), (958784976813385572024946613755160503177668422892168831347529538727224222984502727997567425197581981945771366484041982414597508050342150134038305101829612, 4777629983516476774892596963312796178230028040700507443604004973006630692983777849461525210707572607339854911428512296992822805766804831753013401713331481), (749067184192917150649498385952110074911568036334089976931311738760148323593748969051440530004228882187131610248330497591691803348163869899562661572714500, 3951095650248406849283781623050766177654466375240547186220488956854391016377851161726280536166889037685191862877393831631846813122839869676615922721646051), (3211592815184948532650438680246713641896375807791156635281409646491136656622460928924315265098666763446711435330225713659063189950404145178306072594752838, 8617230429406617719848691834625068637162050803027779260996287810187898486933337051679289938465763176287125064403689214724815778099028838892570219462334052), (4754925000701726663925913788003659969983638753335689877072703402456635524736035961789737640223260038632087691693563078116395883722823253192945546680241353, 6991821515556094344486277954569485097340005266555386766323115288829899529305359975267417008325429733741859985223616362351746605924655148921262361873605091), (4728741088956648518544902135439190576642444886783328091807056866280954898829910956863873744821985320605268323036071113363045561161438711014502938706664190, 5498802545893741055114295751550491534071459049063156485259009729290712499712324547057971802848736509930885008161369679883651883602276306443003567142487213), (6960241558931646562838558494753022715046006152243338383841933221178223830110419290201339973080070564624423970460036693572279385403337508905983953613695681, 8765359265635123755719365267711280404414514269388770896694828825236618153025810411873540649028070365138133469852236060608445186275681852159971329399012137), (8616942915917500434998117836751612060076636809546196584500792670715323851623746752017557551161643558266044221791283357312156663412941718504169747008675083, 4599915967736326738535586321595407954136521419598593792545077493745368488279119751005742437233026619548785321190127524891368646760822569576908571962688946), (5743584620621066733402762726281236164769423965121727977165029917299796686225119120835857022239211740308087584578107312338683238590126273360287521240201383, 4877619360150331402171852544687137771708313008708161895403387831810121049492580987759117115521560727598964906594796344527634534971857654675683559013579189), (4992164513878689170394250932834512422464707040076448906781295012023302855360652086915907917195656197945959523798563690406113898884361927874237738554745020, 3874354005395973924081800817541511284586638646211702692942439811746818072783297288544753363327088159993081032322460894221824583164338975779651179231692132), (1604736700121447864153010801359021763192903539557509332719009616329139289348641084281858147972118873973677428952572084030476329712357542291063006413005729, 2375221547122510752097322526489170613933513366555580770439656023259274288623742471879351147241560553320349335487283636625718462562035034217986794262541212), (9196380575280900732202924739649905005706080832704017373587463071665234776739340239432613696455514282117351972411016879803155844056934053580783788402859413, 9515419558344501590020018246510183132597024470211754562568040035096487641378220318393655482862191793485197933992699548626701396166266660074493923150245694), (7348522027852872262435132337373701239156921715068876843947789805841554919980822923345787006745216928460549752461285618690928475060676040632073224111915355, 5446984040940898828885166859868076341306580023944868714276534523523309167624141776454537339466733181581254674189851845115083855753965565646883828559350070), (9327343629872038991869127343508634409837701102583199815184332311298756132289591467227724886296021595807372897829002664011228631586868848080647473902388481, 5706958659155565079078589637086329792508790848035242493063953292184143999459842597813117081308154081024871798065222519165377590484940895639514821561635588), (2927193411068435253879667906766013669062130828597592032998156805132692644581468979075018408419587240978427999893850330479235881740182565436699194377196719, 917895481132659507307046819195824056866493349800971957707707356644828099666016096222087308434406376976382307836160052464562494158750703513323486500679456), (5545914564304859983361672126855002660523349176188530249326180760807560497431526818490300002086707962961586723431533908701313578411322173439115819249375797, 1754256939505438708366335054416347658985762413375358731207600095539602421332283581618454620634125235976305365521214919485086482969320552914089028954960111), (1340768590345198865968596234275537567012264955539355974135521170589607764005664299533919899665572126143316503184356150815714576413501809359757144553396488, 8869279134771534559306456208671579854265149212656729533995028635847057075160987988198933236087503293296870384958055113520109423980295428673015295247702534), (2272801338930327617485581665281092898127966760616005220470023487312306491462899053109827946282833959043289546035354929403924272763485833792234744341674552, 5190971977096559505492738380250732471994153321221478577150211794172931723740280835074417165856488493734559183335847479115755228048145572674027298810131235), (5057516832799380516456671534877929038276145168461425271578831296645956462574910085671866861855995359695325792308156658731400953829617610283732716923213168, 5928592294515443270654574276655343314201516152349860198668869364155380216771562375586605044894170955126056714147400325570738993670470487452089388460600423), (8201945355876585351023334188865771389298918659406003705152431583176311969835894737235903125344111269428508594317700011415708864600623091380178140845913191, 8343308179124566683459606889598373385742410293948483745760748402190031673888903751555152386105211534787751529702433300087010032961130438352437458018927880), (1003732196325332255402067771609178349772808794283605487531110252023909528380197416099357097386733871549817289221995782724387937509146141642477925343395332, 7998300169053152200060593966324987426299148984600113066478376871061156189151796836227135126201148109888588247704922190726641397209032279616707504039849145), (2446030436861704615204292869157961943614376394346691976213767268209987681800953036181673328899533241372453201014162700427309217908621630212764142057119215, 6316207811570911720805926459481771667488435179874437331982273216278377195360442413748092097134330886338262075203183411998840818060148924614229767885870092), (7655175342331059832958956886603744276586361875133045760237046751753319090918694430790462017611628832278019162503732176082027345722227665256075324203154460, 5630619919291544122968874580509692466016747919541410902172467112584250317953724757194477592976144758510893872191931313909044836862226188636511938099314307), (7467257789733852178614326754874299133681276886207321600131979137811128925471343799458502384343892953502697518086926366583731198822719678968939225739970715, 4705782228990769765134480221762023636031764131023891989899933365681223401132047520560836507127799774099014612981655089082374953882786186241055264291767776), (6359053713595964297585543045928767362035091312583015896683464998461831940913221430459745629527236344632132273415620197613863485249447813285606324312286118, 6413702336985076542172152149669702761401769802363058174243545436318454292879760367340123901598771204626246541223035190586509805503456747009830739084100959), (653156162694618456633771445607264836390536902433059943411934557855519417634266224701858264813158710051586924798551039384410565349599547204638203382655390, 6506104191808841479179376791930984647892474750453559388080519232723027829308569484074256116590732611875887022297485074588273008871687071815146802716495126), (8644849861421627025711280376498189896411216589782316028424411704209517097474727363880109996458797308631369250480559435007695136305519559406884166915293414, 9448495019992309862675976222962984218717581113167794247825307273838846853993630084847780443446017431115412603627390570715726989338034070245659343848349652), (5535511451466270255981082845514722028200510781787485467893477482332215814272219819549148215386815411316195431660413325316510407703688976168975624415727725, 6455474606065113531535104140026448395400268624149753870264210434111861294433209941249922283880737692322334021659719540481161745401645088401977440080396780), (3479679712275351473384528283309423829427891013758901778971986355692713439001426576727144626763897724651625368518742661178590895174222180531850874784008445, 1384161940252315154052079251529551672955974720931466067758059448363647266289565923423579218355620858404579935800747528258431171912666288361407988614854956), (7592297696253198340296025286889492865242245332774583809446865553652157587911635243518689571896620456372965000518127025708076599451690545011465084273912610, 2577519467929155232390499229613922125986904995663843636003723317794479893995682217204879121392993172616522034514765297902400237747130656783335816973171527), (6274462318624620586868218925527735905381807530238918042244412230815757122783572379142420105489259613097002020118519440233625240391341159324628018785654116, 7400678091656988633747497997887641486421039272678326222012291822300195553970752500067011152616096871432114299824163124311139325002917428591095137212742368), (2659662603209276056516449311164478561772031331971328890818742143205623947406982614007188630395776769760088210809223886370160282023740328774662421021442241, 1609231377396606032355142683535504661891001434481056184079591695454419380114787527181633950972475420564117820929354088720239917186151583099948834573861986), (6500635591145412721176548980705583735978681954604114769881180349766471141786225367551263406195085513075642339321340836171004697248359890545612768812053195, 7160099980923880011313997268391755508072411034675162407076112470850233821076630046547817152335919859214542047517081680880246026677695532136929240155141801), (7846498881269084514619665452111397754630587145197288765049356056312957657442249059919432185907950038086277716689992947963778034408976592314691590923814467, 7118644408428601414586628733427775607161954822411583574161071949620147492914392747615875294690370369200738200311763102987744619109003952015121330495663714), (2435775495103240771899328281489088402687622968056251229055049756899261793231691212986578780466846780219748173422349263791242893199290901018441513272663240, 2215001811288180322940119598520129677538967589892632289286997680286700618932939989767472761275198641092741014973560680594168417000345578084500503429167957), (2734406778814385339026020762897577424019899004693167297471259001669998025833005360043429219118824010507251702560776958575709373724125817982417801319832176, 2125082585116933629728178038172162576102470032589770288790958405195899126549878886893558994827385224656297043437600727508913876609339756400421732632561193), (2340596606515990887770402142423009884582971416154937955141306670870672069394248691456869167426617724969486893781893297080888534660430321545398139279146712, 9103313476163861194351759721740429540522674977970502284986540621349931824982368571123808178667059382336567580331548149012258275556263248627474163798235023), (3314744183083973363772324370889149351569720105001574385911056506103558101014694006554719956996771275310438635072776000398100665928836485302443437887302284, 4768271803856452563602871823455696570126138880512598939605536944085241195186694763328560849913379175205161829832801019182447110891646117805760452791660132), (750241393637476694898257944950078741996079953357385767569753008038712722238866944704437184365634015265768056368983259894249927774654083200873595353419166, 6940998050684316570825261826536526351517461056365246166460192549003057528032004895339598208716975723239806175874812893071430149414242157489649182715243351), (1175877321655520862673723635654074723613053486070529260904217005504018486948115582091060555672133096057844484896892373892225990020230360808832136142283308, 2033808106141372573350764672595226732135782840634788852865274897440810650073251488909133991392922381310305112777082626831632391474595035583823829833989830), (8957600688256785800151475537799906490402646448490691836110025041757312181573660096862895917840350311148432144012567773383938085340114723410665852531924157, 1417481499716904768127875606647131045430597756036219008147365572703586020842042515810224988537995458122149819194581160956229445504514704454705403809180557), (6695764525101248220504453098316343045866524766193807788898565501580377478986242602518925524571224224661742840254493167934338067305260519792330566067179044, 7410293957721927302004916971080126618256955727593644411196466324722897631139935917621526640773438900009319152931675514744676489972942706571508889575881320), (998418368835344973204571530071691549132175318698645985531696458129345217497331405957667460550694465265816016359035451525595021540046527627080175803189369, 8457827398700578237294304575583276922539402276243028623962045034741473238917165817431644595030378382716273734163173612604132464214451533057440091800172038), (4952830673264730354407357014503121969428944238133891182815399498237030028075869406465879251495619286613911944540678575124118173979391532394063889200834789, 7248889977874276015190921579128693138876345158448318475464010949620797351019379679754473912624340052610685801873811224254286872112751321207877650842778270), (351427757343040605051696863392457056254808620631063471615459732020122871037799860857565191111456067451916430198447986047179408917212738576914040168985753, 4114430858842391783849760366214951163541537045924970630853846893454329801766121919060125910452702078430941547964641898578224630788154013736640890196105421), (8322778891954873910657602265420430721459348172309375034934743205515788264975596045284167510680418137903560013653687108299421643055876658502655628615506160, 7758143654301508907764993359211192528334042744574927775562035581938060844276766457043923329938911383264184893700734413789124643618965664491799312777230010), (9342504855537567630570873730392041898610369386488892413510916864817272037595183589653518654837958653745380628991920476339082173833730608689721547524660783, 919802816394291704906011682400351410008694510216577168677581213642753835578544296883672777461359909740069652917054617737698477747746782366831246388985623), (8292879503964856541464747388632311991139039113984129870897323046380187710854085605546613197342465279051983493862390960431542993983975791875123865366107725, 4382434220144450596850921701865279753457845165632303232716183500689239209619928365761916315644887578717099766484403364560797254865088444723328623984053827), (2639897229766472828011920778412441169178753392793276197197303094220672822536230740249596927548634741461819568464412555718051817369531657579909440641227785, 7021326349178362678109951046199378712508843275202341358130397315963453284651108071958649576806150849900301113144108396333909145821607469417864817224626325), (6910730297906737935372648435885467400585345188553005054474043316324271750672416169693707903241088960137247205410212756751800541132555549343185379970647959, 8814878778950846296065251422781872252025897983365440188432504265339183246433823457301098940696265410574650934352766830156932714012142705107999055608551369), (1818480233976168374112440116447372151610377777088160940544129089220417904114201295939435192287777370314290439817304895070765074887276949847512614489161619, 187023454038802983374283669163151926171052648241236837301624447457955457954048969413313949499295638284536873537109864141868311809540483388269109252969734), (7347709088180908936921727131254405672897643707671065126729544134985612941050688402974785290953917057249633722664108664918344599413564623844377499544170296, 3996681850882040520862925679908351285276689037119860790300125337699855887294818385543243770633219834743793036890866515684088876819625200797781750120539118), (8849145267761784960326507232367726213372552328950435820987362062675363227098888579271378709668042423268848069246773877298833274665877450639321046940378803, 7376528338476011717581334528054819639838991753082920800202004827016342327308356520695155011793006080733155726386268259551665136071422109870123710342366586), (2310356547597497345479632009676426799318413534801743561343302016468828828027653798216696914265236238402858228069357555466973831641504535850994192200196657, 7318469332426692437981574551815579784400827906981270569492205050833522052521435734086486002533881523091252367674567717857474287308640389261031248915523306), (6239140074666011212875543253612365857640740832198214954679234367840161776504532179799795387751352511699232148191564733358025389618660577518282519778700526, 2126939962536337001387521118548296396633654880095363276238890105812059430528733518393440081100978047190392909595456589560806769350793834272465205321276483), (1256934789648675952500981766465792379003810140999609304537682220797187635780461501941882002606153590964447555482481944759827503009162523377556982403560256, 2084956496039781046920341804557109917040277634587140641514839611983528517998170644385318174243363321312449828616219685188410754487092043182555300466833213), (8022415781568865629527268409565355404428933474481109552412269004793145080670433724450190000024396225230532855657589771139397323616676855321567302620375400, 3082696012181444736693884528739150118840837004399217010401033454682357975794349127010467538628261163569841498319590020092776131190868016659764940391036223), (6141825516706819139384457788675717652683934914785568551569883456402973655097400880572282211478454273757485510475278037859435687766472230879679225593030606, 3600939577676809165565545242053572736058336604985290010990990547066056510485210868859648209952143570043757344605946689523493634821884202695276300672649173), (7719127428377824343004119011664789281532546286596549838187272804195201590143300020386109514240111704082844942492917145253730053092615280131255094809977648, 8065753283025715752984008446806982490703053317013989171114528090981280464519511483589813899640512241011807528408632721881800885572950218510253456888175282), (3214590582469328238583116986824515742006757069003854460336801808920732175750413388778978270679803555026947802145190618213505950496131217606843920203264819, 3354796301631169710355478794280802261573974364580338148263596320037940535034463268039716325055222910194416593084726954134595791756570893377721484149727003), (2135159134001993441471996576114846436378523173162210545029874231860032341797275808290607820391833378970479283158595010932297158858924849683638355372561943, 8117636312105417087608164829237302771991269913506373253026520124190830852031704732159131367516852405872858277892438436136557106572249433698527509764873430), (8576263767096632441622410570854803130952352609203958126189035506930437632710220638779259874826896581565422228681796208323684257160905216132620683979544987, 1152268560818072193386468329945235893716363716070417765617861000934170024272527630981734627929419254057926306191587378048693157846434527936920477648610508), (5666130020629307280711192900888161472026265688537993269916355659396265447389126942580366721622686503808255804161136279761563230788980743141341706908969909, 8555192307190860670941675247606053817356987753609025811094623519186717373742503533856952558078446814272364582589613194346906504125103131061124547357982672), (555818183510895733484930540575725033926589498114511670547032010993748684998488665956114826089172867651944008476155474267522918344926388065541623003005512, 4525540333435924821383987214255125628270677995151428419616173790739975605495799871838806789226093243886136109960566686336565111660677305604334305347411071), (1816423703657262023006669503819240004687295811588484860081772182509338547309830111238855652987232637771064803069677250769989909840442797988125096856140414, 6624742753157502928459012865240407922816953122203055824558787607999271114579087315761373106927908184060105422144580954759668831874072993512439136943133353), (7337155663007192368309356990691597431065905871359269789031849992436778100958850020600937102921001905255698008500903992168067409130641986568456295992782130, 6055854505928919774307966762973799288552722104783819625906652295325355048418335661816357755450786715850640348441903218410137439565763311737916183594822899), (949601251613902232883520726533601902476956076373952325210538255455916686762620248222355171676104402738643557994595591963360243717755015829530384584384076, 2276679384598116359500091760516308209214097050990390707359726549063931093577143409420914747026958794745128973980252066050189909984367889822684419591307730), (8893438881359154275766406452431336209346716878675510778281883219617719506248678684287294996578887722478113494392481508484336394049663071710919428802911465, 1714056892720215586866220116619184792672686895737794849937712824755133949066050162365767869615278214462419017378666886063610889118646453919513138605636495), (5253181385841738032316609003485245784494225611256579294567775836404917915766490955028297349286454707991413924673314362370837696333463775645528418371515760, 1674253050941908548344113281179408310514132929547497027484228722841785361085656676972437692576977433885332790467811370401967260069995068553835783355963261), (4025179232316773101623541532143780771147483723333976152285138163931706042816035159006640166263344046630622256451020801091449213581626593294936153485773369, 2703865104089431805299005606439930387422113157972429491388939005273142503147010124891303111126484846608146044784288189244754847407181082659619837202857822), (1652392579980661215276211117459823395590752265481235332592335046814283176237612813358116527921194393049221540278776986137534506735588123555278605259788017, 7809248804472522796519818062974016126076467750420458363729781400499287882607151373938119615015870397688118427003914875688081695614749332793339110443366376), (6908799658710209217726051467723958787043286448311267432800611249397634349680004979069155246982784462724568789060317419100962196514987231180601931156173005, 7341913470191309355240450670561914095531400862286474185961689567478447734275256853441581240312430771199121996265408639060623843330659643806270789710417096), (8397837947916879027972888630920889078086715269254028533443749029021416773694850491662886006466166291519445591569252709463697510888689807648216888371942359, 2547419174760185329348569506754956935887115920206747905135451594669263652005004230452574256438931747834602720721786308138238053061788629350241927674819244), (5383062046260735622067182619282920379551138251444164094859072523330964331720578935703020154815539789438246384866753744046006601708908053582554725931939105, 6359779693780607002411600795906788255449421442937753109764011283130073777433268129038536053543231344761231660847458156904271167218789002330463865549801159), (2828265810143137249150154851223117235323652215244334603596677020643779048165077816073048495848907699208458108557625406091293528006509179717566983592096052, 6709514191488583494729304165155301911250905852636609518663379665804548467421361468710109230334496542592408416170980715942984464512036213210208207692933219), (81324302922546011833097305039627391673014162889842704569340798927103375128514841450534258706571293771432366688401543072422563088000480601167238457750624, 1062540023371802177429476786201985817380735404300858058517439208854295665309264122286094717511631623857453246349620588041944621149874738328385233883400215), (938941379910378805082483036972831307104132715514887099982134704760354673629970162039373248012126191113331125526173762017327163533038122122918804203903496, 5886832384662755643625409270857198966831573076931551025412405940638138079049730142010513310121850313723737256037029294985990855359072912576901063902319228), (8283287793882407654805073811392523899246049306715790789633153165144260742679101612061272637873761879347051678858046015756578744981100197369661586533128329, 5010067378740297566206769757780342154755788308996729721405553317499696950944718307119797731502742841869317738845106554315799131197316748884510778385031034), (5635162465715577902184961187482007805686787165531115951342670930047806285871567102851033816553373244680189337758591696686440001328041081174981195856752048, 4304211815939599111421117249118914071529192805218860806972766621091702874193689646217004009254451714240840730849643139529574989945881212627314086597931174), (113138193322820764603179487232718826391619478128037235739397122181552419724173074280261662667777915935374504921076008704190927093940226055633029175843272, 5919830022711250792576312170180784853952701564100534601731875995672927802839887329433152999726461924293488400822538069937886661079505379571084494657676892), (9362159202794115786108141056365916612543459480672979011216603995905186535015794716258605444063657853691407018794955345275157896172187684674586230668826449, 3870467454235014103941496857277291496469884891188581578644961241358671854462932385375340461327499240641843404399152119454651380486076944451982528827609330), (1608546062954979881949954404851555836707201067052369967146357886552481484037516901027638376525821384992281050482476727517496211697032116970163108107106328, 4204325845321825308569671748461176847015141968897170018867275865963914936053053287306266211033500222704404303333574424074341384313084353339546792188447775), (7412246739375098545830416792625850341349248148056905346280833556114872788572608044977780266207700215432020384218851482865147310403990800899463162515171948, 5408813055380741926559992785899103693756912399691534845168658307975846594222914987043808859281471993408435298768703063092799615386948179347452202203210124), (4130703813223809695242291184096528975700093114372097779331916423671601820262553889155608152499454149541312673568488799187548811698098194449697396440536170, 365385678879234026134249887489173594468802002062239683466584864255218627026203997872787610460614327129244365264329904030184192542162661317276460196389225), (1326235009117045403458378092324888709414219860648925567582579151925661103978350710570439676087393468581342111253244393699151685849243853575072847574230438, 2592985588886602012829693627572635314432077463295078916735481498563486231997030631437096328052204395649891888914817239146306303705647081221757032440766778), (8978571191095449600885366341622542481753968009497723094393300977275436681342816553377539108135621369136707817113312988780925601545857704469190534758818542, 1250484880283400897895596712981932629901511745885733128278021652088856073439419531474169274568268537698387593660393960550723897838063608522865691811940938), (5977706178868503071196381523208558763100534905388132445800798172545964272289511371592353424369975094875763576400437176334853495513696374331246865994565514, 5743023592265668171789033222546544948773358435061615668307898108091308855036461919504523522704070713282614594883088638076280669763861669359597010704000605), (996497573631250474218555853389319660465069721233692521516761836354483437450011452478074529233915442142985597698309138845290548360970101349930305297577404, 3886965306076410593118663744513215908432631863493246489542499456483809387714115026230523580681997525112702604338019140136880938937935436025999590225089171), (1457961694082618905838854582642831045253074592058719116190361303368651144540104770165205941937537162896444897370859971939880377324312426335777773556302803, 5789053240931298629235325105284976725213346791260696725131197361543650471016942426198974416371241600648828414386697875114608169720215015463134660850462240), (6195044367683705403292256305979606312455444562060705650606319827518274021169194652803393022414770613952813397344348563975423011290156989803024933207031221, 7813818378675199035430101030497373383398449860380277457089528608927958062019851527492604423863684523813724661761509890788893177626890680714590756654192226), (7630204002534480909524121423126489672786244837022585313944629881348132500539579264543810318924704767159274061326760850890550382993852688301178880810388886, 9334845471352489696107112974497450404055921555118261800705630656316150150579452258333189079786133825026868418720892838680274447624555628098012934010686901), (8357902075925628686012895135364189250961263097583193273512936386431800422527224693707336054434481201102144550697408896303231185917411582859771564930631590, 2451332569799270791900153379001890087389515984914481145621313178829863015487872253278289719651797521346951121773980609972883118681138934169384057791425009), (1908091865504807300181215580555030569756364421265971520363453946327619832915175230065645047989801819700534706253742060178322806270917454254816452327591456, 4477959333319596627218841931442612006274767186162966458253573906345430419670070474222998090073161694088652755396326435699461271885457627844480669315767818), (7506755747041138967438194053543104350827531534900174274123037718067619264320577212666543464236001794245961302108534406550121913542247592055321508742791626, 484777498621180130620334962377633847852745391130647530580066905722250622347930662568596421137862434301662136572699554741495789848370928992173626677078987), (6525120311372310081374585925609724582466061067254662656940331013981382996703984721159375533609433870428990119087549768575028839005418664905875692750640374, 7273235044531913867141257244466161117552868627271143829347543876990560075521459480621350836692066882585688171909493699493126434133826374679796480179282962), (7275235316040261500183128520925795059057085829555599988358126184682658291025304725738610251752501817380925743724676562373780312755040839504672383381239363, 2368008494232715935803447878304572857533003253849833255565860850696055390372147632655207451880825860425352256196486023127487808739638714749905106899550795), (6572319551852576722379201649696930226497224715177945572437869483293346682085195970969344306406926182732748808761070047872403734189165919213904122120271866, 7772128133442068586251865788506123468003820389542704706507128641667849541122480462743696350550231305738301686641461529598319483680690227300473771994705226), (4813308824219707313057286040620490735793864071415946385185352931552744224518402921752179201730931588203994692593335219585658377953103549552067864188058947, 5556718912441569451964460493582738608883208207671840227395899003551303382102260870839847144405731183669117810853215281228221969599948928970216990086358142), (1256061108880646080288901464762147886674474122522379598466839840193124520662705882360890324101111867122317970594561166001612914190887934183413478704913242, 3963390916029397744913807167630367164142775009441090053022362611857212685391460046916911880716551597144630369488151991402274831101633416968623924095469864)] \ No newline at end of file diff --git a/DDC-2024/quarter-finals/crypto/dist-Independence/readme.md b/DDC-2024/quarter-finals/crypto/dist-Independence/readme.md new file mode 100644 index 0000000..dd98d14 Binary files /dev/null and b/DDC-2024/quarter-finals/crypto/dist-Independence/readme.md differ diff --git a/DDC-2024/quarter-finals/crypto/dist-Independence/solve.py b/DDC-2024/quarter-finals/crypto/dist-Independence/solve.py new file mode 100644 index 0000000..6a706f1 --- /dev/null +++ b/DDC-2024/quarter-finals/crypto/dist-Independence/solve.py @@ -0,0 +1,25 @@ +from Crypto.Util.number import long_to_bytes + +with open('out.txt', 'r') as f: + data = f.read() + + +pub = (5464549774190809852923763408523051958716400587576327799474715226373287205246183801056700913652415087121976663782311766735601091617825037804761387911068511, 9581257592556018473305786754018994054986440370491067910997313283399579058244765977967617476919486211692103485121526918608638896652486174462300514168144287) +g, q = pub +# Extract the encrypted message +bin_flag=[] +out_start = data.find('out = ') + len('out = ') +c = eval(data[out_start:]) +for cipher in c: + c1, c2 = cipher + if pow(c2,(q-1)//2, q) == 1: + bin_flag.append(0) + else: + bin_flag.append(1) + +m = 0 +for bit in reversed(bin_flag): + m = (m << 1) | bit + +flag = long_to_bytes(m) +print(flag.decode('utf-8')) \ No newline at end of file diff --git a/DDC-2024/semi-final/Crypto/dist-wonton/Readme.md b/DDC-2024/semi-final/Crypto/dist-wonton/Readme.md new file mode 100644 index 0000000..5123b54 Binary files /dev/null and b/DDC-2024/semi-final/Crypto/dist-wonton/Readme.md differ