correction bugs + cration GIF animé

This commit is contained in:
Éric Wegrzynowski 2021-01-08 18:23:03 +01:00
parent 4028ac2440
commit 2f5a2cc61d
13 changed files with 685 additions and 592 deletions

View File

@ -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) ![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) ![coloriage de la grille de l'exemple 1](images/mondrian_exple1.png)
et un fichier nommé `mondrian_exple1.png` dans le dossier `images`. 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)

View File

@ -5,109 +5,109 @@ digraph T {
bgcolor="#FFFF00"; bgcolor="#FFFF00";
node[style=filled]; node[style=filled];
START[shape=hexagon, fillcolor="#FF0000"]; START[shape=hexagon, fillcolor="#FF0000"];
"START706"[label="('7', 0, 6)"]; "START760"[label="('7', 6, 0)"];
"START" -> "START706"; "START" -> "START760";
"START706101"[label="('1', 0, 1)"]; "START760110"[label="('1', 1, 0)"];
"START706" -> "START706101"; "START760" -> "START760110";
"START706101403"[label="('4', 0, 3)"]; "START760110430"[label="('4', 3, 0)"];
"START706101" -> "START706101403"; "START760110" -> "START760110430";
"START706101403507"[label="('5', 0, 7)"]; "START760110430570"[label="('5', 7, 0)"];
"START706101403" -> "START706101403507"; "START760110430" -> "START760110430570";
"START706101403507715"[label="('7', 1, 5)"]; "START760110430570751"[label="('7', 5, 1)"];
"START706101403507" -> "START706101403507715"; "START760110430570" -> "START760110430570751";
"START706101403507715310"[label="('3', 1, 0)"]; "START760110430570751301"[label="('3', 0, 1)"];
"START706101403507715" -> "START706101403507715310"; "START760110430570751" -> "START760110430570751301";
"START706101403507715310212"[label="('2', 1, 2)"]; "START760110430570751301221"[label="('2', 2, 1)"];
"START706101403507715310" -> "START706101403507715310212"; "START760110430570751301" -> "START760110430570751301221";
"START706101403507715310212614"[label="('6', 1, 4)"]; "START760110430570751301221641"[label="('6', 4, 1)"];
"START706101403507715310212" -> "START706101403507715310212614"; "START760110430570751301221" -> "START760110430570751301221641";
"START706101403507715310212614816"[label="('8', 1, 6)"]; "START760110430570751301221641861"[label="('8', 6, 1)"];
"START706101403507715310212614" -> "START706101403507715310212614816"; "START760110430570751301221641" -> "START760110430570751301221641861";
"START706101403507715310212614816917"[label="('9', 1, 7)"]; "START760110430570751301221641861971"[label="('9', 7, 1)"];
"START706101403507715310212614816" -> "START706101403507715310212614816917"; "START760110430570751301221641861" -> "START760110430570751301221641861971";
"START706101403507715310212614816917125"[label="('1', 2, 5)"]; "START760110430570751301221641861971152"[label="('1', 5, 2)"];
"START706101403507715310212614816917" -> "START706101403507715310212614816917125"; "START760110430570751301221641861971" -> "START760110430570751301221641861971152";
"START706101403507715310212614816917125324"[label="('3', 2, 4)"]; "START760110430570751301221641861971152342"[label="('3', 4, 2)"];
"START706101403507715310212614816917125" -> "START706101403507715310212614816917125324"; "START760110430570751301221641861971152" -> "START760110430570751301221641861971152342";
"START706101403507715310212614816917125324741"[label="('7', 4, 1)"]; "START760110430570751301221641861971152342714"[label="('7', 1, 4)"];
"START706101403507715310212614816917125324" -> "START706101403507715310212614816917125324741"; "START760110430570751301221641861971152342" -> "START760110430570751301221641861971152342714";
"START706101403507715310212614816917125324741448"[label="('4', 4, 8)"]; "START760110430570751301221641861971152342714484"[label="('4', 8, 4)"];
"START706101403507715310212614816917125324741" -> "START706101403507715310212614816917125324741448"; "START760110430570751301221641861971152342714" -> "START760110430570751301221641861971152342714484";
"START706101403507715310212614816917125324741448540"[label="('5', 4, 0)"]; "START760110430570751301221641861971152342714484504"[label="('5', 0, 4)"];
"START706101403507715310212614816917125324741448" -> "START706101403507715310212614816917125324741448540"; "START760110430570751301221641861971152342714484" -> "START760110430570751301221641861971152342714484504";
"START706101403507715310212614816917125324741448540720"[label="('7', 2, 0)"]; "START760110430570751301221641861971152342714484504702"[label="('7', 0, 2)"];
"START706101403507715310212614816917125324741448540" -> "START706101403507715310212614816917125324741448540720"; "START760110430570751301221641861971152342714484504" -> "START760110430570751301221641861971152342714484504702";
"START706101403507715310212614816917125324741448540720522"[label="('5', 2, 2)"]; "START760110430570751301221641861971152342714484504702522"[label="('5', 2, 2)"];
"START706101403507715310212614816917125324741448540720" -> "START706101403507715310212614816917125324741448540720522"; "START760110430570751301221641861971152342714484504702" -> "START760110430570751301221641861971152342714484504702522";
"START706101403507715310212614816917125324741448540720522144"[label="('1', 4, 4)"]; "START760110430570751301221641861971152342714484504702522144"[label="('1', 4, 4)"];
"START706101403507715310212614816917125324741448540720522" -> "START706101403507715310212614816917125324741448540720522144"; "START760110430570751301221641861971152342714484504702522" -> "START760110430570751301221641861971152342714484504702522144";
"START706101403507715310212614816917125324741448540720522144333"[label="('3', 3, 3)"]; "START760110430570751301221641861971152342714484504702522144333"[label="('3', 3, 3)"];
"START706101403507715310212614816917125324741448540720522144" -> "START706101403507715310212614816917125324741448540720522144333"; "START760110430570751301221641861971152342714484504702522144" -> "START760110430570751301221641861971152342714484504702522144333";
"START706101403507715310212614816917125324741448540720522144333347"[label="('3', 4, 7)"]; "START760110430570751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"];
"START706101403507715310212614816917125324741448540720522144333" -> "START706101403507715310212614816917125324741448540720522144333347"; "START760110430570751301221641861971152342714484504702522144333" -> "START760110430570751301221641861971152342714484504702522144333374";
"START706101403507715310212614816917125324741448540720522144333347450"[label="('4', 5, 0)"]; "START760110430570751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"];
"START706101403507715310212614816917125324741448540720522144333347" -> "START706101403507715310212614816917125324741448540720522144333347450"; "START760110430570751301221641861971152342714484504702522144333374" -> "START760110430570751301221641861971152342714484504702522144333374405";
"START706101403507715310212614816917125324741448540720522144333347450753"[label="('7', 5, 3)"]; "START760110430570751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"];
"START706101403507715310212614816917125324741448540720522144333347450" -> "START706101403507715310212614816917125324741448540720522144333347450753"; "START760110430570751301221641861971152342714484504702522144333374405" -> "START760110430570751301221641861971152342714484504702522144333374405735";
"START706101403507715310212614816917125324741448540720522144333347450753955"[label="('9', 5, 5)"]; "START760110430570751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"];
"START706101403507715310212614816917125324741448540720522144333347450753" -> "START706101403507715310212614816917125324741448540720522144333347450753955"; "START760110430570751301221641861971152342714484504702522144333374405735" -> "START760110430570751301221641861971152342714484504702522144333374405735955";
"START706101403507715310212614816917125324741448540720522144333347450753955152"[label="('1', 5, 2)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"];
"START706101403507715310212614816917125324741448540720522144333347450753955" -> "START706101403507715310212614816917125324741448540720522144333347450753955152"; "START760110430570751301221641861971152342714484504702522144333374405735955" -> "START760110430570751301221641861971152342714484504702522144333374405735955125";
"START706101403507715310212614816917125324741448540720522144333347450753955152932"[label="('9', 3, 2)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932"; "START760110430570751301221641861971152342714484504702522144333374405735955125" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231"[label="('2', 3, 1)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231"; "START760110430570751301221641861971152342714484504702522144333374405735955125923" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136"[label="('1', 3, 6)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838"[label="('8', 3, 8)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854"[label="('8', 5, 4)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257"[label="('2', 5, 7)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656"[label="('6', 5, 6)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226"[label="('2', 2, 6)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"[label="('6', 2, 8)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"[label="('8', 6, 0)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"[label="('1', 6, 3)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"[label="('4', 6, 6)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"[label="('7', 6, 2)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"[label="('9', 6, 4)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"[label="('2', 6, 8)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"[label="('6', 7, 3)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"[label="('9', 7, 1)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376"[label="('3', 7, 6)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367"[label="('3', 6, 7)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472"[label="('4', 7, 2)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427"[label="('4', 2, 7)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574"[label="('5', 7, 4)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547"[label="('5', 4, 7)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434"[label="('4', 3, 4)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443"[label="('4', 4, 3)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535"[label="('5', 3, 5)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553"[label="('5', 5, 3)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778"[label="('7', 7, 8)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787"[label="('7', 8, 7)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681"[label="('6', 8, 1)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618"[label="('6', 1, 8)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382"[label="('3', 8, 2)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328"[label="('3', 2, 8)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485"[label="('4', 8, 5)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458"[label="('4', 5, 8)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187"[label="('1', 8, 7)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178"[label="('1', 7, 8)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187988"[label="('9', 8, 8)"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[label="('9', 8, 8)"];
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187" -> "START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187988"; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988";
"START706101403507715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971376472574434535778681382485187988"[shape=hexagon, fillcolor="#00FF00"]; "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[shape=hexagon, fillcolor="#00FF00"];
} }

Binary file not shown.

Before

Width:  |  Height:  |  Size: 210 KiB

After

Width:  |  Height:  |  Size: 210 KiB

View File

@ -5,128 +5,128 @@ digraph T {
bgcolor="#FFFF00"; bgcolor="#FFFF00";
node[style=filled]; node[style=filled];
START[shape=hexagon, fillcolor="#FF0000"]; START[shape=hexagon, fillcolor="#FF0000"];
"START507"[label="('5', 0, 7)"]; "START570"[label="('5', 7, 0)"];
"START" -> "START507"; "START" -> "START570";
"START507706"[label="('7', 0, 6)"]; "START570760"[label="('7', 6, 0)"];
"START507" -> "START507706"; "START570" -> "START570760";
"START507706101"[label="('1', 0, 1)"]; "START570760110"[label="('1', 1, 0)"];
"START507706" -> "START507706101"; "START570760" -> "START570760110";
"START507706101403"[label="('4', 0, 3)"]; "START570760110430"[label="('4', 3, 0)"];
"START507706101" -> "START507706101403"; "START570760110" -> "START570760110430";
"START507706101403715"[label="('7', 1, 5)"]; "START570760110430751"[label="('7', 5, 1)"];
"START507706101403" -> "START507706101403715"; "START570760110430" -> "START570760110430751";
"START507706101403715310"[label="('3', 1, 0)"]; "START570760110430751301"[label="('3', 0, 1)"];
"START507706101403715" -> "START507706101403715310"; "START570760110430751" -> "START570760110430751301";
"START507706101403715310212"[label="('2', 1, 2)"]; "START570760110430751301221"[label="('2', 2, 1)"];
"START507706101403715310" -> "START507706101403715310212"; "START570760110430751301" -> "START570760110430751301221";
"START507706101403715310212614"[label="('6', 1, 4)"]; "START570760110430751301221641"[label="('6', 4, 1)"];
"START507706101403715310212" -> "START507706101403715310212614"; "START570760110430751301221" -> "START570760110430751301221641";
"START507706101403715310212614816"[label="('8', 1, 6)"]; "START570760110430751301221641861"[label="('8', 6, 1)"];
"START507706101403715310212614" -> "START507706101403715310212614816"; "START570760110430751301221641" -> "START570760110430751301221641861";
"START507706101403715310212614816917"[label="('9', 1, 7)"]; "START570760110430751301221641861971"[label="('9', 7, 1)"];
"START507706101403715310212614816" -> "START507706101403715310212614816917"; "START570760110430751301221641861" -> "START570760110430751301221641861971";
"START507706101403715310212614816917125"[label="('1', 2, 5)"]; "START570760110430751301221641861971152"[label="('1', 5, 2)"];
"START507706101403715310212614816917" -> "START507706101403715310212614816917125"; "START570760110430751301221641861971" -> "START570760110430751301221641861971152";
"START507706101403715310212614816917125324"[label="('3', 2, 4)"]; "START570760110430751301221641861971152342"[label="('3', 4, 2)"];
"START507706101403715310212614816917125" -> "START507706101403715310212614816917125324"; "START570760110430751301221641861971152" -> "START570760110430751301221641861971152342";
"START507706101403715310212614816917125324741"[label="('7', 4, 1)"]; "START570760110430751301221641861971152342714"[label="('7', 1, 4)"];
"START507706101403715310212614816917125324" -> "START507706101403715310212614816917125324741"; "START570760110430751301221641861971152342" -> "START570760110430751301221641861971152342714";
"START507706101403715310212614816917125324741448"[label="('4', 4, 8)"]; "START570760110430751301221641861971152342714484"[label="('4', 8, 4)"];
"START507706101403715310212614816917125324741" -> "START507706101403715310212614816917125324741448"; "START570760110430751301221641861971152342714" -> "START570760110430751301221641861971152342714484";
"START507706101403715310212614816917125324741448540"[label="('5', 4, 0)"]; "START570760110430751301221641861971152342714484504"[label="('5', 0, 4)"];
"START507706101403715310212614816917125324741448" -> "START507706101403715310212614816917125324741448540"; "START570760110430751301221641861971152342714484" -> "START570760110430751301221641861971152342714484504";
"START507706101403715310212614816917125324741448540720"[label="('7', 2, 0)"]; "START570760110430751301221641861971152342714484504702"[label="('7', 0, 2)"];
"START507706101403715310212614816917125324741448540" -> "START507706101403715310212614816917125324741448540720"; "START570760110430751301221641861971152342714484504" -> "START570760110430751301221641861971152342714484504702";
"START507706101403715310212614816917125324741448540720522"[label="('5', 2, 2)"]; "START570760110430751301221641861971152342714484504702522"[label="('5', 2, 2)"];
"START507706101403715310212614816917125324741448540720" -> "START507706101403715310212614816917125324741448540720522"; "START570760110430751301221641861971152342714484504702" -> "START570760110430751301221641861971152342714484504702522";
"START507706101403715310212614816917125324741448540720522144"[label="('1', 4, 4)"]; "START570760110430751301221641861971152342714484504702522144"[label="('1', 4, 4)"];
"START507706101403715310212614816917125324741448540720522" -> "START507706101403715310212614816917125324741448540720522144"; "START570760110430751301221641861971152342714484504702522" -> "START570760110430751301221641861971152342714484504702522144";
"START507706101403715310212614816917125324741448540720522144333"[label="('3', 3, 3)"]; "START570760110430751301221641861971152342714484504702522144333"[label="('3', 3, 3)"];
"START507706101403715310212614816917125324741448540720522144" -> "START507706101403715310212614816917125324741448540720522144333"; "START570760110430751301221641861971152342714484504702522144" -> "START570760110430751301221641861971152342714484504702522144333";
"START507706101403715310212614816917125324741448540720522144333347"[label="('3', 4, 7)"]; "START570760110430751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"];
"START507706101403715310212614816917125324741448540720522144333" -> "START507706101403715310212614816917125324741448540720522144333347"; "START570760110430751301221641861971152342714484504702522144333" -> "START570760110430751301221641861971152342714484504702522144333374";
"START507706101403715310212614816917125324741448540720522144333347450"[label="('4', 5, 0)"]; "START570760110430751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"];
"START507706101403715310212614816917125324741448540720522144333347" -> "START507706101403715310212614816917125324741448540720522144333347450"; "START570760110430751301221641861971152342714484504702522144333374" -> "START570760110430751301221641861971152342714484504702522144333374405";
"START507706101403715310212614816917125324741448540720522144333347450753"[label="('7', 5, 3)"]; "START570760110430751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"];
"START507706101403715310212614816917125324741448540720522144333347450" -> "START507706101403715310212614816917125324741448540720522144333347450753"; "START570760110430751301221641861971152342714484504702522144333374405" -> "START570760110430751301221641861971152342714484504702522144333374405735";
"START507706101403715310212614816917125324741448540720522144333347450753955"[label="('9', 5, 5)"]; "START570760110430751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"];
"START507706101403715310212614816917125324741448540720522144333347450753" -> "START507706101403715310212614816917125324741448540720522144333347450753955"; "START570760110430751301221641861971152342714484504702522144333374405735" -> "START570760110430751301221641861971152342714484504702522144333374405735955";
"START507706101403715310212614816917125324741448540720522144333347450753955152"[label="('1', 5, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"];
"START507706101403715310212614816917125324741448540720522144333347450753955" -> "START507706101403715310212614816917125324741448540720522144333347450753955152"; "START570760110430751301221641861971152342714484504702522144333374405735955" -> "START570760110430751301221641861971152342714484504702522144333374405735955125";
"START507706101403715310212614816917125324741448540720522144333347450753955152932"[label="('9', 3, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932"; "START570760110430751301221641861971152342714484504702522144333374405735955125" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231"[label="('2', 3, 1)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231"; "START570760110430751301221641861971152342714484504702522144333374405735955125923" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136"[label="('1', 3, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838"[label="('8', 3, 8)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854"[label="('8', 5, 4)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257"[label="('2', 5, 7)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656"[label="('6', 5, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226"[label="('2', 2, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"[label="('6', 2, 8)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"[label="('8', 6, 0)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"[label="('1', 6, 3)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"[label="('4', 6, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"[label="('7', 6, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"[label="('9', 6, 4)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"[label="('2', 6, 8)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"[label="('6', 7, 3)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"[label="('9', 7, 1)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778"[label="('7', 7, 8)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787"[label="('7', 8, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681"[label="('6', 8, 1)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618"[label="('6', 1, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187"[label="('1', 8, 7)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178"[label="('1', 7, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988"[label="('9', 8, 8)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988"[label="('9', 8, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434"[label="('4', 3, 4)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443"[label="('4', 4, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535"[label="('5', 3, 5)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553"[label="('5', 5, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574"[label="('5', 7, 4)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547"[label="('5', 4, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376"[label="('3', 7, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367"[label="('3', 6, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472"[label="('4', 7, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427"[label="('4', 2, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382"[label="('3', 8, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328"[label="('3', 2, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485"[label="('4', 8, 5)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458"[label="('4', 5, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"[label="('5', 8, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"[label="('5', 6, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"[shape=hexagon, fillcolor="#00FF00"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"[shape=hexagon, fillcolor="#00FF00"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534"[label="('5', 3, 4)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543"[label="('5', 4, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435"[label="('4', 3, 5)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453"[label="('4', 5, 3)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474"[label="('4', 7, 4)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447"[label="('4', 4, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372"[label="('3', 7, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327"[label="('3', 2, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576"[label="('5', 7, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567"[label="('5', 6, 7)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482"[label="('4', 8, 2)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428"[label="('4', 2, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585"[label="('5', 8, 5)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558"[label="('5', 5, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"[label="('3', 8, 6)"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"[label="('3', 6, 8)"];
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368";
"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"[shape=hexagon, fillcolor="#00FF00"]; "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"[shape=hexagon, fillcolor="#00FF00"];
} }

Binary file not shown.

Before

Width:  |  Height:  |  Size: 236 KiB

After

Width:  |  Height:  |  Size: 236 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 1.6 KiB

After

Width:  |  Height:  |  Size: 1.6 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 97 KiB

View File

@ -5,327 +5,327 @@ digraph T {
bgcolor="#FFFF00"; bgcolor="#FFFF00";
node[style=filled]; node[style=filled];
START[shape=hexagon, fillcolor="#FF0000"]; START[shape=hexagon, fillcolor="#FF0000"];
"START412"[label="('4', 1, 2)"]; "START421"[label="('4', 2, 1)"];
"START" -> "START412"; "START" -> "START421";
"START412702"[label="('7', 0, 2)"]; "START421720"[label="('7', 2, 0)"];
"START412" -> "START412702"; "START421" -> "START421720";
"START412702301"[label="('3', 0, 1)"]; "START421720310"[label="('3', 1, 0)"];
"START412702" -> "START412702301"; "START421720" -> "START421720310";
"START412702301103"[label="('1', 0, 3)"]; "START421720310130"[label="('1', 3, 0)"];
"START412702301" -> "START412702301103"; "START421720310" -> "START421720310130";
"START412702301103605"[label="('6', 0, 5)"]; "START421720310130650"[label="('6', 5, 0)"];
"START412702301103" -> "START412702301103605"; "START421720310130" -> "START421720310130650";
"START412702301603"[label="('6', 0, 3)"]; "START421720310630"[label="('6', 3, 0)"];
"START412702301" -> "START412702301603"; "START421720310" -> "START421720310630";
"START412702301603105"[label="('1', 0, 5)"]; "START421720310630150"[label="('1', 5, 0)"];
"START412702301603" -> "START412702301603105"; "START421720310630" -> "START421720310630150";
"START412702901"[label="('9', 0, 1)"]; "START421720910"[label="('9', 1, 0)"];
"START412702" -> "START412702901"; "START421720" -> "START421720910";
"START412702901522"[label="('5', 2, 2)"]; "START421720910522"[label="('5', 2, 2)"];
"START412702901" -> "START412702901522"; "START421720910" -> "START421720910522";
"START412702901522321"[label="('3', 2, 1)"]; "START421720910522312"[label="('3', 1, 2)"];
"START412702901522" -> "START412702901522321"; "START421720910522" -> "START421720910522312";
"START412702901522321262"[label="('2', 6, 2)"]; "START421720910522312226"[label="('2', 2, 6)"];
"START412702901522321" -> "START412702901522321262"; "START421720910522312" -> "START421720910522312226";
"START412702901522321262942"[label="('9', 4, 2)"]; "START421720910522312226924"[label="('9', 2, 4)"];
"START412702901522321262" -> "START412702901522321262942"; "START421720910522312226" -> "START421720910522312226924";
"START412702901522321262942105"[label="('1', 0, 5)"]; "START421720910522312226924150"[label="('1', 5, 0)"];
"START412702901522321262942" -> "START412702901522321262942105"; "START421720910522312226924" -> "START421720910522312226924150";
"START412702901522321262942105303"[label="('3', 0, 3)"]; "START421720910522312226924150330"[label="('3', 3, 0)"];
"START412702901522321262942105" -> "START412702901522321262942105303"; "START421720910522312226924150" -> "START421720910522312226924150330";
"START412702901522321262942105303608"[label="('6', 0, 8)"]; "START421720910522312226924150330680"[label="('6', 8, 0)"];
"START412702901522321262942105303" -> "START412702901522321262942105303608"; "START421720910522312226924150330" -> "START421720910522312226924150330680";
"START412702901522321262942105303608610"[label="('6', 1, 0)"]; "START421720910522312226924150330680601"[label="('6', 0, 1)"];
"START412702901522321262942105303608" -> "START412702901522321262942105303608610"; "START421720910522312226924150330680" -> "START421720910522312226924150330680601";
"START412702901522321262942105303608610820"[label="('8', 2, 0)"]; "START421720910522312226924150330680601802"[label="('8', 0, 2)"];
"START412702901522321262942105303608610" -> "START412702901522321262942105303608610820"; "START421720910522312226924150330680601" -> "START421720910522312226924150330680601802";
"START412702901522321262942105303608610820624"[label="('6', 2, 4)"]; "START421720910522312226924150330680601802642"[label="('6', 4, 2)"];
"START412702901522321262942105303608610820" -> "START412702901522321262942105303608610820624"; "START421720910522312226924150330680601802" -> "START421720910522312226924150330680601802642";
"START412702901522321262942105303608610820624223"[label="('2', 2, 3)"]; "START421720910522312226924150330680601802642232"[label="('2', 3, 2)"];
"START412702901522321262942105303608610820624" -> "START412702901522321262942105303608610820624223"; "START421720910522312226924150330680601802642" -> "START421720910522312226924150330680601802642232";
"START412702901522321262942105303608610820624223815"[label="('8', 1, 5)"]; "START421720910522312226924150330680601802642232851"[label="('8', 5, 1)"];
"START412702901522321262942105303608610820624223" -> "START412702901522321262942105303608610820624223815"; "START421720910522312226924150330680601802642232" -> "START421720910522312226924150330680601802642232851";
"START412702901522321262942105303608610820624223815128"[label="('1', 2, 8)"]; "START421720910522312226924150330680601802642232851182"[label="('1', 8, 2)"];
"START412702901522321262942105303608610820624223815" -> "START412702901522321262942105303608610820624223815128"; "START421720910522312226924150330680601802642232851" -> "START421720910522312226924150330680601802642232851182";
"START412702901522321262942105303608610820624223815128478"[label="('4', 7, 8)"]; "START421720910522312226924150330680601802642232851182487"[label="('4', 8, 7)"];
"START412702901522321262942105303608610820624223815128" -> "START412702901522321262942105303608610820624223815128478"; "START421720910522312226924150330680601802642232851182" -> "START421720910522312226924150330680601802642232851182487";
"START412702901522321262942105303608610820624223815128478858"[label="('8', 5, 8)"]; "START421720910522312226924150330680601802642232851182487885"[label="('8', 8, 5)"];
"START412702901522321262942105303608610820624223815128478" -> "START412702901522321262942105303608610820624223815128478858"; "START421720910522312226924150330680601802642232851182487" -> "START421720910522312226924150330680601802642232851182487885";
"START412702901522321262942105303608610820624223815128478858454"[label="('4', 5, 4)"]; "START421720910522312226924150330680601802642232851182487885445"[label="('4', 4, 5)"];
"START412702901522321262942105303608610820624223815128478858" -> "START412702901522321262942105303608610820624223815128478858454"; "START421720910522312226924150330680601802642232851182487885" -> "START421720910522312226924150330680601802642232851182487885445";
"START412702901522321262942105303608610820624223815128478858454553"[label="('5', 5, 3)"]; "START421720910522312226924150330680601802642232851182487885445535"[label="('5', 3, 5)"];
"START412702901522321262942105303608610820624223815128478858454" -> "START412702901522321262942105303608610820624223815128478858454553"; "START421720910522312226924150330680601802642232851182487885445" -> "START421720910522312226924150330680601802642232851182487885445535";
"START412702901522321262942105303608610820624223815128478858454553633"[label="('6', 3, 3)"]; "START421720910522312226924150330680601802642232851182487885445535633"[label="('6', 3, 3)"];
"START412702901522321262942105303608610820624223815128478858454553" -> "START412702901522321262942105303608610820624223815128478858454553633"; "START421720910522312226924150330680601802642232851182487885445535" -> "START421720910522312226924150330680601802642232851182487885445535633";
"START412702901522321262942105303608810"[label="('8', 1, 0)"]; "START421720910522312226924150330680801"[label="('8', 0, 1)"];
"START412702901522321262942105303608" -> "START412702901522321262942105303608810"; "START421720910522312226924150330680" -> "START421720910522312226924150330680801";
"START412702901522321262942105303608810620"[label="('6', 2, 0)"]; "START421720910522312226924150330680801602"[label="('6', 0, 2)"];
"START412702901522321262942105303608810" -> "START412702901522321262942105303608810620"; "START421720910522312226924150330680801" -> "START421720910522312226924150330680801602";
"START412702901522321262942105303608810620824"[label="('8', 2, 4)"]; "START421720910522312226924150330680801602842"[label="('8', 4, 2)"];
"START412702901522321262942105303608810620" -> "START412702901522321262942105303608810620824"; "START421720910522312226924150330680801602" -> "START421720910522312226924150330680801602842";
"START412702901522321262942105303608810620824223"[label="('2', 2, 3)"]; "START421720910522312226924150330680801602842232"[label="('2', 3, 2)"];
"START412702901522321262942105303608810620824" -> "START412702901522321262942105303608810620824223"; "START421720910522312226924150330680801602842" -> "START421720910522312226924150330680801602842232";
"START412702901522321262942105303608810620824223615"[label="('6', 1, 5)"]; "START421720910522312226924150330680801602842232651"[label="('6', 5, 1)"];
"START412702901522321262942105303608810620824223" -> "START412702901522321262942105303608810620824223615"; "START421720910522312226924150330680801602842232" -> "START421720910522312226924150330680801602842232651";
"START412702901522321262942105303608810620824223615128"[label="('1', 2, 8)"]; "START421720910522312226924150330680801602842232651182"[label="('1', 8, 2)"];
"START412702901522321262942105303608810620824223615" -> "START412702901522321262942105303608810620824223615128"; "START421720910522312226924150330680801602842232651" -> "START421720910522312226924150330680801602842232651182";
"START412702901522321262942105303608810620824223615128454"[label="('4', 5, 4)"]; "START421720910522312226924150330680801602842232651182445"[label="('4', 4, 5)"];
"START412702901522321262942105303608810620824223615128" -> "START412702901522321262942105303608810620824223615128454"; "START421720910522312226924150330680801602842232651182" -> "START421720910522312226924150330680801602842232651182445";
"START412702901522321262942105303608810620824223615128454858"[label="('8', 5, 8)"]; "START421720910522312226924150330680801602842232651182445885"[label="('8', 8, 5)"];
"START412702901522321262942105303608810620824223615128454" -> "START412702901522321262942105303608810620824223615128454858"; "START421720910522312226924150330680801602842232651182445" -> "START421720910522312226924150330680801602842232651182445885";
"START412702901522321262942105303608810620824223615128454858553"[label="('5', 5, 3)"]; "START421720910522312226924150330680801602842232651182445885535"[label="('5', 3, 5)"];
"START412702901522321262942105303608810620824223615128454858" -> "START412702901522321262942105303608810620824223615128454858553"; "START421720910522312226924150330680801602842232651182445885" -> "START421720910522312226924150330680801602842232651182445885535";
"START412702901522321262942105303608810620824223615128454858553633"[label="('6', 3, 3)"]; "START421720910522312226924150330680801602842232651182445885535633"[label="('6', 3, 3)"];
"START412702901522321262942105303608810620824223615128454858553" -> "START412702901522321262942105303608810620824223615128454858553633"; "START421720910522312226924150330680801602842232651182445885535" -> "START421720910522312226924150330680801602842232651182445885535633";
"START412702901522321262942105303608810620824223615128454858553633735"[label="('7', 3, 5)"]; "START421720910522312226924150330680801602842232651182445885535633753"[label="('7', 5, 3)"];
"START412702901522321262942105303608810620824223615128454858553633" -> "START412702901522321262942105303608810620824223615128454858553633735"; "START421720910522312226924150330680801602842232651182445885535633" -> "START421720910522312226924150330680801602842232651182445885535633753";
"START412702901522321262942105603"[label="('6', 0, 3)"]; "START421720910522312226924150630"[label="('6', 3, 0)"];
"START412702901522321262942105" -> "START412702901522321262942105603"; "START421720910522312226924150" -> "START421720910522312226924150630";
"START412702901522321262942105603308"[label="('3', 0, 8)"]; "START421720910522312226924150630380"[label="('3', 8, 0)"];
"START412702901522321262942105603" -> "START412702901522321262942105603308"; "START421720910522312226924150630" -> "START421720910522312226924150630380";
"START412702901522321262942105603308824"[label="('8', 2, 4)"]; "START421720910522312226924150630380842"[label="('8', 4, 2)"];
"START412702901522321262942105603308" -> "START412702901522321262942105603308824"; "START421720910522312226924150630380" -> "START421720910522312226924150630380842";
"START412702901522321262942105603308824215"[label="('2', 1, 5)"]; "START421720910522312226924150630380842251"[label="('2', 5, 1)"];
"START412702901522321262942105603308824" -> "START412702901522321262942105603308824215"; "START421720910522312226924150630380842" -> "START421720910522312226924150630380842251";
"START412702901522321262942605"[label="('6', 0, 5)"]; "START421720910522312226924650"[label="('6', 5, 0)"];
"START412702901522321262942" -> "START412702901522321262942605"; "START421720910522312226924" -> "START421720910522312226924650";
"START412702901522321262942605824"[label="('8', 2, 4)"]; "START421720910522312226924650842"[label="('8', 4, 2)"];
"START412702901522321262942605" -> "START412702901522321262942605824"; "START421720910522312226924650" -> "START421720910522312226924650842";
"START412702901522321262942605824215"[label="('2', 1, 5)"]; "START421720910522312226924650842251"[label="('2', 5, 1)"];
"START412702901522321262942605824" -> "START412702901522321262942605824215"; "START421720910522312226924650842" -> "START421720910522312226924650842251";
"START412702901522321262942605824215620"[label="('6', 2, 0)"]; "START421720910522312226924650842251602"[label="('6', 0, 2)"];
"START412702901522321262942605824215" -> "START412702901522321262942605824215620"; "START421720910522312226924650842251" -> "START421720910522312226924650842251602";
"START412702901522321262942605824215620810"[label="('8', 1, 0)"]; "START421720910522312226924650842251602801"[label="('8', 0, 1)"];
"START412702901522321262942605824215620" -> "START412702901522321262942605824215620810"; "START421720910522312226924650842251602" -> "START421720910522312226924650842251602801";
"START412702901522321262942605824215620810123"[label="('1', 2, 3)"]; "START421720910522312226924650842251602801132"[label="('1', 3, 2)"];
"START412702901522321262942605824215620810" -> "START412702901522321262942605824215620810123"; "START421720910522312226924650842251602801" -> "START421720910522312226924650842251602801132";
"START412702901522321262942605824215620810123303"[label="('3', 0, 3)"]; "START421720910522312226924650842251602801132330"[label="('3', 3, 0)"];
"START412702901522321262942605824215620810123" -> "START412702901522321262942605824215620810123303"; "START421720910522312226924650842251602801132" -> "START421720910522312226924650842251602801132330";
"START412702901522321262942605824215620810123303108"[label="('1', 0, 8)"]; "START421720910522312226924650842251602801132330180"[label="('1', 8, 0)"];
"START412702901522321262942605824215620810123303" -> "START412702901522321262942605824215620810123303108"; "START421720910522312226924650842251602801132330" -> "START421720910522312226924650842251602801132330180";
"START412702901522321262942605824215620810123303108228"[label="('2', 2, 8)"]; "START421720910522312226924650842251602801132330180282"[label="('2', 8, 2)"];
"START412702901522321262942605824215620810123303108" -> "START412702901522321262942605824215620810123303108228"; "START421720910522312226924650842251602801132330180" -> "START421720910522312226924650842251602801132330180282";
"START412702901522321262942605824215620810123303108228454"[label="('4', 5, 4)"]; "START421720910522312226924650842251602801132330180282445"[label="('4', 4, 5)"];
"START412702901522321262942605824215620810123303108228" -> "START412702901522321262942605824215620810123303108228454"; "START421720910522312226924650842251602801132330180282" -> "START421720910522312226924650842251602801132330180282445";
"START412702901522321262942605824215620810123303108228454858"[label="('8', 5, 8)"]; "START421720910522312226924650842251602801132330180282445885"[label="('8', 8, 5)"];
"START412702901522321262942605824215620810123303108228454" -> "START412702901522321262942605824215620810123303108228454858"; "START421720910522312226924650842251602801132330180282445" -> "START421720910522312226924650842251602801132330180282445885";
"START412702901522321262942605824215620810123303108228454858317"[label="('3', 1, 7)"]; "START421720910522312226924650842251602801132330180282445885371"[label="('3', 7, 1)"];
"START412702901522321262942605824215620810123303108228454858" -> "START412702901522321262942605824215620810123303108228454858317"; "START421720910522312226924650842251602801132330180282445885" -> "START421720910522312226924650842251602801132330180282445885371";
"START412702901522321262942605824215620810123303108228454858317618"[label="('6', 1, 8)"]; "START421720910522312226924650842251602801132330180282445885371681"[label="('6', 8, 1)"];
"START412702901522321262942605824215620810123303108228454858317" -> "START412702901522321262942605824215620810123303108228454858317618"; "START421720910522312226924650842251602801132330180282445885371" -> "START421720910522312226924650842251602801132330180282445885371681";
"START412702901522321262942605824215620810123303108228454858317618478"[label="('4', 7, 8)"]; "START421720910522312226924650842251602801132330180282445885371681487"[label="('4', 8, 7)"];
"START412702901522321262942605824215620810123303108228454858317618" -> "START412702901522321262942605824215620810123303108228454858317618478"; "START421720910522312226924650842251602801132330180282445885371681" -> "START421720910522312226924650842251602801132330180282445885371681487";
"START412702901522321262942605824215620810123303108228454858317618478368"[label="('3', 6, 8)"]; "START421720910522312226924650842251602801132330180282445885371681487386"[label="('3', 8, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478" -> "START412702901522321262942605824215620810123303108228454858317618478368"; "START421720910522312226924650842251602801132330180282445885371681487" -> "START421720910522312226924650842251602801132330180282445885371681487386";
"START412702901522321262942605824215620810123303108228454858317618478368771"[label="('7', 7, 1)"]; "START421720910522312226924650842251602801132330180282445885371681487386717"[label="('7', 1, 7)"];
"START412702901522321262942605824215620810123303108228454858317618478368" -> "START412702901522321262942605824215620810123303108228454858317618478368771"; "START421720910522312226924650842251602801132330180282445885371681487386" -> "START421720910522312226924650842251602801132330180282445885371681487386717";
"START412702901522321262942605824215620810123303108228454858317618478368771673"[label="('6', 7, 3)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637"[label="('6', 3, 7)"];
"START412702901522321262942605824215620810123303108228454858317618478368771" -> "START412702901522321262942605824215620810123303108228454858317618478368771673"; "START421720910522312226924650842251602801132330180282445885371681487386717" -> "START421720910522312226924650842251602801132330180282445885371681487386717637";
"START412702901522321262942605824215620810123303108228454858317618478368771673533"[label="('5', 3, 3)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533"[label="('5', 3, 3)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533"; "START421720910522312226924650842251602801132330180282445885371681487386717637" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430"[label="('4', 3, 0)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403"[label="('4', 0, 3)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430"; "START421720910522312226924650842251602801132330180282445885371681487386717637533" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735"[label="('7', 3, 5)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753"[label="('7', 5, 3)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637"[label="('6', 3, 7)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673"[label="('6', 7, 3)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334"[label="('3', 3, 4)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343"[label="('3', 4, 3)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241"[label="('2', 4, 1)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214"[label="('2', 1, 4)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843"[label="('8', 4, 3)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834"[label="('8', 3, 4)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644"[label="('6', 4, 4)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644"[label="('6', 4, 4)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145"[label="('1', 4, 5)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154"[label="('1', 5, 4)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747"[label="('7', 4, 7)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774"[label="('7', 7, 4)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927"[label="('9', 2, 7)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972"[label="('9', 7, 2)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726"[label="('7', 2, 6)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762"[label="('7', 6, 2)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446"[label="('4', 4, 6)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464"[label="('4', 6, 4)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551"[label="('5', 5, 1)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515"[label="('5', 1, 5)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253"[label="('2', 5, 3)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235"[label="('2', 3, 5)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955"[label="('9', 5, 5)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955"[label="('9', 5, 5)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461"[label="('4', 6, 1)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416"[label="('4', 1, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764"[label="('7', 6, 4)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746"[label="('7', 4, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867"[label="('8', 6, 7)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876"[label="('8', 7, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565"[label="('5', 6, 5)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556"[label="('5', 5, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160"[label="('1', 6, 0)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106"[label="('1', 0, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666"[label="('6', 6, 6)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666"[label="('6', 6, 6)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970"[label="('9', 7, 0)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907"[label="('9', 0, 7)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176"[label="('1', 7, 6)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167"[label="('1', 6, 7)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580"[label="('5', 8, 0)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508"[label="('5', 0, 8)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483"[label="('4', 8, 3)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438"[label="('4', 3, 8)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885"[label="('8', 8, 5)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858"[label="('8', 5, 8)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986"[label="('9', 8, 6)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968"[label="('9', 6, 8)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986287"[label="('2', 8, 7)"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968278"[label="('2', 7, 8)"];
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986" -> "START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986287"; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968" -> "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968278";
"START412702901522321262942605824215620810123303108228454858317618478368771673533430735637334241843644145747927726446551253955461764867565160666970176580483885986287"[shape=hexagon, fillcolor="#00FF00"]; "START421720910522312226924650842251602801132330180282445885371681487386717637533403753673343214834644154774972762464515235955416746876556106666907167508438858968278"[shape=hexagon, fillcolor="#00FF00"];
"START412702901522321262942605824215620810123303108228454858617"[label="('6', 1, 7)"]; "START421720910522312226924650842251602801132330180282445885671"[label="('6', 7, 1)"];
"START412702901522321262942605824215620810123303108228454858" -> "START412702901522321262942605824215620810123303108228454858617"; "START421720910522312226924650842251602801132330180282445885" -> "START421720910522312226924650842251602801132330180282445885671";
"START412702901522321262942605824215620810123303108228454858617318"[label="('3', 1, 8)"]; "START421720910522312226924650842251602801132330180282445885671381"[label="('3', 8, 1)"];
"START412702901522321262942605824215620810123303108228454858617" -> "START412702901522321262942605824215620810123303108228454858617318"; "START421720910522312226924650842251602801132330180282445885671" -> "START421720910522312226924650842251602801132330180282445885671381";
"START412702901522321262942605824215620810123303108228454858617318737"[label="('7', 3, 7)"]; "START421720910522312226924650842251602801132330180282445885671381773"[label="('7', 7, 3)"];
"START412702901522321262942605824215620810123303108228454858617318" -> "START412702901522321262942605824215620810123303108228454858617318737"; "START421720910522312226924650842251602801132330180282445885671381" -> "START421720910522312226924650842251602801132330180282445885671381773";
"START412902"[label="('9', 0, 2)"]; "START421920"[label="('9', 2, 0)"];
"START412" -> "START412902"; "START421" -> "START421920";
"START412902242"[label="('2', 4, 2)"]; "START421920224"[label="('2', 2, 4)"];
"START412902" -> "START412902242"; "START421920" -> "START421920224";
"START412902242301"[label="('3', 0, 1)"]; "START421920224310"[label="('3', 1, 0)"];
"START412902242" -> "START412902242301"; "START421920224" -> "START421920224310";
"START412902242301103"[label="('1', 0, 3)"]; "START421920224310130"[label="('1', 3, 0)"];
"START412902242301" -> "START412902242301103"; "START421920224310" -> "START421920224310130";
"START412902242301103605"[label="('6', 0, 5)"]; "START421920224310130650"[label="('6', 5, 0)"];
"START412902242301103" -> "START412902242301103605"; "START421920224310130" -> "START421920224310130650";
"START412902242301603"[label="('6', 0, 3)"]; "START421920224310630"[label="('6', 3, 0)"];
"START412902242301" -> "START412902242301603"; "START421920224310" -> "START421920224310630";
"START412902242301603105"[label="('1', 0, 5)"]; "START421920224310630150"[label="('1', 5, 0)"];
"START412902242301603" -> "START412902242301603105"; "START421920224310630" -> "START421920224310630150";
"START412902242701"[label="('7', 0, 1)"]; "START421920224710"[label="('7', 1, 0)"];
"START412902242" -> "START412902242701"; "START421920224" -> "START421920224710";
"START412902242701522"[label="('5', 2, 2)"]; "START421920224710522"[label="('5', 2, 2)"];
"START412902242701" -> "START412902242701522"; "START421920224710" -> "START421920224710522";
"START412902242701522321"[label="('3', 2, 1)"]; "START421920224710522312"[label="('3', 1, 2)"];
"START412902242701522" -> "START412902242701522321"; "START421920224710522" -> "START421920224710522312";
"START412902242701522321762"[label="('7', 6, 2)"]; "START421920224710522312726"[label="('7', 2, 6)"];
"START412902242701522321" -> "START412902242701522321762"; "START421920224710522312" -> "START421920224710522312726";
"START412902242701522321762105"[label="('1', 0, 5)"]; "START421920224710522312726150"[label="('1', 5, 0)"];
"START412902242701522321762" -> "START412902242701522321762105"; "START421920224710522312726" -> "START421920224710522312726150";
"START412902242701522321762105303"[label="('3', 0, 3)"]; "START421920224710522312726150330"[label="('3', 3, 0)"];
"START412902242701522321762105" -> "START412902242701522321762105303"; "START421920224710522312726150" -> "START421920224710522312726150330";
"START412902242701522321762105303608"[label="('6', 0, 8)"]; "START421920224710522312726150330680"[label="('6', 8, 0)"];
"START412902242701522321762105303" -> "START412902242701522321762105303608"; "START421920224710522312726150330" -> "START421920224710522312726150330680";
"START412902242701522321762105303608610"[label="('6', 1, 0)"]; "START421920224710522312726150330680601"[label="('6', 0, 1)"];
"START412902242701522321762105303608" -> "START412902242701522321762105303608610"; "START421920224710522312726150330680" -> "START421920224710522312726150330680601";
"START412902242701522321762105303608610820"[label="('8', 2, 0)"]; "START421920224710522312726150330680601802"[label="('8', 0, 2)"];
"START412902242701522321762105303608610" -> "START412902242701522321762105303608610820"; "START421920224710522312726150330680601" -> "START421920224710522312726150330680601802";
"START412902242701522321762105303608610820624"[label="('6', 2, 4)"]; "START421920224710522312726150330680601802642"[label="('6', 4, 2)"];
"START412902242701522321762105303608610820" -> "START412902242701522321762105303608610820624"; "START421920224710522312726150330680601802" -> "START421920224710522312726150330680601802642";
"START412902242701522321762105303608610820624223"[label="('2', 2, 3)"]; "START421920224710522312726150330680601802642232"[label="('2', 3, 2)"];
"START412902242701522321762105303608610820624" -> "START412902242701522321762105303608610820624223"; "START421920224710522312726150330680601802642" -> "START421920224710522312726150330680601802642232";
"START412902242701522321762105303608610820624223815"[label="('8', 1, 5)"]; "START421920224710522312726150330680601802642232851"[label="('8', 5, 1)"];
"START412902242701522321762105303608610820624223" -> "START412902242701522321762105303608610820624223815"; "START421920224710522312726150330680601802642232" -> "START421920224710522312726150330680601802642232851";
"START412902242701522321762105303608610820624223815128"[label="('1', 2, 8)"]; "START421920224710522312726150330680601802642232851182"[label="('1', 8, 2)"];
"START412902242701522321762105303608610820624223815" -> "START412902242701522321762105303608610820624223815128"; "START421920224710522312726150330680601802642232851" -> "START421920224710522312726150330680601802642232851182";
"START412902242701522321762105303608610820624223815128478"[label="('4', 7, 8)"]; "START421920224710522312726150330680601802642232851182487"[label="('4', 8, 7)"];
"START412902242701522321762105303608610820624223815128" -> "START412902242701522321762105303608610820624223815128478"; "START421920224710522312726150330680601802642232851182" -> "START421920224710522312726150330680601802642232851182487";
"START412902242701522321762105303608610820624223815128478858"[label="('8', 5, 8)"]; "START421920224710522312726150330680601802642232851182487885"[label="('8', 8, 5)"];
"START412902242701522321762105303608610820624223815128478" -> "START412902242701522321762105303608610820624223815128478858"; "START421920224710522312726150330680601802642232851182487" -> "START421920224710522312726150330680601802642232851182487885";
"START412902242701522321762105303608610820624223815128478858454"[label="('4', 5, 4)"]; "START421920224710522312726150330680601802642232851182487885445"[label="('4', 4, 5)"];
"START412902242701522321762105303608610820624223815128478858" -> "START412902242701522321762105303608610820624223815128478858454"; "START421920224710522312726150330680601802642232851182487885" -> "START421920224710522312726150330680601802642232851182487885445";
"START412902242701522321762105303608610820624223815128478858454553"[label="('5', 5, 3)"]; "START421920224710522312726150330680601802642232851182487885445535"[label="('5', 3, 5)"];
"START412902242701522321762105303608610820624223815128478858454" -> "START412902242701522321762105303608610820624223815128478858454553"; "START421920224710522312726150330680601802642232851182487885445" -> "START421920224710522312726150330680601802642232851182487885445535";
"START412902242701522321762105303608610820624223815128478858454553633"[label="('6', 3, 3)"]; "START421920224710522312726150330680601802642232851182487885445535633"[label="('6', 3, 3)"];
"START412902242701522321762105303608610820624223815128478858454553" -> "START412902242701522321762105303608610820624223815128478858454553633"; "START421920224710522312726150330680601802642232851182487885445535" -> "START421920224710522312726150330680601802642232851182487885445535633";
"START412902242701522321762105303608810"[label="('8', 1, 0)"]; "START421920224710522312726150330680801"[label="('8', 0, 1)"];
"START412902242701522321762105303608" -> "START412902242701522321762105303608810"; "START421920224710522312726150330680" -> "START421920224710522312726150330680801";
"START412902242701522321762105303608810620"[label="('6', 2, 0)"]; "START421920224710522312726150330680801602"[label="('6', 0, 2)"];
"START412902242701522321762105303608810" -> "START412902242701522321762105303608810620"; "START421920224710522312726150330680801" -> "START421920224710522312726150330680801602";
"START412902242701522321762105303608810620824"[label="('8', 2, 4)"]; "START421920224710522312726150330680801602842"[label="('8', 4, 2)"];
"START412902242701522321762105303608810620" -> "START412902242701522321762105303608810620824"; "START421920224710522312726150330680801602" -> "START421920224710522312726150330680801602842";
"START412902242701522321762105303608810620824223"[label="('2', 2, 3)"]; "START421920224710522312726150330680801602842232"[label="('2', 3, 2)"];
"START412902242701522321762105303608810620824" -> "START412902242701522321762105303608810620824223"; "START421920224710522312726150330680801602842" -> "START421920224710522312726150330680801602842232";
"START412902242701522321762105303608810620824223615"[label="('6', 1, 5)"]; "START421920224710522312726150330680801602842232651"[label="('6', 5, 1)"];
"START412902242701522321762105303608810620824223" -> "START412902242701522321762105303608810620824223615"; "START421920224710522312726150330680801602842232" -> "START421920224710522312726150330680801602842232651";
"START412902242701522321762105303608810620824223615128"[label="('1', 2, 8)"]; "START421920224710522312726150330680801602842232651182"[label="('1', 8, 2)"];
"START412902242701522321762105303608810620824223615" -> "START412902242701522321762105303608810620824223615128"; "START421920224710522312726150330680801602842232651" -> "START421920224710522312726150330680801602842232651182";
"START412902242701522321762105303608810620824223615128454"[label="('4', 5, 4)"]; "START421920224710522312726150330680801602842232651182445"[label="('4', 4, 5)"];
"START412902242701522321762105303608810620824223615128" -> "START412902242701522321762105303608810620824223615128454"; "START421920224710522312726150330680801602842232651182" -> "START421920224710522312726150330680801602842232651182445";
"START412902242701522321762105303608810620824223615128454858"[label="('8', 5, 8)"]; "START421920224710522312726150330680801602842232651182445885"[label="('8', 8, 5)"];
"START412902242701522321762105303608810620824223615128454" -> "START412902242701522321762105303608810620824223615128454858"; "START421920224710522312726150330680801602842232651182445" -> "START421920224710522312726150330680801602842232651182445885";
"START412902242701522321762105303608810620824223615128454858553"[label="('5', 5, 3)"]; "START421920224710522312726150330680801602842232651182445885535"[label="('5', 3, 5)"];
"START412902242701522321762105303608810620824223615128454858" -> "START412902242701522321762105303608810620824223615128454858553"; "START421920224710522312726150330680801602842232651182445885" -> "START421920224710522312726150330680801602842232651182445885535";
"START412902242701522321762105303608810620824223615128454858553633"[label="('6', 3, 3)"]; "START421920224710522312726150330680801602842232651182445885535633"[label="('6', 3, 3)"];
"START412902242701522321762105303608810620824223615128454858553" -> "START412902242701522321762105303608810620824223615128454858553633"; "START421920224710522312726150330680801602842232651182445885535" -> "START421920224710522312726150330680801602842232651182445885535633";
"START412902242701522321762105303608810620824223615128454858553633735"[label="('7', 3, 5)"]; "START421920224710522312726150330680801602842232651182445885535633753"[label="('7', 5, 3)"];
"START412902242701522321762105303608810620824223615128454858553633" -> "START412902242701522321762105303608810620824223615128454858553633735"; "START421920224710522312726150330680801602842232651182445885535633" -> "START421920224710522312726150330680801602842232651182445885535633753";
"START412902242701522321762105603"[label="('6', 0, 3)"]; "START421920224710522312726150630"[label="('6', 3, 0)"];
"START412902242701522321762105" -> "START412902242701522321762105603"; "START421920224710522312726150" -> "START421920224710522312726150630";
"START412902242701522321762105603308"[label="('3', 0, 8)"]; "START421920224710522312726150630380"[label="('3', 8, 0)"];
"START412902242701522321762105603" -> "START412902242701522321762105603308"; "START421920224710522312726150630" -> "START421920224710522312726150630380";
"START412902242701522321762105603308824"[label="('8', 2, 4)"]; "START421920224710522312726150630380842"[label="('8', 4, 2)"];
"START412902242701522321762105603308" -> "START412902242701522321762105603308824"; "START421920224710522312726150630380" -> "START421920224710522312726150630380842";
"START412902242701522321762105603308824215"[label="('2', 1, 5)"]; "START421920224710522312726150630380842251"[label="('2', 5, 1)"];
"START412902242701522321762105603308824" -> "START412902242701522321762105603308824215"; "START421920224710522312726150630380842" -> "START421920224710522312726150630380842251";
"START412902242701522321762605"[label="('6', 0, 5)"]; "START421920224710522312726650"[label="('6', 5, 0)"];
"START412902242701522321762" -> "START412902242701522321762605"; "START421920224710522312726" -> "START421920224710522312726650";
"START412902242701522321762605824"[label="('8', 2, 4)"]; "START421920224710522312726650842"[label="('8', 4, 2)"];
"START412902242701522321762605" -> "START412902242701522321762605824"; "START421920224710522312726650" -> "START421920224710522312726650842";
"START412902242701522321762605824215"[label="('2', 1, 5)"]; "START421920224710522312726650842251"[label="('2', 5, 1)"];
"START412902242701522321762605824" -> "START412902242701522321762605824215"; "START421920224710522312726650842" -> "START421920224710522312726650842251";
"START412902242701522321762605824215620"[label="('6', 2, 0)"]; "START421920224710522312726650842251602"[label="('6', 0, 2)"];
"START412902242701522321762605824215" -> "START412902242701522321762605824215620"; "START421920224710522312726650842251" -> "START421920224710522312726650842251602";
"START412902242701522321762605824215620810"[label="('8', 1, 0)"]; "START421920224710522312726650842251602801"[label="('8', 0, 1)"];
"START412902242701522321762605824215620" -> "START412902242701522321762605824215620810"; "START421920224710522312726650842251602" -> "START421920224710522312726650842251602801";
"START412902242701522321762605824215620810123"[label="('1', 2, 3)"]; "START421920224710522312726650842251602801132"[label="('1', 3, 2)"];
"START412902242701522321762605824215620810" -> "START412902242701522321762605824215620810123"; "START421920224710522312726650842251602801" -> "START421920224710522312726650842251602801132";
"START412902242701522321762605824215620810123303"[label="('3', 0, 3)"]; "START421920224710522312726650842251602801132330"[label="('3', 3, 0)"];
"START412902242701522321762605824215620810123" -> "START412902242701522321762605824215620810123303"; "START421920224710522312726650842251602801132" -> "START421920224710522312726650842251602801132330";
"START412902242701522321762605824215620810123303108"[label="('1', 0, 8)"]; "START421920224710522312726650842251602801132330180"[label="('1', 8, 0)"];
"START412902242701522321762605824215620810123303" -> "START412902242701522321762605824215620810123303108"; "START421920224710522312726650842251602801132330" -> "START421920224710522312726650842251602801132330180";
"START412902242701522321762605824215620810123303108228"[label="('2', 2, 8)"]; "START421920224710522312726650842251602801132330180282"[label="('2', 8, 2)"];
"START412902242701522321762605824215620810123303108" -> "START412902242701522321762605824215620810123303108228"; "START421920224710522312726650842251602801132330180" -> "START421920224710522312726650842251602801132330180282";
"START412902242701522321762605824215620810123303108228454"[label="('4', 5, 4)"]; "START421920224710522312726650842251602801132330180282445"[label="('4', 4, 5)"];
"START412902242701522321762605824215620810123303108228" -> "START412902242701522321762605824215620810123303108228454"; "START421920224710522312726650842251602801132330180282" -> "START421920224710522312726650842251602801132330180282445";
"START412902242701522321762605824215620810123303108228454858"[label="('8', 5, 8)"]; "START421920224710522312726650842251602801132330180282445885"[label="('8', 8, 5)"];
"START412902242701522321762605824215620810123303108228454" -> "START412902242701522321762605824215620810123303108228454858"; "START421920224710522312726650842251602801132330180282445" -> "START421920224710522312726650842251602801132330180282445885";
"START412902242701522321762605824215620810123303108228454858664"[label="('6', 6, 4)"]; "START421920224710522312726650842251602801132330180282445885646"[label="('6', 4, 6)"];
"START412902242701522321762605824215620810123303108228454858" -> "START412902242701522321762605824215620810123303108228454858664"; "START421920224710522312726650842251602801132330180282445885" -> "START421920224710522312726650842251602801132330180282445885646";
"START412902242701522321762605824215620810123303108228454858664744"[label="('7', 4, 4)"]; "START421920224710522312726650842251602801132330180282445885646744"[label="('7', 4, 4)"];
"START412902242701522321762605824215620810123303108228454858664" -> "START412902242701522321762605824215620810123303108228454858664744"; "START421920224710522312726650842251602801132330180282445885646" -> "START421920224710522312726650842251602801132330180282445885646744";
"START412902242701522321762605824215620810123303108228454858664744334"[label="('3', 3, 4)"]; "START421920224710522312726650842251602801132330180282445885646744343"[label="('3', 4, 3)"];
"START412902242701522321762605824215620810123303108228454858664744" -> "START412902242701522321762605824215620810123303108228454858664744334"; "START421920224710522312726650842251602801132330180282445885646744" -> "START421920224710522312726650842251602801132330180282445885646744343";
"START412902242701522321762605824215620810123303108228454858664744334535"[label="('5', 3, 5)"]; "START421920224710522312726650842251602801132330180282445885646744343553"[label="('5', 5, 3)"];
"START412902242701522321762605824215620810123303108228454858664744334" -> "START412902242701522321762605824215620810123303108228454858664744334535"; "START421920224710522312726650842251602801132330180282445885646744343" -> "START421920224710522312726650842251602801132330180282445885646744343553";
"START412902242701522321762605824215620810123303108228454858664744334535430"[label="('4', 3, 0)"]; "START421920224710522312726650842251602801132330180282445885646744343553403"[label="('4', 0, 3)"];
"START412902242701522321762605824215620810123303108228454858664744334535" -> "START412902242701522321762605824215620810123303108228454858664744334535430"; "START421920224710522312726650842251602801132330180282445885646744343553" -> "START421920224710522312726650842251602801132330180282445885646744343553403";
"START412902242701522321762605824215620810123303108228454858664744334535430633"[label="('6', 3, 3)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633"[label="('6', 3, 3)"];
"START412902242701522321762605824215620810123303108228454858664744334535430" -> "START412902242701522321762605824215620810123303108228454858664744334535430633"; "START421920224710522312726650842251602801132330180282445885646744343553403" -> "START421920224710522312726650842251602801132330180282445885646744343553403633";
"START412902242701522321762605824215620810123303108228454858664744334535430633737"[label="('7', 3, 7)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773"[label="('7', 7, 3)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737"; "START421920224710522312726650842251602801132330180282445885646744343553403633" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927"[label="('9', 2, 7)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972"[label="('9', 7, 2)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927"; "START421920224710522312726650842251602801132330180282445885646744343553403633773" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726"[label="('7', 2, 6)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762"[label="('7', 6, 2)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941"[label="('9', 4, 1)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914"[label="('9', 1, 4)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843"[label="('8', 4, 3)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834"[label="('8', 3, 4)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145"[label="('1', 4, 5)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154"[label="('1', 5, 4)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647"[label="('6', 4, 7)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674"[label="('6', 7, 4)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317"[label="('3', 1, 7)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371"[label="('3', 7, 1)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618"[label="('6', 1, 8)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681"[label="('6', 8, 1)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446"[label="('4', 4, 6)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464"[label="('4', 6, 4)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551"[label="('5', 5, 1)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515"[label="('5', 1, 5)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253"[label="('2', 5, 3)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235"[label="('2', 3, 5)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955"[label="('9', 5, 5)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955"[label="('9', 5, 5)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955";
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955865"[label="('8', 6, 5)"]; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955856"[label="('8', 5, 6)"];
"START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955" -> "START412902242701522321762605824215620810123303108228454858664744334535430633737927726941843145647317618446551253955865"; "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955" -> "START421920224710522312726650842251602801132330180282445885646744343553403633773972762914834154674371681464515235955856";
} }

Binary file not shown.

Before

Width:  |  Height:  |  Size: 334 KiB

After

Width:  |  Height:  |  Size: 334 KiB

71
main7.py Executable file
View File

@ -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} <grid> <filename>'.format(sys.argv[0]))
print('where\n\t<grid> is a 81 characters string describing a valid sudoku grid')
print('\t<filename> 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)

View File

@ -35,32 +35,32 @@ Module for internal representation of Sudoku grids.
>>> grid = SudokuGrid(strgrid) >>> grid = SudokuGrid(strgrid)
>>> str(grid) == strgrid >>> str(grid) == strgrid
True True
>>> grid[4, 6] >>> grid[3, 2]
'9' '9'
>>> grid.get_row(2) >>> grid.get_row(2)
'080900040' '080900040'
>>> grid.get_col(1) >>> grid.get_col(1)
'048003500' '048003500'
>>> grid.get_square(4, 7) >>> grid.get_square(4, 7)
'070900005' '003002870'
>>> grid[1, 5] >>> grid[1, 5]
'0' '3'
>>> grid.is_empty_cell(1, 5) >>> grid.is_empty_cell(1, 5)
True
>>> grid.is_empty_cell(4, 6)
False False
>>> grid[1, 5] = '7' >>> grid.is_empty_cell(4, 6)
True
>>> grid[4, 6] = '9'
>>> grid.pretty_print() >>> grid.pretty_print()
+-------+-------+-------+ +-------+-------+-------+
| 9 . 6 | . 2 8 | . . 3 | | 9 . 6 | . 2 8 | . . 3 |
| . 4 . | 5 . 7 | . . 1 | | . 4 . | 5 . . | . . 1 |
| . 8 . | 9 . . | . 4 . | | . 8 . | 9 . . | . 4 . |
+-------+-------+-------+ +-------+-------+-------+
| 6 . . | . . . | . 7 . | | 6 . . | . . . | . 7 . |
| . . 8 | 2 . 6 | 9 . . | | . . 8 | 2 . 6 | 9 . . |
| . 3 . | . . . | . . 5 | | . 3 . | . . . | . . 5 |
+-------+-------+-------+ +-------+-------+-------+
| . 5 . | . . 3 | . 6 . | | . 5 . | . 9 3 | . 6 . |
| 1 . . | . . 2 | . 8 . | | 1 . . | . . 2 | . 8 . |
| 2 . . | 8 7 . | 5 . . | | 2 . . | 8 7 . | 5 . . |
+-------+-------+-------+ +-------+-------+-------+
@ -126,7 +126,7 @@ class SudokuGrid():
:UC: coord must be a tuple of two valid coordinates :UC: coord must be a tuple of two valid coordinates
""" """
try: try:
row, col = coord col, row = coord
assert 0 <= row < 9 assert 0 <= row < 9
assert 0 <= col < 9 assert 0 <= col < 9
return self._grid[9 * row + col] return self._grid[9 * row + col]
@ -142,7 +142,7 @@ class SudokuGrid():
if not value in _SYMBOLS_SET: if not value in _SYMBOLS_SET:
raise SudokuGridError("new value must be in ['0'..'9']") raise SudokuGridError("new value must be in ['0'..'9']")
try: try:
row, col = coord col, row = coord
assert 0 <= row < 9 assert 0 <= row < 9
assert 0 <= col < 9 assert 0 <= col < 9
old_value = self._grid[9 * row + col] old_value = self._grid[9 * row + col]
@ -165,7 +165,7 @@ class SudokuGrid():
""" """
if not (0 <= row < 9): if not (0 <= row < 9):
raise SudokuGridError('row must be in [0, 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): def get_col(self, col):
""" """
@ -177,9 +177,9 @@ class SudokuGrid():
""" """
if not (0 <= col < 9): if not (0 <= col < 9):
raise SudokuGridError('col must be in [0, 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 :param row: row number of the cell in the square_block to select
:type row: int :type row: int
@ -195,10 +195,10 @@ class SudokuGrid():
raise SudokuGridError('col must be in [0, 9[') raise SudokuGridError('col must be in [0, 9[')
firstrow = 3 * (row // 3) firstrow = 3 * (row // 3)
firstcol = 3 * (col // 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)) 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 :param row: row number of the cell to test
:type row: int :type row: int
@ -208,7 +208,7 @@ class SudokuGrid():
:rtype: bool :rtype: bool
:UC: 0 <= row < 9, 0<= col < 9 :UC: 0 <= row < 9, 0<= col < 9
""" """
return grid[row, col] == EMPTY_SYMBOL return grid[col, row] == EMPTY_SYMBOL
def pretty_print(self): def pretty_print(self):
for row in range(9): for row in range(9):

View File

@ -74,8 +74,8 @@ def colorie_sudoku(grid):
for y in range(LGRILLE): for y in range(LGRILLE):
img.putpixel(((j//2 + 1)*EGT + j*EPT + (j + 1 + j//2)*LCASE, y), COUL_TRAITS) img.putpixel(((j//2 + 1)*EGT + j*EPT + (j + 1 + j//2)*LCASE, y), COUL_TRAITS)
# coloriage des cases # 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])) colorie_case(img, (x, y), int(grid[x, y]))
return img return img

View File

@ -73,24 +73,35 @@ from sudoku_grid import SudokuGrid, EMPTY_SYMBOL
def __possible_values(s): 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) return "".join(c for c in '123456789' if c not in s)
def __grid_exam(grid): 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)] ROWS = [grid.get_row(row) for row in range(9)]
COLS = [grid.get_col(c) for c in range(9)] COLS = [grid.get_col(col) for col in range(9)]
SQUARES = [grid.get_square(3*r, 3*c) for r in range(3) for c in range(3)] 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) poss_min, coord_min = '0123456789', (-1, -1)
for r in range(9): for row in range(9):
for c in range(9): for col in range(9):
if grid.is_empty_cell(r, c): if grid.is_empty_cell(col, row):
poss = __possible_values(ROWS[r] + COLS[c] + SQUARES[3 * (r // 3) + (c // 3)]) poss = __possible_values(ROWS[row] + COLS[col] + SQUARES[3 * (row // 3) + (col // 3)])
if len(poss) < len(poss_min): if len(poss) < len(poss_min):
poss_min = poss poss_min = poss
coord_min = (r, c) coord_min = (col, row)
return poss_min, coord_min return poss_min, coord_min
def __is_solved(grid): def __is_solved(grid):
@ -101,7 +112,7 @@ def __is_solved(grid):
:rtype: bool :rtype: bool
:UC: none :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): 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)) out_channel.write('\t"{:s}"[shape=hexagon, fillcolor="#00FF00"];\n'.format(node))
return [grid.copy()] return [grid.copy()]
else: else:
maybe, (i, j) = __grid_exam(grid) maybe, (col, row) = __grid_exam(grid)
res = [] res = []
for c in maybe: for val in maybe:
if not out_channel is None: if not out_channel is None:
label = str((c, i, j)) label = str((val, col, row))
next_node = node + '{:s}{:d}{:d}'.format(c, i, j) 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}"[label="{:s}"];\n'.format(next_node, label))
out_channel.write('\t"{:s}" -> "{:s}";\n'.format(node, next_node)) out_channel.write('\t"{:s}" -> "{:s}";\n'.format(node, next_node))
else: else:
next_node = None next_node = None
grid[i, j] = c grid[col, row] = val
res += solve(grid, out_channel, next_node) res += solve(grid, out_channel, next_node)
grid[i, j] = EMPTY_SYMBOL grid[col, row] = EMPTY_SYMBOL
return res return res
def solve_one(grid, pause=0): def solve_one(grid, pause=0, out_channel=None):
""" """
:param grid: a Sudoku grid to solve :param grid: a Sudoku grid to solve
:type grid: sudoku_grid.grid :type grid: sudoku_grid.grid
:param pause: delay between two steps of resolution
:type pause: float
:return: a solution of grid :return: a solution of grid
:rtype: sudoku_grid.grid :rtype: sudoku_grid.grid
:UC: none :UC: none
@ -142,17 +155,19 @@ def solve_one(grid, pause=0):
time.sleep(pause) time.sleep(pause)
print("\x1b[2J", end='') print("\x1b[2J", end='')
grid.pretty_print() grid.pretty_print()
if out_channel:
out_channel.write(str(grid)+'\n')
if __is_solved(grid): if __is_solved(grid):
return [grid] return [grid]
else: else:
maybe, (i, j) = __grid_exam(grid) maybe, (col, row) = __grid_exam(grid)
res = None res = None
for c in maybe: for val in maybe:
grid[i, j] = c grid[col, row] = val
res = solve_one(grid, pause) res = solve_one(grid, pause, out_channel)
grid[col, row] = EMPTY_SYMBOL
if not res is None: if not res is None:
return res return res
grid[i, j] = EMPTY_SYMBOL
return res return res