../ CFG/ 15-Jan-2026 16:28 - FA/ 15-Jan-2026 16:28 - Intro/ 15-Jan-2026 16:28 - NonReg/ 15-Jan-2026 16:28 - Regular/ 15-Jan-2026 16:28 - TM/ 15-Jan-2026 16:28 - Proof1NonRegularCON.html 15-Jan-2026 16:28 3791