From 733f904b8c5a5df3920e7d28e4cfdc728ccdf2e6 Mon Sep 17 00:00:00 2001 From: Mark Pizzolato Date: Thu, 24 Mar 2016 09:49:28 -0700 Subject: [PATCH] VAX: Removed SET CPU IDLE=ALL which can only produce strange behavior As discussed in issue #294 --- VAX/vax_cpu.c | 8 +++----- doc/vax780_doc.doc | Bin 172544 -> 172032 bytes doc/vax_doc.doc | Bin 131584 -> 131584 bytes 3 files changed, 3 insertions(+), 5 deletions(-) diff --git a/VAX/vax_cpu.c b/VAX/vax_cpu.c index 9e3ba938..9cd95945 100644 --- a/VAX/vax_cpu.c +++ b/VAX/vax_cpu.c @@ -429,7 +429,7 @@ REG cpu_reg[] = { MTAB cpu_mod[] = { { UNIT_CONH, 0, "HALT to SIMH", "SIMHALT", NULL, NULL, NULL, "Set HALT to trap to simulator" }, { UNIT_CONH, UNIT_CONH, "HALT to console", "CONHALT", NULL, NULL, NULL, "Set HALT to trap to console ROM" }, - { MTAB_XTD|MTAB_VDV, 0, "IDLE", "IDLE={VMS|ULTRIX|NETBSD|OPENBSD|ULTRIXOLD|OPENBSDOLD|QUASIJARUS|32V|ELN|ALL}", &cpu_set_idle, &cpu_show_idle, NULL, "Display idle detection mode" }, + { MTAB_XTD|MTAB_VDV, 0, "IDLE", "IDLE={VMS|ULTRIX|NETBSD|OPENBSD|ULTRIXOLD|OPENBSDOLD|QUASIJARUS|32V|ELN}", &cpu_set_idle, &cpu_show_idle, NULL, "Display idle detection mode" }, { MTAB_XTD|MTAB_VDV, 0, NULL, "NOIDLE", &sim_clr_idle, NULL, NULL, "Disables idle detection" }, MEM_MODIFIERS, /* Model specific memory modifiers from vaxXXX_defs.h */ { MTAB_XTD|MTAB_VDV|MTAB_NMO|MTAB_SHP, 0, "HISTORY", "HISTORY", @@ -3619,7 +3619,6 @@ static struct os_idle os_tab[] = { { "QUASIJARUS", VAX_IDLE_QUAD }, { "32V", VAX_IDLE_VMS }, { "ELN", VAX_IDLE_ELN }, - { "ALL", VAX_IDLE_VMS|VAX_IDLE_ULTOLD|VAX_IDLE_ULT|VAX_IDLE_ULT1X|VAX_IDLE_QUAD|VAX_IDLE_BSDNEW|VAX_IDLE_ELN }, { NULL, 0 } }; @@ -3716,11 +3715,10 @@ fprintf (st, " -u interpret address as virtual, user mode\n\n"); fprintf (st, "The CPU attempts to detect when the simulator is idle. When idle, the\n"); fprintf (st, "simulator does not use any resources on the host system. Idle detection is\n"); fprintf (st, "controlled by the SET IDLE and SET NOIDLE commands:\n\n"); -fprintf (st, " sim> SET CPU IDLE{=VMS|ULTRIX|NETBSD|FREEBSD|32V|ELN|ALL}{:n}\n"); +fprintf (st, " sim> SET CPU IDLE{=VMS|ULTRIX|NETBSD|FREEBSD|32V|ELN}{:n}\n"); fprintf (st, " enable idle detection\n"); fprintf (st, " sim> SET CPU NOIDLE disable idle detection\n\n"); -fprintf (st, "Idle detection is disabled by default. Unless ALL is specified, idle\n"); -fprintf (st, "detection is operating system specific. If idle detection is enabled with\n"); +fprintf (st, "Idle detection is disabled by default. If idle detection is enabled with\n"); fprintf (st, "an incorrect operating system setting, simulator performance or correct\n"); fprintf (st, "functionality could be impacted. The default operating system setting is\n"); fprintf (st, "VMS. The value 'n', if present in the \"SET CPU IDLE={OS}:n\" command,\n"); diff --git a/doc/vax780_doc.doc b/doc/vax780_doc.doc index 343fc86c412a194cb11eb76c688644ec1eafc1c4..4c37c350290ba8b29d4c1576b1ab33f375314f37 100644 GIT binary patch delta 22509 zcmd7a2Y6IPyTI`|n-BsLQb-{oK{_ggB%4l4AoLoV^r|2ty-MBCF%*%797?1MDhL6T zMLL3@NN*}AgeFK8Kd^wn{lD4WWV3`^pZna;$K?5CXV086XXc$bbIvZL>?@qIyYTGr zml|ry`s1Zk6Vmeb$t;=P{Pe?XwrAKr$_?g51h&K&uW6j%A#`;RNX4PxTvTp$r8M72b9bLW zTXwX$lUD@~Yj(6X+uR}`$d(&p&hQGeZ5(6Gjds{L*6iV3(v}_jY<8Tvy?3N-PjTj7 zyi3{A@#d}GVcF^IWCycF}LuuuODmPnZ16j z!}2(D2|xS#aSqGl%_IHdZTpYUS#AtBU-S$0%xVH-xV5;PPIeO+Bg{4YOIo)hecs=8 ze528v>fhA1+~}}8((D#c!?rxq+$g}lew2A|Kuz0mqHM=;Xia0Z`9eS=+ji0B@Z$FE zV$AJ|+m9b(zLUK?*8D;7+P3v$9hS$L{R54*<#Fcbf%g5xn@0pzvmHO)c6^6+iKHF^ zZS_Xl6lB{jGQyk?WUDvQIm?aa)j?IQ`-?PM_eY&%*IQ(y*{ehoTfQv}j1Hk68D*Yc zBEect(#K2Kj~8wJvxF@UBBRY!f=gSwM`TPH={tqY-R}jNhX;Gxwv5>{E4WCYd2#gM zO>JWy?D1vbD1l&vpd?D0Jsu`CyLoo97!WE%#v`hN+(-rXy- zR{p(<^?9tq8wIL<4U}tt40G4Yx%82B9M&-Je(G!f;o)T$*50)AQ8$D8Z4adi6;*1^ zlfJ>fT|cpF{i5}=$Il)xe)jlXi*{ZA?RtCL5{8d5#a}VFk9Xz z9wNU2IiGO(+$U4mH@g)2ZcQs5Cl!{vJY}<5Wdzrf=a*Rp&+Dy~(_IZ(vU%u}GBG`w z1w4OkYdc?e$*Y}9=6`zTCr|wKOc$+4>1PZ2-)jG$3U{mx<`5}aeIa)}1?$NMsRK8y z_q-We6`vmp?j1P?K#o%x*53~0eb(x9IR1Y*l#4ru za&;f2Y9OtsJ&L1?qcj^b6;>U22%KOMz^+_VKD&DS2q0p9sF zaqcMg`!C+ey-ww#{6s=J_(7KLO)BLR&MaVxK#lva8+yR+)6bDNkl(a?h>w(T2N$6!o z@iiWAJ%3Ed9RZpaPX zA^BC$vr*i{y1r9Y{gY8_BxWO#Rzd3)c>Dax^SjsXUOaEHY4?D&15Tbl**R-TQ=Xj% z>bomw#*)w8fagA|ivN-OsA6;gz%)J-C`yLcdu_^VN?w);#nND`){)-OZJ?c13~~ z^Jsr7F5?Q~qm`x z#+oRl;@GnsVJX(*Q|!YrRESY33e`{@7HmPWSf!d_0yg0@oWn)jgln8qr|>(f#4D8) zuS{woiG_UX5XbYx-|$imr6yuCEZB-2_!+fpDm50?%DaB&5{WbS5AKuSom+P9JGge~ z+@*65&b2PF{hfAj8Yy`Mnf>GM-&?g^u9`P8=oPAIoBa!0AIBv(;#m{v$pfz_(t4*# zTA(TNsO_x(;5CG^Y>Tn5pSAtW3UF2@ZD)AVc9wtSoT;kAi7t?n#RhD|c@(ayR1A7x z7A*J{kF$!af1j)!)HADVz4eS5TCz!U9-tUi7LT@g8&ZXf5K9$GRW?U5`eOz@#u-Qz z|Bi}Or&M)A^nq0QBwUA7wW69elz~+HV{7GE&Ysc=Yu55)Mr&>+jVjZ)Eees9k|6Cf z4y#clQ7O+PrMyrc6)+zQkbw=j07D(6Dxp3aU<3B!0E*S+lPA>0NQ}aJuog%!6s?uk z*N!0S`;OIuEISjm+M3C+40kBUU6f5wsvO#(1K!0v9Kct2f~ROjnOh?j)3F!(@BqJ| zaxJAo@fu#oLM*~boI>H+1oaEGsWl{F6h>nm*5ewkqbMitSUFNDQUUgpmy?zgo`|WK zgKto|o>IMW5ytvTwLtgANO%R3bWJ7|hs?D+p*vn8FrC=-oh-b#X;OeVQSZi?7mQw(OFLn)jI0A`+}?_P0hO|-!4%13Uu;127Yg%()B(+hh4vyg(9^o%Ef0f$AD2&EBJXV(B z4YX9vB+YDS$!FDg1EauaGb#}?uncE$1D)8}APh$;z%bQr&uUl6VV4Ft2wjh8Ge6Z!!+PMR!MZUp~q1 z#{v5jI@pOXa1g}@Q1t_qx`RW5=*okY`e+DMJd`s+2lUWeG}hLeq?W%!VJb!{ry>%N zh;md^c}#*-S~}jxZd`_IdqyBMz(AzoFdjlG*b9Sg6`jiKbgaX1WQSYKbB117=~sBu zA~EQKNs!i(Ryu>SG=#KPb4UY?$74K!y@9UNKtH1>jU)|K0TodTZP6c-@jkY6(T}&( zF6fytTDnv8Zz20zJVtriIT-^X?LG@@A?<$>r|<|83qB6;fJ`;;kHURvt~z4c*}wgR^<>M%>wB zu?*=j*kdx0v^_3gAT}!!n-ZTbdr6trWS6O;p3#accuTS-UL2g#~7@|X*h(D!>Co*ly&u%6&|8E-9@@h zJlaCK&p4Q{3fr**H*ga^bS>##F)+}@q??7JGsa;FzK3)@AKb&Q2%y_Z*JIQ=T~iCr za}<^QFodHqUWW;5aUM@ml5U%Xw=f&)Al>;WZbQ1YFWuS?)zK2Ikb?2}5Yp`rVF^YJ;(;t_&r(FPa=Y26KQrv(e4GrC|Iq*eFgK7wi42IzzNkk&qc z-;nR1AS*~%6iwlJfC#k4XryC1F2i*^gD4tcAm$(ghwwAB3A8>E(HCjhg>xuM$i0M) zcn1=KGAP724hptGO7iyLJwkL2G9cl42#0Y4H{nP4`lBimA>sTc+7i+d)>H5)E};ma zZ4dJWwow1x8tz%q{u)vJSm~5!p$rEe`X}N1$sDNdrDC#fehj>NGVIEluVW#kFKomn z9K}_rcbI)58m%!D3$P0pA$`YyQjk6ri#YVgn@GWUtcUb3x3BmUFx@s@WuAIw78*dO zlTMfbdq@0&v~xGj7nkA5AW#iWA%j8>q(BA-9rN)SHsdgk;5KC7@Wdh8 z0P;Jp6&XZY!31k4d1}^+aPC>U> zC|!}8ZHYMoY4|}u>^-9V`Txjp&Vq~OvLlLn&j0&7j(sFjDd`^8zE!u2~1qXx#MH3 z!42F*SUT5jbU;VU!WP_s+xv{s2to<8MLP_JbhVaR`>bAOp_i4?O!nPhWw+NMyOmwo zH`zt{1i}|{vBEiAMByb&W8lA>5eBhH#2fHf!ITBvKcJ~_87`{`0aRX1^L|9LeoS%K zaM5eHmb%9d+(+3@n8U22Ue1Zul7)?K8>o^aRJf{C1{3Rr5G-ykfqW5L)!D9 zy(TDN(M{T7-D{*aOb?MKu1iL0-TTNoS8x@f8){5-Cg~X|9C_?$t)hA4;~+`Y(g(_)oujqdy*9Iv55Z&) ztn#F%V+PLPJ|x&G5o{80H4(p!fQ1BKFT4Tc4hAALz(Op-a@@kNJ9KRmH#pQoP^)E|y_6j^Qo}?xH&* z4sG!|`eWfPRa<3{*nshSn2F;cJig$vfktSD#aM&6U-I|>i|`Y!!QHZFoR*-~`;~$v zaWH#fmXfv?#Et#i3-KChdjS@ZrVwfgRw84UG+VG#6nBFBvG6BZ^Rt(68|&=E8BEo~ zCTM|{DigF5nx8EA78h{^k6~Y75-WJif+r}rn+}gs7VjzAUCp}`>Cy;;5eXLWX|g<; zZLd-<;}s;JF_!2pmTG}|=cV+$gq6fSDL>2L#o8<_MDm-UD+Xc^QecMjb{4ibH_-%P&M!^hww{uwClCYLSne3f0aX)hrbVWDx#CGh!C0xc`yn28U0HZMmTktt{q3c&{ zi*YdFt*;rMF$g=c3s>Mc#;;4!Jaw=2^wt3~($ZV`eC?UHznI)Pc176BW-m`5$BlC+ z!+p{PId)|<#s}Dk+bF`ZqtFWWa?KKcjY?CP24E^6)SU-Rw~3^LATjS!NYU`grFuK z>fQzDEL`C|EJ>egJG2m4nt)_^Q~ z@-O2*aHG`np-4$p3~UAm-XneZ;w!yYFNt6LIw(j{xz zqh~)6a{%@z=|&`U#}(KkqvA=44x$L7F$NPYwRUT}w2+CUKgJql;5bg;Tl{7nVR=9j zWJ&%)%g{n(=}p|iuLwNF%>&9H*V_A7J8hrl8aRlY!5D$1SccWewf275w=6x1WB3k_ z@D~)JoNMi`SUXUb2B8Fk5dsN*hc$J|>|s7!z}M36pk~(kNcM|}MI2h8HRfXhzQA7C z`%k|!%wMnsN8tM{of;qG0m^*G9S8!?QWTUx1dM01XN47IM%G&&dsv%j3S<{S=!`Dt z!KS^C@jX*4r(Lwkq#q&X3Ufcy`iYx?Ydj>q&ddpEKQo}>#0~l-Zr$W6gpgazGjISA zcbOC5m0uVueo-Y=(|g=~{z~~CP|1*gvzx;S`>*}qG^kql106pV~=4#n;L~Ed# zj1+0XIVMi{=ts^Pv(IzsLTid9MKob8q^Rdn_Y(I?h^EN)qW30U|0>f~Byt*ZD*ezO zAL1i?g|G1lk5$%>q;=|QKK9${?L4m@x0MP-drZdjZq6m|W1Pf2_}`(sqYF$}jQzL+Kia|{ z(k@1%L)vFMGVucKByCj*ldNr~EWG{%Uz#ok(uB?6@EnZCmNDG?SRbfpOxipN16k)Z z&cKBxmu9bwP;@{lmSHP?zzr1m53@Z~K|74XI-G^;eP$QvfGNnp3AhnL5>Amg_Q3gp z$_rU#v4)y{JYFlcd4}P%W_k3zHrP-gMn$Vwz1s!tZHMFwSxZ%n3RmI!vK!jqXBOC2 zK7KKKJBMVmOW8{$>EW<96{p|(Q5%@YBHJE!UCG|oAzA%u_EJeY6emKj^)OfYtP5;= z3%{1Vog{N@H|STV?PP&N!6HR9;zN-CNpS`(~1I*vjZ!JJtoZG7P$B-%NK%-pN@iNr$sCK3gO9MYcV5 zy`Q~DhvW}AOC_1Be8(^4IxC|t3v7Ek_FMMe9Fhlr&tB?~to3L1QitTuoTZX zLfD*)22g{Az_}1iN)`E-WQ0vo8o@10$ zGR>E(sa(KDQ;4w`2NP0s{$GQn(q@v2ummfx78dLPTdJ%28)1e@CizC0e2+`MG9_Q6 zk?*m{S4P&o%HBJ0UFpJ2P7mg~y{w)?ACJ&|LS&%%zkS7g1OfY3VK`6DGiw3%2EYczO?3s|;aJl7{+iSU% zmK$QZxs|(Bx&4$IOSxr~+dsLVlRGt;@XI_}X2&w!m8q-DMP+g+(?*%{$waQqsYvTw zOy*KDIg(4hTw&#^CRY&qBw-BY7!OWN&DD2>8%p@4ljPjgVl2fnEZ5(eV<@X<%rU&= zy@mImV=J~{yMAwu;Wh1BeSL%>R-bD&_*$Ms7|OZ0OE4AlX#LdEEZWdp)A?IY-yCDO zXB%JQ3<2$Pf-{_JhKK5^TB`x-H5J9LV_r-?d9iur=>wg2AD`E1S(l>-E=kWjbcBk? zD^JhNz556inb&Hz-ACn@=Cqm_UlD6H)<+J-d&syJ|d-uk?Pcm!wMrC~N z?u~h$wH{v85Mat_K4U&jYvdr$t9xTUXKhr^KWn4ntYe-NOOg3BcBG2X|EkJ&s`pei zRLM1#8fAI?T#F+0_DC` zk7bO)`Uwo*j9-iB-Wzc_l#YGbrYZxcU9C@lsmu{kmnv(Fy+%HRLz@_eY`jAW zbx8GD@C}Y5vIY;B@dn<;Bgj{9UqvT;hHVH=U=+o0jKKo#T~ey zI;ue0su6mj9~x3c%@N*!Dn=W~7ch_D0?ss~P4QPFs--bQIc8uvHo>zAg+XI4<+2W#id1}vHTW8ba09pTLRV@Ql@W%f zkZ+ewMJm?NrkhOsaqr2>Fd`Z~&=V6e1uL-{=W!89eK-p&#R?q6VaQja9;3utT&qwW z2^fx%2pY_759**khQc(0Kl3mjoAEim#aaA;M+h83)uAeCpd-3q3`}?*OR*DsZ~>Q~ zhSIbsjdEy;WK6(hd^nu;U&B0M@dz%D@EpTEAOcVlsbiUQK)x)}4bw3TpJO|&;Rd`- z-2Y(-mg530;RM~|H2%UWIq|_kA{TYOp`dVOw&aefn29aej%&D$ z(4+JsG(>Z}jd7TZg-01$k_>((pJU7)(GzEnGp)n46U?UYS0-(T4i||7RJpzQsA*;DT`n@-HVAV^j?$!U#+t7|{~1Vo7br1o=|`HzbbYFNRK4hc?D9 zXwi%y!Kc`bDalj|PPU+{U}#I)2wtz!r7);10|?e(6HenhjBd|~;b{k|kgHS$ybPaC zY}d)e^SbT~8VE-eTA(#XK)xU=Uye<~I&8pR?8hbi1l5Bbqa@0pIug+VoiP^U@d+}} z{xzBlDVS*D&ra+?;2R8k*nl0l+nbN^AYW4rL~FFgroLR^(4imCFfj$wu@M$r8$d0h z=s>z2nxHx48=C=Gz=)TQ7DK6-cKn%wnfPM_&45~?Xm|9(VCYDP-)PzpsdyI~8Tl+Y zg5$V_yGT!Am_?Zhe1wB|R7W55gJ}|HjtTPR$EnjO5z=A7R%}Y;6}NC7muGTTs63l4 zg?8wS37CpCSdTL}hxYGLGdO~is4#~|aj1>D=!Vx2F_-p_o=YdkQVf|#o8u(Tp=KI2 zfvP%JD8w#exP^TAu@xpG6`Nqe&$x~9=>!?tqch}-I&c)X5BCwdhQ5!QpKwOVTt^MzOa@Vpnj5(Mq9H?R6MTuU&~+E_ zir%}KcfoXEkM;BWEnhGV!Vi#fcj8{+0!y$QU*iydgM3EnvyXT{btEA1FbBjktVF#Z zxUgXPMc(79D{PM?*QjYsxlYYpr~Tz|?{@h8%+QEf)P(B|MlEc`b`-eDNCqRKAj4({ zjKUb4Mo{^6{tqCuB&q46ICu>xt6ZCeA3s@RV&browt+!;<3MnYLG0uF7(S&Po-IA^fwID zHV-t^)%a+y-XKH8I&atd#z20ethD*|m!JRkrIwX8&f53ohexbw_obcXzf5#tl@}qe za$I?p61iCJO*eSDu9{)U!c*f!Lt2XAkhc_2R+0kCYdihN6vHl;XjM#KGTsm$;CP=E zV_Qcu?>c8jJ7gwIaN07;A@g15%t(jK3(lEFhs>~vPP>h8$TT@;hG%E`=tpyB%AKn9 zbfcAz{^F!uyOmqqoXi2vnXwL;yPPv~YRE_Tob0sQoEq}cyEh`4SDMcQ*-S$!l8z|^>>{!b85(2zu=si zQ$yZ**fgiz=G2h4ZgS4dsUdIusB>mc4SDM?zT>ppoEq}h2RLWu)R4En%Q-WrhP-so z)Lgp_cc>vRy{mI(P7HbJ>zy-mYRF4}>YSNVLtc9G=}yPYsUa_Y37HO$M#5E;wUe8> z8H#M4ZCLB#F8@)jjA8nxW<&3+cZKNgdbzoVjI4LD^6rPZhT>W866D=qyelu;J$BHD zoW_vlqM4-M>wX|D&Cs{d?s=25{V_2UjQ&tJjN;#a z51UVZP5r@q!+`o3ZHH!U<@|rWQd%C+wovEQQB_YhRqc5)nXKBV<}BT#zE&qyD^-j4 zO?m3mM%B{SEHK0u&Al_ruL}&X7bq7IRjXcjy}0Pmh{&Xv(5T4BI-#{9;$lMMlj<15 SBcdWB>PClKMlCT+G5ilni+!g6 delta 22633 zcmd7a2Y3`!+wk$331C24LJA2<3|&efn;xm5_fVA{KuSPJXi|lxNeN0@U^JA_J5ps) zks`ep1qDGsY0@pA^!I=7>?WH{;Pbhz*XR9`>$iI{XUZw}Ia79F)XqGk_T-rs`ep-F zF@6dvN@LRU=kpgYUdY0_{810}VKt>{E7TcUj`|6ga_3N#zdd)PZ%4viQ34(+N`9qF zuP(jL)jU_z$aH?qox?|o`9W2-mZ{ZV1n3(~s=uX^mebN(Tc##i3c1y7e5aM7Xl!+l zclr4z?z<((YGJ*5=RKk=0(I2e zw!Oc9YwnSKPfBy!ejLkNge%J1v}VbcRK}6X`&stm#d}pM5z2cK@A6ZH^}N{2CsbU1 zR#sA!WxUJZtmmdQYb6D#6DtLg9XM8$mF1_4zwzFU{DCALm2|wvTPo#>&m-+AKZV|= zB}!?w1}SAJ>t2|Cdy;F1`pKrRUhAyoj0&mKt;?pOc`oIAEh5Ym6&h-?xECyy-<}R` zpBSuqg4#uDz~LzZLb-HJnS3CW^8Nyjv^?5!**m0w zt$wCxqqwFpr}D;Fs`v!iw~Mj-#3%9f`Y(IWjxaDr)qDEhYMHqb%S;3UsQhh>c z%bCLV&IpT;wd{L}wD|airKjWl9Lu9DgZ(PmOA}=;jZ-g$(JFrSRwQlqcWf79spfBQ z#jqHs<*}CK{%_g$7i;W~8l^{lc&Mddkw!*-xIHMSO-8=SGPy`KqnzO;%gG}4fLR?fMEU%?l~ZMK;Lff z_UzuXTi5czJ-hbq7TmSlz;5pj?3tV-naO>-_3u2eXHt*g0Ye82?AFJz_Pd*MNBzBP zON#cnnwOcW2m%pg@&3DJVD9{ik_Y#GI=XFj+O)KB{EkdZN=s_jxK?8(;3CyMd=f`> zdaCrPr{qY&`|fHH@5I3FD-~mTXahgzyb^A`WS((a!!qrem*va9f7!I-QJiLRf7(0O z6plAF|E&IMiKxL$eYxCK5BJf=-dee|5CUR|zP&sCq05yqA; z*?XW-R7bAGRt_~-|436Sc;4ltm$h>GB~8s$wx5ybD4@%ZTnpmw`KQsCP6d>2%>qaX{YZY{9tzxr+)s}h=O%1jTeBP*RH!d??-nUtcf5R=i zrug42er_*EYg*R5@QaZOWbU5gwvcQvAc%WZPK zs=h`npU;_H9sfxzCm374q)7i(Ec=)G+2}>5pvo?&b@yCqZ#{>*BdkxnmR&uKux?@G zy`&~t@IPg#~#;pbHA#evzGr5lWo=^{(lnJjg6wbr0JCaJva|B zUB#2@R8Lz>S9<+bbv0sod!Fp-_fKLv&e-xL#rgMQdXLeAP7#%TOy`xD&hLonjd`=H zrxDYUM&3(mk~Jo_8tv*-g8zC<=a-l+XpiYKoRa^Oxq3~$?Aqf0B&I7GMR`fnOH3Ce zrv15hD&l2}=|HCJm)F&Z=>-L{tKUC~>EgzgFDcHy7t_m(9(0PR>|@$fV%p0Q(=$D? ztEUmuzDC|lYLYdkQ;l|YD#3p}roAMlee5y)dZAbKbJp@tVcPruWS;ggit>`Cmzee; zrXzh6CCbMZ(=Q0`|5r?pG1hVEpMMh5IbXT=e=nvd8a?P#;_PF(u*9^#Bc=z@ELr=} zi0Mb(uWF~PG4X-1zEcVQ>oM&wF&$u!={vsvS^4`K>;J3e|A*Jqe;D2JikJ={rUQ6r z7FgI8)0h2TRaax4?rN;#Qonx^)7LrB%SX(=7t_6r<2sc%`pvtTzk;>nk?zmvPnyxJo)J7%c#ZmPfMubL0Rw9vxar` zH*A%6D#U+xs`g)2O4Y1+-&FIeIqUK%z@Pf)`f8!3XKtK1k^Xz*yzQ4|_TN2U?MY9w z){S*Mv2y(Q_#}SV_lgqVKvSAF;DZ3(J2uetfo0T~Jb8Q)lS`ME<$C^DHBi6UPxaPs z#Hqe&%`Iis)_MIGQG)HbjvE*ksVE=9KT1Ctp+3^LmsRuW1#`agB}DbtFGZ`tW~oj* zTB0M~gN`{!!*cAvQ9O)Ll(8I04tNWX@d5>+xBy2#m@ys`phfd32RhQsbw17ONCd%Dkm0tuPvE zaTXfQQLK`FvWa?1zx0-xsIRZ2HZ>PxX?1kOI4r_$NaJ0@7#dI-F%@(01-{1v6s19> zaciJIq>*Rhb4X(!M>vftjoc88&kwI zncqpjQ(aNo@(E-+^hH1Xf-87}rzl&C&pR;)Gho3}c+^%DPjo~AreP2E;yjE3>AAzz zqWYTm3IE>1Re$UDs%j0@ERi9{kFBOCZy^cESd67OhfDCJe1%XS4KN>RIE^#NA4j;O zI^r-GL+}~a;VP~ns0RIwR(QJxVg50RDcFmBc!b9Yqr%~61Lua329e4;DlQe4${xch zT!2p<3V=;0Usq8^U@q1)RFpc6Xt>6TvY-jaiBBM-DT5hDn<>f(cs6GqyZR4*&wjf< zyWg+&uiLN4kKQ3pZKX#YRSWAI97fwSCBnOe5_j`vxYE9I(<#Yt4 zJ>wpM2tqKDF$jaP5R2L~6b_U41An7I2Sw?DMD#)1j*9XF(fT*qcjDkUj=h}~rOdmG zOMHv(a1PD8DoSq*M+%B{qZ=@wJ7bMQPH9 z112%YCM!yAb0Wh&@Lv_8~nC zj+mV66qj!koBfGRiO+f6rA({S%T!ul-;DG5JhG1BE(-MEt0HKI{;=REB(!tkF7BZ- z(JT=?6vHqFyKo+VBVRA3TQoo-#$yTg<1Yj=3ZBt&{8-OLIL}&n%(ip6tWX>8LWa#a zEP@Q5gE)lW@ESwO9g&Da2gvXmjm8Wy8D>MU0tayuB^Y)x^g5t2!>tOs*oPjo*6GS> zK(@1}49#H}j@ej;L--42`chf+#1w47k9Y(b&i;t859yT!`@*gbFy*an$19^f?d#Th)sGkCqvJcDpFKo^Y15}d$O z1P!uyx_5l;~~Jbm2B*wd?)Q)|lo+e&>zDK22|L~xOR zsROrZvSL*vU=$YO8~lPC^kPZWK@V847t*^=(Sjaqi4|Ch+mK$(Z&s9Q=m85p$1jlH z_Cy?BIVs2r5*BUH79SuD`*0nvjix0Lk7QWz6)xZje8+G;K_m3WWLR+-dB$>&h&C92 zW%v#ff-)&YI8O@pNlNna;yfRi=Y{`iP3WTuM@R(~`DZA&vI}bhWIx4p$*#;TfL8 ze-iP8hUkt_NW%_XK_13SdC1sljQ1d8Xbi?;6E@>8j^Ht5eB~;{OP9&^`RdZCELWjj z$d^Hw0>?ni$DotJSO<;)`6=mC9DoeUOSp_@2>O_53%xNHdvFczQ?Cjg;6nVeHPv=yCwit+B<~}v#47B=e#kug3^LaS;uwzO0Ujc9 zE<+H*FdR#<3}@jsk9;&kb96&@EW%=Z4H;@p)i$u48jTh9d>&f_ZbZr}jOxsd~IVhY+!KVZ`5%-JYw<=ljOxR2kUY~@^q zWK{oxN?`If;tuP#xe++J+E0C9miF0>+*Hz0=^)a>;Hdm0(p&KbS~@kthoqY>q~S1& z2AGWv_Qtr(dmxR`7VR(!(m0>s8O5{zSk3*_(W+UNev0Fgi|{3s9Etci71JAZ@VPxtFX{5uq3YD_)>FaUiiU7UP^^Vk>bmk(iL!_`)6^`*<%yOh}y6 zgTzXEILC^*RaXbALqksZvBXpYtxi$z$6FK~5-QbTz{ z;wg^o;`;j=uD{V5Z7>Uq@hcwU;$BX8xCYZc9opHx!?;wlyhWGC$k(2 z%A*RZp`m25$A+XEp(8qDnAKyZEFVUCI6lTSEVFvdmgUPxFUJ;a#bK+*CoB&+Oj`Q- zC}z^9jy}HO)X%wgGf`lIo|LNk>BCYPJMv=fl&UUJ10^dG%`gz}BL%aOrZ=0*CLQLo zNwq~hawfG{4U{Y$tMC=J;V^ze)=lQiCX#g#_u#gNnFXE*hwCPCJa23N1?m*lPx2#B z3*FHJ>)^DFm6GjJ{bcESY`~8=k5YuTRd2RT>adI&S6jlGfwHtT-b4$uL^ArqX>Fag zsqr!?zGU@7D&}A=Hsf3KgE)jO2dNXbA@?EHK}9&v=%0;L3+M&cGD?$W zUbRiGS^vCmZb5naJC)5*p01Q(EF5L1#&MftFlOUE3UK@wyaO}l!%?nFq+g&l$P^N5k#>ZN;xzt*|4}*=Z=wvI9Ag$l?&E|tn&W%?fHo&M-D4O& zMdC>gie2~yqfc>Pj}y3u&~IsU4EVMH&s7o%)Aa8Z#6V;VAfH(of(= zS^d!o_DU#L(p#|)KO-;YFN<=BMJt#w5A)%us~`1}dP*IgJ1>9w6w6sD!kBCeZcwM{ zYc{AY105|A!&c4F0*RP}$9l7k3=B@-`K&cJs$Z*tvNQ#AupBF}6$jxIwzep@57NyH z(m=^SgtO3ScQ<$<1g_gzJ8Y2wC0P|v70u8boiP+yH`ywiNY*f0Cic>O zDN~5#AHq32h9f$hwy{>*#z2g7#Eb`V;pr3`tBHd(s7M?*;-SASCWsy0_hCPdS>v{= zJJi5qq#xiRo*>{mF2PU?4~;36hamperaRU3>g+vg4!;>)v@NT?4}!5U?tYF=>|MG%LSFoE*4y3^jv0yU*Sp*A6?^u|2hvs zZ*ZOTE0^EMag(09#b`wIZB9E#L~nTBp(yvb62SZSnIY~gLCPn;afkUk<$FLQKcuU1 z|HAzXhrV3?sqn*l=j-q`W?Nyuf&-eu%w3)P98MMX_EWru9>;_!& z9w6v0H!bLl6s*J{{0a~HAQqj_8PYE!a2?V=uhBo{@HV8c2H`m9Gex7zOh~|JNEdzz zr)OO}nvCEE$M|SdwLj&Ob%N>YqG$r?_Q4o}r8te-$oU6nBSfMpI$|gmV=o?|)Kx?#aLu7 z$<&+a+d3ul-b!C8NvHCKxyFdGz}VaDJC4mHm1!%N)(EpTkG%~2?m0HoosxGmmP*p8 zR$)rCYpooM?0Zc3J$;W($@3XYCFxYYaQ)<^Ouc0+u?SHiinjeDY+a#^=OR^3(WPpbB(rt{j{dMbxDv$Q#Y39K+zqf9J{?O))#b6uXF zn{7lD;Pj481({?$IG>`bCual;~L0M*EE*4-3)?zERgVQrlVta&W z<;?z3T**{2z9}VNhLP{0jA(3p6(gV>=ZyqzUAk}u+nxFHJ!i1zuElt;LxoeY!f99GbgSI5KB=gcc5|1|DU`3} z3u}{bEm75ZEun9T(0(RyiNl21ucS}MuPyGn%ZH{+}j_KLjlSL8*!A}>BwfJQJt6Y^tjF&AfXPXT@w*v+dr*aD91RwzbwTx$ZvO zI@)(1{fgaZTWh^(bf(4$%f6Df-Ali|tn^{o*IM7{y8CP^Y2Q6v`;wjwV~uR`^w1d1 zH`B}=qd$$&{PbNhT7^u@V`X_=r$ymPsNOVID_15XFv4F^zi=f?U&886p)YgqX-}>U znGoeW>*o*^%0M>pHKKJOOQBj)C^Lof>BVhb zKW0D*v=JU-xxA)OPbp9l3m>LZ9)~TI$6-C?K>=krg&IzQM9^KUwUSm!HBVz|n~nUG zsxTHX(SL^TXs(|j&8AUG9|T||reY&@qfS*GYGNUlL#f7-QS?9`?81KB#h)lroe3TF z(4;yOd!IO-vk01DD5Q^OVFR{eCQXxy;q_=*EP#A%(yuEkFTYv6nF%>hg1K;2h%)juW4&Wvj#ZVG8Q3qYo10P}{ zmSH9K;}CA(7IF{dkrv7#1P##yy^)MhFb79*0)Gsm74Yj|`v3M|n*9SVe$WLyae4%| z$B?ghti~CfMGiA}c?d%!+9LrsaR+5bQ2+#{a20~OXn?XGu^hc1-^n@sF;`-!IERg5 z=MZr7hyje6&*$<8ZV%BM9Wcwx%cuBcGnWc*v(lVsi;f856RWZ~{3VxiX#F*{Mi(UEeGJ6{ zEWwx9j^aCr8B{-sc>>!3^RONzPjT6XZ*c*2FVj<4iWL}oldDuj z-J<;Hgs$j?B#gvpEXFb%#xZ=0(|CMKX{tOUQT8@nk9ai4U<`v9qp=JtaRz7c1kX|Y z4n2nEXaycjSa;UY(lq^e4Q-~LP+MDKUQv#@5+y^p`Nzl#L=dJkpURvXY~q_02!RRL za1-Mq7*8n1S)ddmnQvnu|HR=}?5)D}ExJ}C;xG>jakB;kA3jWr{xumpb!#!$5M7&( zaWS_Ek$@L?J)T*lDXoE^<`f1yup8~(X53)gJIoSzgy#t6lv5o0+AzS;fYVPr`e7hC zv}ZfK+nI@>vzd93gc);@hHoI>U6t>xUdAIlMgA_FuMh$g8X_J&(FYSS8B4JO2XF*` z;|Z3$OE2Ltjv;qf!dOm-OQpJOWyjicr`I*~DlEAsus>m;;E+yvoy3h$HI zA*!Lm6l#UR(-=uuj1@SFQ+SBSC_0@W#1gE6-wfgf{V)h0V;WZDGkh?UAjid-^#3gq z+h@_|2%61~FbUJ~q0VUtW9BfYA{Fy-0;lmD+Fb6`5QDxLh$UD7`3}uRv}Zoa;f#gTUi|XnqRf*x4LVi?!9cjnAR?x_^ZNAf5GEr-zg--6e4$0ak}9UHCBf5R}RIk;Cl9-dFguVhF)5NnrktwviJ`FQ(;xTWpAxw zKKFV}W&gSFzbL?Yd|Gd)mGIoy-u=Lx>nf8iwiepB)`Nn4>_&*!nSmh1KyA(j)rD$%}-zI4Vax6>HYUQLG_w}#>wKFPZeK?-@404%Ib~KG<+7#8DRZi8CY@{d&E##wD9PhH*j280I&90dlE##vgcg@UbAz%HC z37K{q>eNEMda`R~MhyAtJ6tm}TF6%~FwteV87<_iC%9&2w2-g9&NVZmg?#lFu9+Dv zFJ$!&z`CE&fT>5HrxLa+eCkV zre;>}=nr_ynVVG(=tE~|qtqYt$FsCyYPA0TZ1St=4`yr0br+1CV%y5~|Cptq%5J5F zQd6m`99EhsjrrZL)K-4ts=OZ4egtYL^_8}~UQl-Gt930lf99Q8f7i9HIZMRViirvf qjj0t9S~D~}B%)4i&5)QnrdlC!(Xnx%5iwB_raDp9Ve_={+W!FLeDvx7 diff --git a/doc/vax_doc.doc b/doc/vax_doc.doc index 383c938b0698b4054426a886ce93fd8c3494199c..a2e44f4849f13cb9c6b50e71ce70ef53cb3ca53c 100644 GIT binary patch delta 15347 zcmciJd3;P)|G@Ecl8D5bNMZ>p_NNF*W=Y1@L?oy!*4kw^Mn^vMkk65_W~JB0Hm%=sE3MD{@;N{Gy?%&hJq-9xlm0ntTlnQ1+g>^<79LXTmOD%e|c_xd6Kpz zte(3(Ny`h1spHy?txAlHOsE@QH$F5qqf=-^Oh!txwDxJ~F}*qt?rS!?E2$M+E1ToA zUg4(V&T?~HOpk%AuF0~|?r-C@o#CYKeC+rYqNH`RGj;3v;Wr?t$svZcU6lvI3lK`YfDyF$4sHx;f|%XZ^FXeb*$RK zh|2EeMD13DJ1FKvLwS6q!+~qdyr^w3T&V5)|HbAlW^I4|hAi4IrETsFSq$Y?ty`G}?sBWPtc+*JiQ1kr?$B8h zwg2XqCuvp6)_2!WGL+l2nfc{5?O<7V=&bJ0S?j8ST2)1hDd)~=Yn;})oO^H9cx`04 zx~?3sy3;B_YZn#m$~0?&>Ma}Sy(juFVsA~*ibQ+1X3`R(>$uuzHErr2eWildA#vEI zVoA4kJ-NATsma4V1Ha$CTFX3KH8h}k8&P^-O29R3-qA?y&BG3DOimT8E0*U}2~_1P zb1H2*o0A*hQ#JQwaO^8g>EI9<9x}nX3DGG;zR+9*4Z_F}Surq6&3VtaTKLhZ3T#jq zs)(9VYTxb_%s5q{Sf!|e1x*S&6{(Fo8tS!YpC&&R?%K6sqveg8xOVjW$J8FYo945Z z=u)>hu+bCan#802|K7NWd$OFdH$I)I?$z$d(8&BqtUFfD8QKHKDm&k=AKO&Rzmc^9 zLM8-eT?%|q%O2M4d&jF(_TS>87?GVPj3bhF;+S`@wcL}X9zFoZP5ghyUE6-Fm@~@c zpL*YP^VErehc_v@)VIM8iu@zbi8Jn;IP=#zv7c)R|7?9|PUQY$IdRrFpm}Hga^l>> zbK<;l6OTG4w43Ko{GF8ePtgYj{*kA|1$RnZ`0JEdQ~W_KduU2r{Krz_N8@7ZRT;2Q6#YdhJKeMDchxT? zu01>@t{XS;=u_hQ-%5$GQ4b3IBTtDN?v%Lk*C{ci%!69?(3JS)A4`dw#_`O%>6a3> z9-b1njhlG%DRKL6r9{u@2L=9-r^Fp+N^H7*r%?%e7mE;sF$CifV-+GEy>Shl6NTuH zER4n!oW@yP!415SB*Y+miTzk*6Jjf7)E8nce!v~HX&}TV97i648;YkyNJAl>!Ag{A z#4_wKJt4#)e1kJ6kt{@!6dHoTsX|OfPE#Qq&4uXlq!72Rx&NIzeeTvZJ*cp(DJGfOw(0&KEx3er|Bkmx^uwLm2GrqI$cm*(xJNbAv|6Cjpf#K zsf}Z35jj`dRafm$-Tes1pt@a{UaB7VhwAkTsGgUm$Ex>jp&~E<?yCDL*N^^vkX)_TDlWgZt8aco1!AaTYR32Q#I$6x5TV3W#kL+Ypkn+S zY7pa^@Wgux%ZG`%iu)y8M$t63iw+op_i-HV)@b$bM(DYvN-(!GG{8iBPO1Ly6L@2r1Gq z0&8#qm0R;vs{4&1|in0hj}7>F#az&kjG<0#RK)IneL!|PazBlyO~OQGJh1`ToR z(z#3DVm~~uYRUCaee3zB$3@6Uy-5Tke7dl#s(%(C%i5Dwq=n#G@bPU?)!FJKV;vh$KK!7y%WmS(uIWxJ&GqEhmCxrXx2}#z?y= zJ%U?^=*-MPZ%n}_xB?Y!iN5ZzkKuhRR$w>IBY>f(iMAMt_n?Mn7p5{q)36z8xDLV9 z5}}_Al6@ScJxx)?*|>qoZbDel5u>mQU*Nw`qg@_0s8R2YKA47OSdKkV*>DPl$q1Dd zl@Nne^usKyg`p`w8&lph167?PxDJ(B;ZWH%2P(rVkQ|kGo*RQ2coHp9wyzN7kc#10 zh|Rc;n*D_M7oz$z6VVWj&=Gg@2dTN^(`ea5+EvOm!f=eh2Uv~s_yN&gTB%y7TJkkc;5%GEVOmkt-J+Y%2)l?FK(o-~S&ojlkGHdg*o#Wf z6OI??9u{LIzQiFE8$`%Z0m*}f7>fGCndKum?qf4fqV`CRMdO zzS&S8eee=q#yfZyhoJg?4=MCp#o&3khDkWc;4)H6z8kHtuOu_<>Z@h=1fEdE5T+Dl z;#GJ;cai17&yfjefh^2~1DByf8-o`K`1sghH8s5ZF1dv1(k9o$S_aZWwP8C^Pw{DeSCn= z@gpK$B0bR`v#}02kS}wxLw8KWW}HK@QJjy_1Hlt{**MC<2{winc}Hj?-yOppR3+Wp zq7PK+zleo+4Xd#RUt&Mb;vD1{A*!G%a&Z<##}Zi#fQB8ojqq1U3%rcGLMKAm>ge~r z&-I7ewc4fHtlFGfEenIN48J0C9NC7~@h-9n@;$^%BI9rkVdQEd=~vd0vaF_MQ1Yr=slM!F^t4myn^|tJWq(~Xo$&}f~j~9 zYZtP;*O)1bNOxU`Ntl66IESH&g&1byWdZi#D(WoZ0`_%s9S4_kq(mNWqrx)g2=rQy z%VzrE$K`yxis>lab_d8pP*jlm;vJ|U9l)QcMqe{93@f36_Z99!1u<$o?L-o~V zNQN5a9(Wp~F$Ovo!!`XX_$9mg&Vg*G47rZcWQZqI-efr!XHlJuQJIs0c9?_@kqebg zcM(Pwg`*8T*_FleW_Yq}Kg+5;k<#5B0_=4-P!(#Bf}V7=u-p&*A;?BgR>rd|X7U+n zWMn$}xU+Ks?_Z%f8Cn8nceb|Ty)|CN2K)$F)iE?d-4a!u!*v#B;Zx+HJgM9WD$V;K zhV)gb?MdZ-vm891a|k}vI1XVA>8(=yk~__-k?LDWb(QYt-6>y&G~Wn!x~QCS*v;y^ zp-Mdy;XKRp-Sgmc!(6!Lo)59iiB`-9H81S$xv`D+`^*W!d?*h!H(FvU_Fyj}my^_Z z0?D|m_V4;}*sZD+YBs4F3*O+me+9=*48UZ}M%qdtCg3Da;o>STK;Psh4V7^2ErS2H zV4iV2#z|a2?e{p*K>nMnH0;7|4E=y9wuY0zTCS1Sa=l|_q01)H3pNJ_JT(27Ik=T$ z?>4Rppl|1<3OS!}w}_uUruyEfU?o~q(D4f{}%C}luJOT$`x2o*UMwSj0# zl+rK~DsmHXfvBm-6?@YawHV&d5;+yUyHF7l}(=Z*YaR}EDzM5M%bi#P7gS#OQKFX;I zU*k5^n3gFRSLd)=7}{kYa+JfG^+XHW22QPbis4qnJ`wAnhW{*@Z|3?8Nu+@%9iC(P z$^Xz1xEkab-B?bMc2$r{uBdz&f}vQAH8_BSxQF{t`DDWfS{}~lkVG#+bV=q*4eurW^Ik%w;CgFX2jh_*-OIrf*91Kn2^l1wPcWK-YQ!mCh|Vhb)Hg2`cl znk2394UQs!38N-WZPY_@M`O9OW;1vG3biP zSce=G`oc9y6L|j$p2>Qd<*EBgS+r$-X5bLA52`08lN{OUaz$WKtFVYf*n~+R+FK6u zD+tZ6p`UFnNBDg7s=lg=&-$vMc>emrBy9SPmU74giVU0mD#L3p>Z4%=vxxWI#siBI z{A;<240}rM;I$|9(a<0BqMlyeaeg+ey`huW+UlcmZQp2`odsS!N%U`{tH`jI6?&&PY-->Q#Z zExg{+r-iD(u=T;cy|%7CdbQ9mmZY^ayk2|p$xw@~3JiP6&Gg!f`e<0+>KjK_fuS8% z|LlBVkzYKm{voz9BYkFzD&qg*t={sCycZpiy=Tz`*|U^-+}W_V>jq3+l`y}DOpx8= zLjAx5Stat zQT(I(j_k>@j?{Ur=J@XvDi~sD5>~y{G}+gyC{f?;Ta={NneJ1|rZ4j@GK)C9*bJ{) z>S!_6wXx0z<7FqO$vwUh<^)A3$1^C zj@OD7T7TNNC_!&E*Qb_A-|kyv*6Ymksb$fZ`4(CAV)K1!CF)~+i<0y_-y)mdV}aL- zR$711wnN? z>|BHl_vRSOZID4W%SKbDan3iW$D}o?_zrgu22ott86Doq^@B$twXnx=<~11*VE>qL zF#45oFiKz?jGkp2j3zM-MnzM3EMTyd*c+|qvw>aQXB>=nFb+m17zd;3#NMa{pN;-x z9E`RSd!rM4F2Gn+W-N>j5qqPnd^UQQaWHy@u`n_*4o3AD3!@(ie?IqE^j#twOZy*j zWCi1)=E5aJns`o*7cdU1un~!7o{V4~7UC*ypuL6P3M19Z%?({xF2oCy=Ovm&IRa<0r(7uaUWqVm=idP>YQs#*hTEW#ADqFA)2ElUd9+K zf%>(`R(yh6xPxYWxPie?jKC_q-G{N*&B9)s$3+BX@`M4^@h_yK1qL7s(=Ze7V-5D> z5Prfn6zj`9Dq<0bHfV>z7>0S!upK+>yxhPoRC$J-qU-=3CSV6X!}RBP4vhI&jMuRo z7l(5LfUpsq2=T{A?zGV0MQ&v9?n^WhtzPC(hO?Z3e?p6?+$iAqG#+G}=4In74js6P zpRt`&^bTCYPiVh@8&XWdR4iG@BRQm!h0U-8%VAr})dNbbFa__`ra z?J=?uNsg(>{5}qaTXN(>7G6~7&uDzshMaCgbo;mE&KKK^r5ZQ}g>Y)J|V-&_Br8jr{2qABaVkh?DHvYu00W@ZSot<(?xD!7j z58+unr@&mihM?zY1nNA`ohO>3C7!{v&<2q!STu~|2G(Ld4j>!*M(~b5a9??e;U?Le zkLGUL&dUgl!W(!C`)~li;0{KPA*8s1>uAEEw;6h(55~fdn&ZeH%z%3MpGD_}Vn4oy zWjqfr5kG-nDJhd#uRbqr&>oX89UHL)mym~QQ#j6`3wmHSG@PGH9dunl4q+x1pyF#B z_|P1!Fb}WcD;zR5-tsUPHdYIO5z2P6KGUlH&!2 zy~!9td&@OlTddGofbd2ISxf@@J*o<9PgS85R(Hi22Fo z#}n_$wDM841iM5CEby2bUO)+QCugPO;!a-jay zZdr$WCdcI6azVi3&+Sf~y0L-d^LX()+wE16WBq#^utYy<2Z_M2{;cLKbtLbV&&uE| zww9&-maDOT^>f)Y;8r2M-aZ-aXuVIa3)r$>c9PPjcRnC%rj#!H?FKfI3^AhKp4^@L zq;t8{M|Zm1+Ur{0ecF~cIY&L!XO{#CYG>+w@OzF*7vGZxx>FMAua% z$-hcLbX`>v{Hqj1*HxvCf0cshx~kOhuTl_QSCtt5Dh1JXRf+bmQV`uRXLKWdtMF(t zKf10eCH$)tMAua%#J@^GbX`>foK?IYWmp~KF39U4g$DNGFEbs(uE}622RKGumq(;5 z!XI>&X}11}rhJtnU4OipqYhyCKSxE1XeClbOVLSu#`_tuhyVK&FWU1AH(eYNyF`LG zESidwqMcs*rmQSO)Fw-KHW@d!v)bz~H)IJ}d%tKdPKgsDO|%dP`L~B{el1$_SD)QP zSIRnw4AGgt6>TYY>Z@E>Q*&%;f;lPHY)MaxwKXwY zV$uw-N$D0# vNOlHr#E36scDv`j?wqzl)(Q3C6|-E delta 15368 zcmciJcYGAZ`@r#;O9-I~A(TW)Kx{xDm)u%Na#(fG>ssFQWW`p=1Q`6hhO~ThvD_U+nbx+oq6V&Z3!9UgEPhluL?9h z)A?+^Kq2mgY!c3&BF@)fA;P{FqOj=Jr(2&BNhgxDN~ZAqUp`+aMG4!kZOKzs>t|Xj z4{OB&>NReeB7}(*Tl21d{>^(u>OJTr#22i%uB#9u_&kF3i)+nH#k8*j666T&&wyAt zLyHNlCtGSG1Do)=CvZ|wmw?6P$E0a(^Hi#yzzU(P_#y96ydQQqpkjL=s!JiNb)%4< z$OIuu^R7Nyc<9eGfuJYldhOYu?)g<4)X#_%I{A$Dbx;DG{4;2i zthVNxynRf0Y>~;S-PTmfe>P8EOSIV*6=Ttg7I`LTxn_|F_p((>E%H>(@{F8voAyPK zYVLBImR%&GifcQu6(VG4bX9XzbH1det@0I%Xqs5BZu7dy5uIBO>~68RE2$OSE5~V_ zi^ddkmB&S-^kQ{QmI`-&8?S9H8tMKv-uGKel=ftZxv+CxOO)%|IBiyFm}_N=SsM{z zaer<0|2kSb6%v)lxwh6Uq=I{;7_EA-syWL8i@Dorv1oIPxjW4A-eTq5b*$R0oN}w7 z+@>`T^=y52F?R?pvD)XMG43^EwVy*hTZz+(6_0Y4$Ek8xI4$w6a9Z-!>7Cv;{o&!X z#A~BVxHn{t(l!;Z>Dmy>x#ec9N{I&UaMPa zH9b9oj}g7oBhu4SyZ7$VJN1<+5xrmOmm2X(>X6j#LwXM!puQZKmO8lWklq7&Mx+l< zAClVNQ@i_`jj?xhO=flqSigL|)-Cg?d`G%n6(xFAEVewJIVNq6v z09C#?tK6D%S!Yc?RnMLXiX6>+4+@q=gU32IAzB5?{`E!R01OS5Wdi!B1A^yUt?1$6 zrP-h`R1wb>SNnFi;Ej`|3zjS1E4N8SPKIh@4(IdQvrm)D7Ip2~u+b-to49uPbXm0r z@22_eB|PL72R(XXT$6ZI|KA%IQ4PY3z47VH(_ZZk%@>*ziIqpgoT1%ww7m2E`q4F& z{2N)x6g)Pd&y|3Owd_&d{`**k^8Q3jPu01*>t{XS;_*3Hgze<$DR^5+$nM6pHm{O6a3>9-R`u8#nRzQ{wl3l@gu89~St>o)Wj6DY54I?H3E%Q>;RyV+h7!JI)So(B)eMxN?CN5CCadqIfWn1{ddR1MKi#MTg^ z8Cu|T{ETidvW(prQ%i_a2||=ZCA34UL>hvxlZ41b>AFJPy5|0O{?vJvGIdj4S;Y~R zR~|C;Z$pPvCl_K7s?+!vkm>HoUEa&m@U|EOPe)1^IuS$%4ncM1JXDA7!qcfFI`lT? zIR@pIGo)R0ayL{*AD{yLqQjy&R9{y?_4g;JK6jwpki}{Q`rC z?qGN#oyGE#L|a8X1{So&7`%f`xP_;Zb6TTSzh6v0TSAUgFNx}9p?)?%2H9nR5b_Bj z%BadOVIbbZSNI8`^@ON{VOWMN$olLUDHw<4$b#u5Ap(%tP>42Yi>{3bDQ035ZX>F( z5dH9RV?8TS-gP(3*&H67Ih&*UrZ)F}10fRFjAxT(R*#3;Wa6*pcBVlK=2S}t0c)|j6+3Ao#7Y!s$BxsjDa0%uns@rS5)ZCz@Q!4<1?(pMO>=EOW7{u5t`!Owe#2R zT|0u^@Vu%e*FW{G=if%%Tuf^Em144_cJj}P_5>B4Pq3Zv?7$~@D}Exdv_sT!E|iI z8HiWd4hAC~T~e8bn1soA7x$?qgc_v!j*a26wzN0x!ti4fCSxNu;dlIjs$DtGA{9Nb z2=Cx9jvybc$&cDdLT`9ltXivDs#;Wry;sC@h(dF;P8D`%(`xo4Lr}k$5O4P85Xp0@ z2DpwQec50?!qT5^;sSm~=m16=ZO{QdF?FC2>oFmnDL#aQKg3Xm3&XG*dr*EDvlJP_ z3KAC<-p8$rdT<$8OJ7-8M(M-L$Vqk;vBmfXhj1OGdkFC|24Xta;3NdiFALR`TIdMX zrSX`671)Yz@hfhi6x~%_ehJg)w(7bAu2B*W61b$)67GlVtIElycJSf=LJYuYOvI;X{U-g!@)=zCU^8~&JDftlnL?yt5;Bp61NaSh=CHlD z$ZMSp!+spb--vvhY&7$-0Y4yQo)B?(6>rZcy%q>jav{eg#3BK=uIbNJmi6>OmE{b( zif9GGRT~2^A1k23xCLjR!ubboBb2ZfSD{5D8bO7604k4ig}gQI6R{enk)N<9Kn+Dl ze2e=GGC%4Jwo9EhKK8k4Q+2i>f#Fd@mH{tP@kU;}yZ5ckocI?1;T!3rpmG*0o`p!gZhC!ujb!>+xWq)D0GHF`{ zX;3M=01L4ncTt&CR%u-y9gu=~@TB=VmIdkUN%!I`tM-ISPkRi90`=t}c;-X~%PX-8 z4GmLc6w3{#k~Emfw3vkzP*dawgfm6jq8;o|Q%1+z*oVImJ)LBOGl3k#qva%NSD%;Q zDDp9#V$lPWp{Cpl^kpikY37+$H(72ri&F^hY8;Aio2jOzTMW}pO}T-POfxn0szOb_ zZn&=yANP;LZc(QVRqC0PRhf&Y+;g%hbI~&|r*a~V8{Dw z$h5VbxEvgWG2<&{;ny5ZzTwhfJ(-Sx4V(iua>EGQCN8ni6Ma#1GhN#FD-Lanh~|`$7eH1cn*{Jdx$|xPV9k-4H71uR{fXE@lz*+4u%(01o01{y?ea92t;; zF<6W}xCeJbT$f+IXHr$6%nA;@U_?bX7zZ_jfxY}0hdbO}MYM4Gb50dl!howm{~q_; zgI|RN(AII0hSx~~PcnSL@>^fh5x5%U7*SJBly+4xolH^L@(tGG58OrxvZo|oLIbF5 z8js(}D3w(~WR%LRFr0%Y!vZ&uB^z@ytuo72GR%{4by)tNQBf7n;XI0LcBSTXytl!t zcpv+53uU%&fc7W4Nq|4@oq8uq<< zbTZztFIm1DP{<;pg<076gP|B<(Qh=AX^$$h`qy$56)`}0;_YpajOwSA*$aTa*>B;LO#t|G%;-fio( z7xmGw4Xb}dJw=ALSoN%?UL)fwFzlsB2d}-Tk6wH6i>B2-nqxb9ZNul|-`?M#5WC)nj`xt`^!2YTvJntFz%o)@X766#Ta zx)E3Rz0Uj4;jSA8buq3kfYmjp^Eyy>T?wgEsXBA1lZQH1t7D@&CaE)jFTn*jMq)I^ zaA+JpPS%xk9Gk|;3#Q;O4uHi9t$pCwH$hgBIwSxC zdX*_YwPN*!zD03*!8d$r#p|QIi!35a&-N`c>nT&cR^+gy@AWN;(Q8cesb$eu_!e39 z(r^0Ivgy-&i(>V^e2e1re$#zcjMquSvIf>YZESB41R0MqXL5`T5`u=(3g2- zG>FeerMfWp44jiiO>z-gDWx4o&xFVpbW2@!9AAlhtShlh&x$hukw5bm5B5=t(Y| za^z7TwmZ(eB~2!KU^JI528oP=(P+lOXf5Mlw4ZS>YRxzpT_W~IfAZPDE*dZnM){lZ zz{8*-<6x9V?2YE|*{B}lV3dd08&%|UF2p8kU=K{Qk)hPTDnSuuBfF~Hd2&A>5izwKE z2U_Tje$X%%-(m-Tg!-LG9?nU@sD;{?-IY5Rtj8u~<9b)dqEI(3@KF_JG(mHuAsw?Y z2dl9T2XO?qa2v(DGj^~c9&OMbuVEzSVIjW82Asrc+=*g84&cW*Jd4A0vT!zj#1)KRz|&B)Tg1EQz(D8D`~nXXF$LSO6VtkItB)4lX#fh4zadCK zJ!~L{EOXv87~U2y_u(WEbpz^nbZ<%EX0_#A6-n#;-aI5(K%2JYZblt|}n zg^;1VBN+`868&XpBe;#W^Rfxsa23}OGLn_?B5GqZcECD{M=y92v+*%jU?+BC@EGz3 zhoOECv5wBINAV1X2N{@*QDgaqlEO^0PvB)97GXaQ;XdR*QFSJD z@WE{I4M*?;dcDPg4;plw#94&TZ_JnqQD3^BXz}lM0V|w$mBC zF&2~Y@&?8nfgAZAP0$RZFa~N`e}HY+f#)_c1EHpIQ>0-q4&eyYZ2b$RHxmKm%u2c4 z@%#s}h$*PlcIV|st);T=lf|DG>>9zi2=!A!pSMLWc&d5p>!QrlH^uY;e>jWPJ%*aw z>PO;1g48=~l~uT3a!lDOXPcg%npu0<>K7b4qQo7x*{2K-(U);PP`~wNCjmuLSuTM4g8#`p3zy}W=*d6gZ{Gn@?Zeyi+=tN4(aq>#gms<>ssJk50={e>cNEc`ggJH}$@9nWNk#c`m?_xkq-* zKlg;pmg^k9oRG(4fLRpPzdI%4%j7&h;c*RzB3n}j-*-yJcva!Z<*pLqe1F@w z3iqWxRc8BFiSwy4&A&>lPnC)ORct<0GW@GpeX5M`uVV43GQ_`1j8ByT{#BxVs`T=& zk{exD=(_n=$&GF?XLM71t5^)tbyaEYUnMuXt}0FatK>%4Ri%M{mE7pMs?_nXk{exD zm74xla--|266aqfH@dDW(f(C(qwA_t#lK2!bX`@R@vo8_-B4$ABYdmG7^3T{67F9m zH@dDWq5f5JqwA_t*uP3{bX`?~{j20g*Hy*jtm5??!{QioQC<(uGvR&yyQX9CH5nvj zcgOJS@}QJ?`CpzT>lLXtg|D(?7w7-z%u+|NoS&wmHvh~#rQIvO6~{zf{!i{oOaXr@=bDZ}#RXVpRoR+}!Iv+42+)ZTx)Aq&gOjo4y6(Ntuyg*u|4 zXe(N=r9JFrvuJ}lY;!+*XfHDLn0|e<6`3D>o`W-l_{o*NtU=|vpG5`GAS`CD$