suppression dossier solver

This commit is contained in:
Éric Wegrzynowski 2021-01-07 16:19:45 +01:00
parent 8fd5f373da
commit ca72380c7e
3 changed files with 0 additions and 269 deletions

View File

@ -1,82 +0,0 @@
#!/usr/bin/python3
# -*- coding: utf-8 -*-
"""
:mod:`sudoku_printer` module
:author: `FIL - IEEA - Univ. Lille1.fr <http://portail.fil.univ-lille1.fr>`_
:date: 2016, october
:Provides:
* print
:Example: with the grid
.. code-block:: text
+-------+-------+-------+
| 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 . . |
+-------+-------+-------+
>>> import sudoku_grid
>>> strgrid = '906028003040500001080900040600000070008206900030000005050003060100002080200870500'
>>> grid = sudoku_grid.from_string(strgrid)
>>> print(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 . . |
+-------+-------+-------+
"""
import builtins
import sudoku_grid
LINE_SEP = ('+' + '-' * 7) * 3 + '+'
LINE_TO_FILL = '| {} {} {} ' * 3 + '|'
def print(grid):
for r in range(9):
if r % 3 == 0: builtins.print(LINE_SEP)
row = sudoku_grid.get_row(grid, r).replace(sudoku_grid.EMPTY_SYMBOL, '.')
builtins.print(LINE_TO_FILL.format(*row))
builtins.print(LINE_SEP)
def reset():
builtins.print("\x1b[2J", end='')
def color_print(grid):
reset()
for r in range(9):
if r % 3 == 0: builtins.print(LINE_SEP)
row = sudoku_grid.get_row(grid, r).replace(sudoku_grid.EMPTY_SYMBOL, '.')
builtins.print(LINE_TO_FILL.format(*row))
builtins.print(LINE_SEP)
if __name__ == '__main__':
import doctest
doctest.testmod ()

View File

@ -1,187 +0,0 @@
/*
Resolution tree for sudoku number
*/
digraph T {
bgcolor="#FFFF00";
node[style=filled];
START[shape=hexagon, fillcolor="#FF0000"];
"START358"[label="('3', 5, 8)"];
"START" -> "START358";
"START358177"[label="('1', 7, 7)"];
"START358" -> "START358177";
"START358177778"[label="('7', 7, 8)"];
"START358177" -> "START358177778";
"START358177778370"[label="('3', 7, 0)"];
"START358177778" -> "START358177778370";
"START358177778370830"[label="('8', 3, 0)"];
"START358177778370" -> "START358177778370830";
"START358177778370830637"[label="('6', 3, 7)"];
"START358177778370830" -> "START358177778370830637";
"START358177778370830637436"[label="('4', 3, 6)"];
"START358177778370830637" -> "START358177778370830637436";
"START358177778370830637436334"[label="('3', 3, 4)"];
"START358177778370830637436" -> "START358177778370830637436334";
"START358177778370830637436334240"[label="('2', 4, 0)"];
"START358177778370830637436334" -> "START358177778370830637436334240";
"START358177778370830637436334240143"[label="('1', 4, 3)"];
"START358177778370830637436334240" -> "START358177778370830637436334240143";
"START358177778370830637436334240143445"[label="('4', 4, 5)"];
"START358177778370830637436334240143" -> "START358177778370830637436334240143445";
"START358177778370830637436334240143445544"[label="('5', 4, 4)"];
"START358177778370830637436334240143445" -> "START358177778370830637436334240143445544";
"START358177778370830637436334240143445544342"[label="('3', 4, 2)"];
"START358177778370830637436334240143445544" -> "START358177778370830637436334240143445544342";
"START358177778370830637436334240143445544342654"[label="('6', 5, 4)"];
"START358177778370830637436334240143445544342" -> "START358177778370830637436334240143445544342654";
"START358177778370830637436334240143445544342654673"[label="('6', 7, 3)"];
"START358177778370830637436334240143445544342654" -> "START358177778370830637436334240143445544342654673";
"START358177778370830637436334240143445544342654673576"[label="('5', 7, 6)"];
"START358177778370830637436334240143445544342654673" -> "START358177778370830637436334240143445544342654673576";
"START358177778370830637436334240143445544342654673576472"[label="('4', 7, 2)"];
"START358177778370830637436334240143445544342654673576" -> "START358177778370830637436334240143445544342654673576472";
"START358177778370830637436334240143445544342654673576472102"[label="('1', 0, 2)"];
"START358177778370830637436334240143445544342654673576472" -> "START358177778370830637436334240143445544342654673576472102";
"START358177778370830637436334240143445544342654673576472102804"[label="('8', 0, 4)"];
"START358177778370830637436334240143445544342654673576472102" -> "START358177778370830637436334240143445544342654673576472102804";
"START358177778370830637436334240143445544342654673576472102804605"[label="('6', 0, 5)"];
"START358177778370830637436334240143445544342654673576472102804" -> "START358177778370830637436334240143445544342654673576472102804605";
"START358177778370830637436334240143445544342654673576472102804605900"[label="('9', 0, 0)"];
"START358177778370830637436334240143445544342654673576472102804605" -> "START358177778370830637436334240143445544342654673576472102804605900";
"START358177778370830637436334240143445544342654673576472102804605900408"[label="('4', 0, 8)"];
"START358177778370830637436334240143445544342654673576472102804605900" -> "START358177778370830637436334240143445544342654673576472102804605900408";
"START358177778370830637436334240143445544342654673576472102804605900408610"[label="('6', 1, 0)"];
"START358177778370830637436334240143445544342654673576472102804605900408" -> "START358177778370830637436334240143445544342654673576472102804605900408610";
"START358177778370830637436334240143445544342654673576472102804605900408610311"[label="('3', 1, 1)"];
"START358177778370830637436334240143445544342654673576472102804605900408610" -> "START358177778370830637436334240143445544342654673576472102804605900408610311";
"START358177778370830637436334240143445544342654673576472102804605900408610311712"[label="('7', 1, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421"[label="('4', 2, 1)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822"[label="('8', 2, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927"[label="('9', 2, 7)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552"[label="('5', 5, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751"[label="('7', 5, 1)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561"[label="('5', 6, 1)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262"[label="('2', 6, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867"[label="('8', 6, 7)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288"[label="('2', 8, 8)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128"[label="('1', 2, 8)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818"[label="('8', 1, 8)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216"[label="('2', 1, 6)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115"[label="('1', 1, 5)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724"[label="('7', 2, 4)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323"[label="('3', 2, 3)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225"[label="('2', 2, 5)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626"[label="('6', 2, 6)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948"[label="('9', 4, 8)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846"[label="('8', 4, 6)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763"[label="('7', 6, 3)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160"[label="('1', 6, 0)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464"[label="('4', 6, 4)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365"[label="('3', 6, 5)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966"[label="('9', 6, 6)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780"[label="('7', 8, 0)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883"[label="('8', 8, 3)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883184"[label="('1', 8, 4)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883184";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883184386"[label="('3', 8, 6)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883184" -> "START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883184386";
"START358177778370830637436334240143445544342654673576472102804605900408610311712421822927552751561262867288128818216115724323225626948846763160464365966780883184386"[shape=hexagon, fillcolor="#00FF00"];
"START358177778370830637436334240143445544342654673576472102804605900408610311812"[label="('8', 1, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311" -> "START358177778370830637436334240143445544342654673576472102804605900408610311812";
"START358177778370830637436334240143445544342654673576472102804605900408610311812216"[label="('2', 1, 6)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311812" -> "START358177778370830637436334240143445544342654673576472102804605900408610311812216";
"START358177778370830637436334240143445544342654673576472102804605900408610311812216115"[label="('1', 1, 5)"];
"START358177778370830637436334240143445544342654673576472102804605900408610311812216" -> "START358177778370830637436334240143445544342654673576472102804605900408610311812216115";
"START358177778370830637436334240143445544342654673576472102804605900408610711"[label="('7', 1, 1)"];
"START358177778370830637436334240143445544342654673576472102804605900408610" -> "START358177778370830637436334240143445544342654673576472102804605900408610711";
"START358177778370830637436334240143445544342654673576472102804605900408610711812"[label="('8', 1, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408610711" -> "START358177778370830637436334240143445544342654673576472102804605900408610711812";
"START358177778370830637436334240143445544342654673576472102804605900408710"[label="('7', 1, 0)"];
"START358177778370830637436334240143445544342654673576472102804605900408" -> "START358177778370830637436334240143445544342654673576472102804605900408710";
"START358177778370830637436334240143445544342654673576472102804605900408710311"[label="('3', 1, 1)"];
"START358177778370830637436334240143445544342654673576472102804605900408710" -> "START358177778370830637436334240143445544342654673576472102804605900408710311";
"START358177778370830637436334240143445544342654673576472102804605900408710311812"[label="('8', 1, 2)"];
"START358177778370830637436334240143445544342654673576472102804605900408710311" -> "START358177778370830637436334240143445544342654673576472102804605900408710311812";
"START358177778370830637436334240143445544342654673576472802"[label="('8', 0, 2)"];
"START358177778370830637436334240143445544342654673576472" -> "START358177778370830637436334240143445544342654673576472802";
"START358177778370830637436334240143445544342654673576472802104"[label="('1', 0, 4)"];
"START358177778370830637436334240143445544342654673576472802" -> "START358177778370830637436334240143445544342654673576472802104";
"START358177778370830637436334240143445544342654673576472802104605"[label="('6', 0, 5)"];
"START358177778370830637436334240143445544342654673576472802104" -> "START358177778370830637436334240143445544342654673576472802104605";
"START358177778370830637436334240143445544342654673576472802104605900"[label="('9', 0, 0)"];
"START358177778370830637436334240143445544342654673576472802104605" -> "START358177778370830637436334240143445544342654673576472802104605900";
"START358177778370830637436334240143445544342654673576472802104605900408"[label="('4', 0, 8)"];
"START358177778370830637436334240143445544342654673576472802104605900" -> "START358177778370830637436334240143445544342654673576472802104605900408";
"START358177778370830637436334240143445544342654673576472802104605900408311"[label="('3', 1, 1)"];
"START358177778370830637436334240143445544342654673576472802104605900408" -> "START358177778370830637436334240143445544342654673576472802104605900408311";
"START358177778370830637436334240143445544342654673576472802104605900408311215"[label="('2', 1, 5)"];
"START358177778370830637436334240143445544342654673576472802104605900408311" -> "START358177778370830637436334240143445544342654673576472802104605900408311215";
"START358177778370830637436334240143445544342654673576472802104605900408311215325"[label="('3', 2, 5)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165"[label="('1', 6, 5)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760"[label="('7', 6, 0)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561"[label="('5', 6, 1)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751"[label="('7', 5, 1)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421"[label="('4', 2, 1)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552"[label="('5', 5, 2)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262"[label="('2', 6, 2)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180"[label="('1', 8, 0)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610"[label="('6', 1, 0)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816"[label="('8', 1, 6)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118"[label="('1', 1, 8)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712"[label="('7', 1, 2)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122"[label="('1', 2, 2)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927"[label="('9', 2, 7)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228"[label="('2', 2, 8)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626"[label="('6', 2, 6)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626946"[label="('9', 4, 6)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626946";
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626946848"[label="('8', 4, 8)"];
"START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626946" -> "START358177778370830637436334240143445544342654673576472802104605900408311215325165760561751421552262180610816118712122927228626946848";
"START358177778370830637436334240143445544342654673576472802104605900408711"[label="('7', 1, 1)"];
"START358177778370830637436334240143445544342654673576472802104605900408" -> "START358177778370830637436334240143445544342654673576472802104605900408711";
"START358177778370830637436334240143445544342654673576472802104605900408711112"[label="('1', 1, 2)"];
"START358177778370830637436334240143445544342654673576472802104605900408711" -> "START358177778370830637436334240143445544342654673576472802104605900408711112";
}

Binary file not shown.

Before

Width:  |  Height:  |  Size: 278 KiB