(= n 8)(n-of 46(= n(trunc:*(+ pr.n 4)3/2)))