#!/bin/sh
sage verify.sage Ep
sage verify.sage Eq

echo ""
echo "Ep (Pallas)"
echo "-----------"
grep -Rn '.' Ep/verify-* |grep '^Ep/verify-.*:1:' |sed 's/:1:/ = /'
echo ""
echo "Eq (Vesta)"
echo "----------"
grep -Rn '.' Eq/verify-* |grep '^Eq/verify-.*:1:' |sed 's/:1:/ = /'