module MarchingCubes.Tables
  ( module MarchingCubes.Tables
  ) where
import           Data.Matrix                    ( Matrix
                                                , fromLists
                                                )
import qualified Data.Vector                   as V
import qualified Data.Vector.Unboxed           as UV


indexArray :: Matrix Int
indexArray :: Matrix Int
indexArray = forall a. [[a]] -> Matrix a
fromLists
  [ [Int
0, Int
0, Int
0]
  , [Int
1, Int
0, Int
0]
  , [Int
1, Int
1, Int
0]
  , [Int
0, Int
1, Int
0]
  , [Int
0, Int
0, Int
1]
  , [Int
1, Int
0, Int
1]
  , [Int
1, Int
1, Int
1]
  , [Int
0, Int
1, Int
1]
  ]

edgesLengths :: UV.Vector Int
edgesLengths :: Vector Int
edgesLengths = forall a. Unbox a => [a] -> Vector a
UV.fromList
  [Int
3, Int
3, Int
6, Int
3, Int
0, Int
6, Int
9, Int
3, Int
6, Int
0, Int
9, Int
6, Int
9, Int
9, Int
6, Int
3, Int
6, Int
0, Int
9, Int
0,
   Int
0, Int
0, Int
12, Int
0, Int
9, Int
0, Int
12, Int
0, Int
12, Int
0, Int
9, Int
3, Int
0, Int
6, Int
9, Int
0, Int
0, Int
9, Int
12,
   Int
0, Int
0, Int
0, Int
12, Int
0, Int
0, Int
12, Int
9, Int
6, Int
9, Int
9, Int
6, Int
0, Int
0, Int
12, Int
9, Int
0, Int
12, Int
0,
   Int
9, Int
0, Int
0, Int
0, Int
6, Int
3, Int
0, Int
0, Int
0, Int
6, Int
0, Int
9, Int
12, Int
0, Int
0, Int
0, Int
0, Int
9, Int
12, Int
12,
   Int
9, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
6, Int
0, Int
9, Int
12,
   Int
9, Int
0, Int
6, Int
9, Int
0, Int
0, Int
0, Int
0, Int
12, Int
0, Int
9, Int
6, Int
9, Int
12, Int
12, Int
9, Int
12, Int
0, Int
9,
   Int
6, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
3, Int
3, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
6, Int
9, Int
0, Int
12,
   Int
9, Int
12, Int
12, Int
9, Int
6, Int
9, Int
0, Int
12, Int
0, Int
0, Int
0, Int
0, Int
9, Int
6, Int
0, Int
9, Int
12, Int
9, Int
0,
   Int
6, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
0, Int
9, Int
12, Int
12,
   Int
9, Int
0, Int
0, Int
0, Int
0, Int
12, Int
9, Int
0, Int
6, Int
0, Int
0, Int
0, Int
3, Int
6, Int
0, Int
0, Int
0, Int
9, Int
0, Int
12,
   Int
0, Int
9, Int
12, Int
0, Int
0, Int
6, Int
9, Int
9, Int
6, Int
9, Int
12, Int
0, Int
0, Int
12, Int
0, Int
0, Int
0, Int
12, Int
9,
   Int
0, Int
0, Int
9, Int
6, Int
0, Int
3, Int
9, Int
0, Int
12, Int
0, Int
12, Int
0, Int
9, Int
0, Int
12, Int
0, Int
0, Int
0, Int
9, Int
0,
   Int
6, Int
3, Int
6, Int
9, Int
9, Int
6, Int
9, Int
0, Int
6, Int
3, Int
9, Int
6, Int
0, Int
3, Int
6, Int
3, Int
3]

edgePoints :: V.Vector (UV.Vector Int)
edgePoints :: Vector (Vector Int)
edgePoints = forall a. [a] -> Vector a
V.fromList
  (forall a b. (a -> b) -> [a] -> [b]
map
    forall a. Unbox a => [a] -> Vector a
UV.fromList
    [ [Int
1, Int
1, Int
2]
    , [Int
2, Int
2, Int
3]
    , [Int
3, Int
3, Int
4]
    , [Int
4, Int
4, Int
1]
    , [Int
5, Int
5, Int
6]
    , [Int
6, Int
6, Int
7]
    , [Int
7, Int
7, Int
8]
    , [Int
8, Int
8, Int
5]
    , [Int
9, Int
1, Int
5]
    , [Int
10, Int
2, Int
6]
    , [Int
11, Int
3, Int
7]
    , [Int
12, Int
4, Int
8]
    , [Int
13, Int
9, Int
9]
    ]
  )

edgesTable :: V.Vector (UV.Vector Int)
edgesTable :: Vector (Vector Int)
edgesTable = forall a. [a] -> Vector a
V.fromList
  (forall a b. (a -> b) -> [a] -> [b]
map
    forall a. Unbox a => [a] -> Vector a
UV.fromList
    [ [Int
4, Int
9, Int
1]
    , [Int
1, Int
10, Int
2]
    , [Int
9, Int
10, Int
4, Int
10, Int
2, Int
4]
    , [Int
2, Int
11, Int
3]
    , [Int
0]
    , [Int
10, Int
11, Int
1, Int
11, Int
3, Int
1]
    , [Int
4, Int
9, Int
3, Int
3, Int
9, Int
11, Int
9, Int
10, Int
11]
    , [Int
12, Int
4, Int
3]
    , [Int
12, Int
9, Int
3, Int
9, Int
1, Int
3]
    , [Int
0]
    , [Int
3, Int
12, Int
2, Int
2, Int
12, Int
10, Int
12, Int
9, Int
10]
    , [Int
4, Int
2, Int
12, Int
2, Int
11, Int
12]
    , [Int
2, Int
11, Int
1, Int
1, Int
11, Int
9, Int
11, Int
12, Int
9]
    , [Int
1, Int
10, Int
4, Int
4, Int
10, Int
12, Int
10, Int
11, Int
12]
    , [Int
11, Int
9, Int
10, Int
11, Int
12, Int
9]
    , [Int
8, Int
5, Int
9]
    , [Int
5, Int
1, Int
8, Int
1, Int
4, Int
8]
    , [Int
0]
    , [Int
10, Int
2, Int
5, Int
5, Int
2, Int
8, Int
2, Int
4, Int
8]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
3, Int
4, Int
8, Int
3, Int
8, Int
10, Int
3, Int
10, Int
11, Int
8, Int
5, Int
10]
    , [Int
0]
    , [Int
8, Int
5, Int
12, Int
12, Int
5, Int
3, Int
5, Int
1, Int
3]
    , [Int
0]
    , [Int
2, Int
5, Int
10, Int
2, Int
3, Int
8, Int
2, Int
8, Int
5, Int
8, Int
3, Int
12]
    , [Int
0]
    , [Int
2, Int
11, Int
12, Int
2, Int
12, Int
5, Int
2, Int
5, Int
1, Int
8, Int
12, Int
5]
    , [Int
0]
    , [Int
8, Int
5, Int
12, Int
5, Int
10, Int
12, Int
12, Int
10, Int
11]
    , [Int
6, Int
10, Int
5]
    , [Int
0]
    , [Int
1, Int
5, Int
2, Int
5, Int
6, Int
2]
    , [Int
5, Int
6, Int
9, Int
9, Int
6, Int
4, Int
6, Int
2, Int
4]
    , [Int
0]
    , [Int
0]
    , [Int
11, Int
3, Int
6, Int
6, Int
3, Int
5, Int
3, Int
1, Int
5]
    , [Int
6, Int
9, Int
5, Int
6, Int
11, Int
4, Int
6, Int
4, Int
9, Int
4, Int
11, Int
3]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
3, Int
6, Int
2, Int
3, Int
9, Int
6, Int
3, Int
12, Int
9, Int
5, Int
9, Int
6]
    , [Int
0]
    , [Int
0]
    , [Int
6, Int
1, Int
5, Int
6, Int
12, Int
1, Int
6, Int
11, Int
12, Int
1, Int
12, Int
4]
    , [Int
5, Int
6, Int
9, Int
6, Int
11, Int
9, Int
9, Int
11, Int
12]
    , [Int
8, Int
6, Int
9, Int
6, Int
10, Int
9]
    , [Int
1, Int
4, Int
10, Int
10, Int
4, Int
6, Int
4, Int
8, Int
6]
    , [Int
9, Int
8, Int
1, Int
1, Int
8, Int
2, Int
8, Int
6, Int
2]
    , [Int
4, Int
8, Int
6, Int
4, Int
6, Int
2]
    , [Int
0]
    , [Int
0]
    , [Int
9, Int
3, Int
1, Int
9, Int
6, Int
3, Int
9, Int
8, Int
6, Int
11, Int
6, Int
3]
    , [Int
11, Int
3, Int
6, Int
3, Int
4, Int
6, Int
6, Int
4, Int
8]
    , [Int
0]
    , [Int
10, Int
1, Int
3, Int
10, Int
3, Int
8, Int
10, Int
8, Int
6, Int
3, Int
12, Int
8]
    , [Int
0]
    , [Int
3, Int
12, Int
2, Int
12, Int
8, Int
2, Int
2, Int
8, Int
6]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
12, Int
8, Int
11, Int
11, Int
8, Int
6]
    , [Int
6, Int
7, Int
11]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
2, Int
6, Int
3, Int
6, Int
7, Int
3]
    , [Int
0]
    , [Int
6, Int
7, Int
10, Int
10, Int
7, Int
1, Int
7, Int
3, Int
1]
    , [Int
6, Int
7, Int
3, Int
6, Int
3, Int
9, Int
6, Int
9, Int
10, Int
4, Int
3, Int
9]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
12, Int
4, Int
7, Int
7, Int
4, Int
6, Int
4, Int
2, Int
6]
    , [Int
1, Int
12, Int
9, Int
1, Int
6, Int
12, Int
1, Int
2, Int
6, Int
12, Int
6, Int
7]
    , [Int
4, Int
7, Int
12, Int
4, Int
1, Int
6, Int
4, Int
6, Int
7, Int
6, Int
1, Int
10]
    , [Int
6, Int
7, Int
10, Int
7, Int
12, Int
10, Int
10, Int
12, Int
9]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
5, Int
7, Int
10, Int
7, Int
11, Int
10]
    , [Int
0]
    , [Int
2, Int
1, Int
11, Int
11, Int
1, Int
7, Int
1, Int
5, Int
7]
    , [Int
9, Int
5, Int
7, Int
9, Int
7, Int
2, Int
9, Int
2, Int
4, Int
7, Int
11, Int
2]
    , [Int
10, Int
5, Int
2, Int
2, Int
5, Int
3, Int
5, Int
7, Int
3]
    , [Int
0]
    , [Int
3, Int
1, Int
5, Int
3, Int
5, Int
7]
    , [Int
4, Int
9, Int
3, Int
9, Int
5, Int
3, Int
3, Int
5, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
10, Int
5, Int
7, Int
10, Int
7, Int
4, Int
10, Int
4, Int
2, Int
12, Int
7, Int
4]
    , [Int
0]
    , [Int
12, Int
4, Int
7, Int
4, Int
1, Int
7, Int
7, Int
1, Int
5]
    , [Int
9, Int
5, Int
12, Int
12, Int
5, Int
7]
    , [Int
7, Int
11, Int
8, Int
8, Int
11, Int
9, Int
11, Int
10, Int
9]
    , [Int
1, Int
11, Int
10, Int
1, Int
8, Int
11, Int
1, Int
4, Int
8, Int
7, Int
8, Int
11]
    , [Int
8, Int
1, Int
9, Int
8, Int
7, Int
2, Int
8, Int
2, Int
1, Int
2, Int
7, Int
11]
    , [Int
7, Int
11, Int
8, Int
11, Int
2, Int
8, Int
8, Int
2, Int
4]
    , [Int
2, Int
10, Int
9, Int
2, Int
9, Int
7, Int
2, Int
7, Int
3, Int
9, Int
8, Int
7]
    , [Int
0]
    , [Int
9, Int
8, Int
1, Int
8, Int
7, Int
1, Int
1, Int
7, Int
3]
    , [Int
8, Int
7, Int
4, Int
4, Int
7, Int
3]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
8, Int
7, Int
12]
    , [Int
8, Int
12, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
8, Int
4, Int
7, Int
4, Int
3, Int
7]
    , [Int
9, Int
1, Int
8, Int
8, Int
1, Int
7, Int
1, Int
3, Int
7]
    , [Int
0]
    , [Int
2, Int
9, Int
10, Int
2, Int
7, Int
9, Int
2, Int
3, Int
7, Int
9, Int
7, Int
8]
    , [Int
7, Int
8, Int
11, Int
11, Int
8, Int
2, Int
8, Int
4, Int
2]
    , [Int
8, Int
9, Int
1, Int
8, Int
2, Int
7, Int
8, Int
1, Int
2, Int
2, Int
11, Int
7]
    , [Int
1, Int
10, Int
11, Int
1, Int
11, Int
8, Int
1, Int
8, Int
4, Int
7, Int
11, Int
8]
    , [Int
7, Int
8, Int
11, Int
8, Int
9, Int
11, Int
11, Int
9, Int
10]
    , [Int
9, Int
12, Int
5, Int
12, Int
7, Int
5]
    , [Int
12, Int
7, Int
4, Int
4, Int
7, Int
1, Int
7, Int
5, Int
1]
    , [Int
0]
    , [Int
10, Int
7, Int
5, Int
10, Int
4, Int
7, Int
10, Int
2, Int
4, Int
12, Int
4, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
4, Int
3, Int
9, Int
9, Int
3, Int
5, Int
3, Int
7, Int
5]
    , [Int
3, Int
5, Int
1, Int
3, Int
7, Int
5]
    , [Int
0]
    , [Int
10, Int
2, Int
5, Int
2, Int
3, Int
5, Int
5, Int
3, Int
7]
    , [Int
9, Int
7, Int
5, Int
9, Int
2, Int
7, Int
9, Int
4, Int
2, Int
7, Int
2, Int
11]
    , [Int
2, Int
11, Int
1, Int
11, Int
7, Int
1, Int
1, Int
7, Int
5]
    , [Int
0]
    , [Int
5, Int
10, Int
7, Int
7, Int
10, Int
11]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
6, Int
10, Int
7, Int
7, Int
10, Int
12, Int
10, Int
9, Int
12]
    , [Int
4, Int
12, Int
7, Int
4, Int
6, Int
1, Int
4, Int
7, Int
6, Int
6, Int
10, Int
1]
    , [Int
1, Int
9, Int
12, Int
1, Int
12, Int
6, Int
1, Int
6, Int
2, Int
12, Int
7, Int
6]
    , [Int
12, Int
7, Int
4, Int
7, Int
6, Int
4, Int
4, Int
6, Int
2]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
6, Int
3, Int
7, Int
6, Int
9, Int
3, Int
6, Int
10, Int
9, Int
4, Int
9, Int
3]
    , [Int
6, Int
10, Int
7, Int
10, Int
1, Int
7, Int
7, Int
1, Int
3]
    , [Int
0]
    , [Int
2, Int
3, Int
6, Int
6, Int
3, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
6, Int
11, Int
7]
    , [Int
12, Int
11, Int
8, Int
11, Int
6, Int
8]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
3, Int
2, Int
12, Int
12, Int
2, Int
8, Int
2, Int
6, Int
8]
    , [Int
0]
    , [Int
10, Int
3, Int
1, Int
10, Int
8, Int
3, Int
10, Int
6, Int
8, Int
3, Int
8, Int
12]
    , [Int
0]
    , [Int
11, Int
6, Int
3, Int
3, Int
6, Int
4, Int
6, Int
8, Int
4]
    , [Int
9, Int
1, Int
3, Int
9, Int
3, Int
6, Int
9, Int
6, Int
8, Int
11, Int
3, Int
6]
    , [Int
0]
    , [Int
0]
    , [Int
4, Int
6, Int
8, Int
4, Int
2, Int
6]
    , [Int
9, Int
1, Int
8, Int
1, Int
2, Int
8, Int
8, Int
2, Int
6]
    , [Int
1, Int
10, Int
4, Int
10, Int
6, Int
4, Int
4, Int
6, Int
8]
    , [Int
8, Int
9, Int
6, Int
6, Int
9, Int
10]
    , [Int
5, Int
9, Int
6, Int
6, Int
9, Int
11, Int
9, Int
12, Int
11]
    , [Int
6, Int
5, Int
1, Int
6, Int
1, Int
12, Int
6, Int
12, Int
11, Int
1, Int
4, Int
12]
    , [Int
0]
    , [Int
0]
    , [Int
3, Int
2, Int
6, Int
3, Int
6, Int
9, Int
3, Int
9, Int
12, Int
5, Int
6, Int
9]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
6, Int
5, Int
9, Int
6, Int
4, Int
11, Int
6, Int
9, Int
4, Int
4, Int
3, Int
11]
    , [Int
11, Int
6, Int
3, Int
6, Int
5, Int
3, Int
3, Int
5, Int
1]
    , [Int
0]
    , [Int
0]
    , [Int
5, Int
9, Int
6, Int
9, Int
4, Int
6, Int
6, Int
4, Int
2]
    , [Int
1, Int
2, Int
5, Int
5, Int
2, Int
6]
    , [Int
0]
    , [Int
6, Int
5, Int
10]
    , [Int
8, Int
12, Int
5, Int
5, Int
12, Int
10, Int
12, Int
11, Int
10]
    , [Int
0]
    , [Int
2, Int
12, Int
11, Int
2, Int
5, Int
12, Int
2, Int
1, Int
5, Int
8, Int
5, Int
12]
    , [Int
0]
    , [Int
2, Int
10, Int
5, Int
2, Int
8, Int
3, Int
2, Int
5, Int
8, Int
8, Int
12, Int
3]
    , [Int
0]
    , [Int
8, Int
12, Int
5, Int
12, Int
3, Int
5, Int
5, Int
3, Int
1]
    , [Int
0]
    , [Int
3, Int
8, Int
4, Int
3, Int
10, Int
8, Int
3, Int
11, Int
10, Int
8, Int
10, Int
5]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
10, Int
5, Int
2, Int
5, Int
8, Int
2, Int
2, Int
8, Int
4]
    , [Int
0]
    , [Int
5, Int
8, Int
1, Int
1, Int
8, Int
4]
    , [Int
8, Int
9, Int
5]
    , [Int
11, Int
10, Int
9, Int
11, Int
9, Int
12]
    , [Int
1, Int
4, Int
10, Int
4, Int
12, Int
10, Int
10, Int
12, Int
11]
    , [Int
2, Int
1, Int
11, Int
1, Int
9, Int
11, Int
11, Int
9, Int
12]
    , [Int
4, Int
12, Int
2, Int
2, Int
12, Int
11]
    , [Int
3, Int
2, Int
12, Int
2, Int
10, Int
12, Int
12, Int
10, Int
9]
    , [Int
0]
    , [Int
12, Int
3, Int
9, Int
9, Int
3, Int
1]
    , [Int
12, Int
3, Int
4]
    , [Int
4, Int
3, Int
9, Int
3, Int
11, Int
9, Int
9, Int
11, Int
10]
    , [Int
10, Int
1, Int
11, Int
11, Int
1, Int
3]
    , [Int
0]
    , [Int
2, Int
3, Int
11]
    , [Int
9, Int
4, Int
10, Int
10, Int
4, Int
2]
    , [Int
1, Int
2, Int
10]
    , [Int
4, Int
1, Int
9]
    ]
  )

facesTable :: V.Vector (UV.Vector Int)
facesTable :: Vector (Vector Int)
facesTable = forall a. [a] -> Vector a
V.fromList
  (forall a b. (a -> b) -> [a] -> [b]
map
    forall a. Unbox a => [a] -> Vector a
UV.fromList
    [ [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
5]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
5]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
1]
    , [Int
0]
    , [Int
7]
    , [Int
5, Int
7]
    , [-Int
1, Int
7]
    , [Int
0]
    , [-Int
4]
    , [Int
0]
    , [-Int
5, -Int
1, -Int
4, Int
7]
    , [Int
0]
    , [-Int
4, Int
7]
    , [Int
0]
    , [-Int
4, -Int
1, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
1]
    , [Int
0]
    , [Int
0]
    , [-Int
2]
    , [-Int
2, Int
1, Int
5, -Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
7]
    , [Int
1, -Int
7]
    , [-Int
5, -Int
7]
    , [Int
0]
    , [-Int
2, -Int
7]
    , [-Int
2, Int
1, -Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
2, Int
7]
    , [Int
5, -Int
2, Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
4, -Int
7]
    , [Int
0]
    , [-Int
4, -Int
5, -Int
7]
    , [Int
0]
    , [-Int
2, -Int
4, Int
7]
    , [Int
2, -Int
7]
    , [Int
4, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
7]
    , [Int
2]
    , [Int
2, Int
7]
    , [Int
0]
    , [Int
5, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
3]
    , [Int
3, Int
7]
    , [-Int
5, Int
3, Int
2, Int
7]
    , [Int
2, Int
3, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
6]
    , [Int
6, Int
7]
    , [Int
6, -Int
1, Int
2, -Int
7]
    , [Int
2, Int
6, Int
7]
    , [Int
6, Int
7]
    , [Int
6, Int
5, Int
7]
    , [Int
6, -Int
1, Int
7]
    , [-Int
6, -Int
7]
    , [Int
6, Int
3, -Int
4, -Int
7]
    , [Int
6, Int
3, Int
7]
    , [-Int
5, -Int
1, Int
6, Int
3, Int
2, -Int
4, Int
7]
    , [-Int
3, -Int
6, -Int
2, Int
7]
    , [-Int
4, Int
6, Int
7]
    , [-Int
6, -Int
7]
    , [-Int
6, Int
4, Int
1, Int
7]
    , [-Int
6]
    , [Int
0]
    , [Int
1, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
5, Int
1, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
3, -Int
7]
    , [Int
1, Int
3, Int
7]
    , [-Int
5, Int
3, -Int
7]
    , [-Int
3, Int
7]
    , [Int
0]
    , [-Int
1, -Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
5, -Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
4, Int
3, -Int
7]
    , [-Int
3, -Int
7]
    , [Int
4, -Int
3, Int
5, -Int
7]
    , [-Int
3]
    , [Int
4, -Int
7]
    , [-Int
7]
    , [Int
4]
    , [Int
0]
    , [Int
0]
    , [Int
4]
    , [-Int
7]
    , [Int
4, -Int
7]
    , [-Int
3]
    , [Int
4, -Int
3, Int
5, -Int
7]
    , [-Int
3, -Int
7]
    , [Int
4, -Int
3, -Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
5, -Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
1, -Int
7]
    , [Int
0]
    , [-Int
3, Int
7]
    , [Int
5, -Int
3, Int
7]
    , [-Int
1, -Int
3, Int
7]
    , [Int
3, -Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
5, -Int
1, -Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
1, Int
7]
    , [Int
0]
    , [-Int
6]
    , [-Int
6, Int
4, Int
1, Int
7]
    , [-Int
6, -Int
7]
    , [Int
4, -Int
6, -Int
7]
    , [-Int
3, -Int
6, -Int
2, Int
7]
    , [Int
5, Int
1, -Int
6, -Int
3, -Int
2, Int
4, Int
7]
    , [-Int
6, -Int
3, -Int
7]
    , [Int
6, Int
3, -Int
4, -Int
7]
    , [-Int
6, -Int
7]
    , [-Int
6, Int
1, -Int
7]
    , [-Int
6, -Int
5, -Int
7]
    , [Int
6, Int
7]
    , [-Int
2, -Int
6, -Int
7]
    , [Int
6, -Int
1, Int
2, -Int
7]
    , [Int
6, Int
7]
    , [Int
6]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
2, -Int
3, Int
7]
    , [-Int
5, Int
3, Int
2, Int
7]
    , [Int
3, Int
7]
    , [Int
3]
    , [Int
0]
    , [Int
0]
    , [Int
5, Int
7]
    , [Int
0]
    , [Int
2, Int
7]
    , [Int
2]
    , [Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
4, Int
7]
    , [Int
2, -Int
7]
    , [Int
2, Int
4, Int
7]
    , [Int
0]
    , [Int
4, Int
5, Int
7]
    , [Int
0]
    , [-Int
4, -Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
5, Int
2, -Int
7]
    , [-Int
2, Int
7]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
2, -Int
1, -Int
7]
    , [-Int
2, -Int
7]
    , [Int
0]
    , [-Int
5, -Int
7]
    , [Int
1, -Int
7]
    , [-Int
7]
    , [Int
0]
    , [Int
0]
    , [-Int
2, Int
1, Int
5, -Int
7]
    , [-Int
2]
    , [Int
0]
    , [Int
0]
    , [Int
1]
    , [Int
0]
    , [Int
0]
    , [Int
4, Int
1, Int
7]
    , [Int
0]
    , [-Int
4, Int
7]
    , [Int
0]
    , [-Int
5, -Int
1, -Int
4, Int
7]
    , [Int
0]
    , [-Int
4]
    , [Int
0]
    , [-Int
1, Int
7]
    , [Int
5, Int
7]
    , [Int
7]
    , [Int
0]
    , [-Int
1]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [-Int
5]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
5]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    , [Int
0]
    ]
  )

facePoints :: V.Vector (UV.Vector Int)
facePoints :: Vector (Vector Int)
facePoints = forall a. [a] -> Vector a
V.fromList
  (forall a b. (a -> b) -> [a] -> [b]
map
    forall a. Unbox a => [a] -> Vector a
UV.fromList
    [ [Int
1, Int
1, Int
6, Int
2, Int
5, Int
60]
    , [Int
2, Int
2, Int
7, Int
3, Int
6, Int
252]
    , [Int
3, Int
4, Int
7, Int
3, Int
8, Int
672]
    , [Int
4, Int
1, Int
8, Int
4, Int
5, Int
160]
    , [Int
5, Int
1, Int
3, Int
2, Int
4, Int
24]
    , [Int
6, Int
5, Int
7, Int
6, Int
8, Int
1680]
    ]
  )

edgesTable2 :: V.Vector (UV.Vector Int)
edgesTable2 :: Vector (Vector Int)
edgesTable2 = forall a. [a] -> Vector a
V.fromList 
  (forall a b. (a -> b) -> [a] -> [b]
map 
    forall a. Unbox a => [a] -> Vector a
UV.fromList
    [
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
2, Int
11, Int
3, Int
4, Int
9, Int
1, Int
2, Int
11, Int
1, Int
11, Int
9, Int
1, Int
11, Int
4, Int
9, Int
11, Int
3, Int
4],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
1, Int
10, Int
2, Int
3, Int
12, Int
4, Int
1, Int
10, Int
4, Int
10, Int
12, Int
4, Int
10, Int
3, Int
12, Int
10, Int
2, Int
3],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
10, Int
2, Int
1, Int
9, Int
8, Int
5, Int
10, Int
2, Int
5, Int
2, Int
8, Int
5, Int
2, Int
9, Int
8, Int
2, Int
1, Int
9],
      [Int
0],
      [Int
2, Int
11, Int
3, Int
9, Int
8, Int
5, Int
2, Int
9, Int
3, Int
9, Int
8, Int
3, Int
11, Int
3, Int
8, Int
2, Int
11, Int
5, Int
2, Int
5, Int
9, Int
11, Int
8, Int
5],
      [Int
4, Int
8, Int
1, Int
8, Int
5, Int
1, Int
2, Int
11, Int
3, Int
4, Int
8, Int
3, Int
8, Int
11, Int
3, Int
8, Int
5, Int
11, Int
2, Int
11, Int
5, Int
2, Int
5, Int
1, Int
4, Int
1, Int
2, Int
4, Int
2, Int
3, Int
3, Int
2, Int
11, Int
4, Int
8, Int
3, Int
8, Int
11, Int
3, Int
8, Int
5, Int
11, Int
2, Int
11, Int
5, Int
2, Int
5, Int
1],
      [Int
10, Int
11, Int
1, Int
11, Int
3, Int
1, Int
9, Int
8, Int
5, Int
10, Int
11, Int
5, Int
11, Int
8, Int
5, Int
11, Int
3, Int
8, Int
9, Int
8, Int
3, Int
9, Int
3, Int
1, Int
10, Int
1, Int
9, Int
10, Int
9, Int
5, Int
5, Int
9, Int
8, Int
10, Int
11, Int
5, Int
11, Int
8, Int
5, Int
11, Int
3, Int
8, Int
9, Int
8, Int
3, Int
9, Int
3, Int
1],
      [Int
0],
      [Int
8, Int
5, Int
9, Int
4, Int
3, Int
12, Int
8, Int
5, Int
12, Int
5, Int
3, Int
12, Int
5, Int
4, Int
3, Int
5, Int
9, Int
4],
      [Int
0],
      [Int
2, Int
1, Int
10, Int
4, Int
3, Int
12, Int
9, Int
8, Int
5, Int
2, Int
1, Int
10, Int
4, Int
5, Int
9, Int
4, Int
3, Int
5, Int
8, Int
5, Int
3, Int
8, Int
3, Int
12, Int
4, Int
3, Int
12, Int
2, Int
1, Int
9, Int
2, Int
9, Int
8, Int
2, Int
5, Int
10, Int
2, Int
8, Int
5, Int
9, Int
8, Int
5, Int
2, Int
3, Int
12, Int
2, Int
12, Int
10, Int
10, Int
12, Int
4, Int
10, Int
4, Int
1, Int
2, Int
13, Int
10, Int
10, Int
13, Int
5, Int
8, Int
5, Int
13, Int
8, Int
13, Int
12, Int
12, Int
13, Int
3, Int
4, Int
3, Int
13, Int
4, Int
13, Int
9, Int
9, Int
13, Int
1, Int
2, Int
1, Int
13, Int
2, Int
13, Int
10, Int
2, Int
13, Int
3, Int
12, Int
13, Int
3, Int
8, Int
13, Int
12, Int
8, Int
5, Int
13, Int
9, Int
5, Int
13, Int
4, Int
13, Int
9, Int
4, Int
1, Int
13, Int
10, Int
13, Int
1, Int
8, Int
5, Int
13, Int
10, Int
13, Int
5, Int
2, Int
13, Int
10, Int
2, Int
3, Int
13, Int
12, Int
13, Int
3, Int
4, Int
13, Int
12, Int
4, Int
1, Int
13, Int
9, Int
13, Int
1, Int
9, Int
8, Int
13, Int
2, Int
3, Int
12, Int
2, Int
12, Int
5, Int
2, Int
5, Int
10, Int
8, Int
5, Int
12, Int
4,
    Int
1, Int
9, Int
2, Int
3, Int
1, Int
4, Int
1, Int
3, Int
4, Int
3, Int
12, Int
4, Int
12, Int
8, Int
4, Int
8, Int
9, Int
9, Int
8, Int
5, Int
9, Int
5, Int
1, Int
10, Int
1, Int
5, Int
2, Int
1, Int
10],
      [Int
0],
      [Int
4, Int
2, Int
12, Int
2, Int
11, Int
12, Int
8, Int
5, Int
9, Int
4, Int
2, Int
9, Int
2, Int
5, Int
9, Int
2, Int
11, Int
5, Int
8, Int
5, Int
11, Int
8, Int
11, Int
12, Int
4, Int
12, Int
8, Int
4, Int
8, Int
9, Int
9, Int
8, Int
5, Int
4, Int
2, Int
9, Int
2, Int
5, Int
9, Int
2, Int
11, Int
5, Int
8, Int
5, Int
11, Int
8, Int
11, Int
12],
      [Int
0],
      [Int
8, Int
5, Int
12, Int
5, Int
10, Int
12, Int
4, Int
1, Int
9, Int
12, Int
10, Int
11, Int
8, Int
4, Int
9, Int
8, Int
12, Int
4, Int
4, Int
11, Int
12, Int
4, Int
1, Int
11, Int
5, Int
10, Int
1, Int
5, Int
1, Int
9, Int
8, Int
5, Int
9, Int
1, Int
10, Int
11, Int
8, Int
5, Int
13, Int
5, Int
9, Int
13, Int
4, Int
13, Int
9, Int
1, Int
10, Int
13, Int
4, Int
1, Int
13, Int
11, Int
13, Int
10, Int
12, Int
13, Int
11, Int
8, Int
12, Int
13, Int
1, Int
9, Int
13, Int
8, Int
13, Int
9, Int
8, Int
5, Int
13, Int
5, Int
10, Int
13, Int
11, Int
13, Int
10, Int
12, Int
11, Int
13, Int
4, Int
13, Int
12, Int
4, Int
1, Int
13, Int
8, Int
5, Int
9, Int
4, Int
1, Int
10, Int
4, Int
10, Int
12, Int
12, Int
10, Int
11],
      [Int
0],
      [Int
0],
      [Int
5, Int
6, Int
10, Int
1, Int
4, Int
9, Int
5, Int
6, Int
9, Int
6, Int
4, Int
9, Int
6, Int
1, Int
4, Int
6, Int
10, Int
1],
      [Int
0],
      [Int
0],
      [Int
10, Int
5, Int
6, Int
11, Int
3, Int
2, Int
10, Int
5, Int
2, Int
5, Int
3, Int
2, Int
5, Int
11, Int
3, Int
5, Int
6, Int
11],
      [Int
6, Int
10, Int
5, Int
2, Int
11, Int
3, Int
1, Int
4, Int
9, Int
6, Int
10, Int
5, Int
2, Int
9, Int
1, Int
2, Int
11, Int
9, Int
4, Int
9, Int
11, Int
4, Int
11, Int
3, Int
2, Int
11, Int
3, Int
6, Int
10, Int
1, Int
6, Int
1, Int
4, Int
6, Int
9, Int
5, Int
6, Int
4, Int
9, Int
1, Int
4, Int
9, Int
6, Int
11, Int
3, Int
6, Int
3, Int
5, Int
5, Int
3, Int
2, Int
5, Int
2, Int
10, Int
6, Int
13, Int
5, Int
5, Int
13, Int
9, Int
4, Int
9, Int
13, Int
4, Int
13, Int
3, Int
3, Int
13, Int
11, Int
2, Int
11, Int
13, Int
2, Int
13, Int
1, Int
1, Int
13, Int
10, Int
6, Int
10, Int
13, Int
6, Int
13, Int
5, Int
6, Int
13, Int
11, Int
3, Int
13, Int
11, Int
4, Int
13, Int
3, Int
4, Int
9, Int
13, Int
1, Int
9, Int
13, Int
2, Int
13, Int
1, Int
2, Int
10, Int
13, Int
5, Int
13, Int
10, Int
4, Int
9, Int
13, Int
5, Int
13, Int
9, Int
6, Int
13, Int
5, Int
6, Int
11, Int
13, Int
3, Int
13, Int
11, Int
2, Int
13, Int
3, Int
2, Int
10, Int
13, Int
1, Int
13, Int
10, Int
1, Int
4, Int
13, Int
6, Int
11, Int
3, Int
6, Int
3, Int
9, Int
6, Int
9, Int
5, Int
4, Int
9, Int
3, Int
2, Int
10, Int
1,
    Int
6, Int
11, Int
10, Int
2, Int
10, Int
11, Int
2, Int
11, Int
3, Int
2, Int
3, Int
4, Int
2, Int
4, Int
1, Int
1, Int
4, Int
9, Int
1, Int
9, Int
10, Int
5, Int
10, Int
9, Int
6, Int
10, Int
5],
      [Int
0],
      [Int
0],
      [Int
6, Int
10, Int
5, Int
12, Int
4, Int
3, Int
6, Int
12, Int
5, Int
12, Int
4, Int
5, Int
10, Int
5, Int
4, Int
6, Int
10, Int
3, Int
6, Int
3, Int
12, Int
10, Int
4, Int
3],
      [Int
1, Int
3, Int
9, Int
3, Int
12, Int
9, Int
5, Int
6, Int
10, Int
1, Int
3, Int
10, Int
3, Int
6, Int
10, Int
3, Int
12, Int
6, Int
5, Int
6, Int
12, Int
5, Int
12, Int
9, Int
1, Int
9, Int
5, Int
1, Int
5, Int
10, Int
10, Int
5, Int
6, Int
1, Int
3, Int
10, Int
3, Int
6, Int
10, Int
3, Int
12, Int
6, Int
5, Int
6, Int
12, Int
5, Int
12, Int
9],
      [Int
1, Int
5, Int
2, Int
5, Int
6, Int
2, Int
3, Int
12, Int
4, Int
1, Int
5, Int
4, Int
5, Int
12, Int
4, Int
5, Int
6, Int
12, Int
3, Int
12, Int
6, Int
3, Int
6, Int
2, Int
1, Int
2, Int
3, Int
1, Int
3, Int
4, Int
4, Int
3, Int
12, Int
1, Int
5, Int
4, Int
5, Int
12, Int
4, Int
5, Int
6, Int
12, Int
3, Int
12, Int
6, Int
3, Int
6, Int
2],
      [Int
0],
      [Int
11, Int
12, Int
2, Int
12, Int
4, Int
2, Int
10, Int
5, Int
6, Int
11, Int
12, Int
6, Int
12, Int
5, Int
6, Int
12, Int
4, Int
5, Int
10, Int
5, Int
4, Int
10, Int
4, Int
2, Int
11, Int
2, Int
10, Int
11, Int
10, Int
6, Int
6, Int
10, Int
5, Int
11, Int
12, Int
6, Int
12, Int
5, Int
6, Int
12, Int
4, Int
5, Int
10, Int
5, Int
4, Int
10, Int
4, Int
2],
      [Int
2, Int
11, Int
1, Int
1, Int
11, Int
9, Int
6, Int
10, Int
5, Int
11, Int
12, Int
9, Int
2, Int
10, Int
6, Int
2, Int
6, Int
11, Int
6, Int
11, Int
12, Int
6, Int
12, Int
5, Int
1, Int
5, Int
9, Int
1, Int
10, Int
5, Int
2, Int
10, Int
1, Int
5, Int
12, Int
9, Int
2, Int
13, Int
1, Int
1, Int
13, Int
10, Int
6, Int
10, Int
13, Int
5, Int
13, Int
9, Int
6, Int
13, Int
5, Int
12, Int
9, Int
13, Int
11, Int
12, Int
13, Int
2, Int
13, Int
11, Int
5, Int
13, Int
10, Int
2, Int
10, Int
13, Int
2, Int
13, Int
1, Int
1, Int
13, Int
9, Int
12, Int
9, Int
13, Int
11, Int
13, Int
12, Int
6, Int
11, Int
13, Int
6, Int
13, Int
5, Int
2, Int
10, Int
1, Int
6, Int
9, Int
5, Int
6, Int
11, Int
9, Int
11, Int
12, Int
9],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
10, Int
9, Int
6, Int
9, Int
8, Int
6, Int
11, Int
3, Int
2, Int
10, Int
9, Int
2, Int
9, Int
3, Int
2, Int
9, Int
8, Int
3, Int
11, Int
3, Int
8, Int
11, Int
8, Int
6, Int
10, Int
6, Int
11, Int
10, Int
11, Int
2, Int
2, Int
11, Int
3, Int
10, Int
9, Int
2, Int
9, Int
3, Int
2, Int
9, Int
8, Int
3, Int
11, Int
3, Int
8, Int
11, Int
8, Int
6],
      [Int
1, Int
4, Int
10, Int
10, Int
4, Int
6, Int
3, Int
2, Int
11, Int
4, Int
8, Int
6, Int
1, Int
2, Int
3, Int
1, Int
3, Int
4, Int
3, Int
4, Int
8, Int
3, Int
8, Int
11, Int
10, Int
11, Int
6, Int
10, Int
2, Int
11, Int
1, Int
2, Int
10, Int
11, Int
8, Int
6, Int
1, Int
13, Int
10, Int
10, Int
13, Int
2, Int
3, Int
2, Int
13, Int
11, Int
13, Int
6, Int
3, Int
13, Int
11, Int
8, Int
6, Int
13, Int
4, Int
8, Int
13, Int
1, Int
13, Int
4, Int
11, Int
13, Int
2, Int
1, Int
2, Int
13, Int
1, Int
13, Int
10, Int
10, Int
13, Int
6, Int
8, Int
6, Int
13, Int
4, Int
13, Int
8, Int
3, Int
4, Int
13, Int
3, Int
13, Int
11, Int
1, Int
2, Int
10, Int
3, Int
6, Int
11, Int
3, Int
4, Int
6, Int
4, Int
8, Int
6],
      [Int
0],
      [Int
0],
      [Int
8, Int
6, Int
9, Int
6, Int
10, Int
9, Int
4, Int
3, Int
12, Int
8, Int
6, Int
12, Int
6, Int
3, Int
12, Int
6, Int
10, Int
3, Int
4, Int
3, Int
10, Int
4, Int
10, Int
9, Int
8, Int
9, Int
4, Int
8, Int
4, Int
12, Int
12, Int
4, Int
3, Int
8, Int
6, Int
12, Int
6, Int
3, Int
12, Int
6, Int
10, Int
3, Int
4, Int
3, Int
10, Int
4, Int
10, Int
9],
      [Int
0],
      [Int
9, Int
8, Int
1, Int
1, Int
8, Int
2, Int
12, Int
4, Int
3, Int
8, Int
6, Int
2, Int
9, Int
4, Int
12, Int
9, Int
12, Int
8, Int
12, Int
8, Int
6, Int
12, Int
6, Int
3, Int
1, Int
3, Int
2, Int
1, Int
4, Int
3, Int
9, Int
4, Int
1, Int
3, Int
6, Int
2, Int
9, Int
13, Int
1, Int
1, Int
13, Int
4, Int
12, Int
4, Int
13, Int
3, Int
13, Int
2, Int
12, Int
13, Int
3, Int
6, Int
2, Int
13, Int
8, Int
6, Int
13, Int
9, Int
13, Int
8, Int
3, Int
13, Int
4, Int
9, Int
4, Int
13, Int
9, Int
13, Int
1, Int
1, Int
13, Int
2, Int
6, Int
2, Int
13, Int
8, Int
13, Int
6, Int
12, Int
8, Int
13, Int
12, Int
13, Int
3, Int
9, Int
4, Int
1, Int
12, Int
2, Int
3, Int
12, Int
8, Int
2, Int
8, Int
6, Int
2],
      [Int
0],
      [Int
2, Int
11, Int
4, Int
10, Int
9, Int
6, Int
6, Int
9, Int
8, Int
11, Int
12, Int
4, Int
2, Int
11, Int
6, Int
2, Int
6, Int
10, Int
6, Int
11, Int
12, Int
6, Int
12, Int
8, Int
4, Int
12, Int
9, Int
9, Int
12, Int
8, Int
2, Int
10, Int
9, Int
2, Int
9, Int
4, Int
2, Int
10, Int
13, Int
2, Int
13, Int
4, Int
4, Int
13, Int
12, Int
11, Int
12, Int
13, Int
6, Int
11, Int
13, Int
6, Int
13, Int
8, Int
9, Int
8, Int
13, Int
10, Int
9, Int
13, Int
4, Int
13, Int
9, Int
2, Int
13, Int
4, Int
2, Int
11, Int
13, Int
11, Int
12, Int
13, Int
8, Int
13, Int
12, Int
6, Int
13, Int
8, Int
10, Int
13, Int
6, Int
10, Int
9, Int
13, Int
2, Int
10, Int
4, Int
10, Int
9, Int
4, Int
6, Int
11, Int
12, Int
6, Int
12, Int
8],
      [Int
6, Int
11, Int
8, Int
8, Int
11, Int
12, Int
2, Int
10, Int
1, Int
6, Int
10, Int
8, Int
8, Int
10, Int
1, Int
8, Int
1, Int
12, Int
2, Int
12, Int
1, Int
2, Int
11, Int
12, Int
6, Int
2, Int
11, Int
6, Int
10, Int
2, Int
10, Int
1, Int
2, Int
6, Int
10, Int
8, Int
8, Int
10, Int
1, Int
8, Int
1, Int
12, Int
2, Int
12, Int
1, Int
2, Int
11, Int
12],
      [Int
12, Int
8, Int
11, Int
11, Int
8, Int
6, Int
9, Int
4, Int
1, Int
12, Int
4, Int
11, Int
11, Int
4, Int
1, Int
11, Int
1, Int
6, Int
9, Int
6, Int
1, Int
9, Int
8, Int
6, Int
12, Int
9, Int
8, Int
12, Int
4, Int
9, Int
4, Int
1, Int
9, Int
12, Int
4, Int
11, Int
11, Int
4, Int
1, Int
11, Int
1, Int
6, Int
9, Int
6, Int
1, Int
9, Int
8, Int
6],
      [Int
0],
      [Int
0],
      [Int
6, Int
7, Int
11, Int
1, Int
4, Int
9, Int
6, Int
1, Int
11, Int
1, Int
4, Int
11, Int
7, Int
11, Int
4, Int
6, Int
7, Int
9, Int
6, Int
9, Int
1, Int
7, Int
4, Int
9],
      [Int
6, Int
7, Int
11, Int
2, Int
1, Int
10, Int
6, Int
7, Int
10, Int
7, Int
1, Int
10, Int
7, Int
2, Int
1, Int
7, Int
11, Int
2],
      [Int
2, Int
4, Int
10, Int
4, Int
9, Int
10, Int
6, Int
7, Int
11, Int
2, Int
4, Int
11, Int
4, Int
7, Int
11, Int
4, Int
9, Int
7, Int
6, Int
7, Int
9, Int
6, Int
9, Int
10, Int
2, Int
10, Int
6, Int
2, Int
6, Int
11, Int
11, Int
6, Int
7, Int
2, Int
4, Int
11, Int
4, Int
7, Int
11, Int
4, Int
9, Int
7, Int
6, Int
7, Int
9, Int
6, Int
9, Int
10],
      [Int
0],
      [Int
2, Int
6, Int
3, Int
6, Int
7, Int
3, Int
4, Int
9, Int
1, Int
2, Int
6, Int
1, Int
6, Int
9, Int
1, Int
6, Int
7, Int
9, Int
4, Int
9, Int
7, Int
4, Int
7, Int
3, Int
2, Int
3, Int
4, Int
2, Int
4, Int
1, Int
1, Int
4, Int
9, Int
2, Int
6, Int
1, Int
6, Int
9, Int
1, Int
6, Int
7, Int
9, Int
4, Int
9, Int
7, Int
4, Int
7, Int
3],
      [Int
0],
      [Int
0],
      [Int
12, Int
4, Int
3, Int
11, Int
6, Int
7, Int
12, Int
4, Int
7, Int
4, Int
6, Int
7, Int
4, Int
11, Int
6, Int
4, Int
3, Int
11],
      [Int
12, Int
9, Int
3, Int
9, Int
1, Int
3, Int
11, Int
6, Int
7, Int
12, Int
9, Int
7, Int
9, Int
6, Int
7, Int
9, Int
1, Int
6, Int
11, Int
6, Int
1, Int
11, Int
1, Int
3, Int
12, Int
3, Int
11, Int
12, Int
11, Int
7, Int
7, Int
11, Int
6, Int
12, Int
9, Int
7, Int
9, Int
6, Int
7, Int
9, Int
1, Int
6, Int
11, Int
6, Int
1, Int
11, Int
1, Int
3],
      [Int
4, Int
3, Int
12, Int
2, Int
1, Int
10, Int
11, Int
6, Int
7, Int
4, Int
3, Int
12, Int
2, Int
7, Int
11, Int
2, Int
1, Int
7, Int
6, Int
7, Int
1, Int
6, Int
1, Int
10, Int
2, Int
1, Int
10, Int
4, Int
3, Int
11, Int
4, Int
11, Int
6, Int
4, Int
7, Int
12, Int
4, Int
6, Int
7, Int
11, Int
6, Int
7, Int
4, Int
1, Int
10, Int
4, Int
10, Int
12, Int
12, Int
10, Int
2, Int
12, Int
2, Int
3, Int
4, Int
13, Int
12, Int
12, Int
13, Int
7, Int
6, Int
7, Int
13, Int
6, Int
13, Int
10, Int
10, Int
13, Int
1, Int
2, Int
1, Int
13, Int
2, Int
13, Int
11, Int
11, Int
13, Int
3, Int
4, Int
3, Int
13, Int
4, Int
13, Int
12, Int
4, Int
13, Int
1, Int
10, Int
13, Int
1, Int
6, Int
13, Int
10, Int
6, Int
7, Int
13, Int
11, Int
7, Int
13, Int
2, Int
13, Int
11, Int
2, Int
3, Int
13, Int
12, Int
13, Int
3, Int
6, Int
7, Int
13, Int
12, Int
13, Int
7, Int
4, Int
13, Int
12, Int
4, Int
1, Int
13, Int
10, Int
13, Int
1, Int
2, Int
13, Int
10, Int
2, Int
3, Int
13, Int
11, Int
13, Int
3, Int
11, Int
6, Int
13, Int
4, Int
1, Int
10, Int
4, Int
10, Int
7, Int
4, Int
7, Int
12, Int
6,
    Int
7, Int
10, Int
2, Int
3, Int
11, Int
4, Int
1, Int
3, Int
2, Int
3, Int
1, Int
2, Int
1, Int
10, Int
2, Int
10, Int
6, Int
2, Int
6, Int
11, Int
11, Int
6, Int
7, Int
11, Int
7, Int
3, Int
12, Int
3, Int
7, Int
4, Int
3, Int
12],
      [Int
6, Int
7, Int
10, Int
7, Int
12, Int
10, Int
2, Int
3, Int
11, Int
10, Int
12, Int
9, Int
6, Int
2, Int
11, Int
6, Int
10, Int
2, Int
2, Int
9, Int
10, Int
2, Int
3, Int
9, Int
7, Int
12, Int
3, Int
7, Int
3, Int
11, Int
6, Int
7, Int
11, Int
3, Int
12, Int
9, Int
6, Int
7, Int
13, Int
7, Int
11, Int
13, Int
2, Int
13, Int
11, Int
3, Int
12, Int
13, Int
2, Int
3, Int
13, Int
9, Int
13, Int
12, Int
10, Int
13, Int
9, Int
6, Int
10, Int
13, Int
3, Int
11, Int
13, Int
6, Int
13, Int
11, Int
6, Int
7, Int
13, Int
7, Int
12, Int
13, Int
9, Int
13, Int
12, Int
10, Int
9, Int
13, Int
2, Int
13, Int
10, Int
2, Int
3, Int
13, Int
6, Int
7, Int
11, Int
2, Int
3, Int
12, Int
2, Int
12, Int
10, Int
10, Int
12, Int
9],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
7, Int
11, Int
6, Int
5, Int
9, Int
8, Int
7, Int
11, Int
8, Int
11, Int
9, Int
8, Int
11, Int
5, Int
9, Int
11, Int
6, Int
5],
      [Int
5, Int
1, Int
8, Int
1, Int
4, Int
8, Int
7, Int
11, Int
6, Int
5, Int
1, Int
6, Int
1, Int
11, Int
6, Int
1, Int
4, Int
11, Int
7, Int
11, Int
4, Int
7, Int
4, Int
8, Int
5, Int
8, Int
7, Int
5, Int
7, Int
6, Int
6, Int
7, Int
11, Int
5, Int
1, Int
6, Int
1, Int
11, Int
6, Int
1, Int
4, Int
11, Int
7, Int
11, Int
4, Int
7, Int
4, Int
8],
      [Int
8, Int
5, Int
9, Int
6, Int
7, Int
11, Int
10, Int
2, Int
1, Int
8, Int
5, Int
9, Int
6, Int
1, Int
10, Int
6, Int
7, Int
1, Int
2, Int
1, Int
7, Int
2, Int
7, Int
11, Int
6, Int
7, Int
11, Int
8, Int
5, Int
10, Int
8, Int
10, Int
2, Int
8, Int
1, Int
9, Int
8, Int
2, Int
1, Int
10, Int
2, Int
1, Int
8, Int
7, Int
11, Int
8, Int
11, Int
9, Int
9, Int
11, Int
6, Int
9, Int
6, Int
5, Int
8, Int
13, Int
9, Int
9, Int
13, Int
1, Int
2, Int
1, Int
13, Int
2, Int
13, Int
11, Int
11, Int
13, Int
7, Int
6, Int
7, Int
13, Int
6, Int
13, Int
10, Int
10, Int
13, Int
5, Int
8, Int
5, Int
13, Int
8, Int
13, Int
9, Int
8, Int
13, Int
7, Int
11, Int
13, Int
7, Int
2, Int
13, Int
11, Int
2, Int
1, Int
13, Int
10, Int
1, Int
13, Int
6, Int
13, Int
10, Int
6, Int
5, Int
13, Int
9, Int
13, Int
5, Int
2, Int
1, Int
13, Int
9, Int
13, Int
1, Int
8, Int
13, Int
9, Int
8, Int
7, Int
13, Int
11, Int
13, Int
7, Int
6, Int
13, Int
11, Int
6, Int
5, Int
13, Int
10, Int
13, Int
5, Int
10, Int
2, Int
13, Int
8, Int
7, Int
11, Int
8, Int
11, Int
1, Int
8, Int
1, Int
9, Int
2, Int
1, Int
11, Int
6, Int
5,
    Int
10, Int
8, Int
7, Int
5, Int
6, Int
5, Int
7, Int
6, Int
7, Int
11, Int
6, Int
11, Int
2, Int
6, Int
2, Int
10, Int
10, Int
2, Int
1, Int
10, Int
1, Int
5, Int
9, Int
5, Int
1, Int
8, Int
5, Int
9],
      [Int
10, Int
2, Int
5, Int
5, Int
2, Int
8, Int
11, Int
6, Int
7, Int
2, Int
4, Int
8, Int
10, Int
6, Int
11, Int
10, Int
11, Int
2, Int
11, Int
2, Int
4, Int
11, Int
4, Int
7, Int
5, Int
7, Int
8, Int
5, Int
6, Int
7, Int
10, Int
6, Int
5, Int
7, Int
4, Int
8, Int
10, Int
13, Int
5, Int
5, Int
13, Int
6, Int
11, Int
6, Int
13, Int
7, Int
13, Int
8, Int
11, Int
13, Int
7, Int
4, Int
8, Int
13, Int
2, Int
4, Int
13, Int
10, Int
13, Int
2, Int
7, Int
13, Int
6, Int
10, Int
6, Int
13, Int
10, Int
13, Int
5, Int
5, Int
13, Int
8, Int
4, Int
8, Int
13, Int
2, Int
13, Int
4, Int
11, Int
2, Int
13, Int
11, Int
13, Int
7, Int
10, Int
6, Int
5, Int
11, Int
8, Int
7, Int
11, Int
2, Int
8, Int
2, Int
4, Int
8],
      [Int
7, Int
3, Int
6, Int
3, Int
2, Int
6, Int
5, Int
9, Int
8, Int
7, Int
3, Int
8, Int
3, Int
9, Int
8, Int
3, Int
2, Int
9, Int
5, Int
9, Int
2, Int
5, Int
2, Int
6, Int
7, Int
6, Int
5, Int
7, Int
5, Int
8, Int
8, Int
5, Int
9, Int
7, Int
3, Int
8, Int
3, Int
9, Int
8, Int
3, Int
2, Int
9, Int
5, Int
9, Int
2, Int
5, Int
2, Int
6],
      [Int
6, Int
7, Int
2, Int
5, Int
1, Int
8, Int
8, Int
1, Int
4, Int
7, Int
3, Int
2, Int
6, Int
7, Int
8, Int
6, Int
8, Int
5, Int
8, Int
7, Int
3, Int
8, Int
3, Int
4, Int
2, Int
3, Int
1, Int
1, Int
3, Int
4, Int
6, Int
5, Int
1, Int
6, Int
1, Int
2, Int
6, Int
5, Int
13, Int
6, Int
13, Int
2, Int
2, Int
13, Int
3, Int
7, Int
3, Int
13, Int
8, Int
7, Int
13, Int
8, Int
13, Int
4, Int
1, Int
4, Int
13, Int
5, Int
1, Int
13, Int
2, Int
13, Int
1, Int
6, Int
13, Int
2, Int
6, Int
7, Int
13, Int
7, Int
3, Int
13, Int
4, Int
13, Int
3, Int
8, Int
13, Int
4, Int
5, Int
13, Int
8, Int
5, Int
1, Int
13, Int
6, Int
5, Int
2, Int
5, Int
1, Int
2, Int
8, Int
7, Int
3, Int
8, Int
3, Int
4],
      [Int
6, Int
7, Int
10, Int
10, Int
7, Int
1, Int
8, Int
5, Int
9, Int
7, Int
3, Int
1, Int
6, Int
5, Int
8, Int
6, Int
8, Int
7, Int
8, Int
7, Int
3, Int
8, Int
3, Int
9, Int
10, Int
9, Int
1, Int
10, Int
5, Int
9, Int
6, Int
5, Int
10, Int
9, Int
3, Int
1, Int
6, Int
13, Int
10, Int
10, Int
13, Int
5, Int
8, Int
5, Int
13, Int
9, Int
13, Int
1, Int
8, Int
13, Int
9, Int
3, Int
1, Int
13, Int
7, Int
3, Int
13, Int
6, Int
13, Int
7, Int
9, Int
13, Int
5, Int
6, Int
5, Int
13, Int
6, Int
13, Int
10, Int
10, Int
13, Int
1, Int
3, Int
1, Int
13, Int
7, Int
13, Int
3, Int
8, Int
7, Int
13, Int
8, Int
13, Int
9, Int
6, Int
5, Int
10, Int
8, Int
1, Int
9, Int
8, Int
7, Int
1, Int
7, Int
3, Int
1],
      [Int
8, Int
7, Int
4, Int
4, Int
7, Int
3, Int
6, Int
5, Int
10, Int
8, Int
5, Int
4, Int
4, Int
5, Int
10, Int
4, Int
10, Int
3, Int
6, Int
3, Int
10, Int
6, Int
7, Int
3, Int
8, Int
6, Int
7, Int
8, Int
5, Int
6, Int
5, Int
10, Int
6, Int
8, Int
5, Int
4, Int
4, Int
5, Int
10, Int
4, Int
10, Int
3, Int
6, Int
3, Int
10, Int
6, Int
7, Int
3],
      [Int
6, Int
7, Int
11, Int
8, Int
5, Int
9, Int
12, Int
4, Int
3, Int
6, Int
7, Int
11, Int
8, Int
3, Int
12, Int
8, Int
5, Int
3, Int
4, Int
3, Int
5, Int
4, Int
5, Int
9, Int
8, Int
5, Int
9, Int
6, Int
7, Int
12, Int
6, Int
12, Int
4, Int
6, Int
3, Int
11, Int
6, Int
4, Int
3, Int
12, Int
4, Int
3, Int
6, Int
5, Int
9, Int
6, Int
9, Int
11, Int
11, Int
9, Int
8, Int
11, Int
8, Int
7, Int
6, Int
13, Int
11, Int
11, Int
13, Int
3, Int
4, Int
3, Int
13, Int
4, Int
13, Int
9, Int
9, Int
13, Int
5, Int
8, Int
5, Int
13, Int
8, Int
13, Int
12, Int
12, Int
13, Int
7, Int
6, Int
7, Int
13, Int
6, Int
13, Int
11, Int
6, Int
13, Int
5, Int
9, Int
13, Int
5, Int
4, Int
13, Int
9, Int
4, Int
3, Int
13, Int
12, Int
3, Int
13, Int
8, Int
13, Int
12, Int
8, Int
7, Int
13, Int
11, Int
13, Int
7, Int
4, Int
3, Int
13, Int
11, Int
13, Int
3, Int
6, Int
13, Int
11, Int
6, Int
5, Int
13, Int
9, Int
13, Int
5, Int
8, Int
13, Int
9, Int
8, Int
7, Int
13, Int
12, Int
13, Int
7, Int
12, Int
4, Int
13, Int
6, Int
5, Int
9, Int
6, Int
9, Int
3, Int
6, Int
3, Int
11, Int
4, Int
3, Int
9, Int
8, Int
7, Int
12,
    Int
6, Int
5, Int
7, Int
8, Int
7, Int
5, Int
8, Int
5, Int
9, Int
8, Int
9, Int
4, Int
8, Int
4, Int
12, Int
12, Int
4, Int
3, Int
12, Int
3, Int
7, Int
11, Int
7, Int
3, Int
6, Int
7, Int
11],
      [Int
8, Int
5, Int
12, Int
12, Int
5, Int
3, Int
6, Int
7, Int
11, Int
5, Int
1, Int
3, Int
8, Int
7, Int
6, Int
8, Int
6, Int
5, Int
6, Int
5, Int
1, Int
6, Int
1, Int
11, Int
12, Int
11, Int
3, Int
12, Int
7, Int
11, Int
8, Int
7, Int
12, Int
11, Int
1, Int
3, Int
8, Int
13, Int
12, Int
12, Int
13, Int
7, Int
6, Int
7, Int
13, Int
11, Int
13, Int
3, Int
6, Int
13, Int
11, Int
1, Int
3, Int
13, Int
5, Int
1, Int
13, Int
8, Int
13, Int
5, Int
11, Int
13, Int
7, Int
8, Int
7, Int
13, Int
8, Int
13, Int
12, Int
12, Int
13, Int
3, Int
1, Int
3, Int
13, Int
5, Int
13, Int
1, Int
6, Int
5, Int
13, Int
6, Int
13, Int
11, Int
8, Int
7, Int
12, Int
6, Int
3, Int
11, Int
6, Int
5, Int
3, Int
5, Int
1, Int
3],
      [Int
8, Int
7, Int
12, Int
10, Int
5, Int
6, Int
2, Int
3, Int
11, Int
4, Int
1, Int
9, Int
10, Int
5, Int
6, Int
8, Int
7, Int
12, Int
3, Int
11, Int
4, Int
4, Int
9, Int
11, Int
11, Int
2, Int
9, Int
9, Int
1, Int
2, Int
2, Int
3, Int
11, Int
8, Int
7, Int
12, Int
1, Int
4, Int
10, Int
10, Int
6, Int
4, Int
4, Int
9, Int
6, Int
6, Int
5, Int
9, Int
4, Int
1, Int
9, Int
2, Int
3, Int
11, Int
5, Int
10, Int
8, Int
8, Int
12, Int
10, Int
10, Int
6, Int
12, Int
12, Int
7, Int
6, Int
4, Int
1, Int
9, Int
10, Int
5, Int
6, Int
7, Int
8, Int
11, Int
11, Int
2, Int
8, Int
8, Int
12, Int
2, Int
2, Int
3, Int
12, Int
4, Int
1, Int
9, Int
8, Int
7, Int
12, Int
10, Int
2, Int
5, Int
5, Int
3, Int
2, Int
5, Int
6, Int
3, Int
3, Int
11, Int
6, Int
10, Int
5, Int
6, Int
11, Int
3, Int
2, Int
4, Int
12, Int
1, Int
1, Int
7, Int
12, Int
1, Int
9, Int
7, Int
7, Int
8, Int
9, Int
8, Int
7, Int
12, Int
13, Int
5, Int
6, Int
13, Int
9, Int
5, Int
13, Int
4, Int
9, Int
13, Int
3, Int
4, Int
13, Int
11, Int
3, Int
13, Int
2, Int
11, Int
13, Int
1, Int
2, Int
13, Int
10, Int
1, Int
13, Int
6, Int
10, Int
10,
    Int
5, Int
6, Int
13, Int
1, Int
9, Int
13, Int
2, Int
1, Int
13, Int
11, Int
2, Int
13, Int
7, Int
11, Int
13, Int
8, Int
7, Int
13, Int
12, Int
8, Int
13, Int
3, Int
12, Int
13, Int
4, Int
3, Int
13, Int
9, Int
4, Int
8, Int
7, Int
12, Int
13, Int
4, Int
9, Int
13, Int
3, Int
4, Int
13, Int
11, Int
3, Int
13, Int
6, Int
11, Int
13, Int
5, Int
6, Int
13, Int
10, Int
5, Int
13, Int
2, Int
10, Int
13, Int
1, Int
2, Int
13, Int
9, Int
1, Int
10, Int
5, Int
6, Int
13, Int
2, Int
11, Int
13, Int
1, Int
2, Int
13, Int
9, Int
1, Int
13, Int
8, Int
9, Int
13, Int
7, Int
8, Int
13, Int
12, Int
7, Int
13, Int
4, Int
12, Int
13, Int
3, Int
4, Int
13, Int
11, Int
3, Int
2, Int
3, Int
11, Int
13, Int
7, Int
12, Int
13, Int
6, Int
7, Int
13, Int
10, Int
6, Int
13, Int
1, Int
10, Int
13, Int
4, Int
1, Int
13, Int
9, Int
4, Int
13, Int
5, Int
9, Int
13, Int
8, Int
5, Int
13, Int
12, Int
8, Int
8, Int
7, Int
12, Int
13, Int
9, Int
4, Int
13, Int
5, Int
9, Int
13, Int
6, Int
5, Int
13, Int
11, Int
6, Int
13, Int
3, Int
11, Int
13, Int
2, Int
3, Int
13, Int
10, Int
2, Int
13, Int
1,
    Int
10, Int
13, Int
4, Int
1, Int
2, Int
3, Int
11, Int
13, Int
10, Int
6, Int
13, Int
1, Int
10, Int
13, Int
4, Int
1, Int
13, Int
12, Int
4, Int
13, Int
7, Int
12, Int
13, Int
8, Int
7, Int
13, Int
9, Int
8, Int
13, Int
5, Int
9, Int
13, Int
6, Int
5, Int
4, Int
1, Int
9, Int
13, Int
3, Int
2, Int
13, Int
12, Int
3, Int
13, Int
8, Int
12, Int
13, Int
5, Int
8, Int
13, Int
10, Int
5, Int
13, Int
6, Int
10, Int
13, Int
7, Int
6, Int
13, Int
11, Int
7, Int
13, Int
2, Int
11, Int
4, Int
1, Int
9, Int
13, Int
8, Int
12, Int
13, Int
5, Int
8, Int
13, Int
10, Int
5, Int
13, Int
2, Int
10, Int
13, Int
3, Int
2, Int
13, Int
11, Int
3, Int
13, Int
6, Int
11, Int
13, Int
7, Int
6, Int
13, Int
12, Int
7, Int
2, Int
3, Int
11, Int
13, Int
6, Int
10, Int
13, Int
7, Int
6, Int
13, Int
12, Int
7, Int
13, Int
4, Int
12, Int
13, Int
1, Int
4, Int
13, Int
9, Int
1, Int
13, Int
8, Int
9, Int
13, Int
5, Int
8, Int
13, Int
10, Int
5, Int
4, Int
1, Int
9, Int
13, Int
12, Int
8, Int
13, Int
3, Int
12, Int
13, Int
2, Int
3, Int
13, Int
10, Int
2, Int
13, Int
5, Int
10, Int
13, Int
6,
    Int
5, Int
13, Int
11, Int
6, Int
13, Int
7, Int
11, Int
13, Int
8, Int
7, Int
10, Int
5, Int
6, Int
13, Int
11, Int
2, Int
13, Int
7, Int
11, Int
13, Int
8, Int
7, Int
13, Int
9, Int
8, Int
13, Int
1, Int
9, Int
13, Int
4, Int
1, Int
13, Int
12, Int
4, Int
13, Int
3, Int
12, Int
13, Int
2, Int
3, Int
13, Int
5, Int
6, Int
13, Int
9, Int
5, Int
13, Int
8, Int
9, Int
13, Int
7, Int
8, Int
13, Int
12, Int
7, Int
13, Int
4, Int
12, Int
13, Int
3, Int
4, Int
13, Int
11, Int
3, Int
13, Int
2, Int
11, Int
13, Int
1, Int
2, Int
13, Int
10, Int
1, Int
13, Int
6, Int
10, Int
13, Int
7, Int
11, Int
13, Int
8, Int
7, Int
13, Int
12, Int
8, Int
13, Int
3, Int
12, Int
13, Int
4, Int
3, Int
13, Int
9, Int
4, Int
13, Int
1, Int
9, Int
13, Int
2, Int
1, Int
13, Int
10, Int
2, Int
13, Int
5, Int
10, Int
13, Int
6, Int
5, Int
13, Int
11, Int
6, Int
13, Int
1, Int
10, Int
13, Int
4, Int
1, Int
13, Int
9, Int
4, Int
13, Int
5, Int
9, Int
13, Int
8, Int
5, Int
13, Int
12, Int
8, Int
13, Int
7, Int
12, Int
13, Int
6, Int
7, Int
13, Int
11, Int
6, Int
13, Int
3, Int
11, Int
13, Int
2,
    Int
3, Int
13, Int
10, Int
2, Int
13, Int
3, Int
2, Int
13, Int
12, Int
3, Int
13, Int
4, Int
12, Int
13, Int
1, Int
4, Int
13, Int
9, Int
1, Int
13, Int
8, Int
9, Int
13, Int
5, Int
8, Int
13, Int
10, Int
5, Int
13, Int
6, Int
10, Int
13, Int
7, Int
6, Int
13, Int
11, Int
7, Int
13, Int
2, Int
11, Int
8, Int
7, Int
12, Int
10, Int
1, Int
2, Int
6, Int
5, Int
11, Int
11, Int
9, Int
5, Int
11, Int
3, Int
9, Int
9, Int
4, Int
3, Int
6, Int
5, Int
10, Int
12, Int
3, Int
4, Int
11, Int
7, Int
2, Int
2, Int
8, Int
7, Int
2, Int
1, Int
8, Int
8, Int
9, Int
1, Int
2, Int
3, Int
11, Int
9, Int
5, Int
8, Int
10, Int
1, Int
6, Int
6, Int
4, Int
1, Int
6, Int
7, Int
4, Int
4, Int
12, Int
7, Int
4, Int
1, Int
9, Int
11, Int
7, Int
6, Int
2, Int
3, Int
10, Int
10, Int
12, Int
3, Int
10, Int
5, Int
12, Int
12, Int
8, Int
5, Int
2, Int
1, Int
10, Int
12, Int
3, Int
4, Int
12, Int
11, Int
3, Int
12, Int
7, Int
11, Int
11, Int
6, Int
7, Int
7, Int
5, Int
6, Int
7, Int
8, Int
5, Int
5, Int
9, Int
8, Int
8, Int
12, Int
9, Int
9, Int
4, Int
12, Int
12, Int
3, Int
4, Int
6, Int
7, Int
11, Int
6, Int
8, Int
7,
    Int
6, Int
5, Int
8, Int
8, Int
9, Int
5, Int
5, Int
1, Int
9, Int
5, Int
10, Int
1, Int
1, Int
2, Int
10, Int
10, Int
6, Int
2, Int
2, Int
11, Int
6, Int
9, Int
5, Int
8, Int
2, Int
1, Int
10, Int
2, Int
4, Int
1, Int
2, Int
3, Int
4, Int
4, Int
12, Int
3, Int
3, Int
7, Int
12, Int
3, Int
11, Int
7, Int
7, Int
6, Int
11, Int
11, Int
2, Int
6, Int
6, Int
10, Int
2, Int
6, Int
7, Int
11, Int
9, Int
5, Int
8, Int
9, Int
10, Int
5, Int
9, Int
1, Int
10, Int
10, Int
2, Int
1, Int
1, Int
3, Int
2, Int
1, Int
4, Int
3, Int
4, Int
12, Int
3, Int
4, Int
9, Int
12, Int
12, Int
8, Int
9],
      [Int
12, Int
8, Int
7, Int
11, Int
2, Int
3, Int
6, Int
5, Int
10, Int
12, Int
8, Int
7, Int
11, Int
6, Int
5, Int
11, Int
5, Int
3, Int
10, Int
3, Int
5, Int
10, Int
2, Int
3, Int
11, Int
2, Int
3, Int
12, Int
6, Int
7, Int
12, Int
10, Int
6, Int
12, Int
8, Int
5, Int
12, Int
5, Int
10, Int
6, Int
5, Int
10, Int
12, Int
2, Int
3, Int
12, Int
8, Int
2, Int
8, Int
11, Int
2, Int
8, Int
7, Int
11, Int
12, Int
8, Int
13, Int
8, Int
5, Int
13, Int
10, Int
13, Int
5, Int
10, Int
2, Int
13, Int
2, Int
3, Int
13, Int
11, Int
13, Int
3, Int
11, Int
6, Int
13, Int
6, Int
7, Int
13, Int
12, Int
13, Int
7, Int
12, Int
8, Int
13, Int
12, Int
3, Int
13, Int
2, Int
3, Int
13, Int
10, Int
2, Int
13, Int
10, Int
13, Int
5, Int
6, Int
13, Int
5, Int
11, Int
6, Int
13, Int
11, Int
13, Int
7, Int
8, Int
7, Int
13, Int
10, Int
13, Int
5, Int
8, Int
5, Int
13, Int
12, Int
8, Int
13, Int
12, Int
13, Int
3, Int
2, Int
3, Int
13, Int
11, Int
2, Int
13, Int
11, Int
13, Int
7, Int
6, Int
7, Int
13, Int
6, Int
13, Int
10, Int
12, Int
2, Int
3, Int
12, Int
5, Int
2, Int
12, Int
8, Int
5,
    Int
10, Int
2, Int
5, Int
11, Int
6, Int
7, Int
12, Int
7, Int
3, Int
11, Int
3, Int
7, Int
11, Int
2, Int
3, Int
11, Int
10, Int
2, Int
11, Int
6, Int
10, Int
6, Int
5, Int
10, Int
6, Int
7, Int
5, Int
8, Int
5, Int
7, Int
12, Int
8, Int
7],
      [Int
12, Int
4, Int
7, Int
7, Int
4, Int
6, Int
9, Int
8, Int
5, Int
4, Int
2, Int
6, Int
12, Int
8, Int
9, Int
12, Int
9, Int
4, Int
9, Int
4, Int
2, Int
9, Int
2, Int
5, Int
7, Int
5, Int
6, Int
7, Int
8, Int
5, Int
12, Int
8, Int
7, Int
5, Int
2, Int
6, Int
12, Int
13, Int
7, Int
7, Int
13, Int
8, Int
9, Int
8, Int
13, Int
5, Int
13, Int
6, Int
9, Int
13, Int
5, Int
2, Int
6, Int
13, Int
4, Int
2, Int
13, Int
12, Int
13, Int
4, Int
5, Int
13, Int
8, Int
12, Int
8, Int
13, Int
12, Int
13, Int
7, Int
7, Int
13, Int
6, Int
2, Int
6, Int
13, Int
4, Int
13, Int
2, Int
9, Int
4, Int
13, Int
9, Int
13, Int
5, Int
12, Int
8, Int
7, Int
9, Int
6, Int
5, Int
9, Int
4, Int
6, Int
4, Int
2, Int
6],
      [Int
6, Int
5, Int
2, Int
2, Int
5, Int
1, Int
8, Int
7, Int
12, Int
6, Int
7, Int
2, Int
2, Int
7, Int
12, Int
2, Int
12, Int
1, Int
8, Int
1, Int
12, Int
8, Int
5, Int
1, Int
6, Int
8, Int
5, Int
6, Int
7, Int
8, Int
7, Int
12, Int
8, Int
6, Int
7, Int
2, Int
2, Int
7, Int
12, Int
2, Int
12, Int
1, Int
8, Int
1, Int
12, Int
8, Int
5, Int
1],
      [Int
7, Int
12, Int
8, Int
5, Int
10, Int
6, Int
9, Int
4, Int
1, Int
7, Int
12, Int
8, Int
5, Int
9, Int
4, Int
5, Int
4, Int
6, Int
1, Int
6, Int
4, Int
1, Int
10, Int
6, Int
5, Int
10, Int
6, Int
7, Int
9, Int
8, Int
7, Int
1, Int
9, Int
7, Int
12, Int
4, Int
7, Int
4, Int
1, Int
9, Int
4, Int
1, Int
7, Int
10, Int
6, Int
7, Int
12, Int
10, Int
12, Int
5, Int
10, Int
12, Int
8, Int
5, Int
7, Int
12, Int
13, Int
12, Int
4, Int
13, Int
1, Int
13, Int
4, Int
1, Int
10, Int
13, Int
10, Int
6, Int
13, Int
5, Int
13, Int
6, Int
5, Int
9, Int
13, Int
9, Int
8, Int
13, Int
7, Int
13, Int
8, Int
7, Int
12, Int
13, Int
7, Int
6, Int
13, Int
10, Int
6, Int
13, Int
1, Int
10, Int
13, Int
1, Int
13, Int
4, Int
9, Int
13, Int
4, Int
5, Int
9, Int
13, Int
5, Int
13, Int
8, Int
12, Int
8, Int
13, Int
1, Int
13, Int
4, Int
12, Int
4, Int
13, Int
7, Int
12, Int
13, Int
7, Int
13, Int
6, Int
10, Int
6, Int
13, Int
5, Int
10, Int
13, Int
5, Int
13, Int
8, Int
9, Int
8, Int
13, Int
9, Int
13, Int
1, Int
7, Int
10, Int
6, Int
7, Int
4, Int
10, Int
7, Int
12, Int
4, Int
1, Int
10, Int
4, Int
5,
    Int
9, Int
8, Int
7, Int
8, Int
6, Int
5, Int
6, Int
8, Int
5, Int
10, Int
6, Int
5, Int
1, Int
10, Int
5, Int
9, Int
1, Int
9, Int
4, Int
1, Int
9, Int
8, Int
4, Int
12, Int
4, Int
8, Int
7, Int
12, Int
8],
      [Int
8, Int
7, Int
12, Int
6, Int
5, Int
10, Int
8, Int
5, Int
12, Int
12, Int
5, Int
10, Int
12, Int
10, Int
6, Int
12, Int
6, Int
7],
      [Int
0],
      [Int
5, Int
7, Int
10, Int
7, Int
11, Int
10, Int
1, Int
4, Int
9, Int
5, Int
7, Int
9, Int
7, Int
4, Int
9, Int
7, Int
11, Int
4, Int
1, Int
4, Int
11, Int
1, Int
11, Int
10, Int
5, Int
10, Int
1, Int
5, Int
1, Int
9, Int
9, Int
1, Int
4, Int
5, Int
7, Int
9, Int
7, Int
4, Int
9, Int
7, Int
11, Int
4, Int
1, Int
4, Int
11, Int
1, Int
11, Int
10],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
4, Int
9, Int
3, Int
9, Int
5, Int
3, Int
2, Int
10, Int
1, Int
3, Int
5, Int
7, Int
4, Int
2, Int
1, Int
4, Int
3, Int
2, Int
2, Int
7, Int
3, Int
2, Int
10, Int
7, Int
9, Int
5, Int
10, Int
9, Int
10, Int
1, Int
4, Int
9, Int
1, Int
10, Int
5, Int
7, Int
4, Int
9, Int
13, Int
9, Int
1, Int
13, Int
2, Int
13, Int
1, Int
10, Int
5, Int
13, Int
2, Int
10, Int
13, Int
7, Int
13, Int
5, Int
3, Int
13, Int
7, Int
4, Int
3, Int
13, Int
10, Int
1, Int
13, Int
4, Int
13, Int
1, Int
4, Int
9, Int
13, Int
9, Int
5, Int
13, Int
7, Int
13, Int
5, Int
3, Int
7, Int
13, Int
2, Int
13, Int
3, Int
2, Int
10, Int
13, Int
4, Int
9, Int
1, Int
2, Int
10, Int
5, Int
2, Int
5, Int
3, Int
3, Int
5, Int
7],
      [Int
0],
      [Int
0],
      [Int
11, Int
10, Int
7, Int
10, Int
5, Int
7, Int
12, Int
4, Int
3, Int
11, Int
10, Int
3, Int
10, Int
4, Int
3, Int
10, Int
5, Int
4, Int
12, Int
4, Int
5, Int
12, Int
5, Int
7, Int
11, Int
7, Int
12, Int
11, Int
12, Int
3, Int
3, Int
12, Int
4, Int
11, Int
10, Int
3, Int
10, Int
4, Int
3, Int
10, Int
5, Int
4, Int
12, Int
4, Int
5, Int
12, Int
5, Int
7],
      [Int
9, Int
1, Int
12, Int
5, Int
7, Int
10, Int
10, Int
7, Int
11, Int
1, Int
3, Int
12, Int
9, Int
1, Int
10, Int
9, Int
10, Int
5, Int
10, Int
1, Int
3, Int
10, Int
3, Int
11, Int
12, Int
3, Int
7, Int
7, Int
3, Int
11, Int
9, Int
5, Int
7, Int
9, Int
7, Int
12, Int
9, Int
5, Int
13, Int
9, Int
13, Int
12, Int
12, Int
13, Int
3, Int
1, Int
3, Int
13, Int
10, Int
1, Int
13, Int
10, Int
13, Int
11, Int
7, Int
11, Int
13, Int
5, Int
7, Int
13, Int
12, Int
13, Int
7, Int
9, Int
13, Int
12, Int
9, Int
1, Int
13, Int
1, Int
3, Int
13, Int
11, Int
13, Int
3, Int
10, Int
13, Int
11, Int
5, Int
13, Int
10, Int
5, Int
7, Int
13, Int
9, Int
5, Int
12, Int
5, Int
7, Int
12, Int
10, Int
1, Int
3, Int
10, Int
3, Int
11],
      [Int
2, Int
1, Int
11, Int
11, Int
1, Int
7, Int
4, Int
3, Int
12, Int
1, Int
5, Int
7, Int
2, Int
3, Int
4, Int
2, Int
4, Int
1, Int
4, Int
1, Int
5, Int
4, Int
5, Int
12, Int
11, Int
12, Int
7, Int
11, Int
3, Int
12, Int
2, Int
3, Int
11, Int
12, Int
5, Int
7, Int
2, Int
13, Int
11, Int
11, Int
13, Int
3, Int
4, Int
3, Int
13, Int
12, Int
13, Int
7, Int
4, Int
13, Int
12, Int
5, Int
7, Int
13, Int
1, Int
5, Int
13, Int
2, Int
13, Int
1, Int
12, Int
13, Int
3, Int
2, Int
3, Int
13, Int
2, Int
13, Int
11, Int
11, Int
13, Int
7, Int
5, Int
7, Int
13, Int
1, Int
13, Int
5, Int
4, Int
1, Int
13, Int
4, Int
13, Int
12, Int
2, Int
3, Int
11, Int
4, Int
7, Int
12, Int
4, Int
1, Int
7, Int
1, Int
5, Int
7],
      [Int
7, Int
12, Int
5, Int
5, Int
12, Int
9, Int
3, Int
11, Int
2, Int
7, Int
11, Int
5, Int
5, Int
11, Int
2, Int
5, Int
2, Int
9, Int
3, Int
9, Int
2, Int
3, Int
12, Int
9, Int
7, Int
3, Int
12, Int
7, Int
11, Int
3, Int
11, Int
2, Int
3, Int
7, Int
11, Int
5, Int
5, Int
11, Int
2, Int
5, Int
2, Int
9, Int
3, Int
9, Int
2, Int
3, Int
12, Int
9],
      [Int
0],
      [Int
9, Int
5, Int
12, Int
12, Int
5, Int
7, Int
10, Int
1, Int
2, Int
9, Int
1, Int
12, Int
12, Int
1, Int
2, Int
12, Int
2, Int
7, Int
10, Int
7, Int
2, Int
10, Int
5, Int
7, Int
9, Int
10, Int
5, Int
9, Int
1, Int
10, Int
1, Int
2, Int
10, Int
9, Int
1, Int
12, Int
12, Int
1, Int
2, Int
12, Int
2, Int
7, Int
10, Int
7, Int
2, Int
10, Int
5, Int
7],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
3, Int
4, Int
7, Int
7, Int
4, Int
8, Int
1, Int
2, Int
10, Int
3, Int
2, Int
7, Int
7, Int
2, Int
10, Int
7, Int
10, Int
8, Int
1, Int
8, Int
10, Int
1, Int
4, Int
8, Int
3, Int
1, Int
4, Int
3, Int
2, Int
1, Int
2, Int
10, Int
1, Int
3, Int
2, Int
7, Int
7, Int
2, Int
10, Int
7, Int
10, Int
8, Int
1, Int
8, Int
10, Int
1, Int
4, Int
8],
      [Int
0],
      [Int
0],
      [Int
4, Int
3, Int
9, Int
3, Int
11, Int
9, Int
8, Int
7, Int
12, Int
9, Int
11, Int
10, Int
4, Int
8, Int
12, Int
4, Int
9, Int
8, Int
8, Int
10, Int
9, Int
8, Int
7, Int
10, Int
3, Int
11, Int
7, Int
3, Int
7, Int
12, Int
4, Int
3, Int
12, Int
7, Int
11, Int
10, Int
4, Int
3, Int
13, Int
3, Int
12, Int
13, Int
8, Int
13, Int
12, Int
7, Int
11, Int
13, Int
8, Int
7, Int
13, Int
10, Int
13, Int
11, Int
9, Int
13, Int
10, Int
4, Int
9, Int
13, Int
7, Int
12, Int
13, Int
4, Int
13, Int
12, Int
4, Int
3, Int
13, Int
3, Int
11, Int
13, Int
10, Int
13, Int
11, Int
9, Int
10, Int
13, Int
8, Int
13, Int
9, Int
8, Int
7, Int
13, Int
4, Int
3, Int
12, Int
8, Int
7, Int
11, Int
8, Int
11, Int
9, Int
9, Int
11, Int
10],
      [Int
3, Int
11, Int
1, Int
1, Int
11, Int
10, Int
7, Int
12, Int
8, Int
3, Int
12, Int
1, Int
1, Int
12, Int
8, Int
1, Int
8, Int
10, Int
7, Int
10, Int
8, Int
7, Int
11, Int
10, Int
3, Int
7, Int
11, Int
3, Int
12, Int
7, Int
12, Int
8, Int
7, Int
3, Int
12, Int
1, Int
1, Int
12, Int
8, Int
1, Int
8, Int
10, Int
7, Int
10, Int
8, Int
7, Int
11, Int
10],
      [Int
8, Int
7, Int
12, Int
4, Int
1, Int
9, Int
3, Int
11, Int
2, Int
8, Int
7, Int
12, Int
4, Int
3, Int
11, Int
4, Int
11, Int
9, Int
2, Int
9, Int
11, Int
2, Int
1, Int
9, Int
4, Int
1, Int
9, Int
8, Int
3, Int
12, Int
8, Int
2, Int
3, Int
8, Int
7, Int
11, Int
8, Int
11, Int
2, Int
3, Int
11, Int
2, Int
8, Int
1, Int
9, Int
8, Int
7, Int
1, Int
7, Int
4, Int
1, Int
7, Int
12, Int
4, Int
8, Int
7, Int
13, Int
7, Int
11, Int
13, Int
2, Int
13, Int
11, Int
2, Int
1, Int
13, Int
1, Int
9, Int
13, Int
4, Int
13, Int
9, Int
4, Int
3, Int
13, Int
3, Int
12, Int
13, Int
8, Int
13, Int
12, Int
8, Int
7, Int
13, Int
8, Int
9, Int
13, Int
1, Int
9, Int
13, Int
2, Int
1, Int
13, Int
2, Int
13, Int
11, Int
3, Int
13, Int
11, Int
4, Int
3, Int
13, Int
4, Int
13, Int
12, Int
7, Int
12, Int
13, Int
2, Int
13, Int
11, Int
7, Int
11, Int
13, Int
8, Int
7, Int
13, Int
8, Int
13, Int
9, Int
1, Int
9, Int
13, Int
4, Int
1, Int
13, Int
4, Int
13, Int
12, Int
3, Int
12, Int
13, Int
3, Int
13, Int
2, Int
8, Int
1, Int
9, Int
8, Int
11, Int
1, Int
8, Int
7, Int
11, Int
2, Int
1, Int
11, Int
4, Int
3,
    Int
12, Int
8, Int
12, Int
9, Int
4, Int
9, Int
12, Int
4, Int
1, Int
9, Int
4, Int
2, Int
1, Int
4, Int
3, Int
2, Int
3, Int
11, Int
2, Int
3, Int
12, Int
11, Int
7, Int
11, Int
12, Int
8, Int
7, Int
12],
      [Int
3, Int
11, Int
2, Int
7, Int
12, Int
8, Int
3, Int
12, Int
2, Int
2, Int
12, Int
8, Int
2, Int
8, Int
7, Int
2, Int
7, Int
11],
      [Int
9, Int
4, Int
10, Int
10, Int
4, Int
2, Int
12, Int
8, Int
7, Int
9, Int
8, Int
10, Int
10, Int
8, Int
7, Int
10, Int
7, Int
2, Int
12, Int
2, Int
7, Int
12, Int
4, Int
2, Int
9, Int
12, Int
4, Int
9, Int
8, Int
12, Int
8, Int
7, Int
12, Int
9, Int
8, Int
10, Int
10, Int
8, Int
7, Int
10, Int
7, Int
2, Int
12, Int
2, Int
7, Int
12, Int
4, Int
2],
      [Int
8, Int
7, Int
12, Int
10, Int
1, Int
2, Int
8, Int
7, Int
10, Int
10, Int
7, Int
2, Int
12, Int
2, Int
7, Int
8, Int
1, Int
12, Int
8, Int
10, Int
1, Int
12, Int
1, Int
2],
      [Int
9, Int
4, Int
1, Int
12, Int
8, Int
7, Int
9, Int
8, Int
1, Int
1, Int
8, Int
7, Int
1, Int
7, Int
12, Int
1, Int
12, Int
4],
      [Int
0],
      [Int
0],
      [Int
9, Int
1, Int
4, Int
12, Int
7, Int
8, Int
9, Int
1, Int
8, Int
1, Int
7, Int
8, Int
1, Int
12, Int
7, Int
1, Int
4, Int
12],
      [Int
8, Int
12, Int
7, Int
10, Int
2, Int
1, Int
8, Int
10, Int
7, Int
10, Int
2, Int
7, Int
12, Int
7, Int
2, Int
8, Int
12, Int
1, Int
8, Int
1, Int
10, Int
12, Int
2, Int
1],
      [Int
9, Int
10, Int
4, Int
10, Int
2, Int
4, Int
12, Int
7, Int
8, Int
9, Int
10, Int
8, Int
10, Int
7, Int
8, Int
10, Int
2, Int
7, Int
12, Int
7, Int
2, Int
12, Int
2, Int
4, Int
9, Int
4, Int
12, Int
9, Int
12, Int
8, Int
8, Int
12, Int
7, Int
9, Int
10, Int
8, Int
10, Int
7, Int
8, Int
10, Int
2, Int
7, Int
12, Int
7, Int
2, Int
12, Int
2, Int
4],
      [Int
3, Int
2, Int
11, Int
7, Int
8, Int
12, Int
3, Int
2, Int
12, Int
2, Int
8, Int
12, Int
2, Int
7, Int
8, Int
2, Int
11, Int
7],
      [Int
8, Int
12, Int
7, Int
4, Int
9, Int
1, Int
3, Int
2, Int
11, Int
8, Int
12, Int
7, Int
4, Int
11, Int
3, Int
4, Int
9, Int
11, Int
2, Int
11, Int
9, Int
2, Int
9, Int
1, Int
4, Int
9, Int
1, Int
8, Int
12, Int
3, Int
8, Int
3, Int
2, Int
8, Int
11, Int
7, Int
8, Int
2, Int
11, Int
3, Int
2, Int
11, Int
8, Int
9, Int
1, Int
8, Int
1, Int
7, Int
7, Int
1, Int
4, Int
7, Int
4, Int
12, Int
8, Int
13, Int
7, Int
7, Int
13, Int
11, Int
2, Int
11, Int
13, Int
2, Int
13, Int
1, Int
1, Int
13, Int
9, Int
4, Int
9, Int
13, Int
4, Int
13, Int
3, Int
3, Int
13, Int
12, Int
8, Int
12, Int
13, Int
8, Int
13, Int
7, Int
8, Int
13, Int
9, Int
1, Int
13, Int
9, Int
2, Int
13, Int
1, Int
2, Int
11, Int
13, Int
3, Int
11, Int
13, Int
4, Int
13, Int
3, Int
4, Int
12, Int
13, Int
7, Int
13, Int
12, Int
2, Int
11, Int
13, Int
7, Int
13, Int
11, Int
8, Int
13, Int
7, Int
8, Int
9, Int
13, Int
1, Int
13, Int
9, Int
4, Int
13, Int
1, Int
4, Int
12, Int
13, Int
3, Int
13, Int
12, Int
3, Int
2, Int
13, Int
8, Int
9, Int
1, Int
8, Int
1, Int
11, Int
8, Int
11, Int
7, Int
2, Int
11, Int
1, Int
4, Int
12,
    Int
3, Int
8, Int
9, Int
12, Int
4, Int
12, Int
9, Int
4, Int
9, Int
1, Int
4, Int
1, Int
2, Int
4, Int
2, Int
3, Int
3, Int
2, Int
11, Int
3, Int
11, Int
12, Int
7, Int
12, Int
11, Int
8, Int
12, Int
7],
      [Int
3, Int
1, Int
11, Int
1, Int
10, Int
11, Int
7, Int
8, Int
12, Int
3, Int
1, Int
12, Int
1, Int
8, Int
12, Int
1, Int
10, Int
8, Int
7, Int
8, Int
10, Int
7, Int
10, Int
11, Int
3, Int
11, Int
7, Int
3, Int
7, Int
12, Int
12, Int
7, Int
8, Int
3, Int
1, Int
12, Int
1, Int
8, Int
12, Int
1, Int
10, Int
8, Int
7, Int
8, Int
10, Int
7, Int
10, Int
11],
      [Int
4, Int
9, Int
3, Int
3, Int
9, Int
11, Int
8, Int
12, Int
7, Int
9, Int
10, Int
11, Int
4, Int
12, Int
8, Int
4, Int
8, Int
9, Int
8, Int
9, Int
10, Int
8, Int
10, Int
7, Int
3, Int
7, Int
11, Int
3, Int
12, Int
7, Int
4, Int
12, Int
3, Int
7, Int
10, Int
11, Int
4, Int
13, Int
3, Int
3, Int
13, Int
12, Int
8, Int
12, Int
13, Int
7, Int
13, Int
11, Int
8, Int
13, Int
7, Int
10, Int
11, Int
13, Int
9, Int
10, Int
13, Int
4, Int
13, Int
9, Int
7, Int
13, Int
12, Int
4, Int
12, Int
13, Int
4, Int
13, Int
3, Int
3, Int
13, Int
11, Int
10, Int
11, Int
13, Int
9, Int
13, Int
10, Int
8, Int
9, Int
13, Int
8, Int
13, Int
7, Int
4, Int
12, Int
3, Int
8, Int
11, Int
7, Int
8, Int
9, Int
11, Int
9, Int
10, Int
11],
      [Int
0],
      [Int
0],
      [Int
3, Int
7, Int
4, Int
7, Int
8, Int
4, Int
1, Int
10, Int
2, Int
3, Int
7, Int
2, Int
7, Int
10, Int
2, Int
7, Int
8, Int
10, Int
1, Int
10, Int
8, Int
1, Int
8, Int
4, Int
3, Int
4, Int
1, Int
3, Int
1, Int
2, Int
2, Int
1, Int
10, Int
3, Int
7, Int
2, Int
7, Int
10, Int
2, Int
7, Int
8, Int
10, Int
1, Int
10, Int
8, Int
1, Int
8, Int
4],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
9, Int
12, Int
5, Int
12, Int
7, Int
5, Int
10, Int
2, Int
1, Int
9, Int
12, Int
1, Int
12, Int
2, Int
1, Int
12, Int
7, Int
2, Int
10, Int
2, Int
7, Int
10, Int
7, Int
5, Int
9, Int
5, Int
10, Int
9, Int
10, Int
1, Int
1, Int
10, Int
2, Int
9, Int
12, Int
1, Int
12, Int
2, Int
1, Int
12, Int
7, Int
2, Int
10, Int
2, Int
7, Int
10, Int
7, Int
5],
      [Int
0],
      [Int
7, Int
5, Int
12, Int
5, Int
9, Int
12, Int
3, Int
2, Int
11, Int
7, Int
5, Int
11, Int
5, Int
2, Int
11, Int
5, Int
9, Int
2, Int
3, Int
2, Int
9, Int
3, Int
9, Int
12, Int
7, Int
12, Int
3, Int
7, Int
3, Int
11, Int
11, Int
3, Int
2, Int
7, Int
5, Int
11, Int
5, Int
2, Int
11, Int
5, Int
9, Int
2, Int
3, Int
2, Int
9, Int
3, Int
9, Int
12],
      [Int
2, Int
11, Int
1, Int
11, Int
7, Int
1, Int
4, Int
12, Int
3, Int
1, Int
7, Int
5, Int
2, Int
4, Int
3, Int
2, Int
1, Int
4, Int
4, Int
5, Int
1, Int
4, Int
12, Int
5, Int
11, Int
7, Int
12, Int
11, Int
12, Int
3, Int
2, Int
11, Int
3, Int
12, Int
7, Int
5, Int
2, Int
11, Int
13, Int
11, Int
3, Int
13, Int
4, Int
13, Int
3, Int
12, Int
7, Int
13, Int
4, Int
12, Int
13, Int
5, Int
13, Int
7, Int
1, Int
13, Int
5, Int
2, Int
1, Int
13, Int
12, Int
3, Int
13, Int
2, Int
13, Int
3, Int
2, Int
11, Int
13, Int
11, Int
7, Int
13, Int
5, Int
13, Int
7, Int
1, Int
5, Int
13, Int
4, Int
13, Int
1, Int
4, Int
12, Int
13, Int
2, Int
11, Int
3, Int
4, Int
12, Int
7, Int
4, Int
7, Int
1, Int
1, Int
7, Int
5],
      [Int
9, Int
12, Int
1, Int
5, Int
10, Int
7, Int
10, Int
11, Int
7, Int
1, Int
12, Int
3, Int
9, Int
10, Int
1, Int
9, Int
5, Int
10, Int
10, Int
3, Int
1, Int
10, Int
11, Int
3, Int
12, Int
7, Int
3, Int
7, Int
11, Int
3, Int
9, Int
7, Int
5, Int
9, Int
12, Int
7, Int
9, Int
13, Int
5, Int
9, Int
12, Int
13, Int
12, Int
3, Int
13, Int
1, Int
13, Int
3, Int
10, Int
13, Int
1, Int
10, Int
11, Int
13, Int
7, Int
13, Int
11, Int
5, Int
13, Int
7, Int
12, Int
7, Int
13, Int
9, Int
12, Int
13, Int
9, Int
13, Int
1, Int
1, Int
13, Int
3, Int
11, Int
3, Int
13, Int
10, Int
11, Int
13, Int
5, Int
10, Int
13, Int
5, Int
13, Int
7, Int
9, Int
12, Int
5, Int
5, Int
12, Int
7, Int
10, Int
3, Int
1, Int
10, Int
11, Int
3],
      [Int
11, Int
7, Int
10, Int
10, Int
7, Int
5, Int
12, Int
3, Int
4, Int
11, Int
3, Int
10, Int
10, Int
3, Int
4, Int
10, Int
4, Int
5, Int
12, Int
5, Int
4, Int
12, Int
7, Int
5, Int
11, Int
12, Int
7, Int
11, Int
3, Int
12, Int
3, Int
4, Int
12, Int
11, Int
3, Int
10, Int
10, Int
3, Int
4, Int
10, Int
4, Int
5, Int
12, Int
5, Int
4, Int
12, Int
7, Int
5],
      [Int
0],
      [Int
0],
      [Int
4, Int
3, Int
9, Int
9, Int
3, Int
5, Int
2, Int
1, Int
10, Int
3, Int
7, Int
5, Int
4, Int
1, Int
2, Int
4, Int
2, Int
3, Int
2, Int
3, Int
7, Int
2, Int
7, Int
10, Int
9, Int
10, Int
5, Int
9, Int
1, Int
10, Int
4, Int
1, Int
9, Int
10, Int
7, Int
5, Int
4, Int
13, Int
9, Int
9, Int
13, Int
1, Int
2, Int
1, Int
13, Int
10, Int
13, Int
5, Int
2, Int
13, Int
10, Int
7, Int
5, Int
13, Int
3, Int
7, Int
13, Int
4, Int
13, Int
3, Int
10, Int
13, Int
1, Int
4, Int
1, Int
13, Int
4, Int
13, Int
9, Int
9, Int
13, Int
5, Int
7, Int
5, Int
13, Int
3, Int
13, Int
7, Int
2, Int
3, Int
13, Int
2, Int
13, Int
10, Int
4, Int
1, Int
9, Int
2, Int
5, Int
10, Int
2, Int
3, Int
5, Int
3, Int
7, Int
5],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
5, Int
10, Int
7, Int
7, Int
10, Int
11, Int
1, Int
9, Int
4, Int
5, Int
9, Int
7, Int
7, Int
9, Int
4, Int
7, Int
4, Int
11, Int
1, Int
11, Int
4, Int
1, Int
10, Int
11, Int
5, Int
1, Int
10, Int
5, Int
9, Int
1, Int
9, Int
4, Int
1, Int
5, Int
9, Int
7, Int
7, Int
9, Int
4, Int
7, Int
4, Int
11, Int
1, Int
11, Int
4, Int
1, Int
10, Int
11],
      [Int
0],
      [Int
8, Int
12, Int
7, Int
6, Int
10, Int
5, Int
8, Int
12, Int
5, Int
12, Int
10, Int
5, Int
12, Int
6, Int
10, Int
12, Int
7, Int
6],
      [Int
7, Int
8, Int
12, Int
5, Int
6, Int
10, Int
9, Int
1, Int
4, Int
7, Int
8, Int
12, Int
5, Int
4, Int
9, Int
5, Int
6, Int
4, Int
1, Int
4, Int
6, Int
1, Int
6, Int
10, Int
5, Int
6, Int
10, Int
7, Int
8, Int
9, Int
7, Int
9, Int
1, Int
7, Int
4, Int
12, Int
7, Int
1, Int
4, Int
9, Int
1, Int
4, Int
7, Int
6, Int
10, Int
7, Int
10, Int
12, Int
12, Int
10, Int
5, Int
12, Int
5, Int
8, Int
7, Int
13, Int
12, Int
12, Int
13, Int
4, Int
1, Int
4, Int
13, Int
1, Int
13, Int
10, Int
10, Int
13, Int
6, Int
5, Int
6, Int
13, Int
5, Int
13, Int
9, Int
9, Int
13, Int
8, Int
7, Int
8, Int
13, Int
7, Int
13, Int
12, Int
7, Int
13, Int
6, Int
10, Int
13, Int
6, Int
1, Int
13, Int
10, Int
1, Int
4, Int
13, Int
9, Int
4, Int
13, Int
5, Int
13, Int
9, Int
5, Int
8, Int
13, Int
12, Int
13, Int
8, Int
1, Int
4, Int
13, Int
12, Int
13, Int
4, Int
7, Int
13, Int
12, Int
7, Int
6, Int
13, Int
10, Int
13, Int
6, Int
5, Int
13, Int
10, Int
5, Int
8, Int
13, Int
9, Int
13, Int
8, Int
9, Int
1, Int
13, Int
7, Int
6, Int
10, Int
7, Int
10, Int
4, Int
7, Int
4, Int
12, Int
1, Int
4, Int
10, Int
5,
    Int
8, Int
9, Int
7, Int
6, Int
8, Int
5, Int
8, Int
6, Int
5, Int
6, Int
10, Int
5, Int
10, Int
1, Int
5, Int
1, Int
9, Int
9, Int
1, Int
4, Int
9, Int
4, Int
8, Int
12, Int
8, Int
4, Int
7, Int
8, Int
12],
      [Int
6, Int
2, Int
5, Int
2, Int
1, Int
5, Int
8, Int
12, Int
7, Int
6, Int
2, Int
7, Int
2, Int
12, Int
7, Int
2, Int
1, Int
12, Int
8, Int
12, Int
1, Int
8, Int
1, Int
5, Int
6, Int
5, Int
8, Int
6, Int
8, Int
7, Int
7, Int
8, Int
12, Int
6, Int
2, Int
7, Int
2, Int
12, Int
7, Int
2, Int
1, Int
12, Int
8, Int
12, Int
1, Int
8, Int
1, Int
5],
      [Int
12, Int
7, Int
4, Int
7, Int
6, Int
4, Int
9, Int
5, Int
8, Int
4, Int
6, Int
2, Int
12, Int
9, Int
8, Int
12, Int
4, Int
9, Int
9, Int
2, Int
4, Int
9, Int
5, Int
2, Int
7, Int
6, Int
5, Int
7, Int
5, Int
8, Int
12, Int
7, Int
8, Int
5, Int
6, Int
2, Int
12, Int
7, Int
13, Int
7, Int
8, Int
13, Int
9, Int
13, Int
8, Int
5, Int
6, Int
13, Int
9, Int
5, Int
13, Int
2, Int
13, Int
6, Int
4, Int
13, Int
2, Int
12, Int
4, Int
13, Int
5, Int
8, Int
13, Int
12, Int
13, Int
8, Int
12, Int
7, Int
13, Int
7, Int
6, Int
13, Int
2, Int
13, Int
6, Int
4, Int
2, Int
13, Int
9, Int
13, Int
4, Int
9, Int
5, Int
13, Int
12, Int
7, Int
8, Int
9, Int
5, Int
6, Int
9, Int
6, Int
4, Int
4, Int
6, Int
2],
      [Int
12, Int
7, Int
8, Int
11, Int
3, Int
2, Int
6, Int
10, Int
5, Int
12, Int
7, Int
8, Int
11, Int
5, Int
6, Int
11, Int
3, Int
5, Int
10, Int
5, Int
3, Int
10, Int
3, Int
2, Int
11, Int
3, Int
2, Int
12, Int
7, Int
6, Int
12, Int
6, Int
10, Int
12, Int
5, Int
8, Int
12, Int
10, Int
5, Int
6, Int
10, Int
5, Int
12, Int
3, Int
2, Int
12, Int
2, Int
8, Int
8, Int
2, Int
11, Int
8, Int
11, Int
7, Int
12, Int
13, Int
8, Int
8, Int
13, Int
5, Int
10, Int
5, Int
13, Int
10, Int
13, Int
2, Int
2, Int
13, Int
3, Int
11, Int
3, Int
13, Int
11, Int
13, Int
6, Int
6, Int
13, Int
7, Int
12, Int
7, Int
13, Int
12, Int
13, Int
8, Int
12, Int
13, Int
3, Int
2, Int
13, Int
3, Int
10, Int
13, Int
2, Int
10, Int
5, Int
13, Int
6, Int
5, Int
13, Int
11, Int
13, Int
6, Int
11, Int
7, Int
13, Int
8, Int
13, Int
7, Int
10, Int
5, Int
13, Int
8, Int
13, Int
5, Int
12, Int
13, Int
8, Int
12, Int
3, Int
13, Int
2, Int
13, Int
3, Int
11, Int
13, Int
2, Int
11, Int
7, Int
13, Int
6, Int
13, Int
7, Int
6, Int
10, Int
13, Int
12, Int
3, Int
2, Int
12, Int
2, Int
5, Int
12, Int
5, Int
8,
    Int
10, Int
5, Int
2, Int
11, Int
7, Int
6, Int
12, Int
3, Int
7, Int
11, Int
7, Int
3, Int
11, Int
3, Int
2, Int
11, Int
2, Int
10, Int
11, Int
10, Int
6, Int
6, Int
10, Int
5, Int
6, Int
5, Int
7, Int
8, Int
7, Int
5, Int
12, Int
7, Int
8],
      [Int
8, Int
12, Int
7, Int
10, Int
6, Int
5, Int
2, Int
11, Int
3, Int
4, Int
9, Int
1, Int
10, Int
6, Int
5, Int
8, Int
12, Int
7, Int
3, Int
4, Int
11, Int
4, Int
11, Int
9, Int
11, Int
9, Int
2, Int
9, Int
2, Int
1, Int
2, Int
11, Int
3, Int
8, Int
12, Int
7, Int
1, Int
10, Int
4, Int
10, Int
4, Int
6, Int
4, Int
6, Int
9, Int
6, Int
9, Int
5, Int
4, Int
9, Int
1, Int
2, Int
11, Int
3, Int
5, Int
8, Int
10, Int
8, Int
10, Int
12, Int
10, Int
12, Int
6, Int
12, Int
6, Int
7, Int
4, Int
9, Int
1, Int
10, Int
6, Int
5, Int
7, Int
11, Int
8, Int
11, Int
8, Int
2, Int
8, Int
2, Int
12, Int
2, Int
12, Int
3, Int
4, Int
9, Int
1, Int
8, Int
12, Int
7, Int
10, Int
5, Int
2, Int
5, Int
2, Int
3, Int
5, Int
3, Int
6, Int
3, Int
6, Int
11, Int
10, Int
6, Int
5, Int
11, Int
2, Int
3, Int
4, Int
1, Int
12, Int
1, Int
12, Int
7, Int
1, Int
7, Int
9, Int
7, Int
9, Int
8, Int
8, Int
12, Int
7, Int
13, Int
6, Int
5, Int
13, Int
5, Int
9, Int
13, Int
9, Int
4, Int
13, Int
4, Int
3, Int
13, Int
3, Int
11, Int
13, Int
11, Int
2, Int
13, Int
2, Int
1, Int
13, Int
1, Int
10, Int
13, Int
10, Int
6, Int
10,
    Int
6, Int
5, Int
13, Int
9, Int
1, Int
13, Int
1, Int
2, Int
13, Int
2, Int
11, Int
13, Int
11, Int
7, Int
13, Int
7, Int
8, Int
13, Int
8, Int
12, Int
13, Int
12, Int
3, Int
13, Int
3, Int
4, Int
13, Int
4, Int
9, Int
8, Int
12, Int
7, Int
13, Int
9, Int
4, Int
13, Int
4, Int
3, Int
13, Int
3, Int
11, Int
13, Int
11, Int
6, Int
13, Int
6, Int
5, Int
13, Int
5, Int
10, Int
13, Int
10, Int
2, Int
13, Int
2, Int
1, Int
13, Int
1, Int
9, Int
10, Int
6, Int
5, Int
13, Int
11, Int
2, Int
13, Int
2, Int
1, Int
13, Int
1, Int
9, Int
13, Int
9, Int
8, Int
13, Int
8, Int
7, Int
13, Int
7, Int
12, Int
13, Int
12, Int
4, Int
13, Int
4, Int
3, Int
13, Int
3, Int
11, Int
2, Int
11, Int
3, Int
13, Int
12, Int
7, Int
13, Int
7, Int
6, Int
13, Int
6, Int
10, Int
13, Int
10, Int
1, Int
13, Int
1, Int
4, Int
13, Int
4, Int
9, Int
13, Int
9, Int
5, Int
13, Int
5, Int
8, Int
13, Int
8, Int
12, Int
8, Int
12, Int
7, Int
13, Int
4, Int
9, Int
13, Int
9, Int
5, Int
13, Int
5, Int
6, Int
13, Int
6, Int
11, Int
13, Int
11, Int
3, Int
13, Int
3, Int
2, Int
13, Int
2, Int
10, Int
13, Int
10,
    Int
1, Int
13, Int
1, Int
4, Int
2, Int
11, Int
3, Int
13, Int
6, Int
10, Int
13, Int
10, Int
1, Int
13, Int
1, Int
4, Int
13, Int
4, Int
12, Int
13, Int
12, Int
7, Int
13, Int
7, Int
8, Int
13, Int
8, Int
9, Int
13, Int
9, Int
5, Int
13, Int
5, Int
6, Int
4, Int
9, Int
1, Int
13, Int
2, Int
3, Int
13, Int
3, Int
12, Int
13, Int
12, Int
8, Int
13, Int
8, Int
5, Int
13, Int
5, Int
10, Int
13, Int
10, Int
6, Int
13, Int
6, Int
7, Int
13, Int
7, Int
11, Int
13, Int
11, Int
2, Int
4, Int
9, Int
1, Int
13, Int
12, Int
8, Int
13, Int
8, Int
5, Int
13, Int
5, Int
10, Int
13, Int
10, Int
2, Int
13, Int
2, Int
3, Int
13, Int
3, Int
11, Int
13, Int
11, Int
6, Int
13, Int
6, Int
7, Int
13, Int
7, Int
12, Int
2, Int
11, Int
3, Int
13, Int
10, Int
6, Int
13, Int
6, Int
7, Int
13, Int
7, Int
12, Int
13, Int
12, Int
4, Int
13, Int
4, Int
1, Int
13, Int
1, Int
9, Int
13, Int
9, Int
8, Int
13, Int
8, Int
5, Int
13, Int
5, Int
10, Int
4, Int
9, Int
1, Int
13, Int
8, Int
12, Int
13, Int
12, Int
3, Int
13, Int
3, Int
2, Int
13, Int
2, Int
10, Int
13, Int
10, Int
5, Int
13, Int
5,
    Int
6, Int
13, Int
6, Int
11, Int
13, Int
11, Int
7, Int
13, Int
7, Int
8, Int
10, Int
6, Int
5, Int
13, Int
2, Int
11, Int
13, Int
11, Int
7, Int
13, Int
7, Int
8, Int
13, Int
8, Int
9, Int
13, Int
9, Int
1, Int
13, Int
1, Int
4, Int
13, Int
4, Int
12, Int
13, Int
12, Int
3, Int
13, Int
3, Int
2, Int
13, Int
6, Int
5, Int
13, Int
5, Int
9, Int
13, Int
9, Int
8, Int
13, Int
8, Int
7, Int
13, Int
7, Int
12, Int
13, Int
12, Int
4, Int
13, Int
4, Int
3, Int
13, Int
3, Int
11, Int
13, Int
11, Int
2, Int
13, Int
2, Int
1, Int
13, Int
1, Int
10, Int
13, Int
10, Int
6, Int
13, Int
11, Int
7, Int
13, Int
7, Int
8, Int
13, Int
8, Int
12, Int
13, Int
12, Int
3, Int
13, Int
3, Int
4, Int
13, Int
4, Int
9, Int
13, Int
9, Int
1, Int
13, Int
1, Int
2, Int
13, Int
2, Int
10, Int
13, Int
10, Int
5, Int
13, Int
5, Int
6, Int
13, Int
6, Int
11, Int
13, Int
10, Int
1, Int
13, Int
1, Int
4, Int
13, Int
4, Int
9, Int
13, Int
9, Int
5, Int
13, Int
5, Int
8, Int
13, Int
8, Int
12, Int
13, Int
12, Int
7, Int
13, Int
7, Int
6, Int
13, Int
6, Int
11, Int
13, Int
11, Int
3, Int
13, Int
3,
    Int
2, Int
13, Int
2, Int
10, Int
13, Int
2, Int
3, Int
13, Int
3, Int
12, Int
13, Int
12, Int
4, Int
13, Int
4, Int
1, Int
13, Int
1, Int
9, Int
13, Int
9, Int
8, Int
13, Int
8, Int
5, Int
13, Int
5, Int
10, Int
13, Int
10, Int
6, Int
13, Int
6, Int
7, Int
13, Int
7, Int
11, Int
13, Int
11, Int
2, Int
8, Int
12, Int
7, Int
10, Int
2, Int
1, Int
6, Int
11, Int
5, Int
11, Int
5, Int
9, Int
11, Int
9, Int
3, Int
9, Int
3, Int
4, Int
6, Int
10, Int
5, Int
12, Int
4, Int
3, Int
11, Int
2, Int
7, Int
2, Int
7, Int
8, Int
2, Int
8, Int
1, Int
8, Int
1, Int
9, Int
2, Int
11, Int
3, Int
9, Int
8, Int
5, Int
10, Int
6, Int
1, Int
6, Int
1, Int
4, Int
6, Int
4, Int
7, Int
4, Int
7, Int
12, Int
4, Int
9, Int
1, Int
11, Int
6, Int
7, Int
2, Int
10, Int
3, Int
10, Int
3, Int
12, Int
10, Int
12, Int
5, Int
12, Int
5, Int
8, Int
2, Int
10, Int
1, Int
12, Int
4, Int
3, Int
12, Int
3, Int
11, Int
12, Int
11, Int
7, Int
11, Int
7, Int
6, Int
7, Int
6, Int
5, Int
7, Int
5, Int
8, Int
5, Int
8, Int
9, Int
8, Int
9, Int
12, Int
9, Int
12, Int
4, Int
12, Int
4, Int
3, Int
6, Int
11, Int
7, Int
6, Int
7, Int
8,
    Int
6, Int
8, Int
5, Int
8, Int
5, Int
9, Int
5, Int
9, Int
1, Int
5, Int
1, Int
10, Int
1, Int
10, Int
2, Int
10, Int
2, Int
6, Int
2, Int
6, Int
11, Int
9, Int
8, Int
5, Int
2, Int
10, Int
1, Int
2, Int
1, Int
4, Int
2, Int
4, Int
3, Int
4, Int
3, Int
12, Int
3, Int
12, Int
7, Int
3, Int
7, Int
11, Int
7, Int
11, Int
6, Int
11, Int
6, Int
2, Int
6, Int
2, Int
10, Int
6, Int
11, Int
7, Int
9, Int
8, Int
5, Int
9, Int
5, Int
10, Int
9, Int
10, Int
1, Int
10, Int
1, Int
2, Int
1, Int
2, Int
3, Int
1, Int
3, Int
4, Int
4, Int
3, Int
12, Int
4, Int
12, Int
9, Int
12, Int
9, Int
8],
      [Int
8, Int
12, Int
5, Int
12, Int
3, Int
5, Int
6, Int
11, Int
7, Int
5, Int
3, Int
1, Int
8, Int
6, Int
7, Int
8, Int
5, Int
6, Int
6, Int
1, Int
5, Int
6, Int
11, Int
1, Int
12, Int
3, Int
11, Int
12, Int
11, Int
7, Int
8, Int
12, Int
7, Int
11, Int
3, Int
1, Int
8, Int
12, Int
13, Int
12, Int
7, Int
13, Int
6, Int
13, Int
7, Int
11, Int
3, Int
13, Int
6, Int
11, Int
13, Int
1, Int
13, Int
3, Int
5, Int
13, Int
1, Int
8, Int
5, Int
13, Int
11, Int
7, Int
13, Int
8, Int
13, Int
7, Int
8, Int
12, Int
13, Int
12, Int
3, Int
13, Int
1, Int
13, Int
3, Int
5, Int
1, Int
13, Int
6, Int
13, Int
5, Int
6, Int
11, Int
13, Int
8, Int
12, Int
7, Int
6, Int
11, Int
3, Int
6, Int
3, Int
5, Int
5, Int
3, Int
1],
      [Int
6, Int
11, Int
7, Int
8, Int
9, Int
5, Int
12, Int
3, Int
4, Int
6, Int
11, Int
7, Int
8, Int
12, Int
3, Int
8, Int
3, Int
5, Int
4, Int
5, Int
3, Int
4, Int
9, Int
5, Int
8, Int
9, Int
5, Int
6, Int
12, Int
7, Int
6, Int
4, Int
12, Int
6, Int
11, Int
3, Int
6, Int
3, Int
4, Int
12, Int
3, Int
4, Int
6, Int
9, Int
5, Int
6, Int
11, Int
9, Int
11, Int
8, Int
9, Int
11, Int
7, Int
8, Int
6, Int
11, Int
13, Int
11, Int
3, Int
13, Int
4, Int
13, Int
3, Int
4, Int
9, Int
13, Int
9, Int
5, Int
13, Int
8, Int
13, Int
5, Int
8, Int
12, Int
13, Int
12, Int
7, Int
13, Int
6, Int
13, Int
7, Int
6, Int
11, Int
13, Int
6, Int
5, Int
13, Int
9, Int
5, Int
13, Int
4, Int
9, Int
13, Int
4, Int
13, Int
3, Int
12, Int
13, Int
3, Int
8, Int
12, Int
13, Int
8, Int
13, Int
7, Int
11, Int
7, Int
13, Int
4, Int
13, Int
3, Int
11, Int
3, Int
13, Int
6, Int
11, Int
13, Int
6, Int
13, Int
5, Int
9, Int
5, Int
13, Int
8, Int
9, Int
13, Int
8, Int
13, Int
7, Int
12, Int
7, Int
13, Int
12, Int
13, Int
4, Int
6, Int
9, Int
5, Int
6, Int
3, Int
9, Int
6, Int
11, Int
3, Int
4, Int
9, Int
3, Int
8, Int
12,
    Int
7, Int
6, Int
7, Int
5, Int
8, Int
5, Int
7, Int
8, Int
9, Int
5, Int
8, Int
4, Int
9, Int
8, Int
12, Int
4, Int
12, Int
3, Int
4, Int
12, Int
7, Int
3, Int
11, Int
3, Int
7, Int
6, Int
11, Int
7],
      [Int
8, Int
4, Int
7, Int
4, Int
3, Int
7, Int
6, Int
10, Int
5, Int
8, Int
4, Int
5, Int
4, Int
10, Int
5, Int
4, Int
3, Int
10, Int
6, Int
10, Int
3, Int
6, Int
3, Int
7, Int
8, Int
7, Int
6, Int
8, Int
6, Int
5, Int
5, Int
6, Int
10, Int
8, Int
4, Int
5, Int
4, Int
10, Int
5, Int
4, Int
3, Int
10, Int
6, Int
10, Int
3, Int
6, Int
3, Int
7],
      [Int
6, Int
10, Int
7, Int
10, Int
1, Int
7, Int
8, Int
9, Int
5, Int
7, Int
1, Int
3, Int
6, Int
8, Int
5, Int
6, Int
7, Int
8, Int
8, Int
3, Int
7, Int
8, Int
9, Int
3, Int
10, Int
1, Int
9, Int
10, Int
9, Int
5, Int
6, Int
10, Int
5, Int
9, Int
1, Int
3, Int
6, Int
10, Int
13, Int
10, Int
5, Int
13, Int
8, Int
13, Int
5, Int
9, Int
1, Int
13, Int
8, Int
9, Int
13, Int
3, Int
13, Int
1, Int
7, Int
13, Int
3, Int
6, Int
7, Int
13, Int
9, Int
5, Int
13, Int
6, Int
13, Int
5, Int
6, Int
10, Int
13, Int
10, Int
1, Int
13, Int
3, Int
13, Int
1, Int
7, Int
3, Int
13, Int
8, Int
13, Int
7, Int
8, Int
9, Int
13, Int
6, Int
10, Int
5, Int
8, Int
9, Int
1, Int
8, Int
1, Int
7, Int
7, Int
1, Int
3],
      [Int
6, Int
2, Int
7, Int
5, Int
8, Int
1, Int
8, Int
4, Int
1, Int
7, Int
2, Int
3, Int
6, Int
8, Int
7, Int
6, Int
5, Int
8, Int
8, Int
3, Int
7, Int
8, Int
4, Int
3, Int
2, Int
1, Int
3, Int
1, Int
4, Int
3, Int
6, Int
1, Int
5, Int
6, Int
2, Int
1, Int
6, Int
13, Int
5, Int
6, Int
2, Int
13, Int
2, Int
3, Int
13, Int
7, Int
13, Int
3, Int
8, Int
13, Int
7, Int
8, Int
4, Int
13, Int
1, Int
13, Int
4, Int
5, Int
13, Int
1, Int
2, Int
1, Int
13, Int
6, Int
2, Int
13, Int
6, Int
13, Int
7, Int
7, Int
13, Int
3, Int
4, Int
3, Int
13, Int
8, Int
4, Int
13, Int
5, Int
8, Int
13, Int
5, Int
13, Int
1, Int
6, Int
2, Int
5, Int
5, Int
2, Int
1, Int
8, Int
3, Int
7, Int
8, Int
4, Int
3],
      [Int
7, Int
6, Int
3, Int
3, Int
6, Int
2, Int
5, Int
8, Int
9, Int
7, Int
8, Int
3, Int
3, Int
8, Int
9, Int
3, Int
9, Int
2, Int
5, Int
2, Int
9, Int
5, Int
6, Int
2, Int
7, Int
5, Int
6, Int
7, Int
8, Int
5, Int
8, Int
9, Int
5, Int
7, Int
8, Int
3, Int
3, Int
8, Int
9, Int
3, Int
9, Int
2, Int
5, Int
2, Int
9, Int
5, Int
6, Int
2],
      [Int
10, Int
5, Int
2, Int
5, Int
8, Int
2, Int
11, Int
7, Int
6, Int
2, Int
8, Int
4, Int
10, Int
11, Int
6, Int
10, Int
2, Int
11, Int
11, Int
4, Int
2, Int
11, Int
7, Int
4, Int
5, Int
8, Int
7, Int
5, Int
7, Int
6, Int
10, Int
5, Int
6, Int
7, Int
8, Int
4, Int
10, Int
5, Int
13, Int
5, Int
6, Int
13, Int
11, Int
13, Int
6, Int
7, Int
8, Int
13, Int
11, Int
7, Int
13, Int
4, Int
13, Int
8, Int
2, Int
13, Int
4, Int
10, Int
2, Int
13, Int
7, Int
6, Int
13, Int
10, Int
13, Int
6, Int
10, Int
5, Int
13, Int
5, Int
8, Int
13, Int
4, Int
13, Int
8, Int
2, Int
4, Int
13, Int
11, Int
13, Int
2, Int
11, Int
7, Int
13, Int
10, Int
5, Int
6, Int
11, Int
7, Int
8, Int
11, Int
8, Int
2, Int
2, Int
8, Int
4],
      [Int
8, Int
9, Int
5, Int
6, Int
11, Int
7, Int
10, Int
1, Int
2, Int
8, Int
9, Int
5, Int
6, Int
10, Int
1, Int
6, Int
1, Int
7, Int
2, Int
7, Int
1, Int
2, Int
11, Int
7, Int
6, Int
11, Int
7, Int
8, Int
10, Int
5, Int
8, Int
2, Int
10, Int
8, Int
9, Int
1, Int
8, Int
1, Int
2, Int
10, Int
1, Int
2, Int
8, Int
11, Int
7, Int
8, Int
9, Int
11, Int
9, Int
6, Int
11, Int
9, Int
5, Int
6, Int
8, Int
9, Int
13, Int
9, Int
1, Int
13, Int
2, Int
13, Int
1, Int
2, Int
11, Int
13, Int
11, Int
7, Int
13, Int
6, Int
13, Int
7, Int
6, Int
10, Int
13, Int
10, Int
5, Int
13, Int
8, Int
13, Int
5, Int
8, Int
9, Int
13, Int
8, Int
7, Int
13, Int
11, Int
7, Int
13, Int
2, Int
11, Int
13, Int
2, Int
13, Int
1, Int
10, Int
13, Int
1, Int
6, Int
10, Int
13, Int
6, Int
13, Int
5, Int
9, Int
5, Int
13, Int
2, Int
13, Int
1, Int
9, Int
1, Int
13, Int
8, Int
9, Int
13, Int
8, Int
13, Int
7, Int
11, Int
7, Int
13, Int
6, Int
11, Int
13, Int
6, Int
13, Int
5, Int
10, Int
5, Int
13, Int
10, Int
13, Int
2, Int
8, Int
11, Int
7, Int
8, Int
1, Int
11, Int
8, Int
9, Int
1, Int
2, Int
11, Int
1, Int
6, Int
10,
    Int
5, Int
8, Int
5, Int
7, Int
6, Int
7, Int
5, Int
6, Int
11, Int
7, Int
6, Int
2, Int
11, Int
6, Int
10, Int
2, Int
10, Int
1, Int
2, Int
10, Int
5, Int
1, Int
9, Int
1, Int
5, Int
8, Int
9, Int
5],
      [Int
5, Int
8, Int
1, Int
1, Int
8, Int
4, Int
7, Int
6, Int
11, Int
5, Int
6, Int
1, Int
1, Int
6, Int
11, Int
1, Int
11, Int
4, Int
7, Int
4, Int
11, Int
7, Int
8, Int
4, Int
5, Int
7, Int
8, Int
5, Int
6, Int
7, Int
6, Int
11, Int
7, Int
5, Int
6, Int
1, Int
1, Int
6, Int
11, Int
1, Int
11, Int
4, Int
7, Int
4, Int
11, Int
7, Int
8, Int
4],
      [Int
7, Int
6, Int
11, Int
5, Int
8, Int
9, Int
7, Int
8, Int
11, Int
11, Int
8, Int
9, Int
11, Int
9, Int
5, Int
11, Int
5, Int
6],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
6, Int
10, Int
7, Int
7, Int
10, Int
12, Int
2, Int
11, Int
3, Int
10, Int
9, Int
12, Int
6, Int
11, Int
2, Int
6, Int
2, Int
10, Int
2, Int
10, Int
9, Int
2, Int
9, Int
3, Int
7, Int
3, Int
12, Int
7, Int
11, Int
3, Int
6, Int
11, Int
7, Int
3, Int
9, Int
12, Int
6, Int
13, Int
7, Int
7, Int
13, Int
11, Int
2, Int
11, Int
13, Int
3, Int
13, Int
12, Int
2, Int
13, Int
3, Int
9, Int
12, Int
13, Int
10, Int
9, Int
13, Int
6, Int
13, Int
10, Int
3, Int
13, Int
11, Int
6, Int
11, Int
13, Int
6, Int
13, Int
7, Int
7, Int
13, Int
12, Int
9, Int
12, Int
13, Int
10, Int
13, Int
9, Int
2, Int
10, Int
13, Int
2, Int
13, Int
3, Int
6, Int
11, Int
7, Int
2, Int
12, Int
3, Int
2, Int
10, Int
12, Int
10, Int
9, Int
12],
      [Int
4, Int
12, Int
3, Int
2, Int
10, Int
1, Int
11, Int
7, Int
6, Int
4, Int
12, Int
3, Int
2, Int
11, Int
7, Int
2, Int
7, Int
1, Int
6, Int
1, Int
7, Int
6, Int
10, Int
1, Int
2, Int
10, Int
1, Int
4, Int
11, Int
3, Int
4, Int
6, Int
11, Int
4, Int
12, Int
7, Int
4, Int
7, Int
6, Int
11, Int
7, Int
6, Int
4, Int
10, Int
1, Int
4, Int
12, Int
10, Int
12, Int
2, Int
10, Int
12, Int
3, Int
2, Int
4, Int
12, Int
13, Int
12, Int
7, Int
13, Int
6, Int
13, Int
7, Int
6, Int
10, Int
13, Int
10, Int
1, Int
13, Int
2, Int
13, Int
1, Int
2, Int
11, Int
13, Int
11, Int
3, Int
13, Int
4, Int
13, Int
3, Int
4, Int
12, Int
13, Int
4, Int
1, Int
13, Int
10, Int
1, Int
13, Int
6, Int
10, Int
13, Int
6, Int
13, Int
7, Int
11, Int
13, Int
7, Int
2, Int
11, Int
13, Int
2, Int
13, Int
3, Int
12, Int
3, Int
13, Int
6, Int
13, Int
7, Int
12, Int
7, Int
13, Int
4, Int
12, Int
13, Int
4, Int
13, Int
1, Int
10, Int
1, Int
13, Int
2, Int
10, Int
13, Int
2, Int
13, Int
3, Int
11, Int
3, Int
13, Int
11, Int
13, Int
6, Int
4, Int
10, Int
1, Int
4, Int
7, Int
10, Int
4, Int
12, Int
7, Int
6,
    Int
10, Int
7, Int
2, Int
11, Int
3, Int
4, Int
3, Int
1, Int
2, Int
1, Int
3, Int
2, Int
10, Int
1, Int
2, Int
6, Int
10, Int
2, Int
11, Int
6, Int
11, Int
7, Int
6, Int
11, Int
3, Int
7, Int
12, Int
7, Int
3, Int
4, Int
12, Int
3],
      [Int
12, Int
3, Int
9, Int
9, Int
3, Int
1, Int
11, Int
7, Int
6, Int
12, Int
7, Int
9, Int
9, Int
7, Int
6, Int
9, Int
6, Int
1, Int
11, Int
1, Int
6, Int
11, Int
3, Int
1, Int
12, Int
11, Int
3, Int
12, Int
7, Int
11, Int
7, Int
6, Int
11, Int
12, Int
7, Int
9, Int
9, Int
7, Int
6, Int
9, Int
6, Int
1, Int
11, Int
1, Int
6, Int
11, Int
3, Int
1],
      [Int
12, Int
3, Int
4, Int
11, Int
7, Int
6, Int
12, Int
7, Int
4, Int
4, Int
7, Int
6, Int
4, Int
6, Int
11, Int
4, Int
11, Int
3],
      [Int
0],
      [Int
0],
      [Int
2, Int
3, Int
6, Int
6, Int
3, Int
7, Int
4, Int
1, Int
9, Int
2, Int
1, Int
6, Int
6, Int
1, Int
9, Int
6, Int
9, Int
7, Int
4, Int
7, Int
9, Int
4, Int
3, Int
7, Int
2, Int
4, Int
3, Int
2, Int
1, Int
4, Int
1, Int
9, Int
4, Int
2, Int
1, Int
6, Int
6, Int
1, Int
9, Int
6, Int
9, Int
7, Int
4, Int
7, Int
9, Int
4, Int
3, Int
7],
      [Int
0],
      [Int
2, Int
10, Int
4, Int
4, Int
10, Int
9, Int
6, Int
11, Int
7, Int
2, Int
11, Int
4, Int
4, Int
11, Int
7, Int
4, Int
7, Int
9, Int
6, Int
9, Int
7, Int
6, Int
10, Int
9, Int
2, Int
6, Int
10, Int
2, Int
11, Int
6, Int
11, Int
7, Int
6, Int
2, Int
11, Int
4, Int
4, Int
11, Int
7, Int
4, Int
7, Int
9, Int
6, Int
9, Int
7, Int
6, Int
10, Int
9],
      [Int
6, Int
11, Int
7, Int
2, Int
10, Int
1, Int
6, Int
10, Int
7, Int
7, Int
10, Int
1, Int
7, Int
1, Int
2, Int
7, Int
2, Int
11],
      [Int
6, Int
11, Int
7, Int
1, Int
9, Int
4, Int
6, Int
11, Int
1, Int
1, Int
11, Int
4, Int
7, Int
4, Int
11, Int
6, Int
9, Int
7, Int
6, Int
1, Int
9, Int
7, Int
9, Int
4],
      [Int
0],
      [Int
0],
      [Int
12, Int
11, Int
8, Int
11, Int
6, Int
8, Int
9, Int
1, Int
4, Int
12, Int
11, Int
4, Int
11, Int
1, Int
4, Int
11, Int
6, Int
1, Int
9, Int
1, Int
6, Int
9, Int
6, Int
8, Int
12, Int
8, Int
9, Int
12, Int
9, Int
4, Int
4, Int
9, Int
1, Int
12, Int
11, Int
4, Int
11, Int
1, Int
4, Int
11, Int
6, Int
1, Int
9, Int
1, Int
6, Int
9, Int
6, Int
8],
      [Int
6, Int
8, Int
11, Int
8, Int
12, Int
11, Int
2, Int
1, Int
10, Int
6, Int
8, Int
10, Int
8, Int
1, Int
10, Int
8, Int
12, Int
1, Int
2, Int
1, Int
12, Int
2, Int
12, Int
11, Int
6, Int
11, Int
2, Int
6, Int
2, Int
10, Int
10, Int
2, Int
1, Int
6, Int
8, Int
10, Int
8, Int
1, Int
10, Int
8, Int
12, Int
1, Int
2, Int
1, Int
12, Int
2, Int
12, Int
11],
      [Int
2, Int
4, Int
11, Int
10, Int
6, Int
9, Int
6, Int
8, Int
9, Int
11, Int
4, Int
12, Int
2, Int
6, Int
11, Int
2, Int
10, Int
6, Int
6, Int
12, Int
11, Int
6, Int
8, Int
12, Int
4, Int
9, Int
12, Int
9, Int
8, Int
12, Int
2, Int
9, Int
10, Int
2, Int
4, Int
9, Int
2, Int
13, Int
10, Int
2, Int
4, Int
13, Int
4, Int
12, Int
13, Int
11, Int
13, Int
12, Int
6, Int
13, Int
11, Int
6, Int
8, Int
13, Int
9, Int
13, Int
8, Int
10, Int
13, Int
9, Int
4, Int
9, Int
13, Int
2, Int
4, Int
13, Int
2, Int
13, Int
11, Int
11, Int
13, Int
12, Int
8, Int
12, Int
13, Int
6, Int
8, Int
13, Int
10, Int
6, Int
13, Int
10, Int
13, Int
9, Int
2, Int
4, Int
10, Int
10, Int
4, Int
9, Int
6, Int
12, Int
11, Int
6, Int
8, Int
12],
      [Int
0],
      [Int
9, Int
1, Int
8, Int
1, Int
2, Int
8, Int
12, Int
3, Int
4, Int
8, Int
2, Int
6, Int
9, Int
12, Int
4, Int
9, Int
8, Int
12, Int
12, Int
6, Int
8, Int
12, Int
3, Int
6, Int
1, Int
2, Int
3, Int
1, Int
3, Int
4, Int
9, Int
1, Int
4, Int
3, Int
2, Int
6, Int
9, Int
1, Int
13, Int
1, Int
4, Int
13, Int
12, Int
13, Int
4, Int
3, Int
2, Int
13, Int
12, Int
3, Int
13, Int
6, Int
13, Int
2, Int
8, Int
13, Int
6, Int
9, Int
8, Int
13, Int
3, Int
4, Int
13, Int
9, Int
13, Int
4, Int
9, Int
1, Int
13, Int
1, Int
2, Int
13, Int
6, Int
13, Int
2, Int
8, Int
6, Int
13, Int
12, Int
13, Int
8, Int
12, Int
3, Int
13, Int
9, Int
1, Int
4, Int
12, Int
3, Int
2, Int
12, Int
2, Int
8, Int
8, Int
2, Int
6],
      [Int
0],
      [Int
8, Int
9, Int
6, Int
6, Int
9, Int
10, Int
4, Int
12, Int
3, Int
8, Int
12, Int
6, Int
6, Int
12, Int
3, Int
6, Int
3, Int
10, Int
4, Int
10, Int
3, Int
4, Int
9, Int
10, Int
8, Int
4, Int
9, Int
8, Int
12, Int
4, Int
12, Int
3, Int
4, Int
8, Int
12, Int
6, Int
6, Int
12, Int
3, Int
6, Int
3, Int
10, Int
4, Int
10, Int
3, Int
4, Int
9, Int
10],
      [Int
0],
      [Int
0],
      [Int
1, Int
10, Int
4, Int
10, Int
6, Int
4, Int
3, Int
11, Int
2, Int
4, Int
6, Int
8, Int
1, Int
3, Int
2, Int
1, Int
4, Int
3, Int
3, Int
8, Int
4, Int
3, Int
11, Int
8, Int
10, Int
6, Int
11, Int
10, Int
11, Int
2, Int
1, Int
10, Int
2, Int
11, Int
6, Int
8, Int
1, Int
10, Int
13, Int
10, Int
2, Int
13, Int
3, Int
13, Int
2, Int
11, Int
6, Int
13, Int
3, Int
11, Int
13, Int
8, Int
13, Int
6, Int
4, Int
13, Int
8, Int
1, Int
4, Int
13, Int
11, Int
2, Int
13, Int
1, Int
13, Int
2, Int
1, Int
10, Int
13, Int
10, Int
6, Int
13, Int
8, Int
13, Int
6, Int
4, Int
8, Int
13, Int
3, Int
13, Int
4, Int
3, Int
11, Int
13, Int
1, Int
10, Int
2, Int
3, Int
11, Int
6, Int
3, Int
6, Int
4, Int
4, Int
6, Int
8],
      [Int
10, Int
6, Int
9, Int
9, Int
6, Int
8, Int
11, Int
2, Int
3, Int
10, Int
2, Int
9, Int
9, Int
2, Int
3, Int
9, Int
3, Int
8, Int
11, Int
8, Int
3, Int
11, Int
6, Int
8, Int
10, Int
11, Int
6, Int
10, Int
2, Int
11, Int
2, Int
3, Int
11, Int
10, Int
2, Int
9, Int
9, Int
2, Int
3, Int
9, Int
3, Int
8, Int
11, Int
8, Int
3, Int
11, Int
6, Int
8],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
2, Int
1, Int
11, Int
1, Int
9, Int
11, Int
6, Int
5, Int
10, Int
11, Int
9, Int
12, Int
2, Int
6, Int
10, Int
2, Int
11, Int
6, Int
6, Int
12, Int
11, Int
6, Int
5, Int
12, Int
1, Int
9, Int
5, Int
1, Int
5, Int
10, Int
2, Int
1, Int
10, Int
5, Int
9, Int
12, Int
2, Int
1, Int
13, Int
1, Int
10, Int
13, Int
6, Int
13, Int
10, Int
5, Int
9, Int
13, Int
6, Int
5, Int
13, Int
12, Int
13, Int
9, Int
11, Int
13, Int
12, Int
2, Int
11, Int
13, Int
5, Int
10, Int
13, Int
2, Int
13, Int
10, Int
2, Int
1, Int
13, Int
1, Int
9, Int
13, Int
12, Int
13, Int
9, Int
11, Int
12, Int
13, Int
6, Int
13, Int
11, Int
6, Int
5, Int
13, Int
2, Int
1, Int
10, Int
6, Int
5, Int
9, Int
6, Int
9, Int
11, Int
11, Int
9, Int
12],
      [Int
11, Int
2, Int
12, Int
12, Int
2, Int
4, Int
10, Int
6, Int
5, Int
11, Int
6, Int
12, Int
12, Int
6, Int
5, Int
12, Int
5, Int
4, Int
10, Int
4, Int
5, Int
10, Int
2, Int
4, Int
11, Int
10, Int
2, Int
11, Int
6, Int
10, Int
6, Int
5, Int
10, Int
11, Int
6, Int
12, Int
12, Int
6, Int
5, Int
12, Int
5, Int
4, Int
10, Int
4, Int
5, Int
10, Int
2, Int
4],
      [Int
0],
      [Int
1, Int
2, Int
5, Int
5, Int
2, Int
6, Int
3, Int
4, Int
12, Int
1, Int
4, Int
5, Int
5, Int
4, Int
12, Int
5, Int
12, Int
6, Int
3, Int
6, Int
12, Int
3, Int
2, Int
6, Int
1, Int
3, Int
2, Int
1, Int
4, Int
3, Int
4, Int
12, Int
3, Int
1, Int
4, Int
5, Int
5, Int
4, Int
12, Int
5, Int
12, Int
6, Int
3, Int
6, Int
12, Int
3, Int
2, Int
6],
      [Int
1, Int
9, Int
3, Int
3, Int
9, Int
12, Int
5, Int
10, Int
6, Int
1, Int
10, Int
3, Int
3, Int
10, Int
6, Int
3, Int
6, Int
12, Int
5, Int
12, Int
6, Int
5, Int
9, Int
12, Int
1, Int
5, Int
9, Int
1, Int
10, Int
5, Int
10, Int
6, Int
5, Int
1, Int
10, Int
3, Int
3, Int
10, Int
6, Int
3, Int
6, Int
12, Int
5, Int
12, Int
6, Int
5, Int
9, Int
12],
      [Int
6, Int
5, Int
10, Int
12, Int
3, Int
4, Int
6, Int
5, Int
12, Int
12, Int
5, Int
4, Int
10, Int
4, Int
5, Int
6, Int
3, Int
10, Int
6, Int
12, Int
3, Int
10, Int
3, Int
4],
      [Int
0],
      [Int
0],
      [Int
6, Int
5, Int
10, Int
2, Int
3, Int
11, Int
1, Int
9, Int
4, Int
6, Int
5, Int
10, Int
2, Int
1, Int
9, Int
2, Int
9, Int
11, Int
4, Int
11, Int
9, Int
4, Int
3, Int
11, Int
2, Int
3, Int
11, Int
6, Int
1, Int
10, Int
6, Int
4, Int
1, Int
6, Int
5, Int
9, Int
6, Int
9, Int
4, Int
1, Int
9, Int
4, Int
6, Int
3, Int
11, Int
6, Int
5, Int
3, Int
5, Int
2, Int
3, Int
5, Int
10, Int
2, Int
6, Int
5, Int
13, Int
5, Int
9, Int
13, Int
4, Int
13, Int
9, Int
4, Int
3, Int
13, Int
3, Int
11, Int
13, Int
2, Int
13, Int
11, Int
2, Int
1, Int
13, Int
1, Int
10, Int
13, Int
6, Int
13, Int
10, Int
6, Int
5, Int
13, Int
6, Int
11, Int
13, Int
3, Int
11, Int
13, Int
4, Int
3, Int
13, Int
4, Int
13, Int
9, Int
1, Int
13, Int
9, Int
2, Int
1, Int
13, Int
2, Int
13, Int
10, Int
5, Int
10, Int
13, Int
4, Int
13, Int
9, Int
5, Int
9, Int
13, Int
6, Int
5, Int
13, Int
6, Int
13, Int
11, Int
3, Int
11, Int
13, Int
2, Int
3, Int
13, Int
2, Int
13, Int
10, Int
1, Int
10, Int
13, Int
1, Int
13, Int
4, Int
6, Int
3, Int
11, Int
6, Int
9, Int
3, Int
6, Int
5, Int
9, Int
4, Int
3, Int
9, Int
2, Int
1, Int
10,
    Int
6, Int
10, Int
11, Int
2, Int
11, Int
10, Int
2, Int
3, Int
11, Int
2, Int
4, Int
3, Int
2, Int
1, Int
4, Int
1, Int
9, Int
4, Int
1, Int
10, Int
9, Int
5, Int
9, Int
10, Int
6, Int
5, Int
10],
      [Int
10, Int
6, Int
5, Int
11, Int
2, Int
3, Int
10, Int
2, Int
5, Int
5, Int
2, Int
3, Int
5, Int
3, Int
11, Int
5, Int
11, Int
6],
      [Int
0],
      [Int
0],
      [Int
5, Int
10, Int
6, Int
1, Int
9, Int
4, Int
5, Int
9, Int
6, Int
6, Int
9, Int
4, Int
6, Int
4, Int
1, Int
6, Int
1, Int
10],
      [Int
0],
      [Int
0],
      [Int
8, Int
12, Int
5, Int
5, Int
12, Int
10, Int
4, Int
9, Int
1, Int
12, Int
11, Int
10, Int
8, Int
9, Int
4, Int
8, Int
4, Int
12, Int
4, Int
12, Int
11, Int
4, Int
11, Int
1, Int
5, Int
1, Int
10, Int
5, Int
9, Int
1, Int
8, Int
9, Int
5, Int
1, Int
11, Int
10, Int
8, Int
13, Int
5, Int
5, Int
13, Int
9, Int
4, Int
9, Int
13, Int
1, Int
13, Int
10, Int
4, Int
13, Int
1, Int
11, Int
10, Int
13, Int
12, Int
11, Int
13, Int
8, Int
13, Int
12, Int
1, Int
13, Int
9, Int
8, Int
9, Int
13, Int
8, Int
13, Int
5, Int
5, Int
13, Int
10, Int
11, Int
10, Int
13, Int
12, Int
13, Int
11, Int
4, Int
12, Int
13, Int
4, Int
13, Int
1, Int
8, Int
9, Int
5, Int
4, Int
10, Int
1, Int
4, Int
12, Int
10, Int
12, Int
11, Int
10],
      [Int
0],
      [Int
4, Int
12, Int
2, Int
2, Int
12, Int
11, Int
8, Int
9, Int
5, Int
4, Int
9, Int
2, Int
2, Int
9, Int
5, Int
2, Int
5, Int
11, Int
8, Int
11, Int
5, Int
8, Int
12, Int
11, Int
4, Int
8, Int
12, Int
4, Int
9, Int
8, Int
9, Int
5, Int
8, Int
4, Int
9, Int
2, Int
2, Int
9, Int
5, Int
2, Int
5, Int
11, Int
8, Int
11, Int
5, Int
8, Int
12, Int
11],
      [Int
0],
      [Int
2, Int
10, Int
1, Int
4, Int
12, Int
3, Int
9, Int
5, Int
8, Int
2, Int
10, Int
1, Int
4, Int
9, Int
5, Int
4, Int
5, Int
3, Int
8, Int
3, Int
5, Int
8, Int
12, Int
3, Int
4, Int
12, Int
3, Int
2, Int
9, Int
1, Int
2, Int
8, Int
9, Int
2, Int
10, Int
5, Int
2, Int
5, Int
8, Int
9, Int
5, Int
8, Int
2, Int
12, Int
3, Int
2, Int
10, Int
12, Int
10, Int
4, Int
12, Int
10, Int
1, Int
4, Int
2, Int
10, Int
13, Int
10, Int
5, Int
13, Int
8, Int
13, Int
5, Int
8, Int
12, Int
13, Int
12, Int
3, Int
13, Int
4, Int
13, Int
3, Int
4, Int
9, Int
13, Int
9, Int
1, Int
13, Int
2, Int
13, Int
1, Int
2, Int
10, Int
13, Int
2, Int
3, Int
13, Int
12, Int
3, Int
13, Int
8, Int
12, Int
13, Int
8, Int
13, Int
5, Int
9, Int
13, Int
5, Int
4, Int
9, Int
13, Int
4, Int
13, Int
1, Int
10, Int
1, Int
13, Int
8, Int
13, Int
5, Int
10, Int
5, Int
13, Int
2, Int
10, Int
13, Int
2, Int
13, Int
3, Int
12, Int
3, Int
13, Int
4, Int
12, Int
13, Int
4, Int
13, Int
1, Int
9, Int
1, Int
13, Int
9, Int
13, Int
8, Int
2, Int
12, Int
3, Int
2, Int
5, Int
12, Int
2, Int
10, Int
5, Int
8, Int
12, Int
5, Int
4,
    Int
9, Int
1, Int
2, Int
1, Int
3, Int
4, Int
3, Int
1, Int
4, Int
12, Int
3, Int
4, Int
8, Int
12, Int
4, Int
9, Int
8, Int
9, Int
5, Int
8, Int
9, Int
1, Int
5, Int
10, Int
5, Int
1, Int
2, Int
10, Int
1],
      [Int
0],
      [Int
8, Int
9, Int
5, Int
4, Int
12, Int
3, Int
8, Int
12, Int
5, Int
5, Int
12, Int
3, Int
5, Int
3, Int
4, Int
5, Int
4, Int
9],
      [Int
0],
      [Int
10, Int
1, Int
11, Int
11, Int
1, Int
3, Int
9, Int
5, Int
8, Int
10, Int
5, Int
11, Int
11, Int
5, Int
8, Int
11, Int
8, Int
3, Int
9, Int
3, Int
8, Int
9, Int
1, Int
3, Int
10, Int
9, Int
1, Int
10, Int
5, Int
9, Int
5, Int
8, Int
9, Int
10, Int
5, Int
11, Int
11, Int
5, Int
8, Int
11, Int
8, Int
3, Int
9, Int
3, Int
8, Int
9, Int
1, Int
3],
      [Int
4, Int
1, Int
8, Int
8, Int
1, Int
5, Int
2, Int
3, Int
11, Int
4, Int
3, Int
8, Int
8, Int
3, Int
11, Int
8, Int
11, Int
5, Int
2, Int
5, Int
11, Int
2, Int
1, Int
5, Int
4, Int
2, Int
1, Int
4, Int
3, Int
2, Int
3, Int
11, Int
2, Int
4, Int
3, Int
8, Int
8, Int
3, Int
11, Int
8, Int
11, Int
5, Int
2, Int
5, Int
11, Int
2, Int
1, Int
5],
      [Int
2, Int
3, Int
11, Int
9, Int
5, Int
8, Int
2, Int
3, Int
9, Int
9, Int
3, Int
8, Int
11, Int
8, Int
3, Int
2, Int
5, Int
11, Int
2, Int
9, Int
5, Int
11, Int
5, Int
8],
      [Int
0],
      [Int
10, Int
1, Int
2, Int
9, Int
5, Int
8, Int
10, Int
5, Int
2, Int
2, Int
5, Int
8, Int
2, Int
8, Int
9, Int
2, Int
9, Int
1],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
1, Int
2, Int
10, Int
3, Int
4, Int
12, Int
1, Int
4, Int
10, Int
10, Int
4, Int
12, Int
10, Int
12, Int
3, Int
10, Int
3, Int
2],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
2, Int
3, Int
11, Int
4, Int
1, Int
9, Int
2, Int
1, Int
11, Int
11, Int
1, Int
9, Int
11, Int
9, Int
4, Int
11, Int
4, Int
3],
      [Int
0],
      [Int
0],
      [Int
0],
      [Int
0]
    ] 
  )

specialName :: [Int]
specialName :: [Int]
specialName = [Int
3, Int
4, Int
6, Int
7, Int
10, Int
12, Int
13]

specialNface, specialNedge :: UV.Vector Int
specialNface :: Vector Int
specialNface = forall a. Unbox a => [a] -> Vector a
UV.fromList [Int
1, Int
1, Int
2, Int
4, Int
3, Int
3, Int
7]
specialNedge :: Vector Int
specialNedge = forall a. Unbox a => [a] -> Vector a
UV.fromList [Int
18, Int
24, Int
48, Int
177, Int
96, Int
96, Int
816]

specialInd :: V.Vector (UV.Vector Int)
specialInd :: Vector (Vector Int)
specialInd = forall a. [a] -> Vector a
V.fromList 
  (forall a b. (a -> b) -> [a] -> [b]
map 
    forall a. Unbox a => [a] -> Vector a
UV.fromList
    [
      [Int
0, Int
1],
      [Int
0, Int
1],
      [Int
0, Int
2, Int
1, Int
3],
      [Int
0, Int
8, Int
4, Int
12, Int
2, Int
10, Int
1, Int
9, Int
6, Int
14, Int
5, Int
13, Int
3, Int
11, Int
15, Int
7],
      [Int
0, Int
4, Int
1, Int
5, Int
2, Int
6, Int
3, Int
7],
      [Int
0, Int
4, Int
2, Int
6, Int
1, Int
5, Int
3, Int
7],
      [Int
0, Int
1, Int
2, Int
4, Int
8, Int
16, Int
32, Int
3, Int
9, Int
17, Int
33, Int
6, Int
18, Int
34, Int
12, Int
20, Int
36, Int
24, Int
40, Int
35, Int
25, Int
22, Int
44, Int
19, Int
41, Int
38, Int
28, Int
83, Int
105, Int
102, Int
92]
    ] 
  )

specialPos :: V.Vector (V.Vector (UV.Vector Int))
specialPos :: Vector (Vector (Vector Int))
specialPos = forall a. [a] -> Vector a
V.fromList
  (forall a b. (a -> b) -> [a] -> [b]
map
    (forall a. [a] -> Vector a
V.fromList forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (a -> b) -> [a] -> [b]
map forall a. Unbox a => [a] -> Vector a
UV.fromList)
    [ [[Int
0 .. Int
5], [Int
6 .. Int
17]]
    , [[Int
0 .. Int
5], [Int
6 .. Int
23]]
    , [[Int
0 .. Int
8], [Int
9 .. Int
32], [Int
33 .. Int
47], [Int
33 .. Int
47]]
    , [ [Int
0 .. Int
8]
      , [Int
0 .. Int
8]
      , [Int
9 .. Int
23]
      , [Int
9 .. Int
23]
      , [Int
24 .. Int
38]
      , [Int
24 .. Int
38]
      , [Int
39 .. Int
53]
      , [Int
39 .. Int
53]
      , [Int
54 .. Int
80]
      , [Int
54 .. Int
80]
      , [Int
81 .. Int
107]
      , [Int
81 .. Int
107]
      , [Int
108 .. Int
134]
      , [Int
108 .. Int
134]
      , [Int
135 .. Int
149]
      , [Int
150 .. Int
176]
      ]
    , [ [Int
0 .. Int
11]
      , [Int
12 .. Int
35]
      , [Int
36 .. Int
59]
      , [Int
36 .. Int
59]
      , [Int
60 .. Int
83]
      , [Int
60 .. Int
83]
      , [Int
84 .. Int
95]
      , [Int
84 .. Int
95]
      ]
    , [ [Int
0 .. Int
11]
      , [Int
12 .. Int
35]
      , [Int
36 .. Int
59]
      , [Int
36 .. Int
59]
      , [Int
60 .. Int
83]
      , [Int
60 .. Int
83]
      , [Int
84 .. Int
95]
      , [Int
84 .. Int
95]
      ]
    , [ [Int
0 .. Int
11]
      , [Int
12 .. Int
29]
      , [Int
30 .. Int
47]
      , [Int
48 .. Int
65]
      , [Int
66 .. Int
83]
      , [Int
84 .. Int
101]
      , [Int
102 .. Int
119]
      , [Int
120 .. Int
149]
      , [Int
150 .. Int
179]
      , [Int
180 .. Int
209]
      , [Int
210 .. Int
239]
      , [Int
240 .. Int
269]
      , [Int
270 .. Int
299]
      , [Int
300 .. Int
329]
      , [Int
330 .. Int
359]
      , [Int
360 .. Int
389]
      , [Int
390 .. Int
419]
      , [Int
420 .. Int
449]
      , [Int
450 .. Int
479]
      , [Int
480 .. Int
515]
      , [Int
516 .. Int
551]
      , [Int
552 .. Int
587]
      , [Int
588 .. Int
623]
      , [Int
624 .. Int
641]
      , [Int
642 .. Int
659]
      , [Int
660 .. Int
677]
      , [Int
678 .. Int
695]
      , [Int
696 .. Int
725]
      , [Int
726 .. Int
755]
      , [Int
756 .. Int
785]
      , [Int
786 .. Int
815]
      ]
    ]
  )

crf :: UV.Vector Int
crf :: Vector Int
crf = forall a. Unbox a => [a] -> Vector a
UV.fromList
  [Int
1, Int
2, Int
2, Int
3, Int
2, Int
4, Int
3, Int
6, Int
2, Int
3, Int
4, Int
6, Int
3, Int
6, Int
6, Int
9, Int
2, Int
3, Int
4, Int
6,
   Int
5, Int
7, Int
7, Int
12, Int
4, Int
6, Int
8, Int
10, Int
7, Int
15, Int
13, Int
6, Int
2, Int
4, Int
3, Int
6, Int
4, Int
8, Int
6,
   Int
10, Int
5, Int
7, Int
7, Int
15, Int
7, Int
13, Int
12, Int
6, Int
3, Int
6, Int
6, Int
9, Int
7, Int
13, Int
15, Int
6, Int
7, Int
12,
   Int
13, Int
6, Int
11, Int
7, Int
7, Int
3, Int
2, Int
5, Int
4, Int
7, Int
3, Int
7, Int
6, Int
15, Int
4, Int
7, Int
8, Int
13, Int
6,
   Int
12, Int
10, Int
6, Int
4, Int
7, Int
8, Int
13, Int
7, Int
11, Int
13, Int
7, Int
8, Int
13, Int
14, Int
8, Int
13, Int
7, Int
8,
   Int
4, Int
3, Int
7, Int
6, Int
12, Int
6, Int
13, Int
9, Int
6, Int
7, Int
11, Int
13, Int
7, Int
15, Int
7, Int
6, Int
3, Int
6, Int
15,
   Int
10, Int
6, Int
12, Int
7, Int
6, Int
3, Int
13, Int
7, Int
8, Int
4, Int
7, Int
5, Int
4, Int
2, Int
2, Int
4, Int
5, Int
7, Int
4, Int
8,
   Int
7, Int
13, Int
3, Int
6, Int
7, Int
12, Int
6, Int
10, Int
15, Int
6, Int
3, Int
6, Int
7, Int
15, Int
7, Int
13, Int
11, Int
7,
   Int
6, Int
9, Int
13, Int
6, Int
12, Int
6, Int
7, Int
3, Int
4, Int
8, Int
7, Int
13, Int
8, Int
14, Int
13, Int
8, Int
7, Int
13, Int
11,
   Int
7, Int
13, Int
8, Int
7, Int
4, Int
6, Int
10, Int
12, Int
6, Int
13, Int
8, Int
7, Int
4, Int
15, Int
6, Int
7, Int
3, Int
7, Int
4,
   Int
5, Int
2, Int
3, Int
7, Int
7, Int
11, Int
6, Int
13, Int
12, Int
7, Int
6, Int
15, Int
13, Int
7, Int
9, Int
6, Int
6, Int
3, Int
6,
   Int
12, Int
13, Int
7, Int
15, Int
7, Int
7, Int
5, Int
10, Int
6, Int
8, Int
4, Int
6, Int
3, Int
4, Int
2, Int
6, Int
13, Int
15, Int
7,
   Int
10, Int
8, Int
6, Int
4, Int
12, Int
7, Int
7, Int
5, Int
6, Int
4, Int
3, Int
2, Int
9, Int
6, Int
6, Int
3, Int
6, Int
4, Int
3, Int
2,
   Int
6, Int
3, Int
4, Int
2, Int
3, Int
2, Int
2, Int
1]