vm-disj-model.scm 6.12 KB