# Creator: Finomaton 1.0 # Creation-Date: Wed Jun 20 08:58:33 PM CEST 2007 object state id 1 x 59 y 131.5 radius 20 label s1 tex {\strut $s_1$} accept 0 start 1 object state id 2 x 214.0 y 131.5 radius 20 label s2 tex {\strut $s_2$} accept 1 start 0 object line cp1attached 2 cp1angle 27 cp2attached -1 cp2x 281 cp2y 102 cp3attached -1 cp3x 281 cp3y 161.0 cp4attached 2 cp4angle 328 cpnum 4 tex {$\underline{d}$} texpos 0.5 anchor rt bisect 1 object line cp1attached 1 cp1angle 27 cp2attached -1 cp2x 136.5 cp2y 65 cp3attached 2 cp3angle 162 cpnum 3 tex {$\underline{a}$} texpos 0.5 anchor top bisect 1 object line cp1attached 2 cp1angle 221 cp2attached -1 cp2x 136.5 cp2y 179 cp3attached 1 cp3angle 330 cpnum 3 tex {$\underline{b}$} texpos 0.5 anchor bot bisect 1 object line cp1attached 1 cp1angle 118 cp2attached -1 cp2x 39.0 cp2y 68.0 cp3attached -1 cp3x 79.0 cp3y 68.0 cp4attached 1 cp4angle 62 cpnum 4 tex {$\underline{c}$} texpos 0.5 anchor top bisect 1