order48ineq53 := [ 24429893470104184453392306159752609196788392668810142828625666603430602062522\
2369165918065279900066667228994876184846876123790452534124946148844205892596671\
1885340017387379838155893745934124158042185294906937141668322600346081637479089\
7107379094020515180152159868351922741770649555505095983171532059587092857356463\
8575003525546241254176054340363800910153461589830345449907891655627421319287256\
0566599609354615819245045524743068642317989277259838510465015110423104800603936\
5917857665227905086881948434182572264432904170516511537686814539908267266968708\
8953636094678001714489447467930995340955178839510130300174957562557983178088578\
720301068108913230603718672410302680148540273950567951849488387, 
2442989333947828377163602992462763947703864043258867255003618360271528942418663\
6596357902092679481628153119528827913349842098091712399835540447499410027968859\
8133283042385922922148582535490276320272453772893188674086105397350466886704156\
4089692132089481670072693070161577282125527485619163978134277426437649044152060\
8103693481038344378363290875524581382733561409833671787195526965007843541459549\
4839371881452961954332796516997146778398572956886051163430704962514509525389779\
5718478789067880267510290068007609196583280328356772401668874111717188720580888\
1198789618804105832664356440407435441513301602465536552141601899093942045124569\
9473182664870429041655012891413627908167573706408542311809027, 
2445487479830329887822426581877811222149853772636922871367714708142440602370466\
2245881257319163152101210868644464705228279475086958028583287959113433164378224\
2064253985755358756271357329516132591070071283425827747093564110122002963609425\
1341451656881643598380320143223449114893091024336178237061213936823306565390251\
5150093714868803261114227206968147208708934535636339270058135598582246381710830\
0957394759926124102305785045480564307801016554143767400911467153770852751484870\
8677151378540493167269246560453742149660086728821827629684798302972211827255083\
9139227734600106690645981791236675105708956164393792171342587770684362662193703\
9735467887207940301867508518895768201634109806730077603364867, 
2445487417672949057795704126175086894892921833172834886440559450553715657678948\
3406736400068792328460592046887412761298582120590953368473336430014883448393518\
1454189924517667773826700862799068944470940006521993838509767104689536983597436\
4496678386078918399502992673947469403778408411017333166183950953151613307257452\
8472811069929410138314475236683045779575780640889121377500704595663143642672513\
9875843391510507061938644517325696213283665196867588886316845914024371782227564\
9303809391732690000329266620932116794484359125575441279693490439426673365675496\
4874793304846637769787222571740068801053874685444118006558607183903223446541385\
9167323994324803409933780775113488210186678358782164770750467, 
2447628456491016894143259293941748203098448319690363816420349258441896410604756\
1218652279266368923240719851412049836305574277465614081567168146774478038219676\
4953023064529144744017741545636043714327562331792994809575903710274307954450672\
2257308393782722396394275784844983231598984130346307649126310872917937792534770\
4413416404149940674343354701959339522926761669179986814152135305776816232335121\
0492490708976004056517144610325295165770213911000329401925798467546006520610877\
3419430347862331880995933009305436653235315998221493110010997597608342543418262\
1787879282181344660265739147158896848315397082165012142026473163779016276200623\
2672685635656476031048464618815641391570246717366963728809987, 
2447628378777008077859827405808044104237396407129187858503929413311887354974495\
3120224633496968408349719890281753091612901663837177901300040037306231620234098\
0691065729987239129526570191079640925370015542611498521784197441033980544597002\
7502713663208012213754008324595907030980361127068248042317213208752300653239843\
2182316583845725247949979060123371076949031512470668055723072193617784306437293\
9821527397106038937224168865549443384887499806286178587425238479639688895295976\
8246010110413093890284734982282400589097005156048792379896729970029400739294491\
0028009748116633927721838433168349271038824531384576925570551944835882671583622\
1008688727729482275854876279881554601231507513619463666663427, 
2447949701516210465501827291290347013439446568350494481341613529732058637732455\
7030097526950735393867961868156994937351785761136335139572627071117694478964150\
3476857007147992475687964538757434136304228133520682069631599757043305271365175\
6798065143435494120741251265028617729320229318607057910575070398649970730823710\
3274752105309199836496380842858347656155023815425975438445411466213773325328213\
4542098474945486634254191049739748715015376268033929853236629672711935614561921\
6603125911974728059535053024919549195353438987899927105959274961201981955152459\
3368784899988868875171057922604447315068514362856167372822374204683436788765136\
8226106150954070738283752655054284302342110571763715322937347, 
2447949576094287409831151606714689134565560858983642844451264263691087465263109\
5311559830281823665642398251706919180935210800972120761978953716384764237708150\
4376995305044802136895913646300541122339864954218956052034059300036575120954478\
4896904925929391906889977784619414070142915129131449219735447410020135317759168\
0979920878573876702283180582318184237264853969526556478687812831277452577826476\
0567491805451857013114939332433174875761672924132183987840897203101648455271988\
3522781430916139082003130749092064206759050266706290209883366266190171461658257\
3587500637704325380024498260919571564333807646516245864212403839713227537415436\
3821755002545394020544343326528590724896071728284510625726467, 
2461796434867209562198757238537214797490235055528588095367603713829250933244850\
0202565054641399595714102932383440136779133952754837399581496806723409755220194\
1766190986238427337534701253058785364283100956810905340462112676313583570522518\
5932875545900725407938649014062334112336744329008134979846572116630131237610350\
3396770275270951430293602109444527471903759129853456483578717084807437313636035\
5544815045488693299268032792274379707110221178898543661930123204475173248515530\
6971956929992111169593822727026468973684403616968572448810686489407369039911290\
5470245407545404337830302841018938611690180458822088900774578978393866305122105\
0275724234249582004938522441386239252880848348706688229965827, 
2465115167024139771083188244700227819411802953822025502782759349695323840878772\
3337587351176252427400575587650925377930306851625341248823674286153071797245347\
6063495244101380826354981223558018896109793558085269598510585213086134226912531\
7089788447226850176127646141731813706480323671552775034038999882862484400864518\
1053322703857204558783004725225630350808819930637919865908283513036267086363673\
5422586674490603267520598651821644395214157032784602305336857242361178043006756\
3284151227532242759442893714387562827478059361421256217213001508510515702398915\
0719241613781620608821502540555888489701512770374980677886629004371777814558089\
4589812282636584384195338285862499972023641556619952677453827, 
2465115123184377304856240626951886736134773258519222770385428016531584733684349\
9216596968036912835408635686789793978395139106740787924444706824262426832718747\
0581452518945608882949424802098604836739215697146068765948494382796390489019219\
5559293402842883664475338808450353925260951058339290062193343624249782179868423\
7358153729661202307320053302764460877758598609185486298066433201792749630092194\
7225237132430443614986023486980149554642948280567150161878295788597497751158902\
7249190466241891112889984150882179406603965518474595084016012399894984130875379\
7574641034361673578128842626150401016661713692770408479348390374333973270008312\
6136839960571609084291602753716798218375591387141875951468547, 
2472377496677570511642058144760411293119359093488823503774843907017246225673692\
5682326484106955787390891587459299586376838344821061402827037003954428327510938\
9971860596594464524060392200254285838364762459945932941978541995228997674280249\
0885660614721529406355413365404948106631497525821719599326746165188894508996752\
8359732147326335975134008592492358621992559609805738040387675246545074703470315\
2414989515993954480300439670557487298018587366579141184302916197737383881982008\
5857096894459952489075588306011439180751461200129794722632910232164168481683896\
8589013293547497829764251796148196334997696607384370071920717530603756694961861\
4380802692193663253190423238265243530996431458433346949873667, 
2472377298510570474773159190928299425551094997433059236618737871785156999948464\
3950318934467400872188837400392871141302660333636918834290704062345717324225729\
4237476941475836742255989647506176458445902995059997857711338442745002934977909\
3994949161078047888500185959145473833325436887442267112786025411527937479345644\
1952900887360038304234703773847407307340741357499081723680834999727706763666835\
4592281919286947402749532904092599513226288041990316359295846628316558340409830\
4141294764336716029661920455521657368980327114729795796645039199104579324414730\
2024030926312510418023955970954501847699813482863121246888299512140081862624798\
9203350160001788642598300612897117795386473732226892928385027, 
2473242879770939276488068803187077158145348744315442764165661900958500991015989\
3450598884114255540149456701347370394132677707761578141500879031347460725433258\
1605213306523702725092771440844115724396209495637309037309562753657651514706938\
4194431809556965059990619355195092375351127094583368178341959305672485406354891\
0908545943697598921967464164795820131079132899996117347115169700282576288815049\
0379540667530390380761813985199856412974867624252565826745381556942346001999664\
5150743250504439935666327341259819018157210942584418986347996031176516258889775\
3592057743652327158581245527334360798468524073858085553606572336942759236080131\
2742863945557610622781731394180809632856381387635675579285507, 
2473242715171881572444374136384881381561791374197158777673466516847133638237767\
9992161335904838150920225694452637425689846274705767541621984973781747017275682\
6964484418729066659047679956910900973037745206668340356037658586768329620172819\
5465494377694449209795787362275653581489734954857940625456576228315559330974677\
5390434990986626461529532254652942855922751738663122482060578997342212779167566\
1365563776320526016820980784028841841470181609312809193665755567713266100851862\
0451633246095826252318276617127932715317741481401677899340053908144231853688504\
5064339453499480426296366236004664060847697692865562427445752802485559811023150\
1719563923171873998740541836480573236205414592051759844163587, 
2477525305291862519609420234669244444533129739924825513227508746756078331121614\
1669981100734194598368004347001979764056314166507815757959450500829512140755259\
3909804859262949143652730335103640181854187490349338973169496780359662913271573\
5087439609726420631075514007444395127677476894937590525355221454636010097093487\
2919038700678189998522281299774342235063531526482212644385552431680880005802594\
1374699805375194404962522112856957560699355293000564714057860067304700733150139\
6679608157518874937048321011373623771142385188604771974277342055850108643743101\
3580360597325854839134416251323560246845539669772581320226424426750291836825252\
4232428798251861312067260748581275078321997676729381257478147, 
2477525236814834222956775344598236693772264989944158767823324927956703651275922\
7530922691867942089252977557203106927197837521296701995366010255553590789707710\
4329605133287936654496869549862221297104380627918934489692003682103860831730965\
7885795313776376099435407279727920700059497072238273374251589762253220261108455\
0356310904775093006465097960179217040478642877183503151744819285111044923945707\
5275859183647172044784214908816240611899942698343129680213904295819429410431521\
7600219537857502716030098863842397793044115516887272809158272646000011960756298\
1835406645968419361304885141722840968384145360947114032888953157962776280985184\
2160410217939292221100023338819336551307905509072949481570307, 
2478957176857632005147298158636589177695364269399844152151119381012533279183108\
3069946578316138957830501548696265397832400459483298189514756456627897538061201\
0353020448351040298234553228014655547758529301015252375400845967970351488780795\
9972381201206079455362995642533950419820246194031704188422989909856245499219746\
2632936416991078294314391720047732933040969524894780274393793436961209554363930\
4779167625233636649270214884097388107966123123437789001765313765832354900731286\
1160966558227383720699146780919794638820171092430128008090578298860455690350527\
3272696984360643698956251798602091370901340352914270500515674595227885886303710\
8321378221577864455515091413221855568464691913345876721926147, 
2478957161265906683582837894779464474132985440357168556397968548049338911514261\
5280167855713740226205356530079794555326725996895088592735199731239714113675777\
4541871140708294609455613837922363387860836169938803237035639481906535507228456\
2224310758769852716005063523178658381620520438915838909429164726606313013221558\
4106768005620091643535194226435835185902357797404132652510526074419925875137725\
1715801276272262125486969318620421740248001699955386366618696804642142346757536\
3910245210373718764218514234859431198664395835971571079559476462877422263239444\
9755551742964838243124673106724840043611799569191231435500654011910110457398777\
7052238690296074326362997524169085150393278630330516377698307, 
2479095566376161868587166173255339571454100553567970888995481701178216692602721\
4063478351227631628501036821451449467176146247839046779016056590265065455224490\
1008045230589710957980292554129081602721059673282772440990102371270452648725772\
4457024431762798717330409624089894557957356248842731602351549017683342862089162\
2313183753569744098319198658430826130867001388455729003968019002621286716210725\
2474137416086701491943757717475774697490052088606971513645349132890897323996770\
3057859159796054324498486046202474151530949735288847207877469743070326865356484\
7977562204505736430114091923719072510624251135300669934917603432212274174719357\
5102911795836546816173501323895673172050560856585745731682307, 
2479095413588952829024705864597565824731646817511721104758573466138872175835208\
9698511684154961205754898928216064196233880119144673169003993120445691053385341\
3563775957412861581073782597272721998836940597407536105335955659983571492139683\
2552000059433583121943954571243161166687309142188861782260391221231746546931745\
5711045489271426541377809437664351041279562110971255641029447818526426253463231\
8498265742140952163956732089670917478737677358523584807740233376792958350899536\
1430368231290410005916485925550718835875803284688837273832472660878901614112929\
9342815120969095432462318968188878274673238553830552834588514683371647818080808\
3936130748117830414743727118134880886554491591304468364263427, 
2479527960605807497527136227661087187858142039916275744488812740756239904802129\
7733076673363461161641776714200483241579861206644410770447714991900812334422508\
5950026687531979000217109143617786424880673583516678280982802023787633101698886\
2867756787852477636605287080525223078008286029083639851479657293105562113625992\
7903086798702183752203230824189256259522338434738401295417870726384589386477875\
1928203757527916569473621557680934323978371503853438229511295964417741951315594\
5930315876845378134061273773541106549951260792664668570738128202479968429955843\
3941200252135677324712981607571725505652386268518778148090464393752748628131093\
2782900002973823930045885431524814466964091823286472989999107, 
2479527946825317388965696143159261514505600510945617221348819989535030563366115\
6244184000289827725068136655962853576997993545732607807330366081943433347882216\
4354705347320342948949531127997274121340829443376404067907487514342293482555514\
3064434545029003639937642968061618644768249135405085133731376473899537571420384\
9308220717842544959788711035024716200167748049432903450234766243588705550793413\
2712310744863847825937606935495492360315103392967860949061268735611786753361146\
1575816991193139176656607987014918522103591464570271139699954086733938288524272\
7533571307957951760489981185212582505373028657829026633428746439969133096065498\
2048251790527018260959436564526211156582481759115478799745027, 
2481227840439848195012069006693513588014833883323583362234215489021098096253957\
6149195643543736849352885752195325740064974327214234193699400973638423809978387\
7079007985156752162336013012024119317794810954677000433737744152399485553780508\
6907895693579906009822650422662112358650278737786559330443780260303526782711667\
3634082970837538824895950835214505689492422624631840763023908175626977318745670\
4187205717992293802946927973836022918396308126089147191395986109530821902759050\
4471894855996417195751645974884418294259518152563552035204621560370363833974758\
8966555560536275872588889964642895182433309902776176144994822216056492726397639\
4984765491605901430789510809630301088510482752053642730143747, 
2481227767368259639890224366290801968264236763529522444002363757538502284075792\
6452128316678633386344305758703713158181692491416255061358045886211670407344165\
9130166164366175877641588555704957628962465792782502134148916385579482288076312\
9588076836536964537966548866724834421254176179559121866827622544087528840204584\
1937381894288285538939851639460293593411891848312004253624000496427288582143348\
2934381270285821497576593436150794840168819427047112817720423221007443927721424\
6416023747518588144416381120621297932487520634521557682841672152001100887221577\
8250003236190689288634683776328099368674718720780891717721484976578220840761360\
9470726459205796126578481009319069876097308185208353051377667, 
2482334101303781877052860928537953812123343846211545006601841922497236312468883\
1780744765445096338912270954471208445383003296660557292753965057402690334566774\
2777610890611385383125946445066187418260508323830564852495648460955473439684449\
3001194714413297946725178055770266338786118155126337412310537376910266833110859\
6564081652426526962414717127631014028737128869367117143575328847128083460428858\
9097011227721857349358656343881573368628049663085861500186414827554511861785883\
6144067743212248593064066565094950980679049470220880330015549219772042145744389\
4841364037161239038268667452874682840266485913499549163921536545543329826692186\
3105985784833960802079361071975086344161461576068520963211267, 
2482333979319270570310993946062311420419554206112491973086266428167415764929757\
9627828555575324953970032327410386911761440332476904519323561295238527451772105\
8501183867045657088180800603904264013037728744533362438540265985322884481027897\
3335285189913008759841931448903685666431800059665255628368253159073172868435162\
2242487495861649558307485505371983086629573208628359831901106783397744686802215\
0045954622856261768958618787030823639618636910787557797299302909494549238238454\
4800643082312719286600911640563363016529416110857244673211556382647828037742295\
1698822841110227552513521516820981981375668214791590833412759643375113902580728\
7682571804681373784243921609378382436250883196791438687862787, 
2483163853251580416869640838130476823432485257015282219896876013564767321738341\
6737913880467015339322287767419151119744547229783104002765180467621019647552321\
3443389584401973162964844295553870388785324214955862171848897752133642045729048\
6832388082528722276596877747545202914460223655563642147616484911376144643799906\
5341310758152090502312469822712212119694825423510658082066993452968512581184049\
0698454672146152712297948170382670817443344389305786652462524963067340901590998\
0359569278983063912955547576481640608395262349264354622256018840919976819110560\
0759991246995524031664140050286777515368860475625064097767328478649625038959625\
8094643019184028809261039446152251869989296824930642243354627, 
2483163825875658876823992325737407937368663220210475273465354700849237272068614\
9075959795095538590719752601073005951267490135896324649200499478048818907121720\
9185340880125420684699905974726287722126875489452034623579890841815294552543400\
3130017152915031168659168623483915396171080813498651595277632425624331993937023\
3863849603530784744426007692688474512079436827842007721555618988439298830295536\
5700458135379753294687591069823692666604653205037455177776744693774474648853590\
0164003147378326133996699566909804484737284509926530394652943367658352919124109\
4067246540004863667609294421282049894385633966879426862163839103358280733938396\
0963128098009163825447350818941758457094302434192177636573187, 
2483163786674062449297086400395678069611827958758901362905554687881236383966714\
4403994696995018312923259932805274291916552407709786761899200820356395693669815\
6445885634936079667733659965516628514533780234393129767223550872861612692821596\
3379165779960576619625565546299875951045216699986523241710881408130638053295791\
5635677881963034615164328943302182037377741200970736513877062901165978763161539\
1329055266017379082150038265240118213293596394751730545029952098229758969312803\
9829620807612776090748669715573650674912696224896543263317170054457600548944769\
2738926715536779547777161067827305125598397157539044995819589067183509343486075\
6856623564240806031399557611706860782859868401094397561667587, 
2483163766096388402801235296363778426738369187659468387009786453376620565285220\
4323487778193911357959863446987351430493359144103795849595442071219444043800664\
0214741875137233935330977799078609006360002221297553738563065746327584854462822\
1166149888723417456594112663150570479272615014811685515366633386464906312437647\
1499498725477011798351846962983024670653762439994216927786623791445966035161861\
3880036169361817385355651427762793257811041614144795338845362199318751851501042\
2989228079240442204024532338394087752587157674784152165874066907874678443443349\
1408206905397972624686788157793293196697577302064148845273178253446256657759727\
3359384561481682246147014954694811523646279514681171356155907, 
2543626748681480824976578803862798824277514332344900458729378015087176146724464\
3402291782464373788813012776232253163578291308686327236822498158954432676605617\
2141587418613699821011710171304451305022617181906302859016733955397171796280906\
5707029634041621888466998168764004737864870869888231383762135418134792335542345\
5064363849691626367203156365861949467174978428295759125143226886247580206859942\
7875076715101893783330339979105772038478663486615502529544702868622088629764102\
8094026324240323183186866814114469264620728401568118020149773635102843182623065\
6320126261960835131555523159110552064126634846543861006577748264892527565035902\
2250365014201379561778002198741997399163784633122271143133187, 
2543626688706516117722726229567633834790705268542174705895365016378310437035463\
7076725562179094537160062574493508732976852247724621292954978725287984499003128\
9258442660176604058749578895955883065301339381529846326708883513678521289737856\
9581226880054176870698990524798719662728984711353884174156670789082317529620451\
3549322389989587107311003937654868569003007267056416578671866008052611262226888\
6997789008788819259614079476753486565835598726078512969178428938009087459923395\
4768382661740659360975391425234679497333507639281239339920297886370053624073477\
2000136007174891462967668286533928311693641899401966270018012525969200432162520\
1949574983489638499476375620619873692103843729985217750892547, 
2550550117928657851329331971074672520751328221815610948588970563995850932921638\
6900527540202803312269174001728897700233783744387859834515385186116578810468284\
7925281480957696532329839897134284975495390695249712034859264910834018931347727\
9321127641861719110937303560831292119452515228761006439649612639759381007754599\
5546620218178743289907118988397186076184798139056733650601437222168192007249725\
2298124216316206603878481785177914945829348783577185349494469833856545048309607\
8744156285797796242962268308640796486505769519636837649699243029311254571124041\
1860558246370485148814112756800873123153017810839364603646363924050099118846464\
7802364817680090806426583301167926327849596355278240401588227, 
2550550091208950125977085367467404886720757986560387278156698373676785277424105\
3954418771715505348321028913575047059415716903580613236543884022567492800351186\
5430652601052182015687776412328088976259845457245285118740293962902065222352470\
3024803313391551440563851529408914510526129384480932083884930103789626894049570\
9179331006024005204361521983426688421219875947644859087517898143223085099605124\
5062718223713426856354953581008610995952559822546300889859798145384958313590083\
8325139809737476327533912698826323268523408429417703856543720404879441655382952\
6564760403377494314062980888817595548152013660475934638663142007002027391823572\
3175009000497528793050901428515018787489576468702823641513987, 
2554323948484778728691817662940422030064452088801042782021201847289898185579203\
3772137386103257426095182034046178847013347603722447785214737105367723219908657\
6907991669097086740534018489174574768165253526057324434943757393231668823733133\
0749175808666602233365300261244445750385777647642433436970478823568132235206902\
9845981193993729778973254252978215201317756497952645953768330072089960780519834\
0988840707304625880095694068763774565593819608310918500180037199240835273432570\
4259686124736973964536482939196729303724082331214117064947646160156316307538205\
1321118325196851062647023867014125494801788849653961012399109111752419876794746\
1615578050278530301064848876665878459411188347678466112487427, 
2554323865722071406169197993597320212574400951937819002176343466663349815286241\
6152380710013119538391468683483367419942474194949671856747046918130664002133969\
6863587724323729777345592230207143395009268204318110034014608395461599650745626\
8707112577910726962220208149178306449205009024760852370464362907921499091236185\
4411724224507355453617105506369728483176255526558694700156569813084307005712519\
4067434070929788226016876705944979259546036107864350628591312395030538303689742\
0140177441176707410792072348071960046150870062667691226126787497500633549545051\
5385774191527551595339119865491180530264629021904239190645883616464304528252369\
6297576483512789508511256827664620655825893539669726759747587, 
2567019396470108601655590652275221397610967408248876165493968107554319463528429\
5794298740220683611271861579045706456378123050711631585869103888014254600256968\
9346563786578258656959115355223250029202806479175315058272014813018041257960778\
3320115393240284456832481935913455667375910730352425122075563046410943706494684\
6262759409204458919833169014561699605122092136371630026385084897267908688512519\
8192773928469438495213201699786445846273942737171431888847191441064612463152732\
3557987644445055817089385382154257172012568700559376828318588504593325976927650\
1825815126756034614554264742400273950091946557749571648991932148068919157285873\
8202260602544281595757355507469259354774110790920161925791747, 
2567019226817034613295776260108151365138704431335858588891338019491408865184487\
3222051382212575021609659798225787026533666735231947938120175889792743220577313\
2713307001978760126676328936038958411674318856379355133928439553815556697013922\
5541689243642180247871375186649582303184470733132479324552386984585814924096142\
3796721743804253662022648701012193995091976062555032551337638736539195090711266\
6789148795199911993720260879282529708112673388312300648786531697007957100495941\
3829493510393903093078091418434083664048050689089739817377569388885261497285953\
0057954089296693727580926026867226660003358565223037996248198893332184434361191\
6558858112680832135257554269387877867936928573753872544169987, 
2571569763312598346176290491993366159324741984368671012339116188012476409318610\
7000999356588707106098041614455176467630990703676925803814554517291974937671300\
3701018000122523459210647512348266662711294584625796274132397570509315664087160\
3562995086166691378482744377506741981594120902741701849876916209464995883812251\
6778266514581762558838580376554531166291816872062860580123523944830693052431717\
1463896647232096673553570288175614692113656764930920478603860432978467387006140\
0634268691988813972727122708917171619505546291274888396018119030490941482820333\
9169053062569717947743313978737558107203033287876235323518373207085466549072575\
1304457852026426256228898179286577416384959710492267573673987, 
2571569728905510632811225417229256959308573237768259128666477407105609778627913\
2469293236525053367044858579948128917254280748160535438417925263853185611437080\
3624771014171341358405524353404705674254206738901467198185881896228332159371429\
0778611424972079659058695843556752470824666327967331367813684835721197871523791\
7946477882060189566334789253313301168706195549955117938261952193811962091320328\
1203502728535162550786373023651322776103831683625688227483199847718823441429375\
1073653043122782304408463860552349039337651275641547398278423354049515528395365\
3917188837492149366406583613910020424040593644546404760228080696514278833409824\
9042968391437822922108963987896075541494981895784324078239747, 
2591518720217791189529091310717432118201692915422088706325116816363800337224983\
8062942243390509420057769967781277967029114289370200614872609471256425909566919\
1085704515419207779809802552656273860261085038736316936894191887876621478072416\
1824889682892945983749912465905892932758883543001457676974367573382102799860602\
7137839151360545883292673811861161908522916514696735305832552120438818313161852\
9207479458538318557145338543001131167237740124153645043998439249886347250160904\
3345983084724575624047844701035556060619872813783467979708336304457200744210970\
4641862368333294064253163571994628132989838020799239680639389034848219830244938\
8500690648250075806922337103487791604747273762091830538665987, 
2591518629369934078839143747387845853475543288901028219962968593619397382702097\
2413433030762737410656783296995675461505661605828879290277071391262963664477385\
2204884910961849951141024188379546209566901798514805560778456512825779782636010\
3614527859260161868715862733777633750703953285371648798956107872867630180736016\
8512384251684318790053401089966350437615927484152076388603684590721116847203502\
7427024600259562505077504967309556655707318627086736493337142179995606648079940\
7873119470046156646834692961102371841931854792606656380856235084663418128216044\
5931163664553669952968280884157330474264174638103034551147916210084444342120508\
1342890981985834491821566990306049246093315761534404388716547, 
2662892577739259246254888408933237765970214424277610227517101993271222051322232\
5520199060918223902132419829455655283827360608071372600742500724499724373736819\
4806535689883592454140473770810871595597419550598404709431126526575720904636805\
9028209384301350788909588146789812060600678498207991743013270804925890844025608\
9517395276851656827058043593060870861584545497895744960342349856282727227880860\
6175969017424464309232862698694797446298607503371104549970853553779191693968445\
5594572877591460367792260654687692039810089038963630815012039770297360445518776\
7205107816403872285062132606957949909185854637957065810106771306968867370783325\
0071881834128662439676331366827683202191135524844079597748227, 
2662892496375127557965370052480457815633986240142460010076479306398431762783396\
7907848877577711133082986873922614967361596218956235062537930858651516216707113\
2674476747006511521390795174850590207878458016640198818030877015058193954148046\
6670803600837980852742196366640506595293312995485253189504603767265385073946027\
8289100592944606910174464741305381446053132304608677231857431769646854967057485\
7419656122144646919204208619380049048166906257393937803674757888378454269609382\
3611191100303667973084454345662157476485506170352701572006646607929595463158914\
3666371288559807728049089299849297454729199341719564889553788280269268268566425\
7762782835890848763442571166567941399062803235707047404109827, 
2736755921205443866891635232698570212312168054469183211237624369563739199638256\
3872353317759728547856143343918698572129731858486418254432774758831765158883053\
5112651068685288739989077584365261032283262280844407405807113445307529716516906\
1985105833401500476809563228223707555424699737795262379273219610610729678513781\
0233988504189268861362501030928730617662047947615495089296267293731542598308858\
3321214123481228145328742134100771955195317780195912138202335164606719688687331\
3558951418187691108814388569986747753439767316858867384363816522943737353059625\
6148011038561114946926418876520490516862106243323406623104815175961241368327020\
5304243993830348545344976002603783494312014748690824208318467, 
2736755826088474516040722901352442435983058767663277322233925601500085117962423\
8110941756728674951402593230943883785415685903451811337937435930715724641357667\
0350820421040791588033532022093704394370058423396286341478180324277998238695589\
4228870543739278693923611211057661116906711380487710186998074796048471652416627\
3400215113932894636550816992018506318294576728345286069969566712113948224899279\
3611477634468131784243298462553617204669203082137486960370276965454189317179580\
5066990889308482454283516319744542484732157107909905055811546412403141642024994\
0380607673135945573070329640841989235876679166023805852739508666107987863451770\
2715852826874358879789162629437005328457644485385027724509187, 
2745289348706345467826198941232739104049357383803377588730633731941779741870753\
3189190161994021351568465797708724342133279347397348978467300358270095615730883\
2024759935317541209159792963287724985861143075082171033568982770741481950135992\
9489707527866115182516220419086238158917277034824064087843448352022635030829341\
3125141982966327704992882198695013855736207655000238369879829444325446225566397\
2690804969881546507706897227396189107897525404053708764602860878313867324525560\
5106493995830641709988133439757923714385990459288521509964841706019301119477258\
6295935254248373080036736651004490702089731619078729049442889130387171729818264\
7918415440071081273079461664960899653395406536448491791581187, 
2745289336292524325036268504688376243204876777214966295849953204895817460253941\
7703509873425145645314859813096602316227129764314264600542045057669364225860463\
0953360262948613111161507384682143765241882632987782421058368030253484848106690\
1550281591719552197635913356316106473496688494960249577730733447260180719704353\
2871477441205623685555472686093107015143372034540432045072496428307989948581689\
1200815023733934898584255081009833936585676020517001479257610260696903737691514\
9820908071332478966683169314977155444403032065442732163970254850013666793693243\
1598145487523811154030407226839445139685157025414414876840527210988144363724268\
1403784743973239320304300966256970175122210257939245148667907, 
2770355055260184220959138802467124337950885925230642394922241532766453251682864\
1204284049143086094894465774759020256701789131608215788031055295125529338220973\
6218056896534729909108514580542389251796685708076068553586344757340156000376591\
1954523892368445491943480935499455072536976621608708623632300382390311565245509\
3180229626686914865468644960537541149104470290752189718770970614646267874761325\
3523935414787180213518729613747401420073118749086187601652998530460318725786333\
2958449307511498299453220239199746790089655776218346998510836335118171158474401\
7436082551942069048706085770952861212057147533697197339846098627093871658481438\
4431481997947918924696075899837370284399756682266449243275267, 
2829613555270867673696605808872808130414230333821996684986641033739926460502676\
2142984862505013651982189345983554008440581075315077529732706713951266264785084\
7461011185236796453530839928849515804453437599550026509473148312383515904052395\
6548071010295737732484479126019283039757152771726023434319275243379801082790124\
5086645979329971476600906402066239143851269748730561881005953868058505081356935\
5503836313024843693853124911737908449513764032969644753777405370218224719867488\
6785419650544303160841379112539476864449306545657766148649258454413391975356216\
5422166008814249496776960461134261914630316755662719677860784821925714480581961\
8163236680511396617501053256091003042707811804267050344382467, 
4582545771812834684830901833036897544816788124215299175641748530785981813854560\
7507869513613792093175973197024606327792653357203518163559328252674995378289707\
1928169199107982618380537699989521900386221561802041934332690225432355710151245\
3680286673687517214771496591831679208548240506286298006233318139422491158125434\
5358535759604186454389893874760978459630196735868891501617555538806470549605804\
2748212607660851727931274188751292076865201037349527492366031529971341199014456\
3318583709993350733819632190472552878369731456328871581402071822008484846472603\
7288502354179852456889834550642595894141297492675840446646893518125578740910662\
4128087634013405350962554105286849366959151513900345452396547, 
4582545679918438848600747659909534287709643902347854461024409283485956268078167\
5827309483614211854639629263707006782469936360718717053514382032170384003565271\
1631408514384086129508080096235102232982780905813760231406746112232747625630912\
7401075047677196114102702641053997693317277967920552597877043396828886397064800\
1905898538010922190572564618990308225358745715549109642241890113057961863080646\
0998111071704037288902361763837546207343567103758893332969152585573588041974608\
8264752074638474719043145085940307070277778687091397937236770119604305978005633\
7278021468355200205097863890763420449714661140623690938498424710393643918972596\
9736298922787629877194975370419128489403368228193857116831747 ];
print "The list order48ineq53 contains",#order48ineq53,"inequivalent Hadamard matrices of order 48";