{"batchcomplete":"","query":{"recentchanges":[{"type":"edit","ns":0,"title":"The Joint EasyCrypt-F*-CryptoVerif School 2014","pageid":6,"revid":322,"old_revid":321,"rcid":335,"timestamp":"2019-02-17T17:27:34Z"},{"type":"edit","ns":0,"title":"The Joint EasyCrypt-F*-CryptoVerif School 2014","pageid":6,"revid":321,"old_revid":320,"rcid":334,"timestamp":"2017-03-20T08:22:32Z"},{"type":"edit","ns":0,"title":"The Joint EasyCrypt-F*-CryptoVerif School 2014","pageid":6,"revid":320,"old_revid":319,"rcid":333,"timestamp":"2016-04-15T07:35:58Z"}]}}