diff --git a/README.md b/README.md index c0f966c..269a9f6 100644 --- a/README.md +++ b/README.md @@ -296,7 +296,7 @@ Exemple 1 +-------+-------+-------+ -- -Et voici l'image produite qui montre un arbre filiforme (signe que le sudoku est facile). La grille initiale est marquée en rouge en haut, et l'unique solution est marquée en vert en bas. Le premier nœud accessible depuis le nœud rouge de départ porte la mention `('7', 0, 6)`. Cela signifie que lors de la résolution, la première case remplie a été celle de coordonnée (0, 6) (première ligne, septième colonne) et qu'on y a placé le chiffre 7. +Et voici l'image produite qui montre un arbre filiforme (signe que le sudoku est facile). La grille initiale est marquée en rouge en haut, et l'unique solution est marquée en vert en bas. Le premier nœud accessible depuis le nœud rouge de départ porte la mention `('7', 6, 0)`. Cela signifie que lors de la résolution, la première case remplie a été celle de coordonnée (6, 0) (septième colonne, première ligne) et qu'on y a placé le chiffre 7. ![arbre de résolution de l'exemple 1](images/arbre_exple1.png) @@ -427,3 +427,10 @@ produit l'ouverture d'une fenêtre montrant l'image ![coloriage de la grille de l'exemple 1](images/mondrian_exple1.png) et un fichier nommé `mondrian_exple1.png` dans le dossier `images`. + +#### Création d'un GIF animé + + + $ ./main7.py 906028003040500001080900040600000070008206900030000005050003060100002080200870500 images/mondrian_exple1_resolution + +![resolution animée de la grille de l'exemple 1](images/mondrian_exple1_reolution.gif) diff --git a/images/arbre_exple1.dot b/images/arbre_exple1.dot index d770b88..c596627 100644 --- a/images/arbre_exple1.dot +++ b/images/arbre_exple1.dot @@ -5,109 +5,109 @@ digraph T { bgcolor="#FFFF00"; node[style=filled]; START[shape=hexagon, fillcolor="#FF0000"]; - "START706"[label="('7', 0, 6)"]; - "START" -> "START706"; - "START706101"[label="('1', 0, 1)"]; - "START706" -> "START706101"; - "START706101403"[label="('4', 0, 3)"]; - "START706101" -> "START706101403"; - "START706101403507"[label="('5', 0, 7)"]; - "START706101403" -> "START706101403507"; - "START706101403507715"[label="('7', 1, 5)"]; - "START706101403507" -> "START706101403507715"; - "START706101403507715310"[label="('3', 1, 0)"]; - "START706101403507715" -> "START706101403507715310"; - "START706101403507715310212"[label="('2', 1, 2)"]; - "START706101403507715310" -> "START706101403507715310212"; - "START706101403507715310212614"[label="('6', 1, 4)"]; - "START706101403507715310212" -> "START706101403507715310212614"; - "START706101403507715310212614816"[label="('8', 1, 6)"]; - "START706101403507715310212614" -> "START706101403507715310212614816"; - "START706101403507715310212614816917"[label="('9', 1, 7)"]; - "START706101403507715310212614816" -> "START706101403507715310212614816917"; - "START706101403507715310212614816917125"[label="('1', 2, 5)"]; - "START706101403507715310212614816917" -> "START706101403507715310212614816917125"; - "START706101403507715310212614816917125324"[label="('3', 2, 4)"]; - "START706101403507715310212614816917125" -> "START706101403507715310212614816917125324"; - "START706101403507715310212614816917125324741"[label="('7', 4, 1)"]; - "START706101403507715310212614816917125324" -> "START706101403507715310212614816917125324741"; - "START706101403507715310212614816917125324741448"[label="('4', 4, 8)"]; - "START706101403507715310212614816917125324741" -> "START706101403507715310212614816917125324741448"; - "START706101403507715310212614816917125324741448540"[label="('5', 4, 0)"]; - "START706101403507715310212614816917125324741448" -> "START706101403507715310212614816917125324741448540"; - "START706101403507715310212614816917125324741448540720"[label="('7', 2, 0)"]; - "START706101403507715310212614816917125324741448540" -> "START706101403507715310212614816917125324741448540720"; - "START706101403507715310212614816917125324741448540720522"[label="('5', 2, 2)"]; - "START706101403507715310212614816917125324741448540720" -> "START706101403507715310212614816917125324741448540720522"; - "START706101403507715310212614816917125324741448540720522144"[label="('1', 4, 4)"]; - "START706101403507715310212614816917125324741448540720522" -> "START706101403507715310212614816917125324741448540720522144"; - "START706101403507715310212614816917125324741448540720522144333"[label="('3', 3, 3)"]; - "START706101403507715310212614816917125324741448540720522144" -> "START706101403507715310212614816917125324741448540720522144333"; - "START706101403507715310212614816917125324741448540720522144333347"[label="('3', 4, 7)"]; - "START706101403507715310212614816917125324741448540720522144333" -> "START706101403507715310212614816917125324741448540720522144333347"; - "START706101403507715310212614816917125324741448540720522144333347450"[label="('4', 5, 0)"]; - "START706101403507715310212614816917125324741448540720522144333347" -> "START706101403507715310212614816917125324741448540720522144333347450"; - "START706101403507715310212614816917125324741448540720522144333347450753"[label="('7', 5, 3)"]; - "START706101403507715310212614816917125324741448540720522144333347450" -> "START706101403507715310212614816917125324741448540720522144333347450753"; - "START706101403507715310212614816917125324741448540720522144333347450753955"[label="('9', 5, 5)"]; - "START706101403507715310212614816917125324741448540720522144333347450753" -> "START706101403507715310212614816917125324741448540720522144333347450753955"; - "START706101403507715310212614816917125324741448540720522144333347450753955152"[label="('1', 5, 2)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955" -> "START706101403507715310212614816917125324741448540720522144333347450753955152"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932"[label="('9', 3, 2)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231"[label="('2', 3, 1)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136"[label="('1', 3, 6)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838"[label="('8', 3, 8)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854"[label="('8', 5, 4)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257"[label="('2', 5, 7)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656"[label="('6', 5, 6)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226"[label="('2', 2, 6)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"[label="('6', 2, 8)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"[label="('8', 6, 0)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"[label="('1', 6, 3)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"[label="('4', 6, 6)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"[label="('7', 6, 2)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"[label="('9', 6, 4)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"[label="('2', 6, 8)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"[label="('6', 7, 3)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"[label="('9', 7, 1)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376"[label="('3', 7, 6)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472"[label="('4', 7, 2)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574"[label="('5', 7, 4)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434"[label="('4', 3, 4)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535"[label="('5', 3, 5)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778"[label="('7', 7, 8)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681"[label="('6', 8, 1)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382"[label="('3', 8, 2)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485"[label="('4', 8, 5)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187"[label="('1', 8, 7)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187988"[label="('9', 8, 8)"]; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187988"; - "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187988"[shape=hexagon, fillcolor="#00FF00"]; + "START760"[label="('7', 6, 0)"]; + "START" -> "START760"; + "START760110"[label="('1', 1, 0)"]; + "START760" -> "START760110"; + "START760110430"[label="('4', 3, 0)"]; + "START760110" -> "START760110430"; + "START760110430570"[label="('5', 7, 0)"]; + "START760110430" -> "START760110430570"; + "START760110430570751"[label="('7', 5, 1)"]; + "START760110430570" -> "START760110430570751"; + "START760110430570751301"[label="('3', 0, 1)"]; + "START760110430570751" -> "START760110430570751301"; + "START760110430570751301221"[label="('2', 2, 1)"]; + "START760110430570751301" -> "START760110430570751301221"; + "START760110430570751301221641"[label="('6', 4, 1)"]; + "START760110430570751301221" -> "START760110430570751301221641"; + "START760110430570751301221641861"[label="('8', 6, 1)"]; + "START760110430570751301221641" -> "START760110430570751301221641861"; + "START760110430570751301221641861971"[label="('9', 7, 1)"]; + "START760110430570751301221641861" -> "START760110430570751301221641861971"; + "START760110430570751301221641861971152"[label="('1', 5, 2)"]; + "START760110430570751301221641861971" -> "START760110430570751301221641861971152"; + "START760110430570751301221641861971152342"[label="('3', 4, 2)"]; + "START760110430570751301221641861971152" -> "START760110430570751301221641861971152342"; + "START760110430570751301221641861971152342714"[label="('7', 1, 4)"]; + "START760110430570751301221641861971152342" -> "START760110430570751301221641861971152342714"; + "START760110430570751301221641861971152342714484"[label="('4', 8, 4)"]; + "START760110430570751301221641861971152342714" -> "START760110430570751301221641861971152342714484"; + "START760110430570751301221641861971152342714484504"[label="('5', 0, 4)"]; + "START760110430570751301221641861971152342714484" -> "START760110430570751301221641861971152342714484504"; + "START760110430570751301221641861971152342714484504702"[label="('7', 0, 2)"]; + "START760110430570751301221641861971152342714484504" -> "START760110430570751301221641861971152342714484504702"; + "START760110430570751301221641861971152342714484504702522"[label="('5', 2, 2)"]; + "START760110430570751301221641861971152342714484504702" -> "START760110430570751301221641861971152342714484504702522"; + "START760110430570751301221641861971152342714484504702522144"[label="('1', 4, 4)"]; + "START760110430570751301221641861971152342714484504702522" -> "START760110430570751301221641861971152342714484504702522144"; + "START760110430570751301221641861971152342714484504702522144333"[label="('3', 3, 3)"]; + "START760110430570751301221641861971152342714484504702522144" -> "START760110430570751301221641861971152342714484504702522144333"; + "START760110430570751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"]; + "START760110430570751301221641861971152342714484504702522144333" -> "START760110430570751301221641861971152342714484504702522144333374"; + "START760110430570751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374" -> "START760110430570751301221641861971152342714484504702522144333374405"; + "START760110430570751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374405" -> "START760110430570751301221641861971152342714484504702522144333374405735"; + "START760110430570751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374405735" -> "START760110430570751301221641861971152342714484504702522144333374405735955"; + "START760110430570751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955" -> "START760110430570751301221641861971152342714484504702522144333374405735955125"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367"[label="('3', 6, 7)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427"[label="('4', 2, 7)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547"[label="('5', 4, 7)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443"[label="('4', 4, 3)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553"[label="('5', 5, 3)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787"[label="('7', 8, 7)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618"[label="('6', 1, 8)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328"[label="('3', 2, 8)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458"[label="('4', 5, 8)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178"[label="('1', 7, 8)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[label="('9', 8, 8)"]; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"; + "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[shape=hexagon, fillcolor="#00FF00"]; } diff --git a/images/arbre_exple1.png b/images/arbre_exple1.png index 27f56cf..24d2aa6 100644 Binary files a/images/arbre_exple1.png and b/images/arbre_exple1.png differ diff --git a/images/arbre_exple2.dot b/images/arbre_exple2.dot index e78bf92..8e0c06f 100644 --- a/images/arbre_exple2.dot +++ b/images/arbre_exple2.dot @@ -5,128 +5,128 @@ digraph T { bgcolor="#FFFF00"; node[style=filled]; START[shape=hexagon, fillcolor="#FF0000"]; - "START507"[label="('5', 0, 7)"]; - "START" -> "START507"; - "START507706"[label="('7', 0, 6)"]; - "START507" -> "START507706"; - "START507706101"[label="('1', 0, 1)"]; - "START507706" -> "START507706101"; - "START507706101403"[label="('4', 0, 3)"]; - "START507706101" -> "START507706101403"; - "START507706101403715"[label="('7', 1, 5)"]; - "START507706101403" -> "START507706101403715"; - "START507706101403715310"[label="('3', 1, 0)"]; - "START507706101403715" -> "START507706101403715310"; - "START507706101403715310212"[label="('2', 1, 2)"]; - "START507706101403715310" -> "START507706101403715310212"; - "START507706101403715310212614"[label="('6', 1, 4)"]; - "START507706101403715310212" -> "START507706101403715310212614"; - "START507706101403715310212614816"[label="('8', 1, 6)"]; - "START507706101403715310212614" -> "START507706101403715310212614816"; - "START507706101403715310212614816917"[label="('9', 1, 7)"]; - "START507706101403715310212614816" -> "START507706101403715310212614816917"; - "START507706101403715310212614816917125"[label="('1', 2, 5)"]; - "START507706101403715310212614816917" -> "START507706101403715310212614816917125"; - "START507706101403715310212614816917125324"[label="('3', 2, 4)"]; - "START507706101403715310212614816917125" -> "START507706101403715310212614816917125324"; - "START507706101403715310212614816917125324741"[label="('7', 4, 1)"]; - "START507706101403715310212614816917125324" -> "START507706101403715310212614816917125324741"; - "START507706101403715310212614816917125324741448"[label="('4', 4, 8)"]; - "START507706101403715310212614816917125324741" -> "START507706101403715310212614816917125324741448"; - "START507706101403715310212614816917125324741448540"[label="('5', 4, 0)"]; - "START507706101403715310212614816917125324741448" -> "START507706101403715310212614816917125324741448540"; - "START507706101403715310212614816917125324741448540720"[label="('7', 2, 0)"]; - "START507706101403715310212614816917125324741448540" -> "START507706101403715310212614816917125324741448540720"; - "START507706101403715310212614816917125324741448540720522"[label="('5', 2, 2)"]; - "START507706101403715310212614816917125324741448540720" -> "START507706101403715310212614816917125324741448540720522"; - "START507706101403715310212614816917125324741448540720522144"[label="('1', 4, 4)"]; - "START507706101403715310212614816917125324741448540720522" -> "START507706101403715310212614816917125324741448540720522144"; - "START507706101403715310212614816917125324741448540720522144333"[label="('3', 3, 3)"]; - "START507706101403715310212614816917125324741448540720522144" -> "START507706101403715310212614816917125324741448540720522144333"; - "START507706101403715310212614816917125324741448540720522144333347"[label="('3', 4, 7)"]; - "START507706101403715310212614816917125324741448540720522144333" -> "START507706101403715310212614816917125324741448540720522144333347"; - "START507706101403715310212614816917125324741448540720522144333347450"[label="('4', 5, 0)"]; - "START507706101403715310212614816917125324741448540720522144333347" -> "START507706101403715310212614816917125324741448540720522144333347450"; - "START507706101403715310212614816917125324741448540720522144333347450753"[label="('7', 5, 3)"]; - "START507706101403715310212614816917125324741448540720522144333347450" -> "START507706101403715310212614816917125324741448540720522144333347450753"; - "START507706101403715310212614816917125324741448540720522144333347450753955"[label="('9', 5, 5)"]; - "START507706101403715310212614816917125324741448540720522144333347450753" -> "START507706101403715310212614816917125324741448540720522144333347450753955"; - "START507706101403715310212614816917125324741448540720522144333347450753955152"[label="('1', 5, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955" -> "START507706101403715310212614816917125324741448540720522144333347450753955152"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932"[label="('9', 3, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231"[label="('2', 3, 1)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136"[label="('1', 3, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838"[label="('8', 3, 8)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854"[label="('8', 5, 4)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257"[label="('2', 5, 7)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656"[label="('6', 5, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226"[label="('2', 2, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"[label="('6', 2, 8)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"[label="('8', 6, 0)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"[label="('1', 6, 3)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"[label="('4', 6, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"[label="('7', 6, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"[label="('9', 6, 4)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"[label="('2', 6, 8)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"[label="('6', 7, 3)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"[label="('9', 7, 1)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778"[label="('7', 7, 8)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681"[label="('6', 8, 1)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187"[label="('1', 8, 7)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988"[label="('9', 8, 8)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434"[label="('4', 3, 4)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535"[label="('5', 3, 5)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574"[label="('5', 7, 4)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376"[label="('3', 7, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472"[label="('4', 7, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382"[label="('3', 8, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485"[label="('4', 8, 5)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"[label="('5', 8, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"[shape=hexagon, fillcolor="#00FF00"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534"[label="('5', 3, 4)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435"[label="('4', 3, 5)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474"[label="('4', 7, 4)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372"[label="('3', 7, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576"[label="('5', 7, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482"[label="('4', 8, 2)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585"[label="('5', 8, 5)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"[label="('3', 8, 6)"]; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"; - "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"[shape=hexagon, fillcolor="#00FF00"]; + "START570"[label="('5', 7, 0)"]; + "START" -> "START570"; + "START570760"[label="('7', 6, 0)"]; + "START570" -> "START570760"; + "START570760110"[label="('1', 1, 0)"]; + "START570760" -> "START570760110"; + "START570760110430"[label="('4', 3, 0)"]; + "START570760110" -> "START570760110430"; + "START570760110430751"[label="('7', 5, 1)"]; + "START570760110430" -> "START570760110430751"; + "START570760110430751301"[label="('3', 0, 1)"]; + "START570760110430751" -> "START570760110430751301"; + "START570760110430751301221"[label="('2', 2, 1)"]; + "START570760110430751301" -> "START570760110430751301221"; + "START570760110430751301221641"[label="('6', 4, 1)"]; + "START570760110430751301221" -> "START570760110430751301221641"; + "START570760110430751301221641861"[label="('8', 6, 1)"]; + "START570760110430751301221641" -> "START570760110430751301221641861"; + "START570760110430751301221641861971"[label="('9', 7, 1)"]; + "START570760110430751301221641861" -> "START570760110430751301221641861971"; + "START570760110430751301221641861971152"[label="('1', 5, 2)"]; + "START570760110430751301221641861971" -> "START570760110430751301221641861971152"; + "START570760110430751301221641861971152342"[label="('3', 4, 2)"]; + "START570760110430751301221641861971152" -> "START570760110430751301221641861971152342"; + "START570760110430751301221641861971152342714"[label="('7', 1, 4)"]; + "START570760110430751301221641861971152342" -> "START570760110430751301221641861971152342714"; + "START570760110430751301221641861971152342714484"[label="('4', 8, 4)"]; + "START570760110430751301221641861971152342714" -> "START570760110430751301221641861971152342714484"; + "START570760110430751301221641861971152342714484504"[label="('5', 0, 4)"]; + "START570760110430751301221641861971152342714484" -> "START570760110430751301221641861971152342714484504"; + "START570760110430751301221641861971152342714484504702"[label="('7', 0, 2)"]; + "START570760110430751301221641861971152342714484504" -> "START570760110430751301221641861971152342714484504702"; + "START570760110430751301221641861971152342714484504702522"[label="('5', 2, 2)"]; + "START570760110430751301221641861971152342714484504702" -> "START570760110430751301221641861971152342714484504702522"; + "START570760110430751301221641861971152342714484504702522144"[label="('1', 4, 4)"]; + "START570760110430751301221641861971152342714484504702522" -> "START570760110430751301221641861971152342714484504702522144"; + "START570760110430751301221641861971152342714484504702522144333"[label="('3', 3, 3)"]; + "START570760110430751301221641861971152342714484504702522144" -> "START570760110430751301221641861971152342714484504702522144333"; + "START570760110430751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"]; + "START570760110430751301221641861971152342714484504702522144333" -> "START570760110430751301221641861971152342714484504702522144333374"; + "START570760110430751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374" -> "START570760110430751301221641861971152342714484504702522144333374405"; + "START570760110430751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374405" -> "START570760110430751301221641861971152342714484504702522144333374405735"; + "START570760110430751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374405735" -> "START570760110430751301221641861971152342714484504702522144333374405735955"; + "START570760110430751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955" -> "START570760110430751301221641861971152342714484504702522144333374405735955125"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787"[label="('7', 8, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618"[label="('6', 1, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178"[label="('1', 7, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988"[label="('9', 8, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443"[label="('4', 4, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553"[label="('5', 5, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547"[label="('5', 4, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367"[label="('3', 6, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427"[label="('4', 2, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328"[label="('3', 2, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458"[label="('4', 5, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"[label="('5', 6, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"[shape=hexagon, fillcolor="#00FF00"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543"[label="('5', 4, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453"[label="('4', 5, 3)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447"[label="('4', 4, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327"[label="('3', 2, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567"[label="('5', 6, 7)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428"[label="('4', 2, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558"[label="('5', 5, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"[label="('3', 6, 8)"]; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"; + "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"[shape=hexagon, fillcolor="#00FF00"]; } diff --git a/images/arbre_exple2.png b/images/arbre_exple2.png index 011023a..c57e772 100644 Binary files a/images/arbre_exple2.png and b/images/arbre_exple2.png differ diff --git a/images/mondrian_exple1.png b/images/mondrian_exple1.png index 54686a6..e8c2251 100644 Binary files a/images/mondrian_exple1.png and b/images/mondrian_exple1.png differ diff --git a/images/mondrian_exple1_resolution.gif b/images/mondrian_exple1_resolution.gif new file mode 100644 index 0000000..470eb8e Binary files /dev/null and b/images/mondrian_exple1_resolution.gif differ diff --git a/images/sudokufiendish.dot b/images/sudokufiendish.dot index 58238a3..f6414a1 100644 --- a/images/sudokufiendish.dot +++ b/images/sudokufiendish.dot @@ -5,327 +5,327 @@ digraph T { bgcolor="#FFFF00"; node[style=filled]; START[shape=hexagon, fillcolor="#FF0000"]; - "START412"[label="('4', 1, 2)"]; - "START" -> "START412"; - "START412702"[label="('7', 0, 2)"]; - "START412" -> "START412702"; - "START412702301"[label="('3', 0, 1)"]; - "START412702" -> "START412702301"; - "START412702301103"[label="('1', 0, 3)"]; - "START412702301" -> "START412702301103"; - "START412702301103605"[label="('6', 0, 5)"]; - "START412702301103" -> "START412702301103605"; - "START412702301603"[label="('6', 0, 3)"]; - "START412702301" -> "START412702301603"; - "START412702301603105"[label="('1', 0, 5)"]; - "START412702301603" -> "START412702301603105"; - "START412702901"[label="('9', 0, 1)"]; - "START412702" -> "START412702901"; - "START412702901522"[label="('5', 2, 2)"]; - "START412702901" -> "START412702901522"; - "START412702901522321"[label="('3', 2, 1)"]; - "START412702901522" -> "START412702901522321"; - "START412702901522321262"[label="('2', 6, 2)"]; - "START412702901522321" -> "START412702901522321262"; - "START412702901522321262942"[label="('9', 4, 2)"]; - "START412702901522321262" -> "START412702901522321262942"; - "START412702901522321262942105"[label="('1', 0, 5)"]; - "START412702901522321262942" -> "START412702901522321262942105"; - "START412702901522321262942105303"[label="('3', 0, 3)"]; - "START412702901522321262942105" -> "START412702901522321262942105303"; - "START412702901522321262942105303608"[label="('6', 0, 8)"]; - "START412702901522321262942105303" -> "START412702901522321262942105303608"; - "START412702901522321262942105303608610"[label="('6', 1, 0)"]; - "START412702901522321262942105303608" -> "START412702901522321262942105303608610"; - "START412702901522321262942105303608610820"[label="('8', 2, 0)"]; - "START412702901522321262942105303608610" -> "START412702901522321262942105303608610820"; - "START412702901522321262942105303608610820624"[label="('6', 2, 4)"]; - "START412702901522321262942105303608610820" -> "START412702901522321262942105303608610820624"; - "START412702901522321262942105303608610820624223"[label="('2', 2, 3)"]; - "START412702901522321262942105303608610820624" -> "START412702901522321262942105303608610820624223"; - "START412702901522321262942105303608610820624223815"[label="('8', 1, 5)"]; - "START412702901522321262942105303608610820624223" -> "START412702901522321262942105303608610820624223815"; - "START412702901522321262942105303608610820624223815128"[label="('1', 2, 8)"]; - "START412702901522321262942105303608610820624223815" -> "START412702901522321262942105303608610820624223815128"; - "START412702901522321262942105303608610820624223815128478"[label="('4', 7, 8)"]; - "START412702901522321262942105303608610820624223815128" -> "START412702901522321262942105303608610820624223815128478"; - "START412702901522321262942105303608610820624223815128478858"[label="('8', 5, 8)"]; - "START412702901522321262942105303608610820624223815128478" -> "START412702901522321262942105303608610820624223815128478858"; - "START412702901522321262942105303608610820624223815128478858454"[label="('4', 5, 4)"]; - "START412702901522321262942105303608610820624223815128478858" -> "START412702901522321262942105303608610820624223815128478858454"; - "START412702901522321262942105303608610820624223815128478858454553"[label="('5', 5, 3)"]; - "START412702901522321262942105303608610820624223815128478858454" -> "START412702901522321262942105303608610820624223815128478858454553"; - "START412702901522321262942105303608610820624223815128478858454553633"[label="('6', 3, 3)"]; - "START412702901522321262942105303608610820624223815128478858454553" -> "START412702901522321262942105303608610820624223815128478858454553633"; - "START412702901522321262942105303608810"[label="('8', 1, 0)"]; - "START412702901522321262942105303608" -> "START412702901522321262942105303608810"; - "START412702901522321262942105303608810620"[label="('6', 2, 0)"]; - "START412702901522321262942105303608810" -> "START412702901522321262942105303608810620"; - "START412702901522321262942105303608810620824"[label="('8', 2, 4)"]; - "START412702901522321262942105303608810620" -> "START412702901522321262942105303608810620824"; - "START412702901522321262942105303608810620824223"[label="('2', 2, 3)"]; - "START412702901522321262942105303608810620824" -> "START412702901522321262942105303608810620824223"; - "START412702901522321262942105303608810620824223615"[label="('6', 1, 5)"]; - "START412702901522321262942105303608810620824223" -> "START412702901522321262942105303608810620824223615"; - "START412702901522321262942105303608810620824223615128"[label="('1', 2, 8)"]; - "START412702901522321262942105303608810620824223615" -> "START412702901522321262942105303608810620824223615128"; - "START412702901522321262942105303608810620824223615128454"[label="('4', 5, 4)"]; - "START412702901522321262942105303608810620824223615128" -> "START412702901522321262942105303608810620824223615128454"; - "START412702901522321262942105303608810620824223615128454858"[label="('8', 5, 8)"]; - "START412702901522321262942105303608810620824223615128454" -> "START412702901522321262942105303608810620824223615128454858"; - "START412702901522321262942105303608810620824223615128454858553"[label="('5', 5, 3)"]; - "START412702901522321262942105303608810620824223615128454858" -> "START412702901522321262942105303608810620824223615128454858553"; - "START412702901522321262942105303608810620824223615128454858553633"[label="('6', 3, 3)"]; - "START412702901522321262942105303608810620824223615128454858553" -> "START412702901522321262942105303608810620824223615128454858553633"; - "START412702901522321262942105303608810620824223615128454858553633735"[label="('7', 3, 5)"]; - "START412702901522321262942105303608810620824223615128454858553633" -> "START412702901522321262942105303608810620824223615128454858553633735"; - "START412702901522321262942105603"[label="('6', 0, 3)"]; - "START412702901522321262942105" -> "START412702901522321262942105603"; - "START412702901522321262942105603308"[label="('3', 0, 8)"]; - "START412702901522321262942105603" -> "START412702901522321262942105603308"; - "START412702901522321262942105603308824"[label="('8', 2, 4)"]; - "START412702901522321262942105603308" -> "START412702901522321262942105603308824"; - "START412702901522321262942105603308824215"[label="('2', 1, 5)"]; - "START412702901522321262942105603308824" -> "START412702901522321262942105603308824215"; - "START412702901522321262942605"[label="('6', 0, 5)"]; - "START412702901522321262942" -> "START412702901522321262942605"; - "START412702901522321262942605824"[label="('8', 2, 4)"]; - "START412702901522321262942605" -> "START412702901522321262942605824"; - "START412702901522321262942605824215"[label="('2', 1, 5)"]; - "START412702901522321262942605824" -> "START412702901522321262942605824215"; - "START412702901522321262942605824215620"[label="('6', 2, 0)"]; - "START412702901522321262942605824215" -> "START412702901522321262942605824215620"; - "START412702901522321262942605824215620810"[label="('8', 1, 0)"]; - "START412702901522321262942605824215620" -> "START412702901522321262942605824215620810"; - "START412702901522321262942605824215620810123"[label="('1', 2, 3)"]; - "START412702901522321262942605824215620810" -> "START412702901522321262942605824215620810123"; - "START412702901522321262942605824215620810123303"[label="('3', 0, 3)"]; - "START412702901522321262942605824215620810123" -> "START412702901522321262942605824215620810123303"; - "START412702901522321262942605824215620810123303108"[label="('1', 0, 8)"]; - "START412702901522321262942605824215620810123303" -> "START412702901522321262942605824215620810123303108"; - "START412702901522321262942605824215620810123303108228"[label="('2', 2, 8)"]; - "START412702901522321262942605824215620810123303108" -> "START412702901522321262942605824215620810123303108228"; - "START412702901522321262942605824215620810123303108228454"[label="('4', 5, 4)"]; - "START412702901522321262942605824215620810123303108228" -> "START412702901522321262942605824215620810123303108228454"; - "START412702901522321262942605824215620810123303108228454858"[label="('8', 5, 8)"]; - "START412702901522321262942605824215620810123303108228454" -> "START412702901522321262942605824215620810123303108228454858"; - "START412702901522321262942605824215620810123303108228454858317"[label="('3', 1, 7)"]; - "START412702901522321262942605824215620810123303108228454858" -> "START412702901522321262942605824215620810123303108228454858317"; - "START412702901522321262942605824215620810123303108228454858317618"[label="('6', 1, 8)"]; - "START412702901522321262942605824215620810123303108228454858317" -> "START412702901522321262942605824215620810123303108228454858317618"; - "START412702901522321262942605824215620810123303108228454858317618478"[label="('4', 7, 8)"]; - "START412702901522321262942605824215620810123303108228454858317618" -> "START412702901522321262942605824215620810123303108228454858317618478"; - "START412702901522321262942605824215620810123303108228454858317618478368"[label="('3', 6, 8)"]; - "START412702901522321262942605824215620810123303108228454858317618478" -> "START412702901522321262942605824215620810123303108228454858317618478368"; - "START412702901522321262942605824215620810123303108228454858317618478368771"[label="('7', 7, 1)"]; - "START412702901522321262942605824215620810123303108228454858317618478368" -> "START412702901522321262942605824215620810123303108228454858317618478368771"; - "START412702901522321262942605824215620810123303108228454858317618478368771673"[label="('6', 7, 3)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771" -> "START412702901522321262942605824215620810123303108228454858317618478368771673"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533"[label="('5', 3, 3)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430"[label="('4', 3, 0)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735"[label="('7', 3, 5)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637"[label="('6', 3, 7)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334"[label="('3', 3, 4)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241"[label="('2', 4, 1)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843"[label="('8', 4, 3)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644"[label="('6', 4, 4)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145"[label="('1', 4, 5)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747"[label="('7', 4, 7)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927"[label="('9', 2, 7)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726"[label="('7', 2, 6)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446"[label="('4', 4, 6)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551"[label="('5', 5, 1)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253"[label="('2', 5, 3)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955"[label="('9', 5, 5)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461"[label="('4', 6, 1)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764"[label="('7', 6, 4)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867"[label="('8', 6, 7)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565"[label="('5', 6, 5)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160"[label="('1', 6, 0)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666"[label="('6', 6, 6)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970"[label="('9', 7, 0)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176"[label="('1', 7, 6)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580"[label="('5', 8, 0)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483"[label="('4', 8, 3)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885"[label="('8', 8, 5)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986"[label="('9', 8, 6)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986287"[label="('2', 8, 7)"]; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986287"; - "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986287"[shape=hexagon, fillcolor="#00FF00"]; - "START412702901522321262942605824215620810123303108228454858617"[label="('6', 1, 7)"]; - "START412702901522321262942605824215620810123303108228454858" -> "START412702901522321262942605824215620810123303108228454858617"; - "START412702901522321262942605824215620810123303108228454858617318"[label="('3', 1, 8)"]; - "START412702901522321262942605824215620810123303108228454858617" -> "START412702901522321262942605824215620810123303108228454858617318"; - "START412702901522321262942605824215620810123303108228454858617318737"[label="('7', 3, 7)"]; - "START412702901522321262942605824215620810123303108228454858617318" -> "START412702901522321262942605824215620810123303108228454858617318737"; - "START412902"[label="('9', 0, 2)"]; - "START412" -> "START412902"; - "START412902242"[label="('2', 4, 2)"]; - "START412902" -> "START412902242"; - "START412902242301"[label="('3', 0, 1)"]; - "START412902242" -> "START412902242301"; - "START412902242301103"[label="('1', 0, 3)"]; - "START412902242301" -> "START412902242301103"; - "START412902242301103605"[label="('6', 0, 5)"]; - "START412902242301103" -> "START412902242301103605"; - "START412902242301603"[label="('6', 0, 3)"]; - "START412902242301" -> "START412902242301603"; - "START412902242301603105"[label="('1', 0, 5)"]; - "START412902242301603" -> "START412902242301603105"; - "START412902242701"[label="('7', 0, 1)"]; - "START412902242" -> "START412902242701"; - "START412902242701522"[label="('5', 2, 2)"]; - "START412902242701" -> "START412902242701522"; - "START412902242701522321"[label="('3', 2, 1)"]; - "START412902242701522" -> "START412902242701522321"; - "START412902242701522321762"[label="('7', 6, 2)"]; - "START412902242701522321" -> "START412902242701522321762"; - "START412902242701522321762105"[label="('1', 0, 5)"]; - "START412902242701522321762" -> "START412902242701522321762105"; - "START412902242701522321762105303"[label="('3', 0, 3)"]; - "START412902242701522321762105" -> "START412902242701522321762105303"; - "START412902242701522321762105303608"[label="('6', 0, 8)"]; - "START412902242701522321762105303" -> "START412902242701522321762105303608"; - "START412902242701522321762105303608610"[label="('6', 1, 0)"]; - "START412902242701522321762105303608" -> "START412902242701522321762105303608610"; - "START412902242701522321762105303608610820"[label="('8', 2, 0)"]; - "START412902242701522321762105303608610" -> "START412902242701522321762105303608610820"; - "START412902242701522321762105303608610820624"[label="('6', 2, 4)"]; - "START412902242701522321762105303608610820" -> "START412902242701522321762105303608610820624"; - "START412902242701522321762105303608610820624223"[label="('2', 2, 3)"]; - "START412902242701522321762105303608610820624" -> "START412902242701522321762105303608610820624223"; - "START412902242701522321762105303608610820624223815"[label="('8', 1, 5)"]; - "START412902242701522321762105303608610820624223" -> "START412902242701522321762105303608610820624223815"; - "START412902242701522321762105303608610820624223815128"[label="('1', 2, 8)"]; - "START412902242701522321762105303608610820624223815" -> "START412902242701522321762105303608610820624223815128"; - "START412902242701522321762105303608610820624223815128478"[label="('4', 7, 8)"]; - "START412902242701522321762105303608610820624223815128" -> "START412902242701522321762105303608610820624223815128478"; - "START412902242701522321762105303608610820624223815128478858"[label="('8', 5, 8)"]; - "START412902242701522321762105303608610820624223815128478" -> "START412902242701522321762105303608610820624223815128478858"; - "START412902242701522321762105303608610820624223815128478858454"[label="('4', 5, 4)"]; - "START412902242701522321762105303608610820624223815128478858" -> "START412902242701522321762105303608610820624223815128478858454"; - "START412902242701522321762105303608610820624223815128478858454553"[label="('5', 5, 3)"]; - "START412902242701522321762105303608610820624223815128478858454" -> "START412902242701522321762105303608610820624223815128478858454553"; - "START412902242701522321762105303608610820624223815128478858454553633"[label="('6', 3, 3)"]; - "START412902242701522321762105303608610820624223815128478858454553" -> "START412902242701522321762105303608610820624223815128478858454553633"; - "START412902242701522321762105303608810"[label="('8', 1, 0)"]; - "START412902242701522321762105303608" -> "START412902242701522321762105303608810"; - "START412902242701522321762105303608810620"[label="('6', 2, 0)"]; - "START412902242701522321762105303608810" -> "START412902242701522321762105303608810620"; - "START412902242701522321762105303608810620824"[label="('8', 2, 4)"]; - "START412902242701522321762105303608810620" -> "START412902242701522321762105303608810620824"; - "START412902242701522321762105303608810620824223"[label="('2', 2, 3)"]; - "START412902242701522321762105303608810620824" -> "START412902242701522321762105303608810620824223"; - "START412902242701522321762105303608810620824223615"[label="('6', 1, 5)"]; - "START412902242701522321762105303608810620824223" -> "START412902242701522321762105303608810620824223615"; - "START412902242701522321762105303608810620824223615128"[label="('1', 2, 8)"]; - "START412902242701522321762105303608810620824223615" -> "START412902242701522321762105303608810620824223615128"; - "START412902242701522321762105303608810620824223615128454"[label="('4', 5, 4)"]; - "START412902242701522321762105303608810620824223615128" -> "START412902242701522321762105303608810620824223615128454"; - "START412902242701522321762105303608810620824223615128454858"[label="('8', 5, 8)"]; - "START412902242701522321762105303608810620824223615128454" -> "START412902242701522321762105303608810620824223615128454858"; - "START412902242701522321762105303608810620824223615128454858553"[label="('5', 5, 3)"]; - "START412902242701522321762105303608810620824223615128454858" -> "START412902242701522321762105303608810620824223615128454858553"; - "START412902242701522321762105303608810620824223615128454858553633"[label="('6', 3, 3)"]; - "START412902242701522321762105303608810620824223615128454858553" -> "START412902242701522321762105303608810620824223615128454858553633"; - "START412902242701522321762105303608810620824223615128454858553633735"[label="('7', 3, 5)"]; - "START412902242701522321762105303608810620824223615128454858553633" -> "START412902242701522321762105303608810620824223615128454858553633735"; - "START412902242701522321762105603"[label="('6', 0, 3)"]; - "START412902242701522321762105" -> "START412902242701522321762105603"; - "START412902242701522321762105603308"[label="('3', 0, 8)"]; - "START412902242701522321762105603" -> "START412902242701522321762105603308"; - "START412902242701522321762105603308824"[label="('8', 2, 4)"]; - "START412902242701522321762105603308" -> "START412902242701522321762105603308824"; - "START412902242701522321762105603308824215"[label="('2', 1, 5)"]; - "START412902242701522321762105603308824" -> "START412902242701522321762105603308824215"; - "START412902242701522321762605"[label="('6', 0, 5)"]; - "START412902242701522321762" -> "START412902242701522321762605"; - "START412902242701522321762605824"[label="('8', 2, 4)"]; - "START412902242701522321762605" -> "START412902242701522321762605824"; - "START412902242701522321762605824215"[label="('2', 1, 5)"]; - "START412902242701522321762605824" -> "START412902242701522321762605824215"; - "START412902242701522321762605824215620"[label="('6', 2, 0)"]; - "START412902242701522321762605824215" -> "START412902242701522321762605824215620"; - "START412902242701522321762605824215620810"[label="('8', 1, 0)"]; - "START412902242701522321762605824215620" -> "START412902242701522321762605824215620810"; - "START412902242701522321762605824215620810123"[label="('1', 2, 3)"]; - "START412902242701522321762605824215620810" -> "START412902242701522321762605824215620810123"; - "START412902242701522321762605824215620810123303"[label="('3', 0, 3)"]; - "START412902242701522321762605824215620810123" -> "START412902242701522321762605824215620810123303"; - "START412902242701522321762605824215620810123303108"[label="('1', 0, 8)"]; - "START412902242701522321762605824215620810123303" -> "START412902242701522321762605824215620810123303108"; - "START412902242701522321762605824215620810123303108228"[label="('2', 2, 8)"]; - "START412902242701522321762605824215620810123303108" -> "START412902242701522321762605824215620810123303108228"; - "START412902242701522321762605824215620810123303108228454"[label="('4', 5, 4)"]; - "START412902242701522321762605824215620810123303108228" -> "START412902242701522321762605824215620810123303108228454"; - "START412902242701522321762605824215620810123303108228454858"[label="('8', 5, 8)"]; - "START412902242701522321762605824215620810123303108228454" -> "START412902242701522321762605824215620810123303108228454858"; - "START412902242701522321762605824215620810123303108228454858664"[label="('6', 6, 4)"]; - "START412902242701522321762605824215620810123303108228454858" -> "START412902242701522321762605824215620810123303108228454858664"; - "START412902242701522321762605824215620810123303108228454858664744"[label="('7', 4, 4)"]; - "START412902242701522321762605824215620810123303108228454858664" -> "START412902242701522321762605824215620810123303108228454858664744"; - "START412902242701522321762605824215620810123303108228454858664744334"[label="('3', 3, 4)"]; - "START412902242701522321762605824215620810123303108228454858664744" -> "START412902242701522321762605824215620810123303108228454858664744334"; - "START412902242701522321762605824215620810123303108228454858664744334535"[label="('5', 3, 5)"]; - "START412902242701522321762605824215620810123303108228454858664744334" -> "START412902242701522321762605824215620810123303108228454858664744334535"; - "START412902242701522321762605824215620810123303108228454858664744334535430"[label="('4', 3, 0)"]; - "START412902242701522321762605824215620810123303108228454858664744334535" -> "START412902242701522321762605824215620810123303108228454858664744334535430"; - "START412902242701522321762605824215620810123303108228454858664744334535430633"[label="('6', 3, 3)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430" -> "START412902242701522321762605824215620810123303108228454858664744334535430633"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737"[label="('7', 3, 7)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927"[label="('9', 2, 7)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726"[label="('7', 2, 6)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941"[label="('9', 4, 1)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843"[label="('8', 4, 3)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145"[label="('1', 4, 5)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647"[label="('6', 4, 7)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317"[label="('3', 1, 7)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618"[label="('6', 1, 8)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446"[label="('4', 4, 6)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551"[label="('5', 5, 1)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253"[label="('2', 5, 3)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955"[label="('9', 5, 5)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955"; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955865"[label="('8', 6, 5)"]; - "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955865"; + "START421"[label="('4', 2, 1)"]; + "START" -> "START421"; + "START421720"[label="('7', 2, 0)"]; + "START421" -> "START421720"; + "START421720310"[label="('3', 1, 0)"]; + "START421720" -> "START421720310"; + "START421720310130"[label="('1', 3, 0)"]; + "START421720310" -> "START421720310130"; + "START421720310130650"[label="('6', 5, 0)"]; + "START421720310130" -> "START421720310130650"; + "START421720310630"[label="('6', 3, 0)"]; + "START421720310" -> "START421720310630"; + "START421720310630150"[label="('1', 5, 0)"]; + "START421720310630" -> "START421720310630150"; + "START421720910"[label="('9', 1, 0)"]; + "START421720" -> "START421720910"; + "START421720910522"[label="('5', 2, 2)"]; + "START421720910" -> "START421720910522"; + "START421720910522312"[label="('3', 1, 2)"]; + "START421720910522" -> "START421720910522312"; + "START421720910522312226"[label="('2', 2, 6)"]; + "START421720910522312" -> "START421720910522312226"; + "START421720910522312226924"[label="('9', 2, 4)"]; + "START421720910522312226" -> "START421720910522312226924"; + "START421720910522312226924150"[label="('1', 5, 0)"]; + "START421720910522312226924" -> "START421720910522312226924150"; + "START421720910522312226924150330"[label="('3', 3, 0)"]; + "START421720910522312226924150" -> "START421720910522312226924150330"; + "START421720910522312226924150330680"[label="('6', 8, 0)"]; + "START421720910522312226924150330" -> "START421720910522312226924150330680"; + "START421720910522312226924150330680601"[label="('6', 0, 1)"]; + "START421720910522312226924150330680" -> "START421720910522312226924150330680601"; + "START421720910522312226924150330680601802"[label="('8', 0, 2)"]; + "START421720910522312226924150330680601" -> "START421720910522312226924150330680601802"; + "START421720910522312226924150330680601802642"[label="('6', 4, 2)"]; + "START421720910522312226924150330680601802" -> "START421720910522312226924150330680601802642"; + "START421720910522312226924150330680601802642232"[label="('2', 3, 2)"]; + "START421720910522312226924150330680601802642" -> "START421720910522312226924150330680601802642232"; + "START421720910522312226924150330680601802642232851"[label="('8', 5, 1)"]; + "START421720910522312226924150330680601802642232" -> "START421720910522312226924150330680601802642232851"; + "START421720910522312226924150330680601802642232851182"[label="('1', 8, 2)"]; + "START421720910522312226924150330680601802642232851" -> "START421720910522312226924150330680601802642232851182"; + "START421720910522312226924150330680601802642232851182487"[label="('4', 8, 7)"]; + "START421720910522312226924150330680601802642232851182" -> "START421720910522312226924150330680601802642232851182487"; + "START421720910522312226924150330680601802642232851182487885"[label="('8', 8, 5)"]; + "START421720910522312226924150330680601802642232851182487" -> "START421720910522312226924150330680601802642232851182487885"; + "START421720910522312226924150330680601802642232851182487885445"[label="('4', 4, 5)"]; + "START421720910522312226924150330680601802642232851182487885" -> "START421720910522312226924150330680601802642232851182487885445"; + "START421720910522312226924150330680601802642232851182487885445535"[label="('5', 3, 5)"]; + "START421720910522312226924150330680601802642232851182487885445" -> "START421720910522312226924150330680601802642232851182487885445535"; + "START421720910522312226924150330680601802642232851182487885445535633"[label="('6', 3, 3)"]; + "START421720910522312226924150330680601802642232851182487885445535" -> "START421720910522312226924150330680601802642232851182487885445535633"; + "START421720910522312226924150330680801"[label="('8', 0, 1)"]; + "START421720910522312226924150330680" -> "START421720910522312226924150330680801"; + "START421720910522312226924150330680801602"[label="('6', 0, 2)"]; + "START421720910522312226924150330680801" -> "START421720910522312226924150330680801602"; + "START421720910522312226924150330680801602842"[label="('8', 4, 2)"]; + "START421720910522312226924150330680801602" -> "START421720910522312226924150330680801602842"; + "START421720910522312226924150330680801602842232"[label="('2', 3, 2)"]; + "START421720910522312226924150330680801602842" -> "START421720910522312226924150330680801602842232"; + "START421720910522312226924150330680801602842232651"[label="('6', 5, 1)"]; + "START421720910522312226924150330680801602842232" -> "START421720910522312226924150330680801602842232651"; + "START421720910522312226924150330680801602842232651182"[label="('1', 8, 2)"]; + "START421720910522312226924150330680801602842232651" -> "START421720910522312226924150330680801602842232651182"; + "START421720910522312226924150330680801602842232651182445"[label="('4', 4, 5)"]; + "START421720910522312226924150330680801602842232651182" -> "START421720910522312226924150330680801602842232651182445"; + "START421720910522312226924150330680801602842232651182445885"[label="('8', 8, 5)"]; + "START421720910522312226924150330680801602842232651182445" -> "START421720910522312226924150330680801602842232651182445885"; + "START421720910522312226924150330680801602842232651182445885535"[label="('5', 3, 5)"]; + "START421720910522312226924150330680801602842232651182445885" -> "START421720910522312226924150330680801602842232651182445885535"; + "START421720910522312226924150330680801602842232651182445885535633"[label="('6', 3, 3)"]; + "START421720910522312226924150330680801602842232651182445885535" -> "START421720910522312226924150330680801602842232651182445885535633"; + "START421720910522312226924150330680801602842232651182445885535633753"[label="('7', 5, 3)"]; + "START421720910522312226924150330680801602842232651182445885535633" -> "START421720910522312226924150330680801602842232651182445885535633753"; + "START421720910522312226924150630"[label="('6', 3, 0)"]; + "START421720910522312226924150" -> "START421720910522312226924150630"; + "START421720910522312226924150630380"[label="('3', 8, 0)"]; + "START421720910522312226924150630" -> "START421720910522312226924150630380"; + "START421720910522312226924150630380842"[label="('8', 4, 2)"]; + "START421720910522312226924150630380" -> "START421720910522312226924150630380842"; + "START421720910522312226924150630380842251"[label="('2', 5, 1)"]; + "START421720910522312226924150630380842" -> "START421720910522312226924150630380842251"; + "START421720910522312226924650"[label="('6', 5, 0)"]; + "START421720910522312226924" -> "START421720910522312226924650"; + "START421720910522312226924650842"[label="('8', 4, 2)"]; + "START421720910522312226924650" -> "START421720910522312226924650842"; + "START421720910522312226924650842251"[label="('2', 5, 1)"]; + "START421720910522312226924650842" -> "START421720910522312226924650842251"; + "START421720910522312226924650842251602"[label="('6', 0, 2)"]; + "START421720910522312226924650842251" -> "START421720910522312226924650842251602"; + "START421720910522312226924650842251602801"[label="('8', 0, 1)"]; + "START421720910522312226924650842251602" -> "START421720910522312226924650842251602801"; + "START421720910522312226924650842251602801132"[label="('1', 3, 2)"]; + "START421720910522312226924650842251602801" -> "START421720910522312226924650842251602801132"; + "START421720910522312226924650842251602801132330"[label="('3', 3, 0)"]; + "START421720910522312226924650842251602801132" -> "START421720910522312226924650842251602801132330"; + "START421720910522312226924650842251602801132330180"[label="('1', 8, 0)"]; + "START421720910522312226924650842251602801132330" -> "START421720910522312226924650842251602801132330180"; + "START421720910522312226924650842251602801132330180282"[label="('2', 8, 2)"]; + "START421720910522312226924650842251602801132330180" -> "START421720910522312226924650842251602801132330180282"; + "START421720910522312226924650842251602801132330180282445"[label="('4', 4, 5)"]; + "START421720910522312226924650842251602801132330180282" -> "START421720910522312226924650842251602801132330180282445"; + "START421720910522312226924650842251602801132330180282445885"[label="('8', 8, 5)"]; + "START421720910522312226924650842251602801132330180282445" -> "START421720910522312226924650842251602801132330180282445885"; + "START421720910522312226924650842251602801132330180282445885371"[label="('3', 7, 1)"]; + "START421720910522312226924650842251602801132330180282445885" -> "START421720910522312226924650842251602801132330180282445885371"; + "START421720910522312226924650842251602801132330180282445885371681"[label="('6', 8, 1)"]; + "START421720910522312226924650842251602801132330180282445885371" -> "START421720910522312226924650842251602801132330180282445885371681"; + "START421720910522312226924650842251602801132330180282445885371681487"[label="('4', 8, 7)"]; + "START421720910522312226924650842251602801132330180282445885371681" -> "START421720910522312226924650842251602801132330180282445885371681487"; + "START421720910522312226924650842251602801132330180282445885371681487386"[label="('3', 8, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487" -> "START421720910522312226924650842251602801132330180282445885371681487386"; + "START421720910522312226924650842251602801132330180282445885371681487386717"[label="('7', 1, 7)"]; + "START421720910522312226924650842251602801132330180282445885371681487386" -> "START421720910522312226924650842251602801132330180282445885371681487386717"; + "START421720910522312226924650842251602801132330180282445885371681487386717637"[label="('6', 3, 7)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717" -> "START421720910522312226924650842251602801132330180282445885371681487386717637"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533"[label="('5', 3, 3)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403"[label="('4', 0, 3)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753"[label="('7', 5, 3)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673"[label="('6', 7, 3)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343"[label="('3', 4, 3)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214"[label="('2', 1, 4)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834"[label="('8', 3, 4)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644"[label="('6', 4, 4)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154"[label="('1', 5, 4)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774"[label="('7', 7, 4)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972"[label="('9', 7, 2)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762"[label="('7', 6, 2)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464"[label="('4', 6, 4)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515"[label="('5', 1, 5)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235"[label="('2', 3, 5)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955"[label="('9', 5, 5)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416"[label="('4', 1, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746"[label="('7', 4, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876"[label="('8', 7, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556"[label="('5', 5, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106"[label="('1', 0, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666"[label="('6', 6, 6)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907"[label="('9', 0, 7)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167"[label="('1', 6, 7)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508"[label="('5', 0, 8)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438"[label="('4', 3, 8)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858"[label="('8', 5, 8)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968"[label="('9', 6, 8)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968278"[label="('2', 7, 8)"]; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968278"; + "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968278"[shape=hexagon, fillcolor="#00FF00"]; + "START421720910522312226924650842251602801132330180282445885671"[label="('6', 7, 1)"]; + "START421720910522312226924650842251602801132330180282445885" -> "START421720910522312226924650842251602801132330180282445885671"; + "START421720910522312226924650842251602801132330180282445885671381"[label="('3', 8, 1)"]; + "START421720910522312226924650842251602801132330180282445885671" -> "START421720910522312226924650842251602801132330180282445885671381"; + "START421720910522312226924650842251602801132330180282445885671381773"[label="('7', 7, 3)"]; + "START421720910522312226924650842251602801132330180282445885671381" -> "START421720910522312226924650842251602801132330180282445885671381773"; + "START421920"[label="('9', 2, 0)"]; + "START421" -> "START421920"; + "START421920224"[label="('2', 2, 4)"]; + "START421920" -> "START421920224"; + "START421920224310"[label="('3', 1, 0)"]; + "START421920224" -> "START421920224310"; + "START421920224310130"[label="('1', 3, 0)"]; + "START421920224310" -> "START421920224310130"; + "START421920224310130650"[label="('6', 5, 0)"]; + "START421920224310130" -> "START421920224310130650"; + "START421920224310630"[label="('6', 3, 0)"]; + "START421920224310" -> "START421920224310630"; + "START421920224310630150"[label="('1', 5, 0)"]; + "START421920224310630" -> "START421920224310630150"; + "START421920224710"[label="('7', 1, 0)"]; + "START421920224" -> "START421920224710"; + "START421920224710522"[label="('5', 2, 2)"]; + "START421920224710" -> "START421920224710522"; + "START421920224710522312"[label="('3', 1, 2)"]; + "START421920224710522" -> "START421920224710522312"; + "START421920224710522312726"[label="('7', 2, 6)"]; + "START421920224710522312" -> "START421920224710522312726"; + "START421920224710522312726150"[label="('1', 5, 0)"]; + "START421920224710522312726" -> "START421920224710522312726150"; + "START421920224710522312726150330"[label="('3', 3, 0)"]; + "START421920224710522312726150" -> "START421920224710522312726150330"; + "START421920224710522312726150330680"[label="('6', 8, 0)"]; + "START421920224710522312726150330" -> "START421920224710522312726150330680"; + "START421920224710522312726150330680601"[label="('6', 0, 1)"]; + "START421920224710522312726150330680" -> "START421920224710522312726150330680601"; + "START421920224710522312726150330680601802"[label="('8', 0, 2)"]; + "START421920224710522312726150330680601" -> "START421920224710522312726150330680601802"; + "START421920224710522312726150330680601802642"[label="('6', 4, 2)"]; + "START421920224710522312726150330680601802" -> "START421920224710522312726150330680601802642"; + "START421920224710522312726150330680601802642232"[label="('2', 3, 2)"]; + "START421920224710522312726150330680601802642" -> "START421920224710522312726150330680601802642232"; + "START421920224710522312726150330680601802642232851"[label="('8', 5, 1)"]; + "START421920224710522312726150330680601802642232" -> "START421920224710522312726150330680601802642232851"; + "START421920224710522312726150330680601802642232851182"[label="('1', 8, 2)"]; + "START421920224710522312726150330680601802642232851" -> "START421920224710522312726150330680601802642232851182"; + "START421920224710522312726150330680601802642232851182487"[label="('4', 8, 7)"]; + "START421920224710522312726150330680601802642232851182" -> "START421920224710522312726150330680601802642232851182487"; + "START421920224710522312726150330680601802642232851182487885"[label="('8', 8, 5)"]; + "START421920224710522312726150330680601802642232851182487" -> "START421920224710522312726150330680601802642232851182487885"; + "START421920224710522312726150330680601802642232851182487885445"[label="('4', 4, 5)"]; + "START421920224710522312726150330680601802642232851182487885" -> "START421920224710522312726150330680601802642232851182487885445"; + "START421920224710522312726150330680601802642232851182487885445535"[label="('5', 3, 5)"]; + "START421920224710522312726150330680601802642232851182487885445" -> "START421920224710522312726150330680601802642232851182487885445535"; + "START421920224710522312726150330680601802642232851182487885445535633"[label="('6', 3, 3)"]; + "START421920224710522312726150330680601802642232851182487885445535" -> "START421920224710522312726150330680601802642232851182487885445535633"; + "START421920224710522312726150330680801"[label="('8', 0, 1)"]; + "START421920224710522312726150330680" -> "START421920224710522312726150330680801"; + "START421920224710522312726150330680801602"[label="('6', 0, 2)"]; + "START421920224710522312726150330680801" -> "START421920224710522312726150330680801602"; + "START421920224710522312726150330680801602842"[label="('8', 4, 2)"]; + "START421920224710522312726150330680801602" -> "START421920224710522312726150330680801602842"; + "START421920224710522312726150330680801602842232"[label="('2', 3, 2)"]; + "START421920224710522312726150330680801602842" -> "START421920224710522312726150330680801602842232"; + "START421920224710522312726150330680801602842232651"[label="('6', 5, 1)"]; + "START421920224710522312726150330680801602842232" -> "START421920224710522312726150330680801602842232651"; + "START421920224710522312726150330680801602842232651182"[label="('1', 8, 2)"]; + "START421920224710522312726150330680801602842232651" -> "START421920224710522312726150330680801602842232651182"; + "START421920224710522312726150330680801602842232651182445"[label="('4', 4, 5)"]; + "START421920224710522312726150330680801602842232651182" -> "START421920224710522312726150330680801602842232651182445"; + "START421920224710522312726150330680801602842232651182445885"[label="('8', 8, 5)"]; + "START421920224710522312726150330680801602842232651182445" -> "START421920224710522312726150330680801602842232651182445885"; + "START421920224710522312726150330680801602842232651182445885535"[label="('5', 3, 5)"]; + "START421920224710522312726150330680801602842232651182445885" -> "START421920224710522312726150330680801602842232651182445885535"; + "START421920224710522312726150330680801602842232651182445885535633"[label="('6', 3, 3)"]; + "START421920224710522312726150330680801602842232651182445885535" -> "START421920224710522312726150330680801602842232651182445885535633"; + "START421920224710522312726150330680801602842232651182445885535633753"[label="('7', 5, 3)"]; + "START421920224710522312726150330680801602842232651182445885535633" -> "START421920224710522312726150330680801602842232651182445885535633753"; + "START421920224710522312726150630"[label="('6', 3, 0)"]; + "START421920224710522312726150" -> "START421920224710522312726150630"; + "START421920224710522312726150630380"[label="('3', 8, 0)"]; + "START421920224710522312726150630" -> "START421920224710522312726150630380"; + "START421920224710522312726150630380842"[label="('8', 4, 2)"]; + "START421920224710522312726150630380" -> "START421920224710522312726150630380842"; + "START421920224710522312726150630380842251"[label="('2', 5, 1)"]; + "START421920224710522312726150630380842" -> "START421920224710522312726150630380842251"; + "START421920224710522312726650"[label="('6', 5, 0)"]; + "START421920224710522312726" -> "START421920224710522312726650"; + "START421920224710522312726650842"[label="('8', 4, 2)"]; + "START421920224710522312726650" -> "START421920224710522312726650842"; + "START421920224710522312726650842251"[label="('2', 5, 1)"]; + "START421920224710522312726650842" -> "START421920224710522312726650842251"; + "START421920224710522312726650842251602"[label="('6', 0, 2)"]; + "START421920224710522312726650842251" -> "START421920224710522312726650842251602"; + "START421920224710522312726650842251602801"[label="('8', 0, 1)"]; + "START421920224710522312726650842251602" -> "START421920224710522312726650842251602801"; + "START421920224710522312726650842251602801132"[label="('1', 3, 2)"]; + "START421920224710522312726650842251602801" -> "START421920224710522312726650842251602801132"; + "START421920224710522312726650842251602801132330"[label="('3', 3, 0)"]; + "START421920224710522312726650842251602801132" -> "START421920224710522312726650842251602801132330"; + "START421920224710522312726650842251602801132330180"[label="('1', 8, 0)"]; + "START421920224710522312726650842251602801132330" -> "START421920224710522312726650842251602801132330180"; + "START421920224710522312726650842251602801132330180282"[label="('2', 8, 2)"]; + "START421920224710522312726650842251602801132330180" -> "START421920224710522312726650842251602801132330180282"; + "START421920224710522312726650842251602801132330180282445"[label="('4', 4, 5)"]; + "START421920224710522312726650842251602801132330180282" -> "START421920224710522312726650842251602801132330180282445"; + "START421920224710522312726650842251602801132330180282445885"[label="('8', 8, 5)"]; + "START421920224710522312726650842251602801132330180282445" -> "START421920224710522312726650842251602801132330180282445885"; + "START421920224710522312726650842251602801132330180282445885646"[label="('6', 4, 6)"]; + "START421920224710522312726650842251602801132330180282445885" -> "START421920224710522312726650842251602801132330180282445885646"; + "START421920224710522312726650842251602801132330180282445885646744"[label="('7', 4, 4)"]; + "START421920224710522312726650842251602801132330180282445885646" -> "START421920224710522312726650842251602801132330180282445885646744"; + "START421920224710522312726650842251602801132330180282445885646744343"[label="('3', 4, 3)"]; + "START421920224710522312726650842251602801132330180282445885646744" -> "START421920224710522312726650842251602801132330180282445885646744343"; + "START421920224710522312726650842251602801132330180282445885646744343553"[label="('5', 5, 3)"]; + "START421920224710522312726650842251602801132330180282445885646744343" -> "START421920224710522312726650842251602801132330180282445885646744343553"; + "START421920224710522312726650842251602801132330180282445885646744343553403"[label="('4', 0, 3)"]; + "START421920224710522312726650842251602801132330180282445885646744343553" -> "START421920224710522312726650842251602801132330180282445885646744343553403"; + "START421920224710522312726650842251602801132330180282445885646744343553403633"[label="('6', 3, 3)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403" -> "START421920224710522312726650842251602801132330180282445885646744343553403633"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773"[label="('7', 7, 3)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972"[label="('9', 7, 2)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762"[label="('7', 6, 2)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914"[label="('9', 1, 4)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834"[label="('8', 3, 4)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154"[label="('1', 5, 4)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674"[label="('6', 7, 4)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371"[label="('3', 7, 1)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681"[label="('6', 8, 1)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464"[label="('4', 6, 4)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515"[label="('5', 1, 5)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235"[label="('2', 3, 5)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955"[label="('9', 5, 5)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955"; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955856"[label="('8', 5, 6)"]; + "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955856"; } diff --git a/images/sudokufiendish.png b/images/sudokufiendish.png index 21abc12..60793bd 100644 Binary files a/images/sudokufiendish.png and b/images/sudokufiendish.png differ diff --git a/main7.py b/main7.py new file mode 100755 index 0000000..1578af8 --- /dev/null +++ b/main7.py @@ -0,0 +1,71 @@ +#!/usr/bin/python3 +# -*- coding: utf-8 -*- + +""" +:mod: module +:author: `Éric W` +:date: 2021, january + +Create an animated GIF to show the resolution of a Sudoku grid. + +""" + +GRID=''' + +-------+-------+-------+ + | 9 . 6 | . 2 8 | . . 3 | + | . 4 . | 5 . . | . . 1 | + | . 8 . | 9 . . | . 4 . | + +-------+-------+-------+ + | 6 . . | . . . | . 7 . | + | . . 8 | 2 . 6 | 9 . . | + | . 3 . | . . . | . . 5 | + +-------+-------+-------+ + | . 5 . | . . 3 | . 6 . | + | 1 . . | . . 2 | . 8 . | + | 2 . . | 8 7 . | 5 . . | + +-------+-------+-------+ +''' + +def usage(): + print('Usage: {:s} '.format(sys.argv[0])) + print('where\n\t is a 81 characters string describing a valid sudoku grid') + print('\t is the basename of the animated GIF to create') + print('\nExample: with the grid') + print(GRID) + print('$ {:s} 906028003040500001080900040600000070008206900030000005050003060100002080200870500 images/mondrian_exple1_resolution'.format(sys.argv[0])) + exit(1) + +if __name__ == '__main__': + import sys, os + import sudoku_grid, sudoku_solver, sudoku_mondrian + + + if len(sys.argv) != 3: + usage() + else: + strgrid = sys.argv[1] + try: + grid = sudoku_grid.SudokuGrid(strgrid) + except sudoku_grid.SudokuGridError: + print('grid description is not valid') + usage() + filename = sys.argv[2] + print('Sudoku to solve') + grid.pretty_print() + _ = input('Tapez entrée pour continuer') + + with open(filename, 'wt') as sortie: + sols = sudoku_solver.solve_one(grid, pause=0, out_channel=sortie) + print('Résolution terminée.') + print('Création des images.') + with open(filename, 'rt') as entree: + images = list(sudoku_mondrian.colorie_sudoku(sudoku_grid.SudokuGrid(descr.rstrip())) + for descr in entree) + print('Création du GIF animé.') + images[0].save(filename+'.gif', save_all=True, + append_images=images, optimize=True, + duration=500) + os.system('rm -f {:s}'.format(filename)) + + exit(0) + diff --git a/sudoku_grid.py b/sudoku_grid.py index 7cae55d..cf73b8e 100644 --- a/sudoku_grid.py +++ b/sudoku_grid.py @@ -35,32 +35,32 @@ Module for internal representation of Sudoku grids. >>> grid = SudokuGrid(strgrid) >>> str(grid) == strgrid True ->>> grid[4, 6] +>>> grid[3, 2] '9' >>> grid.get_row(2) '080900040' >>> grid.get_col(1) '048003500' >>> grid.get_square(4, 7) -'070900005' +'003002870' >>> grid[1, 5] -'0' +'3' >>> grid.is_empty_cell(1, 5) -True ->>> grid.is_empty_cell(4, 6) False ->>> grid[1, 5] = '7' +>>> grid.is_empty_cell(4, 6) +True +>>> grid[4, 6] = '9' >>> grid.pretty_print() +-------+-------+-------+ | 9 . 6 | . 2 8 | . . 3 | -| . 4 . | 5 . 7 | . . 1 | +| . 4 . | 5 . . | . . 1 | | . 8 . | 9 . . | . 4 . | +-------+-------+-------+ | 6 . . | . . . | . 7 . | | . . 8 | 2 . 6 | 9 . . | | . 3 . | . . . | . . 5 | +-------+-------+-------+ -| . 5 . | . . 3 | . 6 . | +| . 5 . | . 9 3 | . 6 . | | 1 . . | . . 2 | . 8 . | | 2 . . | 8 7 . | 5 . . | +-------+-------+-------+ @@ -126,7 +126,7 @@ class SudokuGrid(): :UC: coord must be a tuple of two valid coordinates """ try: - row, col = coord + col, row = coord assert 0 <= row < 9 assert 0 <= col < 9 return self._grid[9 * row + col] @@ -142,7 +142,7 @@ class SudokuGrid(): if not value in _SYMBOLS_SET: raise SudokuGridError("new value must be in ['0'..'9']") try: - row, col = coord + col, row = coord assert 0 <= row < 9 assert 0 <= col < 9 old_value = self._grid[9 * row + col] @@ -165,7 +165,7 @@ class SudokuGrid(): """ if not (0 <= row < 9): raise SudokuGridError('row must be in [0, 9[') - return ''.join(self[row, col] for col in range(9)) + return ''.join(self[col, row] for col in range(9)) def get_col(self, col): """ @@ -177,9 +177,9 @@ class SudokuGrid(): """ if not (0 <= col < 9): raise SudokuGridError('col must be in [0, 9[') - return "".join([self[row, col] for row in range(9)]) + return "".join([self[col, row] for row in range(9)]) - def get_square(self, row, col): + def get_square(self, col, row): """ :param row: row number of the cell in the square_block to select :type row: int @@ -195,10 +195,10 @@ class SudokuGrid(): raise SudokuGridError('col must be in [0, 9[') firstrow = 3 * (row // 3) firstcol = 3 * (col // 3) - return "".join(self[firstrow + i, firstcol + j] + return "".join(self[firstcol + j, firstrow + i] for i in range(3) for j in range(3)) - def is_empty_cell(grid, row, col): + def is_empty_cell(grid, col, row): """ :param row: row number of the cell to test :type row: int @@ -208,7 +208,7 @@ class SudokuGrid(): :rtype: bool :UC: 0 <= row < 9, 0<= col < 9 """ - return grid[row, col] == EMPTY_SYMBOL + return grid[col, row] == EMPTY_SYMBOL def pretty_print(self): for row in range(9): diff --git a/sudoku_mondrian.py b/sudoku_mondrian.py index fc1ec8e..d853fa9 100644 --- a/sudoku_mondrian.py +++ b/sudoku_mondrian.py @@ -74,8 +74,8 @@ def colorie_sudoku(grid): for y in range(LGRILLE): img.putpixel(((j//2 + 1)*EGT + j*EPT + (j + 1 + j//2)*LCASE, y), COUL_TRAITS) # coloriage des cases - for x in range(9): - for y in range(9): + for y in range(9): + for x in range(9): colorie_case(img, (x, y), int(grid[x, y])) return img diff --git a/sudoku_solver.py b/sudoku_solver.py index b3fa0f3..c286076 100644 --- a/sudoku_solver.py +++ b/sudoku_solver.py @@ -73,24 +73,35 @@ from sudoku_grid import SudokuGrid, EMPTY_SYMBOL def __possible_values(s): """ + :param s: + :type s: str + :return: a substring of '123456789' containing no character in s + :rtype: str """ return "".join(c for c in '123456789' if c not in s) def __grid_exam(grid): """ + :param grid: a Sudoku grid + :type grid: SudokuGrid + :return: a tuple (s, coord) where + * coord is a tuple of coordinate of a case + * poss is a string containing value's candidates for the case + no other case has less possibilities + :rtype: tuple """ - ROWS = [grid.get_row(r) for r in range(9)] - COLS = [grid.get_col(c) for c in range(9)] - SQUARES = [grid.get_square(3*r, 3*c) for r in range(3) for c in range(3)] + ROWS = [grid.get_row(row) for row in range(9)] + COLS = [grid.get_col(col) for col in range(9)] + SQUARES = [grid.get_square(3*c, 3*r) for r in range(3) for c in range(3)] poss_min, coord_min = '0123456789', (-1, -1) - for r in range(9): - for c in range(9): - if grid.is_empty_cell(r, c): - poss = __possible_values(ROWS[r] + COLS[c] + SQUARES[3 * (r // 3) + (c // 3)]) + for row in range(9): + for col in range(9): + if grid.is_empty_cell(col, row): + poss = __possible_values(ROWS[row] + COLS[col] + SQUARES[3 * (row // 3) + (col // 3)]) if len(poss) < len(poss_min): poss_min = poss - coord_min = (r, c) + coord_min = (col, row) return poss_min, coord_min def __is_solved(grid): @@ -101,7 +112,7 @@ def __is_solved(grid): :rtype: bool :UC: none """ - return not any(grid.is_empty_cell(row, col) for row in range(9) for col in range(9)) + return not any(grid.is_empty_cell(col, row) for row in range(9) for col in range(9)) def solve(grid, out_channel=None, node=None): """ @@ -116,25 +127,27 @@ def solve(grid, out_channel=None, node=None): out_channel.write('\t"{:s}"[shape=hexagon, fillcolor="#00FF00"];\n'.format(node)) return [grid.copy()] else: - maybe, (i, j) = __grid_exam(grid) + maybe, (col, row) = __grid_exam(grid) res = [] - for c in maybe: + for val in maybe: if not out_channel is None: - label = str((c, i, j)) - next_node = node + '{:s}{:d}{:d}'.format(c, i, j) + label = str((val, col, row)) + next_node = node + '{:s}{:d}{:d}'.format(val, col, row) out_channel.write('\t"{:s}"[label="{:s}"];\n'.format(next_node, label)) out_channel.write('\t"{:s}" -> "{:s}";\n'.format(node, next_node)) else: next_node = None - grid[i, j] = c + grid[col, row] = val res += solve(grid, out_channel, next_node) - grid[i, j] = EMPTY_SYMBOL + grid[col, row] = EMPTY_SYMBOL return res -def solve_one(grid, pause=0): +def solve_one(grid, pause=0, out_channel=None): """ :param grid: a Sudoku grid to solve :type grid: sudoku_grid.grid + :param pause: delay between two steps of resolution + :type pause: float :return: a solution of grid :rtype: sudoku_grid.grid :UC: none @@ -142,17 +155,19 @@ def solve_one(grid, pause=0): time.sleep(pause) print("\x1b[2J", end='') grid.pretty_print() + if out_channel: + out_channel.write(str(grid)+'\n') if __is_solved(grid): return [grid] else: - maybe, (i, j) = __grid_exam(grid) + maybe, (col, row) = __grid_exam(grid) res = None - for c in maybe: - grid[i, j] = c - res = solve_one(grid, pause) + for val in maybe: + grid[col, row] = val + res = solve_one(grid, pause, out_channel) + grid[col, row] = EMPTY_SYMBOL if not res is None: return res - grid[i, j] = EMPTY_SYMBOL return res