Source: https://www.bayard-nizet.com/partitions/BN1617.pdf