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