kakuro_expert.lp

\ Model kakuro
\ LP format - for model browsing. Use MPS format to capture full model detail.
Minimize
 
Subject To
 Vertical_Sum_at_(0,2): G[1,2,0] + 2 G[1,2,1] + 3 G[1,2,2] + 4 G[1,2,3]
   + 5 G[1,2,4] + 6 G[1,2,5] + 7 G[1,2,6] + 8 G[1,2,7] + 9 G[1,2,8]
   + G[2,2,0] + 2 G[2,2,1] + 3 G[2,2,2] + 4 G[2,2,3] + 5 G[2,2,4]
   + 6 G[2,2,5] + 7 G[2,2,6] + 8 G[2,2,7] + 9 G[2,2,8] + G[3,2,0]
   + 2 G[3,2,1] + 3 G[3,2,2] + 4 G[3,2,3] + 5 G[3,2,4] + 6 G[3,2,5]
   + 7 G[3,2,6] + 8 G[3,2,7] + 9 G[3,2,8] + G[4,2,0] + 2 G[4,2,1]
   + 3 G[4,2,2] + 4 G[4,2,3] + 5 G[4,2,4] + 6 G[4,2,5] + 7 G[4,2,6]
   + 8 G[4,2,7] + 9 G[4,2,8] + G[5,2,0] + 2 G[5,2,1] + 3 G[5,2,2]
   + 4 G[5,2,3] + 5 G[5,2,4] + 6 G[5,2,5] + 7 G[5,2,6] + 8 G[5,2,7]
   + 9 G[5,2,8] = 23
 ColUniqueness_at_(0,2): G[1,2,0] + G[2,2,0] + G[3,2,0] + G[4,2,0]
   + G[5,2,0] <= 1
 ColUniqueness_at_(0,2): G[1,2,1] + G[2,2,1] + G[3,2,1] + G[4,2,1]
   + G[5,2,1] <= 1
 ColUniqueness_at_(0,2): G[1,2,2] + G[2,2,2] + G[3,2,2] + G[4,2,2]
   + G[5,2,2] <= 1
 ColUniqueness_at_(0,2): G[1,2,3] + G[2,2,3] + G[3,2,3] + G[4,2,3]
   + G[5,2,3] <= 1
 ColUniqueness_at_(0,2): G[1,2,4] + G[2,2,4] + G[3,2,4] + G[4,2,4]
   + G[5,2,4] <= 1
 ColUniqueness_at_(0,2): G[1,2,5] + G[2,2,5] + G[3,2,5] + G[4,2,5]
   + G[5,2,5] <= 1
 ColUniqueness_at_(0,2): G[1,2,6] + G[2,2,6] + G[3,2,6] + G[4,2,6]
   + G[5,2,6] <= 1
 ColUniqueness_at_(0,2): G[1,2,7] + G[2,2,7] + G[3,2,7] + G[4,2,7]
   + G[5,2,7] <= 1
 ColUniqueness_at_(0,2): G[1,2,8] + G[2,2,8] + G[3,2,8] + G[4,2,8]
   + G[5,2,8] <= 1
 Vertical_Sum_at_(0,3): G[1,3,0] + 2 G[1,3,1] + 3 G[1,3,2] + 4 G[1,3,3]
   + 5 G[1,3,4] + 6 G[1,3,5] + 7 G[1,3,6] + 8 G[1,3,7] + 9 G[1,3,8]
   + G[2,3,0] + 2 G[2,3,1] + 3 G[2,3,2] + 4 G[2,3,3] + 5 G[2,3,4]
   + 6 G[2,3,5] + 7 G[2,3,6] + 8 G[2,3,7] + 9 G[2,3,8] + G[3,3,0]
   + 2 G[3,3,1] + 3 G[3,3,2] + 4 G[3,3,3] + 5 G[3,3,4] + 6 G[3,3,5]
   + 7 G[3,3,6] + 8 G[3,3,7] + 9 G[3,3,8] + G[4,3,0] + 2 G[4,3,1]
   + 3 G[4,3,2] + 4 G[4,3,3] + 5 G[4,3,4] + 6 G[4,3,5] + 7 G[4,3,6]
   + 8 G[4,3,7] + 9 G[4,3,8] = 15
 ColUniqueness_at_(0,3): G[1,3,0] + G[2,3,0] + G[3,3,0] + G[4,3,0] <= 1
 ColUniqueness_at_(0,3): G[1,3,1] + G[2,3,1] + G[3,3,1] + G[4,3,1] <= 1
 ColUniqueness_at_(0,3): G[1,3,2] + G[2,3,2] + G[3,3,2] + G[4,3,2] <= 1
 ColUniqueness_at_(0,3): G[1,3,3] + G[2,3,3] + G[3,3,3] + G[4,3,3] <= 1
 ColUniqueness_at_(0,3): G[1,3,4] + G[2,3,4] + G[3,3,4] + G[4,3,4] <= 1
 ColUniqueness_at_(0,3): G[1,3,5] + G[2,3,5] + G[3,3,5] + G[4,3,5] <= 1
 ColUniqueness_at_(0,3): G[1,3,6] + G[2,3,6] + G[3,3,6] + G[4,3,6] <= 1
 ColUniqueness_at_(0,3): G[1,3,7] + G[2,3,7] + G[3,3,7] + G[4,3,7] <= 1
 ColUniqueness_at_(0,3): G[1,3,8] + G[2,3,8] + G[3,3,8] + G[4,3,8] <= 1
 Vertical_Sum_at_(0,5): G[1,5,0] + 2 G[1,5,1] + 3 G[1,5,2] + 4 G[1,5,3]
   + 5 G[1,5,4] + 6 G[1,5,5] + 7 G[1,5,6] + 8 G[1,5,7] + 9 G[1,5,8]
   + G[2,5,0] + 2 G[2,5,1] + 3 G[2,5,2] + 4 G[2,5,3] + 5 G[2,5,4]
   + 6 G[2,5,5] + 7 G[2,5,6] + 8 G[2,5,7] + 9 G[2,5,8] = 8
 ColUniqueness_at_(0,5): G[1,5,0] + G[2,5,0] <= 1
 ColUniqueness_at_(0,5): G[1,5,1] + G[2,5,1] <= 1
 ColUniqueness_at_(0,5): G[1,5,2] + G[2,5,2] <= 1
 ColUniqueness_at_(0,5): G[1,5,3] + G[2,5,3] <= 1
 ColUniqueness_at_(0,5): G[1,5,4] + G[2,5,4] <= 1
 ColUniqueness_at_(0,5): G[1,5,5] + G[2,5,5] <= 1
 ColUniqueness_at_(0,5): G[1,5,6] + G[2,5,6] <= 1
 ColUniqueness_at_(0,5): G[1,5,7] + G[2,5,7] <= 1
 ColUniqueness_at_(0,5): G[1,5,8] + G[2,5,8] <= 1
 Vertical_Sum_at_(0,6): G[1,6,0] + 2 G[1,6,1] + 3 G[1,6,2] + 4 G[1,6,3]
   + 5 G[1,6,4] + 6 G[1,6,5] + 7 G[1,6,6] + 8 G[1,6,7] + 9 G[1,6,8]
   + G[2,6,0] + 2 G[2,6,1] + 3 G[2,6,2] + 4 G[2,6,3] + 5 G[2,6,4]
   + 6 G[2,6,5] + 7 G[2,6,6] + 8 G[2,6,7] + 9 G[2,6,8] = 10
 ColUniqueness_at_(0,6): G[1,6,0] + G[2,6,0] <= 1
 ColUniqueness_at_(0,6): G[1,6,1] + G[2,6,1] <= 1
 ColUniqueness_at_(0,6): G[1,6,2] + G[2,6,2] <= 1
 ColUniqueness_at_(0,6): G[1,6,3] + G[2,6,3] <= 1
 ColUniqueness_at_(0,6): G[1,6,4] + G[2,6,4] <= 1
 ColUniqueness_at_(0,6): G[1,6,5] + G[2,6,5] <= 1
 ColUniqueness_at_(0,6): G[1,6,6] + G[2,6,6] <= 1
 ColUniqueness_at_(0,6): G[1,6,7] + G[2,6,7] <= 1
 ColUniqueness_at_(0,6): G[1,6,8] + G[2,6,8] <= 1
 Vertical_Sum_at_(0,7): G[1,7,0] + 2 G[1,7,1] + 3 G[1,7,2] + 4 G[1,7,3]
   + 5 G[1,7,4] + 6 G[1,7,5] + 7 G[1,7,6] + 8 G[1,7,7] + 9 G[1,7,8]
   + G[2,7,0] + 2 G[2,7,1] + 3 G[2,7,2] + 4 G[2,7,3] + 5 G[2,7,4]
   + 6 G[2,7,5] + 7 G[2,7,6] + 8 G[2,7,7] + 9 G[2,7,8] + G[3,7,0]
   + 2 G[3,7,1] + 3 G[3,7,2] + 4 G[3,7,3] + 5 G[3,7,4] + 6 G[3,7,5]
   + 7 G[3,7,6] + 8 G[3,7,7] + 9 G[3,7,8] = 17
 ColUniqueness_at_(0,7): G[1,7,0] + G[2,7,0] + G[3,7,0] <= 1
 ColUniqueness_at_(0,7): G[1,7,1] + G[2,7,1] + G[3,7,1] <= 1
 ColUniqueness_at_(0,7): G[1,7,2] + G[2,7,2] + G[3,7,2] <= 1
 ColUniqueness_at_(0,7): G[1,7,3] + G[2,7,3] + G[3,7,3] <= 1
 ColUniqueness_at_(0,7): G[1,7,4] + G[2,7,4] + G[3,7,4] <= 1
 ColUniqueness_at_(0,7): G[1,7,5] + G[2,7,5] + G[3,7,5] <= 1
 ColUniqueness_at_(0,7): G[1,7,6] + G[2,7,6] + G[3,7,6] <= 1
 ColUniqueness_at_(0,7): G[1,7,7] + G[2,7,7] + G[3,7,7] <= 1
 ColUniqueness_at_(0,7): G[1,7,8] + G[2,7,8] + G[3,7,8] <= 1
 Vertical_Sum_at_(0,8): G[1,8,0] + 2 G[1,8,1] + 3 G[1,8,2] + 4 G[1,8,3]
   + 5 G[1,8,4] + 6 G[1,8,5] + 7 G[1,8,6] + 8 G[1,8,7] + 9 G[1,8,8]
   + G[2,8,0] + 2 G[2,8,1] + 3 G[2,8,2] + 4 G[2,8,3] + 5 G[2,8,4]
   + 6 G[2,8,5] + 7 G[2,8,6] + 8 G[2,8,7] + 9 G[2,8,8] + G[3,8,0]
   + 2 G[3,8,1] + 3 G[3,8,2] + 4 G[3,8,3] + 5 G[3,8,4] + 6 G[3,8,5]
   + 7 G[3,8,6] + 8 G[3,8,7] + 9 G[3,8,8] + G[4,8,0] + 2 G[4,8,1]
   + 3 G[4,8,2] + 4 G[4,8,3] + 5 G[4,8,4] + 6 G[4,8,5] + 7 G[4,8,6]
   + 8 G[4,8,7] + 9 G[4,8,8] + G[5,8,0] + 2 G[5,8,1] + 3 G[5,8,2]
   + 4 G[5,8,3] + 5 G[5,8,4] + 6 G[5,8,5] + 7 G[5,8,6] + 8 G[5,8,7]
   + 9 G[5,8,8] + G[6,8,0] + 2 G[6,8,1] + 3 G[6,8,2] + 4 G[6,8,3]
   + 5 G[6,8,4] + 6 G[6,8,5] + 7 G[6,8,6] + 8 G[6,8,7] + 9 G[6,8,8] = 33
 ColUniqueness_at_(0,8): G[1,8,0] + G[2,8,0] + G[3,8,0] + G[4,8,0]
   + G[5,8,0] + G[6,8,0] <= 1
 ColUniqueness_at_(0,8): G[1,8,1] + G[2,8,1] + G[3,8,1] + G[4,8,1]
   + G[5,8,1] + G[6,8,1] <= 1
 ColUniqueness_at_(0,8): G[1,8,2] + G[2,8,2] + G[3,8,2] + G[4,8,2]
   + G[5,8,2] + G[6,8,2] <= 1
 ColUniqueness_at_(0,8): G[1,8,3] + G[2,8,3] + G[3,8,3] + G[4,8,3]
   + G[5,8,3] + G[6,8,3] <= 1
 ColUniqueness_at_(0,8): G[1,8,4] + G[2,8,4] + G[3,8,4] + G[4,8,4]
   + G[5,8,4] + G[6,8,4] <= 1
 ColUniqueness_at_(0,8): G[1,8,5] + G[2,8,5] + G[3,8,5] + G[4,8,5]
   + G[5,8,5] + G[6,8,5] <= 1
 ColUniqueness_at_(0,8): G[1,8,6] + G[2,8,6] + G[3,8,6] + G[4,8,6]
   + G[5,8,6] + G[6,8,6] <= 1
 ColUniqueness_at_(0,8): G[1,8,7] + G[2,8,7] + G[3,8,7] + G[4,8,7]
   + G[5,8,7] + G[6,8,7] <= 1
 ColUniqueness_at_(0,8): G[1,8,8] + G[2,8,8] + G[3,8,8] + G[4,8,8]
   + G[5,8,8] + G[6,8,8] <= 1
 Vertical_Sum_at_(0,9): G[1,9,0] + 2 G[1,9,1] + 3 G[1,9,2] + 4 G[1,9,3]
   + 5 G[1,9,4] + 6 G[1,9,5] + 7 G[1,9,6] + 8 G[1,9,7] + 9 G[1,9,8]
   + G[2,9,0] + 2 G[2,9,1] + 3 G[2,9,2] + 4 G[2,9,3] + 5 G[2,9,4]
   + 6 G[2,9,5] + 7 G[2,9,6] + 8 G[2,9,7] + 9 G[2,9,8] = 6
 ColUniqueness_at_(0,9): G[1,9,0] + G[2,9,0] <= 1
 ColUniqueness_at_(0,9): G[1,9,1] + G[2,9,1] <= 1
 ColUniqueness_at_(0,9): G[1,9,2] + G[2,9,2] <= 1
 ColUniqueness_at_(0,9): G[1,9,3] + G[2,9,3] <= 1
 ColUniqueness_at_(0,9): G[1,9,4] + G[2,9,4] <= 1
 ColUniqueness_at_(0,9): G[1,9,5] + G[2,9,5] <= 1
 ColUniqueness_at_(0,9): G[1,9,6] + G[2,9,6] <= 1
 ColUniqueness_at_(0,9): G[1,9,7] + G[2,9,7] <= 1
 ColUniqueness_at_(0,9): G[1,9,8] + G[2,9,8] <= 1
 RightSum_at_(1,1): G[1,2,0] + 2 G[1,2,1] + 3 G[1,2,2] + 4 G[1,2,3]
   + 5 G[1,2,4] + 6 G[1,2,5] + 7 G[1,2,6] + 8 G[1,2,7] + 9 G[1,2,8]
   + G[1,3,0] + 2 G[1,3,1] + 3 G[1,3,2] + 4 G[1,3,3] + 5 G[1,3,4]
   + 6 G[1,3,5] + 7 G[1,3,6] + 8 G[1,3,7] + 9 G[1,3,8] = 7
 RowUniqueness_at_(1,1): G[1,2,0] + G[1,3,0] <= 1
 RowUniqueness_at_(1,1): G[1,2,1] + G[1,3,1] <= 1
 RowUniqueness_at_(1,1): G[1,2,2] + G[1,3,2] <= 1
 RowUniqueness_at_(1,1): G[1,2,3] + G[1,3,3] <= 1
 RowUniqueness_at_(1,1): G[1,2,4] + G[1,3,4] <= 1
 RowUniqueness_at_(1,1): G[1,2,5] + G[1,3,5] <= 1
 RowUniqueness_at_(1,1): G[1,2,6] + G[1,3,6] <= 1
 RowUniqueness_at_(1,1): G[1,2,7] + G[1,3,7] <= 1
 RowUniqueness_at_(1,1): G[1,2,8] + G[1,3,8] <= 1
 MissingVal_at_(1,2): G[1,2,0] + G[1,2,1] + G[1,2,2] + G[1,2,3] + G[1,2,4]
   + G[1,2,5] + G[1,2,6] + G[1,2,7] + G[1,2,8] <= 1
 MissingVal_at_(1,3): G[1,3,0] + G[1,3,1] + G[1,3,2] + G[1,3,3] + G[1,3,4]
   + G[1,3,5] + G[1,3,6] + G[1,3,7] + G[1,3,8] <= 1
 Vertical_Sum_at_(1,4): G[2,4,0] + 2 G[2,4,1] + 3 G[2,4,2] + 4 G[2,4,3]
   + 5 G[2,4,4] + 6 G[2,4,5] + 7 G[2,4,6] + 8 G[2,4,7] + 9 G[2,4,8]
   + G[3,4,0] + 2 G[3,4,1] + 3 G[3,4,2] + 4 G[3,4,3] + 5 G[3,4,4]
   + 6 G[3,4,5] + 7 G[3,4,6] + 8 G[3,4,7] + 9 G[3,4,8] = 15
 ColUniqueness_at_(1,4): G[2,4,0] + G[3,4,0] <= 1
 ColUniqueness_at_(1,4): G[2,4,1] + G[3,4,1] <= 1
 ColUniqueness_at_(1,4): G[2,4,2] + G[3,4,2] <= 1
 ColUniqueness_at_(1,4): G[2,4,3] + G[3,4,3] <= 1
 ColUniqueness_at_(1,4): G[2,4,4] + G[3,4,4] <= 1
 ColUniqueness_at_(1,4): G[2,4,5] + G[3,4,5] <= 1
 ColUniqueness_at_(1,4): G[2,4,6] + G[3,4,6] <= 1
 ColUniqueness_at_(1,4): G[2,4,7] + G[3,4,7] <= 1
 ColUniqueness_at_(1,4): G[2,4,8] + G[3,4,8] <= 1
 RightSum_at_(1,4): G[1,5,0] + 2 G[1,5,1] + 3 G[1,5,2] + 4 G[1,5,3]
   + 5 G[1,5,4] + 6 G[1,5,5] + 7 G[1,5,6] + 8 G[1,5,7] + 9 G[1,5,8]
   + G[1,6,0] + 2 G[1,6,1] + 3 G[1,6,2] + 4 G[1,6,3] + 5 G[1,6,4]
   + 6 G[1,6,5] + 7 G[1,6,6] + 8 G[1,6,7] + 9 G[1,6,8] + G[1,7,0]
   + 2 G[1,7,1] + 3 G[1,7,2] + 4 G[1,7,3] + 5 G[1,7,4] + 6 G[1,7,5]
   + 7 G[1,7,6] + 8 G[1,7,7] + 9 G[1,7,8] + G[1,8,0] + 2 G[1,8,1]
   + 3 G[1,8,2] + 4 G[1,8,3] + 5 G[1,8,4] + 6 G[1,8,5] + 7 G[1,8,6]
   + 8 G[1,8,7] + 9 G[1,8,8] + G[1,9,0] + 2 G[1,9,1] + 3 G[1,9,2]
   + 4 G[1,9,3] + 5 G[1,9,4] + 6 G[1,9,5] + 7 G[1,9,6] + 8 G[1,9,7]
   + 9 G[1,9,8] = 35
 RowUniqueness_at_(1,4): G[1,5,0] + G[1,6,0] + G[1,7,0] + G[1,8,0]
   + G[1,9,0] <= 1
 RowUniqueness_at_(1,4): G[1,5,1] + G[1,6,1] + G[1,7,1] + G[1,8,1]
   + G[1,9,1] <= 1
 RowUniqueness_at_(1,4): G[1,5,2] + G[1,6,2] + G[1,7,2] + G[1,8,2]
   + G[1,9,2] <= 1
 RowUniqueness_at_(1,4): G[1,5,3] + G[1,6,3] + G[1,7,3] + G[1,8,3]
   + G[1,9,3] <= 1
 RowUniqueness_at_(1,4): G[1,5,4] + G[1,6,4] + G[1,7,4] + G[1,8,4]
   + G[1,9,4] <= 1
 RowUniqueness_at_(1,4): G[1,5,5] + G[1,6,5] + G[1,7,5] + G[1,8,5]
   + G[1,9,5] <= 1
 RowUniqueness_at_(1,4): G[1,5,6] + G[1,6,6] + G[1,7,6] + G[1,8,6]
   + G[1,9,6] <= 1
 RowUniqueness_at_(1,4): G[1,5,7] + G[1,6,7] + G[1,7,7] + G[1,8,7]
   + G[1,9,7] <= 1
 RowUniqueness_at_(1,4): G[1,5,8] + G[1,6,8] + G[1,7,8] + G[1,8,8]
   + G[1,9,8] <= 1
 MissingVal_at_(1,5): G[1,5,0] + G[1,5,1] + G[1,5,2] + G[1,5,3] + G[1,5,4]
   + G[1,5,5] + G[1,5,6] + G[1,5,7] + G[1,5,8] <= 1
 MissingVal_at_(1,6): G[1,6,0] + G[1,6,1] + G[1,6,2] + G[1,6,3] + G[1,6,4]
   + G[1,6,5] + G[1,6,6] + G[1,6,7] + G[1,6,8] <= 1
 MissingVal_at_(1,7): G[1,7,0] + G[1,7,1] + G[1,7,2] + G[1,7,3] + G[1,7,4]
   + G[1,7,5] + G[1,7,6] + G[1,7,7] + G[1,7,8] <= 1
 MissingVal_at_(1,8): G[1,8,0] + G[1,8,1] + G[1,8,2] + G[1,8,3] + G[1,8,4]
   + G[1,8,5] + G[1,8,6] + G[1,8,7] + G[1,8,8] <= 1
 MissingVal_at_(1,9): G[1,9,0] + G[1,9,1] + G[1,9,2] + G[1,9,3] + G[1,9,4]
   + G[1,9,5] + G[1,9,6] + G[1,9,7] + G[1,9,8] <= 1
 Vertical_Sum_at_(2,1): G[3,1,0] + 2 G[3,1,1] + 3 G[3,1,2] + 4 G[3,1,3]
   + 5 G[3,1,4] + 6 G[3,1,5] + 7 G[3,1,6] + 8 G[3,1,7] + 9 G[3,1,8]
   + G[4,1,0] + 2 G[4,1,1] + 3 G[4,1,2] + 4 G[4,1,3] + 5 G[4,1,4]
   + 6 G[4,1,5] + 7 G[4,1,6] + 8 G[4,1,7] + 9 G[4,1,8] + G[5,1,0]
   + 2 G[5,1,1] + 3 G[5,1,2] + 4 G[5,1,3] + 5 G[5,1,4] + 6 G[5,1,5]
   + 7 G[5,1,6] + 8 G[5,1,7] + 9 G[5,1,8] = 8
 ColUniqueness_at_(2,1): G[3,1,0] + G[4,1,0] + G[5,1,0] <= 1
 ColUniqueness_at_(2,1): G[3,1,1] + G[4,1,1] + G[5,1,1] <= 1
 ColUniqueness_at_(2,1): G[3,1,2] + G[4,1,2] + G[5,1,2] <= 1
 ColUniqueness_at_(2,1): G[3,1,3] + G[4,1,3] + G[5,1,3] <= 1
 ColUniqueness_at_(2,1): G[3,1,4] + G[4,1,4] + G[5,1,4] <= 1
 ColUniqueness_at_(2,1): G[3,1,5] + G[4,1,5] + G[5,1,5] <= 1
 ColUniqueness_at_(2,1): G[3,1,6] + G[4,1,6] + G[5,1,6] <= 1
 ColUniqueness_at_(2,1): G[3,1,7] + G[4,1,7] + G[5,1,7] <= 1
 ColUniqueness_at_(2,1): G[3,1,8] + G[4,1,8] + G[5,1,8] <= 1
 RightSum_at_(2,1): G[2,2,0] + 2 G[2,2,1] + 3 G[2,2,2] + 4 G[2,2,3]
   + 5 G[2,2,4] + 6 G[2,2,5] + 7 G[2,2,6] + 8 G[2,2,7] + 9 G[2,2,8]
   + G[2,3,0] + 2 G[2,3,1] + 3 G[2,3,2] + 4 G[2,3,3] + 5 G[2,3,4]
   + 6 G[2,3,5] + 7 G[2,3,6] + 8 G[2,3,7] + 9 G[2,3,8] + G[2,4,0]
   + 2 G[2,4,1] + 3 G[2,4,2] + 4 G[2,4,3] + 5 G[2,4,4] + 6 G[2,4,5]
   + 7 G[2,4,6] + 8 G[2,4,7] + 9 G[2,4,8] + G[2,5,0] + 2 G[2,5,1]
   + 3 G[2,5,2] + 4 G[2,5,3] + 5 G[2,5,4] + 6 G[2,5,5] + 7 G[2,5,6]
   + 8 G[2,5,7] + 9 G[2,5,8] + G[2,6,0] + 2 G[2,6,1] + 3 G[2,6,2]
   + 4 G[2,6,3] + 5 G[2,6,4] + 6 G[2,6,5] + 7 G[2,6,6] + 8 G[2,6,7]
   + 9 G[2,6,8] + G[2,7,0] + 2 G[2,7,1] + 3 G[2,7,2] + 4 G[2,7,3]
   + 5 G[2,7,4] + 6 G[2,7,5] + 7 G[2,7,6] + 8 G[2,7,7] + 9 G[2,7,8]
   + G[2,8,0] + 2 G[2,8,1] + 3 G[2,8,2] + 4 G[2,8,3] + 5 G[2,8,4]
   + 6 G[2,8,5] + 7 G[2,8,6] + 8 G[2,8,7] + 9 G[2,8,8] + G[2,9,0]
   + 2 G[2,9,1] + 3 G[2,9,2] + 4 G[2,9,3] + 5 G[2,9,4] + 6 G[2,9,5]
   + 7 G[2,9,6] + 8 G[2,9,7] + 9 G[2,9,8] = 37
 RowUniqueness_at_(2,1): G[2,2,0] + G[2,3,0] + G[2,4,0] + G[2,5,0]
   + G[2,6,0] + G[2,7,0] + G[2,8,0] + G[2,9,0] <= 1
 RowUniqueness_at_(2,1): G[2,2,1] + G[2,3,1] + G[2,4,1] + G[2,5,1]
   + G[2,6,1] + G[2,7,1] + G[2,8,1] + G[2,9,1] <= 1
 RowUniqueness_at_(2,1): G[2,2,2] + G[2,3,2] + G[2,4,2] + G[2,5,2]
   + G[2,6,2] + G[2,7,2] + G[2,8,2] + G[2,9,2] <= 1
 RowUniqueness_at_(2,1): G[2,2,3] + G[2,3,3] + G[2,4,3] + G[2,5,3]
   + G[2,6,3] + G[2,7,3] + G[2,8,3] + G[2,9,3] <= 1
 RowUniqueness_at_(2,1): G[2,2,4] + G[2,3,4] + G[2,4,4] + G[2,5,4]
   + G[2,6,4] + G[2,7,4] + G[2,8,4] + G[2,9,4] <= 1
 RowUniqueness_at_(2,1): G[2,2,5] + G[2,3,5] + G[2,4,5] + G[2,5,5]
   + G[2,6,5] + G[2,7,5] + G[2,8,5] + G[2,9,5] <= 1
 RowUniqueness_at_(2,1): G[2,2,6] + G[2,3,6] + G[2,4,6] + G[2,5,6]
   + G[2,6,6] + G[2,7,6] + G[2,8,6] + G[2,9,6] <= 1
 RowUniqueness_at_(2,1): G[2,2,7] + G[2,3,7] + G[2,4,7] + G[2,5,7]
   + G[2,6,7] + G[2,7,7] + G[2,8,7] + G[2,9,7] <= 1
 RowUniqueness_at_(2,1): G[2,2,8] + G[2,3,8] + G[2,4,8] + G[2,5,8]
   + G[2,6,8] + G[2,7,8] + G[2,8,8] + G[2,9,8] <= 1
 MissingVal_at_(2,2): G[2,2,0] + G[2,2,1] + G[2,2,2] + G[2,2,3] + G[2,2,4]
   + G[2,2,5] + G[2,2,6] + G[2,2,7] + G[2,2,8] <= 1
 MissingVal_at_(2,3): G[2,3,0] + G[2,3,1] + G[2,3,2] + G[2,3,3] + G[2,3,4]
   + G[2,3,5] + G[2,3,6] + G[2,3,7] + G[2,3,8] <= 1
 MissingVal_at_(2,4): G[2,4,0] + G[2,4,1] + G[2,4,2] + G[2,4,3] + G[2,4,4]
   + G[2,4,5] + G[2,4,6] + G[2,4,7] + G[2,4,8] <= 1
 MissingVal_at_(2,5): G[2,5,0] + G[2,5,1] + G[2,5,2] + G[2,5,3] + G[2,5,4]
   + G[2,5,5] + G[2,5,6] + G[2,5,7] + G[2,5,8] <= 1
 MissingVal_at_(2,6): G[2,6,0] + G[2,6,1] + G[2,6,2] + G[2,6,3] + G[2,6,4]
   + G[2,6,5] + G[2,6,6] + G[2,6,7] + G[2,6,8] <= 1
 MissingVal_at_(2,7): G[2,7,0] + G[2,7,1] + G[2,7,2] + G[2,7,3] + G[2,7,4]
   + G[2,7,5] + G[2,7,6] + G[2,7,7] + G[2,7,8] <= 1
 MissingVal_at_(2,8): G[2,8,0] + G[2,8,1] + G[2,8,2] + G[2,8,3] + G[2,8,4]
   + G[2,8,5] + G[2,8,6] + G[2,8,7] + G[2,8,8] <= 1
 MissingVal_at_(2,9): G[2,9,0] + G[2,9,1] + G[2,9,2] + G[2,9,3] + G[2,9,4]
   + G[2,9,5] + G[2,9,6] + G[2,9,7] + G[2,9,8] <= 1
 RightSum_at_(3,0): G[3,1,0] + 2 G[3,1,1] + 3 G[3,1,2] + 4 G[3,1,3]
   + 5 G[3,1,4] + 6 G[3,1,5] + 7 G[3,1,6] + 8 G[3,1,7] + 9 G[3,1,8]
   + G[3,2,0] + 2 G[3,2,1] + 3 G[3,2,2] + 4 G[3,2,3] + 5 G[3,2,4]
   + 6 G[3,2,5] + 7 G[3,2,6] + 8 G[3,2,7] + 9 G[3,2,8] + G[3,3,0]
   + 2 G[3,3,1] + 3 G[3,3,2] + 4 G[3,3,3] + 5 G[3,3,4] + 6 G[3,3,5]
   + 7 G[3,3,6] + 8 G[3,3,7] + 9 G[3,3,8] + G[3,4,0] + 2 G[3,4,1]
   + 3 G[3,4,2] + 4 G[3,4,3] + 5 G[3,4,4] + 6 G[3,4,5] + 7 G[3,4,6]
   + 8 G[3,4,7] + 9 G[3,4,8] = 29
 RowUniqueness_at_(3,0): G[3,1,0] + G[3,2,0] + G[3,3,0] + G[3,4,0] <= 1
 RowUniqueness_at_(3,0): G[3,1,1] + G[3,2,1] + G[3,3,1] + G[3,4,1] <= 1
 RowUniqueness_at_(3,0): G[3,1,2] + G[3,2,2] + G[3,3,2] + G[3,4,2] <= 1
 RowUniqueness_at_(3,0): G[3,1,3] + G[3,2,3] + G[3,3,3] + G[3,4,3] <= 1
 RowUniqueness_at_(3,0): G[3,1,4] + G[3,2,4] + G[3,3,4] + G[3,4,4] <= 1
 RowUniqueness_at_(3,0): G[3,1,5] + G[3,2,5] + G[3,3,5] + G[3,4,5] <= 1
 RowUniqueness_at_(3,0): G[3,1,6] + G[3,2,6] + G[3,3,6] + G[3,4,6] <= 1
 RowUniqueness_at_(3,0): G[3,1,7] + G[3,2,7] + G[3,3,7] + G[3,4,7] <= 1
 RowUniqueness_at_(3,0): G[3,1,8] + G[3,2,8] + G[3,3,8] + G[3,4,8] <= 1
 MissingVal_at_(3,1): G[3,1,0] + G[3,1,1] + G[3,1,2] + G[3,1,3] + G[3,1,4]
   + G[3,1,5] + G[3,1,6] + G[3,1,7] + G[3,1,8] <= 1
 MissingVal_at_(3,2): G[3,2,0] + G[3,2,1] + G[3,2,2] + G[3,2,3] + G[3,2,4]
   + G[3,2,5] + G[3,2,6] + G[3,2,7] + G[3,2,8] <= 1
 MissingVal_at_(3,3): G[3,3,0] + G[3,3,1] + G[3,3,2] + G[3,3,3] + G[3,3,4]
   + G[3,3,5] + G[3,3,6] + G[3,3,7] + G[3,3,8] <= 1
 MissingVal_at_(3,4): G[3,4,0] + G[3,4,1] + G[3,4,2] + G[3,4,3] + G[3,4,4]
   + G[3,4,5] + G[3,4,6] + G[3,4,7] + G[3,4,8] <= 1
 Vertical_Sum_at_(3,5): G[4,5,0] + 2 G[4,5,1] + 3 G[4,5,2] + 4 G[4,5,3]
   + 5 G[4,5,4] + 6 G[4,5,5] + 7 G[4,5,6] + 8 G[4,5,7] + 9 G[4,5,8]
   + G[5,5,0] + 2 G[5,5,1] + 3 G[5,5,2] + 4 G[5,5,3] + 5 G[5,5,4]
   + 6 G[5,5,5] + 7 G[5,5,6] + 8 G[5,5,7] + 9 G[5,5,8] = 4
 ColUniqueness_at_(3,5): G[4,5,0] + G[5,5,0] <= 1
 ColUniqueness_at_(3,5): G[4,5,1] + G[5,5,1] <= 1
 ColUniqueness_at_(3,5): G[4,5,2] + G[5,5,2] <= 1
 ColUniqueness_at_(3,5): G[4,5,3] + G[5,5,3] <= 1
 ColUniqueness_at_(3,5): G[4,5,4] + G[5,5,4] <= 1
 ColUniqueness_at_(3,5): G[4,5,5] + G[5,5,5] <= 1
 ColUniqueness_at_(3,5): G[4,5,6] + G[5,5,6] <= 1
 ColUniqueness_at_(3,5): G[4,5,7] + G[5,5,7] <= 1
 ColUniqueness_at_(3,5): G[4,5,8] + G[5,5,8] <= 1
 Vertical_Sum_at_(3,6): G[4,6,0] + 2 G[4,6,1] + 3 G[4,6,2] + 4 G[4,6,3]
   + 5 G[4,6,4] + 6 G[4,6,5] + 7 G[4,6,6] + 8 G[4,6,7] + 9 G[4,6,8]
   + G[5,6,0] + 2 G[5,6,1] + 3 G[5,6,2] + 4 G[5,6,3] + 5 G[5,6,4]
   + 6 G[5,6,5] + 7 G[5,6,6] + 8 G[5,6,7] + 9 G[5,6,8] + G[6,6,0]
   + 2 G[6,6,1] + 3 G[6,6,2] + 4 G[6,6,3] + 5 G[6,6,4] + 6 G[6,6,5]
   + 7 G[6,6,6] + 8 G[6,6,7] + 9 G[6,6,8] + G[7,6,0] + 2 G[7,6,1]
   + 3 G[7,6,2] + 4 G[7,6,3] + 5 G[7,6,4] + 6 G[7,6,5] + 7 G[7,6,6]
   + 8 G[7,6,7] + 9 G[7,6,8] + G[8,6,0] + 2 G[8,6,1] + 3 G[8,6,2]
   + 4 G[8,6,3] + 5 G[8,6,4] + 6 G[8,6,5] + 7 G[8,6,6] + 8 G[8,6,7]
   + 9 G[8,6,8] + G[9,6,0] + 2 G[9,6,1] + 3 G[9,6,2] + 4 G[9,6,3]
   + 5 G[9,6,4] + 6 G[9,6,5] + 7 G[9,6,6] + 8 G[9,6,7] + 9 G[9,6,8] = 24
 ColUniqueness_at_(3,6): G[4,6,0] + G[5,6,0] + G[6,6,0] + G[7,6,0]
   + G[8,6,0] + G[9,6,0] <= 1
 ColUniqueness_at_(3,6): G[4,6,1] + G[5,6,1] + G[6,6,1] + G[7,6,1]
   + G[8,6,1] + G[9,6,1] <= 1
 ColUniqueness_at_(3,6): G[4,6,2] + G[5,6,2] + G[6,6,2] + G[7,6,2]
   + G[8,6,2] + G[9,6,2] <= 1
 ColUniqueness_at_(3,6): G[4,6,3] + G[5,6,3] + G[6,6,3] + G[7,6,3]
   + G[8,6,3] + G[9,6,3] <= 1
 ColUniqueness_at_(3,6): G[4,6,4] + G[5,6,4] + G[6,6,4] + G[7,6,4]
   + G[8,6,4] + G[9,6,4] <= 1
 ColUniqueness_at_(3,6): G[4,6,5] + G[5,6,5] + G[6,6,5] + G[7,6,5]
   + G[8,6,5] + G[9,6,5] <= 1
 ColUniqueness_at_(3,6): G[4,6,6] + G[5,6,6] + G[6,6,6] + G[7,6,6]
   + G[8,6,6] + G[9,6,6] <= 1
 ColUniqueness_at_(3,6): G[4,6,7] + G[5,6,7] + G[6,6,7] + G[7,6,7]
   + G[8,6,7] + G[9,6,7] <= 1
 ColUniqueness_at_(3,6): G[4,6,8] + G[5,6,8] + G[6,6,8] + G[7,6,8]
   + G[8,6,8] + G[9,6,8] <= 1
 RightSum_at_(3,6): G[3,7,0] + 2 G[3,7,1] + 3 G[3,7,2] + 4 G[3,7,3]
   + 5 G[3,7,4] + 6 G[3,7,5] + 7 G[3,7,6] + 8 G[3,7,7] + 9 G[3,7,8]
   + G[3,8,0] + 2 G[3,8,1] + 3 G[3,8,2] + 4 G[3,8,3] + 5 G[3,8,4]
   + 6 G[3,8,5] + 7 G[3,8,6] + 8 G[3,8,7] + 9 G[3,8,8] = 8
 RowUniqueness_at_(3,6): G[3,7,0] + G[3,8,0] <= 1
 RowUniqueness_at_(3,6): G[3,7,1] + G[3,8,1] <= 1
 RowUniqueness_at_(3,6): G[3,7,2] + G[3,8,2] <= 1
 RowUniqueness_at_(3,6): G[3,7,3] + G[3,8,3] <= 1
 RowUniqueness_at_(3,6): G[3,7,4] + G[3,8,4] <= 1
 RowUniqueness_at_(3,6): G[3,7,5] + G[3,8,5] <= 1
 RowUniqueness_at_(3,6): G[3,7,6] + G[3,8,6] <= 1
 RowUniqueness_at_(3,6): G[3,7,7] + G[3,8,7] <= 1
 RowUniqueness_at_(3,6): G[3,7,8] + G[3,8,8] <= 1
 MissingVal_at_(3,7): G[3,7,0] + G[3,7,1] + G[3,7,2] + G[3,7,3] + G[3,7,4]
   + G[3,7,5] + G[3,7,6] + G[3,7,7] + G[3,7,8] <= 1
 MissingVal_at_(3,8): G[3,8,0] + G[3,8,1] + G[3,8,2] + G[3,8,3] + G[3,8,4]
   + G[3,8,5] + G[3,8,6] + G[3,8,7] + G[3,8,8] <= 1
 Vertical_Sum_at_(3,9): G[4,9,0] + 2 G[4,9,1] + 3 G[4,9,2] + 4 G[4,9,3]
   + 5 G[4,9,4] + 6 G[4,9,5] + 7 G[4,9,6] + 8 G[4,9,7] + 9 G[4,9,8]
   + G[5,9,0] + 2 G[5,9,1] + 3 G[5,9,2] + 4 G[5,9,3] + 5 G[5,9,4]
   + 6 G[5,9,5] + 7 G[5,9,6] + 8 G[5,9,7] + 9 G[5,9,8] + G[6,9,0]
   + 2 G[6,9,1] + 3 G[6,9,2] + 4 G[6,9,3] + 5 G[6,9,4] + 6 G[6,9,5]
   + 7 G[6,9,6] + 8 G[6,9,7] + 9 G[6,9,8] = 18
 ColUniqueness_at_(3,9): G[4,9,0] + G[5,9,0] + G[6,9,0] <= 1
 ColUniqueness_at_(3,9): G[4,9,1] + G[5,9,1] + G[6,9,1] <= 1
 ColUniqueness_at_(3,9): G[4,9,2] + G[5,9,2] + G[6,9,2] <= 1
 ColUniqueness_at_(3,9): G[4,9,3] + G[5,9,3] + G[6,9,3] <= 1
 ColUniqueness_at_(3,9): G[4,9,4] + G[5,9,4] + G[6,9,4] <= 1
 ColUniqueness_at_(3,9): G[4,9,5] + G[5,9,5] + G[6,9,5] <= 1
 ColUniqueness_at_(3,9): G[4,9,6] + G[5,9,6] + G[6,9,6] <= 1
 ColUniqueness_at_(3,9): G[4,9,7] + G[5,9,7] + G[6,9,7] <= 1
 ColUniqueness_at_(3,9): G[4,9,8] + G[5,9,8] + G[6,9,8] <= 1
 RightSum_at_(4,0): G[4,1,0] + 2 G[4,1,1] + 3 G[4,1,2] + 4 G[4,1,3]
   + 5 G[4,1,4] + 6 G[4,1,5] + 7 G[4,1,6] + 8 G[4,1,7] + 9 G[4,1,8]
   + G[4,2,0] + 2 G[4,2,1] + 3 G[4,2,2] + 4 G[4,2,3] + 5 G[4,2,4]
   + 6 G[4,2,5] + 7 G[4,2,6] + 8 G[4,2,7] + 9 G[4,2,8] + G[4,3,0]
   + 2 G[4,3,1] + 3 G[4,3,2] + 4 G[4,3,3] + 5 G[4,3,4] + 6 G[4,3,5]
   + 7 G[4,3,6] + 8 G[4,3,7] + 9 G[4,3,8] = 6
 RowUniqueness_at_(4,0): G[4,1,0] + G[4,2,0] + G[4,3,0] <= 1
 RowUniqueness_at_(4,0): G[4,1,1] + G[4,2,1] + G[4,3,1] <= 1
 RowUniqueness_at_(4,0): G[4,1,2] + G[4,2,2] + G[4,3,2] <= 1
 RowUniqueness_at_(4,0): G[4,1,3] + G[4,2,3] + G[4,3,3] <= 1
 RowUniqueness_at_(4,0): G[4,1,4] + G[4,2,4] + G[4,3,4] <= 1
 RowUniqueness_at_(4,0): G[4,1,5] + G[4,2,5] + G[4,3,5] <= 1
 RowUniqueness_at_(4,0): G[4,1,6] + G[4,2,6] + G[4,3,6] <= 1
 RowUniqueness_at_(4,0): G[4,1,7] + G[4,2,7] + G[4,3,7] <= 1
 RowUniqueness_at_(4,0): G[4,1,8] + G[4,2,8] + G[4,3,8] <= 1
 MissingVal_at_(4,1): G[4,1,0] + G[4,1,1] + G[4,1,2] + G[4,1,3] + G[4,1,4]
   + G[4,1,5] + G[4,1,6] + G[4,1,7] + G[4,1,8] <= 1
 MissingVal_at_(4,2): G[4,2,0] + G[4,2,1] + G[4,2,2] + G[4,2,3] + G[4,2,4]
   + G[4,2,5] + G[4,2,6] + G[4,2,7] + G[4,2,8] <= 1
 MissingVal_at_(4,3): G[4,3,0] + G[4,3,1] + G[4,3,2] + G[4,3,3] + G[4,3,4]
   + G[4,3,5] + G[4,3,6] + G[4,3,7] + G[4,3,8] <= 1
 Vertical_Sum_at_(4,4): G[5,4,0] + 2 G[5,4,1] + 3 G[5,4,2] + 4 G[5,4,3]
   + 5 G[5,4,4] + 6 G[5,4,5] + 7 G[5,4,6] + 8 G[5,4,7] + 9 G[5,4,8]
   + G[6,4,0] + 2 G[6,4,1] + 3 G[6,4,2] + 4 G[6,4,3] + 5 G[6,4,4]
   + 6 G[6,4,5] + 7 G[6,4,6] + 8 G[6,4,7] + 9 G[6,4,8] = 9
 ColUniqueness_at_(4,4): G[5,4,0] + G[6,4,0] <= 1
 ColUniqueness_at_(4,4): G[5,4,1] + G[6,4,1] <= 1
 ColUniqueness_at_(4,4): G[5,4,2] + G[6,4,2] <= 1
 ColUniqueness_at_(4,4): G[5,4,3] + G[6,4,3] <= 1
 ColUniqueness_at_(4,4): G[5,4,4] + G[6,4,4] <= 1
 ColUniqueness_at_(4,4): G[5,4,5] + G[6,4,5] <= 1
 ColUniqueness_at_(4,4): G[5,4,6] + G[6,4,6] <= 1
 ColUniqueness_at_(4,4): G[5,4,7] + G[6,4,7] <= 1
 ColUniqueness_at_(4,4): G[5,4,8] + G[6,4,8] <= 1
 RightSum_at_(4,4): G[4,5,0] + 2 G[4,5,1] + 3 G[4,5,2] + 4 G[4,5,3]
   + 5 G[4,5,4] + 6 G[4,5,5] + 7 G[4,5,6] + 8 G[4,5,7] + 9 G[4,5,8]
   + G[4,6,0] + 2 G[4,6,1] + 3 G[4,6,2] + 4 G[4,6,3] + 5 G[4,6,4]
   + 6 G[4,6,5] + 7 G[4,6,6] + 8 G[4,6,7] + 9 G[4,6,8] = 11
 RowUniqueness_at_(4,4): G[4,5,0] + G[4,6,0] <= 1
 RowUniqueness_at_(4,4): G[4,5,1] + G[4,6,1] <= 1
 RowUniqueness_at_(4,4): G[4,5,2] + G[4,6,2] <= 1
 RowUniqueness_at_(4,4): G[4,5,3] + G[4,6,3] <= 1
 RowUniqueness_at_(4,4): G[4,5,4] + G[4,6,4] <= 1
 RowUniqueness_at_(4,4): G[4,5,5] + G[4,6,5] <= 1
 RowUniqueness_at_(4,4): G[4,5,6] + G[4,6,6] <= 1
 RowUniqueness_at_(4,4): G[4,5,7] + G[4,6,7] <= 1
 RowUniqueness_at_(4,4): G[4,5,8] + G[4,6,8] <= 1
 MissingVal_at_(4,5): G[4,5,0] + G[4,5,1] + G[4,5,2] + G[4,5,3] + G[4,5,4]
   + G[4,5,5] + G[4,5,6] + G[4,5,7] + G[4,5,8] <= 1
 MissingVal_at_(4,6): G[4,6,0] + G[4,6,1] + G[4,6,2] + G[4,6,3] + G[4,6,4]
   + G[4,6,5] + G[4,6,6] + G[4,6,7] + G[4,6,8] <= 1
 Vertical_Sum_at_(4,7): G[5,7,0] + 2 G[5,7,1] + 3 G[5,7,2] + 4 G[5,7,3]
   + 5 G[5,7,4] + 6 G[5,7,5] + 7 G[5,7,6] + 8 G[5,7,7] + 9 G[5,7,8]
   + G[6,7,0] + 2 G[6,7,1] + 3 G[6,7,2] + 4 G[6,7,3] + 5 G[6,7,4]
   + 6 G[6,7,5] + 7 G[6,7,6] + 8 G[6,7,7] + 9 G[6,7,8] + G[7,7,0]
   + 2 G[7,7,1] + 3 G[7,7,2] + 4 G[7,7,3] + 5 G[7,7,4] + 6 G[7,7,5]
   + 7 G[7,7,6] + 8 G[7,7,7] + 9 G[7,7,8] + G[8,7,0] + 2 G[8,7,1]
   + 3 G[8,7,2] + 4 G[8,7,3] + 5 G[8,7,4] + 6 G[8,7,5] + 7 G[8,7,6]
   + 8 G[8,7,7] + 9 G[8,7,8] = 25
 ColUniqueness_at_(4,7): G[5,7,0] + G[6,7,0] + G[7,7,0] + G[8,7,0] <= 1
 ColUniqueness_at_(4,7): G[5,7,1] + G[6,7,1] + G[7,7,1] + G[8,7,1] <= 1
 ColUniqueness_at_(4,7): G[5,7,2] + G[6,7,2] + G[7,7,2] + G[8,7,2] <= 1
 ColUniqueness_at_(4,7): G[5,7,3] + G[6,7,3] + G[7,7,3] + G[8,7,3] <= 1
 ColUniqueness_at_(4,7): G[5,7,4] + G[6,7,4] + G[7,7,4] + G[8,7,4] <= 1
 ColUniqueness_at_(4,7): G[5,7,5] + G[6,7,5] + G[7,7,5] + G[8,7,5] <= 1
 ColUniqueness_at_(4,7): G[5,7,6] + G[6,7,6] + G[7,7,6] + G[8,7,6] <= 1
 ColUniqueness_at_(4,7): G[5,7,7] + G[6,7,7] + G[7,7,7] + G[8,7,7] <= 1
 ColUniqueness_at_(4,7): G[5,7,8] + G[6,7,8] + G[7,7,8] + G[8,7,8] <= 1
 RightSum_at_(4,7): G[4,8,0] + 2 G[4,8,1] + 3 G[4,8,2] + 4 G[4,8,3]
   + 5 G[4,8,4] + 6 G[4,8,5] + 7 G[4,8,6] + 8 G[4,8,7] + 9 G[4,8,8]
   + G[4,9,0] + 2 G[4,9,1] + 3 G[4,9,2] + 4 G[4,9,3] + 5 G[4,9,4]
   + 6 G[4,9,5] + 7 G[4,9,6] + 8 G[4,9,7] + 9 G[4,9,8] = 12
 RowUniqueness_at_(4,7): G[4,8,0] + G[4,9,0] <= 1
 RowUniqueness_at_(4,7): G[4,8,1] + G[4,9,1] <= 1
 RowUniqueness_at_(4,7): G[4,8,2] + G[4,9,2] <= 1
 RowUniqueness_at_(4,7): G[4,8,3] + G[4,9,3] <= 1
 RowUniqueness_at_(4,7): G[4,8,4] + G[4,9,4] <= 1
 RowUniqueness_at_(4,7): G[4,8,5] + G[4,9,5] <= 1
 RowUniqueness_at_(4,7): G[4,8,6] + G[4,9,6] <= 1
 RowUniqueness_at_(4,7): G[4,8,7] + G[4,9,7] <= 1
 RowUniqueness_at_(4,7): G[4,8,8] + G[4,9,8] <= 1
 MissingVal_at_(4,8): G[4,8,0] + G[4,8,1] + G[4,8,2] + G[4,8,3] + G[4,8,4]
   + G[4,8,5] + G[4,8,6] + G[4,8,7] + G[4,8,8] <= 1
 MissingVal_at_(4,9): G[4,9,0] + G[4,9,1] + G[4,9,2] + G[4,9,3] + G[4,9,4]
   + G[4,9,5] + G[4,9,6] + G[4,9,7] + G[4,9,8] <= 1
 RightSum_at_(5,0): G[5,1,0] + 2 G[5,1,1] + 3 G[5,1,2] + 4 G[5,1,3]
   + 5 G[5,1,4] + 6 G[5,1,5] + 7 G[5,1,6] + 8 G[5,1,7] + 9 G[5,1,8]
   + G[5,2,0] + 2 G[5,2,1] + 3 G[5,2,2] + 4 G[5,2,3] + 5 G[5,2,4]
   + 6 G[5,2,5] + 7 G[5,2,6] + 8 G[5,2,7] + 9 G[5,2,8] = 4
 RowUniqueness_at_(5,0): G[5,1,0] + G[5,2,0] <= 1
 RowUniqueness_at_(5,0): G[5,1,1] + G[5,2,1] <= 1
 RowUniqueness_at_(5,0): G[5,1,2] + G[5,2,2] <= 1
 RowUniqueness_at_(5,0): G[5,1,3] + G[5,2,3] <= 1
 RowUniqueness_at_(5,0): G[5,1,4] + G[5,2,4] <= 1
 RowUniqueness_at_(5,0): G[5,1,5] + G[5,2,5] <= 1
 RowUniqueness_at_(5,0): G[5,1,6] + G[5,2,6] <= 1
 RowUniqueness_at_(5,0): G[5,1,7] + G[5,2,7] <= 1
 RowUniqueness_at_(5,0): G[5,1,8] + G[5,2,8] <= 1
 MissingVal_at_(5,1): G[5,1,0] + G[5,1,1] + G[5,1,2] + G[5,1,3] + G[5,1,4]
   + G[5,1,5] + G[5,1,6] + G[5,1,7] + G[5,1,8] <= 1
 MissingVal_at_(5,2): G[5,2,0] + G[5,2,1] + G[5,2,2] + G[5,2,3] + G[5,2,4]
   + G[5,2,5] + G[5,2,6] + G[5,2,7] + G[5,2,8] <= 1
 Vertical_Sum_at_(5,3): G[6,3,0] + 2 G[6,3,1] + 3 G[6,3,2] + 4 G[6,3,3]
   + 5 G[6,3,4] + 6 G[6,3,5] + 7 G[6,3,6] + 8 G[6,3,7] + 9 G[6,3,8]
   + G[7,3,0] + 2 G[7,3,1] + 3 G[7,3,2] + 4 G[7,3,3] + 5 G[7,3,4]
   + 6 G[7,3,5] + 7 G[7,3,6] + 8 G[7,3,7] + 9 G[7,3,8] = 6
 ColUniqueness_at_(5,3): G[6,3,0] + G[7,3,0] <= 1
 ColUniqueness_at_(5,3): G[6,3,1] + G[7,3,1] <= 1
 ColUniqueness_at_(5,3): G[6,3,2] + G[7,3,2] <= 1
 ColUniqueness_at_(5,3): G[6,3,3] + G[7,3,3] <= 1
 ColUniqueness_at_(5,3): G[6,3,4] + G[7,3,4] <= 1
 ColUniqueness_at_(5,3): G[6,3,5] + G[7,3,5] <= 1
 ColUniqueness_at_(5,3): G[6,3,6] + G[7,3,6] <= 1
 ColUniqueness_at_(5,3): G[6,3,7] + G[7,3,7] <= 1
 ColUniqueness_at_(5,3): G[6,3,8] + G[7,3,8] <= 1
 RightSum_at_(5,3): G[5,4,0] + 2 G[5,4,1] + 3 G[5,4,2] + 4 G[5,4,3]
   + 5 G[5,4,4] + 6 G[5,4,5] + 7 G[5,4,6] + 8 G[5,4,7] + 9 G[5,4,8]
   + G[5,5,0] + 2 G[5,5,1] + 3 G[5,5,2] + 4 G[5,5,3] + 5 G[5,5,4]
   + 6 G[5,5,5] + 7 G[5,5,6] + 8 G[5,5,7] + 9 G[5,5,8] + G[5,6,0]
   + 2 G[5,6,1] + 3 G[5,6,2] + 4 G[5,6,3] + 5 G[5,6,4] + 6 G[5,6,5]
   + 7 G[5,6,6] + 8 G[5,6,7] + 9 G[5,6,8] + G[5,7,0] + 2 G[5,7,1]
   + 3 G[5,7,2] + 4 G[5,7,3] + 5 G[5,7,4] + 6 G[5,7,5] + 7 G[5,7,6]
   + 8 G[5,7,7] + 9 G[5,7,8] + G[5,8,0] + 2 G[5,8,1] + 3 G[5,8,2]
   + 4 G[5,8,3] + 5 G[5,8,4] + 6 G[5,8,5] + 7 G[5,8,6] + 8 G[5,8,7]
   + 9 G[5,8,8] + G[5,9,0] + 2 G[5,9,1] + 3 G[5,9,2] + 4 G[5,9,3]
   + 5 G[5,9,4] + 6 G[5,9,5] + 7 G[5,9,6] + 8 G[5,9,7] + 9 G[5,9,8] = 36
 RowUniqueness_at_(5,3): G[5,4,0] + G[5,5,0] + G[5,6,0] + G[5,7,0]
   + G[5,8,0] + G[5,9,0] <= 1
 RowUniqueness_at_(5,3): G[5,4,1] + G[5,5,1] + G[5,6,1] + G[5,7,1]
   + G[5,8,1] + G[5,9,1] <= 1
 RowUniqueness_at_(5,3): G[5,4,2] + G[5,5,2] + G[5,6,2] + G[5,7,2]
   + G[5,8,2] + G[5,9,2] <= 1
 RowUniqueness_at_(5,3): G[5,4,3] + G[5,5,3] + G[5,6,3] + G[5,7,3]
   + G[5,8,3] + G[5,9,3] <= 1
 RowUniqueness_at_(5,3): G[5,4,4] + G[5,5,4] + G[5,6,4] + G[5,7,4]
   + G[5,8,4] + G[5,9,4] <= 1
 RowUniqueness_at_(5,3): G[5,4,5] + G[5,5,5] + G[5,6,5] + G[5,7,5]
   + G[5,8,5] + G[5,9,5] <= 1
 RowUniqueness_at_(5,3): G[5,4,6] + G[5,5,6] + G[5,6,6] + G[5,7,6]
   + G[5,8,6] + G[5,9,6] <= 1
 RowUniqueness_at_(5,3): G[5,4,7] + G[5,5,7] + G[5,6,7] + G[5,7,7]
   + G[5,8,7] + G[5,9,7] <= 1
 RowUniqueness_at_(5,3): G[5,4,8] + G[5,5,8] + G[5,6,8] + G[5,7,8]
   + G[5,8,8] + G[5,9,8] <= 1
 MissingVal_at_(5,4): G[5,4,0] + G[5,4,1] + G[5,4,2] + G[5,4,3] + G[5,4,4]
   + G[5,4,5] + G[5,4,6] + G[5,4,7] + G[5,4,8] <= 1
 MissingVal_at_(5,5): G[5,5,0] + G[5,5,1] + G[5,5,2] + G[5,5,3] + G[5,5,4]
   + G[5,5,5] + G[5,5,6] + G[5,5,7] + G[5,5,8] <= 1
 MissingVal_at_(5,6): G[5,6,0] + G[5,6,1] + G[5,6,2] + G[5,6,3] + G[5,6,4]
   + G[5,6,5] + G[5,6,6] + G[5,6,7] + G[5,6,8] <= 1
 MissingVal_at_(5,7): G[5,7,0] + G[5,7,1] + G[5,7,2] + G[5,7,3] + G[5,7,4]
   + G[5,7,5] + G[5,7,6] + G[5,7,7] + G[5,7,8] <= 1
 MissingVal_at_(5,8): G[5,8,0] + G[5,8,1] + G[5,8,2] + G[5,8,3] + G[5,8,4]
   + G[5,8,5] + G[5,8,6] + G[5,8,7] + G[5,8,8] <= 1
 MissingVal_at_(5,9): G[5,9,0] + G[5,9,1] + G[5,9,2] + G[5,9,3] + G[5,9,4]
   + G[5,9,5] + G[5,9,6] + G[5,9,7] + G[5,9,8] <= 1
 Vertical_Sum_at_(6,2): G[7,2,0] + 2 G[7,2,1] + 3 G[7,2,2] + 4 G[7,2,3]
   + 5 G[7,2,4] + 6 G[7,2,5] + 7 G[7,2,6] + 8 G[7,2,7] + 9 G[7,2,8]
   + G[8,2,0] + 2 G[8,2,1] + 3 G[8,2,2] + 4 G[8,2,3] + 5 G[8,2,4]
   + 6 G[8,2,5] + 7 G[8,2,6] + 8 G[8,2,7] + 9 G[8,2,8] + G[9,2,0]
   + 2 G[9,2,1] + 3 G[9,2,2] + 4 G[9,2,3] + 5 G[9,2,4] + 6 G[9,2,5]
   + 7 G[9,2,6] + 8 G[9,2,7] + 9 G[9,2,8] + G[10,2,0] + 2 G[10,2,1]
   + 3 G[10,2,2] + 4 G[10,2,3] + 5 G[10,2,4] + 6 G[10,2,5] + 7 G[10,2,6]
   + 8 G[10,2,7] + 9 G[10,2,8] = 27
 ColUniqueness_at_(6,2): G[7,2,0] + G[8,2,0] + G[9,2,0] + G[10,2,0] <= 1
 ColUniqueness_at_(6,2): G[7,2,1] + G[8,2,1] + G[9,2,1] + G[10,2,1] <= 1
 ColUniqueness_at_(6,2): G[7,2,2] + G[8,2,2] + G[9,2,2] + G[10,2,2] <= 1
 ColUniqueness_at_(6,2): G[7,2,3] + G[8,2,3] + G[9,2,3] + G[10,2,3] <= 1
 ColUniqueness_at_(6,2): G[7,2,4] + G[8,2,4] + G[9,2,4] + G[10,2,4] <= 1
 ColUniqueness_at_(6,2): G[7,2,5] + G[8,2,5] + G[9,2,5] + G[10,2,5] <= 1
 ColUniqueness_at_(6,2): G[7,2,6] + G[8,2,6] + G[9,2,6] + G[10,2,6] <= 1
 ColUniqueness_at_(6,2): G[7,2,7] + G[8,2,7] + G[9,2,7] + G[10,2,7] <= 1
 ColUniqueness_at_(6,2): G[7,2,8] + G[8,2,8] + G[9,2,8] + G[10,2,8] <= 1
 RightSum_at_(6,2): G[6,3,0] + 2 G[6,3,1] + 3 G[6,3,2] + 4 G[6,3,3]
   + 5 G[6,3,4] + 6 G[6,3,5] + 7 G[6,3,6] + 8 G[6,3,7] + 9 G[6,3,8]
   + G[6,4,0] + 2 G[6,4,1] + 3 G[6,4,2] + 4 G[6,4,3] + 5 G[6,4,4]
   + 6 G[6,4,5] + 7 G[6,4,6] + 8 G[6,4,7] + 9 G[6,4,8] = 6
 RowUniqueness_at_(6,2): G[6,3,0] + G[6,4,0] <= 1
 RowUniqueness_at_(6,2): G[6,3,1] + G[6,4,1] <= 1
 RowUniqueness_at_(6,2): G[6,3,2] + G[6,4,2] <= 1
 RowUniqueness_at_(6,2): G[6,3,3] + G[6,4,3] <= 1
 RowUniqueness_at_(6,2): G[6,3,4] + G[6,4,4] <= 1
 RowUniqueness_at_(6,2): G[6,3,5] + G[6,4,5] <= 1
 RowUniqueness_at_(6,2): G[6,3,6] + G[6,4,6] <= 1
 RowUniqueness_at_(6,2): G[6,3,7] + G[6,4,7] <= 1
 RowUniqueness_at_(6,2): G[6,3,8] + G[6,4,8] <= 1
 MissingVal_at_(6,3): G[6,3,0] + G[6,3,1] + G[6,3,2] + G[6,3,3] + G[6,3,4]
   + G[6,3,5] + G[6,3,6] + G[6,3,7] + G[6,3,8] <= 1
 MissingVal_at_(6,4): G[6,4,0] + G[6,4,1] + G[6,4,2] + G[6,4,3] + G[6,4,4]
   + G[6,4,5] + G[6,4,6] + G[6,4,7] + G[6,4,8] <= 1
 Vertical_Sum_at_(6,5): G[7,5,0] + 2 G[7,5,1] + 3 G[7,5,2] + 4 G[7,5,3]
   + 5 G[7,5,4] + 6 G[7,5,5] + 7 G[7,5,6] + 8 G[7,5,7] + 9 G[7,5,8]
   + G[8,5,0] + 2 G[8,5,1] + 3 G[8,5,2] + 4 G[8,5,3] + 5 G[8,5,4]
   + 6 G[8,5,5] + 7 G[8,5,6] + 8 G[8,5,7] + 9 G[8,5,8] + G[9,5,0]
   + 2 G[9,5,1] + 3 G[9,5,2] + 4 G[9,5,3] + 5 G[9,5,4] + 6 G[9,5,5]
   + 7 G[9,5,6] + 8 G[9,5,7] + 9 G[9,5,8] + G[10,5,0] + 2 G[10,5,1]
   + 3 G[10,5,2] + 4 G[10,5,3] + 5 G[10,5,4] + 6 G[10,5,5] + 7 G[10,5,6]
   + 8 G[10,5,7] + 9 G[10,5,8] + G[11,5,0] + 2 G[11,5,1] + 3 G[11,5,2]
   + 4 G[11,5,3] + 5 G[11,5,4] + 6 G[11,5,5] + 7 G[11,5,6] + 8 G[11,5,7]
   + 9 G[11,5,8] = 27
 ColUniqueness_at_(6,5): G[7,5,0] + G[8,5,0] + G[9,5,0] + G[10,5,0]
   + G[11,5,0] <= 1
 ColUniqueness_at_(6,5): G[7,5,1] + G[8,5,1] + G[9,5,1] + G[10,5,1]
   + G[11,5,1] <= 1
 ColUniqueness_at_(6,5): G[7,5,2] + G[8,5,2] + G[9,5,2] + G[10,5,2]
   + G[11,5,2] <= 1
 ColUniqueness_at_(6,5): G[7,5,3] + G[8,5,3] + G[9,5,3] + G[10,5,3]
   + G[11,5,3] <= 1
 ColUniqueness_at_(6,5): G[7,5,4] + G[8,5,4] + G[9,5,4] + G[10,5,4]
   + G[11,5,4] <= 1
 ColUniqueness_at_(6,5): G[7,5,5] + G[8,5,5] + G[9,5,5] + G[10,5,5]
   + G[11,5,5] <= 1
 ColUniqueness_at_(6,5): G[7,5,6] + G[8,5,6] + G[9,5,6] + G[10,5,6]
   + G[11,5,6] <= 1
 ColUniqueness_at_(6,5): G[7,5,7] + G[8,5,7] + G[9,5,7] + G[10,5,7]
   + G[11,5,7] <= 1
 ColUniqueness_at_(6,5): G[7,5,8] + G[8,5,8] + G[9,5,8] + G[10,5,8]
   + G[11,5,8] <= 1
 RightSum_at_(6,5): G[6,6,0] + 2 G[6,6,1] + 3 G[6,6,2] + 4 G[6,6,3]
   + 5 G[6,6,4] + 6 G[6,6,5] + 7 G[6,6,6] + 8 G[6,6,7] + 9 G[6,6,8]
   + G[6,7,0] + 2 G[6,7,1] + 3 G[6,7,2] + 4 G[6,7,3] + 5 G[6,7,4]
   + 6 G[6,7,5] + 7 G[6,7,6] + 8 G[6,7,7] + 9 G[6,7,8] + G[6,8,0]
   + 2 G[6,8,1] + 3 G[6,8,2] + 4 G[6,8,3] + 5 G[6,8,4] + 6 G[6,8,5]
   + 7 G[6,8,6] + 8 G[6,8,7] + 9 G[6,8,8] + G[6,9,0] + 2 G[6,9,1]
   + 3 G[6,9,2] + 4 G[6,9,3] + 5 G[6,9,4] + 6 G[6,9,5] + 7 G[6,9,6]
   + 8 G[6,9,7] + 9 G[6,9,8] = 15
 RowUniqueness_at_(6,5): G[6,6,0] + G[6,7,0] + G[6,8,0] + G[6,9,0] <= 1
 RowUniqueness_at_(6,5): G[6,6,1] + G[6,7,1] + G[6,8,1] + G[6,9,1] <= 1
 RowUniqueness_at_(6,5): G[6,6,2] + G[6,7,2] + G[6,8,2] + G[6,9,2] <= 1
 RowUniqueness_at_(6,5): G[6,6,3] + G[6,7,3] + G[6,8,3] + G[6,9,3] <= 1
 RowUniqueness_at_(6,5): G[6,6,4] + G[6,7,4] + G[6,8,4] + G[6,9,4] <= 1
 RowUniqueness_at_(6,5): G[6,6,5] + G[6,7,5] + G[6,8,5] + G[6,9,5] <= 1
 RowUniqueness_at_(6,5): G[6,6,6] + G[6,7,6] + G[6,8,6] + G[6,9,6] <= 1
 RowUniqueness_at_(6,5): G[6,6,7] + G[6,7,7] + G[6,8,7] + G[6,9,7] <= 1
 RowUniqueness_at_(6,5): G[6,6,8] + G[6,7,8] + G[6,8,8] + G[6,9,8] <= 1
 MissingVal_at_(6,6): G[6,6,0] + G[6,6,1] + G[6,6,2] + G[6,6,3] + G[6,6,4]
   + G[6,6,5] + G[6,6,6] + G[6,6,7] + G[6,6,8] <= 1
 MissingVal_at_(6,7): G[6,7,0] + G[6,7,1] + G[6,7,2] + G[6,7,3] + G[6,7,4]
   + G[6,7,5] + G[6,7,6] + G[6,7,7] + G[6,7,8] <= 1
 MissingVal_at_(6,8): G[6,8,0] + G[6,8,1] + G[6,8,2] + G[6,8,3] + G[6,8,4]
   + G[6,8,5] + G[6,8,6] + G[6,8,7] + G[6,8,8] <= 1
 MissingVal_at_(6,9): G[6,9,0] + G[6,9,1] + G[6,9,2] + G[6,9,3] + G[6,9,4]
   + G[6,9,5] + G[6,9,6] + G[6,9,7] + G[6,9,8] <= 1
 Vertical_Sum_at_(7,1): G[8,1,0] + 2 G[8,1,1] + 3 G[8,1,2] + 4 G[8,1,3]
   + 5 G[8,1,4] + 6 G[8,1,5] + 7 G[8,1,6] + 8 G[8,1,7] + 9 G[8,1,8]
   + G[9,1,0] + 2 G[9,1,1] + 3 G[9,1,2] + 4 G[9,1,3] + 5 G[9,1,4]
   + 6 G[9,1,5] + 7 G[9,1,6] + 8 G[9,1,7] + 9 G[9,1,8] = 7
 ColUniqueness_at_(7,1): G[8,1,0] + G[9,1,0] <= 1
 ColUniqueness_at_(7,1): G[8,1,1] + G[9,1,1] <= 1
 ColUniqueness_at_(7,1): G[8,1,2] + G[9,1,2] <= 1
 ColUniqueness_at_(7,1): G[8,1,3] + G[9,1,3] <= 1
 ColUniqueness_at_(7,1): G[8,1,4] + G[9,1,4] <= 1
 ColUniqueness_at_(7,1): G[8,1,5] + G[9,1,5] <= 1
 ColUniqueness_at_(7,1): G[8,1,6] + G[9,1,6] <= 1
 ColUniqueness_at_(7,1): G[8,1,7] + G[9,1,7] <= 1
 ColUniqueness_at_(7,1): G[8,1,8] + G[9,1,8] <= 1
 RightSum_at_(7,1): G[7,2,0] + 2 G[7,2,1] + 3 G[7,2,2] + 4 G[7,2,3]
   + 5 G[7,2,4] + 6 G[7,2,5] + 7 G[7,2,6] + 8 G[7,2,7] + 9 G[7,2,8]
   + G[7,3,0] + 2 G[7,3,1] + 3 G[7,3,2] + 4 G[7,3,3] + 5 G[7,3,4]
   + 6 G[7,3,5] + 7 G[7,3,6] + 8 G[7,3,7] + 9 G[7,3,8] = 4
 RowUniqueness_at_(7,1): G[7,2,0] + G[7,3,0] <= 1
 RowUniqueness_at_(7,1): G[7,2,1] + G[7,3,1] <= 1
 RowUniqueness_at_(7,1): G[7,2,2] + G[7,3,2] <= 1
 RowUniqueness_at_(7,1): G[7,2,3] + G[7,3,3] <= 1
 RowUniqueness_at_(7,1): G[7,2,4] + G[7,3,4] <= 1
 RowUniqueness_at_(7,1): G[7,2,5] + G[7,3,5] <= 1
 RowUniqueness_at_(7,1): G[7,2,6] + G[7,3,6] <= 1
 RowUniqueness_at_(7,1): G[7,2,7] + G[7,3,7] <= 1
 RowUniqueness_at_(7,1): G[7,2,8] + G[7,3,8] <= 1
 MissingVal_at_(7,2): G[7,2,0] + G[7,2,1] + G[7,2,2] + G[7,2,3] + G[7,2,4]
   + G[7,2,5] + G[7,2,6] + G[7,2,7] + G[7,2,8] <= 1
 MissingVal_at_(7,3): G[7,3,0] + G[7,3,1] + G[7,3,2] + G[7,3,3] + G[7,3,4]
   + G[7,3,5] + G[7,3,6] + G[7,3,7] + G[7,3,8] <= 1
 RightSum_at_(7,4): G[7,5,0] + 2 G[7,5,1] + 3 G[7,5,2] + 4 G[7,5,3]
   + 5 G[7,5,4] + 6 G[7,5,5] + 7 G[7,5,6] + 8 G[7,5,7] + 9 G[7,5,8]
   + G[7,6,0] + 2 G[7,6,1] + 3 G[7,6,2] + 4 G[7,6,3] + 5 G[7,6,4]
   + 6 G[7,6,5] + 7 G[7,6,6] + 8 G[7,6,7] + 9 G[7,6,8] + G[7,7,0]
   + 2 G[7,7,1] + 3 G[7,7,2] + 4 G[7,7,3] + 5 G[7,7,4] + 6 G[7,7,5]
   + 7 G[7,7,6] + 8 G[7,7,7] + 9 G[7,7,8] = 11
 RowUniqueness_at_(7,4): G[7,5,0] + G[7,6,0] + G[7,7,0] <= 1
 RowUniqueness_at_(7,4): G[7,5,1] + G[7,6,1] + G[7,7,1] <= 1
 RowUniqueness_at_(7,4): G[7,5,2] + G[7,6,2] + G[7,7,2] <= 1
 RowUniqueness_at_(7,4): G[7,5,3] + G[7,6,3] + G[7,7,3] <= 1
 RowUniqueness_at_(7,4): G[7,5,4] + G[7,6,4] + G[7,7,4] <= 1
 RowUniqueness_at_(7,4): G[7,5,5] + G[7,6,5] + G[7,7,5] <= 1
 RowUniqueness_at_(7,4): G[7,5,6] + G[7,6,6] + G[7,7,6] <= 1
 RowUniqueness_at_(7,4): G[7,5,7] + G[7,6,7] + G[7,7,7] <= 1
 RowUniqueness_at_(7,4): G[7,5,8] + G[7,6,8] + G[7,7,8] <= 1
 MissingVal_at_(7,5): G[7,5,0] + G[7,5,1] + G[7,5,2] + G[7,5,3] + G[7,5,4]
   + G[7,5,5] + G[7,5,6] + G[7,5,7] + G[7,5,8] <= 1
 MissingVal_at_(7,6): G[7,6,0] + G[7,6,1] + G[7,6,2] + G[7,6,3] + G[7,6,4]
   + G[7,6,5] + G[7,6,6] + G[7,6,7] + G[7,6,8] <= 1
 MissingVal_at_(7,7): G[7,7,0] + G[7,7,1] + G[7,7,2] + G[7,7,3] + G[7,7,4]
   + G[7,7,5] + G[7,7,6] + G[7,7,7] + G[7,7,8] <= 1
 Vertical_Sum_at_(7,8): G[8,8,0] + 2 G[8,8,1] + 3 G[8,8,2] + 4 G[8,8,3]
   + 5 G[8,8,4] + 6 G[8,8,5] + 7 G[8,8,6] + 8 G[8,8,7] + 9 G[8,8,8]
   + G[9,8,0] + 2 G[9,8,1] + 3 G[9,8,2] + 4 G[9,8,3] + 5 G[9,8,4]
   + 6 G[9,8,5] + 7 G[9,8,6] + 8 G[9,8,7] + 9 G[9,8,8] + G[10,8,0]
   + 2 G[10,8,1] + 3 G[10,8,2] + 4 G[10,8,3] + 5 G[10,8,4] + 6 G[10,8,5]
   + 7 G[10,8,6] + 8 G[10,8,7] + 9 G[10,8,8] + G[11,8,0] + 2 G[11,8,1]
   + 3 G[11,8,2] + 4 G[11,8,3] + 5 G[11,8,4] + 6 G[11,8,5] + 7 G[11,8,6]
   + 8 G[11,8,7] + 9 G[11,8,8] = 11
 ColUniqueness_at_(7,8): G[8,8,0] + G[9,8,0] + G[10,8,0] + G[11,8,0] <= 1
 ColUniqueness_at_(7,8): G[8,8,1] + G[9,8,1] + G[10,8,1] + G[11,8,1] <= 1
 ColUniqueness_at_(7,8): G[8,8,2] + G[9,8,2] + G[10,8,2] + G[11,8,2] <= 1
 ColUniqueness_at_(7,8): G[8,8,3] + G[9,8,3] + G[10,8,3] + G[11,8,3] <= 1
 ColUniqueness_at_(7,8): G[8,8,4] + G[9,8,4] + G[10,8,4] + G[11,8,4] <= 1
 ColUniqueness_at_(7,8): G[8,8,5] + G[9,8,5] + G[10,8,5] + G[11,8,5] <= 1
 ColUniqueness_at_(7,8): G[8,8,6] + G[9,8,6] + G[10,8,6] + G[11,8,6] <= 1
 ColUniqueness_at_(7,8): G[8,8,7] + G[9,8,7] + G[10,8,7] + G[11,8,7] <= 1
 ColUniqueness_at_(7,8): G[8,8,8] + G[9,8,8] + G[10,8,8] + G[11,8,8] <= 1
 RightSum_at_(8,0): G[8,1,0] + 2 G[8,1,1] + 3 G[8,1,2] + 4 G[8,1,3]
   + 5 G[8,1,4] + 6 G[8,1,5] + 7 G[8,1,6] + 8 G[8,1,7] + 9 G[8,1,8]
   + G[8,2,0] + 2 G[8,2,1] + 3 G[8,2,2] + 4 G[8,2,3] + 5 G[8,2,4]
   + 6 G[8,2,5] + 7 G[8,2,6] + 8 G[8,2,7] + 9 G[8,2,8] = 8
 RowUniqueness_at_(8,0): G[8,1,0] + G[8,2,0] <= 1
 RowUniqueness_at_(8,0): G[8,1,1] + G[8,2,1] <= 1
 RowUniqueness_at_(8,0): G[8,1,2] + G[8,2,2] <= 1
 RowUniqueness_at_(8,0): G[8,1,3] + G[8,2,3] <= 1
 RowUniqueness_at_(8,0): G[8,1,4] + G[8,2,4] <= 1
 RowUniqueness_at_(8,0): G[8,1,5] + G[8,2,5] <= 1
 RowUniqueness_at_(8,0): G[8,1,6] + G[8,2,6] <= 1
 RowUniqueness_at_(8,0): G[8,1,7] + G[8,2,7] <= 1
 RowUniqueness_at_(8,0): G[8,1,8] + G[8,2,8] <= 1
 MissingVal_at_(8,1): G[8,1,0] + G[8,1,1] + G[8,1,2] + G[8,1,3] + G[8,1,4]
   + G[8,1,5] + G[8,1,6] + G[8,1,7] + G[8,1,8] <= 1
 MissingVal_at_(8,2): G[8,2,0] + G[8,2,1] + G[8,2,2] + G[8,2,3] + G[8,2,4]
   + G[8,2,5] + G[8,2,6] + G[8,2,7] + G[8,2,8] <= 1
 Vertical_Sum_at_(8,4): G[9,4,0] + 2 G[9,4,1] + 3 G[9,4,2] + 4 G[9,4,3]
   + 5 G[9,4,4] + 6 G[9,4,5] + 7 G[9,4,6] + 8 G[9,4,7] + 9 G[9,4,8]
   + G[10,4,0] + 2 G[10,4,1] + 3 G[10,4,2] + 4 G[10,4,3] + 5 G[10,4,4]
   + 6 G[10,4,5] + 7 G[10,4,6] + 8 G[10,4,7] + 9 G[10,4,8] + G[11,4,0]
   + 2 G[11,4,1] + 3 G[11,4,2] + 4 G[11,4,3] + 5 G[11,4,4] + 6 G[11,4,5]
   + 7 G[11,4,6] + 8 G[11,4,7] + 9 G[11,4,8] + G[12,4,0] + 2 G[12,4,1]
   + 3 G[12,4,2] + 4 G[12,4,3] + 5 G[12,4,4] + 6 G[12,4,5] + 7 G[12,4,6]
   + 8 G[12,4,7] + 9 G[12,4,8] + G[13,4,0] + 2 G[13,4,1] + 3 G[13,4,2]
   + 4 G[13,4,3] + 5 G[13,4,4] + 6 G[13,4,5] + 7 G[13,4,6] + 8 G[13,4,7]
   + 9 G[13,4,8] + G[14,4,0] + 2 G[14,4,1] + 3 G[14,4,2] + 4 G[14,4,3]
   + 5 G[14,4,4] + 6 G[14,4,5] + 7 G[14,4,6] + 8 G[14,4,7] + 9 G[14,4,8]
   = 24
 ColUniqueness_at_(8,4): G[9,4,0] + G[10,4,0] + G[11,4,0] + G[12,4,0]
   + G[13,4,0] + G[14,4,0] <= 1
 ColUniqueness_at_(8,4): G[9,4,1] + G[10,4,1] + G[11,4,1] + G[12,4,1]
   + G[13,4,1] + G[14,4,1] <= 1
 ColUniqueness_at_(8,4): G[9,4,2] + G[10,4,2] + G[11,4,2] + G[12,4,2]
   + G[13,4,2] + G[14,4,2] <= 1
 ColUniqueness_at_(8,4): G[9,4,3] + G[10,4,3] + G[11,4,3] + G[12,4,3]
   + G[13,4,3] + G[14,4,3] <= 1
 ColUniqueness_at_(8,4): G[9,4,4] + G[10,4,4] + G[11,4,4] + G[12,4,4]
   + G[13,4,4] + G[14,4,4] <= 1
 ColUniqueness_at_(8,4): G[9,4,5] + G[10,4,5] + G[11,4,5] + G[12,4,5]
   + G[13,4,5] + G[14,4,5] <= 1
 ColUniqueness_at_(8,4): G[9,4,6] + G[10,4,6] + G[11,4,6] + G[12,4,6]
   + G[13,4,6] + G[14,4,6] <= 1
 ColUniqueness_at_(8,4): G[9,4,7] + G[10,4,7] + G[11,4,7] + G[12,4,7]
   + G[13,4,7] + G[14,4,7] <= 1
 ColUniqueness_at_(8,4): G[9,4,8] + G[10,4,8] + G[11,4,8] + G[12,4,8]
   + G[13,4,8] + G[14,4,8] <= 1
 RightSum_at_(8,4): G[8,5,0] + 2 G[8,5,1] + 3 G[8,5,2] + 4 G[8,5,3]
   + 5 G[8,5,4] + 6 G[8,5,5] + 7 G[8,5,6] + 8 G[8,5,7] + 9 G[8,5,8]
   + G[8,6,0] + 2 G[8,6,1] + 3 G[8,6,2] + 4 G[8,6,3] + 5 G[8,6,4]
   + 6 G[8,6,5] + 7 G[8,6,6] + 8 G[8,6,7] + 9 G[8,6,8] + G[8,7,0]
   + 2 G[8,7,1] + 3 G[8,7,2] + 4 G[8,7,3] + 5 G[8,7,4] + 6 G[8,7,5]
   + 7 G[8,7,6] + 8 G[8,7,7] + 9 G[8,7,8] + G[8,8,0] + 2 G[8,8,1]
   + 3 G[8,8,2] + 4 G[8,8,3] + 5 G[8,8,4] + 6 G[8,8,5] + 7 G[8,8,6]
   + 8 G[8,8,7] + 9 G[8,8,8] = 20
 RowUniqueness_at_(8,4): G[8,5,0] + G[8,6,0] + G[8,7,0] + G[8,8,0] <= 1
 RowUniqueness_at_(8,4): G[8,5,1] + G[8,6,1] + G[8,7,1] + G[8,8,1] <= 1
 RowUniqueness_at_(8,4): G[8,5,2] + G[8,6,2] + G[8,7,2] + G[8,8,2] <= 1
 RowUniqueness_at_(8,4): G[8,5,3] + G[8,6,3] + G[8,7,3] + G[8,8,3] <= 1
 RowUniqueness_at_(8,4): G[8,5,4] + G[8,6,4] + G[8,7,4] + G[8,8,4] <= 1
 RowUniqueness_at_(8,4): G[8,5,5] + G[8,6,5] + G[8,7,5] + G[8,8,5] <= 1
 RowUniqueness_at_(8,4): G[8,5,6] + G[8,6,6] + G[8,7,6] + G[8,8,6] <= 1
 RowUniqueness_at_(8,4): G[8,5,7] + G[8,6,7] + G[8,7,7] + G[8,8,7] <= 1
 RowUniqueness_at_(8,4): G[8,5,8] + G[8,6,8] + G[8,7,8] + G[8,8,8] <= 1
 MissingVal_at_(8,5): G[8,5,0] + G[8,5,1] + G[8,5,2] + G[8,5,3] + G[8,5,4]
   + G[8,5,5] + G[8,5,6] + G[8,5,7] + G[8,5,8] <= 1
 MissingVal_at_(8,6): G[8,6,0] + G[8,6,1] + G[8,6,2] + G[8,6,3] + G[8,6,4]
   + G[8,6,5] + G[8,6,6] + G[8,6,7] + G[8,6,8] <= 1
 MissingVal_at_(8,7): G[8,7,0] + G[8,7,1] + G[8,7,2] + G[8,7,3] + G[8,7,4]
   + G[8,7,5] + G[8,7,6] + G[8,7,7] + G[8,7,8] <= 1
 MissingVal_at_(8,8): G[8,8,0] + G[8,8,1] + G[8,8,2] + G[8,8,3] + G[8,8,4]
   + G[8,8,5] + G[8,8,6] + G[8,8,7] + G[8,8,8] <= 1
 Vertical_Sum_at_(8,9): G[9,9,0] + 2 G[9,9,1] + 3 G[9,9,2] + 4 G[9,9,3]
   + 5 G[9,9,4] + 6 G[9,9,5] + 7 G[9,9,6] + 8 G[9,9,7] + 9 G[9,9,8]
   + G[10,9,0] + 2 G[10,9,1] + 3 G[10,9,2] + 4 G[10,9,3] + 5 G[10,9,4]
   + 6 G[10,9,5] + 7 G[10,9,6] + 8 G[10,9,7] + 9 G[10,9,8] = 10
 ColUniqueness_at_(8,9): G[9,9,0] + G[10,9,0] <= 1
 ColUniqueness_at_(8,9): G[9,9,1] + G[10,9,1] <= 1
 ColUniqueness_at_(8,9): G[9,9,2] + G[10,9,2] <= 1
 ColUniqueness_at_(8,9): G[9,9,3] + G[10,9,3] <= 1
 ColUniqueness_at_(8,9): G[9,9,4] + G[10,9,4] <= 1
 ColUniqueness_at_(8,9): G[9,9,5] + G[10,9,5] <= 1
 ColUniqueness_at_(8,9): G[9,9,6] + G[10,9,6] <= 1
 ColUniqueness_at_(8,9): G[9,9,7] + G[10,9,7] <= 1
 ColUniqueness_at_(8,9): G[9,9,8] + G[10,9,8] <= 1
 RightSum_at_(9,0): G[9,1,0] + 2 G[9,1,1] + 3 G[9,1,2] + 4 G[9,1,3]
   + 5 G[9,1,4] + 6 G[9,1,5] + 7 G[9,1,6] + 8 G[9,1,7] + 9 G[9,1,8]
   + G[9,2,0] + 2 G[9,2,1] + 3 G[9,2,2] + 4 G[9,2,3] + 5 G[9,2,4]
   + 6 G[9,2,5] + 7 G[9,2,6] + 8 G[9,2,7] + 9 G[9,2,8] = 14
 RowUniqueness_at_(9,0): G[9,1,0] + G[9,2,0] <= 1
 RowUniqueness_at_(9,0): G[9,1,1] + G[9,2,1] <= 1
 RowUniqueness_at_(9,0): G[9,1,2] + G[9,2,2] <= 1
 RowUniqueness_at_(9,0): G[9,1,3] + G[9,2,3] <= 1
 RowUniqueness_at_(9,0): G[9,1,4] + G[9,2,4] <= 1
 RowUniqueness_at_(9,0): G[9,1,5] + G[9,2,5] <= 1
 RowUniqueness_at_(9,0): G[9,1,6] + G[9,2,6] <= 1
 RowUniqueness_at_(9,0): G[9,1,7] + G[9,2,7] <= 1
 RowUniqueness_at_(9,0): G[9,1,8] + G[9,2,8] <= 1
 MissingVal_at_(9,1): G[9,1,0] + G[9,1,1] + G[9,1,2] + G[9,1,3] + G[9,1,4]
   + G[9,1,5] + G[9,1,6] + G[9,1,7] + G[9,1,8] <= 1
 MissingVal_at_(9,2): G[9,2,0] + G[9,2,1] + G[9,2,2] + G[9,2,3] + G[9,2,4]
   + G[9,2,5] + G[9,2,6] + G[9,2,7] + G[9,2,8] <= 1
 Vertical_Sum_at_(9,3): G[10,3,0] + 2 G[10,3,1] + 3 G[10,3,2] + 4 G[10,3,3]
   + 5 G[10,3,4] + 6 G[10,3,5] + 7 G[10,3,6] + 8 G[10,3,7] + 9 G[10,3,8]
   + G[11,3,0] + 2 G[11,3,1] + 3 G[11,3,2] + 4 G[11,3,3] + 5 G[11,3,4]
   + 6 G[11,3,5] + 7 G[11,3,6] + 8 G[11,3,7] + 9 G[11,3,8] + G[12,3,0]
   + 2 G[12,3,1] + 3 G[12,3,2] + 4 G[12,3,3] + 5 G[12,3,4] + 6 G[12,3,5]
   + 7 G[12,3,6] + 8 G[12,3,7] + 9 G[12,3,8] + G[13,3,0] + 2 G[13,3,1]
   + 3 G[13,3,2] + 4 G[13,3,3] + 5 G[13,3,4] + 6 G[13,3,5] + 7 G[13,3,6]
   + 8 G[13,3,7] + 9 G[13,3,8] = 27
 ColUniqueness_at_(9,3): G[10,3,0] + G[11,3,0] + G[12,3,0] + G[13,3,0]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,1] + G[11,3,1] + G[12,3,1] + G[13,3,1]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,2] + G[11,3,2] + G[12,3,2] + G[13,3,2]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,3] + G[11,3,3] + G[12,3,3] + G[13,3,3]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,4] + G[11,3,4] + G[12,3,4] + G[13,3,4]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,5] + G[11,3,5] + G[12,3,5] + G[13,3,5]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,6] + G[11,3,6] + G[12,3,6] + G[13,3,6]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,7] + G[11,3,7] + G[12,3,7] + G[13,3,7]
   <= 1
 ColUniqueness_at_(9,3): G[10,3,8] + G[11,3,8] + G[12,3,8] + G[13,3,8]
   <= 1
 RightSum_at_(9,3): G[9,4,0] + 2 G[9,4,1] + 3 G[9,4,2] + 4 G[9,4,3]
   + 5 G[9,4,4] + 6 G[9,4,5] + 7 G[9,4,6] + 8 G[9,4,7] + 9 G[9,4,8]
   + G[9,5,0] + 2 G[9,5,1] + 3 G[9,5,2] + 4 G[9,5,3] + 5 G[9,5,4]
   + 6 G[9,5,5] + 7 G[9,5,6] + 8 G[9,5,7] + 9 G[9,5,8] + G[9,6,0]
   + 2 G[9,6,1] + 3 G[9,6,2] + 4 G[9,6,3] + 5 G[9,6,4] + 6 G[9,6,5]
   + 7 G[9,6,6] + 8 G[9,6,7] + 9 G[9,6,8] = 11
 RowUniqueness_at_(9,3): G[9,4,0] + G[9,5,0] + G[9,6,0] <= 1
 RowUniqueness_at_(9,3): G[9,4,1] + G[9,5,1] + G[9,6,1] <= 1
 RowUniqueness_at_(9,3): G[9,4,2] + G[9,5,2] + G[9,6,2] <= 1
 RowUniqueness_at_(9,3): G[9,4,3] + G[9,5,3] + G[9,6,3] <= 1
 RowUniqueness_at_(9,3): G[9,4,4] + G[9,5,4] + G[9,6,4] <= 1
 RowUniqueness_at_(9,3): G[9,4,5] + G[9,5,5] + G[9,6,5] <= 1
 RowUniqueness_at_(9,3): G[9,4,6] + G[9,5,6] + G[9,6,6] <= 1
 RowUniqueness_at_(9,3): G[9,4,7] + G[9,5,7] + G[9,6,7] <= 1
 RowUniqueness_at_(9,3): G[9,4,8] + G[9,5,8] + G[9,6,8] <= 1
 MissingVal_at_(9,4): G[9,4,0] + G[9,4,1] + G[9,4,2] + G[9,4,3] + G[9,4,4]
   + G[9,4,5] + G[9,4,6] + G[9,4,7] + G[9,4,8] <= 1
 MissingVal_at_(9,5): G[9,5,0] + G[9,5,1] + G[9,5,2] + G[9,5,3] + G[9,5,4]
   + G[9,5,5] + G[9,5,6] + G[9,5,7] + G[9,5,8] <= 1
 MissingVal_at_(9,6): G[9,6,0] + G[9,6,1] + G[9,6,2] + G[9,6,3] + G[9,6,4]
   + G[9,6,5] + G[9,6,6] + G[9,6,7] + G[9,6,8] <= 1
 RightSum_at_(9,7): G[9,8,0] + 2 G[9,8,1] + 3 G[9,8,2] + 4 G[9,8,3]
   + 5 G[9,8,4] + 6 G[9,8,5] + 7 G[9,8,6] + 8 G[9,8,7] + 9 G[9,8,8]
   + G[9,9,0] + 2 G[9,9,1] + 3 G[9,9,2] + 4 G[9,9,3] + 5 G[9,9,4]
   + 6 G[9,9,5] + 7 G[9,9,6] + 8 G[9,9,7] + 9 G[9,9,8] = 14
 RowUniqueness_at_(9,7): G[9,8,0] + G[9,9,0] <= 1
 RowUniqueness_at_(9,7): G[9,8,1] + G[9,9,1] <= 1
 RowUniqueness_at_(9,7): G[9,8,2] + G[9,9,2] <= 1
 RowUniqueness_at_(9,7): G[9,8,3] + G[9,9,3] <= 1
 RowUniqueness_at_(9,7): G[9,8,4] + G[9,9,4] <= 1
 RowUniqueness_at_(9,7): G[9,8,5] + G[9,9,5] <= 1
 RowUniqueness_at_(9,7): G[9,8,6] + G[9,9,6] <= 1
 RowUniqueness_at_(9,7): G[9,8,7] + G[9,9,7] <= 1
 RowUniqueness_at_(9,7): G[9,8,8] + G[9,9,8] <= 1
 MissingVal_at_(9,8): G[9,8,0] + G[9,8,1] + G[9,8,2] + G[9,8,3] + G[9,8,4]
   + G[9,8,5] + G[9,8,6] + G[9,8,7] + G[9,8,8] <= 1
 MissingVal_at_(9,9): G[9,9,0] + G[9,9,1] + G[9,9,2] + G[9,9,3] + G[9,9,4]
   + G[9,9,5] + G[9,9,6] + G[9,9,7] + G[9,9,8] <= 1
 RightSum_at_(10,1): G[10,2,0] + 2 G[10,2,1] + 3 G[10,2,2] + 4 G[10,2,3]
   + 5 G[10,2,4] + 6 G[10,2,5] + 7 G[10,2,6] + 8 G[10,2,7] + 9 G[10,2,8]
   + G[10,3,0] + 2 G[10,3,1] + 3 G[10,3,2] + 4 G[10,3,3] + 5 G[10,3,4]
   + 6 G[10,3,5] + 7 G[10,3,6] + 8 G[10,3,7] + 9 G[10,3,8] + G[10,4,0]
   + 2 G[10,4,1] + 3 G[10,4,2] + 4 G[10,4,3] + 5 G[10,4,4] + 6 G[10,4,5]
   + 7 G[10,4,6] + 8 G[10,4,7] + 9 G[10,4,8] + G[10,5,0] + 2 G[10,5,1]
   + 3 G[10,5,2] + 4 G[10,5,3] + 5 G[10,5,4] + 6 G[10,5,5] + 7 G[10,5,6]
   + 8 G[10,5,7] + 9 G[10,5,8] = 16
 RowUniqueness_at_(10,1): G[10,2,0] + G[10,3,0] + G[10,4,0] + G[10,5,0]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,1] + G[10,3,1] + G[10,4,1] + G[10,5,1]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,2] + G[10,3,2] + G[10,4,2] + G[10,5,2]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,3] + G[10,3,3] + G[10,4,3] + G[10,5,3]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,4] + G[10,3,4] + G[10,4,4] + G[10,5,4]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,5] + G[10,3,5] + G[10,4,5] + G[10,5,5]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,6] + G[10,3,6] + G[10,4,6] + G[10,5,6]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,7] + G[10,3,7] + G[10,4,7] + G[10,5,7]
   <= 1
 RowUniqueness_at_(10,1): G[10,2,8] + G[10,3,8] + G[10,4,8] + G[10,5,8]
   <= 1
 MissingVal_at_(10,2): G[10,2,0] + G[10,2,1] + G[10,2,2] + G[10,2,3]
   + G[10,2,4] + G[10,2,5] + G[10,2,6] + G[10,2,7] + G[10,2,8] <= 1
 MissingVal_at_(10,3): G[10,3,0] + G[10,3,1] + G[10,3,2] + G[10,3,3]
   + G[10,3,4] + G[10,3,5] + G[10,3,6] + G[10,3,7] + G[10,3,8] <= 1
 MissingVal_at_(10,4): G[10,4,0] + G[10,4,1] + G[10,4,2] + G[10,4,3]
   + G[10,4,4] + G[10,4,5] + G[10,4,6] + G[10,4,7] + G[10,4,8] <= 1
 MissingVal_at_(10,5): G[10,5,0] + G[10,5,1] + G[10,5,2] + G[10,5,3]
   + G[10,5,4] + G[10,5,5] + G[10,5,6] + G[10,5,7] + G[10,5,8] <= 1
 Vertical_Sum_at_(10,7): G[11,7,0] + 2 G[11,7,1] + 3 G[11,7,2]
   + 4 G[11,7,3] + 5 G[11,7,4] + 6 G[11,7,5] + 7 G[11,7,6] + 8 G[11,7,7]
   + 9 G[11,7,8] + G[12,7,0] + 2 G[12,7,1] + 3 G[12,7,2] + 4 G[12,7,3]
   + 5 G[12,7,4] + 6 G[12,7,5] + 7 G[12,7,6] + 8 G[12,7,7] + 9 G[12,7,8]
   = 8
 ColUniqueness_at_(10,7): G[11,7,0] + G[12,7,0] <= 1
 ColUniqueness_at_(10,7): G[11,7,1] + G[12,7,1] <= 1
 ColUniqueness_at_(10,7): G[11,7,2] + G[12,7,2] <= 1
 ColUniqueness_at_(10,7): G[11,7,3] + G[12,7,3] <= 1
 ColUniqueness_at_(10,7): G[11,7,4] + G[12,7,4] <= 1
 ColUniqueness_at_(10,7): G[11,7,5] + G[12,7,5] <= 1
 ColUniqueness_at_(10,7): G[11,7,6] + G[12,7,6] <= 1
 ColUniqueness_at_(10,7): G[11,7,7] + G[12,7,7] <= 1
 ColUniqueness_at_(10,7): G[11,7,8] + G[12,7,8] <= 1
 RightSum_at_(10,7): G[10,8,0] + 2 G[10,8,1] + 3 G[10,8,2] + 4 G[10,8,3]
   + 5 G[10,8,4] + 6 G[10,8,5] + 7 G[10,8,6] + 8 G[10,8,7] + 9 G[10,8,8]
   + G[10,9,0] + 2 G[10,9,1] + 3 G[10,9,2] + 4 G[10,9,3] + 5 G[10,9,4]
   + 6 G[10,9,5] + 7 G[10,9,6] + 8 G[10,9,7] + 9 G[10,9,8] = 3
 RowUniqueness_at_(10,7): G[10,8,0] + G[10,9,0] <= 1
 RowUniqueness_at_(10,7): G[10,8,1] + G[10,9,1] <= 1
 RowUniqueness_at_(10,7): G[10,8,2] + G[10,9,2] <= 1
 RowUniqueness_at_(10,7): G[10,8,3] + G[10,9,3] <= 1
 RowUniqueness_at_(10,7): G[10,8,4] + G[10,9,4] <= 1
 RowUniqueness_at_(10,7): G[10,8,5] + G[10,9,5] <= 1
 RowUniqueness_at_(10,7): G[10,8,6] + G[10,9,6] <= 1
 RowUniqueness_at_(10,7): G[10,8,7] + G[10,9,7] <= 1
 RowUniqueness_at_(10,7): G[10,8,8] + G[10,9,8] <= 1
 MissingVal_at_(10,8): G[10,8,0] + G[10,8,1] + G[10,8,2] + G[10,8,3]
   + G[10,8,4] + G[10,8,5] + G[10,8,6] + G[10,8,7] + G[10,8,8] <= 1
 MissingVal_at_(10,9): G[10,9,0] + G[10,9,1] + G[10,9,2] + G[10,9,3]
   + G[10,9,4] + G[10,9,5] + G[10,9,6] + G[10,9,7] + G[10,9,8] <= 1
 Vertical_Sum_at_(11,1): G[12,1,0] + 2 G[12,1,1] + 3 G[12,1,2]
   + 4 G[12,1,3] + 5 G[12,1,4] + 6 G[12,1,5] + 7 G[12,1,6] + 8 G[12,1,7]
   + 9 G[12,1,8] + G[13,1,0] + 2 G[13,1,1] + 3 G[13,1,2] + 4 G[13,1,3]
   + 5 G[13,1,4] + 6 G[13,1,5] + 7 G[13,1,6] + 8 G[13,1,7] + 9 G[13,1,8]
   + G[14,1,0] + 2 G[14,1,1] + 3 G[14,1,2] + 4 G[14,1,3] + 5 G[14,1,4]
   + 6 G[14,1,5] + 7 G[14,1,6] + 8 G[14,1,7] + 9 G[14,1,8] = 19
 ColUniqueness_at_(11,1): G[12,1,0] + G[13,1,0] + G[14,1,0] <= 1
 ColUniqueness_at_(11,1): G[12,1,1] + G[13,1,1] + G[14,1,1] <= 1
 ColUniqueness_at_(11,1): G[12,1,2] + G[13,1,2] + G[14,1,2] <= 1
 ColUniqueness_at_(11,1): G[12,1,3] + G[13,1,3] + G[14,1,3] <= 1
 ColUniqueness_at_(11,1): G[12,1,4] + G[13,1,4] + G[14,1,4] <= 1
 ColUniqueness_at_(11,1): G[12,1,5] + G[13,1,5] + G[14,1,5] <= 1
 ColUniqueness_at_(11,1): G[12,1,6] + G[13,1,6] + G[14,1,6] <= 1
 ColUniqueness_at_(11,1): G[12,1,7] + G[13,1,7] + G[14,1,7] <= 1
 ColUniqueness_at_(11,1): G[12,1,8] + G[13,1,8] + G[14,1,8] <= 1
 Vertical_Sum_at_(11,2): G[12,2,0] + 2 G[12,2,1] + 3 G[12,2,2]
   + 4 G[12,2,3] + 5 G[12,2,4] + 6 G[12,2,5] + 7 G[12,2,6] + 8 G[12,2,7]
   + 9 G[12,2,8] + G[13,2,0] + 2 G[13,2,1] + 3 G[13,2,2] + 4 G[13,2,3]
   + 5 G[13,2,4] + 6 G[13,2,5] + 7 G[13,2,6] + 8 G[13,2,7] + 9 G[13,2,8]
   + G[14,2,0] + 2 G[14,2,1] + 3 G[14,2,2] + 4 G[14,2,3] + 5 G[14,2,4]
   + 6 G[14,2,5] + 7 G[14,2,6] + 8 G[14,2,7] + 9 G[14,2,8] + G[15,2,0]
   + 2 G[15,2,1] + 3 G[15,2,2] + 4 G[15,2,3] + 5 G[15,2,4] + 6 G[15,2,5]
   + 7 G[15,2,6] + 8 G[15,2,7] + 9 G[15,2,8] + G[16,2,0] + 2 G[16,2,1]
   + 3 G[16,2,2] + 4 G[16,2,3] + 5 G[16,2,4] + 6 G[16,2,5] + 7 G[16,2,6]
   + 8 G[16,2,7] + 9 G[16,2,8] + G[17,2,0] + 2 G[17,2,1] + 3 G[17,2,2]
   + 4 G[17,2,3] + 5 G[17,2,4] + 6 G[17,2,5] + 7 G[17,2,6] + 8 G[17,2,7]
   + 9 G[17,2,8] = 21
 ColUniqueness_at_(11,2): G[12,2,0] + G[13,2,0] + G[14,2,0] + G[15,2,0]
   + G[16,2,0] + G[17,2,0] <= 1
 ColUniqueness_at_(11,2): G[12,2,1] + G[13,2,1] + G[14,2,1] + G[15,2,1]
   + G[16,2,1] + G[17,2,1] <= 1
 ColUniqueness_at_(11,2): G[12,2,2] + G[13,2,2] + G[14,2,2] + G[15,2,2]
   + G[16,2,2] + G[17,2,2] <= 1
 ColUniqueness_at_(11,2): G[12,2,3] + G[13,2,3] + G[14,2,3] + G[15,2,3]
   + G[16,2,3] + G[17,2,3] <= 1
 ColUniqueness_at_(11,2): G[12,2,4] + G[13,2,4] + G[14,2,4] + G[15,2,4]
   + G[16,2,4] + G[17,2,4] <= 1
 ColUniqueness_at_(11,2): G[12,2,5] + G[13,2,5] + G[14,2,5] + G[15,2,5]
   + G[16,2,5] + G[17,2,5] <= 1
 ColUniqueness_at_(11,2): G[12,2,6] + G[13,2,6] + G[14,2,6] + G[15,2,6]
   + G[16,2,6] + G[17,2,6] <= 1
 ColUniqueness_at_(11,2): G[12,2,7] + G[13,2,7] + G[14,2,7] + G[15,2,7]
   + G[16,2,7] + G[17,2,7] <= 1
 ColUniqueness_at_(11,2): G[12,2,8] + G[13,2,8] + G[14,2,8] + G[15,2,8]
   + G[16,2,8] + G[17,2,8] <= 1
 RightSum_at_(11,2): G[11,3,0] + 2 G[11,3,1] + 3 G[11,3,2] + 4 G[11,3,3]
   + 5 G[11,3,4] + 6 G[11,3,5] + 7 G[11,3,6] + 8 G[11,3,7] + 9 G[11,3,8]
   + G[11,4,0] + 2 G[11,4,1] + 3 G[11,4,2] + 4 G[11,4,3] + 5 G[11,4,4]
   + 6 G[11,4,5] + 7 G[11,4,6] + 8 G[11,4,7] + 9 G[11,4,8] + G[11,5,0]
   + 2 G[11,5,1] + 3 G[11,5,2] + 4 G[11,5,3] + 5 G[11,5,4] + 6 G[11,5,5]
   + 7 G[11,5,6] + 8 G[11,5,7] + 9 G[11,5,8] = 10
 RowUniqueness_at_(11,2): G[11,3,0] + G[11,4,0] + G[11,5,0] <= 1
 RowUniqueness_at_(11,2): G[11,3,1] + G[11,4,1] + G[11,5,1] <= 1
 RowUniqueness_at_(11,2): G[11,3,2] + G[11,4,2] + G[11,5,2] <= 1
 RowUniqueness_at_(11,2): G[11,3,3] + G[11,4,3] + G[11,5,3] <= 1
 RowUniqueness_at_(11,2): G[11,3,4] + G[11,4,4] + G[11,5,4] <= 1
 RowUniqueness_at_(11,2): G[11,3,5] + G[11,4,5] + G[11,5,5] <= 1
 RowUniqueness_at_(11,2): G[11,3,6] + G[11,4,6] + G[11,5,6] <= 1
 RowUniqueness_at_(11,2): G[11,3,7] + G[11,4,7] + G[11,5,7] <= 1
 RowUniqueness_at_(11,2): G[11,3,8] + G[11,4,8] + G[11,5,8] <= 1
 MissingVal_at_(11,3): G[11,3,0] + G[11,3,1] + G[11,3,2] + G[11,3,3]
   + G[11,3,4] + G[11,3,5] + G[11,3,6] + G[11,3,7] + G[11,3,8] <= 1
 MissingVal_at_(11,4): G[11,4,0] + G[11,4,1] + G[11,4,2] + G[11,4,3]
   + G[11,4,4] + G[11,4,5] + G[11,4,6] + G[11,4,7] + G[11,4,8] <= 1
 MissingVal_at_(11,5): G[11,5,0] + G[11,5,1] + G[11,5,2] + G[11,5,3]
   + G[11,5,4] + G[11,5,5] + G[11,5,6] + G[11,5,7] + G[11,5,8] <= 1
 Vertical_Sum_at_(11,6): G[12,6,0] + 2 G[12,6,1] + 3 G[12,6,2]
   + 4 G[12,6,3] + 5 G[12,6,4] + 6 G[12,6,5] + 7 G[12,6,6] + 8 G[12,6,7]
   + 9 G[12,6,8] + G[13,6,0] + 2 G[13,6,1] + 3 G[13,6,2] + 4 G[13,6,3]
   + 5 G[13,6,4] + 6 G[13,6,5] + 7 G[13,6,6] + 8 G[13,6,7] + 9 G[13,6,8]
   = 6
 ColUniqueness_at_(11,6): G[12,6,0] + G[13,6,0] <= 1
 ColUniqueness_at_(11,6): G[12,6,1] + G[13,6,1] <= 1
 ColUniqueness_at_(11,6): G[12,6,2] + G[13,6,2] <= 1
 ColUniqueness_at_(11,6): G[12,6,3] + G[13,6,3] <= 1
 ColUniqueness_at_(11,6): G[12,6,4] + G[13,6,4] <= 1
 ColUniqueness_at_(11,6): G[12,6,5] + G[13,6,5] <= 1
 ColUniqueness_at_(11,6): G[12,6,6] + G[13,6,6] <= 1
 ColUniqueness_at_(11,6): G[12,6,7] + G[13,6,7] <= 1
 ColUniqueness_at_(11,6): G[12,6,8] + G[13,6,8] <= 1
 RightSum_at_(11,6): G[11,7,0] + 2 G[11,7,1] + 3 G[11,7,2] + 4 G[11,7,3]
   + 5 G[11,7,4] + 6 G[11,7,5] + 7 G[11,7,6] + 8 G[11,7,7] + 9 G[11,7,8]
   + G[11,8,0] + 2 G[11,8,1] + 3 G[11,8,2] + 4 G[11,8,3] + 5 G[11,8,4]
   + 6 G[11,8,5] + 7 G[11,8,6] + 8 G[11,8,7] + 9 G[11,8,8] = 8
 RowUniqueness_at_(11,6): G[11,7,0] + G[11,8,0] <= 1
 RowUniqueness_at_(11,6): G[11,7,1] + G[11,8,1] <= 1
 RowUniqueness_at_(11,6): G[11,7,2] + G[11,8,2] <= 1
 RowUniqueness_at_(11,6): G[11,7,3] + G[11,8,3] <= 1
 RowUniqueness_at_(11,6): G[11,7,4] + G[11,8,4] <= 1
 RowUniqueness_at_(11,6): G[11,7,5] + G[11,8,5] <= 1
 RowUniqueness_at_(11,6): G[11,7,6] + G[11,8,6] <= 1
 RowUniqueness_at_(11,6): G[11,7,7] + G[11,8,7] <= 1
 RowUniqueness_at_(11,6): G[11,7,8] + G[11,8,8] <= 1
 MissingVal_at_(11,7): G[11,7,0] + G[11,7,1] + G[11,7,2] + G[11,7,3]
   + G[11,7,4] + G[11,7,5] + G[11,7,6] + G[11,7,7] + G[11,7,8] <= 1
 MissingVal_at_(11,8): G[11,8,0] + G[11,8,1] + G[11,8,2] + G[11,8,3]
   + G[11,8,4] + G[11,8,5] + G[11,8,6] + G[11,8,7] + G[11,8,8] <= 1
 RightSum_at_(12,0): G[12,1,0] + 2 G[12,1,1] + 3 G[12,1,2] + 4 G[12,1,3]
   + 5 G[12,1,4] + 6 G[12,1,5] + 7 G[12,1,6] + 8 G[12,1,7] + 9 G[12,1,8]
   + G[12,2,0] + 2 G[12,2,1] + 3 G[12,2,2] + 4 G[12,2,3] + 5 G[12,2,4]
   + 6 G[12,2,5] + 7 G[12,2,6] + 8 G[12,2,7] + 9 G[12,2,8] + G[12,3,0]
   + 2 G[12,3,1] + 3 G[12,3,2] + 4 G[12,3,3] + 5 G[12,3,4] + 6 G[12,3,5]
   + 7 G[12,3,6] + 8 G[12,3,7] + 9 G[12,3,8] + G[12,4,0] + 2 G[12,4,1]
   + 3 G[12,4,2] + 4 G[12,4,3] + 5 G[12,4,4] + 6 G[12,4,5] + 7 G[12,4,6]
   + 8 G[12,4,7] + 9 G[12,4,8] = 14
 RowUniqueness_at_(12,0): G[12,1,0] + G[12,2,0] + G[12,3,0] + G[12,4,0]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,1] + G[12,2,1] + G[12,3,1] + G[12,4,1]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,2] + G[12,2,2] + G[12,3,2] + G[12,4,2]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,3] + G[12,2,3] + G[12,3,3] + G[12,4,3]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,4] + G[12,2,4] + G[12,3,4] + G[12,4,4]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,5] + G[12,2,5] + G[12,3,5] + G[12,4,5]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,6] + G[12,2,6] + G[12,3,6] + G[12,4,6]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,7] + G[12,2,7] + G[12,3,7] + G[12,4,7]
   <= 1
 RowUniqueness_at_(12,0): G[12,1,8] + G[12,2,8] + G[12,3,8] + G[12,4,8]
   <= 1
 MissingVal_at_(12,1): G[12,1,0] + G[12,1,1] + G[12,1,2] + G[12,1,3]
   + G[12,1,4] + G[12,1,5] + G[12,1,6] + G[12,1,7] + G[12,1,8] <= 1
 MissingVal_at_(12,2): G[12,2,0] + G[12,2,1] + G[12,2,2] + G[12,2,3]
   + G[12,2,4] + G[12,2,5] + G[12,2,6] + G[12,2,7] + G[12,2,8] <= 1
 MissingVal_at_(12,3): G[12,3,0] + G[12,3,1] + G[12,3,2] + G[12,3,3]
   + G[12,3,4] + G[12,3,5] + G[12,3,6] + G[12,3,7] + G[12,3,8] <= 1
 MissingVal_at_(12,4): G[12,4,0] + G[12,4,1] + G[12,4,2] + G[12,4,3]
   + G[12,4,4] + G[12,4,5] + G[12,4,6] + G[12,4,7] + G[12,4,8] <= 1
 Vertical_Sum_at_(12,5): G[13,5,0] + 2 G[13,5,1] + 3 G[13,5,2]
   + 4 G[13,5,3] + 5 G[13,5,4] + 6 G[13,5,5] + 7 G[13,5,6] + 8 G[13,5,7]
   + 9 G[13,5,8] + G[14,5,0] + 2 G[14,5,1] + 3 G[14,5,2] + 4 G[14,5,3]
   + 5 G[14,5,4] + 6 G[14,5,5] + 7 G[14,5,6] + 8 G[14,5,7] + 9 G[14,5,8]
   = 10
 ColUniqueness_at_(12,5): G[13,5,0] + G[14,5,0] <= 1
 ColUniqueness_at_(12,5): G[13,5,1] + G[14,5,1] <= 1
 ColUniqueness_at_(12,5): G[13,5,2] + G[14,5,2] <= 1
 ColUniqueness_at_(12,5): G[13,5,3] + G[14,5,3] <= 1
 ColUniqueness_at_(12,5): G[13,5,4] + G[14,5,4] <= 1
 ColUniqueness_at_(12,5): G[13,5,5] + G[14,5,5] <= 1
 ColUniqueness_at_(12,5): G[13,5,6] + G[14,5,6] <= 1
 ColUniqueness_at_(12,5): G[13,5,7] + G[14,5,7] <= 1
 ColUniqueness_at_(12,5): G[13,5,8] + G[14,5,8] <= 1
 RightSum_at_(12,5): G[12,6,0] + 2 G[12,6,1] + 3 G[12,6,2] + 4 G[12,6,3]
   + 5 G[12,6,4] + 6 G[12,6,5] + 7 G[12,6,6] + 8 G[12,6,7] + 9 G[12,6,8]
   + G[12,7,0] + 2 G[12,7,1] + 3 G[12,7,2] + 4 G[12,7,3] + 5 G[12,7,4]
   + 6 G[12,7,5] + 7 G[12,7,6] + 8 G[12,7,7] + 9 G[12,7,8] = 7
 RowUniqueness_at_(12,5): G[12,6,0] + G[12,7,0] <= 1
 RowUniqueness_at_(12,5): G[12,6,1] + G[12,7,1] <= 1
 RowUniqueness_at_(12,5): G[12,6,2] + G[12,7,2] <= 1
 RowUniqueness_at_(12,5): G[12,6,3] + G[12,7,3] <= 1
 RowUniqueness_at_(12,5): G[12,6,4] + G[12,7,4] <= 1
 RowUniqueness_at_(12,5): G[12,6,5] + G[12,7,5] <= 1
 RowUniqueness_at_(12,5): G[12,6,6] + G[12,7,6] <= 1
 RowUniqueness_at_(12,5): G[12,6,7] + G[12,7,7] <= 1
 RowUniqueness_at_(12,5): G[12,6,8] + G[12,7,8] <= 1
 MissingVal_at_(12,6): G[12,6,0] + G[12,6,1] + G[12,6,2] + G[12,6,3]
   + G[12,6,4] + G[12,6,5] + G[12,6,6] + G[12,6,7] + G[12,6,8] <= 1
 MissingVal_at_(12,7): G[12,7,0] + G[12,7,1] + G[12,7,2] + G[12,7,3]
   + G[12,7,4] + G[12,7,5] + G[12,7,6] + G[12,7,7] + G[12,7,8] <= 1
 Vertical_Sum_at_(12,8): G[13,8,0] + 2 G[13,8,1] + 3 G[13,8,2]
   + 4 G[13,8,3] + 5 G[13,8,4] + 6 G[13,8,5] + 7 G[13,8,6] + 8 G[13,8,7]
   + 9 G[13,8,8] + G[14,8,0] + 2 G[14,8,1] + 3 G[14,8,2] + 4 G[14,8,3]
   + 5 G[14,8,4] + 6 G[14,8,5] + 7 G[14,8,6] + 8 G[14,8,7] + 9 G[14,8,8]
   + G[15,8,0] + 2 G[15,8,1] + 3 G[15,8,2] + 4 G[15,8,3] + 5 G[15,8,4]
   + 6 G[15,8,5] + 7 G[15,8,6] + 8 G[15,8,7] + 9 G[15,8,8] + G[16,8,0]
   + 2 G[16,8,1] + 3 G[16,8,2] + 4 G[16,8,3] + 5 G[16,8,4] + 6 G[16,8,5]
   + 7 G[16,8,6] + 8 G[16,8,7] + 9 G[16,8,8] + G[17,8,0] + 2 G[17,8,1]
   + 3 G[17,8,2] + 4 G[17,8,3] + 5 G[17,8,4] + 6 G[17,8,5] + 7 G[17,8,6]
   + 8 G[17,8,7] + 9 G[17,8,8] = 35
 ColUniqueness_at_(12,8): G[13,8,0] + G[14,8,0] + G[15,8,0] + G[16,8,0]
   + G[17,8,0] <= 1
 ColUniqueness_at_(12,8): G[13,8,1] + G[14,8,1] + G[15,8,1] + G[16,8,1]
   + G[17,8,1] <= 1
 ColUniqueness_at_(12,8): G[13,8,2] + G[14,8,2] + G[15,8,2] + G[16,8,2]
   + G[17,8,2] <= 1
 ColUniqueness_at_(12,8): G[13,8,3] + G[14,8,3] + G[15,8,3] + G[16,8,3]
   + G[17,8,3] <= 1
 ColUniqueness_at_(12,8): G[13,8,4] + G[14,8,4] + G[15,8,4] + G[16,8,4]
   + G[17,8,4] <= 1
 ColUniqueness_at_(12,8): G[13,8,5] + G[14,8,5] + G[15,8,5] + G[16,8,5]
   + G[17,8,5] <= 1
 ColUniqueness_at_(12,8): G[13,8,6] + G[14,8,6] + G[15,8,6] + G[16,8,6]
   + G[17,8,6] <= 1
 ColUniqueness_at_(12,8): G[13,8,7] + G[14,8,7] + G[15,8,7] + G[16,8,7]
   + G[17,8,7] <= 1
 ColUniqueness_at_(12,8): G[13,8,8] + G[14,8,8] + G[15,8,8] + G[16,8,8]
   + G[17,8,8] <= 1
 Vertical_Sum_at_(12,9): G[13,9,0] + 2 G[13,9,1] + 3 G[13,9,2]
   + 4 G[13,9,3] + 5 G[13,9,4] + 6 G[13,9,5] + 7 G[13,9,6] + 8 G[13,9,7]
   + 9 G[13,9,8] + G[14,9,0] + 2 G[14,9,1] + 3 G[14,9,2] + 4 G[14,9,3]
   + 5 G[14,9,4] + 6 G[14,9,5] + 7 G[14,9,6] + 8 G[14,9,7] + 9 G[14,9,8]
   + G[15,9,0] + 2 G[15,9,1] + 3 G[15,9,2] + 4 G[15,9,3] + 5 G[15,9,4]
   + 6 G[15,9,5] + 7 G[15,9,6] + 8 G[15,9,7] + 9 G[15,9,8] = 12
 ColUniqueness_at_(12,9): G[13,9,0] + G[14,9,0] + G[15,9,0] <= 1
 ColUniqueness_at_(12,9): G[13,9,1] + G[14,9,1] + G[15,9,1] <= 1
 ColUniqueness_at_(12,9): G[13,9,2] + G[14,9,2] + G[15,9,2] <= 1
 ColUniqueness_at_(12,9): G[13,9,3] + G[14,9,3] + G[15,9,3] <= 1
 ColUniqueness_at_(12,9): G[13,9,4] + G[14,9,4] + G[15,9,4] <= 1
 ColUniqueness_at_(12,9): G[13,9,5] + G[14,9,5] + G[15,9,5] <= 1
 ColUniqueness_at_(12,9): G[13,9,6] + G[14,9,6] + G[15,9,6] <= 1
 ColUniqueness_at_(12,9): G[13,9,7] + G[14,9,7] + G[15,9,7] <= 1
 ColUniqueness_at_(12,9): G[13,9,8] + G[14,9,8] + G[15,9,8] <= 1
 RightSum_at_(13,0): G[13,1,0] + 2 G[13,1,1] + 3 G[13,1,2] + 4 G[13,1,3]
   + 5 G[13,1,4] + 6 G[13,1,5] + 7 G[13,1,6] + 8 G[13,1,7] + 9 G[13,1,8]
   + G[13,2,0] + 2 G[13,2,1] + 3 G[13,2,2] + 4 G[13,2,3] + 5 G[13,2,4]
   + 6 G[13,2,5] + 7 G[13,2,6] + 8 G[13,2,7] + 9 G[13,2,8] + G[13,3,0]
   + 2 G[13,3,1] + 3 G[13,3,2] + 4 G[13,3,3] + 5 G[13,3,4] + 6 G[13,3,5]
   + 7 G[13,3,6] + 8 G[13,3,7] + 9 G[13,3,8] + G[13,4,0] + 2 G[13,4,1]
   + 3 G[13,4,2] + 4 G[13,4,3] + 5 G[13,4,4] + 6 G[13,4,5] + 7 G[13,4,6]
   + 8 G[13,4,7] + 9 G[13,4,8] + G[13,5,0] + 2 G[13,5,1] + 3 G[13,5,2]
   + 4 G[13,5,3] + 5 G[13,5,4] + 6 G[13,5,5] + 7 G[13,5,6] + 8 G[13,5,7]
   + 9 G[13,5,8] + G[13,6,0] + 2 G[13,6,1] + 3 G[13,6,2] + 4 G[13,6,3]
   + 5 G[13,6,4] + 6 G[13,6,5] + 7 G[13,6,6] + 8 G[13,6,7] + 9 G[13,6,8]
   = 30
 RowUniqueness_at_(13,0): G[13,1,0] + G[13,2,0] + G[13,3,0] + G[13,4,0]
   + G[13,5,0] + G[13,6,0] <= 1
 RowUniqueness_at_(13,0): G[13,1,1] + G[13,2,1] + G[13,3,1] + G[13,4,1]
   + G[13,5,1] + G[13,6,1] <= 1
 RowUniqueness_at_(13,0): G[13,1,2] + G[13,2,2] + G[13,3,2] + G[13,4,2]
   + G[13,5,2] + G[13,6,2] <= 1
 RowUniqueness_at_(13,0): G[13,1,3] + G[13,2,3] + G[13,3,3] + G[13,4,3]
   + G[13,5,3] + G[13,6,3] <= 1
 RowUniqueness_at_(13,0): G[13,1,4] + G[13,2,4] + G[13,3,4] + G[13,4,4]
   + G[13,5,4] + G[13,6,4] <= 1
 RowUniqueness_at_(13,0): G[13,1,5] + G[13,2,5] + G[13,3,5] + G[13,4,5]
   + G[13,5,5] + G[13,6,5] <= 1
 RowUniqueness_at_(13,0): G[13,1,6] + G[13,2,6] + G[13,3,6] + G[13,4,6]
   + G[13,5,6] + G[13,6,6] <= 1
 RowUniqueness_at_(13,0): G[13,1,7] + G[13,2,7] + G[13,3,7] + G[13,4,7]
   + G[13,5,7] + G[13,6,7] <= 1
 RowUniqueness_at_(13,0): G[13,1,8] + G[13,2,8] + G[13,3,8] + G[13,4,8]
   + G[13,5,8] + G[13,6,8] <= 1
 MissingVal_at_(13,1): G[13,1,0] + G[13,1,1] + G[13,1,2] + G[13,1,3]
   + G[13,1,4] + G[13,1,5] + G[13,1,6] + G[13,1,7] + G[13,1,8] <= 1
 MissingVal_at_(13,2): G[13,2,0] + G[13,2,1] + G[13,2,2] + G[13,2,3]
   + G[13,2,4] + G[13,2,5] + G[13,2,6] + G[13,2,7] + G[13,2,8] <= 1
 MissingVal_at_(13,3): G[13,3,0] + G[13,3,1] + G[13,3,2] + G[13,3,3]
   + G[13,3,4] + G[13,3,5] + G[13,3,6] + G[13,3,7] + G[13,3,8] <= 1
 MissingVal_at_(13,4): G[13,4,0] + G[13,4,1] + G[13,4,2] + G[13,4,3]
   + G[13,4,4] + G[13,4,5] + G[13,4,6] + G[13,4,7] + G[13,4,8] <= 1
 MissingVal_at_(13,5): G[13,5,0] + G[13,5,1] + G[13,5,2] + G[13,5,3]
   + G[13,5,4] + G[13,5,5] + G[13,5,6] + G[13,5,7] + G[13,5,8] <= 1
 MissingVal_at_(13,6): G[13,6,0] + G[13,6,1] + G[13,6,2] + G[13,6,3]
   + G[13,6,4] + G[13,6,5] + G[13,6,6] + G[13,6,7] + G[13,6,8] <= 1
 Vertical_Sum_at_(13,7): G[14,7,0] + 2 G[14,7,1] + 3 G[14,7,2]
   + 4 G[14,7,3] + 5 G[14,7,4] + 6 G[14,7,5] + 7 G[14,7,6] + 8 G[14,7,7]
   + 9 G[14,7,8] + G[15,7,0] + 2 G[15,7,1] + 3 G[15,7,2] + 4 G[15,7,3]
   + 5 G[15,7,4] + 6 G[15,7,5] + 7 G[15,7,6] + 8 G[15,7,7] + 9 G[15,7,8]
   + G[16,7,0] + 2 G[16,7,1] + 3 G[16,7,2] + 4 G[16,7,3] + 5 G[16,7,4]
   + 6 G[16,7,5] + 7 G[16,7,6] + 8 G[16,7,7] + 9 G[16,7,8] + G[17,7,0]
   + 2 G[17,7,1] + 3 G[17,7,2] + 4 G[17,7,3] + 5 G[17,7,4] + 6 G[17,7,5]
   + 7 G[17,7,6] + 8 G[17,7,7] + 9 G[17,7,8] = 10
 ColUniqueness_at_(13,7): G[14,7,0] + G[15,7,0] + G[16,7,0] + G[17,7,0]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,1] + G[15,7,1] + G[16,7,1] + G[17,7,1]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,2] + G[15,7,2] + G[16,7,2] + G[17,7,2]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,3] + G[15,7,3] + G[16,7,3] + G[17,7,3]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,4] + G[15,7,4] + G[16,7,4] + G[17,7,4]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,5] + G[15,7,5] + G[16,7,5] + G[17,7,5]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,6] + G[15,7,6] + G[16,7,6] + G[17,7,6]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,7] + G[15,7,7] + G[16,7,7] + G[17,7,7]
   <= 1
 ColUniqueness_at_(13,7): G[14,7,8] + G[15,7,8] + G[16,7,8] + G[17,7,8]
   <= 1
 RightSum_at_(13,7): G[13,8,0] + 2 G[13,8,1] + 3 G[13,8,2] + 4 G[13,8,3]
   + 5 G[13,8,4] + 6 G[13,8,5] + 7 G[13,8,6] + 8 G[13,8,7] + 9 G[13,8,8]
   + G[13,9,0] + 2 G[13,9,1] + 3 G[13,9,2] + 4 G[13,9,3] + 5 G[13,9,4]
   + 6 G[13,9,5] + 7 G[13,9,6] + 8 G[13,9,7] + 9 G[13,9,8] = 8
 RowUniqueness_at_(13,7): G[13,8,0] + G[13,9,0] <= 1
 RowUniqueness_at_(13,7): G[13,8,1] + G[13,9,1] <= 1
 RowUniqueness_at_(13,7): G[13,8,2] + G[13,9,2] <= 1
 RowUniqueness_at_(13,7): G[13,8,3] + G[13,9,3] <= 1
 RowUniqueness_at_(13,7): G[13,8,4] + G[13,9,4] <= 1
 RowUniqueness_at_(13,7): G[13,8,5] + G[13,9,5] <= 1
 RowUniqueness_at_(13,7): G[13,8,6] + G[13,9,6] <= 1
 RowUniqueness_at_(13,7): G[13,8,7] + G[13,9,7] <= 1
 RowUniqueness_at_(13,7): G[13,8,8] + G[13,9,8] <= 1
 MissingVal_at_(13,8): G[13,8,0] + G[13,8,1] + G[13,8,2] + G[13,8,3]
   + G[13,8,4] + G[13,8,5] + G[13,8,6] + G[13,8,7] + G[13,8,8] <= 1
 MissingVal_at_(13,9): G[13,9,0] + G[13,9,1] + G[13,9,2] + G[13,9,3]
   + G[13,9,4] + G[13,9,5] + G[13,9,6] + G[13,9,7] + G[13,9,8] <= 1
 RightSum_at_(14,0): G[14,1,0] + 2 G[14,1,1] + 3 G[14,1,2] + 4 G[14,1,3]
   + 5 G[14,1,4] + 6 G[14,1,5] + 7 G[14,1,6] + 8 G[14,1,7] + 9 G[14,1,8]
   + G[14,2,0] + 2 G[14,2,1] + 3 G[14,2,2] + 4 G[14,2,3] + 5 G[14,2,4]
   + 6 G[14,2,5] + 7 G[14,2,6] + 8 G[14,2,7] + 9 G[14,2,8] = 12
 RowUniqueness_at_(14,0): G[14,1,0] + G[14,2,0] <= 1
 RowUniqueness_at_(14,0): G[14,1,1] + G[14,2,1] <= 1
 RowUniqueness_at_(14,0): G[14,1,2] + G[14,2,2] <= 1
 RowUniqueness_at_(14,0): G[14,1,3] + G[14,2,3] <= 1
 RowUniqueness_at_(14,0): G[14,1,4] + G[14,2,4] <= 1
 RowUniqueness_at_(14,0): G[14,1,5] + G[14,2,5] <= 1
 RowUniqueness_at_(14,0): G[14,1,6] + G[14,2,6] <= 1
 RowUniqueness_at_(14,0): G[14,1,7] + G[14,2,7] <= 1
 RowUniqueness_at_(14,0): G[14,1,8] + G[14,2,8] <= 1
 MissingVal_at_(14,1): G[14,1,0] + G[14,1,1] + G[14,1,2] + G[14,1,3]
   + G[14,1,4] + G[14,1,5] + G[14,1,6] + G[14,1,7] + G[14,1,8] <= 1
 MissingVal_at_(14,2): G[14,2,0] + G[14,2,1] + G[14,2,2] + G[14,2,3]
   + G[14,2,4] + G[14,2,5] + G[14,2,6] + G[14,2,7] + G[14,2,8] <= 1
 Vertical_Sum_at_(14,3): G[15,3,0] + 2 G[15,3,1] + 3 G[15,3,2]
   + 4 G[15,3,3] + 5 G[15,3,4] + 6 G[15,3,5] + 7 G[15,3,6] + 8 G[15,3,7]
   + 9 G[15,3,8] + G[16,3,0] + 2 G[16,3,1] + 3 G[16,3,2] + 4 G[16,3,3]
   + 5 G[16,3,4] + 6 G[16,3,5] + 7 G[16,3,6] + 8 G[16,3,7] + 9 G[16,3,8]
   + G[17,3,0] + 2 G[17,3,1] + 3 G[17,3,2] + 4 G[17,3,3] + 5 G[17,3,4]
   + 6 G[17,3,5] + 7 G[17,3,6] + 8 G[17,3,7] + 9 G[17,3,8] = 24
 ColUniqueness_at_(14,3): G[15,3,0] + G[16,3,0] + G[17,3,0] <= 1
 ColUniqueness_at_(14,3): G[15,3,1] + G[16,3,1] + G[17,3,1] <= 1
 ColUniqueness_at_(14,3): G[15,3,2] + G[16,3,2] + G[17,3,2] <= 1
 ColUniqueness_at_(14,3): G[15,3,3] + G[16,3,3] + G[17,3,3] <= 1
 ColUniqueness_at_(14,3): G[15,3,4] + G[16,3,4] + G[17,3,4] <= 1
 ColUniqueness_at_(14,3): G[15,3,5] + G[16,3,5] + G[17,3,5] <= 1
 ColUniqueness_at_(14,3): G[15,3,6] + G[16,3,6] + G[17,3,6] <= 1
 ColUniqueness_at_(14,3): G[15,3,7] + G[16,3,7] + G[17,3,7] <= 1
 ColUniqueness_at_(14,3): G[15,3,8] + G[16,3,8] + G[17,3,8] <= 1
 RightSum_at_(14,3): G[14,4,0] + 2 G[14,4,1] + 3 G[14,4,2] + 4 G[14,4,3]
   + 5 G[14,4,4] + 6 G[14,4,5] + 7 G[14,4,6] + 8 G[14,4,7] + 9 G[14,4,8]
   + G[14,5,0] + 2 G[14,5,1] + 3 G[14,5,2] + 4 G[14,5,3] + 5 G[14,5,4]
   + 6 G[14,5,5] + 7 G[14,5,6] + 8 G[14,5,7] + 9 G[14,5,8] = 17
 RowUniqueness_at_(14,3): G[14,4,0] + G[14,5,0] <= 1
 RowUniqueness_at_(14,3): G[14,4,1] + G[14,5,1] <= 1
 RowUniqueness_at_(14,3): G[14,4,2] + G[14,5,2] <= 1
 RowUniqueness_at_(14,3): G[14,4,3] + G[14,5,3] <= 1
 RowUniqueness_at_(14,3): G[14,4,4] + G[14,5,4] <= 1
 RowUniqueness_at_(14,3): G[14,4,5] + G[14,5,5] <= 1
 RowUniqueness_at_(14,3): G[14,4,6] + G[14,5,6] <= 1
 RowUniqueness_at_(14,3): G[14,4,7] + G[14,5,7] <= 1
 RowUniqueness_at_(14,3): G[14,4,8] + G[14,5,8] <= 1
 MissingVal_at_(14,4): G[14,4,0] + G[14,4,1] + G[14,4,2] + G[14,4,3]
   + G[14,4,4] + G[14,4,5] + G[14,4,6] + G[14,4,7] + G[14,4,8] <= 1
 MissingVal_at_(14,5): G[14,5,0] + G[14,5,1] + G[14,5,2] + G[14,5,3]
   + G[14,5,4] + G[14,5,5] + G[14,5,6] + G[14,5,7] + G[14,5,8] <= 1
 Vertical_Sum_at_(14,6): G[15,6,0] + 2 G[15,6,1] + 3 G[15,6,2]
   + 4 G[15,6,3] + 5 G[15,6,4] + 6 G[15,6,5] + 7 G[15,6,6] + 8 G[15,6,7]
   + 9 G[15,6,8] + G[16,6,0] + 2 G[16,6,1] + 3 G[16,6,2] + 4 G[16,6,3]
   + 5 G[16,6,4] + 6 G[16,6,5] + 7 G[16,6,6] + 8 G[16,6,7] + 9 G[16,6,8]
   = 4
 ColUniqueness_at_(14,6): G[15,6,0] + G[16,6,0] <= 1
 ColUniqueness_at_(14,6): G[15,6,1] + G[16,6,1] <= 1
 ColUniqueness_at_(14,6): G[15,6,2] + G[16,6,2] <= 1
 ColUniqueness_at_(14,6): G[15,6,3] + G[16,6,3] <= 1
 ColUniqueness_at_(14,6): G[15,6,4] + G[16,6,4] <= 1
 ColUniqueness_at_(14,6): G[15,6,5] + G[16,6,5] <= 1
 ColUniqueness_at_(14,6): G[15,6,6] + G[16,6,6] <= 1
 ColUniqueness_at_(14,6): G[15,6,7] + G[16,6,7] <= 1
 ColUniqueness_at_(14,6): G[15,6,8] + G[16,6,8] <= 1
 RightSum_at_(14,6): G[14,7,0] + 2 G[14,7,1] + 3 G[14,7,2] + 4 G[14,7,3]
   + 5 G[14,7,4] + 6 G[14,7,5] + 7 G[14,7,6] + 8 G[14,7,7] + 9 G[14,7,8]
   + G[14,8,0] + 2 G[14,8,1] + 3 G[14,8,2] + 4 G[14,8,3] + 5 G[14,8,4]
   + 6 G[14,8,5] + 7 G[14,8,6] + 8 G[14,8,7] + 9 G[14,8,8] + G[14,9,0]
   + 2 G[14,9,1] + 3 G[14,9,2] + 4 G[14,9,3] + 5 G[14,9,4] + 6 G[14,9,5]
   + 7 G[14,9,6] + 8 G[14,9,7] + 9 G[14,9,8] = 18
 RowUniqueness_at_(14,6): G[14,7,0] + G[14,8,0] + G[14,9,0] <= 1
 RowUniqueness_at_(14,6): G[14,7,1] + G[14,8,1] + G[14,9,1] <= 1
 RowUniqueness_at_(14,6): G[14,7,2] + G[14,8,2] + G[14,9,2] <= 1
 RowUniqueness_at_(14,6): G[14,7,3] + G[14,8,3] + G[14,9,3] <= 1
 RowUniqueness_at_(14,6): G[14,7,4] + G[14,8,4] + G[14,9,4] <= 1
 RowUniqueness_at_(14,6): G[14,7,5] + G[14,8,5] + G[14,9,5] <= 1
 RowUniqueness_at_(14,6): G[14,7,6] + G[14,8,6] + G[14,9,6] <= 1
 RowUniqueness_at_(14,6): G[14,7,7] + G[14,8,7] + G[14,9,7] <= 1
 RowUniqueness_at_(14,6): G[14,7,8] + G[14,8,8] + G[14,9,8] <= 1
 MissingVal_at_(14,7): G[14,7,0] + G[14,7,1] + G[14,7,2] + G[14,7,3]
   + G[14,7,4] + G[14,7,5] + G[14,7,6] + G[14,7,7] + G[14,7,8] <= 1
 MissingVal_at_(14,8): G[14,8,0] + G[14,8,1] + G[14,8,2] + G[14,8,3]
   + G[14,8,4] + G[14,8,5] + G[14,8,6] + G[14,8,7] + G[14,8,8] <= 1
 MissingVal_at_(14,9): G[14,9,0] + G[14,9,1] + G[14,9,2] + G[14,9,3]
   + G[14,9,4] + G[14,9,5] + G[14,9,6] + G[14,9,7] + G[14,9,8] <= 1
 Vertical_Sum_at_(15,1): G[16,1,0] + 2 G[16,1,1] + 3 G[16,1,2]
   + 4 G[16,1,3] + 5 G[16,1,4] + 6 G[16,1,5] + 7 G[16,1,6] + 8 G[16,1,7]
   + 9 G[16,1,8] + G[17,1,0] + 2 G[17,1,1] + 3 G[17,1,2] + 4 G[17,1,3]
   + 5 G[17,1,4] + 6 G[17,1,5] + 7 G[17,1,6] + 8 G[17,1,7] + 9 G[17,1,8]
   = 3
 ColUniqueness_at_(15,1): G[16,1,0] + G[17,1,0] <= 1
 ColUniqueness_at_(15,1): G[16,1,1] + G[17,1,1] <= 1
 ColUniqueness_at_(15,1): G[16,1,2] + G[17,1,2] <= 1
 ColUniqueness_at_(15,1): G[16,1,3] + G[17,1,3] <= 1
 ColUniqueness_at_(15,1): G[16,1,4] + G[17,1,4] <= 1
 ColUniqueness_at_(15,1): G[16,1,5] + G[17,1,5] <= 1
 ColUniqueness_at_(15,1): G[16,1,6] + G[17,1,6] <= 1
 ColUniqueness_at_(15,1): G[16,1,7] + G[17,1,7] <= 1
 ColUniqueness_at_(15,1): G[16,1,8] + G[17,1,8] <= 1
 RightSum_at_(15,1): G[15,2,0] + 2 G[15,2,1] + 3 G[15,2,2] + 4 G[15,2,3]
   + 5 G[15,2,4] + 6 G[15,2,5] + 7 G[15,2,6] + 8 G[15,2,7] + 9 G[15,2,8]
   + G[15,3,0] + 2 G[15,3,1] + 3 G[15,3,2] + 4 G[15,3,3] + 5 G[15,3,4]
   + 6 G[15,3,5] + 7 G[15,3,6] + 8 G[15,3,7] + 9 G[15,3,8] = 15
 RowUniqueness_at_(15,1): G[15,2,0] + G[15,3,0] <= 1
 RowUniqueness_at_(15,1): G[15,2,1] + G[15,3,1] <= 1
 RowUniqueness_at_(15,1): G[15,2,2] + G[15,3,2] <= 1
 RowUniqueness_at_(15,1): G[15,2,3] + G[15,3,3] <= 1
 RowUniqueness_at_(15,1): G[15,2,4] + G[15,3,4] <= 1
 RowUniqueness_at_(15,1): G[15,2,5] + G[15,3,5] <= 1
 RowUniqueness_at_(15,1): G[15,2,6] + G[15,3,6] <= 1
 RowUniqueness_at_(15,1): G[15,2,7] + G[15,3,7] <= 1
 RowUniqueness_at_(15,1): G[15,2,8] + G[15,3,8] <= 1
 MissingVal_at_(15,2): G[15,2,0] + G[15,2,1] + G[15,2,2] + G[15,2,3]
   + G[15,2,4] + G[15,2,5] + G[15,2,6] + G[15,2,7] + G[15,2,8] <= 1
 MissingVal_at_(15,3): G[15,3,0] + G[15,3,1] + G[15,3,2] + G[15,3,3]
   + G[15,3,4] + G[15,3,5] + G[15,3,6] + G[15,3,7] + G[15,3,8] <= 1
 Vertical_Sum_at_(15,4): G[16,4,0] + 2 G[16,4,1] + 3 G[16,4,2]
   + 4 G[16,4,3] + 5 G[16,4,4] + 6 G[16,4,5] + 7 G[16,4,6] + 8 G[16,4,7]
   + 9 G[16,4,8] + G[17,4,0] + 2 G[17,4,1] + 3 G[17,4,2] + 4 G[17,4,3]
   + 5 G[17,4,4] + 6 G[17,4,5] + 7 G[17,4,6] + 8 G[17,4,7] + 9 G[17,4,8]
   = 9
 ColUniqueness_at_(15,4): G[16,4,0] + G[17,4,0] <= 1
 ColUniqueness_at_(15,4): G[16,4,1] + G[17,4,1] <= 1
 ColUniqueness_at_(15,4): G[16,4,2] + G[17,4,2] <= 1
 ColUniqueness_at_(15,4): G[16,4,3] + G[17,4,3] <= 1
 ColUniqueness_at_(15,4): G[16,4,4] + G[17,4,4] <= 1
 ColUniqueness_at_(15,4): G[16,4,5] + G[17,4,5] <= 1
 ColUniqueness_at_(15,4): G[16,4,6] + G[17,4,6] <= 1
 ColUniqueness_at_(15,4): G[16,4,7] + G[17,4,7] <= 1
 ColUniqueness_at_(15,4): G[16,4,8] + G[17,4,8] <= 1
 Vertical_Sum_at_(15,5): G[16,5,0] + 2 G[16,5,1] + 3 G[16,5,2]
   + 4 G[16,5,3] + 5 G[16,5,4] + 6 G[16,5,5] + 7 G[16,5,6] + 8 G[16,5,7]
   + 9 G[16,5,8] + G[17,5,0] + 2 G[17,5,1] + 3 G[17,5,2] + 4 G[17,5,3]
   + 5 G[17,5,4] + 6 G[17,5,5] + 7 G[17,5,6] + 8 G[17,5,7] + 9 G[17,5,8]
   = 7
 ColUniqueness_at_(15,5): G[16,5,0] + G[17,5,0] <= 1
 ColUniqueness_at_(15,5): G[16,5,1] + G[17,5,1] <= 1
 ColUniqueness_at_(15,5): G[16,5,2] + G[17,5,2] <= 1
 ColUniqueness_at_(15,5): G[16,5,3] + G[17,5,3] <= 1
 ColUniqueness_at_(15,5): G[16,5,4] + G[17,5,4] <= 1
 ColUniqueness_at_(15,5): G[16,5,5] + G[17,5,5] <= 1
 ColUniqueness_at_(15,5): G[16,5,6] + G[17,5,6] <= 1
 ColUniqueness_at_(15,5): G[16,5,7] + G[17,5,7] <= 1
 ColUniqueness_at_(15,5): G[16,5,8] + G[17,5,8] <= 1
 RightSum_at_(15,5): G[15,6,0] + 2 G[15,6,1] + 3 G[15,6,2] + 4 G[15,6,3]
   + 5 G[15,6,4] + 6 G[15,6,5] + 7 G[15,6,6] + 8 G[15,6,7] + 9 G[15,6,8]
   + G[15,7,0] + 2 G[15,7,1] + 3 G[15,7,2] + 4 G[15,7,3] + 5 G[15,7,4]
   + 6 G[15,7,5] + 7 G[15,7,6] + 8 G[15,7,7] + 9 G[15,7,8] + G[15,8,0]
   + 2 G[15,8,1] + 3 G[15,8,2] + 4 G[15,8,3] + 5 G[15,8,4] + 6 G[15,8,5]
   + 7 G[15,8,6] + 8 G[15,8,7] + 9 G[15,8,8] + G[15,9,0] + 2 G[15,9,1]
   + 3 G[15,9,2] + 4 G[15,9,3] + 5 G[15,9,4] + 6 G[15,9,5] + 7 G[15,9,6]
   + 8 G[15,9,7] + 9 G[15,9,8] = 11
 RowUniqueness_at_(15,5): G[15,6,0] + G[15,7,0] + G[15,8,0] + G[15,9,0]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,1] + G[15,7,1] + G[15,8,1] + G[15,9,1]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,2] + G[15,7,2] + G[15,8,2] + G[15,9,2]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,3] + G[15,7,3] + G[15,8,3] + G[15,9,3]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,4] + G[15,7,4] + G[15,8,4] + G[15,9,4]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,5] + G[15,7,5] + G[15,8,5] + G[15,9,5]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,6] + G[15,7,6] + G[15,8,6] + G[15,9,6]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,7] + G[15,7,7] + G[15,8,7] + G[15,9,7]
   <= 1
 RowUniqueness_at_(15,5): G[15,6,8] + G[15,7,8] + G[15,8,8] + G[15,9,8]
   <= 1
 MissingVal_at_(15,6): G[15,6,0] + G[15,6,1] + G[15,6,2] + G[15,6,3]
   + G[15,6,4] + G[15,6,5] + G[15,6,6] + G[15,6,7] + G[15,6,8] <= 1
 MissingVal_at_(15,7): G[15,7,0] + G[15,7,1] + G[15,7,2] + G[15,7,3]
   + G[15,7,4] + G[15,7,5] + G[15,7,6] + G[15,7,7] + G[15,7,8] <= 1
 MissingVal_at_(15,8): G[15,8,0] + G[15,8,1] + G[15,8,2] + G[15,8,3]
   + G[15,8,4] + G[15,8,5] + G[15,8,6] + G[15,8,7] + G[15,8,8] <= 1
 MissingVal_at_(15,9): G[15,9,0] + G[15,9,1] + G[15,9,2] + G[15,9,3]
   + G[15,9,4] + G[15,9,5] + G[15,9,6] + G[15,9,7] + G[15,9,8] <= 1
 RightSum_at_(16,0): G[16,1,0] + 2 G[16,1,1] + 3 G[16,1,2] + 4 G[16,1,3]
   + 5 G[16,1,4] + 6 G[16,1,5] + 7 G[16,1,6] + 8 G[16,1,7] + 9 G[16,1,8]
   + G[16,2,0] + 2 G[16,2,1] + 3 G[16,2,2] + 4 G[16,2,3] + 5 G[16,2,4]
   + 6 G[16,2,5] + 7 G[16,2,6] + 8 G[16,2,7] + 9 G[16,2,8] + G[16,3,0]
   + 2 G[16,3,1] + 3 G[16,3,2] + 4 G[16,3,3] + 5 G[16,3,4] + 6 G[16,3,5]
   + 7 G[16,3,6] + 8 G[16,3,7] + 9 G[16,3,8] + G[16,4,0] + 2 G[16,4,1]
   + 3 G[16,4,2] + 4 G[16,4,3] + 5 G[16,4,4] + 6 G[16,4,5] + 7 G[16,4,6]
   + 8 G[16,4,7] + 9 G[16,4,8] + G[16,5,0] + 2 G[16,5,1] + 3 G[16,5,2]
   + 4 G[16,5,3] + 5 G[16,5,4] + 6 G[16,5,5] + 7 G[16,5,6] + 8 G[16,5,7]
   + 9 G[16,5,8] + G[16,6,0] + 2 G[16,6,1] + 3 G[16,6,2] + 4 G[16,6,3]
   + 5 G[16,6,4] + 6 G[16,6,5] + 7 G[16,6,6] + 8 G[16,6,7] + 9 G[16,6,8]
   + G[16,7,0] + 2 G[16,7,1] + 3 G[16,7,2] + 4 G[16,7,3] + 5 G[16,7,4]
   + 6 G[16,7,5] + 7 G[16,7,6] + 8 G[16,7,7] + 9 G[16,7,8] + G[16,8,0]
   + 2 G[16,8,1] + 3 G[16,8,2] + 4 G[16,8,3] + 5 G[16,8,4] + 6 G[16,8,5]
   + 7 G[16,8,6] + 8 G[16,8,7] + 9 G[16,8,8] = 36
 RowUniqueness_at_(16,0): G[16,1,0] + G[16,2,0] + G[16,3,0] + G[16,4,0]
   + G[16,5,0] + G[16,6,0] + G[16,7,0] + G[16,8,0] <= 1
 RowUniqueness_at_(16,0): G[16,1,1] + G[16,2,1] + G[16,3,1] + G[16,4,1]
   + G[16,5,1] + G[16,6,1] + G[16,7,1] + G[16,8,1] <= 1
 RowUniqueness_at_(16,0): G[16,1,2] + G[16,2,2] + G[16,3,2] + G[16,4,2]
   + G[16,5,2] + G[16,6,2] + G[16,7,2] + G[16,8,2] <= 1
 RowUniqueness_at_(16,0): G[16,1,3] + G[16,2,3] + G[16,3,3] + G[16,4,3]
   + G[16,5,3] + G[16,6,3] + G[16,7,3] + G[16,8,3] <= 1
 RowUniqueness_at_(16,0): G[16,1,4] + G[16,2,4] + G[16,3,4] + G[16,4,4]
   + G[16,5,4] + G[16,6,4] + G[16,7,4] + G[16,8,4] <= 1
 RowUniqueness_at_(16,0): G[16,1,5] + G[16,2,5] + G[16,3,5] + G[16,4,5]
   + G[16,5,5] + G[16,6,5] + G[16,7,5] + G[16,8,5] <= 1
 RowUniqueness_at_(16,0): G[16,1,6] + G[16,2,6] + G[16,3,6] + G[16,4,6]
   + G[16,5,6] + G[16,6,6] + G[16,7,6] + G[16,8,6] <= 1
 RowUniqueness_at_(16,0): G[16,1,7] + G[16,2,7] + G[16,3,7] + G[16,4,7]
   + G[16,5,7] + G[16,6,7] + G[16,7,7] + G[16,8,7] <= 1
 RowUniqueness_at_(16,0): G[16,1,8] + G[16,2,8] + G[16,3,8] + G[16,4,8]
   + G[16,5,8] + G[16,6,8] + G[16,7,8] + G[16,8,8] <= 1
 MissingVal_at_(16,1): G[16,1,0] + G[16,1,1] + G[16,1,2] + G[16,1,3]
   + G[16,1,4] + G[16,1,5] + G[16,1,6] + G[16,1,7] + G[16,1,8] <= 1
 MissingVal_at_(16,2): G[16,2,0] + G[16,2,1] + G[16,2,2] + G[16,2,3]
   + G[16,2,4] + G[16,2,5] + G[16,2,6] + G[16,2,7] + G[16,2,8] <= 1
 MissingVal_at_(16,3): G[16,3,0] + G[16,3,1] + G[16,3,2] + G[16,3,3]
   + G[16,3,4] + G[16,3,5] + G[16,3,6] + G[16,3,7] + G[16,3,8] <= 1
 MissingVal_at_(16,4): G[16,4,0] + G[16,4,1] + G[16,4,2] + G[16,4,3]
   + G[16,4,4] + G[16,4,5] + G[16,4,6] + G[16,4,7] + G[16,4,8] <= 1
 MissingVal_at_(16,5): G[16,5,0] + G[16,5,1] + G[16,5,2] + G[16,5,3]
   + G[16,5,4] + G[16,5,5] + G[16,5,6] + G[16,5,7] + G[16,5,8] <= 1
 MissingVal_at_(16,6): G[16,6,0] + G[16,6,1] + G[16,6,2] + G[16,6,3]
   + G[16,6,4] + G[16,6,5] + G[16,6,6] + G[16,6,7] + G[16,6,8] <= 1
 MissingVal_at_(16,7): G[16,7,0] + G[16,7,1] + G[16,7,2] + G[16,7,3]
   + G[16,7,4] + G[16,7,5] + G[16,7,6] + G[16,7,7] + G[16,7,8] <= 1
 MissingVal_at_(16,8): G[16,8,0] + G[16,8,1] + G[16,8,2] + G[16,8,3]
   + G[16,8,4] + G[16,8,5] + G[16,8,6] + G[16,8,7] + G[16,8,8] <= 1
 RightSum_at_(17,0): G[17,1,0] + 2 G[17,1,1] + 3 G[17,1,2] + 4 G[17,1,3]
   + 5 G[17,1,4] + 6 G[17,1,5] + 7 G[17,1,6] + 8 G[17,1,7] + 9 G[17,1,8]
   + G[17,2,0] + 2 G[17,2,1] + 3 G[17,2,2] + 4 G[17,2,3] + 5 G[17,2,4]
   + 6 G[17,2,5] + 7 G[17,2,6] + 8 G[17,2,7] + 9 G[17,2,8] + G[17,3,0]
   + 2 G[17,3,1] + 3 G[17,3,2] + 4 G[17,3,3] + 5 G[17,3,4] + 6 G[17,3,5]
   + 7 G[17,3,6] + 8 G[17,3,7] + 9 G[17,3,8] + G[17,4,0] + 2 G[17,4,1]
   + 3 G[17,4,2] + 4 G[17,4,3] + 5 G[17,4,4] + 6 G[17,4,5] + 7 G[17,4,6]
   + 8 G[17,4,7] + 9 G[17,4,8] + G[17,5,0] + 2 G[17,5,1] + 3 G[17,5,2]
   + 4 G[17,5,3] + 5 G[17,5,4] + 6 G[17,5,5] + 7 G[17,5,6] + 8 G[17,5,7]
   + 9 G[17,5,8] = 17
 RowUniqueness_at_(17,0): G[17,1,0] + G[17,2,0] + G[17,3,0] + G[17,4,0]
   + G[17,5,0] <= 1
 RowUniqueness_at_(17,0): G[17,1,1] + G[17,2,1] + G[17,3,1] + G[17,4,1]
   + G[17,5,1] <= 1
 RowUniqueness_at_(17,0): G[17,1,2] + G[17,2,2] + G[17,3,2] + G[17,4,2]
   + G[17,5,2] <= 1
 RowUniqueness_at_(17,0): G[17,1,3] + G[17,2,3] + G[17,3,3] + G[17,4,3]
   + G[17,5,3] <= 1
 RowUniqueness_at_(17,0): G[17,1,4] + G[17,2,4] + G[17,3,4] + G[17,4,4]
   + G[17,5,4] <= 1
 RowUniqueness_at_(17,0): G[17,1,5] + G[17,2,5] + G[17,3,5] + G[17,4,5]
   + G[17,5,5] <= 1
 RowUniqueness_at_(17,0): G[17,1,6] + G[17,2,6] + G[17,3,6] + G[17,4,6]
   + G[17,5,6] <= 1
 RowUniqueness_at_(17,0): G[17,1,7] + G[17,2,7] + G[17,3,7] + G[17,4,7]
   + G[17,5,7] <= 1
 RowUniqueness_at_(17,0): G[17,1,8] + G[17,2,8] + G[17,3,8] + G[17,4,8]
   + G[17,5,8] <= 1
 MissingVal_at_(17,1): G[17,1,0] + G[17,1,1] + G[17,1,2] + G[17,1,3]
   + G[17,1,4] + G[17,1,5] + G[17,1,6] + G[17,1,7] + G[17,1,8] <= 1
 MissingVal_at_(17,2): G[17,2,0] + G[17,2,1] + G[17,2,2] + G[17,2,3]
   + G[17,2,4] + G[17,2,5] + G[17,2,6] + G[17,2,7] + G[17,2,8] <= 1
 MissingVal_at_(17,3): G[17,3,0] + G[17,3,1] + G[17,3,2] + G[17,3,3]
   + G[17,3,4] + G[17,3,5] + G[17,3,6] + G[17,3,7] + G[17,3,8] <= 1
 MissingVal_at_(17,4): G[17,4,0] + G[17,4,1] + G[17,4,2] + G[17,4,3]
   + G[17,4,4] + G[17,4,5] + G[17,4,6] + G[17,4,7] + G[17,4,8] <= 1
 MissingVal_at_(17,5): G[17,5,0] + G[17,5,1] + G[17,5,2] + G[17,5,3]
   + G[17,5,4] + G[17,5,5] + G[17,5,6] + G[17,5,7] + G[17,5,8] <= 1
 RightSum_at_(17,6): G[17,7,0] + 2 G[17,7,1] + 3 G[17,7,2] + 4 G[17,7,3]
   + 5 G[17,7,4] + 6 G[17,7,5] + 7 G[17,7,6] + 8 G[17,7,7] + 9 G[17,7,8]
   + G[17,8,0] + 2 G[17,8,1] + 3 G[17,8,2] + 4 G[17,8,3] + 5 G[17,8,4]
   + 6 G[17,8,5] + 7 G[17,8,6] + 8 G[17,8,7] + 9 G[17,8,8] = 12
 RowUniqueness_at_(17,6): G[17,7,0] + G[17,8,0] <= 1
 RowUniqueness_at_(17,6): G[17,7,1] + G[17,8,1] <= 1
 RowUniqueness_at_(17,6): G[17,7,2] + G[17,8,2] <= 1
 RowUniqueness_at_(17,6): G[17,7,3] + G[17,8,3] <= 1
 RowUniqueness_at_(17,6): G[17,7,4] + G[17,8,4] <= 1
 RowUniqueness_at_(17,6): G[17,7,5] + G[17,8,5] <= 1
 RowUniqueness_at_(17,6): G[17,7,6] + G[17,8,6] <= 1
 RowUniqueness_at_(17,6): G[17,7,7] + G[17,8,7] <= 1
 RowUniqueness_at_(17,6): G[17,7,8] + G[17,8,8] <= 1
 MissingVal_at_(17,7): G[17,7,0] + G[17,7,1] + G[17,7,2] + G[17,7,3]
   + G[17,7,4] + G[17,7,5] + G[17,7,6] + G[17,7,7] + G[17,7,8] <= 1
 MissingVal_at_(17,8): G[17,8,0] + G[17,8,1] + G[17,8,2] + G[17,8,3]
   + G[17,8,4] + G[17,8,5] + G[17,8,6] + G[17,8,7] + G[17,8,8] <= 1
Bounds
Binaries
 G[1,2,0] G[1,2,1] G[1,2,2] G[1,2,3] G[1,2,4] G[1,2,5] G[1,2,6] G[1,2,7]
 G[1,2,8] G[1,3,0] G[1,3,1] G[1,3,2] G[1,3,3] G[1,3,4] G[1,3,5] G[1,3,6]
 G[1,3,7] G[1,3,8] G[1,5,0] G[1,5,1] G[1,5,2] G[1,5,3] G[1,5,4] G[1,5,5]
 G[1,5,6] G[1,5,7] G[1,5,8] G[1,6,0] G[1,6,1] G[1,6,2] G[1,6,3] G[1,6,4]
 G[1,6,5] G[1,6,6] G[1,6,7] G[1,6,8] G[1,7,0] G[1,7,1] G[1,7,2] G[1,7,3]
 G[1,7,4] G[1,7,5] G[1,7,6] G[1,7,7] G[1,7,8] G[1,8,0] G[1,8,1] G[1,8,2]
 G[1,8,3] G[1,8,4] G[1,8,5] G[1,8,6] G[1,8,7] G[1,8,8] G[1,9,0] G[1,9,1]
 G[1,9,2] G[1,9,3] G[1,9,4] G[1,9,5] G[1,9,6] G[1,9,7] G[1,9,8] G[2,2,0]
 G[2,2,1] G[2,2,2] G[2,2,3] G[2,2,4] G[2,2,5] G[2,2,6] G[2,2,7] G[2,2,8]
 G[2,3,0] G[2,3,1] G[2,3,2] G[2,3,3] G[2,3,4] G[2,3,5] G[2,3,6] G[2,3,7]
 G[2,3,8] G[2,4,0] G[2,4,1] G[2,4,2] G[2,4,3] G[2,4,4] G[2,4,5] G[2,4,6]
 G[2,4,7] G[2,4,8] G[2,5,0] G[2,5,1] G[2,5,2] G[2,5,3] G[2,5,4] G[2,5,5]
 G[2,5,6] G[2,5,7] G[2,5,8] G[2,6,0] G[2,6,1] G[2,6,2] G[2,6,3] G[2,6,4]
 G[2,6,5] G[2,6,6] G[2,6,7] G[2,6,8] G[2,7,0] G[2,7,1] G[2,7,2] G[2,7,3]
 G[2,7,4] G[2,7,5] G[2,7,6] G[2,7,7] G[2,7,8] G[2,8,0] G[2,8,1] G[2,8,2]
 G[2,8,3] G[2,8,4] G[2,8,5] G[2,8,6] G[2,8,7] G[2,8,8] G[2,9,0] G[2,9,1]
 G[2,9,2] G[2,9,3] G[2,9,4] G[2,9,5] G[2,9,6] G[2,9,7] G[2,9,8] G[3,1,0]
 G[3,1,1] G[3,1,2] G[3,1,3] G[3,1,4] G[3,1,5] G[3,1,6] G[3,1,7] G[3,1,8]
 G[3,2,0] G[3,2,1] G[3,2,2] G[3,2,3] G[3,2,4] G[3,2,5] G[3,2,6] G[3,2,7]
 G[3,2,8] G[3,3,0] G[3,3,1] G[3,3,2] G[3,3,3] G[3,3,4] G[3,3,5] G[3,3,6]
 G[3,3,7] G[3,3,8] G[3,4,0] G[3,4,1] G[3,4,2] G[3,4,3] G[3,4,4] G[3,4,5]
 G[3,4,6] G[3,4,7] G[3,4,8] G[3,7,0] G[3,7,1] G[3,7,2] G[3,7,3] G[3,7,4]
 G[3,7,5] G[3,7,6] G[3,7,7] G[3,7,8] G[3,8,0] G[3,8,1] G[3,8,2] G[3,8,3]
 G[3,8,4] G[3,8,5] G[3,8,6] G[3,8,7] G[3,8,8] G[4,1,0] G[4,1,1] G[4,1,2]
 G[4,1,3] G[4,1,4] G[4,1,5] G[4,1,6] G[4,1,7] G[4,1,8] G[4,2,0] G[4,2,1]
 G[4,2,2] G[4,2,3] G[4,2,4] G[4,2,5] G[4,2,6] G[4,2,7] G[4,2,8] G[4,3,0]
 G[4,3,1] G[4,3,2] G[4,3,3] G[4,3,4] G[4,3,5] G[4,3,6] G[4,3,7] G[4,3,8]
 G[4,5,0] G[4,5,1] G[4,5,2] G[4,5,3] G[4,5,4] G[4,5,5] G[4,5,6] G[4,5,7]
 G[4,5,8] G[4,6,0] G[4,6,1] G[4,6,2] G[4,6,3] G[4,6,4] G[4,6,5] G[4,6,6]
 G[4,6,7] G[4,6,8] G[4,8,0] G[4,8,1] G[4,8,2] G[4,8,3] G[4,8,4] G[4,8,5]
 G[4,8,6] G[4,8,7] G[4,8,8] G[4,9,0] G[4,9,1] G[4,9,2] G[4,9,3] G[4,9,4]
 G[4,9,5] G[4,9,6] G[4,9,7] G[4,9,8] G[5,1,0] G[5,1,1] G[5,1,2] G[5,1,3]
 G[5,1,4] G[5,1,5] G[5,1,6] G[5,1,7] G[5,1,8] G[5,2,0] G[5,2,1] G[5,2,2]
 G[5,2,3] G[5,2,4] G[5,2,5] G[5,2,6] G[5,2,7] G[5,2,8] G[5,4,0] G[5,4,1]
 G[5,4,2] G[5,4,3] G[5,4,4] G[5,4,5] G[5,4,6] G[5,4,7] G[5,4,8] G[5,5,0]
 G[5,5,1] G[5,5,2] G[5,5,3] G[5,5,4] G[5,5,5] G[5,5,6] G[5,5,7] G[5,5,8]
 G[5,6,0] G[5,6,1] G[5,6,2] G[5,6,3] G[5,6,4] G[5,6,5] G[5,6,6] G[5,6,7]
 G[5,6,8] G[5,7,0] G[5,7,1] G[5,7,2] G[5,7,3] G[5,7,4] G[5,7,5] G[5,7,6]
 G[5,7,7] G[5,7,8] G[5,8,0] G[5,8,1] G[5,8,2] G[5,8,3] G[5,8,4] G[5,8,5]
 G[5,8,6] G[5,8,7] G[5,8,8] G[5,9,0] G[5,9,1] G[5,9,2] G[5,9,3] G[5,9,4]
 G[5,9,5] G[5,9,6] G[5,9,7] G[5,9,8] G[6,3,0] G[6,3,1] G[6,3,2] G[6,3,3]
 G[6,3,4] G[6,3,5] G[6,3,6] G[6,3,7] G[6,3,8] G[6,4,0] G[6,4,1] G[6,4,2]
 G[6,4,3] G[6,4,4] G[6,4,5] G[6,4,6] G[6,4,7] G[6,4,8] G[6,6,0] G[6,6,1]
 G[6,6,2] G[6,6,3] G[6,6,4] G[6,6,5] G[6,6,6] G[6,6,7] G[6,6,8] G[6,7,0]
 G[6,7,1] G[6,7,2] G[6,7,3] G[6,7,4] G[6,7,5] G[6,7,6] G[6,7,7] G[6,7,8]
 G[6,8,0] G[6,8,1] G[6,8,2] G[6,8,3] G[6,8,4] G[6,8,5] G[6,8,6] G[6,8,7]
 G[6,8,8] G[6,9,0] G[6,9,1] G[6,9,2] G[6,9,3] G[6,9,4] G[6,9,5] G[6,9,6]
 G[6,9,7] G[6,9,8] G[7,2,0] G[7,2,1] G[7,2,2] G[7,2,3] G[7,2,4] G[7,2,5]
 G[7,2,6] G[7,2,7] G[7,2,8] G[7,3,0] G[7,3,1] G[7,3,2] G[7,3,3] G[7,3,4]
 G[7,3,5] G[7,3,6] G[7,3,7] G[7,3,8] G[7,5,0] G[7,5,1] G[7,5,2] G[7,5,3]
 G[7,5,4] G[7,5,5] G[7,5,6] G[7,5,7] G[7,5,8] G[7,6,0] G[7,6,1] G[7,6,2]
 G[7,6,3] G[7,6,4] G[7,6,5] G[7,6,6] G[7,6,7] G[7,6,8] G[7,7,0] G[7,7,1]
 G[7,7,2] G[7,7,3] G[7,7,4] G[7,7,5] G[7,7,6] G[7,7,7] G[7,7,8] G[8,1,0]
 G[8,1,1] G[8,1,2] G[8,1,3] G[8,1,4] G[8,1,5] G[8,1,6] G[8,1,7] G[8,1,8]
 G[8,2,0] G[8,2,1] G[8,2,2] G[8,2,3] G[8,2,4] G[8,2,5] G[8,2,6] G[8,2,7]
 G[8,2,8] G[8,5,0] G[8,5,1] G[8,5,2] G[8,5,3] G[8,5,4] G[8,5,5] G[8,5,6]
 G[8,5,7] G[8,5,8] G[8,6,0] G[8,6,1] G[8,6,2] G[8,6,3] G[8,6,4] G[8,6,5]
 G[8,6,6] G[8,6,7] G[8,6,8] G[8,7,0] G[8,7,1] G[8,7,2] G[8,7,3] G[8,7,4]
 G[8,7,5] G[8,7,6] G[8,7,7] G[8,7,8] G[8,8,0] G[8,8,1] G[8,8,2] G[8,8,3]
 G[8,8,4] G[8,8,5] G[8,8,6] G[8,8,7] G[8,8,8] G[9,1,0] G[9,1,1] G[9,1,2]
 G[9,1,3] G[9,1,4] G[9,1,5] G[9,1,6] G[9,1,7] G[9,1,8] G[9,2,0] G[9,2,1]
 G[9,2,2] G[9,2,3] G[9,2,4] G[9,2,5] G[9,2,6] G[9,2,7] G[9,2,8] G[9,4,0]
 G[9,4,1] G[9,4,2] G[9,4,3] G[9,4,4] G[9,4,5] G[9,4,6] G[9,4,7] G[9,4,8]
 G[9,5,0] G[9,5,1] G[9,5,2] G[9,5,3] G[9,5,4] G[9,5,5] G[9,5,6] G[9,5,7]
 G[9,5,8] G[9,6,0] G[9,6,1] G[9,6,2] G[9,6,3] G[9,6,4] G[9,6,5] G[9,6,6]
 G[9,6,7] G[9,6,8] G[9,8,0] G[9,8,1] G[9,8,2] G[9,8,3] G[9,8,4] G[9,8,5]
 G[9,8,6] G[9,8,7] G[9,8,8] G[9,9,0] G[9,9,1] G[9,9,2] G[9,9,3] G[9,9,4]
 G[9,9,5] G[9,9,6] G[9,9,7] G[9,9,8] G[10,2,0] G[10,2,1] G[10,2,2]
 G[10,2,3] G[10,2,4] G[10,2,5] G[10,2,6] G[10,2,7] G[10,2,8] G[10,3,0]
 G[10,3,1] G[10,3,2] G[10,3,3] G[10,3,4] G[10,3,5] G[10,3,6] G[10,3,7]
 G[10,3,8] G[10,4,0] G[10,4,1] G[10,4,2] G[10,4,3] G[10,4,4] G[10,4,5]
 G[10,4,6] G[10,4,7] G[10,4,8] G[10,5,0] G[10,5,1] G[10,5,2] G[10,5,3]
 G[10,5,4] G[10,5,5] G[10,5,6] G[10,5,7] G[10,5,8] G[10,8,0] G[10,8,1]
 G[10,8,2] G[10,8,3] G[10,8,4] G[10,8,5] G[10,8,6] G[10,8,7] G[10,8,8]
 G[10,9,0] G[10,9,1] G[10,9,2] G[10,9,3] G[10,9,4] G[10,9,5] G[10,9,6]
 G[10,9,7] G[10,9,8] G[11,3,0] G[11,3,1] G[11,3,2] G[11,3,3] G[11,3,4]
 G[11,3,5] G[11,3,6] G[11,3,7] G[11,3,8] G[11,4,0] G[11,4,1] G[11,4,2]
 G[11,4,3] G[11,4,4] G[11,4,5] G[11,4,6] G[11,4,7] G[11,4,8] G[11,5,0]
 G[11,5,1] G[11,5,2] G[11,5,3] G[11,5,4] G[11,5,5] G[11,5,6] G[11,5,7]
 G[11,5,8] G[11,7,0] G[11,7,1] G[11,7,2] G[11,7,3] G[11,7,4] G[11,7,5]
 G[11,7,6] G[11,7,7] G[11,7,8] G[11,8,0] G[11,8,1] G[11,8,2] G[11,8,3]
 G[11,8,4] G[11,8,5] G[11,8,6] G[11,8,7] G[11,8,8] G[12,1,0] G[12,1,1]
 G[12,1,2] G[12,1,3] G[12,1,4] G[12,1,5] G[12,1,6] G[12,1,7] G[12,1,8]
 G[12,2,0] G[12,2,1] G[12,2,2] G[12,2,3] G[12,2,4] G[12,2,5] G[12,2,6]
 G[12,2,7] G[12,2,8] G[12,3,0] G[12,3,1] G[12,3,2] G[12,3,3] G[12,3,4]
 G[12,3,5] G[12,3,6] G[12,3,7] G[12,3,8] G[12,4,0] G[12,4,1] G[12,4,2]
 G[12,4,3] G[12,4,4] G[12,4,5] G[12,4,6] G[12,4,7] G[12,4,8] G[12,6,0]
 G[12,6,1] G[12,6,2] G[12,6,3] G[12,6,4] G[12,6,5] G[12,6,6] G[12,6,7]
 G[12,6,8] G[12,7,0] G[12,7,1] G[12,7,2] G[12,7,3] G[12,7,4] G[12,7,5]
 G[12,7,6] G[12,7,7] G[12,7,8] G[13,1,0] G[13,1,1] G[13,1,2] G[13,1,3]
 G[13,1,4] G[13,1,5] G[13,1,6] G[13,1,7] G[13,1,8] G[13,2,0] G[13,2,1]
 G[13,2,2] G[13,2,3] G[13,2,4] G[13,2,5] G[13,2,6] G[13,2,7] G[13,2,8]
 G[13,3,0] G[13,3,1] G[13,3,2] G[13,3,3] G[13,3,4] G[13,3,5] G[13,3,6]
 G[13,3,7] G[13,3,8] G[13,4,0] G[13,4,1] G[13,4,2] G[13,4,3] G[13,4,4]
 G[13,4,5] G[13,4,6] G[13,4,7] G[13,4,8] G[13,5,0] G[13,5,1] G[13,5,2]
 G[13,5,3] G[13,5,4] G[13,5,5] G[13,5,6] G[13,5,7] G[13,5,8] G[13,6,0]
 G[13,6,1] G[13,6,2] G[13,6,3] G[13,6,4] G[13,6,5] G[13,6,6] G[13,6,7]
 G[13,6,8] G[13,8,0] G[13,8,1] G[13,8,2] G[13,8,3] G[13,8,4] G[13,8,5]
 G[13,8,6] G[13,8,7] G[13,8,8] G[13,9,0] G[13,9,1] G[13,9,2] G[13,9,3]
 G[13,9,4] G[13,9,5] G[13,9,6] G[13,9,7] G[13,9,8] G[14,1,0] G[14,1,1]
 G[14,1,2] G[14,1,3] G[14,1,4] G[14,1,5] G[14,1,6] G[14,1,7] G[14,1,8]
 G[14,2,0] G[14,2,1] G[14,2,2] G[14,2,3] G[14,2,4] G[14,2,5] G[14,2,6]
 G[14,2,7] G[14,2,8] G[14,4,0] G[14,4,1] G[14,4,2] G[14,4,3] G[14,4,4]
 G[14,4,5] G[14,4,6] G[14,4,7] G[14,4,8] G[14,5,0] G[14,5,1] G[14,5,2]
 G[14,5,3] G[14,5,4] G[14,5,5] G[14,5,6] G[14,5,7] G[14,5,8] G[14,7,0]
 G[14,7,1] G[14,7,2] G[14,7,3] G[14,7,4] G[14,7,5] G[14,7,6] G[14,7,7]
 G[14,7,8] G[14,8,0] G[14,8,1] G[14,8,2] G[14,8,3] G[14,8,4] G[14,8,5]
 G[14,8,6] G[14,8,7] G[14,8,8] G[14,9,0] G[14,9,1] G[14,9,2] G[14,9,3]
 G[14,9,4] G[14,9,5] G[14,9,6] G[14,9,7] G[14,9,8] G[15,2,0] G[15,2,1]
 G[15,2,2] G[15,2,3] G[15,2,4] G[15,2,5] G[15,2,6] G[15,2,7] G[15,2,8]
 G[15,3,0] G[15,3,1] G[15,3,2] G[15,3,3] G[15,3,4] G[15,3,5] G[15,3,6]
 G[15,3,7] G[15,3,8] G[15,6,0] G[15,6,1] G[15,6,2] G[15,6,3] G[15,6,4]
 G[15,6,5] G[15,6,6] G[15,6,7] G[15,6,8] G[15,7,0] G[15,7,1] G[15,7,2]
 G[15,7,3] G[15,7,4] G[15,7,5] G[15,7,6] G[15,7,7] G[15,7,8] G[15,8,0]
 G[15,8,1] G[15,8,2] G[15,8,3] G[15,8,4] G[15,8,5] G[15,8,6] G[15,8,7]
 G[15,8,8] G[15,9,0] G[15,9,1] G[15,9,2] G[15,9,3] G[15,9,4] G[15,9,5]
 G[15,9,6] G[15,9,7] G[15,9,8] G[16,1,0] G[16,1,1] G[16,1,2] G[16,1,3]
 G[16,1,4] G[16,1,5] G[16,1,6] G[16,1,7] G[16,1,8] G[16,2,0] G[16,2,1]
 G[16,2,2] G[16,2,3] G[16,2,4] G[16,2,5] G[16,2,6] G[16,2,7] G[16,2,8]
 G[16,3,0] G[16,3,1] G[16,3,2] G[16,3,3] G[16,3,4] G[16,3,5] G[16,3,6]
 G[16,3,7] G[16,3,8] G[16,4,0] G[16,4,1] G[16,4,2] G[16,4,3] G[16,4,4]
 G[16,4,5] G[16,4,6] G[16,4,7] G[16,4,8] G[16,5,0] G[16,5,1] G[16,5,2]
 G[16,5,3] G[16,5,4] G[16,5,5] G[16,5,6] G[16,5,7] G[16,5,8] G[16,6,0]
 G[16,6,1] G[16,6,2] G[16,6,3] G[16,6,4] G[16,6,5] G[16,6,6] G[16,6,7]
 G[16,6,8] G[16,7,0] G[16,7,1] G[16,7,2] G[16,7,3] G[16,7,4] G[16,7,5]
 G[16,7,6] G[16,7,7] G[16,7,8] G[16,8,0] G[16,8,1] G[16,8,2] G[16,8,3]
 G[16,8,4] G[16,8,5] G[16,8,6] G[16,8,7] G[16,8,8] G[17,1,0] G[17,1,1]
 G[17,1,2] G[17,1,3] G[17,1,4] G[17,1,5] G[17,1,6] G[17,1,7] G[17,1,8]
 G[17,2,0] G[17,2,1] G[17,2,2] G[17,2,3] G[17,2,4] G[17,2,5] G[17,2,6]
 G[17,2,7] G[17,2,8] G[17,3,0] G[17,3,1] G[17,3,2] G[17,3,3] G[17,3,4]
 G[17,3,5] G[17,3,6] G[17,3,7] G[17,3,8] G[17,4,0] G[17,4,1] G[17,4,2]
 G[17,4,3] G[17,4,4] G[17,4,5] G[17,4,6] G[17,4,7] G[17,4,8] G[17,5,0]
 G[17,5,1] G[17,5,2] G[17,5,3] G[17,5,4] G[17,5,5] G[17,5,6] G[17,5,7]
 G[17,5,8] G[17,7,0] G[17,7,1] G[17,7,2] G[17,7,3] G[17,7,4] G[17,7,5]
 G[17,7,6] G[17,7,7] G[17,7,8] G[17,8,0] G[17,8,1] G[17,8,2] G[17,8,3]
 G[17,8,4] G[17,8,5] G[17,8,6] G[17,8,7] G[17,8,8]
End