The words $B_t=(0,1,6,3,-8-32t,-2-32t,-1-16t,-70-160t,-78-192t,-36-96t)$ are tree-safe true root releases for all $t\ge0$

Initializing...

The words $B_t=(0,1,6,3,-8-32t,-2-32t,-1-16t,-70-160t,-78-192t,-36-96t)$ are tree-safe true root releases for all $t\ge0$ · Prove2Me