( 3 , 512 .)