{"push_id":839441134,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f812f4a025fd31f79ddc5a01ac980fb53ae1e4b5","before":"d8a273b0fd8c2521f7d1a5d509fcb88a6ded739d","commits":[{"sha":"f812f4a025fd31f79ddc5a01ac980fb53ae1e4b5","author":{"email":"f1b5a91d4d6ad523f2610114591c007e75d15084@sdentertainment.ca","name":"mdnu"},"message":"Added 'binaryExponentiation' program example.","distinct":true,"url":"https://api.github.com/repos/mdnu/notes-on-formal-methods/commits/f812f4a025fd31f79ddc5a01ac980fb53ae1e4b5"}]}