-rwxr-xr-x 105 nttcompiler-20220411/scripts/verifyall
#!/bin/sh

verify 512 7681 6784
verify 512 10753 6741
verify-inv 512 7681 8191
verify-inv 512 10753 8191