{"head":"b62fc11bf557958f903926b41e98983529d4fc5d","size":2,"push_id":45181694,"shas":[["9a5d0336b281dd7ee9b7fbb2aaa257aac3b29e70","3da47f988ab4e8336c71360d07da5764ccf12855@localhost","Add MidpointExistsGivenEquidistant-x.","Jim Kingdon"],["b62fc11bf557958f903926b41e98983529d4fc5d","3da47f988ab4e8336c71360d07da5764ccf12855@localhost","Describe next step of P B ≡ Q A, for MidpointExistsGivenEquidistant.","Jim Kingdon"]],"ref":"refs/heads/master"}