{"shas":[["ec3d945cd50075c8c0779723717f794ef25b506a","3da47f988ab4e8336c71360d07da5764ccf12855@localhost.localdomain","merge from xmldump-2011-06-22","Jim Kingdon"],["4f1d6468b78129be863a630e0a7d1d7b091a762a","3da47f988ab4e8336c71360d07da5764ccf12855@localhost.localdomain","EquidistantMidpoint is proved.","Jim Kingdon"]],"ref":"refs/heads/master","size":2,"head":"4f1d6468b78129be863a630e0a7d1d7b091a762a","push_id":34690077}