Symmetries in Boolean Scan (ap29600.github.io)