[ holms tid.l^11 , ^r!