diff --git a/run.sh b/run.sh
new file mode 100644
index 0000000..817f2fa
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+sage verify.sage .
+grep -Rn '.' verify-* |grep '^verify-.*:1:' |sed 's/:1:/ = /'
+