sml256.o

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

SMALL_GROUP_LIB[ 256 ][ 15 ] :=
[ 814468025288492656539058161402782, 208503814473854120073999026469553055,
814468025288492656574242533491614, 208503814473854120083006225724294047,
814468025288492665546257416143774, 208503814473854122379842035683247007,
814468025288492665546394855097246, 208503814473854122379877220055335839,
814468025288493235251610278511503, 814468025288493235251747717464975,
814468025288493235286794650600335, 814468025288493235286932089553807,
208503814473854120073998957750076319, 208503814473854120073999095189029791,
208503814473854120083006157004817311, 208503814473854120083006294443770783,
208503814473854122379841966963770271, 208503814473854122379842104402723743,
208503814473854122379877151335859103, 208503814473854122379877288774812575,
12427795796028007699694306200, 3181515723783169971258892829593,
3181515723783169971258892829594, 814468025288491512642413714817947,
3181515723783169971258892829596, 814468025288491512642413714817949,
814468025288491512642413714817950, 208503814473853827236458048143836063,
3181515723783169971190173352857, 3181515723783169971327612306329,
814468025288491512642344995341211, 814468025288491512642482434294683,
814468025288491512642344995341213, 814468025288491512642482434294685,
208503814473853827236457979424359327, 208503814473853827236458116863312799,
814468025288491512624821528773531, 3181515723783169971327612306330,
814468025288491512660005900862363, 814468025288491512642344995341214,
208503814473853827236440455957791647, 814468025288491512642482434294686,
208503814473853827236475640329880479, 814468025288491512624890248250267,
814468025288491512659937181385627, 814468025288491512660074620339099,
208503814473853827236440387238314911, 208503814473853827236440524677268383,
208503814473853827236475571610403743, 208503814473853827236475709049357215,
3181515723783169971190173352860, 814468025288491512624821528773533,
814468025288491512624821528773534, 208503814473853827231954448516465567,
3181515723783169971327612306332, 814468025288491512660005900862365,
814468025288491512660005900862366, 208503814473853827240961647771206559,
814468025288491512624752809296797, 814468025288491512624890248250269,
208503814473853827231954517235942303, 814468025288491512659937181385629,
814468025288491512660074620339101, 208503814473853827240961579051729823,
208503814473853827240961716490683295, 208503814473853827231936856330421151,
814468025288491512624890248250270, 208503814473853827231972040702509983,
814468025288491512659937181385630, 208503814473853827240944055585162143,
814468025288491512660074620339102, 208503814473853827240979239957250975,
208503814473853827231936925049897887, 208503814473853827231972109421986719,
208503814473853827240943986865685407, 208503814473853827240944124304638879,
208503814473853827240979171237774239, 208503814473853827240979308676727711,
12427795796028007768413782936, 3181515723783169988851078874009,
3181515723783169988851078874010, 814468025288491517146013342188443,
3181515723783169988851078874012, 814468025288491517146013342188445,
814468025288491517146013342188446, 208503814473853828389379552750683039,
12427795796028042815346918296, 3181515723783178960865961526169,
3181515723783178960865961526170, 814468025288493813981823301141403,
3181515723783178960865961526172, 814468025288493813981823301141405,
814468025288493813981823301141406, 208503814473854416379346902242640799,
3181515723783169988782359397273, 3181515723783169988919798350745,
814468025288491517145944622711707, 814468025288491517146082061665179,
814468025288491517145944622711709, 814468025288491517146082061665181,
208503814473853828389379484031206303, 208503814473853828389379621470159775,
3181515723783178960797242049433, 814468025288493813981754581664667,
814468025288493813981892020618139, 814468025288493813981754581664669,
814468025288493813981892020618141, 208503814473854416379346833523164063,
208503814473854416379346970962117535, 3181515723783169988782359397274,
814468025288491517128421156144027, 814468025288491517163605528232859,
814468025288491517145944622711710, 208503814473853828389361960564638623,
814468025288491517146082061665182, 208503814473853828389397144936727455,
814468025288493813964231115096987, 3181515723783178960934681002906,
814468025288493813999415487185819, 814468025288493813981754581664670,
208503814473854416379329310056596383, 814468025288493813981892020618142,
208503814473854416379364494428685215, 814468025288491517128352436667291,
814468025288491517128489875620763, 814468025288491517163674247709595,
208503814473853828389361891845161887, 208503814473853828389362029284115359,
208503814473853828389397076217250719, 208503814473853828389397213656204191,
814468025288493813964162395620251, 814468025288493813999346767709083,
208503814473854416379329241337119647, 208503814473854416379329378776073119,
208503814473854416379364425709208479, 208503814473854416379364563148161951,
3181515723783176717827881124749, 814468025288493239772836451664783,
3181515723783174439639788372889, 3181515723783174439777227326361,
814468025288492656556684707185563, 814468025288492656556822146139035,
3181515723783174474824160461721, 814468025288492665563883961926555,
814468025288492665563883961926557, 208503814473854122384363193136923551,
814468025288493239755244265620367, 814468025288492656539092521141147,
814468025288492656539229960094619, 814468025288492665546291775882139,
814468025288492665546429214835611, 208503814473854122384345600950879135,
208503814473854122384345738389832607, 3181515723783176700304414557069,
814468025288493235269305543771023, 814468025288492656539023801664413,
814468025288492656539161240617885, 208503814473854120074016515576382367,
208503814473854120074016653015335839, 814468025288492656574208173753245,
814468025288492656574345612706717, 208503814473854120083023714831123359,
208503814473854120083023852270076831, 814468025288492665546223056405405,
814468025288492665546360495358877, 208503814473854122379859524790076319,
208503814473854122379859662229029791, 3181515723783176700373134033805,
814468025288493235269374263247759, 814468025288492656539092521141149,
208503814473854120074016584295859103, 814468025288492656574276893229981,
208503814473854120083023783550600095, 814468025288492665546291775882141,
814468025288492665546429214835613, 208503814473854122379859593509553055,
208503814473854122379859730948506527, 814468025288493235251713357726607,
814468025288493235286897729815439, 208503814473854120073998923390337951,
208503814473854120073999060829291423, 208503814473854120083006122645078943,
208503814473854120083006260084032415, 208503814473854122379841932604031903,
208503814473854122379842070042985375, 208503814473854122379877116976120735,
208503814473854122379877254415074207, 814468025288493235251782077203343,
814468025288493235286966449292175, 208503814473854120073998992109814687,
208503814473854120073999129548768159, 208503814473854120083006191364555679,
208503814473854120083006328803509151, 208503814473854122379842001323508639,
208503814473854122379842138762462111, 208503814473854122379877185695597471,
208503814473854122379877323134550943, 3181515723783169971293252567961,
814468025288491512642448074556315, 814468025288491512642310635602845,
814468025288491512642448074556317, 208503814473853827236457945064620959,
208503814473853827236458082503574431, 3181515723783169971361972044697,
814468025288491512642516794033051, 814468025288491512642379355079581,
814468025288491512642516794033053, 208503814473853827236458013784097695,
208503814473853827236458151223051167, 814468025288491512660040260600731,
208503814473853827236440352878576543, 208503814473853827236440490317530015,
208503814473853827236475537250665375, 208503814473853827236475674689618847,
814468025288491512660108980077467, 208503814473853827236440421598053279,
208503814473853827236440559037006751, 208503814473853827236475605970142111,
208503814473853827236475743409095583, 814468025288491512624855888511901,
208503814473853827231954482876203935, 814468025288491512659902821647261,
814468025288491512660040260600733, 208503814473853827240961544691991455,
208503814473853827240961682130944927, 814468025288491512624924607988637,
814468025288491512659971541123997, 814468025288491512660108980077469,
208503814473853827240961613411468191, 208503814473853827240961750850421663,
208503814473853827231972075062248351, 208503814473853827240943952505947039,
208503814473853827240944089944900511, 208503814473853827240979136878035871,
208503814473853827240979274316989343, 208503814473853827240944021225423775,
208503814473853827240944158664377247, 208503814473853827240979205597512607,
208503814473853827240979343036466079, 3181515723783169988885438612377,
814468025288491517146047701926811, 814468025288491517145910262973341,
814468025288491517146047701926813, 208503814473853828389379449671467935,
208503814473853828389379587110421407, 3181515723783178960900321264537,
814468025288493813981857660879771, 814468025288493813981720221926301,
814468025288493813981857660879773, 208503814473854416379346799163425695,
208503814473854416379346936602379167, 3181515723783169988954158089113,
814468025288491517146116421403547, 814468025288491517145978982450077,
814468025288491517146116421403549, 208503814473853828389379518390944671,
208503814473853828389379655829898143, 814468025288493813981788941403035,
814468025288493813981788941403037, 814468025288493813981926380356509,
208503814473854416379346867882902431, 208503814473854416379347005321855903,
814468025288491517128455515882395, 208503814473853828389361857485423519,
208503814473853828389361994924376991, 208503814473853828389397041857512351,
208503814473853828389397179296465823, 814468025288493813999449846924187,
208503814473854416379329206977381279, 208503814473854416379329344416334751,
208503814473854416379364391349470111, 208503814473854416379364528788423583,
814468025288491517128524235359131, 208503814473853828389361926204900255,
208503814473853828389362063643853727, 208503814473853828389397110576989087,
208503814473853828389397248015942559, 208503814473854416379329275696858015,
208503814473854416379329413135811487, 208503814473854416379364460068946847,
208503814473854416379364597507900319, 12427795796028034087973372812,
3181515723783176726658333885325, 3181515723783176726658333885326,
814468025288493242024670625088399, 3181515723783174439571068896156,
814468025288492656530330787857309, 814468025288492656530330787857310,
208503814473854120071764818841912223, 3181515723783174474755440984988,
814468025288492665537530042598301, 814468025288492665537530042598302,
208503814473854122377607828055606175, 3181515723783174474892879938460,
814468025288492665572714414687133, 814468025288492665572714414687134,
208503814473854122386615027310347167, 814468025288492656530262068380573,
814468025288492656530399507334045, 208503814473854120071764750122435487,
208503814473854120071764887561388959, 814468025288492665537461323121565,
208503814473854122377607759336129439, 814468025288492665572645695210397,
208503814473854122386614958590870431, 3181515723783176726589614408590,
814468025288493242007078439043983, 814468025288492656530262068380574,
208503814473854120071747226655867807, 814468025288492656530399507334046,
208503814473854120071782411027956639, 814468025288492665537461323121566,
208503814473854122377590235869561759, 814468025288492665572645695210398,
208503814473854122386597435124302751, 208503814473854120071747157936391071,
208503814473854120071747295375344543, 208503814473854122377590167150085023,
208503814473854122377590304589038495, 208503814473854122386597366404826015,
208503814473854122386597503843779487, 3181515723783169971293252567964,
814468025288491512651209807840157, 814468025288491512651209807840158,
208503814473853827238709847957521311, 814468025288491512651141088363421,
814468025288491512651278527316893, 208503814473853827238709779238044575,
208503814473853827238709916676998047, 814468025288491512651141088363422,
814468025288491512651278527316894, 208503814473853827238727440143565727,
208503814473853827238692187052000159, 208503814473853827238727371424088991,
208503814473853827238727508863042463, 3181515723783169971361972044700,
814468025288491512668801993884573, 814468025288491512668801993884574,
208503814473853827243213447584891807, 814468025288491512668733274407837,
814468025288491512668870713361309, 208503814473853827243213378865415071,
814468025288491512668733274407838, 814468025288491512668870713361310,
208503814473853827243231039770936223, 208503814473853827243195786679370655,
208503814473853827243230971051459487, 3181515723783169988885438612380,
814468025288491517154809435210653, 814468025288491517154809435210654,
208503814473853828391631352564368287, 3181515723783178960900321264540,
814468025288493813990619394163613, 814468025288493813990619394163614,
208503814473854416381598702056326047, 814468025288491517154740715733917,
814468025288491517154878154687389, 208503814473853828391631283844891551,
208503814473853828391631421283845023, 814468025288493813990688113640349,
208503814473854416381598633336849311, 208503814473854416381598770775802783,
814468025288491517154740715733918, 208503814473853828391613760378323871,
814468025288491517154878154687390, 814468025288493813990550674686878,
814468025288493813990688113640350, 208503814473854416381616294242370463,
208503814473853828391613691658847135, 208503814473853828391613829097800607,
208503814473853828391648876030935967, 208503814473854416381581178589758367,
208503814473854416381616362961847199, 814468025288492656530296428118941,
814468025288492656530433867072413, 208503814473854120071764784482173855,
208503814473854120071764921921127327, 814468025288492665537495682859933,
208503814473854122377607793695867807, 814468025288492665572680054948765,
208503814473854122386614992950608799, 208503814473854120071747192296129439,
208503814473854120071747329735082911, 208503814473854122377590201509823391,
208503814473854122377590338948776863, 208503814473854122386597400764564383,
208503814473854122386597538203517855, 814468025288491512651106728625053,
208503814473853827238709744878306207, 814468025288491512651175448101789,
208503814473853827238709813597782943, 208503814473853827238727337064350623,
208503814473853827238727405783827359, 814468025288491512668698914669469,
208503814473853827243213344505676703, 814468025288491512668767634146205,
208503814473853827243230936691721119, 814468025288491517154706355995549,
208503814473853828391631249485153183, 814468025288493813990516314948509,
208503814473854416381598598977110943, 814468025288491517154775075472285,
208503814473853828391631318204629919, 208503814473854416381598805135541151,
208503814473853828391613657299108767, 208503814473854416381616191163155359,
208503814473853828391613726018585503, 48546077328234507486184336,
12427795796028034053613634450, 12427795796028034053613634452,
3181515723783176717862240863126, 12427795796028034053613634456,
3181515723783176717862240863129, 3181515723783176717862240863130,
814468025288493239772870811403163, 3181515723783176717862240863132,
814468025288493239772870811403165, 814468025288493239772870811403166,
208503814473854269381855064869651359, 12427795796028033984894157713,
3181515723783176717793521386387, 3181515723783176717930960339859,
3181515723783176717930960339861, 814468025288493239772802091926423,
814468025288493239772939530879895, 3181515723783176717793521386393,
3181515723783176717930960339865, 814468025288493239772802091926427,
814468025288493239772939530879899, 814468025288493239772802091926429,
814468025288493239772939530879901, 208503814473854269381854996150174623,
208503814473854269381855133589128095, 12427795796028033984894157714,
3181515723783176700270054818707, 12427795796028034122333111186,
3181515723783176735454426907539, 3181515723783176717793521386390,
814468025288493239755278625358743, 3181515723783176717930960339862,
814468025288493239790462997447575, 3181515723783176717793521386394,
814468025288493239755278625358747, 3181515723783176717930960339866,
814468025288493239790462997447579, 814468025288493239772802091926430,
208503814473854269381837472683606943, 814468025288493239772939530879902,
208503814473854269381872657055695775, 3181515723783176700201335341971,
3181515723783176735385707430803, 814468025288493239755347344835479,
814468025288493239790531716924311, 814468025288493239755209905882011,
814468025288493239755347344835483, 814468025288493239790394277970843,
814468025288493239790531716924315, 208503814473854269381837403964130207,
208503814473854269381837541403083679, 208503814473854269381872588336219039,
208503814473854269381872725775172511, 12427795796028033984894157716,
3181515723783176700270054818709, 3181515723783176700270054818710,
814468025288493235269271184032663, 3181515723783176717793521386396,
814468025288493239755278625358749, 814468025288493239755278625358750,
208503814473854269377351465242280863, 3181515723783176717930960339868,
814468025288493239790462997447581, 814468025288493239790462997447582,
208503814473854269386358664497021855, 3181515723783176700201335341973,
3181515723783176700338774295445, 814468025288493235269202464555927,
814468025288493235269339903509399, 3181515723783176735523146384277,
814468025288493244276401719296919, 814468025288493244276539158250391,
814468025288493239755209905882013, 814468025288493239755347344835485,
208503814473854269377351396522804127, 208503814473854269377351533961757599,
814468025288493239790394277970845, 814468025288493239790531716924317,
208503814473854269386358595777545119, 208503814473854269386358733216498591,
3181515723783176700201335341974, 814468025288493235251678997988247,
3181515723783176700338774295446, 814468025288493235286863370077079,
814468025288493244258878252729239, 3181515723783176735523146384278,
814468025288493244294062624818071, 814468025288493239755209905882014,
208503814473854269377333873056236447, 814468025288493239755347344835486,
208503814473854269377369057428325279, 814468025288493239790394277970846,
208503814473854269386341072310977439, 814468025288493239790531716924318,
208503814473854269386376256683066271, 814468025288493235251610278511511,
814468025288493235251747717464983, 814468025288493235286794650600343,
814468025288493235286932089553815, 814468025288493244258946972205975,
814468025288493244293993905341335, 814468025288493244294131344294807,
208503814473854269377333804336759711, 208503814473854269377333941775713183,
208503814473854269377368988708848543, 208503814473854269377369126147802015,
208503814473854269386341003591500703, 208503814473854269386341141030454175,
208503814473854269386376187963589535, 208503814473854269386376325402543007,
12427795796028033984894157720, 3181515723783176700270054818713,
3181515723783176700270054818714, 814468025288493235269271184032667,
3181515723783176700270054818716, 814468025288493235269271184032669,
814468025288493235269271184032670, 208503814473854268228933560262804383,
12427795796028034122333111192, 3181515723783176735454426907545,
3181515723783176735454426907546, 814468025288493244276470438773659,
3181515723783176735454426907548, 814468025288493244276470438773661,
814468025288493244276470438773662, 208503814473854270534776569476498335,
3181515723783176700201335341977, 3181515723783176700338774295449,
814468025288493235269202464555931, 814468025288493235269339903509403,
814468025288493235269202464555933, 814468025288493235269339903509405,
208503814473854268228933491543327647, 208503814473854268228933628982281119,
3181515723783176735385707430809, 3181515723783176735523146384281,
814468025288493244276401719296923, 814468025288493244276539158250395,
814468025288493244276401719296925, 814468025288493244276539158250397,
208503814473854270534776500757021599, 208503814473854270534776638195975071,
3181515723783176700201335341978, 3181515723783176700338774295450,
814468025288493235286863370077083, 814468025288493235269202464555934,
208503814473854268228915968076759967, 814468025288493235269339903509406,
208503814473854268228951152448848799, 3181515723783176735385707430810,
814468025288493244258878252729243, 814468025288493244294062624818075,
814468025288493244276401719296926, 208503814473854270534758977290453919,
814468025288493244276539158250398, 208503814473854270534794161662542751,
814468025288493235251610278511515, 814468025288493235286794650600347,
814468025288493235286932089553819, 208503814473854268228915899357283231,
208503814473854268228916036796236703, 208503814473854268228951083729372063,
208503814473854268228951221168325535, 814468025288493244258809533252507,
814468025288493244258946972205979, 814468025288493244293993905341339,
208503814473854270534758908570977183, 208503814473854270534759046009930655,
208503814473854270534794092943066015, 208503814473854270534794230382019487,
3181515723783176700201335341980, 814468025288493235251678997988253,
814468025288493235251678997988254, 208503814473854268224429960635433887,
814468025288493235286863370077085, 814468025288493235286863370077086,
208503814473854268233437159890174879, 3181515723783176735385707430812,
814468025288493244258878252729246, 208503814473854270530272969849127839,
3181515723783176735523146384284, 814468025288493244294062624818077,
814468025288493244294062624818078, 208503814473854270539280169103868831,
814468025288493235251610278511517, 814468025288493235251747717464989,
208503814473854268224429891915957151, 208503814473854268224430029354910623,
814468025288493235286932089553821, 208503814473854268233437091170698143,
208503814473854268233437228609651615, 814468025288493244258946972205981,
208503814473854270530272901129651103, 208503814473854270530273038568604575,
814468025288493244293993905341341, 814468025288493244294131344294813,
208503814473854270539280100384392095, 208503814473854270539280237823345567,
814468025288493235251610278511518, 814468025288493235251747717464990,
208503814473854268224447552821478303, 208503814473854268233419567704130463,
814468025288493235286932089553822, 208503814473854268233454752076219295,
814468025288493244258809533252510, 208503814473854270530255377663083423,
814468025288493244258946972205982, 814468025288493244293993905341342,
208503814473854270539262576917824415, 208503814473854270539297761289913247,
208503814473854268224412299729912735, 208503814473854268224447484102001567,
208503814473854268224447621540955039, 208503814473854268233419636423607199,
208503814473854268233454683356742559, 208503814473854268233454820795696031,
208503814473854270530255308943606687, 208503814473854270530255446382560159,
208503814473854270530290630754648991, 208503814473854270539262508198347679,
208503814473854270539262645637301151, 208503814473854270539297692570436511,
3181515723783176717759161648019, 814468025288493239772767732188055,
3181515723783176717759161648025, 3181515723783176717896600601497,
814468025288493239772767732188059, 814468025288493239772905171141531,
814468025288493239772767732188061, 814468025288493239772905171141533,
208503814473854269381854961790436255, 208503814473854269381855099229389727,
3181515723783176700166975603603, 3181515723783176735488786645907,
814468025288493239755312985097111, 814468025288493239790359918232471,
814468025288493239755175546143643, 814468025288493239755312985097115,
814468025288493239790359918232475, 814468025288493239790497357185947,
208503814473854269381837369604391839, 208503814473854269381837507043345311,
208503814473854269381872553976480671, 208503814473854269381872691415434143,
814468025288493239755244265620379, 814468025288493239755381704573851,
814468025288493239790428637709211, 814468025288493239790566076662683,
208503814473854269381837438323868575, 208503814473854269381837575762822047,
208503814473854269381872622695957407, 208503814473854269381872760134910879,
3181515723783176700166975603605, 814468025288493235269168104817559,
814468025288493235269305543771031, 814468025288493239755175546143645,
814468025288493239755312985097117, 208503814473854269377351362163065759,
208503814473854269377351499602019231, 814468025288493239790359918232477,
814468025288493239790497357185949, 208503814473854269386358561417806751,
208503814473854269386358698856760223, 814468025288493235251575918773143,
814468025288493235286760290861975, 814468025288493244294096984556439,
208503814473854269377333769977021343, 208503814473854269377333907415974815,
208503814473854269377368954349110175, 208503814473854269377369091788063647,
208503814473854269386340969231762335, 208503814473854269386341106670715807,
208503814473854269386376153603851167, 208503814473854269386376291042804639,
814468025288493235251644638249879, 814468025288493235286966449292183,
814468025288493244294028265079703, 208503814473854269377333838696498079,
208503814473854269377333976135451551, 208503814473854269377369023068586911,
208503814473854269377369160507540383, 208503814473854269386341037951239071,
208503814473854269386341175390192543, 208503814473854269386376222323327903,
208503814473854269386376359762281375, 3181515723783176700166975603609,
814468025288493235269168104817563, 814468025288493235269305543771035,
814468025288493235269305543771037, 208503814473854268228933457183589279,
208503814473854268228933594622542751, 3181515723783176735488786645913,
814468025288493244276367359558555, 814468025288493244276504798512027,
814468025288493244276367359558557, 208503814473854270534776466397283231,
208503814473854270534776603836236703, 3181515723783176700235695080345,
814468025288493235269236824294299, 814468025288493235269374263247771,
814468025288493235269374263247773, 208503814473854268228933525903066015,
208503814473854268228933663342019487, 3181515723783176735420067169177,
814468025288493244276436079035291, 814468025288493244276573517988763,
814468025288493244276573517988765, 208503814473854270534776535116759967,
208503814473854270534776672555713439, 814468025288493235286760290861979,
814468025288493235286897729815451, 208503814473854268228916002436498335,
208503814473854268228951049369633695, 208503814473854268228951186808587167,
814468025288493244258775173514139, 814468025288493244258912612467611,
208503814473854270534758874211238815, 208503814473854270534759011650192287,
208503814473854270534794058583327647, 814468025288493235286829010338715,
814468025288493235286966449292187, 208503814473854268228916071155975071,
208503814473854268228951118089110431, 208503814473854268228951255528063903,
814468025288493244258843892990875, 814468025288493244258981331944347,
208503814473854270534758942930715551, 208503814473854270534759080369669023,
208503814473854270534794264741757855, 814468025288493235251575918773149,
208503814473854268224429857556218783, 208503814473854268224429994995172255,
208503814473854268233437056810959775, 208503814473854268233437194249913247,
208503814473854270530272866769912735, 208503814473854270530273004208866207,
814468025288493244294096984556445, 208503814473854270539280066024653727,
208503814473854270539280203463607199, 814468025288493235251644638249885,
208503814473854268224429926275695519, 208503814473854268224430063714648991,
208503814473854268233437125530436511, 208503814473854268233437262969389983,
208503814473854270530272935489389471, 208503814473854270530273072928342943,
814468025288493244294028265079709, 208503814473854270539280134744130463,
208503814473854270539280272183083935, 208503814473854268224447449742263199,
208503814473854268224447587181216671, 208503814473854268233454648997004191,
208503814473854268233454786435957663, 208503814473854270530255274583868319,
208503814473854270530255412022821791, 208503814473854270539262473838609311,
208503814473854270539262611277562783, 208503814473854268224447518461739935,
208503814473854268224447655900693407, 208503814473854268233454717716480927,
208503814473854268233454855155434399, 208503814473854270530255343303345055,
208503814473854270530255480742298527, 208503814473854270539262542558086047,
208503814473854270539262679997039519, 12427795796028034087973372818,
3181515723783176717896600601494, 3181515723783176717759161648026,
814468025288493239746482532336539, 3181515723783176717896600601498,
814468025288493239781666904425371, 814468025288493239772767732188062,
208503814473854269381828676590584735, 814468025288493239772905171141534,
208503814473854269381863860962673567, 3181515723783176726589614408595,
814468025288493239781735623902103, 814468025288493239746413812859803,
814468025288493239746551251813275, 814468025288493239781598184948635,
814468025288493239781735623902107, 208503814473854269381828607871107999,
208503814473854269381828745310061471, 208503814473854269381863792243196831,
208503814473854269381863929682150303, 3181515723783176700304414557078,
814468025288493235278067277054871, 814468025288493239755175546143646,
208503814473854269377325076963214239, 814468025288493239755312985097118,
208503814473854269377360261335303071, 814468025288493239790359918232478,
208503814473854269386332276217955231, 814468025288493239790497357185950,
208503814473854269386367460590044063, 814468025288493235277998557578135,
814468025288493235278135996531607, 814468025288493244285335251272599,
208503814473854269377325008243737503, 208503814473854269377325145682690975,
208503814473854269377360192615826335, 208503814473854269377360330054779807,
208503814473854269386332207498478495, 208503814473854269386332344937431967,
208503814473854269386367391870567327, 208503814473854269386367529309520799,
3181515723783176700304414557082, 814468025288493235278067277054875,
814468025288493235269305543771038, 208503814473854268228942356355826591,
3181515723783176735488786645914, 814468025288493244285266531795867,
814468025288493244276504798512030, 208503814473854270534785365569520543,
814468025288493235277998557578139, 814468025288493235278135996531611,
208503814473854268228942287636349855, 208503814473854268228942425075303327,
814468025288493244285197812319131, 814468025288493244285335251272603,
208503814473854270534785296850043807, 208503814473854270534785434288997279,
3181515723783176700373134033818, 814468025288493235269374263247774,
208503814473854268228959948541871007, 814468025288493244267674345751451,
814468025288493244276436079035294, 208503814473854270534767773383476127,
814468025288493235295590743622555, 208503814473854268228959879822394271,
208503814473854268228960017261347743, 814468025288493244267605626274715,
208503814473854270534767704663999391, 208503814473854270534767842102952863,
814468025288493235251713357726622, 208503814473854268224438756728456095,
208503814473854268233445955983197087, 814468025288493244258912612467614,
814468025288493244294096984556446, 208503814473854270539288965196891039,
208503814473854268224438688008979359, 208503814473854268224438825447932831,
208503814473854268233446024702673823, 208503814473854270530281834661626783,
208503814473854270539288896477414303, 208503814473854270539289033916367775,
814468025288493235251782077203358, 208503814473854268233463548169241503,
814468025288493244258843892990878, 208503814473854270539271373010846623,
208503814473854268224456280195023775, 208503814473854268233463616888718239,
208503814473854270530264242475582367, 208503814473854270539271304291369887,
814468025288493239746379453121435, 814468025288493239746516892074907,
814468025288493239781563825210267, 814468025288493239781701264163739,
208503814473854269381828573511369631, 208503814473854269381828710950323103,
208503814473854269381863757883458463, 208503814473854269381863895322411935,
814468025288493235277964197839767, 208503814473854269377324973883999135,
208503814473854269377325111322952607, 208503814473854269377360158256087967,
208503814473854269377360295695041439, 208503814473854269386332173138740127,
208503814473854269386332310577693599, 208503814473854269386367357510828959,
208503814473854269386367494949782431, 814468025288493235277964197839771,
208503814473854268228942390715564959, 814468025288493244285300891534235,
208503814473854270534785262490305439, 814468025288493235278032917316507,
208503814473854268228942459435041695, 814468025288493244285232172057499,
208503814473854270534785468648735647, 208503814473854268228959982901609375,
208503814473854270534767670304261023, 208503814473854268228960051621086111,
208503814473854270534767876462691231, 208503814473854268224438653649240991,
208503814473854270539288999556629407, 208503814473854268224438722368717727,
208503814473854270539288930837152671, 12427795796028034087973372824,
3181515723783176726658333885337, 3181515723783176726658333885338,
814468025288493242024670625088411, 3181515723783176726658333885340,
814468025288493242024670625088413, 814468025288493242024670625088414,
208503814473854269958315817173074847, 3181515723783176726589614408601,
814468025288493242024601905611677, 208503814473854269958315748453598111,
3181515723783176726589614408602, 814468025288493242007078439043995,
814468025288493242024601905611678, 208503814473854269958298224987030431,
814468025288493242007147158520731, 208503814473854269958298156267553695,
208503814473854269958298293706507167, 3181515723783176726589614408604,
814468025288493242007078439043997, 814468025288493242007078439043998,
208503814473854269953812217545704351, 814468025288493242007009719567261,
814468025288493242007147158520733, 208503814473854269953812148826227615,
208503814473854269953812286265181087, 814468025288493242007009719567262,
208503814473854269953794625359659935, 814468025288493242007147158520734,
208503814473854269953829809731748767, 208503814473854269953794556640183199,
208503814473854269953794694079136671, 208503814473854269953829741012272031,
208503814473854269953829878451225503, 3181515723783176726623974146969,
814468025288493242024636265350045, 208503814473854269958315782813336479,
814468025288493242006975359828891, 208503814473854269958298121907815327,
208503814473854269958298259346768799, 208503814473854269958298190627292063,
208503814473854269958298328066245535, 814468025288493242006975359828893,
814468025288493242007112798782365, 208503814473854269953812114466489247,
814468025288493242007044079305629, 814468025288493242007181518259101,
208503814473854269953812183185965983, 208503814473854269953794522280444831,
208503814473854269953794659719398303, 208503814473854269953829706652533663,
208503814473854269953794590999921567, 208503814473854269953794728438875039,
208503814473854269953829775372010399, 3181515723783176726555254670234,
814468025288493241998282346021787, 814468025288493242024567545873310,
208503814473854269958289428894008223, 814468025288493242024704984826782,
208503814473854269958324613266097055, 208503814473854269958289360174531487,
208503814473854269958324544546620319, 814468025288493242006975359828894,
208503814473854269953785829266637727, 208503814473854269953785760547160991,
208503814473854269953785897986114463, 814468025288493242007044079305630,
208503814473854269953803421452682143, 208503814473854269953803352733205407,
208503814473854269953803490172158879, 208503814473854269958289394534269855,
208503814473854269958324578906358687, 208503814473854269953785726187422623,
208503814473854269953785794906899359, 208503814473854269953803318373467039,
208503814473854269953803387092943775, 3181515723783176726692693623708,
814468025288493242033466718110621, 814468025288493242033466718110622,
208503814473854269960567616986760095, 814468025288493242033397998633885,
814468025288493242033397998633886, 208503814473854269960550024800715679,
208503814473854269960549956081238943, 814468025288493242033432358372253,
208503814473854269960550059160454047, 814468025288493242033363638895518,
208503814473854269960541228707693471, 9709776363320631008281984,
2485702749010081675262150017, 2485702749010081675262150020,
636339903746580909004252366213, 2485702749010081675262150024,
636339903746580909004252366217, 636339903746580909004252366218,
162903015359124712705225747711371, 636339903746580909004252366220,
162903015359124712705225747711373, 162903015359124712705225747711374,
41703171931935926452537928556070287, 2485702749010081675262150032,
636339903746580909004252366225, 636339903746580909004252366226,
162903015359124712705225747711379, 636339903746580909004252366232,
162903015359124712705225747711385, 162903015359124712705225747711386,
41703171931935926452537928556070299, 2485702749010081743981626753,
636339903746580908935532889475, 636339903746580908935532889477,
636339903746580909072971842949, 162903015359124712705157028234631,
162903015359124712705294467188103, 636339903746580908935532889481,
636339903746580909072971842953, 162903015359124712705157028234635,
162903015359124712705294467188107, 162903015359124712705157028234637,
162903015359124712705294467188109, 41703171931935926452537859836593551,
41703171931935926452537997275547023, 636339903746580908935532889489,
636339903746580909072971842961, 162903015359124712705157028234643,
162903015359124712705294467188115, 162903015359124712705157028234645,
162903015359124712705294467188117, 41703171931935926452537859836593559,
41703171931935926452537997275547031, 162903015359124712705157028234649,
162903015359124712705294467188121, 41703171931935926452537859836593563,
41703171931935926452537997275547035, 41703171931935926452537859836593565,
41703171931935926452537997275547037, 10676012014575597171849709778776475039,
10676012014575597171849709916215428511, 636339903746580891412066321795,
636339903746580926596438410627, 636339903746580908935532889478,
162903015359124712687633561666951, 636339903746580909072971842950,
162903015359124712722817933755783, 636339903746580908935532889482,
162903015359124712687633561666955, 636339903746580909072971842954,
162903015359124712722817933755787, 162903015359124712705157028234638,
41703171931935926452520336370025871, 162903015359124712705294467188110,
41703171931935926452555520742114703, 636339903746580908935532889490,
162903015359124712687633561666963, 636339903746580909072971842962,
162903015359124712722817933755795, 162903015359124712705157028234646,
41703171931935926452520336370025879, 162903015359124712705294467188118,
41703171931935926452555520742114711, 162903015359124712705157028234650,
41703171931935926452520336370025883, 162903015359124712705294467188122,
41703171931935926452555520742114715, 41703171931935926452537859836593566,
10676012014575597171849692255309907359, 41703171931935926452537997275547038,
10676012014575597171849727439681996191, 162903015359124712687564842190215,
162903015359124712687702281143687, 162903015359124712687564842190219,
162903015359124712687702281143691, 162903015359124712722749214279051,
162903015359124712722886653232523, 41703171931935926452520267650549135,
41703171931935926452520405089502607, 41703171931935926452555452022637967,
41703171931935926452555589461591439, 162903015359124712687564842190227,
162903015359124712687702281143699, 162903015359124712722749214279059,
162903015359124712722886653232531, 41703171931935926452520267650549147,
41703171931935926452520405089502619, 41703171931935926452555452022637979,
41703171931935926452555589461591451, 2485702749010081743981626756,
636339903746580926596438410629, 162903015359124717208825375081863,
636339903746580908935532889484, 162903015359124712687633561666957,
162903015359124712687633561666958, 41703171931935926448034328928699791,
636339903746580909072971842956, 162903015359124712722817933755789,
162903015359124712722817933755790, 41703171931935926457041528183440783,
636339903746580908935532889492, 162903015359124712687633561666965,
162903015359124712687633561666966, 41703171931935926448034328928699799,
636339903746580909072971842964, 162903015359124712722817933755797,
162903015359124712722817933755798, 41703171931935926457041528183440791,
162903015359124712705157028234652, 41703171931935926452520336370025885,
41703171931935926452520336370025886, 10676012014575597171845206247868581279,
162903015359124712705294467188124, 41703171931935926452555520742114717,
41703171931935926452555520742114718, 10676012014575597171854213447123322271,
636339903746580926527718933893, 636339903746580926665157887365,
162903015359124717208756655605127, 162903015359124712687564842190221,
41703171931935926448034260209223055, 41703171931935926448034397648176527,
162903015359124712722749214279053, 162903015359124712722886653232525,
41703171931935926457041459463964047, 41703171931935926457041596902917519,
162903015359124712687564842190229, 162903015359124712687702281143701,
41703171931935926448034260209223063, 41703171931935926448034397648176535,
162903015359124712722749214279061, 162903015359124712722886653232533,
41703171931935926457041459463964055, 41703171931935926457041596902917527,
41703171931935926452520267650549149, 41703171931935926452520405089502621,
10676012014575597171845206179149104543,
10676012014575597171845206316588058015, 41703171931935926452555452022637981,
41703171931935926452555589461591453, 10676012014575597171854213378403845535,
10676012014575597171854213515842799007, 636339903746580926527718933894,
162903015359124717191233189037447, 636339903746580926665157887366,
162903015359124712687564842190222, 162903015359124712687702281143694,
162903015359124712722749214279054, 41703171931935926457023935997396367,
162903015359124712722886653232526, 41703171931935926457059120369485199,
162903015359124712687564842190230, 41703171931935926448016736742655383,
162903015359124712687702281143702, 41703171931935926448051921114744215,
162903015359124712722749214279062, 41703171931935926457023935997396375,
162903015359124712722886653232534, 41703171931935926457059120369485207,
41703171931935926452520267650549150, 10676012014575597171845188655682536863,
41703171931935926452520405089502622, 10676012014575597171845223840054625695,
41703171931935926452555452022637982, 10676012014575597171854195854937277855,
41703171931935926452555589461591454, 10676012014575597171854231039309366687,
162903015359124717191164469560711, 162903015359124717191301908514183,
162903015359124717226486280603015, 41703171931935926448051852395267471,
41703171931935926457023867277919631, 41703171931935926457024004716873103,
41703171931935926457059051650008463, 41703171931935926457059189088961935,
41703171931935926448016668023178647, 41703171931935926448016805462132119,
41703171931935926448051852395267479, 41703171931935926448051989834220951,
41703171931935926457023867277919639, 41703171931935926457024004716873111,
41703171931935926457059051650008471, 41703171931935926457059189088961943,
10676012014575597171845188586963060127,
10676012014575597171845188724402013599,
10676012014575597171845223771335148959,
10676012014575597171845223908774102431,
10676012014575597171854195786217801119,
10676012014575597171854195923656754591,
10676012014575597171854230970589889951,
10676012014575597171854231108028843423, 636339903746580891412066321804,
162903015359124708201626120340877, 162903015359124708201626120340878,
41703171931935925299616423949223311, 636339903746580926596438410636,
162903015359124717208825375081869, 162903015359124717208825375081870,
41703171931935927605459433162917263, 636339903746580908935532889496,
162903015359124712687633561666969, 162903015359124712687633561666970,
41703171931935926448034328928699803, 162903015359124712687633561666972,
41703171931935926448034328928699805, 41703171931935926448034328928699806,
10676012014575597170696788342889104799, 636339903746580909072971842968,
162903015359124712722817933755801, 162903015359124712722817933755802,
41703171931935926457041528183440795, 162903015359124712722817933755804,
41703171931935926457041528183440797, 41703171931935926457041528183440798,
10676012014575597173002631352102798751, 162903015359124708201557400864141,
162903015359124708201694839817613, 41703171931935925299616492668700047,
162903015359124717208756655605133, 162903015359124717208894094558605,
41703171931935927605459364443440527, 41703171931935927605459501882393999,
162903015359124712687564842190233, 162903015359124712687702281143705,
41703171931935926448034260209223067, 41703171931935926448034397648176539,
41703171931935926448034260209223069, 41703171931935926448034397648176541,
10676012014575597170696788274169628063,
10676012014575597170696788411608581535, 162903015359124712722749214279065,
162903015359124712722886653232537, 41703171931935926457041459463964059,
41703171931935926457041596902917531, 41703171931935926457041459463964061,
41703171931935926457041596902917533, 10676012014575597173002631283383322015,
10676012014575597173002631420822275487, 41703171931935925299598831763178895,
41703171931935925299634016135267727, 162903015359124717208756655605134,
41703171931935927605441840976872847, 162903015359124717208894094558606,
41703171931935927605477025348961679, 162903015359124712687564842190234,
41703171931935926448016736742655387, 162903015359124712687702281143706,
41703171931935926448051921114744219, 41703171931935926448034260209223070,
10676012014575597170696770750703060383, 41703171931935926448034397648176542,
10676012014575597170696805935075149215, 162903015359124712722749214279066,
41703171931935926457023935997396379, 162903015359124712722886653232538,
41703171931935926457059120369485211, 41703171931935926457041459463964062,
10676012014575597173002613759916754335, 41703171931935926457041596902917534,
10676012014575597173002648944288843167, 41703171931935925299598900482655631,
41703171931935927605441772257396111, 41703171931935927605441909696349583,
41703171931935927605476956629484943, 41703171931935927605477094068438415,
41703171931935926448016668023178651, 41703171931935926448016805462132123,
41703171931935926448051852395267483, 41703171931935926448051989834220955,
10676012014575597170696770681983583647,
10676012014575597170696770819422537119,
10676012014575597170696805866355672479,
10676012014575597170696806003794625951, 41703171931935926457023867277919643,
41703171931935926457024004716873115, 41703171931935926457059051650008475,
41703171931935926457059189088961947, 10676012014575597173002613691197277599,
10676012014575597173002613828636231071,
10676012014575597173002648875569366431,
10676012014575597173002649013008319903, 636339903746580926665157887372,
162903015359124717226417561126285, 162903015359124717226417561126286,
41703171931935927609963032790287759, 162903015359124712687564842190236,
41703171931935926448016736742655389, 41703171931935926448016736742655390,
10676012014575597170692284743261734303, 162903015359124712687702281143708,
41703171931935926448051921114744221, 41703171931935926448051921114744222,
10676012014575597170701291942516475295, 162903015359124712722749214279068,
41703171931935926457023935997396381, 41703171931935926457023935997396382,
10676012014575597172998127752475428255, 162903015359124712722886653232540,
41703171931935926457059120369485213, 41703171931935926457059120369485214,
10676012014575597173007134951730169247, 162903015359124717226348841649549,
162903015359124717226486280603021, 41703171931935927609962964070811023,
41703171931935926448016668023178653, 41703171931935926448016805462132125,
10676012014575597170692284674542257567,
10676012014575597170692284811981211039, 41703171931935926448051852395267485,
41703171931935926448051989834220957, 10676012014575597170701291873796998559,
10676012014575597170701292011235952031, 41703171931935926457023867277919645,
41703171931935926457024004716873117, 10676012014575597172998127683755951519,
10676012014575597172998127821194904991, 41703171931935926457059051650008477,
41703171931935926457059189088961949, 10676012014575597173007134883010692511,
10676012014575597173007135020449645983, 162903015359124717226486280603022,
41703171931935926448016668023178654, 10676012014575597170692267151075689887,
41703171931935926448016805462132126, 10676012014575597170692302335447778719,
41703171931935926448051852395267486, 10676012014575597170701274350330430879,
41703171931935926448051989834220958, 10676012014575597170701309534702519711,
41703171931935926457023867277919646, 10676012014575597172998110160289383839,
41703171931935926457024004716873118, 10676012014575597172998145344661472671,
41703171931935926457059051650008478, 10676012014575597173007117359544124831,
41703171931935926457059189088961950, 10676012014575597173007152543916213663,
41703171931935927609945371884766607, 10676012014575597170692267082356213151,
10676012014575597170692267219795166623,
10676012014575597170692302266728301983,
10676012014575597170692302404167255455,
10676012014575597170701274281610954143,
10676012014575597170701274419049907615,
10676012014575597170701309465983042975,
10676012014575597170701309603421996447,
10676012014575597172998110091569907103,
10676012014575597172998110229008860575,
10676012014575597172998145275941995935,
10676012014575597172998145413380949407,
10676012014575597173007117290824648095,
10676012014575597173007117428263601567,
10676012014575597173007152475196736927,
10676012014575597173007152612635690399, 2485702749010081743981626768,
636339903746580926596438410641, 636339903746580926596438410642,
162903015359124717208825375081875, 636339903746580926596438410644,
162903015359124717208825375081877, 162903015359124717208825375081878,
41703171931935927605459433162917271, 636339903746580926596438410648,
162903015359124717208825375081881, 162903015359124717208825375081882,
41703171931935927605459433162917275, 162903015359124717208825375081884,
41703171931935927605459433162917277, 41703171931935927605459433162917278,
10676012014575597466997615026848777631, 636339903746580926527718933905,
636339903746580926665157887377, 162903015359124717208756655605139,
162903015359124717208894094558611, 162903015359124717208756655605141,
162903015359124717208894094558613, 41703171931935927605459364443440535,
41703171931935927605459501882394007, 162903015359124717208756655605145,
162903015359124717208894094558617, 41703171931935927605459364443440539,
41703171931935927605459501882394011, 41703171931935927605459364443440541,
10676012014575597466997614958129300895,
10676012014575597466997615095568254367, 162903015359124717191233189037459,
636339903746580926665157887378, 162903015359124717208756655605142,
41703171931935927605441840976872855, 162903015359124717208894094558614,
41703171931935927605477025348961687, 162903015359124717208756655605146,
41703171931935927605441840976872859, 162903015359124717208894094558618,
41703171931935927605477025348961691, 41703171931935927605459364443440542,
41703171931935927605459501882394014, 162903015359124717191164469560723,
162903015359124717191301908514195, 162903015359124717226348841649555,
162903015359124717226486280603027, 41703171931935927605441772257396119,
41703171931935927605441909696349591, 41703171931935927605476956629484951,
41703171931935927605477094068438423, 41703171931935927605441772257396123,
41703171931935927605441909696349595, 41703171931935927605476956629484955,
41703171931935927605477094068438427, 10676012014575597466997632550315345311,
636339903746580926527718933908, 162903015359124717191233189037461,
162903015359124717191233189037462, 41703171931935927600955833535546775,
636339903746580926665157887380, 162903015359124717226417561126293,
162903015359124717226417561126294, 41703171931935927609963032790287767,
162903015359124717208756655605148, 41703171931935927605441840976872861,
41703171931935927605441840976872862, 10676012014575597466993111427221407135,
162903015359124717191164469560725, 162903015359124717191301908514197,
41703171931935927600955764816070039, 41703171931935927600955902255023511,
162903015359124717226486280603029, 41703171931935927609962964070811031,
41703171931935927609963101509764503, 41703171931935927605441772257396125,
41703171931935927605441909696349597, 10676012014575597466993111358501930399,
10676012014575597466993111495940883871, 162903015359124717191164469560726,
41703171931935927600938241349502359, 162903015359124717191301908514198,
41703171931935927600973425721591191, 41703171931935927609945440604243351,
41703171931935927609980624976332183, 41703171931935927605441772257396126,
10676012014575597466993093835035362719, 41703171931935927605441909696349598,
10676012014575597466993129019407451551, 41703171931935927600938172630025623,
41703171931935927600938310068979095, 41703171931935927600973357002114455,
41703171931935927600973494441067927, 41703171931935927609980693695808919,
10676012014575597466993093766315885983,
10676012014575597466993093903754839455,
10676012014575597466993128950687974815,
10676012014575597466993129088126928287, 636339903746580926527718933912,
162903015359124717191233189037465, 162903015359124717191233189037466,
41703171931935927600955833535546779, 636339903746580926665157887384,
41703171931935927609963032790287771, 162903015359124717191164469560729,
162903015359124717191301908514201, 41703171931935927600955764816070043,
41703171931935927600955902255023515, 162903015359124717226486280603033,
41703171931935927609962964070811035, 162903015359124717191164469560730,
41703171931935927600938241349502363, 162903015359124717191301908514202,
41703171931935927600973425721591195, 162903015359124717226486280603034,
41703171931935927600938172630025627, 41703171931935927600938310068979099,
41703171931935927600973357002114459, 41703171931935927600973494441067931,
41703171931935927609945371884766619, 162903015359124717191164469560732,
41703171931935927600938241349502365, 41703171931935927600938241349502366,
10676012014575597465840189922614560159, 41703171931935927600938172630025629,
41703171931935927600938310068979101, 10676012014575597465840189991334036895,
10676012014575597465840172330428515743,
10676012014575597465840207514800604575,
10676012014575597465840172399147992479, 636339903746580908901173151109,
636339903746580909038612104581, 636339903746580908901173151113,
636339903746580909038612104585, 162903015359124712705122668496267,
162903015359124712705260107449739, 162903015359124712705122668496269,
162903015359124712705260107449741, 41703171931935926452537825476855183,
41703171931935926452537962915808655, 636339903746580908901173151121,
636339903746580909038612104593, 162903015359124712705122668496275,
162903015359124712705260107449747, 162903015359124712705122668496281,
162903015359124712705260107449753, 41703171931935926452537825476855195,
41703171931935926452537962915808667, 162903015359124712687599201928583,
162903015359124712687736640882055, 162903015359124712687599201928587,
162903015359124712687736640882059, 162903015359124712722783574017419,
162903015359124712722921012970891, 41703171931935926452520302010287503,
41703171931935926452520439449240975, 41703171931935926452555486382376335,
41703171931935926452555623821329807, 162903015359124712687599201928595,
162903015359124712687736640882067, 162903015359124712722783574017427,
162903015359124712722921012970899, 41703171931935926452520302010287515,
41703171931935926452520439449240987, 41703171931935926452555486382376347,
41703171931935926452555623821329819, 636339903746580926630798148997,
162903015359124712687530482451853, 162903015359124712687667921405325,
41703171931935926448034225849484687, 41703171931935926448034363288438159,
162903015359124712722714854540685, 162903015359124712722852293494157,
41703171931935926457041425104225679, 41703171931935926457041562543179151,
162903015359124712687530482451861, 162903015359124712687667921405333,
41703171931935926448034225849484695, 41703171931935926448034363288438167,
162903015359124712722714854540693, 162903015359124712722852293494165,
41703171931935926457041425104225687, 41703171931935926457041562543179159,
41703171931935926452520233290810781, 41703171931935926452520370729764253,
10676012014575597171845206144789366175,
10676012014575597171845206282228319647, 41703171931935926452555417662899613,
41703171931935926452555555101853085, 10676012014575597171854213344044107167,
10676012014575597171854213481483060639, 636339903746580926562078672261,
162903015359124712687599201928589, 41703171931935926448034294568961423,
41703171931935926448034432007914895, 162903015359124712722783574017421,
162903015359124712722921012970893, 41703171931935926457041493823702415,
41703171931935926457041631262655887, 162903015359124712687599201928597,
162903015359124712687736640882069, 41703171931935926448034294568961431,
41703171931935926448034432007914903, 162903015359124712722783574017429,
162903015359124712722921012970901, 41703171931935926457041493823702423,
41703171931935926457041631262655895, 41703171931935926452520302010287517,
41703171931935926452520439449240989, 10676012014575597171845206213508842911,
10676012014575597171845206350947796383, 41703171931935926452555486382376349,
41703171931935926452555623821329821, 10676012014575597171854213412763583903,
10676012014575597171854213550202537375, 162903015359124717191130109822343,
41703171931935926448016633663440271, 41703171931935926448051818035529103,
41703171931935926457023832918181263, 41703171931935926457023970357134735,
41703171931935926457059017290270095, 41703171931935926457059154729223567,
41703171931935926448016633663440279, 41703171931935926448016771102393751,
41703171931935926448051818035529111, 41703171931935926448051955474482583,
41703171931935926457023832918181271, 41703171931935926457023970357134743,
41703171931935926457059017290270103, 41703171931935926457059154729223575,
10676012014575597171845188552603321759,
10676012014575597171845188690042275231,
10676012014575597171845223736975410591,
10676012014575597171845223874414364063,
10676012014575597171854195751858062751,
10676012014575597171854195889297016223,
10676012014575597171854230936230151583,
10676012014575597171854231073669105055, 162903015359124717191336268252551,
41703171931935926448051886755005839, 41703171931935926457023901637657999,
41703171931935926457024039076611471, 41703171931935926457059086009746831,
41703171931935926457059223448700303, 41703171931935926448016702382917015,
41703171931935926448016839821870487, 41703171931935926448051886755005847,
41703171931935926448052024193959319, 41703171931935926457023901637658007,
41703171931935926457024039076611479, 41703171931935926457059086009746839,
41703171931935926457059223448700311, 10676012014575597171845188621322798495,
10676012014575597171845188758761751967,
10676012014575597171845223805694887327,
10676012014575597171845223943133840799,
10676012014575597171854195820577539487,
10676012014575597171854195958016492959,
10676012014575597171854231004949628319,
10676012014575597171854231142388581791, 162903015359124708201523041125773,
162903015359124708201660480079245, 41703171931935925299616320870008207,
41703171931935925299616458308961679, 162903015359124717208722295866765,
162903015359124717208859734820237, 41703171931935927605459330083702159,
41703171931935927605459467522655631, 162903015359124712687530482451865,
162903015359124712687667921405337, 41703171931935926448034225849484699,
41703171931935926448034363288438171, 41703171931935926448034225849484701,
41703171931935926448034363288438173, 10676012014575597170696788239809889695,
10676012014575597170696788377248843167, 162903015359124712722714854540697,
162903015359124712722852293494169, 41703171931935926457041425104225691,
41703171931935926457041562543179163, 41703171931935926457041425104225693,
41703171931935926457041562543179165, 10676012014575597173002631249023583647,
10676012014575597173002631386462537119, 162903015359124708201591760602509,
162903015359124708201729199555981, 41703171931935925299616527028438415,
162903015359124717208791015343501, 162903015359124717208928454296973,
41703171931935927605459398803178895, 41703171931935927605459536242132367,
162903015359124712687599201928601, 162903015359124712687736640882073,
41703171931935926448034294568961435, 41703171931935926448034432007914907,
41703171931935926448034294568961437, 41703171931935926448034432007914909,
10676012014575597170696788308529366431,
10676012014575597170696788445968319903, 162903015359124712722783574017433,
162903015359124712722921012970905, 41703171931935926457041493823702427,
41703171931935926457041631262655899, 41703171931935926457041493823702429,
41703171931935926457041631262655901, 10676012014575597173002631317743060383,
10676012014575597173002631455182013855, 41703171931935925299598866122917263,
41703171931935925299634050495006095, 41703171931935927605441737897657743,
41703171931935927605441875336611215, 41703171931935927605476922269746575,
41703171931935927605477059708700047, 41703171931935926448016633663440283,
41703171931935926448016771102393755, 41703171931935926448051818035529115,
41703171931935926448051955474482587, 10676012014575597170696770647623845279,
10676012014575597170696770785062798751,
10676012014575597170696805831995934111,
10676012014575597170696805969434887583, 41703171931935926457023832918181275,
41703171931935926457023970357134747, 41703171931935926457059017290270107,
41703171931935926457059154729223579, 10676012014575597173002613656837539231,
10676012014575597173002613794276492703,
10676012014575597173002648841209628063,
10676012014575597173002648978648581535, 41703171931935925299598934842393999,
41703171931935927605441806617134479, 41703171931935927605441944056087951,
41703171931935927605476990989223311, 41703171931935927605477128428176783,
41703171931935926448016702382917019, 41703171931935926448016839821870491,
41703171931935926448051886755005851, 41703171931935926448052024193959323,
10676012014575597170696770716343322015,
10676012014575597170696770853782275487,
10676012014575597170696805900715410847,
10676012014575597170696806038154364319, 41703171931935926457023901637658011,
41703171931935926457024039076611483, 41703171931935926457059086009746843,
41703171931935926457059223448700315, 10676012014575597173002613725557015967,
10676012014575597173002613862995969439,
10676012014575597173002648909929104799,
10676012014575597173002649047368058271, 162903015359124717226451920864653,
41703171931935927609962929711072655, 41703171931935926448016633663440285,
41703171931935926448016771102393757, 10676012014575597170692284640182519199,
10676012014575597170692284777621472671, 41703171931935926448051818035529117,
41703171931935926448051955474482589, 10676012014575597170701291839437260191,
10676012014575597170701291976876213663, 41703171931935926457023832918181277,
41703171931935926457023970357134749, 10676012014575597172998127649396213151,
10676012014575597172998127786835166623, 41703171931935926457059017290270109,
41703171931935926457059154729223581, 10676012014575597173007134848650954143,
10676012014575597173007134986089907615, 162903015359124717226383201387917,
41703171931935926448016702382917021, 41703171931935926448016839821870493,
10676012014575597170692284708901995935,
10676012014575597170692284846340949407, 41703171931935926448051886755005853,
41703171931935926448052024193959325, 10676012014575597170701291908156736927,
10676012014575597170701292045595690399, 41703171931935926457023901637658013,
41703171931935926457024039076611485, 10676012014575597172998127718115689887,
10676012014575597172998127855554643359, 41703171931935926457059086009746845,
41703171931935926457059223448700317, 10676012014575597173007134917370430879,
10676012014575597173007135054809384351,
10676012014575597170692267047996474783,
10676012014575597170692267185435428255,
10676012014575597170692302232368563615,
10676012014575597170692302369807517087,
10676012014575597170701274247251215775,
10676012014575597170701274384690169247,
10676012014575597170701309431623304607,
10676012014575597170701309569062258079,
10676012014575597172998110057210168735,
10676012014575597172998110194649122207,
10676012014575597172998145241582257567,
10676012014575597172998145379021211039,
10676012014575597173007117256464909727,
10676012014575597173007117393903863199,
10676012014575597173007152440836998559,
10676012014575597173007152578275952031,
10676012014575597170692267116715951519,
10676012014575597170692267254154904991,
10676012014575597170692302301088040351,
10676012014575597170692302438526993823,
10676012014575597170701274315970692511,
10676012014575597170701274453409645983,
10676012014575597170701309500342781343,
10676012014575597170701309637781734815,
10676012014575597172998110125929645471,
10676012014575597172998110263368598943,
10676012014575597172998145310301734303,
10676012014575597172998145447740687775,
10676012014575597173007117325184386463,
10676012014575597173007117462623339935,
10676012014575597173007152509556475295,
10676012014575597173007152646995428767, 636339903746580926630798149009,
162903015359124717208722295866771, 162903015359124717208722295866773,
162903015359124717208859734820245, 41703171931935927605459330083702167,
41703171931935927605459467522655639, 162903015359124717208722295866777,
162903015359124717208859734820249, 41703171931935927605459330083702171,
41703171931935927605459467522655643, 41703171931935927605459330083702173,
41703171931935927605459467522655645, 10676012014575597466997614923769562527,
10676012014575597466997615061208515999, 636339903746580926562078672273,
162903015359124717208928454296979, 162903015359124717208791015343509,
162903015359124717208928454296981, 41703171931935927605459398803178903,
41703171931935927605459536242132375, 162903015359124717208791015343513,
162903015359124717208928454296985, 41703171931935927605459398803178907,
41703171931935927605459536242132379, 41703171931935927605459398803178909,
41703171931935927605459536242132381, 10676012014575597466997615129927992735,
162903015359124717191130109822355, 162903015359124717226451920864659,
41703171931935927605441737897657751, 41703171931935927605441875336611223,
41703171931935927605476922269746583, 41703171931935927605477059708700055,
41703171931935927605441737897657755, 41703171931935927605441875336611227,
41703171931935927605476922269746587, 41703171931935927605477059708700059,
10676012014575597466997597469022471583,
10676012014575597466997632653394560415, 41703171931935927605441806617134487,
41703171931935927605441944056087959, 41703171931935927605476990989223319,
41703171931935927605477128428176791, 41703171931935927605441806617134491,
41703171931935927605441944056087963, 41703171931935927605476990989223323,
41703171931935927605477128428176795, 10676012014575597466997597537741948319,
162903015359124717191130109822357, 162903015359124717191267548775829,
41703171931935927600955730456331671, 41703171931935927600955867895285143,
162903015359124717226451920864661, 41703171931935927609962929711072663,
41703171931935927605441737897657757, 41703171931935927605441875336611229,
10676012014575597466993111324142192031,
10676012014575597466993111461581145503, 162903015359124717191198829299093,
162903015359124717191336268252565, 41703171931935927600955799175808407,
41703171931935927600955936614761879, 162903015359124717226383201387925,
41703171931935927605441806617134493, 41703171931935927605441944056087965,
10676012014575597466993111392861668767,
10676012014575597466993111530300622239, 41703171931935927600938138270287255,
41703171931935927600938275709240727, 41703171931935927600973322642376087,
41703171931935927600973460081329559, 41703171931935927609945337525028247,
10676012014575597466993093731956147615,
10676012014575597466993093869395101087,
10676012014575597466993128916328236447,
10676012014575597466993129053767189919, 41703171931935927600938206989763991,
41703171931935927600938344428717463, 41703171931935927600973391361852823,
41703171931935927600973528800806295, 10676012014575597466993093800675624351,
10676012014575597466993093938114577823,
10676012014575597466993128985047713183,
10676012014575597466993129122486666655, 162903015359124717191130109822361,
162903015359124717191267548775833, 41703171931935927600955730456331675,
41703171931935927600955867895285147, 162903015359124717191198829299097,
162903015359124717191336268252569, 41703171931935927600955799175808411,
41703171931935927600955936614761883, 41703171931935927600938138270287259,
41703171931935927600938275709240731, 41703171931935927600973322642376091,
41703171931935927600973460081329563, 41703171931935927600938206989763995,
41703171931935927600938344428717467, 41703171931935927600973391361852827,
41703171931935927600973528800806299, 41703171931935927600938138270287261,
41703171931935927600938275709240733, 10676012014575597465840189819535345055,
10676012014575597465840189956974298527, 41703171931935927600938206989763997,
10676012014575597465840189888254821791,
10676012014575597465840190025693775263,
10676012014575597465840172227349300639,
10676012014575597465840207411721389471,
10676012014575597465840207480440866207, 2485702749010081572182934916,
636339903746580882615973299589, 636339903746580908901173151116,
162903015359124712678837468644749, 162903015359124712678837468644750,
41703171931935926445782529115014543, 636339903746580909038612104588,
162903015359124712714021840733581, 162903015359124712714021840733582,
41703171931935926454789728369755535, 636339903746580908901173151124,
162903015359124712678837468644757, 162903015359124712678837468644758,
41703171931935926445782529115014551, 162903015359124712705122668496284,
41703171931935926452511540277003677, 41703171931935926452511540277003678,
10676012014575597171842954448054896031, 636339903746580882547253822853,
162903015359124705949895026132359, 162903015359124712678768749168013,
162903015359124712678906188121485, 41703171931935926445782460395537807,
41703171931935926445782597834491279, 162903015359124712713953121256845,
162903015359124712714090560210317, 41703171931935926454789659650278799,
41703171931935926454789797089232271, 162903015359124712678768749168021,
162903015359124712678906188121493, 41703171931935926445782460395537815,
41703171931935926445782597834491287, 162903015359124712713953121256853,
162903015359124712714090560210325, 41703171931935926454789659650278807,
41703171931935926454789797089232279, 41703171931935926452511471557526941,
41703171931935926452511608996480413, 10676012014575597171842954379335419295,
10676012014575597171842954516774372767, 41703171931935926452546655929615773,
41703171931935926452546793368569245, 10676012014575597171851961578590160287,
10676012014575597171851961716029113759, 636339903746580882547253822854,
162903015359124705932234120611207, 636339903746580882684692776326,
162903015359124705967418492700039, 162903015359124712678768749168014,
41703171931935926445764936928970127, 162903015359124712678906188121486,
41703171931935926445800121301058959, 162903015359124712713953121256846,
41703171931935926454772136183711119, 162903015359124712714090560210318,
41703171931935926454807320555799951, 162903015359124712678768749168022,
41703171931935926445764936928970135, 162903015359124712678906188121494,
41703171931935926445800121301058967, 162903015359124712713953121256854,
41703171931935926454772136183711127, 162903015359124712714090560210326,
41703171931935926454807320555799959, 41703171931935926452511471557526942,
10676012014575597171842936855868851615, 41703171931935926452511608996480414,
10676012014575597171842972040240940447, 41703171931935926452546655929615774,
10676012014575597171851944055123592607, 41703171931935926452546793368569246,
10676012014575597171851979239495681439, 41703171931935926445764868209493391,
41703171931935926445765005648446863, 41703171931935926445800052581582223,
41703171931935926445800190020535695, 41703171931935926454772067464234383,
41703171931935926454772204903187855, 41703171931935926454807251836323215,
41703171931935926454807389275276687, 41703171931935926445764868209493399,
41703171931935926445765005648446871, 41703171931935926445800052581582231,
41703171931935926445800190020535703, 10676012014575597171842936787149374879,
10676012014575597171842936924588328351,
10676012014575597171842971971521463711,
10676012014575597171842972108960417183, 636339903746580891308987106700,
162903015359124708175237841274253, 162903015359124708175237841274254,
41703171931935925292861024508167567, 636339903746580926493359195532,
162903015359124717182437096015245, 162903015359124717182437096015246,
41703171931935927598704033721861519, 162903015359124712687530482451868,
41703171931935926448007940649633181, 41703171931935926448007940649633182,
10676012014575597170690032943448049055, 162903015359124712687667921405340,
41703171931935926448043125021722013, 41703171931935926448043125021722014,
10676012014575597170699040142702790047, 162903015359124712722714854540700,
41703171931935926457015139904374173, 41703171931935926457015139904374174,
10676012014575597172995875952661743007, 162903015359124712722852293494172,
41703171931935926457050324276463005, 41703171931935926457050324276463006,
10676012014575597173004883151916483999, 162903015359124708175169121797517,
41703171931935925292861093227644303, 162903015359124717182368376538509,
162903015359124717182505815491981, 41703171931935927598703965002384783,
41703171931935927598704102441338255, 41703171931935926448007871930156445,
41703171931935926448008009369109917, 10676012014575597170690032874728572319,
10676012014575597170690033012167525791, 41703171931935926448043056302245277,
41703171931935926448043193741198749, 10676012014575597170699040073983313311,
10676012014575597170699040211422266783, 41703171931935926457015071184897437,
41703171931935926457015208623850909, 10676012014575597172995875883942266271,
10676012014575597172995876021381219743, 41703171931935926457050255556986269,
41703171931935926457050392995939741, 10676012014575597173004883083197007263,
10676012014575597173004883220635960735, 162903015359124708175169121797518,
41703171931935925292843432322123151, 162903015359124708175306560750990,
41703171931935925292878616694211983, 162903015359124717182368376538510,
41703171931935927598721625907905935, 41703171931935926448007871930156446,
10676012014575597170690015351262004639, 41703171931935926448008009369109918,
10676012014575597170690050535634093471, 41703171931935926448043056302245278,
10676012014575597170699022550516745631, 41703171931935926448043193741198750,
10676012014575597170699057734888834463, 41703171931935926457015071184897438,
10676012014575597172995858360475698591, 41703171931935926457015208623850910,
10676012014575597172995893544847787423, 41703171931935926457050255556986270,
10676012014575597173004865559730439583, 41703171931935926457050392995939742,
10676012014575597173004900744102528415, 41703171931935925292843363602646415,
41703171931935925292878685413688719, 41703171931935927598686510255293839,
41703171931935927598721557188429199, 10676012014575597170690015282542527903,
10676012014575597170690015419981481375,
10676012014575597170690050466914616735,
10676012014575597170690050604353570207,
10676012014575597170699022481797268895,
10676012014575597170699022619236222367,
10676012014575597170699057666169357727,
10676012014575597170699057803608311199,
10676012014575597172995858291756221855,
10676012014575597172995858429195175327,
10676012014575597172995893476128310687,
10676012014575597172995893613567264159,
10676012014575597173004865491010962847,
10676012014575597173004865628449916319,
10676012014575597173004900675383051679,
10676012014575597173004900812822005151, 636339903746580926699517625740,
162903015359124717235213654148493, 162903015359124717235213654148494,
162903015359124712687599201928604, 41703171931935926448025532835677597,
41703171931935926448025532835677598, 10676012014575597170694536543075419551,
162903015359124712687736640882076, 41703171931935926448060717207766429,
41703171931935926448060717207766430, 10676012014575597170703543742330160543,
162903015359124712722783574017436, 41703171931935926457032732090418589,
41703171931935926457032732090418590, 10676012014575597173000379552289113503,
162903015359124712722921012970908, 41703171931935926457067916462507421,
41703171931935926457067916462507422, 10676012014575597173009386751543854495,
162903015359124708192898746795405, 41703171931935925297364555416061327,
162903015359124717235144934671757, 162903015359124717235282373625229,
41703171931935927612214901323449743, 41703171931935926448025464116200861,
41703171931935926448025601555154333, 10676012014575597170694536474355942815,
10676012014575597170694536611794896287, 41703171931935926448060648488289693,
41703171931935926448060785927243165, 10676012014575597170703543673610683807,
10676012014575597170703543811049637279, 41703171931935926457032663370941853,
41703171931935926457032800809895325, 10676012014575597173000379483569636767,
10676012014575597173000379621008590239, 41703171931935926457067847743030685,
41703171931935926457067985181984157, 10676012014575597173009386682824377759,
10676012014575597173009386820263331231, 41703171931935925297347031949493647,
162903015359124708192898746795406, 162903015359124717235144934671758,
41703171931935927612232424790017423, 41703171931935926448025464116200862,
10676012014575597170694518950889375135, 41703171931935926448025601555154334,
10676012014575597170694554135261463967, 41703171931935926448060648488289694,
10676012014575597170703526150144116127, 41703171931935926448060785927243166,
10676012014575597170703561334516204959, 41703171931935926457032663370941854,
10676012014575597173000361960103069087, 41703171931935926457032800809895326,
10676012014575597173000397144475157919, 41703171931935926457067847743030686,
10676012014575597173009369159357810079, 41703171931935926457067985181984158,
10676012014575597173009404343729898911,
10676012014575597170694518882169898399,
10676012014575597170694519019608851871,
10676012014575597170694554066541987231,
10676012014575597170694554203980940703,
10676012014575597170703526081424639391,
10676012014575597170703526218863592863,
10676012014575597170703561265796728223,
10676012014575597170703561403235681695,
10676012014575597173000361891383592351,
10676012014575597173000362028822545823,
10676012014575597173000397075755681183,
10676012014575597173000397213194634655,
10676012014575597173009369090638333343,
10676012014575597173009369228077286815,
10676012014575597173009404275010422175,
10676012014575597173009404412449375647, 636339903746580891308987106708,
162903015359124708175237841274261, 162903015359124708175237841274262,
41703171931935925292861024508167575, 162903015359124708201523041125788,
41703171931935925299590035670156701, 41703171931935925299590035670156702,
10676012014575596876695049268702070175, 162903015359124708201660480079260,
10676012014575596876704056467956811167, 636339903746580926493359195540,
162903015359124717182437096015253, 162903015359124717182437096015254,
41703171931935927598704033721861527, 162903015359124717208722295866780,
41703171931935927605433044883850653, 41703171931935927605433044883850654,
10676012014575597466990859627407721887, 162903015359124717208859734820252,
41703171931935927605468229255939485, 41703171931935927605468229255939486,
10676012014575597466999866826662462879, 162903015359124708175169121797525,
162903015359124708175306560750997, 41703171931935925292860955788690839,
41703171931935925292861093227644311, 41703171931935925299589966950679965,
41703171931935925299590104389633437, 10676012014575596876695049199982593439,
10676012014575596876695049337421546911, 41703171931935925299625151322768797,
10676012014575596876704056536676287903, 162903015359124717182368376538517,
162903015359124717182505815491989, 41703171931935927598703965002384791,
41703171931935927598704102441338263, 41703171931935927605432976164373917,
41703171931935927605433113603327389, 10676012014575597466990859558688245151,
10676012014575597466990859696127198623, 41703171931935927605468160536462749,
41703171931935927605468297975416221, 10676012014575597466999866757942986143,
10676012014575597466999866895381939615, 162903015359124708175169121797526,
41703171931935925292843432322123159, 162903015359124708175306560750998,
41703171931935925292878616694211991, 41703171931935925299589966950679966,
10676012014575596876695031676516025759, 41703171931935925299590104389633438,
10676012014575596876695066860888114591, 41703171931935925299625151322768798,
10676012014575596876704074060142855583, 162903015359124717182368376538518,
41703171931935927598686441535817111, 162903015359124717182505815491990,
41703171931935927598721625907905943, 41703171931935927605432976164373918,
10676012014575597466990842035221677471, 41703171931935927605433113603327390,
10676012014575597466990877219593766303, 41703171931935927605468160536462750,
10676012014575597466999849234476418463, 41703171931935927605468297975416222,
10676012014575597466999884418848507295, 41703171931935925292843363602646423,
41703171931935925292843501041599895, 41703171931935925292878547974735255,
41703171931935925292878685413688727, 10676012014575596876695031607796549023,
10676012014575596876695031745235502495,
10676012014575596876695066792168637855,
10676012014575596876695066929607591327,
10676012014575596876704038807051290015,
10676012014575596876704074128862332319, 41703171931935927598686372816340375,
41703171931935927598686510255293847, 41703171931935927598721557188429207,
41703171931935927598721694627382679, 10676012014575597466990841966502200735,
10676012014575597466990842103941154207,
10676012014575597466990877150874289567,
10676012014575597466990877288313243039,
10676012014575597466999849165756941727,
10676012014575597466999849303195895199,
10676012014575597466999884350129030559,
10676012014575597466999884487567984031, 636339903746580891377706583444,
162903015359124708192830027318677, 162903015359124708192830027318678,
41703171931935925297364624135538071, 162903015359124708201591760602524,
41703171931935925299607627856201117, 41703171931935925299607627856201118,
10676012014575596876699552868329440671, 162903015359124708201729199555996,
10676012014575596876708560067584181663, 636339903746580926699517625748,
162903015359124717235213654148501, 162903015359124717235213654148502,
41703171931935927612214832603973015, 162903015359124717208791015343516,
41703171931935927605450637069895069, 41703171931935927605450637069895070,
10676012014575597466995363227035092383, 162903015359124717208928454296988,
41703171931935927605485821441983901, 41703171931935927605485821441983902,
10676012014575597467004370426289833375, 162903015359124708192761307841941,
162903015359124708192898746795413, 41703171931935925297364555416061335,
41703171931935925297364692855014807, 41703171931935925299607559136724381,
41703171931935925299607696575677853, 10676012014575596876699552799609963935,
10676012014575596876699552937048917407, 41703171931935925299642743508813213,
10676012014575596876708560136303658399, 162903015359124717235144934671765,
162903015359124717235282373625237, 41703171931935927612214763884496279,
41703171931935927612214901323449751, 41703171931935927605450568350418333,
41703171931935927605450705789371805, 10676012014575597466995363158315615647,
10676012014575597466995363295754569119, 41703171931935927605485752722507165,
41703171931935927605485890161460637, 10676012014575597467004370357570356639,
10676012014575597467004370495009310111, 162903015359124708192761307841942,
41703171931935925297347031949493655, 162903015359124708192898746795414,
41703171931935925297382216321582487, 41703171931935925299607559136724382,
10676012014575596876699535276143396255, 41703171931935925299607696575677854,
10676012014575596876699570460515485087, 41703171931935925299642743508813214,
10676012014575596876708577659770226079, 162903015359124717235144934671766,
41703171931935927612197240417928599, 162903015359124717235282373625238,
41703171931935927612232424790017431, 10676012014575597466995345634849047967,
41703171931935927605450705789371806, 41703171931935927605485752722507166,
10676012014575597467004352834103788959, 41703171931935927605485890161460638,
10676012014575597467004388018475877791, 41703171931935925297346963230016919,
41703171931935925297347100668970391, 41703171931935925297382147602105751,
41703171931935925297382285041059223, 10676012014575596876699535207423919519,
10676012014575596876699535344862872991,
10676012014575596876699570391796008351,
10676012014575596876699570529234961823,
10676012014575596876708542406678660511,
10676012014575596876708577728489702815, 41703171931935927612197171698451863,
41703171931935927612197309137405335, 41703171931935927612232356070540695,
41703171931935927612232493509494167, 10676012014575597466995345566129571231,
10676012014575597466995345703568524703,
10676012014575597466995380750501660063,
10676012014575597466995380887940613535,
10676012014575597467004352765384312223,
10676012014575597467004352902823265695,
10676012014575597467004387949756401055,
10676012014575597467004388087195354527, 162903015359124708183930855081372,
10676012014575596875542127764095223199, 162903015359124708219115227170204,
41703171931935925304093635297527197, 41703171931935925304093635297527198,
10676012014575596877847970773308917151, 162903015359124708219252666123676,
10676012014575596877856977972563658143, 162903015359124717191130109822364,
41703171931935927600929445256480157, 41703171931935927600929445256480158,
10676012014575597465837938122800874911, 162903015359124717191267548775836,
41703171931935927600964629628568989, 41703171931935927600964629628568990,
10676012014575597465846945322055615903, 41703171931935927609936644511221149,
41703171931935927609936644511221150, 41703171931935925295086367323309469,
10676012014575596875542127832814699935, 41703171931935925304093566578050461,
41703171931935925304093704017003933, 10676012014575596877847970704589440415,
10676012014575596877847970842028393887, 41703171931935925304128750950139293,
10676012014575596877856978041283134879, 41703171931935927600929376537003421,
41703171931935927600929513975956893, 10676012014575597465837938054081398175,
10676012014575597465837938191520351647, 41703171931935927600964560909092253,
41703171931935927600964698348045725, 10676012014575597465846945253336139167,
10676012014575597465846945390775092639, 41703171931935927609936575791744413,
10676012014575597468143781200734045599, 41703171931935925295086367323309470,
10676012014575596875542145356281267615, 41703171931935925304093566578050462,
10676012014575596877847953181122872735, 41703171931935925304093704017003934,
10676012014575596877847988365494961567, 41703171931935925304128750950139294,
10676012014575596877856995564749702559, 41703171931935927600929376537003422,
10676012014575597465837920530614830495, 41703171931935927600929513975956894,
10676012014575597465837955714986919327,
10676012014575597465846927729869571487, 41703171931935927600964698348045726,
41703171931935927609936575791744414, 10676012014575597468143798724200613279,
10676012014575596875542110103189702047,
10676012014575596875542145425000744351,
10676012014575596877847953112403395999,
10676012014575596877847953249842349471,
10676012014575596877847988296775484831,
10676012014575596877847988434214438303,
10676012014575596877856960311658136991,
10676012014575596877856995633469179295,
10676012014575597465837920461895353759,
10676012014575597465837920599334307231,
10676012014575597465837955646267442591,
10676012014575597465837955783706396063,
10676012014575597465846927661150094751,
10676012014575597465846927798589048223,
10676012014575597465846962845522183583,
10676012014575597465846962982961137055,
10676012014575597468143763608548001183,
10676012014575597468143798655481136543, 162903015359124708183999574558108,
10676012014575596875546631363722593695, 162903015359124708219183946646940,
41703171931935925304111227483571613, 41703171931935925304111227483571614,
10676012014575596877852474372936287647, 162903015359124708219321385600412,
10676012014575596877861481572191028639, 162903015359124717191198829299100,
10676012014575597465842441722428245407, 162903015359124717191336268252572,
41703171931935927600982221814613405, 41703171931935927600982221814613406,
10676012014575597465851448921682986399, 41703171931935927609989421069354397,
41703171931935927609989421069354398, 41703171931935925295103959509353885,
10676012014575596875546631432442070431, 41703171931935925304111158764094877,
41703171931935925304111296203048349, 10676012014575596877852474304216810911,
10676012014575596877852474441655764383, 41703171931935925304146343136183709,
10676012014575596877861481640910505375, 41703171931935927600947106162001309,
10676012014575597465842441653708768671, 41703171931935927600982153095136669,
41703171931935927600982290534090141, 10676012014575597465851448852963509663,
10676012014575597465851448990402463135, 41703171931935927609989352349877661,
10676012014575597468157291999616157087, 41703171931935925295103959509353886,
10676012014575596875546648955908638111, 41703171931935925304111158764094878,
10676012014575596877852456780750243231, 41703171931935925304111296203048350,
10676012014575596877852491965122332063, 41703171931935925304146343136183710,
10676012014575596877861499164377073055,
10676012014575597465842424130242200991, 41703171931935927600947106162001310,
41703171931935927600982153095136670, 10676012014575597465851431329496941983,
41703171931935927600982290534090142, 10676012014575597465851466513869030815,
41703171931935927609989352349877662, 10676012014575597468157309523082724767,
10676012014575596875546613702817072543,
10676012014575596875546649024628114847,
10676012014575596877852456712030766495,
10676012014575596877852456849469719967,
10676012014575596877852491896402855327,
10676012014575596877852492033841808799,
10676012014575596877861463911285507487,
10676012014575596877861499233096549791,
10676012014575597465842424061522724255,
10676012014575597465842459383333766559,
10676012014575597465851431260777465247,
10676012014575597465851431398216418719,
10676012014575597465851466445149554079,
10676012014575597465851466582588507551,
10676012014575597468157274407430112671,
10676012014575597468157309454363248031, 162903015359124712678734389429645,
162903015359124712678871828383117, 41703171931935926445782426035799439,
41703171931935926445782563474752911, 162903015359124712714056200471949,
41703171931935926454789625290540431, 162903015359124712678734389429653,
162903015359124712678871828383125, 41703171931935926445782426035799447,
41703171931935926445782563474752919, 41703171931935926452511437197788573,
41703171931935926452511574636742045, 10676012014575597171842954344975680927,
10676012014575597171842954482414634399, 41703171931935926445764902569231759,
41703171931935926445765040008185231, 41703171931935926445800086941320591,
41703171931935926445800224380274063, 41703171931935926454772239262926223,
41703171931935926454807286196061583, 41703171931935926445764902569231767,
41703171931935926445765040008185239, 41703171931935926445800086941320599,
41703171931935926445800224380274071, 10676012014575597171842936821509113247,
10676012014575597171842936958948066719,
10676012014575597171842972005881202079,
10676012014575597171842972143320155551, 162903015359124708175272201012621,
41703171931935925292860921428952463, 162903015359124717182334016800141,
41703171931935927598704068081599887, 41703171931935926448007837570418077,
41703171931935926448007975009371549, 10676012014575597170690032840368833951,
10676012014575597170690032977807787423, 41703171931935926448043021942506909,
41703171931935926448043159381460381, 10676012014575597170699040039623574943,
10676012014575597170699040177062528415, 41703171931935926457015036825159069,
41703171931935926457015174264112541, 10676012014575597172995875849582527903,
10676012014575597172995875987021481375, 41703171931935926457050221197247901,
41703171931935926457050358636201373, 10676012014575597173004883048837268895,
10676012014575597173004883186276222367, 162903015359124717182540175230349,
41703171931935927598703999362123151, 41703171931935926448007906289894813,
41703171931935926448008043728848285, 10676012014575597170690032909088310687,
10676012014575597170690033046527264159, 41703171931935926448043090661983645,
41703171931935926448043228100937117, 10676012014575597170699040108343051679,
10676012014575597170699040245782005151, 41703171931935926457015105544635805,
41703171931935926457015242983589277, 10676012014575597172995875918302004639,
10676012014575597172995876055740958111, 41703171931935926457050289916724637,
41703171931935926457050427355678109, 10676012014575597173004883117556745631,
10676012014575597173004883254995699103, 41703171931935925292843466681861519 ]
;