Show HN: Modeling Covid-19 with Z3py | Hacker News Reader