1. 19

Project website: https://egraphs-good.github.io