{"push_id":662479130,"size":1,"distinct_size":1,"ref":"refs/heads/countermodel","head":"ead74f32da7818a03762f475dc0d7b747ffdeb52","before":"e51be81c2349906ac3206e2c100baa77b9e5e1b2","commits":[{"sha":"ead74f32da7818a03762f475dc0d7b747ffdeb52","author":{"email":"d362d48f99be3cec8522c0cc8d43fd4456293d74@gmail.com","name":"Jefferson Santos"},"message":"Fixing the loop checker procedure.","distinct":true,"url":"https://api.github.com/repos/jeffsantos/sequent-prover/commits/ead74f32da7818a03762f475dc0d7b747ffdeb52"}]}