digraph {
	graph [label="transition system"]
	s2 [label=s2 peripheries=1 shape=circle]
	s2 -> s2 [label=0.0]
	s2 -> r1 [label=54.08326913195984]
	s2 -> r2 [label=31.622776601683793]
	s2 -> r3 [label=46.09772228646444]
	s2 -> g1 [label=72.80109889280519]
	s2 -> g2 [label=70.0]
	r1 [label=r1 peripheries=1 shape=circle]
	r1 -> s2 [label=54.08326913195984]
	r1 -> r1 [label=0.0]
	r1 -> r2 [label=25.0]
	r1 -> r3 [label=40.0]
	r1 -> g1 [label=26.92582403567252]
	r1 -> g2 [label=39.05124837953327]
	r2 [label=r2 peripheries=1 shape=circle]
	r2 -> s2 [label=31.622776601683793]
	r2 -> r1 [label=25.0]
	r2 -> r2 [label=0.0]
	r2 -> r3 [label=25.0]
	r2 -> g1 [label=41.23105625617661]
	r2 -> g2 [label=41.23105625617661]
	r3 [label=r3 peripheries=1 shape=circle]
	r3 -> s2 [label=46.09772228646444]
	r3 -> r1 [label=40.0]
	r3 -> r2 [label=25.0]
	r3 -> r3 [label=0.0]
	r3 -> g1 [label=39.05124837953327]
	r3 -> g2 [label=26.92582403567252]
	g1 [label=g1 peripheries=1 shape=circle]
	g1 -> s2 [label=72.80109889280519]
	g1 -> r1 [label=26.92582403567252]
	g1 -> r2 [label=41.23105625617661]
	g1 -> r3 [label=39.05124837953327]
	g1 -> g1 [label=0.0]
	g1 -> g2 [label=20.0]
	g2 [label=g2 peripheries=1 shape=circle]
	g2 -> s2 [label=70.0]
	g2 -> r1 [label=39.05124837953327]
	g2 -> r2 [label=41.23105625617661]
	g2 -> r3 [label=26.92582403567252]
	g2 -> g1 [label=20.0]
	g2 -> g2 [label=0.0]
}