Sequences NonExAloe(Drop)
These are the row sums of TurnedExOlive(Drop) without column 0.
|
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7
|
| 🌊 NonExAloe
|
0 |
2 |
8 |
72 |
3072 |
1966208 |
270499994624 |
2342736474457787596800
|
| 💧 NonExAloeDrop
|
0 |
2 |
6 |
64 |
3000 |
1963136 |
270498028416 |
2342736474187287602176
|
| a ↦ not strong
|
NonExAloe(a) is the number of BF with arity a that are not strong.
|
| a ↦ positive depth
|
|
| NonExAloe is the difference of Grass and ExAloe.
|
|
|
NonExAloe
|
Grass − ExAloe
|
| 0
|
0
|
2 − 2
|
| 1
|
2
|
4 − 2
|
| 2
|
8
|
16 − 8
|
| 3
|
72
|
256 − 184
|
| 4
|
3072
|
65536 − 62464
|
| 5
|
1966208
|
4294967296 − 4293001088
|
| 6
|
270499994624
|
18446744073709551616 − 18446743803209556992
|
| 7
|
2342736474457787596800
|
340282366920938463463374607431768211456 − 340282366920938461120638132973980614656
|
|
| half
|
|
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7
|
| 🌊 HalfNonExAloe
|
0 |
1 |
4 |
36 |
1536 |
983104 |
135249997312 |
1171368237228893798400
|
| 💧 HalfNonExAloeDrop
|
0 |
1 |
3 |
32 |
1500 |
981568 |
135249014208 |
1171368237093643801088
|
|
Sequences SmallNonExAloe(Drop)
These are the row sums of SmallTurnedExOlive(Drop) without column 0.
|
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7
|
| 🌊 SmallNonExAloe (A218384)
|
0 |
1 |
7 |
71 |
3071 |
1966207 |
270499994623 |
2342736474457787596799
|
| 💧 SmallNonExAloeDrop
|
0 |
1 |
6 |
64 |
3000 |
1963136 |
270498028416 |
2342736474187287602176
|
| a ↦ positive depth
|
SmallNonExAloe(a)
SmallNonExAloeDrop(a)
|
is the number of BF with
|
arity
adicity
|
a and depth > 0.
|