-
Notifications
You must be signed in to change notification settings - Fork 0
/
sigma_factors_of_a(17).sf
5 lines (3 loc) · 27.6 KB
/
sigma_factors_of_a(17).sf
1
2
3
4
5
#!/usr/bin/ruby
var f = [2210, 10610, 22802, 36482, 44522, 73442, 109562, 143642, 146690, 208850, 237170, 241082, 271442, 299210, 410882, 413450, 458330, 477482, 537290, 564002, 573050, 635210, 657722, 687242, 727610, 779690, 863042, 885482, 935090, 994010, 1018082, 1026170, 1067090, 1100402, 1142762, 1181570, 1203410, 1423250, 1481090, 1510442, 1630730, 1666682, 1682210, 1692602, 1745042, 1907162, 2042042, 2247002, 2399402, 2588882, 2627642, 2679770, 2785562, 2866250, 2920682, 2961842, 3003290, 3073010, 3094082, 3200522, 3352562, 3420651, 3523130, 3568322, 3659570, 4012010, 4068290, 4280762, 4338890, 4464770, 4566770, 4592450, 4669922, 4932842, 5148362, 5166530, 5340722, 5555450, 5812922, 6115730, 6135530, 6265010, 6497402, 6507602, 6538250, 6806882, 6848690, 6869642, 6932690, 7059650, 7778522, 7823210, 8048570, 8185322, 9066122, 10042562, 10582010, 10975970, 11042330, 11485322, 11785490, 11895602, 12033962, 12752042, 13756682, 13935290, 14145122, 14600042, 14845610, 15062162, 15124322, 16104170, 16589330, 17081690, 17447330, 18088010, 19545242, 19562930, 19864850, 20187050, 21687650, 21836930, 22287842, 22934522, 22972850, 24098282, 24571850, 24990002, 25210442, 25416723, 25775930, 27008810, 27804530, 27888962, 32501402, 32959082, 34351322, 34586162, 36348842, 36445370, 37222202, 37466642, 38105930, 38576522, 38700842, 39400730, 40233650, 40360610, 41847962, 42627842, 43256930, 44528930, 44903402, 45711122, 48678530, 49014002, 49801250, 51509330, 52606010, 54007802, 54302162, 54656450, 55636682, 56085122, 56806370, 57410930, 65108762, 65431922, 65626202, 65885690, 68277170, 69772610, 71588522, 73633562, 74459642, 75359762, 79941482, 81018002, 81739682, 84805682, 85692050, 86359850, 87928130, 88755242, 89510522, 92717642, 94497842, 99341090, 100741370, 102677690, 103897250, 106770890, 109265210, 109767530, 116014442, 117787610, 120055850, 126720050, 126810122, 135885650, 136913402, 140019890, 150724730, 156325010, 175324082, 180123242, 183683810, 185858690, 189420170, 190136522, 193571570, 196925090, 203946962, 211208090, 219958562, 234487970, 235960322, 237190802, 237560570, 242393762, 247527290, 252206162, 252841802, 265722602, 267289802, 267682322, 268337162, 269649242, 277588922, 290123090, 320732282, 333318050, 339775490, 351525002, 356039162, 357701570, 367987490, 377019890, 377952482, 379041962, 380289002, 392079602, 394459322, 405901610, 415711322, 441042002, 444745922, 468679202, 478778162, 504855962, 506295002, 535043162, 538100810, 538286402, 556629650, 569156450, 581243882, 589566962, 591900242, 603734042, 619462322, 659102930, 675844010, 676884290, 691532210, 770007002, 808208042, 870309002, 881080490, 892874162, 895266242, 957345482, 976500002, 996854330, 1043871482, 1108956602, 1114958882, 1121781050, 1142237210, 1203604250, 1239110402, 1251815162, 1268570690, 1351812290, 1392857042, 1435576322, 1449248762, 1464822530, 1514532890, 1578711290, 1590175130, 1690278770, 1800559490, 1911525842, 1944898202, 1953728402, 1960806962, 1992104690, 2007846482, 2026170170, 2086022930, 2100663890, 2140080122, 2199703802, 2236627850, 2455103402, 2475759050, 2509308650, 2734139522, 2784567362, 2876498690, 3025990082, 3092360882, 3124474610, 3360868730, 3456146522, 3594841850, 3884156330, 4019179610, 4037458682, 4263175850, 4265265482, 4360885370, 4448489810, 5028653570, 5088396890, 5126130410, 5158256042, 5416518410, 5708860250, 5898393602, 6052373210, 6073552490, 6079164962, 6170573810, 6426747890, 6653501762, 6842763842, 6982440722, 7286500322, 7367990570, 7540664570, 7707610850, 7708313210, 7773772562, 7874965082, 8248454042, 8752163810, 8791125122, 9017591522, 9880558802, 9941884682, 9942682370, 10468768490, 10591085570, 10656639362, 10782122570, 10874526962, 11100940322, 11291400122, 11376568922, 11478336770, 11949331970, 11958953450, 13271270402, 13698595682, 14291963402, 14750831210, 15020218250, 15077138522, 15567303362, 15760040522, 15997443362, 16223881130, 16996076162, 17622297002, 18472343570, 19490672882, 20602870370, 21275431322, 22189379522, 22612039130, 22861742402, 26089033442, 26205458162, 26575846442, 26754163490, 27036896042, 27185744162, 27536415482, 28039167602, 28458677810, 29257760402, 29541703130, 31333602170, 32298200090, 32504123522, 32868602210, 33384040370, 34009629890, 34520525210, 34548772130, 36091260530, 41215902290, 41256515690, 45165387963, 45745082162, 46635698210, 52408487042, 52538599370, 53857877330, 56243442650, 56518881170, 57848427290, 60829809770, 62001747003, 62052304610, 67123223643, 68490553850, 70124865722, 71610295202, 77908532642, 78459301541, 83221287362, 84973999010, 85973863370, 95722790882, 95730216410, 96254752251, 97786918682, 98383222922, 104363240810, 104743496882, 105711467690, 108460224890, 117194621570, 122764042130, 123657370851, 125554709570, 128953528202, 136359594362, 142724528522, 144924495411, 146196875450, 152731674482, 153663216002, 160930147922, 162458169722, 168507787010, 168675311402, 176142214250, 181825061691, 186210373442, 188259664322, 193227938930, 193329934250, 194728920962, 197446033802, 197705618882, 198310793042, 212440793570, 213038556722, 213792490130, 219579399650, 241121263682, 242165362610, 242655745202, 243126411844, 247515205082, 257857793210, 294828366362, 299934761570, 305036394602, 306872789522, 320850874970, 326476247162, 327539880722, 332482551770, 332902458530, 339200243282, 348190865930, 348464715482, 357966479810, 363262960370, 366641149082, 376771309490, 384272290610, 440581320170, 444170264522, 454331943723, 470076155642, 482787339242, 483382296050, 483888575642, 487194228050, 528233879210, 539416068051, 562735524650, 570147316562, 585575422442, 591560187771, 593302008122, 602426674083, 619609845410, 636505582970, 676752199851, 694217240810, 704359026122, 714141614762, 742304588042, 808015816610, 824844495891, 838632861362, 845702783642, 849348403202, 857774197922, 911126566371, 987990276530, 1013769073322, 1035544358690, 1050463056242, 1061511908210, 1080396015242, 1086684280923, 1098297712010, 1131374722922, 1228907490722, 1264358566970, 1294982548730, 1334165913722, 1369716781802, 1397050716962, 1427187427851, 1473584771570, 1512608504043, 1514792331362, 1624710953523, 1698061791410, 1849591840010, 1988317145930, 2080522087203, 2120602900442, 2164928205531, 2296864522682, 2354042735522, 2401697167082, 2427952959722, 2433604680003, 2696351191250, 2760653694963, 3000728172122, 3044093241290, 3143149589450, 3145589563562, 3245766163202, 3271761057602, 3339350557322, 3360391260770, 3431094939363, 3596154700610, 3764379920402, 3795767682530, 4179371011202, 4216819126611, 4276777033370, 4363206591242, 4457205552891, 4599811010090, 4665085934162, 4791112477322, 4915627745763, 4945593329162, 4968661673451, 5709858399962, 5816825064291, 5850269325290, 5879815077890, 5910816101090, 6320462486810, 6385188233450, 6626407820762, 6643985673650, 7127773304522, 7145404801922, 7169397170330, 7212922733524, 7806106311482, 8034849445562, 8293302756291, 9187455059643, 9188034005330, 9715545618530, 9729414878402, 10209411677090, 10398890022362, 10520950690803, 10775942024930, 10924723836050, 11583410640482, 11808906815282, 11994595812363, 13671010789490, 13906790930762, 15248408016242, 16433853869162, 16647485297690, 18792580471682, 19403822370530, 19950453027650, 20671326044330, 21605772536402, 22855828723730, 25041712384731, 26071532148842, 26138484481562, 26410441313882, 26516248268450, 28915236989522, 30750052644530, 30987670155650, 31340212722290, 32960148834650, 34428694554410, 36338917943330, 36728848147490, 38774545140242, 39604982976002, 41351034447530, 42457487115482, 43684921834850, 45944388376442, 46904705387402, 47225497270562, 47311574912282, 54263804761610, 54983722840202, 55133015875922, 58453234486420, 75459260719442, 77037150880562, 78121150472690, 86607014951522, 87746140678682, 91282680314810, 94880096831523, 98914024475810, 105686151262130, 106420206744290, 107141524144562, 112547507363282, 113120177825210, 116792999740562, 124186975254242, 135689171396331, 151119152060810, 155098168107123, 160079417410251, 163833164871290, 163861735120802, 180626530629170, 185837449392842, 190146476788322, 190576175134490, 194088280444250, 226204517769410, 226985651677850, 228627494107490, 247236282615002, 256276842805202, 272113034230802, 273165297010370, 288875471417570, 292995146644202, 296468925102530, 320936225284250, 330309578685242, 335641489711442, 374699527122650, 378895704568564, 385048432267802, 406158156094421, 443023902785690, 447764940448850, 451735555384660, 459277345593050, 473204190108050, 490184957894642, 492315398336164, 571320973089363, 571554737798522, 589084790402762, 635644994424002, 677050886100603, 694787233639490, 742050342841202, 808454880422282, 840970362261122, 923343089406722, 924226455594650, 939215378717642, 955129965401330, 964619831330571, 987347677123922, 1001084094647570, 1012209559888082, 1027299998413442, 1053939410011490, 1413258385302242, 1532726375852451, 1620150165685922, 1634547462034370, 1733719796237522, 1803450930241250, 1971477306545042, 2154195623635970, 2167527897818090, 2354297242252202, 2725593089227370, 2740853047866650, 2768155443507170, 2843722108086722, 3031199362956242, 3290486349543122, 3301841565492410, 3515863464110090, 3774723319255730, 3851446206520442, 3874526795015810, 3885665814041882, 3915126474572020, 4117675063206770, 4633641028147610, 5444093560378202, 5574944804795810, 5578663171821602, 6493318350914642, 7343295904739090, 7608266392792130, 8129163342868130, 8711407571411163, 9260863618691162, 9328069009361042, 9454878007022810, 9490448506858490, 12289904457405123, 12745279444470050, 13925877915313850, 15256796867817650, 16524007529239082, 18657855544125122, 19126422272259482, 19819203521560250, 22474282053234002, 23780450532246770, 25071774584917684, 25286569440705170, 36154931260539002, 36525940469876882, 38928840398837042, 40552139122130690, 42482237752166810, 43010114987606403, 43978173792609170, 44714198604497042, 45450902628461930, 47124638791927204, 47371961936369091, 50800728507238731, 58970570593967762, 60078171379863122, 62290140959645042, 64083657262545002, 68753707042536962, 80521844815546370, 91516202218086051, 108262900005624962, 118919743770351242, 127021803600577684, 131312104593554642, 135644531276037170, 148358835407055530, 164617466650869962, 166354152703660322, 168516917817458763, 174905155463589770, 184136069236202522, 184212709530406562, 194786589183317570, 199002213557579523, 213342652467770260, 215265125618959442, 224734579789880522, 280344340575600484, 284517408767403290, 297595584650214842, 318991868209909802, 336496650021055970, 343133612385509930, 381362925020800322, 385512738148551842, 399298369544161202, 436096251376457282, 466213727419193210, 503210298572087930, 539132797230443642, 623287451027484722, 649194504712001330, 667900865828584442, 676765233149687140, 699095646039643610, 744069169644102482, 833368168532020082, 915997174474772570, 948816418983670562, 1209674204133313802, 1402093267062637250, 1409470198337632202, 1453173517312707962, 1550277448968107162, 1759154486578051370, 1808007034736353442, 1945228539299679002, 2421201218623195850, 2531442524078679122, 2778944601396122330, 3041470152148397763, 3196370038427781122, 3439043777971741802, 3500326787569128842, 3552187997682857570, 3582766308818515540, 3872668827439077122, 4244782674830239370, 5783799013977402290, 6025676460471960890, 6728091962797009562, 7097412990583014962, 8184064731608154482, 11885910132528297890, 12844430391745623842, 12927337422325927562, 14711755810804592930, 14927627017372215170, 15088772566740371042, 16840235515960339204, 19031436140771152901, 20966991509348181050, 24167747125717105850, 27476044092082371770, 28846924394888357522, 32199223702467432362, 33839825950294355162, 34912385671306685162, 35667367163708280362, 35908524067988832650, 40516749669948658130, 49964671341005532050, 58044879094298934050, 60494195255621676482, 70040267336554360610, 73365427098972374810, 73783705782202896842, 81078868783069364090, 84825848453829996242, 96479534236041746690, 97138144934014313810, 97277995762062561602, 103288954412154665450, 103545453822999767570, 135272316911429258522, 153723607682412015362, 212610558258846592322, 218720741563831875482, 233676522795007853402, 234706430065859877842, 251952821729942156042, 255553915744801256522, 256706663685577691044, 302373683545141277282, 311982526794573114770, 326463015965172530930, 360798634662166229930, 438846120374590493162, 468692050613883136131, 482923910056620513604, 503933992157084653922, 629258755838141043170, 696509455935371116922, 828554343766153086890, 893067310335899703602, 1022168217113951467562, 1067918552665716950642, 1104160466234508549410, 1235678491194378388421, 1289601360959679962402, 1385850290590070632442, 1434524753571272419082, 1595214163428567682082, 1653105324755048957522, 2200567753176020613530, 2595919518652593342170, 2761353566164435565570, 3137787345527329156562, 4112772380599462727450, 4336830087755877054122, 4646647831422121707122, 5080320070334946937370, 5492692418832742828850, 6680130990067042119482, 6992395153582192278410, 9100693843600021353602, 10672588161093591108290, 11346356662548202846322, 12180724285069160792690, 12285923582497502612741, 12594375801785780889770, 14612621284633135841402, 17290327265973413938442, 19948739593461409801250, 26871591007774382571602, 30573891996838016977922, 37077076118863869371090, 52784621258235612711290, 64130342240899451268050, 67430407988623580710682, 112138677873943538160842, 112480698358152333535205, 112922294254593901409930, 115820052714253020767930, 122295774790575789849605, 136710215662511915907290, 138053347715194768482650, 140518506429952931585762, 223852741244821186304690, 258106646095017337527362, 294984294628274258092802, 325155878322089368503050, 349948381943136106893362, 487281677888641431258962, 538856603707594149475970, 571567676658969513914162, 870907240218806250614450, 1007247483495532226501762, 1296225710399936741960090, 1605918336735682071241205, 1675497996706574198710562, 2154284576409188208716642, 2202497395244802126820802, 2439595251070777724445890, 2624238950783176766850722, 3366631979585786716977482, 3762017155065223686361130, 4489790807027742432012890, 7188323026533481166524370, 7589254911348399246333602, 7590414072042234759988562, 8729556023197874671499450, 9025012424618310552039510, 9931813781439341187167773, 10247004903043127977263870, 12337498748323692116817122, 12628871034452860557216341, 15445449792061869538665530, 18770934723068865700066202, 18893083012885118097182310, 21755431982803134547576130, 34153506432333867465717602, 38466270071618342634444242, 41017097406077860003969322, 41596726923934070349884810, 47618247472311927693595682, 50615718671480452557158810, 56652154046461475163023042, 74869888557535461119623610, 126648644632629372264866762, 130989256259813168291917206, 136586943630618889233996770, 174913531660794547995330606, 190091346413802895402004690, 198709125682407799350926330, 218818771669759045466876042, 375081770096970265696029962, 446421270399011155734393770, 674461176178003800656748002, 718733269831031659390223311, 969067262529660341194673762, 978480928058887577901680402, 1236391911051934611547623967, 1437529952210957061752820122, 1445374561315616976468814010, 1467967884551546871965317610, 1634099793387898558254674762, 1862458044263683468831944290, 1977214962402922886778885530, 2716641164824481041026274202, 2874325500669626696520524762, 2908024185188975248231848770, 3004910171999961918446472890, 4125112453486076385909306722, 4419302934598759932986930882, 4479784339815965051704406402, 6382189797981839955617196290, 6513217320628963113588488522, 8031542825641567902566217722, 9852857887900855816609020482, 13259982639512072579671821410, 13607674808224574493656375772, 14836464733308086260609703930, 15922658798434168592749561806, 17899523944782444814368454322, 20075810910599704657494153170, 20837030917249404036545594090, 21139796241062128890905983322, 31024609685431056587514389162, 38389458686333628319865923687, 39295967850597529917856510370, 49595730660469486553047287170, 51027056782702540533405011162, 110612460628310682853001678402, 121272463024208620740204051242, 137659677827686357072447201202, 143334969224433907638334654250, 150119578852954845622581499562, 250461416761270667002657680650, 267201651777879611826193048850, 287447818922796491653294746722, 443390325519502453377486987362, 516050849286307395011482700570, 553127565255039428734567146530, 599956351842020053351483278290, 633051788479316947212842222162, 751347347474202525801420237962, 846008849828364755577849742082, 903794812936968466376822862842, 1063147357633821470879472228770, 1116313635117519615054014665682, 1245747807197517688264698147842, 1603754475072704329446607946882, 1791729450952897593991758709250, 1955498426198634458818992033602, 2066708415681622935243732387122, 3081742615196724317024105670530, 3265191739575614519916955957807, 3743690608240750514954871152071, 4397004136873549223184805386242, 6452362345342852555046905944122, 7117774389226794346181521448450, 7252856806327327428124106743711, 10220998656753657349398305556362, 11094270300168803241842905727042, 12005993003628728121347362401727, 13260930329537022506904242050322, 17287618588381862993716505776807, 24643452457460206029042196653842, 26732560595879811736164852720650, 31453848472678077151691438801402, 31850756231559730491128799857522, 40110944529728182971649238621162, 67136430384562895942071453833607, 80075608659227295994472848323122, 111534557784748293617077483934402, 114184306441781743012970504438810, 117234878388138395289955824520802, 134789269539311756209409996788730, 146777224735871491502321125462130, 158698748501355748033716160874450, 233925487762752897480096172994762, 291201197105679308549361842485202, 306483088500900482655889465291730, 503364755325885238753610755432322, 574654123255926074093144365449410, 646263188505758008529479637055372, 862124938611851438320085827788722, 887170327960687662027456316269002, 1084340559175092986050510278426530, 1291966753009761468066262672894202, 1366174330954127732492609075278010, 1389923488278563008658989019285960, 2269130482121902465559647961888930, 2395421657173024791129441893591162, 5071061322104944455099340795468010, 6366048191137153652718530197371002, 6750431976727211836836514179086402, 8476522998439892208430916849790122, 9341567294873254969248797102210810, 10819146483161249419928933593949090, 34367800905934942896330860143423400, 48648236098281934608680063271628082, 51657813948390104433249157436252642, 66176975887786983013554050433450362, 76039588682063782707733224395346530, 82040633680897184715475487015359802, 89561384377580201900241438734173322, 101884929060724000795027244666636570, 115790124417212695520925396650635922, 128559543408696970399387266799557290, 308119641034941563514929400727627082, 522811264111345473293793376876970282, 600840042194765526482249157278923562, 619352217035556600383492822626764650, 1228022302652060924698772442198662210, 1326877058948476243065701306965014242, 1408598984886283918919597614311097202, 3706197881771711121974580353982101001, 11372424386660233009914742068273237002, 21580933009292256087084008646285997202, 24324303597216391239251651368944537002, 51166559523993780297336500476241376242, 122141299859626736435106910765072985690, 128202158694571959077248781315024346050, 201328894863775494895586635900800076802, 214022967758805486629628886181337487442, 1310304986556126723172183603810421799010, 2129289534118738287114395590840457048402, 3067187317556703083466237327466580016962, 3459569112994713748993745835745525308722, 7616837848352336696480820984063154552850, 8123553916640176575925996384504503404690, 8171078468904998625344310566212600665050, 11728085961164798007846283758154800260402, 12611967047007102539916133673803603665002, 24722276585995232864712581609984848539362, 30539555950059358493707090304388573040802, 38713352019526894315899177980517293210090, 65142892325910761365280312350239832715810, 84728148655914956673024975447238252577090, 108677739970045779771571100372655140503010, 124599326904028531663555205436209003019410, 140596742809142600267834569912218540620162, 370020749563626731397487075177127759528522, 1026802632544554189212472481196958558572402, 1293464078574904051493098508538127799290922, 2135732008090322832082485894559131298279010, 4546928007387204588893414381863898443153682, 19490541376313121792461150487641506218792002, 403779426001752719571106745212229859633314762, 1122110165479909152653465533166383533905708090, 1362764263736715333310431481224044459744650562, 1379590379356276893461978662419832989306970202, 2640152321289671736886812578496283583119722122, 4243450308135985523549579123911734107103661082, 18809007219902248282081919972220150354057035570, 18940090020414403575760664765238628894869019370, 59656140633313000296477804127042281719286735650, 68869919982914257077175893661425775037524194290, 157296090438778729933766350408321712084280268211, 579799710823512747416018770986323931789870962251, 664488318347108411698431398208601391561716026002, 1265251858003536653868784882917899134287221704370, 2358905608508998788570103910397790434243164619050, 4292447775843536602602571418128526102600585097002, 7911749090773962390230686118317900667644542965053, 28630445025373656150585589964155672686946123219970, 52862464874000482837849798769043531703290123129770, 333479038938349706446474392479659515780380614383962, 10221797090706896999879865050777460920226260982621242, 40446269950149535438369444305093758900707993766245490, 49822945738218654639554873984605551906614997778922210, 54447944912702643202959090902123384503453761823240850, 91367390897883787353853020657785823225007721790981362, 102096095571300136115837419916946141068541287575749362, 358783208470289201702953712067037999772152744509658922, 513739231342698757570576469450009231503379648886399410, 635358611692111769977261948556550596336983310662661090, 1811708166962830617689268870840114548800222735418478842, 4101181504285667316639556897706926046615521103156662442, 4942436999698299528505873206915200981364692135712303770, 6396362344866005816062601918033800122306491553702448202, 7515918003698949691972190381657755113519397652338007042, 278933776423249784892226792157785270582483541992660749962, 564862344245602950251712342836644303944984312368637114890, 3063588499165235761905470879888188514706426703669903593711, 5178162219414022017161091001597481659683419470710034102082, 9038268459165913994369093996962484849096923007464603673642, 10320758390549056348725939119133160378521185060950774444682, 368604187738820503062874333275598282288693265871319226556602, 510531234464054967611327866229444303046428030750120227118450, 666347880839426771810315948452136983095217119496879176191402, 351730317204154404693060756880958227482257585823720010292520950, 642957966934678729263141712325622019751580249927044460993313490, 752418055670333552824694187995781878316358882062462620728161842, 13750754766368353970107386340368463100588645396799740126588587217, 21010816351779668802833378128703275241164078027930279718272171682, 30535761997786731381279046691531850950701147138608474987130515842, 753368039179597570548540270097641014003118278560986118485518837200, 2725734874039687819045927878930943664740443320836877459422919466242, 4313814384945716205386388314867798275422062923894107661395366347642, 237181760621976417494806061307520874425371824722293560541717380471441, 196053475950079223246826309472473287580239454587062002598734835381399682, 259006182332091261817970335102514699848765435223976459321188209497373221, 560811429172388921774857784231394421482074525754476720604950698262287280810, 2351909510245170940798697345043939085805252784312263589197412998344065051927362, 3360201181238388433454231724438262000563597773185766651656303179056206748358410, 13469411182655269750716923222681733147416559696641999461455068552269601035969922, 434482871262595324077571718010655247252266585856823098132752231778627687830634330, 1286555276176265004423583343374192000668504002175053754755937272300446905731709290, 163662098619998872039977466807132757609884515459103644872501282585985597814534102706930, 467276762980354466115298955966028974962713671156269612754445516101991361024508101814692490, 24634623889583527354251508259945181039777300365245614716953490332018572959889705805900029720, 20863909132469575026560721540280612934640056715540280186337387040687558592759649259448775464442, 7813942846515985958697313745156078900591944495123709461473525968751682157403541349552810400308811, 29481879307110452593773001017433297100203808207821048083394875951635304900204755690528112121614026, 176927084019190764784768072265144302256708548667335565711088217537826002351392730132899839914630689050, 88960712955617490112275633081486721872800024735473062896062838282202643704582716605229373732993225657680402, 10546227773185828910915460697266917499162927229532536459898828341085094286514208529107760415684390644976973798002, 1094500172122068867007751113892878161252214979735151296332594494755201902626459826919641581126370140627346781343290, 18128273683282915202756142091247198215640102253624835511335675034820742043363313818403645118407491446275817107027890, 23457926069901344235686316566102226955885344061695849028158328453354988487344905847819187642245941202718745296712860722, 101955488727846394321517614109091660175916123166524077859539414085638713553760891372690611159986935121338422969430557923962, 373105406641015378360704075533841209758541570985326471704790242718339477165999383041917934142566056377990044509059815510519, 9055099057064217980759779522879634417832288595419411880861332119512849778814932679693365805491042954044962935713677693857321252407595864740471528948239896975620, 4819761635564590760906538168914338577895569241371888778723632870580650874873494720687001112093463667278652360510605391645871984433408482347547199448792934702060789322, 11051382762642046354916689469442866904744197282589179047150915143105559185798354193732501593059618368963678627729553415426180493470278590940786152970465358961279136537042, 20066967976635913737154062882327676608069780217133752257041001547519544580953220545958820449723267776767258367143435783321773147482898884252969573924373765593206234958360599241259290, 15397862629756454231943773400008898459853112860113442728570085199164647029134059524102426766382862002904118190324505780834556592821812075314562471054482390662671286203788295859643018195265, 216609706274454260409445880075746320983799005051503280880389604736215148810273327026758127099660265597212267438807044483996345541472340670787020870207002132232428405243081769450677797351250, 894410913956405598382382381749545857925427635801152819430616161692724907694544251077412858878756772916132199075554586263718026349735992394173839350279789000047757392178886381308686191262983791, 75850385555353279971545260221797750666857523303807274478062820369781255415544895636480585964748547738694802403907885033336590366027159492556051465040300667569436919790752917678086046307646369773304875575703132170479531239020877242, 806707452044299380309704877146044943977817245904133330599985292456752538746900357674788333390203118719091048157178624048578639421863493046391541389613342942094831804307586807993897271971726130871673329157906598787336467994279468732768497782307621563057409975600494978979549960485330433734414833831438660886583101, 8388278639285429910309158666639900466128952028971857217566488946323750811358943761501286076026602830470255118951778450800061529472252795192973471840090701920999306773480217738925960463517200938028150738086121411268393312707110835136597483915183646936909976373153371799143017708318455978126812303891768050126430620961026886867872063010886272323624027985584634656453690682698363812763580954403732152062496298325, 18010757365944223082153261409483994358660379536005005552034637214981238166704923775845765941053115125239122842072922866187224736182662577292457935450448075946760649240556845454954836283764007782244941971375739889769175384031653722175534117618427463339202180942648194383088882098860987623854640392482114629852035014419605822856898431481800603666861017992004450262949249513275698035117670680151068531054741285352847654906428224830734461398720480081987431958043360954172587091397449212774410180297005960407356421152750651]
say f.prod