vm-disj-model.scm 5.01 KB