{"shas":[["a778c9a196da97dd7d49ecba7c9c6f4c1c81f2fe","5cd631e888f31c6dc77ddd3537650104e0757c51@cevlap-vm.(none)","fix to trivial proof error","Matvey Arye"],["f8ad2253f2285d0fae07329a3fa95e5a3607a8b0","5cd631e888f31c6dc77ddd3537650104e0757c51@cevlap-vm.(none)","Merge branch 'master' of github.com:dist0rtedwave/ELE580-PS2","Matvey Arye"]],"repo":"dist0rtedwave/ELE580-PS2","actor":"cevian","ref":"refs/heads/master","size":2,"head":"f8ad2253f2285d0fae07329a3fa95e5a3607a8b0","actor_gravatar":"b01be6b2da7a06169b1fc1af4c0b86d4","push_id":28694911}