. ../../../testutils.sh

check bigdpair.idr
