{"push_id":860550481,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"be33205fc656022328e919fbbedba04f11427b22","before":"5a855105130901573803f3ca90ef72604178e025","commits":[{"sha":"6335c11ccd5dad26439a37300101412bbe7f6a7c","author":{"email":"6f8f2a5f35174a4813b5ff24311139e4fe55c4ca@andrew.cmu.edu","name":"Ben Blum"},"message":"Move proof.tex to its own subdir","distinct":true,"url":"https://api.github.com/repos/bblum/papers/commits/6335c11ccd5dad26439a37300101412bbe7f6a7c"},{"sha":"adfaa54958f83501adf7b166426c39c812efd82e","author":{"email":"6f8f2a5f35174a4813b5ff24311139e4fe55c4ca@andrew.cmu.edu","name":"Ben Blum"},"message":"split proof into files","distinct":true,"url":"https://api.github.com/repos/bblum/papers/commits/adfaa54958f83501adf7b166426c39c812efd82e"},{"sha":"be33205fc656022328e919fbbedba04f11427b22","author":{"email":"6f8f2a5f35174a4813b5ff24311139e4fe55c4ca@andrew.cmu.edu","name":"Ben Blum"},"message":"start proving saturation for real","distinct":true,"url":"https://api.github.com/repos/bblum/papers/commits/be33205fc656022328e919fbbedba04f11427b22"}]}