├── .gitignore ├── experiments ├── data │ ├── connections.csv │ ├── tiny.csv │ ├── world_destinations.csv │ └── world_connections.csv └── README.md ├── package.json ├── README.md ├── LICENSE └── src ├── Parsers.curry ├── Types.curry ├── BFS.curry ├── LCP.curry └── Main.curry /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | .cpm 3 | .curry 4 | out*.csv -------------------------------------------------------------------------------- /experiments/data/connections.csv: -------------------------------------------------------------------------------- 1 | v1,v2 2 | 1,4 3 | 4,3 4 | 1,5 -------------------------------------------------------------------------------- /experiments/data/tiny.csv: -------------------------------------------------------------------------------- 1 | v1,v2,cost 2 | 1,2,1 3 | 2,3,1 4 | 3,4,1 5 | 4,5,1 6 | 5,6,1 7 | 6,1,1 8 | 2,7,1 9 | 4,7,1 10 | 6,7,1 -------------------------------------------------------------------------------- /experiments/README.md: -------------------------------------------------------------------------------- 1 | This directory includes some test data. Run for example with 2 | 3 | ``` 4 | currygraph lcp -v experiments/data/world_vertices.csv -e experiments/data/world_edges.csv -c experiments/data/world_connections.csv -o out.csv 5 | currygraph bfs -v experiments/data/world_vertices.csv -d experiments/data/world_destinations.csv -e experiments/data/world_edges.csv -o out3.csv 6 | ``` -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "currygraph", 3 | "version": "0.0.1", 4 | "author": "Clemens Schmid ", 5 | "synopsis": "Specific path finding and graph search algorithms", 6 | "license": "MIT", 7 | "licenseFile": "LICENSE", 8 | "dependencies": { 9 | "base": " ^3.4.0", 10 | "opt-parse": " >= 3.0.0, < 4.0.0", 11 | "csv": " >= 3.0.0, < 4.0.0", 12 | "containers": " >= 3.0.0, < 4.0.0", 13 | "global": " >= 3.2.0, < 4.0.0", 14 | "random": " >= 3.0.0, < 4.0.0" 15 | }, 16 | "executable": { 17 | "name": "currygraph", 18 | "main": "Main" 19 | } 20 | } -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # currygraph 2 | 3 | currygraph is a small command line tool for specific path searches on spatial graphs. 4 | At the moment it's solely developed for my own needs, though I may extend it in the future for more general applications. 5 | 6 | It is written in the functional logic programming language [curry](https://curry-lang.org/). 7 | 8 | ### Setup 9 | 10 | Install one of the curry compilers [PAKCS](https://www.curry-lang.org/pakcs/), [KiCS2](https://www.curry-lang.org/kics2/), or [Curry2G](https://www.curry-lang.org/curry2go/) (currygraph was only tested with KiCS2, but it should also work with the others). 11 | 12 | All of these compilers come with the [Curry Package Manager (CPM)](https://www.curry-lang.org/tools/cpm/). You should therefore be able to install currygraph by running 13 | 14 | ``` 15 | cypm install 16 | ``` 17 | 18 | in the root directory of this repository after installing the respective compiler. 19 | 20 | This will compile the main module and install the currygraph executable in `$HOME/.cpm/bin`. 21 | 22 | Run `currygraph -h` to access the command line help. 23 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2025 Clemens Schmid 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /src/Parsers.curry: -------------------------------------------------------------------------------- 1 | module Parsers where 2 | 3 | import Types 4 | 5 | import Data.Maybe 6 | import Data.List 7 | import Text.CSV (readCSVFile) 8 | import qualified Data.Map as M 9 | 10 | -- reading data 11 | readVertices :: String -> IO [Vertex] 12 | readVertices path = do 13 | header:rows <- readCSVFile path 14 | let colID = getCol "id" header rows 15 | let vertices = map makeVertex colID 16 | return vertices 17 | 18 | zipWith4 :: (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e] 19 | zipWith4 _ [] _ _ _ = [] 20 | zipWith4 _ (_:_) [] _ _ = [] 21 | zipWith4 _ (_:_) (_:_) [] _ = [] 22 | zipWith4 _ (_:_) (_:_) (_:_) [] = [] 23 | zipWith4 f (x:xs) (y:ys) (z:zs) (w:ws) = f x y z w : zipWith4 f xs ys zs ws 24 | 25 | readEdges :: String -> VertexMap -> IO [Edge] 26 | readEdges path verticesMap = do 27 | header:rows <- readCSVFile path 28 | let colV1 = getCol "v1" header rows 29 | verticesV1 = map (findVertexUnsafe verticesMap . read) colV1 30 | colV2 = getCol "v2" header rows 31 | verticesV2 = map (findVertexUnsafe verticesMap . read) colV2 32 | colCost = getCol "cost" header rows 33 | let edges = zipWith3 makeEdge verticesV1 verticesV2 colCost 34 | return edges 35 | 36 | readConnections :: String -> VertexMap -> IO [Connection] 37 | readConnections path verticesMap = do 38 | header:rows <- readCSVFile path 39 | let colV1 = getCol "v1" header rows 40 | verticesV1 = map (findVertexUnsafe verticesMap . read) colV1 41 | colV2 = getCol "v2" header rows 42 | verticesV2 = map (findVertexUnsafe verticesMap . read) colV2 43 | let connections = zipWith makeConnection verticesV1 verticesV2 44 | return connections 45 | 46 | getCol :: String -> [String] -> [[String]] -> [String] 47 | getCol colName header rows = 48 | let colNum = getColNum colName header 49 | in map (\row -> row !! colNum) rows 50 | where 51 | getColNum :: String -> [String] -> Int 52 | getColNum colName header = fromJust $ findIndex (\x -> x == colName) header 53 | 54 | 55 | 56 | 57 | -------------------------------------------------------------------------------- /src/Types.curry: -------------------------------------------------------------------------------- 1 | module Types where 2 | 3 | import Data.List 4 | import Data.Maybe 5 | import qualified Data.Map as M 6 | import qualified Data.Set as S 7 | 8 | infinity :: Float 9 | infinity = 1.0 / 0.0 10 | 11 | type VertexMap = M.Map Int Vertex 12 | 13 | buildVertexMap :: [Vertex] -> VertexMap 14 | buildVertexMap vertices = M.fromList $ map (\v@(Vertex i) -> (i, v)) vertices 15 | findVertexUnsafe :: VertexMap -> Int -> Vertex 16 | findVertexUnsafe vm voi = fromJust $ M.lookup voi vm 17 | 18 | type AdjacencyMap = M.Map Vertex [(Vertex, Float)] -- (neighboring vertex, float) 19 | 20 | buildAdjacencyMap :: [Edge] -> AdjacencyMap 21 | buildAdjacencyMap es = foldl addEdge M.empty es 22 | where 23 | addEdge m (Edge v1 v2 c) = M.insertWith (++) v1 [(v2,c)] $ M.insertWith (++) v2 [(v1,c)] m 24 | removeEdges :: AdjacencyMap -> [(Vertex,Vertex)] -> AdjacencyMap 25 | removeEdges m [] = m 26 | removeEdges m toRemove = 27 | let remE v1 v2 = M.adjust (filter ((/= v2) . fst)) v1 28 | in foldl (\m (vFrom,vTo) -> remE vTo vFrom (remE vFrom vTo m)) m toRemove 29 | removeVertices :: AdjacencyMap -> S.Set Vertex -> AdjacencyMap 30 | removeVertices m toRemove = 31 | let filteredList = -- drop neighbours that are in toRemove 32 | [ (k, filter (\(v,_) -> not (S.member v toRemove)) nbrs) 33 | | (k, nbrs) <- M.toList m 34 | , not (S.member k toRemove) -- also drop the keys 35 | ] 36 | in M.fromList filteredList 37 | 38 | getNeighbors :: AdjacencyMap -> Vertex -> [Vertex] 39 | getNeighbors adj v = map fst $ M.findWithDefault [] v adj 40 | getNeighborsWithCost :: AdjacencyMap -> Vertex -> [(Vertex,Float)] 41 | getNeighborsWithCost adj v = M.findWithDefault [] v adj 42 | 43 | 44 | data Edge = Edge Vertex Vertex Float -- v1 v2 cost 45 | deriving (Show, Eq) 46 | makeEdge :: Vertex -> Vertex -> String -> Edge 47 | makeEdge v1 v2 cost = Edge v1 v2 (read cost) 48 | 49 | data Connection = Connection Vertex Vertex -- v1 v2 50 | deriving Show 51 | makeConnection :: Vertex -> Vertex -> Connection 52 | makeConnection v1 v2 = Connection v1 v2 53 | 54 | data Vertex = Vertex Int 55 | 56 | instance Show Vertex where 57 | show (Vertex v) = show v 58 | instance Eq Vertex where 59 | (Vertex v1) == (Vertex v2) = v1 == v2 60 | instance Ord Vertex where 61 | compare (Vertex v1) (Vertex v2) = compare v1 v2 62 | makeVertex :: String -> Vertex 63 | makeVertex v = Vertex (read v) 64 | -------------------------------------------------------------------------------- /src/BFS.curry: -------------------------------------------------------------------------------- 1 | module BFS where 2 | 3 | import Types 4 | import Parsers 5 | 6 | import qualified Data.Map as M 7 | import qualified Data.Set as S 8 | import Data.Maybe 9 | import Data.List 10 | import Control.Search.AllValues 11 | import System.IO 12 | 13 | data BFSOptions = BFSOptions { 14 | bfsVertFile :: String 15 | , bfsEdgeFile :: String 16 | , bfsDestFile :: String 17 | , bfsNrMinDests :: Int 18 | , bfsIncDestsByLayer :: Float 19 | , bfsStopAtDests :: Bool 20 | , bfsOutFile :: String 21 | } deriving Show 22 | 23 | runBFS :: BFSOptions -> IO () 24 | runBFS ( 25 | BFSOptions 26 | vertFile edgeFile destFile 27 | nrMinDests incDestsByLayer 28 | stopAtDests 29 | outFile 30 | ) = do 31 | putStrLn "Reading data..." 32 | vertices <- readVertices vertFile 33 | let vm = buildVertexMap vertices 34 | putStrLn $ "Vertices: " ++ show (M.size vm) 35 | edges <- readEdges edgeFile vm 36 | putStrLn $ "Edges: " ++ show (length edges) 37 | putStrLn "Building adjacency map..." 38 | let adj = buildAdjacencyMap edges 39 | putStrLn $ "Size adjacency map: " ++ show (M.size adj) -- to force evaluation 40 | verticesDest <- readVertices destFile 41 | let verticesDestSet = S.fromList verticesDest 42 | putStrLn $ "Destination vertices: " ++ show (S.size verticesDestSet) 43 | putStrLn "Searching..." 44 | h <- openFile outFile WriteMode 45 | hPutStrLn h "v1,v2,sum_cost" -- csv header 46 | mapM_ (bfsNClosest h adj verticesDestSet nrMinDests incDestsByLayer stopAtDests) verticesDest 47 | hFlush h 48 | hClose h 49 | putStrLn "Done" 50 | 51 | bfsNClosest :: Handle -> AdjacencyMap -> S.Set Vertex -> Int -> Float -> Bool -> Vertex -> IO () 52 | bfsNClosest h adj destinationSet nrMinDests incDestsByLayer stopAtDests start = do 53 | destInLayers <- getOneValue $ bfsLayersPruned adj destinationSet nrMinDests incDestsByLayer stopAtDests start 54 | case destInLayers of 55 | Nothing -> return () 56 | Just layers -> writeBFSResults h start layers 57 | 58 | bfsLayersPruned :: AdjacencyMap -> S.Set Vertex -> Int -> Float -> Bool -> Vertex -> [[Vertex]] 59 | bfsLayersPruned adj destinationSet nrMinDests incDestsByLayer stopAtDests start = 60 | go S.empty 0 (fromInt nrMinDests) [start] 61 | where 62 | go _ _ _ [] = [] 63 | go visited nrDestsFound nrDestsToStop layer 64 | | nrDestsFound >= nrDestsToStop = [] 65 | | otherwise = 66 | let (foundDestinations,expandable) = case stopAtDests of 67 | True -> partition (\x -> S.member x destinationSetWithoutFocal) layer 68 | False -> (filter (\x -> S.member x destinationSetWithoutFocal) layer, layer) 69 | newNrDestsFound = nrDestsFound + fromInt (length foundDestinations) 70 | nowVisited = S.union visited (S.fromList layer) 71 | nextLayer = nub $ concatMap (\v -> filter (isNotAlreadyVisited nowVisited) (getNeighbors adj v)) expandable 72 | in foundDestinations:(go nowVisited newNrDestsFound (nrDestsToStop+incDestsByLayer) nextLayer) 73 | isNotAlreadyVisited :: S.Set Vertex -> Vertex -> Bool 74 | isNotAlreadyVisited visited v = not $ S.member v visited 75 | destinationSetWithoutFocal :: S.Set Vertex 76 | destinationSetWithoutFocal = S.delete start destinationSet 77 | 78 | writeBFSResults :: Handle -> Vertex -> [[Vertex]] -> IO () 79 | writeBFSResults h start layers = do 80 | let indexedLayers = zip [1..] (drop 1 layers) -- skip layer 0: assumed to be always [] 81 | triples = [(start, v, layerIdx) | (layerIdx, verts) <- indexedLayers, v <- verts] 82 | mapM_ (\(from, to, cost) -> hPutStrLn h (show from ++ "," ++ show to ++ "," ++ show cost)) triples 83 | 84 | 85 | 86 | 87 | 88 | 89 | -------------------------------------------------------------------------------- /src/LCP.curry: -------------------------------------------------------------------------------- 1 | module LCP where 2 | 3 | import Types 4 | import Parsers 5 | 6 | import System.IO 7 | import Data.List 8 | import Data.Maybe (fromJust, catMaybes) 9 | import qualified Data.Map as M 10 | import qualified Data.Set as S 11 | import Control.Search.AllValues 12 | import System.Random 13 | 14 | data LCPOptions = LCPOptions { 15 | lcpVertFile :: String 16 | , lcpEdgeFile :: String 17 | , lcpConnectionFile :: String 18 | , lcpOmissionStrategy :: OmissionStrategy 19 | , lcpDestFile :: Maybe String 20 | , lcpNrPaths :: Int 21 | , lcpSeed :: Maybe Int 22 | , lcpOutFile :: String 23 | } 24 | 25 | data OmissionStrategy = OmitNone | OmitDests | FilterInHindsight 26 | 27 | runLCP :: LCPOptions -> IO () 28 | runLCP ( 29 | LCPOptions 30 | vertFile edgeFile connectionFile 31 | omissionStrategy maybeDestFile 32 | nrPaths maybeSeed 33 | outFile 34 | ) = do 35 | putStrLn "Reading data..." 36 | vertices <- readVertices vertFile 37 | let vm = buildVertexMap vertices 38 | putStrLn $ "Vertices: " ++ show (M.size vm) 39 | edges <- readEdges edgeFile vm 40 | putStrLn $ "Edges: " ++ show (length edges) 41 | putStrLn "Building adjacency map..." 42 | let adj = buildAdjacencyMap edges 43 | putStrLn $ "Size adjacency map: " ++ show (M.size adj) -- to force evaluation 44 | connections <- readConnections connectionFile vm 45 | putStrLn $ "Connections: " ++ show (length connections) 46 | dests <- case maybeDestFile of 47 | Nothing -> return S.empty 48 | Just destFile -> do 49 | verticesDest <- readVertices destFile 50 | let verticesDestSet = S.fromList verticesDest 51 | putStrLn $ "Destination vertices: " ++ show (S.size verticesDestSet) 52 | return verticesDestSet 53 | putStrLn "Searching..." 54 | h <- openFile outFile WriteMode 55 | hPutStrLn h "v1,v2,sum_cost,path" -- csv header 56 | pathsForConnections h adj connections omissionStrategy dests nrPaths maybeSeed 57 | hFlush h 58 | hClose h 59 | putStrLn "Done" 60 | 61 | pathsForConnections :: Handle 62 | -> AdjacencyMap -> [Connection] 63 | -> OmissionStrategy -> (S.Set Vertex) 64 | -> Int -> (Maybe Int) -> IO () 65 | pathsForConnections h adj cons omissionStrategy dests nrPaths maybeSeed = do 66 | seed <- case maybeSeed of 67 | Nothing -> getRandomSeed 68 | Just x -> return x 69 | let rands = take (length cons) $ nextInt seed 70 | mapM_ (\(con@(Connection start end), rand) -> do 71 | putStrLn $ show con 72 | hFlush stdout 73 | let toOmit = S.deleteAll [start, end] dests 74 | paths <- case omissionStrategy of 75 | OmitDests -> getOneValue $ dijkstraMulti adj con [] toOmit nrPaths rand 76 | otherwise -> getOneValue $ dijkstraMulti adj con [] S.empty nrPaths rand 77 | case paths of 78 | Nothing -> return () 79 | Just paths' -> do 80 | let filteredPaths = case omissionStrategy of 81 | FilterInHindsight -> filter (\p -> not $ shouldBeOmitted toOmit p) paths' 82 | otherwise -> paths' 83 | mapM_ (writePath h con) $ filteredPaths 84 | ) $ zip cons rands 85 | 86 | shouldBeOmitted :: (S.Set Vertex) -> Path -> Bool 87 | shouldBeOmitted toOmit (vs,_) = any (\v -> S.member v toOmit) vs 88 | 89 | type Path = ([Vertex], Float) 90 | 91 | writePath :: Handle -> Connection -> Path -> IO () 92 | writePath h (Connection v1 v2) (vs,cost) = 93 | hPutStrLn h $ intercalate "," [show v1, show v2, show cost, showPath vs] 94 | showPath :: [Vertex] -> String 95 | showPath = intercalate ";" . map show 96 | 97 | dijkstraMulti :: AdjacencyMap -> Connection -> [Path] -> (S.Set Vertex) -> Int -> Int -> [Path] 98 | dijkstraMulti _ _ acc _ 0 _ = reverse acc 99 | dijkstraMulti adj con acc toOmit nrPaths seed = 100 | case dijkstra adj con toOmit of 101 | Nothing -> do 102 | dijkstraMulti adj con acc toOmit (nrPaths-1) (seed+1) 103 | Just p@(vertices,_) -> do 104 | let verticesWithoutStartEnd = tail $ init vertices 105 | -- remove all used vertices 106 | --let newAdj = removeVertices adj verticesWithoutStartEnd 107 | -- remove random vertex 108 | --let randomVertexToRemove = head $ shuffle seed verticesWithoutStartEnd 109 | -- remove weighted random vertex 110 | let randomVertexToRemove = getBiasedMiddleVertex seed verticesWithoutStartEnd 111 | newAdj = removeVertices adj (S.singleton randomVertexToRemove) 112 | dijkstraMulti newAdj con (p:acc) toOmit (nrPaths-1) (seed+1) 113 | 114 | getBiasedMiddleVertex :: Int -> [Vertex] -> Vertex 115 | getBiasedMiddleVertex seed vs = 116 | let n = length vs 117 | midIndex = n `div` 2 118 | maxWeight = midIndex + 1 119 | -- create weighted list: middle gets maxWeight copies, edges get fewer 120 | weighted = concat [ replicate (maxWeight - abs (i - midIndex)) v | (v,i) <- zip vs [0..] ] 121 | shuffled = shuffle seed weighted 122 | in head shuffled 123 | 124 | dijkstra :: AdjacencyMap -> Connection -> (S.Set Vertex) -> Maybe Path 125 | dijkstra adj (Connection start end) toOmit = go [(start,0,[start])] S.empty 126 | where 127 | go [] _ = Nothing 128 | go ((curPos,curCost,curPath):queue) visited 129 | | curPos == end = Just (reverse curPath, curCost) 130 | | curPos `S.member` visited = go queue visited 131 | | otherwise = 132 | let neighbors = getNeighborsWithCost adj curPos 133 | --updatedQueue = foldl update queue neighbors 134 | neighborsOmit = filter (\(v,_) -> not (S.member v toOmit)) neighbors 135 | updatedQueue = foldl update queue neighborsOmit 136 | in go updatedQueue (S.insert curPos visited) 137 | where 138 | update :: [(Vertex,Float,[Vertex])] -> (Vertex,Float) -> [(Vertex,Float,[Vertex])] 139 | update accQueue (neighborVertex, edgeWeight) 140 | | neighborVertex `S.member` visited = accQueue 141 | | otherwise = insertBy (\(_,c1,_) (_,c2,_) -> c1 < c2) 142 | (neighborVertex, curCost+edgeWeight, neighborVertex:curPath) 143 | accQueue 144 | 145 | 146 | 147 | -------------------------------------------------------------------------------- /src/Main.curry: -------------------------------------------------------------------------------- 1 | module Main where 2 | 3 | import LCP 4 | import BFS 5 | 6 | import Data.List 7 | import Data.Maybe 8 | import OptParse ((<.>)) 9 | import qualified OptParse as OP 10 | import System.Environment 11 | import Data.Global 12 | import System.IO 13 | import System.IO.Unsafe 14 | 15 | data Options = Options { com :: Command } 16 | data Command = 17 | NoCommand 18 | | LCP LCPOptions 19 | | BFS BFSOptions 20 | 21 | defaultOptions :: Options 22 | defaultOptions = Options NoCommand 23 | 24 | applyEither :: [Options -> Either String Options] -> Options -> Either String Options 25 | applyEither [] z = Right z 26 | applyEither (f:fs) z = case f z of 27 | Left err -> Left err 28 | Right z' -> applyEither fs z' 29 | applyParse :: [Options -> Either String Options] -> Either String Options 30 | applyParse fs = applyEither fs defaultOptions 31 | 32 | main :: IO () 33 | main = do 34 | args <- getArgs 35 | parseResult <- return $ OP.parse (intercalate " " args) cmdParser "currygraph" 36 | case parseResult of 37 | Left err -> putStrLn err 38 | Right r -> 39 | case applyParse r of 40 | Left err -> do putStrLn err 41 | Right opts -> runWithArgs opts 42 | 43 | runWithArgs :: Options -> IO () 44 | runWithArgs (Options (LCP opts)) = runLCP opts 45 | runWithArgs (Options (BFS opts)) = runBFS opts 46 | 47 | -- parsers 48 | 49 | -- general 50 | docVertFile :: OP.Mod 51 | docVertFile = OP.long "vertFile" 52 | OP.<> OP.short "v" 53 | OP.<> OP.metavar "PATH" 54 | OP.<> OP.help ".csv file. One row for each vertex, columns: id, long, lat." 55 | parseVertFileLCP = 56 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpVertFile = s}}) docVertFile 57 | parseVertFileBFS = 58 | OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsVertFile = s}}) docVertFile 59 | 60 | docEdgeFile :: OP.Mod 61 | docEdgeFile = OP.long "edgeFile" 62 | OP.<> OP.short "e" 63 | OP.<> OP.metavar "PATH" 64 | OP.<> OP.help ".csv file. One row for each edge, columns: v1, v2, cost." 65 | parseEdgeFileLCP = 66 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpEdgeFile = s}}) docEdgeFile 67 | parseEdgeFileBFS = 68 | OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsEdgeFile = s}}) docEdgeFile 69 | 70 | docOutFile :: OP.Mod 71 | docOutFile = OP.long "outFile" 72 | OP.<> OP.short "o" 73 | OP.<> OP.metavar "PATH" 74 | OP.<> OP.help "File path to where the output .csv file should be written." 75 | parseOutFileLCP = 76 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpOutFile = s}}) docOutFile 77 | parseOutFileBFS = 78 | OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsOutFile = s}}) docOutFile 79 | 80 | docVerbose :: OP.Mod 81 | docVerbose = OP.long "verbose" 82 | OP.<> OP.short "v" 83 | OP.<> OP.help "Should the CLI output be more informative? Default: False." 84 | --parseVerboseLCP = 85 | -- OP.flag (\a -> Right $ a {com = LCP (lcpOpts a) {lcpVerbose = True}}) docVerbose 86 | --parseOutFileBFS = 87 | -- OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsOutFile = s}}) docOutFile 88 | 89 | docDestFile :: OP.Mod 90 | docDestFile = OP.long "destFile" 91 | OP.<> OP.short "d" 92 | OP.<> OP.metavar "PATH" 93 | OP.<> OP.help ".csv file. One row for each focal/destination vertex, columns: id." 94 | parseDestFileLCP = 95 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpDestFile = Just s}}) docDestFile 96 | parseDestFileBFS = 97 | OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsDestFile = s}}) docDestFile 98 | 99 | -- only lcp 100 | 101 | docConnectionFile :: OP.Mod 102 | docConnectionFile = OP.long "connectionFile" 103 | OP.<> OP.short "c" 104 | OP.<> OP.metavar "PATH" 105 | OP.<> OP.help ".csv file. One row for each pair of vertices, columns: v1, v2, sum_cost." 106 | parseConnectionFile = 107 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpConnectionFile = s}}) docConnectionFile 108 | 109 | docOmissionStrategy :: OP.Mod 110 | docOmissionStrategy = OP.long "omissionStrategy" 111 | OP.<> OP.metavar "none|omit|filter" 112 | OP.<> OP.help "Strategy how to handle dests in --destFile. Default: none." 113 | parseOmissionStrategy = 114 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpOmissionStrategy = readOmissionStrategy s}}) docOmissionStrategy 115 | readOmissionStrategy :: String -> OmissionStrategy 116 | readOmissionStrategy "none" = OmitNone 117 | readOmissionStrategy "omit" = OmitDests 118 | readOmissionStrategy "filter" = FilterInHindsight 119 | 120 | docNrPaths :: OP.Mod 121 | docNrPaths = OP.long "nrPaths" 122 | OP.<> OP.metavar "INT" 123 | OP.<> OP.help "Number of paths that should be computed for each connection. Default: 1." 124 | parseNrPaths = 125 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpNrPaths = read s}}) docNrPaths 126 | 127 | docSeed :: OP.Mod 128 | docSeed = OP.long "seed" 129 | OP.<> OP.metavar "INT" 130 | OP.<> OP.help "Seed for random number gerneration. Default: Nothing." 131 | parseSeed = 132 | OP.option (\s a -> Right $ a {com = LCP (lcpOpts a) {lcpSeed = Just $ read s}}) docSeed 133 | 134 | -- only bfs 135 | 136 | docNrMinDests :: OP.Mod 137 | docNrMinDests = OP.long "minDests" 138 | OP.<> OP.metavar "INT" 139 | OP.<> OP.help "Minimum number of destinations above which, when found, the search for a \ 140 | \focal point ceases." 141 | parseNrMinDests = 142 | OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsNrMinDests = read s}}) docNrMinDests 143 | 144 | docIncDestsByLayer :: OP.Mod 145 | docIncDestsByLayer = OP.long "incDests" 146 | OP.<> OP.metavar "INT" 147 | OP.<> OP.help "For each layer opened, increase the number of destinations by adding this value. \ 148 | \This allows for more connections for isolated destinations." 149 | parseIncDestsByLayer = 150 | OP.option (\s a -> Right $ a {com = BFS (bfsOpts a) {bfsIncDestsByLayer = read s}}) docIncDestsByLayer 151 | 152 | docStopAtDests :: OP.Mod 153 | docStopAtDests = OP.long "stopAtDests" 154 | OP.<> OP.help "Should the search wave stop at a discovered destination?" 155 | parseStopAtDests = 156 | OP.flag (\a -> Right $ a {com = BFS (bfsOpts a) {bfsStopAtDests = True}}) docStopAtDests 157 | 158 | -- combining parsers 159 | 160 | cmdParser = OP.optParser $ 161 | OP.commands (OP.metavar "COMMAND") ( 162 | OP.command "lcp" (OP.help "Least-cost path search between pairs of vertices.") 163 | (\a -> Right $ a { com = LCP (lcpOpts a) }) ( 164 | parseVertFileLCP 165 | <.> parseEdgeFileLCP 166 | <.> parseConnectionFile 167 | <.> parseOmissionStrategy 168 | <.> parseDestFileLCP 169 | <.> parseNrPaths 170 | <.> parseSeed 171 | <.> parseOutFileLCP 172 | ) OP.<|> 173 | OP.command "bfs" (OP.help "Breadth-first search for the n-nearest neighbors on a graph \ 174 | \between a list of destination vertices.") 175 | (\a -> Right $ a { com = BFS (bfsOpts a) }) ( 176 | parseVertFileBFS 177 | <.> parseEdgeFileBFS 178 | <.> parseDestFileBFS 179 | <.> parseNrMinDests 180 | <.> parseIncDestsByLayer 181 | <.> parseStopAtDests 182 | <.> parseOutFileBFS 183 | ) 184 | ) 185 | 186 | -- default settings 187 | lcpOpts :: Options -> LCPOptions 188 | lcpOpts s = case com s of 189 | LCP opts -> opts 190 | _ -> LCPOptions "" "" "" OmitNone Nothing 1 Nothing "" 191 | bfsOpts :: Options -> BFSOptions 192 | bfsOpts s = case com s of 193 | BFS opts -> opts 194 | _ -> BFSOptions "" "" "" 6 0 False "" 195 | 196 | 197 | 198 | 199 | 200 | 201 | 202 | 203 | -------------------------------------------------------------------------------- /experiments/data/world_destinations.csv: -------------------------------------------------------------------------------- 1 | id,long,lat 2 | 12,131.54575171459908,71.05634912964598 3 | 22,86.32482776607786,73.13987359100534 4 | 41,21.105606573354724,69.90832340496299 5 | 49,86.8943934266453,69.90832340496299 6 | 60,158.89439342664528,69.90832340496299 7 | 65,-171.03669645502706,66.48981024509379 8 | 68,-162,64.6260204708312 9 | 81,-54,68.32213740025446 10 | 85,18.000000000000007,68.32213740025446 11 | 86,29.253613911465788,68.13244207623163 12 | 87,34.72112022706768,67.75700547356386 13 | 92,54,64.6260204708312 14 | 99,93.1056065733547,69.90832340496299 15 | 128,133.9229666723121,62.61720268018037 16 | 131,143.91557490000403,65.8852213357957 17 | 136,166.8269080740298,64.95265354411322 18 | 141,-169.9229666723121,62.61720268018037 19 | 172,-35.91557490000404,65.8852213357957 20 | 173,-18,62.81359336160486 21 | 184,31.03333147986966,66.3142814826434 22 | 193,62.44832521566649,64.55412378334077 23 | 194,67.06199412368682,65.29474755640541 24 | 195,71.91557490000405,65.88522133579569 25 | 213,155.1953065560439,63.21970347780903 26 | 218,-174.21867915101905,63.37988279340861 27 | 221,-162,61.00116625237852 28 | 228,-126.00000000000001,65.02715848251493 29 | 247,-6.530539592787312,61.46162561131814 30 | 251,11.195306556043915,63.21970347780903 31 | 252,18.000000000000007,65.02715848251492 32 | 253,24.804693443956094,63.21970347780903 33 | 262,66.21867915101906,63.37988279340861 34 | 263,70.72903945654343,64.00402214322202 35 | 270,113.78132084898094,63.37988279340861 36 | 293,-141.9333107663374,62.631239305823485 37 | 307,-74.3161109407346,62.11534502982725 38 | 324,33.93331076633741,62.63123930582347 39 | 326,39.24660780946437,60.220644900754756 40 | 329,54.00000000000001,59.18873914315216 41 | 331,61.4742492576801,60.80993263928322 42 | 336,87.72460034993777,63.358601287124145 43 | 353,166.2963713831768,61.657205145349934 44 | 363,-151.15273792877477,59.66498382440864 45 | 364,-144.20910434514457,58.90454890054958 46 | 366,-136.12176944815204,59.685027148694104 47 | 367,-130.2963713831768,61.65720514534995 48 | 370,-115.87823055184798,59.685027148694104 49 | 393,13.703628616823218,61.65720514534995 50 | 396,28.121769448152033,59.685027148694104 51 | 397,35.13464631727252,60.77229692050398 52 | 401,50.54036080619047,58.235766608420924 53 | 407,72.86535368272749,60.77229692050399 54 | 408,79.87823055184796,59.685027148694104 55 | 410,90,61.72243721458838 56 | 411,94.29637138317678,61.657205145349934 57 | 444,-103.98840317230734,58.438249850910836 58 | 465,11.897512270882036,59.92856160326416 59 | 466,15.960860404623109,60.05107775208465 60 | 472,47.27380991557361,57.19086999961206 61 | 474,54.00000000000001,55.56388492469949 62 | 497,156.46196782716333,56.62409680723172 63 | 530,-90,53.751457815473145 64 | 549,-8.640488045600188,54.2577550757737 65 | 557,23.53803217283666,56.62409680723172 66 | 559,29.527839873697786,57.89091207738344 67 | 568,57.00674783781452,52.79262603310994 68 | 601,126,50.126603597020456 69 | 606,138.11085757955254,52.942446822332776 70 | 615,169.06056534389347,54.76956324335592 71 | 621,-174.11085757955254,52.942446822332776 72 | 629,-133.06056534389347,54.76956324335592 73 | 630,-129.53947831108826,54.92560047199634 74 | 631,-126,54.977769743698914 75 | 644,-87.15431736179517,50.84324254535421 76 | 669,9.539664830445815,52.900563456815824 77 | 671,18,54.977769743698914 78 | 673,25.060565343893472,54.76956324335591 79 | 674,26.460335169554195,52.900563456815824 80 | 676,31.863184028545664,54.24411914991746 81 | 679,41.88914242044744,52.942446822332776 82 | 680,45.073712546631015,52.325689977307185 83 | 699,98.46033516955418,52.90056345681582 84 | 707,120.4430379919215,49.68148645819179 85 | 711,134.13852243406566,48.459436754900814 86 | 713,137.5710008147664,51.02396591654062 87 | 714,140.70114450985147,51.570742688348275 88 | 731,-131.092059715675,53.09892682206953 89 | 734,-119.47388519354453,51.2562014752847 90 | 736,-110.27015789464795,50.542416162017155 91 | 745,-81.47932523251713,50.39286848347058 92 | 759,-3.2988554901485134,51.57074268834827 93 | 760,2.2701578946479577,50.542416162017155 94 | 761,6.334327786455725,52.68822995409387 95 | 762,11.47388519354454,51.25620147528469 96 | 784,88.29997745549933,53.19851736349893 97 | 788,105.72984210535205,50.542416162017155 98 | 792,117.86147756593431,48.459436754900814 99 | 794,126,46.501749378567766 100 | 796,131.3611998005851,47.86651514946464 101 | 797,136.59606559884887,47.18240487661381 102 | 810,-126,51.446787708173034 103 | 811,-121.27334553186921,49.58218038170502 104 | 813,-113.30618343219061,50.85527692270423 105 | 814,-109.44378240020237,48.681567696919195 106 | 817,-100.59606559884885,47.18240487661381 107 | 818,-95.3611998005851,47.866515149464654 108 | 838,1.4437824002023714,48.681567696919195 109 | 839,5.3061834321906,50.85527692270424 110 | 842,18,51.44678770817302 111 | 846,30.693816567809403,50.85527692270423 112 | 863,86.72997807285603,51.39905072613075 113 | 868,106.55621759979763,48.681567696919195 114 | 873,123.3525651906852,47.212993089050634 115 | 886,-127.57759889351067,49.673723767250564 116 | 887,-122.95251504755751,47.88212248471105 117 | 888,-118.28060128620584,49.46511037964414 118 | 889,-115.30605725761815,49.27522117044704 119 | 890,-112.35790740877242,49.013567738811666 120 | 898,-87.43919405137767,45.397694840151985 121 | 899,-84.81786476885605,46.05107605452461 122 | 914,-4.5151663822057655,47.762834999510495 123 | 918,10.28060128620584,49.46511037964414 124 | 928,46.138383969141316,46.64682786179769 125 | 943,93.04748495244249,47.88212248471105 126 | 964,-117.17724957164356,47.66114134299039 127 | 965,-114.31506926099517,47.44668504581853 128 | 973,-87.5187768275853,43.582298837139774 129 | 975,-82.39226683947628,44.833248517021104 130 | 989,9.177249571643568,47.66114134299039 131 | 990,12.058854567986657,47.80653698000372 132 | 991,19.475739452099774,46.15914590370987 133 | 994,29.684930739004837,47.44668504581853 134 | 996,38.83503566526738,44.48272897337312 135 | 997,43.75174073529927,45.37402351946386 136 | 1027,143.28998952477386,43.06879902768981 137 | 1032,-124.52426054790023,46.15914590370988 138 | 1033,-123.28907148487266,44.41286958766443 139 | 1038,-107.96056504663709,44.944109354089896 140 | 1045,-90,41.06446805088874 141 | 1051,-77.85032150403352,42.24775486136504 142 | 1052,-72.71001047522614,43.06879902768983 143 | 1061,-8.365971196379322,41.75268920574642 144 | 1062,-5.850321504033523,42.24775486136504 145 | 1063,-0.7100104752261343,43.06879902768981 146 | 1066,7.199145967047731,44.02071634571647 147 | 1068,12.581394414124764,44.345731109885655 148 | 1070,16.524260547900237,46.15914590370988 149 | 1071,18.000000000000004,44.41594201744715 150 | 1072,23.41860558587524,44.345731109885655 151 | 1074,28.800854032952277,44.02071634571646 152 | 1079,41.85032150403353,42.247754861365024 153 | 1080,44.36597119637932,41.75268920574642 154 | 1081,46.841041383496304,41.20362240524786 155 | 1082,49.2729988886972,40.60247539669193 156 | 1116,-124.75890238721124,42.60249108905913 157 | 1121,-75.29714579241265,42.68701306776731 158 | 1124,1.1295744527151668,41.48738624526435 159 | 1126,19.241097612788764,42.60249108905913 160 | 1128,39.29714579241265,42.687013067767296 161 | 1132,73.12957445271516,41.48738624526435 162 | 1133,88.75890238721124,42.60249108905913 163 | 1136,111.29714579241265,42.687013067767296 164 | 1138,126,37.439613832436045 165 | 1150,-123.58826578758146,40.776404997874735 166 | 1151,-121.02336302200781,40.71439184618845 167 | 1152,-118.46568236776864,40.59298549494049 168 | 1153,-115.91979505356727,40.412643232947644 169 | 1155,-110.88073359725415,39.87806871537567 170 | 1170,-83.11383140303582,39.26852367193415 171 | 1182,-8.70673200472289,39.825782377152095 172 | 1188,7.919795053567268,40.412643232947644 173 | 1191,15.588265787581475,40.77640499787474 174 | 1192,20.411734212418533,40.77640499787472 175 | 1193,22.976636977992197,40.714391846188455 176 | 1195,28.08020494643274,40.412643232947644 177 | 1197,33.11926640274586,39.87806871537565 178 | 1198,37.26845188078019,41.179820446126264 179 | 1200,42.261637068179375,40.331203224725904 180 | 1202,44.706732004722895,39.825782377152095 181 | 1203,45.033999493444924,37.898446231836296 182 | 1207,49.685996734302904,36.720191259716245 183 | 1209,54,35.627186723209704 184 | 1210,58.31400326569712,36.720191259716245 185 | 1211,58.519247652383434,38.66123736285649 186 | 1212,60.62124936074749,37.33337816373482 187 | 1214,62.96600050655509,37.898446231836296 188 | 1215,63.293267995277105,39.8257823771521 189 | 1235,116.7067320047229,39.8257823771521 190 | 1244,134.65045496791697,35.97076305247888 191 | 1248,-122.48046714615135,38.93912412762497 192 | 1249,-119.98129443571854,38.850558385692985 193 | 1254,-105.70509730739867,37.394519929425435 194 | 1257,-96.36300875052348,35.398234463380106 195 | 1258,-92.09551334937889,34.37469158816008 196 | 1260,-87.90448665062111,34.37469158816008 197 | 1261,-83.63699124947654,35.398234463380106 198 | 1262,-81.34954503208303,35.9707630524789 199 | 1274,9.490655135660315,38.704745946544364 200 | 1278,21.519532853848656,38.93912412762498 201 | 1279,24.018705564281472,38.850558385692985 202 | 1285,43.028669540962,36.49533145671721 203 | 1286,45.349545032083036,35.97076305247888 204 | 1304,98.50934486433968,38.704745946544364 205 | 1305,100.98740874060184,38.50219990784004 206 | 1309,115.028669540962,36.49533145671721 207 | 1313,126,33.814759613983355 208 | 1317,136.6111780502028,34.57626210713851 209 | 1321,-121.42878935130503,37.09190258539345 210 | 1322,-118.99089982647175,36.9784896087147 211 | 1326,-109.65927507652215,36.11816464589752 212 | 1328,-100.61117805020281,34.57626210713853 213 | 1329,-98.34508666373765,34.042804838911 214 | 1333,-87.94861018249843,32.55907076825289 215 | 1341,-2.7696207479460915,35.49874775229291 216 | 1346,10.990899826471741,36.978489608714696 217 | 1347,13.42878935130503,37.09190258539345 218 | 1350,22.57121064869498,37.09190258539344 219 | 1355,36.563438708040536,35.82699322553883 220 | 1361,54,32.002332504757014 221 | 1364,62.34508666373767,34.042804838911 222 | 1367,71.43656129195948,35.82699322553883 223 | 1378,101.85275938322732,36.58656925553309 224 | 1379,104.10321003513482,36.37156425863507 225 | 1395,-120.4272939547152,35.2358373939336 226 | 1396,-118.04653412412114,35.09912818611635 227 | 1398,-113.47161456436035,34.720683723080356 228 | 1399,-111.2779071964891,34.49511064454511 229 | 1400,-109.09660557744087,34.232929084297275 230 | 1404,-94.0425392477407,31.267792762325314 231 | 1405,-92.01035615597266,30.743414432790757 232 | 1406,-90,30.189905395530673 233 | 1407,-87.98964384402734,30.743414432790757 234 | 1409,-83.90397720950831,31.76207096936013 235 | 1431,34.90339442255915,34.232929084297275 236 | 1432,37.070673122470325,33.93473768417974 237 | 1434,43.73589244757176,32.656577944654494 238 | 1435,47.903977209508305,31.762070969360117 239 | 1443,68.77756884347343,33.60120193513297 240 | 1444,70.92932687752969,33.93473768417973 241 | 1445,73.09660557744087,34.232929084297254 242 | 1446,75.2779071964891,34.49511064454509 243 | 1455,100.32399833702092,34.90912184800024 244 | 1456,102.52838543563965,34.720683723080356 245 | 1479,-117.14320663167537,33.21330129254366 246 | 1480,-114.983092925047,33.04951717163172 247 | 1487,-95.97637314614789,29.943499908956227 248 | 1494,-81.99258047866127,30.407224322466476 249 | 1510,11.470712229388916,33.371892688598656 250 | 1519,35.43844680695389,32.3446554284776 251 | 1524,48.02362685385209,29.94349990895622 252 | 1526,52.02784580986324,28.927726314264717 253 | 1532,66.123932420436,31.242049955403772 254 | 1533,68.34427212656496,31.702077688788577 255 | 1534,70.44563775012351,32.04023001289988 256 | 1537,76.83173419377678,32.84984225261036 257 | 1538,81.14320663167537,33.213301292543655 258 | 1547,103.16826580622322,32.84984225261035 259 | 1552,117.99258047866127,30.407224322466462 260 | 1553,120.02362685385211,29.943499908956227 261 | 1557,127.93655527490367,27.11201035310853 262 | 1558,129.89166222923126,27.632162768044488 263 | 1576,-116.43666128042378,31.360005140614696 264 | 1578,-112.22408598731013,30.97453672600173 265 | 1579,-110.1320496992472,30.730782082242335 266 | 1585,-97.85589923767222,28.58862421386523 267 | 1620,31.77591401268987,30.974536726001723 268 | 1622,35.94871300717921,30.45365357226941 269 | 1637,65.88837551800565,29.427837644437666 270 | 1640,72.05128699282079,30.45365357226941 271 | 1641,74.13204969924719,30.730782082242328 272 | 1642,76.22408598731015,30.974536726001723 273 | 1643,78.32608624922698,31.18442198082918 274 | 1649,91.06528399815373,31.7130454549862 275 | 1654,101.67391375077302,31.184421980829192 276 | 1655,103.77591401268985,30.974536726001723 277 | 1658,110.01698053807662,30.143705606904945 278 | 1673,124.82376413822402,25.093960081605744 279 | 1703,-113.32541930985731,29.278794859256053 280 | 1705,-109.20762298071567,28.793748488173527 281 | 1744,9.477734090424505,29.631760856491802 282 | 1750,22.1884561199009,29.828442139863668 283 | 1753,26.522265909575502,29.631760856491788 284 | 1755,30.674580690142708,29.278794859256045 285 | 1756,32.73841093459671,29.052569173670392 286 | 1769,50.901595872485885,25.62395588530842 287 | 1772,57.09840412751413,25.62395588530842 288 | 1785,75.26158906540329,29.052569173670406 289 | 1787,80.44044232230264,27.754225122374322 290 | 1788,81.4777340904245,29.631760856491788 291 | 1789,83.72096933419371,29.742836672598244 292 | 1790,84.84726331451508,27.97487500087758 293 | 1791,85.81154388009911,29.828442139863668 294 | 1795,95.15273668548494,27.97487500087758 295 | 1796,96.27903066580629,29.742836672598244 296 | 1798,99.55955767769736,27.754225122374322 297 | 1799,100.60210417249918,29.471985155084212 298 | 1800,102.67458069014269,29.278794859256045 299 | 1803,109.69694297152564,26.54895128158463 300 | 1804,110.8662252095399,28.18036937226799 301 | 1809,119.00644806427313,26.603734083601694 302 | 1812,121.76738662474432,24.127584441306553 303 | 1814,123.67556736445009,23.613815736156894 304 | 1888,67.2104580325806,24.300624238487558 305 | 1891,74.33007986933636,27.125589469151087 306 | 1892,76.3586229767803,27.367090313450518 307 | 1894,82.64183364662568,27.878580448447664 308 | 1895,85.93713498519172,26.19803776629883 309 | 1896,86.90703448459783,28.041301086581434 310 | 1897,88.96879037827308,28.07454799248694 311 | 1898,91.03120962172692,28.07454799248694 312 | 1899,94.06286501480828,26.19803776629883 313 | 1900,97.35816635337432,27.878580448447664 314 | 1901,100.56160273812112,25.869213259914503 315 | 1902,101.604212683373,27.576765466239863 316 | 1904,105.66992013066364,27.125589469151087 317 | 1905,108.56056289390105,24.908260621688854 318 | 1906,112.78954196741941,24.300624238487558 319 | 1907,114.8895043040917,23.961070161707283 320 | 1909,120.65844571861757,22.62366997210178 321 | 1910,122.55309060253822,22.125415373708933 322 | 1996,78.46788661249823,23.977537746305273 323 | 1998,83.7673363496497,26.115226577273482 324 | 1999,86.99416646793416,24.413235749782174 325 | 2000,87.96796740810235,26.246376859249878 326 | 2002,93.00583353206585,24.413235749782174 327 | 2004,98.39920451693392,26.005550324370773 328 | 2005,101.53211338750177,23.977537746305273 329 | 2006,102.57360841217077,25.675163432189123 330 | 2007,104.5780901046315,25.45004647291664 331 | 2008,107.45408888961515,23.259187023105483 332 | 2010,113.70436160971954,22.35099925247785 333 | 2013,121.45413914703143,20.629503406797767 334 | 2048,-104.37041225126607,22.676718206535995 335 | 2050,-99.37373920104328,20.040325963458756 336 | 2051,-96.42746386039418,21.11293364418512 337 | 2077,16.021657496289112,22.621299511459114 338 | 2101,77.5255179236114,22.07993523101935 339 | 2103,82.72424712477907,24.24644325724684 340 | 2104,84.85790192084238,24.3426951499802 341 | 2107,91.97834250371088,22.621299511459114 342 | 2108,95.14209807915762,24.34269514998023 343 | 2109,97.27575287522093,24.24644325724684 344 | 2110,99.40601222109215,24.12465354851544 345 | 2111,102.4744820763886,22.07993523101935 346 | 2112,103.5138760260696,23.767917033383156 347 | 2119,122.62533385460605,19.176210506310696 348 | 2153,-96.68140691406924,17.617890840859218 349 | 2156,-88.87500348384552,19.200948741518673 350 | 2161,-77.4441330824072,18.777875030407856 351 | 2176,9.714330006476516,22.369437072136364 352 | 2204,83.81423509801962,22.477892102085406 353 | 2205,85.91690967235466,22.56189484441417 354 | 2207,94.08309032764534,22.56189484441417 355 | 2209,98.28566999352348,22.369437072136364 356 | 2210,100.38212765759064,22.236712111417205 357 | 2212,109.3960457984916,19.40093529418283 358 | 2218,122.68935582090515,16.21740525618621 359 | 2263,-99.69981934632794,16.471138667244233 360 | 2264,-98.53853663983061,18.073649666724364 361 | 2265,-97.72186102490373,16.1034623210048 362 | 2267,-91.10363342154977,16.240232956886032 363 | 2268,-88.89636657845023,16.240232956886032 364 | 2270,-84.483111564252,16.171789001374165 365 | 2276,-72.31730213595785,17.75073540504603 366 | 2291,-0.3173021359578468,17.750735405046015 367 | 2310,38.32319466317271,17.460435416386957 368 | 2313,44.300180653672044,16.471138667244233 369 | 2326,73.69487660625518,18.020581708523125 370 | 2327,75.71299061657862,18.269578861317754 371 | 2328,76.60817690762686,20.177077140990406 372 | 2331,81.81995840898043,18.72348848758851 373 | 2332,83.86199264260937,18.83087814851349 374 | 2338,96.13800735739065,18.83087814851349 375 | 2339,98.18004159101957,18.72348848758851 376 | 2340,100.21921703953184,18.594005032637156 377 | 2341,104.28700938342138,18.269578861317754 378 | 2349,120.483111564252,16.171789001374137 379 | 2360,-95.516888435748,16.171789001374165 380 | 2365,2.657815733606601,16.44235642918899 381 | 2375,76.77702705999911,16.620634935800766 382 | 2379,105.34218426639339,16.44235642918899 383 | 2381,119.42050984107088,14.514187012764026 384 | 2383,123.80623062805873,14.602020143063811 385 | 2394,145.62235074306886,14.60995719986552 386 | 2443,-92.19376937194129,14.602020143063825 387 | 2444,-90,14.613013691056949 388 | 2445,-87.80623062805871,14.60202014306384 389 | 2447,-84.54656038417384,12.919464639719578 390 | 2448,-83.42050984107088,14.51418701276404 391 | 2465,-18.000000000000004,14.613013691056935 392 | 2472,-4.3139717549217504,13.735003788384063 393 | 2473,-2.3407272861485406,14.045361914604186 394 | 2480,13.864203082428842,15.436529244641264 395 | 2481,15.879532669924975,15.50238090370219 396 | 2490,38.34072728614854,14.045361914604186 397 | 2507,73.62235074306889,14.60995719986552 398 | 2509,79.82940963554213,15.114609748725414 399 | 2517,98.16127330806546,15.242504143086407 400 | 2518,100.17059036445787,15.1146097487254 401 | 2520,106.37764925693111,14.60995719986552 402 | 2521,108.36187631107389,14.337146242323897 403 | 2527,121.658299418616,11.319980937119169 404 | 2537,144.60403297085276,12.773066135286896 405 | 2578,-82.39520429678493,12.995264342208415 406 | 2588,-16.90910978081256,12.982889842707806 407 | 2590,-13.658299418616004,11.319980937119169 408 | 2593,-5.290408195507178,11.869005201622471 409 | 2594,-3.3307585936885484,12.188156952676962 410 | 2597,2.684441659060651,12.961993477296843 411 | 2602,14.847196049069622,13.736415196492345 412 | 2604,21.152803950930377,13.736415196492345 413 | 2611,37.36588469123492,12.48964502713794 414 | 2612,39.33075859368855,12.188156952676962 415 | 2613,41.29040819550717,11.869005201622471 416 | 2618,52.90910978081256,12.982889842707806 417 | 2627,74.68444165906064,12.961993477296843 418 | 2639,105.31555834093936,12.961993477296843 419 | 2640,107.39596702914723,12.773066135286896 420 | 2653,137.7426930439371,10.001580556958515 421 | 2654,139.69049681860645,10.328735160080143 422 | 2702,-83.52132298544244,11.400808006404077 423 | 2704,-78.2573069560629,10.001580556958544 424 | 2706,-72.39956988982374,10.932329141116782 425 | 2713,-15.828969782895246,11.350482882701328 426 | 2714,-14.757663734800527,9.716391663459873 427 | 2715,-10.509034441651453,9.877325255903784 428 | 2718,-4.309503181393549,10.328735160080143 429 | 2719,-2.3568786085201863,10.63912083657604 430 | 2720,-0.39956988982374875,10.932329141116782 431 | 2722,3.7301347336826236,11.308327124486823 432 | 2724,9.853884426377862,11.770750603225451 433 | 2725,11.841253765541829,11.87808711070177 434 | 2726,13.83032142008976,11.966223404342827 435 | 2727,18,11.988161114748976 436 | 2730,24.158746234458167,11.87808711070177 437 | 2734,34.33584480181223,11.12519991031634 438 | 2735,36.39956988982375,10.932329141116782 439 | 2737,40.30950318139356,10.328735160080143 440 | 2738,42.257306956062905,10.001580556958515 441 | 2752,75.73013473368262,11.308327124486823 442 | 2753,79.86853505067441,11.644363313016498 443 | 2764,106.33584480181221,11.12519991031634 444 | 2765,108.39956988982374,10.932329141116782 445 | 2770,117.50812116520684,8.349545284090027 446 | 2772,123.84652792372971,8.109326983488899 447 | 2776,134.49187883479314,8.349545284090027 448 | 2830,-84.63378547377356,9.801390519102881 449 | 2831,-82.50903444165145,9.877325255903813 450 | 2833,-77.27920590781207,8.467661222544834 451 | 2837,-67.23859337788052,9.649587785134557 452 | 2840,-11.621660955373013,8.277777105654252 453 | 2841,-9.508121165206859,8.349545284090027 454 | 2842,-7.393943141148254,8.412870787543909 455 | 2843,-5.2792059078120745,8.46766122254482 456 | 2844,-3.337143728693735,8.786160925784813 457 | 2845,-1.3907794817248689,9.088359235674645 458 | 2846,0.65800147658087,9.284303141238397 459 | 2847,2.708745991417497,9.471461361537635 460 | 2848,4.7614066221194715,9.649587785134557 461 | 2849,8.87224018525341,9.977798725029317 462 | 2850,10.84862033871655,10.094313570605806 463 | 2851,12.826694166101486,10.192418842440148 464 | 2852,16.965279414945503,10.222700914282683 465 | 2853,19.034720585054497,10.222700914282683 466 | 2854,21.10410230042358,10.212603574583909 467 | 2855,23.173305833898514,10.192418842440148 468 | 2858,31.23859337788053,9.649587785134557 469 | 2859,33.291254008582506,9.471461361537635 470 | 2860,35.34199852341912,9.284303141238397 471 | 2863,41.27920590781206,8.46766122254482 472 | 2878,76.76140662211948,9.649587785134543 473 | 2887,99.12775981474658,9.977798725029317 474 | 2895,116.5170523330188,6.817976943547308 475 | 2896,118.62038755986231,6.74967006755179 476 | 2897,120.72314480330715,6.6737332698792216 477 | 2905,143.66370261325346,7.439921261707028 478 | 2907,147.73972399487712,7.812479580672957 479 | 2908,149.78016464734077,7.98637681224011 480 | 2916,168.16580988948158,8.415586484682478 481 | 2960,-81.50812116520686,8.349545284090027 482 | 2962,-76.30887820114407,6.9313293788354855 483 | 2963,-74.37182514777768,7.241742193283102 484 | 2964,-72.33629738674651,7.439921261707042 485 | 2966,-68.2602760051229,7.812479580672957 486 | 2972,-12.723144803307164,6.6737332698792216 487 | 2973,-10.620387559862326,6.74967006755179 488 | 2975,-6.413195960739063,6.8785587119467095 489 | 2978,-0.33629738674651277,7.439921261707028 490 | 2979,1.700893163385151,7.630248718347147 491 | 2980,3.739723994877101,7.812479580672957 492 | 2981,5.780164647340772,7.98637681224011 493 | 2982,9.86571385883567,8.308264340269261 494 | 2983,11.834190110518412,8.415586484682478 495 | 2984,15.944607010647207,8.452554209046014 496 | 2985,18,8.457179079223096 497 | 2988,24.16580988948159,8.415586484682478 498 | 2991,32.26027600512289,7.812479580672957 499 | 2992,34.299106836614854,7.630248718347147 500 | 2993,36.33629738674652,7.439921261707028 501 | 2994,38.3718251477777,7.241742193283102 502 | 3010,77.78016464734077,7.9863768122400955 503 | 3011,81.86571385883566,8.308264340269261 504 | 3016,92.0553929893528,8.452554209046014 505 | 3018,98.13428614116434,8.308264340269261 506 | 3026,115.53433307863499,5.283112025949919 507 | 3027,117.628461994592,5.21758004287031 508 | 3028,119.7221305017905,5.145118819461899 509 | 3029,121.81529987422161,5.0658266760996895 510 | 3034,132.2778694982095,5.145118819461899 511 | 3047,158.93586475137215,6.678342754788957 512 | 3048,160.9786098519233,6.6867647246739494 513 | 3105,-77.43978497357654,5.341625773205848 514 | 3106,-75.34486117229464,5.393041757462981 515 | 3108,-71.29566098576211,5.785312755278085 516 | 3109,-69.26902791756035,5.970795546565441 517 | 3111,-65.21174264701712,6.319271558627889 518 | 3114,-59.10677494607975,6.661509808570258 519 | 3115,-57.06413524862784,6.678342754788957 520 | 3121,-3.344861172294643,5.393041757462981 521 | 3122,-1.32093959678649,5.592646348746712 522 | 3123,0.7043390142378926,5.7853127552780705 523 | 3125,4.758950240654365,6.148857820526928 524 | 3127,8.8188705696689,6.481817974417908 525 | 3128,10.850760417011468,6.636287854330064 526 | 3130,14.935864751372147,6.678342754788957 527 | 3131,16.978609851923284,6.6867647246739494 528 | 3133,21.064135248627846,6.678342754788957 529 | 3137,29.21174264701713,6.319271558627889 530 | 3140,35.29566098576211,5.7853127552780705 531 | 3141,37.32093959678649,5.592646348746712 532 | 3143,41.439784973576536,5.341625773205834 533 | 3162,80.8188705696689,6.481817974417908 534 | 3171,99.1811294303311,6.481817974417908 535 | 3172,101.21174264701712,6.319271558627889 536 | 3181,153.7715388041382,4.9199733888813455 537 | 3192,-60.120981616493374,4.992222476716918 538 | 3193,-55.02139014807672,6.686764724673964 539 | 3197,9.771538804138192,4.9199733888813455 540 | 3198,11.87901838350662,4.992222476716904 541 | 3201,38.385721933048224,3.8532441358131706 542 | 3208,98.22846119586181,4.9199733888813455 543 | 3210,113.49072667742999,1.9565011182055514 544 | 3211,114.51363283225996,3.6185560927279425 545 | 3213,116.60708516231426,3.5553894277119014 546 | 3214,117.67829265825937,1.8279531404494662 547 | 3215,118.70018953618364,3.4859971326302173 548 | 3218,123.95763929326294,1.594679923610883 549 | 3219,127.02284243899973,3.2414479736995645 550 | 3220,128.04236070673704,1.594679923610883 551 | 3238,162,5.026958509848043 552 | 3312,-77.49072667742999,1.9565011182055656 553 | 3319,-68.31199403121926,4.4174132667896515 554 | 3320,-67.35584822367298,2.8647122247526795 555 | 3321,-66.28523360725949,4.59207838223729 556 | 3322,-63.30212724565068,3.20193090587307 557 | 3323,-62.228461195861804,4.9199733888813455 558 | 3325,-58.08074486932353,5.0115106203666215 559 | 3327,-56.040399628715655,5.023095089158417 560 | 3328,-55.0195945993973,3.367642009669325 561 | 3329,-54,5.026958509848058 562 | 3330,-52.980405400602706,3.367642009669325 563 | 3331,-51.959600371284345,5.023095089158417 564 | 3343,8.697872754349321,3.2019309058730556 565 | 3344,12.902130949893705,3.346565393196883 566 | 3346,16.98040540060271,3.367642009669325 567 | 3347,19.01959459939729,3.367642009669325 568 | 3348,21.05876298847418,3.3606123923704274 569 | 3349,23.097869050106297,3.346565393196883 570 | 3350,27.302127245650674,3.2019309058730556 571 | 3351,29.329416610216548,3.0365701589536513 572 | 3352,31.355848223672982,2.864712224752651 573 | 3353,33.381425141472256,2.6865737044497138 574 | 3354,35.406155121610176,2.502381777984965 575 | 3355,37.430050556082726,2.3123738805783915 576 | 3358,43.58463179695804,1.8949858220471327 577 | 3386,95.09786905010628,3.3465653931968546 578 | 3387,99.30212724565068,3.2019309058730556 579 | 3388,101.32941661021654,3.0365701589536513 580 | 3389,103.35584822367298,2.864712224752637 581 | 3392,109.43005055608273,2.3123738805783915 582 | 3393,110.50373293181107,0.5881187313814848 583 | 3397,122.93975187382918,-0.052591960310834907 584 | 3398,127.02008690839705,-0.05822906904850811 585 | 3399,129.06024812617082,-0.052591960310834907 586 | 3400,133.2500920565345,0.1014097101503495 587 | 3458,-78.55939836595043,0.2369066585042674 588 | 3459,-75.460321747304,2.1323825915593915 589 | 3461,-70.45129649235908,0.9569458676344027 590 | 3462,-68.42554541925422,1.1377786342415135 591 | 3463,-64.37219522067949,1.4827701951343215 592 | 3466,-56.039110581384946,1.7093439013500387 593 | 3467,-54,1.7125116083336422 594 | 3474,13.921810717155596,1.6998472451208357 595 | 3476,18.000000000000004,1.712511608333628 596 | 3477,20.039110581384953,1.7093439013500387 597 | 3478,22.078189282844413,1.6998472451208357 598 | 3480,28.372195220679497,1.4827701951343073 599 | 3481,30.39918287271175,1.3131274464671066 600 | 3482,32.425545419254206,1.1377786342414993 601 | 3483,34.45129649235908,0.9569458676343885 602 | 3484,36.47645340849738,0.7708624088690925 603 | 3485,38.50373293181107,0.5881187313814848 604 | 3497,73.54870350764094,0.9569458676343885 605 | 3508,100.37219522067949,1.4827701951343073 606 | 3509,102.39918287271176,1.3131274464671066 607 | 3514,111.57445458074578,-1.1377786342415135 608 | 3515,115.62780477932051,-1.4827701951343215 609 | 3517,121.9218107171556,-1.69984724512085 610 | 3518,126,-1.7125116083336422 611 | 3519,128.03911058138493,-1.7093439013500387 612 | 3520,130.07818928284442,-1.6998472451208357 613 | 3521,134.2741313796936,-1.5512415640981487 614 | 3522,136.3721952206795,-1.4827701951343215 615 | 3524,142.45129649235906,-0.9569458676344027 616 | 3525,144.47645340849738,-0.7708624088690925 617 | 3536,173.44060163404959,-0.2369066585042674 618 | 3578,-79.62780477932051,-1.4827701951343073 619 | 3579,-76.5313744272245,0.41005717823819055 620 | 3580,-74.50373293181109,0.5881187313814991 621 | 3581,-71.52354659150262,-0.7708624088690783 622 | 3582,-69.49626706818893,-0.5881187313814848 623 | 3585,-61.2500920565345,-0.1014097101503495 624 | 3597,16.979913091602963,0.0582290690484939 625 | 3598,19.02008690839704,0.0582290690484939 626 | 3600,25.250092056534506,-0.10140971015036371 627 | 3601,27.345268834978214,-0.1715192210077987 628 | 3602,29.440601634049585,-0.2369066585042674 629 | 3603,31.4686255727755,-0.41005717823819055 630 | 3604,33.49626706818894,-0.5881187313814848 631 | 3605,35.523546591502615,-0.7708624088690925 632 | 3606,37.54870350764092,-0.9569458676344027 633 | 3607,39.574454580745794,-1.1377786342415135 634 | 3617,99.34526883497821,-0.1715192210077987 635 | 3626,120.9021309498937,-3.346565393196883 636 | 3628,127.0195945993973,-3.367642009669325 637 | 3629,129.05876298847417,-3.3606123923704274 638 | 3631,135.3021272456507,-3.20193090587307 639 | 3632,139.35584822367298,-2.864712224752651 640 | 3633,141.38142514147225,-2.6865737044497138 641 | 3634,143.4061551216102,-2.502381777984965 642 | 3636,147.460321747304,-2.1323825915593773 643 | 3637,149.49072667743,-1.9565011182055514 644 | 3638,151.58463179695804,-1.894985822047147 645 | 3688,-77.60081712728824,-1.3131274464671066 646 | 3690,-73.54870350764094,-0.9569458676343885 647 | 3692,-66.50927332257001,-1.9565011182055514 648 | 3699,-45.67829265825937,-1.8279531404494804 649 | 3704,11.7716914083171,-1.7554905837516657 650 | 3710,28.415368203041954,-1.894985822047147 651 | 3711,30.509273322570007,-1.9565011182055514 652 | 3715,38.618574858527744,-2.6865737044497138 653 | 3718,98.32170734174063,-1.8279531404494804 654 | 3719,100.41536820304196,-1.894985822047147 655 | 3720,102.50927332257001,-1.9565011182055656 656 | 3728,119.87901838350663,-4.992222476716918 657 | 3729,123.95960037128435,-5.023095089158417 658 | 3734,134.22846119586183,-4.9199733888813455 659 | 3735,138.2852336072595,-4.592078382237261 660 | 3736,140.31199403121929,-4.417413266789637 661 | 3737,142.33766122912382,-4.235896230237543 662 | 3738,144.362235281277,-4.047759363068366 663 | 3741,150.51363283226,-3.6185560927279425 664 | 3742,152.60708516231426,-3.5553894277119156 665 | 3790,-78.67058338978346,-3.0365701589536513 666 | 3791,-76.64415177632702,-2.864712224752637 667 | 3792,-74.61857485852775,-2.6865737044497138 668 | 3793,-72.59384487838983,-2.502381777984965 669 | 3794,-69.61427806695178,-3.8532441358131706 670 | 3801,-52.977157561000276,-3.2414479736995645 671 | 3802,-48.79291915020579,-3.4104723831211317 672 | 3809,10.700189536183645,-3.4859971326302173 673 | 3811,16.977157561000272,-3.2414479736995645 674 | 3815,27.392914837685733,-3.5553894277119156 675 | 3816,29.486367167740024,-3.6185560927279425 676 | 3818,33.614278066951776,-3.8532441358131706 677 | 3819,35.637764718723,-4.047759363068366 678 | 3820,37.66233877087617,-4.235896230237543 679 | 3821,39.68800596878073,-4.417413266789637 680 | 3827,101.48636716774001,-3.6185560927279425 681 | 3828,103.58013866748576,-3.675414081109892 682 | 3830,106.6790604032135,-5.592646348746726 683 | 3831,108.70433901423789,-5.785312755278085 684 | 3832,110.73097208243965,-5.970795546565441 685 | 3833,112.75895024065436,-6.148857820526928 686 | 3837,120.89322505392025,-6.661509808570258 687 | 3841,129.06413524862785,-6.678342754788957 688 | 3842,131.10677494607975,-6.661509808570258 689 | 3844,135.1811294303311,-6.481817974417908 690 | 3846,139.24104975934563,-6.148857820526928 691 | 3847,141.26902791756035,-5.970795546565441 692 | 3848,143.2956609857621,-5.7853127552780705 693 | 3849,145.3209395967865,-5.592646348746712 694 | 3850,147.34486117229466,-5.393041757462981 695 | 3851,149.43978497357654,-5.341625773205834 696 | 3852,151.534333078635,-5.283112025949933 697 | 3853,153.628461994592,-5.21758004287031 698 | 3854,155.7221305017905,-5.145118819461899 699 | 3855,157.8152998742216,-5.0658266760996895 700 | 3856,159.9079340856028,-4.979811100601282 701 | 3913,-78.78825735298288,-6.319271558627889 702 | 3914,-76.75895024065437,-6.148857820526928 703 | 3915,-74.73097208243965,-5.970795546565441 704 | 3916,-72.70433901423789,-5.785312755278056 705 | 3918,-68.65513882770536,-5.393041757462967 706 | 3926,-51.90793408560279,-4.979811100601282 707 | 3927,-49.81529987422162,-5.0658266760996895 708 | 3928,-47.72213050179051,-5.145118819461899 709 | 3938,13.815299874221617,-5.0658266760996895 710 | 3939,15.907934085602792,-4.979811100601282 711 | 3940,18,-4.887188577332452 712 | 3942,22.18470012577838,-5.0658266760996895 713 | 3945,28.465666921365006,-5.283112025949933 714 | 3946,30.560215026423467,-5.341625773205834 715 | 3948,34.679060403213505,-5.592646348746712 716 | 3949,36.704339014237895,-5.7853127552780705 717 | 3950,38.73097208243964,-5.970795546565441 718 | 3958,104.65513882770536,-5.393041757462981 719 | 3960,119.83419011051842,-8.415586484682493 720 | 3962,146.37182514777768,-7.241742193283102 721 | 3963,148.30887820114407,-6.9313293788354855 722 | 3974,-67.69112179885593,-6.931329378835457 723 | 3976,-40.30887820114408,-6.9313293788354855 724 | 3984,107.66370261325349,-7.439921261707042 725 | 3986,109.70089316338515,-7.630248718347161 726 | 3988,111.7397239948771,-7.812479580672971 727 | 3990,113.78016464734077,-7.986376812240124 728 | 3992,120.82669416610149,-10.192418842440148 729 | 3993,122.89589769957644,-10.212603574583909 730 | 3994,124.96527941494551,-10.222700914282697 731 | 4000,138.21983535265923,-7.98637681224011 732 | 4002,140.2602760051229,-7.812479580672957 733 | 4003,141.29125400858248,-9.471461361537635 734 | 4004,142.29910683661484,-7.630248718347147 735 | 4005,143.34199852341914,-9.28430314123841 736 | 4006,144.33629738674654,-7.439921261707028 737 | 4008,149.27920590781207,-8.46766122254482 738 | 4009,151.39394314114824,-8.412870787543909 739 | 4011,155.62166095537302,-8.277777105654252 740 | 4012,157.73448708035247,-8.197667622934134 741 | 4013,159.84652792372972,-8.109326983488899 742 | 4025,178.60922051827512,-9.088359235674645 743 | 4030,-171.12775981474658,-9.977798725029317 744 | 4086,-75.73972399487711,-7.812479580672942 745 | 4087,-73.70089316338516,-7.630248718347147 746 | 4088,-71.6637026132535,-7.439921261707028 747 | 4089,-70.60922051827514,-9.088359235674645 748 | 4091,-66.72079409218793,-8.467661222544805 749 | 4094,-63.4829476669812,-6.817976943547308 750 | 4101,-51.84652792372972,-8.109326983488899 751 | 4107,-37.39077948172488,-9.088359235674659 752 | 4121,30.720794092187933,-8.46766122254482 753 | 4122,34.60922051827514,-9.088359235674659 754 | 4123,35.66370261325348,-7.439921261707028 755 | 4125,37.70089316338515,-7.630248718347147 756 | 4126,38.7087459914175,-9.471461361537635 757 | 4146,134.14611557362213,-11.77075060322548 758 | 4149,142.33584480181221,-11.125199910316354 759 | 4151,148.30950318139355,-10.328735160080143 760 | 4152,150.2573069560629,-10.001580556958544 761 | 4153,152.38350778393394,-9.944088211291316 762 | 4156,158.75766373480053,-9.716391663459888 763 | 4158,165.24233626519947,-9.716391663459873 764 | 4170,-165.1041023004236,-10.212603574583895 765 | 4172,-160.9652794149455,-10.222700914282683 766 | 4180,-140.66285627130625,-8.786160925784813 767 | 4204,-76.76140662211948,-9.649587785134543 768 | 4205,-74.7087459914175,-9.471461361537635 769 | 4206,-72.65800147658088,-9.284303141238397 770 | 4207,-71.60043011017626,-10.932329141116782 771 | 4210,-63.61649221606608,-9.944088211291302 772 | 4211,-61.49096555834855,-9.877325255903784 773 | 4214,-50.75766373480052,-9.716391663459888 774 | 4215,-48.63378547377355,-9.801390519102881 775 | 4229,27.61649221606606,-9.944088211291316 776 | 4230,29.74269304393709,-10.001580556958544 777 | 4232,35.600430110176255,-10.932329141116782 778 | 4234,39.730134733682625,-11.308327124486823 779 | 4252,127.05096579155511,-13.748283316937602 780 | 4253,129.15280395093038,-13.73641519649236 781 | 4254,133.15409609380032,-13.56162701917168 782 | 4256,137.1472653787946,-13.307410260920989 783 | 4262,153.38340769971794,-11.471721852812465 784 | 4265,162,-11.360656477253855 785 | 4267,166.341700581384,-11.319980937119169 786 | 4268,170.61659230028206,-11.471721852812465 787 | 4313,-75.73013473368262,-11.308327124486823 788 | 4314,-73.66415519818779,-11.12519991031634 789 | 4315,-72.60403297085278,-12.773066135286896 790 | 4318,-64.75531921051765,-11.53261704498506 791 | 4319,-62.61659230028208,-11.471721852812465 792 | 4320,-58.341700581383996,-11.319980937119169 793 | 4322,-54,-11.360656477253855 794 | 4323,-49.658299418616004,-11.319980937119169 795 | 4335,24.478677014557565,-11.400808006404063 796 | 4341,38.684441659060646,-12.961993477296843 797 | 4357,123.879532669925,-15.502380903702203 798 | 4358,126.00000000000001,-15.508778110070068 799 | 4360,132.14953917367302,-15.349862617520714 800 | 4361,134.16127330806546,-15.242504143086421 801 | 4362,136.17059036445787,-15.114609748725414 802 | 4364,142.3776492569311,-14.60995719986552 803 | 4374,167.45343961582614,-12.919464639719578 804 | 4377,176.66924140631144,-12.188156952676962 805 | 4379,-178.3776492569311,-14.60995719986552 806 | 4382,-171.15187588412542,-13.444366974145353 807 | 4420,-74.68444165906064,-12.961993477296843 808 | 4422,-70.6341153087651,-12.489645027137925 809 | 4423,-68.66924140631147,-12.188156952676962 810 | 4424,-66.70959180449283,-11.869005201622457 811 | 4425,-63.75712913416692,-13.060283958731063 812 | 4426,-59.453439615826156,-12.919464639719578 813 | 4429,-52.90910978081256,-12.982889842707806 814 | 4430,-48.54656038417385,-12.919464639719578 815 | 4443,29.718590565814356,-13.40649559016039 816 | 4464,122.89900780905745,-17.209990668257063 817 | 4465,124.92965239532225,-17.263473569557434 818 | 4466,127.07034760467775,-17.263473569557434 819 | 4467,131.13017983671827,-17.134865028790912 820 | 4468,133.15743161523977,-17.038206804129345 821 | 4469,135.1822801888524,-16.920159503332826 822 | 4473,145.33706381028577,-15.89976105633896 823 | 4482,166.38708346965169,-14.569058719938837 824 | 4483,168.5794901589291,-14.514187012764026 825 | 4527,-71.63812368892611,-14.337146242323897 826 | 4529,-67.68602824507826,-13.735003788384063 827 | 4530,-65.71859056581435,-13.40649559016039 828 | 4532,-60.579490158929126,-14.514187012764026 829 | 4533,-58.38708346965169,-14.569058719938837 830 | 4535,-54,-14.613013691056935 831 | 4536,-51.806230628058714,-14.602020143063811 832 | 4549,22.38708346965169,-14.569058719938852 833 | 4553,30.69187376375861,-15.279179558546232 834 | 4554,32.674296580308095,-15.599010825003901 835 | 4557,40.777027059999114,-16.62063493580078 836 | 4575,121.90636769158587,-18.916009404306593 837 | 4577,126,-19.01900680547486 838 | 4586,144.31730213595785,-17.750735405046015 839 | 4587,146.3231946631727,-17.460435416386957 840 | 4597,167.516888435748,-16.171789001374137 841 | 4602,177.6768053368273,-17.460435416386957 842 | 4608,-170.18004159101957,-18.72348848758851 843 | 4655,-69.67680533682731,-17.460435416386957 844 | 4656,-67.67751472539084,-17.150102516042764 845 | 4657,-65.68510535756764,-16.820181298054308 846 | 4659,-61.72186102490374,-16.103462321004784 847 | 4662,-55.10363342154978,-16.240232956886032 848 | 4669,-40.322485274609164,-17.150102516042764 849 | 4678,23.516888435748,-16.17178900137415 850 | 4681,29.68510535756763,-16.820181298054308 851 | 4685,37.694876606255185,-18.02058170852314 852 | 4696,139.39182309237316,-20.177077140990406 853 | 4697,141.31985009898878,-19.939113007964536 854 | 4700,168.68140691406924,-17.617890840859204 855 | 4703,-175.39182309237316,-20.177077140990406 856 | 4723,24.68140691406925,-17.617890840859204 857 | 4724,26.53853663983062,-18.073649666724336 858 | 4733,117.71433000647653,-22.369437072136378 859 | 4735,121.91690967235465,-22.561894844414198 860 | 4738,130.08309032764535,-22.561894844414184 861 | 4745,146.49930667504785,-21.043199133426015 862 | 4752,163.12499651615448,-19.200948741518673 863 | 4817,-68.57621599107209,-19.09979186593941 864 | 4820,-65.40756308530558,-20.39580473220353 865 | 4822,-63.3737392010433,-20.04032596345874 866 | 4825,-55.1249965161545,-19.20094874151866 867 | 4838,23.623367742160262,-19.126776944559865 868 | 4852,114.46788661249823,-23.977537746305273 869 | 4860,133.27575287522095,-24.246443257246867 870 | 4873,164.27329290415526,-20.668101221549435 871 | 4874,166.5458608529686,-20.629503406797767 872 | 4875,168.4274638603942,-21.11293364418512 873 | 4926,-58.54586085296857,-20.629503406797767 874 | 4933,-41.704361609719534,-22.350999252477862 875 | 4938,20.273292904155266,-20.668101221549435 876 | 4941,28.230107189484027,-22.00298349805621 877 | 4942,30.295638390280462,-22.350999252477862 878 | 4943,32.370412251266075,-22.676718206535995 879 | 4953,115.43839726187888,-25.869213259914503 880 | 4958,128.03203259189766,-26.246376859249885 881 | 4961,134.39920451693393,-26.005550324370773 882 | 4966,146.67971706545202,-24.61653508316165 883 | 4974,165.44690939746178,-22.125415373708933 884 | 4975,167.34155428138243,-22.62366997210178 885 | 5025,-61.250633819294414,-23.09617666804563 886 | 5026,-59.34155428138245,-22.62366997210178 887 | 5027,-57.44690939746177,-22.125415373708933 888 | 5029,-52.850894707799476,-22.152194256433404 889 | 5036,16.850894707799476,-22.152194256433404 890 | 5042,31.210458032580597,-24.300624238487558 891 | 5043,33.320282934547976,-24.61653508316165 892 | 5052,114.395787316627,-27.576765466239863 893 | 5059,131.15273668548494,-27.97487500087758 894 | 5061,135.55955767769734,-27.75422512237433 895 | 5063,141.66992013066363,-27.125589469151095 896 | 5065,145.69694297152563,-26.548951281584635 897 | 5066,147.84469458676017,-26.243998283287453 898 | 5106,-109.69694297152564,-26.54895128158463 899 | 5124,-62.095679940677236,-25.076015236824844 900 | 5125,-60.15649089398803,-24.615240563914895 901 | 5126,-58.232613375255674,-24.127584441306553 902 | 5137,20.324432635549904,-23.613815736156894 903 | 5138,22.23261337525567,-24.127584441306553 904 | 5139,24.156490893988032,-24.615240563914895 905 | 5154,134.52226590957548,-29.631760856491802 906 | 5155,138.6745806901427,-29.278794859256053 907 | 5156,140.73841093459671,-29.052569173670406 908 | 5159,146.86622520953992,-28.18036937226799 909 | 5224,-57.09840412751413,-25.62395588530842 910 | 5225,-55.176235861775986,-25.093960081605744 911 | 5226,-52.823764138224014,-25.093960081605744 912 | 5251,133.4456479917418,-31.500919847080084 913 | 5257,146.01698053807664,-30.143705606904945 914 | 5258,148.07162633820346,-29.801547234309602 915 | 5260,152.13605382720783,-29.023281506329383 916 | 5327,-59.864939390474646,-28.124647111744643 917 | 5332,-50.108337770768756,-27.632162768044488 918 | 5342,27.86394617279218,-29.023281506329383 919 | 5362,143.4384468069539,-32.3446554284776 920 | 5367,151.73589244757176,-32.656577944654494 921 | 5368,153.99258047866127,-30.407224322466462 922 | 5415,-68.77756884347343,-33.60120193513297 923 | 5416,-68.34427212656496,-31.702077688788577 924 | 5433,19.972154190136763,-28.927726314264717 925 | 5489,144.56343870804054,-35.82699322553883 926 | 5604,-68.70285420758735,-42.687013067767296 927 | 5647,-67.48483361779424,-47.762834999510495 928 | 5654,-74.27015789464795,-50.542416162017155 929 | 5662,-69.38145013376857,-53.470325361916615 930 | 5665,-66.69367140372349,-54.85900618515244 931 | 5729,29.41564152594812,63.001378181787395 932 | 5733,174.89391233887787,61.18820363492546 933 | 5763,-99.80222441485994,56.0625872149364 934 | 5777,-4.694046714352052,56.65077717498499 935 | 5780,21.875698061016028,58.35011580833984 936 | 5781,25.72631086464096,58.177130057379216 937 | 5784,47.58866376335335,55.379551013246996 938 | 5791,86.12430193898398,58.35011580833984 939 | 5811,10.939434656106537,54.769563243355904 940 | 5826,-0.09757450808609375,52.02949030027548 941 | 5829,71.90242549191392,52.02949030027546 942 | 5832,143.1416774064969,50.14865125085745 943 | 5838,-122.72997807285601,51.39905072613075 944 | 5842,-0.8583225935030767,50.14865125085745 945 | 5843,14.729978072856023,51.39905072613076 946 | 5846,93.27002192714399,51.39905072613075 947 | 5852,-124.42240110648933,49.67372376725057 948 | 5853,-106.43656484589395,48.26354134361101 949 | 5854,-73.56343515410605,48.26354134361101 950 | 5857,16.42240110648934,49.67372376725057 951 | 5861,109.56343515410605,48.263541343611 952 | 5869,-121.7245458961838,46.121447133560665 953 | 5870,-118.93197993224598,46.016862215044654 954 | 5871,-116.15315561368473,45.845890868931264 955 | 5880,-80.07138702050266,43.56405675770588 956 | 5882,-66.60559110906769,45.60933712747419 957 | 5883,-63.84684438631527,45.84589086893128 958 | 5889,5.39440889093231,45.60933712747418 959 | 5890,8.153155613684735,45.84589086893128 960 | 5891,10.931979932245984,46.01686221504465 961 | 5892,13.724545896183798,46.121447133560665 962 | 5896,33.338290901893984,45.30829179286645 963 | 5897,44.07138702050265,43.56405675770588 964 | 5898,46.62574166931424,43.01881357548904 965 | 5919,-109.8978004224839,43.44650620919714 966 | 5923,87.28907148487266,44.41286958766441 967 | 5926,-122.1235177223443,42.56891009284644 968 | 5933,-1.2684518807801977,41.179820446126264 969 | 5935,8.874415965555183,42.317142066727534 970 | 5936,11.493629220679123,42.47366494392573 971 | 5945,83.49362922067913,42.47366494392573 972 | 5955,40.23992122407603,38.877470584638374 973 | 5956,67.76007877592399,38.87747058463836 974 | 5965,-87.85698057934417,36.19027327236084 975 | 5970,16.82638047681034,38.98125441759045 976 | 5972,40.67634569033075,36.970397827786286 977 | 5975,67.32365430966925,36.97039782778629 978 | 5976,74.25276793761954,38.000011153604405 979 | 5985,-107.43656129195946,35.826993225538835 980 | 5992,-5.093047054799972,35.06203666388445 981 | 5997,49.7832458112366,34.90288508847475 982 | 6000,75.89678996486518,36.37156425863507 983 | 6018,14.654315689210094,35.312863219642686 984 | 6024,77.47161456436035,34.720683723080356 985 | 6026,109.07067312247031,33.93473768417973 986 | 6039,45.82985465941031,32.22530421894845 987 | 6050,-107.16466430385327,28.502831057927914 988 | 6060,79.39789582750082,29.471985155084212 989 | 6062,108.83533569614674,28.502831057927906 990 | 6063,115.95029250168345,25.509166245326682 991 | 6068,-108.31122536462443,26.85270962993323 992 | 6080,68.15530541323982,26.243998283287453 993 | 6082,93.09296551540217,28.041301086581434 994 | 6083,107.68877463537557,26.85270962993321 995 | 6084,111.84469458676018,26.243998283287453 996 | 6085,116.82623233732257,23.542209271640644 997 | 6103,69.32028293454798,24.61653508316165 998 | 6104,77.42639158782923,25.675163432189123 999 | 6105,92.03203259189765,26.246376859249878 1000 | 6106,106.57405322523513,25.194261409221596 1001 | 6107,110.67971706545202,24.61653508316165 1002 | 6114,-98.32233672341123,21.570988853998273 1003 | 6123,31.513876026069607,23.767917033383156 1004 | 6129,91.00212612902254,24.444514230838095 1005 | 6130,105.48815930287353,23.528330932916745 1006 | 6131,109.54600231273571,22.979614567537695 1007 | 6159,-102.5558669175928,18.777875030407856 1008 | 6161,-92.22790155748781,17.712859246674554 1009 | 6162,-90,17.724745622994718 1010 | 6163,-87.77209844251219,17.712859246674554 1011 | 6168,-13.544772297438646,17.677220567364017 1012 | 6182,54,17.724745622994703 1013 | 6186,80.73421324626985,20.485038015279642 1014 | 6187,82.80265857783233,20.60454421149005 1015 | 6188,84.87395116380078,20.700802820283457 1016 | 6189,93.05251031736223,20.773658173909993 1017 | 6190,95.12604883619922,20.700802820283457 1018 | 6191,97.19734142216767,20.60454421149005 1019 | 6192,99.26578675373015,20.485038015279642 1020 | 6193,105.31985009898878,19.939113007964522 1021 | 6200,102.25503309395145,18.442625294897127 1022 | 6207,-3.3257034196919077,15.599010825003901 1023 | 6208,-1.3370638102857746,15.89976105633896 1024 | 6212,14.899007809057423,17.209990668257063 1025 | 6213,23.130179836718284,17.134865028790912 1026 | 6218,39.325703419691905,15.599010825003901 1027 | 6226,80.81771981114764,16.920159503332826 1028 | 6237,121.61291653034831,14.569058719938837 1029 | 6249,122.72753192086236,12.961735462041034 1030 | 6266,-10.395204296784927,12.9952643422084 1031 | 6267,4.7673803043291185,13.140192375304665 1032 | 6273,76.76738030432912,13.140192375304665 1033 | 6275,103.23261969567088,13.14019237530465 1034 | 6276,119.52132298544242,11.400808006404048 1035 | 6277,123.82896978289523,11.350482882701314 1036 | 6290,-74.35687860852019,10.639120836576055 1037 | 6295,-11.521322985442445,11.400808006404063 1038 | 6296,5.798290869702655,11.481462086035904 1039 | 6297,15.915085607218705,11.982675483780554 1040 | 6298,30.201709130297345,11.481462086035904 1041 | 6302,77.79829086970265,11.481462086035904 1042 | 6303,92.08491439278129,11.982675483780554 1043 | 6306,124.91916786028654,9.73593688068705 1044 | 6324,-12.633785473773548,9.801390519102881 1045 | 6326,14.895897699576418,10.212603574583895 1046 | 6331,78.81592667342436,9.818443797247497 1047 | 6334,121.73448708035245,8.197667622934134 1048 | 6335,124.92671387746233,6.499395585731833 1049 | 6337,151.82217670942424,8.151711719811416 1050 | 6362,-78.41319596073906,6.8785587119467095 1051 | 6365,-13.734487080352459,8.197667622934134 1052 | 6366,7.822176709424227,8.15171171981143 1053 | 6367,13.889306381157066,8.43868480670551 1054 | 6368,28.17782329057577,8.151711719811416 1055 | 6373,94.11069361884293,8.43868480670551 1056 | 6375,124.97715756100027,3.2414479736995645 1057 | 6384,5.714766392740505,4.592078382237261 1058 | 6386,18,5.026958509848043 1059 | 6388,22.080744869323546,5.011510620366607 1060 | 6389,30.285233607259492,4.592078382237261 1061 | 6390,32.31199403121926,4.417413266789637 1062 | 6391,34.33766122912383,4.235896230237529 1063 | 6392,36.36223528127701,4.0477593630683515 1064 | 6402,102.2852336072595,4.592078382237261 1065 | 6406,121.86481181176755,1.6776964997837212 1066 | 6423,120.84491801565116,0.02667112530835425 1067 | 6425,131.15508198434887,0.02667112530835425 1068 | 6440,-66.39918287271176,1.313127446467135 1069 | 6442,-51.960889418615054,1.7093439013500387 1070 | 6445,24.176126962329448,1.6236337663535636 1071 | 6454,119.82387303767057,-1.6236337663535636 1072 | 6455,123.96088941861505,-1.7093439013500387 1073 | 6456,132.17612696232945,-1.6236337663535636 1074 | 6472,-60.176126962329434,1.6236337663535636 1075 | 6481,113.60081712728825,-1.313127446467135 1076 | 6482,118.79998156505752,-3.272692301753807 1077 | 6483,122.94123701152583,-3.3606123923704274 1078 | 6484,133.2000184349425,-3.272692301753807 1079 | 6485,138.39918287271175,-1.313127446467135 1080 | 6488,167.15508198434884,-0.02667112530835425 1081 | 6500,-59.15508198434885,-0.02667112530835425 1082 | 6504,13.864811811767556,-1.6776964997837354 1083 | 6509,121.91925513067648,-5.0115106203666215 1084 | 6510,137.32941661021655,-3.0365701589536513 1085 | 6536,-77.7147663927405,-4.592078382237261 1086 | 6537,-75.68800596878074,-4.417413266789623 1087 | 6538,-73.66233877087618,-4.235896230237529 1088 | 6539,-71.63776471872299,-4.0477593630683515 1089 | 6543,14.88524931303455,-3.3289183361187895 1090 | 6550,117.86571385883568,-8.308264340269275 1091 | 6551,123.94460701064722,-8.452554209046028 1092 | 6552,126,-8.457179079223096 1093 | 6553,128.0553929893528,-8.452554209046028 1094 | 6554,130.11069361884296,-8.438684806705524 1095 | 6555,150.41319596073905,-6.8785587119467095 1096 | 6557,154.62038755986234,-6.74967006755179 1097 | 6558,156.72314480330715,-6.6737332698792216 1098 | 6562,-44.517052333018825,-6.817976943547308 1099 | 6583,-79.82217670942423,-8.151711719811416 1100 | 6584,-58.265512919647556,-8.197667622934134 1101 | 6591,132.15874623445816,-11.878087110701784 1102 | 6593,147.33714372869375,-8.786160925784813 1103 | 6594,160.9191678602865,-9.73593688068705 1104 | 6606,-52.91916786028652,-9.73593688068705 1105 | 6610,32.66285627130626,-8.786160925784813 1106 | 6616,131.15428261323189,-13.659021797730006 1107 | 6619,159.82896978289523,-11.350482882701314 1108 | 6620,168.47867701455755,-11.400808006404063 1109 | 6630,-60.47867701455757,-11.400808006404048 1110 | 6635,33.64312139147981,-10.63912083657604 1111 | 6636,40.76738030432912,-13.140192375304665 1112 | 6641,130.13579691757116,-15.436529244641264 1113 | 6646,-175.23261969567088,-13.140192375304665 1114 | 6654,-76.76738030432912,-13.140192375304665 1115 | 6655,-61.60479570321508,-12.9952643422084 1116 | 6659,14.72753192086238,-12.961735462041034 1117 | 6661,39.721235634300704,-14.794034208127869 1118 | 6665,129.10099219094258,-17.209990668257063 1119 | 6666,144.3618763110739,-14.337146242323897 1120 | 6698,-68.6742965803081,-15.599010825003901 1121 | 6699,-66.69187376375862,-15.279179558546232 1122 | 6700,-64.71588860474829,-14.940712121490506 1123 | 6704,35.6381236889261,-14.337146242323897 1124 | 6707,-149.74496690604855,-18.442625294897127 1125 | 6713,116.73421324626986,-20.485038015279656 1126 | 6715,120.87395116380078,-20.700802820283457 1127 | 6719,135.26578675373014,-20.485038015279656 1128 | 6720,137.33080139410487,-20.34247439578533 1129 | 6733,-158.94748968263775,-20.773658173909993 1130 | 6752,-56.22790155748781,-17.712859246674526 1131 | 6758,15.772098442512188,-17.712859246674526 1132 | 6760,20.227901557487815,-17.712859246674526 1133 | 6761,22.455227702561352,-17.677220567364017 1134 | 6767,44.734213246269846,-20.485038015279656 1135 | 6779,169.4924567674951,-19.59604950964318 1136 | 6814,-62.322336723411226,-21.570988853998244 1137 | 6821,151.95029250168344,-25.509166245326682 1138 | 6826,-144.31122536462442,-26.8527096299332 1139 | 6828,-135.17376766267745,-23.542209271640644 1140 | 6838,28.049707498316554,-25.509166245326682 1141 | 6871,151.9431229281896,-30.84035009891288 1142 | 6881,28.0568770718104,-30.84035009891288 1143 | 6930,175.76007877592397,-38.877470584638374 1144 | 6960,171.1668253665344,69.7977490476664 1145 | 7000,-126,47.92617071285194 1146 | 7001,-105.77972422797791,46.374739017458865 1147 | 7005,18,47.926170712851956 1148 | 7020,41.473302205159385,44.05267372054993 1149 | 7029,-75.78118231320573,40.78307730271873 1150 | 7031,-3.781182313205724,40.78307730271871 1151 | 7033,21.876482277655693,42.56891009284644 1152 | 7035,68.21881768679428,40.78307730271871 1153 | 7045,35.466736364150115,39.6036438278448 1154 | 7059,43.046609015665645,27.471262301052022 1155 | 7061,115.04660901566564,27.471262301052022 1156 | 7064,-154.50754323250493,19.596049509643194 1157 | 7068,-97.49245676749509,19.596049509643194 1158 | 7072,32.42828869616308,21.85569627818684 1159 | 7073,75.57171130383693,21.85569627818684 1160 | 7075,104.42828869616307,21.855696278186855 1161 | 7076,121.54477229743864,17.677220567364017 1162 | 7083,-94.45522770256134,17.67722056736403 1163 | 7093,101.33080139410488,20.34247439578533 1164 | 7101,6.795727397067164,16.78089941775407 1165 | 7106,101.20427260293283,16.78089941775407 1166 | 7107,107.34246176814028,16.18100861079448 1167 | 7114,104.27876436569929,14.794034208127854 1168 | 7119,126,8.11871000479286 1169 | 7125,122.8252703630678,6.590270760007854 1170 | 7149,-64.25738556597406,4.7596692002324374 1171 | 7151,7.742614434025939,4.759669200232423 1172 | 7152,13.91925513067646,5.011510620366607 1173 | 7160,154.79998156505752,3.2726923017537928 1174 | 7162,10.799981565057513,3.2726923017537928 1175 | 7166,97.20001843494249,3.2726923017537928 1176 | 7176,136.25738556597406,-4.759669200232423 1177 | 7186,-57.11475068696545,-3.3289183361187895 1178 | 7189,115.82217670942423,-8.151711719811445 1179 | 7190,121.88930638115707,-8.438684806705524 1180 | 7202,118.84862033871656,-10.094313570605806 1181 | 7204,162,-8.11871000479286 1182 | 7210,-176.2787643656993,-14.794034208127854 1183 | 7217,143.34246176814028,-16.18100861079448 1184 | 7230,129.05251031736222,-20.773658173910007 1185 | 7249,140.4282886961631,-21.855696278186855 1186 | -------------------------------------------------------------------------------- /experiments/data/world_connections.csv: -------------------------------------------------------------------------------- 1 | v1,v2,sum_cost 2 | 41,85,1 3 | 49,99,1 4 | 86,87,1 5 | 86,184,1 6 | 87,184,1 7 | 141,218,1 8 | 193,194,1 9 | 193,262,1 10 | 194,195,1 11 | 194,262,1 12 | 194,263,1 13 | 195,263,1 14 | 251,393,1 15 | 253,5729,1 16 | 262,263,1 17 | 324,397,1 18 | 324,5729,1 19 | 326,397,1 20 | 329,401,1 21 | 336,410,1 22 | 393,465,1 23 | 393,466,1 24 | 396,559,1 25 | 396,5781,1 26 | 401,472,1 27 | 410,411,1 28 | 465,466,1 29 | 472,5784,1 30 | 557,673,1 31 | 557,5780,1 32 | 557,5781,1 33 | 559,5781,1 34 | 606,713,1 35 | 606,714,1 36 | 629,630,1 37 | 629,731,1 38 | 630,631,1 39 | 630,731,1 40 | 669,761,1 41 | 669,762,1 42 | 669,5811,1 43 | 673,674,1 44 | 679,680,1 45 | 707,792,1 46 | 711,796,1 47 | 711,797,1 48 | 713,714,1 49 | 714,5832,1 50 | 734,811,1 51 | 734,888,1 52 | 734,5838,1 53 | 736,813,1 54 | 736,814,1 55 | 736,890,1 56 | 759,5826,1 57 | 759,5842,1 58 | 760,838,1 59 | 760,839,1 60 | 760,5826,1 61 | 760,5842,1 62 | 761,839,1 63 | 762,918,1 64 | 762,5843,1 65 | 784,863,1 66 | 788,868,1 67 | 794,873,1 68 | 810,886,1 69 | 810,5838,1 70 | 810,5852,1 71 | 811,887,1 72 | 811,888,1 73 | 811,5838,1 74 | 811,5852,1 75 | 813,889,1 76 | 813,890,1 77 | 814,890,1 78 | 814,5853,1 79 | 838,5842,1 80 | 842,5843,1 81 | 842,5857,1 82 | 868,5861,1 83 | 886,5852,1 84 | 886,7000,1 85 | 887,1032,1 86 | 887,5852,1 87 | 887,5869,1 88 | 887,7000,1 89 | 888,889,1 90 | 888,964,1 91 | 889,890,1 92 | 889,964,1 93 | 889,965,1 94 | 890,965,1 95 | 898,899,1 96 | 898,973,1 97 | 899,975,1 98 | 918,989,1 99 | 918,990,1 100 | 928,997,1 101 | 964,965,1 102 | 964,5870,1 103 | 964,5871,1 104 | 965,5871,1 105 | 975,5880,1 106 | 989,990,1 107 | 989,5890,1 108 | 989,5891,1 109 | 990,5891,1 110 | 990,5892,1 111 | 991,1070,1 112 | 991,1071,1 113 | 991,7005,1 114 | 996,1128,1 115 | 996,7020,1 116 | 997,5897,1 117 | 997,7020,1 118 | 1032,1033,1 119 | 1032,5869,1 120 | 1032,7000,1 121 | 1033,1116,1 122 | 1033,5869,1 123 | 1033,5926,1 124 | 1038,5919,1 125 | 1038,7001,1 126 | 1051,1121,1 127 | 1051,5880,1 128 | 1051,7029,1 129 | 1052,1121,1 130 | 1061,1062,1 131 | 1061,1182,1 132 | 1062,7031,1 133 | 1063,1124,1 134 | 1063,5933,1 135 | 1066,5889,1 136 | 1066,5890,1 137 | 1066,5935,1 138 | 1068,5891,1 139 | 1068,5892,1 140 | 1068,5936,1 141 | 1070,1071,1 142 | 1070,5892,1 143 | 1070,7005,1 144 | 1071,1126,1 145 | 1072,7033,1 146 | 1079,1080,1 147 | 1079,1128,1 148 | 1079,1200,1 149 | 1079,5897,1 150 | 1079,7020,1 151 | 1080,1081,1 152 | 1080,1200,1 153 | 1080,1202,1 154 | 1080,5897,1 155 | 1080,5898,1 156 | 1081,1082,1 157 | 1081,1202,1 158 | 1081,5898,1 159 | 1116,1150,1 160 | 1116,5926,1 161 | 1121,7029,1 162 | 1124,5933,1 163 | 1126,1192,1 164 | 1126,7033,1 165 | 1128,1198,1 166 | 1128,7020,1 167 | 1133,5923,1 168 | 1150,1151,1 169 | 1150,1248,1 170 | 1150,5926,1 171 | 1151,1152,1 172 | 1151,1248,1 173 | 1151,1249,1 174 | 1151,5926,1 175 | 1152,1153,1 176 | 1152,1249,1 177 | 1188,1274,1 178 | 1188,5935,1 179 | 1191,5970,1 180 | 1192,1193,1 181 | 1192,1278,1 182 | 1192,7033,1 183 | 1193,1278,1 184 | 1193,1279,1 185 | 1193,7033,1 186 | 1197,7045,1 187 | 1198,7045,1 188 | 1200,1202,1 189 | 1200,5955,1 190 | 1202,1203,1 191 | 1203,1285,1 192 | 1203,1286,1 193 | 1207,5997,1 194 | 1210,1211,1 195 | 1210,1212,1 196 | 1211,1212,1 197 | 1212,1214,1 198 | 1214,1215,1 199 | 1244,1317,1 200 | 1248,1249,1 201 | 1248,1321,1 202 | 1249,1321,1 203 | 1249,1322,1 204 | 1254,5985,1 205 | 1257,1329,1 206 | 1260,1333,1 207 | 1260,5965,1 208 | 1261,1262,1 209 | 1274,1346,1 210 | 1278,1279,1 211 | 1278,1350,1 212 | 1279,1350,1 213 | 1285,1286,1 214 | 1285,5972,1 215 | 1304,1305,1 216 | 1305,1378,1 217 | 1321,1322,1 218 | 1321,1395,1 219 | 1322,1395,1 220 | 1322,1396,1 221 | 1326,1399,1 222 | 1326,1400,1 223 | 1326,5985,1 224 | 1328,1329,1 225 | 1333,1407,1 226 | 1341,5992,1 227 | 1346,1347,1 228 | 1347,6018,1 229 | 1355,1431,1 230 | 1355,1432,1 231 | 1367,1444,1 232 | 1367,1445,1 233 | 1378,1379,1 234 | 1378,1455,1 235 | 1378,1456,1 236 | 1379,1456,1 237 | 1395,1396,1 238 | 1396,1479,1 239 | 1398,1399,1 240 | 1398,1480,1 241 | 1399,1400,1 242 | 1400,5985,1 243 | 1404,1405,1 244 | 1404,1487,1 245 | 1405,1406,1 246 | 1406,1407,1 247 | 1409,1494,1 248 | 1431,1432,1 249 | 1431,1519,1 250 | 1432,1519,1 251 | 1434,6039,1 252 | 1435,1524,1 253 | 1435,6039,1 254 | 1443,1444,1 255 | 1443,1533,1 256 | 1443,1534,1 257 | 1444,1445,1 258 | 1444,1534,1 259 | 1445,1446,1 260 | 1446,1537,1 261 | 1446,6000,1 262 | 1446,6024,1 263 | 1455,1456,1 264 | 1456,1547,1 265 | 1479,1480,1 266 | 1479,1576,1 267 | 1480,1576,1 268 | 1487,1585,1 269 | 1519,1622,1 270 | 1532,1533,1 271 | 1532,1637,1 272 | 1533,1534,1 273 | 1534,1640,1 274 | 1537,1642,1 275 | 1537,1643,1 276 | 1537,6024,1 277 | 1547,1654,1 278 | 1547,1655,1 279 | 1552,1553,1 280 | 1557,1558,1 281 | 1578,1579,1 282 | 1578,1703,1 283 | 1579,1705,1 284 | 1620,1755,1 285 | 1620,1756,1 286 | 1640,1641,1 287 | 1641,1642,1 288 | 1641,1785,1 289 | 1642,1643,1 290 | 1642,1785,1 291 | 1643,6060,1 292 | 1654,1655,1 293 | 1654,1799,1 294 | 1654,1800,1 295 | 1655,1800,1 296 | 1658,1804,1 297 | 1658,6062,1 298 | 1673,1814,1 299 | 1705,6050,1 300 | 1705,6068,1 301 | 1755,1756,1 302 | 1785,1891,1 303 | 1785,1892,1 304 | 1787,1788,1 305 | 1787,1894,1 306 | 1787,6060,1 307 | 1788,1789,1 308 | 1788,1894,1 309 | 1788,6060,1 310 | 1789,1790,1 311 | 1789,1791,1 312 | 1789,1894,1 313 | 1790,1791,1 314 | 1790,1894,1 315 | 1790,1895,1 316 | 1790,1896,1 317 | 1790,1998,1 318 | 1791,1896,1 319 | 1795,1796,1 320 | 1795,1899,1 321 | 1795,1900,1 322 | 1795,6082,1 323 | 1796,1900,1 324 | 1798,1799,1 325 | 1798,1900,1 326 | 1798,1901,1 327 | 1798,1902,1 328 | 1798,2004,1 329 | 1799,1800,1 330 | 1799,1902,1 331 | 1800,1902,1 332 | 1803,1804,1 333 | 1803,1905,1 334 | 1803,6062,1 335 | 1803,6083,1 336 | 1803,6084,1 337 | 1803,6107,1 338 | 1804,6062,1 339 | 1804,6084,1 340 | 1812,1814,1 341 | 1812,1909,1 342 | 1812,1910,1 343 | 1814,1910,1 344 | 1888,6080,1 345 | 1888,6103,1 346 | 1891,1892,1 347 | 1892,6104,1 348 | 1894,1998,1 349 | 1895,1896,1 350 | 1895,1998,1 351 | 1895,1999,1 352 | 1895,2000,1 353 | 1895,2104,1 354 | 1896,1897,1 355 | 1896,2000,1 356 | 1897,1898,1 357 | 1897,2000,1 358 | 1898,6082,1 359 | 1898,6105,1 360 | 1899,2002,1 361 | 1899,2108,1 362 | 1899,6082,1 363 | 1899,6105,1 364 | 1900,2004,1 365 | 1901,1902,1 366 | 1901,2004,1 367 | 1901,2005,1 368 | 1901,2006,1 369 | 1901,2110,1 370 | 1902,2006,1 371 | 1904,2007,1 372 | 1904,6083,1 373 | 1904,6106,1 374 | 1905,2008,1 375 | 1905,6083,1 376 | 1905,6106,1 377 | 1905,6107,1 378 | 1905,6131,1 379 | 1906,1907,1 380 | 1906,2010,1 381 | 1906,6084,1 382 | 1906,6107,1 383 | 1907,2010,1 384 | 1907,6063,1 385 | 1907,6085,1 386 | 1909,1910,1 387 | 1909,2013,1 388 | 1910,2013,1 389 | 1996,2101,1 390 | 1996,6104,1 391 | 1998,2103,1 392 | 1998,2104,1 393 | 1999,2000,1 394 | 1999,2104,1 395 | 1999,2205,1 396 | 2002,2107,1 397 | 2002,2108,1 398 | 2002,2207,1 399 | 2002,6105,1 400 | 2002,6129,1 401 | 2004,2109,1 402 | 2004,2110,1 403 | 2005,2006,1 404 | 2005,2110,1 405 | 2005,2111,1 406 | 2005,2112,1 407 | 2005,2210,1 408 | 2006,2007,1 409 | 2006,2112,1 410 | 2007,2112,1 411 | 2007,6106,1 412 | 2007,6130,1 413 | 2008,6106,1 414 | 2008,6130,1 415 | 2008,6131,1 416 | 2013,2119,1 417 | 2050,2264,1 418 | 2050,6114,1 419 | 2050,7068,1 420 | 2051,6114,1 421 | 2051,7068,1 422 | 2101,2328,1 423 | 2101,7073,1 424 | 2103,2104,1 425 | 2103,2204,1 426 | 2104,2204,1 427 | 2104,2205,1 428 | 2107,2207,1 429 | 2107,6129,1 430 | 2107,6189,1 431 | 2108,2109,1 432 | 2108,2207,1 433 | 2109,2110,1 434 | 2109,2209,1 435 | 2110,2209,1 436 | 2110,2210,1 437 | 2111,2112,1 438 | 2111,2210,1 439 | 2111,7075,1 440 | 2111,7093,1 441 | 2112,6130,1 442 | 2112,7075,1 443 | 2119,7076,1 444 | 2153,2264,1 445 | 2153,2265,1 446 | 2153,2360,1 447 | 2153,7068,1 448 | 2153,7083,1 449 | 2156,6162,1 450 | 2156,6163,1 451 | 2204,2205,1 452 | 2204,6187,1 453 | 2204,6188,1 454 | 2205,6188,1 455 | 2207,6189,1 456 | 2207,6190,1 457 | 2209,2210,1 458 | 2209,6191,1 459 | 2209,6192,1 460 | 2210,6192,1 461 | 2210,7093,1 462 | 2218,2349,1 463 | 2218,2383,1 464 | 2218,6237,1 465 | 2218,7076,1 466 | 2263,2264,1 467 | 2263,2265,1 468 | 2264,2265,1 469 | 2264,7068,1 470 | 2265,2360,1 471 | 2267,2268,1 472 | 2267,2443,1 473 | 2267,2444,1 474 | 2267,6161,1 475 | 2267,6162,1 476 | 2268,2444,1 477 | 2268,2445,1 478 | 2268,6162,1 479 | 2268,6163,1 480 | 2270,2448,1 481 | 2291,6208,1 482 | 2310,6218,1 483 | 2326,2327,1 484 | 2327,2328,1 485 | 2327,2375,1 486 | 2328,7073,1 487 | 2331,2332,1 488 | 2331,6186,1 489 | 2331,6187,1 490 | 2331,6226,1 491 | 2332,6187,1 492 | 2332,6188,1 493 | 2338,2339,1 494 | 2338,6190,1 495 | 2338,6191,1 496 | 2339,2340,1 497 | 2339,6191,1 498 | 2339,6192,1 499 | 2340,6192,1 500 | 2340,6200,1 501 | 2340,7093,1 502 | 2340,7106,1 503 | 2341,2379,1 504 | 2341,6193,1 505 | 2341,6200,1 506 | 2349,2381,1 507 | 2349,6237,1 508 | 2349,7076,1 509 | 2360,7083,1 510 | 2379,2520,1 511 | 2379,7107,1 512 | 2379,7114,1 513 | 2381,6237,1 514 | 2383,6237,1 515 | 2383,6249,1 516 | 2394,2537,1 517 | 2443,2444,1 518 | 2444,2445,1 519 | 2447,2448,1 520 | 2447,2578,1 521 | 2447,2702,1 522 | 2448,2578,1 523 | 2465,2588,1 524 | 2472,2473,1 525 | 2472,2593,1 526 | 2472,2594,1 527 | 2472,6207,1 528 | 2473,2594,1 529 | 2473,6207,1 530 | 2473,6208,1 531 | 2480,2481,1 532 | 2480,2602,1 533 | 2480,6212,1 534 | 2481,2602,1 535 | 2481,6212,1 536 | 2490,2611,1 537 | 2490,2612,1 538 | 2490,6218,1 539 | 2507,2627,1 540 | 2509,6226,1 541 | 2517,2518,1 542 | 2518,7106,1 543 | 2520,2521,1 544 | 2520,2639,1 545 | 2520,2640,1 546 | 2520,7107,1 547 | 2520,7114,1 548 | 2521,2640,1 549 | 2521,7107,1 550 | 2527,6249,1 551 | 2527,6276,1 552 | 2527,6277,1 553 | 2578,2702,1 554 | 2588,2713,1 555 | 2590,2713,1 556 | 2590,2714,1 557 | 2590,6295,1 558 | 2590,6324,1 559 | 2593,2594,1 560 | 2593,2718,1 561 | 2594,2718,1 562 | 2594,2719,1 563 | 2597,2722,1 564 | 2597,6267,1 565 | 2602,2726,1 566 | 2602,6297,1 567 | 2611,2612,1 568 | 2611,2735,1 569 | 2612,2613,1 570 | 2612,2737,1 571 | 2613,2737,1 572 | 2613,2738,1 573 | 2627,2752,1 574 | 2627,6273,1 575 | 2639,2640,1 576 | 2639,2764,1 577 | 2639,6275,1 578 | 2639,7114,1 579 | 2640,2764,1 580 | 2640,2765,1 581 | 2653,2654,1 582 | 2702,2830,1 583 | 2702,2831,1 584 | 2704,2833,1 585 | 2706,6290,1 586 | 2713,2714,1 587 | 2714,6324,1 588 | 2714,6365,1 589 | 2715,2840,1 590 | 2715,2841,1 591 | 2715,6295,1 592 | 2715,6324,1 593 | 2718,2719,1 594 | 2718,2843,1 595 | 2718,2844,1 596 | 2719,2720,1 597 | 2719,2844,1 598 | 2719,2845,1 599 | 2720,2845,1 600 | 2720,2846,1 601 | 2722,2847,1 602 | 2722,2848,1 603 | 2722,6267,1 604 | 2722,6296,1 605 | 2724,2725,1 606 | 2724,2849,1 607 | 2724,2850,1 608 | 2725,2726,1 609 | 2725,2850,1 610 | 2725,2851,1 611 | 2726,2851,1 612 | 2726,6297,1 613 | 2726,6326,1 614 | 2727,2852,1 615 | 2727,2853,1 616 | 2727,6297,1 617 | 2730,2855,1 618 | 2734,2735,1 619 | 2734,2859,1 620 | 2734,2860,1 621 | 2735,2860,1 622 | 2737,2738,1 623 | 2737,2863,1 624 | 2738,2863,1 625 | 2752,2878,1 626 | 2752,6273,1 627 | 2752,6302,1 628 | 2753,6302,1 629 | 2753,6331,1 630 | 2764,2765,1 631 | 2770,2895,1 632 | 2770,2896,1 633 | 2772,6306,1 634 | 2772,6334,1 635 | 2772,6335,1 636 | 2772,7119,1 637 | 2772,7125,1 638 | 2830,2831,1 639 | 2831,2960,1 640 | 2833,2962,1 641 | 2833,6362,1 642 | 2837,2966,1 643 | 2840,2841,1 644 | 2840,2972,1 645 | 2840,2973,1 646 | 2840,6324,1 647 | 2840,6365,1 648 | 2841,2842,1 649 | 2841,2973,1 650 | 2842,2843,1 651 | 2842,2975,1 652 | 2843,2844,1 653 | 2843,2975,1 654 | 2844,2845,1 655 | 2845,2846,1 656 | 2845,2978,1 657 | 2846,2847,1 658 | 2846,2978,1 659 | 2846,2979,1 660 | 2847,2848,1 661 | 2847,2979,1 662 | 2847,2980,1 663 | 2848,2980,1 664 | 2848,2981,1 665 | 2848,6296,1 666 | 2849,2850,1 667 | 2849,2982,1 668 | 2849,6366,1 669 | 2850,2851,1 670 | 2850,2982,1 671 | 2850,2983,1 672 | 2851,2983,1 673 | 2851,6326,1 674 | 2851,6367,1 675 | 2852,2853,1 676 | 2852,2984,1 677 | 2852,2985,1 678 | 2852,6297,1 679 | 2852,6326,1 680 | 2853,2854,1 681 | 2853,2985,1 682 | 2854,2855,1 683 | 2855,2988,1 684 | 2858,2859,1 685 | 2858,2991,1 686 | 2858,6298,1 687 | 2859,2860,1 688 | 2859,2991,1 689 | 2859,2992,1 690 | 2860,2992,1 691 | 2860,2993,1 692 | 2878,3010,1 693 | 2878,6302,1 694 | 2878,6331,1 695 | 2887,3018,1 696 | 2895,2896,1 697 | 2895,3026,1 698 | 2895,3027,1 699 | 2896,2897,1 700 | 2896,3027,1 701 | 2896,3028,1 702 | 2897,3028,1 703 | 2897,3029,1 704 | 2897,6334,1 705 | 2897,7125,1 706 | 2907,2908,1 707 | 2908,6337,1 708 | 2962,2963,1 709 | 2962,3105,1 710 | 2962,3106,1 711 | 2962,6362,1 712 | 2963,2964,1 713 | 2963,3106,1 714 | 2964,3108,1 715 | 2966,3109,1 716 | 2972,2973,1 717 | 2972,6365,1 718 | 2978,2979,1 719 | 2978,3122,1 720 | 2978,3123,1 721 | 2979,2980,1 722 | 2979,3123,1 723 | 2980,2981,1 724 | 2980,3125,1 725 | 2981,3125,1 726 | 2981,6366,1 727 | 2982,2983,1 728 | 2982,3127,1 729 | 2982,3128,1 730 | 2982,6366,1 731 | 2983,3128,1 732 | 2983,6367,1 733 | 2984,2985,1 734 | 2984,3130,1 735 | 2984,3131,1 736 | 2984,6326,1 737 | 2984,6367,1 738 | 2985,3131,1 739 | 2991,2992,1 740 | 2992,2993,1 741 | 2992,3140,1 742 | 2993,2994,1 743 | 2993,3140,1 744 | 2993,3141,1 745 | 2994,3141,1 746 | 3010,6331,1 747 | 3011,3162,1 748 | 3016,6373,1 749 | 3018,3171,1 750 | 3026,3027,1 751 | 3026,3211,1 752 | 3026,3213,1 753 | 3027,3028,1 754 | 3027,3213,1 755 | 3027,3215,1 756 | 3028,3029,1 757 | 3028,3215,1 758 | 3029,7125,1 759 | 3047,3048,1 760 | 3048,3238,1 761 | 3105,3106,1 762 | 3105,6362,1 763 | 3108,3109,1 764 | 3109,3319,1 765 | 3111,3321,1 766 | 3111,7149,1 767 | 3114,3115,1 768 | 3114,3192,1 769 | 3114,3325,1 770 | 3115,3193,1 771 | 3115,3325,1 772 | 3115,3327,1 773 | 3121,3122,1 774 | 3122,3123,1 775 | 3125,6384,1 776 | 3127,3128,1 777 | 3127,3197,1 778 | 3127,6366,1 779 | 3127,7151,1 780 | 3128,3197,1 781 | 3128,3198,1 782 | 3130,3131,1 783 | 3130,6367,1 784 | 3130,7152,1 785 | 3131,6386,1 786 | 3133,6388,1 787 | 3137,6368,1 788 | 3137,6389,1 789 | 3140,3141,1 790 | 3140,6391,1 791 | 3140,6392,1 792 | 3141,3201,1 793 | 3141,6392,1 794 | 3171,3172,1 795 | 3171,3208,1 796 | 3172,6402,1 797 | 3181,7160,1 798 | 3192,3323,1 799 | 3192,3325,1 800 | 3193,3327,1 801 | 3193,3329,1 802 | 3197,3198,1 803 | 3197,3343,1 804 | 3197,7151,1 805 | 3197,7162,1 806 | 3198,3344,1 807 | 3198,7152,1 808 | 3198,7162,1 809 | 3201,3355,1 810 | 3201,6392,1 811 | 3208,3387,1 812 | 3208,7166,1 813 | 3210,3211,1 814 | 3211,3213,1 815 | 3213,3214,1 816 | 3213,3215,1 817 | 3214,3215,1 818 | 3218,3397,1 819 | 3218,6375,1 820 | 3218,6406,1 821 | 3219,3220,1 822 | 3219,6375,1 823 | 3220,3398,1 824 | 3220,3399,1 825 | 3312,3458,1 826 | 3312,3459,1 827 | 3312,3579,1 828 | 3319,3320,1 829 | 3319,3321,1 830 | 3320,3321,1 831 | 3320,3462,1 832 | 3320,6440,1 833 | 3321,7149,1 834 | 3322,3323,1 835 | 3322,3463,1 836 | 3322,7149,1 837 | 3323,7149,1 838 | 3325,3327,1 839 | 3327,3328,1 840 | 3327,3329,1 841 | 3328,3329,1 842 | 3328,3330,1 843 | 3328,3466,1 844 | 3328,3467,1 845 | 3329,3330,1 846 | 3329,3331,1 847 | 3330,3331,1 848 | 3330,3467,1 849 | 3330,6442,1 850 | 3343,7151,1 851 | 3343,7162,1 852 | 3344,3474,1 853 | 3344,7152,1 854 | 3344,7162,1 855 | 3346,3347,1 856 | 3346,3476,1 857 | 3346,6386,1 858 | 3347,3348,1 859 | 3347,3476,1 860 | 3347,3477,1 861 | 3347,6386,1 862 | 3348,3349,1 863 | 3348,3477,1 864 | 3348,3478,1 865 | 3348,6388,1 866 | 3349,3478,1 867 | 3349,6388,1 868 | 3349,6445,1 869 | 3350,3351,1 870 | 3350,3480,1 871 | 3351,3352,1 872 | 3351,3480,1 873 | 3351,3481,1 874 | 3351,6389,1 875 | 3352,3353,1 876 | 3352,3481,1 877 | 3352,3482,1 878 | 3352,6389,1 879 | 3352,6390,1 880 | 3353,3354,1 881 | 3353,3482,1 882 | 3353,3483,1 883 | 3353,6390,1 884 | 3353,6391,1 885 | 3354,3355,1 886 | 3354,3483,1 887 | 3354,3484,1 888 | 3354,6391,1 889 | 3354,6392,1 890 | 3355,3484,1 891 | 3355,3485,1 892 | 3355,6392,1 893 | 3386,7166,1 894 | 3387,3388,1 895 | 3387,3508,1 896 | 3387,7166,1 897 | 3388,3389,1 898 | 3388,3508,1 899 | 3388,3509,1 900 | 3388,6402,1 901 | 3389,3509,1 902 | 3389,6402,1 903 | 3392,3393,1 904 | 3393,3514,1 905 | 3397,3517,1 906 | 3397,6406,1 907 | 3397,6423,1 908 | 3397,6455,1 909 | 3398,3399,1 910 | 3398,3518,1 911 | 3398,3519,1 912 | 3399,3519,1 913 | 3399,3520,1 914 | 3399,6425,1 915 | 3400,3521,1 916 | 3400,6425,1 917 | 3400,6456,1 918 | 3458,3578,1 919 | 3458,3579,1 920 | 3458,3688,1 921 | 3459,3579,1 922 | 3459,3580,1 923 | 3461,3462,1 924 | 3461,3581,1 925 | 3461,3582,1 926 | 3462,3582,1 927 | 3462,6440,1 928 | 3463,6440,1 929 | 3466,3467,1 930 | 3467,6442,1 931 | 3476,3477,1 932 | 3476,3597,1 933 | 3476,3598,1 934 | 3477,3478,1 935 | 3477,3598,1 936 | 3478,6445,1 937 | 3480,3481,1 938 | 3480,3601,1 939 | 3480,3602,1 940 | 3481,3482,1 941 | 3481,3602,1 942 | 3481,3603,1 943 | 3482,3483,1 944 | 3482,3603,1 945 | 3482,3604,1 946 | 3483,3484,1 947 | 3483,3604,1 948 | 3483,3605,1 949 | 3484,3485,1 950 | 3484,3605,1 951 | 3484,3606,1 952 | 3485,3606,1 953 | 3485,3607,1 954 | 3508,3509,1 955 | 3508,3617,1 956 | 3514,6481,1 957 | 3515,6481,1 958 | 3517,3626,1 959 | 3517,6423,1 960 | 3517,6454,1 961 | 3517,6455,1 962 | 3517,6483,1 963 | 3518,3519,1 964 | 3518,3628,1 965 | 3518,6455,1 966 | 3519,3520,1 967 | 3519,3628,1 968 | 3519,3629,1 969 | 3520,3629,1 970 | 3520,6425,1 971 | 3520,6456,1 972 | 3521,3522,1 973 | 3521,3631,1 974 | 3521,6456,1 975 | 3521,6484,1 976 | 3522,3631,1 977 | 3522,6485,1 978 | 3522,6510,1 979 | 3524,3525,1 980 | 3524,3633,1 981 | 3524,3634,1 982 | 3525,3634,1 983 | 3578,3688,1 984 | 3578,3790,1 985 | 3579,3580,1 986 | 3579,3688,1 987 | 3580,3690,1 988 | 3581,3582,1 989 | 3581,3690,1 990 | 3581,3793,1 991 | 3585,6472,1 992 | 3585,6500,1 993 | 3597,3598,1 994 | 3600,3601,1 995 | 3600,6445,1 996 | 3601,3602,1 997 | 3601,3710,1 998 | 3602,3603,1 999 | 3602,3710,1 1000 | 3602,3711,1 1001 | 3603,3604,1 1002 | 3603,3711,1 1003 | 3604,3605,1 1004 | 3605,3606,1 1005 | 3606,3607,1 1006 | 3606,3715,1 1007 | 3607,3715,1 1008 | 3617,3718,1 1009 | 3617,3719,1 1010 | 3626,3728,1 1011 | 3626,6454,1 1012 | 3626,6482,1 1013 | 3626,6483,1 1014 | 3626,6509,1 1015 | 3628,3629,1 1016 | 3631,3734,1 1017 | 3631,6484,1 1018 | 3631,6510,1 1019 | 3631,7176,1 1020 | 3632,3633,1 1021 | 3632,3735,1 1022 | 3632,3736,1 1023 | 3632,6485,1 1024 | 3632,6510,1 1025 | 3633,3634,1 1026 | 3633,3736,1 1027 | 3633,3737,1 1028 | 3634,3737,1 1029 | 3634,3738,1 1030 | 3636,3637,1 1031 | 3637,3638,1 1032 | 3637,3741,1 1033 | 3638,3741,1 1034 | 3638,3742,1 1035 | 3688,3790,1 1036 | 3688,3791,1 1037 | 3690,3792,1 1038 | 3690,3793,1 1039 | 3704,3809,1 1040 | 3704,6504,1 1041 | 3710,3711,1 1042 | 3710,3815,1 1043 | 3710,3816,1 1044 | 3711,3816,1 1045 | 3715,3820,1 1046 | 3715,3821,1 1047 | 3718,3719,1 1048 | 3719,3720,1 1049 | 3719,3827,1 1050 | 3720,3827,1 1051 | 3720,3828,1 1052 | 3728,3837,1 1053 | 3728,6482,1 1054 | 3728,6509,1 1055 | 3729,6483,1 1056 | 3729,6509,1 1057 | 3734,3844,1 1058 | 3734,6484,1 1059 | 3734,7176,1 1060 | 3735,3736,1 1061 | 3735,3846,1 1062 | 3735,6510,1 1063 | 3735,7176,1 1064 | 3736,3737,1 1065 | 3736,3846,1 1066 | 3736,3847,1 1067 | 3737,3738,1 1068 | 3737,3847,1 1069 | 3737,3848,1 1070 | 3738,3848,1 1071 | 3738,3849,1 1072 | 3741,3742,1 1073 | 3741,3851,1 1074 | 3741,3852,1 1075 | 3742,3852,1 1076 | 3742,3853,1 1077 | 3790,3791,1 1078 | 3790,6536,1 1079 | 3791,3792,1 1080 | 3791,6536,1 1081 | 3791,6537,1 1082 | 3792,3793,1 1083 | 3792,6537,1 1084 | 3792,6538,1 1085 | 3793,6538,1 1086 | 3793,6539,1 1087 | 3794,3918,1 1088 | 3794,6539,1 1089 | 3801,3926,1 1090 | 3802,3927,1 1091 | 3802,3928,1 1092 | 3811,3939,1 1093 | 3811,3940,1 1094 | 3811,6543,1 1095 | 3815,3816,1 1096 | 3815,3945,1 1097 | 3816,3945,1 1098 | 3816,3946,1 1099 | 3818,3819,1 1100 | 3818,3948,1 1101 | 3819,3820,1 1102 | 3819,3948,1 1103 | 3819,3949,1 1104 | 3820,3821,1 1105 | 3820,3949,1 1106 | 3820,3950,1 1107 | 3821,3950,1 1108 | 3827,3828,1 1109 | 3828,3958,1 1110 | 3830,3831,1 1111 | 3830,3958,1 1112 | 3830,3984,1 1113 | 3831,3832,1 1114 | 3831,3984,1 1115 | 3831,3986,1 1116 | 3832,3833,1 1117 | 3832,3986,1 1118 | 3832,3988,1 1119 | 3833,3988,1 1120 | 3833,3990,1 1121 | 3837,3960,1 1122 | 3837,6509,1 1123 | 3837,7190,1 1124 | 3841,3842,1 1125 | 3841,6553,1 1126 | 3841,6554,1 1127 | 3842,6554,1 1128 | 3844,7176,1 1129 | 3846,3847,1 1130 | 3846,4000,1 1131 | 3846,4002,1 1132 | 3847,3848,1 1133 | 3847,4002,1 1134 | 3847,4004,1 1135 | 3848,3849,1 1136 | 3848,4004,1 1137 | 3848,4006,1 1138 | 3849,3850,1 1139 | 3849,3962,1 1140 | 3849,4006,1 1141 | 3850,3851,1 1142 | 3850,3962,1 1143 | 3850,3963,1 1144 | 3851,3852,1 1145 | 3851,3963,1 1146 | 3851,6555,1 1147 | 3852,3853,1 1148 | 3852,6555,1 1149 | 3853,3854,1 1150 | 3853,6557,1 1151 | 3854,3855,1 1152 | 3854,6557,1 1153 | 3854,6558,1 1154 | 3855,3856,1 1155 | 3855,6558,1 1156 | 3913,3914,1 1157 | 3913,6536,1 1158 | 3913,6583,1 1159 | 3914,3915,1 1160 | 3914,4086,1 1161 | 3914,6536,1 1162 | 3914,6537,1 1163 | 3915,3916,1 1164 | 3915,4086,1 1165 | 3915,4087,1 1166 | 3915,6537,1 1167 | 3915,6538,1 1168 | 3916,4087,1 1169 | 3916,4088,1 1170 | 3916,6538,1 1171 | 3916,6539,1 1172 | 3918,3974,1 1173 | 3926,3927,1 1174 | 3927,3928,1 1175 | 3938,3939,1 1176 | 3938,6543,1 1177 | 3939,3940,1 1178 | 3939,6543,1 1179 | 3945,3946,1 1180 | 3948,3949,1 1181 | 3948,4123,1 1182 | 3949,3950,1 1183 | 3949,4123,1 1184 | 3949,4125,1 1185 | 3950,4125,1 1186 | 3960,3992,1 1187 | 3960,6550,1 1188 | 3960,7190,1 1189 | 3960,7202,1 1190 | 3962,3963,1 1191 | 3962,4006,1 1192 | 3962,6593,1 1193 | 3963,4008,1 1194 | 3963,6555,1 1195 | 3963,6593,1 1196 | 3974,4091,1 1197 | 3984,3986,1 1198 | 3986,3988,1 1199 | 3988,3990,1 1200 | 3990,7189,1 1201 | 3992,3993,1 1202 | 3992,7190,1 1203 | 3992,7202,1 1204 | 3993,3994,1 1205 | 3993,6551,1 1206 | 3993,7190,1 1207 | 3994,6551,1 1208 | 3994,6552,1 1209 | 4000,4002,1 1210 | 4002,4003,1 1211 | 4002,4004,1 1212 | 4003,4004,1 1213 | 4003,4005,1 1214 | 4003,4149,1 1215 | 4004,4005,1 1216 | 4004,4006,1 1217 | 4005,4006,1 1218 | 4005,4149,1 1219 | 4008,4009,1 1220 | 4008,4151,1 1221 | 4008,4152,1 1222 | 4008,6555,1 1223 | 4008,6593,1 1224 | 4009,4152,1 1225 | 4009,4153,1 1226 | 4009,6555,1 1227 | 4011,4012,1 1228 | 4011,6557,1 1229 | 4011,6558,1 1230 | 4012,4013,1 1231 | 4012,4156,1 1232 | 4012,6558,1 1233 | 4013,4156,1 1234 | 4013,6594,1 1235 | 4013,7204,1 1236 | 4086,4087,1 1237 | 4086,4204,1 1238 | 4086,4205,1 1239 | 4087,4088,1 1240 | 4087,4205,1 1241 | 4087,4206,1 1242 | 4088,4089,1 1243 | 4088,4206,1 1244 | 4089,4206,1 1245 | 4089,4207,1 1246 | 4101,4214,1 1247 | 4101,6606,1 1248 | 4121,4230,1 1249 | 4121,6610,1 1250 | 4122,4123,1 1251 | 4122,4232,1 1252 | 4122,6610,1 1253 | 4122,6635,1 1254 | 4123,4125,1 1255 | 4125,4126,1 1256 | 4126,4234,1 1257 | 4146,4254,1 1258 | 4146,6591,1 1259 | 4151,4152,1 1260 | 4151,6593,1 1261 | 4152,4153,1 1262 | 4153,4262,1 1263 | 4156,6594,1 1264 | 4156,6619,1 1265 | 4158,4267,1 1266 | 4204,4205,1 1267 | 4204,4313,1 1268 | 4205,4206,1 1269 | 4205,4313,1 1270 | 4205,4314,1 1271 | 4206,4207,1 1272 | 4206,4314,1 1273 | 4207,4314,1 1274 | 4207,4315,1 1275 | 4207,4422,1 1276 | 4210,4211,1 1277 | 4210,4318,1 1278 | 4210,4319,1 1279 | 4211,4319,1 1280 | 4211,6630,1 1281 | 4214,4215,1 1282 | 4214,4323,1 1283 | 4214,6606,1 1284 | 4215,4323,1 1285 | 4229,4230,1 1286 | 4232,6635,1 1287 | 4234,4341,1 1288 | 4234,6636,1 1289 | 4252,4253,1 1290 | 4252,4358,1 1291 | 4253,6616,1 1292 | 4253,6641,1 1293 | 4254,4360,1 1294 | 4254,4361,1 1295 | 4254,6591,1 1296 | 4254,6616,1 1297 | 4256,4362,1 1298 | 4265,6594,1 1299 | 4265,6619,1 1300 | 4267,4374,1 1301 | 4267,6620,1 1302 | 4268,6620,1 1303 | 4313,4314,1 1304 | 4313,4420,1 1305 | 4313,6654,1 1306 | 4314,4315,1 1307 | 4314,4420,1 1308 | 4315,4420,1 1309 | 4315,4422,1 1310 | 4315,4527,1 1311 | 4318,4319,1 1312 | 4318,4424,1 1313 | 4318,4425,1 1314 | 4318,4530,1 1315 | 4319,4425,1 1316 | 4319,6630,1 1317 | 4319,6655,1 1318 | 4320,4426,1 1319 | 4320,6630,1 1320 | 4322,4429,1 1321 | 4322,6606,1 1322 | 4323,4430,1 1323 | 4341,6636,1 1324 | 4341,6661,1 1325 | 4357,4358,1 1326 | 4357,4464,1 1327 | 4357,4465,1 1328 | 4358,4465,1 1329 | 4358,4466,1 1330 | 4360,4361,1 1331 | 4360,4467,1 1332 | 4360,4468,1 1333 | 4360,6616,1 1334 | 4360,6641,1 1335 | 4361,4362,1 1336 | 4361,4468,1 1337 | 4361,4469,1 1338 | 4362,4469,1 1339 | 4364,6666,1 1340 | 4364,7217,1 1341 | 4374,4482,1 1342 | 4374,4483,1 1343 | 4374,6620,1 1344 | 4379,7210,1 1345 | 4420,6654,1 1346 | 4422,4423,1 1347 | 4422,4527,1 1348 | 4423,4424,1 1349 | 4423,4529,1 1350 | 4424,4529,1 1351 | 4424,4530,1 1352 | 4425,4530,1 1353 | 4425,6655,1 1354 | 4425,6700,1 1355 | 4426,4532,1 1356 | 4426,4533,1 1357 | 4426,6630,1 1358 | 4426,6655,1 1359 | 4429,4535,1 1360 | 4429,4536,1 1361 | 4443,4553,1 1362 | 4464,4465,1 1363 | 4464,4575,1 1364 | 4465,4466,1 1365 | 4465,4577,1 1366 | 4466,4577,1 1367 | 4466,6665,1 1368 | 4467,4468,1 1369 | 4467,6641,1 1370 | 4467,6665,1 1371 | 4468,4469,1 1372 | 4473,4586,1 1373 | 4473,4587,1 1374 | 4473,6666,1 1375 | 4473,7217,1 1376 | 4482,4483,1 1377 | 4482,4597,1 1378 | 4483,4597,1 1379 | 4529,4530,1 1380 | 4529,6698,1 1381 | 4529,6699,1 1382 | 4530,6699,1 1383 | 4530,6700,1 1384 | 4532,4533,1 1385 | 4532,4659,1 1386 | 4532,6655,1 1387 | 4535,4536,1 1388 | 4535,4662,1 1389 | 4549,4678,1 1390 | 4553,4554,1 1391 | 4553,4681,1 1392 | 4557,6661,1 1393 | 4575,6715,1 1394 | 4586,4587,1 1395 | 4586,7217,1 1396 | 4597,4700,1 1397 | 4655,4656,1 1398 | 4655,4817,1 1399 | 4655,6698,1 1400 | 4656,4657,1 1401 | 4656,4817,1 1402 | 4656,6698,1 1403 | 4656,6699,1 1404 | 4657,6699,1 1405 | 4657,6700,1 1406 | 4662,6752,1 1407 | 4678,4723,1 1408 | 4678,6761,1 1409 | 4696,4697,1 1410 | 4696,6720,1 1411 | 4696,7249,1 1412 | 4697,7249,1 1413 | 4700,6779,1 1414 | 4723,4724,1 1415 | 4723,4838,1 1416 | 4723,6761,1 1417 | 4733,6713,1 1418 | 4735,6715,1 1419 | 4738,7230,1 1420 | 4752,4873,1 1421 | 4820,4822,1 1422 | 4822,6814,1 1423 | 4825,6752,1 1424 | 4838,6761,1 1425 | 4852,4953,1 1426 | 4860,4961,1 1427 | 4873,4874,1 1428 | 4873,4974,1 1429 | 4874,4875,1 1430 | 4874,4974,1 1431 | 4874,4975,1 1432 | 4875,4975,1 1433 | 4875,6779,1 1434 | 4926,5026,1 1435 | 4926,5027,1 1436 | 4941,4942,1 1437 | 4942,4943,1 1438 | 4942,5042,1 1439 | 4943,5042,1 1440 | 4943,5043,1 1441 | 4953,5052,1 1442 | 4961,5061,1 1443 | 4966,5065,1 1444 | 4966,5066,1 1445 | 4974,4975,1 1446 | 5025,5026,1 1447 | 5025,5124,1 1448 | 5025,5125,1 1449 | 5025,6814,1 1450 | 5026,5027,1 1451 | 5026,5125,1 1452 | 5026,5126,1 1453 | 5027,5126,1 1454 | 5042,5043,1 1455 | 5061,5154,1 1456 | 5063,5156,1 1457 | 5065,5066,1 1458 | 5065,5159,1 1459 | 5066,5159,1 1460 | 5124,5125,1 1461 | 5125,5126,1 1462 | 5126,5224,1 1463 | 5137,5138,1 1464 | 5138,5139,1 1465 | 5154,5251,1 1466 | 5155,5156,1 1467 | 5159,5257,1 1468 | 5159,5258,1 1469 | 5224,5225,1 1470 | 5225,5226,1 1471 | 5257,5258,1 1472 | 5260,5368,1 1473 | 5260,6871,1 1474 | 5342,6881,1 1475 | 5367,6871,1 1476 | 5368,6871,1 1477 | 5415,5416,1 1478 | 5662,5665,1 1479 | 5780,5781,1 1480 | 5826,5842,1 1481 | 5838,5852,1 1482 | 5843,5857,1 1483 | 5852,7000,1 1484 | 5853,7001,1 1485 | 5857,7005,1 1486 | 5869,5870,1 1487 | 5870,5871,1 1488 | 5882,5883,1 1489 | 5889,5890,1 1490 | 5890,5891,1 1491 | 5891,5892,1 1492 | 5897,5898,1 1493 | 5897,7020,1 1494 | 5933,7031,1 1495 | 5935,5936,1 1496 | 5955,5972,1 1497 | 5956,5975,1 1498 | 5956,7035,1 1499 | 5976,6000,1 1500 | 6000,6024,1 1501 | 6050,6068,1 1502 | 6062,6083,1 1503 | 6063,6085,1 1504 | 6063,7061,1 1505 | 6080,6103,1 1506 | 6082,6105,1 1507 | 6083,6106,1 1508 | 6084,6107,1 1509 | 6105,6129,1 1510 | 6106,6130,1 1511 | 6107,6131,1 1512 | 6114,7068,1 1513 | 6123,7072,1 1514 | 6130,7075,1 1515 | 6161,6162,1 1516 | 6161,7083,1 1517 | 6162,6163,1 1518 | 6186,6187,1 1519 | 6187,6188,1 1520 | 6189,6190,1 1521 | 6190,6191,1 1522 | 6191,6192,1 1523 | 6192,7093,1 1524 | 6193,7075,1 1525 | 6200,7093,1 1526 | 6200,7106,1 1527 | 6207,6208,1 1528 | 6237,6249,1 1529 | 6249,6277,1 1530 | 6266,6295,1 1531 | 6267,6296,1 1532 | 6273,6302,1 1533 | 6275,7114,1 1534 | 6277,6306,1 1535 | 6295,6324,1 1536 | 6297,6326,1 1537 | 6302,6331,1 1538 | 6306,7119,1 1539 | 6324,6365,1 1540 | 6326,6367,1 1541 | 6334,7125,1 1542 | 6335,7119,1 1543 | 6335,7125,1 1544 | 6384,7151,1 1545 | 6389,6390,1 1546 | 6390,6391,1 1547 | 6391,6392,1 1548 | 6406,6423,1 1549 | 6423,6454,1 1550 | 6425,6456,1 1551 | 6454,6482,1 1552 | 6455,6483,1 1553 | 6456,6484,1 1554 | 6472,6500,1 1555 | 6483,6509,1 1556 | 6485,6510,1 1557 | 6504,6543,1 1558 | 6510,7176,1 1559 | 6536,6537,1 1560 | 6537,6538,1 1561 | 6538,6539,1 1562 | 6550,7189,1 1563 | 6550,7202,1 1564 | 6551,6552,1 1565 | 6551,7190,1 1566 | 6552,6553,1 1567 | 6553,6554,1 1568 | 6557,6558,1 1569 | 6591,6616,1 1570 | 6594,6619,1 1571 | 6594,7204,1 1572 | 6610,6635,1 1573 | 6616,6641,1 1574 | 6630,6655,1 1575 | 6636,6661,1 1576 | 6641,6665,1 1577 | 6646,7210,1 1578 | 6666,7217,1 1579 | 6698,6699,1 1580 | 6699,6700,1 1581 | 6719,6720,1 1582 | 6760,6761,1 1583 | 22,49,2 1584 | 22,99,2 1585 | 41,86,2 1586 | 60,6960,2 1587 | 65,68,2 1588 | 65,141,2 1589 | 65,218,2 1590 | 68,141,2 1591 | 68,221,2 1592 | 85,86,2 1593 | 85,252,2 1594 | 92,193,2 1595 | 136,353,2 1596 | 141,221,2 1597 | 184,253,2 1598 | 184,324,2 1599 | 184,5729,2 1600 | 193,195,2 1601 | 193,263,2 1602 | 193,331,2 1603 | 195,262,2 1604 | 228,367,2 1605 | 251,252,2 1606 | 251,465,2 1607 | 251,466,2 1608 | 252,253,2 1609 | 252,393,2 1610 | 253,324,2 1611 | 253,396,2 1612 | 262,331,2 1613 | 262,407,2 1614 | 263,407,2 1615 | 293,364,2 1616 | 293,366,2 1617 | 324,326,2 1618 | 324,396,2 1619 | 329,331,2 1620 | 329,472,2 1621 | 329,474,2 1622 | 336,411,2 1623 | 353,5733,2 1624 | 363,364,2 1625 | 364,366,2 1626 | 366,367,2 1627 | 396,397,2 1628 | 396,557,2 1629 | 396,5729,2 1630 | 396,5780,2 1631 | 397,559,2 1632 | 397,5729,2 1633 | 401,474,2 1634 | 401,5784,2 1635 | 407,408,2 1636 | 408,5791,2 1637 | 410,5791,2 1638 | 444,5763,2 1639 | 466,5780,2 1640 | 472,474,2 1641 | 474,568,2 1642 | 474,5784,2 1643 | 530,644,2 1644 | 549,759,2 1645 | 549,5777,2 1646 | 557,559,2 1647 | 557,671,2 1648 | 557,674,2 1649 | 559,673,2 1650 | 559,676,2 1651 | 559,5780,2 1652 | 601,707,2 1653 | 601,794,2 1654 | 601,796,2 1655 | 601,873,2 1656 | 606,5832,2 1657 | 629,631,2 1658 | 630,810,2 1659 | 631,731,2 1660 | 631,810,2 1661 | 631,5838,2 1662 | 644,745,2 1663 | 669,839,2 1664 | 669,918,2 1665 | 669,5843,2 1666 | 671,673,2 1667 | 671,842,2 1668 | 671,5780,2 1669 | 671,5811,2 1670 | 671,5843,2 1671 | 673,676,2 1672 | 673,5780,2 1673 | 673,5781,2 1674 | 674,676,2 1675 | 674,846,2 1676 | 676,846,2 1677 | 679,5784,2 1678 | 680,5784,2 1679 | 699,5846,2 1680 | 707,873,2 1681 | 711,713,2 1682 | 713,797,2 1683 | 713,5832,2 1684 | 731,810,2 1685 | 731,886,2 1686 | 734,810,2 1687 | 734,813,2 1688 | 734,887,2 1689 | 734,889,2 1690 | 734,964,2 1691 | 736,889,2 1692 | 736,965,2 1693 | 736,5853,2 1694 | 759,760,2 1695 | 759,838,2 1696 | 759,914,2 1697 | 760,761,2 1698 | 761,762,2 1699 | 761,918,2 1700 | 761,5811,2 1701 | 761,5826,2 1702 | 762,839,2 1703 | 762,842,2 1704 | 762,989,2 1705 | 762,990,2 1706 | 762,5811,2 1707 | 762,5857,2 1708 | 784,5846,2 1709 | 788,5861,2 1710 | 792,873,2 1711 | 794,796,2 1712 | 796,797,2 1713 | 810,811,2 1714 | 810,7000,2 1715 | 811,886,2 1716 | 811,1032,2 1717 | 811,5869,2 1718 | 811,5870,2 1719 | 811,7000,2 1720 | 813,814,2 1721 | 813,888,2 1722 | 813,965,2 1723 | 814,889,2 1724 | 814,965,2 1725 | 814,1038,2 1726 | 814,7001,2 1727 | 817,818,2 1728 | 817,5853,2 1729 | 817,7001,2 1730 | 838,839,2 1731 | 838,914,2 1732 | 838,5826,2 1733 | 838,5889,2 1734 | 839,918,2 1735 | 839,989,2 1736 | 839,5826,2 1737 | 839,5842,2 1738 | 842,7005,2 1739 | 846,994,2 1740 | 863,5846,2 1741 | 886,887,2 1742 | 886,1032,2 1743 | 886,5838,2 1744 | 887,888,2 1745 | 887,1033,2 1746 | 887,5870,2 1747 | 888,890,2 1748 | 888,5869,2 1749 | 888,5870,2 1750 | 888,5871,2 1751 | 889,5871,2 1752 | 890,5853,2 1753 | 890,5871,2 1754 | 898,975,2 1755 | 899,973,2 1756 | 899,5880,2 1757 | 914,5842,2 1758 | 918,5843,2 1759 | 918,5857,2 1760 | 918,5890,2 1761 | 918,5891,2 1762 | 918,5892,2 1763 | 928,5897,2 1764 | 928,5898,2 1765 | 928,7020,2 1766 | 943,5846,2 1767 | 973,975,2 1768 | 973,1045,2 1769 | 975,1051,2 1770 | 989,1066,2 1771 | 989,1068,2 1772 | 989,5889,2 1773 | 989,5892,2 1774 | 990,1068,2 1775 | 990,1070,2 1776 | 990,5857,2 1777 | 990,5890,2 1778 | 990,7005,2 1779 | 991,1072,2 1780 | 991,1126,2 1781 | 991,5857,2 1782 | 991,7033,2 1783 | 994,1074,2 1784 | 994,5896,2 1785 | 996,997,2 1786 | 996,1079,2 1787 | 996,1198,2 1788 | 996,5896,2 1789 | 997,1079,2 1790 | 997,1080,2 1791 | 997,1128,2 1792 | 997,5898,2 1793 | 1032,1116,2 1794 | 1032,5926,2 1795 | 1033,1150,2 1796 | 1033,1151,2 1797 | 1038,5853,2 1798 | 1051,1052,2 1799 | 1052,7029,2 1800 | 1061,7031,2 1801 | 1062,1063,2 1802 | 1062,1182,2 1803 | 1062,5933,2 1804 | 1063,7031,2 1805 | 1066,1068,2 1806 | 1066,1188,2 1807 | 1066,5936,2 1808 | 1068,1070,2 1809 | 1068,1071,2 1810 | 1068,1191,2 1811 | 1068,5935,2 1812 | 1070,1126,2 1813 | 1071,1072,2 1814 | 1071,1191,2 1815 | 1071,1192,2 1816 | 1071,7005,2 1817 | 1071,7033,2 1818 | 1072,1074,2 1819 | 1072,1126,2 1820 | 1072,1192,2 1821 | 1072,1193,2 1822 | 1074,1195,2 1823 | 1074,5896,2 1824 | 1079,1081,2 1825 | 1079,1198,2 1826 | 1079,1202,2 1827 | 1079,5898,2 1828 | 1079,5955,2 1829 | 1080,1082,2 1830 | 1080,1128,2 1831 | 1080,1203,2 1832 | 1080,5955,2 1833 | 1081,1200,2 1834 | 1081,1203,2 1835 | 1082,1202,2 1836 | 1082,1203,2 1837 | 1082,1207,2 1838 | 1082,5898,2 1839 | 1116,1151,2 1840 | 1116,1248,2 1841 | 1121,5880,2 1842 | 1124,7031,2 1843 | 1126,1191,2 1844 | 1126,1193,2 1845 | 1126,1278,2 1846 | 1126,5970,2 1847 | 1128,1200,2 1848 | 1128,5955,2 1849 | 1128,7045,2 1850 | 1132,5976,2 1851 | 1132,7035,2 1852 | 1133,5945,2 1853 | 1138,1313,2 1854 | 1150,1152,2 1855 | 1150,1249,2 1856 | 1150,1321,2 1857 | 1151,1153,2 1858 | 1151,1321,2 1859 | 1151,1322,2 1860 | 1152,1248,2 1861 | 1152,1321,2 1862 | 1152,1322,2 1863 | 1152,5926,2 1864 | 1153,1155,2 1865 | 1153,1249,2 1866 | 1153,1322,2 1867 | 1155,1326,2 1868 | 1155,5919,2 1869 | 1170,1261,2 1870 | 1170,1262,2 1871 | 1182,7031,2 1872 | 1188,1346,2 1873 | 1188,5936,2 1874 | 1191,1192,2 1875 | 1191,1347,2 1876 | 1191,5936,2 1877 | 1192,1279,2 1878 | 1192,1350,2 1879 | 1192,5970,2 1880 | 1193,1195,2 1881 | 1193,1350,2 1882 | 1195,1197,2 1883 | 1195,1279,2 1884 | 1197,1198,2 1885 | 1198,1200,2 1886 | 1198,5955,2 1887 | 1200,1285,2 1888 | 1200,5972,2 1889 | 1202,1285,2 1890 | 1202,1286,2 1891 | 1202,5972,2 1892 | 1203,1207,2 1893 | 1203,5972,2 1894 | 1207,1209,2 1895 | 1207,1286,2 1896 | 1209,1210,2 1897 | 1209,1361,2 1898 | 1209,5997,2 1899 | 1210,1214,2 1900 | 1210,1364,2 1901 | 1211,1214,2 1902 | 1211,1215,2 1903 | 1212,1215,2 1904 | 1212,1364,2 1905 | 1214,1364,2 1906 | 1214,5956,2 1907 | 1214,5975,2 1908 | 1215,5956,2 1909 | 1215,5975,2 1910 | 1215,7035,2 1911 | 1235,1309,2 1912 | 1248,1395,2 1913 | 1249,1395,2 1914 | 1249,1396,2 1915 | 1254,1326,2 1916 | 1254,1400,2 1917 | 1257,1258,2 1918 | 1257,1328,2 1919 | 1258,1260,2 1920 | 1258,1333,2 1921 | 1258,1404,2 1922 | 1258,1405,2 1923 | 1258,5965,2 1924 | 1260,1261,2 1925 | 1260,1407,2 1926 | 1260,1409,2 1927 | 1261,1409,2 1928 | 1261,5965,2 1929 | 1274,1347,2 1930 | 1274,5935,2 1931 | 1274,5936,2 1932 | 1278,5970,2 1933 | 1279,7033,2 1934 | 1285,1434,2 1935 | 1286,1434,2 1936 | 1286,5972,2 1937 | 1286,5997,2 1938 | 1286,6039,2 1939 | 1304,1378,2 1940 | 1304,1455,2 1941 | 1305,1379,2 1942 | 1305,1455,2 1943 | 1305,1456,2 1944 | 1321,1396,2 1945 | 1322,1479,2 1946 | 1326,1398,2 1947 | 1333,1405,2 1948 | 1333,1406,2 1949 | 1333,1409,2 1950 | 1333,5965,2 1951 | 1346,1510,2 1952 | 1346,6018,2 1953 | 1347,1510,2 1954 | 1347,5970,2 1955 | 1355,1519,2 1956 | 1355,5955,2 1957 | 1355,5972,2 1958 | 1355,7045,2 1959 | 1361,1526,2 1960 | 1364,1532,2 1961 | 1367,1443,2 1962 | 1367,1446,2 1963 | 1367,1534,2 1964 | 1367,5956,2 1965 | 1367,5975,2 1966 | 1367,5976,2 1967 | 1367,6000,2 1968 | 1378,1547,2 1969 | 1379,1455,2 1970 | 1379,1547,2 1971 | 1395,1479,2 1972 | 1396,1398,2 1973 | 1396,1480,2 1974 | 1396,1576,2 1975 | 1398,1400,2 1976 | 1398,1479,2 1977 | 1398,1576,2 1978 | 1398,1578,2 1979 | 1399,1480,2 1980 | 1399,1578,2 1981 | 1399,1579,2 1982 | 1399,5985,2 1983 | 1400,1578,2 1984 | 1400,1579,2 1985 | 1404,1406,2 1986 | 1404,1585,2 1987 | 1405,1407,2 1988 | 1405,1487,2 1989 | 1407,1409,2 1990 | 1431,1620,2 1991 | 1431,1622,2 1992 | 1432,1622,2 1993 | 1432,5972,2 1994 | 1434,1435,2 1995 | 1435,5997,2 1996 | 1443,1445,2 1997 | 1443,1532,2 1998 | 1443,1640,2 1999 | 1443,5975,2 2000 | 1444,1446,2 2001 | 1444,1533,2 2002 | 1444,1640,2 2003 | 1444,1641,2 2004 | 1444,5975,2 2005 | 1445,1534,2 2006 | 1445,1537,2 2007 | 1445,1640,2 2008 | 1445,1641,2 2009 | 1445,1642,2 2010 | 1445,5976,2 2011 | 1445,6000,2 2012 | 1445,6024,2 2013 | 1446,1641,2 2014 | 1446,1642,2 2015 | 1446,1643,2 2016 | 1446,5976,2 2017 | 1455,1547,2 2018 | 1455,1654,2 2019 | 1456,1654,2 2020 | 1456,1655,2 2021 | 1480,1578,2 2022 | 1480,1703,2 2023 | 1510,1744,2 2024 | 1510,6018,2 2025 | 1519,1620,2 2026 | 1519,1756,2 2027 | 1524,1526,2 2028 | 1524,6039,2 2029 | 1526,1769,2 2030 | 1532,1534,2 2031 | 1533,1637,2 2032 | 1533,1640,2 2033 | 1537,1538,2 2034 | 1537,1785,2 2035 | 1537,6000,2 2036 | 1537,6060,2 2037 | 1538,1643,2 2038 | 1538,1788,2 2039 | 1538,1789,2 2040 | 1538,6024,2 2041 | 1538,6060,2 2042 | 1547,1799,2 2043 | 1547,1800,2 2044 | 1552,1809,2 2045 | 1552,7061,2 2046 | 1553,1809,2 2047 | 1557,1673,2 2048 | 1576,1578,2 2049 | 1576,1703,2 2050 | 1578,1705,2 2051 | 1579,1703,2 2052 | 1579,6050,2 2053 | 1579,6068,2 2054 | 1620,1622,2 2055 | 1622,1756,2 2056 | 1637,6080,2 2057 | 1640,1785,2 2058 | 1640,1891,2 2059 | 1641,1643,2 2060 | 1641,1891,2 2061 | 1641,1892,2 2062 | 1642,1891,2 2063 | 1642,1892,2 2064 | 1642,6024,2 2065 | 1642,6060,2 2066 | 1643,1787,2 2067 | 1643,1788,2 2068 | 1643,1892,2 2069 | 1649,1897,2 2070 | 1649,1898,2 2071 | 1649,6082,2 2072 | 1654,1798,2 2073 | 1654,1902,2 2074 | 1655,1799,2 2075 | 1655,1902,2 2076 | 1655,1904,2 2077 | 1658,1803,2 2078 | 1658,6026,2 2079 | 1658,6083,2 2080 | 1658,6084,2 2081 | 1673,1812,2 2082 | 1673,1910,2 2083 | 1703,1705,2 2084 | 1750,1753,2 2085 | 1753,1755,2 2086 | 1785,6104,2 2087 | 1787,1789,2 2088 | 1787,1790,2 2089 | 1787,1996,2 2090 | 1787,1998,2 2091 | 1787,2103,2 2092 | 1787,6104,2 2093 | 1788,1791,2 2094 | 1789,1896,2 2095 | 1790,1897,2 2096 | 1790,1999,2 2097 | 1790,2000,2 2098 | 1790,2103,2 2099 | 1791,1894,2 2100 | 1791,1895,2 2101 | 1791,1897,2 2102 | 1791,2000,2 2103 | 1795,1798,2 2104 | 1795,1898,2 2105 | 1795,2004,2 2106 | 1795,2108,2 2107 | 1795,2109,2 2108 | 1795,6105,2 2109 | 1796,1798,2 2110 | 1796,1799,2 2111 | 1796,1899,2 2112 | 1796,2004,2 2113 | 1796,6082,2 2114 | 1798,1800,2 2115 | 1798,2006,2 2116 | 1798,2109,2 2117 | 1799,1900,2 2118 | 1800,1904,2 2119 | 1800,2007,2 2120 | 1803,1904,2 2121 | 1803,1906,2 2122 | 1803,2008,2 2123 | 1803,6131,2 2124 | 1804,1905,2 2125 | 1804,1906,2 2126 | 1804,6107,2 2127 | 1804,7061,2 2128 | 1809,1812,2 2129 | 1809,1909,2 2130 | 1809,6063,2 2131 | 1809,6085,2 2132 | 1809,7061,2 2133 | 1812,2013,2 2134 | 1814,1909,2 2135 | 1814,2013,2 2136 | 1891,6104,2 2137 | 1892,1996,2 2138 | 1894,2103,2 2139 | 1895,2204,2 2140 | 1895,2205,2 2141 | 1896,1898,2 2142 | 1896,1999,2 2143 | 1897,6129,2 2144 | 1898,6129,2 2145 | 1899,1900,2 2146 | 1899,2107,2 2147 | 1899,2207,2 2148 | 1899,6129,2 2149 | 1900,2108,2 2150 | 1901,2111,2 2151 | 1901,2209,2 2152 | 1904,2008,2 2153 | 1904,6062,2 2154 | 1904,6130,2 2155 | 1905,6062,2 2156 | 1905,6084,2 2157 | 1906,6063,2 2158 | 1906,6085,2 2159 | 1906,6131,2 2160 | 1906,7061,2 2161 | 1907,6084,2 2162 | 1907,6107,2 2163 | 1907,7061,2 2164 | 1909,2119,2 2165 | 1909,6085,2 2166 | 1910,2119,2 2167 | 1996,2103,2 2168 | 1996,2328,2 2169 | 1996,6186,2 2170 | 1996,7073,2 2171 | 1998,2205,2 2172 | 1999,6188,2 2173 | 2002,6189,2 2174 | 2002,6190,2 2175 | 2005,7075,2 2176 | 2005,7093,2 2177 | 2006,7075,2 2178 | 2008,2212,2 2179 | 2008,6193,2 2180 | 2010,6063,2 2181 | 2010,6084,2 2182 | 2010,6085,2 2183 | 2010,6107,2 2184 | 2010,6131,2 2185 | 2013,7076,2 2186 | 2048,6159,2 2187 | 2050,2051,2 2188 | 2050,2153,2 2189 | 2050,2263,2 2190 | 2050,2265,2 2191 | 2050,6159,2 2192 | 2051,2153,2 2193 | 2051,2264,2 2194 | 2051,7083,2 2195 | 2101,2327,2 2196 | 2101,6104,2 2197 | 2101,6186,2 2198 | 2103,6186,2 2199 | 2103,6187,2 2200 | 2103,6188,2 2201 | 2107,2108,2 2202 | 2107,6190,2 2203 | 2108,6189,2 2204 | 2108,6191,2 2205 | 2111,2340,2 2206 | 2111,2341,2 2207 | 2111,6193,2 2208 | 2111,6200,2 2209 | 2112,6193,2 2210 | 2119,2218,2 2211 | 2119,2349,2 2212 | 2153,2263,2 2213 | 2153,6114,2 2214 | 2153,6161,2 2215 | 2156,2267,2 2216 | 2156,2268,2 2217 | 2156,6161,2 2218 | 2204,2331,2 2219 | 2204,2332,2 2220 | 2204,6186,2 2221 | 2205,2332,2 2222 | 2207,2338,2 2223 | 2209,2338,2 2224 | 2209,2339,2 2225 | 2210,2339,2 2226 | 2210,6200,2 2227 | 2212,6131,2 2228 | 2212,6193,2 2229 | 2212,7107,2 2230 | 2218,2381,2 2231 | 2218,6249,2 2232 | 2263,2360,2 2233 | 2263,6159,2 2234 | 2263,7068,2 2235 | 2264,2360,2 2236 | 2264,6114,2 2237 | 2264,6159,2 2238 | 2264,7083,2 2239 | 2265,7068,2 2240 | 2265,7083,2 2241 | 2267,2360,2 2242 | 2267,2445,2 2243 | 2267,6163,2 2244 | 2268,2270,2 2245 | 2268,2443,2 2246 | 2268,6161,2 2247 | 2270,2445,2 2248 | 2270,2447,2 2249 | 2270,2578,2 2250 | 2270,6163,2 2251 | 2291,2365,2 2252 | 2291,2473,2 2253 | 2291,6207,2 2254 | 2310,2490,2 2255 | 2326,2328,2 2256 | 2326,2375,2 2257 | 2326,2507,2 2258 | 2326,7073,2 2259 | 2327,2507,2 2260 | 2327,7073,2 2261 | 2328,2375,2 2262 | 2331,2509,2 2263 | 2332,6186,2 2264 | 2332,6226,2 2265 | 2338,2340,2 2266 | 2338,2517,2 2267 | 2338,6189,2 2268 | 2339,2517,2 2269 | 2339,2518,2 2270 | 2339,7106,2 2271 | 2340,2341,2 2272 | 2340,2517,2 2273 | 2340,2518,2 2274 | 2341,2520,2 2275 | 2341,7106,2 2276 | 2341,7107,2 2277 | 2341,7114,2 2278 | 2349,2383,2 2279 | 2349,6249,2 2280 | 2360,2443,2 2281 | 2365,2597,2 2282 | 2365,6208,2 2283 | 2365,6267,2 2284 | 2365,7101,2 2285 | 2375,2507,2 2286 | 2375,2509,2 2287 | 2375,2627,2 2288 | 2375,6226,2 2289 | 2375,6273,2 2290 | 2379,2521,2 2291 | 2379,2639,2 2292 | 2379,2640,2 2293 | 2379,6275,2 2294 | 2379,7106,2 2295 | 2381,2383,2 2296 | 2381,2527,2 2297 | 2381,6249,2 2298 | 2381,6276,2 2299 | 2381,7076,2 2300 | 2383,2527,2 2301 | 2383,6277,2 2302 | 2383,7076,2 2303 | 2443,2445,2 2304 | 2443,6161,2 2305 | 2443,6162,2 2306 | 2444,6161,2 2307 | 2444,6162,2 2308 | 2444,6163,2 2309 | 2445,2447,2 2310 | 2445,2448,2 2311 | 2447,2830,2 2312 | 2447,2831,2 2313 | 2448,2702,2 2314 | 2465,2713,2 2315 | 2472,2718,2 2316 | 2472,2719,2 2317 | 2472,6208,2 2318 | 2473,2593,2 2319 | 2473,2720,2 2320 | 2480,2725,2 2321 | 2480,2726,2 2322 | 2480,6297,2 2323 | 2481,2726,2 2324 | 2481,2727,2 2325 | 2481,6297,2 2326 | 2490,2613,2 2327 | 2490,2735,2 2328 | 2490,2737,2 2329 | 2507,2752,2 2330 | 2507,6273,2 2331 | 2509,2753,2 2332 | 2509,6273,2 2333 | 2509,6302,2 2334 | 2517,7106,2 2335 | 2518,6200,2 2336 | 2518,6275,2 2337 | 2518,7114,2 2338 | 2520,2764,2 2339 | 2520,2765,2 2340 | 2520,6275,2 2341 | 2521,2639,2 2342 | 2521,2764,2 2343 | 2521,2765,2 2344 | 2527,2772,2 2345 | 2527,6237,2 2346 | 2527,6306,2 2347 | 2527,6334,2 2348 | 2578,2830,2 2349 | 2578,2831,2 2350 | 2588,2590,2 2351 | 2588,2714,2 2352 | 2590,2715,2 2353 | 2590,6266,2 2354 | 2590,6365,2 2355 | 2593,2719,2 2356 | 2593,2842,2 2357 | 2593,2843,2 2358 | 2593,2844,2 2359 | 2593,6207,2 2360 | 2594,2720,2 2361 | 2594,2843,2 2362 | 2594,2844,2 2363 | 2594,2845,2 2364 | 2594,6207,2 2365 | 2594,6208,2 2366 | 2597,2720,2 2367 | 2597,2846,2 2368 | 2597,2847,2 2369 | 2597,2848,2 2370 | 2597,6296,2 2371 | 2602,2725,2 2372 | 2602,2727,2 2373 | 2602,6212,2 2374 | 2604,2727,2 2375 | 2604,2730,2 2376 | 2604,2853,2 2377 | 2604,2854,2 2378 | 2604,2855,2 2379 | 2604,6213,2 2380 | 2611,2613,2 2381 | 2611,2734,2 2382 | 2611,2737,2 2383 | 2611,2860,2 2384 | 2611,6218,2 2385 | 2612,2735,2 2386 | 2612,2738,2 2387 | 2612,2863,2 2388 | 2612,6218,2 2389 | 2613,2863,2 2390 | 2613,6218,2 2391 | 2627,2878,2 2392 | 2627,6302,2 2393 | 2639,2765,2 2394 | 2639,7107,2 2395 | 2640,6275,2 2396 | 2653,2776,2 2397 | 2702,2960,2 2398 | 2704,2831,2 2399 | 2704,2960,2 2400 | 2704,2962,2 2401 | 2704,6290,2 2402 | 2704,6362,2 2403 | 2706,2963,2 2404 | 2706,2964,2 2405 | 2713,6295,2 2406 | 2713,6324,2 2407 | 2713,6365,2 2408 | 2714,2715,2 2409 | 2714,2972,2 2410 | 2714,6295,2 2411 | 2715,2842,2 2412 | 2715,2972,2 2413 | 2715,2973,2 2414 | 2715,6266,2 2415 | 2718,2842,2 2416 | 2718,2975,2 2417 | 2719,2978,2 2418 | 2720,2722,2 2419 | 2720,2979,2 2420 | 2722,2980,2 2421 | 2722,2981,2 2422 | 2724,2726,2 2423 | 2724,2851,2 2424 | 2724,2982,2 2425 | 2724,2983,2 2426 | 2724,6296,2 2427 | 2724,6366,2 2428 | 2725,2849,2 2429 | 2725,6367,2 2430 | 2727,2854,2 2431 | 2727,2985,2 2432 | 2730,2854,2 2433 | 2730,2988,2 2434 | 2734,2858,2 2435 | 2734,2991,2 2436 | 2734,2992,2 2437 | 2734,2993,2 2438 | 2734,6298,2 2439 | 2735,2737,2 2440 | 2735,2859,2 2441 | 2735,2994,2 2442 | 2737,2994,2 2443 | 2752,2753,2 2444 | 2752,3010,2 2445 | 2752,6331,2 2446 | 2753,2878,2 2447 | 2753,3010,2 2448 | 2753,3011,2 2449 | 2764,6275,2 2450 | 2770,2897,2 2451 | 2770,3026,2 2452 | 2770,3027,2 2453 | 2770,3028,2 2454 | 2770,6276,2 2455 | 2770,6334,2 2456 | 2772,3029,2 2457 | 2772,6277,2 2458 | 2776,3034,2 2459 | 2830,2960,2 2460 | 2833,2960,2 2461 | 2833,2963,2 2462 | 2833,3105,2 2463 | 2833,3106,2 2464 | 2833,6290,2 2465 | 2837,3109,2 2466 | 2837,3111,2 2467 | 2841,2843,2 2468 | 2841,2972,2 2469 | 2841,2975,2 2470 | 2842,2973,2 2471 | 2843,3121,2 2472 | 2844,2975,2 2473 | 2844,3121,2 2474 | 2844,3122,2 2475 | 2845,3121,2 2476 | 2845,3122,2 2477 | 2845,3123,2 2478 | 2846,3122,2 2479 | 2846,3123,2 2480 | 2847,2981,2 2481 | 2847,3123,2 2482 | 2847,3125,2 2483 | 2847,6267,2 2484 | 2847,6296,2 2485 | 2848,2849,2 2486 | 2848,3125,2 2487 | 2848,6267,2 2488 | 2848,6366,2 2489 | 2849,3127,2 2490 | 2849,3128,2 2491 | 2851,3130,2 2492 | 2852,2854,2 2493 | 2852,3130,2 2494 | 2852,3131,2 2495 | 2853,2855,2 2496 | 2853,3131,2 2497 | 2853,3133,2 2498 | 2854,2985,2 2499 | 2854,2988,2 2500 | 2854,3133,2 2501 | 2855,3133,2 2502 | 2858,2860,2 2503 | 2858,2992,2 2504 | 2858,3137,2 2505 | 2858,6368,2 2506 | 2859,3140,2 2507 | 2859,6298,2 2508 | 2860,2991,2 2509 | 2860,2994,2 2510 | 2860,3141,2 2511 | 2863,2994,2 2512 | 2863,3143,2 2513 | 2887,3171,2 2514 | 2887,3172,2 2515 | 2895,2897,2 2516 | 2895,3028,2 2517 | 2895,3211,2 2518 | 2895,3213,2 2519 | 2895,3215,2 2520 | 2896,3026,2 2521 | 2896,3029,2 2522 | 2896,3215,2 2523 | 2896,6334,2 2524 | 2896,7125,2 2525 | 2897,6335,2 2526 | 2905,2907,2 2527 | 2907,6337,2 2528 | 2960,6362,2 2529 | 2962,2964,2 2530 | 2962,6290,2 2531 | 2963,3105,2 2532 | 2963,3108,2 2533 | 2963,6290,2 2534 | 2963,6362,2 2535 | 2964,2966,2 2536 | 2964,3106,2 2537 | 2964,3109,2 2538 | 2964,6290,2 2539 | 2966,3108,2 2540 | 2966,3111,2 2541 | 2966,3319,2 2542 | 2966,3321,2 2543 | 2973,2975,2 2544 | 2975,3121,2 2545 | 2978,3121,2 2546 | 2979,3125,2 2547 | 2980,6384,2 2548 | 2981,6384,2 2549 | 2981,7151,2 2550 | 2982,3198,2 2551 | 2982,7151,2 2552 | 2983,7152,2 2553 | 2984,6386,2 2554 | 2984,7152,2 2555 | 2985,3133,2 2556 | 2985,6386,2 2557 | 2988,3133,2 2558 | 2988,6368,2 2559 | 2988,6388,2 2560 | 2991,2993,2 2561 | 2991,3137,2 2562 | 2991,6298,2 2563 | 2991,6368,2 2564 | 2991,6389,2 2565 | 2991,6390,2 2566 | 2991,6391,2 2567 | 2992,6390,2 2568 | 2993,3201,2 2569 | 2994,3143,2 2570 | 2994,3201,2 2571 | 3010,3011,2 2572 | 3010,3162,2 2573 | 3011,6331,2 2574 | 3016,6303,2 2575 | 3018,3172,2 2576 | 3018,3208,2 2577 | 3018,6373,2 2578 | 3026,3210,2 2579 | 3026,3214,2 2580 | 3027,3029,2 2581 | 3027,3211,2 2582 | 3027,3214,2 2583 | 3028,3214,2 2584 | 3028,6406,2 2585 | 3029,3218,2 2586 | 3029,6335,2 2587 | 3029,6375,2 2588 | 3029,6406,2 2589 | 3047,3238,2 2590 | 3105,3312,2 2591 | 3105,3459,2 2592 | 3106,3108,2 2593 | 3106,3312,2 2594 | 3106,3459,2 2595 | 3108,3319,2 2596 | 3109,3111,2 2597 | 3109,3320,2 2598 | 3109,3321,2 2599 | 3111,3319,2 2600 | 3111,3320,2 2601 | 3111,3322,2 2602 | 3111,3323,2 2603 | 3114,3193,2 2604 | 3114,3323,2 2605 | 3114,3327,2 2606 | 3115,3192,2 2607 | 3115,3328,2 2608 | 3115,3329,2 2609 | 3127,3343,2 2610 | 3127,6384,2 2611 | 3127,7162,2 2612 | 3128,3343,2 2613 | 3128,3344,2 2614 | 3128,7152,2 2615 | 3128,7162,2 2616 | 3130,3344,2 2617 | 3130,3346,2 2618 | 3130,6386,2 2619 | 3131,3346,2 2620 | 3131,3347,2 2621 | 3133,3348,2 2622 | 3133,3349,2 2623 | 3137,3350,2 2624 | 3137,3351,2 2625 | 3140,3201,2 2626 | 3140,3355,2 2627 | 3141,3143,2 2628 | 3143,3201,2 2629 | 3143,3358,2 2630 | 3162,6331,2 2631 | 3171,3387,2 2632 | 3171,3388,2 2633 | 3171,6402,2 2634 | 3171,7166,2 2635 | 3172,3208,2 2636 | 3172,3387,2 2637 | 3172,3389,2 2638 | 3181,6337,2 2639 | 3192,3322,2 2640 | 3192,3327,2 2641 | 3192,6472,2 2642 | 3192,7149,2 2643 | 3193,3325,2 2644 | 3193,3328,2 2645 | 3193,3330,2 2646 | 3193,3331,2 2647 | 3197,6384,2 2648 | 3198,3343,2 2649 | 3198,3474,2 2650 | 3201,3485,2 2651 | 3208,3386,2 2652 | 3208,3508,2 2653 | 3208,6402,2 2654 | 3210,3213,2 2655 | 3210,3214,2 2656 | 3210,3392,2 2657 | 3210,3393,2 2658 | 3210,3514,2 2659 | 3210,3515,2 2660 | 3210,6481,2 2661 | 3211,3214,2 2662 | 3214,3515,2 2663 | 3214,6406,2 2664 | 3214,6423,2 2665 | 3214,6454,2 2666 | 3215,6423,2 2667 | 3218,3219,2 2668 | 3218,3220,2 2669 | 3218,3398,2 2670 | 3218,3518,2 2671 | 3218,6455,2 2672 | 3219,3398,2 2673 | 3219,3399,2 2674 | 3219,6335,2 2675 | 3220,3518,2 2676 | 3220,3519,2 2677 | 3220,3520,2 2678 | 3220,6375,2 2679 | 3220,6425,2 2680 | 3312,3578,2 2681 | 3312,3580,2 2682 | 3312,3688,2 2683 | 3319,3461,2 2684 | 3319,3462,2 2685 | 3319,6440,2 2686 | 3319,7149,2 2687 | 3320,3322,2 2688 | 3320,3461,2 2689 | 3320,3463,2 2690 | 3320,3582,2 2691 | 3321,3323,2 2692 | 3321,3462,2 2693 | 3321,3463,2 2694 | 3321,6440,2 2695 | 3322,3585,2 2696 | 3322,6440,2 2697 | 3322,6472,2 2698 | 3323,3325,2 2699 | 3323,3463,2 2700 | 3323,6472,2 2701 | 3325,3466,2 2702 | 3325,6472,2 2703 | 3327,3331,2 2704 | 3327,3466,2 2705 | 3327,3467,2 2706 | 3328,3331,2 2707 | 3328,6442,2 2708 | 3329,3466,2 2709 | 3329,3467,2 2710 | 3329,6442,2 2711 | 3330,3466,2 2712 | 3331,3467,2 2713 | 3331,6442,2 2714 | 3344,3346,2 2715 | 3346,3474,2 2716 | 3346,3477,2 2717 | 3346,3597,2 2718 | 3346,3598,2 2719 | 3347,3349,2 2720 | 3347,3478,2 2721 | 3347,3597,2 2722 | 3347,3598,2 2723 | 3347,6388,2 2724 | 3348,3476,2 2725 | 3348,3598,2 2726 | 3348,6445,2 2727 | 3349,3350,2 2728 | 3349,3600,2 2729 | 3350,3352,2 2730 | 3350,3481,2 2731 | 3350,3600,2 2732 | 3350,3601,2 2733 | 3350,6389,2 2734 | 3350,6445,2 2735 | 3351,3601,2 2736 | 3351,3603,2 2737 | 3352,3480,2 2738 | 3352,3604,2 2739 | 3353,3604,2 2740 | 3353,3605,2 2741 | 3354,3485,2 2742 | 3354,3605,2 2743 | 3354,3606,2 2744 | 3355,3607,2 2745 | 3386,3387,2 2746 | 3387,3389,2 2747 | 3387,3509,2 2748 | 3387,3617,2 2749 | 3387,6402,2 2750 | 3388,3617,2 2751 | 3388,7166,2 2752 | 3389,3508,2 2753 | 3392,3514,2 2754 | 3393,6481,2 2755 | 3397,3398,2 2756 | 3397,6375,2 2757 | 3397,6454,2 2758 | 3397,6483,2 2759 | 3398,3628,2 2760 | 3398,3629,2 2761 | 3398,6375,2 2762 | 3398,6425,2 2763 | 3398,6455,2 2764 | 3399,3400,2 2765 | 3399,3628,2 2766 | 3399,3629,2 2767 | 3399,6456,2 2768 | 3400,3520,2 2769 | 3400,3522,2 2770 | 3400,6484,2 2771 | 3458,3459,2 2772 | 3458,3580,2 2773 | 3458,3790,2 2774 | 3458,3791,2 2775 | 3459,3690,2 2776 | 3461,3580,2 2777 | 3461,3690,2 2778 | 3461,3793,2 2779 | 3462,3463,2 2780 | 3462,3581,2 2781 | 3462,3692,2 2782 | 3463,3585,2 2783 | 3463,3692,2 2784 | 3466,6442,2 2785 | 3466,6500,2 2786 | 3474,3476,2 2787 | 3474,3597,2 2788 | 3474,3704,2 2789 | 3474,6504,2 2790 | 3476,3478,2 2791 | 3477,3597,2 2792 | 3477,6388,2 2793 | 3477,6445,2 2794 | 3478,3600,2 2795 | 3480,3600,2 2796 | 3480,3710,2 2797 | 3480,3711,2 2798 | 3481,3711,2 2799 | 3484,3607,2 2800 | 3484,3715,2 2801 | 3485,3715,2 2802 | 3508,3718,2 2803 | 3508,3719,2 2804 | 3508,3720,2 2805 | 3508,7166,2 2806 | 3509,3617,2 2807 | 3509,3719,2 2808 | 3509,3720,2 2809 | 3514,3515,2 2810 | 3515,6454,2 2811 | 3515,6482,2 2812 | 3517,3728,2 2813 | 3517,3729,2 2814 | 3517,6482,2 2815 | 3517,6509,2 2816 | 3518,3629,2 2817 | 3518,3729,2 2818 | 3520,3521,2 2819 | 3520,3628,2 2820 | 3520,6484,2 2821 | 3521,3734,2 2822 | 3521,6485,2 2823 | 3521,7176,2 2824 | 3522,3632,2 2825 | 3522,3734,2 2826 | 3522,3735,2 2827 | 3524,3632,2 2828 | 3524,3736,2 2829 | 3524,3737,2 2830 | 3524,3738,2 2831 | 3524,6485,2 2832 | 3525,3633,2 2833 | 3525,3636,2 2834 | 3525,3737,2 2835 | 3525,3738,2 2836 | 3578,3579,2 2837 | 3578,3791,2 2838 | 3578,6536,2 2839 | 3579,3790,2 2840 | 3579,3792,2 2841 | 3580,3581,2 2842 | 3581,3794,2 2843 | 3581,6539,2 2844 | 3582,3690,2 2845 | 3582,3692,2 2846 | 3582,3794,2 2847 | 3582,6539,2 2848 | 3597,3811,2 2849 | 3597,6504,2 2850 | 3597,6543,2 2851 | 3598,3811,2 2852 | 3600,3815,2 2853 | 3601,3815,2 2854 | 3601,3816,2 2855 | 3602,3815,2 2856 | 3603,3818,2 2857 | 3604,3818,2 2858 | 3604,3819,2 2859 | 3605,3607,2 2860 | 3605,3818,2 2861 | 3605,3819,2 2862 | 3605,3820,2 2863 | 3606,3821,2 2864 | 3607,3821,2 2865 | 3617,3720,2 2866 | 3617,3827,2 2867 | 3626,3729,2 2868 | 3626,3837,2 2869 | 3628,3729,2 2870 | 3628,3841,2 2871 | 3629,3841,2 2872 | 3629,3842,2 2873 | 3631,3844,2 2874 | 3631,6485,2 2875 | 3632,3634,2 2876 | 3632,3846,2 2877 | 3634,3636,2 2878 | 3634,3849,2 2879 | 3636,3638,2 2880 | 3636,3738,2 2881 | 3636,3741,2 2882 | 3636,3850,2 2883 | 3636,3851,2 2884 | 3637,3742,2 2885 | 3637,3850,2 2886 | 3637,3851,2 2887 | 3637,3852,2 2888 | 3638,3851,2 2889 | 3638,3852,2 2890 | 3638,3853,2 2891 | 3692,3794,2 2892 | 3692,3918,2 2893 | 3692,6440,2 2894 | 3699,3802,2 2895 | 3699,3928,2 2896 | 3704,3938,2 2897 | 3704,6543,2 2898 | 3710,3945,2 2899 | 3710,3946,2 2900 | 3711,3818,2 2901 | 3711,3945,2 2902 | 3711,3946,2 2903 | 3715,3950,2 2904 | 3718,3720,2 2905 | 3718,3827,2 2906 | 3719,3828,2 2907 | 3720,3958,2 2908 | 3728,3729,2 2909 | 3728,3960,2 2910 | 3728,6550,2 2911 | 3728,7190,2 2912 | 3729,3837,2 2913 | 3729,6551,2 2914 | 3729,6552,2 2915 | 3734,3842,2 2916 | 3735,3844,2 2917 | 3735,4000,2 2918 | 3735,4002,2 2919 | 3736,4000,2 2920 | 3737,4006,2 2921 | 3738,3962,2 2922 | 3741,3853,2 2923 | 3741,6555,2 2924 | 3742,3851,2 2925 | 3742,3854,2 2926 | 3742,6557,2 2927 | 3790,3913,2 2928 | 3790,3914,2 2929 | 3791,3913,2 2930 | 3792,3916,2 2931 | 3793,3794,2 2932 | 3794,3974,2 2933 | 3794,4088,2 2934 | 3801,3802,2 2935 | 3801,3927,2 2936 | 3801,7186,2 2937 | 3802,3926,2 2938 | 3809,3938,2 2939 | 3809,6504,2 2940 | 3809,6543,2 2941 | 3811,3938,2 2942 | 3811,6504,2 2943 | 3815,3946,2 2944 | 3818,3946,2 2945 | 3818,4123,2 2946 | 3819,3821,2 2947 | 3819,3950,2 2948 | 3819,4123,2 2949 | 3819,4125,2 2950 | 3820,3948,2 2951 | 3820,4125,2 2952 | 3827,3958,2 2953 | 3828,3830,2 2954 | 3830,3832,2 2955 | 3830,3986,2 2956 | 3831,3833,2 2957 | 3831,3958,2 2958 | 3831,3988,2 2959 | 3832,3984,2 2960 | 3832,3990,2 2961 | 3833,3986,2 2962 | 3833,7189,2 2963 | 3837,3992,2 2964 | 3837,3993,2 2965 | 3837,6482,2 2966 | 3837,6550,2 2967 | 3837,6551,2 2968 | 3837,7202,2 2969 | 3841,6552,2 2970 | 3842,3844,2 2971 | 3842,6484,2 2972 | 3842,6553,2 2973 | 3844,3846,2 2974 | 3844,4000,2 2975 | 3846,4003,2 2976 | 3847,4000,2 2977 | 3847,4003,2 2978 | 3847,4005,2 2979 | 3848,4005,2 2980 | 3849,6593,2 2981 | 3850,6593,2 2982 | 3851,4009,2 2983 | 3852,3854,2 2984 | 3852,4009,2 2985 | 3852,6557,2 2986 | 3853,3855,2 2987 | 3853,4011,2 2988 | 3853,6558,2 2989 | 3854,3856,2 2990 | 3854,4011,2 2991 | 3854,4012,2 2992 | 3855,4011,2 2993 | 3855,4012,2 2994 | 3855,4013,2 2995 | 3856,4012,2 2996 | 3856,4013,2 2997 | 3856,6558,2 2998 | 3856,7204,2 2999 | 3913,3915,2 3000 | 3913,4086,2 3001 | 3913,4204,2 3002 | 3914,4204,2 3003 | 3914,6583,2 3004 | 3915,4088,2 3005 | 3915,4204,2 3006 | 3916,3918,2 3007 | 3916,4089,2 3008 | 3918,4088,2 3009 | 3918,4089,2 3010 | 3918,4091,2 3011 | 3926,3928,2 3012 | 3926,4101,2 3013 | 3927,4101,2 3014 | 3928,6562,2 3015 | 3938,3940,2 3016 | 3939,6504,2 3017 | 3940,3942,2 3018 | 3940,6543,2 3019 | 3945,4121,2 3020 | 3946,3948,2 3021 | 3946,4121,2 3022 | 3946,6610,2 3023 | 3948,4122,2 3024 | 3948,6610,2 3025 | 3949,4122,2 3026 | 3949,4126,2 3027 | 3950,4126,2 3028 | 3958,3984,2 3029 | 3960,3993,2 3030 | 3960,7189,2 3031 | 3962,4151,2 3032 | 3963,4151,2 3033 | 3963,4152,2 3034 | 3974,4088,2 3035 | 3974,4089,2 3036 | 3974,4094,2 3037 | 3976,4107,2 3038 | 3976,6562,2 3039 | 3984,3988,2 3040 | 3986,3990,2 3041 | 3988,7189,2 3042 | 3990,6550,2 3043 | 3992,3994,2 3044 | 3993,6552,2 3045 | 3993,7202,2 3046 | 3994,4252,2 3047 | 3994,6553,2 3048 | 4002,4149,2 3049 | 4004,4149,2 3050 | 4006,4149,2 3051 | 4008,4153,2 3052 | 4009,4151,2 3053 | 4009,4262,2 3054 | 4011,4153,2 3055 | 4011,4156,2 3056 | 4011,4262,2 3057 | 4012,6594,2 3058 | 4012,6619,2 3059 | 4012,7204,2 3060 | 4013,4265,2 3061 | 4013,6619,2 3062 | 4025,4377,2 3063 | 4030,4382,2 3064 | 4086,4313,2 3065 | 4086,6583,2 3066 | 4087,4207,2 3067 | 4089,4091,2 3068 | 4089,4315,2 3069 | 4089,4422,2 3070 | 4089,4423,2 3071 | 4091,4094,2 3072 | 4091,4210,2 3073 | 4091,4318,2 3074 | 4091,4423,2 3075 | 4091,4424,2 3076 | 4094,4210,2 3077 | 4094,4211,2 3078 | 4101,4215,2 3079 | 4101,4322,2 3080 | 4101,4323,2 3081 | 4121,4122,2 3082 | 4121,4229,2 3083 | 4121,6635,2 3084 | 4122,4126,2 3085 | 4123,4126,2 3086 | 4123,4232,2 3087 | 4123,6610,2 3088 | 4123,6635,2 3089 | 4125,4232,2 3090 | 4125,4234,2 3091 | 4126,4232,2 3092 | 4126,4341,2 3093 | 4126,6636,2 3094 | 4146,4256,2 3095 | 4146,4360,2 3096 | 4146,4361,2 3097 | 4146,4362,2 3098 | 4146,6616,2 3099 | 4149,4364,2 3100 | 4149,6666,2 3101 | 4151,4153,2 3102 | 4152,4262,2 3103 | 4156,4265,2 3104 | 4156,7204,2 3105 | 4158,4265,2 3106 | 4158,4374,2 3107 | 4158,6594,2 3108 | 4158,6620,2 3109 | 4158,7204,2 3110 | 4170,4172,2 3111 | 4204,4420,2 3112 | 4204,6583,2 3113 | 4204,6654,2 3114 | 4205,4420,2 3115 | 4205,6654,2 3116 | 4206,4422,2 3117 | 4207,4423,2 3118 | 4207,4527,2 3119 | 4210,4424,2 3120 | 4210,4425,2 3121 | 4210,6630,2 3122 | 4210,6655,2 3123 | 4211,4318,2 3124 | 4211,4320,2 3125 | 4211,4426,2 3126 | 4211,6584,2 3127 | 4214,4322,2 3128 | 4214,4429,2 3129 | 4214,4430,2 3130 | 4215,4430,2 3131 | 4215,6606,2 3132 | 4229,4335,2 3133 | 4229,4443,2 3134 | 4230,4443,2 3135 | 4230,6610,2 3136 | 4230,6635,2 3137 | 4232,4234,2 3138 | 4232,4341,2 3139 | 4232,6704,2 3140 | 4234,6661,2 3141 | 4252,4357,2 3142 | 4252,4465,2 3143 | 4252,4466,2 3144 | 4252,6641,2 3145 | 4252,6665,2 3146 | 4253,4254,2 3147 | 4253,4358,2 3148 | 4253,4360,2 3149 | 4253,4466,2 3150 | 4253,4467,2 3151 | 4253,6591,2 3152 | 4253,6665,2 3153 | 4254,4256,2 3154 | 4254,4362,2 3155 | 4254,4467,2 3156 | 4254,4468,2 3157 | 4254,4469,2 3158 | 4256,4361,2 3159 | 4256,4469,2 3160 | 4265,4267,2 3161 | 4267,4268,2 3162 | 4267,4482,2 3163 | 4267,4483,2 3164 | 4268,4374,2 3165 | 4268,4483,2 3166 | 4314,4527,2 3167 | 4314,6654,2 3168 | 4315,6654,2 3169 | 4318,4529,2 3170 | 4318,6700,2 3171 | 4319,4320,2 3172 | 4319,4532,2 3173 | 4319,6700,2 3174 | 4320,4322,2 3175 | 4320,4532,2 3176 | 4320,4533,2 3177 | 4320,6584,2 3178 | 4322,4323,2 3179 | 4322,4535,2 3180 | 4322,4536,2 3181 | 4323,4429,2 3182 | 4323,4536,2 3183 | 4323,6606,2 3184 | 4335,4549,2 3185 | 4341,4557,2 3186 | 4341,6704,2 3187 | 4357,4466,2 3188 | 4357,4575,2 3189 | 4357,4577,2 3190 | 4358,4464,2 3191 | 4358,4577,2 3192 | 4358,6665,2 3193 | 4360,4362,2 3194 | 4360,4469,2 3195 | 4360,6591,2 3196 | 4361,6591,2 3197 | 4362,4468,2 3198 | 4364,4473,2 3199 | 4364,4586,2 3200 | 4374,4597,2 3201 | 4379,6646,2 3202 | 4382,6646,2 3203 | 4420,4527,2 3204 | 4422,6698,2 3205 | 4423,4527,2 3206 | 4423,6698,2 3207 | 4425,4657,2 3208 | 4425,4659,2 3209 | 4426,4659,2 3210 | 4429,4430,2 3211 | 4429,4662,2 3212 | 4429,6606,2 3213 | 4430,4536,2 3214 | 4443,4554,2 3215 | 4443,4681,2 3216 | 4464,4466,2 3217 | 4464,4577,2 3218 | 4464,6715,2 3219 | 4465,4575,2 3220 | 4466,7230,2 3221 | 4467,7230,2 3222 | 4468,6719,2 3223 | 4469,6719,2 3224 | 4469,6720,2 3225 | 4482,4700,2 3226 | 4482,6620,2 3227 | 4483,4700,2 3228 | 4483,6620,2 3229 | 4527,4655,2 3230 | 4529,4655,2 3231 | 4529,4656,2 3232 | 4529,4657,2 3233 | 4530,4657,2 3234 | 4533,4535,2 3235 | 4533,4659,2 3236 | 4533,4662,2 3237 | 4533,6752,2 3238 | 4535,6752,2 3239 | 4536,4662,2 3240 | 4549,4723,2 3241 | 4549,6760,2 3242 | 4549,6761,2 3243 | 4554,4681,2 3244 | 4554,6704,2 3245 | 4557,4685,2 3246 | 4557,6636,2 3247 | 4575,4577,2 3248 | 4575,4735,2 3249 | 4577,7230,2 3250 | 4586,4697,2 3251 | 4586,4745,2 3252 | 4586,6666,2 3253 | 4587,4745,2 3254 | 4587,6666,2 3255 | 4587,7217,2 3256 | 4597,6779,2 3257 | 4655,4657,2 3258 | 4656,4820,2 3259 | 4657,4659,2 3260 | 4657,4817,2 3261 | 4657,4820,2 3262 | 4657,4822,2 3263 | 4659,4822,2 3264 | 4662,4825,2 3265 | 4678,4724,2 3266 | 4678,4838,2 3267 | 4678,6760,2 3268 | 4681,4724,2 3269 | 4685,6661,2 3270 | 4685,6704,2 3271 | 4696,6719,2 3272 | 4697,6720,2 3273 | 4697,7217,2 3274 | 4700,4874,2 3275 | 4700,4875,2 3276 | 4723,6760,2 3277 | 4724,4838,2 3278 | 4724,4941,2 3279 | 4724,6761,2 3280 | 4733,4735,2 3281 | 4733,4852,2 3282 | 4733,4953,2 3283 | 4733,6715,2 3284 | 4738,4860,2 3285 | 4738,4958,2 3286 | 4745,4966,2 3287 | 4752,4874,2 3288 | 4752,4974,2 3289 | 4817,4820,2 3290 | 4817,6698,2 3291 | 4817,6699,2 3292 | 4820,6814,2 3293 | 4822,5025,2 3294 | 4825,4926,2 3295 | 4825,5027,2 3296 | 4825,5029,2 3297 | 4838,4938,2 3298 | 4838,6760,2 3299 | 4852,5052,2 3300 | 4852,6713,2 3301 | 4860,5059,2 3302 | 4860,5061,2 3303 | 4860,6719,2 3304 | 4873,4875,2 3305 | 4873,4975,2 3306 | 4874,6779,2 3307 | 4875,4974,2 3308 | 4926,5025,2 3309 | 4926,5125,2 3310 | 4926,5126,2 3311 | 4926,6752,2 3312 | 4926,6814,2 3313 | 4938,5036,2 3314 | 4938,5137,2 3315 | 4938,5138,2 3316 | 4938,6760,2 3317 | 4938,6761,2 3318 | 4941,4943,2 3319 | 4941,5042,2 3320 | 4941,6838,2 3321 | 4942,5043,2 3322 | 4942,6838,2 3323 | 4958,5059,2 3324 | 4961,5059,2 3325 | 4961,5154,2 3326 | 4966,5159,2 3327 | 4975,6779,2 3328 | 5025,5027,2 3329 | 5025,5126,2 3330 | 5026,5124,2 3331 | 5026,5224,2 3332 | 5026,6814,2 3333 | 5027,5029,2 3334 | 5027,5125,2 3335 | 5027,5224,2 3336 | 5027,5225,2 3337 | 5029,5225,2 3338 | 5029,5226,2 3339 | 5036,5137,2 3340 | 5042,6838,2 3341 | 5059,5061,2 3342 | 5059,5154,2 3343 | 5059,5251,2 3344 | 5061,5155,2 3345 | 5061,5251,2 3346 | 5063,5065,2 3347 | 5063,5155,2 3348 | 5065,5257,2 3349 | 5065,5258,2 3350 | 5066,5257,2 3351 | 5066,5258,2 3352 | 5066,6821,2 3353 | 5124,5126,2 3354 | 5124,5327,2 3355 | 5124,6814,2 3356 | 5125,5224,2 3357 | 5125,5327,2 3358 | 5126,5225,2 3359 | 5126,5327,2 3360 | 5137,5139,2 3361 | 5139,6838,2 3362 | 5154,5155,2 3363 | 5156,5362,2 3364 | 5224,5226,2 3365 | 5224,5327,2 3366 | 5226,5332,2 3367 | 5257,5362,2 3368 | 5258,5260,2 3369 | 5258,5367,2 3370 | 5258,6871,2 3371 | 5260,5367,2 3372 | 5260,6821,2 3373 | 5342,6838,2 3374 | 5362,5489,2 3375 | 5367,5368,2 3376 | 5654,5662,2 3377 | 5811,5843,2 3378 | 5880,7029,2 3379 | 5889,5891,2 3380 | 5889,5935,2 3381 | 5919,7001,2 3382 | 5923,5945,2 3383 | 5955,7045,2 3384 | 5970,6018,2 3385 | 5975,7035,2 3386 | 5976,6024,2 3387 | 5997,6039,2 3388 | 6104,7073,2 3389 | 6186,6226,2 3390 | 6187,6226,2 3391 | 6237,6276,2 3392 | 6237,6277,2 3393 | 6249,6276,2 3394 | 6249,6306,2 3395 | 6266,6324,2 3396 | 6267,7101,2 3397 | 6276,6277,2 3398 | 6277,7119,2 3399 | 6298,6368,2 3400 | 6303,6373,2 3401 | 6306,6334,2 3402 | 6334,7119,2 3403 | 6368,6389,2 3404 | 6500,7186,2 3405 | 6536,6583,2 3406 | 6551,6553,2 3407 | 6552,6554,2 3408 | 6554,6591,2 3409 | 6584,6630,2 3410 | 6619,7204,2 3411 | 6635,6704,2 3412 | 6661,6704,2 3413 | 6665,7230,2 3414 | 6713,6715,2 3415 | 6720,7249,2 3416 | 6758,6760,2 3417 | 7119,7125,2 3418 | 7189,7202,2 3419 | 41,87,3 3420 | 41,184,3 3421 | 41,252,3 3422 | 60,136,3 3423 | 68,218,3 3424 | 85,87,3 3425 | 85,184,3 3426 | 85,251,3 3427 | 85,253,3 3428 | 86,252,3 3429 | 86,253,3 3430 | 86,5729,3 3431 | 87,253,3 3432 | 87,324,3 3433 | 92,194,3 3434 | 92,262,3 3435 | 92,329,3 3436 | 92,331,3 3437 | 128,131,3 3438 | 131,213,3 3439 | 136,213,3 3440 | 136,5733,3 3441 | 136,6960,3 3442 | 173,247,3 3443 | 184,397,3 3444 | 193,407,3 3445 | 194,331,3 3446 | 194,407,3 3447 | 195,407,3 3448 | 213,353,3 3449 | 218,221,3 3450 | 218,5733,3 3451 | 221,363,3 3452 | 247,5777,3 3453 | 251,253,3 3454 | 252,465,3 3455 | 252,466,3 3456 | 253,393,3 3457 | 253,466,3 3458 | 253,5781,3 3459 | 263,331,3 3460 | 263,408,3 3461 | 293,363,3 3462 | 293,367,3 3463 | 326,396,3 3464 | 326,401,3 3465 | 326,472,3 3466 | 326,559,3 3467 | 329,5784,3 3468 | 331,401,3 3469 | 336,408,3 3470 | 336,5791,3 3471 | 366,629,3 3472 | 366,630,3 3473 | 370,444,3 3474 | 393,5780,3 3475 | 396,676,3 3476 | 408,410,3 3477 | 411,5791,3 3478 | 465,671,3 3479 | 465,5780,3 3480 | 465,5811,3 3481 | 472,679,3 3482 | 472,680,3 3483 | 474,680,3 3484 | 530,745,3 3485 | 530,5763,3 3486 | 549,5826,3 3487 | 549,5842,3 3488 | 557,676,3 3489 | 557,842,3 3490 | 559,674,3 3491 | 568,5784,3 3492 | 601,711,3 3493 | 601,792,3 3494 | 606,711,3 3495 | 606,797,3 3496 | 629,810,3 3497 | 629,886,3 3498 | 630,886,3 3499 | 631,734,3 3500 | 644,818,3 3501 | 644,898,3 3502 | 644,899,3 3503 | 671,674,3 3504 | 673,846,3 3505 | 674,994,3 3506 | 676,679,3 3507 | 680,928,3 3508 | 699,784,3 3509 | 699,788,3 3510 | 699,943,3 3511 | 707,794,3 3512 | 711,714,3 3513 | 711,794,3 3514 | 711,5832,3 3515 | 713,796,3 3516 | 714,797,3 3517 | 731,5838,3 3518 | 736,1038,3 3519 | 736,7001,3 3520 | 745,899,3 3521 | 745,975,3 3522 | 745,5854,3 3523 | 759,5777,3 3524 | 760,914,3 3525 | 784,943,3 3526 | 784,5791,3 3527 | 792,794,3 3528 | 792,5861,3 3529 | 796,873,3 3530 | 797,1027,3 3531 | 797,5832,3 3532 | 814,817,3 3533 | 814,5919,3 3534 | 817,1038,3 3535 | 818,898,3 3536 | 838,1063,3 3537 | 846,5896,3 3538 | 863,943,3 3539 | 890,5919,3 3540 | 898,1045,3 3541 | 898,5880,3 3542 | 899,1051,3 3543 | 914,1062,3 3544 | 914,1063,3 3545 | 928,996,3 3546 | 943,1133,3 3547 | 943,5923,3 3548 | 965,5919,3 3549 | 973,1170,3 3550 | 973,5880,3 3551 | 975,1121,3 3552 | 975,1170,3 3553 | 975,7029,3 3554 | 994,1072,3 3555 | 996,1197,3 3556 | 996,7045,3 3557 | 1038,1155,3 3558 | 1045,1170,3 3559 | 1045,5965,3 3560 | 1051,1170,3 3561 | 1052,5854,3 3562 | 1052,5880,3 3563 | 1052,5882,3 3564 | 1061,1063,3 3565 | 1061,5933,3 3566 | 1062,1124,3 3567 | 1066,1124,3 3568 | 1066,1274,3 3569 | 1068,1188,3 3570 | 1072,1195,3 3571 | 1074,1193,3 3572 | 1074,1197,3 3573 | 1081,1207,3 3574 | 1082,5997,3 3575 | 1121,5854,3 3576 | 1124,1188,3 3577 | 1126,1350,3 3578 | 1128,1197,3 3579 | 1128,5896,3 3580 | 1132,1367,3 3581 | 1132,5956,3 3582 | 1132,6000,3 3583 | 1136,1235,3 3584 | 1136,5861,3 3585 | 1150,1153,3 3586 | 1152,1155,3 3587 | 1155,1254,3 3588 | 1155,5985,3 3589 | 1170,5965,3 3590 | 1170,7029,3 3591 | 1182,1341,3 3592 | 1182,5933,3 3593 | 1182,5992,3 3594 | 1191,1346,3 3595 | 1191,6018,3 3596 | 1192,1195,3 3597 | 1195,1350,3 3598 | 1195,5896,3 3599 | 1197,1431,3 3600 | 1203,1434,3 3601 | 1203,6039,3 3602 | 1207,1434,3 3603 | 1207,1435,3 3604 | 1209,1211,3 3605 | 1209,1212,3 3606 | 1209,1435,3 3607 | 1210,1215,3 3608 | 1211,1364,3 3609 | 1214,7035,3 3610 | 1215,1364,3 3611 | 1254,1328,3 3612 | 1254,1399,3 3613 | 1257,1404,3 3614 | 1257,1487,3 3615 | 1258,1329,3 3616 | 1258,1406,3 3617 | 1258,1407,3 3618 | 1258,1487,3 3619 | 1260,1262,3 3620 | 1260,1406,3 3621 | 1260,1494,3 3622 | 1261,1333,3 3623 | 1261,1494,3 3624 | 1262,1409,3 3625 | 1262,1494,3 3626 | 1262,5965,3 3627 | 1274,1510,3 3628 | 1274,6018,3 3629 | 1285,1432,3 3630 | 1304,1379,3 3631 | 1304,1456,3 3632 | 1305,1547,3 3633 | 1309,6026,3 3634 | 1313,1553,3 3635 | 1328,5985,3 3636 | 1329,1404,3 3637 | 1329,1487,3 3638 | 1329,1585,3 3639 | 1333,1494,3 3640 | 1341,5933,3 3641 | 1341,7031,3 3642 | 1355,1620,3 3643 | 1355,1622,3 3644 | 1361,1435,3 3645 | 1361,1524,3 3646 | 1361,5997,3 3647 | 1364,1637,3 3648 | 1367,7035,3 3649 | 1379,6026,3 3650 | 1398,1703,3 3651 | 1399,1705,3 3652 | 1400,6050,3 3653 | 1405,1585,3 3654 | 1407,1494,3 3655 | 1431,1755,3 3656 | 1431,1756,3 3657 | 1432,1756,3 3658 | 1434,1524,3 3659 | 1434,7059,3 3660 | 1435,1526,3 3661 | 1435,7059,3 3662 | 1443,1637,3 3663 | 1444,1532,3 3664 | 1456,6026,3 3665 | 1519,1755,3 3666 | 1524,1769,3 3667 | 1524,7059,3 3668 | 1526,1772,3 3669 | 1532,6080,3 3670 | 1533,6080,3 3671 | 1534,1637,3 3672 | 1534,6080,3 3673 | 1547,6026,3 3674 | 1552,6063,3 3675 | 1553,1812,3 3676 | 1553,6063,3 3677 | 1553,7061,3 3678 | 1557,1814,3 3679 | 1558,1673,3 3680 | 1578,6050,3 3681 | 1578,6068,3 3682 | 1620,1753,3 3683 | 1622,1755,3 3684 | 1637,1888,3 3685 | 1637,6103,3 3686 | 1640,6103,3 3687 | 1649,1791,3 3688 | 1649,1795,3 3689 | 1649,1796,3 3690 | 1655,6026,3 3691 | 1673,1809,3 3692 | 1703,6050,3 3693 | 1703,6068,3 3694 | 1753,1756,3 3695 | 1755,6123,3 3696 | 1756,6123,3 3697 | 1769,1772,3 3698 | 1891,6103,3 3699 | 1905,2212,3 3700 | 1906,2212,3 3701 | 2048,2050,3 3702 | 2048,6050,3 3703 | 2048,6068,3 3704 | 2048,6114,3 3705 | 2077,2176,3 3706 | 2077,6212,3 3707 | 2101,2326,3 3708 | 2153,6159,3 3709 | 2156,2270,3 3710 | 2161,2276,3 3711 | 2176,7101,3 3712 | 2265,6159,3 3713 | 2268,2448,3 3714 | 2291,2472,3 3715 | 2291,2594,3 3716 | 2310,2313,3 3717 | 2310,2611,3 3718 | 2310,2612,3 3719 | 2310,2613,3 3720 | 2313,2613,3 3721 | 2313,6218,3 3722 | 2365,2473,3 3723 | 2379,2765,3 3724 | 2445,2830,3 3725 | 2465,2590,3 3726 | 2465,2714,3 3727 | 2465,6168,3 3728 | 2472,6266,3 3729 | 2490,2738,3 3730 | 2517,2887,3 3731 | 2518,2887,3 3732 | 2537,2654,3 3733 | 2537,2905,3 3734 | 2537,2907,3 3735 | 2588,6168,3 3736 | 2588,6266,3 3737 | 2597,7101,3 3738 | 2611,2738,3 3739 | 2618,6182,3 3740 | 2654,2776,3 3741 | 2654,2905,3 3742 | 2704,2706,3 3743 | 2706,2833,3 3744 | 2706,2837,3 3745 | 2722,7101,3 3746 | 2724,7101,3 3747 | 2725,6212,3 3748 | 2726,6212,3 3749 | 2727,2730,3 3750 | 2730,2853,3 3751 | 2730,6213,3 3752 | 2730,6298,3 3753 | 2737,3143,3 3754 | 2753,3162,3 3755 | 2837,2964,3 3756 | 2837,3108,3 3757 | 2878,3011,3 3758 | 2878,3162,3 3759 | 2887,3208,3 3760 | 2887,6373,3 3761 | 2905,2908,3 3762 | 2908,3181,3 3763 | 3011,6302,3 3764 | 3016,3018,3 3765 | 3016,3386,3 3766 | 3018,3386,3 3767 | 3034,3219,3 3768 | 3034,3220,3 3769 | 3034,3399,3 3770 | 3034,3400,3 3771 | 3034,6425,3 3772 | 3047,3181,3 3773 | 3047,7160,3 3774 | 3162,6302,3 3775 | 3171,3386,3 3776 | 3171,6373,3 3777 | 3192,3585,3 3778 | 3192,6500,3 3779 | 3201,3358,3 3780 | 3208,6373,3 3781 | 3211,3392,3 3782 | 3211,3393,3 3783 | 3211,3514,3 3784 | 3211,6481,3 3785 | 3213,6481,3 3786 | 3322,6500,3 3787 | 3323,3585,3 3788 | 3343,3704,3 3789 | 3355,3358,3 3790 | 3358,3485,3 3791 | 3358,3607,3 3792 | 3386,3718,3 3793 | 3389,3392,3 3794 | 3392,6481,3 3795 | 3393,3515,3 3796 | 3466,3801,3 3797 | 3466,7186,3 3798 | 3467,3801,3 3799 | 3467,7186,3 3800 | 3474,3809,3 3801 | 3508,3828,3 3802 | 3536,6488,3 3803 | 3585,7186,3 3804 | 3597,3939,3 3805 | 3597,3940,3 3806 | 3598,3942,3 3807 | 3600,3942,3 3808 | 3628,6554,3 3809 | 3638,7160,3 3810 | 3692,4094,3 3811 | 3699,3927,3 3812 | 3699,6562,3 3813 | 3790,6583,3 3814 | 3801,3928,3 3815 | 3802,4101,3 3816 | 3802,6562,3 3817 | 3809,3811,3 3818 | 3811,3942,3 3819 | 3815,3942,3 3820 | 3918,4094,3 3821 | 3926,4214,3 3822 | 3926,4215,3 3823 | 3926,7186,3 3824 | 3927,6562,3 3825 | 3939,3942,3 3826 | 3945,4229,3 3827 | 3945,4230,3 3828 | 3946,4229,3 3829 | 4000,4256,3 3830 | 4003,4364,3 3831 | 4008,4262,3 3832 | 4012,4262,3 3833 | 4025,4379,3 3834 | 4030,4170,3 3835 | 4030,6646,3 3836 | 4094,6584,3 3837 | 4101,4430,3 3838 | 4101,6584,3 3839 | 4121,4443,3 3840 | 4125,6636,3 3841 | 4149,4473,3 3842 | 4158,4268,3 3843 | 4210,6584,3 3844 | 4215,6562,3 3845 | 4229,4553,3 3846 | 4230,4335,3 3847 | 4230,4553,3 3848 | 4230,4554,3 3849 | 4232,4554,3 3850 | 4234,4557,3 3851 | 4267,4597,3 3852 | 4268,4377,3 3853 | 4335,4443,3 3854 | 4335,4678,3 3855 | 4341,4685,3 3856 | 4357,6715,3 3857 | 4358,7230,3 3858 | 4360,6719,3 3859 | 4361,6720,3 3860 | 4362,4696,3 3861 | 4364,4587,3 3862 | 4364,4696,3 3863 | 4364,4697,3 3864 | 4377,4379,3 3865 | 4377,4602,3 3866 | 4379,4602,3 3867 | 4379,4703,3 3868 | 4382,4608,3 3869 | 4382,7210,3 3870 | 4426,6752,3 3871 | 4464,4735,3 3872 | 4465,4735,3 3873 | 4466,4738,3 3874 | 4467,4738,3 3875 | 4468,4738,3 3876 | 4473,4745,3 3877 | 4482,4752,3 3878 | 4482,6779,3 3879 | 4532,4822,3 3880 | 4533,4825,3 3881 | 4549,4724,3 3882 | 4553,4724,3 3883 | 4554,4685,3 3884 | 4557,6704,3 3885 | 4557,6767,3 3886 | 4575,4733,3 3887 | 4575,6713,3 3888 | 4577,4735,3 3889 | 4586,7249,3 3890 | 4597,4752,3 3891 | 4597,4873,3 3892 | 4608,4703,3 3893 | 4655,4820,3 3894 | 4669,4933,3 3895 | 4678,4681,3 3896 | 4681,4723,3 3897 | 4681,4941,3 3898 | 4681,4942,3 3899 | 4681,4943,3 3900 | 4685,6636,3 3901 | 4697,4745,3 3902 | 4700,4752,3 3903 | 4700,4974,3 3904 | 4700,4975,3 3905 | 4703,7210,3 3906 | 4733,5052,3 3907 | 4735,6713,3 3908 | 4738,4961,3 3909 | 4745,5065,3 3910 | 4745,7249,3 3911 | 4838,5137,3 3912 | 4838,5138,3 3913 | 4838,5139,3 3914 | 4860,4958,3 3915 | 4860,5154,3 3916 | 4926,5029,3 3917 | 4926,5225,3 3918 | 4938,5139,3 3919 | 4938,6758,3 3920 | 4941,5043,3 3921 | 4941,5139,3 3922 | 4943,6838,3 3923 | 4953,6713,3 3924 | 4958,4961,3 3925 | 4958,7230,3 3926 | 4961,5155,3 3927 | 4961,5251,3 3928 | 4966,5063,3 3929 | 4966,5257,3 3930 | 4966,6821,3 3931 | 5025,5327,3 3932 | 5026,5029,3 3933 | 5026,5327,3 3934 | 5027,5226,3 3935 | 5029,5332,3 3936 | 5036,5138,3 3937 | 5036,6758,3 3938 | 5036,6760,3 3939 | 5042,5342,3 3940 | 5043,6838,3 3941 | 5061,5063,3 3942 | 5061,5156,3 3943 | 5063,5066,3 3944 | 5063,5159,3 3945 | 5063,5362,3 3946 | 5063,7249,3 3947 | 5065,5156,3 3948 | 5065,5362,3 3949 | 5065,6821,3 3950 | 5066,5260,3 3951 | 5066,6871,3 3952 | 5126,5226,3 3953 | 5137,5433,3 3954 | 5138,5433,3 3955 | 5139,5342,3 3956 | 5139,5433,3 3957 | 5154,5156,3 3958 | 5155,5251,3 3959 | 5155,5362,3 3960 | 5159,5367,3 3961 | 5159,6821,3 3962 | 5159,6871,3 3963 | 5225,5332,3 3964 | 5257,5367,3 3965 | 5257,5489,3 3966 | 5258,5368,3 3967 | 5258,6821,3 3968 | 5368,6821,3 3969 | 5604,5647,3 3970 | 5647,5654,3 3971 | 5647,5662,3 3972 | 5654,5665,3 3973 | 5777,5826,3 3974 | 5854,5882,3 3975 | 5992,7031,3 3976 | 6039,7059,3 3977 | 6168,6266,3 3978 | 6337,7160,3 3979 | 6659,6758,3 3980 | 6758,6761,3 3981 | 6838,6881,3 3982 | 12,131,4 3983 | 41,251,4 3984 | 49,195,4 3985 | 49,336,4 3986 | 60,131,4 3987 | 60,213,4 3988 | 65,221,4 3989 | 65,5733,4 3990 | 65,6960,4 3991 | 68,363,4 3992 | 81,172,4 3993 | 87,92,4 3994 | 99,336,4 3995 | 136,218,4 3996 | 141,5733,4 3997 | 194,408,4 3998 | 213,497,4 3999 | 228,293,4 4000 | 228,366,4 4001 | 228,370,4 4002 | 247,251,4 4003 | 247,549,4 4004 | 326,679,4 4005 | 329,568,4 4006 | 353,497,4 4007 | 353,615,4 4008 | 363,366,4 4009 | 364,367,4 4010 | 364,629,4 4011 | 367,370,4 4012 | 367,629,4 4013 | 370,631,4 4014 | 401,568,4 4015 | 401,679,4 4016 | 401,680,4 4017 | 407,410,4 4018 | 407,5791,4 4019 | 408,411,4 4020 | 408,784,4 4021 | 472,568,4 4022 | 497,615,4 4023 | 530,818,4 4024 | 549,760,4 4025 | 557,846,4 4026 | 568,680,4 4027 | 601,606,4 4028 | 615,5733,4 4029 | 644,973,4 4030 | 673,994,4 4031 | 699,863,4 4032 | 699,868,4 4033 | 707,796,4 4034 | 707,5861,4 4035 | 711,873,4 4036 | 711,1027,4 4037 | 714,796,4 4038 | 736,817,4 4039 | 736,5763,4 4040 | 745,898,4 4041 | 760,5777,4 4042 | 761,5777,4 4043 | 788,792,4 4044 | 788,5846,4 4045 | 792,868,4 4046 | 792,1136,4 4047 | 796,5832,4 4048 | 818,899,4 4049 | 818,973,4 4050 | 863,5791,4 4051 | 863,5923,4 4052 | 868,1136,4 4053 | 899,1045,4 4054 | 899,5854,4 4055 | 914,1061,4 4056 | 975,1045,4 4057 | 975,5854,4 4058 | 1027,5832,4 4059 | 1045,1257,4 4060 | 1052,5883,4 4061 | 1061,1341,4 4062 | 1061,5992,4 4063 | 1062,1341,4 4064 | 1062,5992,4 4065 | 1121,5882,4 4066 | 1132,1215,4 4067 | 1132,5945,4 4068 | 1136,1309,4 4069 | 1136,1379,4 4070 | 1138,1235,4 4071 | 1138,1244,4 4072 | 1188,1510,4 4073 | 1207,1361,4 4074 | 1209,1526,4 4075 | 1235,6026,4 4076 | 1244,1313,4 4077 | 1257,1585,4 4078 | 1258,1328,4 4079 | 1258,1585,4 4080 | 1304,1547,4 4081 | 1309,1552,4 4082 | 1309,1658,4 4083 | 1313,1552,4 4084 | 1313,1557,4 4085 | 1313,1558,4 4086 | 1326,1328,4 4087 | 1346,1744,4 4088 | 1347,1744,4 4089 | 1350,1750,4 4090 | 1350,1753,4 4091 | 1361,1769,4 4092 | 1361,1772,4 4093 | 1435,1769,4 4094 | 1532,1888,4 4095 | 1532,6103,4 4096 | 1533,1888,4 4097 | 1534,1888,4 4098 | 1553,1557,4 4099 | 1557,1812,4 4100 | 1558,1814,4 4101 | 1620,6123,4 4102 | 1622,6123,4 4103 | 1622,7059,4 4104 | 1705,2048,4 4105 | 1744,2176,4 4106 | 1744,6018,4 4107 | 1750,1755,4 4108 | 1753,6123,4 4109 | 1755,7072,4 4110 | 1756,7072,4 4111 | 1769,7059,4 4112 | 2077,2480,4 4113 | 2077,2481,4 4114 | 2161,2270,4 4115 | 2161,2448,4 4116 | 2161,2578,4 4117 | 2176,2480,4 4118 | 2176,6212,4 4119 | 2276,2706,4 4120 | 2276,6290,4 4121 | 2310,7072,4 4122 | 2313,2490,4 4123 | 2313,2612,4 4124 | 2313,2737,4 4125 | 2338,6303,4 4126 | 2394,2654,4 4127 | 2394,2905,4 4128 | 2394,2907,4 4129 | 2394,2908,4 4130 | 2465,6266,4 4131 | 2481,6213,4 4132 | 2517,6303,4 4133 | 2537,2653,4 4134 | 2537,2908,4 4135 | 2590,6168,4 4136 | 2653,2905,4 4137 | 2653,3034,4 4138 | 2713,6168,4 4139 | 2727,6213,4 4140 | 2776,7119,4 4141 | 2853,6213,4 4142 | 2854,6213,4 4143 | 2863,3358,4 4144 | 2887,3016,4 4145 | 2887,6303,4 4146 | 2905,6337,4 4147 | 2907,3181,4 4148 | 2908,7160,4 4149 | 2916,3048,4 4150 | 2916,3238,4 4151 | 3010,3497,4 4152 | 3016,3171,4 4153 | 3018,6303,4 4154 | 3047,6337,4 4155 | 3048,3181,4 4156 | 3048,7160,4 4157 | 3181,3238,4 4158 | 3238,6488,4 4159 | 3238,7160,4 4160 | 3699,3801,4 4161 | 3699,3926,4 4162 | 3699,3976,4 4163 | 3928,3976,4 4164 | 3942,4335,4 4165 | 4025,6646,4 4166 | 4025,7210,4 4167 | 4030,7210,4 4168 | 4107,6562,4 4169 | 4170,4382,4 4170 | 4377,6620,4 4171 | 4377,6646,4 4172 | 4379,4382,4 4173 | 4382,4703,4 4174 | 4549,6659,4 4175 | 4549,6758,4 4176 | 4577,4958,4 4177 | 4602,4703,4 4178 | 4602,7210,4 4179 | 4608,6646,4 4180 | 4608,7210,4 4181 | 4681,5043,4 4182 | 4685,6767,4 4183 | 4703,6646,4 4184 | 4735,4852,4 4185 | 4735,4953,4 4186 | 4838,5036,4 4187 | 4852,6715,4 4188 | 4860,5251,4 4189 | 4941,5342,4 4190 | 4942,5342,4 4191 | 4953,6715,4 4192 | 5036,5433,4 4193 | 5042,6881,4 4194 | 5043,6881,4 4195 | 5052,6713,4 4196 | 5066,5368,4 4197 | 5139,6881,4 4198 | 5155,5489,4 4199 | 5156,5489,4 4200 | 5159,5489,4 4201 | 5224,5332,4 4202 | 5258,5489,4 4203 | 5342,5433,4 4204 | 5433,6881,4 4205 | 5647,5665,4 4206 | 5791,5846,4 4207 | 5846,5923,4 4208 | 5854,5883,4 4209 | 5933,5992,4 4210 | 6168,6295,4 4211 | 6636,6767,4 4212 | 6659,6760,4 4213 | 6661,6767,4 4214 | 12,60,5 4215 | 12,128,5 4216 | 22,195,5 4217 | 49,194,5 4218 | 49,263,5 4219 | 49,410,5 4220 | 49,411,5 4221 | 60,353,5 4222 | 68,293,5 4223 | 68,364,5 4224 | 99,195,5 4225 | 99,410,5 4226 | 99,411,5 4227 | 128,213,5 4228 | 128,270,5 4229 | 131,136,5 4230 | 136,141,5 4231 | 136,497,5 4232 | 141,363,5 4233 | 173,5777,5 4234 | 213,6960,5 4235 | 218,6960,5 4236 | 221,293,5 4237 | 247,393,5 4238 | 247,465,5 4239 | 270,411,5 4240 | 353,6960,5 4241 | 366,370,5 4242 | 370,630,5 4243 | 370,5763,5 4244 | 407,5829,5 4245 | 408,5829,5 4246 | 444,530,5 4247 | 444,736,5 4248 | 444,813,5 4249 | 530,817,5 4250 | 568,5829,5 4251 | 615,621,5 4252 | 644,5763,5 4253 | 699,5861,5 4254 | 707,788,5 4255 | 707,868,5 4256 | 713,1027,5 4257 | 714,1027,5 4258 | 784,5829,5 4259 | 784,5923,5 4260 | 792,1235,5 4261 | 794,1138,5 4262 | 794,1235,5 4263 | 796,1027,5 4264 | 813,5763,5 4265 | 863,1133,5 4266 | 863,5829,5 4267 | 863,5945,5 4268 | 943,5945,5 4269 | 1051,5882,5 4270 | 1121,5883,5 4271 | 1133,1304,5 4272 | 1133,5846,5 4273 | 1138,1309,5 4274 | 1138,1317,5 4275 | 1274,1744,5 4276 | 1278,1750,5 4277 | 1279,1750,5 4278 | 1313,1317,5 4279 | 1524,1772,5 4280 | 1538,5945,5 4281 | 1553,1558,5 4282 | 1558,1812,5 4283 | 1620,1750,5 4284 | 1620,7072,5 4285 | 1622,7072,5 4286 | 1637,1772,5 4287 | 1744,2077,5 4288 | 1750,2077,5 4289 | 1769,6182,5 4290 | 1772,6182,5 4291 | 2161,2447,5 4292 | 2161,2702,5 4293 | 2176,2365,5 4294 | 2276,2704,5 4295 | 2276,2833,5 4296 | 2276,2837,5 4297 | 2313,2618,5 4298 | 2313,6182,5 4299 | 2394,2653,5 4300 | 2654,2907,5 4301 | 2772,2776,5 4302 | 2776,2905,5 4303 | 2878,3497,5 4304 | 2908,3047,5 4305 | 2916,3047,5 4306 | 2916,3536,5 4307 | 2916,6488,5 4308 | 3048,6337,5 4309 | 3048,6488,5 4310 | 3162,3497,5 4311 | 3497,6331,5 4312 | 3536,4025,5 4313 | 3802,3976,5 4314 | 3856,6488,5 4315 | 3927,3976,5 4316 | 3938,6659,5 4317 | 3939,6659,5 4318 | 3940,6659,5 4319 | 4025,4030,5 4320 | 4025,4602,5 4321 | 4030,4172,5 4322 | 4030,4608,5 4323 | 4107,4669,5 4324 | 4170,4608,5 4325 | 4234,6767,5 4326 | 4268,4602,5 4327 | 4341,6767,5 4328 | 4430,4669,5 4329 | 4735,5052,5 4330 | 4825,5332,5 4331 | 5027,5332,5 4332 | 5052,6715,5 4333 | 5124,5416,5 4334 | 5327,5416,5 4335 | 5415,5604,5 4336 | 5604,5654,5 4337 | 5880,5882,5 4338 | 6488,7204,5 4339 | 6707,6733,5 4340 | 6707,6826,5 4341 | 6826,6828,5 4342 | 12,213,6 4343 | 12,270,6 4344 | 22,194,6 4345 | 22,263,6 4346 | 22,336,6 4347 | 81,307,6 4348 | 99,270,6 4349 | 128,606,6 4350 | 131,353,6 4351 | 131,497,6 4352 | 136,615,6 4353 | 141,621,6 4354 | 173,549,6 4355 | 213,615,6 4356 | 218,621,6 4357 | 221,621,6 4358 | 228,364,6 4359 | 228,629,6 4360 | 270,336,6 4361 | 270,410,6 4362 | 329,5829,6 4363 | 444,734,6 4364 | 497,606,6 4365 | 621,5733,6 4366 | 797,1244,6 4367 | 1027,1244,6 4368 | 1027,1317,6 4369 | 1051,5883,6 4370 | 1244,1558,6 4371 | 1317,1558,6 4372 | 2613,2618,6 4373 | 2618,2738,6 4374 | 2752,3497,6 4375 | 2753,3497,6 4376 | 3699,4107,6 4377 | 3928,4107,6 4378 | 3976,4669,6 4379 | 4107,4215,6 4380 | 4170,6646,6 4381 | 4170,6733,6 4382 | 4172,4382,6 4383 | 4172,6733,6 4384 | 4215,4669,6 4385 | 4323,4669,6 4386 | 4430,4933,6 4387 | 4608,6733,6 4388 | 4820,5416,6 4389 | 4822,5416,6 4390 | 4933,5029,6 4391 | 4933,5332,6 4392 | 5025,5416,6 4393 | 5124,5415,6 4394 | 5327,5415,6 4395 | 5416,5604,6 4396 | 5604,5662,6 4397 | 5880,5883,6 4398 | 12,22,7 4399 | 60,128,7 4400 | 173,251,7 4401 | 307,530,7 4402 | 307,745,7 4403 | 307,5763,7 4404 | 363,621,7 4405 | 797,1317,7 4406 | 1524,6182,7 4407 | 1526,6182,7 4408 | 2490,2618,7 4409 | 2612,2618,7 4410 | 3238,3536,7 4411 | 3536,4158,7 4412 | 3536,4267,7 4413 | 4172,4608,7 4414 | 4180,6707,7 4415 | 4215,4933,7 4416 | 4323,4933,7 4417 | 4820,5415,7 4418 | 4822,5415,7 4419 | 5604,5665,7 4420 | 85,173,8 4421 | 173,252,8 4422 | 307,444,8 4423 | 307,644,8 4424 | 2916,3181,8 4425 | 4172,6646,8 4426 | 4172,6707,8 4427 | 4382,6733,8 4428 | 4703,6733,8 4429 | 5415,5647,8 4430 | 172,307,9 4431 | 4180,6828,9 4432 | 5415,5654,9 4433 | 5416,5647,9 4434 | 6707,6828,9 4435 | 6733,6826,9 4436 | 4170,6707,10 4437 | 4172,4180,10 4438 | 4180,6826,10 4439 | 4875,6930,10 4440 | 4975,6930,10 4441 | 5368,6930,10 4442 | 5416,5654,10 4443 | 6779,6930,10 4444 | 4700,6930,11 4445 | 4703,6930,11 4446 | 5415,5662,11 4447 | 81,444,12 4448 | 81,5854,12 4449 | 4170,4180,12 4450 | 4180,6733,12 4451 | 5415,5665,12 4452 | 5416,5662,12 4453 | 81,530,13 4454 | 81,745,13 4455 | 172,5883,13 4456 | 4172,6826,13 4457 | 5106,6828,13 4458 | 5416,5665,13 4459 | 6733,6828,13 4460 | 172,5882,14 4461 | 172,444,15 4462 | 172,5854,15 4463 | 4170,6826,15 4464 | 4172,6828,17 4465 | 5106,6826,17 4466 | 4030,7064,18 4467 | 4170,7064,18 4468 | 4172,7064,18 4469 | 4180,7064,18 4470 | 1116,7064,20 4471 | 1150,7064,20 4472 | 4180,5106,20 4473 | 5106,6583,20 4474 | 5106,6654,20 4475 | 3913,5106,21 4476 | --------------------------------------------------------------------------------