11-board LP dual certificate for 300*T + 144*P <= 625*M
Board points: D0,D1,D2 plus columns A0..A3 and B0..B3.
Each listed residual cut has the form H <= sum missing(Q) over the variable z=2 quads in the residual pair; fixed traces are listed for verification.
Variables: M=260, T=68, P=3; residual cuts=2285; nonzero dual cuts=84.
Dual weights are nonnegative integers; multiplying each cut by its weight and summing gives exactly 300 for each z=1 triple and exactly 144 for each z=0 pair. Each z=2 missing quad receives load at most 625, which is enough to prove 300*T+144*P <= 625*M.
Nonzero weight distribution: Counter({300: 56, 25: 9, 275: 8, 50: 3, 144: 3, 225: 2, 250: 2, 75: 1})

01. weight 300: T {D0,D1,A0} <= m{D2,A2,A3,B2} + m{A1,B0,B1,B3} ; residual pair = Q{D2,A2,A3,B2} , Q{A1,B0,B1,B3}
02. weight 300: T {D0,D1,A1} <= m{D2,A0,A2,B3} + m{A3,B0,B1,B2} ; residual pair = Q{D2,A0,A2,B3} , Q{A3,B0,B1,B2}
03. weight 300: T {D0,D1,A2} <= m{D2,A0,B0,B3} + m{A1,A3,B1,B2} ; residual pair = Q{D2,A0,B0,B3} , Q{A1,A3,B1,B2}
04. weight 300: T {D0,D1,A3} <= m{D2,A0,A2,B3} + m{A1,B0,B1,B2} ; residual pair = Q{D2,A0,A2,B3} , Q{A1,B0,B1,B2}
05. weight 300: T {D0,D1,B0} <= m{D2,A2,B1,B2} + m{A0,A1,A3,B3} ; residual pair = Q{D2,A2,B1,B2} , Q{A0,A1,A3,B3}
06. weight 300: T {D0,D1,B1} <= m{D2,A1,A3,B0} + m{A0,A2,B2,B3} ; residual pair = Q{D2,A1,A3,B0} , Q{A0,A2,B2,B3}
07. weight 300: T {D0,D1,B2} <= m{D2,A0,A1,B0} + m{A2,A3,B1,B3} ; residual pair = Q{D2,A0,A1,B0} , Q{A2,A3,B1,B3}
08. weight 300: T {D0,D1,B3} <= m{D2,A2,A3,B0} + m{A0,A1,B1,B2} ; residual pair = Q{D2,A2,A3,B0} , Q{A0,A1,B1,B2}
09. weight 300: T {D0,D2,A0} <= m{D1,A1,B2,B3} + m{A2,A3,B0,B1} ; residual pair = Q{D1,A1,B2,B3} , Q{A2,A3,B0,B1}
10. weight 300: T {D0,D2,A1} <= m{D1,A0,A2,B2} + m{A3,B0,B1,B3} ; residual pair = Q{D1,A0,A2,B2} , Q{A3,B0,B1,B3}
11. weight 300: T {D0,D2,A2} <= m{D1,A0,B0,B3} + m{A1,A3,B1,B2} ; residual pair = Q{D1,A0,B0,B3} , Q{A1,A3,B1,B2}
12. weight 25: T {D0,D2,A3} <= m{D1,A0,A1,B0} + m{A2,B1,B2,B3} ; residual pair = Q{D1,A0,A1,B0} , Q{A2,B1,B2,B3}
13. weight 275: T {D0,D2,A3} <= m{D1,A0,A2,B0} + m{A1,B1,B2,B3} ; residual pair = Q{D1,A0,A2,B0} , Q{A1,B1,B2,B3}
14. weight 300: T {D0,D2,B0} <= m{D1,A0,A1,B1} + m{A2,A3,B2,B3} ; residual pair = Q{D1,A0,A1,B1} , Q{A2,A3,B2,B3}
15. weight 300: T {D0,D2,B1} <= m{D1,A0,A1,B2} + m{A2,A3,B0,B3} ; residual pair = Q{D1,A0,A1,B2} , Q{A2,A3,B0,B3}
16. weight 300: T {D0,D2,B2} <= m{D1,A0,A2,B3} + m{A1,A3,B0,B1} ; residual pair = Q{D1,A0,A2,B3} , Q{A1,A3,B0,B1}
17. weight 300: T {D0,D2,B3} <= m{D1,A2,B0,B2} + m{A0,A1,A3,B1} ; residual pair = Q{D1,A2,B0,B2} , Q{A0,A1,A3,B1}
18. weight 300: T {D0,A0,A1} <= m{D1,D2,A3,B0} + m{A2,B1,B2,B3} ; residual pair = Q{D1,D2,A3,B0} , Q{A2,B1,B2,B3}
19. weight 300: T {D0,A0,A2} <= m{D1,D2,A1,B0} + m{A3,B1,B2,B3} ; residual pair = Q{D1,D2,A1,B0} , Q{A3,B1,B2,B3}
20. weight 300: T {D0,A0,A3} <= m{D1,D2,A1,B2} + m{A2,B0,B1,B3} ; residual pair = Q{D1,D2,A1,B2} , Q{A2,B0,B1,B3}
21. weight 300: T {D0,A1,A2} <= m{D1,A3,B1,B2} + m{D2,A0,B0,B3} ; residual pair = Q{D1,A3,B1,B2} , Q{D2,A0,B0,B3}
22. weight 25: T {D0,A1,A3} <= m{D1,D2,A0,B2} + m{A2,B0,B1,B3} ; residual pair = Q{D1,D2,A0,B2} , Q{A2,B0,B1,B3}
23. weight 275: T {D0,A1,A3} <= m{D1,D2,A0,B3} + m{A2,B0,B1,B2} ; residual pair = Q{D1,D2,A0,B3} , Q{A2,B0,B1,B2}
24. weight 300: T {D0,A2,A3} <= m{D1,D2,A1,B2} + m{A0,B0,B1,B3} ; residual pair = Q{D1,D2,A1,B2} , Q{A0,B0,B1,B3}
25. weight 300: T {D0,B0,B1} <= m{D1,A1,A3,B3} + m{D2,A0,A2,B2} ; residual pair = Q{D1,A1,A3,B3} , Q{D2,A0,A2,B2}
26. weight 300: T {D0,B0,B2} <= m{D1,A0,A2,B1} + m{D2,A1,A3,B3} ; residual pair = Q{D1,A0,A2,B1} , Q{D2,A1,A3,B3}
27. weight 300: T {D0,B0,B3} <= m{D1,D2,A0,B1} + m{A1,A2,A3,B2} ; residual pair = Q{D1,D2,A0,B1} , Q{A1,A2,A3,B2}
28. weight 300: T {D0,B1,B2} <= m{D1,A0,A2,B3} + m{D2,A1,A3,B0} ; residual pair = Q{D1,A0,A2,B3} , Q{D2,A1,A3,B0}
29. weight 300: T {D0,B1,B3} <= m{D1,D2,A0,B0} + m{A1,A2,A3,B2} ; residual pair = Q{D1,D2,A0,B0} , Q{A1,A2,A3,B2}
30. weight 300: T {D0,B2,B3} <= m{D1,A0,A3,B1} + m{D2,A1,A2,B0} ; residual pair = Q{D1,A0,A3,B1} , Q{D2,A1,A2,B0}
31. weight 300: T {D1,D2,A0} <= m{D0,A2,B0,B1} + m{A1,A3,B2,B3} ; residual pair = Q{D0,A2,B0,B1} , Q{A1,A3,B2,B3}
32. weight 300: T {D1,D2,A1} <= m{D0,A0,A3,B1} + m{A2,B0,B2,B3} ; residual pair = Q{D0,A0,A3,B1} , Q{A2,B0,B2,B3}
33. weight 300: T {D1,D2,A2} <= m{D0,A3,B0,B1} + m{A0,A1,B2,B3} ; residual pair = Q{D0,A3,B0,B1} , Q{A0,A1,B2,B3}
34. weight 300: T {D1,D2,A3} <= m{D0,A0,A2,B3} + m{A1,B0,B1,B2} ; residual pair = Q{D0,A0,A2,B3} , Q{A1,B0,B1,B2}
35. weight 300: T {D1,D2,B0} <= m{D0,A0,A1,B1} + m{A2,A3,B2,B3} ; residual pair = Q{D0,A0,A1,B1} , Q{A2,A3,B2,B3}
36. weight 25: T {D1,D2,B1} <= m{D0,A0,A1,B0} + m{A2,A3,B2,B3} ; residual pair = Q{D0,A0,A1,B0} , Q{A2,A3,B2,B3}
37. weight 275: T {D1,D2,B1} <= m{D0,A0,A1,B2} + m{A2,A3,B0,B3} ; residual pair = Q{D0,A0,A1,B2} , Q{A2,A3,B0,B3}
38. weight 300: T {D1,D2,B2} <= m{D0,A2,B0,B3} + m{A0,A1,A3,B1} ; residual pair = Q{D0,A2,B0,B3} , Q{A0,A1,A3,B1}
39. weight 300: T {D1,D2,B3} <= m{D0,A0,A1,B0} + m{A2,A3,B1,B2} ; residual pair = Q{D0,A0,A1,B0} , Q{A2,A3,B1,B2}
40. weight 25: T {D1,A0,A1} <= m{D0,D2,A2,B0} + m{A3,B1,B2,B3} ; residual pair = Q{D0,D2,A2,B0} , Q{A3,B1,B2,B3}
41. weight 275: T {D1,A0,A1} <= m{D0,D2,A2,B1} + m{A3,B0,B2,B3} ; residual pair = Q{D0,D2,A2,B1} , Q{A3,B0,B2,B3}
42. weight 300: T {D1,A0,A2} <= m{D0,D2,A1,B2} + m{A3,B0,B1,B3} ; residual pair = Q{D0,D2,A1,B2} , Q{A3,B0,B1,B3}
43. weight 25: T {D1,A0,A3} <= m{D0,D2,A1,B1} + m{A2,B0,B2,B3} ; residual pair = Q{D0,D2,A1,B1} , Q{A2,B0,B2,B3}
44. weight 275: T {D1,A0,A3} <= m{D0,D2,A1,B3} + m{A2,B0,B1,B2} ; residual pair = Q{D0,D2,A1,B3} , Q{A2,B0,B1,B2}
45. weight 300: T {D1,A1,A2} <= m{D0,A0,B1,B2} + m{D2,A3,B0,B3} ; residual pair = Q{D0,A0,B1,B2} , Q{D2,A3,B0,B3}
46. weight 300: T {D1,A1,A3} <= m{D0,A2,B1,B3} + m{D2,A0,B0,B2} ; residual pair = Q{D0,A2,B1,B3} , Q{D2,A0,B0,B2}
47. weight 300: T {D1,A2,A3} <= m{D0,D2,A0,B0} + m{A1,B1,B2,B3} ; residual pair = Q{D0,D2,A0,B0} , Q{A1,B1,B2,B3}
48. weight 300: T {D1,B0,B1} <= m{D0,D2,A0,B2} + m{A1,A2,A3,B3} ; residual pair = Q{D0,D2,A0,B2} , Q{A1,A2,A3,B3}
49. weight 300: T {D1,B0,B2} <= m{D0,D2,A1,B3} + m{A0,A2,A3,B1} ; residual pair = Q{D0,D2,A1,B3} , Q{A0,A2,A3,B1}
50. weight 275: T {D1,B0,B3} <= m{D0,D2,A0,B2} + m{A1,A2,A3,B1} ; residual pair = Q{D0,D2,A0,B2} , Q{A1,A2,A3,B1}
51. weight 25: T {D1,B0,B3} <= m{D0,D2,A2,B2} + m{A0,A1,A3,B1} ; residual pair = Q{D0,D2,A2,B2} , Q{A0,A1,A3,B1}
52. weight 25: T {D1,B1,B2} <= m{D0,D2,A0,B0} + m{A1,A2,A3,B3} ; residual pair = Q{D0,D2,A0,B0} , Q{A1,A2,A3,B3}
53. weight 275: T {D1,B1,B2} <= m{D0,D2,A0,B3} + m{A1,A2,A3,B0} ; residual pair = Q{D0,D2,A0,B3} , Q{A1,A2,A3,B0}
54. weight 300: T {D1,B1,B3} <= m{D0,D2,A3,B2} + m{A0,A1,A2,B0} ; residual pair = Q{D0,D2,A3,B2} , Q{A0,A1,A2,B0}
55. weight 300: T {D1,B2,B3} <= m{D0,D2,A0,B0} + m{A1,A2,A3,B1} ; residual pair = Q{D0,D2,A0,B0} , Q{A1,A2,A3,B1}
56. weight 50: T {D2,A0,A1} <= m{D0,D1,A2,B1} + m{A3,B0,B2,B3} ; residual pair = Q{D0,D1,A2,B1} , Q{A3,B0,B2,B3}
57. weight 25: T {D2,A0,A1} <= m{D0,D1,A2,B2} + m{A3,B0,B1,B3} ; residual pair = Q{D0,D1,A2,B2} , Q{A3,B0,B1,B3}
58. weight 225: T {D2,A0,A1} <= m{D0,D1,A2,B3} + m{A3,B0,B1,B2} ; residual pair = Q{D0,D1,A2,B3} , Q{A3,B0,B1,B2}
59. weight 300: T {D2,A0,A2} <= m{D0,D1,A3,B2} + m{A1,B0,B1,B3} ; residual pair = Q{D0,D1,A3,B2} , Q{A1,B0,B1,B3}
60. weight 300: T {D2,A0,A3} <= m{D0,D1,A1,B0} + m{A2,B1,B2,B3} ; residual pair = Q{D0,D1,A1,B0} , Q{A2,B1,B2,B3}
61. weight 300: T {D2,A1,A2} <= m{D0,D1,A0,B0} + m{A3,B1,B2,B3} ; residual pair = Q{D0,D1,A0,B0} , Q{A3,B1,B2,B3}
62. weight 300: T {D2,A1,A3} <= m{D0,D1,A0,B2} + m{A2,B0,B1,B3} ; residual pair = Q{D0,D1,A0,B2} , Q{A2,B0,B1,B3}
63. weight 50: T {D2,A2,A3} <= m{D0,D1,A0,B0} + m{A1,B1,B2,B3} ; residual pair = Q{D0,D1,A0,B0} , Q{A1,B1,B2,B3}
64. weight 250: T {D2,A2,A3} <= m{D0,D1,A0,B1} + m{A1,B0,B2,B3} ; residual pair = Q{D0,D1,A0,B1} , Q{A1,B0,B2,B3}
65. weight 225: T {D2,B0,B1} <= m{D0,D1,A1,B2} + m{A0,A2,A3,B3} ; residual pair = Q{D0,D1,A1,B2} , Q{A0,A2,A3,B3}
66. weight 75: T {D2,B0,B1} <= m{D0,D1,A1,B3} + m{A0,A2,A3,B2} ; residual pair = Q{D0,D1,A1,B3} , Q{A0,A2,A3,B2}
67. weight 300: T {D2,B0,B2} <= m{D0,D1,A0,B1} + m{A1,A2,A3,B3} ; residual pair = Q{D0,D1,A0,B1} , Q{A1,A2,A3,B3}
68. weight 50: T {D2,B0,B3} <= m{D0,D1,A0,B2} + m{A1,A2,A3,B1} ; residual pair = Q{D0,D1,A0,B2} , Q{A1,A2,A3,B1}
69. weight 250: T {D2,B0,B3} <= m{D0,D1,A1,B1} + m{A0,A2,A3,B2} ; residual pair = Q{D0,D1,A1,B1} , Q{A0,A2,A3,B2}
70. weight 300: T {D2,B1,B2} <= m{D0,A0,A2,B0} + m{D1,A1,A3,B3} ; residual pair = Q{D0,A0,A2,B0} , Q{D1,A1,A3,B3}
71. weight 25: T {D2,B1,B3} <= m{D0,D1,A0,B0} + m{A1,A2,A3,B2} ; residual pair = Q{D0,D1,A0,B0} , Q{A1,A2,A3,B2}
72. weight 275: T {D2,B1,B3} <= m{D0,D1,A0,B2} + m{A1,A2,A3,B0} ; residual pair = Q{D0,D1,A0,B2} , Q{A1,A2,A3,B0}
73. weight 300: T {D2,B2,B3} <= m{D0,A1,A2,B0} + m{D1,A0,A3,B1} ; residual pair = Q{D0,A1,A2,B0} , Q{D1,A0,A3,B1}
74. weight 300: T {A0,A1,A2} <= m{A3,B0,B2,B3} ; residual pair = Q{A3,B0,B2,B3} , F{D0,D1,D2,B1}
75. weight 300: T {A0,A1,A3} <= m{A2,B0,B2,B3} ; residual pair = Q{A2,B0,B2,B3} , F{D0,D1,D2,B1}
76. weight 300: T {A0,A2,A3} <= 0 ; residual pair = F{B0,B1,B2,B3} , F{D0,D1,D2,A1}
77. weight 300: T {A1,A2,A3} <= 0 ; residual pair = F{B0,B1,B2,B3} , F{D0,D1,D2,A0}
78. weight 300: T {B0,B1,B2} <= m{A0,A2,A3,B3} ; residual pair = Q{A0,A2,A3,B3} , F{D0,D1,D2,A1}
79. weight 300: T {B0,B1,B3} <= m{A0,A2,A3,B2} ; residual pair = Q{A0,A2,A3,B2} , F{D0,D1,D2,A1}
80. weight 300: T {B0,B2,B3} <= 0 ; residual pair = F{A0,A1,A2,A3} , F{D0,D1,D2,B1}
81. weight 300: T {B1,B2,B3} <= 0 ; residual pair = F{A0,A1,A2,A3} , F{D0,D1,D2,B0}
82. weight 144: P {D0,D1} <= 0 ; residual pair = F{A0,A1,A2,A3} , F{B0,B1,B2,B3}
83. weight 144: P {D0,D2} <= 0 ; residual pair = F{A0,A1,A2,A3} , F{B0,B1,B2,B3}
84. weight 144: P {D1,D2} <= 0 ; residual pair = F{A0,A1,A2,A3} , F{B0,B1,B2,B3}

Verification: small-trace coefficients are exact; maximum missing-quad load is 625.
