# Maple code from Robert Israel, Jan 16 2018 # f:= n -> 2^(n*(n-1)*(n-2)/6)*mul((2^k-1)^(n-k),k=1..n-1) 1 1 2 1 3 6 4 1008 5 20321280 6 203199794380800 7 4096245678214226116608000 8 671169825411994707343327912777482240000 9 3589459026274030507466469204160461571257625328222208000000 10 2511229721141086754031154605327661795863172723306019839389105937236728217600000000 11 920215363806650281372046110710977000945168773589270198426065771776237614218052210594328756842366238720000000000 12 706822419658574165883060476812016904901671013585196499605042998950535833396481250524487001740442558354860824718665285708415170145943552000000000000 13 4553182010652196874669813863932550251172872482593942303560076278018421349114547179740907611661499796264183663130992234298490086670386434331243217360254549911479518111981371392000000000000000 14 984048673174587498606290393881702259851444020155443406992047994123830319191138882902460370357580685260909052428385313971464066945922859279112244473146888356719720258380012209845375628905239267448709706586432579928695242752000000000000000000 15 28543125285688616061554261861213294508425124936130870933798936509775663033857850729152325467344091053356850284928529580082927377337859992321570180709179216935679503504036636231517902990978167400173226922010276160168800084708395657295256398861461350569955985560939893048666488832000000000000000000000 16 444470649681105979373755877185039458606215761840895816226075008037151141260158866909993042953759082738132856670240269366778437872203056843454878245838526714171049372690958746989567572274841395233388598594011145474139423713200266630226777897319358827299100183529356908154974198738588097644160138606905752018860752283613045816092286852725211136000000000000000000000000 17 14863048356392125172109493972528445826078663392029437188354775418152220351167536599648220676418329694490539422057560793632358130051958158165496374894502475789304239072253518135173512171441980488340480028427104042810672864693315465063525726113175218934270679093754669300117942331295522999693544065093456044504338572243448496186278320162467733120247621125412297743238934065368269037070783166696825879542269135699312640000000000000000000000000000 18 4269325202582489374382920505402810543305487750002058464324473611523681772576673408512720377757839133182794798423806453342523181904907193940639924555158706972980304992713933546832354402246766784715984635366755001758596206496615521951807272669249391290446160873777584909603981767406233752411151298130635194719446068480234196904531535796113181140988165153074289149036374594073166334459756582739109299813130707387259872845882024040048067708505553475487423403657668558897507818742486401070249711081881600000000000000000000000000000000 19 42136530675507830852856149018440582792310516941101754982974385061072378845175546926595066233692414306016365324559243166093029131834764822896004599839786136052532017976217980728117024068697373691886041903894988664659653288149935576084627197680517122899719118553241492474011621467097299618697619406247487312549415741262805875451130390112623592850704614446951293588895369304696304279551201508372436067655502160812226441622259977613076910022047122439892950352219741031680773120576656514208864842779515067618434449852532416092508550391147296450094285522314230223709993129984090490298005280784384000000000000000000000000000000000000 20 57156723380323726159984708245596758055437212528254117751437151039207793613800340337291670896193495413084479720359517755373936172574178607568017746255753177518867312319008265146129713961416618775840354307634107512519601362553806241015056077199336919863811522255908623465537534405751381123924321025635256701740049422247449056026918879295006747677712723994577121634776400955176294376164783850353970244434525453369411254988274328032634548678006943128832090943326135627093658266114630220191074214959737449516736689746062553391193002930272020363463292164347189911591879787194834075077332881142585281879772235944126241103262309216543760127498568622902190585146115513547418339337328474323761043582484480000000000000000000000000000000000000000 21 42623125211397226482919556116531229460479669066095428530310451726965411099509189519186220250364928025589164422407183317269910033872853959143149914152868348433908167454491695714414583282792582716707020560973989091234990509895413314110996804670003472912894024185155582271157771400300552343974036721824168095564649663689686123657899181471847313907125475621925520668135191241923757515854454834038838661851530636163406406702601043825332821157033496871110896032658758267601971554536780338719374080136728863623889163616546597956133099631314031523406964176135336793648445811541364314741899123569298356472363073432487448634789534330394858198089921584710363431861260999097885927836886264491485208243026913620129273297258955807838903950596690540028535457855978113175667506435264838667903403974301440692174054267562229760000000000000000000000000000000000000000000000 22 69896088214182427462071258613768749576418408088124765721243660498188056384581715296751382681259889306044260377533771311750561894761466717669280367884983652579504153910412993530323594428684702263714359374204720809384177837912489710604851727203852048238304413627080288030083095636195652104484020774514998122016346943501711208572004069249651870071303827233558354099975081253995337005942913305548340979923100344459999792032910240070545783347404565371057385419067448225544703357693898354461971469558919671555157465057957834255453200844203404800691918373390511608710502790945333827069596761481236279133520967076753195206306669426716040642241257879131070124327399188775941392620450319371112757103105217748219570742154181502182840436269428011876975543140185587185410679491706964754140164132342424490799007698967921667889673811611348218157847452801083217916053166661570081041711371708911250502871712915913607501295447697921953378001178717061120000000000000000000000000000000000000000000000000000