Size-166 sporadic magma originally constructed and posted by user 3121 in the Zulip discussion of equation 677 [1]. Decomposes as 11 fibers of 15 plus 1 adjoined right-identity element.
[1] https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/FINITE.3A.20677.20-.3E.20255/near/565902285
dwrensha · 2026-04-29 13:45:00
Size-166 sporadic magma originally constructed and posted by user 3121 in the Zulip discussion of equation 677. Decomposes as 11 fibers of 15 plus 1 adjoined right-identity element.
dwrensha · 2026-04-29 13:29:24
original Zulip submission ordering (Rust iso_finder σ). Original ordering as submitted by user 3121 on Zulip.
dwrensha · 2026-04-29 15:00:52
dwrensha · 2026-04-29 13:45:00
dwrensha · 2026-04-29 13:29:24