Isabelle2025-2