let mathd-numbertheory-447 = `nsum {k:num | k >= 1 /\ k <= (50-1) /\ 3 divides k} (\k. k MOD 10) = 78`;;