Sequence Mint

$\text{Mint}(n)=\frac{(2^{2^{n-1}})(2^n-1)}{2^n}$

Sequences Mint_(Drop)

	0	1	2	3	4	5	6	7
🌊 Mint (Template:Oeis)	0	1	3	14	240	63488	4227858432	18302628885633695744
💧 MintDrop	0	1	2	11	226	63248	4227794944	18302628881405837312

a ↦ introverted families

Mint(a) MintDrop(a)

is the number of Template:Boolf-prop Template:Boolf-prop with

Template:Boolf-prop Template:Boolf-prop

a.