From 88854ac4a1d472000495a77d78af210f81e4443d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jean-Fran=C3=A7ois=20Couchot?=
<couchot@couchot.iut-bm.univ-fcomte.fr>
Date: Mon, 20 Jul 2015 17:49:25 +0200
Subject: [PATCH 1/1] =?utf8?q?d=C3=A9but=20hamiltonien=20motiv?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit
---
images/h23prng.pdf | Bin 0 -> 5043 bytes
images/h2prng.ng.pdf | 521 +++++++++++++++++++++++++++
images/h2prng.pdf | Bin 0 -> 4412 bytes
images/h3prng.pdf | Bin 0 -> 5005 bytes
images/iter_f.dot | 42 +++
images/iter_f.pdf | Bin 0 -> 10885 bytes
images/iter_f0_chaos.dot | 45 +++
images/iter_f0_chaos_ini.dot | 45 +++
images/iter_f0b.dot | 45 +++
images/iter_f0b.pdf | Bin 0 -> 5446 bytes
images/iter_f0c-eps-converted-to.pdf | Bin 0 -> 4544 bytes
images/iter_f0c.dot | 45 +++
12 files changed, 743 insertions(+)
create mode 100644 images/h23prng.pdf
create mode 100644 images/h2prng.ng.pdf
create mode 100644 images/h2prng.pdf
create mode 100644 images/h3prng.pdf
create mode 100644 images/iter_f.dot
create mode 100644 images/iter_f.pdf
create mode 100644 images/iter_f0_chaos.dot
create mode 100644 images/iter_f0_chaos_ini.dot
create mode 100644 images/iter_f0b.dot
create mode 100644 images/iter_f0b.pdf
create mode 100644 images/iter_f0c-eps-converted-to.pdf
create mode 100644 images/iter_f0c.dot
diff --git a/images/h23prng.pdf b/images/h23prng.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..608d1fde32ad01d227f2cbc94a04ab265ec69e08
GIT binary patch
literal 5043
zcma)A2{@G97q_McB`RC=%93@=ZfU_xlcpiEWLJZsv5m$kRMPaJOtuu+`L|GHi58MI
zQQ688B2luWq7>n)|ND;R^QGtcy3foz_n!CMd+xdCcb2(|raO0OAmLb;;_VN)GcYuO
z0O(Hcux;A_O(Uwe8}kr=0ZC>s001<1(L9+{2KehqVN!Qeo#`%A*p3}AUnYY}@q+m$
z-?VNBS0aj(PMS{$dfFt|lmoIGc8YAvS?w>f=JRlFU1YlK@e}g5rrnZLKYo8mZT|bl
z{X#W0RTS#R&r7cwP8#iZC8IKvS++^N*7aY~%IkZZ%1uyTJ~gfR;-**gz50M#R9RYo
zeL20ns^z5f7<Ti?q@bz8k#dcCCZdCMSG5rXr4vEjh6Q1lW;}IPJPt3YcMT}s^2G}m
zQOP`~j(e5xE&p)kfxwrBU3kM(yR5dquTGt?%S?K76B~~mC0)Dw{XX@ue&2^`g$=jX
z{4F3qb_K^rTD`%!rYWp;xNwr*FTD+;SDLmXN_2o7)_YBJ(~)HLNmJzQI8*d^7P6Jk
z|8{8WDFU0kS7pNb+qm@*?ulIDK}l>_s<1fbEo<yKL2On{lwtDI@lh&YntR(}w*Sas
zvLGdKFzUxnQh-tG;l3Bc5)<EG88O2iD^-4|E6pbS+`FSI@7mzhV^(nD=F?tRMv9`J
zCmXBM;ymA^imWJjcVTQRS8r!gNQB^z=P!5c=`ZTQ`*t4)@4f3+LhH8mwW&^Z32aaz
zQET=X<oM=9diFa$<U13ydvhAb0}+?q+H9)B5_cVFbW*CeKkQ?lB$o}Z%)c7T3TY1z
zXY$|^J@liwHVw;=Z)99b$tUSs4&y}-AwG6On11*3p=K4b1_n6%CDC_l2V0P%;U?r)
zKiXBTyPirYx<$f;o`=}XmhY&I%##x>UVDccohXLixBBhA@YGwqeWBS$GI{cN4?3o`
zM^n$e=(%HXeQyXhC+>saRKUw?eP3fLib6&^9bye{=2qyZXpW3l$SA-sNg^n8`*5?}
zp$!6(PAOvN_j8}t{g$~tC%{Ev1mC5fV&*p6f-yK_k$(Xd-(QkZDlE03&a`pM!#;wI
zum>M2pp&0lm@Gt+vi@JhNS5y@m_gg_Btr9g53}xyn7F+*h3^{;=tYr#+urby$+$js
z?Xt5E@7Yysms$bKPj(-VVj>^(R6XK9IqbEG^7Hun7tKyHWWj8Dg16M&cKi1HEeU1#
zgd$p@eoo{47cuB|2N4lb_dEsRDSPF$>#rMZ?l@?7G)4Gq1WCLd^J!R=V0C~?mBk(s
zNnXiiu#U+4d<Ahur@~-!PO_+>oVk68?mpQQfkj5;_|X-9j7PA2&KK$`Qw9&mYp8dg
zxHZeVw{isV&3sT-YS|{Gu$p#?ZD2#ox;k|SsTWe%8IoY>)zECC>zdmy==m}9wb+z(
zrrYqVDf8{Iu2GGbBY2N~6xZE#S&z#`WJR*B?upTA8yi_|nW|hLThvM8L_d$ud3(?W
zn<Xo7TBPTRNeZIzN~AzLTMxh3qNoQa^W;52+VDFi681jn{Qe#V72W1y(&tR6Y^x3B
zh1Wt5TBPGuHIZV%u}q;7Pxl8swfUJ!!-}Os_LKbA$<y-E$0&57US3Yw#}B1K^61e=
zn=LFlbYuUD@FQ(fPAGBcxagEo+B9lDAf(K%Xj3SXd0wY@&nlS+K2e9WvE}@Zd{~Dk
zW@nq6;g+S{@>Y|bwNETc<gr<8hGFB$k7GKfHc1`q3MoET7)q$E@9+ywc=kD~g?K}H
zd%Rbv)cH`xBwm+WaNUuoHX2v(F9_wz@Kc23;CM+KclJ$ZJDGe!H<gsw-7@){r<Hwz
zK5=w(7U8yG+-W@0`{E#O$dr3u;?uSDmk9%H7r4$9t}d$PrdILm^E!yNs<k1me!HS_
zPzO%6$2DyEeCkR@sA}-uZ7u0FuPaEGH=AX)5F&J~R1Q6i4U?*~dYqe}E-32}epe>>
zK#yjWZ^M^+WcaloCu1z9d-h&7?AgL^n3(PwqEN`!sqBv(_lZum$mZ&L*2b4ijwR?~
zyec;uvpa};?6$_@Mh;1R)=%)CkUyiQKErBG7fcRQKEgla$SfEQyGQnuPB?kK#BxmN
zDQitmb(o)t_{+yZ>0T3!POnzC_vQD$2O?b4JFpvcxfHx@lO}m&@q6t~>G4?#C=goX
znIdl^f+ssyYS#|&hMjrp?j@a>t1;^*Zrb5GCh+<48zb{jfBE$oQw19Lgm>p{qDQA-
zoTJKgpU7Jp-}R~>%4uRfmh@dGeJTKP+x!CJKwjILW5==R{2F*v)V57wCgdQOoI6D<
zLWkmhKi`Q5L9jdny+;}hfy5U%#d{1wR6ST;Xo}J4p3wC#+sG97>o>uYO|LO#^=QkJ
z#^l-ar*ob~9g9H^uxwt(9=AL~dOdly@7u$k9>emgLYt^EB-}nMpR6VQX|`@mbXNyl
zqTz6>#8$OKw%g(!%8iPs(JASxP8Dq7Dj4|e^16L@0IdJ}`4tj|#2{b&eP6P6?>kFu
zQeYdVT?*TXjW@2}zT;~}l4*XvahAeS>FqD%ti!U%mF`EP?i@(j@ZFeDvnG&upSOnh
ztd%|nF6Bv9*ouog^EHGVlQyaCfofHd=04%^RXDUr&{CXq%Q-!AV8U6b@6gyPzU?Iz
zPD&UamU$@;H94)o@`6EL#US!Us^ur;il0+5p#y2+hK~qRw^P!(?7OYbq~FQ?_}+hG
z>fM-}X~z?kS@%JnCe3wk;nD-eRbNzwZd=<b29ellR`zekca8_CC)I6Y!7q9Ue7t?c
zze)Vr(H6a*!r5Xls<+F0(gu4_x`%Q+^b2Nrqz(=RF+fAqVl}|Y|3rVLp*a)G{lK<u
z5CLqO6a+W`GzkU(63}#}fKRX@0AI{KHFwdynM=4`H4qvI0J~68fK1?LUKnms7@%np
z;6nv8O(||vj$l&?g9@<$rb6Om(4A@N|E`4kUpKqHq9OOABz|a1%h8AiFOB6*F^{
ziy?#V=d)xVbL(@c3yPS7QW+F)Umr-8bHD<b1TYzXoLxZL5<sq<)FU)!s+l1kVwqRd
zjOt7GV>nZN0qDrgmT08~j(;hrv=_JaUj>yh`{rsM1EIg3eOb3YGtc4H%Uj>HMfXPs
z<3-j1YemK;hl;YN9=f3PP+hu!oa9xP9_wMpwj2AkUU}>**-{!fYOVgiCr&zFozrDs
zrCyS{Co}Zr$BqiO8?U!3a+}m@D2^G4m)k#cm5Q?*%dBQORIk#j`?@h;IXa*XFQ5ad
zvtTcs<(eTOWBggIh;Bw(B7*g|i;0;#6Xb#F?z+1ARwKEZ=xh;nAs$ogJEaxxltK^g
zWx(TOx5Sra=HW^EXsYo+_gIqgWnrug?)WnE;6j#Md>I>$F{P=;XR=wR4A)5bTlf?Q
zGWZ$XT-T?iOqT1y+2VpS2+V>qNC;cM*a<mjOUUm3Whh1V16Y;5$X_!7;Q_4CkAJ%q
zM64~vBP_##mF~0*iLvnqZ1aXDtuCtSZFCRu=gSL>BGZVl=E2mX)!EmEq#kg4kwzYO
zd6|FkHWA`C+dEtOLcql}bR!KW*?3IK<*iwz;FH~s#iVlWbw*R%Pmf7$|BYe`&I;}q
ziNr1{_M3_x`R64)XeJ(BeqNvz+l<Db?_vrq^j#&arIM0VuShV~^91a^Av|%eLHJw)
zWjeURUQQ?e>El>(Z;MsNl`PCfvYvhAC2}vJ@&dV6rNX8%n%qm2>oTnb;-0n;D=RDe
zxOn5Uw^#w<T;rzF3cpclX;?xm0uKqrk6&#CMUOv2o+7(obrnKrrxkNVfH@)Fdc-HW
z@#@7he4<7|XU?Kf!3W>h#$HHDebqw}C+*ff`|iYap-s2Dax{Ky2&3khoqL^ao1oD0
z)%p$bRhk4!d($xFRN{=WREvsgnjuVf*cPt!HfDOD8I!dC9l!Y_Nj(*9Y0KYew-E3k
zgP{<M23s02=He958~m$9^LFDzx1BUsS1J^uz+hvC05ri57<o~ECK}MhI4p@g$OX5B
zf;GqntqYzI$PIZe)I)(lneU<j<b1T$!~mQFUK+%Zzwvd{pZmH)^nLG#fC%wenbQ;F
z0-i#Wn;bFe5m7cgc1;DsKgLO4Lj1?fn6-`>tT~}JrC2IZ#&Lz4SaZ}++nH78{B-+A
z?q-Q7CEt{n5%97sG5l)97W&I|{9fLw_)1BWY1tt+c&^GvpTPE@Dghp@iS6#^+8cbP
z%OW+f-g2|AS#WN7eDJQ=+6Pa@l*IXLYX%JlON?i9p8n7+`xac`(TycP@vuK_A#pV+
zX5!qcp@_A7DL<@^xraZ_N;+ql`E0Xqd_sYsTD|nq5Y3Cls<R!ROB>5fRP3JUte$aa
zBe&*hWyi5?-j8W}jAdkv%<!i<`+r()YtCWKM;#PqF~2Sa@|>xme91Ahxt|l0lLR3;
znnQx#;W<eU0carLNSu}q4m1oLx6si-p>SB-ToQzsjVVk94a$*_l@asLxz`Jj0+92t
zfRfuG3d58^clHH1&{^;%hA$I(10Xn?Frv&4F`S_l&4qag1R}T%P&(Ma4yYC9%NcVB
zb21l`BzU_3;S|I@m~-it-ZbbY0W3T?Sp26TSQ?V&P6sLod^vK-G#5xJ$Lkl<z8_R0
zEb#!;(iI5cB?Xht0F<36GzJ|&!jTv_0#H80Wcui8f|UzMbYoC_4$+)_;dF+ZiV8;#
zcpff(&fulTpHKTo0q8Uq1J#@c1PYVlNuTp%jyCf}%|Da;8B|vo0zjc*h{Xoruvjz}
za0TXR7!(#%4Qhb*0u6-#3!q<U2n6KHzw%+hu=;NrS_ikB52+2F?!Wm^7*OJ`G_1~Y
zJ{*LgU*>B6X0A30j5`13Ln9za{z}6vlZ!^7mdQZ>=3LMi?DDx7t>tpDm}PpPaS()l
z*^3SaH0!@<7&LO(TnyO$;bSr=G*2pnbFXGj3#3B!h2U>Sr!xT#PUhT=<n2laIJo7+
XUtcDL!Q>zUgVE7~DJl|8cESD+PLq7j
literal 0
HcmV?d00001
diff --git a/images/h2prng.ng.pdf b/images/h2prng.ng.pdf
new file mode 100644
index 0000000..5b81f6a
--- /dev/null
+++ b/images/h2prng.ng.pdf
@@ -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
diff --git a/images/h2prng.pdf b/images/h2prng.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..37714bc138c70817ed6209c646fd50ea702ead23
GIT binary patch
literal 4412
zcma)A2|QG58;=%DQ<Mr*>ByGC?8b<)WXrw|LX9yPWkzR4mTs<GsVrr8Bf4!8SACKj
zVk~1xQhcN?C6(-aBP~MpoimK9^!we;Z|2PVKIb{-d7tO`KmX@Fqinm!L<6fyL?{=J
z-k3(<0Sv(M@<-_E0%%J*)0g815Fn8~0ssKC3F8ol4nn_&s2utpI*sK`N9@{#U~@n^
zH2@KEK8w<HM#&gi{)EyidFaOIFBYeGd&MPAFU62*MTk3Nox8-+mR8zC73E#q()Jjc
zVMKT88uX3Q`&9!q`SHC&$k)43Hou~;N2iQ4+WDI168m>Y_Zy3T4gVsa^tI=WnBOta
z@Xs1%Dg1^@Yr~P9CT2P{hqJx+s44mt9Ny-6n1=mTJ~C$m{lQshPw&u<Lfc5w;lnM-
zPCCV*%d=0mRm_;NGe?GM6=rTt#Z~Rn)yVJ~r|kC2xwtmjY#5b&rfIrA`0eV-=xhCN
zHrlnaF6=_T(95cO?yoMfqM+Vc)|*vm)^Kve1g1Ct<@whMI*-QcbW^vTmMeaGTYd6C
zp<^!R+26QsVp<|PE4&bSJ%ehd^WOx$%6xQ-Q8u^4EZXA^f&cQ+8|Pu3r=c_Hf6BG|
zbR`R}^-AVn-X&RLcr=aTTu(UJIdfRNZb0Udt2L-=_%VXFRy|)PFjf84{g6$6O$X*A
zIx&gm`}_COj;ZE#;ZzMm?baFu#p3?f@fz;_6I;Z)ax13Vwz<__zwb{~ZJg4rg9Yn#
zN}{qAbx1D8AKm;Eb84!>{%jsgDciS)r7x}$_#S&Zt~*aWtkyrK=F;1kJh#+>7Lv}<
zpqwHrT4i#A`jM`WiYeSkosVqG%i*=OG?_gU(%^p@Uy6H}PDF-fUoLf`)W43Rhesw_
zF;U^j-lUJ6A5`R36;3;Cs-^pAJ~6k+Fd6CiY-u^@VVfp8AvNB2A(4+%-#R%eBlhY<
zucr9mlCnO}ppgyXDLy-UMej(wP29@%ibzCduD8l~JCZIcjR2g`5}lp6OTMOZolX?_
zqBD0BHdzhmnMvwSRj4b)mo%Ha&oSA0E21&sz|t+DTDAe3d96tievj@IcQEaxIy{@W
zNhuc}o{4s|&WR>@`~Sv%*dDcV2F&?T6l(aOvF03VAUH>BNAh)%a9r{6p5Wh6_Py?S
z4{|Vjxqou5`BuzuwDTpdU8hyU(3`Ic{#wz}#W|o!`!?Ouw6pQKp(-g9vi!xJr`?X<
zk-5~7;a-{}Z8u@5nE%XwQo(M=sn1_@xz$+x{Ck(JCC^?o8^Ij1FMos!AKP{K;B^IF
z>%%(5n|x+-lWR(@zGaWAG2xV2@MITe*^pk+itPM}WMg*Ci5(Sqv7yVaR~9HaIu7%@
zeN$N}A7Vzvy8DkmaVbMeZYff2&c4|uwfB<ROCoQVpZKxnJE-#0#j42ozLh89<kLof
zJFXzM#Ilk6{PwFM<g$oHrS+9qp4~7{b#0z}k&{@N`MxoOE8yNF$@at}x}^_4xv83M
zKYg5{+)!}2*MudbJUS}p9=ts&w6ME6J>afUR2N9PhLZgBOEJypxMo_L52bgv`jJwP
z(V&(xmtntNFn{NDUALhRCtnXc7AA!#KK|5eBfdJmhqq#2iCs{y-@8+;FBMNbHP{tV
z;ojmI(~%qTSawX=w0Q}t6yxN}sqBA$<v{HARijaxTMtZ>#A~l!)hp&&r4N=+J&Qec
zHAs8Us@(Tu$!$ySc{bC!-|fSiMny~C+IqTEL>32qV{hBK!Albx+CD{IwSE{*)1}lL
zZEZPuXB0VX-8ggAWa!ZO<a^m(D|zy@^{Q2JtG}EykhZ!Z^#IeJk)^jSOCR$TEOc>s
zn<ERzx_bsZI~ZcY?YCOm&~|H8wo>XJFRgyDs4qt+`8Mny)P2efMoc3Ho{Y!U4TBCX
zN!FQ>8^{3&c0zNqCliq|RhLs$*FT<9r9ABA@JDA|PEWKZ>4eNx)6AM~%Zli)Hcge>
zNfk!~o#{Qtp3n&9U6^d)Ux;q8csv$XfTy^5S{4woaR|rMfdi2+psNcDpaV_CKobCM
zWB_0RG>r<KA!>#$%%0IEEGB1xwvPrz0|O9+)D9^@pE+Y%^Tq(QV`v~9K-*G%=>o&H
zRFDom2P?b}ZAJHHPz_ljz&=QX0dQK{0G>nwJOtWCkWEOP4ZvMxwuP92tf0UJ>zIAM
zKq_>^0kR5Gne0H=7A;gLHU~IhkYE+Cw?>fG9{Ldmjc#vh2&>GwX-{Xff<PLb4ZtC@
zU*Hu9nt#{XwC9)gZ=KC5wqUiW0Wzv}V%_>{H$853-TI)t);S@<P--2pMvDJ&;CB9G
ztv7Bru2Tn4kh|*r+-1=7ah@}&`=DK!YI)d*i~6PeUgY<*Kjgc!e@B&U9+>#DtI9X8
zM^9PAra?oQZz)sh-s*!&bK+m)MSAcgcHeuyDReP9-~|iOfh7y`MPBR~7EZ>`HEnzg
z-U$<-uO}_-Kr>PVc+c+Ld(dvFP?wM|rH&M}CHAST=u?S4U=3=fC#$A&uiZ2>w_|Ki
z4=;(7OXr@9yeN{+b%-d6R7mH>8WL<7>gm^FBafR(%7!=wmWF}LL6Ifbr%*PFeGx2C
z=nRG+bOsA!>$^N*XLAYX{ofL$99w~?(U*#v4vh(o92xuUT^PTn+z{gw1Bm-GF3R%9
zD`Fj*ACWrg+l%qfjlXuKfVXYqPqy@D2lMiC22d3u0p>%EodFJ`OdI5Kd+V9<Ct}_{
z(VG|uxrawl-o5tKEAN|mmYP>;ud|#KX*!D1`+;M^VujX=#S-To`@z-<`}2D%C{3bE
zmoEj{i7j{n{tltYQQt?_1(lh({faEOUNqD!Z`HfF=2dac)TxLncLj2KQ)9Bli#E!|
zE4hSJi{0+kzgxU8s!p+Zp;qNuonZ08SfSIl8c1tuGp??#ez|06dcG<JkXbTryHV)}
zE-j=b%slY0Fn@fXE0{fg4tdJ4g{x~Y$UPL!kQnEkO#6|*^AE44o?5on5_#%04i|A?
zxFI<uGrRk_xs17)&gs5mQ$?=N{I?|-@&^bzJo9f{k99kz)b`%xwQ=_aS)BHkLAa=7
zKz_Dk6^~(xkRNo@B=sgvy=ft2I`=JisF&NVroGYW2i^$@4^9{kGoP@9j4{ho#!P6>
z%V7En*liEP$A=D66ht=rFaR3*K+KB+(0Bk%@L0e+SYg@1WDTjo&xIlcX~UHZk8luB
z=7xBP_veNLKoH=CB!>M#t>b>a);$vLGHU@T<D*=!`&NabMdrQ=#+miT@-fMhRhW=O
zFMU~=FVlP%vOS{ZTtikVDr~do3Sa4#vjdM$NyG)|yc)WbE2VP2KykBJfK!?2drB-a
z%4fXfrbK$RoXwQ{fUo8awXwjkj_?{W(IxNn{Np;B1E;uWG>A-vnVv{Z5k<oYljMeq
z`+OCdWo~u-2K{AL)8wWvI@}KtRR^CDE$$z5|IJbMYG&fQIEjJyHOsQTP>%Y?H0EZ;
znO<w%%1%F5xN^sXjln0-sioUzp1v)A$hA@1cb~j^+CLV%^Cl@jE!K6IuYHhzF?VQs
z`2||Y{}$(35Ue@Y!4Yu6TrULjY^vdYDM+(JkQYbL1YtQ|AcC(M3Ys1U(7<S7wMb+w
zC^4E^!T||~(;{lkHbGd~ipl{QaF2wujF~&nUKT<Mz|O$}Zf<^5&=zFT*nj{!!fFE9
z9QX==5iG)zIyWT<rWA%Z#}5J`v<%2PbU*{hE5TPV7YJr;&NoTuH4nxqgnOvxvYeO<
z_>~S2fb1L8L2DM4`D}FH4FOwV*Mi{<TNPCOeA^F#_XrCr0Jo6Tji9$h4hsaf(WnfN
z1z<I?1WgRE&5y$g)Imc#7f9#}QUm=MG`1!S^i@+6*n#5V9YllPK7anUe|9u*G`{n|
zh{~ZJV$D{vz?->E%|ADVfOH=Ow57o#F!KkXMI_>hfDbSy!)w8Sf)9Wxlwk=3C>r0&
zFc`R$zm;JLIH=OUmErMth-$x;VTr`W_mW`1eWyp(TC7LbhG6xr9uB+sUL2MTh3Gpy
zy!IkLa0JXEyEr0wv5g<Z1*Z)I>pL6TgvEBri(`c&lNZGq+8#r&`u2HvE$u}yz-z;d
zD%9hERK_7XDENcJfe}WB^9#e@p2gw-0-Vg2n>o{m1qg5}s022L3UUO9fTE&>P*yg!
HF+uzvxi?qb
literal 0
HcmV?d00001
diff --git a/images/h3prng.pdf b/images/h3prng.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..20222781f66a1d857b5b8ec2fc6e886c68dfce81
GIT binary patch
literal 5005
zcma)A2{=@H8_$;8pe%Lm9NEe2GnVX(B}>*Up$0R|&<tZpL}*b&gb)%bd)X3wH4&8-
zawC<LP@=L_T%z0eoimmzdY-TIj5Fu|JMWqI|Gw|<T^vO_Q!@<|90yapI(B&;h5?WO
z-J1&2)ddjNB$^-7AHaf;0}KEFgc&7}Nn(KCfkY<Bl;lJACBgLdVIfQgiMS6Io?Geq
zFhR;(@WzZw_ofo3?CJGGhnvLs_1nBAn`if$ojLg&WuZSiBc1y6)aSbEE?y@{*`?zh
zWuGeAj+cBx-VBqy<mzEP=w0p=u^-{xHa;XfE;{o}A^DJOe`Dq?-kI@<3+DZ{&7UWV
zCq7RZh<%S~o9Vi8tMSd@NQ`BW!S#~nxI*UsS7rtCDc@e)uxKsT8VhDAj}O-2uk1Tn
zxA}E;Pt~_Ln}`=?y$8+D1^8FIESimWJChUGFpQ3WMUDtIc#McwyAhG4Fc)YtU)cVq
z(?H9MdxBJvnV>u`R+Ny}8@ZXuusJ1*6uRu|o&9=&p$QIANgD#T?5W*S^i3kmdb(6y
zI3UE~{)}CHwc^#2N^r@ojO4%eHy<q27rjcM67&cM$475XRFh(h-Ko2hV~Q{D_B!76
zNoFiHZeRUT9r$<cu?t>#-Tt=Ir4p(?ye($mYeo-Fu&56A)(1FMTu*iq;CDDpw6N#3
zjOr6%{ioH}uxfjFFS71f5+8n)B&mo(RupIlrVY-M+-MTl&Ul=u%CUZoQn1XNQ$YrK
z<VzppAHVqG+#Lsdp^U*u@tlktoo2s>)a}lZOueKccT)$OsIDV!*LQB19+@?L{C1GT
zq&YWBcEa)CW!_04BR$w9Lr;c60#DHJ?Op4eCWIdEW!+X6ilMGQAJr!wWA<cMz8Wj<
zO?-pBNk`MEado`Kx&t21jHriq)QCkmG+jz+x9TH1qt;DEh|L>l$bA*-^6W7xJsde)
z<=!(oIb8#9`6wSt5qMD(85dTEP`p1{aUrZiq->M1u4#VZbmSvey}i5hB!Tzpwc(;f
zgtUd)VSm#keCokubYoAfa*Fdh)w;p5IC-rTy;DciFY=xrFu~znT8pa%5;DqL%=vt!
ztayB;INw;_=!?&NVv}UGujrylLkc-;sxWjaUcs9oU0`Yw&>fb1vD1nEAWrGp&HC*o
zx|cKpcZt}7jCrp0@~dK9>%J$#HjkK{iLcxlZntUZC{A_NifKbf8LMuVTSR@CNw|%-
zT`FsY%B^L6+D0<{AM2#b3p_;v191I!I^v?nueWXE-peQH;fNYOA?@?Vz)HI{(N&`8
zWe>@WUqbrM2n%<bKO5<y-xZarb9h*PoFCu&@qP8AvMT}YUAs}oDizyidzUZsjiZrX
zOg|Pc#4vQFZL9E?gW&^qhs2#Vt*>*v;?QW>_DM-?d-z<*j%*x$@O_Jmx+PzCpQ*cf
zQi|f8xDM4}`@;G2wXk-|p)E3h0<mxtAKCHvw61>yE13p0D$W(d(e>4oDc!RT&POiA
zoEnLCGDlq`gc!iSGCxJnZjRzFjhM~CAzHKN2jq_h!Lfah^*_{6H9t(>3g$s+pn7*a
zRVXj`FD#UIo1y=v@3n`X?<wsI65cK3RyfUASEevTNRWrCKYaN}xhnRHki8H5@eLsn
zk$%U4tvYoa_EkI;8&Q1Xz{xK$-SCkLt<r-VaZ%?m3YjVU>_r%SGs0PRRs3fP<vvmy
z-N&jTiT;&Lk#~*P&L0%4Lc86^+?2Bw6h1b%zWda}k$<Z92HaL5ms$i>f62Na80*wX
zFkWvc>b)~9C8P6cFmnL@A-$wXe@{O-iGVJ=Tl7g1+?|!$SuxUs1M*xM#G{q5-iZ1O
zTd~~Y%F0qDG1wDzr#fG~rZpHG#j40+{^a4~i1ut|Y^g_^Zub`864F&1d=nmb6{eN=
z)*~nHbd`Pe=d9y_MbE#PCVin$7^*`tHHq6p`ETmoD$FVn9&fjprm{}7bMzU`cZLle
zKVquFRDH!PIgeLRjxBxid_=5slQ<Ai%PLSU*;;Z@#(h$&!#iDQP*%LjUos<ZcJ!^x
zJ~tXCYNvj+{;NBAHLg4MR643AynTL}cRI&beh-#AdruC(q;%43=0Mf+hd}DIa)?+_
z)OCj){sMRBv~yGRWd{>m0tEi{`eKy6abEo7mqv^HyjIUP%AsVb{Hfu5oxC@$&7pfm
zjBAEGcAYA1dne$P3zMNTDj&75t`-*-V=At3Uq5&Mb;1u%?kfZWmmpuZY^Bg`Vld-x
znET-9DRs}W9c39QSI<P$Wqdlqcj@U1>ey{tb*EkC3H7rzU!|l))9-!n(X#Osw#5(N
z%OA{KI=1y?@ZB;^^YHCdg)e%Kzf@49c@=cr$~NevzLz{2ZlU|Z=*J^p*RhsuDJ}yg
z30X!R&1J{btDpEC%b3|ueD55|GP;<Dy3pQr*fraftjAY=Ye&?GWaWBQf1ePJt&YR?
zN9LX<XeU20^nBjrKmE*TX0M3O5w6RH!C8u~V^fyzE1pJIXJ=a)@}-L(ov*~?O$>EJ
zmFeeq*q1c*+W;?pAC+r!)nPAl2ia;m`ud59aSx5?i>h^Q{v%A>SV#Lf$&z{K#RKd8
zi7mK2329CpaC84SqxYK>4dZW?f4L^bof-T#x^8Q&l-;QAOuuJaqukRgJyBt|3u8vD
z->K-8=90S_4yxL2#5|e)TSfPj(hivCje05*UM--{n{oPask8Et<l?ro-wSBuDMdu9
zzz+IQE|sr6mzAhvApIfpL;uIoJ)U-X>M#<`cd;FVS5PB|x;OL<_HUFn8Vd<POZ0M|
zXLoi&IMdvb33hcrR~G`n13^TB3jkqa1fT$f4-q_ry&k-=a7LKXY0MSUWDTSS62L9Z
z3ZM}9SyYB!Rt6xP4g`?^gdNe3#8zxaWRSq$K`lLpup#+Uh{p7AU^fUM0W3}%z-Vd$
zo@{9oP$wuJ0zhNR!c1b$poa#n*vG=}v(Y6(96_xNA}u5c(&ckt3AO~7j8OJ2AZtxP
zDN|Ay#fRizZVZVmn(06ap@%YjNFe~^GKUpbX@cujqmtJ0w*KF!WRqCAk<*C($X{PK
zZz;awS@W{yZ!O_nDKW-^n*kxg$(fP5^4V5jv;n$T2aprL==;ib)az;4F3r~g_Scnf
zM0|4HR`|eMd)nu`%<FSm5)INLUw`N~`IWuVQ{>orPeXCiTJ)C3Uu20h&XdJ0ah@$3
z4BDop4y<JdwBaRoptP6brM=cN6cmi#n*uSN7-wXRp`M6{qmPL^(9+k|_Nd!h?oLX%
z;5L3vJKV6+`eCJGdu<u;%rxapR`C^MOM8l1W^_ZGcqS`8u7D$x<rq^NCzr`eG{)Ld
zwq+J4#>JX%5({?<YK&m;FgVtg&PnWCYYTgeOU59VnT~?EwJJ`ig;+vy|9^o}OuPxZ
zZ76tT{y@TkxKHE%_*N$g-7rQvCjfs?DFtGapKm5Qwm;VFC8=G-ydwPfWjdqIE-AkA
z{ki=u<(EbzZgT9i{BXZ_pW_&9CqIva?e`ncczwyoq$n`)jz|gLw+_vG4=lVIEpKUU
zww~p97%8Fm3&WO@72Gchg<Fae>KC&*>i36r#l-53w~_p&F3b<S%qh|Cu%O(Iiy6nc
zg{}FIpFpEy_I|vVmY#F&^(#wJOADP7!%=g!Zhcgh6ywPeth!hE<<dm=Y=y3A*CE2|
zd@;0^>?p)QQO4vsr=}K)IZS5M9j^H{b?#j!HfPr`kK<i&163_a=U-U2vO=Me%ho}q
zWOdk}Lh{=r<mBSv0=jXX7%b)*w${mzEaobalcQE7#@NDnz@kiG>SVjX$#&vgOp}M4
zcILzTX;%GRE(Jv;*bFNJkLE0^ev{^OtA5ocx8@Y9eu7-DT{CdzVHcsfxp`n6S7y1g
z3n04gvz?^EFHBl0cu>HQ%V~vLSuqys6oCf*6Gfr<v8$UYg-j+vB?>GyyO96_{D74g
z4InT80_(Y=@}QQ|7An@D81%cKTR>?jbD=9VNR-7(48SG|gkk~ILV^CbG^2iz>*(Ll
zb<dRl&{_dOLL|%kflW1Mt)-tFA?GeZCLwK86EZy2+fYpO$NZ$LwgaqFoIL)HIuaT#
zo@--hQ0OABgzOnTUfy45oE21`%#^Bg1`FJ74Yc6dJ3}lbkM(}Kqmk$H8yhb*w2ZpV
zZ;<_CUFS>*%3ZT%bY7>vIGAsMSCqLyOo$VEHgHC*CC5Y1e@i}Z-aLNn{kHj>*<LQr
zE1}P}s$K~ea3H4B%${JB&TE<pGUxV8l&UISprK{b%n~1YlJCMRko3MSEbQ=6S@jU-
zn-lPNnKjAstX}U&_dj+}-wOBW==Mk)R4I#y=E#!|pI94fwzC$i4jPMIqVG!fE`%ED
zm+UY*hI%vEO%TE{YzVq%%x-!}Km!R!;Wf4KU|`_*r3+0o8jr&-G(kw%hR9@4pdJZD
z8M$~~xV=OvfK9iBY%%dCGVB<1pAdjeodwX0!U$nPcK{@N6V}AVC6>K(q4+ZWK_Y_N
z0JVb$cmZ0q{Kv-73p$sZB>3I{;wi{`u;<d9X%y%k0XTTDxwwLL;Cd;y7rX-v1R-p_
zRuo@ID?8Pf+kPlCBdo{(^va@c0=|A=(iwn?50S#411LBO3r7Mf{!C_&4g#E9K+umt
z4DzS=guv+xKUGz>9?&1Yp+4a2jNgCkUjra-tg^s_$Rq~R7c!Y`&Ein=??d4X5*daB
z&=?qU`2g@Z90muFfkh09hO!kp0NN6UMq)q*{){1!P%8h7p^+%iYd>QcZ8TUNe#X!!
zELcERVHiAU(kcvxTPugt0tvTDPV*PfYHF?BpSI>2J1|J(8oe0MkkvXcXf)U-e%6b@
zLVbKS26}TfhC{Bg1B26A<7bREa*YlwT64{_SS)gdpP39IC6L5mzcF*9M3A8PLiBf_
m)0qI9CkyFjNh8w%HgDNOWC)YUV6qv31!r8Cq9S3Z8SH=a-e$J|
literal 0
HcmV?d00001
diff --git a/images/iter_f.dot b/images/iter_f.dot
new file mode 100644
index 0000000..3f3ab3a
--- /dev/null
+++ b/images/iter_f.dot
@@ -0,0 +1,42 @@
+digraph {
+000 [shape="none",label="000", pos="2,4!"]
+001 [shape="none",label="001", pos="0,6!"]
+010 [shape="none",label="010", pos="4,4!"]
+011 [shape="none",label="011", pos="6,6!"]
+100 [shape="none",label="100", pos="2,2!"]
+101 [shape="none",label="101", pos="0,0!"]
+110 [shape="none",label="110", pos="4,2!"]
+111 [shape="none",label="111", pos="6,0!"]
+000:nw -> 000:sw [headlabel="∅,{1}", labeldistance=1.5,labelangle=-90]
+000 -> 001 [headlabel="{3}{1,3}", labeldistance=5.0,labelangle=-15]
+000 -> 010 [headlabel="{2}{1,2}", labeldistance=5.0,labelangle=15]
+000 -> 011 [headlabel="{2,3}{1,2,3}", labeldistance=5.0,labelangle=-15]
+001 -> 000 [headlabel="{3}{2,3}", labeldistance=7.0,labelangle=-15]
+001:nw -> 001:sw [headlabel="∅,{2}", labeldistance=1.5,labelangle=-90]
+001 -> 100 [headlabel="{1,3}{1,2,3}", labeldistance=7.0,labelangle=15]
+001 -> 101 [headlabel="{1}{1,2}", labeldistance=7.0,labelangle=15]
+010 -> 010 [headlabel="∅,{2}", labeldistance=2.0,labelangle=-15]
+010 -> 011 [headlabel="{3}{2,3}", labeldistance=5.0,labelangle=-15]
+010 -> 110 [headlabel="{1}{1,2}", labeldistance=5.0,labelangle=-15]
+010 -> 111 [headlabel="{1,3}{1,2,3}", labeldistance=5.0,labelangle=-15]
+011 -> 000 [headlabel="{2,3}{1,2,3}", labeldistance=7.0,labelangle=-15]
+011 -> 001 [headlabel="{2}{1,2}", labeldistance=7.0,labelangle=15]
+011 -> 010 [headlabel="{3}{1,3}", labeldistance=7.0,labelangle=-15]
+011:ne -> 011:se [headlabel="∅,{1}", labeldistance=1.5,labelangle=90]
+100 -> 000 [headlabel="{1}{1,3}", labeldistance=5.0,labelangle=0]
+100 -> 010 [headlabel="{1,2}{1,2,3}", labeldistance=5.0,labelangle=-15]
+100:nw -> 100:sw [headlabel="∅,{3}", labeldistance=1.5,labelangle=-90]
+100 -> 110 [headlabel="{2}{2,3}", labeldistance=5.0,labelangle=-15]
+101 -> 100 [headlabel="{3}{1,3}", labeldistance=7.0,labelangle=-15]
+101:nw -> 101:sw [headlabel="∅,{1}", labeldistance=1.5,labelangle=-90]
+101 -> 110 [headlabel="{2,3}{1,2,3}", labeldistance=10.0,labelangle=-5]
+101 -> 111 [headlabel="{2}{1,2}", labeldistance=7.0,labelangle=-15]
+110 -> 100 [headlabel="{2}{1,2}", labeldistance=5.0,labelangle=-15]
+110 -> 101 [headlabel="{2,3}{1,2,3}", labeldistance=5.0,labelangle=-15]
+110 -> 110 [headlabel="∅,{1}", labeldistance=2.0,labelangle=90]
+110 -> 111 [headlabel="{3}{1,3}", labeldistance=5.0,labelangle=15]
+111:ne -> 001:ne [headlabel="{1,2}{1,2,3}", labeldistance=5.0,labelangle=-15]
+111 -> 011 [headlabel="{1}{1,3}", labeldistance=7.0,labelangle=15]
+111 -> 101 [headlabel="{2}{2,3}", labeldistance=7.0,labelangle=-15]
+111:ne -> 111:se [headlabel="∅,{3}", labeldistance=1.5,labelangle=90]
+}
diff --git a/images/iter_f.pdf b/images/iter_f.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..31a045df52325d1b3414e8707f3fd21a13f56e47
GIT binary patch
literal 10885
zcmc(lcUTi!_wP|b%8{mY1p_F(B!SS2^xk_XK!8vJgx&;HK%|O*bfk9>6r_pLJ4o*x
z6cD5%O}Gh`<MF(|`+NVm&vO$<ve&FVd+jxQ=J|eR&0SSVX?73?1n+LeM#%{t7XS!w
zFtfoE5(024!Vp$2)&OplNgWRW0B}mf?Ob3;)VCef1ttkIcd&rriHP7iyC7judpwWi
z3VkJqJ8y{J_LZ(Iazv%;wK%+QZ@5SF{vJUD){^O=X|vwVAd>gJwAl3L!keVy!qb_n
zPxbZ9%c9$1&SNcK3yg&~N^>1@OjKx9Lj25;R0}T3#>u6g#~UVtqB(wP77J;!_Y><6
z8&pKUS%saS>G&LNcBq&vZgS>s)~D6&4n{I=56<QY3f>P~K7IJD-iuGpWyU+a|04&z
zmMfi<O^P^+a-nr1O{%hqkH85RnKEIT@~rRH?Y=-0aJ|p@*8VCdp}F%d<!odybIeC^
z{K3I2k-Y?cd+Ed}8mqEx(N773BpGd#R15{7YB@yFU3bm9*5sS$(`(}JXpRncyq;$s
zE~sm*XDDkdseNo}F}=P2m@*PF?uJM{Jld;~m9tm2k!7b-U$c2{+ldpKoE^NTz!oPe
zdWs}{7x`&L^mKKR-{&ypDT(xsA6bWU1M`D9Qm2x2iMdo!gg6JUc!U8#hd534f^c@h
zHxgeLEMkK3mZ_Zhm+%3(m!A9ZCmsOUG;SK8UBpStDINDsi`(^15?hduuo)vJ*i788
zaQoh2qS<DAz^liCF>w!8oL}g9h!YatKYsg8^uGAk!YSdk;5jLIc{zVi9r@6^#S09A
zsyz+!BV==zZbMwT!zia7bs_b{?noic1J;V)J8AX4mx?HvsF##Ydm2y+!`IdROgsnQ
z=2%khr!d07@tML+`4XtClg_HlO-9&`*Vv!vM^<w)s>|PJgH5H1zm87%vE8M1$frvX
zdukT`-PczW3hv=?hybLfBMghi@8atYZ_eY2l1`RDljv|XFgG7e@OJFqo67jAY=-$^
z3)oAgpnPOJHA3;3_||-tq@%IAG}|cc^{bT-?_HwsSlKQuuvtc{PEK_+C@!ps<o)6T
z-92fyBVot<1&HJRH3?c~t?ehp2ZcCh{P?A#QG{EG*_}_b;^M_JWRwByO>ZfT`qdr!
zk<^jb+4mQ`u*bLbc!-A>%&PhK;6QuDWDn0GTxNYaQv!22j8R=;I`Hg$DU5kNBAi#o
zM6K!T5n+M;tO0FCgt1o)H}bANTJtVwNK9-ePS?D(6lS3FD5tqssahidODYXEX^b~?
zWs3x+kv$8i-69Ge%9$I!TX@8eale}ZUP_e*E;A!u%hG8wTFsMMw(tae@dB$Z@vsSF
z)M5nshXrNA@w-DM=j_KiZsvOuRH;h2CH6kJ5*o)aTIQ4bDbaWfYL~>=E^fa|q!W3W
zwTp;1YJukA)5#rO5{0Vu@#90M2ORpGe9;T<=N`)&(oTJ8*$j++8FBB?W4vbhk|35W
z3kIGipl&9Kr$Ihly<F~`i`CK*l<n1;0fK;MEH^^#X4yG(QgdZcULUwW!%kp`m0TWw
z+}x$x8}z)lzu?M<M_>8GI#9-pJU=iB;++BY_2u*%b-Gr!EHL2m3V2oLueB@SWDCnE
z%O?N^|6r|*vRgO2^S=6T7`NCxTyNkABz;A9GRiR!!yWd*`?<H~a~Vx4s0gNX_l(}Y
zPqt#M9$~K!%s%i=Gb|^MX`cN0mzCH4INb%*kQg)b)PPjpK+)FrNNU+#it&O+HMxWF
zwyg!d&CAtMSNFv`k|3p#DPlmaI80c0XSUdbcPTL+)|s%Rny<%?UVdQI_Qmt^UsrCA
zZ0mvmUv#g%mSVj+^o8xJI8r&p7h9G=RpF!s0F4~r(&W4<7fpJ_v~u)8^UPnmmnaBh
zAH<KnqFflOux5tpOxIVC*bNwbUh5t+iw5lEXl>jfA+v5!G*J_MfLEn>pp7BzQp-&9
ze9=QAkFu8vTuJo^@xmjR+nbwm787`hSwoP{B6iJ{8$*(@>*H-k^ID9^P$KX0^^|Rb
z-D}GX2smXX$HIwz&Gb6QIKaQ)HIvt~JK(-7+ExzRwFU+`ReC&iGQtS^ghp{+nP;yf
za7;IR)-(K51T;80F0-UB!M13{<?hB+EX5~^k$oW5lq9cbRa!KSx|?lmMTz}d-e`=s
z5K+&IgA+`%=6iWt_Qgw!`r64EN&2;l5*35HX~<e(<1LV-@?gdWar;0c-Ix9`LE|}J
z*EBlqXI(~hqU=_+?I+FBLPi4qqrpJtCH!)#N5kHv^-~d9L3Jdz8CG(;6f095Xo8?k
zY>OW*RXz(PIuO#%4}^Jg98liL{J>*NaEJaKMNp^u;FvH?F;ehDBNk<`_N9iNovS2=
z0IVx9Fx$NI)bZLxA~tL4dr5-C>He6C)->SA^z~P?qptU?yQ1JrO5MRzlzBWoF2gI2
z>uyE5=6FhYrBW+>Zsc(*tZ-)a-XGWPte9rOIG8{zixzEY2UvKFBbEmZYPIxh%MGe`
z4K}n>KML<nN=!Ol87FvN>2_uHr7C?l0?_uF%8FMt;TR*!mp4k_cHYZPa^9%4M;^iv
z;YEHW8;?ySUdzczhkRI`DzupjwZx}3Q;);|e#G5siA*n)`iM(y0#u=>(A+TV5Q2Mg
zlFzSgWi+c<(GWK-OSa2O<;9uOY@Sf;V!pXI3z%0t6WNX!shYnI85hvWdCI9hJpA%e
zu~VP|_8VpLSsQzUyXVQeO+}5z;X1Jc6<QFk)xqWF;IwZCv1>jIw8a~JCYPlO#ygdQ
z3fWXUTw<k|8^fO#`KTATaw(3v#16L!mVj5KbgCKi?5<s_Oet;BBJg<iB0lP2N%?#|
zFLPt-i{q-vWnUVdYP~d*c*U^zV&1X}o#ys9MXq3$=_@3!&$3T+ylKQiJLyNoZ>8)O
z^X+a#GCZdejs4~=Fo2nvac>9&f|!9`8>!R8&btM_zwLK2?DdtVZdG&!*Y6~oNpfV>
ztlLyqCn&j*@p0<6nI6qx&Y+f=y6gc_rh^&$o7rRG2NK)&L<N&BcgMKD8Zx+iovpUA
z;rJf5T0&NBm^8L&anXy1P*zs`@y>G2>d~CCXW4HxKQZ8o<p~_?is_l(HkfSS8DW|h
z^nF?5&gf@)Q?N*U<V$gQM?!3PM@C&Gh!YGi19@)P-qeud<zWceDG$#-_&i(@E|-k3
zSA^t#iu(L0w46@1IsmcjY-RnvbxbVEm6IdmOClK9mzj=>Frs8CFE0HkqfWUsSwbp9
z?yr@0ZqjgiXBO*pAw)*u&W-wG3AgJ+#x=KiKai*2-SQNi4P_fs1_CVah()|`;9iw9
zW(eqv(AgqNWQy+AE2O<Sc$!mopZkj%FN0=>`k-r%-)FK?)^D*BqsMi+A6%vjozpT)
z<-Gb0b4WhnPQ>uXz{31oFICvk3@!x$W}6a@m50@(x$1;?pUlx)c3Spaio}QsBH+~_
z?at<Sw?At&Gjy#_#1L^%I}L4`kLRb{h>tn6y?kvvse42Z;jVw<qhFk>P}3}hAsgRG
zl)x>%R*Zp<x>j^@s&vIuuQsP5oBDf~_&*P5-|ssZ*!SpP44oVzJ?gZZ@KAbl=colb
zL8Ta4lKL&1wyu=oIIhj4tv6P1Ul~@9f5Mx4ex<Frsu~Z5u=pV#QNPf_6RkGU-zdEa
z<^h4x4(KNMmoB|fqEa3%G8!%@6$%g%LK{#oPACx70B}l(0YCswb13Q)rA<*AzJGE`
zJ0M(s^R{FMvI7B-pV}6^150)gI|#t@(}e1W`uj0H@2~LzoSL4FFaW12)CzVHiz*Ze
zL+u*$vmd7t%mNM-cklohpiDpj4~Pc<;ROSXF1#gBVW8Zd0cfTDT~^B=9b6rM3+?;<
zFRVZ3rhyt22}L+NqQ^4#{Ard0xFB6GqCm$lf%1}sxxvk0>N4VJmmf1%hdDdABF$mW
z0CX1Bf14E_s{M!B=l>Pfe^UGCVZLJl2*Az7!~GBWKdj^Jqd8n*eBxu(cPBxpSJCo1
zL&BYBk8VifM264?JvYZ#PA8LlkD;XC5~i6h`EW;;9_O-@>{YyLWY4DZ0g1BqStOad
z9P&P-NLz)KQo?+x?O|!DB$jKd%A;XVXH5Kb&g<T~Z?5xu7gv0p_<V98;GGr)$iUQB
z0BqVT6x#ZoL%Ue$LdCM!t2XMFX96_zvL&4q9!vTuZBQ%B3hv2~tLS#Ws+=mb(CYCX
z6p36syF^E+>*MV@*ZnZEzV|?6B;24I&pdITgKknbE||l(#wYtI&JO0u(=~Iq3sD#+
z;~KuKA4jcFs57#r!M3P(A81qh_S3-x?ubg2?PS{-`7>z<OV((+@2%ok@M*~L-Ezb0
zPRQ__!IhHKnKFyLy@S07xr$E{J%-+haOH2V?dyIrfkhqUB5&Kk$-Z_}9tMP+yB3))
zonLeH8wv0j5$<->*Ei)lg4$yFn^!hBLXQPTM{Rw$rI+AtO=?TdWBB&*k?U8NKS}vj
zu=lXDpN<Y7<(dooIE~cPLOu8mTnnE~)kqPK7D}q=4(Es4JS(^nZWgP{PL&{UL+$u@
zF-tajGVQUpzC!@V6nAr@!q?=b>=W;{7?SF!G_SLvdhCyRSJvXUo)KjctgVtU;%B>_
z6;3g8B(;R~0S)zdR(r6<Cl>ORZiTv6WQ*7{v@*7*!x5eGQTd6_>b@}JG7oTjF}Urk
ztnb9eO;Gp0(+w>iCB^zI%L&_uEmD9A>B};9K3NdlTFg@_IV;?_tJ5bci<Kc?v$KoG
z5K@RI{dj?HmhVe=5<u6g<GOMv#9)iQSXL#?r_5e%FiWnXc7j7Wb%M`f-u*dy{HTY^
zWG~n4O=Fs(N!PRP2vgW%U>t+HrN(YxtNfE4=QvptfQqwa?@nze(MZKhpZD_fhgG*i
zv191%>iUho)yZXg`}+2?r)e4Ui$*png#_7#2HGwjOH~D{M`hS*-K}=hvm+aKHma8I
z))Xaqb1vS!K08`6s<fF*!#}OuUvYl3t@zA|-_lawOx`f3XIZ&Fn|uk;l~s9ap1^E>
zkgF6a*c40W@}$dgS<t1k-AM`5p3|m#0P1;&c^)a$7W2?h##8z6w&EG52Mr(DU&;F&
zCOzkX)w`L^%SN)H(Pw=|6b+6glLGDy<*>g#BHn&U42|T3Ckj==I~K`H`2{#V(yN&V
zr-zW~t8sG?T%X*Bv7T?99d`FpocEkY3~dV{v4&4%p0Yxq=03gB4mM-4BoVXF?MH6~
zcitFO)*KM1>}Fk0MyLdgZoN;q;XsMlbKg!H8?{x5y!1tQ)V*ZX<10PAHg;K#R`;5t
zHk*ZMlevHJ;Fj3?v%`CCuF4g>QH2_@?PMIesYyD(B0dA)*aD|UxZt%9`a%g6HC^xq
z$mG|8(czO>ujSq+I?ri*m&e;u1?mc2H=CAaHuJsh&uZz)a4nTbE4k7VKW>-Rt8O(I
zo#+gW3=^{RE$yGJ&3#P`gAzFP_E>b&cy)_*r#uazrKuh2;K(+%JZ-P%VqTvr(a@!*
z7rTL*>T)HH?ds&9_c}!rRd;i}E`vV)QM%Usc9Le~fEICJ-IhYP9;jO{X8*3`tf6me
zvXxPBY1~&B0%_nnFzpqT$}HTqD$@0q(lwz=__KAUw^3_Nw`(fnN{FI2sa8UAYs+Gu
zMfstQKoQyXqzdw5hdHj?yyMn3-uov*ox{Shn}2<J9f%knotdc@x4Zq$<!cyedO0&=
z+wqLwc2eZ9W&S(WA{-H;%s1k6s}oA6-3$*Q9j}9~N>=BQv9^3$z@F%uxH)rqlVa0j
zGhnJNAYjE)2?~;7GxKhGAsoAr{d~j32(xrMXpBBligk3$)HmUC;lglfLatG2>8`Ko
z(FEk|>t9tJe(pr)&z~^mC<`>~W7*_dmZfD=Y0vf~zI2P?`S7-gpF`R43t2frG$mI<
z2zevrUahhj18G^@io1HIh?-dNm`uLo6ZOJCllY`PiQ`*uHT+aIbFRNt-W(xcb<Mzu
z?DRy6zEQ8s;$MMurYmnV4EH-9Vn}%yrxh>`Cap*dzHKU8SwF|bg5Mr?W>YQ;8?oM>
zxHVEoR|_W`h1qR>WD{=b7iJt8gnLoc@TBOsz*}7(h-B{PeHhs~AcsS4owKeNCVkpW
z7f4xxKfNb^vq2ytb+iU@kQ6BHDWKiAYoM({`nqob?xer#8OvmT(&E%_J1zzl2y|FL
zoQm0f*xhH`TO~PtaEUDga58fv#XO(5kiz@*h|F7C);+0=6p;_)dJeEzPATH;#NgNb
zVR=ERpDG```&!e2S#~Lje;^MMT2sum-!GIVtb3CJ(hnvXOqnXo&0PVI(n*RPkTlsc
zKTX^2w*1CsPVhu}gKMo-Q)I+;FEZX1IRFhEO2?&Ig$QsvOTTFHbI$%cd{iAse=fC0
zrR{*-^F>yFdE*vEyirH)+$q88sz2pudeV{AyH1Zv$EBk2*qMlTDoFw>t`iygMXaSu
z2u(A{=UgTBtg+QrtF~TO_fNipu!UJBMvl0&K4I^At^=R#hz*-po$^%;H8Cw!V~4tz
zxyTi?$oytS`VM+<c?~Ol^cMI|Y%B!q2P#zy70H{wy?WSZiSTJtrNKJ%u2nf~rnM*e
z^o@MGxj)<|D0W+}mHe6sk#>E!;b~8ol~Zozh^V6+?LxEE4RW7Dp+|ku+q{7yf$tIz
zxhc~gInFe<5gM_IY9BH^B9vGOpW`Gx)ti5~?eXr~CUf2ACc#gg%YwAYivgcHw+{?5
zmnVtqAXHYQXIWc0gnljyiZ~8TrwswKymRg{TLyu%TU)c-b1r@RJ1$qeO4{;GtU5LD
z-t{(@k{Ih8W;gmVy97J#NLC8vJJQ{Jw>1w5e9k+z+(lCt6T}g?h{wrN_rg(eUX(O~
z<<xNAGmsvyZ+v@QT0^Ap!%;W!c>Y%RJPYcF&?{}xQ!Wjfk{!aimnP>4Arg3^`13Cs
z2l1%!MAbZ4{BJWZzJHb@MD+gI2EkEQh#U3<-%2G;s;Y+}^j)Jl!MeuSiFNtZ=cde#
zLp2O2&2@r#Q4)QF>##y`1-iuBPF)`{XvWRkWv0f==YnxPbfNA{a$mG@?n22`CP*85
zsXLILNXMRr-IjdmJ4sw^1T}amj}UxdZ@X{$jQOD!&hb9Ojc`1JH(}8Rq?KWf64!Rq
zZOe{Mc&f)kHYZ<(kS1LoYge@AE^COuCLJk#)wPfJdEMh4w78K9>-_yUeEgmJfk9V&
zIQ@_Do)__!=|f{1J1vT2n|*PsbfBJ?uEbL}8m5VdSlBcUOB$mMr?MS$-zv`NMQk#$
zA>LE74KYoX5UExv&1(m)ZR?UWyt%HH{ZbVg(0JO3$uIh#6LTv1W89lVpbC_uROrn$
zQjVCvB;p7gZZRTK6IdLy<L#SxNf0&tQM}Ak)^k?__3RR|fzCm+Ryk(U+R@2SQ?KhK
zI#nEx;IxWb@foC@%)~L&4Hd8EbgHDGJ9mPU*PF9Kn32&}ZZO{I2ssNNQIu`;2viR&
zR7l=g!;x>LEN>2RYT@DUy;p{>1IuK>tuNzQ)u6C#itp#)XTZ(0r_iF{l%Zq_Ym>b#
zZ3yoqzGTQhMO(@ZnhIbIO4xZ~3+k2(fIq`x2HH~;M3qK8e_+^}@Y$c&KN+W-Qrrzg
zPi_nNkS4Gj2i!Sl*-#9;<L_e0VniFxm|Z=u?#PnG!sp>H(a@{A0RvJ+UB6c@u5Om7
zs4lzI9|C{Le23z(&f`U>6P`9B+oiL<4^aYE{(lt(E|?ER>C-;Cq)wDV_cC2A?C@N5
zWtRH=Xk3vWhQI@G-M=9SEy9075Fao1PY3~_apDiX4*Hur{*z!wA;7QO^G2$*h-LuM
z`q2}1&KBITP}`{Nm4T{u38$S)6lAy6ui-2<`rW3<4UM_%7N0T>dv4tJynh^XkKPLc
zy=<NmQFSED@`#fBvuvA~LF|`OuR^V>;;%dfDj$7b31bw;_}1OQ-f~5`Z=&x|62re<
zCcM7}OL=xQUu}@4k+5XtIuLyAMgJ1A6kOLq8lb)FImGWU=+s*&+A>N^<l*bSq0nhN
z^+1y%+aL<3^(s;8HO!Q==e68zc0)?ibjKMMY}j;F1$@|a9L_EL7D}VsM)R(VuJb3Y
zU$J(BJU2W`jccAmgj?0U!#p!;x&-7Y8wGrd1P@gW_fIe1)bMTmcaAR-_cO_mzjORI
zY5pWVG&xGboXwGNM;8a=1;wFF%20b02I?y7=_=~5io;#L=UE$ugleEjja}Wr9*X$o
zEDg1X+j#<*e)$2=jsUbL^LHmZs1*td!M}Qle<w(G5FZzS9n1v*fWUmb0Ddsv50I2|
zf!e{%#Sm6@FaYqPmzc9T8bnbp7fp1?=r+3Zg+T)9C<}vIS^w>#;R3VQ2Jn6Fj&8{Q
zY@jEIT2C-A0L_TMGb0+Af3Csrq>A>v7(m0-%;kcOHBnTG-gaRXhdRU1F8^Jw;7Df|
z32P|wXDSq-KiVMh_gSEK_4m<0W#uA1G?+>uP!%aS!V18t14oD<oZ&wW7h&kYEnKXf
ze=s@vMEdj11wunU`pv_|^N;^OJ^%l<(b0X6@#2mGYLz-@A>im@9N^*t@%zC7{fBxU
z=>J~O`yKJYJgBww`z2&p(^gY+lyv6n{jc2^P1l|~N#Z^L5FCn=&@tIOz+7Yn?Eo7p
zHDjD43&mOvGnm3No;CwO36l2|!pp8|2$o5!g(=x^m&x9)pWv1&mQI=&XwH(}$V>X7
zR$HSzYIE+kpX}W$Jo{$WJH=I&K0~#DAxf{t!bzwngjy^M(q*>!V0@Q+=A8uxG3H>&
z_->rHpT<dLwDYs}@Nzvap*P!G0(6VS^We@$I1UvgIL7o<4&$dSU3M~%5Yu&%Tj0_<
zm!Pq5@^$iCB7UvqSkl$7^f`$Ki{xyH6{cDH3j9>JZ{&jqI=V!f3M&=dv}-s8r>f-Q
zlJp<zXWxuDo>}cpw@CdWG|iu7U?H9*NDFST{ZNe8JXO;yQn=Wv6Uz3jrM#?gP`$`a
z<Jx}awUD#~MEDvpY)#rMZ7Ivb*342J8NIrmlsZDsqN$)PzizI}E*7q;RJr%MK7mpU
zpA>A5*iSA?C9FESm*jUC73-`|qsT6t6Z@KaOVELOv{Yb?mv@Wt$TKl+l>C)L;Zn?T
zP>+7v10SWXK6U!EDfO3TggU!%O@oWkNy;Bd>hra1vx9Skr|ZH-#TgvNHD||k)550=
zj^28UxRLk7DO)$?#ZJKL71)QeHi(u;z0!d_$20}$xsUiWDr`URlgzt)AQiZq_&JZ7
z{VMzhvypBFVXU%Fh4=)kh_p3_{i9*CDA4$r?b6NSRx4?27!|2>u$q~s_3Bs-jgFv2
z_<OZ!xwd@X3Y$-P4+s{(15WMjkXtSU)Yj<=*IS6rH#B7?^VN|~@a5O?r9-=co+hrU
z54(|1-K`BOG@_@)>>(-XI;Ja&@Ip7~HJe=9*HnSWEY()4H99+fCO)o@eXnRyWc6A@
zn~(3!A6(s}?x}m#Mkke0%~kq=CB#s6lD(MhIYcc3Q?OD(FvC@!M~y3`@y$!3+i-|<
zM%f^RimSVz|Mh|!v-n~+Lv;)|DzL3!A8PA|nELfs%GJzLnCm02vPQ>y@B8GpD+F7x
zSH!Ci$`)V!e0T5#cbq`cjd0B}a>5ao{KULlP1YsJEO6e9bdtk7WufW((dhh=5ZE&(
zW1Eseo|VzOE7e13b*-NUY>~uAj}HvkJN--gUw90b)-rmWj(bXN-&RzRrQCA>&b)3t
zfj^n87pku)w3UBKoSAc^#VI;Pd%r2g<4hE{FZWs^cQ(_EpSRr?;Zk!2WFRY3v^fzj
z`{~$}V7aO4J7gDcdh=})eKHf<5eCcQ#8>6&OXcz{Uh_}fjde3sA}RJE`vmE8d`}Ht
z9;BUrwsP30<ity%@*!L)X-SzDNHY&vCof6EUm7Q$UOb1mRHqwv;oH;&J3rj)oAzMJ
z3ec3E-_ehM&A&3dQX<naYdu`}sulsh%yBv$eiL5xr3r#vZ)pfS?FlcvbvO{ritter
zl=f{noC<z-{DJbl$>l??MI_l-%)>qkKgFi(P^`6RLUO5Xvr8gxqY6au=fqihxz676
zJrA0#-3lSR%_V|daMwC~iT@6kOuGL{i_h6BSwJIjaM5wiB21u#kMf}j*Zr2myNl#u
z1h<u6x8>gmJK#GN!f&H&v!NR<Gv=cT{7NB1A!=UN<q^EC(F$#y43h}sX>E|brTbYM
zo1*w+Qj^vEyxy$h9sWsSxUWO?aQ(tM$9fmf4APu)kx^tFTGz3~b-#OTqapH^hxv1Z
zxAP4pWVsW|(xEp>6$VPNUq0KGXeDU1RkpLLtLaHMR%+tGzCS1SDv$eQ%eQreecp!E
zT!Al<DpTtjb~t{HO_=n<kRGT<;C6XmiLvG3x`$kt@y>jU62ZQis2y@H5MzzEGT*DU
zwZ^QX4F6_fc+IEjf)WbX@z!00ovF~*b<_P@i{lM>v0&Ra({Efn6*GZWcDjts0)!*-
zxg#}dH$os`!zwZb!(qAf+rrWib5i<RTbNd?en(zGqq}e(+j<Ghv~GiLukOe91CDIC
zO&Vb>mozb7GWiEyVl$25O10=#c<)Z(Oz%82b-5cFqXn(R;4~*|YGQ(QTXeUJ%VEqC
z$bc4;!W@7(q=EVHOC*8wA$ivOl2kNSim~k)&Z=Y7Sc&;~UUaj8bs^K5H0Dq6BS8$J
zHU%AFGD<>?@pq!-!a{B+LdtG3G*1j;-dNnAX!95gE)!V-(+p?~NnBcb4eh>T!9`;s
z1f0mHafI&W;Xo!r)aW;CG~IMCr6-=YP&81auBta(Y3~MV<@`n2WXICf47~XzQlf?$
zE@96S4jKxg&F6tMM`+%>n)|4rfk9my#DsqZyK49z;nh9&f=j5|S{Wwg2KzT3TJT0s
z@x+o`dV}vv84@N!EE^?oBl+>y7w#BN>f*`RWo~=X1P5l#n2sg{8Ca5BUS1z01co0H
z-<4MDU+HxO)qs*S<}4)Ti=XlX3yJ0f9zqEt)!n44tb=75T5-6DJ8_6Bh=PW(La~Ez
z@T)IP)3WIrt7)t<e^4ZnupJhH+<YByPWbR_6!&zL_=J%0<U{U%P^iDvLO^_ckY5<^
zy9E33kPfQG@UxuozhXd?m`yYAn$%a3z&NhZ2DultL`;K9WE(L#!v5x6`RPx?7ub*|
zEUCaiJiDkfzmEpT6Yus&z$@+%Ztt&&M41~dbdo`vnWGABIyQXFWPOvOq^>^)H30Vt
zALUJu?FBzp_=vCE#}VP7jq$=^J?e^*<8cka*Z!9|dk?wPgXCSQ`Sy0E3gsLur9WWR
z?<wy^y$Ln-i|Avg<<2hMd}`-Xb;tZEzEa+Ve8IyJ1y{U|Z-az3dk2$_PNNHm#I^jY
z$fMqkG@nQ1tgn`slbFN~a00f<ibw{PV|V}Jadou*4|zoA=BLs}smLECoeR15ZzcP;
zw!DyyXu0`a=}U;oD{4rwO2TZQ+OBBf{%iYBasPeOzeGLvFUMb+9tZ{k*ttO{QP0B%
z1b{$1JpT_=J$g46L;W|h{z4i4Ln{7W4Emphy@Z@3Iw9!I-$~_fasQvwgX*B+>5L)^
zIfSJHIyiKRP90_iN6``rhs03DJ=g^Rp=GBE(gKD=3wS0u3lzD)T|9qn(r|Tjw1e5B
zdFFyvew4QUgaNdI|6Wwn0T=*LVxI>H1n}{K07gc?mA!th2Xrj|(@fF!?_Bi1P4OpX
z062d}%`SU!7`_9T1r$Y6sGOnE19SmX-wT1isrK(xNYs>muFN0n_3!x5#m4XJO#yC!
z-qXcIf0YznQE37FHbKzO8weK#QPk6UC~gHXnM2`72LOlz1m*w(n5<n~90fR0g;JE!
z3JG<zhMPNcI3TT<zw@Xn(!s*j9QCx{f8Xuz37}T@pO7d4Me(YG)kR`1X7i(9`gbP}
zB+L>I2mpidfWKY<9tZ@5zLtRRHV_cRh2lN*3xN1x1A=+MsBHYx1_Ywctv_sFULfj%
z`cFR|Uf{p{`1w)A+CTije2{<naRGTyY5rq>K(2qq!UN<%rQ;7jE`Ai5{bA!qU&Q}u
z;{|d3D`tMwV-$b-@q@Vj6$?K%_rJ#A=SE#={uqOw_g^ui^34C|JU~D$@NeU~Afc$+
z1IUX9MK$1FF!XUlpTp`74laO;<Ny6UM4$J7i}iSMv2k{RB3&+yG-`jme0X>7N~uWW
F{U2{rj{5)r
literal 0
HcmV?d00001
diff --git a/images/iter_f0_chaos.dot b/images/iter_f0_chaos.dot
new file mode 100644
index 0000000..2085927
--- /dev/null
+++ b/images/iter_f0_chaos.dot
@@ -0,0 +1,45 @@
+digraph {
+000 [shape="none"label="000", pos="10,10!"];
+001 [shape="none"label="001", pos="11.7320508076,11!"];
+010 [shape="none", label="010", pos="12,10!"];
+011 [shape="none", label="011", pos="13.7320508076,11!"];
+100 [shape="none", label="100", pos="10,8!"];
+101 [shape="none", label="101", pos="11.7320508076,9!"];
+110 [shape="none", label="110", pos="12,8!"];
+111 [shape="none", label="111", pos="13.7320508076,9!"];
+ 000 -> 000 [color="blue"]
+ 000 -> 010;
+ 000 -> 001;
+ 010 -> 010 [color="blue"]
+ 010 -> 110;
+ 010 -> 011;
+ 001 -> 000;
+ 001 -> 001 [color="blue"]
+ 001 -> 101;
+ 101 -> 101 [color="blue"]
+ 101 -> 100;
+ 101 -> 111;
+ 110 -> 110 [color="blue"]
+ 110 -> 100;
+ 110 -> 111;
+ 011 -> 010;
+ 011 -> 001;
+ 011 -> 011 [color="blue"]
+ 100 -> 000;
+ 100 -> 100 [color="blue"]
+ 100 -> 110
+ 111 -> 111 [color="blue"]
+ 111 -> 011;
+ 111 -> 101
+/*
+ 000 -> 100 [style="dashed"]
+ 100 -> 101 [style="dashed"]
+ 101 -> 001 [style="dashed"]
+ 001 -> 011 [style="dashed"]
+ 011 -> 111 [style="dashed"]
+ 111 -> 110 [style="dashed"]
+ 110 -> 010 [style="dashed"]
+ 010 -> 000 [style="dashed"]
+*/
+
+}
diff --git a/images/iter_f0_chaos_ini.dot b/images/iter_f0_chaos_ini.dot
new file mode 100644
index 0000000..0650a0b
--- /dev/null
+++ b/images/iter_f0_chaos_ini.dot
@@ -0,0 +1,45 @@
+digraph {
+000 [shape="none"label="000"]
+001 [shape="none"label="001"]
+010 [shape="none", label="010"]
+011 [shape="none", label="011"]
+100 [shape="none", label="100"]
+101 [shape="none", label="101"]
+110 [shape="none", label="110"]
+111 [shape="none", label="111"]
+ 000 -> 000 [color="blue"]
+ 000 -> 010;
+ 000 -> 001;
+ 010 -> 010 [color="blue"]
+ 010 -> 110;
+ 010 -> 011;
+ 001 -> 000;
+ 001 -> 001 [color="blue"]
+ 001 -> 101;
+ 101 -> 101 [color="blue"]
+ 101 -> 100;
+ 101 -> 111;
+ 110 -> 110 [color="blue"]
+ 110 -> 100;
+ 110 -> 111;
+ 011 -> 010;
+ 011 -> 001;
+ 011 -> 011 [color="blue"]
+ 100 -> 000;
+ 100 -> 100 [color="blue"]
+ 100 -> 110
+ 111 -> 111 [color="blue"]
+ 111 -> 011;
+ 111 -> 101
+/*
+ 000 -> 100 [style="dashed"]
+ 100 -> 101 [style="dashed"]
+ 101 -> 001 [style="dashed"]
+ 001 -> 011 [style="dashed"]
+ 011 -> 111 [style="dashed"]
+ 111 -> 110 [style="dashed"]
+ 110 -> 010 [style="dashed"]
+ 010 -> 000 [style="dashed"]
+*/
+
+}
diff --git a/images/iter_f0b.dot b/images/iter_f0b.dot
new file mode 100644
index 0000000..e00de78
--- /dev/null
+++ b/images/iter_f0b.dot
@@ -0,0 +1,45 @@
+digraph {
+000 [shape="none"label="000", pos="10,10!"];
+001 [shape="none"label="001", pos="11.7320508076,11!"];
+010 [shape="none", label="010", pos="12,10!"];
+011 [shape="none", label="011", pos="13.7320508076,11!"];
+100 [shape="none", label="100", pos="10,8!"];
+101 [shape="none", label="101", pos="11.7320508076,9!"];
+110 [shape="none", label="110", pos="12,8!"];
+111 [shape="none", label="111", pos="13.7320508076,9!"];
+ 000 -> 000:w;
+ 000 -> 010;
+ 000 -> 001;
+ 010 -> 010;
+ 010 -> 110;
+ 010 -> 011;
+ 001 -> 000;
+ 001 -> 001:w;
+ 001 -> 101;
+ 101 -> 101:w;
+ 101 -> 100;
+ 101 -> 111;
+ 110 -> 110;
+ 110 -> 100;
+ 110 -> 111;
+ 011 -> 010;
+ 011 -> 001;
+ 011 -> 011;
+ 100 -> 000;
+ 100 -> 101;
+ 100 -> 100:w;
+ 111 -> 110;
+ 111 -> 011;
+ 111 -> 111;
+/*
+ 000 -> 100 [style="dashed"]
+ 100 -> 101 [style="dashed"]
+ 101 -> 001 [style="dashed"]
+ 001 -> 011 [style="dashed"]
+ 011 -> 111 [style="dashed"]
+ 111 -> 110 [style="dashed"]
+ 110 -> 010 [style="dashed"]
+ 010 -> 000 [style="dashed"]
+*/
+
+}
diff --git a/images/iter_f0b.pdf b/images/iter_f0b.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..8f368b0f380f0965bd861f70864d9d440e273489
GIT binary patch
literal 5446
zcma)A2|Sct`>q$oghE6~kMLT0F^gd)BHN5*kg<l;m>FX%Ga5ruMk*m=&7LJ|8H6N7
zDPn9BpNJ5Wl2GckRHD8aEpNU3|G(e&%zCcpKF@v5eeQG4bsePxCMb1?1{|bR^ZM#1
z5DWkVR1a^Eo*tlyAyP<mFF=b6VL<=@XrjozbRv!W>x-ikO^A3Zfe6yq2L;e+M4TTe
zI4j#xmnx^TWp>V~5(Daaa!B8m&u|@|s;rP1?xx_gHbX$5((d^jDK%dA;lt2nf?(3k
zV|uh(y09$G;S=-33tl$~3Xs9)Nw>yTCTDUdb>_QKsIUfxHkEN~a{lhV&x@p$kJNz4
zos2J|`X{xz_Rf<PNDPQ_>75q))kYWUoc7=S$kx#T5<0o^WV?3StkT8$*4GbKW9u7*
z1CHGd{m{4?d||<+IXC{;+>P8f%d9q)BX<)->OC%y=Dki{Qz}{pUJ`EK2M<n_h_tNa
z@u{_63!b>6E-SXdvWNQTQ#1E1=!>*_PlhMf)zO55oqXwa4kJ#SGeW+|S564qxZt+~
zL1Bd-SaXyLwe-mtsIL6|_CvOa5G;b$xa=$pJE$x`7K>3o`^2P7Q^f+9Nd%uzv^Il9
zi--%OPui}yWZ_4eQ}rC9M?tTSs=}r#Y`h;L{wzAuf}2Yyk9qxcKt4kCwy<P~oSKPS
zXITx}@!9Z4F<a(hbD&!rXx-qYzh{LY3c(T1*Vpf<+EKMczx^mEk^$`y@G=%K;@@g^
z3_XBlzgc(0-|NaYd;Xdiz5<m>bb*xS<L@G3NEzVaEtR0?SmaDy2z#0TKWgw@YUME>
z4xjpvC|27`n!erB&@wwCp(HwWpuVNVeo40KVLp0Cri)sl;FkiyXN8z1TKXmDcAMzy
zN0g>jB?7&@-0|C5gsdy>Me7<|J=5O2`C0IJsk(ddER{^5kks7+`tOzhIGc8@HMyF&
zD;}|R&-g57XwRE!w~SP!!@KnC-K=0kC2$c`foNW-18y)S?!s8n)mX`Ue$Th3V~ds@
zWeTl&mHt4myv;r`d;C(*D;|)NBr3?HnEN{iY^e1Se{3Ofv%z8a3vbne3yyiT(qvT-
zNfrMTmkQ0JM<ffi)mmh%!;~fqc`dGDrB;Z(IVv&%>!(-l6`^|InCWzn`wDF2q0_rh
z$<i(E%NJknlW)U?^;+B8blFEo??sI9Td9hQ!)kPx_11l$!rpy%ri~*!9$CN2dl(v)
zcI?GgEq@1VLjlqY!oFvPSwop=Db*e!w$>v!2W#haQnKB(>Xz;fRRI@`dVf$GeA7!Y
zA1l;#@}QQDZOKE*`jrmz#?|nhrIq^QgwT?#R{0&0@9Dtx*z=jz>xu)<7`C*>o}3dO
zkdbi9(!?z{w~Z&6l`JjWww|?w>#~gFK>~*(Z#v`~+;?=uyh=6-O>}GB{O8LFD<Ay(
z*p7)o?I4*m#wPRiWPTMENf_#iN-r3MG<9Ulu(ybgZR@~&TIjT^4Q@f#4!`xc7;b55
zq;f>9Up^3xQ#myLG-^ag)cR2S^iwm}yPczNk<&(wxyCoQdFGyBbF??=Hq6rcaDV-Y
zepeSPtGL+rY>T324Pu#a1EGkkLY%Glx`yC~WU0qV9lwTX{tSvS&T6Pa)OAvhE-)*q
z5xsXl=C>g0bp-l12=rm>*U2MP`=cBb-A)wLUg~^ON(-`~y?um@WLVxvpB5QZus_mP
z=Q3&Jo>=Y|ZpXIg=U>=^p+}uJaWhW|B~`vPOjgZ1lYh=4^_|AwRmAsy=}tt3ZSN95
zl?1p)1`h9ysy+sFeH#;aTIKd^R$t&>Z1eWpABwjq4{NP(tY>hfz2%V?Wv<InCZXIv
zNUwcQIEFLho{lb?M3J)I5>u-}{H6{e&6pC4MY&JGh7|%H>`=#)+12VT7qOcNA(>Sn
zr;Ul{l%>^RdWKFJI3W!d$DhBxL)f^ol=GG^ri0lze;|Xh@mw2oQ&<#7tk-v=;1cl$
zU&pIK(JO-4L+kyXhNP9MlpniA@oyBp9TYwMdUeSF;hi}QB2oz77F+H=-ZITwn|Z(7
z)focQLGTQCMd*)Jd~Mw}4W^^*=-f3M(9`1q+)EP&<`w`=V?zJ}XyS3)Z|+LYz47&1
z6Gf%af3o&e2djet`1hTFYs7tjbEf^n8K7x@+@A<&9>9@^YmN`#XhiOFAm8h0S`i6k
zoDnq`aOFZ^KnsQhU@$G<(3-U|*C*FJ0N`yxUw0fdjT-3xQ#-yse+~WK5j(C|8jcd+
z&+~;p{v9?4=(NDKR`7aj%(XHh29fbZEZT@?@~xX#VgNOeh9?F9ypUmk>Xi<+{I87=
z@uOM)*G9;5^L59B05GVI_Afi*YX={?{UgcImyGuu#f<jnU4%bOlECJ&qw?}%P4&jY
z0^*m#FKuucT4%f;^g?VaIQEiYTj!~%EBn39CwpJgE)x5r(eXuzd_U-@LkpJQqDu9&
zX{AJ6Z}!&Jo*MdMZmCb;9P(J#=cS3+J9D>QChX2vaj^!*7H-+Syc?GHH)D5TN?W?#
zYNKgGzg;w6GzW5eL@mQ0;7!qx4?4=XpxI}HgS52N*NB1>8qf>3sy#6xj1Q0FYE8pj
zDnD2ASE3$UM$K9$&Sk-m^@uyggjhZoPRtINw92(GObT9--;L&E*AW_!9Bs4bZi%7u
z+q%*X9y6?pmw?0^(+w&9ZGZLXD!J;8i1}x#6MSsNLNajJ<;30xq3wG|PSzn6`m<-3
zl<O~8V(J{uchzdp+TJX$^hVr}6UPV69IrMyth6z(uy21^d55t>msQSU_HGG}q=YR4
zw=M*hehhIf+ca>oe2<J;i@$45876)hT1QM8&hJaUak+}(N-SDY+v94lIOa<pzo>@Y
z=C6>O+;ipH**WY%2e*#WV0ao!#JeQK%rC*Q2l?t1VMH;zdvo)POC4IQ1%)8idFGUd
z<+?yyQPt;d>gK!eAm>9|%|Aw%UclNjtT@g2PHjEQEdHZ{8#mmn-iTqv8Zyb4cI%)S
z#^=9|(cGY=dJO9a!FDf3h7S6r#<6xtQdq@7*oSv+)V@*dl~(>@P7r#QPwZoX9@*EJ
z>?_OBijyIoJQOO^VA!y)UA4U2Z|)4MkKf_1<-doQoqIN~V81*nB*enJV}^=vY;qcz
z#5XDTMOQ4YG>v`GEc<LT1}<UPqeYr3Y~g-(^(INwTq!{;akeOB;S><*aK;5+D0Cy{
z>O<8kH!G1V+U758Q!km!k<VN$jkezd*`QXj-K#c(5C`*lAmo{Syxq6Zx4O?)E9L<<
zC1U5Y`yEU6ep$HQ!iK=Sy@9C~uK*2&O_3b8UQ<#}ly{v<X}b8`a5XRG6mt!Cczmi1
zk<D)yH-j45t!J|kd(G0uJZR%1kas=_x4pot-aDyo`_zW=dnR}pv1?56_AfV^y|;c*
zxA#t>U~QXGnvIGl4*Ix!f{BsqO0p|DoE%XS<jdt<lQow+)ckf17m1d74tuil?LNp!
zJ>{!;h=CslqitL6>YnmoB|LT=I_azAUD7woCi?Znws=;tiaR~4LNlB7ha3~j4*Fmc
z&Ra|+Fk7@Oy|<S+dc+cjimeJ!Cvq}0K8rWHYdA<eFgD0kuZD(1FJZSE*~=#m&D0QQ
zc09ZFKu;O&bVY<M;%%a_cu9Qz{6gmK>)pjx(&s}ym2JOou-92a`tWmIh$^!DeOQ!!
z=bO^J)0tC64R!tfr*~IZ=hzoWct4H50$DA2*<f*8qx=}dFtK7XSAj-F@3hU@<BUth
z3@e5U>`J_ddVTp~mUL_Orn=97XB(+cDL*t!PS3yQ>gt!pjElh{%Ba|?Zb?Y~NJA)}
zrRF3p-z_TA<nEu|oU}|$!E2u^=x7&p<1T-T#7{oxdP%RcC+0{(M~9RE!P+zH$w69w
zzf31zxjM6Q+n2W!^Oz^X<L5TzLaxF-ziGX!;kId<wJW!5=T!roo6tB_UMuq509fDC
zP44X7=TF5ax-)JD=N&jKJbqf*U8VVB{KLhMV10{LBs*7{1bc_p)E6EXp5WU&s@ZyC
z@dMw)AxK!Qtkq@obTKVUF4}I6-hWwoj?SKwp~4ug!7)A3P3`9tLz8+E&g#J4ZJ2m$
zQLCSNs$i%8*`w+2_D;arrOYuX<9=|&(J0$)#1uQ+ff0Jjw)U?30Ay+IV*dL9{1;ll
zSSRBS)#8%mr#~h;8GTU3&L($ug*2Rb80rpswoPMp@b$on(~l3m?x|nBvh>u{e7Obe
zeq<%9D&`$*a}YFVZ2Vz2$s=-;fk?guhGq0Y2!Eo;j!LrMTjl3-dsM2qUp;knd%U_-
zPE1oZlVsGhEQ3<nZWGhnE3a2GSd=>*_dr8WhFu)H7$Skkw`{#rCATB(qNL4-z?QA{
z{2b+#$M>A?UX6F}b{^R1Q^cvcUp09&(tV<3LbOckNZ^*zLc7ux=T~ezQ!>785yUQ_
z=ruWaIkN??>$|yM-Q}5_HqmOBY{l#)GW43AJDi_2c__;<oA{Wfxa4zHV5R_$L*n39
zq9DpL1_Vyf%c;SLo4JruS(vE`j&p=xrdOs{+HPYWf;p!PiFkL2O<))1tL#%{=Bqpz
zkar(Ti#{RqzOCc^^CKRzpp>Fby13KZCgwdBgHhppV>spxpI1kjRZ?v5-=-J3+jjW9
zy6w!gX7(4TGtaZl*tN#eVn!Mh6a}lXoha*l=Uyt@`yhpXd>~$KvgJSWkdP}IjW?iY
z<iq==h2z)&dq4Y>Z-v|zR8W{D=|s=nT;un(|LG2|PfC!C<ur(9w@=ONN7WgVOcX}K
z^~s5K@e$X}7P?F-au_3fqH^}>)m`4TPj71UK}G#$w2ndD^3FOR;T6#*?PkQnX5ip7
zX6fEGlQeKr;n_k!ydV+Si8(?Sorsfdj@i;Zwbcau${vl{cyxM8JmOrMSm)cQ@W}C0
zml0%ThnU3K7_ry0mkMO8tAc_~oe?9-CyB{>iV4?my8&QqGq3SI15}*j%q@424@gDj
zP22mw*zjm3EPU#s^-~|!cZcz=>l1!wW<0X+jhR8gkRQwp`8%zE@R-p5Ca@1BG*a#Z
z!sq7nBH~}?oi23RN}kq0`evsttrtueCa-^<U_9EepJhF?9zXG=n!(XrJu!FakI$xt
zo73;@r3$81CZVK{(sJPH(wBRyS+?D3(429ct9aL)+HiBB6<wV)lO3|780mLy>rNeR
z2apDh;|!Ul%edHg+eiyS{4;yOUh_9MOBy_4-rI9>+UiaH^=#<U<(qzDdF6rCt`8fZ
zil?Bk45L3IruMrGLl!0vSBymWOz$$q<iud3PQJK3IA2V&G0iy8uzao9DSwvrreH`F
zmDM`X;Sm+VdbvKR_UNwP1GyHS?~#Q52qc6@D!&u7ue6ZISxtxmcpBNCPNl6;N*-j5
z^W$<-Q%gq^BeOk5WcpVI?MS5I?6|a19ZU7YQGOVsaDHUp<ABN!JAh{h@GMoo8u{W#
zT!sq$QN!pfomGb*V1POl1_vNegbsj&BEGR&b2`qKj5nl^e2D;ft(IW`p2v#0CTm4r
zlX+!c<u$+<=Wj+Nlf3>hv7;0H90A1F>b!#4_X4kjTsBIC0zAU{GlAui_21*O=D;q{
zgT6-8?YR`07rQmo2p2$Hqy7I=tjM$gy0I6I_B|9B+_$n8a_woq4hFC`Twjyil)^nY
zB2!3!rW2WBNC_Z+2iEF2kqLCKfN%PMH#7dfmo`ir;C<G#16Ko39Vlepi4?$_Vm}As
z_eA08lYljEmSh6Y7f-@qf2fc^o@Dt+3PApmQ(Ps%J?r9T7odX2k!e%_q5*+wKmipm
zI^BP-CRa#tK@tt;??uK3Xi#Y+)vsA|fJP+*;<;yM|9iE61Qz7yL%FZ1Zj9q*6_vEs
zhqc~((^&sh3Z@Y~L0|x)1p@!L0Bty&o1mV+H%tq`)n03N0m^p_qJ`wT<6Zw?U@(N6
zO}}CgEgkO2{EBJ8wYkCn6@zGlx#9a4hJbJ*{woIK&6wXXICt=VwbO#axtacN4Dowg
z5Xj%!0tZ8Xs!ONgxD$uAcGPJ{4k7Yl#S?K@DwR9_|7cKiiYIrRf9S&iI*vwPi!L0@
NosmjPrZy<he*w9&;?Dp8
literal 0
HcmV?d00001
diff --git a/images/iter_f0c-eps-converted-to.pdf b/images/iter_f0c-eps-converted-to.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..3be98f9b42af3907d75d8fd11be74c851cff1c65
GIT binary patch
literal 4544
zcmb_g2~-p37IsA&p8B-brFw8cAtEL-lRY$vLL!S0fdFN5VMr!nAjx1dfry}1r7lm!
z6_w{MLe;uk7ouV-q83p=sVlBX)u-Zus0H=?6M~@hy}oyja}J03?|<+8@B00B;vTB-
zW1(yw!~N8w>`e?lgg|6M5<?<^gK?vdN`wS}qJsShJ%yVf*iVm9xB^#`8eAr0m?;yE
z85q_zYonCe!}xzYdTH0`-fY(ccZ(0Zxehbx&-a)ddwEP^?e5a=iq7u~kCayPJ5vNN
zH}%fS)TU<>YlB9tRy|w)vhLK%d$wNE%y-EfYer2P1y_!pKWXFALo1dZdv`1&w$r`F
zN&RxyUm7)JQst`<(aAnl<Hz2vuP0U)gjeS9D|U~}s=QG8yi|BEj&sPfI^&O*4+^pl
z)lN)*D7t+xP2wq;ZjGJRF#KJ~tER(#4YyC7OfNHpCa~R01K_6>OV0FhKIg(((mkQ3
zxGL5oFmGE7Z|7=%<&c%7zOkNB@wovW4dJl{^OlAM9oFBz;J$K6^wcvuuzS7o?vH#v
z*Cxrqi|TAdzK!Sq+>dpoFV>gs!t6BWVSZqhTg-*~bGKgLxk)GRE-mUB>3>z5@P5k8
zF(V7{d+71Cw&|{u`)T~cO8utIHl6=I(QAB=vUvWQP4gFA|N7hr-+>c~yC?|mBNe|f
zYhIk-gy*`M(Z`?3CCh#HiBJ3G6lP8DX`L;N4(I&3AZK#Z#K=Fgmkj7@_&(z0^-UcQ
ze&zbBI<L&*Uu%+WSCf`5c^Xg^I`I<HcUMmz_3KV-eZy6?^5VeD9qZ$BX7l$JugahP
z_-#~-FI&5>j`y?WdU=;u)8t=DO1|^3Ual@5yT^w4E6DQVn3~>c^F8*vg`a#f=%F%q
zbav;&y{Q*?7KN9x^S=9;eZS||x#m9DxGlOv>EEs`&g8G}zx+|5O-uXQh}SNjd}iX>
zipy6uJ%lk{y4Y8%=4glub3+IAH`x+1o+U*V6lCrqsfM|)cEAbs`s&bu*{O2;dP$EJ
zlOJ~*A&<Hd=KPQ9us%_lvr5moWgqJH4ZN;n9q-0lF7)*-%P!f{s!Un6+i0$bL>6^+
z-fwRXJ8N~Es1pl*DH%yZ&UdFgWBm9H_pA5UUY0!D>#RE=pUEhyJojzbg(O>sV9aAf
z|8ghjC#A1?Lu{IVy8HZT+a`&rFw?S&j6XJAiwp{J%|2B6PT;z&JJQ`I7=8Ao+3NiF
zSv?PL36s1nAOH2%Q_Cyzw^kAR?)I))^(|3fNA(!8!go+m==R<z=~WlG$A>=3i#@V=
zE4jUEUL|u@m$!q4#<^~(zPYqV*Hb^FemDEDJbUJ>{0g^6jZ;tV=_mE&Y!c3VekD${
zXvGH6DOW+Sy_X}s&UMJ%UCJ4B#3Sq4FlADgm=jbVD)i`$p#cFX(P`fXA8Y(n&GxvH
zvyQLnH8$Y)(SaAw--`JX9vok}%<b6E8LT&+Aa_>+OPM#P_U2dg%he<f9lvl#iePNO
zg5*~z=QeRRm0dFJ-p77ZG&td(of;dvU%Vq3#29=wxa+o5{Qa`iLwhDcg-5fk(&V@Y
zgU27d63lvSJh=VI8s;xYb}AQLT^qriGjG8qmltjY@!iTJQzyd<yIuD<QmndDwm%6z
zJ*+Tk*`!BxhO8a8U%9d?X4rO?Y+YEef9%e8zojv*6+RsHw7V_7@_olz#tRm1)Homo
zywNa3gAe^5MZ`jegT`xxsE8>kI2?-Ua9D|J2+WtXLU9P#<{?~&%jHa9fK3x_q#!O0
zVhmV?n@NjFjhg|yg_=lpI8MdE001F40=H6teT<dz52pacK`5;Ui1?8}97XL5fOxPR
ztbs-|L?fk&0Z0zB=p&ku6KDf=L3YE;5FA8k%upPIHe1D*009jaT4ftiT6?poLsE`W
zn4Z+NsBl=X#3@Vzb|AEw(0aD;V+E~lFkoLLJdQLOFg*hf2~~n);fNrJGFbq8I}Epb
z>Ns8{WYD@)t*Y&=x9o}-qK|j!rDM|<GvjoyV5PqzTpr{l#|RTi6Icifv4>HCo7E;F
zg(6Lmm{wzV*1iM6Oqk4+JP|WNJP{m>wY-brC_+Oen&TLJ1cAUGog*W-eF&otY#Duw
zX5zy-+>$`i1wlt2ZS{aYt4(x2F~z<dhZ#T#{U^J9L0y5eVxc^UClo*ep<n`i59-X2
zfX^3*8L*F8O&1y10QG^T1mJ`&(Xpg`ruTp_0}cdPCDcAfogRk}1{_Y|hHoJuNQqCX
z&h97eAp=%o*0w9cYzE%8q0nIhl{*|JjX0c+n@CT)6X1%*xe&_vI79Ze!~Nz<yzLzh
zjA$D)dCR5G<A`Ol54XEo6OSdtYcw_Hac4*VnpS$=tAbz7?=bI&_lvbnt|#i{Ifrcx
z{y&E}|K{RSVsxoBy5w{nHF);1v@fQS_uk(ae*E~^)6pm~&pgcs57Vam&70|$7<wrG
zz=58=#pRWiD%Y)jJT~828oOrox`GW(n&n$+Yx>vZ*RF{65_OLJy+-5VmG^r@KTTh+
zVflG^`7`!sx!2}ty$<2Entpw2R(d9il1B^}IAFlTPG5u<oxPq{nUJ-i>3XrGYf(l}
z*CAOOF4kABDRv7U=;Y+&(OK@~<m2SJcyo+O*mVC^V?~&)zMx!Ha&lMEd23lyW@U(T
z#o{N$+x9Owe(U1RN7Y4Q+jQ>EH)V&ttn#K~cQ#iy79K2%DSC2$<HDQb!lD<Zj1b=I
zov-7@@7x?(|8CLEAB)1L7nFFd$}O4RxbC@BeJZVX&hydEg}S#Q<V9shN!{vRtBc5P
zu}`m^nDJ9i<{z_(w{MS{nPm^wUoG1cKUR65X?;M$lOJoBKFrU}zq+WHy(qWNOS|V<
zeMHFP8)eV#_V{Mfo2DVyi=sJab#Z52&X{^n<Fc-sd5U%5fDW<FyMLk4=wk@AgGJl=
zZ-J54+(#>eTN00QdB}&%OGa5!Fm*CcK?%5yFiM$qwjw4(Xr#<2z7kQU$niuXAl-zA
zr;m$Jrzfk$8s;b&Lox~j*p0KSSPDyP9~;dO=mM#mTovr+Ml)Ewt%ei>Kr_f{&>PL(
zRw>gi;tk$uGR%bREL5_T8LbS3D3a7C6BNW@i`gg(<&K23CeX2Iq$wFf*#ag|Y0_xD
zRRGAF6@rzNnMhG7-Y}e&mc~xwvPqK;M#W+=jBsEMhXpuT<|#%Bv$Bllq2N5bAw={C
zF{7Dnw~4JL4KNW6qih6jIj9B52+|1A2V)7Og_1HY7DD5#<%)y|#uKpAD9&S{D6VB8
z;9&_-kw_yzI2@d(X*n*XjhP>v2R6WgTo4EF<_&HtjYW-{q)h+NV8}m_G*it$3W0DS
zOxWT6=dudq=Fg)566y$p1n_t(0SarUD8OYY;~*&TmBZq2B2d(uk9hNWUI^-qAQJc!
zPLO;cDhHnp;4|WX5N*TRMwB!~fRd1DO=Lpz33fIIRRYsFX%mgl9Um-3sr>H|G8pI*
zrun=Tq}pNtH$b4`|0$5qol}kagTW~lliuD98a0gTaoRRBNGl2~)~LO;^sE4C8B0k4
zR~1Hq5{E$zGG!95NfDGDm)U#GM^81s=n1-ay!Dt-CuLe$8eEH6^b}JzjxZ!x%qr3_
zjuZ#8RJhL4oEJSIYksk7fLpcxN!IKn(A6M;@CVG0F`&=%d_G03KndVi%1onSupJQ7
z7qbJ0TRM99pEa~67$WHY0HLQlWVphcZZDL>;h-oVv3C{|L70FIbl_ibIQn8Z-6=pI
zf==M@_NnpwFbrBvxR!xHU|OM3tNEeF94;TyLJk^j3}oMej4d>-m<MKc`e~)1Ts|07
zKcR7ucCrY9f?@g-K2+3>59JBLaQX=!Ukql@PiR6xds#lWJs)4tjs`;A&JPZs17^sU
zGbj@V1}zi#g#?1biFEL#z=L2FNrI7{p1dG9(5NLLU;zE~5U7CSBtCMk7!mskxeC6J
u=POY7ibP_OLL?W-6{t|;CzSm)#{~Lo!AxN$%AOz|ilPj6_c0-UjDG`AT5Svf
literal 0
HcmV?d00001
diff --git a/images/iter_f0c.dot b/images/iter_f0c.dot
new file mode 100644
index 0000000..be8e695
--- /dev/null
+++ b/images/iter_f0c.dot
@@ -0,0 +1,45 @@
+digraph {
+000 [shape="none"label="000", pos="10,10!"];
+001 [shape="none"label="001", pos="11.7320508076,11!"];
+010 [shape="none", label="010", pos="12,10!"];
+011 [shape="none", label="011", pos="13.7320508076,11!"];
+100 [shape="none", label="100", pos="10,8!"];
+101 [shape="none", label="101", pos="11.7320508076,9!"];
+110 [shape="none", label="110", pos="12,8!"];
+111 [shape="none", label="111", pos="13.7320508076,9!"];
+ // 000:nw -> 000:so [color="blue"]
+ 000 -> 010;
+ 000 -> 001;
+ //010:ne -> 010:se [color="blue"]
+ 010 -> 110;
+ 010 -> 011;
+ 001 -> 000;
+ //001 -> 001 [color="blue"]
+ 001 -> 101;
+ //101 -> 101 [color="blue"]
+ 101 -> 100;
+ 101 -> 111;
+ //110 -> 110 [color="blue"]
+ 110 -> 100;
+ 110 -> 111;
+ 011 -> 010;
+ 011 -> 001;
+ //011 -> 011 [color="blue"]
+ 100 -> 000;
+ //100 -> 100 [color="blue"]
+ 100 -> 110
+ //111 -> 111 [color="blue"]
+ 111 -> 011;
+ 111 -> 101
+/*
+ 000 -> 100 [style="dashed"]
+ 100 -> 101 [style="dashed"]
+ 101 -> 001 [style="dashed"]
+ 001 -> 011 [style="dashed"]
+ 011 -> 111 [style="dashed"]
+ 111 -> 110 [style="dashed"]
+ 110 -> 010 [style="dashed"]
+ 010 -> 000 [style="dashed"]
+*/
+
+}
--
2.39.5