This file is generated from the following operator table: [[7,3,1,3,4,3,3,3],[5,3,5,4,4,4,4,3],[7,6,1,4,4,3,3,6],[4,4,4,4,4,4,4,4],[4,4,4,4,4,4,4,4],[4,4,3,4,4,4,4,4],[3,4,3,4,4,4,4,4],[5,4,5,4,4,4,4,4]]
The magma definition
Equations
- One or more equations did not get rendered due to their size.
Instances For
The facts