This is a copy of 2025-babyds-seeded induction2 from the Java code.