smv.nu -i p-queue.ordnusmv -f -abs 2 -v 1 p-queue.smv
