CISCN-2018-Quals-SM1

题目

from Crypto.Util.number import getPrime,long_to_bytes,bytes_to_long
from Crypto.Cipher import AES
import hashlib
from random import randint
def gen512num():
    order=[]
    while len(order)!=512:
        tmp=randint(1,512)
        if tmp not in order:
            order.append(tmp)
    ps=[]
    for i in range(512):
        p=getPrime(512-order[i]+10)
        pre=bin(p)[2:][0:(512-order[i])]+"1"
        ps.append(int(pre+"0"*(512-len(pre)),2))
    return ps

def run():
    choose=getPrime(512)
    ps=gen512num()
    print("gen over")
    bchoose=bin(choose)[2:]
    r=0
    bchoose = "0"*(512-len(bchoose))+bchoose
    for i in range(512):
        if bchoose[i]=='1':
            r=r^ps[i]
    flag=open("flag","r").read()

    key=long_to_bytes(int(hashlib.md5(long_to_bytes(choose)).hexdigest(),16))
    aes_obj = AES.new(key, AES.MODE_ECB)
    ef=aes_obj.encrypt(flag).encode("base64")

    open("r", "w").write(str(r))
    open("ef","w").write(ef)
    gg=""
    for p in ps:
        gg+=str(p)+"\n"
    open("ps","w").write(gg)

run()

附件

r:
6753785483255906709117615805253027649453460653974415214642466102672301763943358839905575042938258141827000621474498066533397472809407687579125519939754658

ef：
5eFo3ANg2fu9LRrFktWCJmVvx6RgBFzd0R8GXQ8JD78=

ps:
12269477678599067519781256001818656329041551919143463830255138003182266704954352654920586885461104156925850407559021549528473021568243699272802197032665088
12014727898312193267046055214060352802848921408918989730190683994036519370635023422596726701736804151479296679824304931954850976170838814845998112601800704
9976331664429440060604845605243289732145662105018529082352225988075436122690201079192471745138682281749114251004821906977023803364650166488174264414371840
10403095102483566595716972508973051993255031477875636711702665373897460658213382301738287363537278081617423984664147130692144766769696306426472874358341632
9935007444417122587828364319155259331422002760411169639614085926257125957289535387056039742077708823587484732619886478426046889352924701091181760853573632
7816144451280221903045360686214708219123150580962711278805529207058066513313564034005865141540085194928850852259717606430081426247608273668550963327139840
12517448852230644543843194839452290981564805133542790216654745790268956278736772213561347159059078752045194109348946202792424835520299443538300142111162368
6789768146601458580589760600312758450701175172925541910997361627318269175816973906065173149393133804600948959104778828100004827313659377930320385195114496
8624404263723758129304199617536652852633986553875479275646179962368437825733711233129564473452692686422337758131596971267505467316197182315914355117564944
8559840094531596332946739089086545151599481121791025432208006961271455171540222994745321623482262271559943420731595676441376359208549675343226242909339648
6926126029730957418456137043360565121684145914641861486207124482231117881086559037064552963245530467008947891458682886428809882319459128341743705694142464
10997925984049192307339458336239986926295720310891432202069443289762945918727532734418050714064653027376329869372832544953496155101931061855255596598158016
12511941558854323325222072645706387918957199910524177276675347649438259153418331785744702413228028807937738592540253173338549970827817815597301399029809152
8124775960528718848833072854507558589293197110878856227449619954619501764995170037041995372597725216427602460805063384996150356624477459859583478177726464
7133494434906424803598366820528083453875037448763236640891176300757659237397412334675671120425494123377975279108545831814714207728133901568060841089040384
12886267646319573718833710925971341144530912979850023434953976446069299395642673444496033346019456835340496082788825446022310838978207194500322622057742336
13247053777060823638501536868414978922627294773882381071342105304292901325917600611701971635776630804195035683992920602320903899546059535084565462308093952
8039346969181209121545296348525604261962892631469173126458058793733782243091491694067276670887848146082468206916532031345992862828007076307708728422957056
7497693206105230439770126263364391614417834917569846932277971265409692068412929734786347003366855217087174226963131926690678571741118381810299410380226560
12546933311156552869703832118462665998177407938181409691735083101909018447031324030568658004231184098223678075937764742237430961697624521858718967546249216
8112064310331576963405160611632806992347550876641031309955302774748802683934962987894561482775815905542658127319085631490955167032011584382359881664954368
9397616884187166855269904307161954002744228832732212153178563290015283802477288654530810934676576244903011236937002033622912454704413614211733152501596160
7735951984042241855941767883847649747678856368220664859893795390166676191278561774856787423374615206955484619204027412670599244002776336946318843075100672
8005630214146619055663297226846917321520895320401904746592607177479724309153470184655824281365809531138120304269859347786199616766400315161333532381413376
7656052656794532137568115902700987207716560072900659942851655028472117429208730906342606463386292661937197018712388611701826202755780359524305317581029376
12245963042950438210111759352728138923374588698420633834241639378503761543884219793213593763988139100913754039865616138681288824739278749905766387420233728
10285141464717338743933615711584183433033727754279597020638992436765795250979525104509150691191227650047401432451553424365400857559804094345331915412733952
12685424337152851050120169001382095775137028728632722137145913366767301087682336621333117468063896241502438202783329164074393893888762160386229584355393536
11312837940889066302765583592236182670060714911124831912454254968140238400374555261676581439078324767113464380344847605407854838622579918392303391348883456
11862408230648646824379135327053646841887178264175531603686799216636057893475396521532587109687115324752211381274444360146541619677102512784127633129472000
11586559788323785798132863254053156938609770716760857925843839816360341130066860520519581722934525936451553514593323041552847881749539610299565289636888576
10275579469154513209334526170019007941887389637154766329795022807287377909230890084032685997043147348540771585421005876846815430545316901296945336680448000
11060169256739487758359281857455577951697173221779953479202322477422299899699183564084773431971239890143158491109177050084864154636183725624573489648261120
7484535899840363082723205781061868227326121379099409743060561334440530351457497817563978845648369349638983838067294416694027174558812356876448625980342272
13080259813261561203905280485860084814745391247113407567923526532119479281798561044832205623167889332749509826714509840490560724311018426218809011923320832
8017032239401337186908657242271906525548098497408853888966102778376382128532914166154441849038627610449540122214818651322112179508878618269303460118921216
8133031594124338230947609411576145106266723931346561614308989446260491235948112604728707144386004872218060597196614389784879656421717161899091227419082752
7113324503331575609588955842219492992286125160090656751966926632833509862645633934867010072188072235583762270324022108653700267520623388697937200059252736
11528934867922800398510957391398858480396321323765481691549343851866739151025955782241380423893137793493528149982548338089797671301174760797186870191587328
11035291335758645644319598596722215843847128182979661692408122913440606574943737298702214276059847445015122663721022317188279728883248790216530810376290304
6744724264767810731276221927492638455951176358183419231637194759015207470188114274774040795158569911395923975933128058146398869555974993721465306192281600
12196816509268020014036111694129611044102546216659995568068203737987504033396231275246809262527886886490201034475903071889177680812231390626015328769933312
7147180627590221191329551175374243775135385821794780746671747085468551364000970029897471139131090568023232661215879440510380681900083893809025155740991488
7259570700721773911449764787711325294045712386608685191007791327293448539811782374249228711472359997868841968952213694651014734586449886888770974190141440
10983476083473689964041374191280649726552640444660701856918720187317848675977097688367559487398585803274767149557494113137528100175676787590403018668900352
8473167340158138453207882645257050945376739496587311856478385717942233181878873656653527132133946865516769594755305136405340050225362638297392371220873216
7020891434764732959161134297720118498346770791208051290652325833643326586403413702043875419458112774100793094569233319716148659466835205340621626444611584
12267031303090791657874428388861427822931866067546385298588634401940261402026517894425054670991325828922947848768031366107041668905705510467348657141186560
8756628678991673161272425988730385346361939465326962119983077723945714031899751667758236101810537197221601994127198357973628536585860289680171046239469568
8794029695992999708040926039293018879550507411380751321243794671455218782615434051766340936705145234549457325576894124880750014248324592888848700263104512
11208089441436389762925161521937699497189782365651453839190789644361162118889605675920316796123895834084636006452765683135559886413111585814596878466023424
9112839643066755951636087956943305435169083917425922328183796736732881471395009016622610996143306771833616880251563446563681017182395773850614883978051584
10340349297034620868066310578432000274213307826211457212218480849254475426587439286422057290163056241109549262433841093294046724396912778589796056743018496
8003692696295517246900223426880619563184296020092634287346589313723587949135901307158098489973009938304405633144137397833880989304541002097015269982470144
9394831047632963274965474961044801392642306981058123724811545169543659031023890557590233826097596421918105404597590570182143600423373093274416611527229440
7521060591838734671865608692057702970568959138196469197891685004825194794558492211410587376082424989492082994630611580622367868389798376062862241550041088
12659981509744233609440995482344345640812619050031306842355953524340754352370120040675004219135213972616432058333058816921005971638282394622437084670984192
12771346311546917175547722064993142477635625878393791624978925489905677963420618138358962111629501097295039627362675588297160323306628946209079369383542784
12245110957094807635564128908586831532236632235330259858875037270649848508417424287275968028265737166324904376189422996436418465201157396846307045873287168
9235818726765267281515922791025137569322412683461346431156747050886895759530737544863803672010449601616272582392631231877795296633670583614968239566618624
8376606565606227045363752434181826230522386995824202796287742610958006384999562185946288166261988738149119024682426221712586959500920720823467702101213184
13294923409904028240263740349208140873577846487138072359230071292814890980282035961162367939662975152133350126159807604861091902804010528289035966985797632
11488030452735867488709564610707090531270907907015189588124709970230610682894969168505644948476380774957932156423564301456586508900212124256728275669221376
7793933723981876609576551483318552860016581233910711198327356301645731964930303675188673405995617684820058956745833199746520295357905265794413716100349952
8065910437662674812796498450982439657651782023286963928506691512014241759447185129959957334918500787607318784900170663400690820364673649443432995808608256
10568806370854982276412458276329156647762320497119499451626767366395218987539721710796244116844391310666787751581706655127842163203508086047978136425988096
9685348248858074385874389606155819889517428922216671115200416421120760214379440993560556839251676909726063290164481965522864172648990750635800575627755520
9146986697327307297144101422783478950361493418576511317424066642724956669787173907078118961896989656878557071348922755697270975142025377857413303588880384
8646338326243820545283131814593058293786469757154585394247708958128198022422318176967085495362854603232088900066809548212169555976901847833455667863093248
7134087452649672555088073667402095739082473565155447279086916078173102550750432301836660196490024570512820226526139078368196874277988436059520101102125056
10106726034836999008152244328205454502794067124188078159864877223948319753082541887583511319772501948419778239909400840337563013655407410528659233071693824
9330081926535794713872638445563013289590144062605115979980947778921698097454534822968593430712801257599549784867978334485739606215995183729834631052132352
7235727989596948727564466843311886611922789749325487609540430437087524973058251699820461551074520631158178133558988340699238336263551724723245151015665664
10330300489734643864823329091259727088549074666795449949009029790179883361262234379749255189108171868472461543348787459218019428115351679077993345500315648
13071984117470949048963086256992960743898315093215969208892783146083640543364647306853001974529688997485025233739369232370484763918590206619921614062485504
7846275540507534436654095866809223926453522832033003225883762171336125018861425391753445432878147051096510188358438628499000508514854947780115180025806848
12936439682405552670292125681862671849560169365962192048037967486715920763391273840898683404871973229060304175672117400628426597869339073346754341033213952
8945352127225924585580135865208651455545105630328034583333915567209421078671500103607190355989390397386597406713756358906002602133150824803155336966963200
13325346406947153623441517247666146653259297510878902149013202933463193535858900632048763050844496127816126395494105430409553516116258124933702120632221696
7484192405666891981687131460567481086110155095342002234765360999554746301610371168425584516760647878839580243841829455115555479733662172687015525524439040
8207724334287376620401438750145768081115148602790832814749443756526522584875636425890449496600684176053208038544125429304019884463075174299953652362641408
7272313346234992777151517814154764960877532466882807803943602945689406318153875835890446152595296318112257852530329181139568273145066173572925877771042816
7204636167706694779221487371101812189116367499631876539170776101501950706069528339143777076965447808154036625718443895389305832765601225014816803385245696
10651416467464803621603114282256855218563708145958489679058318021978830544978730924942241432099578884470740234126821697375729664498602532349482345418457088
10404178060767649959914980425711462685185047660403956586077524648107302258355106442750599703504199298960879123916991045461711195593633639725836610851307520
7669486494274631112409350393883008722314648796351177301626597032136766136906884203232647077674553648507917850413831316967176990881334794941758372852006912
10712800325798554474723501367281782649161969880939904418071432934328809103546458127950451074827476909164945731129420384510752882763513275091900351098388480
9289156009277921706046224952798179901679653803316269225495106725305554211500763714696093230269811243499205112163537917370705529918862842112855517714972672
7977056166661561538868276739117707760090357558128755270038694136386895660588204313475399091227659730381049961505469386574802448823202593725438292184268800
9817734859306401389589574963093282249050414165659574961027655309927008152259182052482668663573309518942514811459780910125858088146186434357070079327207424
9915712517873026970941954381235529901613175656979038104395244039723647823180015782205880910861286383820278324000481546428690946853053082455724385577730048
10055855947456947824680518748654384595609524365444295033292671082791323022555160232601405723625177570767523893639864538140315412108959927459825236754563072
12645664275934128425995801153772545253026383395565753504650614866505543182771558467152829196131875933432657805591907258960649822946125501504918973421977600
9834238889257332495918006089780261695704839857971654218510242365521955370832772767063394759209040602238140841199256301538545758891393074066502184006057984
9766543977052067127703164428908599582991488816504043311879571732981897514257511476090579267875601033622927472673339193185682367441759059627508250800291840
9035484712485254386262740252021399928992124527449985133104101080789329336239319530324237035467950762052492497010287960386656906097165111257865313272725504
12434757484953955388423494019153597130942138071039820197041589673560379216308678555179730768729287915858921664067095692770733049440369356509161101365084160
11781697199153871547754221154366135578994091627698089749632402740892618336465094698898923802069090704309653496422522310615502716679940879359159864366465024
7044336588192497304268384227572993375570213683084675426968043024142879929862859642108797238685345746188708144242509272811835536086745365850762991372337152
11783467879494812533887991944228346092030567704228368211861866347087844229446215095242954697536379818810998510700706989303671430048426511948493296758685696
7667741651763186599060272011203058049966706233642489359738417100431516008427912758263797443001074057932267863657596626618333240346951452919177977278758912
12081790263251520792245915810400752403698611307074584508338698515332712970543654796350106965351523070585962475078690571545840730141123564929908617770958848
8304712677034242741879424091331981490418607778675075377803738449210400077776410458981814184198403861355156989435581033245652350048642939214169748264714240
11731831938699772462127271873430115361544445093018344205508116263256543526314353604701640010896040499228777875913175294497034647460453248703129442880323584
12611340792013662409548423412084090313541991428873460594451143922766575732008077576355899572115836413223853292335585527738394056748863098221758029565526016
6920514056066752049896312657794962616499627606782345496721136061660972740504489014716954040643339880149753794384547866514638249797775571157011056233021440
8012802214172608785822338061113949203526970105927939461359134862985996256466303431426642248012926173840551142639737538301306023231710328226570049566015488
8472245399695050600320122897672141627967205379689218408944051944140949860506981827249657139699014553136300215872732651030582212798322209941784334688059392
12410853978543082931896742879800764639465898058602003579500826870559416001104420934654807857856954230815935180124417566096898572858880179166444466240225280
9482549434846322453030638107394623528900653078037336884349635465205012176188184199497567197099120461769292262498569785812457365121926571539713915072020480
9150916634351409080197710165770539206676008128536540541717456861997357603112111159569029666038960879457991973858327421056360325802011179757764443432288256
9572481632182302455252063408682547236293884340092764998966833801558029007935967483404495958786753043838845663371022055769721932840641723393127627993645056
8829185939199811116695686657008221592517065315221117863333945516299382230252080234314643161147613605516755976748309046503994576477237519950967843307126784
8822628619281313684700644957382685451032922056071445680283328235288317145945407233158298116938733305123490309475127199532834112577883283907940200122155008
7839711815472697775142882852988785569781262235230256597445286796798968529073774587224646549230618335651887641210976676422786413224510864168319106431320064
10463239550546312946999221518957659462141579584120000336302141604780017304425427058611175333465603975797667645525273216203248962417478751497093275088584704
13177302566647859366931826853218951417527358462220617193128871532356087828017609294867462098785136680491874745616801791495428945212801179423696520793292800
9253199978154597101356972570334769972103050901882670648647637184268808073304361089048826398792540466003077986057454857478024362098088575247675082185637888
12452175857017018758887918761471554135409099554191196016924534437926985301798960354476843005132255011762344217012057020045383142221683039496960375580000256
7292557330060185779268948911111693275339382503998421377121751779483178332692404432045341532444212200974055971194351480112108565438398611963611882698309632
9852967406332414896552811953233742667996597218988704340789262299853346820256965389289302807188192772090123508958331400610998703570407727111442476902121472
7684261049992045157933381290153201464414730067120939214813058508287109789323413172853746986073622442338147415381746777541037288714775364194498881372815360
10684346944173007063723051170445283632835119638284563472873463025465780711464857747138993581351751168940494136992356071774085125365769922926064314051723264
8510760086876756953116511566562715458917511804620250777694968642081231652904057030202340745958144095410138228973965523095277175209189839588745736416657408
8880501070618386336835179816671291813393692118265017714560026565852827640901613364732027981590363683277166715338892232568910008163770573837313454093893632
10927663022022848112576613051440189570921461187576641785058144940925367083638643015502824270031604057898836935896086957681209109349081121055169211065696256
11065460099632713626114074213628133213208031368636943030660893407606771896023093702282051063005056616677256138228852000722034608913744977661109800919891968
8528558426695364101018502869552516048167370753217602881863506758942770533224091469149470071780263906213216048695495317215636195291314278996729304134451200
9992207307383165807055726461654302777062570935307844590530213520831226364125761166207032497440860098162489538520528217568718645908666567568981083958542336
11387600105321552273333592074741064662436053298182150131803615548941610623211796057336420955776606458622728975028306091535172686744992673981435261673799680
13254549680959727691519047759215241559557636271473528815010057145072733382199751353680248856296079580012731762530060832489804097294729057822731303573782528
8636453048977004090748313014420193993580465848933198869880468648396061207781366684465997954483808458181047642890118580838258547167584680359063317213347840
7745171931286066713981822690234904328059597633315006970659375840675215092290309143177137726292272174270326613236421191736605617456329566003769837168361472
12722481251621106191009043469730703472687567773224213329482598211146715278270082420744452710787698703178352420803259043633082685596782438908920132353916928
13389288071766611061596163568387989716128670000576901930092122848242211679752312989778111820638046128968288762924060258085863315165113192530964821728821248
8996553709322460232850787254342689776497991762671458730641758808163092908948849466820197224994587633844477265912812755750291616969837121558930540885704704
11668554352289937302662011855758915637812300100030026118434164668324414586037455193636467284906328465058683516231677294442387748092512976382822143555010560
10407703355769886528679070761014863674215547377040128706251397591242730724149862062848609492290060553297055295490446242385605821635157504633356558943649792
7914545382939938224505462276524806597762336456778014601255748188239773834594576467119017297494305401320898751558028571648303402900044874962342416186605568
10512708710748190624250450789656654743987887101983992703416049982078197769934618694238537761746081240389333318773414938177624678638324629241237370627424256
13128187740815743983311479123003199002599852602538840649582033887349477368861962374044908887155604518950930340502613490652110348065254913260468344826363904
12850703192394508867074281222647170907051920584954552730832876684768429934965257478150183926204752344957929391520419523656594754118150554328681046446440448
7976225821353475156934997704720425338164842350027267997958143260067433072651280094012452774118426686309411406835509318422570832336977917599493386141696000
6737566608336937894077961637983570377044558770716623543823389012701672006393516175620583714950585322984204885198320834463793317321592854740980558475558912
11986302895088026733184303090047264805404021059888713514655398889582024708797550985503869225446434640273696171313540938493800994830897786509780045847855104
9100506848196680105682515766062615568700674621920939270627686170103996659713031668726428406323388970826411150507762054385035169050115177821673659033452544
8933106199991049431957198816007208608473498863179298195493852345818489436209725279987724714335457065296585823814897179897529463680251999554255878789005312
11747144143064157851173741905821917076991991470002048139814220602876667242347463974157796922761337966166587020972217740274803812542485435266188837224710144
13401411573878562561574346005874124685410233690756475064920648336376955823059402366037728370964484961879159414204105837214974893157218513191015824928800768
9866949065769133846069539320905306888258991612260938177209660204679293518280190955011520313985040753735247275985525770486142823069011272627449744374890496
10693040111506570166070937529090558427399165411386230363045092522899096169056929498631770966310769367618889921080844684734768520649775793220156489302278144
8581227246293839081758520849307091685831311074381851507105355537525938034813963685721146554083304897726057315249912194963448287510871624853785633982775296
7714395570893326252422482542107307648524288637714787666741722056569193688752812221039872143128034708292735067598238244289413525813787792709785210450870272
9855738767027535452978093200342112117981107686658516860218712505224613232550497528754752044554690675047842131133278959194794062543820353174711993517473792
9780163692438941032894987149848488058902628611379316601888427233620595407962257147934520121784614807371764214941894191204318151889375933288974064287744000
9573600207090041750877743293449546910891480707861307544670321905171089145401996686025267898065502714822979915912304171201533601167106470750681644924928000
8340512104010588165917735952686382449576820587035507681117457032907766347073807404582219979812806713425949924409057789825548289272940836433992683949654016
10098964476043825742572451411510009027037637053626765840163547247290571683356387459185112391042994124956908258649123691413595748127264896576171628224839680
12320990232849581115799352708439879810326480594433950675090828710534460717164694140855231375104026092293382768628657269138788113090356180807095783264354304
7109351534352708454303448887621181044819731033103893791140488758054114294246250965621348318329578246557915822257976104830999489295209154201955182445592576
10148167240338064261608043464089356433407881728435155580190904726084387542286201562514017497390525235608607953789364863043062048008667410861520724642758656
7951579653564955313006976555516793066801839804305622202068981831573067028196737553491440700688698011762798900413935631445034978112992241331830468202463232
8629215098911648274802380179382829850270506370227986999086744785087288825860127216494335244792829135811876576734069410155248333893763652464072465118658560
12792037974032017072934922910407287453225073145058654773355081826700343423760231085338782677033402117034233505243663658527148582127877835700506743812390912
7392018546769025535091092092963600277680339763069322427422147558871335438459584174836225708335528516761980547428667961384535797175532190688669539009298432
7894334157548279288419978106571344136142963734002721169088161721013430586147262437652660133978776927171911897053072817687773047949624875085638033838440448
9341699959418815020193028739060769293077116647774515185638475996749465890469112754573161866465234000969558193418684150877712959295173473486854087906426880
10707031268454065707615055806083095357830864241990336155181470874302622160936668002562085723941877870217262788556429110133262797705638840034357589879816192
7523524155955892466558864444516195392299621719403382817189462204638741987301641751703352940510408540054913378387826506144935300386763463417370049851162624
11092426363800620561833696878974166300344275706877365925211238239798636619609097328861038954940453422212812094406454774281047898327486032603030846877728768
10188841548065200507025631564258964478696202368728543348951437731388128873626911610407083310008537833815808817974504914538457498057426119446554021780783104
6960995864454276447008485059168793407772885887549440834474505152705236045115221288590734621758293974729071093614114616192697575126506959623168398471462912
12659742733807014821457800442972021951043890051711019549851064405658345134709001291767793619905506010461395462259480348681265961115907239289469423587426304
10790753548097669019227487930205429455760038941323109343704300543273376796749972315254598483059806127356831016169048217115083659634623604135619594968629248
9368341626342261277544311000142562911170522765711312581726508542635881921129040929996078902046352513260926724764197936976160750195056936000093329444306944
11514441000961623777904802873374123708029140483779156732061726073894483521912507830395068017860055044626173156929365077667222504451861633129118109160964096
9243496738952721625994049770917559451813510137151615345843109614718008153032157460432142820777023637059608735154685660094237159847656782079427445115584512
9486209767840225967745722943244284442240394305883047145210716140530158131775300227184192271167282451699042588809732008668514509535068216552783020153634816
9734300867273278510178870119183891468492359431334241827855279733953340546579414752964793566332115622014248655450084781631532019578060365695230189175308288
8880677828401152373027562563556975275617771316357381955323553543136002570266000904350396396234676038185383402785812228880496539728555849975383078207488000
6970517270723524745202305220911274808462268973743264964213036521170247169043620944266098624101459204429114963894514472802681235835954420738984979353042944
10290152218496876984786458605356910241145709099893487638860766121633584117511808155921574165645449124920027121312264640044391684967345663005781479894548480
13083838027597467083586989304836738116395727883265481582349563908877695497139744457868595051017423080761473669402266663244540472170609637493106854043058176
9621482807027401848460997483309012645974318967590507439785880580651827396611247657583444349816475826162865682456153895475101344074767646547978865898160128
10293804833808994285046918058828975957342949635860823364833644631038475951439784103699299489986350643987791527886794028375237939433720467633098984144240640
13355558588948861221773007026512604319986644100305859132809453887175110103681468112254786917032449346129999267167372804972651099044051613072211623102382080
10483962366567168624247146557188730215606169778708790917257308166386617851071421624407632210513721887660096995076754045645008514857407433522725897417785344
13095198362765647280491612807377199873726119807723292970309669784643556884426423306009168311137439951575289630129785614802884143395628371445282934620160000
13083298877716723031868721332734691374568476337585283565753878723752922537693126757719287196322061242646696122140085838843647576972435437479014313465217024
7493200275300255758193942864750477909317920723648330686225939352993062276694850640447165650095535353738023480803500947548974452390599900373200665718030336
13194127485170211209651883073306025648950665950520446331352277892499488385312570653841118650410248485232299739811407202658041657247146017597746519694376960
9338381564709760928470669565697584166097013396927954138639606486517249453167575733941807837099278028897211895507129793068799301506441662424856162925019136
7194634723885717363294954216159112035256090377418422803240751015113605768748207662627644682327374049529071794202447288819848733325117080369479789764935680
12480398023211215500091177433063399717961835019006968010383160846015819038693314163469487676262187519519137735041054091477154983036388960695477254813122560
8026945233520010614359021528942460591128260356009704364937263291355082159402746125236578483337649312934112147991724019993027454058313980561016794438959104
13178230620801630836363274182749932756892006207693044443048432545511931446447088989582149959004249212070237557511736679698342096216995367655781060470374400
6731412030340380606534395585263948936781922515158657517544365935064131180415043885634404688131307235966621192883260115459220875476014799288652610328854528
10226445281206256606540695107635239883449216611814239514089153028393020875956044584732556263719157997515227619627929953225493444800229905140833920477036544
13311354671600143595626538288216625241855604673476840764812889387585124815687182153165550624367077729099402112432734082214536532736715266812395040951762944
6787695890281979607768533714137132933577813781253672734461083492721879773075439784005622477910234132979315269750147966651876161795637055739069632314605568
12001709273720070177685394877568639566746473590962281958807058963434040968359237055651839359684511844921063059577037411459820932493805724501422274315812864
8179898329841716543898792363230897443142032722602173043722871414359732351095966078745958654819717367556166775578472687054420068797652267851398396038348800
12786084161871680408711645609357100638795860422705680000805737452073481601276491480594130568300885695026165979626718457847867355684932703332237144479498240
12344458800695617339408460635696941160687933126755233767929527283522917411495232385828115094976419030627907586448582882718536949328093057085808350773379072
13033554202070210895269599377490016226726408852836077460362541757133883127247527233700440772759746948683087124507357733022499395811973996403619087077343232
8511601680484423926368442089548648113992939672523274066855400440928101309069595370516438028563233205608663247271816562457829075032082237427113217654521856
13213963510980147642218387700252009262547944790485616025018524499765618442269461772943387296603257894751896530121291916075968978719056216006920998643302400
12067962304250901679777520324761413885256494607911807355073291399670474139644409829538168609546383294050771767248056357474022333571621731472278514844041216
12720703266168054492242207512107119013650382789031545536391406632387233281622174890081116210008539047256536953162256545343187963832740677353339005532372992
6823097277252733923596420887315690589653921434416823345795280672700189364696973326933361485072729380399053967203484863233951574452039428644884906223075328
10265009304281882119936532403028295309604452650707506619795315154351360024604050124314472166238210207628995367675450538243856985614733816560791746097709056
11437448964303939553252582947435505208451187474124443119423522204983103405988139934140729033727264371435643292278995687436237484587794346048496293510119424
10647498390557545471021041462067945106288762650851028032831519597077081674874224445802800861705816178562454840416233197237857358514313848837155424735068160
9041215650462447965984177562970114613202889822153667378038012145698573123168099128541506242515012923972260307663113174087455163186070512236744687187132416
10963577184381494583508050206150949928687452534484028098363656518569203543669716860913590285872547426176299287614677663810325919214759287233424873798762496
10946770715235836881883569640879252251470114113087008683624120489507106033128884718732835028027482461374059747822002503570896688225187082044249625377898496
11868057744492704188369296235444935446678402871055961938265785228240444200162649922071311358738399426277474310442565958947129373353354792008115233337901056
13134422422277139827464605895251284160742929737673160227113312099558302594997242471732484162680781154758894169420407370400193857008845988754881010724765696
9101071682554355911272578988955738391689249080751159562353767218637139224288555478993716691782295424585421050417287909307831358026395794214254657386053632
10716241187183461205366315461780595661673760875635762705605050651910785236030760146410161162504527907726130194773271016238403853014293656836278290600689664
7034927598056868995289113354934775576520569230331731909346342491679295598454382074343925427621242076900933537052029765873118187950997679913194084919934976
9653544662206435264925869819098571274640561458470637138871400635816586662810650167269229167387019675211851507497200501059567552507382894492578973227155456
8695799803266868544509019524360956144359175705612921470986736155819512797647491730673335813792652549230951819211169852774125209553723422404767373338268672
12297387013073541929637491151586436303048880543270928619560185783505539645996751496801788186758972652049693433577614748058664174702363847259671005365272576
12906812241629868802052799893596238769446708909381386578848158688024199614814114035302830299915240532818152362165457322769762883451744341926595830709485568
7871241271525236575006554247139255434901841409703712439828975306410439267749542826632291136234613089691813846140955303195512332652080435423745339214004224
7376813692425845929702293166100584923420959148402864820849224554956284137902629459722120182429696428490128562254474834691364914109452154961329118263640064
10315991440988839492674829150364567958067266475642507256221881776484242626554021866849166749882886803217471352746223687684652061806441671620430018576908288
12206256535711300051390590121030938329491116760528980996515978191977807551866247748852706584166838070756743569113388903015019603753503729408427656378056704
8393467617978439425833207318161348250595087059086286771185353196211201109979805592687099212288395748388220565048432663456139211532606352755404200820604928
8741989740080379737846911686369786527202978774710479468385314856979390174924932111901732404568360838109853265235933984742357514814832848223877600351092736
11915635788100869387259911970392950188957256784678986913381261190760725450740159228258076661286711959380674254087558389124007549711750509399804360217591808
11331411067204308870207945040483360319524097285196158322894164056886446527387138430010215812829781341885639108297372852017410338392443569045015016899608576
7221219324068251117466864775461051938873614012651494131477894629026816104357769585720509427133482443341115794293585081880735398846887987478701295622160384
12730218277715163676699868438619828627601489774673567094550302613491809560098601640862269032186399336481270523425558427226951859381977261921779906254995456
8637092726102675771082471103897575572827563303276608953567496717672817591595201698149537726923253902753678516346358084226867349036535135945732698018938880
11956381324567493693892676497683114025857832594751753381108098310593617259000957370769326528397269851219385563955955219890750309599790303983618689664548864
10936319471861039523859008714351206180556084282531005724523989675210898048896277322146354357112149094048519991425857243100367418995657990969263450279116800
8031612277424328082765881049743107283942178069903262174455909081476452823483190972778926628685062103999311067171001199156747723419946137092503185716674560
7340926742256417460793892471637981037581384644676773307146810710262747871190939392199456223248921191765280621291192477298251104673252184444448461180370944
10567312872538802195240906718737607022263235253094962309356299799565761292509385883159654503573312553798342536184560909239196010543396341814620146739707904
12817023261467075917386054516923205634649084766341425237921297715550227763101204061008472745715455265888433345594809993787844005231643488196916300243533824
13121732614015222253066787019903599944640860975981897980196416598077204842668240928186098426573492111070849880633122504886452048056116727127297105638457344
10570153963800624454983396670023937161742875584214388172598329795718200619230200384214324493167055685724381407726225311757117302238215421837846591290998784
10605861697636167912392873287017257242874165463976183222472242396624781488197580931797367152011786091894693596785458957981417642432244455134345031369213440
7668811610026569991208796461661741937762458543338135034998583430408782929218487867072605003670339880667404133898805911785795899326869926639566600770945024
7110215151871522155267815795016464380279916860433125564249991686227491638571841219970134496131706833257188627591309500788295691789408336672673080560058368
9110117306238599594188132180637102677543478083939753687728613046714992553964760569725581538403312187135311885834394640744729499926533915499669225388113920
9228168875244701641790063499617388058208068283884031871611060087019979698482090208804821996936023984015380644747094336231867825704169446635270619577450496
9049776043653151705804041231318161837724995439511786693709468019602805787668606743193167670163477975031141493555982029870797836504599987689172298633314304
8214232030137685765052305677078380110744048626822525057166107952994533425858079689095028367276714645180808494033813374243313502686326948343963263420071936
11508281382455856865533453243679344776480477745928717187004985386146978434708807645983182362925144684429325284812863649367186065431040165737072088829657088
10761988467671437764753615552035413101810866593821314440842746119223746555004491016381551734119754930165769584604457449300420186522007604851124615788888064
10528531976981403508552373008137716802115420783175861935847118183900300302212605540160024086381697763629009008973840068864634712683488618315860661992685568
10516063164584418321862119596638773476458763853961105281739696864037110468770425094123964244561681056994463546238860858200726070359809287604279105562869760
12105282066368734641939027591450399454883354323414122133478382430192656905625471324385858250749432479135590943541101797898148974573482744134775830262841344
6777441727797511895835365055099137493155360062714565071597162440449846903070093530888688592969149209782191963921941943491042860924686421323910602949656576
13341997551136357623784630154137826717862384243527831168183637842253188025834897426825773607268193116745587721015198376299102996892608503386381143169302528
10702105912739774705516978900689874645716030852264937870563908765569850000031379717714911322299599728681040653554335074563074768524599738924880772179427328
13191064729552952759230240250805556001929644240783394099923886316443657550825503961854232543705261012158187418925974464642622911332304522865293173014396928
10029762765969787632995450207702405805749615289692390879113605302167630406285205524144899296536780763927686185299649560597468157826888263930066921800597504
7414291278687805119239247344050705210970068163145448714032522894264084126440484543805533970885642341918288467200930899549787824040243128306372770392965120
12334164027109488807772944122263781379791621921054997429960292379771042000780653060395296629725524585343712963146354474144360511180400173554262822568853504
8625707190126819536049902091861128533925954372641807229534099137035738537472496802773498116216990065607257838326147741170130253287755616599528662458433536
12923423458675529032722830556684980776211737585883266560336835657176201147917067672472893078913699985971407258898389625984564787086177320073616800724151704
10786596952479484178090991339229562221552355362028151541594784817902541572951362119841050038217259138180203549336323318829572433622290099281806846637113344
8316777535665264244573986828401443703152587219708352892853994678098337771307843227938316060774762466720800448355867846640823095993376092159707386159824896
10328715609557955937184060182086039909136062621765428831116716928920951053949466443720388280129250240730611706449160537665167443416987369923295396950441984
10480256893307329898938122009079782214305563322174146334791078928169382732613498028828993346246328270383560547440791377971649420184236305365276427573788672
8821507664373797046502778214554316625613992522633638007668634836695940610385141096915372948773485466648157854723377791965272392212907327057390000918233088
12624085917919822191352186109627145039023666960818557457442331546988500780962482546378717054294262092301542974558227101743721420366867406618931272295120896
12609292986374592324574512691929287986549517294003207264912478644766955135505780620483115071898960721725846136746280833810033255532613992985165327713173504
7254830042470260321095111787708154061680127911762197642150421539844948866192116920133991474144789712459557976070912682874523908006753439907135553154318336
6787890565113019148200264988568634132466231060737687279438922170267887514564380464449362233495855996002787669359920738793223954835684355961101786642644992
11294950248384688599976962306787418246673660758505356575766860394805776395527304964697031229229226916712317707338237695034352940576237651096409904433332224
9215781418083215286411845150601909884052364557328476068262327791069839384136701779059821756106408868935292174562060917720774747706590717488292085756854272
12770193937065949134650262085427907482230766567827770019383643744172199756265850887986363015861124688534560546437958433152670853043253730543992419112714240
13367751701435635123036722561485700781540670869100205064435340358861179630667554937325593560752928200354487550021448071324343351602378441252207177530081280
8697555162077336958090718398909333938434014354717114268605610449537626294161447450492348247600224278121400930296059296277094399369927365639345193980264448
13342269222997206608096129003860675825114783106754088676227659054753119207784558230691973357466795098193715260189373887250249487175184304431163136364511232
12192194998747310088734848583310913208359046367344034562719102454022614777904537097476092608983873670431548583856025983512415421453059018338573091193487360
9217867951835535505957142186266519212642064001657270447184948492558712770675563546551288579989746106536896902503209159961955794433213266838173133691682816
10998821592922498353496065831794587503924007597677060943538702237790052376519508699893249631224380292123376260184567339883420310905105670976122618277527552
12388804256736756515598057844134002363007614826978314311027951869264907654628201955261102115682136622705891684937984128682897605738974841556930751803424768
10134496010647966167136992190368358365216984917878539436217382084771701764614589821798442948888856757383836133685185399248782336507722847164290459557167104
9963096580193400318939094555615285898084795589298528065156724678856410819299368117952343915009899177449483824427480326824829523350381658617304646131122176
10484653385928614806386383357909088582333815328188012753526027657738601631481685536308597405285917072473445227176304686322025066317137716792032493534445568
12663855343923247038191744718033263535515852836668975973935341475271457814002936461342130895278317258315313798420405554998685063093192415903560113659576320
12257693814176983503069984863610454047004738130748385678929644997850280376838814406863540646889503005876521694089041624852333314319142640700353510360743936
10955316115827405358959981684570031974093393169739043297081573785679506218046651547007411314425263647393938329483743891956308844874018209274866882402320384
7551409704636041056733412326325245374506760866514780462377954883832588269259567953744813004809528872033067587554377800352562623624727008346213697443594240
12685319015122231886323195120727601412640136615031238611724854964851887386684818031444354778049793896894811683503798296921889524410432324480674080239910912
10598003720773682210724778586361259114292883207341438444316028895407482996666903824943627227530868758997038515444161897134160145160413516512925964302286848
9622950039562683062371274411248934607728873454855099714883505799360609327980642022718093253915076745984319129663994718749346429930766584228522538980868096
12342747640921483080074753009133945902540658434248119705428186393487844434352339302146700311037059584651732909315146002671420887595691683728931801188532224
10257390788897073085404340788219712397937920601046821282482357128747076045523110977852809783429298711088097283953997571716869965275662859847947017638641664
9645739474504517660897996091126630722966801824499350640175396834844979407686272395333816911499147181960536187181142462053239541148639456599850439979728896
11218083409327322932911081421709311773022404296997308650505637524673584279906106733424627883851893625064021335965588771610019876875114692958521511448150016
10752683736317017068444353385585964433066566411614565053317532601065471022280484521747280994193228127001342053260309255682402573170024901566861029226315776
10971380286122025883575223275546823140293435507759095870005080210799041298488252021009121779624625429834885828678246512587973871396783056033952291241328640
12656784234031668909552432169007240464997408196228324795080104978512719906135300837195149257870108229417069081571387913851350957042279476855337110317563904
8624078126800445610827620536918614493957815054040767548810266223482490437557139189682865349874523311921197479220452729344525352959474984583987751282540544
12936254461828620734632021358154786274929067526465549971763791786106679702104227157954053623767534142775276769906165510915432823386561391667896662712385536
13162409092390415708942233777486962675102903314019792311546608541828004631088516512779677868093090209333041640461867692212964344211275396229641341243490304
13362308229583910798494181238443939038307392825021041869317312735437488785765898071143955963891782392606680640275205001730637370867230025137146388092551168
9497878165273074531426064663221031124389064986618585519613153735562698728396237404329613744947907937823318659122338225070370606841313124915064008693776384
8586451250995506138106046611295917193510316777660071679310677980514586491411247741791959731373348325128228509918580790972757292300443031751540240543645696
12432762245321319621893195397857096495978701607337500554000391562664672645058170887834171406745935638819392387637129146157765919819592986293635404787613696
12726379913897668245505797326110452356922454458309524674890955716979333485467781787871628964008469995888747008652677831124987486105581742157744400716791808
8043685104675748626437753347289692195511565141005898597271747102112998003856319524554414624904659898092116541972800884419043434896214767514912744892530688
11051471649625502389608565812152185135684028921842470925253112654552172723657669044932619644150129474118044475479402915497429485943022966226988231854351488
10818448530384487942732556517326438080991321790172147609950083384068215003378356433527918445937486623586770684056900497048945879397677272131342775200251904
9080407591770226907112489230022600727980381087489050697128254334708600448461060435157079191778728336179536586614973258413070181997183136662270803194150912
12329831282218045433761041659504991921568904076868205072066954457020286955707484182365998032946440359910093823318030778120808257025017468279499612057763840
9260729501475615069174186904846685139071978333188859424285109167804846638183066305882811171724231121670587403874980348458425184867239657008214577233526784
8361979972708464587127701705380962934767246112155183408138704067376731370796843782112708972621471263897591709967648261284524950329994320966356201967190016
6730704850573448211347745489745699031798456667048174281825675169937169110494836761319043922964370054131688813819537423508264907693942721628840951822680064
12959676363748443459358350812286233197161029797438864561546402755996944569694800578053240473231030076468516424878828280118590578616167018532873909278081024
10981336373541584285817407988213625220988791471031734731807631366156314654006063307634145835451023526096101876160549324421782903073136220455316712016838656
12964464626489033407530994861694303846735480663047409416489213145175031751996242036989804861432566821386967588809889126172561216690167365991460937192701952
12844497328976380028995657951625649271492588178823339765638651366688998991905619227054221681698779445107075263686654512651809844164325753237050477001191424
6797868726787113551160672557896423876149020151148148519582972055933764085125123495187404028479679883962952675444988181508142749924237550969824076141428736
12264922758371325269536203803896640732484219034026088868573710674380051282344632521298603282726092018794588258498294037588033143797649745925841835134025728
8523965163182494519663713654552337111906269134262478576515251178240333608603215169329664504777756958285711030093222458033691715641616674482862148162682880
10469915323116245896965320861885049445316265651544731393659023068066613542479693274450337389698349918408546153514615396401408171880760255545212455486488576
10359957448205153098439717990620581296261671949215844161700877042737191989395888252412565799399544943020449652128481949040470197115601895283124599707926528
9563919270976579513029521719194398980432429701574137111665610461212475487412387861066593116118156359147050534176403878860381306323395099620722688372244480
12325652593635495789192558621520089293422196762004724508551745244966444136420236829489649983402322953232379149134981552396488072584339174971054189187170304
11044830180606358794806017369055410074638217501212006161751116176616585866671661062909394087339411914357151657568759448412588547451419559733047085548699648
8138441162751393875467136216398846954756171987487035713840097035487139440519804906018677461109481466411887057057590768472923215971817520339341300264402944
10508396754481309431658721481126173371239798972370470816893433776587677464253555925575044747652646253158976048187636498224342247022096935254125324911247360
11466558428364460702223809995496313689012057342325370412472983041642643366741173596946800572162911388661565836767800507024277297438971055600583993196363776
11097423506245526802281059581022824625232594276077232976811665492468720221997992789633595843895958375699104185029820864600939983502481865030540785761648640
11089225936803264325350087755017097707463652341245932485425982618181217493839336878891284209985956972742097026180900863940544333930780231419867296878821376
8802314598025299736643980484205205655182887318267368527233259482363153262624315356907143826107782624910292378898918842466939475560515913817473592738316288
9611454180284216108407030344403793337520642722016453426098864133159964859075512855120132129722303728724315900727260398641017044115875418144889971434061824
6953782026609462329700066739292601270384042666959047604066062528049519313752401889539344879012131209071354928082867539168093524830019982071745281502437216
10230315793774198345174343844471382345886987834988225888621561803558030611292497692200178725312371587492518679396052408705840392044954134194413240127062016
6918514772197443752350812194902164958605865983770951504368566057568816575153401861213001899150723690523211051106538555673280170724719441783071197710254080
10776335169547004997109885270716501563423222575018728357555768922223634803064255960918592785579011619941691444020740751994173356182399679221044051148013568
11316274706862328145750861082453709669339733192523343018096782721099152467111963794017595110655123947793177798263935342380153942552306534784665939011960832
7202504423752441999330730679073866463070140339541747813609370393687032765271124760824190983939208125195221156025350588722447346942734314876714969437569024
10611018184185789979945940399419762414451704937655005122651401138848541046488405840862774254911078082299410330245912197196312194191632762320438203672166400
10688570561196880323377074837416612902688087129868570977235989768789055019571463166388919367586677238381884736565792983465351253432932694452463356383891812
8406052104465755835727648646594543608361738524437895387202276925310088333406282241556303406290564787008335539768565719011475905508980824522650544081207296
9060582081714150194935379351216604184304820767571595253401269077619403508272877548730640116262283644036774709540867376813965858918496955780392023226318848
10432471436686640103122472152999545577687503990867750771549008738610777757344889944545426739621812964683356535362811172270820979790461882067844662049112064
8358848490714843458110550161664106238107498452462342846213503631579573670594174822905324296945127256253219445269083934388409002103661987332860431842672640
7127566139471602219245875471438243708417806395301866640104336057178536316922839999670340910721173246981696043809980705746541808916010637544357762456092672
10950514845680372444637981981904634254497120390539118350987343081473539621536865392608013393236075557022999635758033202879001418198654273559626465509638144
8369519203089805039869996362467548215000596685946618169824535190446197689621670518197404206980594013973051082241624217831957615731174316725262251083169792
6910906526133235908255402790161930396233290332565795245313467403753798754390864838002416393174795741671048045724920306463129413211441150724331327423774720
9474235646323939999931242237560858277697753072603747941750343677306635603669291795878249822765269272896639265218956465010699394895458604061735984849485824
7000440238454336329210647581641617675396025941840743014668150590302492694527212849919152421607523624963871205239334266134651126702346689832198245565071360
12707724554958946775711176318723361273315885685071809037256962878581080225948264305930972821739802635265548677737786609239986748315482871665553324107628544
6747322042976722250635078987063777247770608684905505629860544496799533349275443926505569117163221144433851418966973915818202293086402600343057746681135104
9944647990054639897250787341210994958322511050674423743126584015661550468604249684510356341033097016571883202953970524534493500793836687442067380259258368
7427860913342197054011179294671496119743079805942391861356138680647059848177007464933872458339842884818441474973227597833053726945057387114000221204381696
7937483715808890941161756335993545173657437442092937579256631387941556915910683270216598663856918031013908373128390839153712490885460300980128777655812096
8153583920483139027588114369369525083523708153753073502843366329225340929359804618852906046817830730215875719358595332157798202136835299230457518035566592
7917138210277973321057060274783492601520051474194744049646309775492907693525589192295109064197161324792714006614171061776426171252267729869183738055753728
6786555507145266152828499076532340249567735224179072345007298475277545278651289783928653427602257421515485933834674709243374167362352820411302772293500928
9196215075117172522496602252416041918465510132629659799712691147361884866374810710070260427671955490662695534726456653106065817204471345770747394116288512
10324560277027274981411808642117542917974455774558051763255452473445404564415631726160906791063549373715776034775213115251159070641745722398538715780612096
7738873616079787503117791912917880892944354947046151630340675137231078612510271447169320020415764977632721298233490032546400657769088501460743668296056832
7430182111716760081161613135686533543046374030684411163958237309533985468471695974710671132929315604998742747953108438391402656867989632746767082292510720
12829910061538955159009717184395165477851115081704720407749534407816839016426821555886233193435164837647736403244224035545192282877510123585427454096834560
11519652765949032182701816181146626776155749095402270276002795472488944308918491436038561562065704239267747966916987913438449819047692474704170665348431872
10561704101275816120814634492015257318639729924358444884390408049762149709915290027775438865974080108389562746160552164261056171683087502492088746524016640
12867831124264078252755713901669592304302809218244846414458783401644322352268064323555091401570203164371293394547961201104221077633905094627383853348552704
12127778252317631353231854097392845679589520186698386606657398129800043974626984558790400973526355061205331614539896956742959867216582599840079402032431104
10489292998533014747020792808672132216544598921500181317635140200002129292286205364303335117522067653400534935565306852068010410913319143236253162246504448
8752851361783265457036541256085211157608071244326222463604938567771975001690645911497257122174217099780973712111925116317253205916999095850275981318160384
7927123868094147652865056932666688454869613701590055383216547298378157442181913840955500506951302099363318908140233662534342107518498918397318303890538496
10238412524424973159718873564408456567789336444060587663455142741132431349941368238463884399390761195778631274524571773745239777165254087583207349431566336
11530646514493477919615288333395067004825981476184477464375473437117238614103903284317901353331691896504727161661042643164758995326711437084525230020362240
10535546128195845571085073159629281133265611404758364094309267858162219361231635906728111165562548521060848645304648896271566304501431063038057159380172800
12582425324630551895805640948668079025998002717526398193835466217848317002643371182492979679503086866138178250190072276998858808480863816937947397732958208
11918247895946553023798808005521181668835476438229606540460798749117430166021979527560080694978082965183352654026899133110214517431379544549210780887678976
8064243734824246008672510708854521793373589734545143895991959362007433047352726039301242670286053328772317811141197656828592864086297641780821118091788288
12740153608387820445316556176676813890701984266148987004659552734551670203489767285079433398679850829470062407925043250865426309507252893311424228457709568
10782548662409891319823446861350111607401618899665855416557961766508664725356997983785491684121528293655020737516182873904361643062146484717664169879404544
7057203261939444905433060171873642404851978443155838796022731746087438893030500919763059975207078708220847794757665609262520363954056536750400244312702976
10082054500842158275807312814935967732325965045857711358979559248110022480461636130633733474152048941237047165813738112588049621360382876760392853775974400
11891506085376577597375281601901325355870648776182270091605299006477250535448260416989164147939128440350789442415282209672441660859696038143936132116643840
12903599696652659383524152428599524849779437373538920362551500040049051878185883306818498518585654689514869820455537116840067321170411824603429600239812608
12592509858849356565558212896606518732496688200562445075371112638571750841436671624486076730674689761606693712646763287306890669344734421321833617398169600
9433657488064812525875399543147917307264269459051324766647514265552340271074648307053006654952887553122369488058909877514493865370623798443725181360799744
8188402842730379385265804570643840632242783807058505672923363671918414991707880001448919146225316283710042577984395086812027147359226779549118236100395008
12707132939086480688270543789383204255356685922454642560661192980216920807555058997074953473082741088034588479000196361304941574096432075522224371154288640
9218961255479107476559711539770810455899748595618651766289925020077370475566683035849826198363229157725245727425573623967878695640345077415158289602183168
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503042048
11326821630886059835524991665884041373999833383558041598702439853782246282918073309553382874946602688103589886623160043335895074408641487059773552607625216
9525749285467547714370512538013743741257614570701400619305394686126226028260892452709433063223772924444009938503502182512128319761835291567895122469191680
10380267591780048106760617116991921336863660050885266422125094069434433423556123365818196231616714274896220094256806847684666944251593118547720829598171136
6933552345316108226673220415442622108303961636919151441607567829661467504226477540221982734114494302045014908117786690594360755345469997827512482983313408
8202772000905561212688202973535255679444796345776113058988240414326993206235534787800747519361420189219326183583122762851474350749378995305705537738136320
12736493130088335938832510710919846070828426899593825324656971547983777637646195923101581479412454649160917281470742617769793475960759341953145406595530752
10291592449267332328780313133154187495546614346532643536805385500818584146354039022123838785344275049933619531823123604935483448383937569930775756506398720
11350131325306228180545402747326696693237365178003825458027711794731878275246497600107671216856043023300345757007270248525664581430787325477974927986393088
10967031350890818606133759253255722173225475163199744339724959087217762304895170722818380402137943597616801629914529778247757037557718276256584297147793408
9555022142052867240426081057553689747728259012627497449507996272728577911945442293326176881005771692419234509481195891117852003277980494780119605288370176
8818146071480402318187514658941755384358086194106035845971134705575387044398212914035812421185982573229825079448777877790284870556938815189444664940822528
12021197452388071733166530792480282724654473909642357169832985065873693431580288189202378678396403795284781571791404267144796475879832416461907442653986816
8189380136474168326062499003221292061712604931309149728128803157549733858338840816701025129476285971099152205060196986652193692568143982908069894200229888
9124481445295336096308220674923628029357257146609974868751816803873465354260672576764279124276027375370439822088191463229060977238946857586246121802432512
10680348926622073695820845419437940859277394065496850802865052839955369457126206957150021812387462662800395007505281051332944554833981856782416388072407040
7735536317530607799769577687871327163883175862778617626240006044698096459959162392669469772236514390217795451434903810454152118619295545187366590520229888
12437262544901686999821001855943571070358106430345585678524081097009964710023372037198542614938303061648485070695423134915315409457006134179763508318568448
10960785551646540453958980257507970106967480943417858973767296466223117729993801293131482022622485589905335082514148880453538047941242766365729181755506688
7535058742847031652780680763376714130861545281733360707832489077420917407139784577317185036149964707762104311727694112655716486540349001916735320785682432
11937962993384635493379940568611756891642927854075822292673936244422290488004358098643217956968542591970074438098121357858272078694061415693316454891913216
9189089960639205703667529652350805956635663144434953955713409749742504499564381269718635557313732781455526443897103580840221241116324933414773189022580736
10080730148692408213594071062660137293608605435688756203362762801971329921680920733367394212789839695943017534080563568883649709788845458261286819368796160
12265216669259905496183988256932432450424852555892607364857551893890205449763830527479999576032051141118005491854998499170790536735938076403297755932393472
8732916395617800125513624101447899652690518575320891309054676634769390260725266773158938191932048860931623081358806701179820822586322994613355859501121536
13182202029076820133332847800278097413561183084937266604798065543604082737911672367365807728931661583285591796808842274113603703351565799788596353755512832
9848401826168309593677728557924653240665014303998696922109177991708581460622060620227236538150361549130974630035033795974484046604641780357319791317352448
8187922678971417250311688940368785698622320582943175406193973316426893421784488327715618810826605906172526425890629876939978751179769396339164207149744128
9899594624883002125911401958384252930216731683904629515763836676104452887777246943566397749136973406415094315134011940247934359133976833775420276503216128
9924209489033381513690719598033833812461661007569534788491845030720380750226505213856030190216824227770151255127497982686177227843971159296770853141460159
8783499228683109906408527129354359249434757989936509925008965630648662764515725298415669992135517402011397283532154060764651272864520783873309754236338176
7262740076950818736651792932503439455200292706997045440869063806091467330648173865206618098395024583394156604576233818412037683072381011247520837783257088
9325871313233974556155067718665428145878109868825589075875669098429288482831213396952404555749556317320321455597523656097994964699891160094262243434168320
7874704475244577335429234461293098206298678761904134857013100681118479952587806462765551175763441709838334382409544601405426891602819162142435479094558720
12631256105379784580039462922332214929395304842564036568800261637805297451064468506708502694535078266799884004367555966995765429001057125015902765113671680
9751062670107105011089993262728949132498194702531381377010584212017401720555534493701001402502281703805640359719449619453992270601494609267293568234422272
13053242380859007489673451041885418155567397940330138186602326090107358711676567485496852298175883609547730010393639453031986262863424686905650363414609920
7775619722005732654611838649257630965860924523925491514371710667239700195293249261125707784975231623734084551867272116644211099052041192077766553174540288
8760551713956944298544162994992883636635821821018919287639902531785758230439558657100729671146154829496183342502734809364328547425139788284924157006708736
8950920434248129918272334941894327193778428976329410073337599976491011757624874639850844815828501760306590094890535390647077495031761131729025378927247360
12995586689823525369927369048377126885188816504285874271234867118215289574552011420168338642004107234562587397852904860922187629103480699171239392456998912
13060927090208023611284332908364837435312575685910376931495626476073014270234588742519382599315012687612569704834012577296129303213448795128278208187727872
8187602709067625237357668940743900619075701254687274826718057352811701873347416442424503628288255620165682064372265790613198892753731118078041135041740800
8934904899538636279165161058026333615611178341442107339285814319603621091443537561664340629161044055681952099840647928229297837164658843333965926606307328
13261554534030537547829470438442881148678994595176277021712877251254266157828994328839250059715583544804250112350084350880291289664822547514644173842022400
10524399321499675418235733163468108878305647971154130707773846971261292305371513687131152534273965020803839111062701670385890926945863506587423513082068992
8514248338765998013801366145716262860249912041847338976624130963531874895483493444826279371221374214127698612955792898147356747221072850963291326780538880
11390979176485677071546136539489862449793371579308073051361292650120194286245347975392808785502325755363951525637600057632061990480300736188837228900777984
7656579737441119032367708948603478670759268636948605969175014141167068891947800847999790880619407926304367795354900226056549048483704636990715065630982144
10315002988789997783450158795746178747921130132513152619875002053161770154169637214111423479445251745034115247772072289282132855321152589264141094142083072
9419181633383323119021165296516444294560746108230668419618004355214594461973906803897980138039908579438942286575467620647437281091149323538921712020094976
9722319938679056649068536479215160891906533388547658666362822543230350019957718981497118689103191251994576274786442148962184903668793699319496565009154048
10566533885296884303014175578580898399432287070427333877481024070104058743106944997627287393784555274437334696341395676884006411672588925867718136515526656
7864025647292655938288949358220224463274725365464623979001778709349185260032907494154263414325130549356382246334419953434282826933683400719428886313566208
9490891133530826594397834989836052329945825327690975504770239829117082976776257361897901087838454291916373831325776418669049288626163994712238078958764032
12194372674481041434034472232381036170051319157741545885521115375655140297687073160813084219505942400076144873358499868313500115444033278627346597428592640
7371675648982111491269703197255753290791877887688981905916372160952493309503327097597124247917936161903796812655265279912757261741333905156095844131274752
6984806023239421752888444897352204194647838282632743190981649032020896705363091950590689105978233030512522536699703185349700335459851397196491137849753600
13213623763972962156815296946145410086345810869603695388454869739072920121025572432011502420999187460416558363581021258728468469988927119700150315674238976
11900603457261632672110939658722248372981149730330113618524804477883622120937182047599280566304374588623430886050260673179507411949378566962864288914472960
11129158612454421873603456785475052554294161042582944494593038350010574287152950544813251559613227831804874306911154838598477332402532928364280527210938368
8876335673956996641316312901882670879221335450681449117000969147082745060902247697485147391841211340765411811358493810365642540830320302586398114270150656
11726668894950682487428958354899529483261732611913166896392371034043101203352580332157154303725578794943594982828334586211658854305094592264037426282889216
8734937321895496924911362547054298397793241410042842297062903339942606383701235014072097542137835259479790195816436660320564288922510196981114096041590784
12277522465221480407307941107394302441863977497817685900769996381515300681043644424485546260561136815321757184428182322943778200981221328537106042715111424
7218948516297425217405523717912974876037163890150717757884771000064809934340323724346131661008105652044159733121053255327576001245627806004702408232402944
6948524758361941138598442108404127521511938746011186161358395964059792051707999846486442182841557682970895439343010245578018072142613437208442356900036608
9418039442254039140822469354409446842941373627945855814994557479978453655359648150416800289841622491898586855863022617262017002806381516723153647953772544
11060798244819944838475852128410388929464972731038214416005194244544450241711068244486852731060886845057206467997174735994302177085518507677336222509826048
8930834591219377630620615864150612000914196085492719282213705227279186741966436767743952890581264695495837396977112344292632395879028425573013778962841600
12475846297330657757657567845157058005707006968319494902409162643206262656801252364457323139152117663765390010015184242319379182277930864388259586403991552
9079311465010681625865490141130488492277143950052103845392601050118518607324621931407870163113013694634994527076622281331268770245981961685337712109813760
10317899821864294260488794955029176836851790783636865502897863586081464790084369201454453657127804510526069894331324123550970994061251536325334467939926016
13306968871265061639172714668553405906986990363338442737922847245577151812326911569672338256444119651304975662070066666683880617507332166148143737387089920
11772998973951101528328202031465345952403543702829412436858635667003876285817916382857103334656820121107238355698644545711835639861040815795801231621881856
12830301459262760590854285901819338298343836389564007322560548275453947242348139726597159198264819601201910056702886765313925651969210856291854555612708864
11759221371202112466969452651357460248378160464304340219471669158161753916969655485714060988988234685419152983817708183046591857415891388313344209816911872
9914131399700081668552441884359674789260411941432763883906619979820256372647835185049447602789956976346773930342791486173084661872939079195456442550190080
7082288760978693311369367154465739293348114689535585499053253672289926248831066271510777190746617932080034198871098347081914078403378254502440253245095936
11163473745950743654976291137186305428755879030368863139978623882253290504344557150301478047951750772131143086527026681341698557500258190098803247309389824
12205228447043337389052994806278976270050208777700002388772624553272765776402060935903544393179741862586426041994834317107420009642142525188151106871492608
12291965532166200680444217594555979921940536713597571400376976608343973688804270241978307886087015367210699257341541379859701217735743052929401956358684672
7199252705623680054172832253714911504368820357187284656427028754750576713743544673446046375511097099145647749589203251072698309352576160720776663821975552
12311544724659857443869748629571908436993513343114373318287975901114244591243890071000818873139148983705523802693866917115723085304115554127219593243000832
8313629699881582383752912583197264312440429783265380676255023930910934490469520579942794876046819267308427476633555054800837985651682610757015008687685632
10551832996136958487434201903273602227034927637033235145090327110993401166769781809985247066014768325943440820654676152960392154421205272395202461744234496
11915399094770479249663752042169751547662831624061281709981549788149911503550241949578450971214081212783522638520673960321783365067386414937437643636473856
12311096663557861546032469291543897504914076921343396421170196516664994258450462527107806650874332323368658873623166392593754010619367811625102746006323200
10357899388963105584950303665018872019260704796985186530331352264688090999817124182076290943533346549111984882545972856232411470923239748092951741903929344
8132187527058245030394525599457264751132102649230729826818996991972241436289699549442281687989902969080423950766433642985266873891641306829021375549669376
7511899722696541428507918840781265514488894004099834016721586657674643476410178414441200374689491102586596716570428193362108181668462721147670762367221760
12569713115235292561061618925342961514318895547973603595825239647492062884849116457306254720880983034366184063126493718291724050447515017154186674178097152
8738174989246941886566612077332796079309775635378436002960863175666555937062274123644752740232862124642133210646067451576542386260453179678146809670139904
6914571597537336683731086973884232046526708094997826528203083852574821221088452195312400073233477324525151632839675698268023489318197334681087179520737280
8960527010599279296593611101395532634592584682799395629703880800256771164620119478745172387421882173313383473288068188562137601926393787092928903289765888
8233209429251927438759584461264835726252278846062478480610151297232984789284402456152456297436445223967155566180608065332488505583909258606494429961256960
12005126691965509389168493821318330261066032204053152512520642139438046173656733217876576859613520464184127151186568935922749098511043895189727564489818112
11309340184120120747834542894120899648529452439180106576416224396692232201269335268061849972013154798658760227989110388770886718522934480525089596480251702
11399317345423843301973051546528706172801100461518805359195076322736656823562477022369815268342041626668395014926999610169278135718364278992095235643801600
12424585005678020830669055610118471347529005834665752999308585197869692358816608440948663546319129548328925596703492537121552875300765446638500345720864768
12000905517031952285353476197350867834418799692687427058065265035083203676751173729071783157910241970026487705706979509237420562201952624033481333271429120
8078244889307818146009635909045797301870561799619780125575946230785796158929282595336740488512769501737187731395399312370064773931360344668287810047836160
9541246385733707340939235094644462899769642264295169284780896155475194329872064324021086263721012394303185508188893838266852664823501613266907307297472512
8487536168941916110298706161724162821162301105007557670573898208258365237516721914344756184409577513755048970160813732847028479928850718916561485504184320
10122847672976464190439163583015324028263633300970588599491035419682539412393388441486177451280725640102073109396284076137685098127908008579687298230542336
10723734716712978406736480657616253111119052658144129890922060516419680243162460415351299004872934183117973712473144028367992820710890145784052278110453760
7203285674315561793044654360547563110937089111838753278794160031587752610370432218182964883240431170766596175404352752549828478539094620657436599777230848
7955898176653179932418497593991225831545038763504012906189810267295815742488417828747969887499677607056367269251471547685439352159649306025667157410447360
8264261818755826736762666729972970890238784874556691020015771523259733379340275803931547366464972259300654934851792354302123298877025213611576695348789248
7042055426916364870789828072460869801180573220723799710477686967339327543865272409793860399054415726662219232792566316330884456221510541827116398792409088
9254748836368585526828748594890676209143468637329208460230827986972211889674199936078843084941989975095044185751889319252737128215528792760406189356875776
8393737578252954554776825061380054812016632736164165938675255094163231929438736071032201320106515786029828878486990247948898499707114694792954259903086592
9176562562484493466770443721318843385915898429667653632046737687384332223673276558187594878754673184660005201435691868792177330865121633771344973069811712
10462603307603789997125975389845353528129934671628293951709190600275915067685619710115658936910028722190411083941702173910931250541823177424248485764399104
12470521411843705717984528321123624582245149890879425640996916737057974512426275685856779219140499298280587427897540115024440866073673436825461992089190400
11361308932884817480073836669612223871500107045310693047159921519142870311119942968454117121047632663984493868668097160623457450138547656625083001270697984
8860744691644278533707008159231293208286948106399555041335701198464119784673096886177259707326692843976314287562757923427924255139812651280473839936471040
8146818555930710424301030127802761237114061406048246593561355029567778672284717200214558115526628167372733946325455616396339582059106539512999046071451648
12039203989675108877478282356551662894079377170214066692489219895037116895380253661990783863134613018645111023218636815511064202271341163307667509978595328
11958508680650532537002514450672407546936750241323635379517397865807423392829629052160777467450703214094671170288775859660085415314937265758728826625458176
10064589911211585196748084387867251391015406673711623097249634756147640199493928570900582676466989267850032224694384534036061767947642284884424454830030848

分析

整体上来就是运行了一个run()函数，然后run()中比较关键的就是choose和ps

其中ps是由gen512num()函数生成的

def gen512num():
    order=[]
    while len(order)!=512:
        tmp=randint(1,512)
        if tmp not in order:
            order.append(tmp)
    ps=[]
    for i in range(512):
        p=getPrime(512-order[i]+10)
        pre=bin(p)[2:][0:(512-order[i])]+"1"
        ps.append(int(pre+"0"*(512-len(pre)),2))
    return ps

大概就是随机抽取一个长度为512的随机序列order，其中的元素为(1,512)中任意不重复的一个

然后生成了512个素数p用来生成ps

pre=bin§[2:][0:(512-order[i])]+“1”

取二进制p的(前512-对应order值)数位，在之后加上 “1”，再在后面补全0，最后凑满512位。

这里很重要一点就是因为order元素是 (1,512)中任意不重复的一个，即ps的每一个元素都是末尾全是0，然后再接一个1.且每一个100…00的位置都不同

比如这样子

ABC100000

ABCD10000

ABCDE1000

ABCDEF100

choose扮演的角色为AES中的key

    key=long_to_bytes(int(hashlib.md5(long_to_bytes(choose)).hexdigest(),16))
    aes_obj = AES.new(key, AES.MODE_ECB)
    ef=aes_obj.encrypt(flag).encode("base64")

则要解出flag的一大重点就是解出choose

和choose相关的代码:

    choose=getPrime(512)
    ps=gen512num()
    print("gen over")
    bchoose=bin(choose)[2:]
    r=0
    bchoose = "0"*(512-len(bchoose))+bchoose
    for i in range(512):
        if bchoose[i]=='1':
            r=r^ps[i]
    flag=open("flag","r").read()

大致为choose本来是生成的一个512位素数

然后和已知信息r相关的就是二进制的choosebchoose的位次值为1时，让r(初值为0)与对应序号的ps相异或。

这里我们可以看一下题目中生成的ps是否符合我们刚才分析的ps构成 :

f = open(r"D:\\Mango\\SM1\\f951511fcecd414288d0fd21bcafae7b\\ps","r")
line = f.readlines()
s=[]
for i in range(len(line)):
    line[i] = int(line[i].strip('\n'))
    t=line[i]
    len=0
    while(t%2==0):
        len+=1
        t=t>>1
    s.append(512-len)
s.sort()
print(s)

"""[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 
143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 
344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512]"""
但我们需要用的s是sort前的那个混乱序列

而这些ps都是一个前缀+1+0填充构成的

然后我们已知ps,已知r,就可以倒退出choose。

我们想一下，如果r异或了ps[i]，则证明choose[i]=1.如果r没有异或ps[i]，则证明choose[i]=0

重点：仔细观察发现，这512个随机数最后若干位全是0，且0的个数彼此都不相同，那么异或结果的最后一位仅与最后没有0的随机数有关，在确定最后没有0的随机数是否使用后，可运用相同的方式处理倒数第二位。

推choose

f1=open(r"D:\\Mango\\SM1\\f951511fcecd414288d0fd21bcafae7b\\r","r")
k=int(f1.read())
m=list("0"*512) #bchoose

for i in range(511,-1,-1):
    if((k>>(511-i))%2==1):
        k=k^line[s.index(i+1)]
        m[s.index(i+1)]= "1"
    else:
        m[s.index(i+1)]="0"
choose=int("0b"+"".join(m),2)
print(choose)
#11400599473028310480620591074112690318799501642425666449519888152497765475409346201248744734864375690112798434541063767944755958258558428437088372812844657

知道了choose就等于知道了key啦。

Solve

f = open(r"D:\\Mango\\SM1\\f951511fcecd414288d0fd21bcafae7b\\ps","r")
line = f.readlines()
s=[]
for i in range(len(line)):
    line[i] = int(line[i].strip('\n'))
    t=line[i]
    len=0
    while(t%2==0):
        len+=1
        t=t>>1
    s.append(512-len)
#s.sort()
print(s)
f1=open(r"D:\\Mango\\SM1\\f951511fcecd414288d0fd21bcafae7b\\r","r")
k=int(f1.read())
m=list("0"*512) #bchoose

for i in range(511,-1,-1):
    if((k>>(511-i))%2==1):
        k=k^line[s.index(i+1)]
        m[s.index(i+1)]= "1"
    else:
        m[s.index(i+1)]="0"
choose=int("0b"+"".join(m),2)
print(choose)
from Crypto.Util.number import getPrime,long_to_bytes,bytes_to_long
from Crypto.Cipher import AES
import hashlib
key=long_to_bytes(int(hashlib.md5(long_to_bytes(choose)).hexdigest(),16))
aes_obj = AES.new(key, AES.MODE_ECB)
import base64
with open(r"D:\\Mango\\SM1\\f951511fcecd414288d0fd21bcafae7b\\ef", 'r') as flag:
    enc_flag = base64.b64decode(flag.read().encode())
print(aes_obj.decrypt(enc_flag))
#b'flag{shemir_alotof_in_wctf_fun!}'
        

参考

https://blog.csdn.net/weixin_30872499/article/details/97586079

https://blog.csdn.net/a5555678744/article/details/118208395