ntt^ ( 7 ; 4)