[ 01 [ [ , ) 0 ;s