{"push_id":620486145,"size":1,"distinct_size":1,"ref":"refs/heads/IndependentSolverGetInitialValuesTest","head":"b373c824e1a8037454d4c9d4302631297576ee1d","before":"fd91cd07baadce5523a5e45b505ef2c2c3c9a56e","commits":[{"sha":"b373c824e1a8037454d4c9d4302631297576ee1d","author":{"email":"a8d284f006cdf4e6df78f203ddeaf479d43f7a2e@gmail.com","name":"Eric Rizzi"},"message":"f2","distinct":true,"url":"https://api.github.com/repos/holycrap872/klee/commits/b373c824e1a8037454d4c9d4302631297576ee1d"}]}