digraph test {
    size="3,6.3";
	ratio="fill";
	node [color="#918194", fillcolor="#f1e1f4", style="filled"];
	edge [color="red"];
	node1 [label="L:=1", shape="box"];
	node2 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node3 [label="L\>0", shape="diamond"];
	node4 [label="L=1", shape="diamond"];
	node5 [label="p", shape="diamond"];
	node6 [label="L:=2", shape="box"];
	node7 [label="L:=3", shape="box"];
	node8 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node9 [label="L=2", shape="diamond"];
	node10 [label="f", shape="box"];
	node11 [label="L:=4", shape="box"];
	node12 [label="L=3", shape="diamond"];
	node13 [label="g", shape="box"];
	node14 [label="L:=5", shape="box"];
	node15 [label="L=4", shape="diamond"];
	node16 [label="h", shape="box"];
	node17 [label="L:=0", shape="box"];
	node18 [label="L=5", shape="diamond"];
	node19 [label="q", shape="diamond"];
	node20 [label="L:=4", shape="box"];
	node21 [label="L:=0", shape="box"];
	node22 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node23 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node24 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node25 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node26 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node27 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node28 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	node29 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
	entry [fillcolor="white", label="entry", shape="plaintext", style="filled"];
	exit [fillcolor="white", label="exit", shape="plaintext", style="filled"];
	node2 -> node3;
	node3 -> node29 [label="N"];
	node3 -> node4 [label="Y"];
	node29 -> exit;
	node1 -> node2;
	node12 -> node15 [label="N"];
	node12 -> node13 [label="Y"];
	node25 -> node26;
	node4 -> node9 [label="N"];
	node4 -> node5 [label="Y"];
	node9 -> node12 [label="N"];
	node9 -> node10 [label="Y"];
	node26 -> node27;
	node27 -> node28;
	node20 -> node22;
	node19 -> node20 [label="Y"];
	node19 -> node21 [label="N"];
	node18 -> node19 [label="Y"];
	node18 -> node23 [label="N"];
	node11 -> node27;
	node5 -> node6 [label="Y"];
	node5 -> node7 [label="N"];
	node15 -> node18 [label="N"];
	node15 -> node16 [label="Y"];
	node23 -> node24;
	node24 -> node25;
	node21 -> node22;
	node16 -> node17;
	node17 -> node25;
	node22 -> node24;
	node8 -> node28;
	node10 -> node11;
	node13 -> node14;
	node14 -> node26;
	node6 -> node8;
	node7 -> node8;
	node28 -> node2;
	entry -> node1;
}