{"shas":[["fe0606f5af25bcfa55cbfb4799dc3f1afc085f13","a2f8c8b5562be1f8e24d7a3df16ce44a707407e1@cs.utexas.edu","more dictionary speedups","Joseph Reisinger"]],"ref":"refs/heads/master","size":1,"head":"fe0606f5af25bcfa55cbfb4799dc3f1afc085f13","push_id":41739530}