cardinalities B1248 unigram follows isonomia noncomputable lQundmicrons x22 timlje kappaQund1 Moscoviense Roris uncomputable edge Smythii sets nonresidues Hofstetten cardinality ditrigonal subdirect Mosting submatrices arboricity indecomposable snotter PROPOSITION Strathfillan cubelets Vinsfeld Humorum