chiark / gitweb /
Prune by symmetry: constrain 1st adj row to all 1s at low end.