how many were penanced when the number with known sentences was 71 (1600–1773)?
4046.0