sml256.l

#############################################################################
##
#W  sml256.l               GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 256 ][ 12 ] :=
[ 2540291722095147762144122029973, 650314680856357827135317865449367,
650314680856357824857129772697501, 166480558299227603163451644436334495,
650314680856357824892314144786333, 650314680856360123971127824402327,
166480558299228193459262003141986207, 650314680856357824874721958741917,
166480558299227603167955244063704991, 650314680856357824909906330830749,
166480558299227603176962443318445983, 166480558299228193463765602769356703,
166480558299227603167937651877660575, 166480558299227603176980035504490399,
650314680856357820388714517415837, 166480558299227602019537339084228511,
650314680856360126196539359020957, 166480558299227602019519746898184095,
2269529438699904, 148735916615349059971, 580999673741853060,
38076394653666794029447, 580999673741853064, 148735916684068536707,
148735916546629583237, 38076394653598074552711, 148735916546629583241,
148735934207535104387, 38076394671258980073863, 148735916546629583242,
38076394636005888508301, 148735934207535104393, 38076399157266421399947,
9747558184260341313061263, 148735916546629583256, 38076394671362059288967,
38076394636040248246667, 9747557026817541813584271, 38076394635971528769945,
9747557026808745720562078, 578730281742123904, 148154952263418266498,
37927667779572510770051, 148154952263418266500, 37927667779572510770054,
9709482951570700191679367, 148154952263418266504, 37927667779572510770058,
9709482951570700191679371, 148154952263418266512, 37927667779503791293318,
9709482951553108005634951, 37927667779641230246790, 37927667779503791293322,
9709482951553108005634955, 37927667779641230246794, 9709482951588292377723787
, 37927667779503791293330, 37927667761980324725638, 9709482947067100564308871
, 37927667779503791293324, 9709482951553108005634957, 37927667779503791293332
, 9709482951553039286158221, 9709482951553176725111693,
9709482951553039286158229, 37927667797233416291206, 9709482951553039286158222
, 2485627635597578194691048335, 9709482951588223658247054,
2485627635606585393945789327, 9709482951553039286158230,
148154952332137743240, 37927667797164696814473, 9709482956074299819049870,
2485627636755020891111310223, 37927667779503791293336,
37927667797233416291209, 2485627636755020959830786959,
9709482951553039286158233, 148154952332137743248, 9709482956074299819049878,
2485627636755020891111310231, 37927667797164696814488,
9709482956074299819049881, 37927667753081152488326, 9709482951544208833397646
, 2485627635595317598784340879, 9709482951544346272351118,
9709482951544208833397654, 2485627635597569295518811038,
636320674712977739721530688415, 148154952160339051400,
37927667753184231703434, 9709482944815300750623627, 37927667753184231703436,
37927667779469431554968, 37927667753252951180169, 9709482944815232031146891,
9709482944815369470100363, 9709482944815232031146893,
9709482951544243193136025, 9709482944815232031146894,
2485627633872699537408148367, 9709482944815369470100366,
2485627633872734721780237199, 9709482951544243193136026,
2485627633872699606127625103, 2485627635595326326157886363,
9709482944797708564579214, 2485627633868213529966822287,
9709482951544243193136028, 2485627635595326326157886365,
9709482944815197671408523, 9709482951544208833397657,
2485627633872699640487363471, 2485627635595326360517624731,
2485627633868213426887607183, 2485627635595326291798147997,
148154952160339051408, 37927667753184231703442, 9709482944815300750623635,
37927667753184231703444, 37927667753184231703448, 9709482944815232031146902,
2485627633872699537408148375, 9709482944815369470100374,
9709482944815232031146906, 9709482944797708564579222,
2485627633868213529966822295, 9709482944815232031146908,
2485627633872699468688671645, 578730281742156160, 148154952263418298753,
37927667779572510802307, 148154952263418298756, 37927667779572510802309,
37927667779572510802310, 9709482951570700191711623, 148154952263418298760,
37927667779572510802313, 9709482951570700191711627, 148154952263418298768,
148154952194698822018, 37927667761980324757891, 37927667779503791325574,
9709482951553108005667207, 37927667779641230279046, 9709482951588292377756039
, 37927667779503791325578, 9709482951553108005667211, 37927667779641230279050
, 9709482951588292377756043, 9709482951570631472234894,
2485627635602081794318451087, 9709482951570768911188366,
2485627635602116978690539919, 37927667779503791325586, 148154952194698822020,
37927667761980324757893, 37927667761980324757894, 9709482947067100564341127,
37927667779503791325580, 9709482951553108005667214, 37927667779641230279052,
9709482951588292377756045, 9709482951588292377756046,
2485627635606602986131865999, 37927667779503791325588,
37927667761911605281157, 37927667762049044234629, 9709482947067031844864391,
9709482951553039286190477, 2485627635597595718157648271,
9709482951588223658279309, 9709482951588361097232781,
2485627635606602917412389263, 2485627635606603054851342735,
9709482951553039286190485, 37927667762049044234630, 9709482947084692750385543
, 9709482951553039286190478, 9709482951553176725143950,
9709482951588223658279310, 2485627635606585393945821583,
9709482951588361097232782, 2485627635606620578317910415,
9709482951553039286190486, 9709482947084624030908807,
2485627635597578125971603855, 2485627635597613310343692687,
2485627635606585325226344847, 2485627635606585462665298319,
2485627635606620509598433679, 2485627635606620647037387151,
2485627635597578125971603863, 148154952194698822024, 37927667761980324757897,
37927667761980324757898, 9709482947067100564341131, 37927667761980324757900,
9709482947067100564341134, 37927667779503791325592, 37927667762049044234633,
9709482947067031844864395, 9709482947067031844864397,
2485627634449177813178171791, 9709482951553039286190489,
9709482947084692750385547, 9709482947067031844864398,
9709482947067169283817870, 9709482951553039286190490,
2485627634449160220992127375, 2485627634449195405364216207,
2485627635597578125971603867, 37927667761911605281164,
9709482947049508378296717, 9709482947049508378296718,
2485627634444674282270278031, 9709482951553039286190492,
9709482947049439658819982, 2485627634444656690084233615,
2485627635597578125971603870, 148154952194698822032, 37927667761980324757905,
37927667761980324757906, 9709482947067100564341139, 37927667761980324757908,
37927667761980324757912, 9709482947067100564341148,
2485627634449177881897648541, 2485627634449177881897648542,
636320674418989537903224340895, 37927667761877245542787,
9709482951553004926452103, 9709482951553142365405575,
9709482951588189298540935, 9709482951588326737494407,
9709482951553004926452107, 9709482951553142365405579,
9709482951588326737494411, 9709482951553004926452115, 37927667761877245542789
, 9709482947066997485126023, 9709482951553004926452109,
2485627635597595683797909903, 9709482951588189298540941,
9709482951588326737494413, 2485627635606602883052650895,
2485627635606603020491604367, 9709482951553004926452117,
37927667761945965019525, 9709482947067066204602759, 9709482951553073645928845
, 2485627635597595752517386639, 9709482951588258018017677,
9709482951588395456971149, 2485627635606602951772127631,
2485627635606603089211081103, 9709482951553073645928853,
9709482947084589671170439, 2485627635597578091611865487,
2485627635597613275983954319, 2485627635606585290866606479,
2485627635606585428305559951, 2485627635606620475238695311,
2485627635606620612677648783, 2485627635597578091611865495,
9709482947084658390647175, 2485627635597578160331342223,
2485627635597613344703431055, 2485627635606585359586083215,
2485627635606585497025036687, 2485627635606620543958172047,
2485627635606620681397125519, 2485627635597578160331342231,
37927667761877245542793, 9709482947066997485126027, 9709482947066997485126029
, 2485627634449177778818433423, 9709482951553004926452121,
9709482947067066204602763, 9709482947067066204602765,
2485627634449177847537910159, 9709482951553073645928857,
2485627634449160186632389007, 2485627634449195371004477839,
2485627635597578091611865499, 2485627634449160255351865743,
2485627634449195439723954575, 2485627635597578160331342235,
9709482947049405299081613, 2485627634444674179191062927,
2485627635597578091611865501, 2485627634444656587005018511,
636320674712980000283077689759, 37927667761877245542801,
9709482947066997485126035, 9709482947066997485126037,
9709482947066997485126041, 2485627634449177778818433437,
2485627634449177916257386909, 636320674418989537800145125791,
636320674418989537937584079263, 148154952229058560388,
37927667770776417780101, 37927667770776417780102, 9709482949318900378026375,
37927667779538151063948, 9709482951561904098689421, 9709482951561904098689422
, 2485627635599847586690810255, 37927667779675590017420,
9709482951597088470778253, 9709482951597088470778254,
2485627635608854785945551247, 37927667779538151063956,
37927667770707698303365, 37927667770845137256837, 9709482949318831658549639,
9709482951561835379212685, 2485627635599847517971333519,
2485627635599847655410286991, 9709482951597019751301517,
9709482951597157190254989, 2485627635608854717226074511,
2485627635608854854665027983, 9709482951561835379212693,
37927667770845137256838, 9709482949336492564070791, 9709482951561835379212686
, 9709482951561972818166158, 9709482951597019751301518,
2485627635608837193759506831, 9709482951597157190254990,
2485627635608872378131595663, 9709482951561835379212694,
9709482949336423844594055, 2485627635599865110157377935,
2485627635608837125040030095, 2485627635608837262478983567,
2485627635608872309412118927, 2485627635608872446851072399,
2485627635599829925785289111, 37927667761877245542796,
9709482947040712285274509, 9709482947040712285274510,
2485627634442422482456592783, 9709482951553004926452124,
2485627634442422551176069519, 2485627635597569329878581661,
9709482947040643565797774, 2485627634442404890270548367,
2485627635597569329878581662, 636320674712977748517623742879,
37927667761945965019532, 9709482947058304471318925,
2485627634446926082083963279, 9709482951553073645928860,
9709482947058373190795661, 2485627635597586922064626077,
636320674712982252117251113375, 37927667761877245542804,
9709482947040712285274517, 9709482947040712285274518,
2485627634442422482456592791, 9709482947066997485126044,
2485627634449151493618581917, 2485627634449151493618581918,
636320674418982782503783285151, 9709482947067134924079516,
2485627634449186677990670749, 37927667753115512258956,
9709482944797708564611469, 9709482944797708564611470,
2485627633868213529966854543, 9709482951544243193168284,
9709482944797639845134733, 9709482944797777284088205,
2485627633868213461247377807, 2485627635595326326157918621,
9709482944797639845134734, 2485627633868195937780810127,
9709482944797777284088206, 2485627633868231122152898959,
2485627635595326326157918622, 2485627633868195869061333391,
2485627633868196006500286863, 2485627633868231053433422223,
636320674712403539565134004639, 148154952229058560392,
37927667770776417780105, 9709482949318900378026379, 37927667779538151063960,
9709482949318969097503115, 9709482951561835379212697, 37927667761877245542808
, 9709482947040712285274521, 9709482947040712285274522,
2485627634442422482456592795, 9709482947040712285274524,
2485627634442422482456592797, 2485627634442422482456592798,
636320674417260155646314070431, 9709482956047911540015516,
2485627636748265491670286749, 2485627636748265491670286750,
636320675007555966005019722143, 9709482956083095912104345,
37927667753149871997324, 9709482944806504657633677,
2485627633870465329780539791, 9709482951544277552906652,
9709482944806435938156941, 9709482944806573377110413,
2485627633870465261061063055, 2485627635595335122250940829,
9709482944806573377110414, 2485627633870482921966584207,
2485627635595335122250940830, 2485627633870482853247107471,
636320674712405791364947689887, 9709482947040609206059420,
2485627634442396094177526173, 2485627634442396094177526174,
636320674417253400246873014687, 9709482944806607736848781,
2485627633870465295420801423, 2485627635595335156610679197,
2485627633870482956326322575, 636320674712405791330587951519,
2485627633870482887606845839, 636320674712405791399307428255,
2485627634442396128537264541, 636320674417253400143793799583,
636320674417253400281232753055, 2485627633870438872781996431,
636320674712405782568854667679, 636320674712405800161040712095,
2485627634442395991098311070, 636320674417253373858593948063,
636320674712405800195400450463, 636320674417253373892953686431,
148154952229058560400, 37927667770776417780113, 9709482949318900378026387,
37927667770776417780116, 9709482949318900378026389, 37927667770776417780120,
9709482949318900378026393, 37927667770707698303380, 9709482949301308191981973
, 9709482949301308191981974, 2485627635021135034573701527,
9709482949318831658549660, 2485627635025621042015027614,
9709482949318969097503132, 2485627635025656226387116445,
9709482949301239472505237, 2485627635021134965854224791,
636320674566558986824553906591, 2485627635025656157667639709,
2485627635025656295106593181, 37927667770707698303384,
9709482949301308191981977, 2485627635021135034573701531,
9709482949301376911458713, 148152682871418570112, 37927086815220580009346,
9709334224696605908452739, 37927086815220580009348, 9709334224696605908452742
, 2485589561522331249989961095, 37927086815220580009352,
9709334224696605908452746, 9709334224696605908452748,
2485589561522331249989961102, 37927086815220580009360,
9709334224696605908452753, 37927086815151860532610, 9709334224696537188976006
, 2485589561522313657803916679, 9709334224696674627929478,
9709334224696537188976010, 2485589561522331181270484366,
9709334224696537188976018, 2485589561522313657803916691,
37927086815151860532612, 9709334224679013722408326,
2485589561517827650362590599, 9709334224696537188976012,
2485589561522313657803916686, 9709334224696674627929484,
2485589561522348842176005518, 9709334224696537188976020,
2485589561522313657803916693, 9709334224696674627929492,
9709334224678945002931589, 2485589561517827581643113863,
2485589561522313589084439949, 636310927749712296466509251983,
2485589561522348773456528781, 636310927749721303665763992975,
2485589561522313589084439957, 2485589561522313726523393429,
2485589561522348773456528789, 9709334224679082441885062,
2485589561517845242548635015, 2485589561522313589084439950,
2485589561522313726523393422, 2485589561522348773456528782,
2485589561522348910895482254, 2485589561522313589084439958,
636310927749712278943042684311, 2485589561522348773456528790,
636310927749716782473950578078, 636310927749716817658322666910,
162895597503927505320668028781983, 37927086815151860532616,
9709334224679013722408330, 2485589561517827650362590603,
9709334224679013722408332, 2485589561517827650362590606,
9709334224696537188976024, 2485589561522313657803916697,
2485589561522313657803916698, 636310927749712296535228728731,
2485589561522313657803916700, 636310927749712296535228728734,
2485589561517827581643113870, 2485589561517827719082067342,
2485589561522313589084439962, 636310927749712278943042684315,
2485589561522313726523393434, 636310927749712314127414773147,
636310927749712296466509251998, 636310927749712296603948205470,
9709334224678945002931596, 2485589561517810058176546190,
636310927748559375030621881743, 2485589561522313589084439964,
636310927749712278943042684317, 2485589561522313726523393436,
636310927749712314127414773149, 2485589561517809989457069454,
636310927749712278874323207582, 162895597503926343391964167194015,
636310927749712314058695296414, 162895597503926352399163421935007,
37927086815151860532624, 9709334224679013722408337, 9709334224679013722408338
, 2485589561517827650362590611, 9709334224679013722408340,
2485589561517827650362590613, 2485589561517827650362590614,
636310927748563878630249252247, 9709334224679013722408344,
2485589561517827650362590617, 2485589561517827650362590618,
636310927748563878630249252251, 2485589561517827650362590620,
636310927748563878630249252254, 9709334224678945002931604,
2485589561517810058176546197, 2485589561517810058176546198,
636310927748559375030621881751, 2485589561517827719082067356,
636310927748563896222435296669, 636310927748563896222435296670,
162895597503632357433080862000543, 2485589561517809989457069461,
636310927748559374961902405015, 636310927748563896291154773405,
162895597503632357433012142523807, 37927086815117500794244,
9709334224670217629386118, 2485589561515575850548905351,
9709334224696502829237644, 2485589561522304861710894478,
9709334224696640268191116, 2485589561522340046082983310,
9709334224696502829237652, 2485589561522304861710894485,
9709334224670148909909382, 2485589561522304792991417742,
2485589561522339977363506574, 2485589561522304792991417750,
636310927749710027143228999063, 9709334224678910643193228,
2485589561517801262083523982, 636310927748557123230808196495,
2485589561522313554724701596, 636310927749712270146949662110,
2485589561522313692163655068, 636310927749712305331321750941,
636310927749712305331321750942, 162895597503926350164955794294175,
2485589561517801193364047246, 636310927749712270078230185374,
636310927749712270215669138846, 636310927749712305262602274206,
162895597503926350147363608249759, 636310927749712305400041227678,
162895597503926350182547980338591, 9709334224678979362669964,
2485589561517818854269568398, 636310927748561626830435566991,
2485589561522313623444178332, 636310927749712287739135706525,
2485589561522313760883131804, 636310927749712322923507795357,
636310927749712287670416229790, 162895597503926345643763980879263,
636310927749712322854788318622, 162895597503926354650963235620255,
9709334224678910643193236, 2485589561517801262083523989,
2485589561517801262083523990, 636310927748557123230808196503,
2485589561517827547283375516, 636310927748563852241970185630,
2485589561517827684722328988, 636310927748563887426342274461,
162895597503632355181281048315295, 2485589561517801193364047253,
636310927748557123162088719767, 636310927748563852173250708893,
162895597503632346174013074097567, 636310927748563887495061751197,
9709334224678979362669972, 2485589561517818854269568405,
2485589561517818854269568406, 636310927748561626830435566999,
2485589561517827753441805724, 636310927748563905018528318877,
37927086815117500794248, 9709334224670217629386122,
2485589561515575850548905355, 9709334224670217629386124,
2485589561515575850548905358, 636310927747987417877945828751,
9709334224696502829237656, 2485589561522304861710894489,
9709334224670148909909386, 2485589561515575781829428622,
636310927747987400285759784335, 2485589561515575919268382094,
2485589561522304792991417754, 636310927749710027143228999067,
636310927749710044666695566750, 162895597503925771434811491141023,
9709334224670148909909388, 2485589561515558258362860942,
636310927747982914278318458255, 9709334224670286348862860,
2485589561522304792991417756, 2485589561522304930430371228,
636310927749710062327601087901, 2485589561515558189643384205,
636310927747982914209598981519, 2485589561515593374015473037,
636310927749710027074509522333, 636310927749710062258881611165,
636310927749710062396320564637, 2485589561515558189643384206,
636310927747982896686132413839, 2485589561515558327082337678,
636310927747982931870504502671, 2485589561515593511454426510,
636310927749710027074509522334, 636310927749710062258881611166,
162895597503925775938411118511519, 636310927749719034273764263326,
162895597503928072774221077464479, 636310927749719069458136352158,
9709334224678910643193240, 2485589561517801262083523993,
2485589561517801262083523994, 636310927748557123230808196507,
2485589561517801262083523996, 636310927748557123230808196510,
9709334224714095015282072, 2485589561526808461338264988,
636310927750862966240021890461, 636310927750862966240021890462,
162895597504220919357583030011295, 2485589561517801330803000729,
636310927748557123162088719771, 636310927748557123299527673243,
636310927748557123162088719773, 162895597503630623547155604882847,
2485589561526808392618788249, 636310927750862966171302413725,
636310927750862966308741367197, 162895597504220919357514310534559,
162895597504220919357651749488031, 2485589561517801193364047260,
636310927748557105638622152093, 636310927748557105638622152094,
162895597503630619043624696989087, 2485589561517801330803000732,
636310927748557140822994240925, 636310927748557140822994240926,
162895597503630628050823951730079, 2485589561526808392618788252,
636310927750862948647835846045, 636310927750862948647835846046,
162895597504220914853983402640799, 9709334224670114550171020,
2485589561515549462269838734, 636310927747980662478504773007,
2485589561522304758631679388, 636310927749710018347135976861,
2485589561515549393550361998, 636310927749710018278416500126,
162895597503925764679412050085279, 636310927749710053462788588958,
162895597503925773686611304826271, 2485589561517801159004308892,
636310927748557096842529129885, 636310927748557096842529129886,
162895597503630616791824883303839, 2485589561517801227723785628,
636310927748557114434715174301, 636310927748557114434715174302,
162895597503630621295424510674335, 636310927748557114503434651037,
162895597503630621295355791197599, 2485589561515549359190623630,
636310927749710018244056761758, 162895597503925764670615957063071,
636310927748557096739449914782, 162895597503630616765436604237215,
636310927748557114331635959198, 162895597503630621269036231607711,
162895597503630621269104951084447, 37927086815117500794256,
9709334224670217629386129, 9709334224670217629386130,
2485589561515575850548905363, 9709334224670217629386132,
2485589561515575850548905365, 2485589561515575850548905366,
636310927747987417877945828759, 9709334224670217629386136,
2485589561515575850548905369, 2485589561515575850548905372,
636310927747987417877945828765, 9709334224670148909909394,
2485589561515558258362860947, 2485589561515575781829428630,
636310927747987400285759784343, 2485589561515575919268382102,
636310927747987435470131873175, 2485589561515575781829428634,
636310927747987400285759784347, 636310927747987417809226352030,
162895597503484778959299372172703, 9709334224670148909909396,
2485589561515558258362860949, 2485589561515558258362860950,
636310927747982914278318458263, 2485589561515575781829428636,
2485589561515575919268382108, 636310927747987435470131873181,
2485589561515558189643384213, 2485589561515558327082337685,
636310927747982914209598981527, 636310927747987400217040307613,
636310927747987435401412396445, 636310927747987435538851349917,
2485589561515558327082337686, 636310927747982931870504502679,
636310927747987400217040307614, 636310927747987435401412396446,
636310927747982931801785025943, 162895597503484774455631025325471,
162895597503484783462830280066463, 9709334224670148909909400,
2485589561515558258362860954, 636310927747982914278318458267,
2485589561515558258362860956, 636310927747982914278318458270,
2485589561515558327082337689, 636310927747982914209598981531,
636310927747982914209598981533, 162895597503483626055318231893407,
2485589561515558189643384220, 636310927747982896686132413853,
636310927747982896686132413854, 162895597503483621551787323999647,
9709334224670114550171025, 2485589561515575747469690259,
2485589561515575747469690261, 636310927747987417774866613655,
2485589561515575884908643737, 636310927747987417912305567133,
2485589561515558155283645843, 636310927747987400182680569239,
636310927747987435367052658071, 636310927747987400182680569243,
162895597503484778959333731911071, 2485589561515558155283645845,
636310927747982914175239243159, 636310927747987400182680569245,
636310927747987435504491611549, 636310927747982931767425287575,
162895597503484774455596665587103, 636310927747982914175239243163,
636310927747982914175239243165, 162895597503483626055283872155039,
636310927747982896583053198749, 162895597503483621551684244784543,
9709334224670183269647764, 2485589561515567054455883157,
2485589561515567054455883158, 636310927747985166078132143511,
2485589561515575953628120476, 636310927747987444266224895389,
2485589561515566985736406421, 2485589561515567123175359893,
636310927747985166009412666775, 636310927747987444197505418653,
636310927747987444334944372125, 2485589561515567123175359894,
636310927747985183670318187927, 636310927747987444197505418654,
636310927747985183601598711191, 2485589561515558155283645852,
636310927747982887890039391646, 162895597503483619299987510314399,
162895597503483619300056229791135, 148152682871419650432,
37927086815220581089665, 37927086815220581089666, 9709334224696605909533059,
37927086815220581089668, 9709334224696605909533061, 37927086815220581089672,
9709334224696605909533068, 37927086815220581089680, 9709334224696605909533073
, 9709334224696605909533074, 2485589561522331249991041427,
9709334224696537190056323, 9709334224696674629009795,
9709334224696537190056325, 9709334224696537190056329,
9709334224696674629009801, 2485589561522331181271564685,
2485589561522331318710518157, 9709334224696537190056337,
2485589561522331181271564691, 9709334224696537190056326,
2485589561522313657804996999, 9709334224696674629009798,
2485589561522348842177085831, 9709334224696537190056330,
2485589561522331181271564686, 9709334224696537190056338,
2485589561522313657804997011, 2485589561522331181271564698,
636310927749716782542671135131, 2485589561522313726524473735,
2485589561522313589085520267, 2485589561522313726524473739,
636310927749716782473951658383, 636310927749716782611390611855,
2485589561522313589085520275, 2485589561522313726524473747,
2485589561522348773457609107, 2485589561522348910896562579,
636310927749716782473951658395, 636310927749716782611390611867,
636310927749716817658323747227, 636310927749716817795762700699,
9709334224679013723488646, 2485589561517827650363670919,
9709334224696537190056332, 2485589561522313657804997005,
9709334224696537190056340, 2485589561522313657804997013,
2485589561522313657804997014, 636310927749712296535229809047,
2485589561522313589085520269, 2485589561522313726524473741,
2485589561522348773457609101, 2485589561522348910896562573,
2485589561522313589085520277, 636310927749712296466510332311,
9709334224696537190056344, 2485589561522313657804997017,
2485589561522313657804997018, 636310927749712296535229809051,
2485589561522313657804997020, 636310927749712296535229809053,
636310927749712296535229809054, 162895597503926347913155981689247,
9709334224696674629009816, 2485589561522348842177085849,
636310927749721303734484550043, 2485589561522348842177085852,
636310927749721303734484550045, 636310927749721303734484550046,
162895597503928653756165195383199, 2485589561522313726524473753,
636310927749712296466510332315, 636310927749712296603949285787,
636310927749712296603949285789, 162895597503926347913087262212511,
162895597503926347913224701165983, 2485589561522348773457609113,
162895597503928653756096475906463, 162895597503928653756233914859935,
636310927749712278943043764638, 162895597503926343409556354318751,
636310927749712314127415853470, 162895597503926352416755609059743,
636310927749721321326670594462, 162895597503928658259764822753695,
162895597503926343409625073795487, 162895597503926352416824328536479,
9709334224679013723488664, 2485589561517827650363670937,
2485589561517827650363670938, 636310927748563878630250332571,
636310927748563878630250332574, 162895597503632352929481235710367,
2485589561517827719083147673, 162895597503632352929412516233631,
636310927748563878561530855838, 162895597503632352911889049665951,
37927086815117501874561, 9709334224696502830317955, 9709334224696502830317957
, 9709334224696502830317961, 2485589561522331146911826317,
9709334224696502830317969, 9709334224696640269271441,
2485589561522331146911826323, 2485589561522331284350779795,
2485589561522313554725781895, 2485589561522348739097870727,
2485589561522313554725781899, 636310927749716782439591920015,
2485589561522313554725781907, 2485589561522313692164735379,
636310927749716782439591920027, 636310927749716782577030873499,
2485589561517827547284455815, 2485589561522313554725781901,
2485589561522313692164735373, 2485589561522313554725781909,
2485589561522313692164735381, 636310927749712296432150593943,
636310927749712296569589547415, 2485589561522313554725781913,
2485589561522313692164735385, 636310927749712296432150593947,
636310927749712296569589547419, 636310927749712296432150593949,
636310927749712296569589547421, 162895597503926347913052902474143,
162895597503926347913190341427615, 2485589561522348739097870745,
2485589561522348876536824217, 636310927749721303768844288411,
636310927749721303631405334941, 636310927749721303768844288413,
162895597503928653756062116168095, 162895597503928653756199555121567,
2485589561522313760884212121, 636310927749712296500870070683,
636310927749712296638309024155, 636310927749712296638309024157,
162895597503926347913121621950879, 162895597503926347913259060904351,
2485589561522348807817347481, 162895597503928653756130835644831,
162895597503928653756268274598303, 162895597503926343409453275103647,
162895597503926343409590714057119, 162895597503926352416652529844639,
162895597503926352416789968798111, 162895597503928658259661743538591,
162895597503928658259799182492063, 162895597503926343409659433533855,
162895597503926352416858688274847, 2485589561517827547284455833,
2485589561517827684723409305, 636310927748563878527171117467,
636310927748563878664610070939, 162895597503632352929378156495263,
162895597503632352929515595448735, 2485589561517827753442886041,
162895597503632352929446875971999, 162895597503632352911785970450847,
162895597503632352911923409404319, 37927086815117501874568,
9709334224670217630466441, 9709334224670217630466442,
2485589561515575850549985675, 9709334224670217630466444,
2485589561515575850549985677, 2485589561515575850549985678,
636310927747987417877946909071, 9709334224696502830317976,
2485589561522304861711974809, 2485589561522304861711974810,
9709334224696640269271448, 2485589561522340046084063641,
2485589561522340046084063642, 636310927749719051934670864795,
9709334224670148910989705, 2485589561515575781830508939,
2485589561515575919269462411, 2485589561515575781830508941,
2485589561515575919269462413, 636310927747987417809227432335,
636310927747987417946666385807, 2485589561522304792992498073,
2485589561522304930431451545, 636310927749710044666696647067,
636310927749710044804135600539, 2485589561522339977364586905,
636310927749719051865951388059, 9709334224670148910989706,
2485589561515558258363941259, 2485589561515575781830508942,
636310927747987400285760864655, 2485589561515575919269462414,
636310927747987435470132953487, 2485589561522304792992498074,
636310927749710027143230079387, 2485589561522304930431451546,
636310927749710062327602168219, 2485589561522339977364586906,
636310927749719034342484820379, 2485589561522340114803540378,
636310927749719069526856909211, 2485589561515558189644464523,
636310927747987400217041387919, 636310927747987400354480341391,
636310927747987435401413476751, 636310927747987435538852430223,
636310927749710027074510602651, 636310927749710027211949556123,
636310927749719034273765343643, 636310927749719034411204297115,
9709334224670148910989708, 2485589561515558258363941261,
2485589561515558258363941262, 636310927747982914278319538575,
2485589561522304792992498076, 636310927749710027143230079389,
636310927749710027143230079390, 2485589561522339977364586908,
636310927749719034342484820381, 636310927749719034342484820382,
162895597503928072791813264589215, 2485589561515558189644464525,
2485589561515558327083417997, 636310927747982914209600061839,
636310927749710027074510602653, 636310927749710027211949556125,
162895597503925766948735331418527, 636310927749719034273765343645,
636310927749719034411204297117, 162895597503928072791744545112479,
162895597503928072791881984065951, 2485589561515558327083417998,
636310927747982931870505582991, 636310927749710027074510602654,
162895597503925766931211864850847, 636310927749719034273765343646,
162895597503928072774221078544799, 636310927749719034411204297118,
162895597503928072809405450633631, 636310927747982931801786106255,
162895597503925766931143145374111, 162895597503925766931280584327583,
162895597503925766966327517462943, 162895597503928072774152359068063,
162895597503928072774289798021535, 162895597503928072809336731156895,
162895597503928072809474170110367, 9709334224678910644273560,
2485589561517801262084604313, 636310927748557123230809276827,
636310927748557123230809276829, 636310927748557123230809276830,
162895597503630623547224325439903, 2485589561517801330804081049,
636310927748557123162089800091, 636310927748557123162089800093,
162895597503630623547155605963167, 162895597503630623547293044916639,
636310927748557105638623232411, 636310927748557140822995321243,
636310927748557123162089800094, 162895597503630623529632139395487,
162895597503630623564816511484319, 9709334224670183270728073,
2485589561515575816190247307, 2485589561515575816190247309,
2485589561515575953629200781, 636310927747987417843587170703,
636310927747987417981026124175, 2485589561522304827352236441,
2485589561522304964791189913, 636310927749710044838495338907,
636310927749719051900311126427, 2485589561515558224004202891,
636310927747987400251401126287, 636310927747987400388840079759,
636310927747987435435773215119, 636310927747987435573212168591,
636310927749710027246309294491, 636310927749719034445564035483,
2485589561515558155284726157, 636310927747982914175240323471,
636310927749710027040150864285, 636310927749719034376844558749,
162895597503928072791710185374111, 162895597503928072791847624327583,
2485589561515558224004202893, 636310927747982914243959800207,
636310927749710027246309294493, 162895597503928072791778904850847,
162895597503928072791916343804319, 636310927747982931767426367887,
162895597503925766931108785635743, 162895597503925766931246224589215,
162895597503928072774255438283167, 162895597503928072809439810371999,
636310927747982931836145844623, 162895597503925766931177505112479,
162895597503925766931314944065951, 162895597503928072774324157759903,
162895597503928072809371090895263, 2485589561517801159005389209,
162895597503630623547121246224799, 162895597503630623547258685178271,
162895597503630623547189965701535, 162895597503630623547327404655007,
9709334224670114551251340, 2485589561515549462270919053,
2485589561515549462270919054, 636310927747980662478505853327,
636310927749710018347137057182, 636310927749719025546391798174,
162895597503928070540013450903967, 2485589561515549393551442317,
636310927747980662409786376591, 636310927747980662547225330063,
162895597503925764696935517733279, 162895597503925764697072956686751,
162895597503928070539944731427231, 2485589561515549393551442318,
636310927747980644886319808911, 636310927747980644817600332175,
162895597503630616774232698339743, 2485589561515549427911180685,
636310927747980662444146114959, 162895597503925764697107316425119,
636310927747980644851960070543, 578730281775677824, 148154952263451820424,
37927667779572544323992, 148154952332171297160, 37927667779503824847256,
37927667779641263800728, 37927667797233449845144, 37927667753081186042264,
37927667753218624995736, 37927667753287344472472, 37927667788334277607832,
148154952263451820418, 37927667779572544323978, 9709482951570700225233306,
37927667761980358279562, 37927667797164730368394, 9709482951553108039188890,
9709482947049508411818394, 9709482947084692783907226,
9709482956091892038648218, 9709482944788912505110938,
9709482944824096877199770, 37927667779572544323971, 9709482951570700225233291
, 2485627635602099386538017179, 9709482947067100597862795,
9709482956074299852603787, 2485627635597595786910646683,
2485627634444674282303799707, 2485627634453681481558540699,
2485627636759524490772234651, 2485627633865961730186690971,
2485627633874968929441431963, 148154952263451820420, 37927667779572544323980,
9709482951570700225233308, 37927667761980358279564, 37927667797164730368396,
9709482951553108039188892, 9709482951588292411277724,
9709482947049508411818396, 9709482947084692783907228,
9709482956091892038648220, 9709482944788912505110940,
9709482944824096877199772, 9709482944806504691155356,
9709482944841689063244188, 9709482953813703945896348, 37927667779572544323974
, 9709482951570700225233294, 2485627635602099386538017182,
9709482947067100597862798, 9709482956074299852603790,
2485627635597595786910646686, 2485627634444674282303799710,
2485627634453681481558540702, 2485627636759524490772234654,
2485627633865961730186690974, 2485627633874968929441431966,
9709482951570700225233287, 2485627635602099386538017167,
636320674714137443082610688415, 2485627634449177881931170191,
2485627636755020891144864143, 636320674712984521578003841439,
636320674417836616398651015583, 636320674420142459407864709535,
636320675010438269766570361247, 636320674269686203056671179167,
636320674271992046065884873119, 148154952332171297153,
37927667779641263800713, 9709482951570768944710041, 37927667797233449845129,
9709482951553176758665625, 9709482951588361130754457,
9709482956091960758124953, 9709482944788981224587673,
9709482944824165596676505, 9709482944841757782720921,
9709482953813772665373081, 37927667779503824847235, 9709482951570631505756555
, 2485627635602099317818540443, 9709482947067031878386059,
9709482956074231133127051, 2485627635597595718191169947,
2485627635606602917445910939, 2485627634444674213584322971,
2485627634453681412839063963, 2485627636759524422052757915,
2485627633865961661467214235, 2485627633874968860721955227,
2485627633870465261094584731, 2485627633879472460349325723,
2485627636176308270308278683, 37927667779641263800707,
9709482951570768944710027, 2485627635602099455257493915,
9709482947067169317339531, 9709482956074368572080523,
2485627635597595855630123419, 2485627635606603054884864411,
2485627634444674351023276443, 2485627634453681550278017435,
2485627636759524559491711387, 2485627633865961798906167707,
2485627633874968998160908699, 2485627633870465398533538203,
2485627633879472597788279195, 2485627636176308407747232155,
37927667779503824847237, 9709482951570631505756557,
2485627635602099317818540445, 9709482947067031878386061,
9709482956074231133127053, 2485627635597595718191169949,
2485627635606602917445910941, 2485627634444674213584322973,
2485627634453681412839063965, 2485627636759524422052757917,
2485627633865961661467214237, 2485627633874968860721955229,
2485627633870465261094584733, 2485627633879472460349325725,
2485627636176308270308278685, 9709482951570631505756551,
2485627635602099317818540431, 636320674714137443013891211679,
2485627634449177813211693455, 2485627636755020822425387407,
636320674712984521509284364703, 636320674715290364518498058655,
636320674417836616329931538847, 636320674420142459339145232799,
636320675010438269697850884511, 636320674269686202987951702431,
636320674271992045997165396383, 636320674270839124492558549407,
636320674273144967501772243359, 636320674861134934851264201119,
9709482951570768944710023, 2485627635602099455257493903,
636320674714137443151330165151, 2485627634449177950650646927,
2485627636755020959864340879, 636320674712984521646723318175,
636320674715290364655937012127, 636320674417836616467370492319,
636320674420142459476584186271, 636320675010438269835289837983,
636320674269686203125390655903, 636320674271992046134604349855,
636320674270839124629997502879, 636320674273144967639211196831,
636320674861134934988703154591, 37927667797164730368387,
9709482951588292411277707, 2485627635602116978724061595,
9709482947084692783907211, 9709482956091892038648203,
2485627635597613379096691099, 2485627635606620578351432091,
2485627634444691874489844123, 2485627636759542082958279067,
2485627633865979322372735387, 2485627633879490121254846875,
37927667779503824847238, 9709482951570631505756558,
2485627635602099317818540446, 9709482956074231133127054,
2485627635597595718191169950, 2485627635606602917445910942,
2485627636759524422052757918, 2485627633865961661467214238,
2485627633874968860721955230, 2485627633879472460349325726,
2485627636176308270308278686, 9709482951553108039188871,
2485627635602081794351972751, 636320674714137425490424643999,
2485627634449160289745125775, 2485627636755003298958819727,
636320674712984503985817797023, 636320674715290346995031490975,
636320674417836598806464971167, 636320674420142441815678665119,
636320675010438252174384316831, 636320674269686185464485134751,
636320674271992028473698828703, 636320674270839106969091981727,
636320674273144949978305675679, 636320674861134917327797633439,
37927667779641263800710, 9709482951570768944710030,
2485627635602099455257493918, 9709482947067169317339534,
9709482956074368572080526, 2485627635597595855630123422,
2485627635606603054884864414, 2485627634444674351023276446,
2485627634453681550278017438, 2485627636759524559491711390,
2485627633865961798906167710, 2485627633874968998160908702,
2485627633870465398533538206, 2485627633879472597788279198,
2485627636176308407747232158, 9709482951588292411277703,
2485627635602116978724061583, 636320674714137460674796732831,
2485627634449195474117214607, 2485627636755038483330908559,
636320674712984539170189885855, 636320674715290382179403579807,
636320674417836633990837059999, 636320674420142477000050753951,
636320675010438287358756405663, 636320674269686220648857223583,
636320674271992063658070917535, 636320674270839142153464070559,
636320674273144985162677764511, 636320674861134952512169722271,
9709482951553176758665607, 2485627635602081863071449487,
636320674714137425559144120735, 2485627636755003367678296463,
636320674712984504054537273759, 636320674715290347063750967711,
636320675010438252243103793567, 636320674269686185533204611487,
636320674271992028542418305439, 636320674273144950047025152415,
636320674861134917396517110175, 9709482951588361130754439,
2485627635602117047443538319, 636320674714137460743516209567,
636320674712984539238909362591, 636320674715290382248123056543,
636320674417836634059556536735, 636320674269686220717576700319,
37927667761980358279558, 9709482951553108039188878,
2485627635602081794351972766, 2485627635597578194724602270,
2485627635606585393979343262, 2485627636759506898586190238,
2485627633865944138000646558, 9709482947067100597862791,
2485627635597595786910646671, 636320674714132939482983317919,
2485627634444674282303799695, 636320674712980017978376470943,
636320674715285860987590164895, 636320674417832112799023645087,
636320674420137955808237339039, 636320675010433766166942990751,
636320674269681699457043808671, 636320674271987542466257502623,
9709482956074299852603783, 2485627635606602986165387663,
636320674714141946682238058911, 2485627634453681481558540687,
636320674712989025177631211935, 636320674715294868186844905887,
636320674417841119998278386079, 636320674420146963007492080031,
636320675010442773366197731743, 636320674269690706656298549663,
636320674271996549665512243615, 9709482947067169317339527,
2485627635597595855630123407, 636320674714132939551702794655,
2485627636750517360236970383, 636320674712980018047095947679,
636320674715285861056309641631, 636320675010433766235662467487,
636320674269681699525763285407, 636320674271987542534976979359,
636320674273140464039583826335, 636320674861130431389075784095,
9709482956074231133127047, 2485627635606602917445910927,
636320674714141946613518582175, 2485627634453681412839063951,
2485627636759524422052757903, 636320674712989025108911735199,
636320674715294868118125429151, 636320674417841119929558909343,
636320674420146962938772603295, 636320675010442773297478255007,
636320674269690706587579072927, 636320674271996549596792766879,
636320674270843628092185919903, 636320674273149471101399613855,
636320674861139438450891571615, 37927667797233449845126,
9709482951588361130754446, 2485627635602117047443538334,
9709482956091960758124942, 2485627635597613447816167838,
2485627635606620647070908830, 2485627636759542151677755806,
2485627633865979391092212126, 2485627633874986590346953118,
2485627633879490189974323614, 2485627636176325999933276574,
9709482956091892038648199, 2485627635606620578351432079,
636320674714141964274424103327, 2485627636759542082958279055,
636320674712989042769817256351, 636320674715294885779030950303,
636320674417841137590464430495, 636320674420146980599678124447,
636320675010442790958383776159, 636320674269690724248484594079,
636320674273149488762305135007, 9709482956091960758124935,
2485627635606620647070908815, 636320674714141964343143580063,
2485627636759542151677755791, 636320674712989042838536733087,
636320674715294885847750427039, 636320675010442791027103252895,
636320674269690724317204070815, 636320674271996567326417764767,
636320674273149488831024611743, 636320674861139456180516569503,
37927667779469465108867, 9709482951570597146018187,
2485627635602099283458802075, 9709482947066997518647691,
9709482956074196773388683, 2485627635597595683831431579,
2485627634444674179224584603, 2485627634453681378479325595,
2485627636759524387693019547, 2485627633865961627107475867,
2485627633874968826362216859, 9709482951570597146018183,
2485627635602099283458802063, 636320674714137442979531473311,
2485627634449177778851955087, 2485627636755020788065649039,
636320674712984521474924626335, 636320674417836616295571800479,
636320674420142459304785494431, 636320675010438269663491146143,
636320674269686202953591964063, 636320674271992045962805658015,
9709482951570734584971655, 2485627635602099420897755535,
636320674714137443116970426783, 2485627634449177916290908559,
2485627636755020925504602511, 636320674712984521612363579807,
636320674417836616433010753951, 636320674420142459442224447903,
636320675010438269800930099615, 636320674269686203091030917535,
636320674271992046100244611487, 9709482951553211118403975,
2485627635602081897431187855, 636320674714137425593503859103,
2485627636755003402038034831, 636320674712984504088897012127,
636320674715290347098110706079, 636320675010438252277463531935,
636320674269686185567564349855, 636320674271992028576778043807,
636320674273144950081384890783, 636320674861134917430876848543,
9709482951588395490492807, 2485627635602117081803276687,
636320674714137460777875947935, 636320674712984539273269100959,
636320674715290382282482794911, 636320674417836634093916275103,
636320674269686220751936438687, 9709482947066997518647687,
2485627635597595683831431567, 636320674714132939379904102815,
636320674712980017875297255839, 636320674715285860884510949791,
636320675010433766063863775647, 636320674269681699353964593567,
9709482956091926398386567, 2485627635606620612711170447,
636320674714141964308783841695, 2485627636759542117318017423,
636320674712989042804176994719, 636320674715294885813390688671,
636320674417841137624824168863, 636320674420146980634037862815,
636320675010442790992743514527, 636320674269690724282844332447,
636320674273149488796664873375, 37927667753081186042246,
9709482951544208866951566, 2485627635602072895179735454,
2485627635597569295552364958, 2485627633865935238828409246,
2485627633874942438083150238, 2485627636176281847669473694,
9709482944788912505110919, 2485627635595317598817894799,
636320674714130661294890566047, 636320674712977739790283719071,
636320674417829834610930893215, 636320674420135677620144587167,
636320674269679421268951056799, 37927084545828614914432,
9709333643732254012293506, 2485589412795457155741335939,
9709333643732254012293508, 9709333643732254012293512,
2485589412795457155741335945, 2485589412795457155741335946,
636310889675637031998376198542, 2485589412795457155741335960,
636310889675637031998376198553, 636310889675637031998376198554,
162895587756963080191712901022110, 2485589412795457087021859206,
636310889675637014406190154119, 2485589412795457224460812678,
2485589412795457087021859210, 636310889675637014406190154123,
2485589412795457224460812682, 636310889675637031929656721806,
636310889675637032067095675278, 162895587756963080209305087066511,
636310889675637031929656721818, 636310889675637032067095675290,
162895587756963080209305087066523, 162895587756963080191644181545374,
41701270465782548529061039069807007, 162895587756963080191781620498846,
2485589412795439563555291526, 636310889675632528398748828039,
2485589412795457087021859212, 636310889675637014406190154125,
636310889675637014406190154126, 2485589412795457224460812684,
636310889675637031929656721820, 162895587756963080174120714977694,
636310889675637032067095675292, 162895587756963080209305087066525,
636310889675637014337470677389, 162895587756963075688044554174863,
636310889675637049521842766221, 162895587756963080174051995500957,
41701270465782548524574962909004191, 162895587756963080209236367589789,
2485589412795457087021859224, 636310889675637014406190154137,
636310889675637014406190154138, 636310889675637014406190154140,
162895587756963075688113273651614, 41701270465782547376157126649004447,
636310889675637049590562242970, 162895587756963084695312528392603,
636310889675637049590562242972, 162895587756963084695312528392605,
162895587756963084695312528392606, 162895587756963075688044554174878,
162895587756963075688181993128350, 41701270465782547376174718835048863,
162895587756963075705774179172766, 41701270465782547380678318462419359,
41701270465782547380678387181896095, 9709333643732150933078401,
2485589412795457052662120835, 2485589412795457190101074307,
2485589412795457052662120837, 2485589412795457052662120841,
2485589412795457190101074313, 636310889675637031895296983435,
162895587756963080191609821806991, 636310889675637031895296983449,
636310889675637032032735936921, 162895587756963080191609821807003,
41701270465782548529078528176636319, 636310889675637014303110939015,
636310889675637014440549892487, 636310889675637049487483027847,
636310889675637014303110939019, 636310889675637014440549892491,
636310889675637049487483027851, 162895587756963080174017635762575,
162895587756963080209202007851407, 162895587756963080209339446804879,
162895587756963080174017635762587, 162895587756963080209202007851419,
162895587756963080209339446804891, 41701270465782548529060935990591903,
41701270465782548529061073429545375, 41701270465782548529096120362680735,
636310889675632528295669612935, 636310889675632528433108566407,
636310889675637014303110939021, 636310889675637014440549892493,
162895587756963075688010194436495, 636310889675637049487483027853,
162895587756963080174017635762589, 41701270465782548524574928549265823,
162895587756963080209202007851421, 162895587756963080209339446804893,
636310889675637014371830415757, 162895587756963075688078913913231,
636310889675637049556202504589, 162895587756963080174086355239325,
41701270465782548524574997268742559, 162895587756963080209270727328157,
636310889675637014303110939033, 636310889675637014440549892505,
162895587756963075688010194436507, 162895587756963075688010194436509,
41701270465782547376157023569789343, 41701270465782547376157161008742815,
162895587756963084695209449177499, 162895587756963084695346888130971,
162895587756963084695209449177501, 162895587756963084695346888130973,
41701270465782549682000032783483295, 41701270465782547376139431383744927,
41701270465782547376174615755833759, 41701270465782547376174753194787231,
41701270465782547380678215383204255, 41701270465782547380678352822157727,
41701270465782547380678421541634463, 9709333643732150933078402,
2485589412795430767462269315, 9709333643732288372031874,
2485589412795465951834358147, 2485589412795457052662120838,
636310889675637005610097131911, 2485589412795457190101074310,
636310889675637040794469220743, 2485589412795457052662120842,
636310889675637005610097131915, 2485589412795457190101074314,
636310889675637040794469220747, 636310889675637031895296983438,
162895587756963080165324621955471, 636310889675637032032735936910,
162895587756963080200508994044303, 636310889675637031895296983450,
162895587756963080165324621955483, 636310889675637032032735936922,
162895587756963080200508994044315, 162895587756963080191609821807006,
41701270465782548529052242976784799, 162895587756963080191747260760478,
41701270465782548529087427348873631, 9709333643732219652555138,
2485589412795448359648313731, 2485589412795457121381597574,
636310889675637023202283176327, 2485589412795457258820551046,
636310889675637058386655265159, 2485589412795457121381597578,
636310889675637023202283176331, 2485589412795457258820551050,
636310889675637058386655265163, 636310889675637031964016460174,
162895587756963080182916807999887, 636310889675637032101455413646,
162895587756963080218101180088719, 636310889675637031964016460186,
162895587756963080182916807999899, 636310889675637032101455413658,
162895587756963080218101180088731, 162895587756963080191678541283742,
41701270465782548529069835162829215, 162895587756963080191815980237214,
41701270465782548529105019534918047, 2485589412795439460476076422,
636310889675632502010469761415, 2485589412795439597915029894,
636310889675632537194841850247, 636310889675637014303110939022,
162895587756963075661724994584975, 636310889675637014440549892494,
162895587756963075696909366673807, 636310889675637049487483027854,
636310889675637049624921981326, 162895587756963080174017635762590,
162895587756963080174155074716062, 162895587756963080209202007851422,
41701270465782548533555842604155295, 162895587756963080209339446804894,
41701270465782548533591026976244127, 636310889675632501941750284679,
636310889675632502079189238151, 636310889675632537126122373511,
162895587756963075661656275108239, 162895587756963075661793714061711,
162895587756963075696840647197071, 162895587756963075696978086150543,
162895587756963084668855529849231, 162895587756963084704039901938063,
41701270465782548524548574629937567, 41701270465782548524583759002026399,
41701270465782548533555773884678559, 41701270465782548533555911323632031,
41701270465782548533590958256767391, 41701270465782548533591095695720863,
2485589412795439666634506630, 636310889675632554787027894663,
636310889675637014371830415758, 162895587756963075679317180629391,
636310889675637014509269369230, 162895587756963075714501552718223,
636310889675637049556202504590, 636310889675637049693641458062,
162895587756963080174086355239326, 162895587756963080174223794192798,
162895587756963080209270727328158, 41701270465782548533573434790199711,
162895587756963080209408166281630, 41701270465782548533608619162288543,
636310889675632554718308417927, 162895587756963075679248461152655,
162895587756963075679385900106127, 162895587756963075714432833241487,
162895587756963075714570272194959, 162895587756963084686447715893647,
162895587756963084721632087982479, 41701270465782548524566166815981983,
41701270465782548524601351188070815, 41701270465782548533573366070722975,
41701270465782548533573503509676447, 41701270465782548533608550442811807,
41701270465782548533608687881765279, 2485589412795439460476076426,
636310889675632502010469761419, 2485589412795439597915029898,
636310889675632537194841850251, 636310889675632528295669612942,
162895587756961927243820015108495, 636310889675632528433108566414,
162895587756961927279004387197327, 636310889675637014303110939034,
162895587756963075661724994584987, 636310889675637014440549892506,
162895587756963075696909366673819, 162895587756963075688010194436510,
41701270465782547376130738369937823, 162895587756963075688147633389982,
41701270465782547376165922742026655, 636310889675637049487483027866,
162895587756963084668924249325979, 636310889675637049624921981338,
162895587756963084704108621414811, 162895587756963084695209449177502,
41701270465782549681973747583631775, 162895587756963084695346888130974,
41701270465782549682008931955720607, 2485589412795439529195553162,
636310889675632519602655805835, 636310889675632528364389089678,
162895587756961927261412201152911, 636310889675632528501828043150,
162895587756961927296596573241743, 636310889675637014371830415770,
162895587756963075679317180629403, 636310889675637014509269369242,
162895587756963075714501552718235, 162895587756963075688078913913246,
41701270465782547376148330555982239, 162895587756963075688216352866718,
41701270465782547376183514928071071, 636310889675637049556202504602,
162895587756963084686516435370395, 636310889675637049693641458074,
162895587756963084721700807459227, 162895587756963084695415607607710,
41701270465782549682026524141765023, 636310889675632510703483568526,
162895587756961922740220387737999, 636310889675632510840922521998,
162895587756961922775404759826831, 162895587756963075670418008392094,
162895587756963075670555447345566, 162895587756963075705602380480926,
41701270465782547380634337997308319, 162895587756963075705739819434398,
41701270465782547380669522369397151, 162895587756963084712801635221918,
41701270465782549686477347211002271, 162895587756963084712939074175390,
41701270465782549686512531583091103, 162895587756961922740151668261263,
162895587756961922740289107214735, 162895587756961922775336040350095,
41701270465782547371627070023090591, 41701270465782547371662254395179423,
41701270465782547380634269277831583, 41701270465782547380634406716785055,
41701270465782547380669453649920415, 41701270465782547380669591088873887,
41701270465782549686477278491525535, 41701270465782549686512462863614367,
41701270465782549686512600302567839, 636310889675632510909641998734,
162895587756961922792996945871247, 162895587756963075670486727868830,
162895587756963075670624166822302, 162895587756963075705671099957662,
41701270465782547380651930183352735, 162895587756963075705808538911134,
41701270465782547380687114555441567, 162895587756963084712870354698654,
41701270465782549686494939397046687, 162895587756961922792928226394511,
41701270465782547371644662209135007, 41701270465782547371679846581223839,
41701270465782547380651861463875999, 41701270465782547380651998902829471,
41701270465782547380687045835964831, 41701270465782547380687183274918303,
41701270465782549686494870677569951, 636310889675632510703483568538,
162895587756961922740220387738011, 636310889675632510840922522010,
162895587756961922775404759826843, 162895587756961922766505587589534,
162895587756961922766643026543006, 162895587756961922740151668261275,
162895587756961922740289107214747, 162895587756961922775336040350107,
41701270465782252228225490297635231, 41701270465782252228260674669724063,
636310889675632510909641998746, 162895587756961922792996945871259,
162895587756961922766574307066270, 162895587756961922766711746019742,
162895587756961922792928226394523, 41701270465782252228243082483679647,
41701270465782252228278266855768479, 162895587756961922748913401545118,
41701270465782252223721959389741471, 162895587756961922749050840498590,
41701270465782252223757143761830303, 162895587756961922748982121021854,
41701270465782252223739551575785887, 2485589412795430664383054232,
636310889675630250210656076185, 636310889675630250210656076186,
162895587756961344054056549695899, 636310889675630250210656076188,
162895587756961344054056549695901, 162895587756961344054056549695902,
41701270465782104077838605316342175, 2485589412795430801822007704,
636310889675630285395028165017, 636310889675630285395028165018,
162895587756961353061255804436891, 636310889675630285395028165020,
162895587756961353061255804436893, 162895587756961353061255804436894,
41701270465782106383681614530036127, 636310889675630250279375552922,
162895587756961344071648735740315, 162895587756961344053987830219166,
41701270465782104077821013130297759, 162895587756961344054125269172638,
636310889675630285326308688282, 162895587756961353043663618392475,
636310889675630285463747641754, 162895587756961353061187084960158,
162895587756961353061324523913630, 41701270465782106383699206716080543,
162895587756961344071580016263579, 162895587756961344071717455217051,
41701270465782104077821081849774495, 41701270465782104077856128782909855,
162895587756961353043594898915739, 162895587756961353043732337869211,
162895587756961353078779271004571, 41701270465782106383663953624514975,
41701270465782106383699137996603807, 41701270465782106383699275435557279,
162895587756961344036464363651486, 41701270465782104073335005688971679,
162895587756961344071648735740318, 636310889675630285326308688284,
162895587756961353043663618392477, 162895587756961353043663618392478,
636310889675630285463747641756, 162895587756961353078847990481310,
41701270465782106388185214157406623, 41701270465782104073335074408448415,
41701270465782104082342136224235935, 162895587756961353043594898915741,
162895587756961353043732337869213, 41701270465782106379177946183188895,
162895587756961353078779271004573, 41701270465782106388185145437929887,
41701270465782106388185282876883359, 162895587756961344071717455217054,
41701270465782104082359797129757087, 162895587756961353043594898915742,
41701270465782106379160422716621215, 162895587756961353043732337869214,
41701270465782106379195607088710047, 162895587756961353078779271004574,
41701270465782106388167621971362207, 162895587756961353078916709958046,
41701270465782106388202806343451039, 2485589412795430870541484440,
636310889675630302987214209433, 636310889675630302987214209434,
636310889675630302987214209436, 162895587756961357564855431807390,
41701270465782107536603119136883103, 2485589412795465917474619800,
636310889675639275002096861593, 636310889675639275002096861594,
636310889675639275002096861596, 162895587756963654400665390760350,
41701270465782695526570468628840863, 636310889675630302918494732697,
636310889675630303055933686169, 162895587756961357564786712330651,
162895587756961357564786712330653, 41701270465782107536603187856359839,
636310889675639275070816338329, 162895587756963654400596671283611,
162895587756963654400596671283613, 41701270465782695526570399909364127,
41701270465782695526570537348317599, 636310889675630302918494732698,
162895587756961357547263245762971, 636310889675630303055933686170,
162895587756961357582447617851803, 162895587756961357564786712330654,
41701270465782107536585526950838687, 636310889675639275070816338330,
162895587756963654418257576804763, 162895587756963654400596671283614,
41701270465782695526552876442796447, 162895587756963654400734110237086,
41701270465782695526588060814885279, 636310889675630302918494732700,
162895587756961357547263245762973, 636310889675630303055933686172,
162895587756961357582447617851805, 162895587756963654383073204715934,
41701270465782695522066869001470367, 162895587756963654418257576804766,
41701270465782695531074068256211359, 162895587756961357547194526286238,
41701270465782107532081927323468191, 162895587756963654418326296281502,
41701270465782695531091660442255775, 41701270465782107532081996042944927,
41701270465782695531091729161732511, 162895587756961344027565191414174,
162895587756961344027702630367646, 41701270465782104071092001968308639,
162895587756961344062749563503006, 162895587756961353034764446155166,
41701270465782106376899826809913759, 162895587756961353034901885108638,
162895587756961353070086257197470, 162895587756961344062818282979742,
41701270465782104080081609037005215, 162895587756961344062955721933214,
162895587756961353034833165631902, 41701270465782106376917418995958175,
162895587756961353034970604585374, 162895587756961353070017537720734,
162895587756961353070154976674206, 41701270465782106385959802622787999,
162895587756961344045294816412062, 41701270465782104075595601595679135,
162895587756961353052356632199582, 41701270465782106381403426437284255,
162895587756961353052494071153054, 162895587756961353087541004288414,
41701270465782106381403357717807519, 41701270465782106381438542089896351,
41701270465782106390410556972548511, 162895587756963654374174032478622,
41701270465782695519788680908718495, 162895587756963654374311471432094,
162895587756963654409358404567454, 162895587756963654409495843520926,
41701270465782695528831064535548319, 162895587756963654409427124044190,
162895587756963654427156749042078, 41701270465782695533352256348963231,
41701270465782104071056714517004703, 41701270465782104071091898889093535,
41701270465782104071092036328047007, 41701270465782104080063913771745695,
41701270465782106376899723730698655, 41701270465782106376899861169652127,
41701270465782106376934908102787487, 41701270465782106385942107357528479,
41701270465782104080081505957790111, 41701270465782104080081643396743583,
41701270465782104080116690329878943, 41701270465782106376917315916743071,
41701270465782106376917453355696543, 41701270465782106376952500288831903,
41701270465782106385924515171484063, 41701270465782106385959699543572895,
41701270465782106385959836982526367, 41701270465782104075595498516464031,
41701270465782104075595635955417503, 41701270465782106381403323358069151,
41701270465782106381403460797022623, 41701270465782106381438507730157983,
41701270465782106390410522612810143, 41701270465782106381403392077545887,
41701270465782106381438576449634719, 41701270465782106390410591332286879,
41701270465782695519788577829503391, 41701270465782695519788715268456863,
41701270465782695519823762201592223, 41701270465782695528795777084244383,
41701270465782695528830961456333215, 41701270465782695528831098895286687,
41701270465782695528813369270288799, 41701270465782695533352153269748127,
41701270465782695533352290708701599, 2269529438684032, 580999673741837186,
148735916615349044099, 580999673741837188, 580999673741837200,
148735916546629567366, 38076394636074607969159, 148735916684068520838,
148735916546629567370, 148735916684068520842, 38076394671258980057995,
148735916546629567378, 148735899023162999686, 38076390150067166643079,
148735916546629567380, 38076394636005888492437, 148735916546629567384,
38076394635971528754062, 9747557026808848799761295, 38076394636108967707534,
38076394671155900842894, 38076394635971528754070, 9747557026808780080284559,
9747557026843964452373391, 9747557035815979335025551,
9747557026808780080284567, 38076394671224620319630, 38076394671362059273102,
38076394636040248230806, 38076390149964087427994, 9747555878390943820284827,
38076390150101526381466, 38076387880675166913422, 9747555297452980168557455,
38076394627209795470236, 9747557024565776359621533, 738448493230125237120,
189042814267049227862914, 48394960452364739500065667,
12389109875805373449183970183, 189042814267049227862920,
12389109875805373449183970187, 189042814267049227862928,
189042814266980508386178, 48394960452347147314021251,
189042814267117947339650, 12389109875805355856997925767,
12389109875805391041370014599, 48394960452364670780588938,
12389109875805355856997925771, 12389109875805391041370014603,
3171612128206175585536077480847, 48394960452364670780588946,
48394960452347216033497987, 12389109875805355788278449035,
12389109875805355925717402507, 12389109875805390972650537867,
12389109875805391110089491339, 3171612128206175585467358004111,
3171612128206175620789169046415, 12389109875805355788278449043,
48394960452347078594544517, 48394960452347216033497989,
12389109875800869780837122951, 12389109875805355788278449045,
189042814266980508386192, 48394960452347147314021265,
48394960452347147314021266, 12389109875800869849556599699,
3171612128205022681623656678295, 48394960452364636420850570,
12389109875805347060904903563, 48394960452364773859804042,
3171612128206175576739984458639, 48394960452364636420850578,
12389109875805382176557515659, 12389109875805382313996469131,
12389109875805346992185426835, 3171612128206171073071637611407,
3171612128206171073209076564879, 3171612128206171108256009700239,
3171612128206171073071637611415, 12389109875805355753918710682,
3171612128206171090663823655835, 12389109875800869746477384602,
3171612128205022655235377611675, 12389109875800869883916338074,
3171612128205022690419749700507, 811932704820485806469404997731231,
12389109875805347026545165203, 3171612128206171090629463917467,
811932704820485806469301918516127, 189045124596065881868160,
48395551896593003184179074, 48395551896593003184179076,
12389261285527808952575772550, 48395551896593003184179080,
12389261285527808952575772554, 3171650889095119091996823701387,
12389261285527808952575772556, 3171650889095119091996823701390,
811942627608350487551324293482383, 48395551896593003184179088,
12389261285527808952575772561, 48395551896592934464702337,
12389261285527808883856295813, 3171650889095119091928104224647,
12389261285527808883856295817, 12389261285527809021295249289,
3171650889095119091928104224651, 3171650889095119091928104224653,
3171650889095119092065543178125, 811942627608350487551255574005647,
12389261285527808883856295825, 12389261285527809021295249297,
48395551896592934464702338, 12389261285527808883856295814,
12389261285527808883856295818, 3171650889095119074404637656971,
12389261285527809021295249290, 3171650889095119091928104224654,
3171650889095119092065543178126, 811942627608350487568916479526799,
12389261285527808883856295826, 3171650889095119074404637656979,
3171650889095119091928104224662, 811942627608350487533732107437975,
48395551896592934464702340, 12389261285527791360389728134,
12389261285527808883856295820, 3171650889095119074404637656973,
3171650889095119074404637656974, 811942627608350483047724666111887,
12389261285527808883856295828, 3171650889095119074404637656981,
12389261285527809021295249300, 3171650889095119109589009745813,
12389261285527791291670251397, 3171650889095114588328476854151,
3171650889095119074335918180237, 3171650889095119074473357133709,
811942627608350483047655946635151, 811942627608350483047793385588623,
3171650889095119074335918180245, 3171650889095119074473357133717,
3171650889095119109520290269077, 3171650889095119109657729222549,
12389261285527791291670251398, 12389261285527791429109204870,
3171650889095119074335918180238, 811942627608350483030132480067471,
3171650889095119074473357133710, 811942627608350483065316852156303,
3171650889095119109520290269070, 811942627608350492037331734808463,
3171650889095119109657729222542, 811942627608350492072516106897295,
3171650889095119074335918180246, 811942627608350483030132480067479,
3171650889095119109520290269078, 811942627608350492037331734808471,
811942627608350487533663387961246, 207857312667737724808617964744001439,
811942627608350487568847760050078, 207857312667737724817625163998742431,
48395551896592934464702344, 12389261285527791360389728137,
12389261285527791360389728138, 3171650889095114588397196330891,
12389261285527791360389728140, 3171650889095114588397196330893,
3171650889095114588397196330894, 811942627608349334629819686635407,
12389261285527808883856295832, 3171650889095119074404637656985,
3171650889095119074404637656986, 811942627608350483047724666111899,
12389261285527809021295249304, 3171650889095119109589009745817,
3171650889095119109589009745818, 811942627608350492054923920852891,
12389261285527791291670251402, 3171650889095114570805010286475,
12389261285527791429109204874, 3171650889095114605989382375307,
3171650889095114588328476854158, 811942627608349334612227500590991,
3171650889095114588465915807630, 811942627608349334647411872679823,
3171650889095119074335918180250, 811942627608350483030132480067483,
3171650889095119074473357133722, 811942627608350483065316852156315,
3171650889095119109520290269082, 811942627608350492037331734808475,
3171650889095119109657729222554, 811942627608350492072516106897307,
12389261285527791429109204876, 3171650889095114605989382375309,
3171650889095114605989382375310, 811942627608349339133419314005903,
3171650889095119074335918180252, 811942627608350483030132480067486,
207857312667737723655714052323198879, 3171650889095119074473357133724,
811942627608350483065316852156318, 207857312667737723664721251577939871,
3171650889095119109520290269084, 811942627608350492037331734808478,
207857312667737725961557061536892831, 3171650889095119109657729222556,
811942627608350492072516106897310, 207857312667737725970564260791633823,
3171650889095114605920662898574, 811942627608349339115827127961487,
3171650889095114606058101852046, 811942627608349339151011500050319,
811942627608350483030063760590750, 811942627608350483030201199544222,
207857312667737723655731644509243295, 811942627608350483065248132679582,
811942627608350483065385571633054, 207857312667737723664738843763984287,
811942627608350492037263015331742, 207857312667737725961539469350848415,
811942627608350492037400454285214, 811942627608350492072447387420574,
207857312667737725970546668605589407, 811942627608350492072584826374046,
48395551896592934464702352, 12389261285527791360389728145,
12389261285527791360389728146, 3171650889095114588397196330899,
12389261285527791360389728148, 3171650889095114588397196330901,
3171650889095114588397196330902, 811942627608349334629819686635415,
12389261285527791360389728152, 3171650889095114588397196330905,
3171650889095114588397196330906, 811942627608349334629819686635419,
3171650889095114588397196330908, 811942627608349334629819686635421,
811942627608349334629819686635422, 207857312667737429665233977204590495,
48395551896593071903655824, 12389261285527826544761816977,
12389261285527826544761816978, 3171650889095123595596451071891,
12389261285527826544761816980, 3171650889095123595596451071893,
3171650889095123595596451071894, 811942627608351640472828900329367,
12389261285527826544761816984, 3171650889095123595596451071897,
3171650889095123595596451071898, 811942627608351640472828900329371,
3171650889095123595596451071900, 811942627608351640472828900329373,
811942627608351640472828900329374, 207857312667738019961044335910242207,
12389261285527791429109204881, 3171650889095114588465915807635,
3171650889095114588328476854165, 3171650889095114588465915807637,
811942627608349334629750967158679, 811942627608349334629888406112151,
3171650889095114588328476854169, 3171650889095114588465915807641,
811942627608349334629750967158683, 811942627608349334629888406112155,
811942627608349334629750967158685, 811942627608349334629888406112157,
207857312667737429665233908485113759, 207857312667737429665234045924067231,
12389261285527826476042340241, 12389261285527826613481293713,
3171650889095123595527731595155, 3171650889095123595665170548627,
3171650889095123595527731595157, 3171650889095123595665170548629,
811942627608351640472760180852631, 811942627608351640472897619806103,
3171650889095123595527731595161, 3171650889095123595665170548633,
811942627608351640472760180852635, 811942627608351640472897619806107,
811942627608351640472760180852637, 811942627608351640472897619806109,
207857312667738019961044267190765471, 207857312667738019961044404629718943,
12389261285527791291670251412, 3171650889095114570805010286485,
3171650889095114570805010286486, 811942627608349330126220059264919,
12389261285527791429109204884, 3171650889095114605989382375317,
3171650889095114605989382375318, 811942627608349339133419314005911,
3171650889095114588328476854172, 811942627608349334612227500591005,
811942627608349334612227500591006, 207857312667737429660730377577219999,
3171650889095114588465915807644, 811942627608349334647411872679837,
811942627608349334647411872679838, 207857312667737429669737576831960991,
12389261285527826476042340244, 3171650889095123578004265027477,
3171650889095123578004265027478, 811942627608351635969229272958871,
3171650889095123595527731595164, 811942627608351640455236714284957,
811942627608351640455236714284958, 207857312667738019956540736282871711,
3171650889095123595665170548636, 811942627608351640490421086373789,
811942627608351640490421086373790, 207857312667738019965547935537612703,
3171650889095114570873729763221, 811942627608349330126151339788183,
3171650889095114605920662898581, 3171650889095114606058101852053,
811942627608349339133350594529175, 811942627608349339133488033482647,
811942627608349334612158781114269, 811942627608349334612296220067741,
207857312667737429660730308857743263, 207857312667737429660730446296696735,
811942627608349334647343153203101, 811942627608349334647480592156573,
207857312667737429669737508112484255, 207857312667737429669737645551437727,
3171650889095123577935545550741, 3171650889095123578072984504213,
811942627608351635969160553482135, 811942627608351635969297992435607,
811942627608351640455167994808221, 811942627608351640455305433761693,
207857312667738019956540667563394975, 207857312667738019956540805002348447,
811942627608351640490352366897053, 811942627608351640490489805850525,
207857312667738019965547866818135967, 207857312667738019965548004257089439,
48395551896593037543917444, 12389261285527817748668794758,
12389261285527808849496557452, 3171650889095119065608544634766,
811942627608350480795924852426639, 12389261285527808986935510924,
3171650889095119100792916723598, 811942627608350489803124107167631,
12389261285527808849496557460, 3171650889095119065608544634773,
12389261285527817679949318021, 3171650889095119065539825158029,
3171650889095119065677264111501, 811942627608350480795856132949903,
3171650889095119100724197246861, 3171650889095119100861636200333,
811942627608350489803055387690895, 3171650889095119065539825158037,
3171650889095119065677264111509, 12389261285527817679949318022,
3171650889095119065539825158030, 3171650889095119065677264111502,
811942627608350480813517038471055, 3171650889095119100724197246862,
811942627608350489785531921123215, 3171650889095119100861636200334,
3171650889095119065539825158038, 811942627608350480778332666382231,
3171650889095119100724197246870, 811942627608350489785531921123223,
12389261285527791394749466508, 3171650889095114597193289353101,
3171650889095114597193289353102, 811942627608349336881619500320655,
3171650889095119074301558441884, 811942627608350483021336387045277,
811942627608350483021336387045278, 207857312667737723653462252509513631,
3171650889095119109485930530716, 811942627608350492028535641786269,
811942627608350492028535641786270, 207857312667737725959305261723207583,
3171650889095114597124569876366, 811942627608349336864027314276239,
3171650889095114597262008829838, 811942627608349336899211686365071,
811942627608350483021267667568542, 207857312667737723653444660323469215,
811942627608350483021405106522014, 207857312667737723653479844695558047,
811942627608350492028466922309534, 207857312667737725959287669537163167,
811942627608350492028604361263006, 207857312667737725959322853909251999,
3171650889095119074370277918620, 811942627608350483038928573089694,
207857312667737723657965852136884127, 3171650889095119074507716872092 ];