sum k from 7 to 30 of (k((k-1) choose 6)*7!*23!)/30!