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