{"head":"9782553eaddc76763849b4a4ec0f086b492cd089","size":3,"push_id":44495381,"shas":[["a318b0ef64203cbc2c56ec1710f68b24a6ac5868","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","added ben's windows installation guide","Cameron Finucane"],["fb2eacacba4677aae6a52e40327879f0b8184413","88d401906be35dba79a7454f3d84acc5de4de599@gmail.com","hack for multiple goals with env liveness TRUE -- had this in before and got rid of it for some reason","Vasumathi Raman"],["9782553eaddc76763849b4a4ec0f086b492cd089","88d401906be35dba79a7454f3d84acc5de4de599@gmail.com","added fix for finding transitions in lowest level sets","Vasumathi Raman"]],"ref":"refs/heads/development"}