CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

Views: 418346
#############################################################################
##
#W  sml256.d               GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 256 ][ 4 ] :=
[ 19826837383801418705308533645, 5075670370253163250165982741391,
5075670370253163214981610652559, 5075670370253163285350354830223,
77448583530359495797556101, 19826837383772092531172492167,
77448583530429864541733765, 19826837383790106929681974151,
19826837383787793557217133453, 5075670370249675212254584292239,
19826837383787863925961311117, 5075670370249693226653093774223,
19826837383772057346800403335, 19826837383772127715544580999,
19826837383790071745309885319, 19826837383790142114054062983,
5075670370249675177070212203407, 5075670370249675247438956381071,
5075670370249693191468721685391, 5075670370249693261837465863055,
77448583530394680169644933, 19826837383781099730427233159,
77448583530465048913822597, 19826837383799114128936715143,
5075670370249684219453839033231, 5075670370249702233852348515215,
19826837383781064546055144327, 19826837383781134914799321991,
19826837383799078944564626311, 19826837383799149313308803975,
5075670370249684184269466944399, 5075670370249684254638211122063,
5075670370249702198667976426383, 5075670370249702269036720604047,
19826837383778786357962392461, 5075670370247369369245370598287,
19826837383778856726706570125, 5075670370247387383643880080271,
19826837383796800756471874445, 5075670370251981055263797986191,
19826837383796871125216052109, 5075670370251999069662307468175,
5075670370247369334060998509455, 5075670370247369404429742687119,
5075670370247387348459507991439, 5075670370247387418828252169103,
5075670370251981090448170075023, 5075670370251999034477935379343,
5075670370251999104846679557007, 5075670370247378376444625339279,
5075670370251990062463052727183, 5075670370247378341260253250447,
5075670370247396355658762732431, 5075670370247396426027506910095,
5075670370251990027278680638351, 5075670370251990097647424816015,
5075670370252008041677190120335, 5075670370252008112045934297999,
77448583530377087983600517, 77448583530447456727778181,
19826837383794610529309344647, 5075670370249679715854211662735,
5075670370249697730252721144719, 19826837383776560946427773831,
19826837383794645713681433479, 5075670370249679751038583751567,
5075670370249697695068349055887, 5075670370249697765437093233551,
19826837383785568145682514823, 5075670370249688758237838492559,
5075670370249706702267603796879, 5075670370249706772636347974543,
5075670370251985558863425356687, 19826837383796888717402096525,
5075670370252003573261934838671, 5075670370251985594047797445519,
5075670370252003538077562749839, 5075670370251994601247052186511,
19826837383776578538613818247, 19826837383794663305867477895,
5075670370249679768630769795983, 5075670370249697712660535100303,
5075670370249697783029279277967, 19826837383785585737868559239,
5075670370249688775830024536975, 5075670370249706719859789841295,
5075670370249706790228534018959, 5075670370251985576455611401103,
5075670370252003590854120883087, 5075670370251985611639983489935,
5075670370252003555669748794255, 5075670370251994618839238230927,
5075670370246216412556391662479, 5075670370246234497323645322127,
5075670370250828168943563228047, 5075670370250846112973328532367,
5075670370246225419755646403471, 5075670370250837176142817969039,
5075670370253134011952776921999, 5075670370253151955982542226319,
5075670370253143019152031662991, 5075670370246234514915831366543,
5075670370250828186535749272463, 5075670370250846130565514576783,
5075670370253151973574728270735, 5075670370253143036744217707407,
5075670370246239000923272692623, 5075670370248544843932486386575,
304003504333840377233793, 77824897109524743302726019,
77824897109524743302726025, 19923173660038395892228735371,
19923173660038395892228735373, 5100332456969829410017287127439,
19923173660029388692973994375, 19923173660038360707856646541,
5100332456969820402818032386447, 19923173660038431076600824205,
5100332456969838417216541868431, 77824897109489558930637193,
19923173660029388692973994381, 5100332456967523531823701344655,
19923173660024832316788490631, 19923173660024902685532668295,
19923173660042846715297972615, 5100332456969815846441846882703,
5100332456969815916810591060367, 5100332456969833860840356364687,
77824897109471966744592777, 19923173660024885093346623883,
19923173660024885093346623885, 5100332456966370645503466586511,
77824897109542335488770441, 19923173660042899491856105869,
5100332456970982331521893974415, 5100332456966361638304211845519,
5100332456966379652702721327503, 5100332456966361603119839756687,
77824897109507151116681609, 19923173660033892292601364875,
19923173660033892292601364877, 5100332456968676453328308191631,
5100332456968676523697052369295, 5100332456968667481313425539471,
304003504333840377233794, 77824897109463411169739139,
77824897109524743302726026, 19923173660038395892228735374,
19923173660038334422656795019, 19923173660038334697534701963,
5100332456969829348547715187087, 5100332456969820341623338353039,
19923173660047341759350489483, 77824897109463205011308931,
19923173660038334353937318283, 5100332456969829348478995710351,
19923173660029327154682577287, 5100332456969820341279740969359,
19923173660029327154682577291, 5100332456967523505469782016399,
77824897109471966744592774, 19923173660024823761213636999,
19923173660038343115670602126, 5100332456969815837748833075599,
5100332456969815838023710982543, 5100332456972121680895485723023,
1161999106965504897, 297471832990179918723, 297471832990179918725,
76152789271908697768839, 76152789342277441946503, 76152789271908697768843,
76152789342277441946507, 76152780299893815116679, 19495114053617457081353103,
19495114053687825825530767, 19495114071631855590835087,
19495114071667039962923919, 19495114071737408707101583,
19495110594905719818945423, 297471771417528763267, 297471841786272940931,
76152789245520418702215, 76152789315889162879879, 76152780238321163961223,
76152780308689908138887, 19495114053608660988330895,
19495114053679029732508559, 19495114071623059497812879,
76152780343874280227719, 19495114053714214104597391,
19495114071658243869901711, 76152780238321163961227, 76152780308689908138891,
19495111743262052147266447, 19495111743332420891444111,
19495111743367605263532943, 19495111752269251402007439,
19495111752339620146185103, 19495110594844147167789967,
19495110594914515911967631, 19495110594949700284056463, 1155208763670545280,
295733443774533092226, 75707761606555345109891, 295733443774533092228,
75707761606555345109894, 19381186971278443221631879, 295733443774533092232,
75707761606555345109898, 19381186971278443221631883, 295733443911972045697,
75707761606417906156419, 75707761606692784063363, 75707761606417906156421,
19381186971278305782678407, 19381186971278580660585351,
75707761606417906156425, 75707761606692784063369, 19381186971278305782678411,
19381186971278580660585355, 75707761641739717198723, 75707761606417906156422,
19381186971243258849543047, 75707761606692784063366,
19381186971313627593720711, 75707761606417906156426,
19381186971243258849543051, 75707761606692784063370,
19381186971313627593720715, 19381186971278305782678414,
4961583864647246555239170959, 19381186971278580660585358,
4961583864647316923983348623, 19381186971243396288496519,
19381186971313765032674183, 19381186971243121410589579,
19381186971243396288496523, 19381186971313490154767243,
19381186971313765032674187, 4961583864647246417800217487,
4961583864647246692678124431, 4961583864647316786544395151,
4961583864647317061422302095, 75707761571370973021062,
19381186962271243966890887, 19381186980285642476372871,
75707761606417906156428, 19381186971243258849543053,
19381186971243258849543054, 4961583864638274540356518799,
19381186971313627593720718, 4961583864656288938866000783,
19381186962271381405844359, 19381186980285505037419399,
19381186971243121410589581, 19381186971243396288496525,
4961583864638274402917565327, 4961583864638274677795472271,
19381186971313490154767245, 19381186971313765032674189,
4961583864656288801427047311, 4961583864656289076304954255,
75707761641877156152198, 19381186980320826848461703,
19381186971243121410589582, 4961583864638239355984429967,
19381186971243396288496526, 4961583864638309724728607631,
19381186971313490154767246, 4961583864656253754493911951,
19381186971313765032674190, 4961583864656324123238089615,
19381186980320964287415175, 4961583864638239218545476495,
4961583864638239493423383439, 4961583864638309587289654159,
4961583864638309862167561103, 4961583864656253617054958479,
4961583864656253891932865423, 4961583864656323985799136143,
4961583864656324260677043087, 295733443911972045704, 75707761641739717198729,
19381186980285642476372875, 19381186980285642476372877,
19381186980285642476372878, 4961583866953124748824953743,
75707761641877156152201, 19381186980285505037419403,
19381186980285505037419405, 4961583866953124611386000271,
4961583866953124886263907215, 75707761641877156152202,
19381186980320826848461707, 19381186980285505037419406,
4961583866953089564452864911, 4961583866953159933197042575,
19381186980320689409508235, 19381186980320964287415179,
4961583866953089701891818383, 4961583866953159795758089103,
19381186980250458104284046, 4961583866944117549570212751,
4961583866962131948079694735, 4961583866944117687009166223,
4961583866962131810640741263, 75707761606349186679683,
19381186971278237063201671, 19381186971278511941108615,
75707761606349186679689, 19381186971278237063201675,
19381186971278511941108619, 19381186971243465007973255,
19381186971313833752150919, 19381186971243190130066315,
19381186971243465007973259, 19381186971313558874243979,
19381186971313833752150923, 4961583864647246486519694223,
4961583864647246761397601167, 4961583864647316855263871887,
4961583864647317130141778831, 19381186962271037808460679,
19381186971243052691112845, 19381186971243327569019789,
4961583864638274334198088591, 4961583864638274609075995535,
4961583864656288732707570575, 4961583864656289007585477519,
19381186980320895567938439, 4961583864638239149825999759,
4961583864638239424703906703, 4961583864638309518570177423,
4961583864638309793448084367, 4961583864656253548335481743,
4961583864656253823213388687, 4961583864656323917079659407,
4961583864656324191957566351, 4961583864638239287264953231,
4961583864638239562142860175, 4961583864638309656009130895,
4961583864638309930887037839, 4961583864656253685774435215,
4961583864656253960652342159, 4961583864656324054518612879,
4961583864656324329396519823, 75707761641808436675465,
4961583866953124542666523535, 4961583866953124817544430479,
4961583866953124680105477007, 4961583866953124954983383951,
19381186980320895567938443, 4961583866953089358294434703,
4961583866953089633172341647, 19381186980320758128984971,
4961583866953089770611295119, 4961583866944117343411782543,
4961583866944117618289689487, 4961583866944117755728642959,
75707761553572628546438, 19381186957714867781387143,
19381186971225460505068430, 4961583864633718164171015055,
19381186971225735382975374, 4961583864633788532915192719,
4961583864633718026732061583, 4961583864633788395476239247,
4961583864633788670354146191, 4961583864633718095451538319,
4961583864633788464195715983, 4961583864633788739073622927,
295733443568374662024, 75707761553778786976650, 19381186957767644339520395,
75707761553778786976652, 75707761553916225930121, 19381186957767506900566923,
19381186957767781778473867, 19381186957767506900566925,
19381186957802828711609227, 19381186957767506900566926,
4961583861188482041418630031, 19381186957767781778473870,
4961583861188552410162807695, 4961583861188482178857583503,
4961583861188552547601761167, 19381186957732459967431566,
4961583861179510026535977871, 4961583861197524425045459855,
4961583861179510163974931343, 4961583861197524287606506383,
19381186957802966150562702, 4961583861197559746856502159,
19381186957767438181090187, 4961583861188482247577060239,
4961583861188552616321237903, 4961583861179509820377547663,
295733443534014923650, 75707761606314826941318, 75707761606589704848262,
19381186971287239314654087, 75707761606314826941322,
19381186971216870570476427, 75707761606589704848266, 75707761545120132907907,
19381186971216733131522951, 19381186971287101875700615,
19381186971287376753607559, 19381186971216733131522955,
19381186971217008009429899, 19381186971287101875700619,
19381186971287376753607563, 75707761571130454852486,
19381186962209671315735431, 19381186971243018331374478,
4961583864638212967705363343, 19381186971243293209281422,
4961583864638283336449541007, 19381186971313387075552142,
4961583864656227366214845327, 19381186962209533876781959,
19381186962209808754688903, 19381186980223932386263943,
4961583864638212830266409871, 4961583864638213105144316815,
4961583864638283199010587535, 4961583864638283473888494479,
4961583864656227228775891855, 4961583864656227503653798799,
4961583864656297597520069519, 4961583864656297872397976463,
75707761641911515890566, 19381186980329622941483911,
19381186971243155770327950, 4961583864638248152077452175,
19381186971243430648234894, 4961583864638318520821629839,
19381186971313524514505614, 4961583864656262550586934159,
19381186971313799392412558, 4961583864656332919331111823,
19381186980329760380437383, 4961583864638248014638498703,
4961583864638248289516405647, 4961583864638318383382676367,
4961583864638318658260583311, 4961583864656262413147980687,
4961583864656262688025887631, 4961583864656332781892158351,
4961583864656333056770065295, 75707761571130454852490,
19381186962209671315735435, 19381186962271003448722318,
4961583862341377157746410383, 75707761641499199030154,
19381186980224069825217419, 19381186980285401958204302,
4961583866953063176173798287, 19381186980285676836111246,
4961583866953133544917975951, 19381186962209808754688907,
4961583862341377020307456911, 4961583862341377295185363855,
19381186980223932386263947, 19381186980224207264170891,
4961583866953063038734844815, 4961583866953063313612751759,
4961583866953133407479022479, 4961583866953133682356929423,
19381186962271140887675790, 75707761641911515890570,
19381186980329622941483915, 19381186980285539397157774,
4961583866953098360545887119, 19381186980285814275064718,
4961583866953168729290064783, 4961583862341412204679545743,
19381186980329760380437387, 4961583866953098223106933647,
4961583866953098497984840591, 4961583866953168591851111311,
4961583866953168866729018255, 19381186962235819076633486,
4961583862332369958491669391, 19381186962306187820811150,
19381186980250217586115470, 4961583866944055976919057295,
4961583862332369821052715919, 4961583862332370095930622863,
4961583862350384219562197903, 4961583866944055839480103823,
4961583866944056114358010767, 19381186962306325259764622,
19381186980250355025068942, 4961583866944091161291146127,
4961583866944161530035323791, 4961583862350419403934286735,
4961583866944091023852192655, 4961583866944091298730099599,
4961583866944161392596370319, 19381186971287033156223879,
19381186971287308034130823, 19381186971216664412046219,
19381186971216939289953163, 19381186971287033156223883,
19381186962209465157305223, 4961583864638212761546933135,
4961583864638213036424840079, 4961583864638283130291110799,
4961583864638283405169017743, 4961583864656227160056415119,
4961583864656227434934322063, 19381186980329691660960647,
4961583864638247945919021967, 4961583864638248220796928911,
4961583864638318314663199631, 4961583864638318589541106575,
4961583864656262344428503951, 4961583864656262619306410895,
4961583864656332713172681615, 4961583864656332988050588559,
4961583864638248083357975439, 4961583864638248358235882383,
4961583864638318452102153103, 4961583864638318726980060047,
4961583864656262481867457423, 4961583864656262756745364367,
4961583864656332850611635087, 4961583864656333125489542031,
19381186962209465157305227, 4961583862341377226465887119,
19381186980224138544694155, 4961583866953062970015368079,
4961583866953133338759545743, 4961583866953133613637452687,
4961583862341377363904840591, 19381186980224001105740683,
4961583866953063382332228495, 4961583866953133476198499215,
4961583866953133751076406159, 19381186980329691660960651,
4961583866953098154387456911, 4961583866953098429265363855,
4961583866953168523131634575, 4961583866953098291826410383,
4961583866953098566704317327, 4961583866953168935448494991,
4961583862332369752333239183, 4961583866944055770760627087,
4961583862332369889772192655, 4961583866944056183077487503,
4961583866944090955132715919, 4961583866944091230010622863,
4961583866944091092571669391, 4961583866944091367449576335,
75707761553538268808070, 19381186971225426145330062,
4961583864633709368077992847, 19381186971225701023237006,
19381186957705934249411463, 4961583864633709230639039375,
4961583864633709505516946319, 4961583864633779599383217039,
4961583864633779874261123983, 19381186962218226890589070,
4961583862327866358864298895, 4961583862327866221425345423,
19381186962253411262677902, 4961583862336873558119039887,
4961583862336873420680086415, 4961583862336873695557993359,
4961583864633709161919562639, 4961583864633709436797469583,
4961583864633779530663740303, 4961583862327866427583775631,
4961583862336873626838516623, 4961583862336873764277470095,
75707761553606988284806, 19381186957723663874409351,
19381186971225494864806798, 4961583864633726960264037263,
19381186971225769742713742, 4961583864633797329008214927,
4961583864633726822825083791, 4961583864633727097702990735,
4961583864633797191569261455, 19381186962218295610065806,
4961583862327883951050343311, 4961583862327883813611389839,
19381186962253479982154638, 4961583862336891150305084303,
4961583862336891012866130831, 4961583862336891287744037775,
4961583864633726891544560527, 4961583864633727166422467471,
4961583864633797260288738191, 4961583862327884019769820047,
4961583862336891219024561039, 4961583862336891356463514511,
75707761553538268808074, 19381186957706071688364939,
19381186957767403821351822, 4961583861188455653139563407,
19381186957767678699258766, 4961583861188526021883741071,
4961583861188525884444787599, 4961583861188526159322694543,
4961583861197462989833257871, 4961583861188526228042171279,
295733443534014923656, 75707761544982693954442, 19381186955515844525835147,
75707761544982693954444, 19381186955515844525835150,
4961583860612056473487295375, 75707761545120132907913,
19381186955515707086881675, 19381186955515981964788619,
19381186955515707086881677, 4961583860612056336048341903,
4961583860612056610926248847, 19381186955551028897923979,
19381186955515707086881678, 4961583860612021289115206543,
19381186955515981964788622, 4961583860612091657859384207,
4961583860612021426554160015, 4961583860612091795298337679,
19381186955480660153746318, 4961583860603049274232554383,
4961583860621063672742036367, 4961583860603049411671507855,
4961583860621063535303082895, 19381186955551166336877454,
4961583860621098857114125199, 4961583860621098994553078671,
19381186955515638367404939, 4961583860612056267328865167,
4961583860612056542206772111, 4961583860612021495273636751,
4961583860612091864017814415, 4961583860603049068074124175,
4961583860621098925833601935, 19381186955462861809271694,
4961583860598492898047050639, 295733443602734400392, 75707761562574879998858,
19381186960019444153205643, 75707761562574879998860,
19381186960019444153205646, 4961583861764977978094142351,
19381186960019581592159115, 4961583861764977840655188879,
19381186960019306714252174, 4961583861764942793722053519,
19381186960019581592159118, 4961583861764942931161006991,
4961583861765013299905184655, 19381186959984259781116814,
4961583861755970778839401359, 19381186960054765964247950,
4961583861774020361720972175, 19381186959966461436642190,
75707761544742175785865, 19381186955515604007666571,
19381186955515604007666573, 4961583860612056232969126799,
75707761545154492646281, 19381186955515741446620043,
19381186955515741446620045, 4961583860612056645285987215,
4961583860612021048597037967, 4961583860612091417341215631,
4961583860612091692219122575, 4961583860612021460913898383,
4961583860612091829658076047, 4961583860603049033714385807,
4961583860621063707101774735, 4961583860621098616595956623,
4961583860621098891473863567, 4961583860621099028912817039,
19381186955515672727143307, 4961583860612056301688603535,
4961583860612021529633375119, 4961583860612091898377552783,
4961583860603049102433862543, 4961583860621098960193340303,
4961583860598492657528882063, 4961583860598492932406789007,
75707761562334361830281, 19381186960019203635037067,
19381186960019203635037069, 4961583861764977737575973775,
4961583861764942553203884943, 4961583861765012921948062607,
4961583861764942965520745359, 4961583861765013334264923023,
4961583861755970538321232783, 4961583861774020121202803599,
4961583861774020396080710543, 4961583861751414162135729039,
75707761545017053692810, 19381186955524640618857355,
19381186955515878885573518, 4961583860612065269580317583,
19381186955524503179903883, 19381186955524778057810827,
4961583860612065132141364111, 4961583860612065407019271055,
19381186955559824990946187, 19381186955515741446620046,
4961583860612030085208228751, 4961583860612030222647182223,
19381186955480694513484686, 4961583860603058070325576591,
4961583860621072468835058575, 4961583860603057932886623119,
4961583860603058207764530063, 4961583860621072331396105103,
19381186955524434460427147, 4961583860612065063421887375,
4961583860612065338299794319, 19381186955524571899380619,
4961583860612065475738747791, 4961583860612029879049798543,
4961583860612030291366658959, 4961583860603057864167146383,
4961583860621072537554535311, 4961583860603058001606099855,
19381186955498286699529102, 4961583860607561463794516879,
75707761562609239737226, 19381186960028240246227851,
19381186960019341073990542, 4961583861764951589815075727,
4961583861764951452376122255, 19381186959984294140855182,
4961583861755979574932423567, 19381186960054388007125902,
4961583861755979437493470095, 4961583861773923467258774415,
4961583861773994110880859023, 4961583861760483037120840591,
1181746829481081881472, 302527188347431826801538, 77446960216942822526337923,
302527188347431826801540, 77446960216942822526337926,
19826421815537362841607652231, 302527188347431826801544,
77446960216942822526337930, 19826421815537362841607652235,
302527188347569265755009, 77446960216942685087384451,
77446960216942959965291395, 77446960216942685087384453,
77446960216942959965291397, 19826421815537362704168698759,
19826421815537362979046605703, 77446960216942685087384457,
77446960216942959965291401, 19826421815537362704168698763,
19826421815537362979046605707, 19826421815537362704168698765,
19826421815537362979046605709, 5075563984777564887588985160591,
5075563984777564887863863067535, 302527188347294387848066,
77446960216907638154249091, 302527188347569265755010,
77446960216978006898426755, 77446960216942685087384454,
19826421815537327657235563399, 77446960216942959965291398,
19826421815537398025979741063, 77446960216942685087384458,
19826421815537327657235563403, 77446960216942959965291402,
19826421815537398025979741067, 19826421815537362704168698766,
5075563984777564852542052025231, 19826421815537362979046605710,
5075563984777564922910796202895, 77446960216978144337380227,
19826421815537327519796609927, 19826421815537327794674516871,
19826421815537397888540787591, 19826421815537398163418694535,
19826421815537327519796609931, 19826421815537327794674516875,
19826421815537397888540787595, 19826421815537398163418694539,
5075563984777564852404613071759, 5075563984777564852679490978703,
5075563984777564922773357249423, 5075563984777564923048235156367,
77446960216907638154249094, 19826421815528355642352911239,
302527188347569265755012, 77446960216978006898426758,
19826421815546370040862393223, 77446960216942685087384460,
19826421815537327657235563405, 19826421815537327657235563406,
5075563984777555880527169373071, 77446960216942959965291404,
19826421815537398025979741069, 19826421815537398025979741070,
5075563984777573894925678855055, 77446960216907500715295621,
77446960216907775593202565, 19826421815528355504913957767,
19826421815528355779791864711, 77446960216977869459473285,
77446960216978144337380229, 19826421815546369903423439751,
19826421815546370178301346695, 19826421815537327519796609933,
5075563984777555880389730419599, 5075563984777555880664608326543,
19826421815537397888540787597, 19826421815537398163418694541,
5075563984777573894788239901583, 5075563984777573895063117808527,
77446960216907500715295622, 19826421815528320457980822407,
77446960216907775593202566, 19826421815528390826725000071,
77446960216977869459473286, 19826421815546334856490304391,
77446960216978144337380230, 19826421815546405225234482055,
19826421815537327519796609934, 5075563984777555845342797284239,
19826421815537327794674516878, 5075563984777555915711541461903,
19826421815537397888540787598, 5075563984777573859741306766223,
19826421815537398163418694542, 5075563984777573930110050943887,
19826421815528320320541868935, 19826421815528320595419775879,
19826421815528390964163953543, 19826421815546334719051350919,
19826421815546405087795528583, 19826421815546405362673435527,
5075563984777555845205358330767, 5075563984777555845480236237711,
5075563984777555915574102508431, 5075563984777555915848980415375,
5075563984777573859603867812751, 5075563984777573859878745719695,
5075563984777573929972611990415, 5075563984777573930247489897359,
302527188347294387848072, 77446960216907638154249097,
77446960216907638154249098, 19826421815528355642352911243,
19826421815528355642352911245, 19826421815528355642352911246,
5075563984775259044717210420111, 302527188347569265755016,
77446960216978006898426761, 77446960216978006898426762,
19826421815546370040862393227, 77446960216978006898426764,
19826421815546370040862393229, 19826421815546370040862393230,
5075563984779870730735637808015, 77446960216907775593202569,
19826421815528355504913957771, 19826421815528355779791864715,
19826421815528355504913957773, 19826421815528355779791864717,
5075563984775259044579771466639, 5075563984775259044854649373583,
77446960216978144337380233, 19826421815546369903423439755,
19826421815546370178301346699, 19826421815546369903423439757,
19826421815546370178301346701, 5075563984779870730598198854543,
5075563984779870730873076761487, 77446960216907500715295626,
19826421815528320457980822411, 19826421815528390826725000075,
19826421815528355504913957774, 5075563984775259009532838331279,
5075563984775259079901582508943, 77446960216977869459473290,
19826421815546334856490304395, 77446960216978144337380234,
19826421815546405225234482059, 19826421815546369903423439758,
5075563984779870695551265719183, 19826421815546370178301346702,
5075563984779870765920009896847, 19826421815528320595419775883,
19826421815528390689286046603, 19826421815528390964163953547,
5075563984775259009395399377807, 5075563984775259009670277284751,
5075563984775259079764143555471, 5075563984775259080039021462415,
19826421815546334719051350923, 19826421815546334993929257867,
19826421815546405087795528587, 19826421815546405362673435531,
5075563984779870695413826765711, 5075563984779870695688704672655,
5075563984779870765782570943375, 5075563984779870766057448850319,
5075563984775250037517955679119, 5075563984775268051916465161103,
19826421815546334856490304398, 19826421815528320595419775885,
5075563984775250037380516725647, 5075563984775250037655394632591,
19826421815528390689286046605, 19826421815528390964163953549,
5075563984775268051779026207631, 5075563984775268052053904114575,
19826421815546334993929257869, 5075563984779861723398944113551,
5075563984779861723673822020495, 19826421815546405362673435533,
5075563984779879737797453595535, 5075563984775250002333583590287,
5075563984775250072702327767951, 19826421815528390689286046606,
5075563984775268016732093072271, 19826421815528390964163953550,
5075563984775268087100837249935, 5075563984779861688352010978191,
19826421815546334993929257870, 5075563984779861758720755155855,
5075563984779879702750520460175, 19826421815546405362673435534,
5075563984775250002471022543759, 5075563984775250072564888814479,
5075563984775268016594654118799, 5075563984775268016869532025743,
5075563984775268086963398296463, 5075563984775268087238276203407,
5075563984779861688489449931663, 5075563984779861758583316202383,
5075563984779861758858194109327, 5075563984779879702613081506703,
5075563984779879773256703591311, 77446960216942616367907717,
19826421815537362635449222023, 19826421815537362635449222027,
19826421815537362910327128971, 77446960216978075617903491,
19826421815537327451077133191, 19826421815537327725955040135,
19826421815537397819821310855, 19826421815537398094699217799,
19826421815537327451077133195, 19826421815537327725955040139,
19826421815537397819821310859, 19826421815537398094699217803,
5075563984777564852335893595023, 5075563984777564852610771501967,
5075563984777564922704637772687, 5075563984777564922979515679631,
77446960216977938178950019, 19826421815537327588516086663,
19826421815537327863393993607, 19826421815537397957260264327,
19826421815537398232138171271, 19826421815537327588516086667,
19826421815537327863393993611, 19826421815537397957260264331,
19826421815537398232138171275, 5075563984777564852473332548495,
5075563984777564852748210455439, 5075563984777564922842076726159,
5075563984777564923116954633103, 19826421815528355436194481031,
77446960216978075617903493, 19826421815546369834703963015,
19826421815546370109581869959, 19826421815537327451077133197,
19826421815537327725955040141, 5075563984777555880321010942863,
5075563984777555880595888849807, 19826421815537397819821310861,
19826421815537398094699217805, 5075563984777573894719520424847,
5075563984777573894994398331791, 19826421815528355573633434503,
77446960216977938178950021, 19826421815546369972142916487,
19826421815546370247020823431, 5075563984777555880458449896335,
5075563984777555880733327803279, 5075563984777573894856959378319,
19826421815528320251822392199, 19826421815528390620566569863,
19826421815546334650331874183, 19826421815546334925209781127,
19826421815546405293953958791, 5075563984777555845136638854031,
5075563984777555845411516760975, 5075563984777555915505383031695,
5075563984777555915780260938639, 5075563984777573859535148336015,
5075563984777573859810026242959, 5075563984777573929903892513679,
5075563984777573930178770420623, 19826421815528320389261345671,
19826421815528390758005523335, 19826421815546334787770827655,
19826421815546335062648734599, 19826421815546405156515005319,
5075563984777555845274077807503, 5075563984777555845548955714447,
5075563984777555915642821985167, 5075563984777555915917699892111,
5075563984777573859672587289487, 5075563984777573859947465196431,
5075563984777573930041331467151, 5075563984777573930316209374095,
77446960216907431995818889, 19826421815528355436194481035,
19826421815528355436194481037, 19826421815528355711072387981,
5075563984775259044511051989903, 5075563984775259044785929896847,
19826421815546369834703963019, 19826421815546370109581869963,
19826421815546370109581869965, 5075563984779870730529479377807,
5075563984779870730804357284751, 19826421815528355573633434507,
19826421815528355573633434509, 19826421815528355848511341453,
5075563984775259044648490943375, 5075563984775259044923368850319,
19826421815546369972142916491, 19826421815546370247020823435,
19826421815546369972142916493, 19826421815546370247020823437,
5075563984779870730666918331279, 5075563984779870730941796238223,
19826421815528320251822392203, 19826421815528390620566569867,
5075563984775259009326679901071, 5075563984775259009601557808015,
5075563984775259079695424078735, 5075563984775259079970301985679,
19826421815546334650331874187, 19826421815546334925209781131,
19826421815546405293953958795, 5075563984779870695345107288975,
5075563984779870695619985195919, 5075563984779870765713851466639,
5075563984779870765988729373583, 5075563984775259009464118854543,
5075563984775259009738996761487, 5075563984775259079832863032207,
5075563984775259080107740939151, 19826421815546334787770827659,
19826421815546335062648734603, 19826421815546405156515005323,
5075563984779870695757424149391, 5075563984779870765851290420111,
5075563984779870766126168327055, 5075563984775268051985184637839,
5075563984779861723330224636815, 5075563984779879737728734118799,
19826421815528390758005523341, 19826421815528391032883430285,
5075563984775268051847745684367, 5075563984775268052122623591311,
19826421815546335062648734605, 5075563984779861723467663590287,
5075563984779861723742541497231, 5075563984779879737866173072271,
5075563984779879738141050979215, 5075563984775268016525934642063,
5075563984775268016800812549007, 5075563984775268086894678819727,
5075563984775268087169556726671, 5075563984779861688420730454927,
5075563984779861758514596725647, 5075563984779861758789474632591,
5075563984779879702819239936911, 5075563984775268016663373595535,
5075563984775268016938251502479, 5075563984775268087032117773199,
5075563984775268087306995680143, 5075563984779861688558169408399,
5075563984779861758652035679119, 5075563984779861758926913586063,
5075563984779879702956678890383, 77446960216942616367907718,
19826421815537310065049518983, 77446960216942891245814666,
19826421815537380433793696651, 19826421815537327451077133198,
5075563984777555827750611239823, 19826421815537327725955040142,
5075563984777555898119355417487, 19826421815537397819821310862,
5075563984777573842149120721807, 19826421815537398094699217806,
19826421815546317401743213447, 5075563984777555827613172286351,
5075563984777555897981916464015, 5075563984777555898256794370959,
5075563984777573842011681768335, 5075563984777573842286559675279,
5075563984777573912380425945999, 5075563984777573912655303852943,
19826421815537327588516086670, 19826421815537327863393993614,
19826421815537397957260264334, 5075563984777573877333492810639,
19826421815537398232138171278, 19826421815546422954859479943,
5075563984777555933166288552847, 5075563984777573877196053857167,
5075563984777573877470931764111, 5075563984777573947564798034831,
5075563984777573947839675941775, 19826421815528355436194481038,
5075563984775258991940652286863, 19826421815528355711072387982,
5075563984775259062309396464527, 19826421815546369834703963022,
5075563984779870677959079674767, 19826421815546370109581869966,
5075563984779870748327823852431, 5075563984775258991803213333391,
5075563984775258992078091240335, 5075563984775259062446835417999,
5075563984779870677821640721295, 5075563984779870678096518628239,
5075563984779870748190384898959, 5075563984779870748465262805903,
5075563984775259027125024375695, 5075563984775259097493768553359,
19826421815546369972142916494, 5075563984779870713143451763599,
19826421815546370247020823438, 5075563984779870783512195941263,
5075563984775259027262463329167, 5075563984779870713006012810127,
5075563984779870713280890717071, 5075563984779870783374756987791,
5075563984779870783649634894735, 19826421815537309996330042247,
19826421815537380365074219911, 19826421815537380639952126855,
19826421815537380365074219915, 19826421815537380639952126859,
5075563984777564834881146504079, 5075563984777564905249890681743,
5075563984777564905524768588687, 5075563984777555897913196987279,
5075563984777573841942962291599, 5075563984777573842217840198543,
5075563984777573912586584376207, 19826421815528302797075301255,
19826421815546317470462690183, 5075563984777555898050635940751,
5075563984777555898325513847695, 5075563984777573842080401245071,
5075563984777573842355279152015, 5075563984777573912449145422735,
5075563984777573912724023329679, 19826421815528337844008436615,
19826421815546422611262096263, 5075563984777555862728824898447,
5075563984777555933097569076111, 5075563984777555933372446983055,
5075563984777573877127334380431, 5075563984777573877402212287375,
5075563984777573947496078558095, 5075563984777573947770956465039,
5075563984777555862866263851919, 5075563984777555933235008029583,
5075563984777555933509885936527, 5075563984777573877264773333903,
5075563984777573877539651240847, 5075563984777573947908395418511,
19826421815528302659636347787, 5075563984775258991734493856655,
5075563984775258992009371763599, 5075563984775259062103238034319,
5075563984775259062378115941263, 5075563984779870677752921244559,
5075563984779870678027799151503, 5075563984779870748121665422223,
5075563984779870748396543329167, 5075563984775258991871932810127,
5075563984775258992146810717071, 5075563984775259062515554894735,
5075563984779870677890360198031, 5075563984779870678165238104975,
5075563984779870748533982282639, 19826421815528337844008436619,
5075563984775259026918865945487, 5075563984775259027193743852431,
5075563984775259097287610123151, 5075563984775259097562488030095,
19826421815546422611262096267, 5075563984779870712937293333391,
5075563984779870713212171240335, 5075563984779870783306037511055,
5075563984779870783580915417999, 5075563984775259027331182805903,
5075563984775259097425049076623, 5075563984775259097699926983567,
19826421815546423023578956683, 5075563984779870713074732286863,
5075563984779870713349610193807, 5075563984779870783443476464527,
5075563984779870783718354371471, 5075563984775267998933748597647,
5075563984775267999208626504591, 5075563984775268069302492775311,
5075563984775268069577370682255, 5075563984779861740922410681231,
5075563984779861741197288588175, 5075563984775267999071187551119,
5075563984775267999346065458063, 5075563984775268069439931728783,
5075563984775268069714809635727, 5075563984779861741059849634703,
5075563984779861741334727541647, 5075563984775268034118120686479,
5075563984775268034392998593423, 5075563984775268104486864864143,
5075563984775268104761742771087, 5075563984779861705738038592399,
5075563984779861776106782770063, 5075563984779861776381660677007,
5075563984775268034255559639951, 5075563984775268034530437546895,
5075563984775268104624303817615, 5075563984775268104899181724559,
5075563984779861705875477545871, 5075563984779861776244221723535,
5075563984779861776519099630479, 19826421815537310065049518990,
5075563984777551376927542002575, 19826421815537380433793696654,
77446960216889908529251206, 5075563984777551341743169913743,
5075563984777551412111914091407, 5075563984777569356141679395727,
5075563984777569426510423573391, 19826421815523816720914498439,
19826421815523887364536583047, 5075563984777551411974475137935,
5075563984777569356279118349199, 5075563984777569426372984619919,
19826421815528302728355824526, 5075563984775245569102700397455,
5075563984779857184752383607695, 19826421815546317401743213454,
5075563984775245498596517266319, 5075563984779857255258566738831,
19826421815528337912727913358, 5075563984775254576301955138447,
19826421815546422954859479950, 5075563984777551376721383572367,
19826421815537380227635266445, 5075563984777569391119893054351,
19826421815523816652195021703, 19826421815523816927072928647,
19826421815523887295817106311, 5075563984777551341811889390479,
5075563984777551411905755661199, 5075563984777569355935520965519,
5075563984777569356210398872463, 5075563984777569426304265143183,
5075563984777569426579143050127, 19826421815523816789633975175,
19826421815523817064511882119, 19826421815523887433256059783,
5075563984777551412318072521615, 5075563984777569356072959918991,
5075563984777569356347837825935, 5075563984777569426441704096655,
5075563984777569426716582003599, 19826421815528302659636347789,
5075563984775245533712169878415, 5075563984775245533987047785359,
5075563984779857219730597266319, 5075563984779857220005475173263,
5075563984775245533849608831887, 5075563984775245534124486738831,
5075563984779857219868036219791, 5075563984779857220142914126735,
5075563984775245498527797789583, 5075563984775245498802675696527,
5075563984775245568896541967247, 5075563984779857184821103084431,
5075563984779857254914969355151, 5075563984779857255189847262095,
5075563984775245498665236743055, 5075563984775245498940114649999,
5075563984775245569308858827663, 5075563984779857255052408308623,
5075563984779857255327286215567, 19826421815528337981447390093,
19826421815528338256325297037, 5075563984775254541048863572879,
5075563984775254541323741479823, 19826421815546422748701049741,
19826421815546423023578956685, 5075563984779884241465800442767,
5075563984779884241740678349711, 5075563984775254505727052530575,
5075563984775254506001930437519, 5075563984775254576095796708239,
5075563984775254576370674615183, 5075563984779884206143989400463,
5075563984779884206418867307407, 5075563984779884276512733578127,
5075563984779884276787611485071, 5075563984775254505864491484047,
5075563984775254506139369390991, 5075563984775254576508113568655,
5075563984779884206281428353935, 5075563984779884206556306260879,
5075563984779884276650172531599, 5075563984779884276925050438543,
19826421815537380227635266446, 5075563984777569338549493351311,
5075563984777569338412054397839, 5075563984777569408780798575503,
5075563984777569409055676482447, 19826421815528302659636347790,
5075563984775245481141770175375, 5075563984775245481279209128847,
5075563984775245586694886441871, 19826421815546317195584783246,
5075563984775245586557447488399, 5075563984775245586832325395343,
5075563984779857202207130698639, 5075563984775254488203585962895,
5075563984775254488478463869839, 5075563984775254558847208047503,
5075563984779884188620522832783, 5075563984779884188895400739727,
5075563984779884258989267010447, 5075563984779884259264144917391,
19826421815528337981447390094, 5075563984775254523525397005199,
5075563984775254593894141182863, 19826421815546422748701049742,
5075563984779884223942333875087, 19826421815546423023578956686,
5075563984779884294311078052751, 5075563984775254523387958051727,
5075563984775254523662835958671, 5075563984775254594031580136335,
5075563984779884223804894921615, 5075563984779884224079772828559,
5075563984779884294173639099279, 5075563984779884294448517006223,
5075563984777569338480773874575, 5075563984777569408849518052239,
5075563984777569409124395959183, 5075563984775245481210489652111,
5075563984775245586763605918607, 5075563984775254558778488570767,
5075563984779884258920547533711, 5075563984775254488272305439631,
5075563984775254488547183346575, 5075563984775254558915927524239,
5075563984779884188689242309519, 5075563984779884188964120216463,
5075563984779884259057986487183, 5075563984779884259332864394127,
5075563984775254523319238574991, 5075563984775254523594116481935,
5075563984775254593962860659599, 5075563984779884223736175444879,
5075563984779884224011053351823, 5075563984779884294104919622543,
5075563984779884294379797529487, 5075563984775254523456677528463,
5075563984775254523731555435407, 5075563984775254594100299613071,
5075563984779884223873614398351, 5075563984779884224148492305295,
5075563984779884294242358576015, 5075563984779884294517236482959,
77446960216960414712382348, 19826421815541866441235022734,
5075563984778717809231030961039, 19826421815541866303796069261,
5075563984778717809093592007567, 5075563984778717809368469914511,
77446960216889908529251210, 19826421815523816858353451915,
19826421815523887227097629579, 19826421815541866303796069262,
5075563984778717774046658872207, 19826421815541866578673976206,
5075563984778717844415403049871, 19826421815523816995792405387,
19826421815523887364536583051, 5075563984778717773909219918735,
5075563984778717774184097825679, 5075563984778717844277964096399,
5075563984778717844552842003343, 5075563984778717809024872530831,
5075563984778717809299750437775, 19826421815523816652195021707,
19826421815523887295817106315, 5075563984778717773840500441999,
5075563984778717774115378348943, 5075563984778717844209244619663,
5075563984778717844484122526607, 5075563984778717773977939395471,
5075563984778717774252817302415, 5075563984778717844346683573135,
5075563984778717844621561480079, 19826421815541866509954499470,
5075563984778717826823217005455, 19826421815541813802115842958,
5075563984778704333616520938383, 5075563984778704333479081984911,
5075563984778704333753959891855, 5075563984778704333410362508175,
5075563984778704333822679368591, 302527188347191308632961,
302527188347466186539905, 77446960216942856886076293,
19826421815537362601089483655, 19826421815537362601089483659,
19826421815537327416717394823, 19826421815537327691595301767,
19826421815537397785461572487, 19826421815537398060339479431,
19826421815537327416717394827, 19826421815537397785461572491,
19826421815537398060339479435, 5075563984777564852301533856655,
5075563984777564922670278034319, 77446960216978178697118597,
19826421815546370212661085063, 5075563984777555880424090157967,
5075563984777555880698968064911, 5075563984777573894822599639951,
19826421815546404984716313479, 19826421815546405259594220423,
5075563984777555845102279115663, 5075563984777555915471023293327,
5075563984777573859500788597647, 5075563984777573929869532775311,
5075563984777573930144410682255, 19826421815546335028288996231,
5075563984777573859638227551119, 5075563984777573930006971728783,
5075563984777573930281849635727, 5075563984775259009567198069647,
5075563984779870695310747550607, 5075563984779870765679491728271,
5075563984775259009704637023119, 5075563984779870765816930681743,
77446960216942650727646085, 19826421815537362669808960391,
77446960216942650727646089, 19826421815537362669808960395,
77446960216907603794510723, 19826421815537327622875825031,
19826421815537327897753731975, 19826421815537397991620002695,
19826421815537398266497909639, 19826421815537327622875825035,
19826421815537397991620002699, 19826421815537398266497909643,
5075563984777564852782570193807, 5075563984777564922876436464527,
19826421815528320286182130567, 19826421815546334959569519495,
19826421815546405053435790215, 5075563984777555845170998592399,
5075563984777555915814620677007, 5075563984777573859844385981327,
5075563984777573929938252252047, 5075563984777573930213130158991,
19826421815528320423621084039, 19826421815546334822130566023,
19826421815546405465752650631, 5075563984777555845308437545871,
5075563984777555915677181723535, 5075563984777573859981824934799,
5075563984777573930075691205519, 5075563984777573930350569112463,
19826421815528355745432126349, 5075563984775259044545411728271,
77446960216977835099734921, 19826421815546370143941608331,
5075563984779870730838717023119, 19826421815528355607993172877,
5075563984775259044682850681743, 5075563984775259044957728588687,
19826421815546370006502654859, 19826421815546370281380561805,
5075563984779870730701278069647, 5075563984779870730976155976591,
19826421815528320286182130571, 5075563984775259009361039639439,
5075563984775259009635917546383, 5075563984775259080004661724047,
19826421815546405053435790219, 5075563984779870695654344934287,
5075563984779870765748211205007, 5075563984779870766023089111951,
19826421815528320423621084043, 5075563984775259009498478592911,
5075563984775259009773356499855, 5075563984775259079867222770575,
5075563984779870695791783887759, 5075563984779870765885650158479,
5075563984779870766160528065423, 19826421815528390929804215181,
5075563984775268051744666469263, 5075563984775268052019544376207,
5075563984779861723364584375183, 5075563984779861723639462282127,
5075563984779879738037971764111, 5075563984775268016560294380431,
5075563984775268016835172287375, 5075563984775268086929038558095,
5075563984775268087203916465039, 5075563984779861758548956464015,
5075563984779861758823834370959, 5075563984779879702853599675279,
5075563984775268016697733333903, 5075563984775268016972611240847,
5075563984775268087066477511567, 5075563984779861758686395417487,
5075563984779861758961273324431, 19826421815546317229944521607,
5075563984777555827716251501455, 5075563984777573842114760983439,
5075563984777573842389638890383, 19826421815546422920499741575,
5075563984777555933406806721423, 5075563984777573877436572025743,
5075563984777573947805316203407, 5075563984775258991768853595023,
5075563984775258992043731501967, 5075563984775259062412475679631,
5075563984779870677787280982927, 5075563984779870678062158889871,
5075563984779870748430903067535, 5075563984775258991906292548495,
5075563984775258992181170455439, 5075563984775259062275036726159,
19826421815546317229944521611, 5075563984779870677924719936399,
5075563984779870678199597843343, 5075563984779870748568342021007,
5075563984775259027090664637327, 5075563984775259097459408814991,
5075563984775259097734286721935, 5075563984779870713109092025231,
5075563984779870713383969932175, 5075563984779870783752714109839,
5075563984775267998968108336015, 5075563984775267999242986242959,
5075563984775268069611730420623, 5075563984779861670588026241935,
5075563984779861741231648326543, 5075563984775268104521224602511,
5075563984775268034289919378319, 5075563984775268104658663555983,
5075563984779861776553459368847, 5075563984777551376755743310735,
5075563984777569391154252792719, 5075563984777551412214993306511,
5075563984777569356244758610831, 5075563984777569426613502788495,
5075563984777569356382197564303, 5075563984777569426476063835023,
5075563984779857219902395958159, 5075563984779857220177273865103,
5075563984775245498562157527951, 5075563984779857254949329093519,
5075563984775245498699596481423, 5075563984779857255361645953935,
5075563984779884206453227045775, 5075563984779884276547093316495,
5075563984775245481176129913743, 5075563984779857166919679394703,
5075563984775245481313568867215, 5075563984779884294070559884175,
5075563984775245481382288343951, 5075563984779884188861041001359,
5075563984779884224182852043663, 5075563984779884294551596221327,
5075563984778717774218457564047, 19826421815546343721302803335,
19826421815546413815169074055, 5075563984777555853932731876239,
5075563984777555924576353960847, 5075563984777573868606119265167,
5075563984777573938699985535887, 5075563984777573938974863442831,
19826421815546343583863849863, 19826421815546414227485934471,
5075563984777555924713792914319, 5075563984777573868743558218639,
5075563984777573938837424489359, 5075563984777573939112302396303,
5075563984775258982938400834447, 5075563984775258983213278741391,
5075563984775259053307145012111, 19826421815546378905674892171,
5075563984779870739325572400015, 5075563984779870739600450306959,
5075563984775258983075839787919, 5075563984775258983350717694863,
5075563984775259053719461872527, 5075563984779870669369145082767,
5075563984779870739737889260431, 5075563984775259018122772923279,
5075563984775259088491517100943, 5075563984779870704416078218127,
5075563984779870774509944488847, 5075563984779870774784822395791,
5075563984775259018535089783695, 5075563984775259088628956054415,
5075563984775259088903833961359, 19826421815546343583863849867,
5075563984779870704553517171599, 5075563984779870774647383442319,
5075563984779870774922261349263, 5075563984775267990137655575439,
5075563984775267990412533482383, 5075563984775268060506399753103,
5075563984775268060781277660047, 5075563984779861732401195565967,
5075563984779879746799705047951, 5075563984775267990549972435855,
5075563984779861732538634519439, 5075563984779879746662266094479,
5075563984775268025734344524687, 5075563984775268095828210795407,
5075563984775268096103088702351, 5075563984779861697079384523663,
5075563984779861767723006608271, 5075563984777555907121606869903,
5075563984777573850876494267279, 5075563984777573851151372174223,
5075563984777573921520116351887, 5075563984777555871524917920655,
5075563984777573885923427402639, 5075563984777573886198305309583,
5075563984777573956567049487247, 5075563984775259000530586878863,
5075563984775259070899331056527, 5075563984775259071174208963471,
5075563984779870686549014266767, 5075563984779870686823892173711,
5075563984779870757192636351375, 5075563984775259000942903739279,
5075563984779870686686453220239, 5075563984779870757330075304847,
5075563984775259035989836874639, 5075563984779870721733386355599,
5075563984775259036127275828111, 5075563984779870721870825309071,
5075563984779870722145703216015, 5075563984779870792514447393679,
5075563984775245472414396629903, 5075563984779857228801568195471,
5075563984779875243200077677455, 5075563984779857263985940284303,
5075563984779875208015705588623, 5075563984775245507736207672207,
5075563984779857264123379237775, 5075563984779875207878266635151,
5075563984779866236000822936463, 5075563984779884250124454511503,
5075563984779884250399332418447, 5075563984775254514935462413199,
5075563984779884215077521376143, 5075563984779884285446265553807,
5075563984779884285721143460751, 5075563984777578389591774249871,
5075563984775245489937863197583, 19826421815546317092505568142,
19826421815546387461249745806, 5075563984775245525122235286415,
19826421815546317229944521614, 19826421815546387873566606222,
5075563984779857211003223720847, 5075563984775254497137117938575,
19826421815546352276877656974, 19826421815546422645621834638,
5075563984779884197416615854991, 5075563984779884232600987943823,
5075563984777578389523054773135, 5075563984777578389797932680079,
5075563984777578459891798950799, 5075563984779884197347896378255,
5075563984779884197622774285199, 5075563984779884267991518462863,
5075563984779884197485335331727, 5075563984779884232669707420559,
5075563984779884232944585327503, 5075563984779884303038451598223,
19826421815541901522527896462, 5075563984781032632913781375887,
5075563984781032703282525553551, 5075563984781032703557403460495,
5075563984781023643306712679311, 5075563984781032685827778462607,
5075563984781032615321595331471, 5075563984781032650505967420303,
5075563984781032721149589504911, 5075563984781032615252875854735,
5075563984781032685896497939343, 5075563984781010185559266608015,
5075563984781010185627986084751, 5075563984781010132507830567823,
5075563984779877521388170429327, 5075563984779877521250731475855,
5075563984779868514188915688335, 19826421815546396635299890062,
19826421815546361450927801230, 5075563984779868531918540686223,
5075563984781012437359080293263, 1181746829481082897280,
302527188347431827817346, 77446960216942822527353731,
77446960216942822527353738, 19826421815537362841608668043,
5075563984777564887726425129871, 302527188347569266770817,
77446960216942685088400259, 77446960216942959966307203,
77446960216942685088400265, 77446960216942959966307209,
19826421815537362704169714571, 19826421815537362979047621515,
19826421815537362704169714573, 19826421815537362979047621517,
5075563984777564887588986176399, 5075563984777564887863864083343,
302527188347294388863874, 77446960216907638155264899,
302527188347569266770818, 77446960216978006899442563,
77446960216942685088400262, 19826421815537327657236579207,
77446960216942959966307206, 19826421815537398025980756871,
77446960216942685088400266, 19826421815537327657236579211,
77446960216942959966307210, 19826421815537398025980756875,
19826421815537362704169714574, 5075563984777564852542053041039,
19826421815537362979047621518, 5075563984777564922910797218703,
77446960216907500716311427, 77446960216907775594218371,
77446960216977869460489091, 77446960216978144338396035,
19826421815537327519797625735, 19826421815537397888541803399,
19826421815537398163419710343, 19826421815537327519797625739,
19826421815537327794675532683, 19826421815537397888541803403,
19826421815537398163419710347, 5075563984777564852404614087567,
5075563984777564852679491994511, 5075563984777564922773358265231,
5075563984777564923048236172175, 77446960216907500716311429,
77446960216907775594218373, 19826421815528355504914973575,
19826421815528355779792880519, 19826421815546369903424455559,
19826421815546370178302362503, 5075563984777555880389731435407,
5075563984777555880664609342351, 5075563984777573895063118824335,
19826421815528320457981838215, 19826421815528390826726015879,
77446960216977869460489094, 77446960216978144338396038,
19826421815537327519797625742, 5075563984777555845342798300047,
19826421815537327794675532686, 5075563984777555915711542477711,
19826421815537397888541803406, 5075563984777573859741307782031,
19826421815537398163419710350, 5075563984777573930110051959695,
19826421815528320320542884743, 19826421815528320595420791687,
19826421815528390689287062407, 19826421815528390964164969351,
19826421815546334719052366727, 19826421815546334993930273671,
19826421815546405362674451335, 5075563984777555845205359346575,
5075563984777555845480237253519, 5075563984777555915574103524239,
5075563984777555915848981431183, 5075563984777573859603868828559,
5075563984777573859878746735503, 5075563984777573929972613006223,
5075563984777573930247490913167, 19826421815528320457981838219,
77446960216907775594218378, 19826421815528390826726015883,
19826421815528355779792880526, 5075563984775259079901583524751,
77446960216978144338396042, 5075563984779870765920010912655,
19826421815528320595420791691, 19826421815528390689287062411,
19826421815528390964164969355, 5075563984775259009395400393615,
5075563984775259079764144571279, 5075563984775259080039022478223,
19826421815546334719052366731, 19826421815546334993930273675,
19826421815546405362674451339, 5075563984779870695413827781519,
5075563984779870695688705688463, 5075563984779870765782571959183,
5075563984775250002471023559567, 5075563984775250072564889830287,
5075563984775250072839767737231, 5075563984775268086963399312271,
5075563984775268087238277219215, 5075563984779861758583317218191,
5075563984779879773256704607119, 77446960216942616368923523,
77446960216942891246830467, 77446960216942616368923529,
19826421815537362635450237835, 19826421815537362910328144779,
19826421815537362635450237837, 5075563984777564887520266699663,
5075563984777564887795144606607, 77446960216907431996834691,
77446960216978075618919299, 19826421815537327725956055943,
19826421815537397819822326663, 19826421815537327451078149003,
19826421815537327725956055947, 19826421815537397819822326667,
19826421815537398094700233611, 5075563984777564852335894610831,
5075563984777564852610772517775, 5075563984777564922704638788495,
5075563984777564922979516695439, 77446960216907569435788163,
77446960216977938179965827, 19826421815537327863395009415,
19826421815537398232139187079, 19826421815537327588517102475,
19826421815537327863395009419, 19826421815537397957261280139,
19826421815537398232139187083, 5075563984777564852473333564303,
5075563984777564852748211471247, 5075563984777564922842077741967,
5075563984777564923116955648911, 77446960216907431996834693,
19826421815528355436195496839, 19826421815528355711073403783,
19826421815546369834704978823, 19826421815546370109582885767,
19826421815537327451078149005, 19826421815537327725956055949,
5075563984777555880321011958671, 5075563984777555880595889865615,
5075563984777573894719521440655, 5075563984777573894994399347599,
19826421815528320251823408007, 19826421815528390620567585671,
19826421815546334925210796935, 19826421815546405293954974599,
5075563984777555845136639869839, 5075563984777555845411517776783,
5075563984777555915505384047503, 5075563984777555915780261954447,
5075563984777573859535149351823, 5075563984777573859810027258767,
5075563984777573929903893529487, 5075563984777573930178771436431,
19826421815528320389262361479, 19826421815528391032884446087,
19826421815546335062649750407, 19826421815546405156516021127,
5075563984777555845274078823311, 5075563984777555845548956730255,
5075563984777555915642823000975, 5075563984777555915917700907919,
5075563984777573859672588305295, 5075563984777573859947466212239,
5075563984777573930041332482959, 5075563984777573930316210389903,
77446960216907431996834697, 19826421815528355436195496843,
19826421815528355711073403787, 19826421815528355711073403789,
5075563984775259044511053005711, 5075563984775259044785930912655,
77446960216978075618919305, 19826421815546369834704978827,
19826421815546370109582885771, 19826421815546369834704978829,
5075563984779870730529480393615, 5075563984779870730804358300559,
19826421815528355573634450315, 19826421815528355848512357259,
5075563984775259044648491959183, 5075563984775259044923369866127,
19826421815546369972143932299, 19826421815546370247021839243,
5075563984779870730666919347087, 5075563984779870730941797254031,
19826421815528390620567585675, 19826421815528390895445492619,
5075563984775259079695425094543, 5075563984775259079970303001487,
19826421815546334650332889995, 19826421815546334925210796939,
5075563984779870695345108304783, 5075563984779870695619986211727,
19826421815528390758006539147, 19826421815528391032884446091,
5075563984775259079832864048015, 5075563984775259080107741954959,
19826421815546334787771843467, 19826421815546335062649750411,
5075563984779870695482547258255, 5075563984779870695757425165199,
19826421815528320251823408013, 5075563984775250037311798264719,
5075563984775250037586676171663, 19826421815528390895445492621,
5075563984775268051710307746703, 5075563984775268051985185653647,
5075563984779861723330225652623, 5075563984779861723605103559567,
19826421815546405293954974605, 5075563984779879737728735134607,
5075563984779879738003613041551, 19826421815528320389262361485,
5075563984775250037449237218191, 5075563984775250037724115125135,
19826421815528391032884446093, 5075563984775268051847746700175,
5075563984775268052122624607119, 5075563984779861723467664606095,
5075563984779861723742542513039, 19826421815546405156516021133,
5075563984779879737866174088079, 5075563984779879738141051995023,
5075563984775250072496170353551, 5075563984775250072771048260495,
5075563984775268086894679835535, 5075563984775268087169557742479,
5075563984779861688145853563791, 5075563984779861688420731470735,
5075563984779879702544363045775, 5075563984779879702819240952719,
5075563984775250072633609307023, 5075563984775250072908487213967,
5075563984775268087032118789007, 5075563984775268087306996695951,
5075563984779861688283292517263, 5075563984779861688558170424207,
5075563984779879702681801999247, 5075563984779879702956679906191,
302527188347225669387138, 77446960216890045969220483,
77446960216942616368923530, 19826421815537310065050534795,
77446960216942891246830474, 19826421815537380433794712459,
19826421815537362635450237838, 5075563984777564834949866996623,
77446960216889908530267011, 19826421815537380296355758987,
19826421815537380571233665931, 5075563984777564834812428043151,
77446960216907431996834694, 19826421815528302865795793799,
19826421815537327451078149006, 5075563984777555827750612255631,
19826421815537327725956055950, 5075563984777555898119356433295,
19826421815537398094700233614, 5075563984777573912517865915279,
19826421815528302728356840327, 19826421815528303003234747271,
5075563984777555827613173302159, 5075563984777555827888051209103,
5075563984777555897981917479823, 5075563984777573912380426961807,
77446960216907431996834698, 19826421815528302865795793803,
19826421815528355436195496846, 5075563984775258991940653302671,
19826421815528302728356840331, 5075563984775258991803214349199,
5075563984775258992078092256143, 77446960216907569435788170,
19826421815528338050167882635, 19826421815528355573634450318,
5075563984775259027125025391503, 77446960216978213057872778,
19826421815546422817421542283, 19826421815546370247021839246,
5075563984779870783512196957071, 19826421815528337912728929163,
19826421815528338187606836107, 5075563984775259026987586438031,
5075563984775259027262464344975, 19826421815546422679982588811,
19826421815546422954860495755, 5075563984779870783374758003599,
5075563984779870783649635910543, 19826421815528320251823408014,
5075563984775249984741398561679, 19826421815528390620567585678,
5075563984775267999139908043663, 5075563984775249984603959608207,
5075563984775249984878837515151, 5075563984775267999002469090191,
5075563984775267999277346997135, 77446960216889977249743747,
19826421815537380365075235723, 19826421815537380639953142667,
5075563984777564834881147519887, 19826421815528302659637363591,
19826421815528302934515270535, 5075563984777555827544453825423,
5075563984777555897913198003087, 5075563984777555898188075910031,
5075563984777573912311707485071, 5075563984777573912586585392015,
19826421815528302797076317063, 19826421815528303071954224007,
5075563984777555827681892778895, 5075563984777555898050636956559,
5075563984777573912449146438543, 19826421815528302659637363595,
5075563984775258991734494872463, 5075563984775258992009372779407,
5075563984775258991871933825935, 5075563984775258992146811732879,
19826421815528337844009452427, 19826421815528338118887359371,
5075563984775259026918866961295, 5075563984775259027193744868239,
19826421815546422611263112075, 19826421815546422886141019019,
5075563984779870783306038526863, 5075563984779870783580916433807,
19826421815528337981448405899, 19826421815528338256326312843,
5075563984775259027056305914767, 5075563984775259027331183821711,
19826421815546422748702065547, 19826421815546423023579972491,
5075563984779870783443477480335, 5075563984779870783718355387279,
5075563984775249984535240131471, 5075563984775249984810118038415,
5075563984775267998933749613455, 5075563984775249984672679084943,
5075563984775249984947556991887, 5075563984775267999346066473871,
77446960216889839810790278, 19826421815523799266168423303,
19826421815537309858892104590, 5075563984777551324150984885135,
19826421815537310133770011534, 5075563984777551394519729062799,
19826421815523799128729469831, 5075563984777551394382290109327,
5075563984777551394657168016271, 19826421815528302659637363598,
5075563984775245481141771191183, 5075563984775245481279210144655,
19826421815528302797076317070, 5075563984775245516326143280015,
19826421815528373165820494734, 5075563984775263530724652761999,
19826421815546317470463705998, 5075563984779857272713314845583,
19826421815546387839207883662, 5075563984779875287111824327567,
5075563984775245516188704326543, 5075563984775245516463582233487,
5075563984775263530587213808527, 5075563984775263530862091715471,
5075563984779857272575875892111, 5075563984779857272850753799055,
5075563984779875286974385374095, 5075563984779875287249263281039,
19826421815528408212753630094, 5075563984775272502739535414159,
5075563984775272502602096460687, 5075563984775272502876974367631,
19826421815523799197448946567, 5075563984777551394451009586063,
5075563984777551394725887493007, 5075563984775245481210490667919,
5075563984775245516119984849807, 5075563984775245516394862756751,
5075563984775263530518494331791, 5075563984775263530793372238735,
5075563984779857272507156415375, 5075563984779857272782034322319,
5075563984779875286905665897359, 5075563984779875287180543804303,
5075563984775245516257423803279, 5075563984775245516532301710223,
5075563984775263530655933285263, 5075563984775263530930811192207,
5075563984779857272644595368847, 5075563984779857272919473275791,
5075563984779875287043104850831, 5075563984779875287317982757775,
5075563984775272502808254890895, 5075563984775272502670815937423,
302527188347225669387144, 77446960216960414713398154,
19826421815541866441236038539, 77446960216890183408173961,
19826421815541866303797085067, 19826421815541866578674992011,
77446960216889908530267020, 19826421815523816858354467725,
19826421815541831256863949710, 5075563984778708802031777235855,
19826421815541901625608127374, 5075563984778726816430286717839,
19826421815523816720915514253, 19826421815523816995793421197,
19826421815523887089659691917, 5075563984778708801894338282383,
5075563984778708802169216189327, 5075563984778726816292847764367,
5075563984778726816567725671311, 19826421815541866235077608331,
19826421815541866509955515275, 19826421815523816652196037517,
5075563984778708801825618805647, 5075563984778708802100496712591,
5075563984778726816224128287631, 5075563984778726816499006194575,
77446960216960208554967946, 19826421815541813664677905291,
19826421815541866235077608334, 5075563984778717756454473843599,
19826421815541831050705519502, 5075563984778708749255219102607,
5075563984778708749117780149135, 5075563984778708749392658056079,
5075563984778708749049060672399, 5075563984778708749186499625871,
77446960216881043717768067, 19826421815537301062799082379,
19826421815537301337676989323, 19826421815537371431543260043,
5075563984777564825947615544207, 5075563984777564826222493451151,
5075563984777564896316359721871, 19826421815528294138422248327,
19826421815528364232288519047, 19826421815546378905675907975,
5075563984777555818748360803215, 5075563984777555819023238710159,
5075563984777555889117104980879, 5075563984777555889391982887823,
5075563984777573833146870285199, 5075563984777573833421748192143,
19826421815528329047916430215, 19826421815528399416660607879,
19826421815546343721303819143, 5075563984777555853932732892047,
5075563984777555854207610798991, 5075563984777555924301477069711,
5075563984777555924576354976655, 5075563984777573868331242374031,
5075563984777573868606120280975, 5075563984777573938699986551695,
5075563984777573938974864458639, 19826421815528329460233290631,
19826421815528399554099561351, 19826421815546343583864865671,
19826421815546414227486950279, 5075563984777555854070171845519,
5075563984777555854345049752463, 5075563984777555924438916023183,
5075563984777555924713793930127, 5075563984777573868468681327503,
5075563984777573868743559234447, 5075563984777573938837425505167,
5075563984777573939112303412111, 19826421815528293863544341387,
19826421815528294138422248331, 19826421815528364232288519051,
5075563984775258982938401850255, 5075563984775258983213279757199,
5075563984775259053582023934863, 19826421815546308262053823371,
19826421815546308536931730315, 19826421815546378905675907979,
5075563984779870668956829238159, 5075563984779870669231707145103,
5075563984779870739325573415823, 19826421815528294000983294859,
19826421815528294275861201803, 19826421815528364369727472523,
5075563984775258983075840803727, 5075563984775258983350718710671,
5075563984775259053719462888335, 19826421815546308399492776843,
19826421815546308674370683787, 19826421815546378768236954507,
5075563984779870669094268191631, 5075563984779870669369146098575,
5075563984779870739737890276239, 19826421815528329047916430219,
19826421815528329322794337163, 5075563984775259018122773939087,
5075563984775259018397651846031, 5075563984775259088766396023695,
19826421815546343721303819147, 19826421815546413815170089867,
5075563984779870774784823411599, 19826421815528329460233290635,
19826421815528399554099561355, 5075563984775259018260212892559,
19826421815546413952609043339, 19826421815546414227486950283,
5075563984779870704553518187407, 5075563984779870774647384458127,
5075563984779870774922262365071, 5075563984775249975739147109263,
5075563984775249976014025016207, 5075563984775250046107891286927,
5075563984775267990137656591247, 5075563984775267990412534498191,
5075563984779861662032452404111, 5075563984779879676156083979151,
5075563984779879746799706063759, 5075563984775249976151463969679,
5075563984775250046245330240399, 5075563984775267990275095544719,
5075563984779861661895013450639, 5075563984779861662169891357583,
5075563984779879676293522932623, 5075563984779879676568400839567,
5075563984779879746662267110287, 5075563984775250011198397105039,
5075563984775268025322028680079, 5075563984775268095965650764687,
5075563984779861767585568670607, 5075563984779879711615333974927,
5075563984779879781709200245647, 5075563984775250011335836058511,
5075563984775250081429702329231, 5075563984775268025459467633551,
5075563984779861697354263446415, 5075563984779861767448129717135,
5075563984779879782121517106063, 302527188347534907032450,
77446960216969210806420355, 77446960216942650728661898,
19826421815537318861143557003, 77446960216942925606568842,
19826421815537389229887734667, 19826421815537362669809976206,
5075563984777564843745960018831, 19826421815537362944687883150,
5075563984777564914114704196495, 77446960216898979501196163,
77446960216969073367466883, 19826421815537318723704603531,
19826421815537389092448781195, 19826421815537389367326688139,
5075563984777564843608521065359, 5075563984777564913977265243023,
5075563984777564914252143149967, 19826421815528311661888816007,
77446960216977835100750726, 19826421815537327485437887374,
5075563984777555836546705277839, 19826421815537327760315794318,
5075563984777555906915449455503, 19826421815537398129059971982,
5075563984777573921313958937487, 19826421815528381893194040199,
19826421815528382168071947143, 19826421815546396291703522183,
5075563984777555836409266324367, 5075563984777555906778010502031,
5075563984777555907052888408975, 5075563984777573850807775806351,
19826421815528346983699858311, 19826421815528417077566129031,
19826421815546361107331433351, 5075563984777555871593638413199,
5075563984777555942237260497807, 5075563984777573886267025802127,
5075563984777573956360892072847, 77446960216907741234480010,
19826421815528382030632993675, 19826421815528355745433142158,
5075563984775259071105490502543, 77446960216978109978657674,
19826421815546396429142475659, 5075563984779870686755173712783,
19826421815546370143942624142, 5075563984779870757123917890447,
19826421815528381893194040203, 19826421815528382168071947147,
5075563984775259000599307371407, 5075563984775259070968051549071,
5075563984775259071242929456015, 19826421815546396291703522187,
19826421815546396566581429131, 5075563984779870756986478936975,
5075563984779870757261356843919, 19826421815528346846260904843,
77446960216907878673433482, 19826421815528417215005082507,
19826421815528355607994188686, 19826421815528355882872095630,
5075563984775259106289862591375, 77446960216978247417611146,
5075563984779870792308289979279, 19826421815528346983699858315,
5075563984775259035783679460239, 19826421815546361107331433355,
19826421815546361382209340299, 19826421815546431750953517963,
5075563984779870721802106848143, 5075563984779870722076984755087,
5075563984779870792170851025807, 5075563984775249993537491583887,
5075563984775250063906235761551, 5075563984779879764323172631439,
5075563984775250063768796808079, 5075563984779879694091867407247,
5075563984779879764460611584911, 5075563984775250028721863672719,
19826421815528390792366277518, 5075563984779861785109035238287,
5075563984775250028859302626191, 5075563984775268042982934201231,
5075563984779861784971596284815, 5075563984779879799644983673743,
77446960216898773342765955, 77446960216969142086943619,
19826421815537318792424080267, 19826421815537389161168257931,
19826421815537389436046164875, 5075563984777564843677240542095,
5075563984777564914045984719759, 5075563984777564914320862626703,
19826421815528311455730385799, 19826421815528381824474563463,
19826421815528382099352470407, 19826421815546326129117774727,
5075563984777555836340546847631, 5075563984777555836615424754575,
5075563984777555906709291025295, 5075563984777555906984168932239,
5075563984777573921107800507279, 5075563984777573921382678414223,
19826421815528381961913516935, 19826421815546396360422998919,
19826421815546396635300905863, 5075563984777555836477985801103,
5075563984777555906846729978767, 5075563984777555907121607885711,
5075563984777573850876495283087, 5075563984777555871524918936463,
5075563984777555941893663114127, 5075563984777573886198306325391,
5075563984777573956567050503055, 19826421815528381824474563467,
5075563984775259000805465801615, 5075563984775259070899332072335,
5075563984775259071174209979279, 19826421815546396222984045451,
5075563984779870756917759460239, 5075563984779870757192637367183,
19826421815528382236791423883, 5075563984775259071036771025807,
5075563984775259071311648932751, 19826421815546396360422998923,
5075563984779870686961332142991, 5075563984779870757055198413711,
5075563984779870757330076320655, 19826421815528346640102474635,
19826421815528417008846652299, 19826421815528417283724559243,
5075563984775259106083704161167, 5075563984775259106358582068111,
19826421815546431682234041227, 5075563984779870792102131549071,
19826421815528346777541428107, 19826421815528417146285605771,
19826421815528417421163512715, 5075563984775259036127276843919,
5075563984775259106221143114639, 5075563984775259106496021021583,
19826421815546431544795087755, 5075563984779870792514448409487,
5075563984775250063700077331343, 5075563984779879694023147930511,
5075563984779879764117014201231, 5075563984775249993468772107151,
5075563984775250064112394191759, 5075563984779879764254453154703,
5075563984775250028653144195983, 5075563984775250099021888373647,
5075563984775250099296766280591, 5075563984775268043326531584911,
5075563984775268113420397855631, 5075563984775268113695275762575,
5075563984779861714671571583887, 5075563984779861714946449490831,
5075563984779861785315193668495, 5075563984779879729070081065871,
5075563984779879729344958972815, 5075563984779879799438825243535,
5075563984777551315148733432719, 5075563984777551315423611339663,
5075563984777551385517477610383, 5075563984777569329547242914703,
5075563984777569329822120821647, 5075563984777569399915987092367,
5075563984775245472414397645711, 5075563984775245542783141823375,
5075563984779857158157947126671, 5075563984779857228526691304335,
5075563984775245472551836599183, 5075563984775245542920580776847,
5075563984779857158570263987087, 5075563984779857228939008164751,
5075563984775245507598769734543, 5075563984775263521722401309583,
5075563984775272493737283961743, 5075563984779866165494640821135,
19826421815537309893251842958, 5075563984777551332947077907343,
19826421815537310168129749902, 5075563984777551403315822085007,
19826421815537380261996020622, 5075563984777569347345587389327,
19826421815537380536873927566, 5075563984777569417714331566991,
19826421815523807924822492039, 19826421815523878293566669703,
5075563984777551332809638953871, 5075563984777551403178383131535,
5075563984777551403453261038479, 5075563984777569347208148435855,
5075563984777569417576892613519, 5075563984777569417851770520463,
5075563984775245560306608391055, 5075563984779857246325035778959,
5075563984775245560169169437583, 5075563984779857246462474732431,
5075563984775245524984797348751, 5075563984775263539658184737679,
5075563984779857281371968914319, 5075563984779875296045356303247,
5075563984775254532184052089743, 5075563984779866288846101562255,
5075563984779884302969733137295, 19826421815523808268419875719,
5075563984777551332878358430607, 5075563984777551403247102608271,
5075563984777551403521980515215, 5075563984777569347276867912591,
5075563984777569417645612090255, 5075563984777569417920489997199,
5075563984775245525328394732431 ];