Solutions for sum of products of 9 1..2 pairs = 0 (mod 3) are
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2)
(1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 2*2)
(1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2)
(1*1 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2)
(1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2 + 2*2)
(1*2 + 1*2 + 1*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
|