# Creator: Finomaton 1.0 # Creation-Date: Wed Jun 20 09:57:48 PM CEST 2007 object state id 1 x 52.0 y 130.0 radius 20 label {} tex {} accept 0 start 0 object state id 2 x 187.0 y 60.0 radius 20 label {} tex {} accept 0 start 0 object state id 3 x 187.0 y 130.0 radius 20 label {} tex {} accept 0 start 0 object state id 4 x 187.0 y 200.0 radius 20 label {} tex {} accept 0 start 0 object state id 5 x 52.0 y 60.0 radius 20 label {} tex {} accept 0 start 0 object state id 6 x 52.0 y 200.0 radius 20 label {} tex {} accept 0 start 0 object state id 7 x 347.0 y 60.0 radius 20 label {} tex {} accept 0 start 0 object state id 8 x 347.0 y 200.0 radius 20 label {} tex {} accept 0 start 0 object state id 9 x 450.0 y 60.0 radius 20 label {} tex {} accept 0 start 0 object state id 10 x 450.0 y 200.0 radius 20 label {} tex {} accept 0 start 0 object state id 11 x 275.0 y 87.0 radius 20 label {} tex {} accept 0 start 0 object line cp1attached 1 cp1angle -1 cp2attached 2 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 1 cp1angle -1 cp2attached 3 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 1 cp1angle -1 cp2attached 4 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 5 cp1angle -1 cp2attached 2 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 5 cp1angle -1 cp2attached 3 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 5 cp1angle -1 cp2attached 4 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 6 cp1angle -1 cp2attached 2 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 6 cp1angle -1 cp2attached 3 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 6 cp1angle -1 cp2attached 4 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 8 cp1angle -1 cp2attached 7 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 9 cp1angle -1 cp2attached 7 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 9 cp1angle -1 cp2attached 10 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 10 cp1angle -1 cp2attached 8 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 10 cp1angle -1 cp2attached -1 cp2x 289.0 cp2y 285.0 cp3attached 11 cp3angle 267 cp4attached 11 cp4angle -1 cpnum 4 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 11 cp1angle -1 cp2attached -1 cp2x 333.0 cp2y 154.0 cp3attached 8 cp3angle -1 cpnum 3 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 8 cp1angle -1 cp2attached 9 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 7 cp1angle -1 cp2attached 10 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object setting variable graphstyle value digraph