{"library":"herbie-data","install":[{"cmd":"pip install herbie-data","imports":["from herbie import Herbie","from herbie import fastHerbie"]}]}