From 28b18f7c0f58e36c0c2ed675a8bcc3c38c3aee96 Mon Sep 17 00:00:00 2001 From: couchot Date: Fri, 21 Aug 2015 11:25:47 +0200 Subject: [PATCH 1/1] ajout d'images --- images/h23prng-eps-converted-to.pdf | Bin 0 -> 5412 bytes images/h23prng.eps | 619 ++++++++++++++++++++++++++++ images/h2prng-eps-converted-to.pdf | Bin 0 -> 4870 bytes images/h2prng.eps | 521 +++++++++++++++++++++++ images/h2prng.ps | 521 +++++++++++++++++++++++ 5 files changed, 1661 insertions(+) create mode 100644 images/h23prng-eps-converted-to.pdf create mode 100644 images/h23prng.eps create mode 100644 images/h2prng-eps-converted-to.pdf create mode 100644 images/h2prng.eps create mode 100644 images/h2prng.ps diff --git a/images/h23prng-eps-converted-to.pdf b/images/h23prng-eps-converted-to.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9e34229baa93a006372d6d53f1854da7d881c78e GIT binary patch literal 5412 zcmb_A2{=^i-%8RQ-P=Z%t~wDTnK`qM8G~#iMKlzVa?Bh|&DPA(4Be!aqSd8DNol{@ zX`v{jP;N!HO(N~OEff*{?-{h*?)Uw_?|C|&8Rvc9-@d$^PQOQh#ReAG&3eVjeVW9?B-RUV<%E<)E*DN; zRsE?`e0`Io($ZVn^(;RlbCl)2TIJn}Ahl=iW7@u@&ZJJ|+b9`&*1RnyI4(=Sy>r83 zgJESw9~W|uI6FTqTw)Y5ZtRvJ1FX%LRA$O0F-z=W=bY9@CG#rbVU@Z3xaf! zqcx`pA(E0CR%JJqKs${q*~deq6TCBWtvm99-)w3z$+&2%cS3P<>y`^Q26g^6JI|=h z(0538ROcMs50BP8>M142Js(+agmQyJ#!Z*69GsvrHQO}o;5hfz6&-=++^7EWwvcAq zKqL8-wUE!acb8If`J(o&m7%GZxmP!Bn2UT&-iMl+c?TP~3hn1P$RXV3zXbN|qJd5&kshYI2;i1c$_BOm0 zPGBDU#Ny8n@Fm+1blW}fw};M(Cbp0+o(@=UKhIewWNnDuDbm;$|#Q;%C5C#SykHoN^Nf2>2w_7wU7 zorDW>$`ol&s+benT}@n0n8iGI%fI4Nx)MpzF|uy-ml--6bx&w`=rXfAtdZ<%a{a93 zF^gp{Hl8kd9vYUjVn)L1psYU?cQt#5GM$TZ8n$jtYt`}irNUV1En1TtQx~|ne4!h@b%}aEe$rr_TP#>x;C3c-pb54{tlM_e}RtC_50>^*bj#3`43M?bU?hnei(y|`YW>!BQ! zUVCEbq8aUnkgb-F_#0jx)#whHcm3%ylRL5%?ZFFAWM9Tl0G;2YdzWK5FJg7kUlh=)yVs6mkjYf?h9$g))_P1I8 zezTiLeUsnHOP#+}Wb<%ejd$i8ZotcXxN@*hmW6{Kf~5&ZK8WAT219WdvRTCJ!AQUbJfkxlK0OjDYORn z3ll8)nnam8HcO-5b6C&z+=Q%C@3(C+AIQvH<=57je{^q-5sT%XT!#>AxdpWF6&_P( z>F=HhskAnTcfg z9UHkvU9I2vm8N-NrkgV=meoCg2Xm6xNfL7FB#uv&N8IC2iAg@^J3bt1)4!^d*tXo- zd}e9oI9of#^hJjg`R~WM8>|RcxV+^$j&68X>%iILxTx&V@|pU^JBPN;*zB&i_tLd^ zP9dTrZ{GTQz3<7(YXl+N6VIZp>YDqf49!iP4yQ;z+^(plJ2)`s9cZa|7Jtvjc<;^O zCtdzp;j#U~!ey-v%Z>Iab{?G9G(IsakUc2Sas`(aTq;6bFle~IKv#&W5L$8iJ8~s z!S=%Vnb~FW#}@jPT;A6a>TR7;-+-N>__eGLe7q!d=UuZ&)4I-PbEY_?VU!K$7230_|?>OVwgkP@-RR2ubp~~67O>x?;FJ@ zHIAH9JtuQl;E0{4*EDT>m9w9Ce#P)Dhc@pkJYW0B;cjr@i8HY;H;=FROSevLyNNZh z=t+WI&1Uo3Yy154h6-8&gX!UWEVtDb4!ZL!)G9`Jg>+_1!hVCdrR-1_o8co;o%dfm zSbV2!-s<<2?^}P_*Xf~t4$pu2VzI%}Q`Q1vr14T+o8eg8)gi+h2<6K3S@%c7qer>k zRb86?;FoL*e&UMC_k+}@qgx|8)}blQpI$na5XW?`dNn$spngE3$&oSl^3?HJX+1i3 z)ibxDGErau18;cG#5*PapUSqU5&HHRU;1f4i~@!IkVq8vK}BN3Rjz?TDBzgEVnB2X zGn4=hm8cAZ=y=B^zyeeyk5&p%73jr&O1aP<#X?}vtsyu7)nEYJLxXwxW1t^HRGbb# z;mZL!m8xBU_6)m$HK3@1@U|`>fUQ2Ua2CC79#8{vL0Z975IjvRQb8dETxXe#8Om663C^9OlvTAR3%i3 z6_{KJad0A9gJ@5HLB&cH<`#u0AqE5XM*7~F6gW^U!lG0m5RHkO9{drQ6bjV$!F?kG zBa&Da2>@j-GL`uA+CMrR!vg`g9Z);Ba2?P^~N~1vx zHVb00S)ur>7O8?*OeV{o0K2G!cx-_K5Eh7H3M!6_>RaLlz|U}O0_+96DHgiOA|)u$ z3iiiP=`4s%CBQynl?rI2)g0Fp&;f=4QE3AUP5;gsFrOJnN>*tDUpDNwA zc}u6zyEh^o<16oXWxV#h;A=2z_Ta2DRfToDsyd#XK^$*Xhm+Tv#l)VrhyjBm_?Omt zP0MUCuuY=fq)#jQqx$~%F|;)yX~07B8bgAQW|{0 zbU&9!q|YAjxbHZ$J7_%B%8IF%L$ae1nIRWQbmEDfP?5Jw$!z}%my3)2jHhhvK%ZEr zj-C{6e)!=Q`GJSKhyT89?zWVml@m*fi;H&&!=g%yiz}haP$^VZOlall8murV5v(4T zEOX|zpKr^%cBI>`wJt2>wBq8q`n9{B-fFhLz9ds9zqI#sa^q%iPJ`Z^B->lQnKd`* zGp5^Ts|9NHhSsJvxmWLe6laUy{pQS_zopwSxZ-sC`!>@f=|#RB;_+rTwg;uAjWEgV z$T-)@j%<@(Vis}Kdh*2jz~4?Tp4XPodHI*QtC-KTyL~AsWRGd?SuNa z8Sm9EUe{>!{BO3)>;2D1Hn(5^bEF5qUsy-l~vX0$9Rvs;w0U;|2e0cUPt7=X4Qx8D7=lG>)hM4_|TY&@eO;fh?RHJ znRjNA4em~06@?acxU$Q;EM1=DAB%m$e^*o&r+@rb&&Kelld^g&CEaZsKT0N@8LK#w zSyj>!Mji(1>gptScO~Pw_-#ek)~>J9vcIZ*3DO`R@BRp-(wUskAsC=lTS6obOi zNU_Y3_`0Bo2#H0G#6YGG#Yf?WMv14yDpCK~=>fvn1wxL9=eY=I*&$j1-DE7Da^(VuN@fuONu?-)D*%0^mmpX<5~DCo!G&S9T1{5d$#P{R zOyzJmFog!wXe0nZQpLzHL_?CPECD~QAmX6UXfhR9D-#*i1y~#eQ^^##pHY9c70YE1 z&KL=oM`Mn}=xDKsi%=L;5f!D7SPTRqQK=CW5(PXY8igg|gh$Yr)Cjbno#HDozu^ZC z07E*k19;#vn;~YOF{GUa{vFt(2sVzNcdS`MYK|)O&F07MkOdNn+kZI3M3W@ zxe;=u6anFmC={T{A{a0{48oM?!~=(z7?Yq*+H`c0V7)IAF`iyr2_lPhBx*<^Gy;j1 zU_>V?daoZOVyE60Ee8CB%D;F?y9E**I1K(=Mw|%H4|;wap)a))RAfh@8n2As)n4w0sVorbc(M^G6e0ivN%>zO`trc$e@dP? z-)7I8iGXSV?o}Hr`ozz3twxDP5GW9pLBOk9?}LwNbS4x5_3hCp95CaIEj(XjB$3?6>r2G}iZg8FVnR{u7S!Jsgex{T_?` zoh)=Z^D9{}B?2Z#CHNH*g8jv@;DW<|V1Zl?ZX)<73Bg{n2sxx3E5X3(4u$aCX)HdA z1-@K4EDGC=#;4hH_#SKyh3UcaaHqLA{db5^{F0->5GAH{5QD?!5Ui{`eEEd`0MI@L AWB>pF literal 0 HcmV?d00001 diff --git a/images/h23prng.eps b/images/h23prng.eps new file mode 100644 index 0000000..14e603b --- /dev/null +++ b/images/h23prng.eps @@ -0,0 +1,619 @@ +%!PS-Adobe-3.0 +%%Creator: graphviz version 2.38.0 (20140413.2041) +%%Title: %3 +%%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 +/tapered { } 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 500 341 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 464 305 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% 00 +gsave +1 setlinewidth +0 0 0 nodecolor +301.35 279 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +294.35 275.3 moveto 14 (00) alignedtext +grestore +% 00->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 325.88 286.75 moveto +336.86 287.49 346.35 284.91 346.35 279 curveto +346.35 275.03 342.06 272.56 335.92 271.59 curveto +stroke +0 0 0 edgecolor +newpath 336 268.09 moveto +325.88 271.25 lineto +335.75 275.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 336 268.09 moveto +325.88 271.25 lineto +335.75 275.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +346.35 275.3 moveto 103 (11,22,112,211,222) alignedtext +grestore +% 10 +gsave +1 setlinewidth +0 0 0 nodecolor +116.35 192 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +109.35 188.3 moveto 14 (10) alignedtext +grestore +% 00->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 274.08 278.22 moveto +217.67 278.04 91.19 274.09 64.35 243 curveto +53.37 230.28 68.18 217.16 84.76 207.55 curveto +stroke +0 0 0 edgecolor +newpath 86.84 210.41 moveto +94 202.6 lineto +83.54 204.24 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 86.84 210.41 moveto +94 202.6 lineto +83.54 204.24 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +64.35 231.8 moveto 86 (21,111,122,221) alignedtext +grestore +% 11 +gsave +1 setlinewidth +0 0 0 nodecolor +207.35 18 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +200.35 14.3 moveto 14 (11) alignedtext +grestore +% 00->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 314.49 262.81 moveto +341.16 230.03 396.8 150.5 368.35 87 curveto +347.58 40.64 285.11 25.83 244.37 21.14 curveto +stroke +0 0 0 edgecolor +newpath 244.57 17.64 moveto +234.27 20.13 lineto +243.87 24.61 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 244.57 17.64 moveto +234.27 20.13 lineto +243.87 24.61 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +374.35 144.8 moveto 38 (12,212) alignedtext +grestore +% 01 +gsave +1 setlinewidth +0 0 0 nodecolor +211.35 105 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +204.35 101.3 moveto 14 (01) alignedtext +grestore +% 00->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 305.35 260.76 moveto +310.9 232.05 317.18 174.3 287.35 141 curveto +276.48 128.87 260.55 120.65 246.08 115.24 curveto +stroke +0 0 0 edgecolor +newpath 246.97 111.85 moveto +236.38 111.94 lineto +244.72 118.47 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 246.97 111.85 moveto +236.38 111.94 lineto +244.72 118.47 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +309.35 188.3 moveto 21 (121) alignedtext +grestore +% 10->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 129.95 208.18 moveto +140.71 219.32 156.65 234.02 173.35 243 curveto +202.19 258.51 238.46 267.59 265.02 272.59 curveto +stroke +0 0 0 edgecolor +newpath 264.59 276.07 moveto +275.05 274.38 lineto +265.81 269.18 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 264.59 276.07 moveto +275.05 274.38 lineto +265.81 269.18 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +173.35 231.8 moveto 86 (12,111,122,221) alignedtext +grestore +% 10->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 140.88 199.75 moveto +151.86 200.49 161.35 197.91 161.35 192 curveto +161.35 188.03 157.06 185.56 150.92 184.59 curveto +stroke +0 0 0 edgecolor +newpath 151 181.09 moveto +140.88 184.25 lineto +150.75 188.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 151 181.09 moveto +140.88 184.25 lineto +150.75 188.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +161.35 188.3 moveto 55 (11,22,121) alignedtext +grestore +% 10->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 93.33 182.4 moveto +53.55 166.17 -21.28 128.91 6.35 87 curveto +41.7 33.39 122.1 21.26 169.81 18.98 curveto +stroke +0 0 0 edgecolor +newpath 170.17 22.47 moveto +180.04 18.61 lineto +169.93 15.47 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 170.17 22.47 moveto +180.04 18.61 lineto +169.93 15.47 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +6.35 101.3 moveto 69 (112,211,222) alignedtext +grestore +% 10->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 139.95 182.96 moveto +154.15 177.19 171.83 168.27 184.35 156 curveto +191.21 149.28 196.75 140.43 201 132.06 curveto +stroke +0 0 0 edgecolor +newpath 204.19 133.48 moveto +205.23 122.94 lineto +197.84 130.53 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 204.19 133.48 moveto +205.23 122.94 lineto +197.84 130.53 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +195.35 144.8 moveto 38 (21,212) alignedtext +grestore +% 11->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 234.32 19.31 moveto +267.2 20.9 323.2 27.67 362.35 54 curveto +400.11 79.4 404.62 97.03 416.35 141 curveto +430.57 194.33 369.6 239.65 331 262.37 curveto +stroke +0 0 0 edgecolor +newpath 329.15 259.4 moveto +322.2 267.4 lineto +332.62 265.48 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 329.15 259.4 moveto +322.2 267.4 lineto +332.62 265.48 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +418.35 144.8 moveto 38 (21,212) alignedtext +grestore +% 11->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 183.39 26.92 moveto +158.56 36.62 121.32 55.73 106.35 87 curveto +94.65 111.43 100 142.75 106.5 164.61 curveto +stroke +0 0 0 edgecolor +newpath 103.2 165.78 moveto +109.6 174.22 lineto +109.86 163.63 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 103.2 165.78 moveto +109.6 174.22 lineto +109.86 163.63 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +106.35 101.3 moveto 69 (112,211,222) alignedtext +grestore +% 11->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 231.88 25.75 moveto +242.86 26.49 252.35 23.91 252.35 18 curveto +252.35 14.03 248.06 11.56 241.92 10.59 curveto +stroke +0 0 0 edgecolor +newpath 242 7.09 moveto +231.88 10.25 lineto +241.75 14.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 242 7.09 moveto +231.88 10.25 lineto +241.75 14.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +252.35 14.3 moveto 55 (11,22,121) alignedtext +grestore +% 11->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 224.35 32.16 moveto +230.63 38.08 237.02 45.62 240.35 54 curveto +244.22 63.75 240.09 73.88 233.85 82.45 curveto +stroke +0 0 0 edgecolor +newpath 231.16 80.22 moveto +227.41 90.13 lineto +236.52 84.72 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 231.16 80.22 moveto +227.41 90.13 lineto +236.52 84.72 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +241.35 57.8 moveto 86 (12,111,122,221) alignedtext +grestore +% 01->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 223.7 121.21 moveto +228.27 127.2 233.31 134.24 237.35 141 curveto +259.39 177.94 279.44 223.73 291.01 251.9 curveto +stroke +0 0 0 edgecolor +newpath 287.88 253.48 moveto +294.88 261.43 lineto +294.36 250.85 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 287.88 253.48 moveto +294.88 261.43 lineto +294.36 250.85 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +271.35 188.3 moveto 21 (121) alignedtext +grestore +% 01->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 188.37 114.73 moveto +174.97 120.65 158.4 129.5 146.35 141 curveto +139.04 147.98 132.86 157.13 128.05 165.68 curveto +stroke +0 0 0 edgecolor +newpath 124.92 164.12 moveto +123.38 174.61 lineto +131.12 167.37 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 124.92 164.12 moveto +123.38 174.61 lineto +131.12 167.37 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +146.35 144.8 moveto 38 (12,212) alignedtext +grestore +% 01->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 187.71 95.97 moveto +175.41 90.45 161.49 81.77 154.35 69 curveto +146.35 54.7 160.02 42.06 175.48 33.07 curveto +stroke +0 0 0 edgecolor +newpath 177.44 35.99 moveto +184.64 28.22 lineto +174.16 29.81 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 177.44 35.99 moveto +184.64 28.22 lineto +174.16 29.81 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +154.35 57.8 moveto 86 (21,111,122,221) alignedtext +grestore +% 01->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 235.88 112.75 moveto +246.86 113.49 256.35 110.91 256.35 105 curveto +256.35 101.03 252.06 98.56 245.92 97.59 curveto +stroke +0 0 0 edgecolor +newpath 246 94.09 moveto +235.88 97.25 lineto +245.75 101.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 246 94.09 moveto +235.88 97.25 lineto +245.75 101.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +256.35 101.3 moveto 103 (11,22,112,211,222) alignedtext +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 500 341 +end +restore +%%EOF diff --git a/images/h2prng-eps-converted-to.pdf b/images/h2prng-eps-converted-to.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a808b1c5b17758157a31d19f4ce5b3713a793e94 GIT binary patch literal 4870 zcmb^#2Ut_rx)#A2EZVwIYrP=6Kq0xgNp2QNC@X*xK!S)M$|bphNS4W^i36;awhFem zKm{CN6{z*OaTicf8E&Q0ifHQ|pdunF@XifEQTx{SdHuk1{`2p3{)20{zl4U+QHtyF z`&oq)6k_BTWO}0!H&YrPoaMx41!7(K^ZGCB1+w2bC z7aiRB+V-|vBlp!iZU1#%%#qmD>mJ68iJd;9xz^;K+Wq*}e`mEk_WqEhY({17DmkcV^~p4X~xheX#Ru+LQR$Q+nJhNz0rHRI$&03 zP0O*7C7P=*@9eA`XTEW7!Lwx@Y5P-Y(B#m5pLF=NEegJK)iJw+T2f+WZe?({+dTbc zO+Tn29$Is_>TKvsS*^zDV)FG_%!&63DhF;4xsgWLY%a&@9^_5`wJr2x<^iwv6Hm9_ zToCZ%n)~a<)NJ2%S-opdft`y}_9lnxXN>9};E^k&b`#tN?<jhH<+YVRD$uD#)Fk2zfY@Ybnt z+VB6Und#-XXWWBI?>)T8tVih={CumHvO-%cM^am{wH%|NapFiSa1F>+X*C_qT#feVYNdK8cckvaM4`SM!>n|(} zoR~SuKB?%tU(R;_)}QY5rMO@DsFLC0i|A3KI6c0&OcQWq@`K^yOEw(nTrG34tJq%e z*uVAb{&AZAwV$aA&m`Zzu=1fzoMgBA8k+$D3DdkNS5_=qmEiDr^Y((~gPIz8xasrw zue)eJc&!|8zp!%CqK3V`r7c95M_g#X1uvRMq}~}I`bu!e{fOhlwL@G^jEEikbKT_p zdch;rZ{uQfFP&d5`SxYn@AtaOPRt#7@Vr^Luqyrb8T6_~>(o{avR_p1*e2 zPaQjB2V@o&upKjUj~-a}{ZV(5>)kuD!E%`+_4eK3&uT8;avbA2x_x;3#kkrp8;+eU zG6l!wdphRo>}t~k)Ak>CGMx&d+AA~drk?d_XgunC>aU8X(JQhwSI({KR_sqO=WJ`S zoA&AV_xHuG&Kwkb{O76}QKF%~2iFvT;l+p?L>=K>GfN}gILMPyX47Opu`=vQ>FKB) zB`xB;xARYKDUDT^?H^|99Nk@oKMlHC(wJ3{c}A?UbJjEs^1pv+P(q09)ODPNKZWJ_ zEWdR!{>kB4S=1djg{M0r*G*aI!E9;#_{UMtFE@|NncuIVd3YMGRaiS5Sdm?k?1kk2 z2$RjASYhnf9W!#a9*4uRL>!jl3Kiz7GefZqaE$Od5Q~AvQNW=A*Aftm?5Pwu0ypYX z407BEx^1{YCzs(wEDZWF1V`d#0-y(&i9i_vIxd8ed;p0=2gnh`vH=Yk_5*vs(Fl=^ zJAwj0R<%eGJ&hc21A0Lg#f%Us#RB3P{EkdWkv=)c?<3_nbr6+U-h)*)HIK*-S9I7%H3BM%F z0I}I{2xeWQ40wu4K_nStAtp+?9{i)A3qx_4Za|oKr+z~CKFF{)TVrLv|viHdeY8>5{NS69^bCz>Zh zMPn;yEb6WeP+5r2(W$bE6XoUMBZF2y$8Y{4dxXc=WB++|m9FIK#vvhU~p z!OT@%!(wXoJ!@+pwQWsV*mITB=yPkMvvWRi%zvJD_ysqyU3UyER^`25V;lwlcHnjYn~neMh+Fx$$`KhrhIeoegp?9|I4 z3ZM30#tl$T&prK2)aumQ{@_ddw7HJk>vx8&XKXDiGd2Ij@01$}IRyV{p_s6F<7uHTklceFL0J{Y#K`Cv&`=Mu6O-|Xm? z-qp7(d%N1}B#oAa^kyi+Liw*!ROoHiWAbF2fD-UTl~zP;Iao%8R0P}Lg*YS zU};b&1rgw0>0tOoBlSu;@G~;Y7fthJq<9Hy? zqKGQ`6`9sZx9CI%eF0WQ!w8)L_X_Imwkn+#A_Zd!x)ef0O-WHH1bmdoWyx^{jl;$; z8iFVpGzR!+C?At66+9l!RpPzk^nKKPLmoH)0$IQhU?l(-ry@m;8${H=@DM04NoOQ_ zx;+Hkfl^_s`R_|B5SzdE0tl$p4MKn;kb=uWIoluH-C`yKL1_#w4dF&2909@-uu%^N zQ@~&d;kPhB@ByhGcvOK$*8f1-2eS{U&JYPwLY!#8^hsZ-=0IQJ1|t~^CY{BjGaxsh z51YY8Sac@%?cSq=g_D&~2$Ny!W=82wTdh+ff~~$il}Cq0#{-wYJw_uW%a~CtrGVvEEMo-E`Jjx3kVcC2pIgT zjfg4Gd-~oVqu0F?bYv0LM0Un^dNVmxSX*;%k-Pm}jk|+6g)AB1YO-kD`~_siF}Mg9 z;UFwau~8WeDnJ88`Cl-sb>Q~zif7uJ)iccgLLFe>K;d4Y-m5=6*JX>~1|D zIi|5tNC{bC2#SK4o%|qeFO1DZ!SMYi3}J)U!`m=m)!Q%zu=#Bm!eYJ)<1oQ6`<4tY z^If?-KA6Yf!sBq>#pCebfiV#lcoV!y%jEUdk1$|hax{RyGeNLSH3vL!*bp3{(}9-= zIZ8rsuvV#qEMp}YSpA_`A>' 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 232 341 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 196 305 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% 00 +gsave +1 setlinewidth +0 0 0 nodecolor +112 279 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +105 275.3 moveto 14 (00) alignedtext +grestore +% 00->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 136.53 286.75 moveto +147.51 287.49 157 284.91 157 279 curveto +157 275.03 152.72 272.56 146.57 271.59 curveto +stroke +0 0 0 edgecolor +newpath 146.65 268.09 moveto +136.53 271.25 lineto +146.41 275.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 146.65 268.09 moveto +136.53 271.25 lineto +146.41 275.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +157 275.3 moveto 31 (11,22) alignedtext +grestore +% 10 +gsave +1 setlinewidth +0 0 0 nodecolor +27 192 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +20 188.3 moveto 14 (10) alignedtext +grestore +% 00->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 90.75 267.55 moveto +79.79 261.44 66.71 252.97 57 243 curveto +50.12 235.94 44.14 227.02 39.36 218.67 curveto +stroke +0 0 0 edgecolor +newpath 42.31 216.77 moveto +34.5 209.62 lineto +36.15 220.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 42.31 216.77 moveto +34.5 209.62 lineto +36.15 220.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +57 231.8 moveto 14 (21) alignedtext +grestore +% 11 +gsave +1 setlinewidth +0 0 0 nodecolor +112 18 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +105 14.3 moveto 14 (11) alignedtext +grestore +% 00->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 112 260.6 moveto +112 216.46 112 99.83 112 46.42 curveto +stroke +0 0 0 edgecolor +newpath 115.5 46.32 moveto +112 36.32 lineto +108.5 46.32 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 115.5 46.32 moveto +112 36.32 lineto +108.5 46.32 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +112 144.8 moveto 14 (12) alignedtext +grestore +% 10->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 44.85 205.82 moveto +53.14 212.12 62.93 220.05 71 228 curveto +79.24 236.12 87.49 245.81 94.41 254.48 curveto +stroke +0 0 0 edgecolor +newpath 91.68 256.67 moveto +100.59 262.4 lineto +97.2 252.37 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 91.68 256.67 moveto +100.59 262.4 lineto +97.2 252.37 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +84 231.8 moveto 14 (12) alignedtext +grestore +% 10->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 51.53 199.75 moveto +62.51 200.49 72 197.91 72 192 curveto +72 188.03 67.72 185.56 61.57 184.59 curveto +stroke +0 0 0 edgecolor +newpath 61.65 181.09 moveto +51.53 184.25 lineto +61.41 188.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 61.65 181.09 moveto +51.53 184.25 lineto +61.41 188.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +72 188.3 moveto 31 (11,22) alignedtext +grestore +% 01 +gsave +1 setlinewidth +0 0 0 nodecolor +27 105 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +20 101.3 moveto 14 (01) alignedtext +grestore +% 10->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 16.16 175.06 moveto +10.86 165.37 6.18 152.66 9 141 curveto +9.83 137.58 11.05 134.11 12.48 130.76 curveto +stroke +0 0 0 edgecolor +newpath 15.64 132.27 moveto +16.88 121.75 lineto +9.35 129.2 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 15.64 132.27 moveto +16.88 121.75 lineto +9.35 129.2 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +9 144.8 moveto 14 (21) alignedtext +grestore +% 11->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 119.86 35.38 moveto +122.27 41.13 124.64 47.73 126 54 curveto +143.78 136.1 143.78 160.9 126 243 curveto +125.34 246.04 124.45 249.15 123.43 252.21 curveto +stroke +0 0 0 edgecolor +newpath 120.13 251.03 moveto +119.86 261.62 lineto +126.68 253.51 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 120.13 251.03 moveto +119.86 261.62 lineto +126.68 253.51 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +139 144.8 moveto 14 (21) alignedtext +grestore +% 11->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 136.53 25.75 moveto +147.51 26.49 157 23.91 157 18 curveto +157 14.03 152.72 11.56 146.57 10.59 curveto +stroke +0 0 0 edgecolor +newpath 146.65 7.09 moveto +136.53 10.25 lineto +146.41 14.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 146.65 7.09 moveto +136.53 10.25 lineto +146.41 14.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +157 14.3 moveto 31 (11,22) alignedtext +grestore +% 11->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 100.59 34.6 moveto +92.77 44.84 81.88 58.29 71 69 curveto +65.45 74.46 59.09 79.92 52.97 84.84 curveto +stroke +0 0 0 edgecolor +newpath 50.58 82.26 moveto +44.85 91.18 lineto +54.89 87.78 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 50.58 82.26 moveto +44.85 91.18 lineto +54.89 87.78 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +84 57.8 moveto 14 (12) alignedtext +grestore +% 01->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 27 123.18 moveto +27 134.81 27 150.42 27 163.73 curveto +stroke +0 0 0 edgecolor +newpath 23.5 163.8 moveto +27 173.8 lineto +30.5 163.8 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 23.5 163.8 moveto +27 173.8 lineto +30.5 163.8 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +27 144.8 moveto 14 (12) alignedtext +grestore +% 01->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 34.5 87.38 moveto +39.76 76.96 47.54 63.72 57 54 curveto +64.21 46.6 73.27 40.03 81.95 34.63 curveto +stroke +0 0 0 edgecolor +newpath 83.91 37.54 moveto +90.75 29.45 lineto +80.36 31.5 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 83.91 37.54 moveto +90.75 29.45 lineto +80.36 31.5 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +57 57.8 moveto 14 (21) alignedtext +grestore +% 01->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 51.53 112.75 moveto +62.51 113.49 72 110.91 72 105 curveto +72 101.03 67.72 98.56 61.57 97.59 curveto +stroke +0 0 0 edgecolor +newpath 61.65 94.09 moveto +51.53 97.25 lineto +61.41 101.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 61.65 94.09 moveto +51.53 97.25 lineto +61.41 101.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +72 101.3 moveto 31 (11,22) alignedtext +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 232 341 +end +restore +%%EOF diff --git a/images/h2prng.ps b/images/h2prng.ps new file mode 100644 index 0000000..5b81f6a --- /dev/null +++ b/images/h2prng.ps @@ -0,0 +1,521 @@ +%!PS-Adobe-3.0 +%%Creator: graphviz version 2.38.0 (20140413.2041) +%%Title: %3 +%%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 +/tapered { } 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 232 341 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 196 305 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% 00 +gsave +1 setlinewidth +0 0 0 nodecolor +112 279 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +105 275.3 moveto 14 (00) alignedtext +grestore +% 00->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 136.53 286.75 moveto +147.51 287.49 157 284.91 157 279 curveto +157 275.03 152.72 272.56 146.57 271.59 curveto +stroke +0 0 0 edgecolor +newpath 146.65 268.09 moveto +136.53 271.25 lineto +146.41 275.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 146.65 268.09 moveto +136.53 271.25 lineto +146.41 275.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +157 275.3 moveto 31 (11,22) alignedtext +grestore +% 10 +gsave +1 setlinewidth +0 0 0 nodecolor +27 192 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +20 188.3 moveto 14 (10) alignedtext +grestore +% 00->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 90.75 267.55 moveto +79.79 261.44 66.71 252.97 57 243 curveto +50.12 235.94 44.14 227.02 39.36 218.67 curveto +stroke +0 0 0 edgecolor +newpath 42.31 216.77 moveto +34.5 209.62 lineto +36.15 220.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 42.31 216.77 moveto +34.5 209.62 lineto +36.15 220.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +57 231.8 moveto 14 (21) alignedtext +grestore +% 11 +gsave +1 setlinewidth +0 0 0 nodecolor +112 18 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +105 14.3 moveto 14 (11) alignedtext +grestore +% 00->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 112 260.6 moveto +112 216.46 112 99.83 112 46.42 curveto +stroke +0 0 0 edgecolor +newpath 115.5 46.32 moveto +112 36.32 lineto +108.5 46.32 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 115.5 46.32 moveto +112 36.32 lineto +108.5 46.32 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +112 144.8 moveto 14 (12) alignedtext +grestore +% 10->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 44.85 205.82 moveto +53.14 212.12 62.93 220.05 71 228 curveto +79.24 236.12 87.49 245.81 94.41 254.48 curveto +stroke +0 0 0 edgecolor +newpath 91.68 256.67 moveto +100.59 262.4 lineto +97.2 252.37 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 91.68 256.67 moveto +100.59 262.4 lineto +97.2 252.37 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +84 231.8 moveto 14 (12) alignedtext +grestore +% 10->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 51.53 199.75 moveto +62.51 200.49 72 197.91 72 192 curveto +72 188.03 67.72 185.56 61.57 184.59 curveto +stroke +0 0 0 edgecolor +newpath 61.65 181.09 moveto +51.53 184.25 lineto +61.41 188.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 61.65 181.09 moveto +51.53 184.25 lineto +61.41 188.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +72 188.3 moveto 31 (11,22) alignedtext +grestore +% 01 +gsave +1 setlinewidth +0 0 0 nodecolor +27 105 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +20 101.3 moveto 14 (01) alignedtext +grestore +% 10->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 16.16 175.06 moveto +10.86 165.37 6.18 152.66 9 141 curveto +9.83 137.58 11.05 134.11 12.48 130.76 curveto +stroke +0 0 0 edgecolor +newpath 15.64 132.27 moveto +16.88 121.75 lineto +9.35 129.2 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 15.64 132.27 moveto +16.88 121.75 lineto +9.35 129.2 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +9 144.8 moveto 14 (21) alignedtext +grestore +% 11->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 119.86 35.38 moveto +122.27 41.13 124.64 47.73 126 54 curveto +143.78 136.1 143.78 160.9 126 243 curveto +125.34 246.04 124.45 249.15 123.43 252.21 curveto +stroke +0 0 0 edgecolor +newpath 120.13 251.03 moveto +119.86 261.62 lineto +126.68 253.51 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 120.13 251.03 moveto +119.86 261.62 lineto +126.68 253.51 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +139 144.8 moveto 14 (21) alignedtext +grestore +% 11->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 136.53 25.75 moveto +147.51 26.49 157 23.91 157 18 curveto +157 14.03 152.72 11.56 146.57 10.59 curveto +stroke +0 0 0 edgecolor +newpath 146.65 7.09 moveto +136.53 10.25 lineto +146.41 14.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 146.65 7.09 moveto +136.53 10.25 lineto +146.41 14.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +157 14.3 moveto 31 (11,22) alignedtext +grestore +% 11->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 100.59 34.6 moveto +92.77 44.84 81.88 58.29 71 69 curveto +65.45 74.46 59.09 79.92 52.97 84.84 curveto +stroke +0 0 0 edgecolor +newpath 50.58 82.26 moveto +44.85 91.18 lineto +54.89 87.78 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 50.58 82.26 moveto +44.85 91.18 lineto +54.89 87.78 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +84 57.8 moveto 14 (12) alignedtext +grestore +% 01->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 27 123.18 moveto +27 134.81 27 150.42 27 163.73 curveto +stroke +0 0 0 edgecolor +newpath 23.5 163.8 moveto +27 173.8 lineto +30.5 163.8 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 23.5 163.8 moveto +27 173.8 lineto +30.5 163.8 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +27 144.8 moveto 14 (12) alignedtext +grestore +% 01->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 34.5 87.38 moveto +39.76 76.96 47.54 63.72 57 54 curveto +64.21 46.6 73.27 40.03 81.95 34.63 curveto +stroke +0 0 0 edgecolor +newpath 83.91 37.54 moveto +90.75 29.45 lineto +80.36 31.5 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 83.91 37.54 moveto +90.75 29.45 lineto +80.36 31.5 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +57 57.8 moveto 14 (21) alignedtext +grestore +% 01->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 51.53 112.75 moveto +62.51 113.49 72 110.91 72 105 curveto +72 101.03 67.72 98.56 61.57 97.59 curveto +stroke +0 0 0 edgecolor +newpath 61.65 94.09 moveto +51.53 97.25 lineto +61.41 101.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 61.65 94.09 moveto +51.53 97.25 lineto +61.41 101.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +72 101.3 moveto 31 (11,22) alignedtext +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 232 341 +end +restore +%%EOF -- 2.39.5