/*
        Resolution tree for sudoku number
*/
digraph T {
	bgcolor="#FFFF00";
	node[style=filled];
	START[shape=hexagon, fillcolor="#FF0000"];
	"START760"[label="('7', 6, 0)"];
	"START" -> "START760";
	"START760110"[label="('1', 1, 0)"];
	"START760" -> "START760110";
	"START760110430"[label="('4', 3, 0)"];
	"START760110" -> "START760110430";
	"START760110430570"[label="('5', 7, 0)"];
	"START760110430" -> "START760110430570";
	"START760110430570751"[label="('7', 5, 1)"];
	"START760110430570" -> "START760110430570751";
	"START760110430570751301"[label="('3', 0, 1)"];
	"START760110430570751" -> "START760110430570751301";
	"START760110430570751301221"[label="('2', 2, 1)"];
	"START760110430570751301" -> "START760110430570751301221";
	"START760110430570751301221641"[label="('6', 4, 1)"];
	"START760110430570751301221" -> "START760110430570751301221641";
	"START760110430570751301221641861"[label="('8', 6, 1)"];
	"START760110430570751301221641" -> "START760110430570751301221641861";
	"START760110430570751301221641861971"[label="('9', 7, 1)"];
	"START760110430570751301221641861" -> "START760110430570751301221641861971";
	"START760110430570751301221641861971152"[label="('1', 5, 2)"];
	"START760110430570751301221641861971" -> "START760110430570751301221641861971152";
	"START760110430570751301221641861971152342"[label="('3', 4, 2)"];
	"START760110430570751301221641861971152" -> "START760110430570751301221641861971152342";
	"START760110430570751301221641861971152342714"[label="('7', 1, 4)"];
	"START760110430570751301221641861971152342" -> "START760110430570751301221641861971152342714";
	"START760110430570751301221641861971152342714484"[label="('4', 8, 4)"];
	"START760110430570751301221641861971152342714" -> "START760110430570751301221641861971152342714484";
	"START760110430570751301221641861971152342714484504"[label="('5', 0, 4)"];
	"START760110430570751301221641861971152342714484" -> "START760110430570751301221641861971152342714484504";
	"START760110430570751301221641861971152342714484504702"[label="('7', 0, 2)"];
	"START760110430570751301221641861971152342714484504" -> "START760110430570751301221641861971152342714484504702";
	"START760110430570751301221641861971152342714484504702522"[label="('5', 2, 2)"];
	"START760110430570751301221641861971152342714484504702" -> "START760110430570751301221641861971152342714484504702522";
	"START760110430570751301221641861971152342714484504702522144"[label="('1', 4, 4)"];
	"START760110430570751301221641861971152342714484504702522" -> "START760110430570751301221641861971152342714484504702522144";
	"START760110430570751301221641861971152342714484504702522144333"[label="('3', 3, 3)"];
	"START760110430570751301221641861971152342714484504702522144" -> "START760110430570751301221641861971152342714484504702522144333";
	"START760110430570751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"];
	"START760110430570751301221641861971152342714484504702522144333" -> "START760110430570751301221641861971152342714484504702522144333374";
	"START760110430570751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374" -> "START760110430570751301221641861971152342714484504702522144333374405";
	"START760110430570751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374405" -> "START760110430570751301221641861971152342714484504702522144333374405735";
	"START760110430570751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374405735" -> "START760110430570751301221641861971152342714484504702522144333374405735955";
	"START760110430570751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955" -> "START760110430570751301221641861971152342714484504702522144333374405735955125";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367"[label="('3', 6, 7)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427"[label="('4', 2, 7)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547"[label="('5', 4, 7)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443"[label="('4', 4, 3)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553"[label="('5', 5, 3)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787"[label="('7', 8, 7)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618"[label="('6', 1, 8)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328"[label="('3', 2, 8)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458"[label="('4', 5, 8)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178"[label="('1', 7, 8)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[label="('9', 8, 8)"];
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988";
	"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[shape=hexagon, fillcolor="#00FF00"];
}