From 9f4a8fe033f498f7e774a11003d064b56afb6997 Mon Sep 17 00:00:00 2001
From: Michael Hohn <hohn@github.com>
Date: Thu, 20 Mar 2025 11:19:57 -0700
Subject: [PATCH] Add some source<->CFG node annotations

---
 cfg.dot/cpp/cfg-annotated.dot |  214 ++++++
 cfg.dot/cpp/cfg-annotated.pdf |  Bin 0 -> 39309 bytes
 cfg.dot/cpp/cfg-annotated.svg | 1272 +++++++++++++++++++++++++++++++++
 readme-low-level.org          |   54 +-
 4 files changed, 1529 insertions(+), 11 deletions(-)
 create mode 100644 cfg.dot/cpp/cfg-annotated.dot
 create mode 100644 cfg.dot/cpp/cfg-annotated.pdf
 create mode 100644 cfg.dot/cpp/cfg-annotated.svg

diff --git a/cfg.dot/cpp/cfg-annotated.dot b/cfg.dot/cpp/cfg-annotated.dot
new file mode 100644
index 0000000..4f3893b
--- /dev/null
+++ b/cfg.dot/cpp/cfg-annotated.dot
@@ -0,0 +1,214 @@
+digraph {
+  compound=true;
+  0[label="ExprStmt (0)"; ];
+  1[label="call to memcpy (1)"; ];
+  2[label="input (2)"; ];
+  3[label="0 (3)"; ];
+  4[label="access to array (4)"; ];
+  5[label="ptr (5)"; ];
+  6[label="buf (6)"; ];
+  7[label="input (7)"; ];
+  8[label="1 (8)"; ];
+  9[label="access to array (9)"; ];
+  10[label="ptr (10)"; ];
+  11[label="buf (11)"; ];
+  12[label="input (12)"; ];
+  13[label="1 (13)"; ];
+  14[label="access to array (14)"; ];
+  15[label="ptr (15)"; ];
+  16[label="size (16)"; ];
+  17[label="ExprStmt (17)"; ];
+  18[label="call to copy_mem_nested (18)"; ];
+  19[label="input (19)"; ];
+  20[label="if (...) ... (20)"; ];
+  21[label="input_types (21)"; ];
+  22[label="call to DYN_INPUT_TYPE (22)"; ];
+  23[label="1 (23)"; ];
+  24[label="1 (24)"; ];
+  25[label="... != ... (25)"; ];
+  26[label="{ ... } (26)"; ];
+  27[label="ExprStmt (27)"; ];
+  28[label="call to memcpy (28)"; ];
+  29[label="input (29)"; ];
+  30[label="0 (30)"; ];
+  31[label="access to array (31)"; ];
+  32[label="ptr (32)"; ];
+  33[label="buf (33)"; ];
+  34[label="input (34)"; ];
+  35[label="1 (35)"; ];
+  36[label="access to array (36)"; ];
+  37[label="ptr (37)"; ];
+  38[label="buf (38)"; ];
+  39[label="input (39)"; ];
+  40[label="1 (40)"; ];
+  41[label="access to array (41)"; ];
+  42[label="ptr (42)"; ];
+  43[label="size (43)"; ];
+  44[label="ExprStmt (44)"; ];
+  45[label="call to copy_mem_nested (45)"; ];
+  46[label="input (46)"; ];
+  47[label="if (...) ... (47)"; ];
+  48[label="call to DYN_INPUT_TYPE (48)"; ];
+  49[label="1 (49)"; ];
+  50[label="1 (50)"; ];
+  51[label="100 (51)"; ];
+  52[label="... == ... (52)"; ];
+  53[label="ExprStmt (53)"; ];
+  54[label="call to memcpy (54)"; ];
+  55[label="input (55)"; ];
+  56[label="0 (56)"; ];
+  57[label="access to array (57)"; ];
+  58[label="ptr (58)"; ];
+  59[label="buf (59)"; ];
+  60[label="input (60)"; ];
+  61[label="1 (61)"; ];
+  62[label="access to array (62)"; ];
+  63[label="ptr (63)"; ];
+  64[label="buf (64)"; ];
+  65[label="input (65)"; ];
+  66[label="1 (66)"; ];
+  67[label="access to array (67)"; ];
+  68[label="ptr (68)"; ];
+  69[label="size (69)"; ];
+  70[label="{ ... } (70)"; ];
+  71[label="if (...) ... (71)"; ];
+  72[label="input_types (72)"; ];
+  73[label="call to DYN_INPUT_TYPE (73)"; ];
+  74[label="1 (74)"; ];
+  75[label="1 (75)"; ];
+  76[label="... != ... (76)"; ];
+  77[label="return ... (77)"; ];
+  78[label="1 (78)"; ];
+  79[label="{ ... } (79)"; ];
+  80[label="ExprStmt (80)"; ];
+  81[label="call to memcpy (81)"; ];
+  82[label="input (82)"; ];
+  83[label="0 (83)"; ];
+  84[label="access to array (84)"; ];
+  85[label="ptr (85)"; ];
+  86[label="buf (86)"; ];
+  87[label="input (87)"; ];
+  88[label="1 (88)"; ];
+  89[label="access to array (89)"; ];
+  90[label="ptr (90)"; ];
+  91[label="buf (91)"; ];
+  92[label="input (92)"; ];
+  93[label="1 (93)"; ];
+  94[label="access to array (94)"; ];
+  95[label="ptr (95)"; ];
+  96[label="size (96)"; ];
+  97[label="ExprStmt (97)"; ];
+  98[label="call to copy_mem_nested (98)"; ];
+  99[label="input (99)"; ];
+  100[label="return ... (100)"; ];
+  101[label="0 (101)"; ];
+  102[label="{ ... } (102)"; ];
+  103[label="copy_mem (103)"; ];
+
+  0 -> 2[];
+  1 -> 17[];
+  2 -> 3[];
+  3 -> 4[];
+  4 -> 5[];
+  5 -> 6[];
+  6 -> 7[];
+  7 -> 8[];
+  8 -> 9[];
+  9 -> 10[];
+  10 -> 11[];
+  11 -> 12[];
+  12 -> 13[];
+  13 -> 14[];
+  14 -> 15[];
+  15 -> 16[];
+  16 -> 1[];
+  17 -> 19[];
+  18 -> 20[];
+  19 -> 18[];
+  20 -> 21[];
+  21 -> 23[];
+  22 -> 25[];
+  23 -> 24[];
+  24 -> 22[];
+  25 -> 26[];
+  25 -> 27[];
+  26 -> 27[];
+  27 -> 29[];
+  28 -> 44[];
+  29 -> 30[];
+  30 -> 31[];
+  31 -> 32[];
+  32 -> 33[];
+  33 -> 34[];
+  34 -> 35[];
+  35 -> 36[];
+  36 -> 37[];
+  37 -> 38[];
+  38 -> 39[];
+  39 -> 40[];
+  40 -> 41[];
+  41 -> 42[];
+  42 -> 43[];
+  43 -> 28[];
+  44 -> 46[];
+  45 -> 47[];
+  46 -> 45[];
+  47 -> 49[];
+  48 -> 51[];
+  49 -> 50[];
+  50 -> 48[];
+  51 -> 52[];
+  52 -> 70[];
+  52 -> 71[];
+  53 -> 55[];
+  54 -> 71[];
+  55 -> 56[];
+  56 -> 57[];
+  57 -> 58[];
+  58 -> 59[];
+  59 -> 60[];
+  60 -> 61[];
+  61 -> 62[];
+  62 -> 63[];
+  63 -> 64[];
+  64 -> 65[];
+  65 -> 66[];
+  66 -> 67[];
+  67 -> 68[];
+  68 -> 69[];
+  69 -> 54[];
+  70 -> 53[];
+  71 -> 72[];
+  72 -> 74[];
+  73 -> 76[];
+  74 -> 75[];
+  75 -> 73[];
+  76 -> 79[];
+  76 -> 80[];
+  77 -> 78[];
+  78 -> 103[];
+  79 -> 77[];
+  80 -> 82[];
+  81 -> 97[];
+  82 -> 83[];
+  83 -> 84[];
+  84 -> 85[];
+  85 -> 86[];
+  86 -> 87[];
+  87 -> 88[];
+  88 -> 89[];
+  89 -> 90[];
+  90 -> 91[];
+  91 -> 92[];
+  92 -> 93[];
+  93 -> 94[];
+  94 -> 95[];
+  95 -> 96[];
+  96 -> 81[];
+  97 -> 99[];
+  98 -> 100[];
+  99 -> 98[];
+  100 -> 101[];
+  101 -> 103[];
+  102 -> 0[];
+}
diff --git a/cfg.dot/cpp/cfg-annotated.pdf b/cfg.dot/cpp/cfg-annotated.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..69e738e6f8904c10497685bea1c758d8e70d4dfb
GIT binary patch
literal 39309
zcmaI719T-p(*T-mHnwfswryJ*n>V)Yjk&Qlww-K@jcwa_cmMDI9?m=O-7|M)x~8Y9
ztE#8EyQ+&^Nlb#CnSm3Ayy>Fm4Tg<~iO9jk8itRLh*8eW-on+Ah#d%0fgvIyVwAA5
zbv1JaUTuwC&BV-19e$X>2nfKqxH_8|+rfBbU-;_Ql5sn4dVfakwOoc%-}r%&@xyg8
z(e;Me#S(s(M$#a!wl&t#sU=&k-}$<1Wg?MUD(6!#?XYk+kLhE>l9MpcHc5E*c)|J{
z>hs_7crKMNG^ojo`*PwMe`ox<JV5ljF!;R8L-@KCB)(GI{^}9@d}lOVAL@Fa+}W7$
z_keCP6!E#4?ebwMF!Z`*Bo3FAI~gi{MDgi)mKZyWb~xDeAsVyrK)Nl^Aq_V0WT)<x
zbm3HgHr#|BtMoh1ryNKqV8izGeVM=c`*C??(EV|FeX^Skn?EWT9MwG(UE9U>EcE9Z
zM>EU+<#PT8vgc*kch7+6BWrJ3@cq;jitzKVq@m#ZW03=)-_vY3qW>#%E8^GtYzJbV
zfFCLg+1G7{pfG=}m;dv~=0|~xKOcb{<NGsw=OLqj&;4ic0O#kB<lN^XK!dtqJMR@m
zuXoD_YV*z^m*idGfc!gU4<f}*_<6>7;5O}N*nv`UqOe0}#lH7;UN*b0>}#~>ZAIR<
z6C_qK3znN3L%i-}mwrROR<9?_udC;QPq0t6`{*y&&$~@SuJyOjMP0^Ov-ea<2?*4V
z4+L_3kyx4~M``j}|GF;L5ZN7(x}lStSk~_F7`~s+p9ekooHAPkvoEqk5VOBu)lZ8)
z`^er`djBqhQpG;tFt$-(_|pB{{k;--IJ$#rNLh!#iRAVi(v3Z@`EuM>pUH-15ljdO
z`<6#I$=LX|>G*Mc7jEc(e=zWLjJYLv0kxp;b)(+oUKmE-;q$Ef&O=#i3Ff)qBk;lE
zF5y3oT|jAFXT+H@W2Z*v<l1mDrxO}u?MqTpyAWACCmpgH7{r}kIL@uC$onfrLXo!p
zn%S5BSNz$%v`+~H{N&K~hz%ak$>H3w<6HdPo(lQ`Cl9!#fNm{PK}Ti>IF{s3KjN@^
zp^<>%rCj3SMmKmB^GjU0t2I)g_ybE2GEL-ic*VfLKcYYJ+Ie6o3Iy~!g>sVidEY(D
z@hjL_j&n4V$IEP$Cr`=KJ5NUtyhzd_mVO)!5TM|}$(aU}J>h+qn7sP@JXyjN5W6pX
zYeLvN)Hxxhb0gSQIWW3hV~-0>gBdYzT4+g0uUJdTZ}#r+7>zF9mK6&UjtUO~fgkS?
zJF6vi``f)MlqG#T)(2K*H;aRPKUFDR7b9#`1`+D|U%GJBD^rvb0SG-@i|&6u?E%*|
z=RxIn#RUOg`~I)TsPA_=gb9~CBK){8r;#|?*SzNfWsD>@zNSLY2~%$bmU&s2j{@Gt
zu6B<i=i!_8B6N)&#&Bj2BGk;D1=N9<haS}1+|aH&<Rrpx+X9esw?u1HLDJ_gy-g|<
z&_w&iUP7dW{}IRb^qzo48P2fucc*<*NPc8lF`N3kNCC(hWg@&Jk<PQwo)0ReT|n(p
zr{E1Cf!D3)q^PdGjethaf{%;rWXq$_q-a6Yq4%0~cT-lTCV7=79e9si=}MlA=_@2E
zPdeC-Qhjg=r|&0h4noj<4%9Or5p$#Yng;ULrjMLz$;3HgLKZ%>#DA1|!{%%cP#-QC
ztQNd`1V7$va)RCuo4jhDI&iIS4mvjr+^QaOjh5IKy@RZ-)UL`~Th8!d=^t_{bkFo<
z<R0v0l&<(XCd@Je4%-!kT;`i2rE>xb^HG(Qlc*`XXDRZz8Bu4l?`wyD$qNb3L6;rN
zQFL2;%bY-D1@#595kb|q5qvZImN~!zI(ZWaO@*OjEm&&zjfT8rm6LoRoqP(b;TO7T
zT9rInau~C+N({A55Y0_a7_+Pvv-u5An2~dT`n?z(H0|&{Kp>u3wlkXf<BiFjcO-p=
zt$EcRcKDBPU-}S#0CU}p%G!_vma2?glbuW$b7dAYMa(elaFuZN;4fpj6g1PQw0s$#
zQsX~!nlaK`{#Y9rG17`*<b~{OF9b2#AB^Cpk9Pv4`|ze|oknt4@tBNNh(>aBjb6rU
zOeHDlUB9QWPz7Kb!ga7s5z66Xpb69p{LA#;AmvOXRT#lvAyfDo8LnRcS<_8V_VPyN
zW4Oh_JuHga*Sg@`2y$_zl9iXi*7+an<rg+4aypx>9TioRfa*^i%zW+nZ)`SRAeJTt
z#jiG-0YG9ETPaA6y^`KORv7^$GGLYzij~UMmf?ZYRi7fVTCr(L1z|9~qW|0br4tU7
zVtHbWZz~9Sk0Z5M8qIn0%06jC6($T(tyLbj^vxFB8#Me~U^i|3`m*Tx0yu$^`k=S>
z07`1nK}PEXyn?RhzBj-{N*ReV4)dd!(ylzcbIx4sB9#nLiuFY_RjY*4K>a$1Gdy=*
z5I0%#Es3<3`_FX{*W@VWslX_MDxx6VJ{hEk=^hx)pF?oBzMN|M)`ka2M@kHx&ioE|
zfK22H>}v?Gu@MbHMKS6nUJ^hdfYNpO`puiu4xVQdH)ISi=8BG>`#?5!l8qe9(1*R8
zT;Epcz`)J1Z~x&SfpHF%S)q}_G!G<Cn1kQzYi@g<^f~6}0fFAE`Y9LV`|4egkhdpD
zph-c~=2@6f@u1pONeHgN4Bk%BW~vCU0f|Omeug>hraW&-O>y190bVrZ#oi%?+&l|R
z0XTXCk+O20`)~Xy-I{q#)ht__%;-tQ-dVb6d80i>@OYK*`{91d=5@RIp%?J9em2Lx
z;>{t*0P0j7PJJVu-*)X%8J_b)_i))>gch!+zB)VQPtB4dR$ygR1X053^DMhD%3X-G
zQlW5b7oqpeJ8FI<9HHoCah!tjYJJ1C2<lr}s6!fEyyAwv72yJYPB2QIz0|)KPSG|U
z0@Nq|C>VRSOB@CRnxzhJeD7#75StT4tn?{Kr7_3Vlo2hqy-OQ#xMU{7*?sb+My?46
z{co|R2Z@djAL?&bk1+r6eKI_)2fkADGks;fRsQuU<O|c=)M6Y8YkUb|bb5%y(a5tz
zG}5AJdJzM3C^q6^@ty=KYKc2=?20Vel3w0Ua*$+utV!^IH7!dmwl7nend8b&|87<+
zkTb&7@iv%gR&2(TwHjEXBKTIJu6&>b=lr%m5!B}EJa5b_Mfmq5`B@GgD9^qt&`qPA
zkAlZ&(ko64!|Pwee(m`+VEC84bfvJbq+s}II=-ZBzWK>46DL9TVEQ2pzr3m<;=ppE
zuGi`uw#Q}qg2|heWUcu0zfI;_pcrGMF_3GhqG4}&vzNyzE4U_KP%Gj1iV8&5uW+(q
z1`|HTS~AgfycMm-yFEs9zr~*>e?@)0FOH-;Ad)LHc-9(;@!`7kYD#}*O>>toToPzH
zH)>tE6emuL@uIKJO4@q<oa4KbSx!>s+cwl$(;T7>Rt$^M+P5q#TU!DviFe{j5r~Rk
zC@g5zdLIOxCE^Xq_wc_iBG`W*&w4*(^ewm#4L~j(Vf^GO)LCS#wer6MkwG-QxV8lY
z!+r8IVyOydv?rU)(Nu_s>(;Wq=ycwMG^Az)7?fB9JIL@_%6Wpvwk~q7L4h2B;?^xJ
z^)2DE$z-fZ%nwXr#D~jRrA8-t(m4gzatfeZ@f%UcfEc^>g3VIxb`qQOEmCKahHrW0
z3{sWyh;O(%Qu(IF6YOEHur@ACQ7Sx<hena}cg%r%E~I|kjZAH9I7sGc<mTQoNcwMS
z!41V(J{@)EfVk5t(S9Q5hZSoWQX4~BtC&Bc&o>+}38_qYX~C~~X*H4C$|#;06A`p;
z7iXsJ9Dy?%ZnTpeMqjiTW%B5}(D18ft+&%~Y`(wOV^R5?xYb?vwqtSBOd`u@Py6iJ
zFYZEJB(mmdS-XUE=e?w`M3XjJ`NEAfM=Xlv%l%?u(uM>{-llYD_LH_chcl{)n1H6*
z-Nv?rH=%Nd=y|kO!AX~Mvs=uW(|p<Ot6ybBv#=q&;uq0u+#J6mBzbEg6#cxmAOv;#
z7>WPZ@yY+lLiSl2-{=2atF_O|*CD6aGteoRTsjhN*!4K+$Wfs<aJ#YiuERLGc<npm
zqJ~Cw$hd8mz+CO{C_G#4I*1^S2g>*U*~eB2hZCZvmKj&37=4pqPDf!_4AyIs?CeI7
zl?P%f-4Wp@@|T(K0f9<Q@Ex~mUeHUOF*~qr`u&{Eq^pT+=`^laM;95(zWfiqIv}2i
ziLS|AZQ}|`Zu}2^>d7Rj2JJ+|;vJ6(J7>lOuLH|I+qzc+vX!Nd1Q4!1!DFJnMlyWQ
zVlvCxB+X`#wZ&=j;9Uuu#|}hoWU$vAr?l4|7l3;X>rE|K9~V%pAz5Z-D4D<l8%+HZ
zmuhnzVJOS6fa~(xG)MC_6xxUi?g-7LlHT|qj!c5(h-eW|{_vSrDUpVO;3e!x>(SBy
zvzNqSPb;G&aDEsMh6g6`sqMc8;<x%`?xKGI=b$f5Dc$3kh-u;c6<oS+9;MJOWpz`a
zQBO=S;a@Ii#Q;9G*6E9r&#OwBo4W3s%emiY>-es#8pQrCAcl^CT}M7vT*Uo%BUG3m
zJgvDQ;eN;*v-ZV^06qjxF+PPbuY)I_!hvW|blp}qk9+=P654J&=%DiC>8?U(1<rKU
zzQv4FaJL?nu5CsZi1;(sMOg7-ukyliw?Z#)O^pi7cN&S^zI(BUT?^}kYY+3_EzyT>
zLxka{=nCZq1tJ^FuLY{1%V6Krdy`DBvyn#N`C_5ak54*Hq-4G2k;!apwzZ`Uw&858
zm`rVTeC}~Z^?C=!L0gzrYg`+fzMord^A<b=(@7z-gLsF37&WZKMQLfaCPto>8S!?b
z@(&A}m4paj=N|?3pvVftYfOJ^SD&^(f<WMa1{cv&x!*`d*BII2)5C5a^5V++qb;~u
z$U007$X(RWJ@Tx8z{jteb+DO`6cx{8_$r!mHj`4RGb+<{sW(+eZ_jtSA^RA#Fa&W*
zpcUJleG}hkR}xR1Zv;a1fY6pMJ{d(_%y&8XsI#RZkDEJPOrssd1~+7a<@VlO3scIr
z)LgXpaYdL<<RFw(9ZzS!QYx#A4C*7wB$dHQ1d<wX0Wp$7TbsTr&am&;&DG*oH4d2k
zksc9b=@_t`1>({xlPc(IlZE%{0<OPp-95OuSb!6nzQi)UHplv`2UZi=@H>7ef;5x-
zSQ_*qTeVnWdWp5N!p7Jls#C6tC=$q3MHOj|3Ng-Q3H0Jpr<A;MUr`t4XZ}4ZEf0U~
zeVe$VlfZdi=5w1%=Boevi3CNAVBa#m;odSk(lWShjSXA~Sv!$@vdoK#sR9#^!ilkh
z6X!T+#b?cnE3B})<s0UZC~!zCJ6`G$IHzS^GFE@74UZi@{gLS#_P)H;{(j1d@N@6F
z9Uj^5fEl6(1zXs!7rAVKL+o5ng1!L`88u6J>Kv5Kd7gU!DP)>U;XTwcho|@=n>fmS
zN{PJ`jx&c9PS`TGkRax7#K}uGF+Xco*rCat_Y`)}?#E(%-e2y4=iWHP=KY+b9ux*q
zE$pAfd?IbXR4RkRa$L*J%pu`fFPyViz;Fj#r<lZw4Q?X^(`B{%Q6OKE5Mc@}kKlll
zh4g^(LKY_RjTz*UBbTsuIXe`BL)-r)vC%&*Xn{q@1s`AS<r39;%Ot87nNBRwKL{kD
zI+zm;BvBf{itD1J&?`Sb7z-`^oE}{JjTQM!7loN6bT4SP01j)h5st#Fg6lc8#GVLd
zeq=Cd$HF?9i4|y429iOC-YOyT6jO*xJxpbhbmuP7>^e|>IRJwAM3(=N_?1&%ZkFaP
zY(7^aN7tZh-oN6&x?|h%nUZVX&n?GltgN;&$-1-9lHpk2z@L(9(SI)ohXP!50wzQ5
zp#AS;r$Y9?JTP$=4sor>mBSkAsYJa(B&3Tuww5DPbj)vJLuI&so7TW?PTCE0v?+4F
z-h*Eq3hZsHb982%1p!=EuI-yu>Cz3Z8Gysfco^W0wR0T%>ab&Q{OPhEY17w~7Xf$n
z5X!SyHLUZNTG;RV)nSe@_N_ws0!stw{yoely=Pwsxr0Z`atU@ZWv46vK$VL=No@)Q
z+5v&HXmX4mn0XoURs$Ue)L{o9fC=cKTZ;(578gT2y{F4eJ&J&+Hg;YCpUBHUou=j7
z|I;b`4tl5VKoG!Y{o1~Xl`19onjr#p6J34+3U;&FZ=hq*y^y(UTi>gM;|2a|>Bura
z3~&aGcn`a?!D)}*2b}i}jeo(Jkq3m`LV=~oR4XV05X#cDvkQBGC=IXeU2r$;+;2nX
zP&e)ThC2$&v6~n@TAJanG<c;$Pr$F{SlR1<jTabz$hooal7;**@p!t_sbH^~q&}5F
zfOj(s4||2;Pm!@xs6!QN`g4xf)ENZO)xNf`1mcxIF1`-|=w@BlP*v!ecdp%r0kU%P
z3h!e8x|!ECmJAR*uvg8fe#e+29S#@ojX62c+_al^w7jg1lFJ!t)(^4G4Xi+%xb)pY
z0B^l(dqv#Mi}^#qH0<Vu=Wqu<uw5hISC7AUHU#vC*9W2iCmE|~9Gz=<#uif^En8+5
z-I!M;l1qTKsZlsPvmasIEG++&_L!51{W>-JPid}zXh6{&>t<|ct(^xZfu&7J<BmQW
z{8hza3iIB^@p>5G&F9A2@P<KvHETTzFp`xw(vklx+t+cD_^{DEFS=u)b7OCKQcxf$
zf>^AQ6?}QGMBl(=*)h~H+k|~3@mI4Gx9b8^dG(qhDhvSp_*P>8MU}LhvG(n>OR3;j
zx2#R&H6DP@7tc=EC_~h%638V$ow~zXvi-rHM9ZyH!8Mr2Pnl|9`Do8N!_#~2K1Gs%
z-|&+@Y5jxWV}EvS3b{B{QX%PfR9!h@?|$=)Z2V%Y&@L-CCD&vBT@Eg(qleOEYk)NV
zbN}>;agbCIk?zVwbk(Q7w#7%XXY&^SgS5p*wS1BC-EX2LO`Bmo$Kj<pYST`yt$()V
zLS$RAwO`G8O=GLAU&p-8X%_~zKQ_@SpW+cbX~fcID1}2Ru295Tooxl1EM8eEzrtn>
zKP8ulTTnGP1e^!=oj?j9%Hg+A4-y%W?)hM=Dzm9xc{+2A+8->!0uz<;Mb2G?A)po<
z1|y@W8_&}tPAv;(@FB~2DRiky8gE9G)d<>XD&!W#QbW$l+MCaWPa-81>ap2?({CV8
zkV9KNSQvsl@q9TfIuNwH=7*dWRPPcct|PWKqbVE&+>zs?n&J~iUPVy~3ZjS)KX8fC
z|4BuP9>smn_Qu;||KE)IE#rE0UMqlaFL9)Co}SnO-)CN?B?NncG}vMFBuy#tZ9B{U
zBrQ1?zT4>tVx-kM*i@&jkD0$8zC<M}mX}j&f{vrRA3o00SZAn{x!UMF%S4n;juy>s
zQk0$E^glq8W_eP%X&VBdsa;Li*qfZL^$dtL%(N1>A#kAc8|q}OCbAGW_B7KOdWV{i
zlBteM0F<PrW#AJl%2oC?$EHH%Q#^#?;#F1~s;sv5k->0kp+n-P8+fxzkLFd_$X=)9
z0-=@sqE5|^{Od+ao$<YXp6lDL?Nx^F#o#b_eLpLr$^!R6r1s=$R(8pYJ<TH*(9jSw
zc@CB2=ULdY@gm)#C?!u9G4_}zqv7`|@8xWPCiSq?{O7lURcRyc4*Zoa)aiXljeL`h
z;PJjjV|>n291Vsg$=z|~@}`b5?;qUstN_fWZWj9#zS`6gl~WG;Welw1Bc~z-n*-pe
z>1jY4PhM?vkYIeNF;}lKHN8;MSd$vh*<-p+1#m#~xN1!#)S`_yv*;PFuQxQ+Ua2J#
zbf)S)KmV)c{#XeVM8ThP&C0cn;Zy~J2^q@pu{+X+(f0W<W4>jJ#D_Emfs?@4CPSJ(
zBPOQxzoI57pvVK(*mT`W8(Rrw*@USCG7HVrGKhX_*#-%%HXDanWe{F--el;I*^aI3
zmQq0V-&#`Ij!pmC{6wC-@18n<cxnMjtGTOoTWy9k4$gMdnOS18t>Z@tkCmz3Tz-_Y
z)iH+-Wg9WML&jdNV|`L0Ge#nz#(FJXW<Jz`zE7N57)bZ{l#b7b6zXoJR{6J@NK!&n
z=VbG~Xq8xCHq8FfB$*zb+@x4#@f~04O@DVsF^JJXk(8K-yVL!gpp(U*01+f2y5naz
z;MEOvF=V6&KNZJnM4=!Uk~r`k!4R(<0S*r&bvH8UE%I6!tTfIQ)JM#nYeVYv+J&G#
zzm}-~xteBpcdT(g0n8Amq_FB&A8b1$HX~%Pbd^K)VJMs40nyDhaS~~Hq1knpF^z(a
zRTV)}7dKNxa{Mk!mJXR__#}qlrC0el2{cu=lkc*kf8s9$qL)_^>4<YES8l(;Iz}FZ
ziHMF}{&{8ZOV|Yc)QZtDP^ET+6C)=-wz-wSXhZe>(RHoASU;-GVMGr4a3fH{!Q;-k
z1rU8Yg>x)c6~x9l7(CdjYyvhCui%X&Z}5^X2pI7o+QOzF;sznTey@PvHhT!?9zLO=
z(g3_Pf2~l=_XFfDNu;R59R>)OLyQ#)f8QsFt<d~1BI-|h9?7p}=%#N^_UPPRl40UU
z=KsVdf%D6yHYqdnEKPoU-FAVTFpqWqMrlLnKmbAxO|qTmgi>;CgCcylQiJ0bk5-r1
z>XvNzB)zjFck8hsAn{<GeJIn5kB=7rQ-cw0&gr;Z>I_K~Nh61<9p^qL?n&asWyGUo
zDdN!f0yTBUgZP`EXMe?8lCJQJE%*kdVvex0jP(HB5z3EZu9~N=#wdSkdrQrjW4O<w
z85dalw=LY^gpv>^tU5GFvl}MqiF?yKiixNDWJxd1%irSNtvl%Qg9?#SS1Wf01(Ed!
zKO?ghKVlG5y^A?;2)Z+Wft7?;3|LhO$i&JE(8mcM?~BWY%{dTZkIN-&^sNkr>wojw
z5}ug;{NZwKAvQ5>agP;qztlHY@8FD#h;R-rkrm@T5>mxth@IqAMf4*SfD1BOA{?Bs
zc+;-9TTr^-DYX6O!qkboxgs(!9H60;7a;BtB7`Qc;92>45vXRSrzw@YoJIj-!Q!Tq
zDn&r5BQdRy(Lis!J}?9a6xbBtS6SisV1$}<Sz3i`gm)*$EJd+z5`t%>a3MGDyGQN8
z!y%tir#JKhuk=nMlCwi)ra5CQuh&VQ$*(*6F~lHp^N=Y21tYCpvJf6BMzjguOQu&o
z8cjTa@=j10tEZXv9Jt;x{tm0FpmVsc`gzeanE}k71~uiCB%e4&@KYU29BC`8pU?M%
z(vrIkffc1J%Ean8a?<L>ScrSYu8Kp(gk-P9>7-~AE9)a~m3-j5-92;HcRZZw(^SX=
z32vZJS)FtI%(RKJ2;G$C+xjwNi2amHXaq-c!dQ7vK5Pb#lo=E3A*E$9lY&$ysEi%6
zDjqIqZ^yAT?%Jscd&N?Xim2?D=A}hG(2zVa--9pFG9ID3=-a&tJFIj{?*c2zSn62C
zVMN~0HiQOPdpMXbR0XAh?zF{hc)xF!>f8(v7@L9+U!g(HTWi97J&lsqOS{+wv!CC8
z+&~bStA(3EY@o6_`m=_rc2m0ZDMTxW2WN6Y2NTwpnf{<f-@}@)SD$6ZK~_>Bn<|a$
zUzamQKx0;-*dviKw6Ydf&4{2R+Fl!tR2EN-{8^qfIHRVo=a=vogEFo!ZxFbewVZ+w
z+`-buVg-8AtY(f_&2O=3zkR9H>yPE7i^d^CzM-;?GVkX5n?P_&@E!P*5IO4Da!Htt
zM2v$B)v3s4n68%vnJx^n=7{0VNT;O3CLWoUQ{9%Z@r3Q2sP}L9f-G^RN9IPwG4nw8
zf2s{(o#*&ChYJE?EUaU1B`9t3u3;!~2lJl?{!EOoyzVaaQhenb8apzo6RgXoDz^RP
z({Q3TNNYCyTW&L04Cg&u6V4xI%9P>hURuaR1zL`THaV8*ZhlEV)!_s+(dzq`bWc}V
zE#o<n2Kq+DE$0I!U7%*3@+Jd^EVH3cG2gKCm~)HVpc{buo9MNxg^;hQWCIprMdd)a
zS?wjow!EqQm-HL{z$G~9%B=>XaIGm?Musi5iSqc5A8<OI><1#0{FxT}QFDQs$3#`=
z{E4hLz@FwRtvtC1QKScXj8FKd5tM!jdfJ)e$!P``{r(U&^I#hGKCR)Sxt!mjCIj+7
z^*|5f@1N2XMW?!|1^LR&#y0a@s=OAjWnuKNxMHRybmjCcrg7wJvHO~uu@uDs=nzd<
z0v@Z_*($0Exj%BLA-Co2V-SN$5KF0wB^=oQ!xo%@c%40WfsdcS5`F1e%ThCEJXJR%
zfwG7$Utu;1f3bNq3daQ}eU@ZO<gsTZXW%*xW`gcKgtJYvU-2RM{t{oHp0XPE6j4hU
z{Qi;=DRGHKg6#A{{_nu`S2egP=>4T+tn55Q=ZO=YT=wz}(so0>LY@{6F@7^2nMn;Z
z`-)tLEXjq)8zAa}wL?tTwf8W4<g5t`9jzHV*f4u>#Ubboj+TP8RXeFFU-6cExoRie
zb~{BUeoEIhh1Og{yp7Ebx8G?^+!FM(?bUALEe|PH<>>3~uDWk=_BI{jElpiP_PV+=
zc4xTl7gMXQ0NC~mdy$sHGUu#WyGkIcAwO`r>EpEAa$z^omJ904gAn^Q{mcW4g0&8t
zj-^ZvMoTC07W(Sr<{TB;Vh-KSS>SS`-R=crqxl`C{lZhYrOWoXS<_~`Yw8$-T)d^Q
z)H!$74jAXWn3X6X&~#nf3$Yh>Vt(R3Zq8Gp^$$CKyiBTTI+|qf(4Dn=0#+-918S4N
z9au5W-n&)2g@3(JH@$xHn4_Z=cmq?}mcrp0U0A5AuEs5Q%)#4JxF)B3b<kul+yeBg
z+|st=Gx`y11ce&nZ)_TlEjD*~i|NnWIs8NHqf@=oU7-664{%+3qi?@J&0E^*=J|Ye
zEozf8xFUZV+?v|7sTHxh4<8j5?)PL-X;F`7eXiC_-WRwlIL&08@C;Ax0e)*HS;z9t
z0z0tEzI}Om=AWTb+XvO?>$8O#;iC+U+Z-MB0lEo<AT4UvE)ng4y7a8vgTEjVjGH=F
zjt7Do>f>Rj#y?YzX}4~z2DDd>;4Q3xZeu}YU*8&6mG-lyt=6vTQY>Q@T^!S07?VAD
zc2~L>C6v124MG2)pC|LW5{^lV3;a9AKbLtK9EuXfka|U(Kzy$gV6{CfBO4(dU%C1%
zO;o5#JmwJeSod(+@tk8iRp4_2om5|tr=pn8E3D)2{Lb7^LQQE-3ov;F#(vt~N+PDM
z5WweY@5dq%u3W5^?dtB&5t5u+^XmiZQ7d*CGFc_e6CpoT4^&?%?HAINty>#E_jy=2
zTT*sNTRI4WhGqPcNmXgp(X7c)WUq~Eoz3k@tjP&jg`eYhg()qa-19TjX30!=qSeEe
z3kaw+R<4JIt5a$v3iYGpMXIyy{B|)4Xc{1Y-^i-co@pa>lvmruAwf0)4M{c7kmyjO
z<D`;U^_Z^U5i2Z=>vlQBA6xxov?$T2AS+<URi-Vt(Ka(H(IA-zSH_I;h`}ibPN=Zo
zS1YAOs@3!z_*KlU$^CDPv@ejY4}M$>5P-y*($NQOUTxhp5yoq4D>@_;n9eg<U(XVw
zhH6JPz#!T+edkRvq;oggm4w89?_Kj&n`e=@?<GFu_93b`GN&g)G%xl+&nuTNY+HUG
zEPt=z7vnb8_)ICPS!$TjC<*I&Q1x`=Q76b&NLA#{ncMntV6I~qR-HGFT6(A9fb$#0
zg-0Dtp%g)DF<)vIWR}MWxl|Q`Y_<{Z(6xe!xlo-yqo}m+WT6&iOVt)d;mG!`1ET7F
zh&$)uy!*;3e+!QoUZHe6c;4#vB*a+FQpLXHl)6+Ek61o?N|zsQztpW`jf*RX22r7u
zX9M^kN1-i)gQ;ypn^NJZnxMwpb-(za@CYD{Vq#7+SU3UxciML^H+gBP!_*H&2Fn=!
zrlBnH&sApy6IDh<xVOly#3m{ZA@6fWItkv)*i1M+S_zveJ;MFvaNXC~_0i>2u5lWS
z2j~d>cN^0{{#h!>9><tJ1i>rv66VhEi5}3dD!AGkeOtxT#HkdjZp=F;sQ4r`t=A!#
z9e17a3N`LNn%$#~R~pF3dK5L2*Bq#!LhCRWn~AE#%v0;J(}e((#EUphJUKramb-9q
z6pY`eB$8SNyoJ@Llr9-?|H4-Bsv8B6IPW{CEpP4n`R-FKu58Mj{sl%O3v%HDL``&Q
z)(FAOODJ+rTaH+8E>UF6&Y=o$hI-M(oQXYbQK6an`WWtUD4}~DHoG`_rk5t<NwtwH
z=8jT6RfGEn;>j{(hH!8ZMffsI;Q<UsOzczJEe7&9YWnI!{4$<a37{=+rhF=<A-H_F
zZyuNjDHhs_CecYQ@AQUX5K}jd1IF*+{vJ3(wN(=UWC}@tS3sZO-J!O<oB-==%@sM_
zT+YW}&ZtEW=eZOQj>A!T?pR!9da*DG>S9=y<X&+sM?As@5x=TSh%ZOh+k$|j@gp|X
zW>%Fi#&cVTk9|#??oJ+EaN(Ky+a2k>7+W+xOOn$g{G=6f8Z%g$2*FC}iN!wN@tLpQ
zxRRlNQ8-cS%*`qe1QdpHEhV&=el@7DW1&FC-1fH_O7ZErzzB?h#M5#)F7;wiQ+4#4
z+Rl_IDS}7g{vMOK-L0|pk<zpFMaahuLm~h3)t*ud-F2i3l$;L9NF$`8CZ)EQH&mD0
zZ(R1_VaQCmjizK_(Y*)|55$;|Id^VSkkNNViDBkHo3NyoXXlBT6e$5T;wi(vNfD@N
zKZ{HZuTB=9v~aLY+IQ1cbqU#uH|zZ1LI*_gG-;gcc2vjbmeq{Wuw|LW2gpqk2zUdl
z>e>%pJUnVhjaba{MfbgMm@_`b=!ZuJd{b{kHCuh^RlNA#HPAERT}^UQUNm6Q$qU`9
zT?4{~*#lYlc6ailj*OJ}BC2Cab7-QnpD*)?$1cz+a5KBy#TJ$n!~Qc7h$sDJ1gmdR
zwE2@ybY6jxkNGz>X0GK_tB!&ndSn^>t*6*Uc9~5ThO(}|ewPlzVliA`0WN>%V3P_j
zLoBIvC6{|9wI#{DBRD|GQJhfMs)*j2tdtnOWkw(z@=iS(Jg!V$no)MSP{gTdc+E0~
zfRIOvgO{xE(e?=SNtC?cGVO69qHJTzo>7zmR)Jrp=)(fNLu>(JG!XUYoMf+LRo>;q
zF|=cM@NOT#7g80i%}LBIk&L1Fm;=s=W>J8|dV*4!;|=KizDDH_Om0KbdfwCfH8cJD
zd?DeNMFJj>gL<(AjhFk|-y%X$GO@YB_jH9Ea`J~P3#{wMePy$AAir~qYNM%;n`D8@
z{nhWSHwU-Oa0@Y<_S-B(rq;6yaMPG^5mYS}Wjx}O1P%nqO%IjNKwtRe%HhZcIgKZd
z?fV>Z6YlHZ4Sfh)yB6X?8DRU!3!BGF<B0UT#1}C5qs!<;2l15OBoM<QMgu(LIw_Pd
z3GG}rV@oupiW(y^>%VUDk)t4Msdl;;c+48$RymcO{uHR;TWH-Lasc_$yvbN0LvFIj
z%7d{ami2zJFcfStb-y?d;A)4z(C2_HkJU#r=$R!e;rM~3hiikPhRbpt6yZ*whO6`g
zs~D;0Hmie>bzrAReu605jBw)tY1d1jb&0#IISNIsLqgzjDT|e`SX3$E{-jZF#D?Jd
z5{gHzG&57#V@yd5I=1>0jmx{!^ZVjb?e2dfetE}Low?vAhU{hTyj_1cR@>T#MicW_
zNo1Am5~qW$E!xZCWu!;Qd#uv4O&CZO>P`z(#Z1h5tCA4F%c+E$Y)p=K>fISry62)u
zi7`f=Mz6Ey+1N>0P%xA)?UdXGm2VG`)pUEJrWYt?fkS3Lb@p#*p&J_rY}-<0+A8A<
z1!CbQ@wEKa+qG=S#l!Jpm1xyohjfk78J1*KIj>{1oWrys7bQD%@-lZjHdcCpvbGe7
z(owbo@tgcM@EZK`!qGU&0XlBzSo-!F_6EQ2i)o5;tjtpE7QuM|z1kE5LtjF|O>5Nq
zO^;2l5c~HloKeX@=JFsH(|DTmS6|Q4HaHLSS2?|)JX!lBpYw=oBY+YgE*4Rrt=9Gy
zxC+<Y^ibRt#>I!Sl2>J|Sg#u?3>nsV*gc;lEo=7spV5?i?OiN95&SkN*3c`tE2o-O
z(azfCJL7-YqRA6As8MnN7N&!&5hbr(lrC`jgFDIhv2W87G)Hws>Xz`v;XIYuMk_N_
zhv7VBrD*r*iC5FncE5R^WUQoUjPh>2^X=2`V4|vZ<k<Nr!h5^S5d8=DKQ0L3FzCvf
zmulDW*!~DNIo!itrD2(O>YC`?*hh}NCa0TsMi=hr&o9I<?QNiZL;+-7A4SDlw)KHq
zMPAUa{%sWj2;bQ3Zuqr#*v0w)qB1p0Ev?+5?($bv+I$B($lHJOiud$&Bopw6o1A04
z<U%4Re_yOIEvGjYi<fKZR>{l>0<pOb0f6mkFQ&vSyB+)#YpWMtAT>B<+QgGovildY
zM-_KzexWW!>cs7_R=V)Rf%_&MSD>Vt+4+rfgq%XOlZ%^y8F#<>*(G~qv1Cq9hGGP*
z5ynp<xKn>(dEevjKth`jsJpc5SWqO2W(W6hUTaSnt<XMZEU|;xawd-Orbxa9x;TSb
zj1QT#tL@@YE8FcVvZk(}bb;4UenA`7`}h577|(e`G|i5@t1mJ4_#c5yiB!RtiDdO0
zKN7sjpsRC8+a!4qt8-}8S<_ISBK8T!L~JZd&HnJa^NV%)$Tj>xsID#yS*r0FZTP`+
zGWd|r-RQpGP(Ve{c&<>U!Ok9BBf+Hn?MEd~=rquz6#QQ%g|Z!<Uk8T6&uU?98q=#u
zyPP%#54xJ(zb9l#;|1?wj)WmK>BjU}+w$T(jb#_AlAv&N3aZ}G(hl`)85S-^5Z3N^
zj(j_%8>KSC$fjUsRS6JcE$%YDz1AS^>dbhhH0>%8zm?71_^&5s$fM|ZH@}p(G6#80
zFj6$S3mP5|$tMWOd*04y6eLff=-~>5Bc>D2HW8CzJU=w(y<WefXN+3+k&3DzF!sC;
z_J*&vh%Zll&fVKp!%KE4i~mZ-mcfXtt1cW|u1O8FEXF5$EIq~gq!_MU<lf98@u<wq
zob6xEGEpWmi}osLKq-Qc!CJdj2L_}ffssX3RJXvMgUaFM%cF^|)zw9AiMYXK3~dwJ
zXdePo+>#-)l%z{pKh@A4ZaTANT6g{s?m-uZ)XP96X%kyS9oO>KpKR{pHfGnltyJP$
zHFA+0;!`_M29(MSu1FV_x`(MP!l7mI^*C(z<}P`Tkj1OPyPENJ8`GNJ1$JomTBm5K
zypJ@>&52VQbul3;VQ_F}pw+wgD*7=(aR6Uc?#{Uv)R(9yWPf?_-bRz1HZ%^|%|G4B
zLqbbBduwstsYYugvcLZsK)d*yJL|sY2d!w(y84t1!1|dhw~(t(p4W+M;3t_o|CmC4
z8z(RSJhvre4I#<WC6;X#iTks(vKgnj1KC*db46CQ**&tYt|0V(A{cqsJ7rv5UqXG&
zZzn<V_^vBHMgItqFE@`K^)*Z417Mr0durBvil+OT9qxNMnRGI)7#E#>+o4PT%8P*9
zhz^I-BV+K9S#*ja(jz&}7!0;o8}V2L`rGkHrNkqVf1MJqWN}L*_@eLGRm!6{0K3Eu
zx-^#f0Z7%`*G==)GjL0a+p!`NLtkUm-vF_c2_zU+hKi8~GXyyytNUcvlbP^B52Opk
zF@7LQ1Iuf=aWkmGOGlR<ohz{c|IzMPC{)9wVwK(*4ieQSA&mc)6oN~@+}jxhdOQ~|
zY<_G=X+SlK-&oigHPfV|yYkQn?e`O`ND#@cQ=BlNw!h@W_;CjC_`DE+SFxLXCOEVO
zdEjQB&Mj4p+#g{oN>BB!j+NsBH1tlc(M7SYAbPvUC{nl%{1atViH*!u@SpTYiH(sq
z6UD<QlEfwmt{f2Xm1(o&ak%_UtN|CGUAeX1O3Jm~z4>q+ySX*q+o(szdQZJnkmBak
zyVx$kD0SCm;E*+7FS)(+j9^&Xz3tK%xGKt!citGVy+b`;p`bLV?D5|i;GM4bjE(RD
zNV7R^yiy52B~bl!9<Hhpbhmj9C%(b^a$V0IK@Kx<y<BkfW;c;}uUii-0)R9ZVH*$G
zR5Go?4Wr(P>4a#acP54nMA~^tf$kCcrUG0ezz?m2%XhWoRJfRA8MVkfd{9@z{!SyY
zf>71~rY=n#_awdt2@N(Xx^g27gOX)}&Ovtj3!gEGz;|X#r{VP+N}vxEQNW0ghx{al
zI>Nmocbg$%3!uL1(j|2!b2fsR%aC{x6+85F(UIB|9qE6(HJE+=W*+a*(0{{%{U`>f
zmesYc@B2oLWKoUiPr7_U-~oW|=z!RGh#y>k@E+Cgkz9Xh0R?;vPJT|0e1S<mna;wP
z+5h<8>;vH4zr2Ni$qN6jz;p#>7B(i<e>MJ<S^v+xhX2WA5chDERCNVrF%a?b{R04h
zjK)mB0uiIAFcC8mqp30Q49sl+KKRd>QNqFA_5W7eoSuoEiHP&Rxe@;mnA0-@L0ta@
z0p9~2|4X0y|D;dEsOITtM#QLSVy)_G_dl)q-$V;$rvJXms6fR0KTjmAoLyXr*#7ta
z|3CYJRh4Nw>M-iy8wdm!sQ&+3H2;JCzp~-@Z^M{b{%<Y&Z$th`>;F6D;~%g8smV;l
z%EHaY_5Vl$+3$=r#T|MP<ZEcTTs-Xt&{x~b)|0O!nijIRnd0I)^APRgB?yU_W;uSB
zGNnp@u-tQQ#G^-`=e*D2<thLdRfVB{Nor2{Mo)eqPu<um|5lQcw(Msi;f%7n_4Wx?
zo1Bx8lcRs}hi~M_^DqM(2_zpfH~`}Iv{K{o<MI012BZoIN~`U5Pv%Q}+mHs)r~wV|
zf4c2%()>8S0cqcZfd{EEz6hKAx#coMn|usC{mt=&{ER`j?GUj#(HmsB6?&1qS`>ZG
z&@Fm~yB&e#tY+2qV^k*@HHT32NO1YL(}PUDcP(N-cgM`ju{v$-)t*G#71+#H;M75P
z;KZv8VYju&5iZE@KM-j5V7;%}0h?)%Io?#yd=KBYK@_`MF@OJodg%AVIrh}!0tuAd
zUdEhtgPCChb#>(LL~B*uEv??G#*8S{;T_Qx#!elYr?MKQ))=ZN{QipVs8b@TXhZjm
zH~NRl3l%B}gz0SsAt78|N1L|h!SKkR>M7-IW&N&gPuw`NH2!R_1xD8`c%7(6bh%(&
zT%<cdr8LZknw-wEP>LP{t%3X39rXL?ep$&jjzK{g($U^WVSJEr!w|}7@Q4bw662EU
z1L*=IJ9&<RGQyiF=$53Pzt9XnE!290nIEkpsKI`R2M+(4Xmu9f+3KH$6SXpdX#0(A
zUyVnr?kC?y2V+28ZEJ%RX5i?G?SjdyW!?6|4-u;z9Ohkb(qAmQL#c`3up@|lc0ck}
z%GJ)e6b8pjQ|nYyQTOsnXj1DmoZ#TIpCh?8qv|7NXlbO1>2Sm?Q)PCSDTUr8VU}*y
zDu^Lzet)Z$F?CUO*~Ez(E}Z>s(!`td;$w<hQ<Q2#pl?f~16yawrKe`QLuHK~Hr>Bp
zq7|sB-k{xXc{8YM;<FmASvxUl8Ets?lIPNva(*j;aex(0emKfG%xGGE6W^a9k9xEC
z>F85v=lO@+!ooJgL&Gg{)w=!b&`2-m`Qg<*96W*hftcl$)R!?`;>#CNd{VDbj#c8}
zQY57u@>7Y2SH%B!&nAV+ywVO)8KMrinAL$Z2W=c7FNX|D<vvZHt>{##U9$Pv4#GUb
z9l}}jadW?JSc~4(@aE(hT}GJ!yI2g^s|_3>$L(iYjF~5DGIfJloox;V{fKO+-h_|n
z&t<b5)NI0wh!)JoH1b?>Yrq8iyT*WqQ>9y_OXZn>pB5g_tLi6!!`6T?Ytr;f)MOM#
zhVmX-vss+6nQn>R;nd#v(eW24^8IF3X`fXq>0fhW4pjQq2e{E~f$yw=Le$At)CFVX
zI<ndclW7yJl)K*O>&!{J0=}H5?%sL|7F9}Ar|=S{o7I1BIw^IiFmA=wS9kvC6f{Lh
zjak9j-nc><GgaEdIl!y#;2UE-mSxCM8-6{Bk)&No6m=CtMbk}G66D6Cse9Lz;pEh5
zF*r0H-3^-%pDtnRzoefs%S}jZc&%z}M`H-yhtJ6UVD-QW5~|lB{;n5R9{%vqXC&l+
z7ubMk>ndU)fggD2TMy~Q<bpj^c(`)GeaU@d>^LM4t#-|)$R5bIy|daiBxm~_<_(GQ
zD6iDu8~Kcg+ofupJ)l%2{m;nYjT-r4{BceKH_4|)k}-<|dE~NAUy8k3DhNS~-JzUy
zmgfX=N{2LPd+}Ua)f?)K7<l{*G|P-ic~W&gPGWWxr*Du<CsA{zZcE0{61`;H_IZS3
zh-5~9wKtBlW4?+s@!<*N2P>ntI}{d$;^pE`IMU=i{!-eu{d_fvgZRgS^+0F&qn0%J
zOhvj5CwiW~HglJZi7E>0@lITF`PPM?;eGBD%3X~2#$-r(a`onvd(vcwtEQ9$IqtZ6
zi4=Uc0$2)_BJE!)YQy2^i`qB74p;2k-f>r{6&a~NGN;v0W<j)OcjglKkm$*2dFC>U
zeuxS-|5bL@V1@3281FomYv7iV4=O^NUXg`%)dIJWmLxc&BWI)K!7G;V$v1T0F_eVt
z_Kk1)uKG11cujb84U6gJWgAr#=d!G?@UyZFI*~Am2O;jrWAo6p9Z#kX`R}j^pS9>z
zUB2~j(gY-cJmq)a%921W156eU34C-*wia70+pPXoomI;gYh}0Jt|qdf>&x*MUF$X9
ztHI)xGiQ|B*;4f*&$kMhjx&hdbgY$iAxRSVh6#0U=Y5k(UI}rMDt^a}{S){}DGuf2
zuS_i=!V*9r7L~Fa`$<ZAjWP0Onc}Y8v~fW-V2w|x1eF66)*<VB@aKNwnE%ztQJJHc
zpnVujDI03q0}H;QbWFw_L5Uy;!z<Y2_G2q+MO%6Jo~hKF6;J+&5-*6Sk{=_x2Ejxe
zaUv&&Myi{~^`>lWTvRO{a(sS65qw)pEsZNe;PBWyq#Ol87jdo%C&TH(yza~zw$qA4
zB#F#yhfh0UUQxdxQd=R9wnX)AHaA56NQ}X7z!pT05cY?kw$BxnNd}5}8{Ovv8b)WC
z2U}?I!q10!i%c4Ma;I*Oy4H>H_1v)e`Gb>-ljwO(omx3VdfR4ug)JJsVSl=JS&MOb
z!?Y`ETPmhi*L3t_50Uz@$o!*69$k{-xKLralPK^$IvJTED+*E$;dctO_^q)$4o;4c
zdr_|nO~JCQ;?f8IH0m`dy~>v#ZMr9_Wy0X!#MRtsi^iEl)xC5L>_@B{=L7?W!nh2u
zdr`n2%J?_}Lc*Wp>*kTHq;Q=0UTsDv*Q>@>NE}cWL>90n%f-8u!?aOlZrdraIj~q*
zKrEzQ4zrBEguw4Lk=W<0H)j`899+5a-E(384iz#N8X@l-=BQ6bNwvgTR7dRQywEu9
z!Ndh^9<Sr;1N7#;7Q0I^*@kfSiyxs^=J6W12OVds`-7%@7W>&*89K#u(<UU2=X!Os
zH0@g-ChNkRdFUQc2@Nw5D`;GCaF%8&y`1gumLf|z!*tX19bXCz?+v%pe&>om$9f^m
zI^z+PDLeB?Q)R%mRWU=%Tl~Qf(h%v_aJD~)kw^(cT0wb*SGNj7`z+LECJsMO3Q=M8
zL#p7f#+DMLnzJuG@)TRQM-tz+y^OMpv5TFp<GSLQi})31K5?a<5JO1LmRcQ0PExT@
z=CPle5;6KpCv9W=-b&RDD6+4Nn=629<-RWo$*zW@(0`BnqS%jt@fTs#rRNK;4HX#^
zOSQZ~%s&dYeL0?$X_J{w_uw2)v9<bzLyuFeZEx&B53NaN3^i|(!;b8_K@c~z-)zam
z0ecKDU8#>jyhpGgtS`+bVu~1R^n0z?uunKPSdStlMA|4eM1&X{VO*32{D<-;ef;>y
z4~<KCzE5%h45*=8TuwRxq{2O-k(Zc<y-`&V6pD)$v|J+jlHf=F+&mb5L_Lx*aXSgw
zfM#SF4O!OojD}n&zNUkHu4Y8YPaZN!-zjq*|6ws}g&fK0%>GR!IYj*Xny-(oj1#SS
zTkqYu$QOKOLoyVnC}SH=y{<dH9`d>H6Enx#C%B0k$oaD3Ov!dec={O;Y)d2KU825{
zb|cK<hUS=F?$x>yD|v&}kt)a9>#FOTYp1G6_TYU>*oLv+V~t}z)y0g<n5Pqu2hFf8
zxXl^O84gXhvixIw8JOg%n`%txU@t<%N@7rv6&CyXcrs+CcdXlR6@T{m+Kd=dRHtaO
zHM1=;f9n0vGSQ)7kfxIc7hw{6xh*KHwMz6(v`B0zy-9i}50#Dj$wu$MF%KcyZ+=bQ
z57B1kMe>)02!6R)^780vS|Gujg%`)4`bEaN@!&`F$2a3lMB86J9ox7GLAt~t;eAjW
zH5pNe9M8UivBZW<9$W!7Fu9Ny(%%PS%{yi-6|j@dDJn>@F~jyoQKC6#c3Sl%`C*%k
z^g;WT&?F>{v``zCFsm2dG^lg|+FLDiOUTx1E(I3B)X0fQ_DDEWy_l^2lXB+AF&r&r
zW}8BkY@?$Ydgg2cKm0(B0#LHSHu7b7pfKTG<KVM#a3$5)1OlXRrP;`ekfD)3n83sT
z=nj(F6Ztt?!>xdp4oj7P6aQW@9FcAlweO+JXDxMhOJp2*XgnB(A`q_d@G#8Bgf(BD
zp8iKPnmbXg*pUEAn*lNLdO)ZuvzMA$3luChV}fnNdf=d>Y4;RO^+Y(`iU=I(fn@y`
zHoU!T<e0XMr>oJ!7FhKT9D2>k7m>IW?%5+x9HQ=>Fw6=$6v|*>qGh8NkqNpk%{^;{
zn&)GZo1y&V^K&Tg+ShCFN$5;`XD&!>#ikh~hwY1mi>&SLtT#`bzyH9Y6+>;I#b3o=
z%@>`nXQ8aO7rG2Rr<<^ZK87P{!P?Jv9X+$&XSc%>^L>PN?KZO;J#=0oD;4r4dGEN3
z<DK7q96Kp!7Xv7Wkuixle)Sy>t4tsN7G9Ew;vfM*{{0#QC4-xm{vE~$U9O5ZOIS)b
z+ui*8>*Kcwx%8sFkvQ{_xP>2E-cmm;A_)XZANUwZF$@)wc&4b|kn-2#VK>WzAVuYP
z86L3n`*wrlXwMzH@sslA-xEZ8?5>5=%KS8XcN59ylEoRHF>j&XOT_F8`+M?8h59hA
z^HQ_QO(mIQV+kwOB!-H16Jb!~RHdc>Q0X(Ujo7lZ+b~fykOaR4wmoNW3S9>862l1*
zdM^x?&CXe>nQE9m1}2^D!+8%&au8ZZWJR-=eR+v5Mi)2Jrj*h4W5nO*ra1Agct20`
z@qe!P)`AT{y^G0CNFAHk2X27UfDrw_;xM^t?i0rS&N17(#$nBC&TGGC+x2PDtVsQN
zQ*ojsycEI}##M%%GNNddNE=rmOG(5`qDKy04)$w2Qi4zj24Ckcj!9)F{qhzst#h`J
zUC*|k35~(ytlCE}!#Fk+(!wl_yl2+Ot&6s=lkH}Ld+%$Wl@!^qiKoYey-C5zfSJ)t
zJGG`tN@hO+!9eD#UP7~m0DfLEKCFC5U9~%!*IAW@Gkg)dgix<Yn<@1`<(GOzf#;N3
zCAVs|V{FN`hRf<<bE3PQSZWKh`sR}Gg4@V~FTN^Fm+2{J*|o!D@S6MajVX`H{v%o&
z|6<HohUK$4@>bZ?)&ksfx4EDn6VF#NM!$R(wR2AYwB_fwOklQDlEr8n4v$~kD;#%Z
zUf|T$B3x^^oP2@Bq!38ce6n3OKjMI?=Vjp#j(xH|TnC1OUZ)##mj^UwOJ8*fypK)h
zK_uTFbLR1~UvVVafnOz#5dBr<UkrsRFgpk-B+rQ?FSJyGKgo4x_h#qe`6d{3Izs@Q
zf0|Iz>c_u_j#4AIC`Bz4XReKE<8s@aB`^~Z2k06s#ejp?*w@IwsXX(xt*&=gf!&eS
zocHoYX1N)eq8eTtA8TvuNuOn?i8&}BEPxBW`ZVed|BBUeZ7KJit;g)k9*gg_b^S4$
znDu@ffSG}7|I~PDh-lLOe*i{6xxWH`tmm&zdJvI(PcH)UDH9y(fwF*LxqE~<y}zzG
z5o|yO%~02o2+mzVaM1{D-XBgSg1Hgev_IUI2+lzTZAN%;tg~%VaPcf5(cGz(5^(|W
z>f9wu@x-WUqu#)C49m}*(~v``smJB=iq?pdlVKl1Nt8SSi<+f5kx50S<(gq%^X_J<
z8P_>Gm$pSZIzpY@oz!6GP$vaC#ZIadnV$#k&O&GJvYruY`99_Gt?m)H=C)Mof>Wt8
z80!=k0Vk?i>jkqfoAn_=T==g{{&%9WD!0~DX9?7hSBiMekeamDMT{1c8jePciXWOS
zb!OEMQxGXXqWA_tB?bF2LPKH!V>DMabvn)<wEPrAixKU{yQa*7#<SG~(M{D>E30@e
z54+b$_3QFWZgQ;sdi(r-#c9$voj1{Ho36O@j4!sNxW0p;94&Ju8ahe_R!Mg?6&Kcf
z8rmnOmm9r0KIrwwEYO~!K3QXlCfBUEzP){M%S{v4E|Hy~NW?{O-yMA!tvJt+nrOc?
zgDN8t>qV%pK?|gtCmhS05J2=zUkoq(R$B28c!*@#qKO66P3+f!4YX+CZ(5(QQnwqo
zTPgkhIxDyzB4G^lx+l$b-3Ss7+813)B=Hz=+YsKY`6C@jzf(mKG&?vBApisesGGiZ
z+0eIP<EJ-1e1YO!uw`PS+Hv_e;2m$mCOG+}<g8C7zWL*~cHQyBgMb1HCO@K|W7h!@
zM8M&_D+NS6++LP-;LK$5jzEhh>AWDSMJX-X8{HW_9%Z6dTy0(fHiE5S2iOT%;8735
zAcQq^)j4*7Sn2<?bFB8BhyprbBpj)WP{>ZBA;s}3LWaJekLGMqi)x6vJuVN$DU5X$
z2yxz3&~8R0rxBGRP+kRn0!k#&u?l$fC^_Q?Ns=R(yxCTenhCzK+9`s8n#C&CX~I-c
zvk({DwP|_pw{LprtG`_J^37KrnO*8{+7!&>BBeyjtm3=^_3%fq>!P;dA5ZN1Wa8j`
ze|YJi6CdrlZ{@(Vu=LSGS0ezuaN^r!-ZE(3mXLWXX^{kz6y~usnlLMxI2%%@Iz5^+
znagn+M{|RYWsm;%#KDTKh{#)Vh=51BP(ns*hRWQ3*^X~dyz$Q)hdUKd`%UbcWc%fJ
zPh9t_iJwluFR8Qt4A=koSG(_c{6Xwj0j((E(K{GG9W}qI2@iqD<fs<F5??YA#br|5
zSSu)QtSc0oo7Q2uh!p|$NfEV$3U3ibh6?|C5VzKu+*rBcR;cg+Y30VvaVu1K>i}-$
zma!6XbtxN_tqQHwZA9bJiwIT2tvKwLBZhGuXG6B)Td7p#XhlTkYE^$6t)|#cO%eS7
z&*%q}EMal2kQ6^>e|vka(AHKhXrAU~ZZR?x0k@N*@Q(r@D|NgLckffpkMGp!B4HCz
z8zu_t0TaP$xMx*$;KphjU%)j)FSy;2a7`~@HCA=Z0HO(wA}L5D8KOC#<{65>-bi0$
zD6%thGQ!G{?g*vfB!WG(jg1A8Piv{>^|@*uR!Od9Jl=vk5wtC+GbMu3g0K?vw8=qb
zmeFIh4WX`-0H`zaHc3B(jbj>n7H1Z5rdi5GdcDzT@|YrSEmd;kI&V`;VaN@;-LTi)
z=N@wJbf0vy?!Do?->bp4RB8;Pwo@ptn#kB=BbClEjjK+@3W96{Nd8Wl$H-c+{hwti
zOeCjIPbOQZf7#Q}HZgN%#z*91+zjpP*YSncWODk1GA=JE`6Cf;>teX_zO;Ns<{1H?
z|B3Kho;riyiUhyq2*z(9sadc%!x#u<@L4zzNeG0V1%iSEf`SBR1mET)i#<*wrZ(pk
zC_{zc5iI7!UY00s?gRmHbAUW3KpqiD5X&P$ERRGL#*@NH@|46Bv`b(_r^k0BfS-!w
zh<CApco!QQO)t<N01+K^=uq*Mh$Yg<d(#v_P{if<$tU7_sj>g^)0~5vu)Ai;XLA-T
zU7B@bV$BhorGb>m3p7-pZ;1$mtOY{o0>MgxlfqR_QspFeiqlyvfB<P3AQb^}F+e(s
zYZFskk-!iNw@4(4g>wv-(Q_CBud<At@%&)&@o6nZEm;(b81>|e-NoKwUva3&)-zBe
z<w10|yU6V>9xGD2i?A0}j27vD;7kN9BeX@c)+G|b$bvc{5i~Cd2NJ<Bf<;;;+z?B)
z<$?{f{2<(zCq0gY!xoEK?{Y@?Ap!0dphf5thJ`l-Mi`-fsQD84KqMJTbSHWfeF<hT
zF_hSypg}@RPzlT~Is|hPy#)kt@S<SNsu{25)g=<_)NHkuN@oBJQC^bULvxJkp<RB6
zY%kV31zxbx-jDtxMLd9=@$kQ4OU<!_c<0>8v%aQ0Y=7kL_6@SrY-l)tV!BPs>zTIB
z>#jAJG5oO4X|RN*(8t)z?Mqs3n%KNF<Uy<zi(0zibzAyxnFv&z0faB+u7Qglo9D%x
z1_3pBf*z;u1uB)R@tHG5_)LI=1E4{U*KCEF$59T}Y=sk=jo1=i($FgryF{8Y%%v%x
zJSv<bsz8cNx!}!il{3g@Hy22o4ZMJc`~YSWK@YO;rH-PZMKpt8^(QqgP&FGy-%FkA
zsa(oyLNA(CTF@J0gWDWYUFfORM;f4j$rS1_jY2}vQ1&wT%uCD%uO8QVB|(VFgw$oO
zYA;05+y0%<xHKjCae+vFNs2|!wFpom5}w4#C}!d^GS>;gBU|Vwc6SzG3=_K?>y7or
zcE^~4p*hqd&kN0yS+8L0!X9{~E2zf8LJYR?L1C6`Py@mUoUPgPKvg{+(jT+lpf?y4
z8N1%iU^j#o*awH<8<2sRnpMf;MKZ42He{m)QL@`cWAj|D8R*D7kG{P1i=I$K%dIt>
z(TV{%G1-aWIV129Ig38O#p<_s{Xn$(#DE_VV!rui3@3@nZYQpF7aJ~4S?q{f`Jz&@
z<I!2HNUydi&QQ!e@t68*Z<^iNpY}J;gKa(K)K%@J<@CMdzZ#zFw}$&)9z4J2u0i-f
zTcZ!E;|~pXH+4|_1<jO-Xf%y<!7~VZ2H`sG7T#?rx!nHq3T_Q09-LT$PG^E|<>&KH
z@th`K%q$l!b}e_W7dBZpN#8bn$NYfxS;MpD*Vxxwue#rHz2iPE|BLyT%i(|l#>4s?
z9;e3@aPvBs!EFc>JaawUT{~pn?V%`_*JJc>CfY+Gb|z~LHpVo9UPGtT?8Y*7Opnlc
z%_y?o9UeIB+2x@;hv__^;n(&-$`~AhU(-y0`=HCV!nV=2)yCLHAg|dp)G05JHF;2`
zd*z+T6!Sa}{{?7Zf|_PuL2abAQah*@sW+(islQSJ<p~{zUq6eQPqbEXbET6wS<oC}
z_hf5%yuZpD&+X8`7j<vwC{XF|Nu9vf7Mfb(?54zOll@yfU-O{rJ?7SJBD>{?8G|eA
zi>W~3Xo9p-1OP7+Vi#dk)gR8|l_3SG`DXf=6{nBGl~8{8OKXOss^^V|9(ymh;PHRW
zfU7nvo#Tb<#OEqJAKw4e&5vKxf9RDrht{tB?tzJu)5L~))b%+?<}5(EU4j4DD=@Go
zcVx=T5v|UV=nRg8Y;aE1qT_q<Vv~Z!1lGVxU}W;m{Wd#N%p;ROJ&2`Fpn(S2u~h0v
zs!~2u1&>Ejk9>QiFqY?6C+iC!j91NErll<9w=H58vJ1II{4(D%Kfji}mK_9x%6{LE
z<zw=3@CR1c4Clfn?#2EU;a+#I|62Ee{|@Qvwjt|~`*HXvwJW?2z65{5|HSjLaKis5
z`4n^`qd{6K-5I)59t@uh^Hv%DVDdPS(Gi+Fz83_*2t7y3i3;ph1{De~n#oGHg8Mb3
z?5r)I9al~&Cgt+L`xa>ViBr|_0legFFX2p^CY4Yp4a(~wBkVHnFjB^>2y#FJy`T>a
zf!$yf90xjFL4l{Q_I|}nb$j8k7b45ds7WU=2o|}jvB7dP>t-IJzELHof&R|1%0T~k
zf8|6!Uamu<SRNbeC&J={R1>!Pg@M(9s{`~s0f=b|DfDU6rom~*7RMS5Ae}bzl4bjW
z=q~y2^17|Wied?3P%4&WylgF&YQ`868~qSV3krdasa2L(v}Sra>}0L3nO>m2{grQj
z1mXT||I?739<&<5;TdbryYP|it1f6Rz)KGN2y*Yg4b3|`quHqA+E8%8sz)CEd}d}d
zv3cfCj?vo@eKmsf==oFBRVIGFGFgXn`1p(}7!1^6l~9=qjCta3!?ctqOUn5vXqd--
zJ_n}AJZYOR@g(Q#Gnlkw9l9lx2SFy0&J~QB4n5SU1p+v=V$U`9+XZnWqmkL_hHg^p
zCN12e8suBk3?kj~*b!v=RFw-dd&V)ZzL`3TD7k6_rACqZOC1s4top6BjRyZ6c}iN?
z1SL6C8Z1AlJE*6nl(YqG$=?p{G~8L_0+O>uEDx3$oxg+a;AYFS>pEJr^7eqBH}f*6
zn-AOd^9}Qh?aeb==AXCJu-0&!?pFP+2FoJnSDaL+yrN9?3VBdy%_Qmz&qE)A<i^R-
zgSwJ2ZYUXvRnbxujon5{LrJfZmPvN4kukQqG07$jr7rgh_eM9Jb#HZ3?k|T#h<luC
z)mkak?Y{cKdaAyN#tk!vl`&*S>tTJb3i2kSu~5k4wS26J^UuSzAOckUi{=tgL+YS9
zq%xX%Ql$n}sEW9e`aCrg@W6pcE>v=0O&RoMOAWkcF3Eg1KgiP}4^Q&2n}__&88gqU
z3=X6^$4-r<a0m>tf?CH@RbAMMtRkcwPmQ0bh-3Z87(xOTDg3H|m#uQeUfPJbp$DtY
zD#%4Db8d0EKg`;ir!`HZIGvyuC{C%9>nN^hD9OMYu=#;xvxH23SQnnomi%CvP>^A<
zV37QxADZh>(!#a+F|$;ce8}QYDwRwoZ^jNV92$e<G^os6wzn+7N)OV+U;r~;1L|o8
zN2Q1)J7_L7%Vx}cAMG{b?6_tyl-x2>p6KvnYWEsSdNh^Iah&T>u1C2J<+{>;29xxl
zeySW_wfLHm0w9_J@vCdf3dBAY0%)tN?adBcAG4x+s!UDI{aU2yycIVF6F>W8>B6!a
zrLs{qyL<SC3#R)ey~`pR9j$$rH?+WSrMqS=nbvXZRaVa}SI%shb^Vga_RH()(k+?B
zLj97VMCkm~Z4<A3WxAa=wNCrytb1Uk)syZm&0A6R`=5sdfQ9`!aKLX&c{^Ol*eBi&
zyOD!@4b~DP4-)eZ8ZqX>OmD=#d0b_ja%dQ_+XIUMRQTNie2<a+AwsbNI(T5i;UqS@
zro#_+po(nyy;LJo$u<AQl%rdG<s9G|vk{+#oh%~R&}{(lHH=E^Eyz?+>y)u&tXiw2
zP<25VjV|XGEUhxKv#MT)=Z0LPu9Gg>g?$O-IR%_+Ev4xN=-O*q)70&PnycH@>*{k2
zxptz4yfG2v7u3N-kc)-wF;kl@XrF~%iRbhHMoh-qW2)?4oL(3*!fqq%HTD^Yj601d
zjjVC6^BgBa)jle>o^=~kkhsS_IN~+<qNiZWQE;QDFn6L{&Unosw>NHuR`%<kw=J0#
zAYK7lduXm#4EJHVJ{#eNLrAV$K!7sV<hmbCDw!Vw8jM6V8$~SIja~+i9KMJPnhjSn
zq#5Hv(qB|Tb?u@G7pjsMV}|N9>F{;j&WmsM5qp8LlX<cmMKT{EnGA+#4qRlIpwSo#
z*1`-^BAy;(9MpVyK5e!%=zvc+4?2GgU(+24yrbi!KkDH;-E8Ml$8GQ~-FC}6K0c&1
z7MT#nD#Ic8isLmerG?;pVd`xp22VvwGL*ZJ+04LWIPGS7nLcKS+0AgwCq^9crWuD3
zM3@<z*<MxhNXk|447Kl$FKpl4ec|#w#^C%tA!hzX%a{ES%XPq@BQ!aR7b#{g`vLIM
zjer4my76Q2W8XQah`4*sdTX0tKvK<7O7%zeDi^g{>@o;IuMC|!RC4pEWHX5}^wB7B
z7+f;&uqZj>m#qc%V7Z2<2U*B)<}%HC4RsB7gZ>8d4bt__YuwlPg-TDQy0WeFi`J44
z9S$_;dkodZZS0Q1*qkFs0?DE#R~?o*5?R%bMJaIX%j>UwW9u6?tljeZ!s7b#hi_T=
z<tygWyB^-Q>&DZAkKOtGFaPVhw(`R_y*lx`oj*EtS1+cu4n%7U>D|B%0`!)tC?3Iy
z*wtvk(PCzjnF+m_9XW*PWdz4407R5vFC@mNxS(0BR#XB8pK9fC6f=e6q4(pvd4gzB
zJD$N}2A5Fbr_W&&!Za8R1dL%^P#z=PUa3?aqwl3gvqwkIl4`&)2zDX}NXrBf($$x!
z{$e%yI)Vj>$jkh0o(6m`QinTvhQFKnF0+@R@lWxnYnaZXgud;eAnGSBqTV7($Gt_F
z*@>&n<|>I-V|=RqPqJcNIZ~;l8p*q&HzoG3M_S>oczQvv{VkgH$bO`J{3WO6FNN@1
z>1Qq|2!zz}>ArZpK&lreGX)>#(JixG>Rf^BxQo3!q;(vx6O625KDV8^i`!<rL%c2U
zJ?a_v0o$9@JC=9FQ`G-W+oWE;SLj2%+pc?wf7No5N7e;zx|O1JhY=FzkPckXq?<#{
z)pdmyQHyk|r~zubZM)|I+oQTi^&`Ro-ERF)s6SH2ji>Z>;TR7Ae~hR4agN7s2o2h9
zWCLws>>%fK;8(RtC256Yt7F*lzJqZ%e7|HMn!#fTv@=-o+Hm%^Hcu+yF}}nH@r>}V
z3(mN&WO2fc&aKWJPTG0OZXXn2P8brXoUlW9U!X;y>fG2Z92Yp@X|sa?+c90yX-&$R
zHFLL_24>MLo9UBgXeKTzG?wNw{GLL<rgOZX82ZRE6vq&H!G_}404Ax_01{6aL2Ps&
z1c8M%j&$iCz<#<4m^KZs%g<c4p97Gh`g;iEA>juDBq*0hzh(%Rj9PukgbwVz*&D|p
zvpB<k_r1RAnXh`ScBZeM>8octa;BMeC5PxKd1PzJgbotx_XX^MnA^rxS7=-{t3kq6
zgQ`TU@hk7bHEXslzpXyx`04$R{rPVPAADte8+?)#J*%4*eubL;`ld~*ueWdiJ%sQ4
z8S+1Sx@B2pnszhxFHg*&Pto^+#xv2TcAYMjq`~zu7z;?8oveu1aVWf%6s@>Oks^hQ
zjilI!ihFRF{8(x%^$Ge{&K|8y1<BXgGpI{}fZa;n&<GoW!~rgR1O5$*-JS=ake`Z5
zFTYngQZ84c(W`iJx7fZ2NoU{WXTURg5_plw(~Grb<Y#mu67%NNeF@4|$T-(DeTBV^
zqjWk}5<G%em$G}Kx`-6<MpM&ZlT`H0mDcIj>96oy?p^I$m%d)utl#Xp&b!HXeR{io
zyXSszzwTS!Z>F9H#|nSo!aALhN~M!YJrt-Qw0Z178%Q?>fuy$vrKli#yxv?=Z$}N%
zsZ>NK*wM(LTasQKqZiUB_vm$k5VlDY4quOvnMQ9L%Z5t<OTp#xdPbn2`F7~x`}&hO
zytGgMS3RxYQr30pR_JKm7GVUMwLt1EiwrIDuuRE2R-|DzT~1SJPrmRJUV6sM&Xs}A
z6P5lG<EJW^e#dLe&7I>XQdO7MnFuYR8lgo3)=`dKA#Na!L2>lIQ(hEWh1M!`!NKU&
z*y(EUl+8voN;P;IM^6(|_S~4MW*Eimh%qC4#!+9dynhsl;JOq{s&Ti@GjV6rt_!Dk
zH0P93TpyepX`6V?qIg7Cp1xO&1!A)&8sWbaaY<(|sVd`E%;nQxy6vm8(#gEjGNWgh
z+84@%jiQm@+>-#%9J>xU!M8NK=I(XxbRTy!z^%EdYr*Y+GPl{_6|fEH;7(8nXi^qX
zIgD=p3|Qb5z=>)A{JUm`2omWi$Rhbl(cm!rCu%-llgws|W-aC{TP;JDofgL8aUG^2
z@I=iCm1^x2$4-b<xJSH8XIAscdUJoprsgr;!?ENus51*gC*cCc)_TbV)jQ3p=T)zI
zKJ$}DKHoMlEl8;<6==AD`t7|*IT*ry#5(vfwgVWzONS6XIlj;4o55mBCWQ(f0kU*b
zcRtWey{4U}pTgIux8d8=ag)IdpaBAtW}+#UVMgFRnwO^RG)*zIiA5F~`vK%o#(e-0
zq#1z^9NcMu29J?FOnn4s>W`WcFd~CN)lP<Gen5Q)jI||eygGY=c;HT9pBs{>h|adL
z)y)u7uyGT+iMy4(m1B^}RP(6~AgqH(2!^48V-I5gOZ|GHwGZAmac6&SQ9i(SMF0H)
z^J8D8*HE=#7EXRdFF|wL2s;h|Ju>NxcyGX{)@m%Z>1ONa7~1QYH*_$On3m8Ay@fXl
z#|!_|^Pm9RbX&tWWS)*3iX6_omU%z?zWSTYpXxqVjq`=X2)qkvSP_g+C-xo7L1c3m
z4$!RVgw7E-d?28uvW371oVialCF0M+bqM(AsQ*hdbjyP>HAH-rBXoY>ZX+^G;1H_E
z#`{qHPP}o8&L3ET_h|7W)E_jxR)9MTqXnvf#&*VYn(aj!W%K0mvj0bC9GJv=iImbQ
zoSYC(wGsh}lv4$xhZ?rbWP?$?h2iRyuo6*Jh2dC)HKTfY70fdAt6<QAN{S)23hH$k
zF1HGXOo3G-VzLG<vB`Whp~V5vkEY;Ez_^n*GnF%p>m<BeBoP33KNg}_V&AT7*>mgn
zmY#oj%V6K#6Mx>mI;(iR*6Uqr^73zmy`j`MFOa*2=iS`<&^l(p_WQ2vT7K`t4F_-B
zee;vEVu7^4mN~=28@k%31>$W%{iU~dt=;-~b$-`Oo}hk(?3f0oP}4oJJn>8AHEg3$
zkf;_&R^y??=M`c`Tpv>`czGRPvtX>&h_723cp+v{7%9cV%`Du&LRQT}2$Q_$x*%K~
zgh5sI!d`Emm-0#oQ6h|nEP*V_QHC{D86!$${TzMssQ6~;i*b>SiX|p6NoP>XuvD^v
zuRg{jwX<+Ndm~G+YLcH7glmGEf>cnI3=qHJ-!(6Wi55$~(JPqAx?@bjSuB=stnFhs
zQq7NG)L6lXc;rZ>EFK}A6!cOUJ0^5#PnwdXjAkgM<A##k-eX)IeMr1F!s>Z_T%YL8
z_vHukoFzX3Wo;Wmkv}v2%zPwrME!O6t;jp+519|cA4Wb-8>Di&lKxWtmh=v|gW5q4
zItIOizCr)?`W+b)j<nX(IwR-Tr(dmmEiCwHr(N<p1D=F0{ebQP{X_CS;d>$mDP@YM
z7o@xLEArPTu20`?elol({}KJ6-<S{@g5ZZpO@?3=Qg8&O_JSW~Mxa--Cfz~L4}C#z
z$O}cUj7AP$^!(6?FV;y?By2J;mKe#{Ap8l)WRnd5;6e3%+2e6zubADL#RE&djx?$C
zhVs7hSA|waXuD?Uv%p?UACk?qWdt^9o|xB@2?<b0562*0Z5oWxax534Vuz7s(g@`}
z?Ncr<9M4RU;W);ClM2Fsr7VJWdnX|(Vw8B|6kZh~5dkO833NubnLZK@M@$C0$z+%c
zd+w>mJy!<45c!OXwUvg9tTPors)sPOKb{E5qLt%AR>cpwgy09V81w@^&iY|>s|RLU
zNaCA6=RXxcwSFFFDm`$31UE0!Ji~C98m5O051NJ?L*60ZkpF?YZ-s~JjmSt$!G7Y4
zUZxqc;cVp2^h1${(rl#%n~v7F>?!Huo)XmbB?=wBDjfBaND+N0gR0Wx(3Om0P%4}8
zels)Px#cU7%u|X~L4CNI8Buo7R!X~V)n`f7XIYRk)Fkv1QYkG<_@0xR#e$kyO0;M~
zzhlA=IH^e{^gAZh1|4oIIsVh__QgL~^~2#{ZUTL)o4KYu=tx|Jt$AlvkVPZ0b3q9;
zq(rZ~WX=*fwBqic{qUMa8x)7jq$vJ}SIu6!a^iRO^$*?H)S0)6l9Apu@#;NSE~uXt
zPh{q<{_d6sf_g8Ud)L=5EX}@jsHL>D|9+Rn>_(=DjPS=Hq@(n}1b(f>ohE1jvrU?X
z)+{h-gbp539J1P24l+iA2{1+zgI9D$pkI@C!Oru7Kr=jN6hO!XP0zz`BM@zX!<vbO
zoKE04fn|(F=6N_DnX>}CTr=o&78(xIyJ(6Yf&bLpuuK-wFc<8!97kNhX*}dT=5toc
zkl};%Ol#*UYy*8LV&_!3l&vmyisJ*V){>Phi*3uKm>Mj!SS$#?3{)Uu6zB+B!&apT
z^C*M#p@WZ&zf4{8rN<^B@YL5Q9)y<<(zl$xi+W_d=6hU)^!8?iR}>i3W<JV5sV8_v
za4Wl&+Zwow`C5Q4QblDky;xqVtoL8bZuW1Z?(p8>{~rCMZfE#-*aE`PB3dPz!|4+2
zCW@x<U|D6wF4K&xczu4FcQY)i9o{F)itRA`7jV-y4UH=N08k$&3W76-;SAt|a}Qtx
zAL(QG52TO7Pz(2lsW6f||2imAI~AzlhiE!k6L*S~=&3sl?}HzcF*{K~uuiPt@gXYu
z1gM5?m&b@=MksFzPqS#i$ZpW7fUE&HKn=*Zz+0$WWUdB&YHl0DdS;`vCfLXJ1z7B|
zhP=WvRhJEa20u?JVT_(3z4?NPbv;n`&}~a^z3}SIH*Cy=y|HY2=QVpCzVoUdK!)vj
z`e5wgua2xgI2dbQ*yvA*N@35|8-LYO&r=q>pYU_+D`dZp@NoqGqN-*01X-*$MXW$s
zyAincBxDV-@rP61-_ui0-|8+x<C$HAMx)yW7)ocuF+J8Z9$%lTGblaP2%fPriQPG8
z(_n3%!IU<QqDRo^5$HaA5570ZvQZVdiL1p;yubK$J|odKsPGrEtIBAMs$X=t9IgG{
zQEN?CZWg2PQSKmjfd5m7VWZfkB1f;GuVrqhw=s{?&j|cn9<~Tm4qmqlVO*aRh=>%X
z-lQSK4zW}(JIL;0Y4*=XCjjn<5lN_SQ=e(b#0;Wjw}}QO(IlI4s5ojmX5vjag0Hn`
z>Q!H^c^=Nh7)<T|8^c})tE(DWK$Jk-Bhv;xD$_w3di8EU@VE^|zktp{j3Psi!RH47
z&PVqCktL8?{4eN-WP9*HEr6!F^)DJb8zW=2P6<G~IsvEO_Tblk@!dP0>3(d9MRxm>
zW@xL=UsbyJJKtGTEXJu%5B=@ur|uhUX`v5%dmeT&kH^P<+n9g##oa&j*%3c?AsKfA
zdlyJi!qncBda^5}o<uL!lNCi@3W{b93g$#@WkE9Ih%^a1@yrr&4-%iVnZwa9Iz&Et
zA)*Fd09X<hyhTOg1duI{jf$h?qi2>5Mltyu5nsXoz7Xqm2uVDA55OBZ0tqgHo+Kn{
z>jxyVtG0@OU*qknU)oIS(fPZCp3LU@bZz-yltgWjU3yba>KS*+4>%r((zEDU#(AFG
z=-Z6!gAB~pZ&il4A%0jG);%mfY~5Y26FHHmRwP%XD8FFd9~ADcgZqR02rX!#aBw*I
zB7%h0i0Xo=ZV`&PWJ0oX0<RZ+&^H1v+P9+~){ju1?uE(J2oyC_JOL$(RlM6`ff4M`
z+Sl7#AbCqmH7}Q|d8C2ln$xcohRhJV!B&|2%%kRGX3p$MAEr5)uh|(@$5ki7F{g+-
zpcQ2wR!&p{99vtF0w|ALOO@<Y^p+a4JEN*2sygF-5VJ@8WaWYco+C*%KmyNka8|w+
zoYjPPsN}K3xoTIC7#I?F&N&=;2YlSG&R979ULt<JXYbx+2l}sA)=~(%@(V(tXh!pY
zLU)WmK3JEIMB=knQOoDGZhzsLS@qL`Mdd1+tzqq3=g-4_=w(Q!>_K|g4dURmmb^xH
zt^PXmExLEqk5!JN;THM^<_70&E~Zt8b1WV9#627>uRu5u*>VTvD2zre2$OzopBu0^
zWP6{*1d)=^u&&W0WGW}MB&8*LlRJ~glT6Z6)gS0mHG(K-(`-Ywoi^U)Nt_MbK3(Y?
zKT(U^CZ-!QhOyIkY+wp0)}Wt(^KleW1!#EFepM$0{6Rm(SyfY1)rFD8Ci+$Z#f(Z3
zeRLJ{OY$mEXG94&vqF%pnQ+iyrunm6AB$QGQlu#l$$s@SOwZBZy!DCit&a?S<IdOD
z-t_vND_^)9T0UDp{<<`GPJaH<?O)vzUCORgO<mvp$@bO9cRzjC)0ganfrD_~#Io^O
z+ZOiz{`~Bt_doM*Bzh3;xCxE@9cb)5APVyE2JLVUgt~kvpNwtH-%vMb7&Kx_;udu<
zdPn{#_ha5C)P2VN-shsv$9}B;vEkPyClB<HGf`e$%xQ9YRg-FNhj+oRm~Jya1<cby
z3v37NaDIFRyf}7A{z`Bqyn<RAy)w2ge<Qppc5V8m{0?RZJID_Tw^(nHcG!0~?`OU#
z+-v=&^pNxM==Wpa&yO$%g^vw?GJb6SIQDU4f;Z`6EuaLaHL|k=VD!cql87!6t<SOb
zIJ21oZ90V3bchP@kwaw>AuJITwIYQhF?SY^7nx%C2j~Kg=pl*dL7#JJt|1rg@)Qok
zztq424&XmUfC91@s*;}QKUZ}vyfKvx)>)m5;7}Ddyb6T)z$%!wCs%=tgsk;C2AS_c
z9I&5q)~^CtYkhUv&+K!=`@QjYZ!iFB+Y&L4@y;`l7uBgvwRy)>V5_Y)6H6X$f28vI
zQ;)v7;hEi~j(7LGv|-6+*l@je?d6vb78{xtc7N@v4Yx$+QqSDFbIGkQ?j7iOc>Px|
zxV(SI&o-~TdikEWHf-s-;<{_Q3hS~Hf1LAJ@68Y0uykJOO2m&BB3$t#q6rs>L8F$x
zG4>Ao>$-Ph%sOT>yG6J`cb)Ni(`MUs@}0t0Y<iurBSB3U*qB?1xmh}>GJt0f!_~kI
zwf!+1ih#IO(`D6-Dy6C*h^NQQB7VJVzsm(oZp@8dXn77uq9jYSGy*R}oSD!Pg9%zo
z^d@#DjwhG|#QdzFW}5y*J*D@=zu;>bt2$f8t4OX~V^r}}HEf}_2b#=R(iah|#;B<J
zqv2@Cq^tq~3*J~Eppt9|u7W-*O6qj#x$IfpmXC0r3-3>8o{A8t3PcKVD#Q~sWv-yP
z*>KD8pC`Vvb;s+M-}uTC*WLZQR~~tR%1h^O?(Dg}r)@>%%YK!*21a&W_TF=Q?|kZx
zXFmU6V)M;cQipE2VCC<x-}&$_uUnEPSUZ6jbOU`aaKNXutRygQW|$c^4V#~0Mi_qB
z1x>DNObt!lV40=cLHih&*=D(vxybT9bIiim@K_wuE+=iF%&f7Ug*URWo9$&OHfQ8!
zS>PrMTw&R0p)5H{56a^Ml?q9!u^wd1e3}k?DvE86Al@t)(HdEHzdmSS%oa<8X6!W0
z&<2XJK%?1Z!oR|Fvyjc1jGVZ_0xda6=`GJwGk_Vv${AXkhM8f!Wu)5#b0!TzF52YH
zy2`FD#B;`sp$I5Qd7Q3Cs-JDS;8cI-DJ+6NtqdUR<^(d+@%&<qhLfpx#IIR3Z?<hY
z;;wz6sFsn>tsrX|Svq7{$2@sV(;<tO&Y^@XGMiArqT#cMvt${W{Ov(!iHX~B@$G~5
z64NK);?O~<#JC-}_|ZWJDq2W!kL8OWDgk&GGL390r4IYe!_A5VD&%WO^d*MVZ&SS!
zZ?0^$`ItCIgYgI91y{7YL<96p{4qi&J>kX$6YA+V!)bXfn)}JWPRwDXi3jl)ybb}1
zj%g-fp+OT%!L`iXdG3_>kJhS75p_{1Dvb2`drWv@&LXT&XHA}9SY#K3Kt0u7Lv_(C
zL3IhvO+pTZYWN`uMFeudNz4SNfqYWLN@AhOE&|zIi-Z15BLGh(UOU;3VO{_SN};nr
zNWun#Xw!6NYO&1@R8_~P(=>_r!uCQI9ko~y9N#RGSpRdrF``{0p}P?K(KNo*-xq*d
zpf^ATLI(60gOlJsCy8lBZ%9H)WD-9jQ`LaxY$ie4kj`<7IWC*2`QWA?;L#L`P<XFW
zK^PD_1aT~h?-0l$ur+sXA&W`j{8XmUo4tv-iM@jv%<jsLW_c|;n5970nRKKUvx|jA
zsc-W9JRZu~X8m0K68-(m6Um)fel&YBMaeRd6}$p#m^`k{Zk4;_OXbV;8{`}0VK6K|
z%^%`lNgASpEoN+!g0@+XK+M_Z4+dt1&}{}L?I5ETO2c$IL>ofDpcqLgwB+b@4mx)^
z>5y~CNjd+V=;p{Wa;8A`70oSjGcz-*fzKEPBKE~G&*%?3?*~wq&wP@k_6Z0g1-;P}
zBgE9GkdQ%&K}nofWte2sXFf%O0SR7(Biac=L%d9>))s;!B>9SG?UAz)(pJ0yzZT(0
z{bc6gf^Q!G>_?lskX_<UnV_}aqBwo^hKZ9Iu61>G+3bsVZ@75vobx{a@sHu$&ZoXZ
z%#+XGdxXSFzXso))mQ3T_v%l7O=RIWCQrbP;ALO{Da{Ww&OmEAt)-~b%Ec8rIIP>H
zqja|!ue<@TV34gogf-N2_V7TE)!H(dwzii^n#pRISHb|W*q`A<+J)A73_e5PcJV&(
zS0a0@c&&Y#c)#rd$7{aV0&j|f+bY=uL7I2KZQid2skp#}d_bw=Lq3xdb}61v+-x>c
zp19Kq1b=In1gk17CutHZjZFUTAlWG}pG51<C>OObl*6zujQt{XSaFe0xw#0Nxk$)`
z3k~JD!NO#B5BG50%GI^`PPKNDFS&J!IPB%q6q1u;Q^D?I)>5g4`TgFY#UZNpXwc$c
z0=*8D1gxPY&}Z{3nfme!o^LeImHs^0U3%uDZ89S{M4nS(Xhwlm1lR+YUlMWpW1V>_
z4s-Clm!5rT;+o%VUGfoZocQ09%db|Om8<CuTjjKR$HWW2ocO~FZ?5vgInV_?a8{t|
zL$aYUe+rFx2L5V43!s$4Bl08~k=&*3OFi8=ChfY>wK=*ucBgB5jPtM_1h8`s-Vv8`
z-8q(Jk#LPWC`JJ?jPUVTB(7$1xj9hFT?m))%Y)0}-MOo|tNE+rS10>&gK&_$mA^GU
zm>kRvC%*^3NA1iV3H&N>JSX4AZR5AaX~<JP=nVNpr7jeeeIXFf_<%0tvnb)9JKzgO
zqHdQ9K{0zQ7UczDgnCV@i^b7d+#Pjg<9tqt^RcL#4T%tdP$)==7QyAjTSNYHBi1R+
zLgZ|nCg`ZzM#EFjk*$Z%%47*yG8M5$TZ?rQ_x4bXkBw0G@5`>g!=3WrB}p%u@m8;!
z%zO1aFX-PHjDwGDOl={U$+$@Yo>>S^owEd7E!T{gmS{_?YQ(@wrN1ALO*}9~lqQP=
zn%QY8!?<K91Dv?40hfF=i(yS@EKR{B?D`^0$sB*KA&F@U63ekTwa^S}u!%kf-|>3a
zT+}*o$RE8ZJwBR41U7Nk`Pl{bC^ajX?K%(opuRQG)WmkEnI$X7$0wfM5=yFSK^}l@
z)U-8?VZExR(~(Oj+TnLE&G^$ELT8hInEVs_G@`Q@d`WA+LxR!{2q~?rxPyXHfPyiq
z-Zss4z3qPLeQJ{8ZFO~$81m_rIwj=uDRp$nr&GfAkk6}xCCLgYs!po2OHy6k2>h;Q
zi9HMTIvu2ZUP02)6s8KJw9smm#hj>#w1}6na8#5yHUGFkM1c4(*?=V?f=@s>0Wrd*
z5;i-2ghNqsb#Sx}))CIH6Y-sO*p*H+be$)@^1D;qU+E`Ks44D86{!3naR688Vr*<%
z&4-DgQpt_^oEKa1()GYh1PyhPM@qmlC`nylfwTfFmo|bcr5mJ&;8XB<ctH9Y{5O>T
zN<q98rU&$=VD*D_)Z~-+>vR;>Lx?OSjENBWX@30iwvYDKG9SqfdP-1m<Ko+R%|LQW
zB}#Ol!-GE?hrcyP;ZP!yeRjZJqO`LM1n?YG1uC=xr(}|Y=ooAGKgo+wmk;*Q=lRv{
zEPNZ2QRMV3zGzo&BA#6uaZW#PdSE)+ahj*iQ}pxsc4pS;A5NXoyJn|tIwGU;NI6`O
zXeR_-(l#mtJ1N8$rfBh^M_FlI(<Fp^lv3vo`6Q*z6Y@bNjD&_25sQ_gP_I4YYZV@X
zv^)&H)l;YI69$Fj0zHXCp}K`$fnFhu3daPxwwsfPcmaDy@x7=pp#{iiMpw#x%Aj&w
zp>t$Q1&#MoP%D3nNC8bgp$0?_*eiKfFyK1kRZFR7hN!y#`|KFv)fH!+x_<om+@h%4
zqz|QYIcj#p!l=ijms2@aRU70R=nZQXkK`uh)Ay1xAbSw%0ANyNjMDJ>Lm-2Q`kt0z
zHgk=8lW&v%rg&fGK0m+N{aoa5{5QVe_}`6io|u@4M@wocHa(upERS6g>&pyg46gv_
z^(Xx8{$G23<71zU!=FapalIRPC-!#y&k@eAg#&TH9P$ZD9Sr$+C2R@#97-4j<a9C+
zFNeFrR5;8#l1TG9D1jFw;1#_&ujcLZvflZbn!ZKqM$7EZP{Wzg%&`oeNkgJ>AyKZ7
zXk1ulF;_R;R^6FoI?NB(XGY+4`xLBq@pmBpQ}0$fXCk(U()AzvNQQ$)$p^Ts#12Iw
zSt_Nbba5o%^1Ib|G~vP@Nb;j3=1JzE>I>)3(Z%x@ZPvsf5=7zYOkGf(4iq^AAaN3d
zRMllLfWH(0E2;nFf*O-FI%~)$HsvkGa1B1{k9HQupU*E*?LMT!;olDaV(2%oHVm{C
zFAA*t*1TI6<-4gHC$1R`rB!uWXcN5wm)iH<@c1$FT)qC0!DZiSw-Nq8Fqhp!bof^e
zfgBPA$!r1Z@qKcH<k}*qzYynIxDIZ!g;B$5tTEgen;o7Vdo0E$Vx<_>o!ex%(ehyI
z#n@+2uGL)SrclV|QR<R}n`|MUTM2vIZp2QM8aL^ZNN)aZYG3k)Q~Q!XtnEui(o@vw
z1kG3y5Ga&|oInZ0oUz*x0}*pZAYs(F_F$FW$eYe87sVXx%k9kV&K=J&xsXf<L#|pp
zgfQefN!n_I8*R{5{rr-de3yyr6191<r_Rb`EQ1MgVBaB;%Bcz=l^SE#HX>G;v;D%&
zdzuAA7EvXxx8fKOinFLOHDZ?QfoP2y6ZO!bS46cQ#0@A(k<E$Z?j+f63otszvhplP
z6O0}s+Z4}bbn^YH8hOw^hsX2XDaVClumA4DoID#rxdnwq5l^6F$GY2o(TT7f8&lPp
zq5koAU;q6h58l%A4@%l{fvOfG1LJ$TULRPn>A>5RiXa}MgBeH$>?ShcZ(7T8xSU!Z
zSRPyt*Hh~Q>w`j8DJxyd{p`1VPqL5ucnSuBRiIUcSG+q6LKrS7Bh;v7)4>$bT;{T5
zL67SOyKv|d71z9ij!cM-Oo)z5h_24%45fl3>JHxlf?{w*aA%MS9;V{JIr&NT8$h)k
z@#yLM<TaJ*=Z{ZSFuMjPNB0_v_yKzjmI6{SsS{%LyU3@=x;)SfMRZJE`jD{ncq^WP
z*TmOI5NQS4s^2{h{|5`=AxGxFjd{cpHP}LH7rlsdP<H$!tdPF9B3@X)M@6<{;^jq=
zmgdh-O(`G7Xtr&*1kR|+))UCyd4*jMjKB@nJx@IiJV1v-V4J2DfTpz-NNA}&s1)?x
z&&+F^fR-#4o&e7Q3Xah8pEL2aNwXPHxu}@{&@-auEa)}nGmrS`7;%ebi7!+95U*fX
zwJe-73x?@4PDq|U*LGSLUB=DKX4{xAVbcj6a4nrIddnRh?e5g+Tw6V^u5YWpy9$59
zTtZ(>zUO_@9*!TOV+YwTW(7krFVG$M)7^9okq(#~)TXx-0T={SH^AZD$G~yG0*+%@
ziV`6_29bfG!JUvsvJc9ThL`AghM{S2iLi`(0%mF(6Zsk^+3Jg!4o%ai74rFSo8ln<
zRHpg!*YH7KebK3lu>69)i8=Iq_Uj-DZqYifr~Bg6#q=U+J-tR+W7{NgLBqO@dZ^bM
z^p16QD_93@!S5UNH!;&95jQ_gQOwhPGpy6x`yA*|cDwAzIW$MNqtC%Q4nq~h;rczq
z60KBU@Dv(zyu{opj-P6saw22hP&)J78a&E)UARb`z32pg!Uh@A#2buLRHo-Y@$<~)
z_3Jlhe*VNYSJmHp&(OE(ubQ|b?E3xoc`p{{Z80azH_b1;F#oF`IK%#}9n)W$b=eDr
z;>(xKdTDycRy5#yCgxD@lRgh>3$Bx(DkOB&BKl(KGU_t=TIw45vj88|uagb%m;o9L
zcGPVv>OSf^8i<>$|J8XrnnSzYF#^?nv0uD*c0SH_cMPveRXdFP+h6T)Kl$WKty8YE
z{XE<Eso~gjZih4X-7|E5<|=l5*!lZA=Dkqu@RoVS7w3KT16Mfk<<99Z&Aj}a4uh(-
zNn=t&e8f-}pgagfRAUBP!6aM=SHkPzm*L&iE7Wi0sGO5q<Y$$-N&M}58SI1?!CrKI
zOYOQ1T`!%v{{Q|5(Qo_~J_x@JA4dOn*8aVM{=EucB`s24XfFW$nQ|B%I^aO>=Ryqc
z1p(khPYczqroV7sg!Bvl#m>}4(Ge#l79_F%nEa{d+@%1#bHWEK2))^WpVX0%OkhRa
zY6KGAT7d+w8*um=uY{lNXf*0kDf9o?@Bg3uAwB|F@1es_-;2LHKlyufoIuA%6ALC!
zBiS9ExN`D1jq%d=YX_c-Z-QYocPC*3co~d>1>kYehLqjCU@mwAsXQ~-41b2kKMZDp
zCy^u#q4A#sT#yA1fOo(pU;z993CTEU2fu?7dd_UnhiIfU`7uh{!B-~_p;me@6Z{W2
z3^%}qAdAZLs5H{7D%deOis&jnd35q^boL$a2l)SVb~W%(71#dE%)Pstk4={EK!CfO
zn}t9&CIk=&E7>Hw;bV~m2(TM{W|I)U)FzmORv#EFMKM94N>OSB)FM={+-!g*NK53^
z`p~vu{q|YGinX=1#?Plkv+qB57bNfJ@BQ9;J2~gfoO5R8%*>fHb2pn!cC3@;Aopji
z{&?((A7cI2&~ve`NcvYD?Pu%RU*R(m>QJUA?XeqaCLN`hSrEBv=~nf%q@#2bYCXnA
zu-@3Y*n9LVg;4`q`aW%e#Zl_zSBWxpFFa@*T|*0~7SeyE*Vzy@N%&&pW2LcO;O?i7
zc`pBru)>a9noBiw4?Tj}c!e&|XDo$HWe>B1NH4H|sIS4cAhptMI5Hl_?CqyR)WasR
zNqht!f!P`Xzh45`Hrj{&yXY(nvM}pqPm6tOL4R><Xlz*QJ?!C$6oQ3&=xOxvDGr*j
z>_KFS7G<o`q85IA2S&J@eu6{k1=#Tx=KVAJf=xtvo8QjcV#{I&V(*gNzZy-ag;Y(A
zw2r<@k789%(XZ(vc9ADR^NjM0dYjr8yAN|aj!I#B1+*8V?GCI`l)8~#!6*megqy^s
zvjvDdE7>--lXbJ#+3VcGU3@KnUl`(f@uqUMs>X`YQamo`w2W3^1#ZV|--q!Ypl9eb
z8^*@5JdEfS)c>5%<bI^b_!<6|*etdwU#WNYpYQ)$|HW84cDx^c7s6~lfm!&F4TlXA
z*c#T%-ht)Y`4N#O96}dUMTw{qVX;N*5dSWIuiT;>RNheMs<rAtYi<8``d^3zV?Q7n
z`z)|)JR;Q;ng;(_0dKky_BA2hLhI=cYNvbQFZbcFKZtRkq|@{={gM8T6(Ht<&8yM-
z&G5R->|Uf@>=1jJJ;P43x7p`1@hqeqel;)VWxSlP<eQOp@U#3C{ueP?)QdK;5oxzL
zCSF%aQIwckh%`s-Q1@G&x8_*qSnF)R{py3SCw?9N`mKKIAJu<d|IYrW``?Q#jok|S
z-H3Eo!P2{6<u3T(KBOn$iO1+S^jmt>wDn`gnF^23U^=|PgH<bLv)NpvYuQ4iB}mH{
zF2guq>ewozHnx#{pKW44VE3>endw1{Z6Es?JBIWNb{y$tc8>j-z0W@8aAGdt&2B!P
z=kpmDX&Il*EBGR$mAnzDiQmH4VTJbdF5bgm5krJq<cV6bR_qc#7pKHa;!9k%JW9Ue
zRhB9%l}*YS<pt$6<)W&o0d<wSTRmmTv`n!qv8=H?XgO^8i{&e;#ad~tv#z(kWR2O}
zh*r;H+(!q5ynM?U)~pUyzQ@mDUu1|T^)9vqGiJdh;wEvg_=CEF^$90?gSCs*;>Orx
zqMUyr8rf2Ql4S`^EfOneE6&}6{B8aze@_|4s`y`7j`BnH3*IQoxW$aCFDk>7P3m88
z@VrVzd;{y{&xlQ8Q|y;ir0!<t)ZP3Aaw_Nf5IToleHVWKm444x^9~9rQ`C#J8uR`$
z^?R7_S$qqdC|*)_)4M|FpRhi*6H()LY@U+MZ{Rc7K}6iI*;x93t)(XRBl5AQ*dJLp
zu5<^)em0+{VzmrzXVY-d{!X~qOCp)V(ndCp4`Y?Qk1r7?EN8`3#t<d`K)2zBS^(d<
z^y;VYU<d5r;}O#Wh$b(xLY%7)Al`r4e?mrV^)<Bve)fp)&?3Uch(Aw7*c<O6h3HNy
zq~q|xEmXiCr1i0lY&qiowTPdby4f1aXDNu5BVbz_&WqtZ3$ajsNb?KC|K||(gX|yl
zUFO8j>ZKe-O13HiM5YMhZwJzHJUpJlI^JhFs=i1SYy^&dXa8<^`I~eD&YXA9|0wdp
zzG`|z@xW>)BJ*0*_(}g9@*&+x&ofRNVDl{O^Gan7BJa-F8jNr?&Zzk~6Hn9X*aK9C
zwObV16ziax*dwv)X(cU=9YFkD7mL!>be9_DOVwOu3S#VO_G_F+|G_#Cx989sh(~Ug
zLGL5|9QMyrpQ3i<Rm9HX*w)y~xF_Y{7PAX+W*(x~&GZk<+Z@qLllvF&&RDr<!U=Vb
z7RL6+G?q-OVmBf3o}hhJ6|rX{jaB!-cRQ37ya4u2py4bZ-0RgnM847`Rled`*LY_Z
z&6qB~R)2Egq=Njb@;tc{C*+JD=g!u%TuyE5n9-S|MrMo{K6J?7L5}n^dumE@lFe#S
z6~P&K0(yDGX^e{)$~b+_oIF|9Yr&|!f)O#CV3iNlF`N-o%{frh2hA1#P16_G^j+3u
z4yTvAc^+p#cN)L*>&|Xgy)cCQJ$^mxG(Ir%*P8k5X5Nmx%Y_QgK*lP+(_j&2z$jn0
zsyz_#qq)wM<TAaiAvw=OoyjT4rXXjG(3?8hh*`|c@DYKcPEIyEj50>){(v!3_e%>5
z;SSU;H!2r~0{%>wE1c&sSXsSZXOLcMr01F{RAzQ#Sjr5m*^P6x91V3iJ3YPaTe}@p
z7s*Xst}m~>K4gg6u<T<{F8cKwBW}Bp@l6qp4=xMcb)_^@v<EU)J7uxG{Vu1mcVXyC
zsY~K;7;PBbT^?yKN5@++g~7#6^u;%aLk8Q74xMrwa!m2jHRu7!iL7xNNqVWis(noa
z3p1+SphdU3qN7IndSd5kRKVF@71CWsai$)w^^fixO6`ko?HcKGjvOe-^K?1}#izA1
zEj^J*wO^TOxGXbsrn<}p7hRrLCN0wE!W|4}y%Uy%bc|`bL=Dray?#2>@Cq~3GL~aK
zRvSrWk#<KB_zqd$P~8sQ+5Q<}{q+z2K9EzJ;8@&_&q!vamt1x<$S>uM++1VgMCl;b
zGOQ?UoMo1$=6Tk2b3<=(I6*LdREfE*4HxBO@?9>uydB*>szbrpxG)qiJE<-+O1}Ku
zu)!lz(tAlVY>AX?yd=3?J)*;pkC;zI!wlQF%RlLk;X?weiVQaVe-Jms<-x^zaA9@G
z8EB6r<~CS0pcI!+zbs4SSX_V!HxxH!YOW5~TT~sA4E(6>ay_s*G6!1?HX1|9LL!rg
z<2jxw%%<SK*I#Z~7DB1AEyZmy{eOA4)dmMPIm}sZI3jc6IGpTq{VywZ$NFR~lYCPx
zF(#uZcVKzufbszIQriU#R>tvQRdsuN@&H*mf>nEax$Z1)kF?iz$2QjKja>;ml-=7N
zgi@ktL71%BrrFF=_ASP~Wfw7+Fk;4*oma@3we0IFS|nx58nQGbNp?b(2$2x+&5-hb
zZ~yQA{T|D6?sJ~=oO9pTxt@c^b!&tS5A(|LbPuzJni_A-_kM{|%kj299c0*aYqUQV
zbJ4XFYndPIXk^Oy$$1pwt*U>njqQAR{LPCcXAiHSj%BEWl1y9UY4b%#Nez!eT~Z1%
z`o?+t?Jy_eEE8v+v)z>#;OENuj^~;}gTA0VFsV~8&n13dMI-%b3^y2g8TGn~wdK{}
zk<w{RCLg`H`5z=imyJ0!myaz;NagjJnf1P=#G<kbEs07?LK*z&BLNQ|Z2`mxolS{;
z>4eUYQ{SED&0xKDA32lnF=K^U$v>pay5-$PEV046p+R(6rnG$$o%idOc`_JA0nz0l
zZB&H%TDp&brDc{SDSy)WlU8=<dn{TZ-_B>JF-*w&ulNVwgHdfV-CiYRa~HmjJ$gD@
zio@$vWt^qz$u^<K&L`VW#j8)8EPA5$Mc7r~<)Y*rSVl{rms!`bY*q=u{4_y!c$yt5
znX@L?uJKUz5z#mI&WFBK3N;<It^VuMq>us&L#T^x*ivUlF7uoCBY<?Bd|wQloO+x-
z>=9Z)FX9{KI?Zy<E5P*JX9YqQ#~Frue8w@1fZFV6X8y23H)gRJ0b{z97t`Aprp??F
zr@x=f_A}z&-p;CEU;hfh%Q206hQ-n3<r#jG7V_gw@L<vpt91_xGj?tTI|uNL6+I=t
z-#P_gK-W0~4UX8!NzrLpRgZmsB$L_so-x@gK_v&x!r+w)yl{>9;e6A;CUbf=9NeK8
zVw)UWmYtUuMtb*l{O+SL&)_LcY?H~?v;N^_jp)HplCc@u;Ka9t-g=8MH%v3FeopmR
zv^4;=-pFCrH_ot{%32$|iFRgBk~R8F?3TL6%qS(|8*oXDkxBa!OKgrAE{LHZmo2^S
z-l;XwQHe~ZOs$+=O-Fz7D^-Btt^jcvsZ2SSMp<WOw|V&=#8Gb<UJDMHdR8f_t;ply
zG*=n%uF1W^((4EN&(0%fG-WRZkTpKjeVTaBsa6VV`ySM5^Gh9Fkn==M2OatjSi75f
zvEAJs{v}7jGtEwX_8H%_`I|GG_tBV_a`OjR0S8<z#tZ}$44fS~OJn09T+upL!19#&
z>m;g)=onf_Bt#;Jk*AHyPw7@t>DE%g%E%wGzQ-aB{ZwpyOa(O`gmm1PrhFk`0_>Fh
z+LydE{5b*n>yN&Bj!MNj0amFyk~g^lPV{pL{9nvS;|B~~%M4lC-;7#|Jhxe62+w#S
ze_Fmoq*5tLXz-i5kdV;@9y{Z}zg36mbo)CK;)N?1&2nBg3O&V(s<5nlEdprB2b56h
z0(|{>KIQbS_d6H+<4bR!SGON`%vQ(gCQwUrc<Zq0@RK<=NRi7k3oLv8%M;w~+`n@p
zRbJelP!m>O;@1}_i1bJw5%^1BNwN4Iv$$MB?c?H;>WQ^K?l=l1S4m=>Zr$!maX~1G
zi&iI=BrYdPg|lxTt;47`c3Jn?_2K*MRbu^m>v@ILg*bHo;%&OC6Emh-pr$P@GGOw=
zsJqqd=o|n}RZ7E3a%No9aHh$myRRKoP)_AdEf9akzoaFDUSAs%Vt(OkSG_ttGHpUy
zTph`u;D0bv=<GAoMAJgvm5tm3V6HCs^|#=%seldZqhKcfix{`~xy}o(Y6F9hS_ozy
z2dWKw0;=fNVjlp{Mgv6uu6o^F!MEI6xhZnx^V;wsQVci7azGHAQC6PYnM4csSR7@q
zerXn`TcU~U<`{}ZM{dM3RKGC0ty`=q)Du3`gl^i1_m&(<%ZRJhd_!!1_|a}7-f@}f
zwKRI0<eg{ZJHA=Eel>ZM-x*$(*_msESBX}-6eXORXbz3zetG?x|0<w^>Hw~8-T$f#
zugr&#0P!upa?QXEK7GJ7fbca5p@zec6Ju1ixO4>wIvw;av~<4bjNuj8)?9LUMhhmH
z%+K;M+|Xy^6%7I-04b*>k>lUJ)NAOx3!-Gm|E}9$Dqea;JkU@49UvJXoObNhb(CnF
z7>&KZK%J#OPvPyvFzlvEuKZ@q;@Vu?O&r`C6_r^Z<Pde7UNe}fw~vZN+HUN*x~apM
z!<BxCjj83i+GN{WLb{IxRDzyq-mSEu5p)F;_Cq<WI=fLSt1+raDJFc*`%akH@sirR
z9syyJHCdpIB+!N+XyX!SqXD#Gob-b|=>d}6>wQN^GD`7k>D$I-HHnU->^{Goz9if?
zTyk||ha2pxMxFqd{g_%<U-PA|A2ab^SvOA8m!_56a}T_E|Bi~G=qE9%ndlp~LEfAz
z^K|RB-CnhBfj+Gy-bf#=_L|IuBUTwtDsGAT#b$CBS9rX9Z^%83>1=L&HJB+Kd1E2w
zdvw-Tw6<^j69=8`V}<b9&z1!Bt%k50(qT6~b<WCbzkWzobeVv7`2asv0Oo&aza9dv
zDoP>)9KtK}0_?Mg!;D*j>yA;TpL*g_R8=PhZ=?n#I#H)_7M%&bVJ%iWmzk2FxS|3a
z&r1-zqmf|aZmfr-N8cotguTg4QL>F4$i;~c!G|@B1fD6bT<pB{F?1vFTgGtyMBNN5
zk!$E-HGz8E<knb5@8GoT=U^_hnfB+1{FI7lT<!aeuJqP<8`T`+qWl56dKFEi?WJcL
zYEP)lI-+nPk|NIpU3DupLs(U-n^W>7a}DgD51za9?4pEVE*lZ1RK+^>*ftR{;-w|x
z?hXs}F(*!{_T2hv@|4X&bHRr2{OGl~C(rYQXzj*FA&xvZ&g7^3Eqd22Rg+)De#P^F
zSkHx7omshAwOMQX^mjN;D^5qwYa9-Q-Y$oNQtOm<n_?jZo_9cNSwxTISA&H(b)Qtc
z+C;io-YDU_I!St2>>hEJrzI#{^)3XZTwkbTWsHA3z;0r#_L`Bsv~5-{En<j6sddz3
z@qqS;z#vS|q}qCoJQF0bc0FB9<-Jpl;29g)oU-&lSB>%Irqh?8=^1*}@SvMTA|2<r
zB<wpQT(-+Hm8q|MLDI6(Y)MF2MHIuzQPvU=0SDGLH3v169Vv0a@ay8UD#+-<2ld#$
z<R#}2HHgQ`OMQ-8i&*itF?B88B0imm;ZJhevBe-=$C?5<WIMy!#gZpunEYPTf&;5)
ztnkB#vV=%b=jA*;t#K=%0SA$k=!9#FAs$vU28cwA=#Yb`WCH1>l4_nt8HX@encht5
z<W0GJuVf*qwMawv=JrEz19Q#oFKnbEd~)Jg-jo0OLM&&zF!Bvcv%O#-KeH`+*Y#aZ
zMU{Dt6YCoqM*q+^#d!Uj#l;;nbEaE1V~lyuw=2Kv$MzsjJAGpGwW^qRckAi#3okdn
zW$)@I_>R6%E^VcT&hKfD0Y|6(j}MQU2igK@zE^IzT){eybQz{NJW%_#;<0GbC@bV^
z`t3x#4=wge^adAlg8?Lrt#8xHkHmZ|)4cOEJfF`>S^;YIq3c7`-$s*@cV^nkC6~+P
zP^CI94N8UP*LtaR;tgUAcocinbm9d@*wjLy_>7r0iH@Uu3P&H)&*a6cvIV@`dL`Z7
z-Y$0B*n|*ZVhmF=Ka6;2@7#GVX~D{a(W!1xano}7t?R=u1EZEH)Qsf#$H-yC0%Cz{
z!Lq2IoSDaKvGoDWs7l~I<i41_Nl*HN2BVWg<x)h_)KJ`tWujd$viM{bwQtGm%UYW)
zS5@sxypLV5qicNr%CTMSaDugVb<D^Skbek(SZ7^#)gQA>x5+cgStkexMo^6~c^v8F
zNAqY-&_XY7V52{nvJs&QmIn3RFJ^`^pNWhSon2GuPBs>l<$`J8#uDfXKF(84O3eWo
zG*wg{+>4t2!VHR8eIE9M_6_absjn<*Hc|L+h4u=u$y4tk=pnK8ii++t+s&_zh*<dk
zn31U!>>0$|VGuodFkTH`@}Ng}CNGH<$hv(>Uq0*nAJo406wk?O-B1`DBK}M88~z8u
zZ;EXCe-`{E%b5RES@%dai&MuBfSH3=C1{gocw$J>{Qed|Wu!S=Y-|#69PM(TJ6?vo
z#g<C-l%*z;V-vGH=?uS?&Lqv`IZRy67yY7~l0KQrV3uefmV4<!yV2(e4Z@&Q#)Ncw
zh`zY^y2o<|qSORV+oveyeWhn#oBD`k9yXU7V?VSB3TsQ%{67DAJ+$*n<)iIsHP5#X
z`xjiZ3)+6L_auE#tGqq2Az!$$?Do6}HzK$-e7Q?0-Tg6Zl0uSesNPL)o_A%R%~#((
zHHd%f=LG^{Q^z*6^cK7&`%7K5eO7^{No``~ScHXcpUH>H?sEA-{i7=7ph9FP<bhR|
z75Pmoo-J}31lc=vjme8|i@C!q6KCnV8BLLMbr&ZOMv+)NuHMv$@yfc~{7lqEY^wk0
zAVhwot-6l0q={2(<c-|hCpP|Nz+r0CBHQB=O56{=QgMlTP18*?4QhIP8)JJ${T@0U
z_8}eB$k{AOl$b@OI=j$0H#<kCd(Bsb*uGAeBvwu5Fe!caceh<1a^<axB!#{Yrk^2P
z^~m-3R%;_}u3BIv%pFP+)SOJ6ndLA}N+_9FrIL6x;PeM*>=Vg{!+rw;u@4x#8ub*-
zdj%}P$_00w=;X4iLQghnSUO_KLitKM`r7&;dN@ZcK?Ccq<K$?G*V0wj`_)Xz(h=w2
z2|Tyc0!VHG+-W1U+rYunmOz$||J7Pf&dCF40u&QRpnzg9Faih#gTX)un0#io(@2GA
z>43A6#oIbyf#4mBEWrv(7Uf5wcg6B4Bc+tZpb*4Py}adhWh~Ctj=0m!j!Bn@b-WBj
z?OsnQDDM?0b5+7QV4>v10XwVVw|GBA<)0#)Pe~8(+cCTSxn3pi$ocEJxMC@FJ61VM
z0+!O>e{&K=-Cy3$(q+#NYL-9C5UBW0NB;}}5JCyj?mAV(TRB<d@V3D71~|Mdo`Bmk
z>|AGnvnJXR$nFFK$?t`Mz+fb5XI7L91G~pQ^S;x)TBtbXOq?8m|Ig>{RpJO32#tWF
z;1q)SeITJw5CnllBhWwu1PnsK(7#*!;m-S-lW#7L071mb^tIdNzT&>F{&5B6zW*{%
zjFfqRfp9nsgn}ax;)or?e=h#7kwKA2^2niJ7-VN=`-;flHTzxl55L1Gd4v#P2>Gu2
zuG}5bZx8Pq3>=9Dp;2Hs*=OW2|1Rt-1TqGl^zk@y__06;#W6bj@=QSXV|6c`!>^PS
z=g9ykVqJjel^n>qFBGtpKK_xs0oDnF>Vy3oSmi+g&LEl-e;^M^XM0&BP`@53|ITmm
z4?HU1Y;3SDSiBXM3`#KYJlJgCn4y%&?5-~causlA4*MqsrFeaB0sfp6ba#<ba#8%Z
zNtwkIM>PPC+;mTWVRcb2hNPWaSY};r|87tcKouu{?TAZDOqsM?PI@;L-^RA|vX$qI
z)P<!(6OlnPkbq@twyDRDWlvxK%2&w#0EsJVa}?kVCS9-XIFuh{%B)Val-`8?!Vprz
zNW(=7Xb~~7*5p0o3;I#=?mR^5x*R4`VIWX3soCe#TAttmqfuSklKHnc+Inlpy&?~~
z7TmYxV-fAp=CD@hy`@xel6}fJz<T6q+UeBwcU2b?3iZFt4@LIZtlqLZIhmR}m#NUp
zwfa|)coQ?SFjcy772o~u@a(wdXLz7c@LqiOg7$wh7@56bzgTCNjwz8LAG-uhAtQB5
zq6?0~)4K~nZ1>x4{a(a@5DFT0X^O&bS}smj1TvlfGVWwG+2Ori9{xppyT#w+1%it2
zcCCXYIJvrz(L?573UbI{-@goY0J0x3ko}0+rEJZA<y(RN-t}nw%CSPpw*vj?hX1ly
z^l#T+YXCDVENtDXi0==18S5bE2u3#sXkqG66$xB_@tlz_j^In0TzKv>7LNh;lGT9|
zKU&;w(ds;GzNkFWa#>L?Q8_wEmiHm{zS#kw&#cB#Ze|O+MRZnML^XXhB1J{pgutFq
z8k#Wofa=QPRIrTqH{a{C<X`&Pf4n{)Z*qD-pml}ge%^vwZJasp@IzV_+E)k0iM_8_
zOeCR+BmuwTMVTJiE2{V9qhcJW7ruA5K3vZ#kHCWx4YA&ynnPZn+*=j`tHsCtpBz!V
zS0uoa_9oz7LN!O=-AdBhiQ%XlkAy$<&n#%n*wiw{$k7km*(%+CD(|)`5u>$k?{>+4
z4S9vXdK3EDQNp<1@xrz5v_Vo%2mS!becKHv61@jW=)bochB{cA9RThT7x?E>@DG8Y
z06-Ua150Mq-6tN<1OkKtp+E8B<U|hRE;&+Ks^D#$$YI?<;QrmLm4(IHc1Bo0N&uAt
z7{V@LYhhtMN`IVgO7?21Opn3|AY_Ft2CPPZtjNFdslCjLP%7oG!+>Ml0Seo;KuEx0
zWi`4_*wm{4o<SJ}Sg0X2^rJ*0j}mh|3B`Np93m$+fC_Ln;#AeYokAd5x)42F$n%Av
P!7vyDKfj`;62t!h9Itb*

literal 0
HcmV?d00001

diff --git a/cfg.dot/cpp/cfg-annotated.svg b/cfg.dot/cpp/cfg-annotated.svg
new file mode 100644
index 0000000..8e54445
--- /dev/null
+++ b/cfg.dot/cpp/cfg-annotated.svg
@@ -0,0 +1,1272 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 10.0.1 (20240210.2158)
+ -->
+<!-- Pages: 1 -->
+<svg width="354pt" height="7244pt"
+ viewBox="0.00 0.00 353.72 7244.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 7240)">
+<polygon fill="white" stroke="none" points="-4,4 -4,-7240 349.72,-7240 349.72,4 -4,4"/>
+<!-- 0 -->
+<g id="node1" class="node">
+<title>0</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-7146" rx="60.05" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-7140.95" font-family="Times,serif" font-size="14.00">ExprStmt (0)</text>
+</g>
+<!-- 2 -->
+<g id="node3" class="node">
+<title>2</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-7074" rx="43.16" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-7068.95" font-family="Times,serif" font-size="14.00">input (2)</text>
+</g>
+<!-- 0&#45;&gt;2 -->
+<g id="edge1" class="edge">
+<title>0&#45;&gt;2</title>
+<path fill="none" stroke="black" d="M179.18,-7127.7C179.18,-7120.41 179.18,-7111.73 179.18,-7103.54"/>
+<polygon fill="black" stroke="black" points="182.68,-7103.62 179.18,-7093.62 175.68,-7103.62 182.68,-7103.62"/>
+</g>
+<!-- 1 -->
+<g id="node2" class="node">
+<title>1</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5994" rx="82.57" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5988.95" font-family="Times,serif" font-size="14.00">call to memcpy (1)</text>
+</g>
+<!-- 17 -->
+<g id="node18" class="node">
+<title>17</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5922" rx="64.66" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5916.95" font-family="Times,serif" font-size="14.00">ExprStmt (17)</text>
+</g>
+<!-- 1&#45;&gt;17 -->
+<g id="edge2" class="edge">
+<title>1&#45;&gt;17</title>
+<path fill="none" stroke="black" d="M179.18,-5975.7C179.18,-5968.41 179.18,-5959.73 179.18,-5951.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5951.62 179.18,-5941.62 175.68,-5951.62 182.68,-5951.62"/>
+</g>
+<!-- 3 -->
+<g id="node4" class="node">
+<title>3</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-7002" rx="28.83" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6996.95" font-family="Times,serif" font-size="14.00">0 (3)</text>
+</g>
+<!-- 2&#45;&gt;3 -->
+<g id="edge3" class="edge">
+<title>2&#45;&gt;3</title>
+<path fill="none" stroke="black" d="M179.18,-7055.7C179.18,-7048.41 179.18,-7039.73 179.18,-7031.54"/>
+<polygon fill="black" stroke="black" points="182.68,-7031.62 179.18,-7021.62 175.68,-7031.62 182.68,-7031.62"/>
+</g>
+<!-- 4 -->
+<g id="node5" class="node">
+<title>4</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6930" rx="78.99" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6924.95" font-family="Times,serif" font-size="14.00">access to array (4)</text>
+</g>
+<!-- 3&#45;&gt;4 -->
+<g id="edge4" class="edge">
+<title>3&#45;&gt;4</title>
+<path fill="none" stroke="black" d="M179.18,-6983.7C179.18,-6976.41 179.18,-6967.73 179.18,-6959.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6959.62 179.18,-6949.62 175.68,-6959.62 182.68,-6959.62"/>
+</g>
+<!-- 5 -->
+<g id="node6" class="node">
+<title>5</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6858" rx="34.46" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6852.95" font-family="Times,serif" font-size="14.00">ptr (5)</text>
+</g>
+<!-- 4&#45;&gt;5 -->
+<g id="edge5" class="edge">
+<title>4&#45;&gt;5</title>
+<path fill="none" stroke="black" d="M179.18,-6911.7C179.18,-6904.41 179.18,-6895.73 179.18,-6887.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6887.62 179.18,-6877.62 175.68,-6887.62 182.68,-6887.62"/>
+</g>
+<!-- 6 -->
+<g id="node7" class="node">
+<title>6</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6786" rx="36.51" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6780.95" font-family="Times,serif" font-size="14.00">buf (6)</text>
+</g>
+<!-- 5&#45;&gt;6 -->
+<g id="edge6" class="edge">
+<title>5&#45;&gt;6</title>
+<path fill="none" stroke="black" d="M179.18,-6839.7C179.18,-6832.41 179.18,-6823.73 179.18,-6815.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6815.62 179.18,-6805.62 175.68,-6815.62 182.68,-6815.62"/>
+</g>
+<!-- 7 -->
+<g id="node8" class="node">
+<title>7</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6714" rx="43.16" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6708.95" font-family="Times,serif" font-size="14.00">input (7)</text>
+</g>
+<!-- 6&#45;&gt;7 -->
+<g id="edge7" class="edge">
+<title>6&#45;&gt;7</title>
+<path fill="none" stroke="black" d="M179.18,-6767.7C179.18,-6760.41 179.18,-6751.73 179.18,-6743.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6743.62 179.18,-6733.62 175.68,-6743.62 182.68,-6743.62"/>
+</g>
+<!-- 8 -->
+<g id="node9" class="node">
+<title>8</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6642" rx="28.83" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6636.95" font-family="Times,serif" font-size="14.00">1 (8)</text>
+</g>
+<!-- 7&#45;&gt;8 -->
+<g id="edge8" class="edge">
+<title>7&#45;&gt;8</title>
+<path fill="none" stroke="black" d="M179.18,-6695.7C179.18,-6688.41 179.18,-6679.73 179.18,-6671.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6671.62 179.18,-6661.62 175.68,-6671.62 182.68,-6671.62"/>
+</g>
+<!-- 9 -->
+<g id="node10" class="node">
+<title>9</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6570" rx="78.99" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6564.95" font-family="Times,serif" font-size="14.00">access to array (9)</text>
+</g>
+<!-- 8&#45;&gt;9 -->
+<g id="edge9" class="edge">
+<title>8&#45;&gt;9</title>
+<path fill="none" stroke="black" d="M179.18,-6623.7C179.18,-6616.41 179.18,-6607.73 179.18,-6599.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6599.62 179.18,-6589.62 175.68,-6599.62 182.68,-6599.62"/>
+</g>
+<!-- 10 -->
+<g id="node11" class="node">
+<title>10</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6498" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6492.95" font-family="Times,serif" font-size="14.00">ptr (10)</text>
+</g>
+<!-- 9&#45;&gt;10 -->
+<g id="edge10" class="edge">
+<title>9&#45;&gt;10</title>
+<path fill="none" stroke="black" d="M179.18,-6551.7C179.18,-6544.41 179.18,-6535.73 179.18,-6527.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6527.62 179.18,-6517.62 175.68,-6527.62 182.68,-6527.62"/>
+</g>
+<!-- 11 -->
+<g id="node12" class="node">
+<title>11</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6426" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6420.95" font-family="Times,serif" font-size="14.00">buf (11)</text>
+</g>
+<!-- 10&#45;&gt;11 -->
+<g id="edge11" class="edge">
+<title>10&#45;&gt;11</title>
+<path fill="none" stroke="black" d="M179.18,-6479.7C179.18,-6472.41 179.18,-6463.73 179.18,-6455.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6455.62 179.18,-6445.62 175.68,-6455.62 182.68,-6455.62"/>
+</g>
+<!-- 12 -->
+<g id="node13" class="node">
+<title>12</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6354" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6348.95" font-family="Times,serif" font-size="14.00">input (12)</text>
+</g>
+<!-- 11&#45;&gt;12 -->
+<g id="edge12" class="edge">
+<title>11&#45;&gt;12</title>
+<path fill="none" stroke="black" d="M179.18,-6407.7C179.18,-6400.41 179.18,-6391.73 179.18,-6383.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6383.62 179.18,-6373.62 175.68,-6383.62 182.68,-6383.62"/>
+</g>
+<!-- 13 -->
+<g id="node14" class="node">
+<title>13</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6282" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6276.95" font-family="Times,serif" font-size="14.00">1 (13)</text>
+</g>
+<!-- 12&#45;&gt;13 -->
+<g id="edge13" class="edge">
+<title>12&#45;&gt;13</title>
+<path fill="none" stroke="black" d="M179.18,-6335.7C179.18,-6328.41 179.18,-6319.73 179.18,-6311.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6311.62 179.18,-6301.62 175.68,-6311.62 182.68,-6311.62"/>
+</g>
+<!-- 14 -->
+<g id="node15" class="node">
+<title>14</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6210" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6204.95" font-family="Times,serif" font-size="14.00">access to array (14)</text>
+</g>
+<!-- 13&#45;&gt;14 -->
+<g id="edge14" class="edge">
+<title>13&#45;&gt;14</title>
+<path fill="none" stroke="black" d="M179.18,-6263.7C179.18,-6256.41 179.18,-6247.73 179.18,-6239.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6239.62 179.18,-6229.62 175.68,-6239.62 182.68,-6239.62"/>
+</g>
+<!-- 15 -->
+<g id="node16" class="node">
+<title>15</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6138" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6132.95" font-family="Times,serif" font-size="14.00">ptr (15)</text>
+</g>
+<!-- 14&#45;&gt;15 -->
+<g id="edge15" class="edge">
+<title>14&#45;&gt;15</title>
+<path fill="none" stroke="black" d="M179.18,-6191.7C179.18,-6184.41 179.18,-6175.73 179.18,-6167.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6167.62 179.18,-6157.62 175.68,-6167.62 182.68,-6167.62"/>
+</g>
+<!-- 16 -->
+<g id="node17" class="node">
+<title>16</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-6066" rx="43.16" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-6060.95" font-family="Times,serif" font-size="14.00">size (16)</text>
+</g>
+<!-- 15&#45;&gt;16 -->
+<g id="edge16" class="edge">
+<title>15&#45;&gt;16</title>
+<path fill="none" stroke="black" d="M179.18,-6119.7C179.18,-6112.41 179.18,-6103.73 179.18,-6095.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6095.62 179.18,-6085.62 175.68,-6095.62 182.68,-6095.62"/>
+</g>
+<!-- 16&#45;&gt;1 -->
+<g id="edge17" class="edge">
+<title>16&#45;&gt;1</title>
+<path fill="none" stroke="black" d="M179.18,-6047.7C179.18,-6040.41 179.18,-6031.73 179.18,-6023.54"/>
+<polygon fill="black" stroke="black" points="182.68,-6023.62 179.18,-6013.62 175.68,-6023.62 182.68,-6023.62"/>
+</g>
+<!-- 19 -->
+<g id="node20" class="node">
+<title>19</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5850" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5844.95" font-family="Times,serif" font-size="14.00">input (19)</text>
+</g>
+<!-- 17&#45;&gt;19 -->
+<g id="edge18" class="edge">
+<title>17&#45;&gt;19</title>
+<path fill="none" stroke="black" d="M179.18,-5903.7C179.18,-5896.41 179.18,-5887.73 179.18,-5879.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5879.62 179.18,-5869.62 175.68,-5879.62 182.68,-5879.62"/>
+</g>
+<!-- 18 -->
+<g id="node19" class="node">
+<title>18</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5778" rx="124.54" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5772.95" font-family="Times,serif" font-size="14.00">call to copy_mem_nested (18)</text>
+</g>
+<!-- 20 -->
+<g id="node21" class="node">
+<title>20</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5706" rx="61.08" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5700.95" font-family="Times,serif" font-size="14.00">if (...) ... (20)</text>
+</g>
+<!-- 18&#45;&gt;20 -->
+<g id="edge19" class="edge">
+<title>18&#45;&gt;20</title>
+<path fill="none" stroke="black" d="M179.18,-5759.7C179.18,-5752.41 179.18,-5743.73 179.18,-5735.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5735.62 179.18,-5725.62 175.68,-5735.62 182.68,-5735.62"/>
+</g>
+<!-- 19&#45;&gt;18 -->
+<g id="edge20" class="edge">
+<title>19&#45;&gt;18</title>
+<path fill="none" stroke="black" d="M179.18,-5831.7C179.18,-5824.41 179.18,-5815.73 179.18,-5807.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5807.62 179.18,-5797.62 175.68,-5807.62 182.68,-5807.62"/>
+</g>
+<!-- 21 -->
+<g id="node22" class="node">
+<title>21</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5634" rx="71.82" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5628.95" font-family="Times,serif" font-size="14.00">input_types (21)</text>
+</g>
+<!-- 20&#45;&gt;21 -->
+<g id="edge21" class="edge">
+<title>20&#45;&gt;21</title>
+<path fill="none" stroke="black" d="M179.18,-5687.7C179.18,-5680.41 179.18,-5671.73 179.18,-5663.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5663.62 179.18,-5653.62 175.68,-5663.62 182.68,-5663.62"/>
+</g>
+<!-- 23 -->
+<g id="node24" class="node">
+<title>23</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5562" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5556.95" font-family="Times,serif" font-size="14.00">1 (23)</text>
+</g>
+<!-- 21&#45;&gt;23 -->
+<g id="edge22" class="edge">
+<title>21&#45;&gt;23</title>
+<path fill="none" stroke="black" d="M179.18,-5615.7C179.18,-5608.41 179.18,-5599.73 179.18,-5591.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5591.62 179.18,-5581.62 175.68,-5591.62 182.68,-5591.62"/>
+</g>
+<!-- 22 -->
+<g id="node23" class="node">
+<title>22</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5418" rx="133.75" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5412.95" font-family="Times,serif" font-size="14.00">call to DYN_INPUT_TYPE (22)</text>
+</g>
+<!-- 25 -->
+<g id="node26" class="node">
+<title>25</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5346" rx="58" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5340.95" font-family="Times,serif" font-size="14.00">... != ... (25)</text>
+</g>
+<!-- 22&#45;&gt;25 -->
+<g id="edge23" class="edge">
+<title>22&#45;&gt;25</title>
+<path fill="none" stroke="black" d="M179.18,-5399.7C179.18,-5392.41 179.18,-5383.73 179.18,-5375.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5375.62 179.18,-5365.62 175.68,-5375.62 182.68,-5375.62"/>
+</g>
+<!-- 24 -->
+<g id="node25" class="node">
+<title>24</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5490" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5484.95" font-family="Times,serif" font-size="14.00">1 (24)</text>
+</g>
+<!-- 23&#45;&gt;24 -->
+<g id="edge24" class="edge">
+<title>23&#45;&gt;24</title>
+<path fill="none" stroke="black" d="M179.18,-5543.7C179.18,-5536.41 179.18,-5527.73 179.18,-5519.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5519.62 179.18,-5509.62 175.68,-5519.62 182.68,-5519.62"/>
+</g>
+<!-- 24&#45;&gt;22 -->
+<g id="edge25" class="edge">
+<title>24&#45;&gt;22</title>
+<path fill="none" stroke="black" d="M179.18,-5471.7C179.18,-5464.41 179.18,-5455.73 179.18,-5447.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5447.62 179.18,-5437.62 175.68,-5447.62 182.68,-5447.62"/>
+</g>
+<!-- 26 -->
+<g id="node27" class="node">
+<title>26</title>
+<ellipse fill="none" stroke="black" cx="140.18" cy="-5274" rx="50.84" ry="18"/>
+<text text-anchor="middle" x="140.18" y="-5268.95" font-family="Times,serif" font-size="14.00">{ ... } (26)</text>
+</g>
+<!-- 25&#45;&gt;26 -->
+<g id="edge26" class="edge">
+<title>25&#45;&gt;26</title>
+<path fill="none" stroke="black" d="M169.74,-5328.05C165.33,-5320.14 159.98,-5310.54 155.05,-5301.69"/>
+<polygon fill="black" stroke="black" points="158.19,-5300.14 150.27,-5293.11 152.08,-5303.55 158.19,-5300.14"/>
+</g>
+<!-- 27 -->
+<g id="node28" class="node">
+<title>27</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5202" rx="64.66" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5196.95" font-family="Times,serif" font-size="14.00">ExprStmt (27)</text>
+</g>
+<!-- 25&#45;&gt;27 -->
+<g id="edge27" class="edge">
+<title>25&#45;&gt;27</title>
+<path fill="none" stroke="black" d="M187.9,-5327.83C192.55,-5317.69 197.8,-5304.44 200.18,-5292 203.18,-5276.28 203.18,-5271.72 200.18,-5256 198.56,-5247.54 195.62,-5238.71 192.44,-5230.74"/>
+<polygon fill="black" stroke="black" points="195.66,-5229.36 188.49,-5221.56 189.23,-5232.13 195.66,-5229.36"/>
+</g>
+<!-- 26&#45;&gt;27 -->
+<g id="edge28" class="edge">
+<title>26&#45;&gt;27</title>
+<path fill="none" stroke="black" d="M149.62,-5256.05C153.96,-5248.26 159.22,-5238.82 164.09,-5230.08"/>
+<polygon fill="black" stroke="black" points="167.01,-5232.04 168.82,-5221.6 160.89,-5228.63 167.01,-5232.04"/>
+</g>
+<!-- 29 -->
+<g id="node30" class="node">
+<title>29</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5130" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5124.95" font-family="Times,serif" font-size="14.00">input (29)</text>
+</g>
+<!-- 27&#45;&gt;29 -->
+<g id="edge29" class="edge">
+<title>27&#45;&gt;29</title>
+<path fill="none" stroke="black" d="M179.18,-5183.7C179.18,-5176.41 179.18,-5167.73 179.18,-5159.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5159.62 179.18,-5149.62 175.68,-5159.62 182.68,-5159.62"/>
+</g>
+<!-- 28 -->
+<g id="node29" class="node">
+<title>28</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4050" rx="87.18" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4044.95" font-family="Times,serif" font-size="14.00">call to memcpy (28)</text>
+</g>
+<!-- 44 -->
+<g id="node45" class="node">
+<title>44</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3978" rx="64.66" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3972.95" font-family="Times,serif" font-size="14.00">ExprStmt (44)</text>
+</g>
+<!-- 28&#45;&gt;44 -->
+<g id="edge30" class="edge">
+<title>28&#45;&gt;44</title>
+<path fill="none" stroke="black" d="M179.18,-4031.7C179.18,-4024.41 179.18,-4015.73 179.18,-4007.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4007.62 179.18,-3997.62 175.68,-4007.62 182.68,-4007.62"/>
+</g>
+<!-- 30 -->
+<g id="node31" class="node">
+<title>30</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-5058" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-5052.95" font-family="Times,serif" font-size="14.00">0 (30)</text>
+</g>
+<!-- 29&#45;&gt;30 -->
+<g id="edge31" class="edge">
+<title>29&#45;&gt;30</title>
+<path fill="none" stroke="black" d="M179.18,-5111.7C179.18,-5104.41 179.18,-5095.73 179.18,-5087.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5087.62 179.18,-5077.62 175.68,-5087.62 182.68,-5087.62"/>
+</g>
+<!-- 31 -->
+<g id="node32" class="node">
+<title>31</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4986" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4980.95" font-family="Times,serif" font-size="14.00">access to array (31)</text>
+</g>
+<!-- 30&#45;&gt;31 -->
+<g id="edge32" class="edge">
+<title>30&#45;&gt;31</title>
+<path fill="none" stroke="black" d="M179.18,-5039.7C179.18,-5032.41 179.18,-5023.73 179.18,-5015.54"/>
+<polygon fill="black" stroke="black" points="182.68,-5015.62 179.18,-5005.62 175.68,-5015.62 182.68,-5015.62"/>
+</g>
+<!-- 32 -->
+<g id="node33" class="node">
+<title>32</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4914" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4908.95" font-family="Times,serif" font-size="14.00">ptr (32)</text>
+</g>
+<!-- 31&#45;&gt;32 -->
+<g id="edge33" class="edge">
+<title>31&#45;&gt;32</title>
+<path fill="none" stroke="black" d="M179.18,-4967.7C179.18,-4960.41 179.18,-4951.73 179.18,-4943.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4943.62 179.18,-4933.62 175.68,-4943.62 182.68,-4943.62"/>
+</g>
+<!-- 33 -->
+<g id="node34" class="node">
+<title>33</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4842" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4836.95" font-family="Times,serif" font-size="14.00">buf (33)</text>
+</g>
+<!-- 32&#45;&gt;33 -->
+<g id="edge34" class="edge">
+<title>32&#45;&gt;33</title>
+<path fill="none" stroke="black" d="M179.18,-4895.7C179.18,-4888.41 179.18,-4879.73 179.18,-4871.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4871.62 179.18,-4861.62 175.68,-4871.62 182.68,-4871.62"/>
+</g>
+<!-- 34 -->
+<g id="node35" class="node">
+<title>34</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4770" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4764.95" font-family="Times,serif" font-size="14.00">input (34)</text>
+</g>
+<!-- 33&#45;&gt;34 -->
+<g id="edge35" class="edge">
+<title>33&#45;&gt;34</title>
+<path fill="none" stroke="black" d="M179.18,-4823.7C179.18,-4816.41 179.18,-4807.73 179.18,-4799.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4799.62 179.18,-4789.62 175.68,-4799.62 182.68,-4799.62"/>
+</g>
+<!-- 35 -->
+<g id="node36" class="node">
+<title>35</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4698" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4692.95" font-family="Times,serif" font-size="14.00">1 (35)</text>
+</g>
+<!-- 34&#45;&gt;35 -->
+<g id="edge36" class="edge">
+<title>34&#45;&gt;35</title>
+<path fill="none" stroke="black" d="M179.18,-4751.7C179.18,-4744.41 179.18,-4735.73 179.18,-4727.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4727.62 179.18,-4717.62 175.68,-4727.62 182.68,-4727.62"/>
+</g>
+<!-- 36 -->
+<g id="node37" class="node">
+<title>36</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4626" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4620.95" font-family="Times,serif" font-size="14.00">access to array (36)</text>
+</g>
+<!-- 35&#45;&gt;36 -->
+<g id="edge37" class="edge">
+<title>35&#45;&gt;36</title>
+<path fill="none" stroke="black" d="M179.18,-4679.7C179.18,-4672.41 179.18,-4663.73 179.18,-4655.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4655.62 179.18,-4645.62 175.68,-4655.62 182.68,-4655.62"/>
+</g>
+<!-- 37 -->
+<g id="node38" class="node">
+<title>37</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4554" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4548.95" font-family="Times,serif" font-size="14.00">ptr (37)</text>
+</g>
+<!-- 36&#45;&gt;37 -->
+<g id="edge38" class="edge">
+<title>36&#45;&gt;37</title>
+<path fill="none" stroke="black" d="M179.18,-4607.7C179.18,-4600.41 179.18,-4591.73 179.18,-4583.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4583.62 179.18,-4573.62 175.68,-4583.62 182.68,-4583.62"/>
+</g>
+<!-- 38 -->
+<g id="node39" class="node">
+<title>38</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4482" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4476.95" font-family="Times,serif" font-size="14.00">buf (38)</text>
+</g>
+<!-- 37&#45;&gt;38 -->
+<g id="edge39" class="edge">
+<title>37&#45;&gt;38</title>
+<path fill="none" stroke="black" d="M179.18,-4535.7C179.18,-4528.41 179.18,-4519.73 179.18,-4511.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4511.62 179.18,-4501.62 175.68,-4511.62 182.68,-4511.62"/>
+</g>
+<!-- 39 -->
+<g id="node40" class="node">
+<title>39</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4410" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4404.95" font-family="Times,serif" font-size="14.00">input (39)</text>
+</g>
+<!-- 38&#45;&gt;39 -->
+<g id="edge40" class="edge">
+<title>38&#45;&gt;39</title>
+<path fill="none" stroke="black" d="M179.18,-4463.7C179.18,-4456.41 179.18,-4447.73 179.18,-4439.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4439.62 179.18,-4429.62 175.68,-4439.62 182.68,-4439.62"/>
+</g>
+<!-- 40 -->
+<g id="node41" class="node">
+<title>40</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4338" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4332.95" font-family="Times,serif" font-size="14.00">1 (40)</text>
+</g>
+<!-- 39&#45;&gt;40 -->
+<g id="edge41" class="edge">
+<title>39&#45;&gt;40</title>
+<path fill="none" stroke="black" d="M179.18,-4391.7C179.18,-4384.41 179.18,-4375.73 179.18,-4367.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4367.62 179.18,-4357.62 175.68,-4367.62 182.68,-4367.62"/>
+</g>
+<!-- 41 -->
+<g id="node42" class="node">
+<title>41</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4266" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4260.95" font-family="Times,serif" font-size="14.00">access to array (41)</text>
+</g>
+<!-- 40&#45;&gt;41 -->
+<g id="edge42" class="edge">
+<title>40&#45;&gt;41</title>
+<path fill="none" stroke="black" d="M179.18,-4319.7C179.18,-4312.41 179.18,-4303.73 179.18,-4295.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4295.62 179.18,-4285.62 175.68,-4295.62 182.68,-4295.62"/>
+</g>
+<!-- 42 -->
+<g id="node43" class="node">
+<title>42</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4194" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4188.95" font-family="Times,serif" font-size="14.00">ptr (42)</text>
+</g>
+<!-- 41&#45;&gt;42 -->
+<g id="edge43" class="edge">
+<title>41&#45;&gt;42</title>
+<path fill="none" stroke="black" d="M179.18,-4247.7C179.18,-4240.41 179.18,-4231.73 179.18,-4223.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4223.62 179.18,-4213.62 175.68,-4223.62 182.68,-4223.62"/>
+</g>
+<!-- 43 -->
+<g id="node44" class="node">
+<title>43</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-4122" rx="43.16" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-4116.95" font-family="Times,serif" font-size="14.00">size (43)</text>
+</g>
+<!-- 42&#45;&gt;43 -->
+<g id="edge44" class="edge">
+<title>42&#45;&gt;43</title>
+<path fill="none" stroke="black" d="M179.18,-4175.7C179.18,-4168.41 179.18,-4159.73 179.18,-4151.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4151.62 179.18,-4141.62 175.68,-4151.62 182.68,-4151.62"/>
+</g>
+<!-- 43&#45;&gt;28 -->
+<g id="edge45" class="edge">
+<title>43&#45;&gt;28</title>
+<path fill="none" stroke="black" d="M179.18,-4103.7C179.18,-4096.41 179.18,-4087.73 179.18,-4079.54"/>
+<polygon fill="black" stroke="black" points="182.68,-4079.62 179.18,-4069.62 175.68,-4079.62 182.68,-4079.62"/>
+</g>
+<!-- 46 -->
+<g id="node47" class="node">
+<title>46</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3906" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3900.95" font-family="Times,serif" font-size="14.00">input (46)</text>
+</g>
+<!-- 44&#45;&gt;46 -->
+<g id="edge46" class="edge">
+<title>44&#45;&gt;46</title>
+<path fill="none" stroke="black" d="M179.18,-3959.7C179.18,-3952.41 179.18,-3943.73 179.18,-3935.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3935.62 179.18,-3925.62 175.68,-3935.62 182.68,-3935.62"/>
+</g>
+<!-- 45 -->
+<g id="node46" class="node">
+<title>45</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3834" rx="124.54" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3828.95" font-family="Times,serif" font-size="14.00">call to copy_mem_nested (45)</text>
+</g>
+<!-- 47 -->
+<g id="node48" class="node">
+<title>47</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3762" rx="61.08" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3756.95" font-family="Times,serif" font-size="14.00">if (...) ... (47)</text>
+</g>
+<!-- 45&#45;&gt;47 -->
+<g id="edge47" class="edge">
+<title>45&#45;&gt;47</title>
+<path fill="none" stroke="black" d="M179.18,-3815.7C179.18,-3808.41 179.18,-3799.73 179.18,-3791.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3791.62 179.18,-3781.62 175.68,-3791.62 182.68,-3791.62"/>
+</g>
+<!-- 46&#45;&gt;45 -->
+<g id="edge48" class="edge">
+<title>46&#45;&gt;45</title>
+<path fill="none" stroke="black" d="M179.18,-3887.7C179.18,-3880.41 179.18,-3871.73 179.18,-3863.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3863.62 179.18,-3853.62 175.68,-3863.62 182.68,-3863.62"/>
+</g>
+<!-- 49 -->
+<g id="node50" class="node">
+<title>49</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3690" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3684.95" font-family="Times,serif" font-size="14.00">1 (49)</text>
+</g>
+<!-- 47&#45;&gt;49 -->
+<g id="edge49" class="edge">
+<title>47&#45;&gt;49</title>
+<path fill="none" stroke="black" d="M179.18,-3743.7C179.18,-3736.41 179.18,-3727.73 179.18,-3719.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3719.62 179.18,-3709.62 175.68,-3719.62 182.68,-3719.62"/>
+</g>
+<!-- 48 -->
+<g id="node49" class="node">
+<title>48</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3546" rx="133.75" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3540.95" font-family="Times,serif" font-size="14.00">call to DYN_INPUT_TYPE (48)</text>
+</g>
+<!-- 51 -->
+<g id="node52" class="node">
+<title>51</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3474" rx="42.65" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3468.95" font-family="Times,serif" font-size="14.00">100 (51)</text>
+</g>
+<!-- 48&#45;&gt;51 -->
+<g id="edge50" class="edge">
+<title>48&#45;&gt;51</title>
+<path fill="none" stroke="black" d="M179.18,-3527.7C179.18,-3520.41 179.18,-3511.73 179.18,-3503.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3503.62 179.18,-3493.62 175.68,-3503.62 182.68,-3503.62"/>
+</g>
+<!-- 50 -->
+<g id="node51" class="node">
+<title>50</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3618" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3612.95" font-family="Times,serif" font-size="14.00">1 (50)</text>
+</g>
+<!-- 49&#45;&gt;50 -->
+<g id="edge51" class="edge">
+<title>49&#45;&gt;50</title>
+<path fill="none" stroke="black" d="M179.18,-3671.7C179.18,-3664.41 179.18,-3655.73 179.18,-3647.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3647.62 179.18,-3637.62 175.68,-3647.62 182.68,-3647.62"/>
+</g>
+<!-- 50&#45;&gt;48 -->
+<g id="edge52" class="edge">
+<title>50&#45;&gt;48</title>
+<path fill="none" stroke="black" d="M179.18,-3599.7C179.18,-3592.41 179.18,-3583.73 179.18,-3575.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3575.62 179.18,-3565.62 175.68,-3575.62 182.68,-3575.62"/>
+</g>
+<!-- 52 -->
+<g id="node53" class="node">
+<title>52</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-3402" rx="60.56" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-3396.95" font-family="Times,serif" font-size="14.00">... == ... (52)</text>
+</g>
+<!-- 51&#45;&gt;52 -->
+<g id="edge53" class="edge">
+<title>51&#45;&gt;52</title>
+<path fill="none" stroke="black" d="M179.18,-3455.7C179.18,-3448.41 179.18,-3439.73 179.18,-3431.54"/>
+<polygon fill="black" stroke="black" points="182.68,-3431.62 179.18,-3421.62 175.68,-3431.62 182.68,-3431.62"/>
+</g>
+<!-- 70 -->
+<g id="node71" class="node">
+<title>70</title>
+<ellipse fill="none" stroke="black" cx="122.18" cy="-3330" rx="50.84" ry="18"/>
+<text text-anchor="middle" x="122.18" y="-3324.95" font-family="Times,serif" font-size="14.00">{ ... } (70)</text>
+</g>
+<!-- 52&#45;&gt;70 -->
+<g id="edge54" class="edge">
+<title>52&#45;&gt;70</title>
+<path fill="none" stroke="black" d="M165.38,-3384.05C158.66,-3375.8 150.43,-3365.7 142.97,-3356.54"/>
+<polygon fill="black" stroke="black" points="145.83,-3354.51 136.8,-3348.96 140.4,-3358.93 145.83,-3354.51"/>
+</g>
+<!-- 71 -->
+<g id="node72" class="node">
+<title>71</title>
+<ellipse fill="none" stroke="black" cx="144.18" cy="-2034" rx="61.08" ry="18"/>
+<text text-anchor="middle" x="144.18" y="-2028.95" font-family="Times,serif" font-size="14.00">if (...) ... (71)</text>
+</g>
+<!-- 52&#45;&gt;71 -->
+<g id="edge55" class="edge">
+<title>52&#45;&gt;71</title>
+<path fill="none" stroke="black" d="M183.83,-3383.66C190.55,-3357.05 202.18,-3304.45 202.18,-3259 202.18,-3259 202.18,-3259 202.18,-2177 202.18,-2136.55 199.76,-2124.89 183.18,-2088 178.82,-2078.31 172.49,-2068.66 166.18,-2060.31"/>
+<polygon fill="black" stroke="black" points="169.08,-2058.34 160.12,-2052.68 163.6,-2062.69 169.08,-2058.34"/>
+</g>
+<!-- 53 -->
+<g id="node54" class="node">
+<title>53</title>
+<ellipse fill="none" stroke="black" cx="104.18" cy="-3258" rx="64.66" ry="18"/>
+<text text-anchor="middle" x="104.18" y="-3252.95" font-family="Times,serif" font-size="14.00">ExprStmt (53)</text>
+</g>
+<!-- 55 -->
+<g id="node56" class="node">
+<title>55</title>
+<ellipse fill="none" stroke="black" cx="95.18" cy="-3186" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="95.18" y="-3180.95" font-family="Times,serif" font-size="14.00">input (55)</text>
+</g>
+<!-- 53&#45;&gt;55 -->
+<g id="edge56" class="edge">
+<title>53&#45;&gt;55</title>
+<path fill="none" stroke="black" d="M101.95,-3239.7C101.01,-3232.32 99.87,-3223.52 98.81,-3215.25"/>
+<polygon fill="black" stroke="black" points="102.32,-3215.08 97.57,-3205.61 95.37,-3215.97 102.32,-3215.08"/>
+</g>
+<!-- 54 -->
+<g id="node55" class="node">
+<title>54</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2106" rx="87.18" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2100.95" font-family="Times,serif" font-size="14.00">call to memcpy (54)</text>
+</g>
+<!-- 54&#45;&gt;71 -->
+<g id="edge57" class="edge">
+<title>54&#45;&gt;71</title>
+<path fill="none" stroke="black" d="M100.98,-2088.05C107.7,-2079.8 115.92,-2069.7 123.38,-2060.54"/>
+<polygon fill="black" stroke="black" points="125.95,-2062.93 129.55,-2052.96 120.52,-2058.51 125.95,-2062.93"/>
+</g>
+<!-- 56 -->
+<g id="node57" class="node">
+<title>56</title>
+<ellipse fill="none" stroke="black" cx="91.18" cy="-3114" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="91.18" y="-3108.95" font-family="Times,serif" font-size="14.00">0 (56)</text>
+</g>
+<!-- 55&#45;&gt;56 -->
+<g id="edge58" class="edge">
+<title>55&#45;&gt;56</title>
+<path fill="none" stroke="black" d="M94.19,-3167.7C93.77,-3160.41 93.28,-3151.73 92.81,-3143.54"/>
+<polygon fill="black" stroke="black" points="96.31,-3143.4 92.24,-3133.62 89.32,-3143.8 96.31,-3143.4"/>
+</g>
+<!-- 57 -->
+<g id="node58" class="node">
+<title>57</title>
+<ellipse fill="none" stroke="black" cx="89.18" cy="-3042" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="89.18" y="-3036.95" font-family="Times,serif" font-size="14.00">access to array (57)</text>
+</g>
+<!-- 56&#45;&gt;57 -->
+<g id="edge59" class="edge">
+<title>56&#45;&gt;57</title>
+<path fill="none" stroke="black" d="M90.68,-3095.7C90.48,-3088.41 90.23,-3079.73 89.99,-3071.54"/>
+<polygon fill="black" stroke="black" points="93.49,-3071.51 89.71,-3061.62 86.5,-3071.71 93.49,-3071.51"/>
+</g>
+<!-- 58 -->
+<g id="node59" class="node">
+<title>58</title>
+<ellipse fill="none" stroke="black" cx="88.18" cy="-2970" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="88.18" y="-2964.95" font-family="Times,serif" font-size="14.00">ptr (58)</text>
+</g>
+<!-- 57&#45;&gt;58 -->
+<g id="edge60" class="edge">
+<title>57&#45;&gt;58</title>
+<path fill="none" stroke="black" d="M88.93,-3023.7C88.83,-3016.41 88.7,-3007.73 88.59,-2999.54"/>
+<polygon fill="black" stroke="black" points="92.09,-2999.57 88.44,-2989.62 85.09,-2999.67 92.09,-2999.57"/>
+</g>
+<!-- 59 -->
+<g id="node60" class="node">
+<title>59</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2898" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2892.95" font-family="Times,serif" font-size="14.00">buf (59)</text>
+</g>
+<!-- 58&#45;&gt;59 -->
+<g id="edge61" class="edge">
+<title>58&#45;&gt;59</title>
+<path fill="none" stroke="black" d="M87.93,-2951.7C87.83,-2944.41 87.7,-2935.73 87.59,-2927.54"/>
+<polygon fill="black" stroke="black" points="91.09,-2927.57 87.44,-2917.62 84.09,-2927.67 91.09,-2927.57"/>
+</g>
+<!-- 60 -->
+<g id="node61" class="node">
+<title>60</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2826" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2820.95" font-family="Times,serif" font-size="14.00">input (60)</text>
+</g>
+<!-- 59&#45;&gt;60 -->
+<g id="edge62" class="edge">
+<title>59&#45;&gt;60</title>
+<path fill="none" stroke="black" d="M87.18,-2879.7C87.18,-2872.41 87.18,-2863.73 87.18,-2855.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2855.62 87.18,-2845.62 83.68,-2855.62 90.68,-2855.62"/>
+</g>
+<!-- 61 -->
+<g id="node62" class="node">
+<title>61</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2754" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2748.95" font-family="Times,serif" font-size="14.00">1 (61)</text>
+</g>
+<!-- 60&#45;&gt;61 -->
+<g id="edge63" class="edge">
+<title>60&#45;&gt;61</title>
+<path fill="none" stroke="black" d="M87.18,-2807.7C87.18,-2800.41 87.18,-2791.73 87.18,-2783.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2783.62 87.18,-2773.62 83.68,-2783.62 90.68,-2783.62"/>
+</g>
+<!-- 62 -->
+<g id="node63" class="node">
+<title>62</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2682" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2676.95" font-family="Times,serif" font-size="14.00">access to array (62)</text>
+</g>
+<!-- 61&#45;&gt;62 -->
+<g id="edge64" class="edge">
+<title>61&#45;&gt;62</title>
+<path fill="none" stroke="black" d="M87.18,-2735.7C87.18,-2728.41 87.18,-2719.73 87.18,-2711.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2711.62 87.18,-2701.62 83.68,-2711.62 90.68,-2711.62"/>
+</g>
+<!-- 63 -->
+<g id="node64" class="node">
+<title>63</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2610" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2604.95" font-family="Times,serif" font-size="14.00">ptr (63)</text>
+</g>
+<!-- 62&#45;&gt;63 -->
+<g id="edge65" class="edge">
+<title>62&#45;&gt;63</title>
+<path fill="none" stroke="black" d="M87.18,-2663.7C87.18,-2656.41 87.18,-2647.73 87.18,-2639.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2639.62 87.18,-2629.62 83.68,-2639.62 90.68,-2639.62"/>
+</g>
+<!-- 64 -->
+<g id="node65" class="node">
+<title>64</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2538" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2532.95" font-family="Times,serif" font-size="14.00">buf (64)</text>
+</g>
+<!-- 63&#45;&gt;64 -->
+<g id="edge66" class="edge">
+<title>63&#45;&gt;64</title>
+<path fill="none" stroke="black" d="M87.18,-2591.7C87.18,-2584.41 87.18,-2575.73 87.18,-2567.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2567.62 87.18,-2557.62 83.68,-2567.62 90.68,-2567.62"/>
+</g>
+<!-- 65 -->
+<g id="node66" class="node">
+<title>65</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2466" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2460.95" font-family="Times,serif" font-size="14.00">input (65)</text>
+</g>
+<!-- 64&#45;&gt;65 -->
+<g id="edge67" class="edge">
+<title>64&#45;&gt;65</title>
+<path fill="none" stroke="black" d="M87.18,-2519.7C87.18,-2512.41 87.18,-2503.73 87.18,-2495.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2495.62 87.18,-2485.62 83.68,-2495.62 90.68,-2495.62"/>
+</g>
+<!-- 66 -->
+<g id="node67" class="node">
+<title>66</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2394" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2388.95" font-family="Times,serif" font-size="14.00">1 (66)</text>
+</g>
+<!-- 65&#45;&gt;66 -->
+<g id="edge68" class="edge">
+<title>65&#45;&gt;66</title>
+<path fill="none" stroke="black" d="M87.18,-2447.7C87.18,-2440.41 87.18,-2431.73 87.18,-2423.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2423.62 87.18,-2413.62 83.68,-2423.62 90.68,-2423.62"/>
+</g>
+<!-- 67 -->
+<g id="node68" class="node">
+<title>67</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2322" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2316.95" font-family="Times,serif" font-size="14.00">access to array (67)</text>
+</g>
+<!-- 66&#45;&gt;67 -->
+<g id="edge69" class="edge">
+<title>66&#45;&gt;67</title>
+<path fill="none" stroke="black" d="M87.18,-2375.7C87.18,-2368.41 87.18,-2359.73 87.18,-2351.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2351.62 87.18,-2341.62 83.68,-2351.62 90.68,-2351.62"/>
+</g>
+<!-- 68 -->
+<g id="node69" class="node">
+<title>68</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2250" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2244.95" font-family="Times,serif" font-size="14.00">ptr (68)</text>
+</g>
+<!-- 67&#45;&gt;68 -->
+<g id="edge70" class="edge">
+<title>67&#45;&gt;68</title>
+<path fill="none" stroke="black" d="M87.18,-2303.7C87.18,-2296.41 87.18,-2287.73 87.18,-2279.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2279.62 87.18,-2269.62 83.68,-2279.62 90.68,-2279.62"/>
+</g>
+<!-- 69 -->
+<g id="node70" class="node">
+<title>69</title>
+<ellipse fill="none" stroke="black" cx="87.18" cy="-2178" rx="43.16" ry="18"/>
+<text text-anchor="middle" x="87.18" y="-2172.95" font-family="Times,serif" font-size="14.00">size (69)</text>
+</g>
+<!-- 68&#45;&gt;69 -->
+<g id="edge71" class="edge">
+<title>68&#45;&gt;69</title>
+<path fill="none" stroke="black" d="M87.18,-2231.7C87.18,-2224.41 87.18,-2215.73 87.18,-2207.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2207.62 87.18,-2197.62 83.68,-2207.62 90.68,-2207.62"/>
+</g>
+<!-- 69&#45;&gt;54 -->
+<g id="edge72" class="edge">
+<title>69&#45;&gt;54</title>
+<path fill="none" stroke="black" d="M87.18,-2159.7C87.18,-2152.41 87.18,-2143.73 87.18,-2135.54"/>
+<polygon fill="black" stroke="black" points="90.68,-2135.62 87.18,-2125.62 83.68,-2135.62 90.68,-2135.62"/>
+</g>
+<!-- 70&#45;&gt;53 -->
+<g id="edge73" class="edge">
+<title>70&#45;&gt;53</title>
+<path fill="none" stroke="black" d="M117.73,-3311.7C115.83,-3304.32 113.57,-3295.52 111.44,-3287.25"/>
+<polygon fill="black" stroke="black" points="114.83,-3286.38 108.95,-3277.57 108.05,-3288.13 114.83,-3286.38"/>
+</g>
+<!-- 72 -->
+<g id="node73" class="node">
+<title>72</title>
+<ellipse fill="none" stroke="black" cx="144.18" cy="-1962" rx="71.82" ry="18"/>
+<text text-anchor="middle" x="144.18" y="-1956.95" font-family="Times,serif" font-size="14.00">input_types (72)</text>
+</g>
+<!-- 71&#45;&gt;72 -->
+<g id="edge74" class="edge">
+<title>71&#45;&gt;72</title>
+<path fill="none" stroke="black" d="M144.18,-2015.7C144.18,-2008.41 144.18,-1999.73 144.18,-1991.54"/>
+<polygon fill="black" stroke="black" points="147.68,-1991.62 144.18,-1981.62 140.68,-1991.62 147.68,-1991.62"/>
+</g>
+<!-- 74 -->
+<g id="node75" class="node">
+<title>74</title>
+<ellipse fill="none" stroke="black" cx="144.18" cy="-1890" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="144.18" y="-1884.95" font-family="Times,serif" font-size="14.00">1 (74)</text>
+</g>
+<!-- 72&#45;&gt;74 -->
+<g id="edge75" class="edge">
+<title>72&#45;&gt;74</title>
+<path fill="none" stroke="black" d="M144.18,-1943.7C144.18,-1936.41 144.18,-1927.73 144.18,-1919.54"/>
+<polygon fill="black" stroke="black" points="147.68,-1919.62 144.18,-1909.62 140.68,-1919.62 147.68,-1919.62"/>
+</g>
+<!-- 73 -->
+<g id="node74" class="node">
+<title>73</title>
+<ellipse fill="none" stroke="black" cx="144.18" cy="-1746" rx="133.75" ry="18"/>
+<text text-anchor="middle" x="144.18" y="-1740.95" font-family="Times,serif" font-size="14.00">call to DYN_INPUT_TYPE (73)</text>
+</g>
+<!-- 76 -->
+<g id="node77" class="node">
+<title>76</title>
+<ellipse fill="none" stroke="black" cx="144.18" cy="-1674" rx="58" ry="18"/>
+<text text-anchor="middle" x="144.18" y="-1668.95" font-family="Times,serif" font-size="14.00">... != ... (76)</text>
+</g>
+<!-- 73&#45;&gt;76 -->
+<g id="edge76" class="edge">
+<title>73&#45;&gt;76</title>
+<path fill="none" stroke="black" d="M144.18,-1727.7C144.18,-1720.41 144.18,-1711.73 144.18,-1703.54"/>
+<polygon fill="black" stroke="black" points="147.68,-1703.62 144.18,-1693.62 140.68,-1703.62 147.68,-1703.62"/>
+</g>
+<!-- 75 -->
+<g id="node76" class="node">
+<title>75</title>
+<ellipse fill="none" stroke="black" cx="144.18" cy="-1818" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="144.18" y="-1812.95" font-family="Times,serif" font-size="14.00">1 (75)</text>
+</g>
+<!-- 74&#45;&gt;75 -->
+<g id="edge77" class="edge">
+<title>74&#45;&gt;75</title>
+<path fill="none" stroke="black" d="M144.18,-1871.7C144.18,-1864.41 144.18,-1855.73 144.18,-1847.54"/>
+<polygon fill="black" stroke="black" points="147.68,-1847.62 144.18,-1837.62 140.68,-1847.62 147.68,-1847.62"/>
+</g>
+<!-- 75&#45;&gt;73 -->
+<g id="edge78" class="edge">
+<title>75&#45;&gt;73</title>
+<path fill="none" stroke="black" d="M144.18,-1799.7C144.18,-1792.41 144.18,-1783.73 144.18,-1775.54"/>
+<polygon fill="black" stroke="black" points="147.68,-1775.62 144.18,-1765.62 140.68,-1775.62 147.68,-1775.62"/>
+</g>
+<!-- 79 -->
+<g id="node80" class="node">
+<title>79</title>
+<ellipse fill="none" stroke="black" cx="78.18" cy="-1602" rx="50.84" ry="18"/>
+<text text-anchor="middle" x="78.18" y="-1596.95" font-family="Times,serif" font-size="14.00">{ ... } (79)</text>
+</g>
+<!-- 76&#45;&gt;79 -->
+<g id="edge79" class="edge">
+<title>76&#45;&gt;79</title>
+<path fill="none" stroke="black" d="M128.54,-1656.41C120.48,-1647.87 110.5,-1637.28 101.55,-1627.79"/>
+<polygon fill="black" stroke="black" points="104.15,-1625.45 94.75,-1620.57 99.06,-1630.25 104.15,-1625.45"/>
+</g>
+<!-- 80 -->
+<g id="node81" class="node">
+<title>80</title>
+<ellipse fill="none" stroke="black" cx="211.18" cy="-1602" rx="64.66" ry="18"/>
+<text text-anchor="middle" x="211.18" y="-1596.95" font-family="Times,serif" font-size="14.00">ExprStmt (80)</text>
+</g>
+<!-- 76&#45;&gt;80 -->
+<g id="edge80" class="edge">
+<title>76&#45;&gt;80</title>
+<path fill="none" stroke="black" d="M160.06,-1656.41C168.23,-1647.87 178.37,-1637.28 187.45,-1627.79"/>
+<polygon fill="black" stroke="black" points="189.98,-1630.21 194.37,-1620.56 184.92,-1625.37 189.98,-1630.21"/>
+</g>
+<!-- 77 -->
+<g id="node78" class="node">
+<title>77</title>
+<ellipse fill="none" stroke="black" cx="77.18" cy="-1530" rx="61.08" ry="18"/>
+<text text-anchor="middle" x="77.18" y="-1524.95" font-family="Times,serif" font-size="14.00">return ... (77)</text>
+</g>
+<!-- 78 -->
+<g id="node79" class="node">
+<title>78</title>
+<ellipse fill="none" stroke="black" cx="77.18" cy="-1386" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="77.18" y="-1380.95" font-family="Times,serif" font-size="14.00">1 (78)</text>
+</g>
+<!-- 77&#45;&gt;78 -->
+<g id="edge81" class="edge">
+<title>77&#45;&gt;78</title>
+<path fill="none" stroke="black" d="M77.18,-1511.59C77.18,-1487.61 77.18,-1444.14 77.18,-1415.42"/>
+<polygon fill="black" stroke="black" points="80.68,-1415.62 77.18,-1405.62 73.68,-1415.62 80.68,-1415.62"/>
+</g>
+<!-- 103 -->
+<g id="node104" class="node">
+<title>103</title>
+<ellipse fill="none" stroke="black" cx="101.18" cy="-18" rx="75.41" ry="18"/>
+<text text-anchor="middle" x="101.18" y="-12.95" font-family="Times,serif" font-size="14.00">copy_mem (103)</text>
+</g>
+<!-- 78&#45;&gt;103 -->
+<g id="edge82" class="edge">
+<title>78&#45;&gt;103</title>
+<path fill="none" stroke="black" d="M75.36,-1367.53C72.73,-1340.76 68.18,-1287.96 68.18,-1243 68.18,-1243 68.18,-1243 68.18,-161 68.18,-120.51 81.06,-75.18 90.73,-46.87"/>
+<polygon fill="black" stroke="black" points="93.97,-48.21 94,-37.62 87.37,-45.88 93.97,-48.21"/>
+</g>
+<!-- 79&#45;&gt;77 -->
+<g id="edge83" class="edge">
+<title>79&#45;&gt;77</title>
+<path fill="none" stroke="black" d="M77.93,-1583.7C77.83,-1576.41 77.7,-1567.73 77.59,-1559.54"/>
+<polygon fill="black" stroke="black" points="81.09,-1559.57 77.44,-1549.62 74.09,-1559.67 81.09,-1559.57"/>
+</g>
+<!-- 82 -->
+<g id="node83" class="node">
+<title>82</title>
+<ellipse fill="none" stroke="black" cx="211.18" cy="-1530" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="211.18" y="-1524.95" font-family="Times,serif" font-size="14.00">input (82)</text>
+</g>
+<!-- 80&#45;&gt;82 -->
+<g id="edge84" class="edge">
+<title>80&#45;&gt;82</title>
+<path fill="none" stroke="black" d="M211.18,-1583.7C211.18,-1576.41 211.18,-1567.73 211.18,-1559.54"/>
+<polygon fill="black" stroke="black" points="214.68,-1559.62 211.18,-1549.62 207.68,-1559.62 214.68,-1559.62"/>
+</g>
+<!-- 81 -->
+<g id="node82" class="node">
+<title>81</title>
+<ellipse fill="none" stroke="black" cx="220.18" cy="-450" rx="87.18" ry="18"/>
+<text text-anchor="middle" x="220.18" y="-444.95" font-family="Times,serif" font-size="14.00">call to memcpy (81)</text>
+</g>
+<!-- 97 -->
+<g id="node98" class="node">
+<title>97</title>
+<ellipse fill="none" stroke="black" cx="220.18" cy="-378" rx="64.66" ry="18"/>
+<text text-anchor="middle" x="220.18" y="-372.95" font-family="Times,serif" font-size="14.00">ExprStmt (97)</text>
+</g>
+<!-- 81&#45;&gt;97 -->
+<g id="edge85" class="edge">
+<title>81&#45;&gt;97</title>
+<path fill="none" stroke="black" d="M220.18,-431.7C220.18,-424.41 220.18,-415.73 220.18,-407.54"/>
+<polygon fill="black" stroke="black" points="223.68,-407.62 220.18,-397.62 216.68,-407.62 223.68,-407.62"/>
+</g>
+<!-- 83 -->
+<g id="node84" class="node">
+<title>83</title>
+<ellipse fill="none" stroke="black" cx="211.18" cy="-1458" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="211.18" y="-1452.95" font-family="Times,serif" font-size="14.00">0 (83)</text>
+</g>
+<!-- 82&#45;&gt;83 -->
+<g id="edge86" class="edge">
+<title>82&#45;&gt;83</title>
+<path fill="none" stroke="black" d="M211.18,-1511.7C211.18,-1504.41 211.18,-1495.73 211.18,-1487.54"/>
+<polygon fill="black" stroke="black" points="214.68,-1487.62 211.18,-1477.62 207.68,-1487.62 214.68,-1487.62"/>
+</g>
+<!-- 84 -->
+<g id="node85" class="node">
+<title>84</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-1386" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-1380.95" font-family="Times,serif" font-size="14.00">access to array (84)</text>
+</g>
+<!-- 83&#45;&gt;84 -->
+<g id="edge87" class="edge">
+<title>83&#45;&gt;84</title>
+<path fill="none" stroke="black" d="M211.43,-1439.7C211.53,-1432.41 211.65,-1423.73 211.77,-1415.54"/>
+<polygon fill="black" stroke="black" points="215.27,-1415.67 211.91,-1405.62 208.27,-1415.57 215.27,-1415.67"/>
+</g>
+<!-- 85 -->
+<g id="node86" class="node">
+<title>85</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-1314" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-1308.95" font-family="Times,serif" font-size="14.00">ptr (85)</text>
+</g>
+<!-- 84&#45;&gt;85 -->
+<g id="edge88" class="edge">
+<title>84&#45;&gt;85</title>
+<path fill="none" stroke="black" d="M212.18,-1367.7C212.18,-1360.41 212.18,-1351.73 212.18,-1343.54"/>
+<polygon fill="black" stroke="black" points="215.68,-1343.62 212.18,-1333.62 208.68,-1343.62 215.68,-1343.62"/>
+</g>
+<!-- 86 -->
+<g id="node87" class="node">
+<title>86</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-1242" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-1236.95" font-family="Times,serif" font-size="14.00">buf (86)</text>
+</g>
+<!-- 85&#45;&gt;86 -->
+<g id="edge89" class="edge">
+<title>85&#45;&gt;86</title>
+<path fill="none" stroke="black" d="M212.18,-1295.7C212.18,-1288.41 212.18,-1279.73 212.18,-1271.54"/>
+<polygon fill="black" stroke="black" points="215.68,-1271.62 212.18,-1261.62 208.68,-1271.62 215.68,-1271.62"/>
+</g>
+<!-- 87 -->
+<g id="node88" class="node">
+<title>87</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-1170" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-1164.95" font-family="Times,serif" font-size="14.00">input (87)</text>
+</g>
+<!-- 86&#45;&gt;87 -->
+<g id="edge90" class="edge">
+<title>86&#45;&gt;87</title>
+<path fill="none" stroke="black" d="M212.18,-1223.7C212.18,-1216.41 212.18,-1207.73 212.18,-1199.54"/>
+<polygon fill="black" stroke="black" points="215.68,-1199.62 212.18,-1189.62 208.68,-1199.62 215.68,-1199.62"/>
+</g>
+<!-- 88 -->
+<g id="node89" class="node">
+<title>88</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-1098" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-1092.95" font-family="Times,serif" font-size="14.00">1 (88)</text>
+</g>
+<!-- 87&#45;&gt;88 -->
+<g id="edge91" class="edge">
+<title>87&#45;&gt;88</title>
+<path fill="none" stroke="black" d="M212.18,-1151.7C212.18,-1144.41 212.18,-1135.73 212.18,-1127.54"/>
+<polygon fill="black" stroke="black" points="215.68,-1127.62 212.18,-1117.62 208.68,-1127.62 215.68,-1127.62"/>
+</g>
+<!-- 89 -->
+<g id="node90" class="node">
+<title>89</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-1026" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-1020.95" font-family="Times,serif" font-size="14.00">access to array (89)</text>
+</g>
+<!-- 88&#45;&gt;89 -->
+<g id="edge92" class="edge">
+<title>88&#45;&gt;89</title>
+<path fill="none" stroke="black" d="M212.18,-1079.7C212.18,-1072.41 212.18,-1063.73 212.18,-1055.54"/>
+<polygon fill="black" stroke="black" points="215.68,-1055.62 212.18,-1045.62 208.68,-1055.62 215.68,-1055.62"/>
+</g>
+<!-- 90 -->
+<g id="node91" class="node">
+<title>90</title>
+<ellipse fill="none" stroke="black" cx="212.18" cy="-954" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="212.18" y="-948.95" font-family="Times,serif" font-size="14.00">ptr (90)</text>
+</g>
+<!-- 89&#45;&gt;90 -->
+<g id="edge93" class="edge">
+<title>89&#45;&gt;90</title>
+<path fill="none" stroke="black" d="M212.18,-1007.7C212.18,-1000.41 212.18,-991.73 212.18,-983.54"/>
+<polygon fill="black" stroke="black" points="215.68,-983.62 212.18,-973.62 208.68,-983.62 215.68,-983.62"/>
+</g>
+<!-- 91 -->
+<g id="node92" class="node">
+<title>91</title>
+<ellipse fill="none" stroke="black" cx="213.18" cy="-882" rx="41.12" ry="18"/>
+<text text-anchor="middle" x="213.18" y="-876.95" font-family="Times,serif" font-size="14.00">buf (91)</text>
+</g>
+<!-- 90&#45;&gt;91 -->
+<g id="edge94" class="edge">
+<title>90&#45;&gt;91</title>
+<path fill="none" stroke="black" d="M212.43,-935.7C212.53,-928.41 212.65,-919.73 212.77,-911.54"/>
+<polygon fill="black" stroke="black" points="216.27,-911.67 212.91,-901.62 209.27,-911.57 216.27,-911.67"/>
+</g>
+<!-- 92 -->
+<g id="node93" class="node">
+<title>92</title>
+<ellipse fill="none" stroke="black" cx="214.18" cy="-810" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="214.18" y="-804.95" font-family="Times,serif" font-size="14.00">input (92)</text>
+</g>
+<!-- 91&#45;&gt;92 -->
+<g id="edge95" class="edge">
+<title>91&#45;&gt;92</title>
+<path fill="none" stroke="black" d="M213.43,-863.7C213.53,-856.41 213.65,-847.73 213.77,-839.54"/>
+<polygon fill="black" stroke="black" points="217.27,-839.67 213.91,-829.62 210.27,-839.57 217.27,-839.67"/>
+</g>
+<!-- 93 -->
+<g id="node94" class="node">
+<title>93</title>
+<ellipse fill="none" stroke="black" cx="214.18" cy="-738" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="214.18" y="-732.95" font-family="Times,serif" font-size="14.00">1 (93)</text>
+</g>
+<!-- 92&#45;&gt;93 -->
+<g id="edge96" class="edge">
+<title>92&#45;&gt;93</title>
+<path fill="none" stroke="black" d="M214.18,-791.7C214.18,-784.41 214.18,-775.73 214.18,-767.54"/>
+<polygon fill="black" stroke="black" points="217.68,-767.62 214.18,-757.62 210.68,-767.62 217.68,-767.62"/>
+</g>
+<!-- 94 -->
+<g id="node95" class="node">
+<title>94</title>
+<ellipse fill="none" stroke="black" cx="216.18" cy="-666" rx="83.6" ry="18"/>
+<text text-anchor="middle" x="216.18" y="-660.95" font-family="Times,serif" font-size="14.00">access to array (94)</text>
+</g>
+<!-- 93&#45;&gt;94 -->
+<g id="edge97" class="edge">
+<title>93&#45;&gt;94</title>
+<path fill="none" stroke="black" d="M214.67,-719.7C214.88,-712.41 215.13,-703.73 215.36,-695.54"/>
+<polygon fill="black" stroke="black" points="218.86,-695.71 215.65,-685.62 211.86,-695.51 218.86,-695.71"/>
+</g>
+<!-- 95 -->
+<g id="node96" class="node">
+<title>95</title>
+<ellipse fill="none" stroke="black" cx="216.18" cy="-594" rx="39.07" ry="18"/>
+<text text-anchor="middle" x="216.18" y="-588.95" font-family="Times,serif" font-size="14.00">ptr (95)</text>
+</g>
+<!-- 94&#45;&gt;95 -->
+<g id="edge98" class="edge">
+<title>94&#45;&gt;95</title>
+<path fill="none" stroke="black" d="M216.18,-647.7C216.18,-640.41 216.18,-631.73 216.18,-623.54"/>
+<polygon fill="black" stroke="black" points="219.68,-623.62 216.18,-613.62 212.68,-623.62 219.68,-623.62"/>
+</g>
+<!-- 96 -->
+<g id="node97" class="node">
+<title>96</title>
+<ellipse fill="none" stroke="black" cx="220.18" cy="-522" rx="43.16" ry="18"/>
+<text text-anchor="middle" x="220.18" y="-516.95" font-family="Times,serif" font-size="14.00">size (96)</text>
+</g>
+<!-- 95&#45;&gt;96 -->
+<g id="edge99" class="edge">
+<title>95&#45;&gt;96</title>
+<path fill="none" stroke="black" d="M217.17,-575.7C217.58,-568.41 218.08,-559.73 218.55,-551.54"/>
+<polygon fill="black" stroke="black" points="222.04,-551.8 219.11,-541.62 215.05,-551.4 222.04,-551.8"/>
+</g>
+<!-- 96&#45;&gt;81 -->
+<g id="edge100" class="edge">
+<title>96&#45;&gt;81</title>
+<path fill="none" stroke="black" d="M220.18,-503.7C220.18,-496.41 220.18,-487.73 220.18,-479.54"/>
+<polygon fill="black" stroke="black" points="223.68,-479.62 220.18,-469.62 216.68,-479.62 223.68,-479.62"/>
+</g>
+<!-- 99 -->
+<g id="node100" class="node">
+<title>99</title>
+<ellipse fill="none" stroke="black" cx="220.18" cy="-306" rx="47.77" ry="18"/>
+<text text-anchor="middle" x="220.18" y="-300.95" font-family="Times,serif" font-size="14.00">input (99)</text>
+</g>
+<!-- 97&#45;&gt;99 -->
+<g id="edge101" class="edge">
+<title>97&#45;&gt;99</title>
+<path fill="none" stroke="black" d="M220.18,-359.7C220.18,-352.41 220.18,-343.73 220.18,-335.54"/>
+<polygon fill="black" stroke="black" points="223.68,-335.62 220.18,-325.62 216.68,-335.62 223.68,-335.62"/>
+</g>
+<!-- 98 -->
+<g id="node99" class="node">
+<title>98</title>
+<ellipse fill="none" stroke="black" cx="221.18" cy="-234" rx="124.54" ry="18"/>
+<text text-anchor="middle" x="221.18" y="-228.95" font-family="Times,serif" font-size="14.00">call to copy_mem_nested (98)</text>
+</g>
+<!-- 100 -->
+<g id="node101" class="node">
+<title>100</title>
+<ellipse fill="none" stroke="black" cx="191.18" cy="-162" rx="65.68" ry="18"/>
+<text text-anchor="middle" x="191.18" y="-156.95" font-family="Times,serif" font-size="14.00">return ... (100)</text>
+</g>
+<!-- 98&#45;&gt;100 -->
+<g id="edge102" class="edge">
+<title>98&#45;&gt;100</title>
+<path fill="none" stroke="black" d="M213.76,-215.7C210.53,-208.15 206.66,-199.12 203.04,-190.68"/>
+<polygon fill="black" stroke="black" points="206.26,-189.31 199.1,-181.5 199.83,-192.07 206.26,-189.31"/>
+</g>
+<!-- 99&#45;&gt;98 -->
+<g id="edge103" class="edge">
+<title>99&#45;&gt;98</title>
+<path fill="none" stroke="black" d="M220.43,-287.7C220.53,-280.41 220.65,-271.73 220.77,-263.54"/>
+<polygon fill="black" stroke="black" points="224.27,-263.67 220.91,-253.62 217.27,-263.57 224.27,-263.67"/>
+</g>
+<!-- 101 -->
+<g id="node102" class="node">
+<title>101</title>
+<ellipse fill="none" stroke="black" cx="148.18" cy="-90" rx="38.04" ry="18"/>
+<text text-anchor="middle" x="148.18" y="-84.95" font-family="Times,serif" font-size="14.00">0 (101)</text>
+</g>
+<!-- 100&#45;&gt;101 -->
+<g id="edge104" class="edge">
+<title>100&#45;&gt;101</title>
+<path fill="none" stroke="black" d="M180.77,-144.05C175.86,-136.06 169.88,-126.33 164.39,-117.4"/>
+<polygon fill="black" stroke="black" points="167.5,-115.77 159.28,-109.08 161.54,-119.43 167.5,-115.77"/>
+</g>
+<!-- 101&#45;&gt;103 -->
+<g id="edge105" class="edge">
+<title>101&#45;&gt;103</title>
+<path fill="none" stroke="black" d="M137.04,-72.41C131.62,-64.34 124.97,-54.43 118.87,-45.35"/>
+<polygon fill="black" stroke="black" points="121.89,-43.56 113.41,-37.21 116.08,-47.47 121.89,-43.56"/>
+</g>
+<!-- 102 -->
+<g id="node103" class="node">
+<title>102</title>
+<ellipse fill="none" stroke="black" cx="179.18" cy="-7218" rx="55.45" ry="18"/>
+<text text-anchor="middle" x="179.18" y="-7212.95" font-family="Times,serif" font-size="14.00">{ ... } (102)</text>
+</g>
+<!-- 102&#45;&gt;0 -->
+<g id="edge106" class="edge">
+<title>102&#45;&gt;0</title>
+<path fill="none" stroke="black" d="M179.18,-7199.7C179.18,-7192.41 179.18,-7183.73 179.18,-7175.54"/>
+<polygon fill="black" stroke="black" points="182.68,-7175.62 179.18,-7165.62 175.68,-7175.62 182.68,-7175.62"/>
+</g>
+</g>
+</svg>
diff --git a/readme-low-level.org b/readme-low-level.org
index feb641c..39278ab 100644
--- a/readme-low-level.org
+++ b/readme-low-level.org
@@ -96,23 +96,55 @@
   #+ATTR_HTML: :width 100%
   [[./cfg.dot/cpp/ast-cfg-hybrid.svg]]
 
-* Hybrid portion of source code
-  The part of the source code corresponding to the hybrid portion, with space for
-  adding edges:
+* CFG with numbered nodes
+  The CFG with node numbering is inlined here.  For better viewing, open the
+  pdf ([[./cfg.dot/cpp/cfg-annotated.pdf]]) separately.
+  #+ATTR_HTML: :width 100%
+  [[./cfg.dot/cpp/cfg-annotated.svg]]
+  
+  As before, this graph is rendered via dot:
+  #+BEGIN_SRC sh 
+    dot -Tpdf < cfg.dot/cpp/cfg-annotated.dot > cfg.dot/cpp/cfg-annotated.pdf
+    dot -Tsvg < cfg.dot/cpp/cfg-annotated.dot > cfg.dot/cpp/cfg-annotated.svg
+
+    # View the graph
+    open -a skim cfg.dot/cpp/cfg-annotated.pdf
+
+  #+END_SRC
+
+
+* Source Annotated with CFG Nodes
+  The CFG entries
+  #+BEGIN_SRC text
+    0[label="ExprStmt (0)"; ];
+    1[label="call to memcpy (1)"; ];
+    2[label="input (2)"; ];
+    3[label="0 (3)"; ];
+    4[label="access to array (4)"; ];
+    5[label="ptr (5)"; ];
+    6[label="buf (6)"; ];
+    7[label="input (7)"; ];
+    8[label="1 (8)"; ];
+    9[label="access to array (9)"; ];
+    10[label="ptr (10)"; ];
+    11[label="buf (11)"; ];
+  #+END_SRC
+  are located in the source code as follows
   #+BEGIN_SRC c++
     int    copy_mem(unsigned    int    unused,    dyn_input_t    *input,
 
 
-                 unsigned    int    input_types)    {
+                    unsigned    int    input_types)    {
+                                                       0
+
+            memcpy(input[0].ptr.buf,    input[1].ptr.buf,
+            1      2     3              7     8
+                        4   5   6            9   10  11
+
+                   input[1].ptr.size);
 
 
-        memcpy(input[0].ptr.buf,    input[1].ptr.buf,
-
-
-               input[1].ptr.size);  
-
-
-        copy_mem_nested(input);   
+        copy_mem_nested(input);
 
         ...;
     }