Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#############################################################################
##
#W sml1440.a GAP library of groups Hans Ulrich Besche
## Bettina Eick, Eamonn O'Brien
##
SMALL_GROUP_LIB[ 1440 ][ 1 ] :=
[ 20146995825719297611741815530926085, 41876131734091259810507994370307,
29092206085886453296032439544346247197, 48714628691077957017280643095,
60245811014434845220072836459598083,
374719077502306258497060685664447798116381,
20314383841739256279971194899071005, 29252712732104529043563782426023886877,
29252713157830859044313614082812739613,
42123906947276437023812009541009635475485,
60659467713517548950338749978893384562835485,
60659467713517984655055073369018733836435485,
87349633507465897903279305214042350068001865757,
87349633507465270488487799532261847114017865757,
20314383841739256279971194899136541, 29252713157830859044313614082812805149,
87349633507463389106747480572697101132131729437,
60658426005320262861475172721901966914879517,
125783472250747280313716372024683926894346456924189,
60658426005320262861475172823232958530715677,
125783472250747280313716372024683926894346456858653,
87348133447661178520524248865556728996151885853,
181128200041076083651751575715544854829122974548688925,
87348133447661178520524248719640101069347815453,
20314383841739547910565065275146269, 29252713157830859335944207953188814877,
29252713593535575659334333302462414877,
42124629729194617487608916481079580622877,
60659466810040249182157423601861444782981149,
60659466087760341200815974220349109055193117,
42123906949009277503220476970511433662493,
60659466087760341200816120136977035859263517,
42123906949009277503074560342584629592093,
42124629227611348056122204178993681596445,
42123906949009277503512310226365041803293,
60659466087760341200815828303721182251122717,
42123906949009277503366393598438237732893,
20314383841739547910565065275408413, 29252712732104318923416905844930838557,
29252714464945008014281328147401736221,
29252714464945008306114584001009877021,
29252713157830859335944207953189077021,
42123906947276436813691862664428542427165,
87349632206457958822305639241245374712663441437,
87349632206457958822305639970828514346683793437,
42124629228481554127616885217863867760669,
42124629228045849411293495092514594160669,
60659466088386023151632565136429761633910813,
20314385045100700009776894702059549, 29252714464945008743864467781422088221,
60659466810040249182156694018721810763022365,
87349632206457958822305640116745142273487863837,
87349631166374891329174792757561100648984805405,
60658426006573359603797299096533679119204381,
42124629227611348056122204178994755600413,
87349632206456078310771812308184683640819220509,
60659466087760341200815828303721183325126685,
87349632206456078310771812454101311567623290909,
60659466087760341200815828303721182251515933,
60658426006573359603797736846417459531415581,
20314384439955260874397037170655261,
42124629227610742910683068799137241235485,
60658426004691976660536552125230477543866397,
42124629227610742910683068799137224196125,
60659466087759469791383619172023273591078941,
87348133446756446391172635060433156375088922653,
60659466087759469791383619172023273574039581,
60659466087759469791383181726132468026572829,
42123906947702761569817353798508729729053,
29253214741396769483519387646013014045,
60659466810038943271370043280581006809301021,
20314384439955698320287842735161373, 29253214741396349243833620433521999901,
249851286660972124697936435649894009107456, 29080647037608223215237071939,
41876098068141877595649923220547, 86834347150868892967045570430168335427,
86834347150868892967034311431099909187,
125041459897251205872529419718752545473603, 29080647167244338489095291923,
41876098068271513710923781440531, 42408626054888990530795115840531,
60301581352530866059194269378675731, 69741835352134244234940884845587,
100428484797153091610919870668407827, 100428533208788238654267131698807827,
100428242907049803043360975105688595, 144616669786151716382451056087527785491
, 29080647037608223215237006403, 41876098068141877595649923155011,
29080647167244338489094767635, 42118156244006730447228932916243,
41876098068271513710923780916243, 60302113712445036886836731123270675,
60302113712445053099795389657056275, 86835043745887000556711179384461919251,
29248719613893515898625328147, 86834277147644423616584800088566400019,
125041359092607970007882123385602370896915,
144617018107866599359390894196531332115, 100428242907049803043360975071609875
, 144616669786151716382451056087493706771,
144616669786151692873784850203291812883,
208450342904144862453779493633565322380355,
300168493781968601933442470843576581947720771,
300168493781968601933442470843576581947786307,
432242631046034786784157158014761520522343679043,
29450434760271975851136189459, 29248719775921771492346889223,
69741835492214139490678381806611, 100428243108764949421820925434463251,
100428243108764949421820927582471187, 144616670076621527086424889402999112723
, 144616670076621527086424889405147120659,
100456108845955587572504378794116115, 13990969323416178784453747411973,
20147073230502744725601497088920581,
41776971288055165541491597499435205659653,
41776971288055165541491577233236882492421,
60158838654799438379747871236125984858770437,
13990969323474504903227822246917, 20147073230502803051720271163755525,
20147334653332597085795480727915525, 29011785529443003717954810286267567109,
180709450976792443547355738544409605, 260221609493607794077914821589793442821
, 260221609580748737342592846659648162821,
374719117545476810813841635813597950184453,
260221609406581118620723344135316179973, 13990969323416178784453747346437,
20147073230502744725601497088855045,
41776971538682254488469807201435776650245, 13990969323474504903227821722629,
20147160371446067729745341017951237, 20147073230502803051720271163231237,
29011785790751565704502337880453745669,
29011785790751565733685663465814559749,
60158838473853012509425139394737046006991877,
13991083591281991450843140459525, 41776971162397925353767457898939008289797,
374719117670795223346183783736752012463109,
374719117545476810813841635813597916105733,
260221609406581118620723344135282101253,
374719117545476810813754146635436837702661,
540303161517504228621165177600315362794540037,
778036552585206089214477855744474378027709041669,
778036552585206089214477855744474378027709107205,
1120372635722696768468848112272043124615504497150981,
13991204620369818526814647159813, 13991083591369480629004252941317,
260221609406702147708550420106788801541,
260221609406702147708550420104640793605, 180709450976876491484509181042560005
, 374719117545651092700283462153179866795013,
374719117545651092700283462153177718787077,
260382171784394604732788453812961086469, 20202920892976703677237356227592221,
29092206511612783296376947234671820829,
60325599423722460990553700534596643612131357,
60325599423722460990553700433265651996295197,
86868863170160343826397328624003868425469231133,
20202920892976995307831226603864093, 29092206511612783588007541105048092701,
29092207818726932558177917152868892701,
41892777377148732492788553598024595144733,
1301027514587370775467410322845576855581,
1873479621006249023173243946626712469176349,
1873479621006684727889567336752061742776349,
2697810654248372040008592269381329052496494621,
1873479621005813916672633520333335116251165,
20202920892976703677237356227526685, 29092206511612783296376947234671755293,
60325599424975557732875826807897364200620061,
20202920892976995307831226603601949, 29092206947317499911397666454321430557,
29092206511612783588007541105047830557,
41892777378455248426045760142100495007773,
41892777378455248426191676770027299078173,
86868863169255611697045714964796923731210338333,
20202921491192708271663198499110941,
60325599423094174789615079836594162625282077,
2697810654248998593368841215345735540539326493,
2697810654248372040008592269381329052479455261,
1873479621005813916672633520333335099211805,
2697810654248372040008591831935438246931988509,
3890182595933951383381603925816172813106237145117,
5601862938144889992069509653175288952197897138274333,
5601862938144889992069509653175288952197897138339869,
8066682630928641588580093900572416091266296794670104605,
20202922096338147407043056030515229, 20202921491193145717554004063617053,
1873479621005814521818072655713192630616093,
1873479621005814521818072655713191556612125,
1301027514587371195707096090058067869725,
2697810654248372911418024478513026962230542365,
2697810654248372911418024478513026961156538397,
1874751556313889983751530881384537651478557, 1210314371455841880223449111,
33829603257130075755577367, 435738545926647255425037565975,
1210314371455841880223842327, 436008129539251625305040814103,
627851706536376626470185645703191, 904106457412382196403098255931146263,
627851706536376626470184571699223, 904106457412382196403098254857142295,
904106457412382196403098254857535511, 1742852695188448225343235096599,
629157644200870228728297235611671, 629157644201016145356224039682071,
905987007648623061572022022645415959, 33829603257130075755970583,
435738545926647255425037959191, 1302814894553129356278891815223962632215,
1876053448156506273041604315248773814878231,
2701516965345369033179910214059560560954900503, 29080647037563187218964091907
, 9702526599010976769829837825, 41876165400040506917377518931975,
13971658502145516941485430091781, 60301678277056178512991006518870039,
302993544034609756248145943, 260221776658984125090013031275898404893,
374719358388937140129327336252112840359965,
374719358389362866459619919339623237353501,
539595876080682527701852392420272268855148573,
260221776658984125090013031275898273821,
374719358389362866459619919339623237222429,
539595876923928027152299767429638786569011229,
777018062770456359099311664661334434904671977501,
539595876080683389132899154310113055354847261,
539595876080683389132899008393485128550776861,
539595876923342846671296366265286354465783837,
777018062769613699206666766984666934172854190109,
374719358388937139919207392037514978983965,
539595876080682527701642272476057670993772573,
1118906010389457157103008797111884240844972754927645,
777018062770456359099311664661334434904672108573,
777018061556184080351374361675245585274227327005,
777018061556184080351374361821162213201031397405,
777018062769613699206666766984666934172854321181,
1118906010388243726857600144457483039792651970740253,
374719358974543643521733891396320184303645,
539595876923342846671296366265286353391648797,
260221776658984125090013031275898011677,
374719358389798571175943309464972510560285,
374719358389798571176089226092899314630685,
374719358389362866459619919339623236960285,
260221776659582341094607457118169923613,
374719358389798571175797392837045706489885,
539595876923342846671296366265286353391779869,
777018062769613699206666766984666934171780186141,
260221776659279768520855064124592422941,
248885834961219176270167073703999857526512274388224,
57882792986562904366720572030417449040,
86568693489347486507408490407038198104740933952,
124658918624660380570668226185904519357869882945856,
358395602344155613829041207624845118526696795254430976,
83351221900805929697125993522101888942544,
124658918624660381018136969817364200084068557457216,
179508842819510948666117236537003284435045075586058048,
57883615751930759912534596455923061808,
120027465623203623754272207184604468086445104,
179894618076834633028843059668944790383891504,
209186695735405563874733875204355, 29513731276037185253671965120884052236,
42499773037493546582924490349618753114380,
289414731772463014794848740984611804163, 60245811014434747807229389109658691,
86753967812307209844519443789322847299, 41837368760056668852750342620179,
60245810980768928263791788128928787, 86753968054331719760192742493552837651,
86753968054331719776405701152086623251,
124925713998237642742002665021902193361939,
124925713998237642742018877980560727147539, 41837368760024242935433276490819,
60245810980768895837874471062799427, 86834221135550677773251224589910344723,
41837368760056668852750342095891, 60245810980768928263791788128404499,
60246053038944582415734800611476499, 60246053038944663480528093280404499,
60246053038944679693486751814190099,
125041278435192942397459116785718870869011, 41837435975092157055777339016199,
86834276867025035719105081862218122259,
86834221135550654442803714961941267475,
125041358688516051435333085119126030451731,
125041278435192942397459116785721018876947,
60301542455243526355197209008735251, 41837536832600528228116664747027,
86834221135550654442803714959793259539,
374719077502306258496768447085160302575645,
539595471603934058150967592019921453328564253,
777017479109666284198100249098740471754828742685,
777017479109666284198100249244657099681632813085,
260221581598823790622958247089932009501,
374719077502731984827061030172670699438109,
539595471603934919582014207993134313024192541,
539595471603934919582014353909762239828262941,
260221581598823790622958247089932140573,
374719077502731984827061030172670699569181,
260221581598823790622958247089931747357,
374719077502731984827061030172670699175965,
374719077503167689543238503670093168705565,
374719077503167689543384420298019972775965,
374719077503167689543530336925946776846365,
779655213784427133861362167863276089619293601821,
541427231794741065181501505764320446869864477,
260221581599119434053800279938626158621,
541428503850429125306991774942491897345146909,
541427231794741065181501505764320447943999517,
779657045544617940442068155479842975261190193181,
779655213784427133861362167863276089620367605789,
260221581599422006627552672932203659293,
541427231794741065181501505764320446869995549,
375991133190792406376043016048384944439325,
42124630356608205631992579813285718523933,
60659467713516241836189633587896435098910749,
60659467713516241836189779504524361902981149,
14107211001207816579659321835549, 20314732459097423979597677737017373,
20314384137382541002714133566324765, 29253214741395933815748659106313666589,
29253215525422365022115668000831701021,
29253215525422365022216998992447537181,
42124630356608501275131689921272429150237,
42124630356608501275131791252264044986397,
20314384137382541002714133557936157, 29253214741395933815748659106305277981,
29252713158126502329036357021479993373,
42124629227610440337963197116232537735197,
42124630356608501275131689921272420761629,
42124630356608501275131791252264036597789,
60659467713516241836189779504524361894592541,
29252713158429075048705377941886599197,
42124629227610742910682866137152944341021,
29252713158429075048806708933502435357,
42124629227610742910682967468144560177181,
60659467713516242434405638283653269011824669,
60659468616993542202587402207907005971824669,
60659468616993542202587402309237997587660829,
60659467713516242434405638384984260627660829,
42123906948137868070135845505040884039709,
60659466087759469791383327338767418917781533,
42123906948137868070281762132967688110109,
87349633507463389105544119128561971465865265181,
87349634808470700771725859179487352688265265181,
87349633507463389105544119274478599392669335581,
42123906948137868070281762132967688044573,
60659466087759469791383473255395345721786397,
125783472250747280311983531755249284389532492300317,
60658426005318530021205737572742194871074845,
87349634808470700771725859325403980615069270045,
87349633507463389105544119274478599392669270045,
14107211001207816579659321638941, 20314732459097423979597677736820765,
20314384137382541002714133566128157, 29253214741395933815748659106313469981,
20314383841739256077309211667267613, 29253214741100290530823254184414609437,
29252713157830859044110952099589324829,
42124629227610144694678271711310647066653,
20314384137382541002714133557739549, 29252713157830859044110952099580936221,
29253214742001079255086700948141703197,
42124629228481554127179135334083455549469,
29253214741698506535417680027760263197,
42124629228045849410855745208734182080541,
42124629227610742910682866137153992720413,
60659466087759469791383181523470484778057757,
42124629228045849410855745208734181949469,
60659466087759469791383181523470484777926685,
87349631166373636499591781248083466815286476829,
14107211001207816579659321704477, 20314732459097423979597677736886301,
20314384137382541002714133566193693, 29253214741395933815748659106313535517,
20314384137382541002714133557805085, 29252713157830859044009621107973226525,
42124629227610144694678170380319030968349,
29253842155892006332446640744643887133,
42126436182209681268325963102390812344349,
29254469570683722134171358296489263133,
42126436182209681478445907316988673720349,
42124629228045849411001560505668304568349,
42124629228481554127324950631017578168349,
29252713593535785487343961055108202525,
42124629228045849621121504720266165944349,
29252714029240711930678301002243178525,
42124629228481554547564839060213300920349,
42125532705781322309088874884754538168349,
42126436182645385774529409013142224568349,
42125532705345617802885428974003125944349,
42126436182645385984649353227740085944349,
42126436183081090911092687567687220920349,
42125532705781322729328763313950260920349,
60659466087759469791383181422139492088086557,
29252713593535785341427333128295743517,
42124629228045849831095532306937214861341,
42126436182645386194623380814411134861341,
42123906948137868070135845505040858415133,
60659466087759469791383327338767418892156957,
42125532704909913086562038848653843955741,
42126436182209681268325963102390803955741,
42123907575116954859494235882645568815133,
42123908202531746365176016385599552815133,
42123907575116955069614180097243430191133,
42123908202531746785415904814795275567133,
60660767095698115059912736654526246002556957,
60662068103637196033158469360410422386556957,
60660767095698115060122856598740843863932957,
60662068103637196033578709248839618109308957,
29252713158429075048604046950245138461,
42124629227610742910682764806161302880285,
20314384439955406487031989127151645, 29253214741698506827149604888678563869,
29254469571281518190710610796646563869,
42123906948137868070281762132967662485533,
42126436182645386194915214070264743002141,
29253214741396349243529627458691661853,
42124629227610742910682764806162393858077,
42124629729193710184877690386669749403677,
60659466810038942666223874258068540427599901,
29252713158429075048806708933493915677,
60659466087759469791383181624801475336994845,
42124629227610742910682764806162393727005,
87349632206456077439362378931719962316652806173,
29252713158429075048705377941878079517,
42123906948137868069990030208105687416861,
42124629227610742910682866137152935821341,
60659466087759469791383181523470483721158685,
42124629227610742910682764806162393661469,
60659466810038942666223874258068540427403293,
42123906948137868070135845505040875454493,
60659466087759469791383327338767418909196317,
60659466087759469791383181422139493178867741,
42123906948137868070281762132967679524893,
20314384137382541002714133557542941, 29253214741395933815748659106304884765,
29253842156187439643445789987092955165,
29254469570978945471142920867881025565,
42124629228046145054286587241581810941981,
29252714029535934975816607720026800157,
42124629228481849770755893994857888612381,
29252714029535935267649863573634940957,
42125532705345913236050511495318770941981,
42125532705345913236196428123245575012381,
29252713157831069018037207779022143517,
42124629227610144904652197966990079885341,
42123906947702163563786482966362642120733,
60659466087759034086876977976228740675862557,
42125532704909912876296178006129178509341,
60660767095070700268406908957395365214486557,
42125532704909913086416122220727039885341,
42123907575116954859348319254718764744733,
60659466088386448878172539812517096798486557,
42123907575116955069468263469316626120733,
60660767095698115059912590737898319198486557,
60662068103009781241652641663279541598486557,
60660767095698115060122710682112917059862557,
14107211001353631876594509611037, 20314732459097569794894612924792861,
20314384137382686818011068754100253, 29253214741395933961563956041501442077,
20314383841949230003564891108474909, 29253214741100500504749509863855816733,
29252713157831069018037207779030532125,
42124629227610144904652197966990088273949,
29253842156187439497427831068681371677,
42125532704909912876296178006129186897949,
20315168163813893185019962198392861, 29253842156187439643344458995485442077,
29253842156187439789261086922289512477,
29253842155892006186530012817839816733,
42125532704909913086416122220727048273949,
42125532704909913296536066435324909649949,
29253214741698506535316349035078811677,
42124629228045849410855643877741500497949,
20314384439955406487031989135540253, 29253214741698506681232976961882882077,
29252713593535785341427333128304132125,
42124629228045849620975588092339361873949,
29254469571281517898877354943046811677,
42126436182645385774383492385215420497949,
29253842156490012363013479915866882077,
29254469571281518044793982869850882077,
42125532705345617802739512346076321873949,
42126436182645385984503436599813281873949,
20314384137382686818011068745711645, 29253214741395933961563956041493053469,
29252713158126502474851653956667768861,
42124629227610440338109012413167725510685,
29253842156187439497427831068672983069,
42125532704910208519727020038977881440285,
29253842156187439643344458995477053469,
29253842156187439789261086922281123869,
29252713593831218652325151379137298461,
29252713593831218798241779305941368861,
42125532705345913236050410164327155040285,
42125532705345913236196326792253959110685, 14107211001353631876594509676573,
20314732459097569794894612924858397, 20314384137382686818011068754165789,
29253214741395933961563956041501507613,
29253842156187439497427831068681437213, 20315168163813893185019962198458397,
29253842156187439643344458995485507613,
29253842156187439789261086922289578013,
29253214741698506535316349035078877213, 20314384439955406487031989135605789,
29253214741698506827149604888687018013,
29254469571281517898877354943046877213,
29253842156490012363013479915866947613,
29254469571281518190710610796655018013, 14107211206515754664404363509789,
20314732459302731917682422778691613, 20314384137587848940798878607999005,
29253214741396139123686743851355340829, 20314384137382686818011068745777181,
29253214741395933961563956041493119005,
29252713158126502474851653956667834397,
42124629227610440338109012413167725576221,
20315168164019055206476780436455453, 29253842156187644805365915813723504669,
29253842156187439497427831068673048605,
42125532704910208519727020038977881505821,
20315168164019055307807772052291613, 29253842156187439643344458995477119005,
20314384440160568508488807373602845, 29253214741698711843254433780120944669,
29252713593831218652325151379137363997,
42124629228046145054286485910590195105821,
20314384440160568609819798989439005, 29253214741698711843457095763352616989,
29252713593831218798241779305941434397,
29252713593831218944158407232745504797,
42124629228046145054578319166443803246621,
29253842156490217525034936734104944669,
29254469571281723206815439688088944669,
42125532705345913236050410164327155105821,
29253842156490217525136267725720780829,
29253842156490217525237598717336616989,
42125532705345913236196326792253959176221,
42126436182645681418106167673917723246621, 14107453096595534509463444914205,
14107211206515754664404371898397, 20314732459302731917682422787080221,
20315168164019055206476780444844061, 20315168164019055307807772060680221,
20315168164019055409138763676516381,
1873479782014827128038354563297333935210525,
2697810886101351064670874002091358989532659741,
1301027626399185505582190598702819180573,
1873479782014827128243662501382078985666589,
1873479782014827128243662501382078977277981,
2697810886101351064671079310029443734574727197,
2697810886101351064670874002091358989524271133,
3884847675985945533126354206442500143025708728349,
1301027626050319538019709063775998443549,
1873479782014043102022576078587782345785373,
2697810886101351064671289429973658332461269021,
2697810886101978479462795111754161286445269021,
1873479781512460134748381153007274990108701,
2697810886100222066912509553267574870047850525,
3884847675985945533126656779162169163946115334173,
3884847675986849010426424960926093417683075334173,
1873479781512460134748381153007274990043165,
2697810886100222066912509553267574870047784989,
5594180653419761567702385761993523697247607780474909,
5594180653421062575014051943733574622628830180474909,
2697810885377942594037668860431645822799249437,
3884847675984319776354013756705408981160832991261,
3884847675985945533126656779162169163946115268637,
3884847675986849010426424960926093417683075268637,
2697810886101351064375230571249326140829859869,
3884847675985945533126058563011658110177014317085,
1873479782014827128038354563297333935341597,
2697810886101351064670874002091358989532790813,
2697810886101351064670874002091358989524402205,
3884847675985945533126354206442500143025708859421,
3884847675985945533126058563011658110177005928477,
5594180653419761567701950057277200307122258481905693,
1873479781512460134748381153007274990239773,
2697810886100222066912509553267574870047981597,
3884847675985945533126656779162169163946115465245,
3884847675986849010426424960926093417683075465245,
2697810885377942594037668860431645822799446045,
3884847675984319776354013756705408981160833187869,
5594180653419761567702385761993523697247607780671517,
5594180653421062575014051943733574622628830180671517,
2697810885377942594037668860431645822799380509,
3884847675984319776354013756705408981160833122333,
8055620140924456657491435497270674124137720405489025053,
8055620140926330108020234798976347456686680661489025053,
3884847674944237335414243159021671154667867799581,
5594180653417420477949779809655789034039891341541405,
5594180653419761567702385761993523697247607780605981,
5594180653421062575014051943733574622628830180605981,
14107211001353631876594509479965, 20314732459097569794894612924661789,
20314384439955406487031989135409181, 29254469571584090764463003790232191005,
29253214742001079400901997882264191005, 20314384439955260570404062322950173,
20314384439955406487031989127020573, 29253214741698506681232976961874362397,
20314384137382686818011068745580573,
42124629228046145054432402538516998979613,
29252713593831218798241779305941237789,
42125532705345913236196326792253958979613, 14107211416635597548010608853021,
20314732459512851760566029024034845, 20314384439955552403659915931090973,
14107211206515754664404363378717, 20314384440160568609819798989307933,
29254469571584295926585791600086089757,
29253842156187439497427831068672851997,
42125532704910208519727020038977881309213,
29252713593831218652325151379137167389,
42124629228046145054286485910590194909213,
42125532705345913236050410164327154909213,
42126436182645681417814334418064114909213, 14107755669315102199392210321437,
20315168164019055206476780444647453, 20315168163813747268392035394191389,
29253842156187439497427831068681240605, 14107211416635597548010617241629,
20314732459512851760566029032423453, 20314384439955260570404062331338781,
29253214741698506535316349035078680605, 20315168164229175150691378306023453,
29253842156490012217096851989062680605,
29254469571281517898877354943046680605, 20315168164019055206476780436258845,
29253842156187644805365915813723308061, 20314384440160568508488807373406237,
29253214741698711843254433780120748061,
29253842156490217525034936734104748061, 14107755669315102199392210386973,
20315168164019055206476780444712989, 14107211416635597548010617307165,
20315168164229175150691378306088989, 14107755669457677156395513806877,
20315168164019197781433783748132893, 20315168164019055206476780436324381,
29253842156187644805365915813723373597, 14107211416778172505013920727069,
20314384440160568508488807373471773, 20315168164229317725648381609508893,
29253842156490217525034936734104813597, 14107755669457677156395522195485,
40196490523964399685217836021718272, 20160948005098500239519831661157440,
40196490523964399685217836219899136,
83351442750473221196352172700163787332864,
83351442750492579126572775171936635460864, 29053723629764027219826121792,
29031765127341807607351397892594801728, 41972921431806291873676437422343,
60650241780880666288459031308599559, 60650241780810674945930140956164359,
20194958616598632289140999, 29147862105421012567692542215,
29147862105421012567684153607, 42118223458944907121307530690823,
42118223458993545997283132047623, 42263458364337432064112225812743,
145255100399746640416454017287, 418305675532511302471895820861703,
602360172834007964421039374551810311, 209167613412479127194167015047431,
100871597499800601206980871, 145255147012036560698301219079,
290490052453132825484195528967, 290490052453132825484195397895,
418305675579172197491156064141575, 209167512601518227884472607179015,
301201072844159060933291589831164167, 602360172766816275593304636205760775,
867398648880971468766330473996700549383, 903519272689613618855003390080909575
, 602360463236627206492264177989517575, 145255100399746640416454082823,
209167411697332681180220094284039, 209167411697332681180220085895431,
418305675532511302471895820927239, 602360172834007964421039374551875847,
209167512554954543063169156120839, 301201218146186150943440242528354567,
20194893798540995360194835, 29080623658454283615123276051,
29080623658454283615114887443, 41876266140718095334338968944915,
41876266140718106593338037371155, 60301823242634057292706218438951187,
60301823242634073505664876972671251, 48431830040841888257464336659,
69741835235400874339499964629267, 100428242907049802975806977482686739,
144616669786151716285173304133112693011, 69761367976060141174864934863123,
100456369885526587101158570775281939, 144657172635158285409477694956827574547
, 100456369885526603302858230224126227,
144657172635158285425679394616284807443,
144657172635158285425679394616284676371,
208306328594627930989647891790519514956051,
144657172635158308756126904246385639699,
208306328594627931012978339300149624176915,
299961113176264220625092964189400788966965523, 20194893798540995359998227,
29080623658454283615123079443, 20194958616598632289075463,
29147862105421012567692476679, 42118223458896268245331929137415,
29248719678644019541152956679, 29248719678644019541152825607,
20241570906518914144665863, 20241570906518914136277255,
29248766290900162825794879751, 29248766290900162825794748679,
201729170689030577461985543, 290490052453132825484195332359,
418305675579172197491156063944967, 145255217051984188567057924359,
301201218146186150909663245322879239, 69741835352117918686424853905683,
144656796205816132030800110033179377939, 100428242907049802919512118505570579
, 201729203092429896409415943, 290490052485536224803134374151,
433729754130508057309948847907228549383, 418305608410911095017999021572359,
100428242907049802919512118505767187,
208305786536375230124352169506561882718483,
144616669786151716204108510976808911123, 209167512554857265311217953407239,
301201218146186150909663245323075847, 48431830040841888257464140051,
100456108476261202799159063367647507, 100428242907049802919512118505636115,
144656796205816132030800110033179312403, 20311610854146782892982535,
20311643257546101832024327, 20147073230544739470320236329632517,
29011911012287078983242963226836009733,
29011911012287036988437445892624548613, 9715950948202016137611182853,
13991023076767180173649463608069, 13991023076767180173649455219461,
20147160425199360405015762659836677, 20147160425199389588341348020650757,
20147247566142595919981445476909829, 125492674252084558116729481659141,
361404910930349443566549559960470277, 520423071739756952086913817597477978885
, 180709451097742207832632766081729285, 87147690452836484620306612997,
125492674289384111072750640300805, 250975632590520446907143122322181,
250975632590520446907143122191109, 361404910930386772282564968156758789,
180709451037264963472050801487381253, 260221609406466892749655396481883374341
, 520423071739703198735851629806799487749,
749409223305250011005155917603819940676357,
780624534072939588799208874556212577029,
520423071913985085294391005531869741829, 125492674252084558116729481724677,
180709450976713119965024397929349893, 180709450976713119965024397920961285,
361404910930349443566549559960535813, 520423071739756952086913817597478044421
, 180709451037227693082154167366451973,
260221609493661547341427032621175931653,
29011785616469679145942695957102920453, 9715950919038956750574453509,
13991023076738017114262426878725, 13991023076738017114262418490117,
20147073344770610497735489903395589, 20147073344770610518001688226562821,
29011785616469679116759370371742171909, 125492674252055395057342444995333,
180709450976713090801965010884231941, 260221609406581118620682811735457137413
, 374719117545476810813783269162424015913733,
180821117200571206635194971761672965, 260382408768822574883416834276729029381
, 374950668627104507869448977433405571465989,
260382408768822537554700818868524548869,
374950668627104507832120261417997375374085,
374950668627104507832120261417997375243013,
539928962823030491332006527524163518412882693,
374950668627104454078769199230206688494341,
539928962823030491278253176461975727734391557,
777497706465163907518089399634815526009675580165,
9715950919038956750574256901, 13991023076738017114262426682117,
9715950948202016137611117317, 13991023076767180173649463542533,
20147160425199331221690177298825989, 13991083591311113977833539830533,
13991083591311113977833539699461, 9715988247754972158778147589,
9715988247754972158769758981, 13991083628610646667656375304965,
13991083628610646667656375173893, 260221609406581118620662545673498985221,
180709450976792443486557276761752325,
374950327369266922253287172337725772792581, 174288633717494243491837969157,
250975632590520446907143122125573, 361404910930386772282564968156562181,
125492674331408079649471897600773, 260221609493661547341406766422852567813,
174288633743416962946999255813, 250975632590546369626598275023621,
374719117545476810813754085836975020245765,
260221609406581118620662545673499181829,
539928471411744368044733528186390704094053125,
374719117670872628171625763912359537476357,
361404910876638145676530274206679813, 180709451037227634715502996644823813,
260221609493661547341406766422852764421, 125492674252055395057342444798725,
374950327369266922253287172337725772727045,
260382171784213140453671633522315494149,
260221609406581118620662545673499050757, 9716030271723548880027058949,
9716030297646268335179956997, 29092206511612993270100540930881159197,
41892778004562925992439463268832491536413,
41892778004562925782465435682161434230813, 14029806175824081457987094708253,
20202921188620134215277230082621469, 20202921188620134215277230074232861,
29092206947613143050305112457800450077,
29092206947613143196221740384604520477,
29092207383317859227879940871885815837, 903491329574357588005711725128384541,
2602034826253552100090149411749152227357,
3746930149805115319773246096279694796455965,
1301027514587975505624478700294319046685, 627424534426637213822488634720285,
903491329574562750128499534982283293, 1806968629342744513951422280334835741,
1806968629342744513951422280334704669,
2602034826253552305398087496494194360349,
1301027514587673138067033798175407472669,
1873479621005813318666602649501187954901021,
3746930149805115024129815254246846101913629,
5395579415719366060473474378744088561719902237,
5620380678604416730013413664049626767360029,
3746930149805986433562607951125471453184029,
903491329574357588005711725128450077,
1301027514587370360185140658453556363293,
1301027514587370360185140658453547974685,
2602034826253552100090149411749152292893,
3746930149805115319773246096279694796521501,
1301027514587672933050726307300741873693,
1873479621006249318816237038775779685957661,
41892777377583838993252961932483553460253, 14029806175678266161051906867229,
20202921188619988399980294894780445, 20202921188619988399980294886391837,
29092206512210999300768711093745614877,
29092206512210999300870042085361451037,
41892777377583838993107045304556749455389,
903491329574357442190414789940609053,
1301027514587370360039325361518360133661,
1873479621005813916672633317671350819356701,
2697810654248372040008591977548073197823197213,
1301912043805275854133742629481230106653,
1874753343079597230157897425763829602058269,
2699644814034620011427577601139225461061582877,
1874753343079597229952589487679084551733277,
2699644814034620011427372293201140716019646493,
2699644814034620011427372293201140716019515421,
3887488532209852816455711745640585890005663875101,
2699644814034620011131728862359107867316715549,
3887488532209852816455416102209743857156969332765,
5597983486382188055696224913722443782834232587321373,
14029806175678266161051906670621, 20202921188619988399980294894583837,
14029806175824081457987094642717, 20202921188620134215277230082555933,
29092206947613142904388484530996183069, 20202921491192853884298150463995933,
20202921491192853884298150463864861, 14029806380986204245796956930077,
14029806380986204245796948541469, 20202921491398015905754968702058525,
20202921491398015905754968701927453,
1873479621005813916672633216340426849058845,
1301027514587370775467106329937326899229,
2699642241092000270086271503719109067922866205,
1254839325932318892994451002687517, 1806968629342744513951422280334639133,
2602034826253552305398087496494194163741,
903491329574772869971383141236015133,
1873479621006249318816236937444788069924893,
1254839325932461467951454314561565, 1806968629342744656526379283638124573,
2697810654248372040008591831631445338664796189,
1873479621005813916672633216340426849255453,
3887484827172480388924230965355618286939738603549,
2697810654248999019095381190021822875703902237,
2602034826253256666925168221425114742813,
1301027514587672932758893051447133732893,
1873479621006249318816236937444788070121501,
903491329574357442190414789940412445,
2699642241092000270086271503719109067922800669,
1874751556313889076448799655290194400641053,
1873479621005813916672633216340426849124381, 14029806591106047129403202273309
, 14029806591248622086406505758749, 23492779758198689300503,
420256202718845882925079, 605169077933096974648803351,
605169077933096974648934423, 605168932016469047844864023,
871443682489621816995186409495, 210411788729450565206039,
302992975973070757897043991, 436309885401424553315555016727,
302992975973070757897175063, 436309885401323222323939377175,
628286234977905642808416137576471, 436309885401525884307171049495,
436309885255507925388751142935, 628286234767931615221745080270871,
23492779758198689693719, 302596212448779119079522327,
302596212448779120144875543, 436007709299261865117719461911,
627851101390937187097353283764247, 904105586002949549521516565784887319,
627851101390937187097353283960855, 627850799214981042368071720239127,
904105150869572701111351090260606999, 41837368760024197899437003576323,
60245811048100794467179705984159751, 86753967909366141881289160734062608407,
28971561192512977028656040925734973445,
208594899481197523275943389253486355873815,
180059845624059614611552234137249041739612183, 48431876799082213479418561543,
48431876799082213479418496007, 69741902590678522492854707356679,
69741902520541263336037559174151, 69741902520541263336037559108615,
100428339629579419338976565118305287,
208595441330650740777182679540865019937799,
144616809212030774267321855401233351687,
144857945368809961504193528184784356359,
300377435516137066719143058572587701649409031,
300377435516137066719143058572587701649343495,
144616809212030774267355632398438630407,
208248205265324314944992144405095064994823,
144857945368910819077416535158244836359,
208595441331231579471334029073155075277831,
432543507143237376075566004344560032447899304967,
208248205265324314944943505529119463638023,
208595441331086344565892899031371984077831, 48431876896292411436209734663,
48431876896292411436210258951, 69741902520638473533994343007239,
69741902520638473533994350347271, 69741902520638473533994350871559,
100428339629509379290017704753955847, 48431946790424742369778336775,
48432086870319998107275822087, 69742205093504059182841536381959,
100595534052723102326449337231082503, 100595534052863182221705074728567815,
208595140171551019555197700525182493590535,
144857569035921267350120790873816630279,
144857569036122982350683953891139322887,
208595140171551019555246339401158094947335,
100595534052723102326449337265161223, 144616809066594153582400493725607920647
, 100595534052863182221705072580559879,
144857736230546126179588054587843085319, 100428339932082244875666551971972103
, 208595140171986421698850060505586954077191,
144857569035921267350120790873850708999,
208248205055895581158656744716218842940423,
144857569036122982350683953888991314951,
208595140171986421698558227249733345936391,
100428339932082196236790576370615303,
208595140171986421698801421629611352720391,
144857569035921267204305493938662933511, 100428339629579273422348638414308359
, 100595650160101476547332924546548743,
144857569036122982350683953888992232455,
144857736230546126422782434465848951815,
144616809502198012624333313960551580679, 69742003378211696540967810827271,
69742205093260864802963529597959, 69742205093358142554914732311559,
100595534254368354640132350558798855, 144857569036122982447961705840194028551
, 100428339932082098959038625167901703, 100595534153510781417125377098318855,
144857569036122982399322829864592671751, 100428339932082147597914600769258503
, 144857569181055315218061602680620123143,
208594899412017094584984961125495892280327,
144616809502198012478416686033747510279, 48431946936240039304966112263,
69858009758835588963889590699015, 69858009758932799161846382789639,
144857736230243763823057628143361917959, 69858009899110377493505799749655,
69858009899110377493505799684119, 100595534254718943995934461477715991,
100595534254508532218464010016522263, 100595534254508532218464010016456727,
144857569326492286394993460521559064599,
300377870931796569824530664968196451306569751,
208594899830585201640048169994595655876631,
208595743702637414330484189563382146072599,
432544134141787060547324157554304178296797921303,
432544134141787060547324157554304178296797855767,
208594899830585201640048271325587271712791,
300376655756042690361669510810138721758674967,
208595743702637716903203858584302527512599,
300377870931798312340613119016793321723854871,
622863553164173367188146786878198118035804155478039,
300376655756042690361669364893510794954604567,
300377870931797876635896795626667972450254871,
69858009899402008087376175759383, 69858009899402008087376176021527,
100595534254508823849057880384667671, 100595534254508823849057880392531991,
100595534254508823849057880392794135, 144857569326492076274846583940466016279
, 69858010109084405080176864919575, 69858010529324090847389356195863,
100595535162227420606004421949325335, 144858154506973289358407929174373564439
, 144858154506973709598093696386864840727,
300377870028319270660864710031149403896217623,
208595742490041536676107519301107235356695,
208595742490042141821109208790159202123799,
300377870028319270660864855947777330700288023,
144858154506973289358407929174390603799,
208594899830148891777993405909568779583511,
144858154506973709598093696385790836759,
208595743075222622824510373142591322259479,
144857569327399794871603530482038800407,
300377870028320576867295667111090617360252951,
208595742490041536676107519301107252396055,
300376655755414404160310504611072093092511767,
208595742490042141821109208790158128119831,
300377870028320576867294791611323056535830551,
144857569327399794725686902555234730007,
300377870028320576867295521194462690556182551,
208595742490041536675670073410301687889943,
144857569326492285957243576741196857367,
144858154913349043628233393854887559191,
208595742490042141821109208790158128513047,
208595743075222622825239956282225342218263,
208594899831455703355119204370273778204695,
100595534557081543518078800773971991, 100595535162226691022864787928973335,
100595535162226982856120641537114135, 144858154507578225115348978214439157783
, 208595742490042141821401042046011736260631,
144857569327399794433853646701626589207,
144858154507275652395679957294057717783,
208595742490042141821255125418084932190231,
144857569327399794579770274628430659607,
208595742490476938819711341736527727099927,
300377869185660684222397260860450250431594519,
208594899831455703354681454486493365993495, 69858010109521850970982429425687,
100595940629842562358161479146012695, 100595940629842853988755349522415639,
208595743075221715737440781863257798541335, 9702540626489829765114629125,
13971658502145435876725960150021, 13971658460063080382635674569733,
20119188182490835832010320203418629,
41892796868485874209868564139724137565189,
28971631070048649849612187532328045573,
60325627490619658862210732381409696594660357,
28971631070048649849632453730651212805,
41719148740870055783470753588346745457669,
86868903586492308761583454629250170034623024133,
41719148740870055783441570262761384643589, 9702540684815948539188939781,
13971658460121406501409741540357, 13971658460121406501409748880389,
20119188182448811802635003984808965, 9702582621295347099333430277,
13971840003840757890718060710917, 20202785394062662734083915743104005,
41892616173026041476677576730314594782213,
29092010967450234337101048796689402885,
41892616173026041476706760055899955596293,
20202785394062662734083915777182725, 28971630982786677438659370526952786949,
20119188363992531154024312328621061, 29092010967450234337101048796723481605,
41719148615212815511669513775021012225029,
20119188363992501970698726967806981, 29092010967450234249611870635610999813,
20119188182490748282033564221049861, 29092094564782835397807624883295423493,
13971718974665340305593825168389, 13971840003694841262791256640517,
20202785515049814122293723726547973, 29092010967571263395805597775656848389,
20202785454535270188489539650259973, 29092010967571263366622272190296034309,
29092011054530663057865535880758496261,
41892495793302619205912123590521795578885, 9702582708784525260445912069,
14029712079210243196563853806597, 29092094564601417837972741089816415237,
69741902660816051865649639456791, 69741902660816051865649639391255,
100428339831575115091833758432559127, 100428339831364703314363306971365399,
100428339831364703314363306971299863, 144616809357165172773088460304309747735
, 301628137211752301535969709147461398857252887,
208248205474754158024504969693924416159767,
209463984174828894685650192465641020915735,
434344517584923314211796381172445714937558204439,
434344517584923314211796381172445714937558138903,
208248205474754158024505071024916031995927,
299877415883645987555287302377184304342958103,
209463984174829197258369861486561402355735,
301628137211754044052052163196058269274538007,
625456105322289572464986788888321930810666739761175,
299877415883645987555287156460556377538887703,
301628137211753608347335839805932920000938007,
69741902661107682459520015466519, 69741902661107682459520015728663,
100428339831364994944957177339510807, 100428339831364994944957177347375127,
100428339831364994944957177347637271, 144616809357164962652941583723216699415
, 69741902870790079452320704626711, 69741903291029765219533195902999,
100428340739083591701903718904168471, 145459887235867929584266328993312407575
, 145459887235868349823952096205803683863,
301626836204440635958745467209286866006900759,
209462237619649818601343615052546946039831,
209462237619650423746345304541598912806935,
301626836204440635958745613125914792810971159,
145459887235867929584266328993329446935,
208248205474317848162450205608897539866647,
145459887235868349823952096204729679895,
209463080697529126503594232294067221102615,
144616809358072681249698530264789483543,
301626836204441942165176424289228079470936087,
209462237619649818601343615052546963079191,
299877415883017701353928296178117675676794903,
209462237619650423746345304541597838802967,
301626836204441942165175548789460518646513687,
144616809358072681103781902337985413143,
301626836204441942165176278372600152666865687,
209462237619649818600906169161741398573079,
144616809357165172335338576523947540503,
145460472706617448960930518257184866327,
209462237619650423746345304541597839196183,
209463080697529126504323815433701241061399,
208248205475624659739576004069602538487831,
100428340133937714613978097728815127, 100428340739082862118764084883816471,
100428340739083153952019938491957271, 145459887236472865341207378033378000919
, 209462237619650423746637137797451446943767,
144616809358072680811948646484377272343,
145459887236170292621538357112996560919,
209462237619650423746491221169524642873367,
144616809358072680957865274411181342743,
209462237620085220744947437487967437783063,
301625622172296610194737238742535601591877655,
208248205475624659739138254185822126276631, 69741902871227525343126269132823,
101013810580463840292785359459319831, 101013810580464131923379229835722775,
209463080697528219416524641014733697384471,
100595534052793385772450063221391383, 100595534052793385772450063221325847,
144857569036022265100955906504041299991,
144857569036022265100955906504041234455,
432544134141786641834487255405257725727447187479,
300376655153096205222574008925326061006094359,
622863553164172764241661647783571226335746148139031,
622863553164172764241661647783571226335746148073495,
300376655153096205222574009026657052621930519,
896923516556408780507992772808342566024762675329695767,
432542383420458535520506572852570820706128822295,
100595534052793677403043933597401111, 100595534052793677403043933597663255,
144857569036022265392586500374417309719,
144857569036022265392586500374417571863, 100595534053003359800036734286561303
, 100595534053423599485803946777837591,
208595742489750764502188088520413102342167,
208595742489750764922427774287625593618455,
300377869185241100883150847570684683535974423,
300377869185241101488295849260173735502741527,
208595742489750764502188088520413119381527,
300376655153095768912711954161241034129801239,
208595742489750764922427774287624519614487,
300377869185241100883150847570684683553013783,
432542383420457907234305213992288382004266729495,
300377869185241101488295849260173734428737559,
300377869185241100883150410124793877988507671,
208594899411872061744939160767943737475095,
208595743075221514021564752709676974800919,
144857569036324838112255521294798749719,
144857569036929983551593563135561891863,
208595742489751369437945029569453167935511,
208594899411872969253415770837904167206935,
208595742489751066865225360548532786495511,
208594899411872969253561687465830971277335,
300377869185241536285294451393120104027717655,
300376655153097075724288642209817958716211223,
100595534053003797245927539851067415, 144858154506771364237934328556529254423
, 144858154506771364529564922426905657367,
173507837959008419929122476915412196352, 20194893776022997224785155,
29080623658431765616979477763, 60301629696927647110533878062908675,
60301629696927647099274878994482435, 86834346763575811822967083672068621571,
20194926179422316154520835, 29080623690835164935909213443,
29181481264058171909369693443, 41876098068093148647681974994179,
48431830040819370266917471491, 69741868854624329556486095308035,
69741902473815403892143915468035, 69741835258731299331139596059907,
100428242772573071048086675502859523, 20194893776022997224719619,
29080623658431765616979412227, 20194926179422316153472259,
29114242881909500593728324867, 29080623690835164935908164867,
41876198902368327544344113513731, 41876198902384540503002647299331,
60301726419340384130885089720730883, 20218224223532627348555011,
60301581218054085458820987119338755, 86834276953997883060713479371861722371,
100428291150589027028357277648356611, 69741835258731299331139527902467,
100428242772573071048086675434702083, 100428242772573022442987697107764483,
144757182572322634375174204119395075331,
208450342904144593500250865171307737187587,
208450342904144593500250865171307737253123,
300168493781968214640361245857922520284595459, 20264917521951206515213571,
20218272828631605743650051, 48431830073222769585848124675,
69741835305424597749714398545155, 69741835305424597749718694561027,
100428242839811404569141010247124227, 100428242839811404569141014543140099,
69761186511806985354364205466883, 6737865693720093299705601,
9702512571532123808642238209, 20119159155611134685444705147291393,
20119159155611134678689305706235649, 28971589184080033937319354537365145345,
6737885135759684657153793, 9702512590974163399999686401,
9763027134907967584075974401, 13971618102977101979668080363265,
29053718953919728458580231937, 41837375451151070798333547316993,
41837395622665715399728239412993, 41837355293615252663125701428993,
60245791622805963841643067606238977, 6737865693720093299640065,
9702512571532123808642172673, 6737885135759684656105217,
9722684105618764794690733825, 9702512590974163399998637825,
13971678603542209317665309394689, 13971678603551937092860429666049,
20119217189058776897655432088323841, 6751863962225871376484097,
20119130068286997694416970581149441, 28971547298333276679967191957241005825,
60245820649615537429805428840269569, 41837355293615252663125633271553,
60245791622805963841643067538081537, 60245791622805934678583680569575169,
86854298389352842746317313535686739713,
125070189680668093554696938227168105793281,
125070189680668093554696938227168105858817,
180101073140162054718763591053857851448690433, 6779879941277018876872449,
6751893125285258413147905, 29053718973361768049938597633,
41837355321631231714268837644033, 41837355321631231714273133659905,
60245791663148963954275666707547905, 60245791663148963954275671003563777,
41856706528013619318918644565761, 29080670416694608821223031815,
41876165329903112652571549500423, 86834416573523505010155582271063196679,
86834416573523505010121805273857917959,
125041559865873847214575433370034392204295, 29080670513904806778014729223,
41876165330000322850528341197831, 41876467902719991871448722637831,
60301678075060336438181920037274631, 209167344505643954776476886369287,
301200976188914828187275418416645127, 301200976289772401410282391877125127,
301200976088127149096599378583487495, 433729405566903094699136874707793675271
, 29080670416694608821222966279, 41876165329903112652571549434887,
29080670513904806778014204935, 41876266187573545857501801153543,
41876165330000322850528340673543, 60301678377563161974871906790867975,
60301678377563210613747882392224775, 86834416863690743221216635906372076551,
29080740408037137711582807047, 86834416428086884325200443598232486919,
125041559656445113428288672557133771506695,
433729405712037142567077686514563089415, 301200976088127149096599378549408775
, 433729405566903094699136874707759596551,
433729405566903094553321577772605899783,
625350908109222865775801056795868242904071,
900505307677280926717153521819816678273909767,
900505307677280926717153521819816678273975303,
1296727643055284534472701071420569783122827871239,
29080880487932393449080292359, 29080740553852434646770582535,
209167344505741164974433678459911, 301200976088267228991855113898886151,
301200976088267228991855116046894087, 433729405567104809699700037722934281223
, 433729405567104809699700037725082289159,
301368267267442969833979019170219015, 9702540626489829731291761669,
13971658460063080382601851702277, 28971631070048649849632453696828345349,
28971631070048649849612187498505178117,
41719148740870055783441570262727561776133, 9702540684815948505366596613,
13971658460121406501375926537221, 13971840003753207913928155401221,
20119188182490748282033530398182405, 125492660841762845930326423899141,
180709431672611018125156311689792517, 180709431733125562058960495766080517,
180709431612138410670750687816715269, 260221581521479311365901249204756614149
, 9702540626489829731291696133, 13971658460063080382601851636741,
9702540684815948505366072325, 13971718974665340305560002300933,
13971658460121406501375926012933, 20119188363992443604047522423311365,
20119188363992472787373107784125445, 28971631244148992776269085877986855941,
9702582621295347065510562821, 28971630982786677438659370493129919493,
41719148615212815511669513774987189357573,
260221581608559740086665736288791628805, 180709431612138410670750687782636549
, 260221581521479311365901249204722535429,
260221581521479311278412071043644132357,
375210528803715056920027053201901898697733,
540303161477349681964838956630994343731727365,
540303161477349681964838956630994343731792901,
778036552527383542029368097548652110583200156677,
9702666669232500508009237509, 9702582708784525226623044613,
125492660841821172049100499127301, 180709431612222458607904128133303301,
180709431612222458607904130281311237, 260221581521600340366239147012968352773
, 260221581521600340366239147015116360709,
180820952614604158373451852639964165, 41876165470177901182183629783063,
60301678276845766330196588594331671,
125041560075303690294136998865830960562199,
125041560075303690294136897534839344726039,
180059846508437314023557132551498210227453975,
41876165470469531776054006054935, 60301678276846057960790458970603543,
60301679184564216967853220114923543, 86834416718657903078138526396572106775,
903519175933651941825435922761646103,
1301067613344761158828555192603899527191,
1301067613345063731548224213524280967191,
1301067613344458795791283164484232413207,
1873537363216020665939447858183782787645463, 41876165470177901182183629717527
, 60301678276845766330196588594266135, 41876165470469531776054005792791,
60301678579418777629811379351781399, 60301678276846057960790458970341399,
86834416719565411554748596357001838615,
86834416719565411700665224283805909015,
125041560076174192008770182026737054842903, 41876165680151928768854694952983,
125041560074867380432082133449812468432919,
180059846507809027822198272269059508365361175,
1873537363216456068083051680619203262349335,
1301067613344458795791283164484215373847,
1873537363216020665939447858183782770606103,
1873537363216020665939010412292977223139351,
2701515749363009778541841573195334676281819159,
3890182679082734081100251865401383258764486705175,
3890182679082734081100251865401383258764486770711,
5601863057879137076784362686177991993945779428327447,
41876166100391614536067186229271, 41876165680589374659660259459095,
903519175933652233456029793138049047,
1301067613344459216030968931695632646167,
1301067613344459216030968931696706650135,
1873537363216021271084449547672833663369239,
1873537363216021271084449547672834737373207,
1301910830842116022206464171029767192599, 840625896148301489831959,
210412182794417933320215, 302783131851815338323148823,
840625896148301490225175, 302783423482409210863484951,
436008129668955294573309526039, 627851706723149910216494853849111,
436008129668955294572235522071, 627851706723149910216493779845143,
627851706723149910216493780238359, 1210501582489471969844199447,
436915217905879597319134314519, 436915218051796225245938384919,
629157913154398823413559795318807, 210412182794417933713431,
302783131851815338323542039, 904732565661895516210906131342295063,
1302814894553129543343806155403547181079,
1876053448156506542415080965107378488803351,
258492739789366190078414525175472592630797176558309541696,
179508847075948743110010086927411523468391106455340864,
120026771371057755732566036943056983797989840,
60201077864425967002848320182029237488128268,
41806304072518032640993530084892215546124,
60441006666833180062425152722768131,
258492733660095767928245385045470310470192688312141416256,
124658918624660381909840559917784213558337240106816,
179508842819510949950170406281609267119983420024227648,
179508842819510949950170406281576604493469937868015424,
124658918624660381909840559917784213558337240172352,
124658918624660381909840559917761531178813996926784,
179508842819510949950170406281576604493469937868080960,
86568693489347487437389277720683762208710330176,
120025759537606391741484781151732128243450320,
57882792986885797916141265667681223120,
83351221901115548999243789872423452213712,
83351221901115549820475542211403595710928,
57882792986885797916141265667681288656,
57882792986885798486441093680870195664,
83351221901115549820475542211403595776464,
260221776658984124943893749612199870493,
374719358974543347462874964410391667212317,
374719358389362866459473800057959547207709,
539595876923342846073080215551578847404949533,
539595876923342420346539803024276739138191389,
539595876080682527701642126356776007303626781,
777018062769613698345235510248546852977337368605,
374719358389362866459473800057959538819101,
374719358974543347462874964410391666819101,
374719358389362866459473800057959546814493,
539595876923342846073080215551578847404556317,
260221776659279768374735782460894019613, 180709567124294531312236413422207005
, 260221777065655102404875479928925388829,
260221776659279768374735782460902408221,
374719358974543643106305806443240369750045,
180709567124294531312236413422469149, 260221777065655102404875479928925650973
, 260221776659279768374735782460902670365,
374719358974543643106305806443240370012189,
260221776658984124943893749612199739421,
374719358389362866459473800057959547076637,
260221776659279768374735782460894281757,
374719358389362866459473800057959538688029,
180709567124294531312236413422075933, 260221776659279768374735782460902277149
, 260221776659279768374735782460893888541,
180709567124499839250321158464143389, 180709567406704932326807060548223005,
180709567124499839250321158472531997, 260221777065655307712813564673975713821
, 83351221900650797301364916454869064420432,
40196384018446461365876545132039248, 57882792986563053681503568869884824656,
86568693489347486507408490406878320317969272128,
60117148256491310074589229449513957021191488,
86568693489347486507408490384195940794726092096,
179508842819510948021762245660668095050127570402741568,
86568693489347486507408490406878320317969337664,
124658918624660380570668226153241732966600955006272,
40196384018446461365876545131973712, 40196384018446565056754365718596688,
120025759537160539946434570740796915190530512,
57882792986670784511892514477519274448,
83351221900805930518357340537115569160656,
124658918624660381018136969817363391687935444453184,
86568693489347486818150673484280413656967284544,
124658918624660381018136969817340709308412201273152,
258492733660095766079208820613237694239791084746641442624,
124658918624660381018136969817363391687935444518720,
179508842819510948666117236536970621000135460316907328,
57882792986670784511892514477519208912,
57882792986670785082192342490708181456, 301228842127843959511995917567198275,
145268538705187601862229361731, 209186695922113860679219001295939,
29513731276037185253404001342487594252, 20495646719470267537120120534205708,
29513731276037185127030743998666114316,
61199673173990707079410880186637886353245452,
29513731276037185253404001342487659788,
42499773037493546582924222385840364848396, 145268538705187601862229296195,
145268538834801199137960494147,
124399573121694064956935656019150711206507840107520,
41837368759975536628608565838099, 60245810980768847131567646360535315,
60245810980768847131567646360404243, 29053728321807914484871528711,
41837435975043450748952638193927, 41837435975043450748952638062855,
41876071149409864328262090031379, 29147843347061762379852873991,
86834221135416177662225982819722526995, 60440967964396987359431918883897607,
29053728305594955826338529555, 41837368736645089118978464874771,
29053774982702933745123000583, 260221581598823790476838965426233606173,
374719077502731984826914910891007009423389,
374719077502731984826914910891007009292317,
180709431665849854599003882154950685, 260221581599119433907680998274936143901
, 260221581599119433907680998274936012829,
261104953604716743275923483117276954653, 181322884447719960709479242735353885
, 541427231794740638856744942523310832616407069,
375991133190792110317184089062456426954781,
180709431665849854599003882155212829, 260221581599119433907680998274936406045
, 180709431666055162537088627205275677, 20314384137382540901383141967069213,
29253214741395933815647328115788152861,
29253214741395933815647328114714411037,
29252713157830858898092993181186195485,
42124629227610144694532253752393317679133,
20314732459097423878266687194791965, 20314384137382540901383141967134749,
29253214741395933815647328115788218397,
29253214741395933815647328114714214429,
42124629227610144694532253752392244133917, 14107211206515653333412747935773,
20314732459302731816351432236859421, 29253214741395933815647328115763052573,
9796674306394176374910222365, 14107453096595433178472903082013,
14107211206515653333412773101597, 20314732459302731816351432262025245,
14107453096595433178472902819869, 14107211206515653333412772839453,
20314732459302731816351432261763101, 20314732459302731816351431188283421,
20314732459302731816351431188021277, 29253214741395933815647328114714607645,
1873479782014043101607148196288439433691165, 435711519569436162159366111261,
903491407221278359357432278582296605, 903491406979388279577587218452316189,
1301027626398641042782741732723381239837,
903491407221278501932389280837009437,
1301027626398641042782741732722307760157,
1301027626398641042782741732722307498013,
2697810886100222066314293402756521100963610653,
1301027626050319122591826764433061576733,
1873479782014043101607148196288440482660381,
903491406979182971639502473385476125,
1301027626398640837474803647978314399773,
1301027626050319122591826764433086742557,
1873479782014043101607148196288440507826205,
1873479782014043101607148196288439434084381,
20314384137382540901383141941510173, 9796674306394176374909763613,
14107453096595433178472902623261, 14107211001207715248667705409565,
14107211206515653333412747477021, 9796674306394176374909829149,
14107211206515653333412772708381, 20314732459302731816351432261632029,
9796674448969133378213249053, 14107211206515653333412747542557,
9796842428191202717198188573, 9796674448969133378238414877,
14107453096738008135476231274525, 14107453096738008135475157532701,
20176196974085226281436944, 20176222896804681434269456,
41837415798849705607219682674448, 14000658336873958744240683222848,
20160948005098500187729234810505024,
41805741783372202954511030528521609348928,
20160948005098477505349711567259456, 29031765350082396128574737465577927680,
20091273986626108324939894794318848, 29147862056782136592108683335,
14024243016629468266567, 20241570872741916956950599,
20241570872741916956688455, 70049720439129399885895,
145255147012002783768767365191, 100871629869422922966237255,
145255100351107764508499378247, 209167411697284042304312156356679,
209167411697284042304244510228551, 100871597466023605075968071,
145255147012002783701121892423, 301201072844089020951886723903520839,
14024243016629467807815, 14056646415948432015431,
13991023076737996848064119767237, 6747188138193351055245509,
9715988247734705960472019141, 9715988247734705960471756997,
60519229481108369682989253, 125492674289384090806619988033733,
87147690478738937877161312453, 125492674252055374791211767038149,
180709450976713090781698880231440581, 180709450976713090781698812585312453,
87147690452816218423057187013, 125492674289384090806552342560965,
260221609406466850725666553562336723141, 6747188138193351054786757,
6747214060912806232850629, 20202921188619988298649303295524893,
9742920955331988541961404445, 14029806380986102914805358133277,
14029806380986102914805357871133, 435711482240720146708899561501,
903491329574562750027168611037347869, 627424534426779687448500347338781,
903491329574357442089083865970507805,
1301027514587370360039224030594415198237,
1301027514587370360039224030526769070109, 627424534426637112491498092625949,
903491329574562750027168543391875101,
1873479621005813318456482705286590119149597, 9742920955331988541960945693,
9742921097906945545289596957, 16314289650151784471, 145927886925882982423,
302596212347448127463292951, 210136258504248021745687,
302782985541122445233094679, 627850798818217518076431828385815,
[ ( 1, 6, 4, 2)( 3, 8, 7, 5)( 9,11,10),
( 1, 8, 6, 7, 4, 5, 2, 3)( 9,13,12,11)(14,16,15) ],
[ ( 1,14,10, 6,22,18,23,19,16,12, 8, 4, 2,13, 9, 5,21,17,24,20,15,11, 7, 3)
(25,27,26), ( 1, 8, 4, 5)( 2, 7, 3, 6)(11,23,21,17)(12,24,22,18)
(13,20,14,19)(25,27,26) ],
[ ( 1,18,14, 8, 4, 2)( 3,30,27,19,11, 6)( 5,31,23,17,10, 7)( 9,38,39,33,24,
16)(12,40,37,29,21,13)(20,35,34,26,22,25)(28,36)(41,44,43,42),
( 1,13, 7, 3)( 2,18,10, 5)( 4,26,17, 9)( 6,30,21,12)( 8,32,23,15)
(11,33,29,20)(14,38,31,22)(16,39,34,25)(19,36,37,28)(24,40,35,27)
(45,47,46) ],
[ ( 1, 2)( 3, 4)( 5, 6)( 7, 8)( 9,11,13,12,10)(14,16,15),
( 1, 8, 6, 4, 2, 7, 5, 3)( 9,13,11)(10,12)(15,16) ],
[ ( 5, 9)( 6,10)( 7,11)( 8,12)(13,14)(15,16)(17,22)(18,21)(19,24)(20,23)
(25,27,26), ( 1,20,12,23,15, 7, 3,17, 9,22,14, 6, 2,19,11,24,16, 8, 4,
18,10,21,13, 5)(26,27) ],
[ ( 1,30,23,21,15, 8, 4, 2)( 3,14, 7,24,25,22,12, 6)( 5,20,27,36,31,29,19,
10)( 9,40,39,38,32,28,18,17)(11,35,37,33,34,26,16,13)(41,43,44,42)
(46,47), ( 1,18, 9, 4, 7, 3)( 2,34,31,21,11, 5)( 6,22,35,28,17,13)
( 8,27,16)(10,20)(12,25,15,39,32,23)(14,26,40,38,33,24)(19,37,30)
(29,36)(41,42,44,43)(45,46) ],
[ ( 1, 3, 5, 7, 8, 6, 4, 2)(10,11)(12,13)(14,15),
( 1, 2, 4, 6, 8, 7, 5, 3)( 9,12,10)(15,16) ],
[ ( 1, 2, 8,16, 4, 6,11,26,43,18,22,35,45,21,38,44,25,20, 5,19,37,48,31,14,
40,42,28, 9,17,41,23,36,30,39,15, 7,12,27,13, 3)(10,24,29,34,47,33,46,
32)(50,51), ( 1, 4,17,22,38,13,37,40,43,23,15, 5)( 2, 9,29,35,27,47,
48,26,46,36,20,10)( 3,14, 6,18,39,44,19,16,42,41,21, 7)
( 8,24,28,45,34,12,31,33,11,30,32,25)(49,50,51) ],
[ ( 1,21,17, 9, 5)( 2,22,18,10, 6)( 3,23,19,11, 7)( 4,24,20,12, 8)(25,26)
(27,28)(29,31,30), ( 1, 3, 2, 4)( 5,14, 6,13)( 7,16, 8,15)( 9,12,10,11)
(17,22,18,21)(19,24,20,23)(25,28,26,27)(30,31) ],
[ ( 9,12,10), ( 1, 8, 7, 6, 5, 4, 3, 2)( 9,10,13,12,11)(14,15,16) ],
[ ( 1, 2, 8,26,44,46,39,36,12, 3)( 4,16,14,23,27,29, 9,28,34,17)
( 5,20,35,31,30,32,10,13,19,21)( 6,11,22,33,45,48,38,18,15, 7)(24,43)
(25,37)(40,42)(41,47)(49,50,51),
( 1, 4,18,32,46,29,22, 5)( 2, 9,15,20,39,16,33,10)( 3,13,38,28,44,35,11,
14)( 6,24,12,37,48,43,26,25)( 7,17,36,30,45,27, 8,21)(19,40,34,47,31,
42,23,41)(49,51,50) ],
[ ( 1,10, 5)( 2, 9, 6)( 3,12, 7)( 4,11, 8)(13,21,17)(14,22,18)(15,23,19)
(16,24,20)(25,28,27,26), ( 1,21,20,13, 9)( 2,22,19,14,10)
( 3,23,17,15,11)( 4,24,18,16,12)(29,31,30) ],
60075400437739067966380778758449065187160069,
432542883150978639189113180929189361251815194647,
622861032124735720480237329659995217054727198933015,
41876071196168104530338741683207, 60301542522411933374298307788735495,
60301542522411933374298307796599815, 86834221232273113921840173734797444103,
86834416292433518380237486773198980103,
125041559656164426801863228870673506567175,
125041559461104266467396174086527738119175,
180059845904876774594682903766899976249738247,
86834416427891963056950719264268026887,
125041559656164426801863228870673506173959,
125041559461104266467396174086527738512391,
180059845623990143713050344877733063910163463,
86834221232373971495063180708324508679,
86834221232373971543702056683925865479,
125041278574618518882753830830398416552967,
125041278574618518882802469706374017909767, 41876071196168104530338742076423,
60301542522481973355703173742527495, 60301542522411933374298307796993031,
86834221232273183961821578600751236103, 41876071196168104530338749023239,
41876071196168104530338741158919, 60301542522411933374298307796075527,
41876071266159447059229101851655, 60301542623269457958429305655198727,
60301677980856610087530798998684679, 86834416292433518380237486771050578951,
86834416292433518380237486771050972167,
125041559461104266467396174086525590111239,
60301542623269506597305281256555527, 60301542623269555236181256857912327,
60301677980996884876043924647116823, 86834416292635303810129484953267666967,
86834416292635303810129484953275793431,
125041559461394837276175084566166490775575,
125041560074441055680188427188719890006039,
180059846507808166397664937120609504890519575,
180059846507195120179470897805573623688921111,
259286178971243759612637509016331502527221530647,
125041560074866782220600954490829180305431,
180059846507808166397664937120609504890388503,
180059846507195120179470897805573623689052183,
259286178970360973058438092402679835093938143255,
125041559461395139848894753587086905507863,
125041559461395139849040670215013709578263,
180059845624409001382198033791638544994730007,
180059845624409001382198179708266471798800407,
60301677980996884876043924647247895, 86834416292635513930073699551129042967,
86834416292635303810129484953275924503,
125041559461394837486295028780764352151575,
60301677980996884876043924654981143, 60301677980996884876043924646854679,
86834416292635303810129484953275531287, 60301677981206858903630595712417815,
86834416292937876383881877946852900887,
86834416718361844222656787062632546327,
125041560074441055680188427188718815870999,
125041560074441055680188427188718816002071,
180059846507195120179470897805573622614917143,
86834416292937876529798505873656971287,
86834416292937876675715133800461041687, 60301542522552208162811427202727959,
86834221232474969343074700801124270103,
86834221232474969343074700801132396567,
125041278574763955643616195399247775858711,
125042161779304213129776134905089730609175,
180060713845402607164153382829077531691122711,
180060712962198066906877196917158361934004247,
259287427937379754316380870836525473287866613783,
125042162392640699419551264010590193516567,
180060713845402607164153382829077531690991639,
180060712962198066906877196917158361934135319,
259287426665565216345903163123361870334634426391,
125041278574764258216335864420168190590999,
125041278574764258216481781048094994661399,
180059441147660531831313233391287763291013143,
180059441147660531831313379307915690095083543,
60301542522552208162811427202859031, 86834221232475179463018915398985646103,
86834221232474969343074700801132527639,
125041278574763955853736139613845637234711,
60301542522552208162811427210592279, 60301542522552208162811427202465815,
86834221232474969343074700801132134423, 60301542522762182190398098268028951,
86834221232777541916827093794709504023,
86834834568961259118203806301661757463,
125042161779304213129776134905088656474135,
125042161779304213129776134905088656605207,
180060712962198066906877196917158360860000279,
86834221232777542062743721721513574423,
86834221232777542208660349648317644823,
86834416292433588663683471006480662551,
125041559461104367465292824482600442331159,
180059846507194829407297415820683735120543767,
259286178970360554346508278344438395362523938839,
180059846507808165893587190949789235583451159,
259286178971243758886765554530350314532280926231,
180059845623990289452383975550198813580525591,
180059845623990289452384121466826740384595991,
259286177698546016811432714380912524763880947735,
259286177698546016811432714526829152690685018135,
86834416292433588663683471006480793623,
125041559461104367675412768697198295580695,
125041559461104367465292824482600442462231,
180059845623990289150021375825392491027169303,
86834416292433588663683471006488526871,
86834416292433588663683471006480400407,
125041559461104367465292824482600442069015,
86834416292433798637711057677545963543,
125041559461104670037866576875594019438615,
125041560074440853755067953588100971692055,
180059846507194829407297415820683734046408727,
180059846507194829407297415820683734046539799,
259286178970360554346508278344438395361449934871,
125041559461104670038012493503520823509015,
125041559461104670038158410131447627579415,
144857805962282273817703577155996942359,
208595240585686473667425353154174586388503,
208595240585686473667425353154174594514967,
300377146443388522080462440744060943019737111,
300377146443973702561675524305406176944324631,
432543090878479471796167856885771606598213304343,
432543090879322131688812754999884998136686116887,
622862050865010439386481713915511213607829726232599,
432543090879322131688812754562439107331121610775,
300377146443388522080672123141053743750578199,
622862050866223869631890366569912414660151600939031,
432543090878479471796167857323217497403777810455,
300377146443973703166611281246455216992878615,
300377146443973702864038561577434296611438615,
432543090879322132124214898603707433557160820759,
432543090879322132559919614927097558906434420759,
144857805962282273526072983285620670487,
208595240585686473877545297368772447764503,
208595240585686473667133722560304218243095,
300377146443388522080672560688275540881113111,
144857805962282483937546460762250346519,
144857805962282273817703577155996680215,
208595240585686473667425353154174594252823,
144857805962282483500100569956685840407,
208595240585686776240144920844103359856663,
208595240586092849001163862257773347733527,
300377146443973702561675961751296982491791383,
300377146443973702561675524305406176927285271,
432543090879322131688812754999884998136669077527,
208595240585686776240145022175094975692823,
208595240585687078812864691196015357132823,
373372096052434315725342073579103934970817592360983,
537655818315505414644492585953699254983023566707949591,
537655818315506686359271217289132362727465420438700055,
774224378374329628357350552896350601890202835186466095127,
1114883104859034664834584796170744866721454735298265726517271,
774224378374329628357350552896350601890202835186466226199,
537655818315505414644492586256271974652044487122681879,
537655818315505414644492586256272120568672413926752279,
774224378374327797088069324209031433233485735557187174423,
774224378374327797088069324209031433087569107630383104023,
373372096052434315725342073789223879185415453736983,
259286177814190497031487551242718965225405349911,
537655818315505414644492585953909374927238164569325591,
373372096052434315725342073579103934970817600618519,
259286177814190497031487551242718965225413083159,
259286177814190497031487551388635593152209027095,
373372096052434315725342073579103934970817600225303,
373372096052434315725342376151677687363811177594903,
259286177814190497031487761216746551896470519831,
537655818315506686359271217289132362727465419364565015,
373372096052435198860605012006342222274190360248343,
537655818315506686359271217289132362727465419364696087,
774224378374329628357350552896350601890202835185392091159,
373372096052434315725342376151969520619664785735703,
373372096052434315725342376151823603991737981665303,
28971575183435275455200333223458638853,
60075458360644715304507959311909873402383365,
86508660039328390038491461409132482082939014149,
86508659952534421096067000683216847423695096837,
124572470331649566378336480983832242557545636105221,
86508660039328390038491461379969422695868271621,
41719068264146796655488482375549068708869,
124572470456632881655427704387155971212679671647237,
124572470456979877086442003006655612062544797633541,
179384357458051023004476484329584081352322662790728709,
258313474739593473126446137434601077147326892572659092485,
28971575183435275484363392610495302661,
41719068306003274517019436453267274599429,
60075458360644715304507959311909873368304645,
86508660039328390038491461409132482082904935429,
60075458300371125761157639383609471794809861,
86508660039328390038491461438336073866588916741,
86508660039328390038491461409152748281228102661,
208595340944429234476382936425717561950231,
208595340944429234476382936425717561884695,
432543300196100072659483334387318095147753406487,
432543300196100072659483334387318095148810305559,
622862352282384104629656001517738157141789292298263,
622862352282384104629656001517592341844855161028631,
622862350534610581396484056876379063628071223296023,
622862352283597836243012370923593184399173427724311,
896921784769839237210937041901985851724553106528075799,
896921787288380884189937814129974039819638782894735383,
622862352282384104629656001517592341844854087483415,
622862352282384104629656001517592341844854087417879,
300377290959978097645991428654494898610438167,
896921787286633110666704642185332972458049925744099351,
896921787290254334718735809024701481801218696705474583,
1291567373697966241994979564995570133793855049165710426135,
1291567373697966241994979564995570133793855049165710360599,
1859857018125071388472770573593620992663151370924532651982871,
208595340944429234476528751722652749725719,
300377291802847272680196760092384210456805399,
300377291802847272680196760092384211513704471,
432543300196100072659483334387318095147736367127,
432543300196100072659483334387318095147736301591,
622862352282384104629656001517738157141789275258903,
622862352282384104629656001517592341844854087024663,
432543298982368459303113928386475540829486579735,
432543300196942941835425257585929791368142848023,
622862352282384104629656001517884175100707695165463,
622862352282384104629656001517738258472780891095063,
208595642549429363888995538781051474804759,
622863251123530163043682938952025823235274997104663,
896923081617883434782903432090917185558897594435567639,
1291569237529752146087380940904713055674692022661595136023,
1859859702042843090365828554902786800171556612734271081086999,
432543924390496727654013457830420875928868356119,
300377725271178284000153138296267617155612695,
622863251122315287821779379275368512891039349932055,
622863251122315287820908877560735228399141639815191,
622863251122315287820908877560735329730133255651351,
896923081616134014462108783687458728994870170762543127,
208595642549429363889724513934735799681047,
432543924391340391002557596494968540477333307415,
300377725271178283093064901777288835663003671,
432543924390496727654013458559497360604809068567,
896923081617883434782903431183828511391366024146583575,
432543924390496727654013458267664104751200927767,
432543924390496727654013458413580732678004998167,
86508743101457632365574278591906464664232070149,
124572590066127921176510382480313619343362323844101,
124572590066127921176510382480284436017776963030021,
41719108362971466183774845444127646223365,
124572590066127921176510321965740502213592886217733,
622862050865010338862868087364558747643146302062615,
622862050865010338862868087364996497526926714273815,
896921353247362372168768922733842167861620693933948951,
622862050865010338860255674503374170900353394606103,
896921353247362372168768922733842021944992767129878551,
622862050865010338860255674503228254272426590535703,
300377146443388473602639657392405266093506583,
896921353247362372168768922431269302275971846748176407,
622862050865010338860255371930508585251506208833559,
48512506874381925676600786967, 69858009899110174832055144022039,
48512506874381925676600590359, 69858009899110174832055143956503,
100595534254718651960017157213847575, 69858292104057334690030432288791,
69858009898964258204128356597783, 100595940629842416238872100604739607,
100595940629842562155500027392163863, 144857569326492075983013328619450531863
, 208595742490041234103096118355856364273687,
69858009898964258204128356401175, 100595534254508386099174632573173783,
100595534254508532015802559369117719, 144858154506973079384177681051570470935
, 208595742490041234103096118355856364208151,
208595742490041234313216062570454217326615,
208594899830148589415539395069722374373399, 69858009898964258204128348209175,
100595940629842416238872100596350999, 100595534254508386099174632573370391,
144858154506973079238261053124783112215, 100595534254508532015802559369183255
, 144858154506973079384177681051578925079, 69858292104057334690030432092183,
100595940629842416238872100604542999, 144858154506973079238261053124782915607
, 100595940629842562155500027392098327,
144858154506973079384177681051578859543, 100595534254508532015802559360729111
, 144857569326492075983013328619450466327,
144858154506973289504121895649423589399,
144857569326492286102957543217303584791,
300377869185659377108458410634289333048115223,
101013926970313177177574308179345431, 100595941214620229085709915751448599,
101013926687702134314420839945601047, 100595534254718506144720222075748375,
209462478965641404195708711951839902826519,
208595743702636506822153192128906256973847,
209462478964799324355475126343620459233303,
300377871835273869894864908571711453885366295,
208594899831020301210786001457735090962455,
101013926687912108443338502585253911,
209462479592214418223756732983887463645207,
209462478964799626928048980067605618950167,
301625969710523622344393265081424535716691991,
145460054837250975135807427014359253015, 100595941214620228984378924135612439
, 144858155349053129737606172878333411351,
145460054430291073412866437320683552791,
145460054430291073412866437320683356183, 100595534254718506043389230459912215
, 144857569326794648702581018548241235991,
301625969710523622041820545311072623744778263,
434341396383154015740221585248045001355777736727,
208595743702636506822153090797914641137687,
432544134141787060546416649223408074812474458135,
434341396381407878983513222130843372236248580119,
301625969709311027071884182035238158013628439,
432544134141787060546719011969049509061806915607,
432544134141787060546719011969049509061806850071,
208594899830584596494462510001394201526295,
300376655756041818952026014502534323905691671,
101013926688122228387553100446629911, 145460054430896008732361595555167404055
, 209462479592214720796622318632734649155607,
301625970612789197946716045061093919386697751,
209462478964799929710888593303123861766167,
434341396381409134248498377098226813564691087383,
434341396383154016611933590614595603966297178135,
209462478965641404195562795323913048817687,
144858155349053129883522800805137481751,
209462478379619145714527770169582956642327,
144857569326794648848497646475045306391,
625451610791741782665919082757184902375483332558871,
432544134141787060546416859343352289410335834135,
625451610789227345736259039868414556444894107205655,
622863555037623896613991874414445723034250306846743,
300376655756669233743531842199665204693762071,
145460054430593436012692574634785964055,
301625970612788762241999575754340643309027351,
434341396381408506398002155093056185261433487383,
625451610791741783293333874262866784209428907229207,
209462478965641404195562795323913073590295,
301625969710523622041610425366858025858236439,
434341396383154015739919012528375980435371327511,
144858155349053129591790875943153434647,
144858155349053129591892206934769270807,
208595743702636506612178961880251926183959,
208595743702636506612324878508178730254359,
145460054430291073412866437320683421719,
209462478379619145714527770169582956707863,
209462478379619145714527770169582956511255,
301625968866651569828919989144627256111333399,
144857569326794648702581018548241301527,
144857569326794648848497646475045371927,
208594899830584294131716767236153253232663,
208594899830584294341836711450751114608663,
301625969710523622041820545311072623744647191,
434341396383154015740221585248045001355777933335,
301625969710523622041820545311072623744581655,
434341396383154015740221585248045001355777867799,
300377870931796569823900450849519133862526999,
300377870931796569823900596766147060666597399,
300377870931796569823900450849519133862461463,
300377870931796569823900596766147060666531863,
301625969709311027071884182035238158013825047,
434341396381407878983513222130843372236248514583,
300377870931796569824110424978436796543926295,
432544135442794372648605468343365015633480515607,
432544135442794372648605468343365015633480450071,
622863553164173367187275377235431393571040322846743,
208594899831020301210785900126743475126295,
300376655756669233743531696283037277889691671,
145460054836666407443107465780305395735,
209462478964799626717929035853006675705879,
145460054836666617563051680378166771735,
209462478964799929290648704873927057145879,
209462479592214720796476402004807845085207,
301625970612789197946715899144465992582627351,
209462479592214418223902649611814267715607,
301625970612788762241999721670968570113097751,
301625969709311462776390385582479901008396311,
301625969709311898783679428641626170663436311,
434341396383154016175926301571536457696642138135,
301625969710523622647176104694660053959507991,
625451610791741783921184370484871954837732164829207,
145460054837250975135807427014375768087,
209462478965641404195562795323913065463831,
144858155349053129591790875943161823255,
144858155349053129591892206934777659415,
208595743702636506612033247914308370432023,
300377870931796569521327731180498213455921175,
145460054836666197468978548117665742871,
209462478964799324355329209715692573294615,
209462478964799324355329209715692573163543,
301625969709311027071674062091023559070253079,
144858154506973289358205267722669654039,
144858154506973289358306598714285490199,
208595742490041536675961602673711959113751,
300377869185659812813174588006455763926974487,
209462478966077108912032102077189176426519,
301625969711151036833326227091575577728778263,
301625969711151036833326227091575577728647191,
301625969711151036833326227091575577728581655,
208595744330051298327834871300868625137687,
208595744330051298327834972631860240973847,
300377871835273869592082360690400797626597399,
300377871835273869592082214773772870822461463,
301625969709896207250315009447197596572975127,
434341396382250538440453613604064962216687566871,
434341396382250538440453613604064962216687370263,
300377871835273869592292188902690533503926295,
300377870931796570126683144647457716925366295,
432544134141787060982423728292439634411080515607,
432544135442794372212900752019974890284206850071,
300377869185660248820253657139346354148868119,
300377869185660248820253657240677345764704279,
432544131627350130886373760598978772148979433495,
145460054430593436012692574634794090519,
209462478964799626717929035853006683832343,
145460054430896008732361595555175530519,
301625969709311898178533989303584328826814487,
301625970612788762241999575754340643317153815,
301625970612789197946715899144465992590753815,
301625970612788762241999721670968570121224215,
434341397682416445043270684794205199941078286359,
209462478964799627138168924282203480326167,
301625969709311463078963105251500821389705239,
301625969710523622646965984750445456098131991,
434341396383154016611631017894926583045915738135,
209462478965641404195562795323913065332759,
301625969710523622041610425366858025849978903,
208595743702636506612178961880251934572567,
208595743702636506612324878508178738642967,
208595743702636506612033146583316754595863,
300377870931796569521327877097126140259991575,
301625969709311027071674062091023559070449687,
209462478964799324355329209715692573098007,
301625969709311027071674062091023559070384151,
434341396381407878983210649411174351314785075223,
208595742490041536675815686045785155043351,
208595742490041536675815686045785154977815,
208595742490041536675961602673711959048215,
300377869185659812813384707950670361788350487,
434341396384057493039989767011969255092737933335,
434341396384057493039989767011969255092737867799,
434341396384057493039989767011969255092737736727,
625451610793042789977585264497235827756705732558871,
300377871835273869592082214773772870822526999,
300377871835273869592082360690400797626531863,
432544135442794372212598389274333456034874458135,
432544135442794372212598599394277670632735834135,
625451610790440775354253203589853646015181322321943,
625451610790440775354253203589853646015181322256407,
900650319538234716510124613169389250362284255180947479,
432544135442794372212900752019974890284206915607,
432544134141787060982423728292439634411080450071,
622863555037623895986577082908763942531296322846743,
622863553164173367814690168741113174073994306846743,
300377869185659813115537333749221004875268119,
432544131627350758301165266280759275102963433495,
432544131627350758301165266426675903029767503895,
209462478380054547858131592605003439472663,
301625969709311462473817665913458979553214487,
209462478380490252574454982730352713072663,
209462478964799929290648704873927065272343,
434341397682415817628479178966508069060290215959,
434341397682416445043270684648288572014274215959,
434341397682415817628479179112424696987094286359,
301625970612789197946716045061093919394824215,
301625969709311463078963105251500821389836311,
434341396381408506833706871416446310610707087383,
434341396383154016611631017894926583045915607063,
625451610791741783920748665768548564712382891229207,
48512507020197222611788627991, 48512507020197222611788562455,
69858010109084101087734585032727, 69858010109230017715661389103127,
69858010319349961930259250479127, 48512702850141006570660823063,
48512506874381925676617039895, 69858292104057334690030448541719,
69858594677068735635812805640215, 48512507020197222611805077527,
69858010109375934343588209819671, 100596376334768859471881056123289623,
144858781922067577879497675203246751767, 100595534254508532015802559377047575
, 144858154506973079530094308978390859799, 69858010109230017715661413875735,
144858781922067368051386716459001774103,
144857569762499785411776201020016099351, 69858292104203149986965620129815,
69858009899110073501063544373271, 144858154506973289358103936731019935767,
69858594676776902379959197499415, 69858010109084101087734601678871,
69858010109230017715661405749271, 144858781922067157639609246007523999767,
144858781922067367759553460605385375767,
144857569326492286102856212225695612951,
208595742490041234313215961239462609354775,
144857569762499364880054515970685206551,
208596645967777009783877028011542420324375,
144857569762499575145915358495350652951, 69858009899110073501063544438807,
100595940629842562054169035792580631, 69858292104203149986965620064279,
100595940629842562054169035792515095, 100595940630052536081755706833174551,
100595534254718505942058238810193943, 144858154506973079384177681051586789399
, 100595534254508677932430486181117975, 100595940630052681998383633637244951,
100595940630262801942598231498620951, 144857569326492496222800426823556988951
, 208595742490041234523335905454060470730775,
69858010109230017715661405618199, 100595534557081251583492488134328343,
100595534557291371527707085995704343, 100595534557501491471921683857080343,
100596812039695448722848930062336023, 144859409337161236186975397808693510167
, 144859409337161446306919612406554886167,
144859409337161656426863827004416262167, 100595534557291371527707086003961879
, 144857569762499785119942945166407958551,
144858781922067367759553460605393633303,
208596645967777009784168861267396028465175, 48512506874381925676608651287,
69858292104057334690030440153111, 69858009898964258204128364462103,
100595940629842416238872100612603927, 69858009899110073501063536050199,
100595940629842562054169035784192023, 100595534254508531914471567761211415,
144858154506973079384076350059970953239, 69858009899110073501063535984663,
100595940629842562054169035784126487, 100595534254508531914471567761145879,
144858154506973079384076350059970887703, 48512912969983890176906166295,
69858594676776902379959197433879, 100596376334558739527666458245398551,
69858594676922819007886001504279, 69858594677068735635812805574679,
100596376334768859471881056106774551, 100596376334978979416095653968150551,
69858010109084101087734601744407, 69858010109084101087734601547799,
100595534557081105666864561330257943, 69858010109375934343588209885207,
100595534557291225611079159191633943, 100595534557501345555293757053009943,
100596376334768859471881056123486231, 69858594676922819007886018019351,
100596376334768859471881056123420695, 100596376334769151305136909731627031,
100596376334769005388508982927491095, 100596376334769151305136909731561495,
100595534254718651858686165614264343, 144858154506973499623964779255685382167
, 69858010319349961930259266994199, 100595534859864091196728006377144343,
100596376334769005388508982927360023, 144858781922067578025414303130050822167
, 100595534557291225611079159199891479, 100595534557291517444335012808032279,
100596376334769005388508982935617559, 144858781922067367905470088532197703703
, 208596645967777009993996972226140281700375,
144857569762499575291831986422154723351,
208596645967777009994288805481993889841175,
100595534254718505942058238801805335, 144858154506973289358103936731011547159
, 144857569326492285956939584298891542551,
208595742490041234313070044611535805284375,
144858154506973289504020564657824006167, 100595534254928771802900763475640343
, 100596376334769005388508982910844951, 100596812039485328778634332184444951,
100596812039695448722848930045820951, 100595534859653971252513408515768343,
100595534860074211140942604238520343, 144858781922067157785525873934328070167
, 144858781922067367905470088532189446167,
144857569762499574999998730568546582551,
208596645967777009573757083796944558948375,
208596645967777009784022944639469224394775, 48512912969983890176922877975,
69858594676776902379959214145559, 69858594676777003710950829981719,
69858594676777105041942445817879, 100596376334558739628997449886203927,
144858781921764585211773480940759023639, 48512507020197222611813400599,
69858010109084101087734609805335, 100595940630052536183086698473979927,
144858154507275652249661998907156398103, 100596376334768859471881056131547159
, 144859409336858663467306376888320393239,
144859409336858663613223004815124398103, 69858010319349961930259275251735,
144858781922369940625139109452579143703,
208595742490912946318728327139008342065175, 69858594676776902379959222272023,
100596376334558739527666458270367767, 144858781921764584919940225087150882839
, 69858594676776902379959213948951, 100596376334558739527666458261913623,
69858594676777003710950821593111, 69858594676777105041942437429271,
100596376334558885444294385057792023, 100596376334559031360922311861862423,
100596376334558885444294385066115095, 144858781921765005159828654282865311767
, 144858781921764585065856853013954887703,
144858781921764585211773480940758958103, 69858292104203149986965644902423,
100595940630052536081755706858143767, 69858010109084101087734609870871,
100595534557081105666864561338581015, 100595940630052536081755706849689623,
100595940630052536081755706857947159, 144858154507275651957828743053548257303
, 69858010109084303749717841674263, 144858154507275652103745370980352393239,
144858154507275652249661998907156463639,
144858154507276072197717172249262751767, 100595534557081251583492488142585879
, 100595534557081397500120414946656279, 100596376334768859471881056131743767,
100596812039485182862006405405212695, 144859409336858663321389748961516322839
, 69858897249642488028806399459351, 100596812039485182862006405405147159,
144859409336858663321389748961516257303, 100596812039485183064668388637016087
, 144858781922067157931442501861140463639,
100596812039485474695262259005161495, 144858781922067157785525873934336327703
, 144858781922067157931442501861140398103,
100595940630052681998383633662017559, 144858154507578434797441978571791073303
, 208597549445512482681964342390628653924375,
144859409337161446452836240333367214103,
144859409336858873733167219412985774103,
144857570198204291469305483844624252951,
208595742490477241812524881228256929841175,
100596376334558739527666458262044695, 144858781921764584919940225087142559767
, 100596376334559031360922311870185495,
144858781921764795039884439685003935767,
208596645967341002494833968865272765284375,
208596645967341002704953913079870626660375,
100595940630052536081755706849886231, 144858154507275651957828743053539999767
, 100595534557081105666864561338384407,
144857569762196792160385495050303766551, 100595940630052827915011560458027031
, 144858154507275862077772957651401375767,
208595742490476939029393434736885078884375,
208595742490476939239513378951482940260375,
100596812039485182862006405397086231, 100596812039485182862006405397020695,
144858781922067157639609246007532126231,
208596645967776707001037414776024177508375,
100596812039485474695262259005227031, 100596812039485328778634332201091095,
208597549445076475392921283244358998884375,
208597549445076475603041227458956860260375,
144858781921764585065958184005570789399,
144859409336556090747738686959554789399,
144859409336556090893655314886358859799,
208595742490476938819419407150214021578775,
100595534859653971252513408523894807, 144857569762197002426246337574969212951
, 208595742490912643745862741490161156554775,
144859409337161236186975397808701636631,
208597549445076475182947255657687941578775,
208596645967776707211303275618548842954775,
208596645968212411927626665743898116554775,
208595742490477241391993159543207598948375,
100595534859863945280100079581331479,
208595742490912946318436493883154733924375,
100595534859864237113355933189472279, 144858781922369940479222481525775073303
, 208597549445076777965640952265279380324375,
208596645968212714500200418136891693924375,
144858781922369940771055737379383214103,
208595742490477241602259020385732264394775,
208595742490912946318582410511081537994775,
208596645968212714500346334764818497994775, 69858594676776902379959214014487,
100596376334558739527666458262110231, 100596376334558885444294385066180631,
100596376334559031360922311870251031, 100596376334558739730328441502040087,
144858781921764585065856853013954953239, 69858010109084101087734610001943,
69858292104203149986965636579351, 100595940630052536081755706849820695,
100595534557081105666864561338515479, 100595940630052536284417690089816087,
100595940630052681998383633653891095, 100595940630052827915011560457961495,
144858154507275652103745370980352327703,
144858781922067157639609246007532322839, 100596812039485182862006405396889623
, 144859409336858663321389748961507999767,
144858781922067157639609246007532257303,
144859409336858663613223004815124463639,
144859409336858873441333963559369375767,
144859409336859083561278178157230751767,
144859409336858663467306376888320327703,
144858154507578224677599094965545598999, 100595534557081251583492488142454807
, 144858154507578224823414391900733636631,
100595534859653971353844400139927575, 144857570197901718749636462924242812951
, 208595742490476939239659295579409744330775,
144859409336858663321491079953132158999,
144858781922067157785525873934336196631,
144858781922369730505194894854717636631,
208597549445512180109390589997635076554775,
208597549445076475603187144086883664330775,
144858154507275862077772957651409633303,
144857570198204081203444641319958806551, 100595534859864091196728006385401879
, 144858154507578434943358606498595143703,
100596376334979125332723580796993559, 144859409336858873587250591486181703703
, 208596645968212714710320362351489555300375,
208597549445076778175760896479877241700375,
208595742490477241602404937013659068465175,
208595742490912946528702354725679399370775,
208596645968212714500492251392745302065175,
144858781921764584919940225087150817303, 100596376334559031360922311861796887
, 144858781921765005159828654282856923159,
144858154507275651957828743053548322839,
144858154507275651957828743053548126231, 100595534557081397500120414946721815
, 144857569762197212400273924246026518551,
100596812039485182862006405405343767, 144859409336858663321389748961516126231
, 100596376334768859674543039363416087,
208596645967776707421277303205219900260375,
100595534557081105768195552954417175, 100595940630052681998383633653760023,
144858154507275652249763329898772299799,
144858154507276072343633800176066822167, 100596376334979125332723580788736023
, 144858781922369730505296225846333669399,
144858781922369940625139109452570886167, 100595940630262801942598231523393559
, 144858154507275862369606213505017774103,
100596812039485328778634332209217559, 144859409337161446306919612406563143703
, 144857570198204291615222111771428323351,
208597549445076778176052729735730849841175,
144859409336556300867581570565792006167,
144859409336556510987525785163653382167,
208597549444640770886863753961534390730775,
144858154507275652103745370980344070167,
144857569762196792306302122977107836951,
208595742490912643535742797275563295178775,
144858154507275862223689585578205446167,
208595742490476939029539351364811882954775,
144857570197901928869580677522104188951,
144858781922369730505194894854709510167,
208596645967776707001183331403950981578775,
208596645968212411717506721529300255178775,
144858781922370150745083324050432262167,
208597549445076475393067199872285802954775,
208597549445512180319510534212232937930775,
208595742490477241602113103757805460324375,
144857570198204501443333070515681558551,
208595742490912946528556438097752595300375,
208596645968212714290080473922293832548375,
208597549445076777755521008050681518948375,
208597549445076777965786868893206184394775,
208597549445512482892230203233153319370775,
144858154507275651957930074045164158999, 100595534859653825437216473335857175
, 100595940630262801942598231515136023,
144858154507578224823414391900725510167,
144858154507275652103745370980352196631,
144857570197901508629692248326381436951,
144858154507578224823515722892349669399,
144858154507578434943358606498586886167,
144858154507578645063302821096448262167,
208595742490912643955982685704759017930775,
144857569762197212546190552172830588951,
144858781922369730359379597919529598999,
144859409336858663467306376888312070167,
208597549445512179899270645783037215178775,
144859409336858663467306376888320196631,
144859409336858873587250591486173446167,
144859409336859083707194806084034822167,
208596645968212412137746609958495977930775,
208596645967776707421423219833146704330775,
144858154507275862223689585578213703703,
144857570198204291323388855917820182551,
144858154507578435089275234425399214103,
208595742490477241812233047972403321700375,
144858781922369940479222481525774942231,
144859409336858873441333963559377633303,
208597549445512482682110259018555457994775 ];