{"push_id":663930101,"size":1,"distinct_size":1,"ref":"refs/heads/bernardorusso-patch-1","head":"bd42585137df46c5367ef6f75fef4c2018e9c374","before":"63d09b6073599937e7f5a1e5386ec6473e35991c","commits":[{"sha":"bd42585137df46c5367ef6f75fef4c2018e9c374","author":{"email":"5a64655acc47c4c83b0e58403e3ff750c6052e08@gmail.com","name":"Bernardo Russo Guedes"},"message":"Update tableaux.lisp","distinct":true,"url":"https://api.github.com/repos/bernardorusso/krr/commits/bd42585137df46c5367ef6f75fef4c2018e9c374"}]}