Reindexing the allowed patterns of the crossing state `T(a,b;c,h)` by their data `(d, rt, rx)` and the off-boundary pattern of weight `d - rt

Initializing...

Reindexing the allowed patterns of the crossing state `T(a,b;c,h)` by their data `(d, rt, rx)` and the off-boundary pattern of weight `d - rt - rx`. · Prove2Me