vm-disj-model.scm 5.35 KB