/*
        Resolution tree for sudoku number
*/
digraph T {
	bgcolor="#FFFF00";
	node[style=filled];
	START[shape=hexagon, fillcolor="#FF0000"];
	"START507"[label="('5', 0, 7)"];
	"START" -> "START507";
	"START507706"[label="('7', 0, 6)"];
	"START507" -> "START507706";
	"START507706101"[label="('1', 0, 1)"];
	"START507706" -> "START507706101";
	"START507706101403"[label="('4', 0, 3)"];
	"START507706101" -> "START507706101403";
	"START507706101403715"[label="('7', 1, 5)"];
	"START507706101403" -> "START507706101403715";
	"START507706101403715310"[label="('3', 1, 0)"];
	"START507706101403715" -> "START507706101403715310";
	"START507706101403715310212"[label="('2', 1, 2)"];
	"START507706101403715310" -> "START507706101403715310212";
	"START507706101403715310212614"[label="('6', 1, 4)"];
	"START507706101403715310212" -> "START507706101403715310212614";
	"START507706101403715310212614816"[label="('8', 1, 6)"];
	"START507706101403715310212614" -> "START507706101403715310212614816";
	"START507706101403715310212614816917"[label="('9', 1, 7)"];
	"START507706101403715310212614816" -> "START507706101403715310212614816917";
	"START507706101403715310212614816917125"[label="('1', 2, 5)"];
	"START507706101403715310212614816917" -> "START507706101403715310212614816917125";
	"START507706101403715310212614816917125324"[label="('3', 2, 4)"];
	"START507706101403715310212614816917125" -> "START507706101403715310212614816917125324";
	"START507706101403715310212614816917125324741"[label="('7', 4, 1)"];
	"START507706101403715310212614816917125324" -> "START507706101403715310212614816917125324741";
	"START507706101403715310212614816917125324741448"[label="('4', 4, 8)"];
	"START507706101403715310212614816917125324741" -> "START507706101403715310212614816917125324741448";
	"START507706101403715310212614816917125324741448540"[label="('5', 4, 0)"];
	"START507706101403715310212614816917125324741448" -> "START507706101403715310212614816917125324741448540";
	"START507706101403715310212614816917125324741448540720"[label="('7', 2, 0)"];
	"START507706101403715310212614816917125324741448540" -> "START507706101403715310212614816917125324741448540720";
	"START507706101403715310212614816917125324741448540720522"[label="('5', 2, 2)"];
	"START507706101403715310212614816917125324741448540720" -> "START507706101403715310212614816917125324741448540720522";
	"START507706101403715310212614816917125324741448540720522144"[label="('1', 4, 4)"];
	"START507706101403715310212614816917125324741448540720522" -> "START507706101403715310212614816917125324741448540720522144";
	"START507706101403715310212614816917125324741448540720522144333"[label="('3', 3, 3)"];
	"START507706101403715310212614816917125324741448540720522144" -> "START507706101403715310212614816917125324741448540720522144333";
	"START507706101403715310212614816917125324741448540720522144333347"[label="('3', 4, 7)"];
	"START507706101403715310212614816917125324741448540720522144333" -> "START507706101403715310212614816917125324741448540720522144333347";
	"START507706101403715310212614816917125324741448540720522144333347450"[label="('4', 5, 0)"];
	"START507706101403715310212614816917125324741448540720522144333347" -> "START507706101403715310212614816917125324741448540720522144333347450";
	"START507706101403715310212614816917125324741448540720522144333347450753"[label="('7', 5, 3)"];
	"START507706101403715310212614816917125324741448540720522144333347450" -> "START507706101403715310212614816917125324741448540720522144333347450753";
	"START507706101403715310212614816917125324741448540720522144333347450753955"[label="('9', 5, 5)"];
	"START507706101403715310212614816917125324741448540720522144333347450753" -> "START507706101403715310212614816917125324741448540720522144333347450753955";
	"START507706101403715310212614816917125324741448540720522144333347450753955152"[label="('1', 5, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955" -> "START507706101403715310212614816917125324741448540720522144333347450753955152";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932"[label="('9', 3, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231"[label="('2', 3, 1)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136"[label="('1', 3, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838"[label="('8', 3, 8)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854"[label="('8', 5, 4)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257"[label="('2', 5, 7)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656"[label="('6', 5, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226"[label="('2', 2, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628"[label="('6', 2, 8)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860"[label="('8', 6, 0)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163"[label="('1', 6, 3)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466"[label="('4', 6, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762"[label="('7', 6, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964"[label="('9', 6, 4)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268"[label="('2', 6, 8)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673"[label="('6', 7, 3)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971"[label="('9', 7, 1)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778"[label="('7', 7, 8)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681"[label="('6', 8, 1)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187"[label="('1', 8, 7)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988"[label="('9', 8, 8)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434"[label="('4', 3, 4)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535"[label="('5', 3, 5)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574"[label="('5', 7, 4)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376"[label="('3', 7, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472"[label="('4', 7, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382"[label="('3', 8, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485"[label="('4', 8, 5)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"[label="('5', 8, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988434535574376472382485586"[shape=hexagon, fillcolor="#00FF00"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534"[label="('5', 3, 4)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435"[label="('4', 3, 5)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474"[label="('4', 7, 4)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372"[label="('3', 7, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576"[label="('5', 7, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482"[label="('4', 8, 2)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585"[label="('5', 8, 5)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"[label="('3', 8, 6)"];
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585" -> "START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386";
	"START507706101403715310212614816917125324741448540720522144333347450753955152932231136838854257656226628860163466762964268673971778681187988534435474372576482585386"[shape=hexagon, fillcolor="#00FF00"];
}