digraph {
	x1
	x2
	x3
	x4
	x5
	x6
	x7
	x8
	x9
	x10
	x7 -> x5 [label=1.00]
	x3 -> x6 [label=1.00]
	x5 -> x6 [label=1.00]
	x2 -> x8 [label=1.00]
	x10 -> x9 [label=1.00]
	{
		rank=same
	}
}
