Searching in sha2/testvectors