[ 6 ; 42]