{"push_id":874814978,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"44c4b91aa293fc0f0d2d81edae18219d974514d4","before":"c45d2a7102c7b4b5ba3bc54b22eb063ba5ce338b","commits":[{"sha":"44c4b91aa293fc0f0d2d81edae18219d974514d4","author":{"email":"e065ddc33f47d5d462b239b7dd0dcb38c4f39ffc@gmail.com","name":"turao"},"message":"Fix converted table. Hardcoded number of variables (76)","distinct":true,"url":"https://api.github.com/repos/Turao/max-SAT-TB/commits/44c4b91aa293fc0f0d2d81edae18219d974514d4"}]}