mirror of
https://github.com/vacp2p/mdsecheck.git
synced 2026-01-09 15:08:01 -05:00
15 lines
22 KiB
Python
15 lines
22 KiB
Python
p = 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001
|
|
F = GF(p)
|
|
|
|
matrix_data = [[[15380272759239134295603349492425194336242736637653393051382472314139798617369, 19366492063841734897468741279681507190927935107930838939190594432385037342970, ],[9220041279000865312491552621637139017606621011940915996711569490440341506100, 21467699887483008170614539831330568600770117965386226561853247548461448774754, ],],[[8843368694052648033389748290605132599740624074228343529678050555585727178558, 2354937583499075230115530904365321705889585660830896970243107677587269744365, 10268905692616380035798986854290757680598064702565772735917143136841259543841, ],[1159789756304080422261793128449603510940399189328633233618318098527789284071, 9661958598120143423834016035540322490844937977622508855425024574613333619753, 5557473515905513742247032552333040320777820900719879734217663306072052361829, ],[858159217343780469437297621898328374757070900015027574468313536787461427524, 3104743482413626420312193191922664429290257615700385057198273329636516022741, 11562646645848101010877814498112689443054188692852768177936413896392163865361, ],],[[5823411696340370468764651241819877419372210164541749687861549275871391142802, 1058862897173861912830322651439359201693402066940657869882055422668232084543, 18829125430656617482518377746229573126399947872970572325850816139373015117041, 2826118528882486606599861039801031423407149657659298667970668151941923388955, ],[3326549963584914050716265196641845978138806558925251496004064425558206890825, 127255861561052030360527830751944495752824085851696264040593136907661702040, 6400174527113033657235232366406512447927191484902939910176058537644440656603, 12067917400352451094171703762573879984904529586840804979363137091061400805136, ],[4548374566446979185932053654448910381650100958610779773825781349602129087503, 16515627850885585383618914470888344323131421043413187078854540508589334093548, 5404010140752877668630605891092489842354676781207025254668046875459302493298, 8570497900949876130713549053513423861891684962772638474819525301627518954835, ],[8632805628908149971017769443263933389634995427676254090757534604171538429393, 10506347748761558458716888588902144139190877173729598627726950449935937767495, 17928518413670018310190797788826142854315572006793401418261167264825568335526, 12969002259125975804699404972338283819600053431906606862629409549943640516646, ],],[[10588683630489566839188356114486832946503660625048810188551163698236682482247, 16343849730299808918189271992562679200799089280931192867108843016770285589368, 16735895379204889463695425516282016327805025111323989192197175804006380279576, 16631483953846989679320875428406829670540933396134872131729280997193738659444, 2261471512126182161389948344138564946528243980639437588098649030228109602544, ],[12644179044608525091084176129778429070119214799241484720129845987380452854501, 1543004768284232457555353545141495710330154314641555043204701400097307596293, 3390947304638473129116493805550471031930684242254806385211901489297305684710, 18281595457929270061671233597083354938657541270487220259075627096647088763699, 18091490847648747259886120339010398490549350304935838099416960316442897565609, ],[13051148943920233808232304106081488360383362193127737022003478378805347974477, 2793011560957270171846398304892906944271752780782205967184159100379930138063, 7964350768736170619153462254328129361918158229695589175287333099707987258120, 14624264091426925001501312036498815740135123324276727057513455517736696325812, 4376580497546085413687043930878282451420340026844413776935998105595356305806, ],[1975565608810523806933667874344172335495360967187886330633077932502164601749, 8198552452941522958143469120137527520731308916793265783028464529626064622896, 5884015968325624020103224263407342366931970750495384605176534513693956418091, 2891609318131922540857698201870730295235899488973620868264047357955371417230, 5789290101364302241876998455443901861017220408625535951299231996555262474500, ],[14748480586001820479393800648593324027300556936766599857354925164875491224180, 13773929265004363513453952224586939872527557528631253903461259468388883379194, 15729953508059865943377067219596682208399404920677362081369072476058284505634, 17475955700495962336909274597419999069690005841083673697039158862183196427952, 10830896649625554351756400353810633625114085022943472619679338830844879546739, ],],[[2409300003910381089808363333621133753680859161143397934823471209143201342875, 9818509156615401839855037954862167851528093301184256963383945121554912977369, 458338093879926517499589407819690324829067840134588843777064817690858831478, 13700381402043795145455088042396685514215250945150169352119305630294449386413, 1807649090292978776693028087469663521087775164398440577662285173420136475321, 7705376799494670779113311889625843039303103218197288340791532098893071142923, ],[10473191740998958156677676208311582997780604735076082545784023717510671739499, 10457452254109219197879825506248381048328230589942588892082529496813443092151, 14994591388409916789440092175324869408174017826070084149249486306147954340274, 19764103740982879834926544876072764396305101771186101599052678597527479979198, 14699073168052327930660227063559686073670039600276614644300496523890277037051, 4314108304232960737929634532250647602330723148438563773093283101988906306039, ],[11852124259030558692793975246787356800734092640656251343393590485464092039352, 20647263800168347476991384721087673281236527188997872493698798773168706459042, 6157133640500098903314880986969239443476428197857088022527404568587266898490, 13953714309010055663045219468083342582473423452650805995875350926879658906546, 14489499870577028447398888955949291230059416378639537006636639553232725816092, 11860077301189093749722018925109845854197907808694971734224288923731279431034, ],[18192726136623579379560200491659392490181301301754794776860602320251454468017, 21318509696935666869486138935642922649497258159142506207713590411911422991685, 17609276349924687972806233984576105026090671069363907729267421152091290135446, 6352393157017527048121955563632017640568254523824889890268614072682371070000, 8087771187397894094683588504392435999402120573668858368381249846929063470160, 1641509783862404392166953768275045478404304350878221419809406165883045439215, ],[2816515428759000206863348792842442478938568280418470750052479841179481922793, 14611961067922489157797159563030635841758177536414637651009188562970940372197, 18792208584493118957506793171419750342234472794034312119356211534953892498563, 11821772300955543818331718624839760699862843254548454360506195821331655454692, 2850800493065126479693546101145174634338515141213809281361476521742059074787, 9489823318724674245871521999355701360065268022819322795827022537886998119958, ],[5683738507766884734666267213639111374809976474102062647180783645679361494992, 8569363134998964480408520761768597651740752259156673892281407863722727911822, 1238354276315032503523222769113552100894274276899237769715706264854225132222, 21841483992111622835865202799912662384319639641015889577797991886659078214066, 4306415254887995756223955115385850159553006233823947485820055455487691959959, 14106532397069721200051926052679269515755009862970380496605011741564058810589, ],],[[2205048039800273957365238291238928750433022124747920468238262391383620643586, 3888529952086054785825035358539450254141108897265054419994059062311244099946, 5368758965657714889751113265788157051459911036987091083609489145447741442946, 18911609824224267325871532083536172699542084170634249433247169380846387927086, 16377050126703351772223030336865970073412381735046582139275289675838739298142, 19184819579726510329800743768403429089247728072226276240734216032015701793291, 13951667285689503959001013281953038854615141853143773175784873950060086454657, ],[3970370478808221072344737954106991709627901046445200963234255126239564795772, 15643510626073115097813063413369835067457595353300195535125990241139250040003, 6587677392136377496804867444449109658881290292186512772623422838434844528021, 5909829704492967529627869062148125860593623727412415275638258359639846801399, 21333113546897921512847608484915107879057738212448009540438416151322520313190, 5878388704074185003439389180529460602471661505850639540348810400820303682749, 5570958927708889601927742871989284117949364332143182390544715713358830120813, ],[20653848826590110476369072948423886046581061050093195789880814554048788889788, 6167746508063536722097519007137878050237210613636087428234313692669274380459, 2898725064026744030502869433632400927059102849373639983613535136434396240482, 16453703358039454890964924495187147241550941724455655692622546839488309425393, 1698780312585614329033049603537217150757870515237256986813795517923313328725, 9822274695167056501329208197327247991214398361834101052826595336838749248786, 19484366899539915013063935969527881844888551040253214759086019088637903012380, ],[3691511181933477480943063679119071584589936055658869191398407866846180847233, 18857543964482464977861557533621211060580121402654357136629792645715579820679, 14041624103243468678256252153613427757766102854009600639806109661148835535881, 4986566991735079835570870685371953412922436051338805116302220740363374048680, 9184648245894816120459636225634042681495883842547599125187636160192912733601, 2564720639238143818024293511989777785143206008003537957610048553889652032859, 11448261196808161577709999875214648903620439659328091211657280417610028846912, ],[14803415608657579857463981520165613208737029327090220190378508753282405144731, 9271230890951854714451175317359038395555348401584399196802077889337459931775, 16312127877931151815272040254943626356976387230710639752572998334022917935995, 15850464909356635796105427439700383283570864241113182938693361046081463354452, 14046601572152372499105914027196339475229339998272199789931069879879864889840, 5412533686471602106704764296120309177950279814605565845928442361694851359027, 556596676127684571042436490297803890705539525433806876672282256103134619141, ],[19062696409347794623716127799976914626595104768828141628884086326137222457225, 19062799978920234844974212974966621285833532587605832957615375717214092646868, 510479226065024726231067738616267011948784329531508707781677856688379915772, 19141888529376168536852650461512718127582118521363304938825369367900711310515, 12826976082298854464728073032297797489390442468976682531369101870212507989826, 4417285021013736392148159924921412748798990739373085067538430434733847708953, 6841717340274573681027944517526930624227303956073829815605499044031490574610, ],[3557970714705955028309578923912366950970019581954790073810044366005206694758, 14582758263844965998867857831199474758031929628564668842956416145900810734088, 5626903746629856525905838084762303703342862108242257806689442338606470902056, 6736712413444544377813567465685122152005233896339748843163003475354826089153, 604468458868851002721618179825998392033616617642823823736735503716957448685, 10996260438562555096775896356978748724953647324592185259450251037389175527083, 7840573623925291363401711290789153285938546017300382736936412802108739351057, ],],[[19632935457664225654701804725764992070702304080895348513801507558945551990629, 11353847865853419137201238491325183454231759722499748728868270575201842983809, ],[3131117035663407630452660186559666359265782869069478802709594557699654020513, 19468032638641136833426700747984563787815235531410296890793988863276541843961, ],],[[15321186152252062647100456670546653493079374549270682998530721418818595185829, 6128966526568126694836721397858191807913411184756074006386499063652324150363, 12441884273505102194934637817356275657570361493937675034597243573369122470251, ],[2472344012815258123293753789624483986312941356936095773998748113451766101491, 10628838370819740722425588459313299972469860902348372559841789631346687368132, 17616835951461814614413964151486864785027730501641705843004015053904852878624, ],[1567723879919106339047773244674981517232931813887610311492086364018503914326, 18127316370262806036057424301492621104979887457358774455548776655639138778648, 14353983135806397135988867725040877193901084608642130727161434411608918982737, ],],[[1723464512370010317483756672923649047805478028641973432955179608261732369208, 13159270522195412977148871003609202677464976633970955167904413809183627671954, 2202678335196291734732658578598324655265129696133635147233464560664475671618, 11011831222113777267247824116692096565139580862904724522562203367480494694853, ],[4102153441523744784562320138936522006548364169307607440577238002831715820696, 526211247634308808491606829621191019635793067062846741802423684759371304360, 20840073282789114005687597195207363589958555639551724501956354585803152327801, 2712485237005652674145213779297984792874524613025272721896402121441945904805, ],[14500021537559736369432163243864020416071921469605256192739585580752293814591, 19899395351509316679960501337710688507311784429772265010847470209305979467705, 15161228595623472340353394917004181100129496216995580359560779114893293917939, 8870966298010628589746503561563145201894289060209852213056992979689151219720, ],[8700441452619072274624543107516230889262058066534228597990046009818427189723, 1711033794495521881503749172086790886992735049857555187687371761696790050086, 5462305488432677458401034947132750240611274080056679380155205558487209446746, 16063878719828020110406168812870859802849993418659231968328575502767699782890, ],],[[17041104517344401394397639183824295454287138587219110531684476852647054603809, 7981903002464143597404573913141156553123596484242926102328418638088673943642, 15731773494195438909077060941073844157624321690748343678549384741149596719183, 5460083974079576422301611799259436162209623388672926810957335571429189317324, 2212839690134298593497972673647764414301989405747054920989511486534730201697, ],[9423021202256520526052329340827898177046680712969156734046782151012652023187, 13535601829206536226602920868335549931359250882918390384634657687593645604425, 1355335184602351200112354499186218058382962178354712330158593127453323808507, 15178936662303215949180020913848049455057991401697671110786753902714951910087, 18749183912543557458857236931978436312490386442904467652277951292105518412998, ],[8751618161581990166882146622389753405470056597538361824275970679104273234118, 19128481008270866343036033383596205917097618449485803004394204701391471956302, 6162153715366393358483266150669893023430846001438303144649834028872090061621, 7045775733737887847611554862429292683994734660800090892369497747508261458330, 4382043606242474490971950553571252562057434318119730384325192592485451369816, ],[14744577340791319826689753963151431770644454265332885349778070293828539634753, 5432393664478779677228293014664996365237055404612424227193599914868305096269, 16596802071127013749669158237337906406079753269235379399612574232560908390793, 15208076796932485663450907743290799677142813479505174341609594985644439969248, 659055487136667459026893803571002313102602444283942799597609705503604492969, ],[14249286386153718911850294416200905125991778810923071064329253932116737066196, 17590633006251865909476881587104780055051259119054379355554740474829516166818, 7425522882600015082271857874760782507052394836011197362806444352040043363493, 8503563153567813783816726273120751551796051385099380258672011795054135300160, 20919154971891949094501283297612250002838189838232906055083005316361076584006, ],],[[16491500495884663342529513673969892671746481195235726228761098588187493457653, 4205344110807176490172736922502324439834446571429143095314799840675366295364, 15254442280494719810519882399790132123802691615556936775315654207959582328783, 1062498305808111909566295638518915704306672023207753867114237986159326217346, 18593671157291842294194734828826658746391363740703938735176481018622969300913, 2645890192799236261110367526780305001719790438276267165577261873621606304507, ],[13205079869498589651402409987854560859097957296136826257830326066179264450839, 3125164004317748348619726843965135657023014984810024538885540099779085139956, 2810909744283256062745229928175862986642265324292032445381815985244121121870, 8774429714999638051087930054053012152898200498912416627781640834761512241122, 5437531313045763107949023435279475980303615517942720217598978216534924878446, 10805894624034334941101473102983299558724743106814494766108749524576666366478, ],[1673846424899362179751374151775523183567444481684817678221716341517331991918, 6168708193360246378271170249088907749782141884710838677631898205116859550271, 19858359332399238967355464562034063546869083132519419520930320177942938845160, 15998179668164456077180861538126166735620434243983812432299618334042933053815, 16334748142466019033350532353025390373420877669347599872975097009348385541245, 8474704270718333599773257606406593703987878666809890458308242229795295383405, ],[10874319517747833201142714610274946052450283126063938194498194195600588531368, 19318192994858663526957064447390329177202799555983052491719816597948389553693, 21285491610120828977958815258832011012756600506413209905405167192078031154592, 4972326040154664951992638466842934283374451176283227517354985373687030077051, 8057271307949113648537200706183557428155162333751646799717249643917511839375, 17495052858823209790144540694120056297897168542355956180449546834947224765845, ],[20713399830464022696461174855682502688784595625818202950235054648612731659921, 8886771154101970355429886538674481846898436226866275827147635852938379503071, 20704898590019067410579421081404314970775941591156452723389187443120601376940, 20342672647107378549593918596654653363623157912322993803843377701977842943779, 12529078396249491951729317349646440989696432920319961710302472024867485478740, 20641298208909602753133117455676357791326379870093531118607676452441411369953, ],[15803512279441281623301287889610480375614211438756201192108183538385608107243, 21152946355053517579591053884566851199148746467941265091877308381642353157075, 2622205205833871859852385347663426642958406364372883227252082761007699984197, 8980210455009481536976408003951974116869486179909721160509962953628433938053, 1248789465801607688445642910912818942504290455535148192603177577732566635389, 4383656972067782427613157348698299472519464311299097218601771119800486413816, ],],[[11390159418684773299076249186719626575399785459266154748344671430592514970680, 18561633256449539300705235567562841319334777882221131189278831457021759165176, 287513760781037388947502793115185209318277653306562765052932077877295366579, 6087882743399654185320779717166682684694140524323414815099332170000725169432, 3513713182839311672828224106000795424714214430989324675069569401448164444706, 8003942748328983214633894231666016503163702938793506527144243137412530141643, 9518668368901648778553455572056780877809246588593674041483357980080440318884, ],[6048768354829690588098433339391021485513392127274152298960691595754445524973, 12495793589549118506205018293066267408373512770901339035687910433149527667768, 6002221381537491465608571336881443272442388067790700546301498167624374814253, 2766327184796419267367438528067949610792519370371530226865072611913648898926, 14296309201979517567911029767353401452668338647405359608484484564973916742394, 12632111327381452365682366068428442695333986155192450819421309482206863474661, 12110962330549616244512340833485344668180163555837513344192948573402312922272, ],[12711183415031842137359821934724414035991607529528303963197778579768257852679, 16017432406569348975391112402211645693420792983650456393897685472606771974971, 6465811147772287811749682887122797974312460784352869202025789780448769861796, 8046002031654109072392370996584113159155512703177433697394319787891089482662, 4643638993666369743904258856029743070629568717405785359589136844806287509432, 1651377129145942616860333762708271784393880881130528333221623884151824291910, 13046842886651001762461527943515455028245654538413512947167814036411413157067, ],[4434743877871284123007816635795250800183307436314201856251871261984776332080, 9706443009167239474533096495990278045283844970633784100553869834459211093226, 18312558839352863512391566767237227515519138536817876011854484959768746569990, 7760709276354924338951205359257988494752203550646798691494762205192231221086, 19810647393352055492545090248818349976976309776912017169313334062337753832907, 17050372264788347987420190265354500416356127584532242072194251982061033329272, 18792225950262378492720199133785319875774559333149555896717846881355484706541, ],[6194457151828013799175827763393348859064501674284311917048506101285664435676, 15723118880194262392564237079824824983376247680652522859656045134005290804733, 3399470188971669885574844566822777525762045864930118405282842835701177399889, 17270464885684151786660258806372210510587679822760695729925648421323275497997, 7918625244953342359056509522260728722837250736366092208157856101480526558657, 4937141132445903385968422501759233461370633876059063598033521143711990702741, 1871646675757119322483333878748457065381070660010217232528791231057058927074, ],[12638798171535601481487303183166588906800771172275615469931029535141297423230, 10595713614449264609308723313129351096813885258881834145475547086200109625496, 4558127279150275546965702974841083499687535872456788261021015540480274719584, 899271636751878285833019701415440813163457071014097837458762497686246771807, 7481981653852976483611322882170146961049047757508724408729370659599557042088, 21088939057634071872560483651717061053401366508045484961678548637167373089806, 12165484132534179030037330465964641186606227069230098997415944359322820666432, ],[2287047323565441599342077837475401203083134317925039567148141995315510557126, 4346151337676124231147476126685010032548005204019202698538555616622628128429, 11571068781096024707150463434903860639794670306540507238279369420548157734069, 6667623071431051777502595342585249965043921384955308220637385076885143734636, 17732470958385407743995258994408223828899147578690961359976285763351986901182, 6159331032610640599365969144687936370890268948719456519995017837970311040299, 14532688581709491132308331042007934508356600893724652752415619129185966487479, ],],]
|
|
|
|
l = 25
|
|
i = 0
|
|
for matrix in matrix_data:
|
|
A = Matrix(F, matrix)
|
|
s = true
|
|
for power in IntegerRange(1, l + 1):
|
|
s = s & (A^power).charpoly().is_irreducible();
|
|
print("{} {}", i, s)
|
|
i += 1
|