( 4 , 512 .)