for robbery; the executions took place on 27 July 1786.