digraph {
	rankdir=LR;
	rank=same;

	bgcolor="transparent";
	node [shape="ellipse",fillcolor="white",style="filled",fontname="Go",fontsize=10];
	edge [fontname="Go", fontsize=8]

	subgraph cluster_1 {
		rankdir=LR;
		rank=same;
		style="invis";

		node_C1_1_1[label="C1 [1;1["];
		node_C1_2_4[label="C1 [2;4["];
		node_R_0_0[label="R [0;0["];
		node_B_1_3[label="B [1;3["];
		node_A_1_3[label="A [1;3["];
		node_C1_6_8[label="C1 [6;8["];

		node_R_0_0 -> node_B_1_3 [label="R", color="#1d7404"];


		node_C1_1_1 -> node_C1_2_4 [label="[C1]", color="#1d7404"];

		node_C1_2_4 -> node_B_1_3 [label="[B]", color="#1d7404"];
		node_C1_2_4 -> node_A_1_3 [label="[A]", color="#1d7404"];

		node_A_1_3 -> node_C1_6_8 [label="A", color="#1d7404"];
		node_A_1_3 -> node_R_0_0 [label="[R]", color="#1d7404"];

}

	node_B_1_3 -> node_C1_6_8 [label="B", color="#1d7404"];


	node_C1_4_6[label="C1 [4;6[", style=dotted];
		node_C1_2_4 -> node_C1_4_6 [label="[B]", color="#1d7404", style=dashed];
		node_C1_2_4 -> node_C1_4_6 [label="[A]", color="#1d7404", style=dashed];

		node_C1_4_6 -> node_C1_6_8 [label="[C1]", color="#1d7404"];

}