random triples tested: 300, mismatches: 0
python3 verify_res_random.py  3.26s user 0.04s system 28% cpu 11.432 total
