Solutions for sum of products of 7 1..2 pairs = 1 (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 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2)
(1*1 + 1*1 + 1*1 + 1*1 + 1*1 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*1 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 2*2)
(1*1 + 1*1 + 1*1 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*1 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2)
(1*1 + 1*1 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*1 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*2)
(1*1 + 1*2 + 1*2 + 1*2 + 2*2 + 2*2 + 2*2)
(1*1 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2 + 2*2)
(1*2 + 1*2 + 1*2 + 1*2 + 1*2 + 1*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)
|