#! /bin/bash

cd bin
python ./pmaple.py $1 6 24 -drup-file=$2/proof.out