DP = literal enumeration for 2 <= m <= 5 (1.1 s)
m=2: 5 classes, 6 words, e(Z) = 1; P-DOM violations: 1 (0.0 s)
   psi2 (2,), size 2, (t, excess): ((4, 1),)
m=3: 30 classes, 90 words, e(Z) = 6; P-DOM violations: 1 (0.0 s)
   psi2 (2, 0), size 4, (t, excess): ((2, 1), (3, 1))
m=4: 173 classes, 2520 words, e(Z) = 53; P-DOM violations: 2 (0.0 s)
   psi2 (2, 2, 2), size 56, (t, excess): ((7, 3), (8, 3))
   psi2 (2, 2, 2), size 56, (t, excess): ((8, 3),)
m=5: 993 classes, 113400 words, e(Z) = 840; P-DOM violations: 3 (0.0 s)
   psi2 (2, 2, 2, 0), size 267, (t, excess): ((2, 3),)
   psi2 (2, 2, 2, 0), size 463, (t, excess): ((2, 3), (3, 9))
   psi2 (2, 2, 2, 2), size 844, (t, excess): ((10, 4),)
m=6: 5702 classes, 7484400 words, e(Z) = 18717; P-DOM violations: 1 (0.2 s)
   psi2 (2, 2, 2, 2, 0), size 5880, (t, excess): ((2, 4),)
m=7: 32745 classes, 681080400 words, e(Z) = 585984; P-DOM violations: 0 (3.3 s)
m=8: 188045 classes, 81729648000 words, e(Z) = 24004425; P-DOM violations: 0 (42.0 s)
CERTIFIED: every asserted value holds for 2 <= m <= 8 (P-DOM(m) holds for 7 <= m <= 8 and fails exactly as listed for m <= 6)
time 46.7 s
exit 0
