2025 TUT 1024 AbbyR Proofs