[ 3 ; 42]