Equation 677 Database

log in with GitHub

← all · ← by size

Size 256

5 isomorphism classes.

magma 8955defd of size 256

magma 394f5d55 of size 256

magma a590c90e of size 256

magma 50508c15 of size 256

magma 0931f7b1 of size 256

Commentary

No commentary yet.

API · source · icarm.io

This website is maintained by the NSF Institute for Computer-Aided Reasoning in Mathematics (ICARM). Please acknowledge ICARM and NSF Grant DMS 2425401 in related publications, projects, or other scholarly work.