Guess I'll keep doing the deconstruction thing if nobody else is.
>Column 0.
>The values of a[t] at 0,0 are twice the square numbers.
Not sure I understand this one, actually. So here's the first 7 records of (0,0).
{0:0:1:0:1:1}, t=1, f=-3
{0:0:2:0:2:2}, t=1, f=-5
{0:0:3:0:3:3}, t=1, f=-7
{0:0:4:0:4:4}, t=1, f=-9
{0:0:5:0:5:5}, t=1, f=-11
{0:0:6:0:6:6}, t=1, f=-13
{0:0:7:0:7:7}, t=1, f=-15
>The values of a[t] at 0,0
t=1 for all of these records. That means there aren't multiple t values, so a[t] is always a[1], even though there are multiple values of it.
>are twice the square numbers
a and b are equal for all of these, but they just increment: 1, 2, 3, 4, 5, 6, 7. So, I mean, if you're referring to the fact that every square multiplied by 2 will come up in this infinite set of a values, then sure, but I'm not sure if that's what you're actually talking about.
>The values of d[t] at 0,0 are 4 multiples by the triangular numbers.
d also increments by 1 upwards from 1 like a and b. It would also contain every instance of a number being equal to a triangle number multiplied by 4. Is that what you mean? I can't tell.
>All other cells at row 1 can be constructed from these values by adding to them or subtracting from them.
I do remember that being the case but I don't remember the specific rules. Does this have to do with the a[t] and d[t] values?
You might have to verify this one before moving on maybe.