(= i 22)(n-of 19(= i(trunc:* 7/3 pr.i)))