## Bat in Cone

### Info

Denote the elements of the field F4 by {0, 1, w, w + 1}, where w satisfies the following equation with coefficients in F2: w2 + w + 1 = 0.
Bat in Cone is a recurrent double sequence defined by a(i, 0) = a(0, j) = 1 and a(i, j) = f( a(i, j-1), a(i-1, j-1), a(i-1, j) ),
where f(x, y, z ) = x + x2 + w y + z + z2.
This recurrent double sequence can be also obtained using a system of substitutions of type 4 -> 8 with 41 rules.

The system of substitutions is too large to be presented here.

### Patch