By: ValentinHirschi <valentin.hirschi@gmail.com>
Record exact symmetry-quotient Laporta pilot and next rule mechanism Co-authored-by: Codex <noreply@openai.com>