time echo "import surj; set_verbose(1); surj.check($1,$2)" | sage
