( 10 , 001 .)