8096x1 ) ( 4246 .)