## Fourier coefficients $C(a,b,c)$ of the extremal Siegel modular form
## of weight 36 and degree 2 for $0\le b \le a \le c \le 16$
##
## --- Nils Skoruppa, April 2, 2008


(0, 0, 0)	1
(0, 0, 1)	0
(0, 0, 2)	0
(0, 0, 3)	0
(0, 0, 4)	6218175600
(0, 0, 5)	15281788354560
(0, 0, 6)	9026867482214400
(0, 0, 7)	1989179450818560000
(0, 0, 8)	213006159759990870000
(0, 0, 9)	13144087517631410995200
(0, 0, 10)	525100718690287495741440
(0, 0, 11)	14756609779472604266496000
(0, 0, 12)	310160311536865273422120000
(0, 0, 13)	5108106498702230684344320000
(0, 0, 14)	68347693198345293752360140800
(0, 0, 15)	764604200349778385836033966080
(0, 0, 16)	7318835829467289011348969122800
(1, 0, 1)	0
(1, 0, 2)	0
(1, 0, 3)	0
(1, 0, 4)	0
(1, 0, 5)	0
(1, 0, 6)	0
(1, 0, 7)	0
(1, 0, 8)	0
(1, 0, 9)	0
(1, 0, 10)	0
(1, 0, 11)	0
(1, 0, 12)	0
(1, 0, 13)	0
(1, 0, 14)	0
(1, 0, 15)	0
(1, 0, 16)	0
(1, 1, 1)	0
(1, 1, 2)	0
(1, 1, 3)	0
(1, 1, 4)	0
(1, 1, 5)	0
(1, 1, 6)	0
(1, 1, 7)	0
(1, 1, 8)	0
(1, 1, 9)	0
(1, 1, 10)	0
(1, 1, 11)	0
(1, 1, 12)	0
(1, 1, 13)	0
(1, 1, 14)	0
(1, 1, 15)	0
(1, 1, 16)	0
(2, 0, 2)	0
(2, 0, 3)	0
(2, 0, 4)	0
(2, 0, 5)	0
(2, 0, 6)	0
(2, 0, 7)	0
(2, 0, 8)	0
(2, 0, 9)	0
(2, 0, 10)	0
(2, 0, 11)	0
(2, 0, 12)	0
(2, 0, 13)	0
(2, 0, 14)	0
(2, 0, 15)	0
(2, 0, 16)	0
(2, 1, 2)	0
(2, 1, 3)	0
(2, 1, 4)	0
(2, 1, 5)	0
(2, 1, 6)	0
(2, 1, 7)	0
(2, 1, 8)	0
(2, 1, 9)	0
(2, 1, 10)	0
(2, 1, 11)	0
(2, 1, 12)	0
(2, 1, 13)	0
(2, 1, 14)	0
(2, 1, 15)	0
(2, 1, 16)	0
(2, 2, 2)	0
(2, 2, 3)	0
(2, 2, 4)	0
(2, 2, 5)	0
(2, 2, 6)	0
(2, 2, 7)	0
(2, 2, 8)	0
(2, 2, 9)	0
(2, 2, 10)	0
(2, 2, 11)	0
(2, 2, 12)	0
(2, 2, 13)	0
(2, 2, 14)	0
(2, 2, 15)	0
(2, 2, 16)	0
(3, 0, 3)	0
(3, 0, 4)	0
(3, 0, 5)	0
(3, 0, 6)	0
(3, 0, 7)	0
(3, 0, 8)	0
(3, 0, 9)	0
(3, 0, 10)	0
(3, 0, 11)	0
(3, 0, 12)	0
(3, 0, 13)	0
(3, 0, 14)	0
(3, 0, 15)	0
(3, 0, 16)	0
(3, 1, 3)	0
(3, 1, 4)	0
(3, 1, 5)	0
(3, 1, 6)	0
(3, 1, 7)	0
(3, 1, 8)	0
(3, 1, 9)	0
(3, 1, 10)	0
(3, 1, 11)	0
(3, 1, 12)	0
(3, 1, 13)	0
(3, 1, 14)	0
(3, 1, 15)	0
(3, 1, 16)	0
(3, 2, 3)	0
(3, 2, 4)	0
(3, 2, 5)	0
(3, 2, 6)	0
(3, 2, 7)	0
(3, 2, 8)	0
(3, 2, 9)	0
(3, 2, 10)	0
(3, 2, 11)	0
(3, 2, 12)	0
(3, 2, 13)	0
(3, 2, 14)	0
(3, 2, 15)	0
(3, 2, 16)	0
(3, 3, 3)	0
(3, 3, 4)	0
(3, 3, 5)	0
(3, 3, 6)	0
(3, 3, 7)	0
(3, 3, 8)	0
(3, 3, 9)	0
(3, 3, 10)	0
(3, 3, 11)	0
(3, 3, 12)	0
(3, 3, 13)	0
(3, 3, 14)	0
(3, 3, 15)	0
(3, 3, 16)	0
(4, 0, 4)	16190007309976500000
(4, 0, 5)	35587892367937644134400
(4, 0, 6)	19189979764187983994880000
(4, 0, 7)	3915056372713121506590720000
(4, 0, 8)	392157246823373524554767160000
(4, 0, 9)	22815094036067116416672399360000
(4, 0, 10)	864680546649537932127442668748800
(4, 0, 11)	23168788561524072743828513095680000
(4, 0, 12)	466239084104452813560725090662800000
(4, 0, 13)	7377366220726664080020924996894720000
(4, 0, 14)	95120236015577454300377020472770560000
(4, 0, 15)	1028026064084035856350615335429695078400
(4, 0, 16)	9527853919064586407778282641903364660000
(4, 1, 4)	9403393767505920000
(4, 1, 5)	23058568193888747520000
(4, 1, 6)	13371537921627754384588800
(4, 1, 7)	2873154670495340827115520000
(4, 1, 8)	299188340573755120397844480000
(4, 1, 9)	17939468769750199152560701440000
(4, 1, 10)	696493513014670977176939397120000
(4, 1, 11)	19033951848157138297669295328460800
(4, 1, 12)	389374455519877019207039554682880000
(4, 1, 13)	6247312131233122877138412174704640000
(4, 1, 14)	81514348500021896423748459089756160000
(4, 1, 15)	890110387762317192963989409758576640000
(4, 1, 16)	8324391778641716207590043642201348505600
(4, 2, 4)	1746861226809753600
(4, 2, 5)	6064103973068144640000
(4, 2, 6)	4419743083762372853760000
(4, 2, 7)	1116441062097505300316160000
(4, 2, 8)	131148832949368737507164160000
(4, 2, 9)	8632438971469088319484054732800
(4, 2, 10)	361006423947901988366322401280000
(4, 2, 11)	10482085671382670454435470376960000
(4, 2, 12)	225508069054838350623678185226240000
(4, 2, 13)	3775348635399911350698169154273280000
(4, 2, 14)	51085632524792846138576775512064000000
(4, 2, 15)	575679002453209318669389414722764800000
(4, 2, 16)	5533946339373569191309590082744074240000
(4, 3, 4)	86800557853900800
(4, 3, 5)	579577105135042560000
(4, 3, 6)	642881821703077232640000
(4, 3, 7)	217570743363869145169920000
(4, 3, 8)	31701985227277175840440320000
(4, 3, 9)	2461678310035914530318843904000
(4, 3, 10)	117333214358276905496973803520000
(4, 3, 11)	3788214318123188037549781155840000
(4, 3, 12)	88977230205725498285753462292480000
(4, 3, 13)	1603789710361950550543171450306560000
(4, 3, 14)	23112299344685778585170970386890752000
(4, 3, 15)	274998036486851741375563911478640640000
(4, 3, 16)	2771795428257504989745127330743582720000
(4, 4, 4)	794682841680000
(4, 4, 5)	16139478725959680000
(4, 4, 6)	35589528015949703577600
(4, 4, 7)	19189944908338970787840000
(4, 4, 8)	3915056911344913288805760000
(4, 4, 9)	392157240486752540662087680000
(4, 4, 10)	22815094094890136546553446400000
(4, 4, 11)	864680546189636623162116263116800
(4, 4, 12)	23168788565137140187947557723760000
(4, 4, 13)	466239084067920994442770987745280000
(4, 4, 14)	7377366221182280085251197648343040000
(4, 4, 15)	95120236010015278002607476671447040000
(4, 4, 16)	1028026064143696893649285197841781990400
(5, 0, 5)	78227319459969746872565760
(5, 0, 6)	42182344017763539407496806400
(5, 0, 7)	8605858712004114955447173120000
(5, 0, 8)	862018202871523842344852520960000
(5, 0, 9)	50150868103570232637147127165747200
(5, 0, 10)	1900692584273048184820809905586831360
(5, 0, 11)	50928339695748099947658896449889894400
(5, 0, 12)	1024860768627576537867711831700930560000
(5, 0, 13)	16216515246425161434468481296480337920000
(5, 0, 14)	209088001239089711658369229893793952563200
(5, 0, 15)	2259749596692846886142750695272034908241920
(5, 0, 16)	20943597445542080946256771259106898378752000
(5, 1, 5)	55306051763530283089920000
(5, 1, 6)	31604424672630422433300480000
(5, 1, 7)	6720283423684407741288284160000
(5, 1, 8)	694349015686153814741996666880000
(5, 1, 9)	41381535137208257925255580876800000
(5, 1, 10)	1598851637361140515376237228851200000
(5, 1, 11)	43521012616482813334234835032473600000
(5, 1, 12)	887369735103131375281056676803379200000
(5, 1, 13)	14197729268731107346532701102292336640000
(5, 1, 14)	184808542803697736872194059200323256320000
(5, 1, 15)	2013877393902196517341414307718601113600000
(5, 1, 16)	18799902425497523325857137476023489003520000
(5, 2, 5)	19130045199622710312960000
(5, 2, 6)	13097196647018369459159040000
(5, 2, 7)	3165696818136911149345013760000
(5, 2, 8)	359894888324267444473630556160000
(5, 2, 9)	23097451748315181386839732224000000
(5, 2, 10)	946698069851284214453170140610560000
(5, 2, 11)	27041541470168597352753197497712640000
(5, 2, 12)	573906485009802403601434878277386240000
(5, 2, 13)	9498517626423701367267481125400780800000
(5, 2, 14)	127274195626955141362889888833870233600000
(5, 2, 15)	1422135773897012891366684246654032281600000
(5, 2, 16)	13570047881622807053736676477862966722560000
(5, 3, 5)	3021944061571985571840000
(5, 3, 6)	2864313130952119350067200000
(5, 3, 7)	869434121044992052439285760000
(5, 3, 8)	116971946480787907682050375680000
(5, 3, 9)	8545605446337861673639319961600000
(5, 3, 10)	388175570481909908246557084876800000
(5, 3, 11)	12053737723606713842160710933544960000
(5, 3, 12)	274151316675233910901810040375869440000
(5, 3, 13)	4809726936654591097371730340531404800000
(5, 3, 14)	67735690894541250511381571428293672960000
(5, 3, 15)	790105617807999834939053238931465175040000
(5, 3, 16)	7827272454574002299461131003245287833600000
(5, 4, 5)	190982927418045235200000
(5, 4, 6)	302710773995815627653120000
(5, 4, 7)	130745010496792388437278720000
(5, 4, 8)	22744846571841532888452218880000
(5, 4, 9)	2020643912046095915068411084800000
(5, 4, 10)	107051294592458781862063295692800000
(5, 4, 11)	3763724324932769324302180774379520000
(5, 4, 12)	94827360506497289553058472034385920000
(5, 4, 13)	1812700432676197364134766593690828800000
(5, 4, 14)	27460757103885182948706377363895091200000
(5, 4, 15)	341082754318422806460252398076525281280000
(5, 4, 16)	3568746208831719596442391943752298496000000
(5, 5, 5)	3827835160910742159360
(5, 5, 6)	13330387947163166362828800
(5, 5, 7)	9715215177241063839498240000
(5, 5, 8)	2454098859343547606018949120000
(5, 5, 9)	288284050204891191869070901248000
(5, 5, 10)	18975346264823410159043114182901760
(5, 5, 11)	793544199852182252847639032129126400
(5, 5, 12)	23041136503270479614423438897971200000
(5, 5, 13)	495699268575145410329877417484615680000
(5, 5, 14)	8298760950287606047401214877786465894400
(5, 5, 15)	112293590131346619814798826226504664350720
(5, 5, 16)	1265425497567376450326027762102723988684800
(6, 0, 6)	22745891992275479394422415360000
(6, 0, 7)	4640518142763251308494685470720000
(6, 0, 8)	464824167351261243186486200094720000
(6, 0, 9)	27042741590648678994154709172879360000
(6, 0, 10)	1024906254795525053583784682818928640000
(6, 0, 11)	27461975876266533908896232592868638720000
(6, 0, 12)	552633403608942347908110980627841761280000
(6, 0, 13)	8744395618527131906651737790230230466560000
(6, 0, 14)	112746060065595955998561294770414380523520000
(6, 0, 15)	1218519772714120131542147975788185156530995200
(6, 0, 16)	11293369689275537202488888470501042526023680000
(6, 1, 6)	17885055318915578430068490240000
(6, 1, 7)	3776717581561465231370405806080000
(6, 1, 8)	388192803316516278545596822978560000
(6, 1, 9)	23042159081041524286761790787498803200
(6, 1, 10)	887409118985702128951647074868264960000
(6, 1, 11)	24091820970390308364808903475594526720000
(6, 1, 12)	490141800360157054926567308647797227520000
(6, 1, 13)	7827619847681168556066404227639691182080000
(6, 1, 14)	101728384355877982313164797095500956224716800
(6, 1, 15)	1107018249226293189067682568564261023907840000
(6, 1, 16)	10321765931175126631139066843875579438694400000
(6, 2, 6)	8606255325483989890273561804800
(6, 2, 7)	2020733368347750554823300218880000
(6, 2, 8)	224823709561230095140321673379840000
(6, 2, 9)	14190036271498343676798531545333760000
(6, 2, 10)	573931956574195649878016584946810880000
(6, 2, 11)	16217234973208045693380137145846674227200
(6, 2, 12)	341097892414117091702318858407765032960000
(6, 2, 13)	5602682649462361929227234462372910858240000
(6, 2, 14)	74586493808469861344020846366505232629760000
(6, 2, 15)	828745597602418361346335725688938246963200000
(6, 2, 16)	7869196454990512694354669050412006715133132800
(6, 3, 6)	2454211617089951229413975654400
(6, 3, 7)	694379745962190145664377159680000
(6, 3, 8)	88707206990785270809808709222400000
(6, 3, 9)	6228353043221917629544428015452160000
(6, 3, 10)	274163484255458160358331535139799040000
(6, 3, 11)	8299129268633887046756688929957294899200
(6, 3, 12)	184816745052811077992242658342059376640000
(6, 3, 13)	3185422091657416017008609914094427832320000
(6, 3, 14)	44186924122435452987133630040198991052800000
(6, 3, 15)	508735240278705400019560355643528839823360000
(6, 3, 16)	4982818187220940545036246739960919756793446400
(6, 4, 6)	390967766747852646869637120000
(6, 4, 7)	146892640854969361118527488000000
(6, 4, 8)	23098477206088988645061500190720000
(6, 4, 9)	1900776937297064716731320967050035200
(6, 4, 10)	94831569209854046941539134845132800000
(6, 4, 11)	3176722600640577324708360532352040960000
(6, 4, 12)	76917204819822516150457762548735467520000
(6, 4, 13)	1422198891690282999788835342334781030400000
(6, 4, 14)	20944526973867017881063213447817030637158400
(6, 4, 15)	253899925269354542170360506160619905351680000
(6, 4, 16)	2601034116070799441720919980921021027942400000
(6, 5, 6)	31605823771762218426040320000
(6, 5, 7)	17885025073684346957872496640000
(6, 5, 8)	3776718046761926553537991802880000
(6, 5, 9)	388192797923688675037942807265280000
(6, 5, 10)	23042159129660589466442719789134643200
(6, 5, 11)	887409118639855316815166139525365760000
(6, 5, 12)	24091820972329225412373573584228843520000
(6, 5, 13)	490141800351790557544105645232955064320000
(6, 5, 14)	7827619847706869108319754358738980700160000
(6, 5, 15)	101728384355838183027890995614588121173196800
(6, 5, 16)	1107018249226199228755739872791328838123520000
(6, 6, 6)	1113056605512231917322240000
(6, 6, 7)	1130308082465936241752801280000
(6, 6, 8)	359910865827027313159428587520000
(6, 6, 9)	50153093826908316306904446035558400
(6, 6, 10)	3763891370995926935325367096442880000
(6, 6, 11)	174641931443621327309890629198151680000
(6, 6, 12)	5517152155002760783685434243570728960000
(6, 6, 13)	127279844360307314705903655495570554880000
(6, 6, 14)	2259849889934169017926086903545797017600000
(6, 6, 15)	32151345799809858597669668600199622164480000
(6, 6, 16)	378338223711936857107878583100410986086400000
(7, 0, 7)	946738366790990895119897135677440000
(7, 0, 8)	94831408794418502410773575578091520000
(7, 0, 9)	5517142745542279922929139003243888640000
(7, 0, 10)	209096924926227200761026415312691527680000
(7, 0, 11)	5602673104579667332865842800934162268160000
(7, 0, 12)	112745867990803178120188580745678321745920000
(7, 0, 13)	1783993634269785222611130778700192077578240000
(7, 0, 14)	23001961737430059772379983896889355765022720000
(7, 0, 15)	248597114378958018714059400189960599560519680000
(7, 0, 16)	2304024258836494881974351347856447882284892160000
(7, 1, 7)	793577978048292142594691432448000000
(7, 1, 8)	81266834792143256553113278800199680000
(7, 1, 9)	4809932200992765343798448579401482240000
(7, 1, 10)	184816430265444897370826168162022850560000
(7, 1, 11)	5008059942599071558459958694388307066880000
(7, 1, 12)	101728211056778221150826708803682730639360000
(7, 1, 13)	1622460484431412901806681056261505611202560000
(7, 1, 14)	21061713201088732552094410091605525111111680000
(7, 1, 15)	228970407368081724304899914927676556396462080000
(7, 1, 16)	2133070023653335000608307252861848861423697920000
(7, 2, 7)	464823317355239569465721127075840000
(7, 2, 8)	50930513888472721708977394223677440000
(7, 2, 9)	3176717183270997537695902493913907200000
(7, 2, 10)	127279627574722119478239165481337487360000
(7, 2, 11)	3568898518256643098905406723834113228800000
(7, 2, 12)	74586366742521782963190855647803067596800000
(7, 2, 13)	1218517696887401125870864511511384757370880000
(7, 2, 14)	16146935017435901009801881206115480759173120000
(7, 2, 15)	178696263297081062945375575412867988920893440000
(7, 2, 16)	1690861491576911245834203990988742168728043520000
(7, 3, 7)	187038469905880297539919581020160000
(7, 3, 8)	23042120155537366883869575260405760000
(7, 3, 9)	1573301666952880738778539192567726080000
(7, 3, 10)	67738581792705898707697658699885445120000
(7, 3, 11)	2013963343557895997898357818142731796480000
(7, 3, 12)	44186848847922679853454191666368488407040000
(7, 3, 13)	752096806945183552106102422091867829043200000
(7, 3, 14)	10321748347418198881401445057922867657441280000
(7, 3, 15)	117743900666389713881309087362026785105510400000
(7, 3, 16)	1143988115772206943493316873405840881678417920000
(7, 4, 7)	50153002940170601687115387371520000
(7, 4, 8)	7354965265057841248346762850140160000
(7, 4, 9)	573930977570043131038943423442124800000
(7, 4, 10)	27461929104126744275207042047428526080000
(7, 4, 11)	889413955264554941024312249042919751680000
(7, 4, 12)	20944491292660945663526050855698326323200000
(7, 4, 13)	378337579166487367741817960824242827427840000
(7, 4, 14)	5462308373302503800392547730141186301624320000
(7, 4, 15)	65095753854111801061312386818039123992903680000
(7, 4, 16)	657029439771440491008004839059846346478387200000
(7, 5, 7)	8545969200103109424956508733440000
(7, 5, 8)	1598919894174846115561410761195520000
(7, 5, 9)	150067841807516084773914567172423680000
(7, 5, 10)	8299115134030491463020913956810915840000
(7, 5, 11)	302014357914394210951374056436541685760000
(7, 5, 12)	7827606512989952093638771561305605406720000
(7, 5, 13)	153209308518932227479031355390887345520640000
(7, 5, 14)	2367962285975739649031850188387242202234880000
(7, 5, 15)	29922326921178525866054137063737494454927360000
(7, 5, 16)	317788545256501767501149262068332655502950400000
(7, 6, 7)	862054895637976819136352583680000
(7, 6, 8)	224823326129479504984690203033600000
(7, 6, 9)	27042695530750251586893117794549760000
(7, 6, 10)	1812777796974774405290996782501724160000
(7, 6, 11)	76917073776855782209182016678524026880000
(7, 6, 12)	2259846040034484762195834905755575582720000
(7, 6, 13)	49095667896049904799463004816381580410880000
(7, 6, 14)	828744185783770018248183156968934431784960000
(7, 6, 15)	11293350449670697873105957600879704446238720000
(7, 6, 16)	128041135708221726938951162688436155773091840000
(7, 7, 7)	46327996107245760707265822720000
(7, 7, 8)	18976156566490340817561578373120000
(7, 7, 9)	3176938961955803466057013222440960000
(7, 7, 10)	274163017293915421881500376231444480000
(7, 7, 11)	14198335208329296069699395083063787520000
(7, 7, 12)	490140965380660890999819958730474127360000
(7, 7, 13)	12164931567791545246099264424818256117760000
(7, 7, 14)	229637444899450812101973710685835343953920000
(7, 7, 15)	3441877792549955232113541636459351244800000000
(7, 7, 16)	42360440311121918386356679647650988689326080000
(8, 0, 8)	9498924317332477607704491462414539220000
(8, 0, 9)	552632530203233707417951801234035179520000
(8, 0, 10)	20944493919385746257036472892343017390080000
(8, 0, 11)	561199801507149426254506078116720887070720000
(8, 0, 12)	11293351862551608431939206014435156419398320000
(8, 0, 13)	178696285639766371427690111450665599186370560000
(8, 0, 14)	2304024547054225108746489200114772157186867200000
(8, 0, 15)	24901087149039814722477534767605822195104153600000
(8, 0, 16)	230785900349071493882688667336085949197844236280000
(8, 1, 8)	8299116271602302002094383148553338880000
(8, 1, 9)	490141025747326582958960453992442757120000
(8, 1, 10)	18800707139106384653339719577328663920640000
(8, 1, 11)	508734437191411641139319455317030457835520000
(8, 1, 12)	10321749638139720270707528279957766379929600000
(8, 1, 13)	164457981418744624250918659679650661188239360000
(8, 1, 14)	2133070290361692977911213751047754135310827520000
(8, 1, 15)	23172390126521391536216788681461088992311377920000
(8, 1, 16)	215733045002772916931294815001394853532746383360000
(8, 2, 8)	5517143514210815242170842746017054720000
(8, 2, 9)	341097353328283477566606638817002127360000
(8, 2, 10)	13570628736607288103944612415914073210880000
(8, 2, 11)	378337626446874104200986528628540208578560000
(8, 2, 12)	7869184033366354906541598910747722915840000000
(8, 2, 13)	128041151717424762013243658646253740817121280000
(8, 2, 14)	1690861703092162862149952523802912999336427520000
(8, 2, 15)	18656728331783082007241062794802528747793940480000
(8, 2, 16)	176073376488404584129560452608735564825658081280000
(8, 3, 8)	2763379373752891987678264479812812800000
(8, 3, 9)	184816452971248132618992192840902246400000
(8, 3, 10)	7827607494220809839582629534095973416960000
(8, 3, 11)	229637473596098939850333952871891115048960000
(8, 3, 12)	4982810321780846139022269171232752722903040000
(8, 3, 13)	84023880934895819268154976748355134597365760000
(8, 3, 14)	1143988258810730792168766228250788030855905280000
(8, 3, 15)	12960355512918950556094825261482862965738700800000
(8, 3, 16)	125167363150845311832633109678914743927946608640000
(8, 4, 8)	1024904649319919512374363825701842560000
(8, 4, 9)	76917083256294783052901980063082987520000
(8, 4, 10)	3568898966144126297085874846245726535680000
(8, 4, 11)	112745882078548438836609613508200160624640000
(8, 4, 12)	2601030010306076472461286484436201578892160000
(8, 4, 13)	46181211261086347662510378599014095451914240000
(8, 4, 14)	657029521961341219621850159095936256464404480000
(8, 4, 15)	7731538946580058173899301171119382846577704960000
(8, 4, 16)	77181543188111570835956101797378508782808078080000
(8, 5, 8)	274163054766991761225197810445189120000
(8, 5, 9)	24091782898394761456414047007473008640000
(8, 5, 10)	1265479663010838972858986443571679068160000
(8, 5, 11)	44186854369145132223853215934309513297920000
(8, 5, 12)	1107016501784200312278298702113321426616320000
(8, 5, 13)	21061715834460847331978573136917034274652160000
(8, 5, 14)	317788584991196001868322978378894979752263680000
(8, 5, 15)	3933587393721408987064068036620347759102525440000
(8, 5, 16)	41034087547736261403285421114976615847391395840000
(8, 6, 8)	50930520276742514676412812483379200000
(8, 6, 9)	5517143434997356474357172091967242240000
(8, 6, 10)	341097354096344159743029975583602032640000
(8, 6, 11)	13570628730294014762069698896487809024000000
(8, 6, 12)	378337626500530436995661541314500344791040000
(8, 6, 13)	7869184032771655239084591756414018838855680000
(8, 6, 14)	128041151725283373359862304019079490053488640000
(8, 6, 15)	1690861702993228825786134480793382323633520640000
(8, 6, 16)	18656728332866864951089253799283099609430016000000
(8, 7, 8)	6228343288657623453658295506698240000
(8, 7, 9)	887407716550441039879173732467343360000
(8, 7, 10)	67738590257688935051330922159846850560000
(8, 7, 11)	3185417063219443403001738467286824386560000
(8, 7, 12)	101728223776028123845182209679460077404160000
(8, 7, 13)	2367962582046198269619632372622155464704000000
(8, 7, 14)	42360445607663271631345994349360210811944960000
(8, 7, 15)	606542782630678469597807709253282453859205120000
(8, 7, 16)	7176948153976505551533103008626674277420236800000
(8, 8, 8)	464823439371201199992991876158480000
(8, 8, 9)	94831419127299560336343434457415680000
(8, 8, 10)	9498924206045304407105753301296947200000
(8, 8, 11)	552632531146045590603486931669066383360000
(8, 8, 12)	20944493912968911915249709221257279634480000
(8, 8, 13)	561199801542500618952474476263409194844160000
(8, 8, 14)	11293351862395587161924897815119356305797120000
(8, 8, 15)	178696285640293573837743840208329154136801280000
(8, 8, 16)	2304024547053063047360685447060631182006944640000
(9, 0, 9)	32151294531241444583022161375749991301120000
(9, 0, 10)	1218517832316495505043327277855608118706176000
(9, 0, 11)	32649724949228777479046648843860291047260160000
(9, 0, 12)	657029512582617518260992756736696783134720000000
(9, 0, 13)	10396269848846063464066836559094473212352266240000
(9, 0, 14)	134044537313070336971402991391281928456026193920000
(9, 0, 15)	1448706225785369100085009908827446599986076293529600
(9, 0, 16)	13426761997923968457834171652295646179143141785600000
(9, 1, 9)	28898987836530792993394618260439129128960000
(9, 1, 10)	1107016486386133863261895880172070126878720000
(9, 1, 11)	29922330234637582785128185954547194226383257600
(9, 1, 12)	606542774008166256927338765829124420551966720000
(9, 1, 13)	9656683379533457344763113000325250419030753280000
(9, 1, 14)	125167361369716510422856698380429377987748167680000
(9, 1, 15)	1358964186003574151405449630962205388473871892480000
(9, 1, 16)	12645507235364090570091008696151684661383291155251200
(9, 2, 9)	20944493574478480837640062735586358047539200
(9, 2, 10)	828744277889766442571873839120031943229440000
(9, 2, 11)	23001964284553112072219523712022405201264640000
(9, 2, 12)	476656635921447353226825066349541024224051200000
(9, 2, 13)	7731538836534607941020482059689504140436029440000
(9, 2, 14)	101826487297950918038248054051386790125042401280000
(9, 2, 15)	1120936102741524984929339236928847597446721699840000
(9, 2, 16)	10557439612002851452182066908691480236080303964160000
(9, 3, 9)	12164932893360113124753191352798354289459200
(9, 3, 10)	508734430157516750051189958273458617712640000
(9, 3, 11)	14771476426017484667701965711361041078681600000
(9, 3, 12)	317788580473429321832668949280488311347609600000
(9, 3, 13)	5320264985039911379067492008029756192267960320000
(9, 3, 14)	71990464512825570908479835426492918328009582182400
(9, 3, 15)	811253511968743323926149855526292065304686100480000
(9, 3, 16)	7798501219832887160295453594881260423330183249920000
(9, 4, 9)	5602673715437521771963172096034373632000000
(9, 4, 10)	253899520953547182194721676750277852528640000
(9, 4, 11)	7869183920270858292936653314921526395247001600
(9, 4, 12)	178696283099961474604384959376483543936696320000
(9, 4, 13)	3130917424530572578021405614040903505569382400000
(9, 4, 14)	44043261474501658715995571966707282376691548160000
(9, 4, 15)	513245338403025912381446684872952864143313141760000
(9, 4, 16)	5080220285559360261360197643775876915654025320857600
(9, 5, 9)	2013963563133118733153291086718576885760000
(9, 5, 10)	101728222361371516306599313275698269677158400
(9, 5, 11)	3441878173687567054633846805559000894013440000
(9, 5, 12)	84023879740659695731910306897300088866734080000
(9, 5, 13)	1564314847176451186166071195128307915853660160000
(9, 5, 14)	23172389796776043741249376115037385386128179200000
(9, 5, 15)	282322190184131596320812989084863964000624312320000
(9, 5, 16)	2904863790046711014645048186631155704302281031680000
(9, 6, 9)	552632522347060271748318110344187904000000
(9, 6, 10)	32151294601208040936834752462021960663040000
(9, 6, 11)	1218517831824412177611056223356567383808409600
(9, 6, 12)	32649724951948747433106711154120187876474880000
(9, 6, 13)	657029512571131647726529137115675330043412480000
(9, 6, 14)	10396269848879937191803317779161037789241016320000
(9, 6, 15)	134044537313025205131792703165556183002361364480000
(9, 6, 16)	1448706225785207079931542202463705373211789885440000
(9, 7, 9)	112298394911134303517562444301306586726400
(9, 7, 10)	7827607382944330272199754162089879142400000
(9, 7, 11)	342580384797965977428292513295679702958080000
(9, 7, 12)	10321749491260809105196676968724173811220480000
(9, 7, 13)	228970432738291810091697627112660429009059840000
(9, 7, 14)	3933587337745884768172050290321386625354170368000
(9, 7, 15)	54413553777795141048358242744141490014576967680000
(9, 7, 16)	624973837575046849783456280187740273613984890880000
(9, 8, 9)	16217209119745098853105487143277533593600
(9, 8, 10)	1422196626855918225342297679996130426880000
(9, 8, 11)	74586375001872268202485258808749271285760000
(9, 8, 12)	2601029973133672893582231714142700289392640000
(9, 8, 13)	65095761066825331352284602897926184208957440000
(9, 8, 14)	1237408090932848501847344655828324259191796531200
(9, 8, 15)	18656728066288845537141849339063460209792122880000
(9, 8, 16)	230785897051464304931690715115317551459907256320000
(9, 9, 9)	1573301838385308539163840309677260800000
(9, 9, 10)	184816450805888495850426687365279907840000
(9, 9, 11)	12164932914114056713805306231456663391436800
(9, 9, 12)	508734430001679395256684444435572413562880000
(9, 9, 13)	14771476426947528896285997517064772759060480000
(9, 9, 14)	317788580469042205608585168989687036911288320000
(9, 9, 15)	5320264985055603112635993397613271728982589440000
(9, 9, 16)	71990464512789153954597859523726750371319198515200
(10, 0, 10)	46181210722850985189205736422403794484491714560
(10, 0, 11)	1237408093543635424721292429408732888198178406400
(10, 0, 12)	24901086850757512237004627888614594875131412480000
(10, 0, 13)	394013379090647587001900441784846560781077053440000
(10, 0, 14)	5080220296927145001296230171555257830705826555494400
(10, 0, 15)	54905234630352465171220253845942682070782191148728320
(10, 0, 16)	508867501736024616626417846519411144333334391436083200
(10, 1, 10)	42360445111354777674022616175148615351664640000
(10, 1, 11)	1143988244945039667241252808334556854339502080000
(10, 1, 12)	23172389847597779295612515491761739922858311680000
(10, 1, 13)	368696877294788258775584331934877987494249758720000
(10, 1, 14)	4776425251338699280817919667155423772296641249280000
(10, 1, 15)	51834747341702452274468056784595329298485302394880000
(10, 1, 16)	482142283043084619940476878963601256220875544985600000
(10, 2, 10)	32649725035470461794680698860356819208765440000
(10, 2, 11)	902982831867974494642706065200968874904780800000
(10, 2, 12)	18656728108300038692197502376567315752091893760000
(10, 2, 13)	301863302919802966796579617746234654757174640640000
(10, 2, 14)	3967125349828749512486636536011303084536669798400000
(10, 2, 15)	43590472299139669939258586736154206665468962406400000
(10, 2, 16)	409888848925980298438704950049755790295752753315840000
(10, 3, 10)	21061715587766075322478926834940549758320640000
(10, 3, 11)	606542775279319137361465357067728620306432000000
(10, 3, 12)	12960355356916496600639225831795212478695342080000
(10, 3, 13)	215733042402283437992129745082894120676838604800000
(10, 3, 14)	2904863796377701683834506911620809561512917073920000
(10, 3, 15)	32595954579224395185808705037225832519047850885120000
(10, 3, 16)	312182466432097183712498286122138375979226884341760000
(10, 4, 10)	11293351730074654534095782593784906933452800000
(10, 4, 11)	344760630252923628156955946409416045934673920000
(10, 4, 12)	7731538853966336811976932584810968276100382720000
(10, 4, 13)	134044537604721098462754406182378891249576837120000
(10, 4, 14)	1868777743487002602219992879783488651283568967680000
(10, 4, 15)	21609207457545752358881764458827632096568381276160000
(10, 4, 16)	212453533012060668890636342108234851959785217392640000
(10, 5, 10)	4982810263330292734320176587269958339311697920
(10, 5, 11)	164457979425954459646399651904988407861634662400
(10, 5, 12)	3933587346373372775322771476967253259766988800000
(10, 5, 13)	71990464669460105844817520481003711442922373120000
(10, 5, 14)	1050996072964812507403567097390235392560991384371200
(10, 5, 15)	12645507262920162445252762465099303937774876790620160
(10, 5, 16)	128702536988103280630772020727238472667926884620697600
(10, 6, 10)	1783993836539120711548741581208813836042240000
(10, 6, 11)	65095761204361853310947214646737277770792960000
(10, 6, 12)	1690861682738773222401923696193680199485767680000
(10, 6, 13)	33155882377474697405630612615082677870096547840000
(10, 6, 14)	513245339551430680258069664709899594051559751680000
(10, 6, 15)	6494185669189648174268857376575429746251708497920000
(10, 6, 16)	69051003747450190800802017928759740209620648919040000
(10, 7, 10)	508734431264633288785055336108840471101440000
(10, 7, 11)	21061715579259930553395563621837011660308480000
(10, 7, 12)	606542775329854935923140910171996795867627520000
(10, 7, 13)	12960355356689918965066771113363444248132321280000
(10, 7, 14)	215733042402986028986977453005297052756544716800000
(10, 7, 15)	2904863796376726760256837297325808490534957219840000
(10, 7, 16)	32595954579220740195784266459821782199018367221760000
(10, 8, 10)	112745880773574740548406230453883279769600000
(10, 8, 11)	5462308990058114226573625959238055504117760000
(10, 8, 12)	178696283499805833661660538616353572799938560000
(10, 8, 13)	4243094316474579953524133625979007131495956480000
(10, 8, 14)	77181542257993934564354690072261738998110781440000
(10, 8, 15)	1120936105184083500612560280637029246966741073920000
(10, 8, 16)	13426762027962421458775701337625239777313070366720000
(10, 9, 10)	18800706911239259645436367828484308992000000
(10, 9, 11)	1107016488366986901081212084564728039342080000
(10, 9, 12)	42360445097638254758374626770739046622822400000
(10, 9, 13)	1143988245020793353071161555387899833065799680000
(10, 9, 14)	23172389847270099738695988536417696393973596160000
(10, 9, 15)	368696877295834392185759788642790657302482124800000
(10, 9, 16)	4776425251336726577132223689154314994881821409280000
(10, 10, 10)	2259846296980463700741213830814478132838400
(10, 10, 11)	169597033463223985878757885961964168098611200
(10, 10, 12)	7869183938646253064885698714939316029931520000
(10, 10, 13)	248597142464805506078190847977673879348838400000
(10, 10, 14)	5735097513603399259550025204240600645846722150400
(10, 10, 15)	101826487519802888879641645624490211006914494464000
(10, 10, 16)	1448706229026183082576497536079798020317047875174400
(11, 0, 11)	33155882361888513509186094025862437390799339520000
(11, 0, 12)	667215214258425155482006691641241648721826283520000
(11, 0, 13)	10557439630710630433123065581688529171820178309120000
(11, 0, 14)	136122583492420196416930271361660666203786874716160000
(11, 0, 15)	1471165018197495048984626021582668572571967792401612800
(11, 0, 16)	13634912453213767503510698906343920751110806361210880000
(11, 1, 11)	30872487557001904823451747383473927644386426880000
(11, 1, 12)	624973838693391718159438669652236915500774850560000
(11, 1, 13)	9938969270463164659443064321167871436272120627200000
(11, 1, 14)	128702536936136353009322372595016751342704427689574400
(11, 1, 15)	1396183228720267467652645680487098261995393699020800000
(11, 1, 16)	12982380286913015476123021838000965695802809152962560000
(11, 2, 11)	24901086837169324559569873176218805696947552256000
(11, 2, 12)	513245339321379039267743209941030960591239577600000
(11, 2, 13)	8287302572817940256677059781090564871183778447360000
(11, 2, 14)	108722561897357747451619003879880458796225239449600000
(11, 2, 15)	1192828677866031292461113781798043530667954772705280000
(11, 2, 16)	11201546701137542019239859698871685308715497641056665600
(11, 3, 11)	17351025393673288763480757710416625947807580160000
(11, 3, 12)	368696877152177997496609550178359420869493391360000
(11, 3, 13)	6108509248229140493808269376492618121603354460160000
(11, 3, 14)	81922926018215263112933996641572903794050642083840000
(11, 3, 15)	916093325514262372100224219109978084984377552404480000
(11, 3, 16)	8747246630927730165858939550378400376626945778647040000
(11, 4, 11)	10396269866612659861340062835780318183848673280000
(11, 4, 12)	230785897464430515788096311944141120324785602560000
(11, 4, 13)	3967125347981443075785314722321218437999928606720000
(11, 4, 14)	54905234608176883236047557666728919995975523211673600
(11, 4, 15)	630896382613002334593328413196736119836833517404160000
(11, 4, 16)	6168743785514604800536497424196342466306747165573120000
(11, 5, 11)	5320264994132113186534090870850082435728670720000
(11, 5, 12)	125167361593637464035853102524609884646465208320000
(11, 5, 13)	2259219208424847569945612028206334588335853404160000
(11, 5, 14)	32595954566059353176619350252563677173593085706240000
(11, 5, 15)	388230039340924849374117745284629378534419191142809600
(11, 5, 16)	3916542341759896126729404554731688126070028934184960000
(11, 6, 11)	2304024518062742452837640948535472656769351680000
(11, 6, 12)	58370264173447144078569319968581694805832171520000
(11, 6, 13)	1120936104727691533539559041324238718958588395520000
(11, 6, 14)	17047527170338990660693121036364585489696676852531200
(11, 6, 15)	212453532913840819574498584691997103096398579302400000
(11, 6, 16)	2229377269433571264697048529266641488224100045291520000
(11, 7, 11)	834209206056950876192399242655052197606404915200
(11, 7, 12)	23172389838229654747576688447946596269520977920000
(11, 7, 13)	480511603180409184214983208339189040344360550400000
(11, 7, 14)	7798501233676970188799634099901856703395160391680000
(11, 7, 15)	102758407871115346663121163325534401037716600913920000
(11, 7, 16)	1131671719781793293176751148566852890006619552533708800
(11, 8, 11)	248597142348752954825751371580478594389481881600
(11, 8, 12)	7731538850391503297783566948079470394861813760000
(11, 8, 13)	176073374284548590047259574621832341586319769600000
(11, 8, 14)	3092386687750581006999016786909847386906542735360000
(11, 8, 15)	43590472281519355530793319038177542216119652188160000
(11, 8, 16)	508867501500711164151993770210623238862149153783808000
(11, 9, 11)	59761254451256350085097967387336820549222400000
(11, 9, 12)	2133070263824033098219209656388866791874887680000
(11, 9, 13)	54413553874210990352762968486914364511449251840000
(11, 9, 14)	1050996072539916360955240354682477489323885776076800
(11, 9, 15)	16062238193837353738674062068472515850064730521600000
(11, 9, 16)	201017201754039935179161495005595950645067365744640000
(11, 10, 11)	11293351720452591114481756749988840415232000000
(11, 10, 12)	476656636766053160470422070736034893079183360000
(11, 10, 13)	13944230921950056113227000869695699041769226240000
(11, 10, 14)	301863302798774497474364476091290809191560642560000
(11, 10, 15)	5080220294575929379642899281252886415341988125081600
(11, 10, 16)	69051003715521110287966342492884607607750857850880000
(11, 11, 11)	1622460666867954417209091972142304298270720000
(11, 11, 12)	84023879891013709082468933084611588649779200000
(11, 11, 13)	2900589751364858247673447635773692352397312000000
(11, 11, 14)	71990464640620557009902419192961261693198322892800
(11, 11, 15)	1358964188415514335305481563614740937159464714240000
(11, 11, 16)	20368579974283556568878623733115539379325137715200000
(12, 0, 12)	13426762023849575507535816525502722219358663377120000
(12, 0, 13)	212453532930913759118344412873176829252649147432960000
(12, 0, 14)	2739274368399554990020926142561974643608754579537920000
(12, 0, 15)	29605114172875595388850373390473410507905580633292800000
(12, 0, 16)	274383318625010837797704631854809226584885647427379600000
(12, 1, 12)	12645507259045120817823557185662295082077704683520000
(12, 1, 13)	201017201770217833996160176522915008493123656744960000
(12, 1, 14)	2602091471353705217361719197218020917007350946856960000
(12, 1, 15)	28219046268971992288219614118235767188013852651683840000
(12, 1, 16)	262322576737698398536275947126167888586563351552327680000
(12, 2, 12)	10557439632388113799703049429307669832737895792640000
(12, 2, 13)	170180149601249945531532383381926887138134170337280000
(12, 2, 14)	2229377269749947611301695003611268646163007063572480000
(12, 2, 15)	24428392144598027850993793152126054875230611793182720000
(12, 2, 16)	229148218025629224366132893672487654521558820313743360000
(12, 3, 12)	7798501234437000731385891388798031603987200081920000
(12, 3, 13)	128702536946436786494076733175990299222691264593920000
(12, 3, 14)	1720332299604833654093528184735514139999464998174720000
(12, 3, 15)	19182130382478108263026617901642516237848804371988480000
(12, 3, 16)	182699299339970952949021209686810542904579348726415360000
(12, 4, 12)	5080220295368723702039277380613686399370457060320000
(12, 4, 13)	86709982449121503060157783201650694474058764861440000
(12, 4, 14)	1192828678035175313150292390127328534154934664478720000
(12, 4, 15)	13634912454350568727476429540797763232276827048345600000
(12, 4, 16)	132712281045258510630131387323313213096903139258942720000
(12, 5, 12)	2904863795486592618973033100987408795671397007360000
(12, 5, 13)	51834747324915619382537977601112213844573801021440000
(12, 5, 14)	740616351874026622119121538986338847482838281093120000
(12, 5, 15)	8747246631657026443602661954218198342874348441436160000
(12, 5, 16)	87601125931565061064116863371909821606505181634232320000
(12, 6, 12)	1448706228582492192612304534528584464732586639360000
(12, 6, 13)	27347231247543049682503652622851155692563675873280000
(12, 6, 14)	409888848794606256904297017689613351520199799521280000
(12, 6, 15)	5044650960332767004075141934895920020919668814643200000
(12, 6, 16)	52363408686723303892933507019495301858591293363404800000
(12, 7, 12)	624973838745446497587955417264703281287462912000000
(12, 7, 13)	12645507258824749075614033450957169522870437150720000
(12, 7, 14)	201017201770867040520465553986702053211495443988480000
(12, 7, 15)	2602091471352851379088618020817444375603681579499520000
(12, 7, 16)	28219046268968831324751693758423918989840772876206080000
(12, 8, 12)	230785897497065590038301322102935552121075843640000
(12, 8, 13)	5080220294984652164167929852558377282918854656000000
(12, 8, 14)	86709982454448293564186435560336515242906405191680000
(12, 8, 15)	1192828677965348891673809615609453947079154608701440000
(12, 8, 16)	13634912455142731882638187462201292723544340829686320000
(12, 9, 12)	71990464647612481289194301330936495292558213120000
(12, 9, 13)	1753839044466831085145220898711388680180409303040000
(12, 9, 14)	32595954568774250999117826875806164220724218429440000
(12, 9, 15)	482142282888389418812038815897569417314941118709760000
(12, 9, 16)	5866823757523873387480896336647917454882853658951680000
(12, 10, 12)	18656728102319102613305458989630915437124157440000
(12, 10, 13)	513245339355197690838190205331358760835483893760000
(12, 10, 14)	10557439632237639007931650306725985016586282270720000
(12, 10, 15)	170180149601748324923057731555501727264029136977920000
(12, 10, 16)	2229377269748949901566916681412384899850987204935680000
(12, 11, 12)	3933587345099540153243242641647333393875599360000
(12, 11, 13)	125167361601926978344453639413552959136873185280000
(12, 11, 14)	2904863795445515440071436527971465765725997629440000
(12, 11, 15)	51834747325062604980891641643058522389891492741120000
(12, 11, 16)	740616351873721499371200444387865893137865617571840000
(12, 12, 12)	657029513851229378503033518418013103830639280000
(12, 12, 13)	24901086840811153664348640215041186920968355840000
(12, 12, 14)	667215214343600910844885055573669347553396121600000
(12, 12, 15)	13426762022873731898927171605951849312185136250880000
(12, 12, 16)	212453532943859374814587527773080538415189648048000000
(13, 0, 13)	3361681958560034584972389239984158680807335539507200000
(13, 0, 14)	43343921356455754228206517347212516705334835732807680000
(13, 0, 15)	468445861187109735028104249403774093483875569416273920000
(13, 0, 16)	4341605616875213644641770259992967548021830982575226880000
(13, 1, 13)	3194300548549120351758962828635247922959257876561920000
(13, 1, 14)	41336413035578065057604274461242134172596828446392320000
(13, 1, 15)	448164965259643613454092253516210878041313514419650560000
(13, 1, 16)	4165152758723256741994001886851857648945422152529346560000
(13, 2, 13)	2739274368183540619293866814303857810932326468157440000
(13, 2, 14)	35840672269783235103544144223299321675453644511641600000
(13, 2, 15)	392306041959349346886616406671402101511896656141352960000
(13, 2, 16)	3676564864347607406051977037631268634130677287645347840000
(13, 3, 13)	2117078118857689379952021372212709673469286222397440000
(13, 3, 14)	28219046268489718917619344803809874041907937472020480000
(13, 3, 15)	313885790761878177730846269095956638285153143818813440000
(13, 3, 16)	2983251916108782755517981567078621281063388663612702720000
(13, 4, 13)	1471165018290093883804156525178724671536851749437440000
(13, 4, 14)	20135174320740808920654699399079023571937905661706240000
(13, 4, 15)	229148218008324699194420653473774587123155652310466560000
(13, 4, 16)	2221805770610110465342137995885065718209261935691530240000
(13, 5, 13)	916093325571922585737702766148168095805420674744320000
(13, 5, 14)	12982380287773539983210962106343784073156501070151680000
(13, 5, 15)	152252854809107439265417563683513572937036676653383680000
(13, 5, 16)	1515418418276938828866649405166772518258578020925440000000
(13, 6, 13)	508867501532798391884236385741008517126867258572800000
(13, 6, 14)	7534524894666214360316961903062434436746943795036160000
(13, 6, 15)	91761792739170579336465718913356826053720951837163520000
(13, 6, 16)	943835808913303668736380662677928954835061517698990080000
(13, 7, 13)	250683512948878956471462623429876612132678035046400000
(13, 7, 14)	3916542342019506220569820086137085008341026102312960000
(13, 7, 15)	49951107123769109208127770016996066583074630973521920000
(13, 7, 16)	534781536153327182997682309781095688881675307337646080000
(13, 8, 13)	108722561904164410586214047772561791564045321502720000
(13, 8, 14)	1812150868810971846713222530801781800041796290478080000
(13, 8, 15)	24428392144172524952997039842127806407051148805734400000
(13, 8, 16)	274383318604259604027543843919916807421245045760983040000
(13, 9, 13)	41136840330741348705982007514380291423102042112000000
(13, 9, 14)	740616351861120747506336180115102937966732754288640000
(13, 9, 15)	10662478700294072398529801821561344979431687538606080000
(13, 9, 16)	126757434304645226880708466609990586019449342422548480000
(13, 10, 13)	13426762022599399137423333391173109082552698675200000
(13, 10, 14)	264852039960822723746496490165668056663106166456320000
(13, 10, 15)	4120530202550140570588811381813933801496718949744640000
(13, 10, 16)	52363408682763125110922739736039941314539809205125120000
(13, 11, 13)	3728237162509482313968699704081250567397929123840000
(13, 11, 14)	81922926023604126989794284975395587813052948152320000
(13, 11, 15)	1396183228812235520379196976714277078006021645926400000
(13, 11, 16)	19182130382141695762202107350098266631103400901345280000
(13, 12, 13)	865659157391102733443930287733027209068128501760000
(13, 12, 14)	21609207450241936204581807371245625093188272783360000
(13, 12, 15)	409888848763445496099287911303619008471615092817920000
(13, 12, 16)	6168743785920945740408536334508415313263676408463360000
(13, 13, 13)	164501631810342290028741697690105977568304824320000
(13, 13, 14)	4776425249724283872334203395741046093594895319040000
(13, 13, 15)	102758407877886284192382917971145287551759773859840000
(13, 13, 16)	1720332299573997870186165827979732000835395604316160000
(14, 0, 14)	558855817362540970961910928092247002103927687898972160000
(14, 0, 15)	6039917165676358387812483184391271647396781406271255347200
(14, 0, 16)	55978588917479486498853942252359989658370485428487086080000
(14, 1, 14)	534781536155290486601545791338054300858745016428134400000
(14, 1, 15)	5796732532369743289493568306980505712116497862894551040000
(14, 1, 16)	53862974355194126381126119522938826069660825504470505881600
(14, 2, 14)	468445861216044650160256612273799066520984545596460236800
(14, 2, 15)	5122856433199701759767393016795906571396618045520609280000
(14, 2, 16)	47971476909962957467609175155844228654996034547190169600000
(14, 3, 14)	375235872238642959657092336888993956849543355246680473600
(14, 3, 15)	4165152758737174645358104550933883212962035262897520640000
(14, 3, 16)	39514864551676891831014534120659084105244126307414179840000
(14, 4, 14)	274383318621238385765231185767560800090577528502128640000
(14, 4, 15)	3110888295742455414276342347967394687202626673128243200000
(14, 4, 16)	30064071983869034544521993422933502248449804770024541388800
(14, 5, 14)	182699299337459088612614383504617290724688011191255040000
(14, 5, 15)	2129772009098977655040152887349127859153744786486906060800
(14, 5, 16)	21087347806579905433531636978691416527778166822721945600000
(14, 6, 14)	110408050053057829001029528635103783498932739365273600000
(14, 6, 15)	1332690479548502957921494003152030873547119504402677760000
(14, 6, 16)	13601668353509905173636370619573481823307523015170260992000
(14, 7, 14)	60298819777323308053973665302106392239038127464513536000
(14, 7, 15)	759423958209634054752818168987383799082794859184128000000
(14, 7, 16)	8042170381398804472763575136194372904622303787255726080000
(14, 8, 14)	29605114174188568027382807391655394578562223847629619200
(14, 8, 15)	392306041960616297142941675845806908535347139316285440000
(14, 8, 16)	4341605617141953903147899273247472269833627196315709440000
(14, 9, 14)	12982380287815464997305578902611989374182102834216960000
(14, 9, 15)	182699299337399118481929472007655593228475656489533440000
(14, 9, 16)	2129772009098739350860627429003472579209641740208046080000
(14, 10, 14)	5044650960556456815301855395854206862952554415390720000
(14, 10, 15)	76188591374773791745934146469281473959461917800634777600
(14, 10, 16)	943835808971292611859583302109134051497824262830080000000
(14, 11, 14)	1720332299580470824625092977356373593761414775439360000
(14, 11, 15)	28219046268571384314848590297435193697797741445120000000
(14, 11, 16)	375235872238477146067671670418213114509376498682534297600
(14, 12, 14)	508867501565673040216479788404045002827596990751539200
(14, 12, 15)	9192092372204793597436691640267030759200296937717760000
(14, 12, 16)	132712281043374494558484765994976947211757923001139200000
(14, 13, 14)	128702536945032454762684717327553527295098318277836800
(14, 13, 15)	2602091471315759687362658047294909039585178393640960000
(14, 13, 16)	41336413035694530560154040592375000493062648062279680000
(14, 14, 14)	27347231248845518158295890961397541580342490562560000
(14, 14, 15)	630896382656610643423739889851081155535232911278080000
(14, 14, 16)	11201546702562578310779523688382119644855929681942937600
(15, 0, 15)	65277300936977972510563116034830933580566259728318568857600
(15, 0, 16)	604996905478553034347136958222323758771519771621731939123200
(15, 1, 15)	62821019218967268835752558735291519877472689694944788480000
(15, 1, 16)	583629937131188092963957302910565475595195419365920604160000
(15, 2, 15)	55978588914208859918133141161468312696123126707748536320000
(15, 2, 16)	523833051445692606711860981973180062469720067764462551040000
(15, 3, 15)	46150499158165150167017811437869178160291495438157086720000
(15, 3, 16)	437142918834781662454732621575859884534608491292242083840000
(15, 4, 15)	35155943380174243421799098122420099000568838022370426880000
(15, 4, 16)	338789090278057011619244133532936827493286040777024798720000
(15, 5, 15)	24698662897891727817383255459702859674115358937298669404160
(15, 5, 16)	243442381846003661137232757571579255356372146412781987430400
(15, 6, 15)	15963191694896350518368029756417790170232383417321881600000
(15, 6, 16)	161837298581168482844513094068160185032818797812670791680000
(15, 7, 15)	9461618572845685168068082649288114092070598829292912640000
(15, 7, 16)	99261222345761325622610446325568523709679379358066933760000
(15, 8, 15)	5122856433198012644618597008175434397222979689313730560000
(15, 8, 16)	55978588914202645621320851698880347726287181763516497920000
(15, 9, 15)	2521681452505146164630658140857281541316668019536035840000
(15, 9, 16)	28907584477033387208966154763282474522091217728661749760000
(15, 10, 15)	1122018879620254063895778450368607886420698660168393031680
(15, 10, 16)	13601668352713686836760789295313103876549156626806131916800
(15, 11, 15)	448164965260943137797638027908654516541100713500999680000
(15, 11, 16)	5796732532367197043468731566656121211450198189206405120000
(15, 12, 15)	159366692067091130330811594070194874384218949649694720000
(15, 12, 16)	2221805770616552840886410481244528090736510987306926080000
(15, 13, 15)	49951107123915441929994883457814791359280448263946240000
(15, 13, 16)	759423958209294012981107229628241788172296604492759040000
(15, 14, 15)	13634912454151733332627642895082012218818770565693440000
(15, 14, 16)	229148218008970353400980809361241764915889533183590400000
(15, 15, 15)	3194300548567804085204264061523669660770990236117237760
(15, 15, 16)	60298819777273073133293519276513335115515255523691724800
(16, 0, 16)	5607175088524355981765499645106844217404022029369116461780000
(16, 1, 16)	5421319172240322508234697943469294330240486070435838689280000
(16, 2, 16)	4898933443582646706341830924944215129279167769562109811097600
(16, 3, 16)	4134986262149725351082523586921228204021467537155387346124800
(16, 4, 16)	3256746620902510537277270713334850123168358649240655300480000
(16, 5, 16)	2390038832198688045870437729120048444365530769921291714560000
(16, 6, 16)	1631211226398502831902006461818217881970148546100261601280000
(16, 7, 16)	1032891860380839232250982114088377561717925794473522862489600
(16, 8, 16)	604996905513701187540548798807435694439717499732586236851200
(16, 9, 16)	326624691735994600902620707883829440741429553927979008000000
(16, 10, 16)	161837298590570684021722410240486146125703575720294809600000
(16, 11, 16)	73218866152726164739668095618309880192049445662737039360000
(16, 12, 16)	30064071983855828524711556547067986725011050295982734771200
(16, 13, 16)	11123118693150511120998082619272825482410087199342565785600
(16, 14, 16)	3676564864571842613359719182200267492298098480808755200000
(16, 15, 16)	1074631334529391042793853694576564525862484614507397120000
(16, 16, 16)	274383318620979095820527636773798793261837248476752400000