startServer -new MULTI22DB -t low cd oHome tellModel "SOURCES/System-oHome.sml" mkdir DeepTelos cd DeepTelos tellModel "SOURCES/System-oHome-DeepTelos.sml" tellModel "DeepTelosLevels.sml.txt" mkdir Factories cd Factories tellModel "Factories.sml.txt"