ToySolver.OmegaTest.Misc