verify_equivalence_candidate_af174c69_v1.ts