6400x1 ) ( 3419 .)