Script to verify Xkpedia proofness