WolframAlpha computational knowledge AI
sum over n from 2 to 12 of (12!/(n!(12-n)!))