{"push_id":737259898,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4588c31bf7f0190b2dc8dec64b92ef3928385591","before":"459a2fe53aee7c4fd85e4739a34a75e0cffdfde0","commits":[{"sha":"4588c31bf7f0190b2dc8dec64b92ef3928385591","author":{"email":"efea13a50bc6da5b523f11eba9aa693a2403da7d@users.noreply.github.com","name":"Remi J"},"message":"Update z3_solver.py\n\nRemoving comments","distinct":true,"url":"https://api.github.com/repos/remij/challenge/commits/4588c31bf7f0190b2dc8dec64b92ef3928385591"}]}