2 problems

ER Conjecture 5.1. For all $\mathsf{xyz}$ other than $\mathsf{010}$ and $\mathsf{101}$, the equivalence relation $\overline{\underline{\mathsf{x\smash{\mathsf{y}}z}}}$ is generated…

ER geometric classification conjecture. For every $\mathsf{xyz}$ other than $\mathsf{x10}$, the equivalence relation on finite-vertex graphs induced by $\mathsf{xyz}$-isomorphism o…