let mathd-numbertheory-211 = `CARD ({n:num | (n < 60) /\ (6 divides num_of_int (abs (&4 * int_of_num n - &2)))}) = 20`;;