# Creator: Finomaton 1.0 # Creation-Date: Wed Jun 20 08:59:59 PM CEST 2007 object state id 1 x 278.999999999 y 184 radius 20 label 0 tex {\strut 0} accept 0 start 0 object state id 2 x 238.666666666 y 98 radius 20 label 0 tex {\strut 0} accept 0 start 0 object state id 3 x 198.333333333 y 184 radius 20 label 1 tex {\strut 1} accept 0 start 0 object state id 4 x 77.3333333333 y 98 radius 20 label 1 tex {\strut 1} accept 0 start 0 object state id 5 x 37 y 184 radius 20 label 1 tex {\strut 1} accept 0 start 0 object state id 6 x 117.666666667 y 184 radius 20 label 0 tex {\strut 0} accept 0 start 0 object state id 7 x 158.0 y 36 radius 20 label r tex {\strut $r$} accept 0 start 0 object line cp1attached 2 cp1angle 305 cp2attached 1 cp2angle 109 cpnum 2 tex {} texpos 0.5 anchor top bisect 0 object line cp1attached 7 cp1angle 322 cp2attached 2 cp2angle 119 cpnum 2 tex {} texpos 0.5 anchor top bisect 0 object line cp1attached 4 cp1angle 299 cp2attached 6 cp2angle 90 cpnum 2 tex {} texpos 0.5 anchor top bisect 0 object line cp1attached 2 cp1angle 236 cp2attached 3 cp2angle 74 cpnum 2 tex {} texpos 0.5 anchor top bisect 0 object line cp1attached 7 cp1angle 215 cp2attached 4 cp2angle 59 cpnum 2 tex {} texpos 0.5 anchor top bisect 0 object line cp1attached 4 cp1angle 241 cp2attached 5 cp2angle 78 cpnum 2 tex {} texpos 0.5 anchor top bisect 0 object setting variable filecomment value {Change all "drawarrow" commands to "draw" to get rid of arrowheads.}