Manuscript II@2 · II.tex · section · 50d64def
All raw entries
Complete matrix encoding and the finite certificate › All raw entries · lines 1463–1474
This is a complete exact encoding, not a claim that a catalogue-wide program was executed. For a compatible species word, there are four compatible external assignments. Sparse component enumeration uses at most
products per assignment before the matching constraints.
Displayed formulas in this passage
unlabeled · line 1470