Friends in Britain in the 70's said people climbed double rope on the sharp rocks using a 10mm and a 9mm. At the time the US standard was single rope 11 mm with a tail rope of 9mm for rappels.