{"shas":[["20d0b413a18cc4d135899826d234ce17ce876975","c9f533833e2a78dc6a9a8d83000ef461bf4b92fc@gmail.com","Implemented substitution of index variables on RPLs.\n\nRenamed RPLSubstitution to RPLWithSubstitution.\n\nThis commit is related to issue #1.","Mohsen Vakilian"]],"ref":"refs/heads/master","push_id":20734637,"head":"20d0b413a18cc4d135899826d234ce17ce876975","size":1}