trivial/sortvec 2000 quasigroups/qgsolve board