From 89c8f7b5d56849a8291bc4a78c91881ac9ab9c3d Mon Sep 17 00:00:00 2001 From: couchot Date: Mon, 11 Jun 2012 16:43:54 +0200 Subject: [PATCH 1/1] modif stc --- xpl.dot | 75 ++++ xpl.ps | 1150 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 1225 insertions(+) create mode 100644 xpl.dot create mode 100644 xpl.ps diff --git a/xpl.dot b/xpl.dot new file mode 100644 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 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 -- 2.39.5