# A055299 Number of trees with n nodes and 12 leaves.
# Table n, a(n) generated with PARI in A055290 by Georg Fischer Mar 07 2022
13 1
14 6
15 36
16 199
17 984
18 4433
19 18257
20 69390
21 245105
22 810418
23 2522646
24 7432876
25 20825678
26 55717629
27 142862730
28 352212459
29 837368658
30 1924861589
31 4288250970
32 9278750495
33 19537503288
34 40103712085
35 80377128541
36 157524824528
37 302284376907
38 568677350990
39 1050000255389
40 1904745358359
41 3398005254260
42 5966706572212
43 10321052970692
44 17600348029577
45 29609565898575
46 49174566419264
47 80669871375764
48 130795045421028
49 209705960300523
50 332648307188857
51 522296018479154
52 812071301762044
53 1250821274311423
54 1909356036307662
55 2889523232943186
56 4336716294595434
57 6457001393911546
58 9540419630206314
59 13992497233127822
60 20376604908940371
61 29470579834349045
62 42342000976753309
63 60447737939184849
64 85764935391161169
65 120962518971219703
66 169624701430413485
67 236540930237316543
68 328080374654535518
69 452673544665926776
70 621429142610984372
71 848920972673507117
72 1154187920355628845
73 1561999944585215706
74 2104455040713915693
75 2822986620278913219
76 3770878180783284488
77 5016403033714074006
78 6646731856062973018
79 8772780643083208087
80 11535207120903860703
81 15111805782583273806
82 19726601577254767014
83 25661001178949960959
84 33267430193054232104
85 42985966298061702094
86 55364574141662743202
87 71083660003631229370
88 90985795374729684452
89 116111611527210983561
90 147743045196101040463
91 187455322325251853869
92 237179306736988872419
93 299276118271368481547
94 376626245878750602582
95 472735751345493927204
96 591862585734289865270
97 739166530843741861701
98 920886840813505247052
99 1144552304022788791882
100 1419229183681608825918
101 1755813339036929518856
102 2167373791701042644919
103 2669556098282778326775
104 3281055138423141842431
105 4024168345165945506251
106 4925442013582372171172
107 6016425146784414842140
108 7334547362107110074259
109 8924139712705835475998
110 10837619913268822846255
111 13136866427784757516178
112 15894809221657456935292
113 19197268742401524200161
114 23145078920575708005803
115 27856534727163932184517
116 33470210143397508459878
117 40148198356593295622365
118 48079832661188828486678
119 57485953993307661216642
120 68623799344473899456783
121 81792594576354516215544
122 97339945495180932362653
123 115669132550689938211092
124 137247427321518303473238
125 162615563167121212116393
126 192398508210364082764812
127 227317706319986001187269
128 268204971160451375475129
129 316018239852415829431487
130 371859416544409359677279
131 436994562453428472657226
132 512876717930427760045239
133 601171674103702423004641
134 703787046933574870037668
135 822905045378892836090684
136 961019368164393028120962
137 1120976710704190189792044
138 1306023415473145437775914
139 1519857855941994343932132
140 1766689206563200614444066
141 2051303319700315550898679
142 2379136505370220186428040
143 2756358091783725263909895
144 3189962734549734188792540
145 3687873540713101060713582
146 4259057181251466230776560
147 4913652283029564228998953
148 5663112519341146290657512
149 6520365957947982484255281
150 7499992377924388138076933
151 8618420432662009289097519
152 9894146717205063523468783
153 11347978994856030945798606
154 13003306052008155988596091
155 14886396882788139940909464
156 17026732157815620517891022
157 19457371205772409422882917
158 22215358034228501886624891
159 25342170239090185021885069
160 28884215002070263430171225
161 32893376754787595165841734
162 37427621498714410871166674
163 42551663214554143339653683
164 48337698275296382429022542
165 54866214296837726786249021
166 62226880421578901919588293
167 70519526636859059855009540
168 79855220384767172031008227
169 90357449426243843984723137
170 102163420684201121372768563
171 115425485611575865627467452
172 130312703515041118434394048
173 147012555217985354013067964
174 165732820472138796962452383
175 186703633630919483851196376
176 210179733284622356197317825
177 236442922833675583534500613
178 265804760347470517745163705
179 298609497529156269805033855
180 335237289188185694047733359
181 376107696319538280840954344
182 421683507709201463297633650
183 472474906937798449284719765
184 529044013746944217663680868
185 592009830975126618232366749
186 662053630671450697125237575
187 739924815566697489690113935
188 826447294832821546489538122
189 922526416005721862146830903
190 1029156498094167625478499833
191 1147429014262983850329842258
192 1278541476074751582816026131
193 1423807075115700635763055635
194 1584665141933521042602066116
195 1762692486593504725875311273
196 1959615689831871010426263139
197 2177324418769176934443175415
198 2417885846461435277206606028
199 2683560260231831876486994943
200 2976817949762965917203753552
201 3300357472360432395590424999
202 3657125399646904202589849420
203 4050337657236202456140017888
204 4483502576695343877540265962
205 4960445787356465506662853828
206 5485337084318877269778106256
207 6062719418314479181008040995
208 6697540163029557573597465447
209 7395184826015981459816482514
210 8161513380520639279766939125
211 9002899407450575739552783683
212 9926272249312045112594344182
213 10939162391355464889352559264
214 12049750299368475230414696405
215 13266918958631108348410790340
216 14600310374528379041523350668
217 16060386312256189180270627714
218 17658493571009127546133538321
219 19406934107058376756025684208
220 21319040340272691369057230918
221 23409255999965649065568691912
222 25693222888532110403521791374
223 28187873965232440918735530132
224 30911533177764913403844504935
225 33884022496007768346312503071
226 37126776630589940230532739720
227 40662965948843546457543646027
228 44517628132286675141889889200
229 48717809153169650056316001620
230 53292714182884756261444753710
231 58273869082284663501231753881
232 63695293163280318372018843750
233 69593683952600330307271380920
234 76008614732402308845932370231
235 82982745678647590981554029993
236 90562049466906223501093529192
237 98796052266675071449292378090
238 107738091099501715287356743435
239 117445588593348171872270433638
240 127980346225846878099093630363
241 139408857212547228808053191682
242 151802640263082961311080389965
243 165238595498572898697895817604
244 179799383897673027250542871039
245 195573831716705419535679862914
246 212657361411387627229904068253
247 231152450674069629109551540635
248 251169121291259447327662994032
249 272825459621795122715353787516
250 296248170596523121273203574550