vm-disj-model.scm 4.75 KB