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.n               GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 256 ][ 14 ] :=
[ 811940132461164238365785340330911, 811940132461164238365922779284383,
811940132461164247372984595071903, 3171641142424112441880559567773,
3171641142424112442017998521245, 3171641142424112477064931656605,
3171641142424112477202370610077, 3171641142424121449079814308765,
3171641142424121449217253262237, 3171641142424121484264186397597,
3171641142424121484401625351069, 3171641142426418284889773261725,
3171641142426418285027212215197, 811940132461163080958204572681119,
811940132461163080958342011634591, 3171641142426418320074145350557,
3171641142426418320211584304029, 811940132461163089965403827422111,
811940132461163089965541266375583, 3171641142426427292089028002717,
3171641142426427292226466956189, 811940132461165386801213786375071,
811940132461165386801351225328543, 3171641142426427327273400091549,
3171641142426427327410839045021, 811940132461165395808413041116063,
811940132461165395808550480069535, 12389223212598684029496148885,
3171641142425263137973631796119, 12389223212598719213868237717,
3171641142425272145172886537111, 3171641142425269866984793785245,
3171641142425269867122232738717, 3171641142425269902169165874077,
3171641142425269902306604827549, 12389223212598684098215625621,
3171641142425263138042351272855, 12389223212598719282587714453,
3171641142425272145241606013847, 3171641142425269867053513261981,
3171641142425269867190952215453, 3171641142425269902237885350813,
3171641142425269902375324304285, 12389223212598701621682193301,
3171641142425267641573259166615, 12389223212598736806054282133,
3171641142425276648772513907607, 3171641142425269884576979829661,
3171641142425269884714418783133, 811940132460869090478129454072735,
811940132460869090478266893026207, 3171641142425269919761351918493,
3171641142425269919898790871965, 811940132460869099485328708813727,
811940132460869099485466147767199, 3171641142425265363385166414749,
3171641142425265363522605368221, 3171641142425265398569538503581,
3171641142425265398706977457053, 3171641142425274370584421155741,
3171641142425274370721860109213, 811940132460870238896034433549215,
811940132460870238896171872502687, 3171641142425274405768793244573,
811940132460870247903233688290207, 3171641142427571206394380108701,
811940132461458228863383925506975, 3171641142427571241578752197533,
3171641142427571241716191151005, 811940132461458237870583180247967,
811940132461458237870720619201439, 3171641142427580213593634849693,
3171641142427580213731073803165, 3171641142427580248778006938525,
3171641142427580248915445891997, 12389223212594180429868778390,
12389223212594215614240867222, 3171641142424116945480186938270,
811940132460573938043065274024863, 12389223212603187629123519382,
12389223212603187766562472854, 12389223212603222813495608214,
12389223212603222950934561686, 3171641142426422788489400632222,
811940132461164233853423979676575, 3171641142426422788626839585694,
811940132461164233888608351765407, 12389223212594180498588255126,
12389223212594215682960343958, 3171641142424116945548906415006,
811940132460573938060657460069279, 12389223212603187697842996118,
12389223212603222882215084950, 3171641142426422788558120108958,
811940132461164233871016165720991, 3171641142426422788695559062430,
811940132461164233906200537809823, 12389223212594198022054822806,
3171641142424116963072372982686, 811940132460573942546664901395359,
3171641142424116998256745071518, 12389223212603205221309563798,
12389223212603205358748517270, 3171641142426422806081586676638,
811940132461164238357023607047071, 3171641142426422841265958765470,
811940132461164247364222861788063, 3171641142424114693714732991383,
811940132460573942546596181918623, 811940132460573951553795436659615,
3171641142426420536723946685335, 3171641142426420571908318774167,
811940132461164238356954887570335, 811940132461164247364154142311327,
12389223212594198090774299542, 3171641142424116963141092459422,
811940132460573942564257087439775, 3171641142424116998325464548254,
12389223212603205290029040534, 12389223212603205427467994006,
3171641142426422806150306153374, 3171641142426422841334678242206,
811940132461164247381815047832479, 3171641142424114711306919035799,
811940132460573942564188367963039, 811940132460573951571387622704031,
3171641142426420554316132729751, 3171641142426420589500504818583,
811940132461164238374547073614751, 811940132461164238374684512568223,
811940132461164247381746328355743, 3171641142424112441880559567774,
811940132460572785121560667177887, 3171641142424112477064931656606,
811940132460572794128759921918879, 3171641142424121449079814308766,
811940132460575090964569880871839, 3171641142424121484264186397598,
811940132460575099971769135612831, 3171641142426418284889773261726,
811940132461163080931919372829599, 3171641142426418285027212215198,
811940132461163080967103744918431, 3171641142426418320074145350558,
811940132461163089939118627570591, 3171641142426418320211584304030,
811940132461163089974302999659423, 3171641142426427292089028002718,
811940132461165386774928586523551, 3171641142426427292226466956190,
811940132461165386810112958612383, 3171641142426427327273400091550,
811940132461165395782127841264543, 3171641142426427327410839045022,
811940132461165395817312213353375, 12389223212598684029496148886,
12389223212598684166935102358, 12389223212598719213868237718,
12389223212598719351307191190, 3171641142425269866984793785246,
811940132460869085948244626850719, 3171641142425269902169165874078,
811940132460869094955443881591711, 3171641142425263111619712467863,
3171641142425263146804084556695, 3171641142425272118818967208855,
3171641142425272154003339297687, 811940132460869085948175907373983,
811940132460869085948313346327455, 811940132460869094955375162114975,
811940132460869094955512601068447, 12389223212598701621682193302,
12389223212598701759121146774, 12389223212598736806054282134,
12389223212598736943493235606, 3171641142425269884576979829662,
811940132460869090451844254221215, 3171641142425269884714418783134,
811940132460869090487028626310047, 3171641142425269919761351918494,
811940132460869099459043508962207, 3171641142425269919898790871966,
811940132460869099494227881051039, 3171641142425265363385166414750,
811940132460867933026740020003743, 3171641142425265398569538503582,
811940132460867942033939274744735, 3171641142425274370584421155742,
811940132460870238869749233697695, 3171641142425274370721860109214,
811940132460870238904933605786527, 3171641142425274405768793244574,
3171641142425274405906232198046, 3171641142427571206394380108702,
3171641142427571206531819062174, 3171641142427571241578752197534,
811940132461458237844297980396447, 3171641142427571241716191151006,
811940132461458237879482352485279, 3171641142427580213593634849694,
811940132461460534680107939349407, 3171641142427580248778006938526,
811940132461460543687307194090399, 3171641142424110190080745882519,
3171641142424119197280000623511, 811940132460573938042962194809759,
811940132460573938043099633763231, 3171641142426416033089959576471,
3171641142426416068274331665303, 3171641142426425040289214317463,
3171641142426425075473586406295, 811940132461164233853320900461471,
811940132461164233853458339414943, 811940132461164233888505272550303,
811940132461164233888642711503775, 3171641142424110207672931926935,
3171641142424119214872186667927, 811940132460573938060554380854175,
811940132460573938060691819807647, 3171641142426416050682145620887,
3171641142426425057881400361879, 811940132461164233870913086505887,
811940132461164233871050525459359, 811940132461164233906097458594719,
811940132461164233906234897548191, 3171641142424114693680373253015,
811940132460573942546561822180255, 811940132460573942546699261133727,
811940132460573951553761076921247, 3171641142426420536689586946967,
3171641142426420571873959035799, 811940132461164238356920527831967,
811940132461164238357057966785439, 811940132461164247364119782572959,
811940132461164247364257221526431, 3171641142424114693749092729751,
811940132460573942546630541656991, 811940132460573951553829796397983,
3171641142426420536758306423703, 3171641142426420571942678512535,
811940132461164238356989247308703, 811940132461164247364188502049695,
3171641142424114711272559297431, 811940132460573942564154008224671,
811940132460573942564291447178143, 811940132460573951571353262965663,
3171641142426420554281772991383, 3171641142426420589466145080215,
811940132461164238374512713876383, 811940132461164247381711968617375,
811940132461164247381849407570847, 3171641142424114711341278774167,
811940132460573942564222727701407, 811940132460573951571421982442399,
3171641142426420554350492468119, 3171641142426420589534864556951,
811940132461164238374581433353119, 811940132461164238374718872306591,
811940132461164247381780688094111, 811940132460572785121457587962783,
811940132460572785121595026916255, 811940132460572794128656842703775,
811940132460572794128794281657247, 811940132460575090964466801656735,
811940132460575090964604240610207, 811940132460575099971666056397727,
811940132460575099971803495351199, 811940132461163080931816293614495,
811940132461163080931953732567967, 811940132461163080967000665703327,
811940132461163080967138104656799, 811940132461163089939015548355487,
811940132461163089939152987308959, 811940132461163089974199920444319,
811940132461163089974337359397791, 811940132461165386774825507308447,
811940132461165386774962946261919, 811940132461165386810009879397279,
811940132461165386810147318350751, 811940132461165395782024762049439,
811940132461165395782162201002911, 811940132461165395817209134138271,
811940132461165395817346573091743, 3171641142425263111585352729495,
3171641142425263146769724818327, 3171641142425272118784607470487,
3171641142425272153968979559319, 811940132460869085948141547635615,
811940132460869085948278986589087, 811940132460869094955340802376607,
811940132460869094955478241330079, 3171641142425263111654072206231,
3171641142425263146838444295063, 3171641142425272118853326947223,
3171641142425272154037699036055, 811940132460869085948210267112351,
811940132460869085948347706065823, 811940132460869094955409521853343,
811940132460869094955546960806815, 3171641142425267615184980099991,
3171641142425267650369352188823, 3171641142425276622384234840983,
3171641142425276657568606929815, 811940132460869090451741175006111,
811940132460869090451878613959583, 811940132460869090486925547094943,
811940132460869090487062986048415, 811940132460869099458940429747103,
811940132460869099459077868700575, 811940132460869099494124801835935,
811940132460869099494262240789407, 811940132460867933026636940788639,
811940132460867933026774379742111, 811940132460867942033836195529631,
811940132460867942033973634483103, 811940132460870238869646154482591,
811940132460870238869783593436063, 811940132460870238904830526571423,
811940132460870238904967965524895, 811940132460870247876845409223583,
811940132460870247912029781312415, 811940132461458228836995646440351,
811940132461458228872180018529183, 811940132461458237844194901181343,
811940132461458237844332340134815, 811940132461458237879379273270175,
811940132461458237879516712223647, 811940132461460534680004860134303,
811940132461460534680142299087775, 811940132461460543687204114875295,
811940132461460543687341553828767, 48395403174196017170039704,
12389223212594180532947993497, 12389223212594180532947993500,
3171641142424110216572104164253, 48395403174196154608993176,
12389223212594215717320082329, 12389223212594215717320082332,
3171641142424119223771358905245, 48395403174231201542128536,
12389223212603187732202734489, 12389223212603187732202734490,
3171641142426416059581317858203, 12389223212603187732202734492,
3171641142426416059581317858205, 3171641142426416059581317858206,
811940132461162511252954789528479, 48395403174231338981082008,
12389223212603222916574823321, 12389223212603222916574823322,
3171641142426425066780572599195, 12389223212603222916574823324,
3171641142426425066780572599197, 3171641142426425066780572599198,
811940132461164817095964003222431, 12389223212594180464228516761,
12389223212594180601667470233, 3171641142424110216503384687517,
3171641142424110216640823640989, 12389223212594215648600605593,
12389223212594215786039559065, 3171641142424119223702639428509,
3171641142424119223840078381981, 12389223212603187663483257753,
12389223212603187800922211225, 3171641142426416059512598381467,
3171641142426416059650037334939, 3171641142426416059512598381469,
3171641142426416059650037334941, 811940132461162511252886070051743,
811940132461162511253023509005215, 12389223212603222847855346585,
12389223212603222985294300057, 3171641142426425066711853122459,
3171641142426425066849292075931, 3171641142426425066711853122461,
3171641142426425066849292075933, 811940132461164817095895283745695,
811940132461164817096032722699167, 12389223212594180464228516762,
3171641142424110198979918119835, 3171641142424110216503384687518,
811940132460572215425003897832351, 12389223212594215648600605594,
3171641142424119206179172860827, 3171641142424119223702639428510,
811940132460574521268013111526303, 12389223212603187663483257754,
3171641142426416041989131813787, 12389223212603187800922211226,
3171641142426416077173503902619, 3171641142426416059512598381470,
811940132461162511235362603484063, 3171641142426416059650037334942,
811940132461162511270546975572895, 12389223212603222847855346586,
3171641142426425049188386554779, 12389223212603222985294300058,
3171641142426425084372758643611, 3171641142426425066711853122462,
811940132461164817078371817178015, 3171641142426425066849292075934,
811940132461164817113556189266847, 3171641142424110198911198643099,
3171641142424110199048637596571, 811940132460572215424935178355615,
811940132460572215425072617309087, 3171641142424119206110453384091,
3171641142424119206247892337563, 811940132460574521267944392049567,
811940132460574521268081831003039, 3171641142426416041920412337051,
3171641142426416042057851290523, 3171641142426416077104784425883,
3171641142426416077242223379355, 811940132461162511235293884007327,
811940132461162511235431322960799, 811940132461162511270478256096159,
811940132461162511270615695049631, 3171641142426425049119667078043,
3171641142426425049257106031515, 3171641142426425084304039166875,
3171641142426425084441478120347, 811940132461164817078303097701279,
811940132461164817078440536654751, 811940132461164817113487469790111,
811940132461164817113624908743583, 12389223212594180464228516764,
3171641142424110198979918119837, 12389223212594180601667470236,
3171641142424110234164290208669, 12389223212594215648600605596,
3171641142424119206179172860829, 12389223212594215786039559068,
3171641142424119241363544949661, 12389223212603187663483257756,
3171641142426416041989131813789, 3171641142426416041989131813790,
811940132461162506749355162157983, 12389223212603187800922211228,
3171641142426416077173503902621, 3171641142426416077173503902622,
811940132461162515756554416898975, 12389223212603222847855346588,
3171641142426425049188386554781, 3171641142426425049188386554782,
811940132461164812592364375851935, 12389223212603222985294300060,
3171641142426425084372758643613, 3171641142426425084372758643614,
811940132461164821599563630592927, 3171641142424110198911198643101,
3171641142424110199048637596573, 3171641142424110234095570731933,
3171641142424110234233009685405, 3171641142424119206110453384093,
3171641142424119206247892337565, 3171641142424119241294825472925,
3171641142424119241432264426397, 3171641142426416041920412337053,
3171641142426416042057851290525, 811940132461162506749286442681247,
811940132461162506749423881634719, 3171641142426416077104784425885,
3171641142426416077242223379357, 811940132461162515756485697422239,
811940132461162515756623136375711, 3171641142426425049119667078045,
3171641142426425049257106031517, 811940132461164812592295656375199,
811940132461164812592433095328671, 3171641142426425084304039166877,
3171641142426425084441478120349, 811940132461164821599494911116191,
811940132461164821599632350069663, 3171641142424110198911198643102,
811940132460572210921404270461855, 3171641142424110234095570731934,
811940132460572219928603525202847, 3171641142424119206110453384094,
811940132460574516764413484155807, 3171641142424119241294825472926,
811940132460574525771612738896799, 3171641142426416041920412337054,
811940132461162506731762976113567, 3171641142426416042057851290526,
811940132461162506766947348202399, 3171641142426416077104784425886,
811940132461162515738962230854559, 3171641142426416077242223379358,
811940132461162515774146602943391, 3171641142426425049119667078046,
811940132461164812574772189807519, 3171641142426425049257106031518,
811940132461164812609956561896351, 3171641142426425084304039166878,
811940132461164821581971444548511, 3171641142426425084441478120350,
811940132461164821617155816637343, 811940132460572210921335550985119,
811940132460572210921472989938591, 811940132460572219928534805726111,
811940132460572219928672244679583, 811940132460574516764344764679071,
811940132460574516764482203632543, 811940132460574525771544019420063,
811940132460574525771681458373535, 811940132461162506731694256636831,
811940132461162506731831695590303, 811940132461162506766878628725663,
811940132461162506767016067679135, 811940132461162515738893511377823,
811940132461162515739030950331295, 811940132461162515774077883466655,
811940132461162515774215322420127, 811940132461164812574703470330783,
811940132461164812574840909284255, 811940132461164812609887842419615,
811940132461164812610025281373087, 811940132461164821581902725071775,
811940132461164821582040164025247, 811940132461164821617087097160607,
811940132461164821617224536114079, 48395403174196085889516440,
12389223212594198125134037913, 12389223212594198125134037916,
3171641142424114720171731534749, 48395403174196223328469912,
12389223212594233309506126745, 12389223212594233309506126748,
3171641142424123727370986275741, 48395403174231270261605272,
12389223212603205324388778905, 12389223212603205324388778906,
3171641142426420563180945228699, 12389223212603205324388778908,
3171641142426420563180945228701, 3171641142426420563180945228702,
811940132461163664174459396375455, 48395403174231407700558744,
12389223212603240508760867737, 12389223212603240508760867738,
3171641142426429570380199969691, 12389223212603240508760867740,
3171641142426429570380199969693, 3171641142426429570380199969694,
811940132461165970017468610069407, 12389223212594198056414561177,
12389223212594198193853514649, 3171641142424114720103012058013,
3171641142424114720240451011485, 12389223212594233240786650009,
12389223212594233378225603481, 3171641142424123727302266799005,
3171641142424123727439705752477, 12389223212603205255669302169,
12389223212603205393108255641, 3171641142426420563112225751963,
3171641142426420563249664705435, 3171641142426420563112225751965,
3171641142426420563249664705437, 811940132461163664174390676898719,
811940132461163664174528115852191, 12389223212603240440041391001,
12389223212603240577480344473, 3171641142426429570311480492955,
3171641142426429570448919446427, 3171641142426429570311480492957,
3171641142426429570448919446429, 811940132461165970017399890592671,
811940132461165970017537329546143, 12389223212594198056414561178,
3171641142424114702579545490331, 3171641142424114720103012058014,
811940132460573368346508504679327, 12389223212594233240786650010,
3171641142424123709778800231323, 3171641142424123727302266799006,
811940132460575674189517718373279, 12389223212603205255669302170,
3171641142426420545588759184283, 12389223212603205393108255642,
3171641142426420580773131273115, 3171641142426420563112225751966,
811940132461163664156867210331039, 3171641142426420563249664705438,
811940132461163664192051582419871, 12389223212603240440041391002,
3171641142426429552788013925275, 12389223212603240577480344474,
3171641142426429587972386014107, 3171641142426429570311480492958,
811940132461165969999876424024991, 3171641142426429570448919446430,
811940132461165970035060796113823, 3171641142424114702510826013595,
3171641142424114702648264967067, 811940132460573368346439785202591,
811940132460573368346577224156063, 3171641142424123709710080754587,
3171641142424123709847519708059, 811940132460575674189448998896543,
811940132460575674189586437850015, 3171641142426420545520039707547,
3171641142426420545657478661019, 3171641142426420580704411796379,
3171641142426420580841850749851, 811940132461163664156798490854303,
811940132461163664156935929807775, 811940132461163664191982862943135,
811940132461163664192120301896607, 3171641142426429552719294448539,
3171641142426429552856733402011, 3171641142426429587903666537371,
3171641142426429588041105490843, 811940132461165969999807704548255,
811940132461165969999945143501727, 811940132461165970034992076637087,
811940132461165970035129515590559, 12389223212594198056414561180,
3171641142424114702579545490333, 12389223212594198193853514652,
3171641142424114737763917579165, 12389223212594233240786650012,
3171641142424123709778800231325, 12389223212594233378225603484,
3171641142424123744963172320157, 12389223212603205255669302172,
3171641142426420545588759184285, 3171641142426420545588759184286,
811940132461163659670859769004959, 12389223212603205393108255644,
3171641142426420580773131273117, 3171641142426420580773131273118,
811940132461163668678059023745951, 12389223212603240440041391004,
3171641142426429552788013925277, 3171641142426429552788013925278,
811940132461165965513868982698911, 12389223212603240577480344476,
3171641142426429587972386014109, 3171641142426429587972386014110,
811940132461165974521068237439903, 3171641142424114702510826013597,
3171641142424114702648264967069, 3171641142424114737695198102429,
3171641142424114737832637055901, 3171641142424123709710080754589,
3171641142424123709847519708061, 3171641142424123744894452843421,
3171641142424123745031891796893, 3171641142426420545520039707549,
3171641142426420545657478661021, 811940132461163659670791049528223,
811940132461163659670928488481695, 3171641142426420580704411796381,
3171641142426420580841850749853, 811940132461163668677990304269215,
811940132461163668678127743222687, 3171641142426429552719294448541,
3171641142426429552856733402013, 811940132461165965513800263222175,
811940132461165965513937702175647, 3171641142426429587903666537373,
3171641142426429588041105490845, 811940132461165974520999517963167,
811940132461165974521136956916639, 3171641142424114702510826013598,
811940132460573363842908877308831, 3171641142424114737695198102430,
811940132460573372850108132049823, 3171641142424123709710080754590,
811940132460575669685918091002783, 3171641142424123744894452843422,
811940132460575678693117345743775, 3171641142426420545520039707550,
811940132461163659653267582960543, 3171641142426420545657478661022,
811940132461163659688451955049375, 3171641142426420580704411796382,
811940132461163668660466837701535, 3171641142426420580841850749854,
811940132461163668695651209790367, 3171641142426429552719294448542,
811940132461165965496276796654495, 3171641142426429552856733402014,
811940132461165965531461168743327, 3171641142426429587903666537374,
811940132461165974503476051395487, 3171641142426429588041105490846,
811940132461165974538660423484319, 811940132460573363842840157832095,
811940132460573363842977596785567, 811940132460573372850039412573087,
811940132460573372850176851526559, 811940132460575669685849371526047,
811940132460575669685986810479519, 811940132460575678693048626267039,
811940132460575678693186065220511, 811940132461163659653198863483807,
811940132461163659653336302437279, 811940132461163659688383235572639,
811940132461163659688520674526111, 811940132461163668660398118224799,
811940132461163668660535557178271, 811940132461163668695582490313631,
811940132461163668695719929267103, 811940132461165965496208077177759,
811940132461165965496345516131231, 811940132461165965531392449266591,
811940132461165965531529888220063, 811940132461165974503407331918751,
811940132461165974503544770872223, 811940132461165974538591704007583,
811940132461165974538729142961055, 48395403174213609356084120,
12389223212598684132575363993, 12389223212598684132575363994,
3171641142425263138076711011227, 12389223212598684132575363996,
3171641142425263138076711011229, 3171641142425263138076711011230,
811940132460867363347775436702623, 48395403174213746795037592,
12389223212598719316947452825, 12389223212598719316947452826,
3171641142425272145275965752219, 12389223212598719316947452828,
3171641142425272145275965752221, 3171641142425272145275965752222,
811940132460869669190784650396575, 48395403174248793728172952,
12389223212607691331830104985, 12389223212607691331830104986,
3171641142427568981085924705179, 12389223212607691331830104988,
3171641142427568981085924705181, 3171641142427568981085924705182,
811940132461457659158134142354335, 48395403174248931167126424,
12389223212607726516202193817, 12389223212607726516202193818,
3171641142427577988285179446171, 12389223212607726516202193820,
3171641142427577988285179446173, 3171641142427577988285179446174,
811940132461459965001143356048287, 12389223212598684063855887257,
12389223212598684201294840729, 3171641142425263138007991534491,
3171641142425263138145430487963, 3171641142425263138007991534493,
3171641142425263138145430487965, 811940132460867363347706717225887,
811940132460867363347844156179359, 12389223212598719248227976089,
12389223212598719385666929561, 3171641142425272145207246275483,
3171641142425272145344685228955, 3171641142425272145207246275485,
3171641142425272145344685228957, 811940132460869669190715930919839,
811940132460869669190853369873311, 12389223212607691263110628249,
12389223212607691400549581721, 3171641142427568981017205228443,
3171641142427568981154644181915, 3171641142427568981017205228445,
3171641142427568981154644181917, 811940132461457659158065422877599,
811940132461457659158202861831071, 12389223212607726447482717081,
12389223212607726584921670553, 3171641142427577988216459969435,
3171641142427577988353898922907, 3171641142427577988216459969437,
3171641142427577988353898922909, 811940132461459965001074636571551,
811940132461459965001212075525023, 12389223212598684063855887260,
3171641142425263120484524966813, 3171641142425263120484524966814,
811940132460867358844175809332127, 12389223212598684201294840732,
3171641142425263155668897055645, 3171641142425263155668897055646,
811940132460867367851375064073119, 12389223212598719248227976092,
3171641142425272127683779707805, 3171641142425272127683779707806,
811940132460869664687185023026079, 12389223212598719385666929564,
3171641142425272162868151796637, 3171641142425272162868151796638,
811940132460869673694384277767071, 12389223212607691263110628252,
3171641142427568963493738660765, 3171641142427568963493738660766,
811940132461457654654534514983839, 12389223212607691400549581724,
3171641142427568998678110749597, 3171641142427568998678110749598,
811940132461457663661733769724831, 12389223212607726447482717084,
3171641142427577970692993401757, 3171641142427577970692993401758,
811940132461459960497543728677791, 12389223212607726584921670556,
3171641142427578005877365490589, 3171641142427578005877365490590,
811940132461459969504742983418783, 3171641142425263120415805490077,
3171641142425263120553244443549, 811940132460867358844107089855391,
811940132460867358844244528808863, 3171641142425263155600177578909,
3171641142425263155737616532381, 811940132460867367851306344596383,
811940132460867367851443783549855, 3171641142425272127615060231069,
3171641142425272127752499184541, 811940132460869664687116303549343,
811940132460869664687253742502815, 3171641142425272162799432319901,
3171641142425272162936871273373, 811940132460869673694315558290335,
811940132460869673694452997243807, 3171641142427568963425019184029,
3171641142427568963562458137501, 811940132461457654654465795507103,
811940132461457654654603234460575, 3171641142427568998609391272861,
3171641142427568998746830226333, 811940132461457663661665050248095,
811940132461457663661802489201567, 3171641142427577970624273925021,
3171641142427577970761712878493, 811940132461459960497475009201055,
811940132461459960497612448154527, 3171641142427578005808646013853,
3171641142427578005946084967325, 811940132461459969504674263942047,
811940132461459969504811702895519, 48395403174213678075560856,
12389223212598701724761408409, 12389223212598701724761408410,
3171641142425267641676338381723, 12389223212598701724761408412,
3171641142425267641676338381725, 3171641142425267641676338381726,
811940132460868516269280043549599, 48395403174213815514514328,
12389223212598736909133497241, 12389223212598736909133497242,
3171641142425276648875593122715, 12389223212598736909133497244,
3171641142425276648875593122717, 3171641142425276648875593122718,
811940132460870822112289257243551, 48395403174248862447649688,
12389223212607708924016149401, 12389223212607708924016149402,
3171641142427573484685552075675, 12389223212607708924016149404,
3171641142427573484685552075677, 3171641142427573484685552075678,
811940132461458812079638749201311, 48395403174248999886603160,
12389223212607744108388238233, 12389223212607744108388238234,
3171641142427582491884806816667, 12389223212607744108388238236,
3171641142427582491884806816669, 3171641142427582491884806816670,
811940132461461117922647962895263, 12389223212598701656041931673,
12389223212598701793480885145, 3171641142425267641607618904987,
3171641142425267641745057858459, 3171641142425267641607618904989,
3171641142425267641745057858461, 811940132460868516269211324072863,
811940132460868516269348763026335, 12389223212598736840414020505,
12389223212598736977852973977, 3171641142425276648806873645979,
3171641142425276648944312599451, 3171641142425276648806873645981,
3171641142425276648944312599453, 811940132460870822112220537766815,
811940132460870822112357976720287, 12389223212607708855296672665,
12389223212607708992735626137, 3171641142427573484616832598939,
3171641142427573484754271552411, 3171641142427573484616832598941,
3171641142427573484754271552413, 811940132461458812079570029724575,
811940132461458812079707468678047, 12389223212607744039668761497,
12389223212607744177107714969, 3171641142427582491816087339931,
3171641142427582491953526293403, 3171641142427582491816087339933,
3171641142427582491953526293405, 811940132461461117922579243418527,
811940132461461117922716682371999, 12389223212598701656041931676,
3171641142425267624084152337309, 3171641142425267624084152337310,
811940132460868511765680416179103, 12389223212598701793480885148,
3171641142425267659268524426141, 3171641142425267659268524426142,
811940132460868520772879670920095, 12389223212598736840414020508,
3171641142425276631283407078301, 3171641142425276631283407078302,
811940132460870817608689629873055, 12389223212598736977852973980,
3171641142425276666467779167133, 3171641142425276666467779167134,
811940132460870826615888884614047, 12389223212607708855296672668,
3171641142427573467093366031261, 3171641142427573467093366031262,
811940132461458807576039121830815, 12389223212607708992735626140,
3171641142427573502277738120093, 3171641142427573502277738120094,
811940132461458816583238376571807, 12389223212607744039668761500,
3171641142427582474292620772253, 3171641142427582474292620772254,
811940132461461113419048335524767, 12389223212607744177107714972,
3171641142427582509476992861085, 3171641142427582509476992861086,
811940132461461122426247590265759, 3171641142425267624015432860573,
3171641142425267624152871814045, 811940132460868511765611696702367,
811940132460868511765749135655839, 3171641142425267659199804949405,
3171641142425267659337243902877, 811940132460868520772810951443359,
811940132460868520772948390396831, 3171641142425276631214687601565,
3171641142425276631352126555037, 811940132460870817608620910396319,
811940132460870817608758349349791, 3171641142425276666399059690397,
3171641142425276666536498643869, 811940132460870826615820165137311,
811940132460870826615957604090783, 3171641142427573467024646554525,
3171641142427573467162085507997, 811940132461458807575970402354079,
811940132461458807576107841307551, 3171641142427573502209018643357,
3171641142427573502346457596829, 811940132461458816583169657095071,
811940132461458816583307096048543, 3171641142427582474223901295517,
3171641142427582474361340248989, 811940132461461113418979616048031,
811940132461461113419117055001503, 3171641142427582509408273384349,
3171641142427582509545712337821, 811940132461461122426178870789023,
811940132461461122426316309742495, 189633114563415374906240,
48546077328234473126445954, 48546077328234473126445956,
12427795796028025257520612230, 48546077328234473126445960,
12427795796028025257520612233, 12427795796028025257520612234,
3181515723783174466062427177867, 12427795796028025257520612236,
3181515723783174466062427177869, 3181515723783174466062427177870,
814468025288492663312118507979663, 48546077328234473126445968,
12427795796028025257520612242, 12427795796028025257520612244,
3181515723783174466062427177878, 12427795796028025257520612248,
3181515723783174466062427177881, 3181515723783174466062427177882,
814468025288492663312118507979675, 3181515723783174466062427177884,
814468025288492663312118507979677, 814468025288492663312118507979678,
208503814473854121807902475193238431, 48546077328234541845922689,
12427795796028025326240088963, 12427795796028025188801135493,
3181515723783174465993707701127, 12427795796028025188801135497,
12427795796028025326240088969, 3181515723783174465993707701131,
3181515723783174466131146654603, 3181515723783174465993707701133,
3181515723783174466131146654605, 814468025288492663312049788502927,
814468025288492663312187227456399, 12427795796028025188801135505,
12427795796028025326240088977, 3181515723783174465993707701139,
3181515723783174466131146654611, 3181515723783174465993707701141,
3181515723783174466131146654613, 814468025288492663312049788502935,
814468025288492663312187227456407, 3181515723783174465993707701145,
3181515723783174466131146654617, 814468025288492663312049788502939,
814468025288492663312187227456411, 814468025288492663312049788502941,
814468025288492663312187227456413, 208503814473854121807902406473761695,
208503814473854121807902543912715167, 48546077328234404406969218,
48546077328234541845922690, 12427795796028025188801135494,
12427795796028025326240088966, 12427795796028025188801135498,
3181515723783174448470241133451, 12427795796028025326240088970,
3181515723783174483654613222283, 3181515723783174465993707701134,
814468025288492663294526321935247, 3181515723783174466131146654606,
814468025288492663329710694024079, 12427795796028025188801135506,
3181515723783174448470241133459, 3181515723783174465993707701142,
814468025288492663294526321935255, 3181515723783174465993707701146,
814468025288492663294526321935259, 814468025288492663312049788502942,
208503814473854121807884883007194015, 12427795796028007734054044547,
12427795796028042918426133379, 3181515723783174448401521656711,
3181515723783174483585893745543, 3181515723783174448401521656715,
3181515723783174448538960610187, 3181515723783174483585893745547,
3181515723783174483723332699019, 814468025288492663294457602458511,
814468025288492663294595041411983, 814468025288492663329641974547343,
814468025288492663329779413500815, 3181515723783174448401521656723,
3181515723783174448538960610195, 3181515723783174483585893745555,
3181515723783174483723332699027, 814468025288492663294457602458519,
814468025288492663294595041411991, 814468025288492663329641974547351,
814468025288492663329779413500823, 814468025288492663294457602458523,
814468025288492663294595041411995, 814468025288492663329641974547355,
814468025288492663329779413500827, 208503814473854121807884814287717279,
208503814473854121807884951726670751, 208503814473854121807919998659806111,
208503814473854121807920136098759583, 48546077328234404406969220,
12427795796028007665334567813, 12427795796028007665334567814,
3181515723783169962462799807367, 12427795796028025188801135500,
3181515723783174448470241133453, 3181515723783174448470241133454,
814468025288492658808518880609167, 12427795796028025326240088972,
3181515723783174483654613222285, 3181515723783174483654613222286,
814468025288492667815718135350159, 12427795796028025188801135508,
3181515723783174448470241133461, 3181515723783174448470241133462,
814468025288492658808518880609175, 3181515723783174465993707701148,
814468025288492663294526321935261, 814468025288492663294526321935262,
208503814473854121803398875565867935, 3181515723783174466131146654620,
814468025288492663329710694024093, 814468025288492663329710694024094,
208503814473854121812406074820608927, 12427795796028007596615091077,
12427795796028007734054044549, 3181515723783169962394080330631,
3181515723783169962531519284103, 12427795796028042780987179909,
3181515723783178969593335071623, 3181515723783174448401521656717,
3181515723783174448538960610189, 814468025288492658808450161132431,
814468025288492658808587600085903, 3181515723783174483585893745549,
3181515723783174483723332699021, 814468025288492667815649415873423,
814468025288492667815786854826895, 3181515723783174448401521656725,
3181515723783174448538960610197, 814468025288492658808450161132439,
814468025288492658808587600085911, 3181515723783174483585893745557,
3181515723783174483723332699029, 814468025288492667815649415873431,
814468025288492667815786854826903, 814468025288492663294457602458525,
814468025288492663294595041411997, 208503814473854121803398806846391199,
208503814473854121803398944285344671, 814468025288492663329641974547357,
814468025288492663329779413500829, 208503814473854121812406006101132191,
208503814473854121812406143540085663, 12427795796028007596615091078,
3181515723783169944870613762951, 12427795796028007734054044550,
3181515723783169980054985851783, 3181515723783174448401521656718,
814468025288492658790926694564751, 3181515723783174483585893745550,
814468025288492667798125949305743, 3181515723783174448401521656726,
814468025288492658790926694564759, 3181515723783174448538960610198,
814468025288492658826111066653591, 814468025288492663294457602458526,
208503814473854121803381283379823519, 814468025288492663294595041411998,
208503814473854121803416467751912351, 814468025288492663329641974547358,
208503814473854121812388482634564511, 814468025288492663329779413500830,
208503814473854121812423667006653343, 3181515723783169944801894286215,
3181515723783169944939333239687, 3181515723783169979986266375047,
3181515723783169980123705328519, 3181515723783178952001149027207,
3181515723783178987185521116039, 814468025288492658790857975088015,
814468025288492658790995414041487, 814468025288492658826042347176847,
814468025288492658826179786130319, 814468025288492667798057229829007,
814468025288492667798194668782479, 814468025288492667833241601917839,
814468025288492667833379040871311, 814468025288492658790857975088023,
814468025288492658790995414041495, 814468025288492658826042347176855,
814468025288492658826179786130327, 814468025288492667798057229829015,
814468025288492667798194668782487, 814468025288492667833241601917847,
814468025288492667833379040871319, 208503814473854121803381214660346783,
208503814473854121803381352099300255, 208503814473854121803416399032435615,
208503814473854121803416536471389087, 208503814473854121812388413915087775,
208503814473854121812388551354041247, 208503814473854121812423598287176607,
208503814473854121812423735726130079, 48546077328234404406969224,
12427795796028007665334567817, 12427795796028007665334567818,
3181515723783169962462799807371, 12427795796028007665334567820,
3181515723783169962462799807373, 3181515723783169962462799807374,
814468025288491510390613901132687, 48546077328234541845922696,
12427795796028042849706656649, 12427795796028042849706656650,
3181515723783178969662054548363, 12427795796028042849706656652,
3181515723783178969662054548365, 3181515723783178969662054548366,
814468025288493816233623114826639, 12427795796028025188801135512,
3181515723783174448470241133465, 3181515723783174448470241133466,
814468025288492658808518880609179, 3181515723783174448470241133468,
814468025288492658808518880609181, 814468025288492658808518880609182,
208503814473854120654980970586391455, 12427795796028025326240088984,
3181515723783174483654613222297, 3181515723783174483654613222298,
814468025288492667815718135350171, 3181515723783174483654613222300,
814468025288492667815718135350173, 814468025288492667815718135350174,
208503814473854122960823979800085407, 12427795796028007596615091081,
12427795796028007734054044553, 3181515723783169962394080330635,
3181515723783169962531519284107, 3181515723783169962394080330637,
3181515723783169962531519284109, 814468025288491510390545181655951,
814468025288491510390682620609423, 12427795796028042780987179913,
12427795796028042918426133385, 3181515723783178969593335071627,
3181515723783178969730774025099, 3181515723783178969593335071629,
3181515723783178969730774025101, 814468025288493816233554395349903,
814468025288493816233691834303375, 3181515723783174448401521656729,
3181515723783174448538960610201, 814468025288492658808450161132443,
814468025288492658808587600085915, 814468025288492658808450161132445,
814468025288492658808587600085917, 208503814473854120654980901866914719,
208503814473854120654981039305868191, 3181515723783174483585893745561,
3181515723783174483723332699033, 814468025288492667815649415873435,
814468025288492667815786854826907, 814468025288492667815649415873437,
814468025288492667815786854826909, 208503814473854122960823911080608671,
208503814473854122960824048519562143, 3181515723783169944870613762955,
3181515723783169980054985851787, 3181515723783169962394080330638,
814468025288491510373021715088271, 3181515723783169962531519284110,
814468025288491510408206087177103, 12427795796028042780987179914,
12427795796028042918426133386, 3181515723783178969593335071630,
814468025288493816216030928782223, 3181515723783178969730774025102,
814468025288493816251215300871055, 3181515723783174448401521656730,
814468025288492658790926694564763, 3181515723783174448538960610202,
814468025288492658826111066653595, 814468025288492658808450161132446,
208503814473854120654963378400347039, 814468025288492658808587600085918,
208503814473854120654998562772435871, 3181515723783174483585893745562,
814468025288492667798125949305755, 3181515723783174483723332699034,
814468025288492667833310321394587, 814468025288492667815649415873438,
208503814473854122960806387614040991, 814468025288492667815786854826910,
208503814473854122960841571986129823, 3181515723783169944939333239691,
3181515723783169980123705328523, 814468025288491510372952995611535,
814468025288491510373090434565007, 814468025288491510408137367700367,
814468025288491510408274806653839, 3181515723783178952138587980683,
3181515723783178987322960069515, 814468025288493816215962209305487,
814468025288493816216099648258959, 814468025288493816251146581394319,
814468025288493816251284020347791, 814468025288492658790857975088027,
814468025288492658790995414041499, 814468025288492658826042347176859,
814468025288492658826179786130331, 208503814473854120654963309680870303,
208503814473854120654963447119823775, 208503814473854120654998494052959135,
208503814473854120654998631491912607, 814468025288492667798057229829019,
814468025288492667798194668782491, 814468025288492667833241601917851,
814468025288492667833379040871323, 208503814473854122960806318894564255,
208503814473854122960806456333517727, 208503814473854122960841503266653087,
208503814473854122960841640705606559, 12427795796028007596615091084,
3181515723783169944870613762957, 3181515723783169944870613762958,
814468025288491505887014273762191, 12427795796028007734054044556,
3181515723783169980054985851790, 3181515723783178952069868503949,
814468025288493811730023487456143, 12427795796028042918426133388,
3181515723783178987254240592781, 3181515723783178987254240592782,
814468025288493820737222742197135, 3181515723783174448401521656732,
814468025288492658790926694564765, 814468025288492658790926694564766,
208503814473854120650477370959020959, 3181515723783174448538960610204,
814468025288492658826111066653597, 814468025288492658826111066653598,
208503814473854120659484570213761951, 3181515723783174483585893745564,
814468025288492667798125949305757, 814468025288492667798125949305758,
208503814473854122956320380172714911, 3181515723783174483723332699036,
814468025288492667833310321394589, 814468025288492667833310321394590,
208503814473854122965327579427455903, 3181515723783169944801894286221,
3181515723783169944939333239693, 814468025288491505886945554285455,
814468025288491505887082993238927, 3181515723783169979986266375053,
814468025288491514894144809026447, 3181515723783178952001149027213,
814468025288493811729954767979407, 3181515723783178987185521116045,
3181515723783178987322960069517, 814468025288493820737154022720399,
814468025288493820737291461673871, 814468025288492658790857975088029,
814468025288492658790995414041501, 208503814473854120650477302239544223,
208503814473854120650477439678497695, 814468025288492658826042347176861,
814468025288492658826179786130333, 208503814473854120659484501494285215,
208503814473854120659484638933238687, 814468025288492667798057229829021,
814468025288492667798194668782493, 208503814473854122956320311453238175,
208503814473854122956320448892191647, 814468025288492667833241601917853,
814468025288492667833379040871325, 208503814473854122965327510707979167,
208503814473854122965327648146932639, 814468025288491505869422087717775,
814468025288491505904606459806607, 3181515723783169979986266375054,
3181515723783169980123705328526, 814468025288493811712431301411727,
814468025288493811747615673500559, 3181515723783178987185521116046,
3181515723783178987322960069518, 814468025288492658790857975088030,
208503814473854120650459778772976543, 814468025288492658790995414041502,
208503814473854120650494963145065375, 814468025288492658826042347176862,
208503814473854120659466978027717535, 814468025288492658826179786130334,
208503814473854120659502162399806367, 814468025288492667798057229829022,
208503814473854122956302787986670495, 814468025288492667798194668782494,
208503814473854122956337972358759327, 814468025288492667833241601917854,
208503814473854122965309987241411487, 814468025288492667833379040871326,
208503814473854122965345171613500319, 814468025288491505869490807194511,
814468025288491505904675179283343, 814468025288491514876552622982031,
814468025288491514911736995070863, 814468025288493811712362581934991,
814468025288493811747546954023823, 814468025288493820719699275629455,
814468025288493820754883647718287, 208503814473854120650459710053499807,
208503814473854120650459847492453279, 208503814473854120650494894425588639,
208503814473854120650495031864542111, 208503814473854120659466909308240799,
208503814473854120659467046747194271, 208503814473854120659502093680329631,
208503814473854120659502231119283103, 208503814473854122956302719267193759,
208503814473854122956302856706147231, 208503814473854122956337903639282591,
208503814473854122956338041078236063, 208503814473854122965309918521934751,
208503814473854122965310055960888223, 208503814473854122965345102894023583,
208503814473854122965345240332977055, 48546077328234404406969232,
12427795796028007665334567825, 12427795796028007665334567826,
3181515723783169962462799807379, 12427795796028007665334567828,
3181515723783169962462799807381, 3181515723783169962462799807382,
814468025288491510390613901132695, 12427795796028007665334567832,
3181515723783169962462799807385, 3181515723783169962462799807386,
814468025288491510390613901132699, 3181515723783169962462799807388,
814468025288491510390613901132701, 814468025288491510390613901132702,
208503814473853826659997295840412575, 48546077328234541845922704,
12427795796028042849706656657, 12427795796028042849706656658,
3181515723783178969662054548371, 3181515723783178969662054548373,
3181515723783178969662054548374, 814468025288493816233623114826647,
12427795796028042849706656664, 3181515723783178969662054548377,
3181515723783178969662054548378, 814468025288493816233623114826651,
3181515723783178969662054548380, 814468025288493816233623114826653,
814468025288493816233623114826654, 208503814473854416955807654546064287,
12427795796028007596615091089, 12427795796028007734054044561,
3181515723783169962394080330643, 3181515723783169962531519284115,
3181515723783169962394080330645, 3181515723783169962531519284117,
814468025288491510390545181655959, 814468025288491510390682620609431,
3181515723783169962394080330649, 3181515723783169962531519284121,
814468025288491510390545181655963, 814468025288491510390682620609435,
814468025288491510390545181655965, 814468025288491510390682620609437,
208503814473853826659997227120935839, 208503814473853826659997364559889311,
12427795796028042780987179921, 12427795796028042918426133393,
3181515723783178969593335071635, 3181515723783178969730774025107,
3181515723783178969593335071637, 814468025288493816233554395349911,
814468025288493816233691834303383, 3181515723783178969593335071641,
3181515723783178969730774025113, 814468025288493816233554395349915,
814468025288493816233691834303387, 814468025288493816233554395349917,
814468025288493816233691834303389, 208503814473854416955807585826587551,
208503814473854416955807723265541023, 12427795796028007596615091090,
3181515723783169944870613762963, 3181515723783169980054985851795,
3181515723783169962394080330646, 814468025288491510373021715088279,
3181515723783169962531519284118, 3181515723783169962394080330650,
814468025288491510373021715088283, 3181515723783169962531519284122,
814468025288491510408206087177115, 814468025288491510390545181655966,
208503814473853826659979703654368159, 814468025288491510390682620609438,
208503814473853826660014888026456991, 12427795796028042780987179922,
12427795796028042918426133394, 3181515723783178987254240592787,
814468025288493816216030928782231, 814468025288493816251215300871063,
3181515723783178969593335071642, 814468025288493816216030928782235,
3181515723783178969730774025114, 814468025288493816251215300871067,
814468025288493816233554395349918, 208503814473854416955790062360019871,
814468025288493816233691834303390, 208503814473854416955825246732108703,
3181515723783169944801894286227, 3181515723783169944939333239699,
3181515723783169980123705328531, 814468025288491510372952995611543,
814468025288491510373090434565015, 814468025288491510408137367700375,
814468025288491510372952995611547, 814468025288491510373090434565019,
814468025288491510408137367700379, 814468025288491510408274806653851,
208503814473853826659979634934891423, 208503814473853826659979772373844895,
208503814473853826660014819306980255, 208503814473853826660014956745933727,
3181515723783178952138587980691, 3181515723783178987185521116051,
3181515723783178987322960069523, 814468025288493816215962209305495,
814468025288493816251146581394327, 814468025288493816215962209305499,
814468025288493816216099648258971, 814468025288493816251146581394331,
814468025288493816251284020347803, 208503814473854416955789993640543135,
208503814473854416955790131079496607, 208503814473854416955825178012631967,
208503814473854416955825315451585439, 12427795796028007596615091092,
3181515723783169944870613762965, 3181515723783169944870613762966,
814468025288491505887014273762199, 12427795796028007734054044564,
3181515723783169980054985851797, 3181515723783169980054985851798,
814468025288491514894213528503191, 3181515723783169962394080330652,
814468025288491510373021715088285, 814468025288491510373021715088286,
208503814473853826655493696213042079, 3181515723783169962531519284124,
814468025288491510408206087177117, 814468025288491510408206087177118,
208503814473853826664500895467783071, 12427795796028042780987179924,
3181515723783178952069868503957, 3181515723783178952069868503958,
814468025288493811730023487456151, 12427795796028042918426133396,
3181515723783178987254240592789, 3181515723783178987254240592790,
814468025288493820737222742197143, 3181515723783178969593335071644,
814468025288493816216030928782237, 814468025288493816216030928782238,
208503814473854416951304054918693791, 3181515723783178969730774025116,
814468025288493816251215300871069, 814468025288493816251215300871070,
208503814473854416960311254173434783, 3181515723783169944939333239701,
814468025288491505886945554285463, 814468025288491505887082993238935,
3181515723783169979986266375061, 814468025288491514894144809026455,
814468025288491514894282247979927, 814468025288491510372952995611549,
814468025288491510373090434565021, 208503814473853826655493627493565343,
208503814473853826655493764932518815, 814468025288491510408137367700381,
814468025288491510408274806653853, 208503814473853826664500826748306335,
208503814473853826664500964187259807, 3181515723783178952001149027221,
814468025288493811729954767979415, 814468025288493811730092206932887,
3181515723783178987322960069525, 814468025288493820737154022720407,
814468025288493820737291461673879, 814468025288493816215962209305501,
814468025288493816216099648258973, 208503814473854416951303986199217055,
208503814473854416951304123638170527, 814468025288493816251146581394333,
814468025288493816251284020347805, 208503814473854416960311185453958047,
208503814473854416960311322892911519, 3181515723783169944801894286230,
814468025288491505869422087717783, 814468025288491505904606459806615,
3181515723783169979986266375062, 814468025288491514876621342458775,
3181515723783169980123705328534, 814468025288491510372952995611550,
208503814473853826655476104026997663, 814468025288491510373090434565022,
208503814473853826655511288399086495, 814468025288491510408137367700382,
208503814473853826664483303281738655, 814468025288491510408274806653854,
208503814473853826664518487653827487, 814468025288493811712431301411735,
3181515723783178952138587980694, 814468025288493811747615673500567,
3181515723783178987185521116054, 3181515723783178987322960069526,
814468025288493820754814928241559, 814468025288493816215962209305502,
208503814473854416951286462732649375, 814468025288493816216099648258974,
208503814473854416951321647104738207, 814468025288493816251146581394334,
208503814473854416960293661987390367, 814468025288493816251284020347806,
208503814473854416960328846359479199, 814468025288491505869490807194519,
814468025288491505904675179283351, 814468025288491514876552622982039,
814468025288491514911736995070871, 208503814473853826655476035307520927,
208503814473853826655476172746474399, 208503814473853826655511219679609759,
208503814473853826655511357118563231, 208503814473853826664483234562261919,
208503814473853826664483372001215391, 208503814473853826664518418934350751,
208503814473853826664518556373304223, 814468025288493811712362581934999,
814468025288493811747546954023831, 814468025288493820719699275629463,
814468025288493820754883647718295, 208503814473854416951286394013172639,
208503814473854416951286531452126111, 208503814473854416951321578385261471,
208503814473854416951321715824214943, 208503814473854416960293593267913631,
208503814473854416960293730706867103, 208503814473854416960328777640002463,
208503814473854416960328915078955935, 12427795796028007596615091096,
3181515723783169944870613762969, 3181515723783169944870613762970,
814468025288491505887014273762203, 3181515723783169944870613762972,
814468025288491505887014273762205, 814468025288491505887014273762206,
208503814473853825507075791233565599, 12427795796028007734054044568,
3181515723783169980054985851801, 3181515723783169980054985851802,
814468025288491514894213528503195, 3181515723783169980054985851804,
814468025288491514894213528503197, 814468025288491514894213528503198,
208503814473853827812918800447259551, 12427795796028042780987179928,
3181515723783178952069868503961, 3181515723783178952069868503962,
814468025288493811730023487456155, 3181515723783178952069868503964,
814468025288493811730023487456157, 814468025288493811730023487456158,
208503814473854415802886149939217311, 12427795796028042918426133400,
3181515723783178987254240592793, 3181515723783178987254240592794,
814468025288493820737222742197147, 3181515723783178987254240592796,
814468025288493820737222742197149, 814468025288493820737222742197150,
208503814473854418108729159152911263, 3181515723783169944801894286233,
3181515723783169944939333239705, 814468025288491505886945554285467,
814468025288491505887082993238939, 814468025288491505886945554285469,
814468025288491505887082993238941, 208503814473853825507075722514088863,
208503814473853825507075859953042335, 3181515723783169979986266375065,
3181515723783169980123705328537, 814468025288491514894144809026459,
814468025288491514894282247979931, 814468025288491514894144809026461,
814468025288491514894282247979933, 208503814473853827812918731727782815,
208503814473853827812918869166736287, 3181515723783178952001149027225,
3181515723783178952138587980697, 814468025288493811729954767979419,
814468025288493811730092206932891, 814468025288493811729954767979421,
814468025288493811730092206932893, 208503814473854415802886081219740575,
208503814473854415802886218658694047, 3181515723783178987185521116057,
3181515723783178987322960069529, 814468025288493820737291461673883,
814468025288493820737154022720413, 814468025288493820737291461673885,
208503814473854418108729090433434527, 208503814473854418108729227872387999,
814468025288491505869422087717787, 3181515723783169944939333239706,
814468025288491505904606459806619, 814468025288491505886945554285470,
208503814473853825507058199047521183, 814468025288491505887082993238942,
208503814473853825507093383419610015, 3181515723783169979986266375066,
814468025288491514876621342458779, 3181515723783169980123705328538,
814468025288491514911805714547611, 814468025288491514894144809026462,
208503814473853827812901208261215135, 814468025288491514894282247979934,
208503814473853827812936392633303967, 3181515723783178952001149027226,
814468025288493811712431301411739, 3181515723783178952138587980698,
814468025288493811747615673500571, 814468025288493811729954767979422,
208503814473854415802868557753172895, 814468025288493811730092206932894,
208503814473854415802903742125261727, 3181515723783178987185521116058,
814468025288493820719630556152731, 3181515723783178987322960069530,
814468025288493820737154022720414, 208503814473854418108711566966866847,
814468025288493820737291461673886, 208503814473854418108746751338955679,
814468025288491505869490807194523, 814468025288491505904537740329883,
814468025288491505904675179283355, 208503814473853825507058130328044447,
208503814473853825507058267766997919, 208503814473853825507093314700133279,
208503814473853825507093452139086751, 814468025288491514876552622982043,
814468025288491514876690061935515, 814468025288491514911736995070875,
814468025288491514911874434024347, 208503814473853827812901139541738399,
208503814473853827812901276980691871, 208503814473853827812936323913827231,
208503814473853827812936461352780703, 814468025288493811712362581935003,
814468025288493811712500020888475, 814468025288493811747546954023835,
814468025288493811747684392977307, 208503814473854415802868489033696159,
208503814473854415802868626472649631, 208503814473854415802903673405784991,
208503814473854415802903810844738463, 814468025288493820719699275629467,
814468025288493820754883647718299, 208503814473854418108711498247390111,
208503814473854418108711635686343583, 208503814473854418108746682619478943,
208503814473854418108746820058432415, 3181515723783169944801894286236,
814468025288491505869422087717789, 814468025288491505869422087717790,
208503814473853825502572191606195103, 3181515723783169944939333239708,
814468025288491505904606459806622, 3181515723783169979986266375068,
814468025288491514876621342458781, 814468025288491514876621342458782,
208503814473853827808415200819889055, 3181515723783169980123705328540,
814468025288491514911805714547613, 814468025288491514911805714547614,
208503814473853827817422400074630047, 3181515723783178952001149027228,
814468025288493811712431301411741, 814468025288493811712431301411742,
208503814473854415798382550311846815, 3181515723783178952138587980700,
814468025288493811747615673500573, 814468025288493811747615673500574,
208503814473854415807389749566587807, 814468025288493820719630556152733,
208503814473854418104225559525540767, 3181515723783178987322960069532,
814468025288493820754814928241565, 814468025288493820754814928241566,
208503814473854418113232758780281759, 814468025288491505869353368241053,
814468025288491505869490807194525, 208503814473853825502572260325671839,
814468025288491505904537740329885, 208503814473853825511579322141459359,
814468025288491514876552622982045, 814468025288491514876690061935517,
208503814473853827808415132100412319, 208503814473853827808415269539365791,
814468025288491514911736995070877, 814468025288491514911874434024349,
208503814473853827817422331355153311, 208503814473853827817422468794106783,
814468025288493811712362581935005, 814468025288493811712500020888477,
208503814473854415798382481592370079, 208503814473854415798382619031323551,
814468025288493811747546954023837, 814468025288493811747684392977309,
208503814473854415807389680847111071, 208503814473854415807389818286064543,
814468025288493820719561836675997, 208503814473854418104225490806064031,
814468025288493820754746208764829, 814468025288493820754883647718301,
208503814473854418113232690060805023, 208503814473854418113232827499758495,
208503814473853825502554599420150687, 814468025288491505869490807194526,
208503814473853825502589783792239519, 814468025288491505904537740329886,
814468025288491505904675179283358, 814468025288491514876552622982046,
208503814473853827808397608633844639, 814468025288491514876690061935518,
208503814473853827808432793005933471, 814468025288491514911736995070878,
208503814473853827817404807888585631, 814468025288491514911874434024350,
208503814473853827817439992260674463, 814468025288493811712362581935006,
208503814473854415798364958125802399, 814468025288493811712500020888478,
208503814473854415798400142497891231, 814468025288493811747546954023838,
208503814473854415807372157380543391, 814468025288493811747684392977310,
208503814473854415807407341752632223, 208503814473854418104207967339496351,
208503814473854418104243151711585183, 814468025288493820754746208764830,
208503814473854418113215166594237343, 814468025288493820754883647718302,
208503814473853825502554668139627423, 208503814473853825502589852511716255,
208503814473853825511561729955414943, 208503814473853825511596914327503775,
208503814473853827808397539914367903, 208503814473853827808397677353321375,
208503814473853827808432724286456735, 208503814473853827808432861725410207,
208503814473853827817404739169108895, 208503814473853827817404876608062367,
208503814473853827817439923541197727, 208503814473853827817440060980151199,
208503814473854415798364889406325663, 208503814473854415798365026845279135,
208503814473854415798400073778414495, 208503814473854415798400211217367967,
208503814473854415807372088661066655, 208503814473854415807372226100020127,
208503814473854415807407273033155487, 208503814473854415807407410472108959,
208503814473854418104207898620019615, 208503814473854418104243082992108447,
208503814473854418113215097874760607, 208503814473854418113215235313714079,
208503814473854418113250419685802911, 12427795796028025154441397129,
12427795796028025291880350601, 3181515723783174465959347962763,
3181515723783174466096786916235, 3181515723783174465959347962765,
3181515723783174466096786916237, 814468025288492663312015428764559,
814468025288492663312152867718031, 12427795796028025154441397137,
3181515723783174465959347962771, 3181515723783174465959347962773,
814468025288492663312015428764567, 3181515723783174465959347962777,
3181515723783174466096786916249, 814468025288492663312015428764571,
814468025288492663312152867718043, 814468025288492663312015428764573,
814468025288492663312152867718045, 208503814473854121807902372114023327,
208503814473854121807902509552976799, 3181515723783174448367161918347,
3181515723783174448504600871819, 3181515723783174483551534007179,
3181515723783174483688972960651, 814468025288492663294423242720143,
814468025288492663294560681673615, 814468025288492663329607614808975,
814468025288492663329745053762447, 3181515723783174448367161918355,
3181515723783174448504600871827, 814468025288492663294423242720151,
814468025288492663294560681673623, 814468025288492663294423242720155,
814468025288492663294560681673627, 208503814473854121807884779927978911,
208503814473854121807884917366932383, 12427795796028007699694306181,
3181515723783169962497159545735, 3181515723783174448367161918349,
3181515723783174448504600871821, 814468025288492658808415801394063,
814468025288492658808553240347535, 3181515723783174483551534007181,
3181515723783174483688972960653, 814468025288492667815615056135055,
814468025288492667815752495088527, 3181515723783174448367161918357,
3181515723783174448504600871829, 814468025288492658808415801394071,
814468025288492658808553240347543, 814468025288492663294423242720157,
814468025288492663294560681673629, 208503814473854121803398772486652831,
208503814473854121803398909925606303, 814468025288492663329607614808989,
814468025288492663329745053762461, 208503814473854121812405971741393823,
208503814473854121812406109180347295, 3181515723783169944904973501319,
3181515723783169980089345590151, 814468025288492658790823615349647,
814468025288492658790961054303119, 814468025288492667798022870090639,
814468025288492667798160309044111, 814468025288492658790823615349655,
814468025288492658790961054303127, 814468025288492658826007987438487,
814468025288492658826145426391959, 208503814473854121803381180300608415,
208503814473854121803381317739561887, 208503814473854121803416364672697247,
208503814473854121803416502111650719, 208503814473854121812388379555349407,
208503814473854121812388516994302879, 208503814473854121812423563927438239,
208503814473854121812423701366391711, 12427795796028007699694306185,
3181515723783169962497159545739, 3181515723783169962359720592269,
814468025288491510390510821917583, 12427795796028042746627441545,
3181515723783178969558975333259, 3181515723783178969696414286733,
814468025288493816233657474565007, 3181515723783174448367161918361,
3181515723783174448504600871833, 814468025288492658808415801394075,
814468025288492658808553240347547, 814468025288492658808415801394077,
814468025288492658808553240347549, 208503814473854120654980867507176351,
208503814473854120654981004946129823, 3181515723783174483551534007193,
3181515723783174483688972960665, 814468025288492667815615056135067,
814468025288492667815752495088539, 814468025288492667815615056135069,
814468025288492667815752495088541, 208503814473854122960823876720870303,
208503814473854122960824014159823775, 12427795796028007768413782921,
3181515723783169962565879022475, 3181515723783169962428440069005,
814468025288491510390579541394319, 12427795796028042952785871753,
3181515723783178969765133763467, 3181515723783178969627694809997,
814468025288493816233588755088271, 3181515723783174448435881395097,
3181515723783174448573320348569, 814468025288492658808484520870811,
814468025288492658808621959824283, 814468025288492658808484520870813,
814468025288492658808621959824285, 208503814473854120654980936226653087,
208503814473854120654981073665606559, 3181515723783174483620253483929,
3181515723783174483757692437401, 814468025288492667815683775611803,
814468025288492667815821214565275, 814468025288492667815683775611805,
814468025288492667815821214565277, 208503814473854122960823945440347039,
208503814473854122960824082879300511, 814468025288491510372918635873167,
814468025288491510408103007961999, 814468025288493816216065288520591,
814468025288493816251249660609423, 814468025288492658790823615349659,
814468025288492658790961054303131, 814468025288492658826007987438491,
814468025288492658826145426391963, 208503814473854120654963275321131935,
208503814473854120654963412760085407, 208503814473854120654998459693220767,
208503814473854120654998597132174239, 814468025288492667798022870090651,
814468025288492667798160309044123, 814468025288492667833207242179483,
814468025288492667833344681132955, 208503814473854122960806284534825887,
208503814473854122960806421973779359, 208503814473854122960841468906914719,
208503814473854122960841606345868191, 814468025288491510372987355349903,
814468025288491510408171727438735, 814468025288493816215996569043855,
814468025288493816251180941132687, 814468025288492658790892334826395,
814468025288492658791029773779867, 814468025288492658826076706915227,
814468025288492658826214145868699, 208503814473854120654963344040608671,
208503814473854120654963481479562143, 208503814473854120654998528412697503,
208503814473854120654998665851650975, 814468025288492667798091589567387,
814468025288492667798229028520859, 814468025288492667833275961656219,
814468025288492667833413400609691, 208503814473854122960806353254302623,
208503814473854122960806490693256095, 208503814473854122960841537626391455,
208503814473854122960841675065344927, 3181515723783169944904973501325,
814468025288491505887048633500559, 3181515723783178987151161377677,
814468025288493820737119662982031, 814468025288492658790823615349661,
814468025288492658790961054303133, 208503814473854120650477267879805855,
208503814473854120650477405318759327, 814468025288492658826007987438493,
814468025288492658826145426391965, 208503814473854120659484467134546847,
208503814473854120659484604573500319, 814468025288492667798022870090653,
814468025288492667798160309044125, 208503814473854122956320277093499807,
208503814473854122956320414532453279, 814468025288492667833207242179485,
814468025288492667833344681132957, 208503814473854122965327476348240799,
208503814473854122965327613787194271, 3181515723783169944973692978061,
814468025288491505887117352977295, 3181515723783178987357319807885,
814468025288493820737325821412239, 814468025288492658790892334826397,
814468025288492658791029773779869, 208503814473854120650477336599282591,
208503814473854120650477474038236063, 814468025288492658826076706915229,
814468025288492658826214145868701, 208503814473854120659484535854023583,
208503814473854120659484673292977055, 814468025288492667798091589567389,
814468025288492667798229028520861, 208503814473854122956320345812976543,
208503814473854122956320483251930015, 814468025288492667833275961656221,
814468025288492667833413400609693, 208503814473854122965327545067717535,
208503814473854122965327682506671007, 208503814473854120650459675693761439,
208503814473854120650459813132714911, 208503814473854120650494860065850271,
208503814473854120650494997504803743, 208503814473854120659466874948502431,
208503814473854120659467012387455903, 208503814473854120659502059320591263,
208503814473854120659502196759544735, 208503814473854122956302684907455391,
208503814473854122956302822346408863, 208503814473854122956337869279544223,
208503814473854122956338006718497695, 208503814473854122965309884162196383,
208503814473854122965310021601149855, 208503814473854122965345068534285215,
208503814473854122965345205973238687, 208503814473854120650459744413238175,
208503814473854120650459881852191647, 208503814473854120650494928785327007,
208503814473854120650495066224280479, 208503814473854120659466943667979167,
208503814473854120659467081106932639, 208503814473854120659502128040067999,
208503814473854120659502265479021471, 208503814473854122956302753626932127,
208503814473854122956302891065885599, 208503814473854122956337937999020959,
208503814473854122956338075437974431, 208503814473854122965309952881673119,
208503814473854122965310090320626591, 208503814473854122965345137253761951,
208503814473854122965345274692715423, 12427795796028007699694306193,
3181515723783169962497159545747, 3181515723783169962359720592277,
814468025288491510390510821917591, 3181515723783169962359720592281,
3181515723783169962497159545753, 814468025288491510390510821917595,
814468025288491510390648260871067, 814468025288491510390510821917597,
814468025288491510390648260871069, 208503814473853826659997192761197471,
208503814473853826659997330200150943, 12427795796028042746627441553,
3181515723783178969558975333267, 814468025288493816233657474565015,
3181515723783178969558975333273, 3181515723783178969696414286745,
814468025288493816233520035611547, 814468025288493816233657474565019,
814468025288493816233520035611549, 814468025288493816233657474565021,
208503814473854416955807551466849183, 208503814473854416955807688905802655,
12427795796028007768413782929, 3181515723783169962565879022483,
3181515723783169962428440069013, 814468025288491510390579541394327,
3181515723783169962428440069017, 3181515723783169962565879022489,
814468025288491510390579541394331, 814468025288491510390716980347803,
814468025288491510390579541394333, 814468025288491510390716980347805,
208503814473853826659997261480674207, 208503814473853826659997398919627679,
12427795796028042952785871761, 3181515723783178969765133763475,
814468025288493816233588755088279, 3181515723783178969627694810009,
3181515723783178969765133763481, 814468025288493816233588755088283,
814468025288493816233726194041755, 814468025288493816233588755088285,
814468025288493816233726194041757, 208503814473854416955807620186325919,
208503814473854416955807757625279391, 3181515723783169944904973501331,
814468025288491510372918635873175, 814468025288491510372918635873179,
814468025288491510373056074826651, 814468025288491510408103007962011,
814468025288491510408240446915483, 208503814473853826659979600575153055,
208503814473853826659979738014106527, 208503814473853826660014784947241887,
208503814473853826660014922386195359, 3181515723783178987151161377683,
814468025288493816215927849567131, 814468025288493816216065288520603,
814468025288493816251112221655963, 814468025288493816251249660609435,
208503814473854416955789959280804767, 208503814473854416955790096719758239,
208503814473854416955825143652893599, 208503814473854416955825281091847071,
3181515723783169944973692978067, 814468025288491510372987355349911,
814468025288491510372987355349915, 814468025288491510373124794303387,
814468025288491510408171727438747, 814468025288491510408309166392219,
208503814473853826659979669294629791, 208503814473853826659979806733583263,
208503814473853826660014853666718623, 208503814473853826660014991105672095,
3181515723783178987357319807891, 814468025288493816215996569043867,
814468025288493816216134007997339, 814468025288493816251180941132699,
814468025288493816251318380086171, 208503814473854416955790028000281503,
208503814473854416955790165439234975, 208503814473854416955825212372370335,
208503814473854416955825349811323807, 3181515723783169944904973501333,
814468025288491505887048633500567, 3181515723783169979951906636693,
814468025288491514894110449288087, 814468025288491510372918635873181,
814468025288491510373056074826653, 208503814473853826655493593133826975,
208503814473853826655493730572780447, 814468025288491510408103007962013,
814468025288491510408240446915485, 208503814473853826664500792388567967,
208503814473853826664500929827521439, 3181515723783178952104228242325,
814468025288493811730057847194519, 3181515723783178987151161377685,
814468025288493820737119662982039, 814468025288493816215927849567133,
814468025288493816216065288520605, 208503814473854416951303951839478687,
208503814473854416951304089278432159, 814468025288493816251112221655965,
814468025288493816251249660609437, 208503814473854416960311151094219679,
208503814473854416960311288533173151, 814468025288491505887117352977303,
814468025288491514894179168764823, 814468025288491510372987355349917,
814468025288491510373124794303389, 208503814473853826655493661853303711,
208503814473853826655493799292257183, 814468025288491510408171727438749,
814468025288491510408309166392221, 208503814473853826664500861108044703,
208503814473853826664500998546998175, 814468025288493811729989127717783,
814468025288493820737325821412247, 814468025288493816215996569043869,
814468025288493816216134007997341, 208503814473854416951304020558955423,
208503814473854416951304157997908895, 814468025288493816251180941132701,
814468025288493816251318380086173, 208503814473854416960311219813696415,
208503814473854416960311357252649887, 814468025288491505869456447456151,
814468025288491514876518263243671, 208503814473853826655476000947782559,
208503814473853826655476138386736031, 208503814473853826655511185319871391,
208503814473853826655511322758824863, 208503814473853826664483200202523551,
208503814473853826664483337641477023, 208503814473853826664518384574612383,
208503814473853826664518522013565855, 814468025288493811747650033238935,
814468025288493820754711849026455, 208503814473854416951286359653434271,
208503814473854416951286497092387743, 208503814473854416951321544025523103,
208503814473854416951321681464476575, 208503814473854416960293558908175263,
208503814473854416960293696347128735, 208503814473854416960328743280264095,
208503814473854416960328880719217567, 208503814473853826655476069667259295,
208503814473853826655476207106212767, 208503814473853826655511254039348127,
208503814473853826655511391478301599, 208503814473853826664483268922000287,
208503814473853826664483406360953759, 208503814473853826664518453294089119,
208503814473853826664518590733042591, 208503814473854416951286428372911007,
208503814473854416951286565811864479, 208503814473854416951321612744999839,
208503814473854416951321750183953311, 208503814473854416960293627627651999,
208503814473854416960293765066605471, 208503814473854416960328811999740831,
208503814473854416960328949438694303, 3181515723783169944904973501337,
814468025288491505887048633500571, 814468025288491505886911194547101,
208503814473853825507075688154350495, 3181515723783169979951906636697,
3181515723783169980089345590169, 814468025288491514894110449288091,
814468025288491514894247888241563, 814468025288491514894110449288093,
814468025288491514894247888241565, 208503814473853827812918697368044447,
208503814473853827812918834806997919, 3181515723783178951966789288857,
3181515723783178952104228242329, 814468025288493811729920408241051,
814468025288493811730057847194523, 814468025288493811729920408241053,
814468025288493811730057847194525, 208503814473854415802886046860002207,
208503814473854415802886184298955679, 3181515723783178987151161377689,
814468025288493820737119662982043, 814468025288493820737257101935517,
208503814473854418108729193512649631, 3181515723783169944973692978073,
814468025288491505887117352977307, 814468025288491505886979914023837,
208503814473853825507075756873827231, 3181515723783169980020626113433,
3181515723783169980158065066905, 814468025288491514894179168764827,
814468025288491514894316607718299, 814468025288491514894179168764829,
814468025288491514894316607718301, 208503814473853827812918766087521183,
208503814473853827812918903526474655, 3181515723783178952035508765593,
3181515723783178952172947719065, 814468025288493811729989127717787,
814468025288493811730126566671259, 814468025288493811729989127717789,
814468025288493811730126566671261, 208503814473854415802886115579478943,
208503814473854415802886253018432415, 3181515723783178987357319807897,
814468025288493820737188382458781, 208503814473854418108729124793172895,
814468025288491505904640819544987, 208503814473853825507058095968306079,
208503814473853825507093280340394911, 814468025288491514876518263243675,
814468025288491514876655702197147, 814468025288491514911702635332507,
814468025288491514911840074285979, 208503814473853827812901105182000031,
208503814473853827812901242620953503, 208503814473853827812936289554088863,
208503814473853827812936426993042335, 814468025288493811712328222196635,
814468025288493811712465661150107, 814468025288493811747512594285467,
814468025288493811747650033238939, 208503814473854415802868454673957791,
208503814473854415802868592112911263, 208503814473854415802903639046046623,
208503814473854415802903776485000095, 814468025288493820719527476937627,
208503814473854418108711601326605215, 208503814473854418108746785698694047,
814468025288491505904709539021723, 208503814473853825507058164687782815,
208503814473853825507093349059871647, 814468025288491514876586982720411,
814468025288491514876724421673883, 814468025288491514911771354809243,
814468025288491514911908793762715, 208503814473853827812901173901476767,
208503814473853827812901311340430239, 208503814473853827812936358273565599,
208503814473853827812936495712519071, 814468025288493811712396941673371,
814468025288493811712534380626843, 814468025288493811747581313762203,
814468025288493811747718752715675, 208503814473854415802868523393434527,
208503814473854415802868660832387999, 208503814473854415802903707765523359,
208503814473854415802903845204476831, 208503814473854418108711532607128479,
208503814473854418108746716979217311, 814468025288491505869456447456157,
208503814473853825502572225965933471, 814468025288491514876518263243677,
814468025288491514876655702197149, 208503814473853827808415097740673951,
208503814473853827808415235179627423, 814468025288491514911702635332509,
814468025288491514911840074285981, 208503814473853827817422296995414943,
208503814473853827817422434434368415, 814468025288493811712328222196637,
814468025288493811712465661150109, 208503814473854415798382447232631711,
208503814473854415798382584671585183, 814468025288493811747512594285469,
814468025288493811747650033238941, 208503814473854415807389646487372703,
208503814473854415807389783926326175, 814468025288493820754711849026461,
208503814473854418113232655701066655, 814468025288491505869525166932893,
814468025288491514876586982720413, 814468025288491514876724421673885,
208503814473853827808415166460150687, 208503814473853827808415303899104159,
814468025288491514911771354809245, 814468025288491514911908793762717,
208503814473853827817422365714891679, 208503814473853827817422503153845151,
814468025288493811712396941673373, 814468025288493811712534380626845,
208503814473854415798382515952108447, 208503814473854415798382653391061919,
814468025288493811747581313762205, 814468025288493811747718752715677,
208503814473854415807389715206849439, 208503814473854415807389852645802911,
814468025288493820754918007456669, 208503814473854418113232861859496863,
208503814473853825502589818151977887, 208503814473853827808397505554629535,
208503814473853827808397642993583007, 208503814473853827808432689926718367,
208503814473853827808432827365671839, 208503814473853827817404704809370527,
208503814473853827817404842248323999, 208503814473853827817439889181459359,
208503814473853827817440026620412831, 208503814473854415798364855046587295,
208503814473854415798364992485540767, 208503814473854415798400039418676127,
208503814473854415798400176857629599, 208503814473854415807372054301328287,
208503814473854415807372191740281759, 208503814473854415807407238673417119,
208503814473854415807407376112370591, 208503814473854418113215063515022239,
208503814473853827808397574274106271, 208503814473853827808397711713059743,
208503814473853827808432758646195103, 208503814473853827808432896085148575,
208503814473853827817404773528847263, 208503814473853827817404910967800735,
208503814473853827817439957900936095, 208503814473853827817440095339889567,
208503814473854415798364923766064031, 208503814473854415798365061205017503,
208503814473854415798400108138152863, 208503814473854415798400245577106335,
208503814473854415807372123020805023, 208503814473854415807372260459758495,
208503814473854415807407307392893855, 208503814473854415807407444831847327,
208503814473854418113215269673452447, 48546077328234507486184328,
12427795796028034053613634441, 12427795796028034053613634442,
3181515723783176717862240863115, 12427795796028034053613634444,
3181515723783176717862240863117, 3181515723783176717862240863118,
814468025288493239772870811403151, 12427795796028025154441397144,
3181515723783174439674148111257, 3181515723783174439674148111258,
814468025288492656556719066923931, 12427795796028025291880350616,
3181515723783174474858520200089, 3181515723783174474858520200090,
814468025288492665563918321664923, 3181515723783174474858520200092,
814468025288492665563918321664925, 814468025288492665563918321664926,
208503814473854122384363227496661919, 3181515723783176717793521386381,
814468025288493239772802091926415, 3181515723783174439605428634521,
3181515723783174439742867587993, 814468025288492656556650347447195,
814468025288492656556787786400667, 3181515723783174474789800723353,
814468025288492665563849602188187, 814468025288492665563849602188189,
208503814473854122384363158777185183, 12427795796028033984894157706,
3181515723783176700270054818699, 3181515723783176717793521386382,
814468025288493239755278625358735, 3181515723783174439605428634522,
814468025288492656539126880879515, 3181515723783174439742867587994,
814468025288492656574311252968347, 3181515723783174474789800723354,
814468025288492665546326135620507, 814468025288492665563849602188190,
208503814473854122384345635310617503, 814468025288493239755209905881999,
814468025288492656539058161402779, 814468025288492656539195600356251,
814468025288492665546257416143771, 814468025288492665546394855097243,
208503814473854122384345566591140767, 208503814473854122384345704030094239,
12427795796028033984894157708, 3181515723783176700270054818701,
3181515723783176700270054818702, 814468025288493235269271184032655,
3181515723783174439605428634524, 814468025288492656539126880879517,
814468025288492656539126880879518, 208503814473854120074016618655597471,
3181515723783174439742867587996, 814468025288492656574311252968349,
814468025288492656574311252968350, 208503814473854120083023817910338463,
3181515723783174474789800723356, 814468025288492665546326135620509,
814468025288492665546326135620510, 208503814473854122379859627869291423,
3181515723783176700201335341965, 3181515723783176700338774295437,
814468025288493235269202464555919, 814468025288493235269339903509391,
814468025288492656539058161402781, 208503814473854120074016549936120735,
814468025288492656574242533491613, 208503814473854120083023749190861727,
814468025288492665546257416143773, 814468025288492665546394855097245,
208503814473854122379859559149814687, 208503814473854122379859696588768159,
3181515723783176700201335341966, 814468025288493235251678997988239,
3181515723783176700338774295438, 814468025288493235286863370077071 ];