VE(3:1.0)
DO(8:Automata,8:Automata,1)
EO(-2,1,999,2,999,0,0,0,0,0,2,2,2,2,64,64,32,32)
EO(-2,1,1,4,0,1,1,1,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,2,35,0,1,1,2049,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,3,39,0,1,1,3073,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,4,11,0,1,1,1,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,5,36,0,1,1,2305,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,6,37,0,1,1,2561,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,7,38,0,1,1,2817,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,8,40,0,1,1,3329,0,0,3,3,3,3,18,18,9,9)

EO(-2,2,1,1,1,0,2,1,6,7,0,0,0,0,0,0)

EO(-2,6,3,16,6,6,3,3)
TD()

OB(-2,3,6:Select)
OB(-2,5,4:text)
OB(-2,6,5:point)

OB(-2,1,999,3:net,3:net,3:net,34)
AT(9:author(s),-2,9:author(s),9:author(s),3:net,,4,6)
AT(7:version,-2,7:version,7:version,3:net,3:0.0,4,1062)
AT(7:project,-2,7:project,7:project,3:net,,4,6)
AT(5:title,-2,5:title,5:title,3:net,,4,6)
ET(-2,9:author(s),3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,7:version,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,7:project,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,5:title,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)

OB(-2,1,1,5:state,5:state,5:state,2)
AT(4:name,-2,4:name,4:name,5:state,,2,1046)
ET(-2,4:name,5:state,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)

OB(-2,1,2,8:i_stateL,13:initial state,7:i_state,2)
AT(4:name,-2,4:name,4:name,8:i_stateL,,2,1046)
AT(10:transition,-2,10:transition,10:transition,8:i_stateL,,4,6)
ET(-2,4:name,8:i_stateL,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,10:transition,8:i_stateL,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

OB(-2,1,3,8:i_stateR,13:initial state,7:i_state,2)
AT(4:name,-2,4:name,4:name,8:i_stateR,,2,1046)
AT(10:transition,-2,10:transition,10:transition,8:i_stateR,,4,6)
ET(-2,4:name,8:i_stateR,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,10:transition,8:i_stateR,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

OB(-2,1,4,8:f_stateD,14:terminal state,7:f_state,2)
AT(4:name,-2,4:name,4:name,8:f_stateD,,2,1046)
AT(10:transition,-2,10:transition,10:transition,8:f_stateD,,4,6)
ET(-2,4:name,8:f_stateD,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,10:transition,8:f_stateD,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

OB(-2,1,5,8:f_stateR,14:terminal state,7:f_state,2)
AT(4:name,-2,4:name,4:name,8:f_stateR,,2,1046)
AT(10:transition,-2,10:transition,10:transition,8:f_stateR,,4,6)
ET(-2,4:name,8:f_stateR,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,10:transition,8:f_stateR,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

OB(-2,1,6,8:f_stateT,14:terminal state,7:f_state,2)
AT(4:name,-2,4:name,4:name,8:f_stateT,,2,1046)
AT(10:transition,-2,10:transition,10:transition,8:f_stateT,,4,6)
ET(-2,4:name,8:f_stateT,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,10:transition,8:f_stateT,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

OB(-2,1,7,8:f_stateB,14:terminal state,7:f_state,2)
AT(4:name,-2,4:name,4:name,8:f_stateB,,2,1046)
AT(10:transition,-2,10:transition,10:transition,8:f_stateB,,4,6)
ET(-2,4:name,8:f_stateB,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,10:transition,8:f_stateB,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

OB(-2,1,8,8:if_state,22:initial&terminal state,7:f_state,2)
AT(4:name,-2,4:name,4:name,8:if_state,,2,1046)
AT(12:i_transition,-2,16:input transition,10:transition,8:if_state,,4,6)
AT(12:o_transition,-2,17:output transition,10:transition,8:if_state,,4,6)
ET(-2,4:name,8:if_state,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,2176)
ET(-2,12:i_transition,8:if_state,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)
ET(-2,12:o_transition,8:if_state,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-46,28,0,0,0,128)

OB(-2,2,1,4:edge,4:edge,4:edge,2)
AT(10:transition,-2,10:transition,10:transition,4:edge,,4,6)
ET(-2,10:transition,4:edge,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)

FA()
AU(-2,4:edge,5:state,,,5:state,,,)
AU(-2,4:edge,7:i_state,,,7:i_state,,,)
AU(-2,4:edge,7:f_state,,,7:f_state,,,)

AU(-2,4:edge,7:i_state,,,5:state,,,)
AU(-2,4:edge,5:state,,,7:i_state,,,)
AU(-2,4:edge,7:f_state,,,5:state,,,)

AU(-2,4:edge,5:state,,,7:f_state,,,)
AU(-2,4:edge,7:i_state,,,7:f_state,,,)
AU(-2,4:edge,7:f_state,,,7:i_state,,,)

WP(1,307,55)
WI(-1,100,60,30,279,260,0,0,5,5)
CN(3:net,1)
PO(1,20,20)
