2IHA10 (2026-1) Formal Algorithm Analysis for Premaster