programmable_mathematical_olympiads Focus on Mathematical Olympiads. How to algorithmize & generalize them elegantly, deeply, & systematically.