graph Petersen
{
	node
	[
		fontname = "Arial"
		label = "\N"
		shape = "circle"
		width = "0.400000"
		height = "0.400000"
		color = "black"
	]
	edge
	[
		color = "black"
	]
	0 -- 1 -- 2 -- 3 -- 4 --0
	[
		color = "blue"
		len = "2.6"
	]
	0 -- 5
	[
		color = "red"
		weight = "5"
	]
	1 -- 6
	[
		color = "red"
		weight = "5"
	]
	2 -- 7
	[
		color = "red"
		weight = "5"
	]
	3 -- 8
	[
		color = "red"
		weight = "5"
	]
	4 -- 9
	[
		color = "red"
		weight = "5"
	]
	5 -- 7 -- 9 -- 6 -- 8 -- 5
}
