I got a slightly lower chance for the lines to have all of the characters, and my methods may have been off for it.

That said; Bruce, there is a sign error in the inclusion/exclusion expression as posted.