verify_equivalence_candidate_af174c69_v3.ts