digraph {
	graph [label="transition system"]
	s1 [label=s1 peripheries=1 shape=circle]
	s1 -> s1 [label=0.0]
	s1 -> s2 [label=20.0]
	s1 -> r1 [label=41.23105625617661]
	s1 -> r2 [label=70.71067811865476]
	s1 -> r3 [label=50.0]
	s1 -> g1 [label=55.0]
	s1 -> g2 [label=58.52349955359813]
	s2 [label=s2 peripheries=1 shape=circle]
	s2 -> s1 [label=20.0]
	s2 -> s2 [label=0.0]
	s2 -> r1 [label=50.0]
	s2 -> r2 [label=70.71067811865476]
	s2 -> r3 [label=41.23105625617661]
	s2 -> g1 [label=58.52349955359813]
	s2 -> g2 [label=55.0]
	r1 [label=r1 peripheries=1 shape=circle]
	r1 -> s1 [label=41.23105625617661]
	r1 -> s2 [label=50.0]
	r1 -> r1 [label=0.0]
	r1 -> r2 [label=36.05551275463989]
	r1 -> r3 [label=40.0]
	r1 -> g1 [label=18.027756377319946]
	r1 -> g2 [label=33.54101966249684]
	r2 [label=r2 peripheries=1 shape=circle]
	r2 -> s1 [label=70.71067811865476]
	r2 -> s2 [label=70.71067811865476]
	r2 -> r1 [label=36.05551275463989]
	r2 -> r2 [label=0.0]
	r2 -> r3 [label=36.05551275463989]
	r2 -> g1 [label=18.027756377319946]
	r2 -> g2 [label=18.027756377319946]
	r3 [label=r3 peripheries=1 shape=circle]
	r3 -> s1 [label=50.0]
	r3 -> s2 [label=41.23105625617661]
	r3 -> r1 [label=40.0]
	r3 -> r2 [label=36.05551275463989]
	r3 -> r3 [label=0.0]
	r3 -> g1 [label=33.54101966249684]
	r3 -> g2 [label=18.027756377319946]
	g1 [label=g1 peripheries=1 shape=circle]
	g1 -> s1 [label=55.0]
	g1 -> s2 [label=58.52349955359813]
	g1 -> r1 [label=18.027756377319946]
	g1 -> r2 [label=18.027756377319946]
	g1 -> r3 [label=33.54101966249684]
	g1 -> g1 [label=0.0]
	g1 -> g2 [label=20.0]
	g2 [label=g2 peripheries=1 shape=circle]
	g2 -> s1 [label=58.52349955359813]
	g2 -> s2 [label=55.0]
	g2 -> r1 [label=33.54101966249684]
	g2 -> r2 [label=18.027756377319946]
	g2 -> r3 [label=18.027756377319946]
	g2 -> g1 [label=20.0]
	g2 -> g2 [label=0.0]
}