Sequence Thyme

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

Sequences Thyme_(Drop)

	0	1	2	3	4	5	6	7
🌊 Thyme (Template:Oeis)	2	3	7	46	4336	134281216	288230380379570176	2658455991569831764110243006194384896
💧 ThymeDrop	2	1	4	39	4290	134276880	288230380245288960	2658455991569831763822012625814814720

a ↦ families

Thyme(a) ThymeDrop(a)

is the number of Template:Boolf-prop with

Template:Boolf-prop Template:Boolf-prop

a.