leancheck-instances-0.0.2: test/diff/tiers-ArrayIntInt.out

map length (tiers :: [[ Array Int Int ]])  =  [0,1,2,4,8,16,32,64,128,256,512,1024,...]

length (list :: [ Array Int Int ])  =  Infinity

allUnique (list :: [ Array Int Int ])  =  False

ratioRepetitions (list :: [ Array Int Int ])  =  10 % 2047

tiers :: [Array Int Int]  =
  [ []
  , [array (0,-1) []]
  , [ array (0,0) [(0,0)]
    , array (1,0) []
    ]
  , [ array (0,1) [(0,0),(1,0)]
    , array (0,0) [(0,1)]
    , array (1,1) [(1,0)]
    , array (-1,-2) []
    ]
  , [ array (0,2) [(0,0),(1,0),(2,0)]
    , array (0,1) [(0,0),(1,1)]
    , array (0,1) [(0,1),(1,0)]
    , array (0,0) [(0,-1)]
    , array (1,2) [(1,0),(2,0)]
    , array (1,1) [(1,1)]
    , array (-1,-1) [(-1,0)]
    , array (2,1) []
    ]
  , [ array (0,3) [(0,0),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,1)]
    , array (0,2) [(0,0),(1,1),(2,0)]
    , array (0,1) [(0,0),(1,-1)]
    , array (0,2) [(0,1),(1,0),(2,0)]
    , array (0,1) [(0,1),(1,1)]
    , array (0,1) [(0,-1),(1,0)]
    , array (0,0) [(0,2)]
    , array (1,3) [(1,0),(2,0),(3,0)]
    , array (1,2) [(1,0),(2,1)]
    , array (1,2) [(1,1),(2,0)]
    , array (1,1) [(1,-1)]
    , array (-1,0) [(-1,0),(0,0)]
    , array (-1,-1) [(-1,1)]
    , array (2,2) [(2,0)]
    , array (-2,-3) []
    ]
  , [ array (0,4) [(0,0),(1,0),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,0),(3,1)]
    , array (0,3) [(0,0),(1,0),(2,1),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,-1)]
    , array (0,3) [(0,0),(1,1),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,1),(2,1)]
    , array (0,2) [(0,0),(1,-1),(2,0)]
    , array (0,1) [(0,0),(1,2)]
    , array (0,3) [(0,1),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,1),(1,0),(2,1)]
    , array (0,2) [(0,1),(1,1),(2,0)]
    , array (0,1) [(0,1),(1,-1)]
    , array (0,2) [(0,-1),(1,0),(2,0)]
    , array (0,1) [(0,-1),(1,1)]
    , array (0,1) [(0,2),(1,0)]
    , array (0,0) [(0,-2)]
    , array (1,4) [(1,0),(2,0),(3,0),(4,0)]
    , array (1,3) [(1,0),(2,0),(3,1)]
    , array (1,3) [(1,0),(2,1),(3,0)]
    , array (1,2) [(1,0),(2,-1)]
    , array (1,3) [(1,1),(2,0),(3,0)]
    , array (1,2) [(1,1),(2,1)]
    , array (1,2) [(1,-1),(2,0)]
    , array (1,1) [(1,2)]
    , array (-1,1) [(-1,0),(0,0),(1,0)]
    , array (-1,0) [(-1,0),(0,1)]
    , array (-1,0) [(-1,1),(0,0)]
    , array (-1,-1) [(-1,-1)]
    , array (2,3) [(2,0),(3,0)]
    , array (2,2) [(2,1)]
    , array (-2,-2) [(-2,0)]
    , array (3,2) []
    ]
  , [ array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,0),(3,-1)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,1),(3,1)]
    , array (0,3) [(0,0),(1,0),(2,-1),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,2)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,0),(3,1)]
    , array (0,3) [(0,0),(1,1),(2,1),(3,0)]
    , array (0,2) [(0,0),(1,1),(2,-1)]
    , array (0,3) [(0,0),(1,-1),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,-1),(2,1)]
    , array (0,2) [(0,0),(1,2),(2,0)]
    , array (0,1) [(0,0),(1,-2)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,0),(3,1)]
    , array (0,3) [(0,1),(1,0),(2,1),(3,0)]
    , array (0,2) [(0,1),(1,0),(2,-1)]
    , array (0,3) [(0,1),(1,1),(2,0),(3,0)]
    , array (0,2) [(0,1),(1,1),(2,1)]
    , array (0,2) [(0,1),(1,-1),(2,0)]
    , array (0,1) [(0,1),(1,2)]
    , array (0,3) [(0,-1),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,-1),(1,0),(2,1)]
    , array (0,2) [(0,-1),(1,1),(2,0)]
    , array (0,1) [(0,-1),(1,-1)]
    , array (0,2) [(0,2),(1,0),(2,0)]
    , array (0,1) [(0,2),(1,1)]
    , array (0,1) [(0,-2),(1,0)]
    , array (0,0) [(0,3)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,0),(4,1)]
    , array (1,4) [(1,0),(2,0),(3,1),(4,0)]
    , array (1,3) [(1,0),(2,0),(3,-1)]
    , array (1,4) [(1,0),(2,1),(3,0),(4,0)]
    , array (1,3) [(1,0),(2,1),(3,1)]
    , array (1,3) [(1,0),(2,-1),(3,0)]
    , array (1,2) [(1,0),(2,2)]
    , array (1,4) [(1,1),(2,0),(3,0),(4,0)]
    , array (1,3) [(1,1),(2,0),(3,1)]
    , array (1,3) [(1,1),(2,1),(3,0)]
    , array (1,2) [(1,1),(2,-1)]
    , array (1,3) [(1,-1),(2,0),(3,0)]
    , array (1,2) [(1,-1),(2,1)]
    , array (1,2) [(1,2),(2,0)]
    , array (1,1) [(1,-2)]
    , array (-1,2) [(-1,0),(0,0),(1,0),(2,0)]
    , array (-1,1) [(-1,0),(0,0),(1,1)]
    , array (-1,1) [(-1,0),(0,1),(1,0)]
    , array (-1,0) [(-1,0),(0,-1)]
    , array (-1,1) [(-1,1),(0,0),(1,0)]
    , array (-1,0) [(-1,1),(0,1)]
    , array (-1,0) [(-1,-1),(0,0)]
    , array (-1,-1) [(-1,2)]
    , array (2,4) [(2,0),(3,0),(4,0)]
    , array (2,3) [(2,0),(3,1)]
    , array (2,3) [(2,1),(3,0)]
    , array (2,2) [(2,-1)]
    , array (-2,-1) [(-2,0),(-1,0)]
    , array (-2,-2) [(-2,1)]
    , array (3,3) [(3,0)]
    , array (-3,-4) []
    ]
  , [ array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,0),(3,2)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,1),(3,-1)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,-1),(3,1)]
    , array (0,3) [(0,0),(1,0),(2,2),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,-2)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,0),(3,-1)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,1),(3,1)]
    , array (0,3) [(0,0),(1,1),(2,-1),(3,0)]
    , array (0,2) [(0,0),(1,1),(2,2)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,0),(3,1)]
    , array (0,3) [(0,0),(1,-1),(2,1),(3,0)]
    , array (0,2) [(0,0),(1,-1),(2,-1)]
    , array (0,3) [(0,0),(1,2),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,2),(2,1)]
    , array (0,2) [(0,0),(1,-2),(2,0)]
    , array (0,1) [(0,0),(1,3)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,0),(3,-1)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,1),(3,1)]
    , array (0,3) [(0,1),(1,0),(2,-1),(3,0)]
    , array (0,2) [(0,1),(1,0),(2,2)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,0),(3,1)]
    , array (0,3) [(0,1),(1,1),(2,1),(3,0)]
    , array (0,2) [(0,1),(1,1),(2,-1)]
    , array (0,3) [(0,1),(1,-1),(2,0),(3,0)]
    , array (0,2) [(0,1),(1,-1),(2,1)]
    , array (0,2) [(0,1),(1,2),(2,0)]
    , array (0,1) [(0,1),(1,-2)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,0),(3,1)]
    , array (0,3) [(0,-1),(1,0),(2,1),(3,0)]
    , array (0,2) [(0,-1),(1,0),(2,-1)]
    , array (0,3) [(0,-1),(1,1),(2,0),(3,0)]
    , array (0,2) [(0,-1),(1,1),(2,1)]
    , array (0,2) [(0,-1),(1,-1),(2,0)]
    , array (0,1) [(0,-1),(1,2)]
    , array (0,3) [(0,2),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,2),(1,0),(2,1)]
    , array (0,2) [(0,2),(1,1),(2,0)]
    , array (0,1) [(0,2),(1,-1)]
    , array (0,2) [(0,-2),(1,0),(2,0)]
    , array (0,1) [(0,-2),(1,1)]
    , array (0,1) [(0,3),(1,0)]
    , array (0,0) [(0,-3)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,0),(4,-1)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,1),(4,1)]
    , array (1,4) [(1,0),(2,0),(3,-1),(4,0)]
    , array (1,3) [(1,0),(2,0),(3,2)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,0),(4,1)]
    , array (1,4) [(1,0),(2,1),(3,1),(4,0)]
    , array (1,3) [(1,0),(2,1),(3,-1)]
    , array (1,4) [(1,0),(2,-1),(3,0),(4,0)]
    , array (1,3) [(1,0),(2,-1),(3,1)]
    , array (1,3) [(1,0),(2,2),(3,0)]
    , array (1,2) [(1,0),(2,-2)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,0),(4,1)]
    , array (1,4) [(1,1),(2,0),(3,1),(4,0)]
    , array (1,3) [(1,1),(2,0),(3,-1)]
    , array (1,4) [(1,1),(2,1),(3,0),(4,0)]
    , array (1,3) [(1,1),(2,1),(3,1)]
    , array (1,3) [(1,1),(2,-1),(3,0)]
    , array (1,2) [(1,1),(2,2)]
    , array (1,4) [(1,-1),(2,0),(3,0),(4,0)]
    , array (1,3) [(1,-1),(2,0),(3,1)]
    , array (1,3) [(1,-1),(2,1),(3,0)]
    , array (1,2) [(1,-1),(2,-1)]
    , array (1,3) [(1,2),(2,0),(3,0)]
    , array (1,2) [(1,2),(2,1)]
    , array (1,2) [(1,-2),(2,0)]
    , array (1,1) [(1,3)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,0),(2,1)]
    , array (-1,2) [(-1,0),(0,0),(1,1),(2,0)]
    , array (-1,1) [(-1,0),(0,0),(1,-1)]
    , array (-1,2) [(-1,0),(0,1),(1,0),(2,0)]
    , array (-1,1) [(-1,0),(0,1),(1,1)]
    , array (-1,1) [(-1,0),(0,-1),(1,0)]
    , array (-1,0) [(-1,0),(0,2)]
    , array (-1,2) [(-1,1),(0,0),(1,0),(2,0)]
    , array (-1,1) [(-1,1),(0,0),(1,1)]
    , array (-1,1) [(-1,1),(0,1),(1,0)]
    , array (-1,0) [(-1,1),(0,-1)]
    , array (-1,1) [(-1,-1),(0,0),(1,0)]
    , array (-1,0) [(-1,-1),(0,1)]
    , array (-1,0) [(-1,2),(0,0)]
    , array (-1,-1) [(-1,-2)]
    , array (2,5) [(2,0),(3,0),(4,0),(5,0)]
    , array (2,4) [(2,0),(3,0),(4,1)]
    , array (2,4) [(2,0),(3,1),(4,0)]
    , array (2,3) [(2,0),(3,-1)]
    , array (2,4) [(2,1),(3,0),(4,0)]
    , array (2,3) [(2,1),(3,1)]
    , array (2,3) [(2,-1),(3,0)]
    , array (2,2) [(2,2)]
    , array (-2,0) [(-2,0),(-1,0),(0,0)]
    , array (-2,-1) [(-2,0),(-1,1)]
    , array (-2,-1) [(-2,1),(-1,0)]
    , array (-2,-2) [(-2,-1)]
    , array (3,4) [(3,0),(4,0)]
    , array (3,3) [(3,1)]
    , array (-3,-3) [(-3,0)]
    , array (4,3) []
    ]
  , [ array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,0),(4,2)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,1),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,-1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,2),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,0),(3,-2)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,1),(3,2)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,-1),(3,-1)]
    , array (0,4) [(0,0),(1,0),(2,2),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,2),(3,1)]
    , array (0,3) [(0,0),(1,0),(2,-2),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,3)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,0),(3,2)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,1),(3,-1)]
    , array (0,4) [(0,0),(1,1),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,-1),(3,1)]
    , array (0,3) [(0,0),(1,1),(2,2),(3,0)]
    , array (0,2) [(0,0),(1,1),(2,-2)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,0),(3,-1)]
    , array (0,4) [(0,0),(1,-1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,1),(3,1)]
    , array (0,3) [(0,0),(1,-1),(2,-1),(3,0)]
    , array (0,2) [(0,0),(1,-1),(2,2)]
    , array (0,4) [(0,0),(1,2),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,2),(2,0),(3,1)]
    , array (0,3) [(0,0),(1,2),(2,1),(3,0)]
    , array (0,2) [(0,0),(1,2),(2,-1)]
    , array (0,3) [(0,0),(1,-2),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,-2),(2,1)]
    , array (0,2) [(0,0),(1,3),(2,0)]
    , array (0,1) [(0,0),(1,-3)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,0),(3,2)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,1),(3,-1)]
    , array (0,4) [(0,1),(1,0),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,-1),(3,1)]
    , array (0,3) [(0,1),(1,0),(2,2),(3,0)]
    , array (0,2) [(0,1),(1,0),(2,-2)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,0),(3,-1)]
    , array (0,4) [(0,1),(1,1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,1),(3,1)]
    , array (0,3) [(0,1),(1,1),(2,-1),(3,0)]
    , array (0,2) [(0,1),(1,1),(2,2)]
    , array (0,4) [(0,1),(1,-1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,-1),(2,0),(3,1)]
    , array (0,3) [(0,1),(1,-1),(2,1),(3,0)]
    , array (0,2) [(0,1),(1,-1),(2,-1)]
    , array (0,3) [(0,1),(1,2),(2,0),(3,0)]
    , array (0,2) [(0,1),(1,2),(2,1)]
    , array (0,2) [(0,1),(1,-2),(2,0)]
    , array (0,1) [(0,1),(1,3)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,0),(3,-1)]
    , array (0,4) [(0,-1),(1,0),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,1),(3,1)]
    , array (0,3) [(0,-1),(1,0),(2,-1),(3,0)]
    , array (0,2) [(0,-1),(1,0),(2,2)]
    , array (0,4) [(0,-1),(1,1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,1),(2,0),(3,1)]
    , array (0,3) [(0,-1),(1,1),(2,1),(3,0)]
    , array (0,2) [(0,-1),(1,1),(2,-1)]
    , array (0,3) [(0,-1),(1,-1),(2,0),(3,0)]
    , array (0,2) [(0,-1),(1,-1),(2,1)]
    , array (0,2) [(0,-1),(1,2),(2,0)]
    , array (0,1) [(0,-1),(1,-2)]
    , array (0,4) [(0,2),(1,0),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,2),(1,0),(2,0),(3,1)]
    , array (0,3) [(0,2),(1,0),(2,1),(3,0)]
    , array (0,2) [(0,2),(1,0),(2,-1)]
    , array (0,3) [(0,2),(1,1),(2,0),(3,0)]
    , array (0,2) [(0,2),(1,1),(2,1)]
    , array (0,2) [(0,2),(1,-1),(2,0)]
    , array (0,1) [(0,2),(1,2)]
    , array (0,3) [(0,-2),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,-2),(1,0),(2,1)]
    , array (0,2) [(0,-2),(1,1),(2,0)]
    , array (0,1) [(0,-2),(1,-1)]
    , array (0,2) [(0,3),(1,0),(2,0)]
    , array (0,1) [(0,3),(1,1)]
    , array (0,1) [(0,-3),(1,0)]
    , array (0,0) [(0,4)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,0),(5,-1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,1),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,-1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,0),(4,2)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,1),(4,-1)]
    , array (1,5) [(1,0),(2,0),(3,-1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,-1),(4,1)]
    , array (1,4) [(1,0),(2,0),(3,2),(4,0)]
    , array (1,3) [(1,0),(2,0),(3,-2)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,0),(4,-1)]
    , array (1,5) [(1,0),(2,1),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,1),(4,1)]
    , array (1,4) [(1,0),(2,1),(3,-1),(4,0)]
    , array (1,3) [(1,0),(2,1),(3,2)]
    , array (1,5) [(1,0),(2,-1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,-1),(3,0),(4,1)]
    , array (1,4) [(1,0),(2,-1),(3,1),(4,0)]
    , array (1,3) [(1,0),(2,-1),(3,-1)]
    , array (1,4) [(1,0),(2,2),(3,0),(4,0)]
    , array (1,3) [(1,0),(2,2),(3,1)]
    , array (1,3) [(1,0),(2,-2),(3,0)]
    , array (1,2) [(1,0),(2,3)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,0),(4,-1)]
    , array (1,5) [(1,1),(2,0),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,1),(4,1)]
    , array (1,4) [(1,1),(2,0),(3,-1),(4,0)]
    , array (1,3) [(1,1),(2,0),(3,2)]
    , array (1,5) [(1,1),(2,1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,1),(3,0),(4,1)]
    , array (1,4) [(1,1),(2,1),(3,1),(4,0)]
    , array (1,3) [(1,1),(2,1),(3,-1)]
    , array (1,4) [(1,1),(2,-1),(3,0),(4,0)]
    , array (1,3) [(1,1),(2,-1),(3,1)]
    , array (1,3) [(1,1),(2,2),(3,0)]
    , array (1,2) [(1,1),(2,-2)]
    , array (1,5) [(1,-1),(2,0),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,-1),(2,0),(3,0),(4,1)]
    , array (1,4) [(1,-1),(2,0),(3,1),(4,0)]
    , array (1,3) [(1,-1),(2,0),(3,-1)]
    , array (1,4) [(1,-1),(2,1),(3,0),(4,0)]
    , array (1,3) [(1,-1),(2,1),(3,1)]
    , array (1,3) [(1,-1),(2,-1),(3,0)]
    , array (1,2) [(1,-1),(2,2)]
    , array (1,4) [(1,2),(2,0),(3,0),(4,0)]
    , array (1,3) [(1,2),(2,0),(3,1)]
    , array (1,3) [(1,2),(2,1),(3,0)]
    , array (1,2) [(1,2),(2,-1)]
    , array (1,3) [(1,-2),(2,0),(3,0)]
    , array (1,2) [(1,-2),(2,1)]
    , array (1,2) [(1,3),(2,0)]
    , array (1,1) [(1,-3)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,0),(3,1)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,1),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,0),(2,-1)]
    , array (-1,3) [(-1,0),(0,0),(1,1),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,1),(2,1)]
    , array (-1,2) [(-1,0),(0,0),(1,-1),(2,0)]
    , array (-1,1) [(-1,0),(0,0),(1,2)]
    , array (-1,3) [(-1,0),(0,1),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,1),(1,0),(2,1)]
    , array (-1,2) [(-1,0),(0,1),(1,1),(2,0)]
    , array (-1,1) [(-1,0),(0,1),(1,-1)]
    , array (-1,2) [(-1,0),(0,-1),(1,0),(2,0)]
    , array (-1,1) [(-1,0),(0,-1),(1,1)]
    , array (-1,1) [(-1,0),(0,2),(1,0)]
    , array (-1,0) [(-1,0),(0,-2)]
    , array (-1,3) [(-1,1),(0,0),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,1),(0,0),(1,0),(2,1)]
    , array (-1,2) [(-1,1),(0,0),(1,1),(2,0)]
    , array (-1,1) [(-1,1),(0,0),(1,-1)]
    , array (-1,2) [(-1,1),(0,1),(1,0),(2,0)]
    , array (-1,1) [(-1,1),(0,1),(1,1)]
    , array (-1,1) [(-1,1),(0,-1),(1,0)]
    , array (-1,0) [(-1,1),(0,2)]
    , array (-1,2) [(-1,-1),(0,0),(1,0),(2,0)]
    , array (-1,1) [(-1,-1),(0,0),(1,1)]
    , array (-1,1) [(-1,-1),(0,1),(1,0)]
    , array (-1,0) [(-1,-1),(0,-1)]
    , array (-1,1) [(-1,2),(0,0),(1,0)]
    , array (-1,0) [(-1,2),(0,1)]
    , array (-1,0) [(-1,-2),(0,0)]
    , array (-1,-1) [(-1,3)]
    , array (2,6) [(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (2,5) [(2,0),(3,0),(4,0),(5,1)]
    , array (2,5) [(2,0),(3,0),(4,1),(5,0)]
    , array (2,4) [(2,0),(3,0),(4,-1)]
    , array (2,5) [(2,0),(3,1),(4,0),(5,0)]
    , array (2,4) [(2,0),(3,1),(4,1)]
    , array (2,4) [(2,0),(3,-1),(4,0)]
    , array (2,3) [(2,0),(3,2)]
    , array (2,5) [(2,1),(3,0),(4,0),(5,0)]
    , array (2,4) [(2,1),(3,0),(4,1)]
    , array (2,4) [(2,1),(3,1),(4,0)]
    , array (2,3) [(2,1),(3,-1)]
    , array (2,4) [(2,-1),(3,0),(4,0)]
    , array (2,3) [(2,-1),(3,1)]
    , array (2,3) [(2,2),(3,0)]
    , array (2,2) [(2,-2)]
    , array (-2,1) [(-2,0),(-1,0),(0,0),(1,0)]
    , array (-2,0) [(-2,0),(-1,0),(0,1)]
    , array (-2,0) [(-2,0),(-1,1),(0,0)]
    , array (-2,-1) [(-2,0),(-1,-1)]
    , array (-2,0) [(-2,1),(-1,0),(0,0)]
    , array (-2,-1) [(-2,1),(-1,1)]
    , array (-2,-1) [(-2,-1),(-1,0)]
    , array (-2,-2) [(-2,2)]
    , array (3,5) [(3,0),(4,0),(5,0)]
    , array (3,4) [(3,0),(4,1)]
    , array (3,4) [(3,1),(4,0)]
    , array (3,3) [(3,-1)]
    , array (-3,-2) [(-3,0),(-2,0)]
    , array (-3,-3) [(-3,1)]
    , array (4,4) [(4,0)]
    , array (-4,-5) []
    ]
  , [ array (0,8) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,-1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,-1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,2)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,2),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,0),(4,-2)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,1),(4,2)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,-1),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,2),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,2),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,-2),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,0),(3,3)]
    , array (0,7) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,0),(4,2)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,1),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,-1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,2),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,1),(3,-2)]
    , array (0,6) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,-1),(3,2)]
    , array (0,5) [(0,0),(1,0),(2,2),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,2),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,2),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,2),(3,-1)]
    , array (0,4) [(0,0),(1,0),(2,-2),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,-2),(3,1)]
    , array (0,3) [(0,0),(1,0),(2,3),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,-3)]
    , array (0,7) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,0),(4,2)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,1),(4,-1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,-1),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,2),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,0),(3,-2)]
    , array (0,6) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,1),(3,2)]
    , array (0,5) [(0,0),(1,1),(2,-1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,-1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,-1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,-1),(3,-1)]
    , array (0,4) [(0,0),(1,1),(2,2),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,2),(3,1)]
    , array (0,3) [(0,0),(1,1),(2,-2),(3,0)]
    , array (0,2) [(0,0),(1,1),(2,3)]
    , array (0,6) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,0),(3,2)]
    , array (0,5) [(0,0),(1,-1),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,-1),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,1),(3,-1)]
    , array (0,4) [(0,0),(1,-1),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,-1),(3,1)]
    , array (0,3) [(0,0),(1,-1),(2,2),(3,0)]
    , array (0,2) [(0,0),(1,-1),(2,-2)]
    , array (0,5) [(0,0),(1,2),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,2),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,2),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,2),(2,0),(3,-1)]
    , array (0,4) [(0,0),(1,2),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,2),(2,1),(3,1)]
    , array (0,3) [(0,0),(1,2),(2,-1),(3,0)]
    , array (0,2) [(0,0),(1,2),(2,2)]
    , array (0,4) [(0,0),(1,-2),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,-2),(2,0),(3,1)]
    , array (0,3) [(0,0),(1,-2),(2,1),(3,0)]
    , array (0,2) [(0,0),(1,-2),(2,-1)]
    , array (0,3) [(0,0),(1,3),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,3),(2,1)]
    , array (0,2) [(0,0),(1,-3),(2,0)]
    , array (0,1) [(0,0),(1,4)]
    , array (0,7) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,0),(4,2)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,1),(4,-1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,-1),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,2),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,0),(3,-2)]
    , array (0,6) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,0),(4,-1)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,1),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,-1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,1),(3,2)]
    , array (0,5) [(0,1),(1,0),(2,-1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,-1),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,-1),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,-1),(3,-1)]
    , array (0,4) [(0,1),(1,0),(2,2),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,2),(3,1)]
    , array (0,3) [(0,1),(1,0),(2,-2),(3,0)]
    , array (0,2) [(0,1),(1,0),(2,3)]
    , array (0,6) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,0),(3,2)]
    , array (0,5) [(0,1),(1,1),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,1),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,1),(3,-1)]
    , array (0,4) [(0,1),(1,1),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,-1),(3,1)]
    , array (0,3) [(0,1),(1,1),(2,2),(3,0)]
    , array (0,2) [(0,1),(1,1),(2,-2)]
    , array (0,5) [(0,1),(1,-1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,-1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,-1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,-1),(2,0),(3,-1)]
    , array (0,4) [(0,1),(1,-1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,-1),(2,1),(3,1)]
    , array (0,3) [(0,1),(1,-1),(2,-1),(3,0)]
    , array (0,2) [(0,1),(1,-1),(2,2)]
    , array (0,4) [(0,1),(1,2),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,2),(2,0),(3,1)]
    , array (0,3) [(0,1),(1,2),(2,1),(3,0)]
    , array (0,2) [(0,1),(1,2),(2,-1)]
    , array (0,3) [(0,1),(1,-2),(2,0),(3,0)]
    , array (0,2) [(0,1),(1,-2),(2,1)]
    , array (0,2) [(0,1),(1,3),(2,0)]
    , array (0,1) [(0,1),(1,-3)]
    , array (0,6) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,0),(3,2)]
    , array (0,5) [(0,-1),(1,0),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,-1),(1,0),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,1),(3,-1)]
    , array (0,4) [(0,-1),(1,0),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,-1),(3,1)]
    , array (0,3) [(0,-1),(1,0),(2,2),(3,0)]
    , array (0,2) [(0,-1),(1,0),(2,-2)]
    , array (0,5) [(0,-1),(1,1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,-1),(1,1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,-1),(1,1),(2,0),(3,-1)]
    , array (0,4) [(0,-1),(1,1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,1),(2,1),(3,1)]
    , array (0,3) [(0,-1),(1,1),(2,-1),(3,0)]
    , array (0,2) [(0,-1),(1,1),(2,2)]
    , array (0,4) [(0,-1),(1,-1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,-1),(2,0),(3,1)]
    , array (0,3) [(0,-1),(1,-1),(2,1),(3,0)]
    , array (0,2) [(0,-1),(1,-1),(2,-1)]
    , array (0,3) [(0,-1),(1,2),(2,0),(3,0)]
    , array (0,2) [(0,-1),(1,2),(2,1)]
    , array (0,2) [(0,-1),(1,-2),(2,0)]
    , array (0,1) [(0,-1),(1,3)]
    , array (0,5) [(0,2),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,2),(1,0),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,2),(1,0),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,2),(1,0),(2,0),(3,-1)]
    , array (0,4) [(0,2),(1,0),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,2),(1,0),(2,1),(3,1)]
    , array (0,3) [(0,2),(1,0),(2,-1),(3,0)]
    , array (0,2) [(0,2),(1,0),(2,2)]
    , array (0,4) [(0,2),(1,1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,2),(1,1),(2,0),(3,1)]
    , array (0,3) [(0,2),(1,1),(2,1),(3,0)]
    , array (0,2) [(0,2),(1,1),(2,-1)]
    , array (0,3) [(0,2),(1,-1),(2,0),(3,0)]
    , array (0,2) [(0,2),(1,-1),(2,1)]
    , array (0,2) [(0,2),(1,2),(2,0)]
    , array (0,1) [(0,2),(1,-2)]
    , array (0,4) [(0,-2),(1,0),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,-2),(1,0),(2,0),(3,1)]
    , array (0,3) [(0,-2),(1,0),(2,1),(3,0)]
    , array (0,2) [(0,-2),(1,0),(2,-1)]
    , array (0,3) [(0,-2),(1,1),(2,0),(3,0)]
    , array (0,2) [(0,-2),(1,1),(2,1)]
    , array (0,2) [(0,-2),(1,-1),(2,0)]
    , array (0,1) [(0,-2),(1,2)]
    , array (0,3) [(0,3),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,3),(1,0),(2,1)]
    , array (0,2) [(0,3),(1,1),(2,0)]
    , array (0,1) [(0,3),(1,-1)]
    , array (0,2) [(0,-3),(1,0),(2,0)]
    , array (0,1) [(0,-3),(1,1)]
    , array (0,1) [(0,4),(1,0)]
    , array (0,0) [(0,-4)]
    , array (1,8) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,-1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,-1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,0),(5,2)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,1),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,1),(5,-1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,-1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,-1),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,2),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,0),(4,-2)]
    , array (1,7) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,0),(5,-1)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,1),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,-1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,1),(4,2)]
    , array (1,6) [(1,0),(2,0),(3,-1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,-1),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,-1),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,-1),(4,-1)]
    , array (1,5) [(1,0),(2,0),(3,2),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,2),(4,1)]
    , array (1,4) [(1,0),(2,0),(3,-2),(4,0)]
    , array (1,3) [(1,0),(2,0),(3,3)]
    , array (1,7) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,0),(5,-1)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,1),(5,1)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,-1),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,0),(4,2)]
    , array (1,6) [(1,0),(2,1),(3,1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,1),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,1),(3,1),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,1),(4,-1)]
    , array (1,5) [(1,0),(2,1),(3,-1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,-1),(4,1)]
    , array (1,4) [(1,0),(2,1),(3,2),(4,0)]
    , array (1,3) [(1,0),(2,1),(3,-2)]
    , array (1,6) [(1,0),(2,-1),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,-1),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,-1),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,-1),(3,0),(4,-1)]
    , array (1,5) [(1,0),(2,-1),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,-1),(3,1),(4,1)]
    , array (1,4) [(1,0),(2,-1),(3,-1),(4,0)]
    , array (1,3) [(1,0),(2,-1),(3,2)]
    , array (1,5) [(1,0),(2,2),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,2),(3,0),(4,1)]
    , array (1,4) [(1,0),(2,2),(3,1),(4,0)]
    , array (1,3) [(1,0),(2,2),(3,-1)]
    , array (1,4) [(1,0),(2,-2),(3,0),(4,0)]
    , array (1,3) [(1,0),(2,-2),(3,1)]
    , array (1,3) [(1,0),(2,3),(3,0)]
    , array (1,2) [(1,0),(2,-3)]
    , array (1,7) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,0),(5,-1)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,1),(5,1)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,-1),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,0),(4,2)]
    , array (1,6) [(1,1),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,1),(4,0),(5,1)]
    , array (1,5) [(1,1),(2,0),(3,1),(4,1),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,1),(4,-1)]
    , array (1,5) [(1,1),(2,0),(3,-1),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,-1),(4,1)]
    , array (1,4) [(1,1),(2,0),(3,2),(4,0)]
    , array (1,3) [(1,1),(2,0),(3,-2)]
    , array (1,6) [(1,1),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,1),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,1),(2,1),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,1),(2,1),(3,0),(4,-1)]
    , array (1,5) [(1,1),(2,1),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,1),(3,1),(4,1)]
    , array (1,4) [(1,1),(2,1),(3,-1),(4,0)]
    , array (1,3) [(1,1),(2,1),(3,2)]
    , array (1,5) [(1,1),(2,-1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,-1),(3,0),(4,1)]
    , array (1,4) [(1,1),(2,-1),(3,1),(4,0)]
    , array (1,3) [(1,1),(2,-1),(3,-1)]
    , array (1,4) [(1,1),(2,2),(3,0),(4,0)]
    , array (1,3) [(1,1),(2,2),(3,1)]
    , array (1,3) [(1,1),(2,-2),(3,0)]
    , array (1,2) [(1,1),(2,3)]
    , array (1,6) [(1,-1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,-1),(2,0),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,-1),(2,0),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,-1),(2,0),(3,0),(4,-1)]
    , array (1,5) [(1,-1),(2,0),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,-1),(2,0),(3,1),(4,1)]
    , array (1,4) [(1,-1),(2,0),(3,-1),(4,0)]
    , array (1,3) [(1,-1),(2,0),(3,2)]
    , array (1,5) [(1,-1),(2,1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,-1),(2,1),(3,0),(4,1)]
    , array (1,4) [(1,-1),(2,1),(3,1),(4,0)]
    , array (1,3) [(1,-1),(2,1),(3,-1)]
    , array (1,4) [(1,-1),(2,-1),(3,0),(4,0)]
    , array (1,3) [(1,-1),(2,-1),(3,1)]
    , array (1,3) [(1,-1),(2,2),(3,0)]
    , array (1,2) [(1,-1),(2,-2)]
    , array (1,5) [(1,2),(2,0),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,2),(2,0),(3,0),(4,1)]
    , array (1,4) [(1,2),(2,0),(3,1),(4,0)]
    , array (1,3) [(1,2),(2,0),(3,-1)]
    , array (1,4) [(1,2),(2,1),(3,0),(4,0)]
    , array (1,3) [(1,2),(2,1),(3,1)]
    , array (1,3) [(1,2),(2,-1),(3,0)]
    , array (1,2) [(1,2),(2,2)]
    , array (1,4) [(1,-2),(2,0),(3,0),(4,0)]
    , array (1,3) [(1,-2),(2,0),(3,1)]
    , array (1,3) [(1,-2),(2,1),(3,0)]
    , array (1,2) [(1,-2),(2,-1)]
    , array (1,3) [(1,3),(2,0),(3,0)]
    , array (1,2) [(1,3),(2,1)]
    , array (1,2) [(1,-3),(2,0)]
    , array (1,1) [(1,4)]
    , array (-1,5) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,1)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,0),(3,1),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,0),(3,-1)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,1),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,1),(3,1)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,-1),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,0),(2,2)]
    , array (-1,4) [(-1,0),(0,0),(1,1),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,1),(2,0),(3,1)]
    , array (-1,3) [(-1,0),(0,0),(1,1),(2,1),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,1),(2,-1)]
    , array (-1,3) [(-1,0),(0,0),(1,-1),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,-1),(2,1)]
    , array (-1,2) [(-1,0),(0,0),(1,2),(2,0)]
    , array (-1,1) [(-1,0),(0,0),(1,-2)]
    , array (-1,4) [(-1,0),(0,1),(1,0),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,1),(1,0),(2,0),(3,1)]
    , array (-1,3) [(-1,0),(0,1),(1,0),(2,1),(3,0)]
    , array (-1,2) [(-1,0),(0,1),(1,0),(2,-1)]
    , array (-1,3) [(-1,0),(0,1),(1,1),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,1),(1,1),(2,1)]
    , array (-1,2) [(-1,0),(0,1),(1,-1),(2,0)]
    , array (-1,1) [(-1,0),(0,1),(1,2)]
    , array (-1,3) [(-1,0),(0,-1),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,-1),(1,0),(2,1)]
    , array (-1,2) [(-1,0),(0,-1),(1,1),(2,0)]
    , array (-1,1) [(-1,0),(0,-1),(1,-1)]
    , array (-1,2) [(-1,0),(0,2),(1,0),(2,0)]
    , array (-1,1) [(-1,0),(0,2),(1,1)]
    , array (-1,1) [(-1,0),(0,-2),(1,0)]
    , array (-1,0) [(-1,0),(0,3)]
    , array (-1,4) [(-1,1),(0,0),(1,0),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,1),(0,0),(1,0),(2,0),(3,1)]
    , array (-1,3) [(-1,1),(0,0),(1,0),(2,1),(3,0)]
    , array (-1,2) [(-1,1),(0,0),(1,0),(2,-1)]
    , array (-1,3) [(-1,1),(0,0),(1,1),(2,0),(3,0)]
    , array (-1,2) [(-1,1),(0,0),(1,1),(2,1)]
    , array (-1,2) [(-1,1),(0,0),(1,-1),(2,0)]
    , array (-1,1) [(-1,1),(0,0),(1,2)]
    , array (-1,3) [(-1,1),(0,1),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,1),(0,1),(1,0),(2,1)]
    , array (-1,2) [(-1,1),(0,1),(1,1),(2,0)]
    , array (-1,1) [(-1,1),(0,1),(1,-1)]
    , array (-1,2) [(-1,1),(0,-1),(1,0),(2,0)]
    , array (-1,1) [(-1,1),(0,-1),(1,1)]
    , array (-1,1) [(-1,1),(0,2),(1,0)]
    , array (-1,0) [(-1,1),(0,-2)]
    , array (-1,3) [(-1,-1),(0,0),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,-1),(0,0),(1,0),(2,1)]
    , array (-1,2) [(-1,-1),(0,0),(1,1),(2,0)]
    , array (-1,1) [(-1,-1),(0,0),(1,-1)]
    , array (-1,2) [(-1,-1),(0,1),(1,0),(2,0)]
    , array (-1,1) [(-1,-1),(0,1),(1,1)]
    , array (-1,1) [(-1,-1),(0,-1),(1,0)]
    , array (-1,0) [(-1,-1),(0,2)]
    , array (-1,2) [(-1,2),(0,0),(1,0),(2,0)]
    , array (-1,1) [(-1,2),(0,0),(1,1)]
    , array (-1,1) [(-1,2),(0,1),(1,0)]
    , array (-1,0) [(-1,2),(0,-1)]
    , array (-1,1) [(-1,-2),(0,0),(1,0)]
    , array (-1,0) [(-1,-2),(0,1)]
    , array (-1,0) [(-1,3),(0,0)]
    , array (-1,-1) [(-1,-3)]
    , array (2,7) [(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (2,6) [(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (2,6) [(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (2,5) [(2,0),(3,0),(4,0),(5,-1)]
    , array (2,6) [(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (2,5) [(2,0),(3,0),(4,1),(5,1)]
    , array (2,5) [(2,0),(3,0),(4,-1),(5,0)]
    , array (2,4) [(2,0),(3,0),(4,2)]
    , array (2,6) [(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (2,5) [(2,0),(3,1),(4,0),(5,1)]
    , array (2,5) [(2,0),(3,1),(4,1),(5,0)]
    , array (2,4) [(2,0),(3,1),(4,-1)]
    , array (2,5) [(2,0),(3,-1),(4,0),(5,0)]
    , array (2,4) [(2,0),(3,-1),(4,1)]
    , array (2,4) [(2,0),(3,2),(4,0)]
    , array (2,3) [(2,0),(3,-2)]
    , array (2,6) [(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (2,5) [(2,1),(3,0),(4,0),(5,1)]
    , array (2,5) [(2,1),(3,0),(4,1),(5,0)]
    , array (2,4) [(2,1),(3,0),(4,-1)]
    , array (2,5) [(2,1),(3,1),(4,0),(5,0)]
    , array (2,4) [(2,1),(3,1),(4,1)]
    , array (2,4) [(2,1),(3,-1),(4,0)]
    , array (2,3) [(2,1),(3,2)]
    , array (2,5) [(2,-1),(3,0),(4,0),(5,0)]
    , array (2,4) [(2,-1),(3,0),(4,1)]
    , array (2,4) [(2,-1),(3,1),(4,0)]
    , array (2,3) [(2,-1),(3,-1)]
    , array (2,4) [(2,2),(3,0),(4,0)]
    , array (2,3) [(2,2),(3,1)]
    , array (2,3) [(2,-2),(3,0)]
    , array (2,2) [(2,3)]
    , array (-2,2) [(-2,0),(-1,0),(0,0),(1,0),(2,0)]
    , array (-2,1) [(-2,0),(-1,0),(0,0),(1,1)]
    , array (-2,1) [(-2,0),(-1,0),(0,1),(1,0)]
    , array (-2,0) [(-2,0),(-1,0),(0,-1)]
    , array (-2,1) [(-2,0),(-1,1),(0,0),(1,0)]
    , array (-2,0) [(-2,0),(-1,1),(0,1)]
    , array (-2,0) [(-2,0),(-1,-1),(0,0)]
    , array (-2,-1) [(-2,0),(-1,2)]
    , array (-2,1) [(-2,1),(-1,0),(0,0),(1,0)]
    , array (-2,0) [(-2,1),(-1,0),(0,1)]
    , array (-2,0) [(-2,1),(-1,1),(0,0)]
    , array (-2,-1) [(-2,1),(-1,-1)]
    , array (-2,0) [(-2,-1),(-1,0),(0,0)]
    , array (-2,-1) [(-2,-1),(-1,1)]
    , array (-2,-1) [(-2,2),(-1,0)]
    , array (-2,-2) [(-2,-2)]
    , array (3,6) [(3,0),(4,0),(5,0),(6,0)]
    , array (3,5) [(3,0),(4,0),(5,1)]
    , array (3,5) [(3,0),(4,1),(5,0)]
    , array (3,4) [(3,0),(4,-1)]
    , array (3,5) [(3,1),(4,0),(5,0)]
    , array (3,4) [(3,1),(4,1)]
    , array (3,4) [(3,-1),(4,0)]
    , array (3,3) [(3,2)]
    , array (-3,-1) [(-3,0),(-2,0),(-1,0)]
    , array (-3,-2) [(-3,0),(-2,1)]
    , array (-3,-2) [(-3,1),(-2,0)]
    , array (-3,-3) [(-3,-1)]
    , array (4,5) [(4,0),(5,0)]
    , array (4,4) [(4,1)]
    , array (-4,-4) [(-4,0)]
    , array (5,4) []
    ]
  , [ array (0,9) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0),(9,0)]
    , array (0,8) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,1)]
    , array (0,8) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,-1)]
    , array (0,8) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,-1),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,2)]
    , array (0,8) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,1),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,1),(6,-1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,-1),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,-1),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,2),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,-2)]
    , array (0,8) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,1),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,0),(6,-1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,1),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,1),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,-1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,1),(5,2)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,-1),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,0),(4,2),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,2),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,0),(4,-2),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,0),(4,3)]
    , array (0,8) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,1),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,0),(6,-1)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,1),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,1),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,-1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,0),(5,2)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,1),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,1),(4,-1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,-1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,1),(4,2),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,1),(4,-2)]
    , array (0,7) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-1),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,-1),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-1),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-1),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,-1),(4,2)]
    , array (0,6) [(0,0),(1,0),(2,0),(3,2),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,2),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,2),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,2),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,0),(3,-2),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,-2),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,0),(3,3),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,0),(3,-3)]
    , array (0,8) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (0,7) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,0),(6,-1)]
    , array (0,7) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,1),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,-1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,0),(5,2)]
    , array (0,7) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,1),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,0),(4,-1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,-1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,0),(4,2),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,0),(4,-2)]
    , array (0,7) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,1),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,1),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,1),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,1),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,1),(4,2)]
    , array (0,6) [(0,0),(1,0),(2,1),(3,-1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,-1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,-1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,-1),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,1),(3,2),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,2),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,1),(3,-2),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,1),(3,3)]
    , array (0,7) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,0),(2,-1),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,0),(4,2)]
    , array (0,6) [(0,0),(1,0),(2,-1),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,1),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,-1),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,-1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,-1),(3,2),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,-1),(3,-2)]
    , array (0,6) [(0,0),(1,0),(2,2),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,0),(2,2),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,0),(2,2),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,2),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,0),(2,2),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,2),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,2),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,2),(3,2)]
    , array (0,5) [(0,0),(1,0),(2,-2),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,0),(2,-2),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,0),(2,-2),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,-2),(3,-1)]
    , array (0,4) [(0,0),(1,0),(2,3),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,0),(2,3),(3,1)]
    , array (0,3) [(0,0),(1,0),(2,-3),(3,0)]
    , array (0,2) [(0,0),(1,0),(2,4)]
    , array (0,8) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (0,7) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,0),(6,-1)]
    , array (0,7) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,1),(6,1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,-1),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,0),(5,2)]
    , array (0,7) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,1),(5,-1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,0),(4,-1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,-1),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,0),(4,2),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,0),(4,-2)]
    , array (0,7) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,1),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,1),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,1),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,1),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,1),(4,2)]
    , array (0,6) [(0,0),(1,1),(2,0),(3,-1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,-1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,-1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,-1),(4,-1)]
    , array (0,5) [(0,0),(1,1),(2,0),(3,2),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,2),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,0),(3,-2),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,0),(3,3)]
    , array (0,7) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,1),(2,1),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,0),(4,2)]
    , array (0,6) [(0,0),(1,1),(2,1),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,1),(4,-1)]
    , array (0,5) [(0,0),(1,1),(2,1),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,-1),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,1),(3,2),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,1),(3,-2)]
    , array (0,6) [(0,0),(1,1),(2,-1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,1),(2,-1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,1),(2,-1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,-1),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,1),(2,-1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,-1),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,-1),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,-1),(3,2)]
    , array (0,5) [(0,0),(1,1),(2,2),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,1),(2,2),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,1),(2,2),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,2),(3,-1)]
    , array (0,4) [(0,0),(1,1),(2,-2),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,1),(2,-2),(3,1)]
    , array (0,3) [(0,0),(1,1),(2,3),(3,0)]
    , array (0,2) [(0,0),(1,1),(2,-3)]
    , array (0,7) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,0),(1,-1),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,0),(4,2)]
    , array (0,6) [(0,0),(1,-1),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,1),(4,-1)]
    , array (0,5) [(0,0),(1,-1),(2,0),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,-1),(4,1)]
    , array (0,4) [(0,0),(1,-1),(2,0),(3,2),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,0),(3,-2)]
    , array (0,6) [(0,0),(1,-1),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,-1),(2,1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,-1),(2,1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,1),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,-1),(2,1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,1),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,-1),(2,1),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,1),(3,2)]
    , array (0,5) [(0,0),(1,-1),(2,-1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-1),(2,-1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,-1),(2,-1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,-1),(3,-1)]
    , array (0,4) [(0,0),(1,-1),(2,2),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,-1),(2,2),(3,1)]
    , array (0,3) [(0,0),(1,-1),(2,-2),(3,0)]
    , array (0,2) [(0,0),(1,-1),(2,3)]
    , array (0,6) [(0,0),(1,2),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,0),(1,2),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,0),(1,2),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,0),(1,2),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,0),(1,2),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,2),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,0),(1,2),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,0),(1,2),(2,0),(3,2)]
    , array (0,5) [(0,0),(1,2),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,2),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,2),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,2),(2,1),(3,-1)]
    , array (0,4) [(0,0),(1,2),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,2),(2,-1),(3,1)]
    , array (0,3) [(0,0),(1,2),(2,2),(3,0)]
    , array (0,2) [(0,0),(1,2),(2,-2)]
    , array (0,5) [(0,0),(1,-2),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,0),(1,-2),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,0),(1,-2),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,0),(1,-2),(2,0),(3,-1)]
    , array (0,4) [(0,0),(1,-2),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,-2),(2,1),(3,1)]
    , array (0,3) [(0,0),(1,-2),(2,-1),(3,0)]
    , array (0,2) [(0,0),(1,-2),(2,2)]
    , array (0,4) [(0,0),(1,3),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,0),(1,3),(2,0),(3,1)]
    , array (0,3) [(0,0),(1,3),(2,1),(3,0)]
    , array (0,2) [(0,0),(1,3),(2,-1)]
    , array (0,3) [(0,0),(1,-3),(2,0),(3,0)]
    , array (0,2) [(0,0),(1,-3),(2,1)]
    , array (0,2) [(0,0),(1,4),(2,0)]
    , array (0,1) [(0,0),(1,-4)]
    , array (0,8) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (0,7) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (0,7) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,-1)]
    , array (0,7) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,1),(6,1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,-1),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,0),(5,2)]
    , array (0,7) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,0),(6,1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,1),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,1),(5,-1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,0),(4,-1),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,-1),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,0),(4,2),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,0),(4,-2)]
    , array (0,7) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,1),(4,0),(5,-1)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,1),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,1),(4,1),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,1),(4,-1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,1),(4,2)]
    , array (0,6) [(0,1),(1,0),(2,0),(3,-1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,-1),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,-1),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,-1),(4,-1)]
    , array (0,5) [(0,1),(1,0),(2,0),(3,2),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,2),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,0),(3,-2),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,0),(3,3)]
    , array (0,7) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,1),(1,0),(2,1),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,0),(4,2)]
    , array (0,6) [(0,1),(1,0),(2,1),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,1),(4,-1)]
    , array (0,5) [(0,1),(1,0),(2,1),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,-1),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,1),(3,2),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,1),(3,-2)]
    , array (0,6) [(0,1),(1,0),(2,-1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,0),(2,-1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,0),(2,-1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,-1),(3,0),(4,-1)]
    , array (0,5) [(0,1),(1,0),(2,-1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,-1),(3,1),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,-1),(3,-1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,-1),(3,2)]
    , array (0,5) [(0,1),(1,0),(2,2),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,0),(2,2),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,0),(2,2),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,2),(3,-1)]
    , array (0,4) [(0,1),(1,0),(2,-2),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,0),(2,-2),(3,1)]
    , array (0,3) [(0,1),(1,0),(2,3),(3,0)]
    , array (0,2) [(0,1),(1,0),(2,-3)]
    , array (0,7) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,1),(1,1),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,0),(4,2)]
    , array (0,6) [(0,1),(1,1),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,1),(4,-1)]
    , array (0,5) [(0,1),(1,1),(2,0),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,-1),(4,1)]
    , array (0,4) [(0,1),(1,1),(2,0),(3,2),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,0),(3,-2)]
    , array (0,6) [(0,1),(1,1),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,1),(2,1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,1),(2,1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,1),(3,0),(4,-1)]
    , array (0,5) [(0,1),(1,1),(2,1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,1),(3,1),(4,1)]
    , array (0,4) [(0,1),(1,1),(2,1),(3,-1),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,1),(3,2)]
    , array (0,5) [(0,1),(1,1),(2,-1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,1),(2,-1),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,1),(2,-1),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,-1),(3,-1)]
    , array (0,4) [(0,1),(1,1),(2,2),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,1),(2,2),(3,1)]
    , array (0,3) [(0,1),(1,1),(2,-2),(3,0)]
    , array (0,2) [(0,1),(1,1),(2,3)]
    , array (0,6) [(0,1),(1,-1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,1),(1,-1),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,1),(1,-1),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,1),(1,-1),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,1),(1,-1),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,-1),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,1),(1,-1),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,1),(1,-1),(2,0),(3,2)]
    , array (0,5) [(0,1),(1,-1),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,-1),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,-1),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,-1),(2,1),(3,-1)]
    , array (0,4) [(0,1),(1,-1),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,-1),(2,-1),(3,1)]
    , array (0,3) [(0,1),(1,-1),(2,2),(3,0)]
    , array (0,2) [(0,1),(1,-1),(2,-2)]
    , array (0,5) [(0,1),(1,2),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,1),(1,2),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,1),(1,2),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,1),(1,2),(2,0),(3,-1)]
    , array (0,4) [(0,1),(1,2),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,2),(2,1),(3,1)]
    , array (0,3) [(0,1),(1,2),(2,-1),(3,0)]
    , array (0,2) [(0,1),(1,2),(2,2)]
    , array (0,4) [(0,1),(1,-2),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,1),(1,-2),(2,0),(3,1)]
    , array (0,3) [(0,1),(1,-2),(2,1),(3,0)]
    , array (0,2) [(0,1),(1,-2),(2,-1)]
    , array (0,3) [(0,1),(1,3),(2,0),(3,0)]
    , array (0,2) [(0,1),(1,3),(2,1)]
    , array (0,2) [(0,1),(1,-3),(2,0)]
    , array (0,1) [(0,1),(1,4)]
    , array (0,7) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (0,6) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (0,6) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,0),(4,0),(5,-1)]
    , array (0,6) [(0,-1),(1,0),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,0),(4,1),(5,1)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,0),(4,-1),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,0),(4,2)]
    , array (0,6) [(0,-1),(1,0),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,1),(4,0),(5,1)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,1),(4,1),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,1),(4,-1)]
    , array (0,5) [(0,-1),(1,0),(2,0),(3,-1),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,-1),(4,1)]
    , array (0,4) [(0,-1),(1,0),(2,0),(3,2),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,0),(3,-2)]
    , array (0,6) [(0,-1),(1,0),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,-1),(1,0),(2,1),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,-1),(1,0),(2,1),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,1),(3,0),(4,-1)]
    , array (0,5) [(0,-1),(1,0),(2,1),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,1),(3,1),(4,1)]
    , array (0,4) [(0,-1),(1,0),(2,1),(3,-1),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,1),(3,2)]
    , array (0,5) [(0,-1),(1,0),(2,-1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,0),(2,-1),(3,0),(4,1)]
    , array (0,4) [(0,-1),(1,0),(2,-1),(3,1),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,-1),(3,-1)]
    , array (0,4) [(0,-1),(1,0),(2,2),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,0),(2,2),(3,1)]
    , array (0,3) [(0,-1),(1,0),(2,-2),(3,0)]
    , array (0,2) [(0,-1),(1,0),(2,3)]
    , array (0,6) [(0,-1),(1,1),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,-1),(1,1),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,-1),(1,1),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,-1),(1,1),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,-1),(1,1),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,1),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,-1),(1,1),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,-1),(1,1),(2,0),(3,2)]
    , array (0,5) [(0,-1),(1,1),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,1),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,-1),(1,1),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,-1),(1,1),(2,1),(3,-1)]
    , array (0,4) [(0,-1),(1,1),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,1),(2,-1),(3,1)]
    , array (0,3) [(0,-1),(1,1),(2,2),(3,0)]
    , array (0,2) [(0,-1),(1,1),(2,-2)]
    , array (0,5) [(0,-1),(1,-1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-1),(1,-1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,-1),(1,-1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,-1),(1,-1),(2,0),(3,-1)]
    , array (0,4) [(0,-1),(1,-1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,-1),(2,1),(3,1)]
    , array (0,3) [(0,-1),(1,-1),(2,-1),(3,0)]
    , array (0,2) [(0,-1),(1,-1),(2,2)]
    , array (0,4) [(0,-1),(1,2),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,-1),(1,2),(2,0),(3,1)]
    , array (0,3) [(0,-1),(1,2),(2,1),(3,0)]
    , array (0,2) [(0,-1),(1,2),(2,-1)]
    , array (0,3) [(0,-1),(1,-2),(2,0),(3,0)]
    , array (0,2) [(0,-1),(1,-2),(2,1)]
    , array (0,2) [(0,-1),(1,3),(2,0)]
    , array (0,1) [(0,-1),(1,-3)]
    , array (0,6) [(0,2),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (0,5) [(0,2),(1,0),(2,0),(3,0),(4,0),(5,1)]
    , array (0,5) [(0,2),(1,0),(2,0),(3,0),(4,1),(5,0)]
    , array (0,4) [(0,2),(1,0),(2,0),(3,0),(4,-1)]
    , array (0,5) [(0,2),(1,0),(2,0),(3,1),(4,0),(5,0)]
    , array (0,4) [(0,2),(1,0),(2,0),(3,1),(4,1)]
    , array (0,4) [(0,2),(1,0),(2,0),(3,-1),(4,0)]
    , array (0,3) [(0,2),(1,0),(2,0),(3,2)]
    , array (0,5) [(0,2),(1,0),(2,1),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,2),(1,0),(2,1),(3,0),(4,1)]
    , array (0,4) [(0,2),(1,0),(2,1),(3,1),(4,0)]
    , array (0,3) [(0,2),(1,0),(2,1),(3,-1)]
    , array (0,4) [(0,2),(1,0),(2,-1),(3,0),(4,0)]
    , array (0,3) [(0,2),(1,0),(2,-1),(3,1)]
    , array (0,3) [(0,2),(1,0),(2,2),(3,0)]
    , array (0,2) [(0,2),(1,0),(2,-2)]
    , array (0,5) [(0,2),(1,1),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,2),(1,1),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,2),(1,1),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,2),(1,1),(2,0),(3,-1)]
    , array (0,4) [(0,2),(1,1),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,2),(1,1),(2,1),(3,1)]
    , array (0,3) [(0,2),(1,1),(2,-1),(3,0)]
    , array (0,2) [(0,2),(1,1),(2,2)]
    , array (0,4) [(0,2),(1,-1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,2),(1,-1),(2,0),(3,1)]
    , array (0,3) [(0,2),(1,-1),(2,1),(3,0)]
    , array (0,2) [(0,2),(1,-1),(2,-1)]
    , array (0,3) [(0,2),(1,2),(2,0),(3,0)]
    , array (0,2) [(0,2),(1,2),(2,1)]
    , array (0,2) [(0,2),(1,-2),(2,0)]
    , array (0,1) [(0,2),(1,3)]
    , array (0,5) [(0,-2),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (0,4) [(0,-2),(1,0),(2,0),(3,0),(4,1)]
    , array (0,4) [(0,-2),(1,0),(2,0),(3,1),(4,0)]
    , array (0,3) [(0,-2),(1,0),(2,0),(3,-1)]
    , array (0,4) [(0,-2),(1,0),(2,1),(3,0),(4,0)]
    , array (0,3) [(0,-2),(1,0),(2,1),(3,1)]
    , array (0,3) [(0,-2),(1,0),(2,-1),(3,0)]
    , array (0,2) [(0,-2),(1,0),(2,2)]
    , array (0,4) [(0,-2),(1,1),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,-2),(1,1),(2,0),(3,1)]
    , array (0,3) [(0,-2),(1,1),(2,1),(3,0)]
    , array (0,2) [(0,-2),(1,1),(2,-1)]
    , array (0,3) [(0,-2),(1,-1),(2,0),(3,0)]
    , array (0,2) [(0,-2),(1,-1),(2,1)]
    , array (0,2) [(0,-2),(1,2),(2,0)]
    , array (0,1) [(0,-2),(1,-2)]
    , array (0,4) [(0,3),(1,0),(2,0),(3,0),(4,0)]
    , array (0,3) [(0,3),(1,0),(2,0),(3,1)]
    , array (0,3) [(0,3),(1,0),(2,1),(3,0)]
    , array (0,2) [(0,3),(1,0),(2,-1)]
    , array (0,3) [(0,3),(1,1),(2,0),(3,0)]
    , array (0,2) [(0,3),(1,1),(2,1)]
    , array (0,2) [(0,3),(1,-1),(2,0)]
    , array (0,1) [(0,3),(1,2)]
    , array (0,3) [(0,-3),(1,0),(2,0),(3,0)]
    , array (0,2) [(0,-3),(1,0),(2,1)]
    , array (0,2) [(0,-3),(1,1),(2,0)]
    , array (0,1) [(0,-3),(1,-1)]
    , array (0,2) [(0,4),(1,0),(2,0)]
    , array (0,1) [(0,4),(1,1)]
    , array (0,1) [(0,-4),(1,0)]
    , array (0,0) [(0,5)]
    , array (1,9) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0),(9,0)]
    , array (1,8) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,1)]
    , array (1,8) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1),(8,0)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,-1)]
    , array (1,8) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0),(8,0)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,1),(7,1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,-1),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,0),(6,2)]
    , array (1,8) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0),(8,0)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,0),(7,1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,1),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,1),(6,-1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,0),(5,-1),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,-1),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,0),(5,2),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,0),(5,-2)]
    , array (1,8) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0),(8,0)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,0),(7,1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,1),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,1),(5,0),(6,-1)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,1),(5,1),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,1),(5,1),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,1),(5,-1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,1),(5,2)]
    , array (1,7) [(1,0),(2,0),(3,0),(4,-1),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,-1),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,-1),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,-1),(5,-1)]
    , array (1,6) [(1,0),(2,0),(3,0),(4,2),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,2),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,0),(4,-2),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,0),(4,3)]
    , array (1,8) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (1,7) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,0),(7,1)]
    , array (1,7) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,1),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,0),(5,0),(6,-1)]
    , array (1,7) [(1,0),(2,0),(3,1),(4,0),(5,1),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,0),(5,1),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,0),(5,-1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,0),(5,2)]
    , array (1,7) [(1,0),(2,0),(3,1),(4,1),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,1),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,1),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,1),(5,-1)]
    , array (1,6) [(1,0),(2,0),(3,1),(4,-1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,-1),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,1),(4,2),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,1),(4,-2)]
    , array (1,7) [(1,0),(2,0),(3,-1),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,0),(3,-1),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,0),(3,-1),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,-1),(4,0),(5,-1)]
    , array (1,6) [(1,0),(2,0),(3,-1),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,-1),(4,1),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,-1),(4,-1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,-1),(4,2)]
    , array (1,6) [(1,0),(2,0),(3,2),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,0),(3,2),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,0),(3,2),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,2),(4,-1)]
    , array (1,5) [(1,0),(2,0),(3,-2),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,0),(3,-2),(4,1)]
    , array (1,4) [(1,0),(2,0),(3,3),(4,0)]
    , array (1,3) [(1,0),(2,0),(3,-3)]
    , array (1,8) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (1,7) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (1,7) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,0),(5,0),(6,-1)]
    , array (1,7) [(1,0),(2,1),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,0),(5,1),(6,1)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,0),(5,-1),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,0),(5,2)]
    , array (1,7) [(1,0),(2,1),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,1),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,1),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,1),(5,-1)]
    , array (1,6) [(1,0),(2,1),(3,0),(4,-1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,-1),(5,1)]
    , array (1,5) [(1,0),(2,1),(3,0),(4,2),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,0),(4,-2)]
    , array (1,7) [(1,0),(2,1),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,1),(3,1),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,1),(3,1),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,1),(4,0),(5,-1)]
    , array (1,6) [(1,0),(2,1),(3,1),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,1),(4,1),(5,1)]
    , array (1,5) [(1,0),(2,1),(3,1),(4,-1),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,1),(4,2)]
    , array (1,6) [(1,0),(2,1),(3,-1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,1),(3,-1),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,1),(3,-1),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,-1),(4,-1)]
    , array (1,5) [(1,0),(2,1),(3,2),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,1),(3,2),(4,1)]
    , array (1,4) [(1,0),(2,1),(3,-2),(4,0)]
    , array (1,3) [(1,0),(2,1),(3,3)]
    , array (1,7) [(1,0),(2,-1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,0),(2,-1),(3,0),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,0),(2,-1),(3,0),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,0),(2,-1),(3,0),(4,0),(5,-1)]
    , array (1,6) [(1,0),(2,-1),(3,0),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,-1),(3,0),(4,1),(5,1)]
    , array (1,5) [(1,0),(2,-1),(3,0),(4,-1),(5,0)]
    , array (1,4) [(1,0),(2,-1),(3,0),(4,2)]
    , array (1,6) [(1,0),(2,-1),(3,1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,-1),(3,1),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,-1),(3,1),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,-1),(3,1),(4,-1)]
    , array (1,5) [(1,0),(2,-1),(3,-1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,-1),(3,-1),(4,1)]
    , array (1,4) [(1,0),(2,-1),(3,2),(4,0)]
    , array (1,3) [(1,0),(2,-1),(3,-2)]
    , array (1,6) [(1,0),(2,2),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,0),(2,2),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,0),(2,2),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,0),(2,2),(3,0),(4,-1)]
    , array (1,5) [(1,0),(2,2),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,2),(3,1),(4,1)]
    , array (1,4) [(1,0),(2,2),(3,-1),(4,0)]
    , array (1,3) [(1,0),(2,2),(3,2)]
    , array (1,5) [(1,0),(2,-2),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,0),(2,-2),(3,0),(4,1)]
    , array (1,4) [(1,0),(2,-2),(3,1),(4,0)]
    , array (1,3) [(1,0),(2,-2),(3,-1)]
    , array (1,4) [(1,0),(2,3),(3,0),(4,0)]
    , array (1,3) [(1,0),(2,3),(3,1)]
    , array (1,3) [(1,0),(2,-3),(3,0)]
    , array (1,2) [(1,0),(2,4)]
    , array (1,8) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (1,7) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (1,7) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,0),(5,0),(6,-1)]
    , array (1,7) [(1,1),(2,0),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,0),(5,1),(6,1)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,0),(5,-1),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,0),(5,2)]
    , array (1,7) [(1,1),(2,0),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,1),(5,0),(6,1)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,1),(5,1),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,1),(5,-1)]
    , array (1,6) [(1,1),(2,0),(3,0),(4,-1),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,-1),(5,1)]
    , array (1,5) [(1,1),(2,0),(3,0),(4,2),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,0),(4,-2)]
    , array (1,7) [(1,1),(2,0),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,1),(2,0),(3,1),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,1),(2,0),(3,1),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,1),(4,0),(5,-1)]
    , array (1,6) [(1,1),(2,0),(3,1),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,1),(4,1),(5,1)]
    , array (1,5) [(1,1),(2,0),(3,1),(4,-1),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,1),(4,2)]
    , array (1,6) [(1,1),(2,0),(3,-1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,0),(3,-1),(4,0),(5,1)]
    , array (1,5) [(1,1),(2,0),(3,-1),(4,1),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,-1),(4,-1)]
    , array (1,5) [(1,1),(2,0),(3,2),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,0),(3,2),(4,1)]
    , array (1,4) [(1,1),(2,0),(3,-2),(4,0)]
    , array (1,3) [(1,1),(2,0),(3,3)]
    , array (1,7) [(1,1),(2,1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,1),(2,1),(3,0),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,1),(2,1),(3,0),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,1),(2,1),(3,0),(4,0),(5,-1)]
    , array (1,6) [(1,1),(2,1),(3,0),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,1),(3,0),(4,1),(5,1)]
    , array (1,5) [(1,1),(2,1),(3,0),(4,-1),(5,0)]
    , array (1,4) [(1,1),(2,1),(3,0),(4,2)]
    , array (1,6) [(1,1),(2,1),(3,1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,1),(3,1),(4,0),(5,1)]
    , array (1,5) [(1,1),(2,1),(3,1),(4,1),(5,0)]
    , array (1,4) [(1,1),(2,1),(3,1),(4,-1)]
    , array (1,5) [(1,1),(2,1),(3,-1),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,1),(3,-1),(4,1)]
    , array (1,4) [(1,1),(2,1),(3,2),(4,0)]
    , array (1,3) [(1,1),(2,1),(3,-2)]
    , array (1,6) [(1,1),(2,-1),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,1),(2,-1),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,1),(2,-1),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,1),(2,-1),(3,0),(4,-1)]
    , array (1,5) [(1,1),(2,-1),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,-1),(3,1),(4,1)]
    , array (1,4) [(1,1),(2,-1),(3,-1),(4,0)]
    , array (1,3) [(1,1),(2,-1),(3,2)]
    , array (1,5) [(1,1),(2,2),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,1),(2,2),(3,0),(4,1)]
    , array (1,4) [(1,1),(2,2),(3,1),(4,0)]
    , array (1,3) [(1,1),(2,2),(3,-1)]
    , array (1,4) [(1,1),(2,-2),(3,0),(4,0)]
    , array (1,3) [(1,1),(2,-2),(3,1)]
    , array (1,3) [(1,1),(2,3),(3,0)]
    , array (1,2) [(1,1),(2,-3)]
    , array (1,7) [(1,-1),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (1,6) [(1,-1),(2,0),(3,0),(4,0),(5,0),(6,1)]
    , array (1,6) [(1,-1),(2,0),(3,0),(4,0),(5,1),(6,0)]
    , array (1,5) [(1,-1),(2,0),(3,0),(4,0),(5,-1)]
    , array (1,6) [(1,-1),(2,0),(3,0),(4,1),(5,0),(6,0)]
    , array (1,5) [(1,-1),(2,0),(3,0),(4,1),(5,1)]
    , array (1,5) [(1,-1),(2,0),(3,0),(4,-1),(5,0)]
    , array (1,4) [(1,-1),(2,0),(3,0),(4,2)]
    , array (1,6) [(1,-1),(2,0),(3,1),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,-1),(2,0),(3,1),(4,0),(5,1)]
    , array (1,5) [(1,-1),(2,0),(3,1),(4,1),(5,0)]
    , array (1,4) [(1,-1),(2,0),(3,1),(4,-1)]
    , array (1,5) [(1,-1),(2,0),(3,-1),(4,0),(5,0)]
    , array (1,4) [(1,-1),(2,0),(3,-1),(4,1)]
    , array (1,4) [(1,-1),(2,0),(3,2),(4,0)]
    , array (1,3) [(1,-1),(2,0),(3,-2)]
    , array (1,6) [(1,-1),(2,1),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,-1),(2,1),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,-1),(2,1),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,-1),(2,1),(3,0),(4,-1)]
    , array (1,5) [(1,-1),(2,1),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,-1),(2,1),(3,1),(4,1)]
    , array (1,4) [(1,-1),(2,1),(3,-1),(4,0)]
    , array (1,3) [(1,-1),(2,1),(3,2)]
    , array (1,5) [(1,-1),(2,-1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,-1),(2,-1),(3,0),(4,1)]
    , array (1,4) [(1,-1),(2,-1),(3,1),(4,0)]
    , array (1,3) [(1,-1),(2,-1),(3,-1)]
    , array (1,4) [(1,-1),(2,2),(3,0),(4,0)]
    , array (1,3) [(1,-1),(2,2),(3,1)]
    , array (1,3) [(1,-1),(2,-2),(3,0)]
    , array (1,2) [(1,-1),(2,3)]
    , array (1,6) [(1,2),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (1,5) [(1,2),(2,0),(3,0),(4,0),(5,1)]
    , array (1,5) [(1,2),(2,0),(3,0),(4,1),(5,0)]
    , array (1,4) [(1,2),(2,0),(3,0),(4,-1)]
    , array (1,5) [(1,2),(2,0),(3,1),(4,0),(5,0)]
    , array (1,4) [(1,2),(2,0),(3,1),(4,1)]
    , array (1,4) [(1,2),(2,0),(3,-1),(4,0)]
    , array (1,3) [(1,2),(2,0),(3,2)]
    , array (1,5) [(1,2),(2,1),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,2),(2,1),(3,0),(4,1)]
    , array (1,4) [(1,2),(2,1),(3,1),(4,0)]
    , array (1,3) [(1,2),(2,1),(3,-1)]
    , array (1,4) [(1,2),(2,-1),(3,0),(4,0)]
    , array (1,3) [(1,2),(2,-1),(3,1)]
    , array (1,3) [(1,2),(2,2),(3,0)]
    , array (1,2) [(1,2),(2,-2)]
    , array (1,5) [(1,-2),(2,0),(3,0),(4,0),(5,0)]
    , array (1,4) [(1,-2),(2,0),(3,0),(4,1)]
    , array (1,4) [(1,-2),(2,0),(3,1),(4,0)]
    , array (1,3) [(1,-2),(2,0),(3,-1)]
    , array (1,4) [(1,-2),(2,1),(3,0),(4,0)]
    , array (1,3) [(1,-2),(2,1),(3,1)]
    , array (1,3) [(1,-2),(2,-1),(3,0)]
    , array (1,2) [(1,-2),(2,2)]
    , array (1,4) [(1,3),(2,0),(3,0),(4,0)]
    , array (1,3) [(1,3),(2,0),(3,1)]
    , array (1,3) [(1,3),(2,1),(3,0)]
    , array (1,2) [(1,3),(2,-1)]
    , array (1,3) [(1,-3),(2,0),(3,0)]
    , array (1,2) [(1,-3),(2,1)]
    , array (1,2) [(1,4),(2,0)]
    , array (1,1) [(1,-4)]
    , array (-1,6) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0)]
    , array (-1,5) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,0),(5,1)]
    , array (-1,5) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,1),(5,0)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,0),(3,0),(4,-1)]
    , array (-1,5) [(-1,0),(0,0),(1,0),(2,0),(3,1),(4,0),(5,0)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,0),(3,1),(4,1)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,0),(3,-1),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,0),(3,2)]
    , array (-1,5) [(-1,0),(0,0),(1,0),(2,1),(3,0),(4,0),(5,0)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,1),(3,0),(4,1)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,1),(3,1),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,1),(3,-1)]
    , array (-1,4) [(-1,0),(0,0),(1,0),(2,-1),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,-1),(3,1)]
    , array (-1,3) [(-1,0),(0,0),(1,0),(2,2),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,0),(2,-2)]
    , array (-1,5) [(-1,0),(0,0),(1,1),(2,0),(3,0),(4,0),(5,0)]
    , array (-1,4) [(-1,0),(0,0),(1,1),(2,0),(3,0),(4,1)]
    , array (-1,4) [(-1,0),(0,0),(1,1),(2,0),(3,1),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,1),(2,0),(3,-1)]
    , array (-1,4) [(-1,0),(0,0),(1,1),(2,1),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,1),(2,1),(3,1)]
    , array (-1,3) [(-1,0),(0,0),(1,1),(2,-1),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,1),(2,2)]
    , array (-1,4) [(-1,0),(0,0),(1,-1),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,0),(1,-1),(2,0),(3,1)]
    , array (-1,3) [(-1,0),(0,0),(1,-1),(2,1),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,-1),(2,-1)]
    , array (-1,3) [(-1,0),(0,0),(1,2),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,0),(1,2),(2,1)]
    , array (-1,2) [(-1,0),(0,0),(1,-2),(2,0)]
    , array (-1,1) [(-1,0),(0,0),(1,3)]
    , array (-1,5) [(-1,0),(0,1),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (-1,4) [(-1,0),(0,1),(1,0),(2,0),(3,0),(4,1)]
    , array (-1,4) [(-1,0),(0,1),(1,0),(2,0),(3,1),(4,0)]
    , array (-1,3) [(-1,0),(0,1),(1,0),(2,0),(3,-1)]
    , array (-1,4) [(-1,0),(0,1),(1,0),(2,1),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,1),(1,0),(2,1),(3,1)]
    , array (-1,3) [(-1,0),(0,1),(1,0),(2,-1),(3,0)]
    , array (-1,2) [(-1,0),(0,1),(1,0),(2,2)]
    , array (-1,4) [(-1,0),(0,1),(1,1),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,1),(1,1),(2,0),(3,1)]
    , array (-1,3) [(-1,0),(0,1),(1,1),(2,1),(3,0)]
    , array (-1,2) [(-1,0),(0,1),(1,1),(2,-1)]
    , array (-1,3) [(-1,0),(0,1),(1,-1),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,1),(1,-1),(2,1)]
    , array (-1,2) [(-1,0),(0,1),(1,2),(2,0)]
    , array (-1,1) [(-1,0),(0,1),(1,-2)]
    , array (-1,4) [(-1,0),(0,-1),(1,0),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,0),(0,-1),(1,0),(2,0),(3,1)]
    , array (-1,3) [(-1,0),(0,-1),(1,0),(2,1),(3,0)]
    , array (-1,2) [(-1,0),(0,-1),(1,0),(2,-1)]
    , array (-1,3) [(-1,0),(0,-1),(1,1),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,-1),(1,1),(2,1)]
    , array (-1,2) [(-1,0),(0,-1),(1,-1),(2,0)]
    , array (-1,1) [(-1,0),(0,-1),(1,2)]
    , array (-1,3) [(-1,0),(0,2),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,0),(0,2),(1,0),(2,1)]
    , array (-1,2) [(-1,0),(0,2),(1,1),(2,0)]
    , array (-1,1) [(-1,0),(0,2),(1,-1)]
    , array (-1,2) [(-1,0),(0,-2),(1,0),(2,0)]
    , array (-1,1) [(-1,0),(0,-2),(1,1)]
    , array (-1,1) [(-1,0),(0,3),(1,0)]
    , array (-1,0) [(-1,0),(0,-3)]
    , array (-1,5) [(-1,1),(0,0),(1,0),(2,0),(3,0),(4,0),(5,0)]
    , array (-1,4) [(-1,1),(0,0),(1,0),(2,0),(3,0),(4,1)]
    , array (-1,4) [(-1,1),(0,0),(1,0),(2,0),(3,1),(4,0)]
    , array (-1,3) [(-1,1),(0,0),(1,0),(2,0),(3,-1)]
    , array (-1,4) [(-1,1),(0,0),(1,0),(2,1),(3,0),(4,0)]
    , array (-1,3) [(-1,1),(0,0),(1,0),(2,1),(3,1)]
    , array (-1,3) [(-1,1),(0,0),(1,0),(2,-1),(3,0)]
    , array (-1,2) [(-1,1),(0,0),(1,0),(2,2)]
    , array (-1,4) [(-1,1),(0,0),(1,1),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,1),(0,0),(1,1),(2,0),(3,1)]
    , array (-1,3) [(-1,1),(0,0),(1,1),(2,1),(3,0)]
    , array (-1,2) [(-1,1),(0,0),(1,1),(2,-1)]
    , array (-1,3) [(-1,1),(0,0),(1,-1),(2,0),(3,0)]
    , array (-1,2) [(-1,1),(0,0),(1,-1),(2,1)]
    , array (-1,2) [(-1,1),(0,0),(1,2),(2,0)]
    , array (-1,1) [(-1,1),(0,0),(1,-2)]
    , array (-1,4) [(-1,1),(0,1),(1,0),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,1),(0,1),(1,0),(2,0),(3,1)]
    , array (-1,3) [(-1,1),(0,1),(1,0),(2,1),(3,0)]
    , array (-1,2) [(-1,1),(0,1),(1,0),(2,-1)]
    , array (-1,3) [(-1,1),(0,1),(1,1),(2,0),(3,0)]
    , array (-1,2) [(-1,1),(0,1),(1,1),(2,1)]
    , array (-1,2) [(-1,1),(0,1),(1,-1),(2,0)]
    , array (-1,1) [(-1,1),(0,1),(1,2)]
    , array (-1,3) [(-1,1),(0,-1),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,1),(0,-1),(1,0),(2,1)]
    , array (-1,2) [(-1,1),(0,-1),(1,1),(2,0)]
    , array (-1,1) [(-1,1),(0,-1),(1,-1)]
    , array (-1,2) [(-1,1),(0,2),(1,0),(2,0)]
    , array (-1,1) [(-1,1),(0,2),(1,1)]
    , array (-1,1) [(-1,1),(0,-2),(1,0)]
    , array (-1,0) [(-1,1),(0,3)]
    , array (-1,4) [(-1,-1),(0,0),(1,0),(2,0),(3,0),(4,0)]
    , array (-1,3) [(-1,-1),(0,0),(1,0),(2,0),(3,1)]
    , array (-1,3) [(-1,-1),(0,0),(1,0),(2,1),(3,0)]
    , array (-1,2) [(-1,-1),(0,0),(1,0),(2,-1)]
    , array (-1,3) [(-1,-1),(0,0),(1,1),(2,0),(3,0)]
    , array (-1,2) [(-1,-1),(0,0),(1,1),(2,1)]
    , array (-1,2) [(-1,-1),(0,0),(1,-1),(2,0)]
    , array (-1,1) [(-1,-1),(0,0),(1,2)]
    , array (-1,3) [(-1,-1),(0,1),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,-1),(0,1),(1,0),(2,1)]
    , array (-1,2) [(-1,-1),(0,1),(1,1),(2,0)]
    , array (-1,1) [(-1,-1),(0,1),(1,-1)]
    , array (-1,2) [(-1,-1),(0,-1),(1,0),(2,0)]
    , array (-1,1) [(-1,-1),(0,-1),(1,1)]
    , array (-1,1) [(-1,-1),(0,2),(1,0)]
    , array (-1,0) [(-1,-1),(0,-2)]
    , array (-1,3) [(-1,2),(0,0),(1,0),(2,0),(3,0)]
    , array (-1,2) [(-1,2),(0,0),(1,0),(2,1)]
    , array (-1,2) [(-1,2),(0,0),(1,1),(2,0)]
    , array (-1,1) [(-1,2),(0,0),(1,-1)]
    , array (-1,2) [(-1,2),(0,1),(1,0),(2,0)]
    , array (-1,1) [(-1,2),(0,1),(1,1)]
    , array (-1,1) [(-1,2),(0,-1),(1,0)]
    , array (-1,0) [(-1,2),(0,2)]
    , array (-1,2) [(-1,-2),(0,0),(1,0),(2,0)]
    , array (-1,1) [(-1,-2),(0,0),(1,1)]
    , array (-1,1) [(-1,-2),(0,1),(1,0)]
    , array (-1,0) [(-1,-2),(0,-1)]
    , array (-1,1) [(-1,3),(0,0),(1,0)]
    , array (-1,0) [(-1,3),(0,1)]
    , array (-1,0) [(-1,-3),(0,0)]
    , array (-1,-1) [(-1,4)]
    , array (2,8) [(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0)]
    , array (2,7) [(2,0),(3,0),(4,0),(5,0),(6,0),(7,1)]
    , array (2,7) [(2,0),(3,0),(4,0),(5,0),(6,1),(7,0)]
    , array (2,6) [(2,0),(3,0),(4,0),(5,0),(6,-1)]
    , array (2,7) [(2,0),(3,0),(4,0),(5,1),(6,0),(7,0)]
    , array (2,6) [(2,0),(3,0),(4,0),(5,1),(6,1)]
    , array (2,6) [(2,0),(3,0),(4,0),(5,-1),(6,0)]
    , array (2,5) [(2,0),(3,0),(4,0),(5,2)]
    , array (2,7) [(2,0),(3,0),(4,1),(5,0),(6,0),(7,0)]
    , array (2,6) [(2,0),(3,0),(4,1),(5,0),(6,1)]
    , array (2,6) [(2,0),(3,0),(4,1),(5,1),(6,0)]
    , array (2,5) [(2,0),(3,0),(4,1),(5,-1)]
    , array (2,6) [(2,0),(3,0),(4,-1),(5,0),(6,0)]
    , array (2,5) [(2,0),(3,0),(4,-1),(5,1)]
    , array (2,5) [(2,0),(3,0),(4,2),(5,0)]
    , array (2,4) [(2,0),(3,0),(4,-2)]
    , array (2,7) [(2,0),(3,1),(4,0),(5,0),(6,0),(7,0)]
    , array (2,6) [(2,0),(3,1),(4,0),(5,0),(6,1)]
    , array (2,6) [(2,0),(3,1),(4,0),(5,1),(6,0)]
    , array (2,5) [(2,0),(3,1),(4,0),(5,-1)]
    , array (2,6) [(2,0),(3,1),(4,1),(5,0),(6,0)]
    , array (2,5) [(2,0),(3,1),(4,1),(5,1)]
    , array (2,5) [(2,0),(3,1),(4,-1),(5,0)]
    , array (2,4) [(2,0),(3,1),(4,2)]
    , array (2,6) [(2,0),(3,-1),(4,0),(5,0),(6,0)]
    , array (2,5) [(2,0),(3,-1),(4,0),(5,1)]
    , array (2,5) [(2,0),(3,-1),(4,1),(5,0)]
    , array (2,4) [(2,0),(3,-1),(4,-1)]
    , array (2,5) [(2,0),(3,2),(4,0),(5,0)]
    , array (2,4) [(2,0),(3,2),(4,1)]
    , array (2,4) [(2,0),(3,-2),(4,0)]
    , array (2,3) [(2,0),(3,3)]
    , array (2,7) [(2,1),(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (2,6) [(2,1),(3,0),(4,0),(5,0),(6,1)]
    , array (2,6) [(2,1),(3,0),(4,0),(5,1),(6,0)]
    , array (2,5) [(2,1),(3,0),(4,0),(5,-1)]
    , array (2,6) [(2,1),(3,0),(4,1),(5,0),(6,0)]
    , array (2,5) [(2,1),(3,0),(4,1),(5,1)]
    , array (2,5) [(2,1),(3,0),(4,-1),(5,0)]
    , array (2,4) [(2,1),(3,0),(4,2)]
    , array (2,6) [(2,1),(3,1),(4,0),(5,0),(6,0)]
    , array (2,5) [(2,1),(3,1),(4,0),(5,1)]
    , array (2,5) [(2,1),(3,1),(4,1),(5,0)]
    , array (2,4) [(2,1),(3,1),(4,-1)]
    , array (2,5) [(2,1),(3,-1),(4,0),(5,0)]
    , array (2,4) [(2,1),(3,-1),(4,1)]
    , array (2,4) [(2,1),(3,2),(4,0)]
    , array (2,3) [(2,1),(3,-2)]
    , array (2,6) [(2,-1),(3,0),(4,0),(5,0),(6,0)]
    , array (2,5) [(2,-1),(3,0),(4,0),(5,1)]
    , array (2,5) [(2,-1),(3,0),(4,1),(5,0)]
    , array (2,4) [(2,-1),(3,0),(4,-1)]
    , array (2,5) [(2,-1),(3,1),(4,0),(5,0)]
    , array (2,4) [(2,-1),(3,1),(4,1)]
    , array (2,4) [(2,-1),(3,-1),(4,0)]
    , array (2,3) [(2,-1),(3,2)]
    , array (2,5) [(2,2),(3,0),(4,0),(5,0)]
    , array (2,4) [(2,2),(3,0),(4,1)]
    , array (2,4) [(2,2),(3,1),(4,0)]
    , array (2,3) [(2,2),(3,-1)]
    , array (2,4) [(2,-2),(3,0),(4,0)]
    , array (2,3) [(2,-2),(3,1)]
    , array (2,3) [(2,3),(3,0)]
    , array (2,2) [(2,-3)]
    , array (-2,3) [(-2,0),(-1,0),(0,0),(1,0),(2,0),(3,0)]
    , array (-2,2) [(-2,0),(-1,0),(0,0),(1,0),(2,1)]
    , array (-2,2) [(-2,0),(-1,0),(0,0),(1,1),(2,0)]
    , array (-2,1) [(-2,0),(-1,0),(0,0),(1,-1)]
    , array (-2,2) [(-2,0),(-1,0),(0,1),(1,0),(2,0)]
    , array (-2,1) [(-2,0),(-1,0),(0,1),(1,1)]
    , array (-2,1) [(-2,0),(-1,0),(0,-1),(1,0)]
    , array (-2,0) [(-2,0),(-1,0),(0,2)]
    , array (-2,2) [(-2,0),(-1,1),(0,0),(1,0),(2,0)]
    , array (-2,1) [(-2,0),(-1,1),(0,0),(1,1)]
    , array (-2,1) [(-2,0),(-1,1),(0,1),(1,0)]
    , array (-2,0) [(-2,0),(-1,1),(0,-1)]
    , array (-2,1) [(-2,0),(-1,-1),(0,0),(1,0)]
    , array (-2,0) [(-2,0),(-1,-1),(0,1)]
    , array (-2,0) [(-2,0),(-1,2),(0,0)]
    , array (-2,-1) [(-2,0),(-1,-2)]
    , array (-2,2) [(-2,1),(-1,0),(0,0),(1,0),(2,0)]
    , array (-2,1) [(-2,1),(-1,0),(0,0),(1,1)]
    , array (-2,1) [(-2,1),(-1,0),(0,1),(1,0)]
    , array (-2,0) [(-2,1),(-1,0),(0,-1)]
    , array (-2,1) [(-2,1),(-1,1),(0,0),(1,0)]
    , array (-2,0) [(-2,1),(-1,1),(0,1)]
    , array (-2,0) [(-2,1),(-1,-1),(0,0)]
    , array (-2,-1) [(-2,1),(-1,2)]
    , array (-2,1) [(-2,-1),(-1,0),(0,0),(1,0)]
    , array (-2,0) [(-2,-1),(-1,0),(0,1)]
    , array (-2,0) [(-2,-1),(-1,1),(0,0)]
    , array (-2,-1) [(-2,-1),(-1,-1)]
    , array (-2,0) [(-2,2),(-1,0),(0,0)]
    , array (-2,-1) [(-2,2),(-1,1)]
    , array (-2,-1) [(-2,-2),(-1,0)]
    , array (-2,-2) [(-2,3)]
    , array (3,7) [(3,0),(4,0),(5,0),(6,0),(7,0)]
    , array (3,6) [(3,0),(4,0),(5,0),(6,1)]
    , array (3,6) [(3,0),(4,0),(5,1),(6,0)]
    , array (3,5) [(3,0),(4,0),(5,-1)]
    , array (3,6) [(3,0),(4,1),(5,0),(6,0)]
    , array (3,5) [(3,0),(4,1),(5,1)]
    , array (3,5) [(3,0),(4,-1),(5,0)]
    , array (3,4) [(3,0),(4,2)]
    , array (3,6) [(3,1),(4,0),(5,0),(6,0)]
    , array (3,5) [(3,1),(4,0),(5,1)]
    , array (3,5) [(3,1),(4,1),(5,0)]
    , array (3,4) [(3,1),(4,-1)]
    , array (3,5) [(3,-1),(4,0),(5,0)]
    , array (3,4) [(3,-1),(4,1)]
    , array (3,4) [(3,2),(4,0)]
    , array (3,3) [(3,-2)]
    , array (-3,0) [(-3,0),(-2,0),(-1,0),(0,0)]
    , array (-3,-1) [(-3,0),(-2,0),(-1,1)]
    , array (-3,-1) [(-3,0),(-2,1),(-1,0)]
    , array (-3,-2) [(-3,0),(-2,-1)]
    , array (-3,-1) [(-3,1),(-2,0),(-1,0)]
    , array (-3,-2) [(-3,1),(-2,1)]
    , array (-3,-2) [(-3,-1),(-2,0)]
    , array (-3,-3) [(-3,2)]
    , array (4,6) [(4,0),(5,0),(6,0)]
    , array (4,5) [(4,0),(5,1)]
    , array (4,5) [(4,1),(5,0)]
    , array (4,4) [(4,-1)]
    , array (-4,-3) [(-4,0),(-3,0)]
    , array (-4,-4) [(-4,1)]
    , array (5,5) [(5,0)]
    , array (-5,-6) []
    ]
  , ...
  ]