strong_v3r1_renewal_counterexample.ts