Operation: componentwise direct product of magma#d732efd172ca (order 25,
the sporadic non-right-cancellative "half-AG(2,5)" solution) and
magma#9f34fd7dead4 (order 29, Tao Type II 2-piece translation-invariant).
Provenance: melvyn lab session 44, problem magma-677-255.
Invariants: all 725 elements idempotent, so the l-profile is 1^725; rows are
permutations but columns are not, so this is E677 and NOT a quasigroup - the
class that is the only possible shape of a finite E677 counterexample to E255;
E255 holds at every point; the translation group is transitive.
omegaestable · 2026-08-02 18:24:16