Equation 677 Database

log in with GitHub

← all · ← by size

Size 155

10 isomorphism classes.

magma 1c1647c9 of size 155

magma 379eeb74 of size 155

magma 65e276fa of size 155

magma 65f0f18b of size 155

magma 9722ca10 of size 155

magma f04e4d06 of size 155

magma ba70fa9f of size 155

magma b9f3f9a0 of size 155

magma 3be7e089 of size 155

magma 31a6f6aa of size 155

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.