Storage 
{
	{ Format 1.33 }
	{ GeneratedFrom TSTD-version-2.20 }
	{ WrittenBy ant }
	{ WrittenOn "" }
}

Document 
{
	{ Type "State Transition Diagram (Mealy)" }
	{ Name wc.std }
	{ Author ant }
	{ CreatedOn "" }
	{ Annotation "" }
	{ Hierarchy False }
}

Page 
{
	{ PageOrientation Portrait }
	{ PageSize A4 }
	{ ShowHeaders False }
	{ ShowFooters False }
	{ ShowNumbers False }
}

Scale 
{
	{ ScaleValue 1.44 }
}

# GRAPH NODES

InitialState 1
{
	{ Name "OUT" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "" }
	{ ControlProcess "" }
	{ Actions 1 }
	{ Action "nl=nc=nw=0" } 
}

State 2
{
	{ Name "IN" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "" }
}

# GRAPH EDGES

Transition 3
{
	{ Name "" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 1 }
	{ Subject2 1 }
	{ Event "'\\n'" }
	{ Actions 1 }
	{ Action "++nc,++nl" }
}

Transition 8
{
	{ Name "" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 1 }
	{ Subject2 2 }
	{ Event "not-blank" }
	{ Actions 1 }
	{ Action "++nc,++nw" }
}

Transition 9
{
	{ Name "" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 1 }
	{ Subject2 1 }
	{ Event "' ','\\t'" }
	{ Actions 1 }
	{ Action "++nc" }
}

Transition 12
{
	{ Name "" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 2 }
	{ Subject2 1 }
	{ Event "' ','\\t'" }
	{ Actions 1 }
	{ Action "++nc" }
}

Transition 13
{
	{ Name "" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 2 }
	{ Subject2 1 }
	{ Event "'\\n'" }
	{ Actions 1 }
	{ Action "++nc,++nl" }
}

Transition 16
{
	{ Name "" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 2 }
	{ Subject2 2 }
	{ Event "not-blank" }
	{ Actions 1 }
	{ Action "++nc" }
}

# VIEWS AND GRAPHICAL SHAPES

View 4
{
	{ Index "0" }
	{ Parent 0 }
}

ArrowBox 5
{
	{ View 4 }
	{ Subject 1 }
	{ Position 110 90 }
	{ Size 80 40 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Box 6
{
	{ View 4 }
	{ Subject 2 }
	{ Position 110 210 }
	{ Size 80 40 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

TransitionArrow 7
{
	{ View 4 }
	{ Subject 3 }
	{ FromShape 5 }
	{ ToShape 5 }
	{ Curved True }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 4 }
	{ Point 150 80 }
	{ Point 180 80 }
	{ Point 180 100 }
	{ Point 150 100 }
	{ NamePosition 165 80 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
	{ AnchorPoint 198 107 }
	{ Separator Up }
	{ LineNumber 2 }
}

TransitionArrow 10
{
	{ View 4 }
	{ Subject 8 }
	{ FromShape 5 }
	{ ToShape 6 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 110 110 }
	{ Point 110 190 }
	{ NamePosition 96 150 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
	{ AnchorPoint 110 152 }
	{ Separator Right }
	{ LineNumber 1 }
}

TransitionArrow 11
{
	{ View 4 }
	{ Subject 9 }
	{ FromShape 5 }
	{ ToShape 5 }
	{ Curved True }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 4 }
	{ Point 70 80 }
	{ Point 40 80 }
	{ Point 40 100 }
	{ Point 70 100 }
	{ NamePosition 40 90 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
	{ AnchorPoint 21 89 }
	{ Separator Right }
	{ LineNumber 1 }
}

TransitionArrow 14
{
	{ View 4 }
	{ Subject 12 }
	{ FromShape 6 }
	{ ToShape 5 }
	{ Curved True }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 4 }
	{ Point 70 210 }
	{ Point 30 180 }
	{ Point 30 130 }
	{ Point 90 110 }
	{ NamePosition 30 155 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
	{ AnchorPoint 15 160 }
	{ Separator Right }
	{ LineNumber 2 }
}

TransitionArrow 15
{
	{ View 4 }
	{ Subject 13 }
	{ FromShape 6 }
	{ ToShape 5 }
	{ Curved True }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 4 }
	{ Point 150 210 }
	{ Point 210 180 }
	{ Point 210 130 }
	{ Point 130 110 }
	{ NamePosition 210 155 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
	{ AnchorPoint 194 158 }
	{ Separator Right }
	{ LineNumber 2 }
}

TransitionArrow 17
{
	{ View 4 }
	{ Subject 16 }
	{ FromShape 6 }
	{ ToShape 6 }
	{ Curved True }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 4 }
	{ Point 125 230 }
	{ Point 130 260 }
	{ Point 91 258 }
	{ Point 91 230 }
	{ NamePosition 110 259 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
	{ AnchorPoint 108 278 }
	{ Separator Up }
	{ LineNumber 1 }
}

