modif stc

diff --git a/xpl.dot b/xpl.dot
new file mode 100644 (file)
index 0000000..14b0e7d
--- /dev/null
+++ b/xpl.dot
@@ -0,0 +1,75 @@
+digraph{
+000 [label="(00,0)"]
+100 [label="(00,0)"]
+200 [label="(00,2)", style="dashed"]
+300 [label="(00,5)"]
+400 [label="(00,9)", style="dashed"]
+500 [label="(00,5)"]
+600 [label="(00~00,13)"]
+700 [label="(00,11)"]
+101 [label="(01,4)"]
+201 [label="(01~00,6)"]
+301 [label="(01,0)"]
+401 [label="(01~00,4)"]
+501 [label="(01,4)"]
+601 [label="(01,12)", style="dashed"]
+701 [label="(01,4)"]
+210 [label="(10,4)", style="dashed"]
+410 [label="(10,0)", style="dashed"]
+610 [label="(10~01,4)"]
+211 [label="(11~01,0)"]
+411 [label="(11~01,5)"]
+611 [label="(11,5)", style="dashed"]
+800 [label="(00,11)", style="dashed"]
+801 [label="(01,4)",style="bold"]
+810 [label="(10,10)", style="dashed"]
+811 [label="(11,17)"]
+
+000 -> 100 [label="+0*01",style="bold"]
+000 -> 101 [label="+1*01"]
+100 -> 200 [label="+0*11"] //
+100 -> 211 [label="+1*11",style="bold"]
+101 -> 201 [label="+0*11"]
+101 -> 210 [label="+1*11"] //
+// 1
+
+
+
+201 -> 300 [label="+0*01", style="dashed"]
+201 -> 301 [label="+1*01", style="dashed"]
+211 -> 301 [label="+0*01",style="bold"]
+211 -> 300 [label="+1*01"]
+300 -> 400 [label="+0*11"]
+300 -> 411 [label="+1*11"]
+301 -> 401 [label="+0*11",style="bold"]
+301 -> 410 [label="+1*11"]
+//1
+
+401 -> 500 [label="+0*01", style="dashed"]
+401 -> 501 [label="+1*01",style="bold"]
+411 -> 501 [label="+0*01", style="dashed"]
+411 -> 500 [label="+1*01"]
+500 -> 600 [label="+0*11"]
+500 -> 611 [label="+1*11"]
+501 -> 601 [label="+0*11"]
+501 -> 610 [label="+1*11",style="bold"]
+//1
+
+600 -> 700 [label="+0*01", style="dashed"]
+600 -> 701 [label="+1*01", style="dashed"]
+610 -> 701 [label="+0*01",style="bold"]
+610 -> 700 [label="+1*01"]
+700 -> 800 [label="+0*11"]
+700 -> 811 [label="+1*11"]
+701 -> 801 [label="+0*11",style="bold"]
+701 -> 810 [label="+1*11"]
+
+
+
+}
+
+
+/*
+([0, 1, 0, 1, 1, 1, 0, 0], [0, 1, 0, 0, 1, 1, 0, 0], [1, 3])
+
+*/
\ No newline at end of file

diff --git a/xpl.ps b/xpl.ps
new file mode 100644 (file)
index 0000000..0679777
--- /dev/null
+++ b/xpl.ps
@@ -0,0 +1,1150 @@
+%!PS-Adobe-3.0
+%%Creator: graphviz version 2.26.3 (20100126.1600)
+%%Title: _anonymous_0
+%%Pages: (atend)
+%%BoundingBox: (atend)
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {   % i j npages
+       /npages exch def
+       /j exch def
+       /i exch def
+       /str 10 string def
+       npages 1 gt {
+               gsave
+                       coordfont setfont
+                       0 0 moveto
+                       (\() show i str cvs show (,) show j str cvs show (\)) show
+               grestore
+       } if
+} bind def
+
+/set_font {
+       findfont exch
+       scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {                 % width text
+       /text exch def
+       /width exch def
+       gsave
+               width 0 gt {
+                       [] 0 setdash
+                       text stringwidth pop width exch sub text length div 0 text ashow
+               } if
+       grestore
+} def
+
+/boxprim {                             % xcorner ycorner xsize ysize
+               4 2 roll
+               moveto
+               2 copy
+               exch 0 rlineto
+               0 exch rlineto
+               pop neg 0 rlineto
+               closepath
+} bind def
+
+/ellipse_path {
+       /ry exch def
+       /rx exch def
+       /y exch def
+       /x exch def
+       matrix currentmatrix
+       newpath
+       x y translate
+       rx ry scale
+       0 0 1 0 360 arc
+       setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+       [       % layer color sequence - darkest to lightest
+               [0 0 0]
+               [.2 .8 .8]
+               [.4 .8 .8]
+               [.6 .8 .8]
+               [.8 .8 .8]
+       ]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+       layercolorseq curlayer 1 sub layerlen mod get
+       aload pop sethsbcolor
+       /nodecolor {nopcolor} def
+       /edgecolor {nopcolor} def
+       /graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+       /myupper exch def
+       /mylower exch def
+       curlayer mylower lt
+       curlayer myupper gt
+       or
+       {invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+1 setmiterlimit
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 675 818
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 639 782 boxprim clip newpath
+1 1 set_scale 0 rotate 40 41 translate
+% 000
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+413 755 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+391.5 751.4 moveto 43 (\(00,0\)) alignedtext
+grestore
+% 100
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+346 663 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+324.5 659.4 moveto 43 (\(00,0\)) alignedtext
+grestore
+% 000->100
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 398.92 737.48 moveto
+394.1 731.37 388.74 724.44 384 718 curveto
+377.22 708.79 370.03 698.53 363.75 689.38 curveto
+stroke
+0 0 0 edgecolor
+newpath 366.58 687.31 moveto
+358.05 681.03 lineto
+360.8 691.26 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 366.58 687.31 moveto
+358.05 681.03 lineto
+360.8 691.26 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+384 705.4 moveto 47 (+0*01) alignedtext
+grestore
+% 101
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+468 663 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+446.5 659.4 moveto 43 (\(01,4\)) alignedtext
+grestore
+% 000->101
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 423.87 736.82 moveto
+431.85 723.47 442.83 705.1 451.84 690.02 curveto
+stroke
+0 0 0 edgecolor
+newpath 455.03 691.52 moveto
+457.16 681.14 lineto
+449.02 687.93 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 455.03 691.52 moveto
+457.16 681.14 lineto
+449.02 687.93 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+445 705.4 moveto 47 (+1*01) alignedtext
+grestore
+% 200
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+346 571 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+324.5 567.4 moveto 43 (\(00,2\)) alignedtext
+grestore
+% 100->200
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 346 644.38 moveto
+346 631.54 346 614.22 346 599.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 349.5 599.59 moveto
+346 589.59 lineto
+342.5 599.59 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 349.5 599.59 moveto
+346 589.59 lineto
+342.5 599.59 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+346 613.4 moveto 47 (+0*11) alignedtext
+grestore
+% 211
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+224 571 62.93 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+187.5 567.4 moveto 73 (\(11~01,0\)) alignedtext
+grestore
+% 100->211
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 324.05 647.31 moveto
+315.01 640.78 304.45 633.09 295 626 curveto
+281.49 615.87 266.71 604.47 254.15 594.69 curveto
+stroke
+0 0 0 edgecolor
+newpath 256.28 591.92 moveto
+246.25 588.52 lineto
+251.97 597.43 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 256.28 591.92 moveto
+246.25 588.52 lineto
+251.97 597.43 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+295 613.4 moveto 47 (+1*11) alignedtext
+grestore
+% 300
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+231 479 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+209.5 475.4 moveto 43 (\(00,5\)) alignedtext
+grestore
+% 400
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+275 387 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+253.5 383.4 moveto 43 (\(00,9\)) alignedtext
+grestore
+% 300->400
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 239.69 460.82 moveto
+246.02 447.59 254.7 429.44 261.87 414.45 curveto
+stroke
+0 0 0 edgecolor
+newpath 265.17 415.67 moveto
+266.33 405.14 lineto
+258.85 412.65 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 265.17 415.67 moveto
+266.33 405.14 lineto
+258.85 412.65 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+256 429.4 moveto 47 (+0*11) alignedtext
+grestore
+% 411
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+153 387 62.93 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+116.5 383.4 moveto 73 (\(11~01,5\)) alignedtext
+grestore
+% 300->411
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 215.4 461.82 moveto
+209.85 455.62 203.59 448.54 198 442 curveto
+190.15 432.81 181.71 422.59 174.29 413.49 curveto
+stroke
+0 0 0 edgecolor
+newpath 176.83 411.06 moveto
+167.81 405.5 lineto
+171.39 415.47 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 176.83 411.06 moveto
+167.81 405.5 lineto
+171.39 415.47 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+198 429.4 moveto 47 (+1*11) alignedtext
+grestore
+% 500
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+162 295 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+140.5 291.4 moveto 43 (\(00,5\)) alignedtext
+grestore
+% 600
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+69 203 68.8 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+28 199.4 moveto 82 (\(00~00,13\)) alignedtext
+grestore
+% 500->600
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 144.94 278.13 moveto
+130.88 264.22 110.72 244.27 94.71 228.43 curveto
+stroke
+0 0 0 edgecolor
+newpath 96.79 225.57 moveto
+87.22 221.03 lineto
+91.87 230.55 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 96.79 225.57 moveto
+87.22 221.03 lineto
+91.87 230.55 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+124 245.4 moveto 47 (+0*11) alignedtext
+grestore
+% 611
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+197 203 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+175.5 199.4 moveto 43 (\(11,5\)) alignedtext
+grestore
+% 500->611
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 169.08 276.38 moveto
+174.05 263.33 180.78 245.65 186.38 230.91 curveto
+stroke
+0 0 0 edgecolor
+newpath 189.76 231.87 moveto
+190.05 221.28 lineto
+183.22 229.38 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 189.76 231.87 moveto
+190.05 221.28 lineto
+183.22 229.38 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+182 245.4 moveto 47 (+1*11) alignedtext
+grestore
+% 700
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+90 111 48.08 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+64 107.4 moveto 52 (\(00,11\)) alignedtext
+grestore
+% 600->700
+gsave
+1 setlinewidth
+dashed
+0 0 0 edgecolor
+newpath 73.25 184.38 moveto
+76.18 171.54 80.14 154.22 83.47 139.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 86.94 140.12 moveto
+85.76 129.59 lineto
+80.12 138.56 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 86.94 140.12 moveto
+85.76 129.59 lineto
+80.12 138.56 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+82 153.4 moveto 47 (+0*01) alignedtext
+grestore
+% 701
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+311 111 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+289.5 107.4 moveto 43 (\(01,4\)) alignedtext
+grestore
+% 600->701
+gsave
+1 setlinewidth
+dashed
+0 0 0 edgecolor
+newpath 98.5 186.11 moveto
+124.99 171.03 160.81 150.87 168 148 curveto
+198.65 135.75 234.62 126.47 262.82 120.26 curveto
+stroke
+0 0 0 edgecolor
+newpath 263.79 123.64 moveto
+272.83 118.12 lineto
+262.32 116.79 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 263.79 123.64 moveto
+272.83 118.12 lineto
+262.32 116.79 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+168 153.4 moveto 47 (+1*01) alignedtext
+grestore
+% 800
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+83 19 48.08 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+57 15.4 moveto 52 (\(00,11\)) alignedtext
+grestore
+% 700->800
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 88.58 92.38 moveto
+87.61 79.54 86.29 62.22 85.18 47.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 88.66 47.3 moveto
+84.41 37.59 lineto
+81.68 47.83 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 88.66 47.3 moveto
+84.41 37.59 lineto
+81.68 47.83 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+88 61.4 moveto 47 (+0*11) alignedtext
+grestore
+% 811
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+197 19 48.08 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+171 15.4 moveto 52 (\(11,17\)) alignedtext
+grestore
+% 700->811
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 112.86 94.57 moveto
+121.24 88.33 130.7 81.03 139 74 curveto
+150.31 64.42 162.27 53.27 172.38 43.51 curveto
+stroke
+0 0 0 edgecolor
+newpath 174.98 45.86 moveto
+179.7 36.38 lineto
+170.1 40.85 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 174.98 45.86 moveto
+179.7 36.38 lineto
+170.1 40.85 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+158 61.4 moveto 47 (+1*11) alignedtext
+grestore
+% 201
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+468 571 62.93 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+431.5 567.4 moveto 73 (\(01~00,6\)) alignedtext
+grestore
+% 101->201
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 468 644.38 moveto
+468 631.54 468 614.22 468 599.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 471.5 599.59 moveto
+468 589.59 lineto
+464.5 599.59 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 471.5 599.59 moveto
+468 589.59 lineto
+464.5 599.59 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+468 613.4 moveto 47 (+0*11) alignedtext
+grestore
+% 210
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+590 571 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+568.5 567.4 moveto 43 (\(10,4\)) alignedtext
+grestore
+% 101->210
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 489.95 647.31 moveto
+498.99 640.78 509.55 633.09 519 626 curveto
+533.12 615.41 548.64 603.43 561.55 593.36 curveto
+stroke
+0 0 0 edgecolor
+newpath 563.9 595.97 moveto
+569.62 587.06 lineto
+559.59 590.46 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 563.9 595.97 moveto
+569.62 587.06 lineto
+559.59 590.46 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+542 613.4 moveto 47 (+1*11) alignedtext
+grestore
+% 201->300
+gsave
+1 setlinewidth
+dashed
+0 0 0 edgecolor
+newpath 433.86 555.35 moveto
+421.11 549.14 406.66 541.66 394 534 curveto
+382.28 526.92 381.37 521.87 369 516 curveto
+340.68 502.57 306.7 493.38 279.54 487.52 curveto
+stroke
+0 0 0 edgecolor
+newpath 280 484.04 moveto
+269.49 485.44 lineto
+278.57 490.89 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 280 484.04 moveto
+269.49 485.44 lineto
+278.57 490.89 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+394 521.4 moveto 47 (+0*01) alignedtext
+grestore
+% 301
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+430 479 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+408.5 475.4 moveto 43 (\(01,0\)) alignedtext
+grestore
+% 201->301
+gsave
+1 setlinewidth
+dashed
+0 0 0 edgecolor
+newpath 460.31 552.38 moveto
+454.92 539.33 447.62 521.65 441.53 506.91 curveto
+stroke
+0 0 0 edgecolor
+newpath 444.6 505.18 moveto
+437.55 497.28 lineto
+438.13 507.85 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 444.6 505.18 moveto
+437.55 497.28 lineto
+438.13 507.85 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+452 521.4 moveto 47 (+1*01) alignedtext
+grestore
+% 401
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+397 387 62.93 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+360.5 383.4 moveto 73 (\(01~00,4\)) alignedtext
+grestore
+% 301->401
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 423.32 460.38 moveto
+418.67 447.41 412.38 429.88 407.12 415.2 curveto
+stroke
+0 0 0 edgecolor
+newpath 410.34 413.82 moveto
+403.67 405.59 lineto
+403.75 416.18 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 410.34 413.82 moveto
+403.67 405.59 lineto
+403.75 416.18 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+416 429.4 moveto 47 (+0*11) alignedtext
+grestore
+% 410
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+519 387 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+497.5 383.4 moveto 43 (\(10,0\)) alignedtext
+grestore
+% 301->410
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 447.05 462.15 moveto
+453.35 455.87 460.54 448.64 467 442 curveto
+476.45 432.28 486.72 421.47 495.62 412.02 curveto
+stroke
+0 0 0 edgecolor
+newpath 498.43 414.14 moveto
+502.73 404.46 lineto
+493.33 409.35 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 498.43 414.14 moveto
+502.73 404.46 lineto
+493.33 409.35 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+482 429.4 moveto 47 (+1*11) alignedtext
+grestore
+% 401->500
+gsave
+1 setlinewidth
+dashed
+0 0 0 edgecolor
+newpath 362.86 371.35 moveto
+350.11 365.14 335.66 357.66 323 350 curveto
+311.28 342.92 310.36 337.89 298 332 curveto
+270.29 318.79 237.07 309.64 210.4 303.74 curveto
+stroke
+0 0 0 edgecolor
+newpath 211.03 300.3 moveto
+200.52 301.64 lineto
+209.58 307.15 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 211.03 300.3 moveto
+200.52 301.64 lineto
+209.58 307.15 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+323 337.4 moveto 47 (+0*01) alignedtext
+grestore
+% 501
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+358 295 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+336.5 291.4 moveto 43 (\(01,4\)) alignedtext
+grestore
+% 401->501
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 389.11 368.38 moveto
+383.52 355.2 375.93 337.31 369.65 322.49 curveto
+stroke
+0 0 0 edgecolor
+newpath 372.87 321.12 moveto
+365.75 313.28 lineto
+366.43 323.85 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 372.87 321.12 moveto
+365.75 313.28 lineto
+366.43 323.85 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+380 337.4 moveto 47 (+1*01) alignedtext
+grestore
+% 601
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+448 203 48.08 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+422 199.4 moveto 52 (\(01,12\)) alignedtext
+grestore
+% 501->601
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 374.93 277.7 moveto
+388.67 263.65 408.22 243.66 423.65 227.9 curveto
+stroke
+0 0 0 edgecolor
+newpath 426.35 230.14 moveto
+430.84 220.54 lineto
+421.35 225.24 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 426.35 230.14 moveto
+430.84 220.54 lineto
+421.35 225.24 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+411 245.4 moveto 47 (+0*11) alignedtext
+grestore
+% 610
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+319 203 62.93 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+282.5 199.4 moveto 73 (\(10~01,4\)) alignedtext
+grestore
+% 501->610
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 350.29 276.82 moveto
+344.72 263.68 337.09 245.68 330.76 230.74 curveto
+stroke
+0 0 0 edgecolor
+newpath 333.95 229.29 moveto
+326.82 221.45 lineto
+327.5 232.03 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 333.95 229.29 moveto
+326.82 221.45 lineto
+327.5 232.03 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+341 245.4 moveto 47 (+1*11) alignedtext
+grestore
+% 801
+gsave
+2 setlinewidth
+bold
+0 0 0 nodecolor
+307 19 41.22 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+285.5 15.4 moveto 43 (\(01,4\)) alignedtext
+grestore
+% 701->801
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 310.19 92.38 moveto
+309.63 79.54 308.88 62.22 308.24 47.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 311.74 47.43 moveto
+307.81 37.59 lineto
+304.75 47.73 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 311.74 47.43 moveto
+307.81 37.59 lineto
+304.75 47.73 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+309 61.4 moveto 47 (+0*11) alignedtext
+grestore
+% 810
+gsave
+1 setlinewidth
+dashed
+0 0 0 nodecolor
+414 19 48.08 18.38 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+388 15.4 moveto 52 (\(10,10\)) alignedtext
+grestore
+% 701->810
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 333.5 95.09 moveto
+342.02 88.79 351.67 81.32 360 74 curveto
+370.63 64.66 381.69 53.66 391.01 43.95 curveto
+stroke
+0 0 0 edgecolor
+newpath 393.73 46.17 moveto
+398.08 36.51 lineto
+388.66 41.35 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 393.73 46.17 moveto
+398.08 36.51 lineto
+388.66 41.35 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+378 61.4 moveto 47 (+1*11) alignedtext
+grestore
+% 610->700
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 292.23 186.12 moveto
+272.54 174.25 244.83 158.65 219 148 curveto
+194.12 137.74 165.43 129.21 141.44 122.93 curveto
+stroke
+0 0 0 edgecolor
+newpath 142.02 119.47 moveto
+131.47 120.38 lineto
+140.29 126.25 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 142.02 119.47 moveto
+131.47 120.38 lineto
+140.29 126.25 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+255 153.4 moveto 47 (+1*01) alignedtext
+grestore
+% 610->701
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 317.38 184.38 moveto
+316.26 171.54 314.76 154.22 313.49 139.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 316.97 139.25 moveto
+312.62 129.59 lineto
+310 139.86 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 316.97 139.25 moveto
+312.62 129.59 lineto
+310 139.86 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+315 153.4 moveto 47 (+0*01) alignedtext
+grestore
+% 211->300
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 225.42 552.38 moveto
+226.39 539.54 227.71 522.22 228.82 507.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 232.32 507.83 moveto
+229.59 497.59 lineto
+225.34 507.3 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 232.32 507.83 moveto
+229.59 497.59 lineto
+225.34 507.3 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+228 521.4 moveto 47 (+1*01) alignedtext
+grestore
+% 211->301
+gsave
+2 setlinewidth
+bold
+0 0 0 edgecolor
+newpath 250.77 554.23 moveto
+270.1 542.56 297.07 527.16 322 516 curveto
+342.43 506.86 365.85 498.58 385.65 492.19 curveto
+stroke
+0 0 0 edgecolor
+newpath 386.87 495.47 moveto
+395.34 489.11 lineto
+384.75 488.8 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 386.87 495.47 moveto
+395.34 489.11 lineto
+384.75 488.8 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+322 521.4 moveto 47 (+0*01) alignedtext
+grestore
+% 411->500
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 154.82 368.38 moveto
+156.08 355.54 157.77 338.22 159.2 323.63 curveto
+stroke
+0 0 0 edgecolor
+newpath 162.69 323.88 moveto
+160.18 313.59 lineto
+155.72 323.2 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 162.69 323.88 moveto
+160.18 313.59 lineto
+155.72 323.2 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+158 337.4 moveto 47 (+1*01) alignedtext
+grestore
+% 411->501
+gsave
+1 setlinewidth
+dashed
+0 0 0 edgecolor
+newpath 179.78 370.25 moveto
+199.11 358.59 226.08 343.19 251 332 curveto
+271.25 322.91 294.45 314.64 314.06 308.23 curveto
+stroke
+0 0 0 edgecolor
+newpath 315.21 311.54 moveto
+323.67 305.15 lineto
+313.07 304.87 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 315.21 311.54 moveto
+323.67 305.15 lineto
+313.07 304.87 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+251 337.4 moveto 47 (+0*01) alignedtext
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+%%BoundingBox: 36 36 675 818
+end
+restore
+%%EOF