From 8d17f3976120f481e390cc6ceb4403aa6f83f247 Mon Sep 17 00:00:00 2001 From: David Holland Date: Wed, 9 Jun 2021 23:58:55 +0200 Subject: [PATCH] Next final version; Excluding the working example demo for now because it is not finished yet. --- proposal.pdf | 1202 ++++++++++++++++++++++++-------------------------- proposal.tex | 179 ++++---- 2 files changed, 666 insertions(+), 715 deletions(-) diff --git a/proposal.pdf b/proposal.pdf index 9dcb8dd..0f8501f 100644 --- a/proposal.pdf +++ b/proposal.pdf @@ -4,10 +4,10 @@ << /S /GoTo /D [ 5 0 R /Fit ] >> endobj 9 0 obj -<< /Filter /FlateDecode /Length 554 >> +<< /Filter /FlateDecode /Length 553 >> stream xڥTn1 WLS0chz -[SEzڦtI HC >Ђ¤__`nx0,Çbz0M<zSE0{X{Ǽ8HdΤbD0g/i~Q$ev-oߔfV^ģajY촢U av!Tk{^9IȚFY,S; cL`EGGNϓh/؁+f 3&]GXJjiB]2&YZqUH dsBE04}Pv{L留둽IJ oM +[SEzڦtI HC >Ђ¤__`nx0,Çbz0M<zSE0{X{Ǽ8HdΤbD0g/i~Q$ev-oߔfV^ģajY촢U av!Tk{^9IȚFY,S; cL`EGGNϓh/؁+f 3&]GXJjiB]2&YZqUH dsBEźB1>Wf^GfF_'qM endstream endobj 5 0 obj @@ -3917,23 +3917,21 @@ endobj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F89 11 0 R /F90 12 0 R >> /XObject << /Im1 6 0 R /Im2 7 0 R >> /ProcSet [ /PDF /Text ] >> endobj 35 0 obj -<< /Filter /FlateDecode /Length 3317 >> +<< /Filter /FlateDecode /Length 3452 >> stream -x]sݿB}4sf1W&I^:ihUϹ QI+d< ngh Pۯ/{m3F2NfR Q2[_nQFaQgbvscǃIgXc9|m ɵ=O޷l3'zJϠ[#} 2o^_rEb8K!k ݌wm?\ϗLR.RByJ΋>mui -(eۭ_W1n7fS=[d_W|ݫ%Abbg0nr502?綵X4Bzn{[1j8gpIh_AO|~@k0pīzvʰǻ(!|}iS~g+~s lp|n}F=ϯ7E8"~B G ->h2X2ǀh&0pC -@ !hﬦaI -ee1dͿȉ+U -ji 3INlҘ~>cQC Tb:438-c+ɜC' G5P9!F9o;y=?PxXZ ^#WB*3GIOݔN,a!9 -Y -%ˇAG16ThƘyX2EIr'kf\g\lr0'lQi[*HEKjs/ڂoU I:,{ɕm/zVGEw f}+d ւ3g1ۓz 'shǽ'@dt'VӝBLL7.UitoQޯEgY{saQGqy`UF*甝3z?yɔEm\<B] ]dKcp7giJ&!$ - 0B#d] T퓽DF{vqM|l%N8}e|19]_J̜G}`> BTL? >H蝋N/x$EƙH]e\sȼA8.E+ E1f9 4i!\Zqsq5pҀzF N(OXFd0,=di/ԜtϚĘhӁ[KEI#:2i%$…hெ' C*mDICJIqޱ('[4N'>Icv ;jsԸ&~\1\8OVY s%V?JU4=8N[e^ZJَ ڌ}N]GsD{pE׋>@"🞈$HUB$zz~p)!OPi vL)ͤߜf(0boKrâ_|} l{XAbm2U59csY{ldAw'|LGL3 :/B1#[4:δ0V`Z;ɴ'4qiDYBsOl3T4&%q2eLn5HVk4kp3^.w %sϛe(;ix%"ng)! sv>+Oz}VȦA#].ci6DiÿOwf|^[GgKMe1?g(T*!K/r~LUӾy<ˈѦ4C#G'/GrN׫tt*s #~): '>7B؈4ې<u1$XhFnC49.1Vkͥ -xDB|E`c}{AI3"?ZKnHɛLx@REK(k3WHkW4* :=`ztWq?ًeSNZ٘"bܛ;0kawѐq]=z?Pܒe%7yT (V4b(?=ٽk;:Inrtsk8 HX&f$t$Geq -plmٝVQ6tW)rIXԤIzH^]翪4 - -Mt!X;Sdel )ŤOWs?L 1:{yjgs䭓;?^K̞ 8CcNvC+`c7 \ӘG0ϨT_ͫe^Ʈ(̹ a{]3мy(XCqՇ)p{UYs6P{r_bemf*-7SP@E/Cjʂ)}F͙?msXܲ^MDSaM|6 "_ya4t^HKӲ=E\GoL(VK~ɴ. Ϳ/%dz|0@)h&Lzx-|ףLfZ"9M2>pkh{0If -I +xr6}BrU>s>l/[<ms#K:qP""LYME noD}tGQۏoGRd4yxc9FbqA-8L +%T2ZCh3_ +0M>F?7~Vz6`o]r"D1B¥bꝄn[]6yo>]D`| +T{u__h9^\\b%o_fe=w_k̫IZgUlxwȬY,u$H˕Tf=b3Fp{nlVUdS>5Յ!󷟱$@- i! "% cp.о> .w~>pVo"V!U`)O2<̪j^d\iT_;;]'{ױ,k˛YU\\r{v30̲ k}_C^57:#j΂ŽѕN:2 %CH ^ wsvVkX6jᅖ#c!iIk? 8p%R5w A]湛XI |I+N 8\Bqq0Ś%F% 6Fb q<D3 I FH7g=T dL(;gK1g˂QA5JW-K`,b7H/&1+ IQ!cYPc ^సkRp:RlΦ!@1<%asD8ՠrJ EȂ:(HH E,[ 0}淅NUa'$[3 #>Sa:-` 1`D$`RT(EX!D :T2e<"ӤK53Un ,a^ظ@гUnݩܜA_ѹ +sN͐[6a b + +,+,\zVKE4ix}+R`P6uSm E "'6lr=o'=MXYsK?kb>ʦ=]JA#:r$OG ޻_O ҇T2.S 9FXjy߰:Ӟ`NH|8asJ{ĺS9 +s&Q^SG0We5njp4 dD'~S4?8LzK(S& Al'HĮN戺CxE/׋!H>Q 2=J($O DžuwOKԓfri&f&fu[$i[qJ^BXt\'dpܜm'OK4 k@L'Od)0d,7 "N,f03${Q9+B V~K$¬r}$&C_ySayMilBtsT\d]UL&[`^A)cl'AdLYsƹeٳ'I#.Q~4TKiwaj<W1~b6r6c?b,Ltg\'ڝ4tLYAMNeƟ.b,E4&]g;ˀKg̒h͌s׽N p ; H+MMZ sAC, Hx< ?ocHSw@5^w\I( PTCAΦ09NTN߳l2dW>czF}@,TS)`5ڵLM1N]Qco]QИ,jW+߱Yٺ9 տ.0EocrFSОs#̖uqq)l`?-]!7 ɥZB7_0?OB`hΗBd#f6uz>mSV ׽RMBp?˺txpv_<=oeiEӯRJC +n[dܔbTX=?*K&JC'}l +Evv??,wD݀lm6"&o6mRbѐ_X y{jiajmE{V9"=]`Ov5ߛ+ݓ^[5>댵$SDGeL/ӣ=7TګGz[$2q|/EaՈvKxC rb`O{:zZ g7İ0/VLW1AB*?/ImwP#rqkpjWʆ`dC>.Z7r@%XWzIA5_RzK +"H|IA?z}IA̼ [SYN5~Y:g6aB N_X9=`ǺNO@s3(=`$:@gp0eQzO@D+vC4sƋyr2''2AfMNI@sd=N,VڜisШjn_!l-fWV) (sb^ٳmfԁ/֭ӳ,KXĮhn&Y9u(eUN˛ھ6#vi1̧|OJ-ģwk9wT^l t`'TD8ٌ9cۼYich$ -qyR[ 0ytWfڽa޼) endstream endobj 34 0 obj @@ -3946,78 +3944,78 @@ endobj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F89 11 0 R /F85 37 0 R /F172 38 0 R /F173 39 0 R /F193 40 0 R /F107 41 0 R /F114 42 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> endobj 45 0 obj -<< /Filter /FlateDecode /Length 3586 >> +<< /Filter /FlateDecode /Length 3284 >> stream -xk -#Zc~AM"]+%GosdIzKQ,p8Gc #6#3 <2?}P?2 :SZ#lya`D3:ݽxigIgD}}wZ4X)= @Lq &K#Wo)>kshlIϋB uY[>TɊ=dУ*CηzX} zKˢY8njoەʚHWVbaCZMgrԱ˼A~f"cg%[H6Uk;*Vܗ-VE޵\BQy̗ΛݺE7VF~ K|(=Npl=dˊd$/+)H|Y;1W1fcE0 &| >΃2Jd:[(5mVnAnzCv%}ۤZZU^7iC;8ZU9axpR h34QQ -N= n82/M0odk;AQ)<h0X \m *2~H(3; - azѻi~92b1I$NMb'W6ftpH GCL0 -,u{v3Z/nn2 ÇF6ʒVh\A_idwp[[oF#=bƢit(כbHa;AT8m+a?0#K=t5?]h_VvKsMn@XZ-2묎 -8Ao.0V ̵pWg0JsqO5Aς`#DY׻ ;=m-jWAe90vq;io_OO3g]xZ"!kGlQKy}ܜmgd.TY3R w;Iyoj86y)$q{}!\qu&Θdz) lꮓ >w`>2N%6#GzSY2] X(w=u?^YTI9~Oщvuz's(e2NwGe c,aͅtQxlA*w2  CRcw /1R<Gg;qgR{@??0mibJ:RRJ QBq&eHuO}dPC.G.H$G2ND)@9&ZI -cla$>]:Pʁa &~"9qy? -G]I2DgN=Qox&kH$tK#>$˖)s Ҡٷh{-g)[ -p28@~vw)0qLRB y,+?`;KzIx,O 8q{IšPES8e_vQ nlj4V/CܯS E1fy(.u~4[^bjV ؒXNqqSSI'/$:-.IOfL8%`N@Q`|U{)kURhPV>?ҖmY\Ůҥ[nypg6-po֦N7ۧq@·/~ 7wudn=Mq}ڦ}zv6#6۟EK蟕r9Rܿ'4 IRjcK! Mл-.{NSHj+wMa> \C]23m]-q̡RwYФ߶Yl|EdZ-2-$e 3 :fŖ1A9.Oviʥbe  Hk<=-\<[.Jd` h("`)O)qQtL B{#בyrpz8r4gCܶ߃yLKX})ׄ9T♑iSHO'z^btΤ̵o̥vJrLόL'?!Nac'l]xgZˉ./@ -tqAHqպ8y}E -#NU ]j^ PD"^_o$qys(e2O,0|Ig:RA|g;=Yr|.ONtSa -)l.qz>OK|&D9faDeNQE=gFV!~_!fn ?Z$X"a@{,`,(~yWMz^ݽd҅}HܗG~|mycˢ-dr|Z4"Ia:fGOXEnӧFJ($G,p2Rv~/ȵuh o z†o{fUo ->n7~ɳݲHٝ0JFYha*6EZ P7cV!<..,~-ͶX<Y6^Jb*Mi aL!0!k8p#1;vH5^Hr +x\ݏ6_aÝhX~Mܵ\/ZVkKdg ?dɲV:-VԐ!9c2t0DL؄ _?O_߼HNd*dzd(BO#BI&/ 92'FAe¬ޯŧoi}LAM2)lr|?zZݼ~U)ïlY ̴hR.:|Bbe{̟X*c>z\E })rRmnr֛Eʛ$W䷩,SZrWNĊr0QoB@/ȯZz~[lƠ1X36EG710>G6{s f aƞJS=2 aT2nMEzָI Ȳj92 7Πv&HFob/џG5:&(9A._֧3ťدpVp; o  +bh+]^xpe:{ZRmL Iջ~^um2B\p:`ckq/gc7'ș$’|lvyݎw,4Cp])roWC]1^u7Ga-H҂VvsaH30d>>s"vD?Zr+h\}%n6_uc֝O١fv!Ӯ`i>SűR> Uva9%=g +鱧ѸL3>bGVk; YsdL~$LϞwesm1< +>k~Gto]$1_;b8ٵ4Y َ$@g;2B.9&aяc~"[9"~w!b h/Nq=Nc)iįBPЖ;cSWš6k;$J*t4mu,H3Z-?ek~b8~kهAXS{vc%?_"@L1G?~%a"8gǭE;<_EIXiLi%|3>]l[׮[|5WNB +׵[5 4ǘkӞ " +etrބIj5 4sMH"EH 8XpX@IyTDIi<]!n͇,`J ⸕{pýhAn掣OE;Pq%/BY$!$#B`RB#;q?@ջ>2Z_*'`y5 L<0ؓxaN3Rb]n +uAxyqt ٬g~+D`[ӷEl¥Fh[=-"5̓V ><|Z +V R-A8vK_s~ endstream endobj 44 0 obj << /Type /Page /Contents 45 0 R /Resources 43 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 13 0 R >> endobj 46 0 obj -<< /D [ 44 0 R /XYZ 42.52 717.591 null ] >> +<< /D [ 44 0 R /XYZ 42.52 717.794 null ] >> endobj 43 0 obj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F85 37 0 R /F89 11 0 R /F102 47 0 R /F173 39 0 R /F172 38 0 R /F193 40 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> endobj 50 0 obj -<< /Filter /FlateDecode /Length 4072 >> +<< /Filter /FlateDecode /Length 4332 >> stream -x<ێ㸱ƾ!ŋH `6MEr Ƀf%IT"|Q{0}JbXd]XxXߐ-$>/Ozo O.2j$erAi˜^4fq#jP-/rD" 5lJx==("*D #|DA4B"0D*uDItŐOTJL->8N]|.;B(w^(# (G޽! {$<3xNk?BT@9J6M?/iJe6;͒,ӯ &8LPE#iXIIx((" COlNdW;4]OdVn{rM'dZ,ܹVjaw7NZ~JN?vs}{ dw0,jǡr 8±Xf3:2/;TyW<-e|νjۚx7|{]\{[7-Q6~J:7N~97-I&Lvg4Y;ݳuu|XjHfK̪SmhՃ]Y]rmjj|U ve^ s.P,E[ƬM*S˧M8si'Lk4O]`]`w{O #6.&-*'69eEF̶YB-*r -!B"-&1wUc`z&7Vɛҏvpn'<,kiôJȅC-iD]"/SKwe=lO[rf60'XL!S4IşD`2Hg.;_?0'_ 9(DEs]>w~dxj1S鎐CO%@Q@z]c}/&f+Ԡ1DSzcj>c ,+\8.oܕZH 1s6m/Ngg`3n:_/6/6e&Tv >Fr% e>BrA UR2 av!kI`/xUG9M1fHtd{C|$LB͗i0w#9$G>0C~%N,LCX;4Re -3GR~ObɄkwT>8{LX!ؗDhs .ɆvM;R%iCԟ/P=hڐGPsF}ol&RL"AE{J O eMޯl ϮSݬ/$4lF#8 HīMe_}mPrͳksm-ʼqnoyw!Sp=S:1UrYWiHyʘpڦ<;.QS×VjXښ@oH8UlExK>u6@ =¬ .DX,އ ?[mˊ)cvw>I|ؐ<6d2 p>; -9ƞ`l.V5#8r߁vj -Fz(7.TSC,_uJwI3ft(#^˫,}q׵ؽCWs^͜b!֡=^eFz8jh,3 ]DnQE /tΛ9HSc1s`mr6N3r/8 \2qb:5&N%ujW8 ұƘEhbWY9p/ȉ@21K?eF(9p13p LJ!I7Uf$,GyU,G H%]Hcjl2}dʆbv\L.&s_\Hn#/BOa!RsE#o)QdR(BTbdzPd“5گDEoe)m3'чbu4"[c}>CA8&6+ ƢT `vv.L90_Le))d)CZ0RXrMcjWz)0B -\_} Psj_oM쐕mWx-GH&·fS|~,|[}L)R6KHիJ88Z:npJ TlRnfi7D( Xյ#``T.o}mjd3@mAW`:rO[{5Wnw r=*ī}x[}<Zx -^!v7Ʒ6nfLb]G,DgVje??5y_H ; +x<]Ƒ+}`a9;gI-G⌘9ɯ$ERͮīUӻ8b+}^ug8])#䊐dUew7v!0$rVSR<$5SՓyـwRő*X8p?~" [(]PQk`Q9)ãq#8|<I>́y1x/-K~pEqA^!gi)gv9KBk|QROtkO#5NX3O|S~K+#ϯG1WgPMWSLf@| Ik@8hQAl4Fk-uGhoGC f8p wY'D`/^vX&tjoc-@\dT &T$x BuY}HUNMVi?fESz=6Eeae}3 +ƒ$e\gKH¯9+Hx ~uu`s^ݗ)It~RF1dTaFZ=؃[(u]0H7?>".7Gee(n-q%@ܸ.\|d lz {3yޅuJs.C#*ov.>۱fv$}tC_$:MϽUfgu^ԎaMÇtSU!-jp[ndt EXwco m~ͱ[)~囝XAC9ac7e_R /s薨wt&\nNZ RO=D+R1zIx9"Oà^$G0$FQ^TEJ+ʃQRO6"_>(4I>ba¦p\|䉆]^qX<.% 2+RDϤ +q P rvQ㾷~ƺrEɀ +kԁAKIi.&ĉ3#ˆy6wg.^-*sqmsCV`rޖ612;+wSF jlLʛ>mK]U7uU.uUci6%|ߔ,oETy]V}^{_;D٥iFe(XoRQ-M ڄ2ٔ mVMZl.!]0%vIa$vS %FǬc~焔@D0r`(!W!H4EBD,D"ո!䨏\:k̉q™JL6#)}izii1dF6dFiϡ 9E˼d!z%afFFʼϴdD("=0g$ Џh +`hV1o0rH9n .Ҏl1]CfmyӬ/a:۔v=kDEcRO V07屪v#xڥu>>Eg@y+i ˥ӂOJH 2ꦛ*G6Y+1Ǧt:-wË+䦫CAhK8t_?e3[!ݺ'IbObC+ZsQRQWoQțx;$Y1AP%MvMknͶd +[%t,fH~7ߺ l>ԍ'xxDo3 ="}?'a|4f`8V^і&7e{dWY3p$ Qofyyeb ¼S86)5`= $<6FӡI +ΐ4m* ~V0Ǖ04֮I\F$$Rt +iIH0mC?XWl[gl3#%tN"H0}T*tWan[3Oa?z;wdnb +]X6=h͝)B3±_ۣK->|Ξj;-?@`,!E7{1z(kwKCǧS|:HL[$Yguf+"-dH%F9O ۜs]=FuYL զJ@۸K߭K=m;䛂9h-h p!=diQkNCo[եaZe~Z~95I֒ gF}[O &cUw3v@ a^U~Nܫ'ˣZ}Ψ7ESdi/bX#m6f :, 39EXI={I ( Rio@zUE +MLĴ1";gW(psI+ +H}މHr@8mّ#3o +3%C*o `Jgǹ`BDLs?SV' +sk -|(T4.tUAQxuJ\td<̜(X&!L24@i~m2KqA. 'dpximu9aީrY{CYAvøY_j߻iNC}]ԡ[گ:,[,ysGNruFy4cBK։ئ`Ty3>}> `o&p S4v6qfSWu3Q9k-_L .g)rf/}3F TjQ"BFEYŸ~~ +K|M eR`f"#!A]VزKVt+yDV%-B:›S.ճ2`bY>qnhW]˘yHK`,0^[å5& MY*qэGugOiNW.J\ MHڅ +sR$јua>M+gLv چL_Ibp]C qVl\Ue|n&xDŐvM0FE-$X⊟)ԋQ_)uj endstream endobj 49 0 obj << /Type /Page /Contents 50 0 R /Resources 48 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 13 0 R >> endobj 51 0 obj -<< /D [ 49 0 R /XYZ 42.52 472.376 null ] >> +<< /D [ 49 0 R /XYZ 42.52 484.316 null ] >> endobj 48 0 obj -<< /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F193 40 0 R /F85 37 0 R /F89 11 0 R /F107 41 0 R /F172 38 0 R /F102 47 0 R /F93 52 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> +<< /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F193 40 0 R /F85 37 0 R /F89 11 0 R /F107 41 0 R /F114 42 0 R /F102 47 0 R /F93 52 0 R /F172 38 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> endobj 57 0 obj -<< /Filter /FlateDecode /Length 4544 >> +<< /Filter /FlateDecode /Length 4715 >> stream -xjY d<2Yf}'wAƣOa|cq( .OU? _ֻ’Xc82ly*vt]p<4XVRiҽk%ݟLW,Yag֏̩哫4ǺȫM/cQUjOdGqXôSA ICo_ vPݏ)ri~7XuZUuV|ԻbCNsKb0lCDh X-b,Q1qbADyZJ*cHWt>6r)Uߎ1ʪ/ʍ)Cv4~sMWvm6AN9Ej) :-9`Ҝ ٵ/Wh1Y"a~YT!Ф߱Y?aeR +~_hn RD#Y*'(P TX$"J6u꺚v=Wm -1Nm+49Ks&+zJ el&hIτLE+ 8o<{Z kqK{}[7!JO3Za\\1-i>K~ItLavTlOj,ll}٦+SaVg\3Em|IQŽԹZx@/8ũͤr܊"4"f+Yڒ# կ7 -Hz謁TZ\mܼAǒka%r\ǔJi,bsZ;ň5<*t:h꧷Sד?̋Y||SVZ&wBMhs, -@MaWXO/Ey -ܣpi=-.vq:%Kp&} qo7+uY>U{ƕ2Z˝TD=B$ǖiѧA#oYf˅fv+zAô*"P؝7˿=5MrO"4&N:^3@={ؗn8bh ;iٵq@p'hşB Hy~bHT:x῜`G4[BD᥏;ڞrZي˚ ۵'z8o{pP}IP,mASECZϥ#x_D#ђb"}jP̪+015|{~`L&zsQWXzX4r -ق-nbBX ,~2A?883/8"A{n`g4[CkC|@M>x{Y,֝m7/—~v$cA7d!@ă{77%B2Pita#oxo Ր'ֻ?X0HbP0KT%~t (,]$rEoAn2,d -cDXa<N> d*Hh!jb0Y Ċq e>נ3[iIDD+307OżL.'.b8 e"'@o{{?;.yaCBҔ<|v\vSvgi` -ud#+Gdi#n}B;-X#hlO{?<[H5 fʉ1/ebWg&)u p3c -.oOpb󇎘g~-"7bMY)`P1f,[AQSv}{jCjp!A޽I.ub݌XKCeQ,5nGeLXYyԈc}H9ę'X )+ߞPQd= ?@?axf'B'[ |ߵMTٝIY]܂ĽZ~=Gk9_ɴv=c8|ɎC;~ÝL92? <ޗ\,(LNtD8sI\U>ھ-M}*s)?eJWx0o6L|}*Nnkug_$t!\2{ UyXvɼQ)Ү\.üiS3||PO@AO tK.Js7HɦDX."_K|b~ߞ(S"WsJ ,?CRoƢWW4>}< Xh"ad܍zqM^m7Qf:nٶKd0AhBr,XLQRekae(XHJ`mg9fzQ/ØmXz:gMɵ!c_c_i8=zBO,(aMU4TΜHT Bϊ.mN 'KS0b<AngJf=V #I B(`ċ¢/S"b_\#5ABSd.?9SS@1U<B̉1/05 !_',D8Ί17xhz*Dfϯ;<^xnE3V{KgbA"SMѶ1"3>??|9'͍utnbg3|Mk38o2@bZv 8fГj#RPׄoƳv۫WBv}pht镛Z>AkI-x*i9x5dIvM.Gvz (}p맣k_0,\U[2$T}=T(R - W8*f3jZgүDasFoۺc).:/Z\< Ѝ;QefiX+5q,c 7eRh.c 98^msf \NCy!}E N"^>lJ nXGOQ,x_>px_S-Dt-#Pw 6SB8y"Pzd\w\eipzL8pdz3NAgPz<+(P"e *ޟfS}n^`-sE!150-S <{iA)&wm- 1^fa_]﨓ANy +x\Yȑ~ׯ5u(DHa"66l?&AMͬAi9f( +uen.* B,bx__A -H.4 B%+DH/2.n_eI@OF4$In" EU`B]uZrXH`lMTT[ 7YQ6䐷*nowڲڼa[znrʕݵյC^7-5[PN-qLS:ND'.}@\Y>dŞhhoEALH$ZHÌjgJ(|u"[7+Oqdkij&z}BXtd5mvujy [?Ri)KbWJ趶Yq}bMnW+/SnUmw{2G h<6"e$PeC5 'clkTkt8hH4m|DWEPXAdȌ#G YwLnnݦz9B Ij۬m:&DqDm;Z.1g/"עH QjLj^!X8N&/ﮮlNZ\dmU_ HPA@KK$8,O *H6vu͜lUρrO"wM߄$t_,WHOtJ`LHuBR7,?DGvk7 힄kh=-ʣaF Ih0zeŌJehcDK% x=Jԓ~G8bV*'lD[jyk@c 꺪׶.;Tfl0 +?/po;BYԆ&y< R)Q搡j_5E7`˻74Sv#EIwa?#5 # ?@aNy^G@_k !'Pʛ~mn`} 6nHB\[x wnmmO4 Rˏ%T.=N@i_uMPJh *D58!}P蛫 ΐr885:B;]pV.Iceh׾gB$"1 ~(J)t+_do]A̟\zBa`[tthKE΀Lg.0N^s+pd]y 7tK*ŖJʾ};^`cXOm]>1}.^O"l`Iऊ xV>؁]I]m(u۵4s옗 +OU#f.3f d zyMm+Mkqx5oق9&KL\1Ψ!m܈IX3 rRfb:on%S&*w &Ձ +mh@j_ADVgiBV Xx<3&ml:GX]&)|&.xU a ; j|xiK*/}^JM)fwhu/Yk/RxbAN!٥Wk¹"k>Æ +L;d:n AIFUg @`0PvXE[*͹HHD)o/-P}(RWϨ_ E :喔owk&LCngrӿ{ݩXF92\P pҲږ+/Gq;/' j?+Ki|*O5_ϴY8BۛP +\(F=G Zސ8XqRk=ri}+[Ov9peqy'>xJ4Yt3Z?86?:Ũ.tm~dTF⸛'KpCw<8C_^Dr,h"Мrvy*ԁ9hD 9 tYɣMh8sEE/ND饴qJy xM-;>0q*/&(}x9& 0.r~qp6$zǁ0ʻJxbjعgLhz Fk;0ǦUyĐw˥araW})͸9j -+ Ԗ*{* }͛*m@G'^zG{>Gl敫VJdh6 DC@Q>;#*VǤ>u:k꣗W}άbqvwB bCslJNf쉥J}FD*Lί,lh6; la7s>95/=O7΋>&9zݞ#q&GwPlv.vD^.!:i io@ǧ&||H/n: M|toﻀٿ5vLk;|:9B8Xi$p+ ^yߟl8d<'$$Q/^wāw_}k1_̅SFمgd CN&HQbx@|zЮc91~ h=Pii;O7yJ'eCM >ͼ]A'/O.N^ϓ HN_FRT災˗~Q=/SJec`|!3|zO,7 +9 7o~k0f\s}nG1CTyfA1bJ` A@I$d:q+wRP(J]G?g膿mڟ;r׵muixG'eB-upfW(:\>V{lUtN W_ PWUeL7"3_]q>|/yc|'ŒCO*rh!rxpU|%C+`=:('!r J産`)nH>L&nr 4-ܡ  B=8d%t,d;ft$L]ܿB>:3k&RPUHrݮHRQOxj܋b*x-@%D 3p?)k//>jMm<հC.p΂}BFyg/5A{xf B' &?%%FCYTL̔ā:ESqnK`"$|!H<O0`j`l +1>v O&0c2Nq><֛ȤO~ E endstream endobj 56 0 obj @@ -4027,63 +4025,62 @@ endobj [ 53 0 R 58 0 R 54 0 R ] endobj 53 0 obj -<< /Type /Annot /Border[0 0 0]/H/I/C[0 1 1] /Rect [ 466.124 566.414 553.752 577.265 ] +<< /Type /Annot /Border[0 0 0]/H/I/C[0 1 1] /Rect [ 466.124 511.869 553.752 522.72 ] /Subtype/Link/A<> >> endobj 58 0 obj -<< /Type /Annot /Border[0 0 0]/H/I/C[0 1 1] /Rect [ 41.523 555.505 61.033 566.791 ] +<< /Type /Annot /Border[0 0 0]/H/I/C[0 1 1] /Rect [ 41.523 500.96 61.033 512.246 ] /Subtype/Link/A<> >> endobj 54 0 obj -<< /Type /Annot /Subtype /Link /Border[0 0 0]/H/I/C[1 0 0] /Rect [ 59.04 555.505 64.721 566.791 ]/A << /S /GoTo /D (Hfootnote.1) >> >> +<< /Type /Annot /Subtype /Link /Border[0 0 0]/H/I/C[1 0 0] /Rect [ 59.04 500.96 64.721 512.246 ]/A << /S /GoTo /D (Hfootnote.1) >> >> endobj 59 0 obj -<< /D [ 56 0 R /XYZ 49.215 102.845 null ] >> +<< /D [ 56 0 R /XYZ 49.215 105.73 null ] >> endobj 55 0 obj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F85 37 0 R /F102 47 0 R /F172 38 0 R /F114 42 0 R /F93 52 0 R /F107 41 0 R /F193 40 0 R /F223 60 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> endobj 64 0 obj -<< /Filter /FlateDecode /Length 1431 >> +<< /Filter /FlateDecode /Length 2091 >> stream -xڝWKo6W(L H]8饨/EWwHBI븿CpwݤHa,8^}HdIEeU%gQ_R;ҹV*Dk 8+E"DS*)W*jn[| 5"_FIoIQahʾ7:9l%]By8fm>Zt]].ϒX[5(@@nԳg=rX53U~{gv"5riCЊy"FY*ˆ\w).&yȫH Pf(׊{-]H^ܰ؋gY*Jfgq#-Lj7i  'W$B -Sy s S9a}^a-Xsš"RO*=("H,l4W8AÃEf*e *{>*OȠeQ;f"Ak#M|T>5٢fR~ ->@?wKˢ..6: -ql ׹3l3oK3&mƲ/c +_ ?{:91`@E@W$}guH,uP&i_H31=q4104W^:&SĔa/-r8 )M C?"b()k\ V XtmWN -Y*V]7(AoFX~z.Úudo#P;D#ܙg7 - 5 -fGznzƄI45)^ {pq"VB{AQs1ShIp}]\Gք$E꛶ۢ:: E<;r~8,O+|issQ%^*/ӪS;R.rVt㬂&8  $ K7#ƴ -Wd=^FC&}ٵPDŽ3ڭ -QMD&EI^ñWnW^G9܄bVpeiRg%+go^a3څ=<@rdC<, -8rZ,r{!4ɝY0%  -޴~72LB$(JksXG`F [j': 74wѼ=ɸ3dW=7ljݙ:7|ɭk4ecv` ?EeR,M׵Aeawr!'' +xڽXo_!ܓ\P6KEqZmae'Φ}lَEh!?S,Y',2 KKxr%R-(R&ERm,2K8O,&_.iS^f7B'bi&_F /3K7+62jz<w~KieHW:OK#+8Ǯ*vMz/EnmcMz08D#2D. !!9Z#=~!J9f +jz<E4ͤW|}פs-BYfEtY#A<-V(2P҅cmgRR6؁~ u8X:޸hmthʢ-dN 'I O8'#%X{ B)pK\0/Dg6z !«E 5MPjHmȨurE*aZu-IגtiAw4~lTi ( 4QgzyF뻃6ƠkVDjYXc-Zs:: x(Y~A_v#P&%5,SsJ0H) f?4{|.5̂i@+Jm"P*<;[a0+-w]hlB#' {;ҵ 9[x+#v~= +*z#GF0;쫐> gF} Mm˜ |1s< 3Guo͈$}~=,F09#cӮ8+شMh}AہgHKbWK + 1+>Z$WxֿPG]߬δ8s/=R?=T2nl׋Zt853Zg,GK鸨v!!`!:'!/i'\ &coL!S m}?W둳2dDp`?fh4ckiFjUA ^W8C 0F@=Zhhש]oѹ_`{sQŜwaPHCѥz<1QAfZSG'}O"ѶXRbN7߂Ϳ`!?p~x*Ye8?Ensh[:C ]{2rޔ endstream endobj 63 0 obj << /Type /Page /Contents 64 0 R /Resources 62 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 13 0 R >> endobj 65 0 obj -<< /D [ 63 0 R /XYZ 42.52 695.772 null ] >> +<< /D [ 63 0 R /XYZ 42.52 612.169 null ] >> endobj 62 0 obj -<< /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F85 37 0 R /F223 60 0 R /F102 47 0 R /F89 11 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> +<< /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F193 40 0 R /F85 37 0 R /F172 38 0 R /F223 60 0 R /F102 47 0 R /F89 11 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> endobj 68 0 obj -<< /Filter /FlateDecode /Length 2850 >> +<< /Filter /FlateDecode /Length 3348 >> stream -xڭko{~?*F+>[vo+(#ӶYIrpuoq h^d]%?_%ZU0_Mg?^vc+-T%W -HbR媳?`YEV|9eY{k}6ӲX=yH0Y5۫r2攪"]W?Kt.ߤI.I"g%FW{\Ѐs\GJ8!A*,μїѰ04xrQ\[5k =_\;T# k4ûʨ?VC_NieWYYƉ$8PytF%2ڹ'gKYej39dCl=9yXTP*C *jܴͧkfVJu5xKBǹ-x-Z$z \58zYZ2wBW}mVY_hD;P -pjW*;whh+g4 У Mݾ!5>vuӻCW1_˸ch'#V,{22 8 ZI -"<< 9>jM' -Eݹ1MWci+>h@C%@ ppV@WI4 5 #6֠;[4)fD3vQ;w/-3њTb]I,2T[.Rs 3C=1liQ*;MO Or=ךsj;i>@>SsViYxKaa!@g;910t8tuEeL Ak-=X屒|8exp !UaE~Rsűűh!ŋ$I*c~QэaϚOf, {mN-3i'{[~#I~$ϧۤLEcSo8c ղ;@(Rٲ;LQjDB8 N8%Ĩ$T'rC!b(3h29cDYq*ҹ0H蚬%ިU Tr!c{2*6 -!l ᚕ6T5`>o"dɳVr27P^O4ԧH &[/DR?_ꗑہ^*'o'b!;*< -@CTSB[_곔.vyFPA= -<6]@ -%L]&ЫPyӏ  rC5˛}oB;r_@U'g/~>^4b=l+=p*foJhS1Ne&,[!$AEǛ“},TcC(JrMb_h:,tL\=7Dnkte1Tr >=k Tѝ9~@ȟ軈,GDe ](b2F‘$ի3dcij,Uo-bfFySH gi'쿓#/n$NEy uaY?J:xo`pIv3 2zPB#eӃj}#wm}&C#<]uGpW^8AٓH Bsd}ZonPAߝSPeP"\*>s񲣧oi4@t_ߛMD9B0`E}-1,' |CxS 8e66 U<@s x)n}NGpc{z6^%~|}H?q.Qo "3˗SLqsPLJ_r 8Ci\+ov%] u""yh.rJK8CU I$% bh1 Jk!%E ӡoHCGl ~Kbw%x/bw%lK6gҼ\&ZD)Tc!?BTe:W/ +xڭk8|;q-K~Evp$JZLg"خ.@EI!Mگ՟oX*+=ƣo~>J,]e'2]m7D2_ KY:fӸ/Ǣ_\AW_fV'y&f/DzZJouSUBd7*ۻ,I$|Vdf~yoRUz +T +p;yA*<)raOwiQEnBPvTFs Fokwvnl5T#6}[UM[IPmA&P*c߂XFU\X&Edp{'4:'GQ *DfUdS:KI;ᇷDfYBUqSnP`C}<5hEe~Jpn4KIK8ϼYZt?ފ222^!HD/m cڵ)ntf!!8{4l8uٙfw+(S* &\eax%Qo4)WxV7 u>Qt؍EQۧC8{6LD0 4{ݑprzP#=Lv,/nZI +#<<;,|H.>ng:t;B95ш7=Siԣ4 0薠gvcbu}w u{9m!V v5̤H,.Tc o6ްf'ײ"y@ 2b.Θ&8;FnM>ynm:ukIϢ*q%ID7k$iF9-a_v}ݟHq5n%߂:sy݈"0tH,{ q¥.OfqUEQ#U%doZƟ,-`[Nd=ht?=$1L8=٣% b^,2? +Dz>[z]5?Z ~`5Q$#eÞ쳘u+MX>/[u|{JDutc vFy)>6,o1$|ӴC1uve˝Mr#LUY3I ¯@!۫)!6?'YF3A" (eJ)0~wUR@9=%ː 2JVK }u{byfhO +JH צ .jHI0ΐ{w8*7^8,4.1s\L=}MV+3F1=7Ch.an)+u)=MԱ%Zt 0`awä?%Wή_*!72^)Fy!=Kv#dU2\ +wCd7v;MçpخCp>2| ۀ|R* /_E+@U/\Eén< 6ߛao)TUrl.1˫ڨLf5d7\UW(}x Ԗlv79k`hmƶ(ZA(d~7. GTNy7-/=v[k1l**"S\iR®¸{ W? nƵnRE¦~ P;w6wΌE}]I(; 9_,u:>;4\&ߗ7yԵ؞7z]:U,B%_pNpg: yW}eE&g +SUóuk_e:-}N +2-K=] }8å[a@V?ZLVus'ʓr#j5qc؂G_Y /F(b$s`d :J]~)|5oM3sj(2՚6s&8QGUtde>@\[NQ.x/.ME1? d8SP쎁Z[2wm)T8j9$s8kֶwz+> endobj 70 0 obj -<< /D [ 67 0 R /XYZ 42.52 711.833 null ] >> +<< /D [ 67 0 R /XYZ 42.52 711.423 null ] >> endobj 71 0 obj -<< /D [ 67 0 R /XYZ 42.52 660.499 null ] >> +<< /D [ 67 0 R /XYZ 42.52 659.817 null ] >> endobj 72 0 obj -<< /D [ 67 0 R /XYZ 42.52 620.075 null ] >> +<< /D [ 67 0 R /XYZ 42.52 619.119 null ] >> endobj 73 0 obj -<< /D [ 67 0 R /XYZ 42.52 590.56 null ] >> +<< /D [ 67 0 R /XYZ 42.52 589.331 null ] >> endobj 74 0 obj -<< /D [ 67 0 R /XYZ 42.52 550.136 null ] >> +<< /D [ 67 0 R /XYZ 42.52 548.634 null ] >> endobj 75 0 obj -<< /D [ 67 0 R /XYZ 42.52 520.621 null ] >> +<< /D [ 67 0 R /XYZ 42.52 518.845 null ] >> endobj 76 0 obj -<< /D [ 67 0 R /XYZ 42.52 491.105 null ] >> +<< /D [ 67 0 R /XYZ 42.52 467.239 null ] >> endobj 77 0 obj -<< /D [ 67 0 R /XYZ 42.52 461.59 null ] >> +<< /D [ 67 0 R /XYZ 42.52 437.451 null ] >> endobj 78 0 obj -<< /D [ 67 0 R /XYZ 42.52 442.984 null ] >> +<< /D [ 67 0 R /XYZ 42.52 407.662 null ] >> endobj 79 0 obj -<< /D [ 67 0 R /XYZ 42.52 424.378 null ] >> +<< /D [ 67 0 R /XYZ 42.52 388.783 null ] >> endobj 80 0 obj -<< /D [ 67 0 R /XYZ 42.52 405.772 null ] >> +<< /D [ 67 0 R /XYZ 42.52 369.904 null ] >> endobj 81 0 obj -<< /D [ 67 0 R /XYZ 42.52 378.462 null ] >> +<< /D [ 67 0 R /XYZ 42.52 351.025 null ] >> endobj 82 0 obj -<< /D [ 67 0 R /XYZ 42.52 303.164 null ] >> +<< /D [ 67 0 R /XYZ 42.52 332.146 null ] >> endobj 83 0 obj -<< /D [ 67 0 R /XYZ 42.52 286.383 null ] >> -endobj -84 0 obj -<< /D [ 67 0 R /XYZ 42.52 267.777 null ] >> -endobj -85 0 obj -<< /D [ 67 0 R /XYZ 42.52 249.171 null ] >> -endobj -86 0 obj -<< /D [ 67 0 R /XYZ 42.52 230.302 null ] >> -endobj -87 0 obj -<< /D [ 67 0 R /XYZ 42.52 211.959 null ] >> -endobj -88 0 obj -<< /D [ 67 0 R /XYZ 42.52 193.353 null ] >> -endobj -89 0 obj -<< /D [ 67 0 R /XYZ 42.52 174.484 null ] >> -endobj -90 0 obj -<< /D [ 67 0 R /XYZ 42.52 156.14 null ] >> -endobj -91 0 obj -<< /D [ 67 0 R /XYZ 42.52 137.272 null ] >> -endobj -92 0 obj -<< /D [ 67 0 R /XYZ 42.52 117.103 null ] >> +<< /D [ 67 0 R /XYZ 42.52 304.585 null ] >> endobj 66 0 obj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F89 11 0 R /F85 37 0 R /F172 38 0 R /F223 60 0 R /F90 12 0 R >> /ProcSet [ /PDF /Text ] >> @@ -4173,73 +4143,73 @@ endobj 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj -93 0 obj +84 0 obj << /S /GoTo /D (section.1) >> endobj -95 0 obj +86 0 obj (\376\377\000M\000o\000t\000i\000v\000a\000t\000i\000o\000n) endobj -96 0 obj +87 0 obj << /S /GoTo /D (subsection.1.1) >> endobj -98 0 obj +89 0 obj (\376\377\000M\000a\000c\000r\000o\000s) endobj -99 0 obj +90 0 obj << /S /GoTo /D (subsection.1.2) >> endobj -101 0 obj +92 0 obj (\376\377\000-\000o\000p\000e\000r\000a\000t\000o\000r) endobj -102 0 obj +93 0 obj << /S /GoTo /D (subsection.1.3) >> endobj -104 0 obj +95 0 obj (\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n) endobj -105 0 obj +96 0 obj << /S /GoTo /D (section.2) >> endobj -107 0 obj +98 0 obj (\376\377\000W\000o\000r\000k\000\040\000P\000a\000c\000k\000a\000g\000e\000s) endobj -108 0 obj +99 0 obj << /S /GoTo /D (section.3) >> endobj -110 0 obj +101 0 obj (\376\377\000S\000c\000h\000e\000d\000u\000l\000e) endobj -111 0 obj -[730.7 0 0 0 505.9 ] +102 0 obj +[505.9 ] endobj -112 0 obj +103 0 obj [393.5 393.5 ] endobj -114 0 obj -[574 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 201 0 0 0 0 0 319 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 606 0 0 0 0 0 0 712 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 525 507 394 523 424 292 481 551 287 0 0 275 815 556 502 516 0 398 370 333 553 454 713 477 475 ] +105 0 obj +[574 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 201 0 0 0 0 0 319 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 606 0 0 0 0 0 0 712 0 0 0 0 839 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 525 507 394 523 424 292 481 551 287 0 0 275 815 556 502 516 0 398 370 333 553 454 713 477 475 ] endobj -115 0 obj -[1011.8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 505.9 ] +106 0 obj +[1011.8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 674.5 0 0 0 0 0 674.5 562.1 674.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 505.9 ] endobj -116 0 obj -[348.7 0 0 0 0 0 0 0 0 0 0 749.9 0 0 0 487.4 0 0 0 0 0 0 0 0 0 285.1 ] +107 0 obj +[348.7 0 0 0 0 0 0 0 0 0 0 749.9 0 0 0 487.4 0 0 0 0 0 0 0 0 0 285.1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 786.9 ] endobj -117 0 obj +108 0 obj [ 6 [ 586 ] 11 [ 586 ] 13 [ 586 586 586 ] 18 [ 587 586 586 586 586 586 ] 32 [ 586 586 586 586 ] 37 [ 586 ] 42 [ 586 ] 50 [ 586 586 ] 56 [ 586 586 ] 64 [ 586 586 586 ] 70 [ 586 586 586 586 586 587 586 586 586 ] 81 [ 586 586 586 586 586 586 586 586 586 586 ] 92 [ 586 586 ] ] endobj -119 0 obj +110 0 obj << /Filter /FlateDecode /Length 20 >> stream xcg`p7g endstream endobj -120 0 obj +111 0 obj << /Subtype /CIDFontType0C /Filter /FlateDecode /Length 9417 >> stream x|y|qfĀHBaiJuzM),[H,:l+1RD"q!H8J"%lv8vv$w=>xS<z8zf\+fݯ߫WW&Ϸ?oOxsUUTZ񇪿Kӛf*3׸%2W[yE2gby?͖L_ojqI Uޏ,٥$kʎ,Q\GZr5C?n[o;~ʥ_oju5sm7_Z݊j|bC>KW^|ZY+_\Q *|WP܋/UY_UlʹVUnͶ*5ǚkUZXKk뭸Ժͺú̺Y!s筇GG/X[OXrg[yt[[)mZ޵3kX^4X|xt[aHŌc oX5?kIْo(q_}[mݟwg];s>}7~ٟ=}>oFkb{3wL<<s[VdylvBmeVʧ-BNһE͠+_L;=n*[^j@E^OK€;d=S|-MSzaB\s1Oa ]Q=c6:N'ќ͎99/宵mRSWDzZzuq^e֚M7{Yk. {^ NB*QPIԀՓ'bzMk|%ՋV9FD>^C$1~"֦u-/Ľ~5I^jPK[;8ՍXPM'zavXn!lzv}/ @@ -4271,10 +4241,10 @@ d w6ljؔ3cn)rDcھnp0˭u+8)n7nڭDYimafV^y6P߸Ux8L EfCy&& qN#pOZm,|Y9:oj\ӵcd4 EOʇ+q}^f̘PQ8jӷ;u?|ˌ0E]@p+riIXC'R-r&KHnB.ƸoMMZRihq!] 8"9dj-^3fx)w²Z Vȑ׍Dux ZG0d<"K|]95yY>FqdQ}!}  kƥ;RFBJc_l8cNs@Sl}gtUBVF4;<맮?{zg3v;8ގ_T#`kD]?y냝~/ϞpC~b7D\UrB˲w=>Y"7ܗ/sGAr7JR݀ endstream endobj -118 0 obj -<< /Type /FontDescriptor /FontName /EOBKCY+RobotoMono-Italic /Flags 4 /FontBBox [ -416 -271 986 1056 ] /Ascent 1048 /CapHeight 711 /Descent -271 /ItalicAngle 0 /StemV 195 /XHeight 528 /FontFile3 120 0 R /CIDSet 119 0 R >> +109 0 obj +<< /Type /FontDescriptor /FontName /EOBKCY+RobotoMono-Italic /Flags 4 /FontBBox [ -416 -271 986 1056 ] /Ascent 1048 /CapHeight 711 /Descent -271 /ItalicAngle 0 /StemV 195 /XHeight 528 /FontFile3 111 0 R /CIDSet 110 0 R >> endobj -121 0 obj +112 0 obj << /Filter /FlateDecode /Length 573 >> stream xڅAo0=8 @@ -4283,21 +4253,21 @@ E* endstream endobj 40 0 obj -<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /EOBKCY+RobotoMono-Italic /DescendantFonts [ 122 0 R ] /ToUnicode 121 0 R >> +<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /EOBKCY+RobotoMono-Italic /DescendantFonts [ 113 0 R ] /ToUnicode 112 0 R >> endobj -122 0 obj -<< /Type /Font /Subtype /CIDFontType0 /BaseFont /EOBKCY+RobotoMono-Italic /FontDescriptor 118 0 R /W 117 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> +113 0 obj +<< /Type /Font /Subtype /CIDFontType0 /BaseFont /EOBKCY+RobotoMono-Italic /FontDescriptor 109 0 R /W 108 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> endobj -123 0 obj +114 0 obj [ 45 [ 600 ] 56 [ 600 600 ] 70 [ 600 600 600 ] 74 [ 600 600 600 600 600 ] 81 [ 600 ] 83 [ 600 600 600 ] 87 [ 600 600 600 600 ] 92 [ 600 ] ] endobj -125 0 obj +116 0 obj << /Filter /FlateDecode /Length 19 >> stream xc`b_ endstream endobj -126 0 obj +117 0 obj << /Subtype /CIDFontType0C /Filter /FlateDecode /Length 4701 >> stream x}Z{pTuz^HK?n(vδ%֎xW-=6@I%5!Hd܍ɸf:mHSvN7/tݻI;GG}=wΧ<[ }멇j~{]Z1yٺ٪ºg_ZPā--3M.4.CQa䕕3%J5J7w8ou֭A!wZ_޼/|]7r+f?RSc׶~CSSSqFmo,{+KVm\;տ]n}޸kb.W{Wsnn4ɸ7-0|I-3Iogh6d}41Ao8>Mg2]v;-~f<~V3 @@ -4317,10 +4287,10 @@ x Z^5s%/;ijG@%GBa㏻w_4^}2]o_x特Bb^j èժZNǻR)wɈ9}߻ endstream endobj -124 0 obj -<< /Type /FontDescriptor /FontName /PAVGQR+RobotoMono-Bold /Flags 4 /FontBBox [ -776 -271 976 1064 ] /Ascent 1048 /CapHeight 711 /Descent -271 /ItalicAngle 0 /StemV 200 /XHeight 528 /FontFile3 126 0 R /CIDSet 125 0 R >> +115 0 obj +<< /Type /FontDescriptor /FontName /PAVGQR+RobotoMono-Bold /Flags 4 /FontBBox [ -776 -271 976 1064 ] /Ascent 1048 /CapHeight 711 /Descent -271 /ItalicAngle 0 /StemV 200 /XHeight 528 /FontFile3 117 0 R /CIDSet 116 0 R >> endobj -127 0 obj +118 0 obj << /Filter /FlateDecode /Length 454 >> stream x}]o0݅`e[ >bSۣ qFy0[o{'lb/UF ~kLJ-h2.E)j}oKN=v>ȽE @@ -4329,127 +4299,122 @@ x endstream endobj 39 0 obj -<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /PAVGQR+RobotoMono-Bold /DescendantFonts [ 128 0 R ] /ToUnicode 127 0 R >> +<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /PAVGQR+RobotoMono-Bold /DescendantFonts [ 119 0 R ] /ToUnicode 118 0 R >> endobj -128 0 obj -<< /Type /Font /Subtype /CIDFontType0 /BaseFont /PAVGQR+RobotoMono-Bold /FontDescriptor 124 0 R /W 123 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> +119 0 obj +<< /Type /Font /Subtype /CIDFontType0 /BaseFont /PAVGQR+RobotoMono-Bold /FontDescriptor 115 0 R /W 114 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> endobj -129 0 obj -[ 11 [ 600 ] 13 [ 600 600 ] 16 [ 600 ] 21 [ 600 600 600 ] 31 [ 600 600 600 600 ] 36 [ 600 ] 42 [ 600 ] 45 [ 600 600 ] 56 [ 600 600 ] 64 [ 600 600 600 ] 70 [ 600 600 600 600 600 600 600 600 600 ] 81 [ 600 600 600 600 600 ] 87 [ 600 600 600 600 ] 92 [ 600 600 ] 96 [ 600 ] 98 [ 600 ] ] +120 0 obj +[ 13 [ 600 600 ] 16 [ 600 ] 21 [ 600 600 600 ] 31 [ 600 600 600 600 ] 36 [ 600 ] 42 [ 600 ] 45 [ 600 600 ] 56 [ 600 600 ] 64 [ 600 600 600 ] 70 [ 600 600 600 600 600 600 600 600 600 ] 81 [ 600 600 600 600 600 ] 87 [ 600 600 600 600 ] 92 [ 600 600 ] 96 [ 600 ] 98 [ 600 ] ] endobj -131 0 obj +122 0 obj << /Filter /FlateDecode /Length 21 >> stream -xckg|p7 !W +xc`kg|p7 ZG endstream endobj -132 0 obj -<< /Subtype /CIDFontType0C /Filter /FlateDecode /Length 8016 >> +123 0 obj +<< /Subtype /CIDFontType0C /Filter /FlateDecode /Length 7475 >> stream -x|{tTWX4h^ ͱ=8d6vnƱb$ AKk#BlNM<'dgM ؀yxۢU=ٳ3RQ_կ~UeNySVV6/|7'\kjx_U33e3G3}bWj/x峪GV] oŮpQX>^=X5j~k -ߝ,iYΝ{miso"Y_o4==a}uKn\ݢ?t=Qźo7o5G_|sKjQnQd=Y~~}C.s: gt&;SYNs3۹I9787:9;q9u|ѹ׹gΟ;_v|չy9_wtyyyw2g(Fo-ws˘{6~zOdmryrc{b7O_5gfǕW}Q׽w'7n#Z<tO/ί?wkLM~)uSٮb,:TXqFNwg`c T-}%+SrfXOm4B=6WluDAeC+q"P'7$>E+C_G$Yq}J'kK& V{<@ky"ǡ&1*2*pB$ ?bp @ 0 +RL>dh51:F__ue(DޑaVd+3z 0h)W)* :H -%ڐ徻W3d"iٴ>t^Zls)[D)/;oumH\uI(89}XFDQ `&t?Ή'yƦcVyB .1z̋ -?ãsΰJZyßŇ?w]O|4:)sD>#3 ۠1= ^d{M`@aS3XU5OiS8bHSͲŻJ΅c)M$I%4&'~Ev ~1H?߄.&'c]3$+x \y{~~#S*5F% n?W|W&sylp9o`bbBۈ)rF %'ᤖK꧁<-%'߯­r?y?G%RqeI}KXڤ@/fIf@cNL%b=0+ Qks}z ~c@88i x_xkGPa9a~\*J۷۾M;'k90 risjEsQ22g@J-ȥ{KHKo"G\T51V LĈw -2Ίd4=Gr(5@BǟKqJi R~'HUo0I@^5"ψFݶkl9I[zTGU -jJk;ڍ"5_7NǘbhTDWF]f$ʽ]T>Y*?N{p6-,& ns]mql^fg, \H -Ȧ'h=9iy>0kX% :w>b*^洢7FcK,~&Zw.VNY#SE[KTb٠0/L -:C-˥1n= -e(˧ׄ\zvҜ0S`jB|B=3Z9hf2#n*ZAdf_Tp#l u2 }=y' -D8&t*LS/x\zAЌ֐M缉"Hv!(/yuOĹ"Љީ\z5~Ko8n0+g):WmMa'̾TVH;1^K,ҐfADn.MWJKTڍV;Ԣ!p ?W3 hynzu>@ O7+u0J NM5U,P82EM>eSߘ֜2!0&SA VBS'Yx:$u"2; -pU}G`?8͸C֝@ -M`1Ү5p"D<,j[L7 9nfʝ! -wF!4o;3L/>F- 0JaXSh>#`.ݤnzr4 2j˰uW?~#Y1Hh5! 'Ҹ[EtfhL&)F]2{pbkv>жmɕm4hYX!NPMP|ĵMQkl'R&~ѳmM%D615-ؾ4<Wi1HWkp6߿XwH7"ڣNc-~iZw"TfۖNceqmbv8["gu> ;>gZh`D1i_ ᇱ{vܾN~W ֺؿ?M/>K{Yg_z ᵅGJ??WbXho`HҦ}+0 mp0~6Ӊ3q/SH2|^Kh}i,1KAqމ)!? =x 6 M[[N&\EEp6_bwkXҰd>أ{OGw[eEvZA|>n ց!vgiKH@E< 7la؋7%JrPj﫽8-KPKqNp}n:ĨnT -L\־vpCwZx#Wd`0ǣrj;2_,aTF"oGVcD[cgMW=\A_ pbĴW]Z!%u[Kn3del(>>y'B<']ʂnGbC79d:cE ^®яհ2>yյW83+&OOuw* -~՘ / +x\{tUՙ!ܓ\-D|^FV2:SmskUUSMHb ܄!D^玶t3]e;jxG !p|s֬ՙS\_y콿=~k:TW~-zꎪUUX_ޙp'dǫy Cm|x{P?g.7x2/}5rRyC!Q[< i/¿Uw W]1eʔ믻*r%o|j欹.O_٪yOzlf5Qm#WTL{ғwU>YĂG!*piV=\yۣsgU+WbTH5JMT5I]ruN]nV-tu]}ACݩRw{U_U 5p&TbpC^8!y!-:Sr~ %_.}tgi_YIw{gx v5OleAK/U|?}+>2s7ӂwZ|Y _vtH*jkZIVضgjKgwҌ2|uj8\ +N+OR+θikO"]T /¶uf +7&Lw;ẃC*%/ z(PEx/𙐋=?߀:M//] nrLY@6ILyg(H"]K6Jq)( + *PU⪑ZCWc@W^z߶B~iv2W5ER36h1x,=:Կ*>~owXv%MEusWׇ/'tEyƻ4$S2px%h +Mm1~^3d.=8٧`}Lq{E '^7wPa@Mt4i;6 +|LηAB9$5^v.6( +u@n8\ڃey[wC@g? H3}TS Fm3-vӏB km3ICF #@q"]MX-zp!nY7}D:{w IJ#3~Ի{$ +@}jKє!Wd+*棄T'_FisfY9n1VȲS%{^ ؝[` %< C NkEIu-SP.>{ uX +vcjTHEr8 N粹r1\y!B~xʑ^9$je֐+IN @?$z@E\V/ kpζy4x2rK)P,s8,8R%G1T5푘᭸C7PyxpWuL!zrqW*4Sqm]v,+q83.7 9|*:#7oG{+t \ܚEzݳaTdm7F1Vx)JQQ8yHn4GǽSC~\~4m[[0 +;: +ᢻaSέxpȷ Th{F "E:۶QPrIۮ!'d +؎T +pc<rŚ$(p/8:B0~rg ~p1&n5,oӴu#t7ëy] 挆4$:|'Pj[9)$ 5%"^RWtZ{HSNSf +IJB&O!9grC#F1kbڹAGXU4)eŤXN%Ғ1p9J?egm`4uC<W1p;^3,oy;;M?-7e?Û+'pIr| 9 ܽ~J̧: hNC +Z*M˭X.4/Wꦙʝ\w3͂ǡ OI.Om؆A"6MǤ ];ijZRKK /,giS s8 2W89wI:R,KwUJJ@q<SyvaJ8٩)e +W#/Eݎ7rE wxB? ]-L!KQ8_Ê0K:#5$Io,dj'R,5"#B@xVᦗpNMjIb.5!P#Ţ:עZzTgOh;@5C;YCӵjRsDIM @|LAh7eu`2S2XÕ6ūqdr02v9Joq*k.(%%$$aq/2TőˎBAXEB_X"q` m$ݿ]4: Mh@x|B1U9 /.ڕd oX@Z@q]_)a9:5 Ӵgu,a!L)Ač9E9PJUȁWhR=!G.Hwu ~ '2brr\c$/ڂQ&G6TpR/Fu\?UhL .!\`zK^ jaE)Kl hq@qxM楹ƥW!kͤywG]$To( ^;,`>-򬳌ʟԏ1 z]іFy?K޲h"=K_f:\WWPufHH*4P` a[S:)bBX3w48: .2%9I12^2(>pDt}+Dp洄gj}F fK^386ƘL "ΓڕkWR19΂:iݴn-PQnnfB|H85 .c#ݚz`/#WL`Jm2#hd&BEZ7T5)Op[a6DV(2mN.ܺSB{7'Q +Ւ%548Ɗl]e((auk\2G^L@qqfg0F0}2Zތ4i2] rƊzBd+4w)%%ceȍ$g{,L k<"({xM|S9&I- O]qyd9\-F6`3Q1%Mg\:zBn1RٹqpKK!W!Mv:,S4r\hrw;ѕQǍ0=nZt +l-CE2y)QhMy#gwp'k/hJ%8(;.\jc&vybO8 Q\)&7=s_XOb_T%LED8K"tRuS薸+6ZffYɌ@=փ8!a9*o +!Gp"GTӣA`׼.#\^TZ$uZrbqw9,/zQH*ߝ6~Uȕ컗t/7(|<)s))%C 9l1榎:^f:3 V>3i*%pזV59Ums`))B0\ #B(\B8sH9j4kZ@L+x_]*Y_?l 7SMK0X?[F.s74$&dQ-N͝;Jg삹4G/}HwQHyq/ +(,[Se 92cPۆ %}p}/ U,qpJ:=MC\b-?eыa jR$-*3]CJh‰tggLRhYX lTY2h_d<5zs>=1o8,h +h&E3?R&_B#XQ JAd:P;;#dC\XѺuG(:mdmbTȓ _*-*!`bWn 3F!̞DZ2^]YQE$d;$D͛HWV6JO4 +lf*o찂Nɀiݦu 0$R:XW, DOɦUQhB75VwLHp V\ssv&n>Ue3 !YEIiefv짌,*9\ 8MƝ7&1Q!wɯ.&jgN.mXhri` fR;˵3a?g JcfٸϢǐa`Zv1?9S:=LNκ#yBqL'vk9`~Z"] tx9NZAsN LۧMr'러}׻mg8 LնTmKDg/➷7lE ,@y;6V>vͭk0k`y/'TkJm3;g?}%#NyjSrPB[5a @D@$SbX*3%i(풞i'kfoT9aҺ1~Ay T G2f:WƔR `UzT +V(\3 V.t{e!gsig pĝggM)=(bHQ``+_=Sp4)nm:^JYNƨe$rum{,dd P9{88:vA11! emy۳h(v﹪3TC.JGY%nQW&IFCʡ# 0 %1͓9RR+HIN(jliizu5dܡ$YNkRV}c#5Dσ]0:,~qY;νi˰,4.E-[I^ZjIh5Huf%ih/OrCX\X#zE)~?sDlcWkJInIڢ& 9r:N'%$:%Y//\K +f=Vʗqq&>kD$МCg?)UQaU>* Im;U:rt,TuΦ +YA-:ld_~ɑ.ތ_3[n8-S b H꒔{ZS*YM2f +d] l AF@.޾E K[)xRRj 1r:km &k6 az޾۱vw;ށo[:_-q׵޾ȗkᏛ#1 owܟ}e}{N;% i:/p"oDj·\94]ݣ)(ZcB(z IGLǴ +ONTk܆bJvS݇)($WyHwkWkD*!*"*2uy;鍈J<~[> +121 0 obj +<< /Type /FontDescriptor /FontName /OYHJMB+RobotoMono-Regular /Flags 4 /FontBBox [ -498 -271 950 1056 ] /Ascent 1048 /CapHeight 711 /Descent -271 /ItalicAngle 0 /StemV 200 /XHeight 528 /FontFile3 123 0 R /CIDSet 122 0 R >> endobj -133 0 obj -<< /Filter /FlateDecode /Length 557 >> +124 0 obj +<< /Filter /FlateDecode /Length 553 >> stream -xڅ]0+s1I:3HAʲnAMVVP|IsNOsi*>RUmkDQatTrXm_ȇ5Nud]w.xs/:+!<ޚ̫&ުS.mL}ݝ]B['wI8ꗲmm I)KsuJ&ބGIJd]u7 -5o]N]6hٌL\5?Dw+Z]4gHut^E& Vz_F4pH6elO*FМGJoG tX6pQxz_G~T +xڅ]0+s1I:3HOae6-hRI^; +9y鉃oox*AGJUc:[x)h0X(ݾ*%WfMS-׋幓wL*^ws0mwu΅߷ڳ_(q: GT~!#rn.&\ɨ?VZڛ09x(IF᳼ͻkӪZM4\5hRJ𮥋uu}Vވ(ωTGwkqQd䛰njkI'.TM]kd^yNp+KOaA wSh zP )HPJA+4PS8%M@sP +ZhbO @| z@ 93dΐ#;CE1T$PC -<< $@sPB 50 P+,. tdx*93XsXg`3@3tP,[䘫0G~ |va4WZ}~Wx+xڮQR endstream endobj 38 0 obj -<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /DFFLSA+RobotoMono-Regular /DescendantFonts [ 134 0 R ] /ToUnicode 133 0 R >> +<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /OYHJMB+RobotoMono-Regular /DescendantFonts [ 125 0 R ] /ToUnicode 124 0 R >> endobj -134 0 obj -<< /Type /Font /Subtype /CIDFontType0 /BaseFont /DFFLSA+RobotoMono-Regular /FontDescriptor 130 0 R /W 129 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> +125 0 obj +<< /Type /Font /Subtype /CIDFontType0 /BaseFont /OYHJMB+RobotoMono-Regular /FontDescriptor 121 0 R /W 120 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> endobj -135 0 obj -[579 0 0 0 574 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 331 0 0 0 704 201 417 417 0 0 278 319 278 0 556 556 556 556 556 556 556 556 556 556 319 319 0 0 0 486 0 639 0 632 693 576 537 0 738 324 444 611 520 866 713 731 558 0 646 556 597 0 0 928 0 586 0 0 0 0 0 0 0 507 539 446 565 491 321 523 564 280 266 517 282 843 568 539 551 531 382 400 334 569 494 771 503 495 468 ] +126 0 obj +[579 0 0 0 574 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 338 331 0 0 0 704 201 417 417 0 0 278 319 278 0 556 556 556 556 556 556 556 556 556 556 319 319 0 0 0 0 0 639 0 632 693 576 537 0 738 324 444 611 520 866 713 731 558 0 646 556 597 0 0 928 0 586 0 0 0 0 0 0 0 507 539 446 565 491 321 523 564 280 266 517 282 843 568 539 551 531 382 400 334 569 494 771 503 495 468 ] endobj -136 0 obj -[ 16 [ 196 ] 26 [ 561 ] 40 [ 655 ] 44 [ 712 ] 46 [ 551 ] 69 [ 543 ] 72 [ 563 529 ] 77 [ 242 ] 80 [ 242 ] 82 [ 551 570 ] 89 [ 551 484 ] 899 [ 515 ] 1017 [ 434 ] 1138 [ 561 561 561 561 ] 1143 [ 581 ] ] +127 0 obj +[ 16 [ 196 ] 26 [ 561 ] 40 [ 655 ] 44 [ 712 ] 46 [ 551 ] 69 [ 543 ] 72 [ 563 529 ] 77 [ 242 ] 80 [ 242 ] 82 [ 551 570 ] 89 [ 551 484 ] 899 [ 515 ] 1017 [ 434 ] 1138 [ 561 561 561 561 571 581 ] ] endobj -138 0 obj +129 0 obj << /Filter /FlateDecode /Length 30 >> stream -xc`hP`b``9!@ʵ +xc`hP`b``9!@ʵ endstream endobj -139 0 obj -<< /Subtype /CIDFontType0C /Filter /FlateDecode /Length 2949 >> +130 0 obj +<< /Subtype /CIDFontType0C /Filter /FlateDecode /Length 3199 >> stream -xmX}t!ccBBB^@>CB[@BO nQZRBbB(Zjt)(uEPPr4B@\DDDAAn^ ;3w>~37I"III9oU>|tyme1Uͫ×<7HuwhMv#ܓ*7ʴiOK \Z:$P!Dd ,OFliXH!B` qE%%%+.zj,ůkkU(E$jIUU󋔨k+W,] Q(EFq(3/D)f;MHI؟#r7Y%uOjG`~eyCݼ9ޙKsֈ7пg7|lsmA/ˑ1=y"R 4u)5WIoQ>_%A]Ru-};{NׇwM Ӝ);h(Cʇi01oBO$JҶ5)F{qq[o' ci5lnLvN2-Z(31j.bi)*>Fl}Ivϒ[|Ć!*70jB+VwM$ۮ8 E⅐=I~6I1@Th8 3e;Jy0>0!)?-j{'$u8wv;A[^N,R@; R3h:rY6)i픢o}}oK1Ҵ^b++PINdÕ 1X kZЉ#N7Ħ ɨqƹ/J(W"k)[gbon7|vҴZa(؝B1{.9ui]A:g]A)FBwWe#Qƪ86qМCF' #B!%`>w5VZƆ*\!6ʚ!o]h!w$$ Hk5JKEUpQӺ[{{!ɹ/RHrD_|-`rc]N?+L9`R/"`~I`S%sqkSJ/U930Rh+LKQŦ2֜Ű7^Y|i%S6G&4wiԸ2a|6;des(:n`{ǨҼsǝ -W,.ϲ;8FOq0mf*F)+-*Ӛ:ojD ~RWbt:t\oI͟(D9!BA)fv@[J`X܎N i8w F !l6!W7NP_cNewKyD-^LuAߍ~ #I9]ǟVs{q(c[0Qk11 j94k4rpxdJ{x?..Og .9q>f:Pܽ?#j0P=ѬrV'z*`܊o<^9431"lWՔTǟ; NoxP~0b He%G`] *GN?af-Ȋnjg_CIdlZizsP +xmX{x!݉YDEBC[)* jp"łHEByG OR@h2 "V Q 0wn99;s;IHJJʹ}>|%+T))+;},;7¹N"9)*rO,NsG>׳c^8puNW֧tB >S`A pd W0fĩ~EEE7+*0bfi;**ʧ变`aKjv~IYʦ*QCTL.1lƜis*IFt=P wb(c81>dmEV ϵ!y@ٔ]CZWrjRiiզNkHNnX^N !_ݝ漈lq-)n##.~d7gqDhgZoJRtW/_X|[7y!)kZRǤB/8-k b&D x )11R~`ZV0|N ΉDIږ*!ErHx F=i0z 4ڍI!EF@3(jNi)*>M P)/ƫS?.嗼D-?=28ywwzA[ZR,%߁dau+g.jq]ֶyKݴޕ+ +a*k"K] DCF+%# ѝxܧPiCn8R +EqQkuߐQd-?Ygl}CbKnlvڴZ`Ӯ)uW'r:{4>#ֆbxI)l)0-E2 t%]V2]<I4kR\{al w;yˮE ox:bF("QzKpf<'Wlaq;vFWL1[X ('$MmKm?Ii[K˫X-@)d)-8,MOYaGIfLKyKuц;ó Qk<#zHړHigaާ?V$z=MUaG d\Y4&_>>87s"hO^(NVu #BA'c3"Ud%#DQ Lʴמv_ 187Mn\8{.\ +6o 8ݻM9ME]إ%<뺢Ed|)Au`U$qk!C8UE(AIOU7yQ$U\sߨiQE̝XMd`sMc,\F+gA"fk "gO5d^<\PyɢbI2U7r<+j 7R ?2#޴)c7o~Ҁ>ʟg{դ%jhs:/0Qeo} s1s;𶝭#m·`JT,.G\Zp#O ig8w ^{S J[\ؤ*A%-)ϸ۫"45|&ב*Qy?p9 %Np' CTE^aj(6gS8%{̴j93!T΀xv \'.Mr]iz;:cW_ùpJb5}3Y45W3ݩiD]5;#RαݦSLNb\2\qᥱxOh-!{q`L~Mp?:5}r+AؤuEI6Ć=e GD;\8tϦ5G6BBj%uF>k$s Fnm^xwqpQd[crk@pH{׹Шv+JTPr xPg_MY[|KA 6 w%kT Dؒ;ɆkWGiO%9]wi-5eިQ]m.`.HlzyB9L >gvJs9 =O(:"+y#EarU@D{DvYGJ4=KgE;&yt؝`TZ^R60赞DZUo>i$ y3kw;Q10G܂#dG6(;=(lXs.-T\z8,(g-rP{܌kXi>7gꩶ׃N+R PLpkx(; )K v{p v5YWU-bP=VxƄr6s ЄG5b/>x` {7l\#>.-P$4%xҺ]vj!Mc;{cY%%пiKBCUpk endstream endobj -137 0 obj -<< /Type /FontDescriptor /FontName /LHXRBR+Roboto-Regular /Flags 4 /FontBBox [ -737 -271 1148 1056 ] /Ascent 928 /CapHeight 711 /Descent -244 /ItalicAngle 0 /StemV 88 /XHeight 528 /FontFile3 139 0 R /CIDSet 138 0 R >> +128 0 obj +<< /Type /FontDescriptor /FontName /FKUEKM+Roboto-Regular /Flags 4 /FontBBox [ -737 -271 1148 1056 ] /Ascent 928 /CapHeight 711 /Descent -244 /ItalicAngle 0 /StemV 88 /XHeight 528 /FontFile3 130 0 R /CIDSet 129 0 R >> endobj -140 0 obj -<< /Filter /FlateDecode /Length 461 >> +131 0 obj +<< /Filter /FlateDecode /Length 464 >> stream -x}Mk0C =C$a^iĒCJ%Əѫxc:B>RF ^>6HO|h`ȼ7k.#Iu_g!%n2?gg҄:*!u9a.V?1r7F|ߠ3)VJunoChr|Irt8!\0s#dmK_]-O*XHdWW!5-:pn ʒp8¶7om$r -s߁õx,Se[y`e@K٫ @'D+^x -?vbWҤ*== OS!UHK-S{ZH )G =yq'H[iU -LL O;TKV`4A)S )C=9RDKksePXs&$|M^zo?ӏ}- +x}Mk0C = Y'SA-:$+%#ۇ4q %Əѫx}ﯹ:?R^_47m[+>E'@e2rTE,ĮC?jP>91\2bbn{ )VRvo`r|Ir0"\FZ$<)o"YY:^9h!d~סQǮuCW6ymZ xMT 8\; 2šgV \S:`z)6 +m!Jpvg$A*H[$uHa^DJ6HKG)iE*$c}g@e;P;/I5馌 H)Gvu6)QksnI3Sr7Vyh endstream endobj 12 0 obj -<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /LHXRBR+Roboto-Regular /DescendantFonts [ 141 0 R ] /ToUnicode 140 0 R >> +<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /FKUEKM+Roboto-Regular /DescendantFonts [ 132 0 R ] /ToUnicode 131 0 R >> endobj -141 0 obj -<< /Type /Font /Subtype /CIDFontType0 /BaseFont /LHXRBR+Roboto-Regular /FontDescriptor 137 0 R /W 136 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> +132 0 obj +<< /Type /Font /Subtype /CIDFontType0 /BaseFont /FKUEKM+Roboto-Regular /FontDescriptor 128 0 R /W 127 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> endobj -142 0 obj +133 0 obj [ 12 [ 351 352 ] 17 [ 387 290 ] 30 [ 282 ] 39 [ 654 649 562 547 681 706 ] 48 [ 541 875 ] 52 [ 645 ] 54 [ 638 614 618 ] 59 [ 874 ] 69 [ 536 ] 71 [ 521 563 540 358 570 559 265 ] 79 [ 534 265 ] 82 [ 560 565 562 ] 86 [ 364 514 337 559 505 734 ] 94 [ 508 ] 167 [ 536 ] 1016 [ 478 ] 1137 [ 573 573 ] ] endobj -144 0 obj +135 0 obj << /Filter /FlateDecode /Length 31 >> stream xcI`bqzݟnS endstream endobj -145 0 obj +136 0 obj << /Subtype /CIDFontType0C /Filter /FlateDecode /Length 5018 >> stream xZM0{iFmP> +134 0 obj +<< /Type /FontDescriptor /FontName /OMXUDF+Roboto-Bold /Flags 4 /FontBBox [ -727 -271 1190 1056 ] /Ascent 928 /CapHeight 711 /Descent -244 /ItalicAngle 0 /StemV 97 /XHeight 528 /FontFile3 136 0 R /CIDSet 135 0 R >> endobj -146 0 obj +137 0 obj << /Filter /FlateDecode /Length 553 >> stream xuKo0.RBxEbR3bD;J‚_ۇRAq>&(1{d[{iJ^vu4my9kӽj3yklΖ󥩺{4t{T+!í~W/E{xjO*`[u'g⿺i+kI@)u?,ٳF,2*6J$%*f7׶9h<& ]s ZѪQ̑ sͥOK!4suuxݝ5yKUwWZkN Ju4viNƅ{6[j+OPoׄF3׈14=JE 6 f8=8 $@MAZ80 @@ -4487,155 +4452,143 @@ x endstream endobj 11 0 obj -<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /OMXUDF+Roboto-Bold /DescendantFonts [ 147 0 R ] /ToUnicode 146 0 R >> +<< /Type /Font /Subtype /Type0 /Encoding /Identity-H /BaseFont /OMXUDF+Roboto-Bold /DescendantFonts [ 138 0 R ] /ToUnicode 137 0 R >> endobj -147 0 obj -<< /Type /Font /Subtype /CIDFontType0 /BaseFont /OMXUDF+Roboto-Bold /FontDescriptor 143 0 R /W 142 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> +138 0 obj +<< /Type /Font /Subtype /CIDFontType0 /BaseFont /OMXUDF+Roboto-Bold /FontDescriptor 134 0 R /W 133 0 R /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> >> endobj -149 0 obj -<< /Length1 1454 /Length2 16001 /Length3 0 /Filter /FlateDecode /Length 17017 >> +140 0 obj +<< /Length1 1454 /Length2 15955 /Length3 0 /Filter /FlateDecode /Length 16968 >> stream -xڜuP\-3{pwwwww  A n;r߹ܺ55S{?ݽV]{TԙD-@f@)3+ (aH@v/++@\L> 'o+kSG5 ry?d͙f.6V@F('=_$W `fcjmpr9L]n dVgH+kI))J*i$5d5$%j2>6W Y9h ws737 -dDpw1 Y5 8:|-3"\lt+ ` rq7 -ZBӀO@kNe*z3~΁<S3g~ z?Y?YEhM?Y8?D?gb/9?D7'cgn.n SG!}N^ɂ eP4CCVv/M8qu|`rC9ll٧#?:uxs9u09{,,J h&=`OF)w{{%SO%nmYj`cYoJ Sʺ~ -ISIud*ePq3XsMG #Pj0s+.MOGS7w% 1EUSBbjW4\?/>+3++ۧ]9Sx hb7 9;ߡ]\>g>_6- szǒZ3PHy!-0qakFb0N7^DWT2qm|)\ Ƞ&܃R%Yω]]s GU)~Orͅly$.bK/{<.YOߊaXY>yZ FO2F$ "YĽ29p+Ŀdhq($,ksϚ+OtȘAzdi] -`%0 -…_HXa@x̻3΋1fVT]ye,wPHzkzVVH\PJm .M*AflsWVgrb4a<^u!5JD&5Pg_By**!-$Djַl-x!-"pgvNEZM^d.㟬xq -H™$ N/|R/Jw1W7K#3Ǻn/ilEq -SXӭ6S(R7Y#4/QG8$ sL").@deR(*k"Ҵ|{7NL&m+1NIo1&֔>.R;Z[jKLϭR9'k.?AߛsqID:Zlz##??Xa~;g -l/_ރL/6YKUf"gW{o(6geDZVgd7e{tE2JHAٿL,$!4G`! uLG)rp;dko\{a̭`> ]7 f>kL ]_7KK9OJO]~ |:U_Si}'|RGx${R)"Qk=" -*].vնEh6Kbn;-ɝ4;u9 Պ&18`I6 [v}kcRPlWp7f-A%u3WZK3O9 faUaŠFx[pNZkGyIw!ܻ;ĊYPM"cX{_,D(M[eg؍HŐ[+]8 W"9נu7.P`=޻S"]%6|nט]6Xίqd%$;9K䉿?7=W -Z}R`I&B.=L'٪ 7SM, x!Nt0pE jNW*¢%u9!ӮeC ΗoNZNJͣg%"`8TvC'ߏD,c" zHK]7!&ɾH_Bu`Ž!.柘 =c@VbEQA,$cz ש>u2}KQ.B>" V6ĠeNf4Cpt!}] w|mMg{0;ac*`SuJ{sV5Z%cU:+qsfD)o<l|̓/{$wTRv5bl^T+lOfFRG}owe`Ze3+t?}Q"q0bNAIC#g /:h ޗI3իl 5;JY1?Vk?ڀFcњRAbѴ;9j,{vS?!^e}w;߷&f  -kJ!3H0zs*sٓޚTנs^!|&؟biBmFKM,uͺBƤ̹8nǺ9@.'qtf6W`۰SbZ.rLpZ ƌcW̜ -+T JeW د;$]–s_- -KYpY-whk~ԥ&Vv 7wnWCt4*ƿ2y$ >5T7o]xwZV<% -YNwWՀ LM$tF/yK3"!{s[|i]׷!ϖ6{K&M^ŋ.T(ErTzo oMF$s(,(+)ݮdO}*|4ZOoFRTlErxۆnEDlxڹ/' Oˁ稓kH~%suܪ^Ǝ]-d\"V=RyT=}Ǭ~*~W":N ntY>M>0ll 8&BSKT y1~;tLa-*5ު=/_5A`U"r#J@M!e0Aܩ^umnz6(,V)kr%~oKg]l3WpW)ybCRʬۅgPW(sϊ)Eÿ'۔H -R4jZ&3 GԻȂ堕@& {C[a( cMlMf&&BӀ/2 @iDd~́\MlvghA?WU?EDEwt rq0~ cP|2}}_rNo//Gp  6_Cpj?@ e0q Xfp mfd5/2c/E~abh maѹ)___W]1`lb + tnndw7?P"_U_65LMR`c`V)'/! ٚ}),-L-_^Dh11rk+lMLLMTՕigªt/ ӿ+?_YkڌL__uV1[#ٗ_o4aa+s:fv C9;8|_E}UM-Zhbfb4D}}ʏt!p7TY[b['}t[ؤ<4 "14])`U`}a&1 G*.Hn[3iC1P('dojxZ~$dO?)e$f PH]̊,ob^2L ?,Z|Jm# yXs>0fT$;MOS?25(WZ{0*4gȥZF3RTlŭ-ք-$L_xTŅ b7e*UQڳ&UKX7- ݠ cJtW¥d1 dSVV3JNwjTEgv [j;RIA`/eLL!\ +?}9e呏ՉrYT?)u@ӧUdMyd)C/'s.@bƕIH^)G^ijPK!hOXAï2䩇Q$\ċƔIk& U5WԀ0Lfaݬ7[gT/e{mtdL}Eu}&˅{6ٖS#7R>M911he2VnՈ=GMz:Gӥ }֐F؋"#^oz#9W( g0J3VA=}4x$BMpRu˛R +?q  ?El:AUQt5 FHͿۺe`KU>=ܚ0(ذ`ӷZ_x LZ7rR=BFiDXyu9߀_9*tf3?*L?:vTg/lJ1;Ig]u 87=. "o`{E Ӓ|-3 !cSxecDb$aԎ!MK]!`oFLK#bWeŃO/K?24(-)l֬l?)tA& ~DoeI۴zxt9$3i}vNO@bׇ^2 xOq5CEX4RU+ Bΰl'tƍ3oUdӦ]L}r7Tlԉhr]}Zs.^~+шj~gErJ'oUvޏjo^2$c51.n(T ֐2W8]xuf VA^V$za0:0oj"zٸ +2ĝ@̢)`uAX_f멩Ac}Άʎq/֞dSc}ab}i;Yz$g3xİrh.E'[q* f!߮MLl򄖄=񵞍a]n d* g%tF+W|E:0o3=\8G`Ήd +cF V*"x$o7"g e/_6}3f9rd$D& 6[׷ eP +s[[7C PT!yٗ4ɕJVioj"~OD-Bp0J< ^6F}&˟ ,%.1,% &=CV1wrb[ȷ ?P'wp_j˞'aЊK8}Slb:JfV!?z56H,gqcSa͇\>@=r64r3ބ$V!(2DhI'j TnJ6u^:Ka/UQ5[/)J(ڞ[V}ɱw512 +P(*(2f4VG"Fw/t~[Gl6d"@T Rdj; u*Ȫ.܀XHں`0^y`].\Ȍ>D ~:*~IT!b$8ȣrw}R^h τFNmdP(8v7=le [2m ޞ9Ca|f@oG"!Cƌ3iLp=Eq髖Vi>nf̬ւ"2_%z`dT9_{6` +]Qπ=zWFf]d<킭diU^eyz@2(.{ +Z@;B%!4#!@ߝkʀV3׮| +@l5U1tRk\Gܞ n[\Yj')Btu͒ŝ]F T˺vK]Bc'#yYlا3~&ec.}1[,֏l6KԔ>>vwV<蝀p NF}ڬ$s`wy^,MvLмtִHz$xGyNЎNT ++)Rdzv3EWV#g-asƌi䑘ڗ騋=:&sŰh 8]wk`Ϫ`B8` -XI̷T?FWAjS]_C~Uuڙ&dhtj$y߹ߍ!ĘM=ˤʏrrĝX̚㠪ۚ4ǒ_bގ -@CٹvP)x4%Dp{ kFo$j יt vɩ}Wnq!VAVxCӯ!?Ow]WR0Uu{I_]cyjտ:5Ԫ<=Yt{c>‰`]9gD0 $Vsgtl;Q ..zˇuSm~ȫ҃)Q+Q& æ`*^R6~8Zn -9B&y5(pt1Hn lNg^W-`N+"]DqtHz -}\X3$T|7ٓ(ΤD7MHz̑tP qv2;*b?X켋&QBqgM4 6 "eѮ\D$ ;ڮQ -KTcqtzN\Ϟzh"Wc̺I1Q4x듔@8Z_ZE \ ]41+ռq:ט ѝ1 h '!z+G|20νsT>srx - Te7S [ L  8蠸2Mx8F'ֿ?]`-p?(nIѲw: cin0{riµzRgL[3}[{KӅmc&)u|Nl10-{vRFثo7@{݃IFMD: -[-wIBDX͘6KoVN! kք*P uCyW\|O?*–xbUeO2zC@ -al]5Wrz)Zn=U  uҫ;qnK\dv"\/SP{6>\~۟\yIգqbٵӯ=\E;UD4 -XA>1U q>R6t5Ys?yJ:ٝcޕF\R~S>0tˬ,$>-_hHȰ wdי_.#trSALj!̜AI+TmȒrLepR#jT׶B퓀 .p6wσOà$>'c&ȹ:xG9O[ #CN0ROSV C/'P !+, s]ͧgFtv -&YG?(*QjHPᕤ<\?XhЃda^SEP3xnk lm^jZ78ugn_` 7_ -ھ HFoBb`9.s&~D4,IRh"Q::#GK2_+VPwa\O"`}J߽EӑM혢mpTƘ}h=t< |v@}A<<~(pR&vFWBOjjVƙasfR(LHY鰃. \`cq"#Vv flj& ߘ7|c"1Z -қOS{#ê(lO8ti*q ȟjsX?,r /(f3\̌_M\O4b -"?mXs53$uG-R􃖆{KmxĤLb2Lx1S-Xx_limJ+^:10+cbSؾZxAMt-]6 .; zi͋4a`\h IH&881i>y f%K.ivԶ{- 8{qY:ΗB'%Ӹ lf- #fb@ -HEONO=,ZL.IY-9tCi'C晠Mj|}[ܦWw,wc=3l+{9]< -tP$</]2Iڬ^nز ؖt` 9-u܀7.%X `l|i٣+>ʚ;{z}5M0AϮ5@.,~gMjDhM\'@xیl6plU # c̣9c]1z;߷Y7YuceL Ն#Wh.W%A+#>4Xj7EJelc\;k3 -zu3P $h:g$~ơW\hvn쇒.PFl'J|t46~T/X6=zi fy2.UٝV!*d :5vV='Dq 1,|:*ǏrI+ 7y'w0lۺYIo=3v0TT +7iLhU2E\ Sp ؀̵ Ookˎ;x**a)B7F v/\\!8T^ 6y_ڲͮXOJcIw->Ƶ&9ϩa>kk7m1Mjg_NpiSk%5NAn0E JR$#AD:IR%&MMaX -.ρt:KY/O6κr!hQ׊jBU;)Ɩً-?`H6iܾ:d3^`ij!r -:w'KCHW~ݒ ( %sR RYsmgSqpqjGU"4/qCK;Qxa8\G E EvC$ hMBӘԯT4Б;aN/sUY[ 0"-{,P+\'1}l:$:[ذjY<^LX;7jMÿ +vcC%w _+6T;cv2\ 53{J7 -/eĥ4k OaQ@~Un<x*|Q1z.R #7PEYEvVRselpF"| -ΌͰ6J5b -yDyv2mrt ̱e X~]MF˕!6G#Z:MY%lȨbNOpyfbggx'.D&B !x}!ŮNj9uNlgHT -Bis+Nu8lg Whed֡{>|m,a6\">J3UW omlF4A|so$/Ypv넸RB8rW"ӿ܅<ݛ7b>T`4> DQՉ %5gO&(<ց ~PW+xo0ã 7qe`.aێa`oD}Ǝ//#L%xu1_r^CN/̇f"1y!eSa0Įb/Yt"-h@&%3B#{=Vwɑ@pIsZGjk 58M NKHoŏYS~ģ֍j$'HVGpn[4X֮^ll o͇K'QbYwOI Fjvh0m exXm;M0az -7E?R -Cj+yb6&ЛS6 7q4[5^`05׮_KJZ`^)i<&5VtY0Xy5~hP3sE:u(s@;q [Hgի«/ՇPZuw3r<1 -+c2Mv#_SXw'қY4F2Fh4d3)홫| @#I^?JR'':d  @H{]UƴKW{T+Ip2rS-A~؀!@!)s -Doޟ~o[~O aVƿ2`{("~'aܹ[UX&%d92Yii+SaIuUVTeLJv.5"71 ke>$QJ!Fx\^ 7gM͇h(dW!) -xcFHb}6O›'"+7ߛl N?DuڹLup}i L֒d6=dt|z, gFX\TnNeM爜#kHHy/⣘K/;G8[ 543zɞ6?*q52кX^N 콛[۞~^]iK@$}DuGc*D}GлJ L}ԞXlzV9ܟWoqW|glT5!4|+O&ot*)?%,XJ(f?Ccft|Mxg&#JG 5]2G'[?ͬ=$T`ލhݐ߶b,B[~Q)uV1IЩO_dPlO>CO僩Pcqk'DryPWrޕ U4 SLl/so -Z :n;_"s$4s7}( - ĈO@(M}eן/Ɓx)_},"JHxON<~0.ƥZ#w8D(R0G7ijGB$K;\2>遾27\E¢yڕw3{0H$lqQf]_~Y-(+:b 7* puK1PPPQ0M72+>NĪs%?{fo&Wڴd b%4d,H“ -kTK:~K+ivdpH0}0*&Dk;ojS~8[9[jT[J'o[Es'ɝZDš~#M6y ZD 2]1s(yuΟԾ5RC^5ʽv -dDRVC3g,1j4B/h=ܩ0ߡy+͒FJT$P'`$en枻`>@|p9S(QSn4H[ƓwSnX̾k`)7r#_&R+[Ŵ8TpR"`EW>-MeەD24Nq=@8ˮs _I'-#:F, ׏Kv0mimZTӎdr@M>ge M%'<&my>`GQejҝlj09L&:3& >[ORv o8Br ;;˨C44+2WV.).W~ fܤje%2u ACM eIEB>DMphO|ChԖorv9D[*Akxuhرֽm 'vEFΥ{5k\hM(2&qtד2(WZ4,ι3=e65c3LvKO'dӛqm[Fy:i / - -)̌MKE6dw_҉` -Y3BLv@A4Raڐ^L.#w WEz.ކ{"1Dw1!K}^Fw}`VK`gd6oP~!BxN,x0\Ōr 'i 1Y3r5Ѱ( ?*Ob.6]gP06ܡe6˖=QLl%%c*Q) [;sLU4 2 C==rX"g`851vR7)!qXf  _ռzڗjгul:S-ڎiםTL@$ TNc2`ܡHd߃g83m0Z*1NKbɕT-Q~M+i>Lw֯}a: -kL00d8G/LD8JSx^.k6`ޘ[,f8f!H J;VUl(]rQF{Kl{|g|LgQ^dAc-cߡHRfr䌙 -6rnϦH@a~%z\D`rj1̣BgD}q/n !$VrvoayF֛O੿#ϝk2=v0^.gHo+k__6ED" -4y]S?*ǴX*٦arc ӳwѱbx-PJ3geѿ})iĨsvAzagıK*҃B^z񤋀B2f'!ɩhKRl֥FdPaBW\ԯ?2)0ʯٚhY'ܘr8u\>!.(f鞑0wDY\ MoR0RkYEa|9ڎ^*ԡ#10hx\_d%,JUKQn=Xi4Codv.#xjMAv2NVVyCK+XzcǙg|[v Xd^os+ - HC#_X&F3!ʷz !V~}+'L^u#v# -ã`PO{tv&eޔQpϵ{m9^2ױi~z_-o.DN,껦#2JFM!' z7+Od9/q6'U:[^+uџbK$ZqٴteRqSy{&I1߲ļ~=e;3%::xyq->5ڋE{:%TעV[m&mn_l.j{,^~} 2 mWrMEt[%ˑ}{p\ڤ 6,s"A (oMJx^c~u.xzrfP&~Xw)7Ŵ-EGnpۚuHfq+d7[\OM^|ھ; MYݲf$7/|Ldo1Z Џ`AѴْ@d`g/%"OzI㦢Q,9GdԼ{e.ʯ|_^MAL(Y|T?duv RiXZgU.Bveb>ƹB{\"wR4ũ~J`*zB|lS[Q̐W8 PxĎCv:CMcK>jC > -­}#z8lnb|W8qTG,KPmzOķdo\qt[JWRv70;SyHJ̐1\Zܦ=sI_rɿHз}t3tӻYE[J\ u yjJ!9`i+ƦZZ( EZɏ -Tmw<,";@c)! UW _{S1TfoLkv)> H:6 -M7,.0U5p@;Tc5;L@5_>Ho䑻Krux%S#tW5k|{h1^_ߺ]9bPU$5c 7e) E+qwT%0lŮW1hZKhF=\T12̃#SfӴHGmf@Cp윗ĉٲkώǼ5ð"bV8H4 -6X?24d EzjbD]٢l\9'Ma%ѫZ fr\fOlW-2q+DZG=tff /-2@ Yr ʫU -~z)vddjzY(|a# 0BOs,>[G] LƏSf 5G!8X~"v;{z$NYGJ~J +3%k{Ҹ>W+8BQgL>Y?&7No+U'ٕo`yU[`g Ez~K䚶|n*ʝJ-szωk<_udmj2\q|ÖjVAih( mAK'`GBϴ c,놌pQ +lSޏ%z:e`;m<)7N)ANh2m.XI.,hdWK-0*dMI]E{3yx^&Ti`-/pSPM.GOa>J0:<|IIIE\w 5B-w':#o~&Gdhr_L8(ZpOv7&8_|U+ha#eL(0DSCdqZ*P¥쵡0Ufه1lUa^4*R^lMօo&+ɑ%⾯nZxH0go62.nLt]7Ɔ(ohld,FgՆ ʝaǜ [ ?Xޅ \ybN!WKtYq$ wWY}ru Hzq-Danry)V6h@v P5xqǎN326 +\׽E0ƮgU,8ͫ.*.`fNt:w +ZSlwNi;I OMixa&^vN3p%s}= mu2 9_-oR#ܧ [qCFq+G8R P|,Rk8B׉o5˩#^rْ }(?~A^$.ɒ8&/AXeC+8.on1)Q +Z1/\YLb:,5Ve%?8l5t8TSP*rŽ+K!dDb=<+ClGZDٷB9gxyA:Ө 3Rkt0~ j`Ytg%\6KF4>ьQbT=ؙH;1֛."o76"  _;F Oф鿹hRL踷ET Hdt1`&HɃ$v1~||jV05ZKgh,'zl) f >6HFyhw[mWљ 1TOSob1鶇  y{>- qr>%Aj!!/ց |z< COFpVW)O/[[]5蔗AG杖bݶ~qYŀp'nje1Ral(M13/VfK!fگlҡ{A#u 3 eEgyA6s̈́{@T8=CSz ws]Myһ8gcܥ96RUYY>n/}L(ysZܧĹ'tkKxM(':{R<%2zutz{_֐ףzg31py? ɲiD,)a#xn=S+%sT.c{S +]<6qx"^ҧ kGE5d)PHaҍ;l6IcCIʦZ%I؅ߚ%UlrHH gbJu/Tzs?PĆcξoD﯎i9u/:oZsqM{ ULzJ_:׮md@ o'>"=KJP ++bI$Ǝ}=WidA,O3R~+yȤ벶3:bN<2w4? Nz +YH&eȲ GWw쮫!= oAM% Xo}c_*1@ 榐G{MAIDЄ|,!rԺc>TlyذKN؊?J^&1rϩ;6KΈXY +=ijb|n8,5S*˫lJcO"x'@9)>JJ~ݴ[T|"5}ɠ": ¾o2pXO2u{8҈YpP|Nn +Fď-Az7#6BLLeoQж2?]4ø_`VPMO95BH!}4O"|u6>tĐAb{S嬑o@e'>Y[ϵ*;Al~ IAP,B44Q=?)> EtSnܤтT?'k2yevibI<{c#{;|x{g<|] ̴0t!$\ImW_iJّ7쉑m.W2b<!5Vҟik" !+ߚ ^uc +,h~~˜h qwԩ1y$amaUAeiĊ,-ШKxwYNqd46 D5 mpr]q +o;^d.K꡶ώ#Eh`rRkF KN ďWǨ*zˑoa }k8oj?#3"X/9y1z)^ntIAP`Dq.HfbEf(Qtbct< ȴQ^v :]6-곘QǙy-[NhkKAJ;uu>Z~Rg 4ͻ=ll׶|bR:KWuXD!&mLPZ/}iR?d1۳+Tʽ^,!{P̓e ΉR~ +˫.5P)i +5|w>[G $- 7v3/z"eF=m-z^L+{EY㝨9;>H:EH]Q]9$xgs/ƌwZmzX6*VnݷTKLW^N' 咻§NlJЃ4k cјsf#X7JT,eN+p<5j7ܪ9 D:F H?Ńv6oFB//Bݸg3'B6,}9ޟ~K:=6yԺx3gF"߳ȇi,NHbhvOXR5ōpI`nS.&y Zj,+77lKaT+Ni̐;On$8a*3ȍf6~%#ˆVQ/j˜$y"41Oglhz&}NX$qk1b1j#nzqkDNiHc_n@1֤ 3R 7\ u׋@E 6 + OF +BuhA\ #:Bkts7?|:#毳Lc>i=sKPQ=l)|jkQqV2 +$>rIWm)= )|q52d|?KG0\ uZRdhKs} +Lr A`rU.k O%Xe< 1y+U[;i2K2D{MRJ*o?sNsèП ~*8 E?X?_:T:<)p]ǩ0s [%S 7uШ#Ѥ&VN"gp>bݒ +rGh}ΤiUi_r!*߸25'mi||IJH#C d $kfq/MYZkO&`ό}aV"^~5AĦAsC MZ)S?.f1'{:E8_1}4m[=^\@XqvnaDlԨlڮ2Ir 8jA ?%OH c9Dзs+ EIqZ a\=qo% gY +v&H'3լAlHnX +~*A:!)iٹ.ID껴}ۺ$xbbqp5R?M ā ߸'א ?_ t17˧ \L/M53B\ro܋b>o)wSЊxI꿲cb@߫'x J`y {PeFS_SbWjGhzt6GFߪ+2<|*8@;YGbgfPuXxTd+{zmc9]yr)m7D;R@5|~]=~..dZۧ3Ӈ<87p)f7jezG`igIg< a.Y67VXsh1"WXt9{rJ^ih =@b(P4d+VTЩ?mgg"5CQ Nk\܈@ .l9?Wpn2Vx4&ajƵ\u7.}:-lasP]Yk ໟ$.=Jq< {~K);"0b0aMA^ryDch\9xe8+SQ)p0By닑 +P6u^pV-@3DFʖy-- s7L +c. "=۪ + HjeO(féa>2ўfPC_wes#\}jvYI3.;(~ۆ@]DKEg`F} /Y|EΝŁ jSV5(d2#־ \u-SɲlěH>a͇xߖD[b}̳V}?[4l=N۳fKeO83β}<#MJS8NDަS]HfWAs 8跢X>aC;c hL4$͜H|>df:l>DGt=V&aH,3utP"*ܧ@_'I&r}xKQ_vO({U@t8|O T.&0 8tQE.[T2d@?(]]wfc ۯ~:V~nO_"Z [Q=IACt[6kiRqbkS$΍ܖCjmUvyBfwnR}A99j<)80r(xQ޳q [.o,ρ@*\7 +&'F( "5OXw~+Ăz+7MwG]] +ب?O7[dNMy҃o ]ٮ5u0< < w1/:W7@ VyzU9&|n%VxQA Ū+9ᔵ#40'@{YRv Å`3ȎIT^wꇤԆsBS5"VYrySz`&)fUWꅙղhrť8$X6p#hSH`,0wf̼cɈIhz9E}5Yc8J Y07ט O:_Z+ps(M"{[~#ڀbc 3(x?1KBe'(/ڸ7O)BH&%Ce\=h_~Tt-(C 'P=&;:^D}Uu)Sc;gH[|eYhhSpŝsJ;ѻ,q(Z1c[kgսno.R|U+yj)%rv5k]E6-P샅=c")tK&ͧd3M( +EQ^|Vxom>(}d>o9-+6*>k7DiL!Ӽy0OJ(:[ ײ`wD3 g`WT{۝Շ%DI}pGtX?s +5zRˮ)WilYLDgxf_ F(s;˹-K$GERUA \C,VH4 O*'keF [GDX4%}|a{1ҚGfy U}\О:fA$M`R;zS ++#fGi_Jۢ y E4SPЩʹhP˜5[#|)I7vd@_]ٜ̏'4?1:@ a 2uiT^wd7jrW<ƺ`lPz;mHv=cfRL0q$-Ԙ0'W{ή(dV"ϊBh@ xkfj_H(RaSܲc7@.-o$iɋ"3SY٘@@=iaNn2&not?9)"c[)3WPr`Y(i~|@vRӻ nỲ/==O̬ Sdk3nTQ_a.1Y#* $DGSnӸX#wgUC7Y:݀}SeQpG\ofL[?alaة/oR Mf*{#! ])bqqƊF:(,jrՖ&NsC[G ܪ扲(VnOR1li@z.L: B0Dq&W]2?%Fri*baLrfrǾewĠcij3[xے>eE €8'5q-h4WVuY^?u7*@]z~[wl$AvHĖ>3b9+VMR,5(.)Hˁ]MNI +I:mVr:*uB=Lfp;eL0֒m4rH t)I$" +d/c#=2!`?EG{n3*2pOJSgM̥j?v`gӿOL[iu!Q9e$ƘL> $yS"|ҢđgY; +LMw'0>G1^Tuft +hu {*k!xvNGZ^2.*ْr5ɪU#)ĝͅ ^V_4t| +V'R|c<ƓdfA$Lu}3xa(p{W|㬕`]Kj~l;nz! ruN~Q>m y> +139 0 obj +<< /Type /FontDescriptor /FontName /ATVQEP+CharterBT-Roman /Flags 4 /FontBBox [ -161 -236 1193 963 ] /Ascent 750 /CapHeight 679 /Descent -226 /ItalicAngle 0 /StemV 83 /XHeight 0 /CharSet( /A /C /D /E /F /H /I /J /K /L /M /N /O /P /R /S /T /W /Y /a /ampersand /b /c /colon /comma /d /e /eight /exclam /f /fi /five /fl /four /g /h /hyphen /i /j /k /l /m /n /nine /o /one /p /parenleft /parenright /period /q /quotedbl /quoteright /r /s /semicolon /seven /six /t /three /two /u /v /w /x /y /z /zero) /FontFile 140 0 R >> endobj -151 0 obj -<< /Length1 1468 /Length2 10623 /Length3 0 /Filter /FlateDecode /Length 11633 >> +142 0 obj +<< /Length1 1468 /Length2 10764 /Length3 0 /Filter /FlateDecode /Length 11769 >> stream -xڝuXT}5 "!] 1twHwK7 tttw#t7H7 -H;z?=3ל{vk5$, YNڂP0@ -vp9yx7Bp?-:nvnn6.!Sz ('57?sxATBd[5JIEr‘KK@8+"_rA?DK ?4 -]9Nn&@sS˟,(@nA5CNn.^n1p ֶ(L8%HM{֘ݝ9̹ 1i7]։ N;9x,AV`(q݄fuspP:9J -W P_@G[K̿uAU0]C d (.x9 Y[Rja:'ﹶ% 6.N+ja@\M KEpJIk(GZl: q6g |aCNx\pG?E+du!|u_h`//@HBY;w^I@_[0UF\2S<!)%]Α_^Ԭ60 70BR%fc϶}q!v0.T+>!JyDX0zU=xH6vAqcwK` ł IC׃tS{I+F'hm*˦/".Zi-}(v%,.C[A- ڥFq+ae(50_y٨'k ESAQ/P6~벸w$w'b)&i%0k%ꈊ_:`w& EEWmb+/:a??(E`I~ -Mb{bՠ%ħNGdj9DZR~%co`y_$ΦD` K_OFcBFdiOaYLE%gQoh*=O)dAVEfVE f'&KeY -{ -7Bdb_b6&9&]ө}`jGEn|ElLN]Q Lu"V^SPq*R Z%g~c.*}૕8K+~k\U-_H|i!cJ\m)M7L~~I2]뼌|B5kޥ}˰$ Fa4$[ඏFmw - ?1ĺj2,TΑa(ڍc0퇬{gNBI hV,~n?QAR潘g<զRiÛiOtmT=?t ?d~~|"1L)Wu^"MJlEq]R5Nu6Oݦɭk#' -Cj =v0Q̮iȷRWjʧ/ -<{֥Y:&|ii dȎ3ُ`j$Ƶ8N{2c}U7ѡ{ w|պI" -]Z]TbL5,OH-o.i؆+~3*( 6TJ^#BQ,pF!(op=nZr/\0e`TۻX@ʫqgܱwZAh ] ˠ˦k];~v\CI"e`NkS+DrŒ\jh0∛~|p2/[-mfJ~[I1yh ; -"VV|q 'ZbQ~yg0>z< C iYx;2ӻy ́.?)ZkbvGg]$V8:5ⷲf.ߛB _@^seX#QcF'fyX$EbYB8A)Y9} LjkK>ʬDPnprӡg8'ma -bNyg>}٘HtCձt Ocůp7L$u"N->{Xn_远*382ˎ8HQ&㧍H??i%Ѡu9 pL-C7{eYp3ЉְH&676[b|]J- -5;)|de:\h Nrn1Ds)gL0FZ3ZpE`v]~>ڃ7YɜoMrUTe W'Zg3-8U]BʕT -B%Z/;"(V". |3ϬqX_Q;*0xg-1M}7>`] e?q*V:BWW#:vД2jKAٴG6VAIʻAICs}/e~+17T}ys1$hhKxMe&b;13?Z!Os.[h򶭙٠yQ}m3OgCv+>gwlx^4:WC^ԉz|#zU}-eܲNW/LEw+MR^02EǏ;m=a!_-Q*xbz9t(8nŻ*0l`?gw<7-݌$%~v,3'0F qF -K~`)Q>.]SPK5}l D'N -&"lS|VV!Z:np̍4e?(q⡝6G?o etAã2-z'lhal:VoCs7 ۊo0mcpаG\IB3!%r*];1=!~3}]lG+T\Q)߽rO*@O0MԑV{B7q  >Ηe4Syȭ.Ft_hjb P56Iy`4fKL -O' -&K.qs"@QN%o[6p~3|3e4V(ЊI%9pw+}TŲ|8K@*s>UFt,-(]vχ/zm_fSҶ(G/n3mGtO-ّS qLVWK K Fni5=UNh9ok[mwݒ΂Hx{?Ykۊt+V%M53°i¦kP$F7fT;ocX|SN#x( "Dk3yܗbb`0,w=߿6u$w!F63 J\3c4(<h$NR{5I҃y7dkK?LDXx|~LFR,-G6w$5VE;v+>?/Ext/j%PW֛[ـ}0Z(or ߱vLnBj6M)Gn9zđTŜٽ_ ܖ(%iԫ 6QP/^䄡>|b9\1Zt8hcynZj3s<5%Ǖw3xrz)󭷡 s`ҞʎZog>Dxꓨ%Xc>,הtMǞ%?kgdO-;$=5^}GkTaNIʥd}(e&ْ9krgN4}|4h~Pҋ*)QC<b, eg+TթŽ"aϏyGL ?h)q;9gaB^o,&βCM5ҁGCa_.JH|3CY^0) մ։h@arL܆І5]zK -Guͣ5%g,)Pd`)jB︜H9Jُ41-w "xG}Fti6lm!uH,7Tq"ѝ>r|z8mo,<*ahFkhZDءl).]x*ܲEUs{ɒr}_>6*xHcu/XLdJBVP{s6pJIֺsAFcpQocp*$ߺB:)F̓#;Nk|v6> *EN(2kVq޳B5fk,^-[e겁Apn;+cc g}K8j(K.$aČn<-#G <+<_T_Me ao=G -i:>_PS'U`1 (_tR?+[!LIýo(lWbp~W| wHA j^: -^nEiۚt +D(Lca=ƥ ('峭Nc*} /,S qSZA/oa ߴFu -g E8qqxi+b*G moSP?q5Ms2"fRvhFnjF=E̲ae!O052 . r/Y9(\?[T!Hpa62Z(G>͇el{du78Ύdst4邆X??z xY(=Av%1B+|m1ZKSpNsԘUP 'ϱ*Y:x;'Mf~O/%<'XB>$}t=  -[*]IиsW_(9"ܯ,('G}l#D\Y }I{t! w~U?_!يO\hbml[HŕIq"$*U]\D=VTJ/tpppk-K| N HlDFd*?G/@e`spzftZbԑiR /D bޝ:P}B]ne 4.0 [i"f ޖl9]HA8O$YE=,s>g fҗKdLlC.]YQ!/DqȋUrNUUu ܵR=i Aj%HԳ`6dh6).{ -a=ݷ%Bbg_iԕ{l~[4Sap5Vn;S yH쌗xZA&A+? tdxyo/N nlu 2s4~ -$JzFC d=P '\|&E#y*ѓ^_ -u8x̡I~`F-;aju-z/DUau[}p^)q!lRڍ%WoXc$,D z@D-oq(w 8%,hY+9B9"஥ti JkIpS<Ŧ$vTGcʤ[Qub ʋ5 ! %{ lv -=`o*Pk?ki8Rd˹eIB{z9i6wL*F'zU+WNO0Nj KNV˒Yk`X+6# MƁwZ?܎V_0ԇw)Prt -mEh -ocXJV!͉GLLJ>xkDv}6ѴzVYT0fZh=6tԷ)~% KvO Z4z0;Q 4a &Fv k64nGW?CY+%!1m,I97M^[~{hӫL%,KIziT:Ee¬&2FZ0{0IjKIW#hiQ,"d<ER϶W^HyP_hzC\۱Ҹ h A4١~VԳ xyJsLX'YEoZܯmn=gmG6SmajȊa4nYcl71ƈRn Ղ#@J԰jIdBtcA!ҋj,<_y-IF/ $9{z$Ko$;4hВXm) -"^ Pآb{ɟd&uL tWBE,אݽZlNEw'”M:XHcҰtߢ@ pJl.lf^udK9AG<t Gb)%SkBmq ]rƞq;_`Kgs*fDYŸK?\C P;0 tdud͝ ټXf x@mևfgE6`iY[z=xՌ:' - N2Upo4HmEIbnkce'+\h9LiK)1kݠ;tu &$| ]X /Pmۖ:V|fu'ӛ̳_!\)wWʕ>)=KQ#B%Gx2F??|#`A~rL97^Y흈}7d8MϨ>DOe~aڴwk* }o¿H p2٫6Z'<gMޏGrs\D踝iGERitGVT ..;.롽3;˟~$.vp6e2@5ZР)q|AJd )ϭz#4B/P3H3o`5D׾{#L)^~s>sRn %[ʉ>/oM8!>~@[QK.1h]P>BVVf/'VVٙٗ - -#\?̖D읠D -:jCM!l])G]B5J!r/֫UlCH$Oe|1:`bӓ}{|I|Ŕy:/|\k9COS\T-}x~AMK̷_nb8LĆa޵f5>r!BmFׯrNj?N NҿI~&.T\v}}a9s*_T?mLW %h|ӢdFU#.xw.PC!'/ ;t!2%~C~z_!mI[|L2:yD@lD0ǽE.:fX}GGq6uSJVsg'v]:o?Lkc8asD }NbutbԼ2vZT{xv`i1sOI=2A70Q$APɸM/8ǽFRk0LCHW+v ,?&rhCDx쩞1 -aa屮8E\/[KD.PV[oicIuU}!AeWj@˳HqOsCVp6#XzǒKU| # .zÙ ,{H|V>gz>(Si}eGh?׻ c) 6X\s;޺4s¦wH5+@3X0eg͖/C#\J s5 #LhG4bw<F۸rDjIX$QCTrZK ̃;ʟ;q+l޲ qW9o'`L8j6mŷJ֣?ph7/G \$\ݭ%^x)kN /iUG -\9V|6j>4ɑ*9gU5`wZR,ÉIt^iHNq0<5nT̼wNvʵV~eɏB\yma[F3w؋0T6_꼦6%*v[7)\ 9?=U]d١]b~DdY}ekƦ,/u/]l$14)2ʖ=hF$srkoz)'}(by3O -.rv>Rl9gm<"{RXt-81@ra,o$ \jն% 3Q#3|@2䮤4È:4WLjUqV^E<IPZee*?['DKiT\>/ja{<܉ldnn YJ7U8aEGB +xڝuX[}-wwiq$Xݭ[ +(.7{;?7y3Țzju-6) HebĠq6`7@(H bP\Bœ<|!@ +|ڞN @lteN.6Vп t::@Awh +:XXX*R0$){{_$,8ZX6@{b]<Ppa:Z95ݷ*oUo5d߾h*kk|m t,?PuZo v +Cpu1J`a1C\a  +,c%+bc'u,.0>ǿ0d#Z@!4fqss q ͙ܰ +Г6A?[@ S%O_7!00$S?QF v/ %C~ uC.@GWֹԿ' .>  +Ђ@i?4 me\`ÄY0Er`Ӄ G +`?ǰA 6fNL0 +`PCa0?&=`7*P2@X(6tY +FU`₵`Y@ͭ@{8Z\mA`a v I_5F9Y-] iH_ZퟜqS8B8;?f-?;Ѿu4[8Zd[G4`ᇵE $?]]\`/Xyli$2X3˿ )etty3SDT'[^Y(Wܿ(i &o.d]l;; ߅}Ä}Jq %LYUim$-drB1OqԐu/3ԙT2w!|;24}ʲKp^C9Ŷ V.GPGEpjȠ[l@O_[exRa.nݶE尼5xxE}Y,:D_1AC;e~9|ʍ D8_S: i)?+VGdªYȰyEd_DVr`o##0J"ePXJUH6@؋eN.K%>Ev06C] +0cE[l$\!8Ɛw9Qm?ʅ5_}ҷ"F6{ +xNo8{DS;fPh[Z }M,K@h'f EGrM:W>]aK3j_6?}y/*D!D~ܡ2Vcb%GC;B>{_澪>D+b; /0>qAu0ՉxZziMz/15Wld0}omc.){~W+uncbKAcvW|JB[wFT$j6֫ ^%#gRA yϵ^].w*ERD!mI#$'w}B%(CiE Y&{d~d{'wd+X [vX4T17y4Kh w|FQ8B+dy/D~i/fpnr_?E@}D?Y'[[545cUxW@7hme`eݲ)rCtZH9CAO { " +P}MV!20\nCRo1K|nѐRryH5q*ϩh|;0b̗f@j:УҔXM޸iG!{켯j!~{Zo&IHK?Yz_sJ=S ˳be{gM-%GOl߭fg^#SPiw{[EX IN/~3/viU=9WPٲ֦[#7ʫqcܱs\k$[ ͠ϥj-v,v\/?# 7cPɷh⿭B$ +fF[ 1qT@qK?>޷q-oy=4%^I1q` = +$VV]{>8{|*&U&7W K݅!7k9OnH!&<9hޘ^ȐeGuRM[I^:g$4˅CH%24HKz^le,[D'N[ (5k"He-Ǻ"MF'6{ۺیv|4q REмeny=u+x] }ec"0$UGGW$64u">{خ0wxNVH_Ș$(Kѐ1Ӆ_$b )Tp[oGJrz8/X{]j-ĂwKHULLR|BäFi +/q؀m6[f2N^EX3_{{yb:ev}LQۀK7NWR]x-[:eΉ>bX_"E@G~UFUn)GBt/^zf˴ƪMkzbc୼z\6:Asku|!rʆʒo~ק!Lϴte[/xM\=JWJX7 + 3yp塚=Ns˂vwq{,%ӟTw;1 !?h=:Ym-ౢ ^m-]d={ 4[I۽nZ@y(T%gs%*i\k>{(~,89$ ӕ Tr1>B$CD.jegN>LtoQ־zrQ*p6}&bzd~d߬.mf$%Wf/5ڱĜ7R9v$б'j%x-Nv4ݮT^K6j TIIXʽ+vn听G?cSza$vk|EbSq[[ vQQ<^,/$y9KNmjQn+_0hh*`,>/ɡ!yǛ: +8%)ޏ[ʙN._>i{51Z <F0}@[e9ƍF^v=}#Ǩaħ0Ò5ᇖȣ7.B~sao"gAc4ywFE2@#18TXf(>rNvƖIq<5*\$ZlP Ь</{Ÿ 8}tEw\IߟJ^R]+:GnTS 9ml&v&jD|-xjN1( Sͪ_qe'Ŵ}H-6|O]T]3*V.i(.nؽ?3K_ 8'H~:jKP|y~-ye+w;{q#8d@PcIW ƀ*bVV:~%?o:MqZjATyHM̵}qdm<εqUWDπ~m#L JQ4쪘.SxnT4xD+g~n#!`(BL~w$X{g#ٱy~f`ax4uB9O1 +7^0 UTnOTJJl_b .Ux0GE(ؗ¿!J43 Xf/WT 1&e?[ +9pku]̞#jiJ ;Ԩsv5N['v=IP =\i5vOK%{Kԑk2|OcI!9I:}HT5>#͎dX4cg\3\j-Lƌk[%{Qxyx PejQۋye 0uu &S[/qMdpHGd J)(loI6ss^ +cU\YN2qD^qh#Eo!57I~"=kYL%>#>B_w63oS1*ZI&O=m'@)[# 1Zr֪/jmΝoUƆ$rڽl} +9FA=b_t9v,U c)ّFY8Jgܿ),=c?HFDj\v3|SM]Fޘb q2M@5.N &Vj؃n¹PRo`]D[gUJmU,@E2o*@vj$Yi/ii=[,B =X( GN&҅7덒ƘRiGٔ]sB9}LUV-PAՀ,Snf wCXq +Z1E~R $"aVVV@!vRܘ48ppRO>v8nf_Q k.}<}/kȹFt¸s< D-̿e z`W]-ޚoٵ_ :GxP$aWfRBG:.w8KAog`S֪^jXFa'W%s*Y!FQCEעE@"T -Wa'yڒeC| +owB"+N-‚r'o5 5H@RP樼}Hhŷ%Z_=i=_>r&F(5Fq0/j *G)! q4*.)S?Y3+(UGzfw?FεKƌ~jHu5(3qC33J(Q&S]#Y"d ]vGM?z!;KvˆX]`J'UR#yQx. YwyoN~ WsK##g΃sR_ r<6[j7Nv,aU7lѷ3ئ?;DtxiW;~ +p4%kWja yzErVŴąCLVI&Vž1Y^r]l5ڲ E&TZ]D-JU n%3C~z"@Q-;͙S9 LΪOl ZЦD)ٺoVmZMĠfw멫c+oa||9k.S}]OV\58Ghܑrn.E< &dXȍyv7-/1d$J.}@lv!>S?Fߢfӳ|Tocq? WR}h}SZ9(VS:+R`Yhi TdL0hyis d-lN0wx;m\j2+TZǺxEdn۶qavdg`ȟRJluP83pZz]J/ j >0= +Z%4f]ޢ0CsxyS3Dܪf^WFwl] ]n#/%|, :IN^T h;f#^fVⴭNR^oItCbS[VԽAR`% 2l|9D`VyH5OPUZ+{o+UCm+KڋS!ԫ}wZg-Q+s$z,%CtȸC=8)4-"*Y|++^튒Db'?;uGm!Ad_"WWa| >ll +tä +Ҹی)M-S8Dʯ(/tͲr[y'G{YWX5/>XioY[eCAfO3>WTUGmRZl%wJ&,>L.L6hi1)\n^&^/'#~On"RMkOx s[8'l S$(EQMc Q(T/7cuz'wn,4ځ:bOz&ꦎ_Dle_DELL! 4xY:>$j-Wy昴x,iӹbe!&ؿ!ryԌUqۖӖRQ@ƾaZG6iPDFHdyJ]|M8O 5.9ESFɅǟi`y!5ҩ4H'"}Xp Lى KD".niKuO"?6S0ȐqW9EVg rۍ~dԄhIPBŐ*b+aVTDomw"%"BҖ ~tB1t7MeDzJr|8gax(mfefB_ x˯kϟ3^]VGCޔxNW׌x6 3e0@~8FL G&P-"WoEBwtO $P)9Lm^29_JVlu \xq-ԥn]opSm2 9Iȸ zwM +rl\Ԥ=Ui6yGHɠ}zEF߷8j;+1,ڟRVK# `E̒v+e( ;Sqnj#5:ψ|ϻyڟpgJ܅csюso p6n-YLz6e +ˮt+Vv%oFV~ӄ+j{g(T3ӧ츣bgNݨpb=#'*A(F5 ~y0hぴ,FnaP@M2QbtAs1\Rj'3nIȅ%_7H%k.NÏ]{Mu+ӟ'/N"F ]OKɟ ](rsSs8_F#GÛqK(5YUl⻫0K O!RilG22:-&Y8Xs9S/3hf\ñ k~cOp͌DN Q +̩W'K>Ez_pM6t#BdT{SX6B}!Xo} +=Ƿ?ct\uA2?}ѫ@7샓F_k?+UNkw!{$⢖*-8Vu}x{㋮VAWԚd#__QhՔq#~=lok&Z⟨i3$.5^<E $ċiR=*5d$fWSGvG4zsCIQ-Hp4mrлնi'n4X(~_O? o&%6 <%j+ z7q-0@P01-n]iٟFBNs}x3梜*勃&b3}+T'.tWYbvB0Y2-뽡N8:j^+O*I}θ `r t'ga/&5VBT&vg֘n>}EmtHEO1\(n4S QK\eJ.-a}Nq2)y0I9{ɔ,mm̀\R]Ӻp"bKlʌC~e#%?S/O:j Pԭ¼bo">0w}ǷPȦ(D)ZDuz:NhO'JX `=JKvJ`|SPPf2჏ϑaܜ@e>-5`bKE&F'"J`9yݼ@ 6UJ859B ;en0z/Z; 'b]CFD]+a2)[8r#K=˥6N k{ ~@^j24"pٷT~yOYc)ɗbVW{yC?~qZXdDQJ\'-bW6dcih&_X)TRh^2 \tDbOM +y0('Qp0!q3raӻ#[&4_1Ѧu3 ^6hz19|·QV8?]͏xG 8i7U9wxžڢ=ō"MzD+hZ4/~bͣ Ng.W'g6s a_ +G%3)Jbɠ8yp +2qig68g|#SS_2ICŕLm7=%޽wٟΧ b_4s-~RPdq &k{'3Y20t2\L6TC^vgVR3~ =X*dwRdbcƫh"blNuS)GmHn7Y:̿}?$-LT遦xvл95 +*rULd9>/n)2jzt06ٽ WꦍY<*ʎcIddUl7cX-j4w^<#srS>< +&֌B4DxqC#%mWЙ;&0a&s̙kUSGXxV#2XX[2o+Ϛ K뉕lk}l%)pz@v!IzPy󜄿ΐ Mۓ>U_,;HSkZ֟ĔЦ7E# +=~ 7% U<~ :aQΘ}s?E[iq-LA\ps7}\6e6 ^#pA =}zMaHeGS+)U9 endstream endobj -150 0 obj -<< /Type /FontDescriptor /FontName /VWCDQJ+CharterBT-Italic /Flags 4 /FontBBox [ -226 -236 1174 980 ] /Ascent 719 /CapHeight 680 /Descent -220 /ItalicAngle 11 /StemV 82 /XHeight 0 /CharSet( /A /H /a /b /c /d /e /f /fi /g /h /hyphen /i /l /m /n /o /p /quoteright /r /s /t /u /v /w /x /y) /FontFile 151 0 R >> +141 0 obj +<< /Type /FontDescriptor /FontName /GFSVQB+CharterBT-Italic /Flags 4 /FontBBox [ -226 -236 1174 980 ] /Ascent 719 /CapHeight 680 /Descent -220 /ItalicAngle 11 /StemV 82 /XHeight 0 /CharSet( /A /H /M /a /b /c /d /e /f /fi /g /h /hyphen /i /l /m /n /o /p /quoteright /r /s /t /u /v /w /x /y) /FontFile 142 0 R >> endobj -153 0 obj +144 0 obj << /Length1 852 /Length2 1287 /Length3 0 /Filter /FlateDecode /Length 1873 >> stream x}R{<_mzPJGLfƌ[;m"q3̼wyKdeYq_\jҸ5EJJJROJힳv?|<3ق &@PHw&sD0!8!<}2 I*BĉBT9؋D]T5dBl #*f#\`<+y870B` -@ qT<(̂ ,S^0cp1†A|aA<41 Ř+8&[O]Pfusy(0HvEbǔK x䋠_\ÇK }  @@ -4648,278 +4601,281 @@ W ZN )eO~Z޺hyVuO籇| a0.1E|>c3;죐2ßk~}/C3'=}QS^mqYΥ8팸> +143 0 obj +<< /Type /FontDescriptor /FontName /IVXDSE+MathDesign-CH-Regular-OT1-10 /Flags 4 /FontBBox [ 0 -491 958 764 ] /Ascent 0 /CapHeight 0 /Descent 0 /ItalicAngle 0 /StemV 83 /XHeight 483 /CharSet( /parenleft /parenright) /FontFile 144 0 R >> endobj -155 0 obj -<< /Length1 860 /Length2 1229 /Length3 0 /Filter /FlateDecode /Length 1822 >> +146 0 obj +<< /Length1 949 /Length2 1553 /Length3 0 /Filter /FlateDecode /Length 2197 >> stream -xڅR{8yb-2kf<ӠE쎙wf^ 3hO[:Eʕ+X1h!#K!D*DB_{o^y繟 -CT> -#7Hy8W\q\$* oMT73s@tD8",&gX$@M!d0Oju'(Z) BXNq% ԭ|̀ ]4JtDŽ@\ǀy".ח2'pDus%{PoC0OTaOr汹 ?TX 1i0+~ A4^u{A80# f xQׄ[y|]hk]< Ct.Q'"قx"bQVxA[@I,@}$BGkvZ[B.]YKY,h|P0D8Bk%; `1% "@_\\bO8"@Dk=lMJs%C$@IGZzzbRk,^zG}`U?zX)ap!ü~EuBiȯo#s۾SΑm}8a?L~왣w,Tc'UbwHmcذpj#ET!3f}Tyz 06᭖p ѬW1PbaYJi_a ?I!mϩ )Z|l돦On}Ni`} y2^1Ozck[[{މ߫<^YR%3\A1QOd@{e3ųj/?}rWis~2綠iͧ[THE$vCOm<&CWw${}.e?,6L =JjZ/Eg6f )TN 6ٸ>sEe+ulibk>By2GD8zRօoKzcTo䪩lp=V,'4M\)uoռb6phJUw\?Tf!7ռ*"evIȦ銞݋SI$C.SLB0bhZR{[ÓXSْo>~A_U9刮*x&J۪FyʱaW\OmGj* Xg;%lFkx}yNdT fŭJCi~u ,*)g*JPn 'ceT1Q9cpK&0+]WnQvbyXl]{556/LI6sRR}y)޽1YHR5iCq')+vιЛ5>,ޓsУcG 2~"q{kX6~2ŤeQr2d0l O0; " o *Kx 5Ə=r `Z 46 4.oAT04x3‡/ʤ&RϢF$ Equ|D J_읁s"})97 `R.< +Ҕ-!HxT&@\? bsUu!?&D g\.`nY#n5nKv6]rdQ4,p8< 7s XlDy1͑_ݦ)`dq@bk07Pù0/l F/T&<(|` #1E#3.xQ O q`D1(sG@`?xKԡJ3\̾Qz|'EgVO/~//9Fsz~LO>ap Izsޗ{_->v{DCmuE߶yl,ֽ<^/Ťu]>w͵'X$99{zN4bӤصʧ&KJ"=|?hO-nv\Jai$4}oEPt=#1T26J2_4.wkJ؜r}$4c{!z]TAہtTvOyGDVSN.-"eD$e_ gUa{:%oOivZ+egQ:ws[j1s>(.mZjDt|r>oa 6y#:#Ϥɗ/;tVH]jkWX|HSUT]fw8TBSEp?]4nܧp4Luѯ?9g\&$%zE_4"]9ҷPWW~g}F8A=SiA]HehGYznmY^Ik &Lv'ɚ]er ?zlev + +rd Q-G endstream endobj -154 0 obj -<< /Type /FontDescriptor /FontName /HPNBDP+MathDesign-CH-Regular-Symbol-10 /Flags 4 /FontBBox [ 0 -1309 1248 923 ] /Ascent 767 /CapHeight 672 /Descent 0 /ItalicAngle 11 /StemV 83 /XHeight 483 /CharSet( /arrowright /backslash) /FontFile 155 0 R >> +145 0 obj +<< /Type /FontDescriptor /FontName /SFKARQ+MathDesign-CH-Regular-Symbol-10 /Flags 4 /FontBBox [ 0 -1309 1248 923 ] /Ascent 767 /CapHeight 672 /Descent 0 /ItalicAngle 11 /StemV 83 /XHeight 483 /CharSet( /arrowright /backslash /element /existential /logicalnot /universal) /FontFile 146 0 R >> endobj -157 0 obj -<< /Length1 839 /Length2 1219 /Length3 0 /Filter /FlateDecode /Length 1797 >> +148 0 obj +<< /Length1 822 /Length2 1149 /Length3 0 /Filter /FlateDecode /Length 1717 >> stream -x}RkTSg]:y("Ф$!"Mx"Jy#-!I.$7!X(X]<$B `AP,jAC vͿs>n z CD -LALI`.B C\))&FR2p$ lm} '%Gr#(.t -Nu16BAą `<8[*5%!ag !CYXx BR>Y<ĆK6$(\j0|~0S1! o6Lٟ/_ۆ0<ްMB.oˇ $a2 -,0|6|Bxf@&ɃYI$j -BkcvvjᏰlHb1Sn@, -20$Db-@$ESG(6X9p8HL oP&ronDba Q6 VK'Ɩ2L")d2<zu*/,@ -i@\v8%!]Ͽ% }YWQEw]~1Mnb|HCp]k(tn\v@ŏT"tfjzhRhgkABKԨ$WꞎYk; zcsebUrNoqh=KyV̳QO$v7`[Uza sCOjD{-8O.۬J kOZXyfɦ/ПouZ_5t¹f[:n[pZH2VF_sd,ܾ5`稒 ʜ F.3a=`(՚.0.ͫ)rDjz^;Ogd%we7ANF/.ޝI"z}ٌ/|z˗x".獛{Y3'bWOU_% .aa靠pUՐv7hHJ򽃳-}-ލP;՛rII$]w5Ik 9lZ8~*`r߲uΧ'+76Nӎ_l +h7>6w\Z(E䗷8SnA4i @uFK;Թgu9\>71gbP;a[3u}/ sڛNmIe G:)/W^y~mMB:P R88$m ^Ejd|ۓu\{\WK/;目L_W̐qoSW%-<^1( 0͊L9]'N c?^Dw.b F9?)n jLsj&ʏs\+,xCgtKAIӲ`#fVOkafn4GmO{\35`漙@ɣޖ} SeЙ~ -prאP?*nO&μ޼fuNNԾQϠsس;<8i*ԶԷ-HmwvSDM{,1Hvŷa ?rjC/UISCj\8PBj}#H\i^1M.ApUˇa2i01> ĸf[!:1 /E#~~R%;3n. + F/{,DnvKbOdt9ߴD]z6̙&Z}Tg0wblmߝzCt\Q[^IA nKmg9wLA6滟}ҫqʂD|NZ%etf|Խ]^y)?Ѡ7l`Ž&ZL;۸]u+fegw+ +3I=th5ϥl+3TdSq>^biX_:/x{SPlD'$ v3~Kb=tfxI9mfл d.ݔ~0wIvt6Zxr{φюCHScYej-:53]r両w\Xr  k? \3UQluF;0~|pSj}4E>)IPiS䷥7Bu%<{OB?/6j;^w}ϵɐJ-T+kRS5غa3se9UݼX=ULHPޫFKg'Ok4  +6cI 62X|^eQJ~3~`L%N]r<dI uɬv$55~$N=1ٺR?+zhOv|yMeL$dչ-ŏ7F8T&=3 4v:V}J̄WvKrIv#(Jc$)7jY߶]{͝WɢlխGP^HLϓU>m93ztx}7.Gk-n/O~kܣ3Vk~lG,*llRUGxcds|꡻5,ԜAymմ•e VW.&Jz%EUA׽^sЪāR; 2ˡ& 9iJ+I>]v#;7Ͼֺ)}=Ri'F~}յ LM&=3sj>%~7qiۖڹuvkǗ;b['Mkț.YZҔP}vŒ%+ͅo|NJ]+U endstream endobj -156 0 obj -<< /Type /FontDescriptor /FontName /KUKEVP+MathDesign-CH-Regular-T1-10 /Flags 4 /FontBBox [ 0 -491 958 764 ] /Ascent 0 /CapHeight 0 /Descent 0 /ItalicAngle 0 /StemV 83 /XHeight 483 /CharSet( /plus /slash) /FontFile 157 0 R >> +147 0 obj +<< /Type /FontDescriptor /FontName /NSAQKF+MathDesign-CH-Regular-T1-10 /Flags 4 /FontBBox [ 0 -491 958 764 ] /Ascent 0 /CapHeight 0 /Descent 0 /ItalicAngle 0 /StemV 83 /XHeight 483 /CharSet( /slash) /FontFile 148 0 R >> endobj -159 0 obj -<< /Length1 931 /Length2 1653 /Length3 0 /Filter /FlateDecode /Length 2271 >> +150 0 obj +<< /Length1 948 /Length2 1708 /Length3 0 /Filter /FlateDecode /Length 2334 >> stream -xڕS{ TDHt&g 6"L##[XP+4X*E @bvbOبPi Ba>f"EZ(O8-A? (( vFa -@wA>0 Jp??ԣD3"D$Y cj)$jA# #aK 1Tj{2ulV|m-ɠx=W`v:DWȼWڏ?j8|%xs:KH|w3rYaWT̫HC_>zҮ)- ˨(qg%P9]w9SEȥ)ϧ_.E=o:fx(>p uU\k_Z!cFQz_ԷHޣ3M{ ޕWXzMK^^آ@Kad:ґg}*ڽNHۛ>[ε፪% ||ˮwmqO%LZQ\+ 붧1+_zZM;ML}w8nXN\Ҹ05º7ە&cykY]"ڷB>zё|FBl6AmS~Aťfzvqyb谀64 f +xڕSy T{n5M1hpl] FveI1sggʒBA]-TJe()2$"K~{>Tu٬gxCvӣM Ʋa_Tz! W7C~RȀ>iͅ@ 6 ,.`@,ybPM)M8 (43"Ym"A@K4@39( 0!ə bhT! `NMڕW-8R#nQ iMSM|ӱ}OV<=xCbˠ={ŀDG˔2(>a2A\U4;q=^erg_zkx߅77']F'릴$roUs/Zp̘,rx\EqzDɌ17zRC_̽~H3+2*qԗYr+lxU٪]_^%y'^wX86n +UVDRN")~!.(lO&G_?T)|Oy8]nx}d85̢Ԭ6V-t=i)S +)ek [u"z_q?E2NuGץFkd-z? +wKWJ ֘my,|5^xug뗆[ KtI4R6_?ee[h8jӚ0# ?t]XtmːMkƒn/24kdӝ&*U^=_ 俏  endstream endobj -158 0 obj -<< /Type /FontDescriptor /FontName /UTQWZA+MathDesign-CH-Regular-Italic-MathItalic-10 /Flags 4 /FontBBox [ -3 -241 952 773 ] /Ascent 0 /CapHeight 0 /Descent 0 /ItalicAngle 10 /StemV 85 /XHeight 488 /CharSet( /epsilon1 /hookrightchar /iota /phi) /FontFile 159 0 R >> +149 0 obj +<< /Type /FontDescriptor /FontName /AYZDNO+MathDesign-CH-Regular-Italic-MathItalic-10 /Flags 4 /FontBBox [ -3 -241 952 773 ] /Ascent 0 /CapHeight 0 /Descent 0 /ItalicAngle 10 /StemV 85 /XHeight 488 /CharSet( /epsilon1 /hookrightchar /iota /less /phi) /FontFile 150 0 R >> endobj -113 0 obj -<< /Type /Encoding /Differences [ 8 /fl 12 /fi 34 /quotedbl 38 /ampersand /quoteright /parenleft /parenright 44 /comma /hyphen /period 48 /zero /one /two /three /four /five /six /seven /eight /nine /colon /semicolon 63 /question 65 /A 67 /C /D /E /F 72 /H /I /J /K /L /M /N /O /P 82 /R /S /T 87 /W 89 /Y 97 /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o /p /q /r /s /t /u /v /w /x /y /z ] >> +104 0 obj +<< /Type /Encoding /Differences [ 8 /fl 12 /fi 33 /exclam /quotedbl 38 /ampersand /quoteright /parenleft /parenright 44 /comma /hyphen /period 48 /zero /one /two /three /four /five /six /seven /eight /nine /colon /semicolon 65 /A 67 /C /D /E /F 72 /H /I /J /K /L /M /N /O /P 82 /R /S /T 87 /W 89 /Y 97 /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o /p /q /r /s /t /u /v /w /x /y /z ] >> endobj 52 0 obj -<< /Type /Font /Subtype /Type1 /BaseFont /IVXDSE+MathDesign-CH-Regular-OT1-10 /FontDescriptor 152 0 R /FirstChar 40 /LastChar 41 /Widths 112 0 R >> +<< /Type /Font /Subtype /Type1 /BaseFont /IVXDSE+MathDesign-CH-Regular-OT1-10 /FontDescriptor 143 0 R /FirstChar 40 /LastChar 41 /Widths 103 0 R >> endobj 42 0 obj -<< /Type /Font /Subtype /Type1 /BaseFont /HPNBDP+MathDesign-CH-Regular-Symbol-10 /FontDescriptor 154 0 R /FirstChar 33 /LastChar 110 /Widths 115 0 R >> +<< /Type /Font /Subtype /Type1 /BaseFont /SFKARQ+MathDesign-CH-Regular-Symbol-10 /FontDescriptor 145 0 R /FirstChar 33 /LastChar 110 /Widths 106 0 R >> endobj 60 0 obj -<< /Type /Font /Subtype /Type1 /BaseFont /KUKEVP+MathDesign-CH-Regular-T1-10 /FontDescriptor 156 0 R /FirstChar 43 /LastChar 47 /Widths 111 0 R >> +<< /Type /Font /Subtype /Type1 /BaseFont /NSAQKF+MathDesign-CH-Regular-T1-10 /FontDescriptor 147 0 R /FirstChar 47 /LastChar 47 /Widths 102 0 R >> endobj 37 0 obj -<< /Type /Font /Subtype /Type1 /BaseFont /HNTBMQ+CharterBT-Roman /FontDescriptor 148 0 R /FirstChar 8 /LastChar 122 /Widths 135 0 R /Encoding 113 0 R >> +<< /Type /Font /Subtype /Type1 /BaseFont /ATVQEP+CharterBT-Roman /FontDescriptor 139 0 R /FirstChar 8 /LastChar 122 /Widths 126 0 R /Encoding 104 0 R >> endobj 41 0 obj -<< /Type /Font /Subtype /Type1 /BaseFont /UTQWZA+MathDesign-CH-Regular-Italic-MathItalic-10 /FontDescriptor 158 0 R /FirstChar 19 /LastChar 44 /Widths 116 0 R >> +<< /Type /Font /Subtype /Type1 /BaseFont /AYZDNO+MathDesign-CH-Regular-Italic-MathItalic-10 /FontDescriptor 149 0 R /FirstChar 19 /LastChar 60 /Widths 107 0 R >> endobj 47 0 obj -<< /Type /Font /Subtype /Type1 /BaseFont /VWCDQJ+CharterBT-Italic /FontDescriptor 150 0 R /FirstChar 12 /LastChar 121 /Widths 114 0 R /Encoding 113 0 R >> +<< /Type /Font /Subtype /Type1 /BaseFont /GFSVQB+CharterBT-Italic /FontDescriptor 141 0 R /FirstChar 12 /LastChar 121 /Widths 105 0 R /Encoding 104 0 R >> endobj 13 0 obj << /Type /Pages /Count 7 /Kids [ 5 0 R 34 0 R 44 0 R 49 0 R 56 0 R 63 0 R 67 0 R ] >> endobj -160 0 obj -<< /Type /Outlines /First 94 0 R /Last 109 0 R /Count 3 >> -endobj -109 0 obj -<< /Title 110 0 R /A 108 0 R /Parent 160 0 R /Prev 106 0 R >> -endobj -106 0 obj -<< /Title 107 0 R /A 105 0 R /Parent 160 0 R /Prev 94 0 R /Next 109 0 R >> -endobj -103 0 obj -<< /Title 104 0 R /A 102 0 R /Parent 94 0 R /Prev 100 0 R >> +151 0 obj +<< /Type /Outlines /First 85 0 R /Last 100 0 R /Count 3 >> endobj 100 0 obj -<< /Title 101 0 R /A 99 0 R /Parent 94 0 R /Prev 97 0 R /Next 103 0 R >> +<< /Title 101 0 R /A 99 0 R /Parent 151 0 R /Prev 97 0 R >> endobj 97 0 obj -<< /Title 98 0 R /A 96 0 R /Parent 94 0 R /Next 100 0 R >> +<< /Title 98 0 R /A 96 0 R /Parent 151 0 R /Prev 85 0 R /Next 100 0 R >> endobj 94 0 obj -<< /Title 95 0 R /A 93 0 R /Parent 160 0 R /Next 106 0 R /First 97 0 R /Last 103 0 R /Count -3 >> +<< /Title 95 0 R /A 93 0 R /Parent 85 0 R /Prev 91 0 R >> endobj -161 0 obj -<< /Names [ (Doc-Start) 10 0 R (Hfootnote.1) 59 0 R (Item.1) 70 0 R (Item.10) 79 0 R (Item.11) 80 0 R (Item.12) 82 0 R (Item.13) 83 0 R (Item.14) 84 0 R (Item.15) 85 0 R (Item.16) 86 0 R (Item.17) 87 0 R (Item.18) 88 0 R (Item.19) 89 0 R (Item.2) 71 0 R (Item.20) 90 0 R (Item.21) 91 0 R (Item.22) 92 0 R (Item.3) 72 0 R (Item.4) 73 0 R (Item.5) 74 0 R (Item.6) 75 0 R (Item.7) 76 0 R (Item.8) 77 0 R (Item.9) 78 0 R (section.1) 36 0 R (section.2) 69 0 R (section.3) 81 0 R (subsection.1.1) 46 0 R (subsection.1.2) 51 0 R (subsection.1.3) 65 0 R ] /Limits [ (Doc-Start) (subsection.1.3) ] >> +91 0 obj +<< /Title 92 0 R /A 90 0 R /Parent 85 0 R /Prev 88 0 R /Next 94 0 R >> endobj -162 0 obj -<< /Dests 161 0 R >> +88 0 obj +<< /Title 89 0 R /A 87 0 R /Parent 85 0 R /Next 91 0 R >> endobj -163 0 obj -<< /Type /Catalog /Pages 13 0 R /Outlines 160 0 R /Names 162 0 R /PageMode/UseOutlines /OpenAction 4 0 R >> +85 0 obj +<< /Title 86 0 R /A 84 0 R /Parent 151 0 R /Next 97 0 R /First 88 0 R /Last 94 0 R /Count -3 >> endobj -164 0 obj -<< /Author()/Title()/Subject()/Creator(LaTeX with hyperref)/Keywords() /Producer (LuaTeX-1.13.0) /CreationDate (D:20210604130310+02'00') /ModDate (D:20210604130310+02'00') /Trapped /False /PTEX.FullBanner (This is LuaHBTeX, Version 1.13.0 (MiKTeX 21.3)) >> +152 0 obj +<< /Names [ (Doc-Start) 10 0 R (Hfootnote.1) 59 0 R (Item.1) 70 0 R (Item.10) 79 0 R (Item.11) 80 0 R (Item.12) 81 0 R (Item.13) 82 0 R (Item.2) 71 0 R (Item.3) 72 0 R (Item.4) 73 0 R (Item.5) 74 0 R (Item.6) 75 0 R (Item.7) 76 0 R (Item.8) 77 0 R (Item.9) 78 0 R (section.1) 36 0 R (section.2) 69 0 R (section.3) 83 0 R (subsection.1.1) 46 0 R (subsection.1.2) 51 0 R (subsection.1.3) 65 0 R ] /Limits [ (Doc-Start) (subsection.1.3) ] >> +endobj +153 0 obj +<< /Dests 152 0 R >> +endobj +154 0 obj +<< /Type /Catalog /Pages 13 0 R /Outlines 151 0 R /Names 153 0 R /PageMode/UseOutlines /OpenAction 4 0 R >> +endobj +155 0 obj +<< /Author()/Title()/Subject()/Creator(LaTeX with hyperref)/Keywords() /Producer (LuaTeX-1.13.0) /CreationDate (D:20210609235415+02'00') /ModDate (D:20210609235415+02'00') /Trapped /False /PTEX.FullBanner (This is LuaHBTeX, Version 1.13.0 (MiKTeX 21.3)) >> endobj xref -0 165 +0 156 0000000000 65535 f -0000738918 00000 n -0000738938 00000 n -0000738958 00000 n +0000739837 00000 n +0000739857 00000 n +0000739877 00000 n 0000000020 00000 n -0000000702 00000 n -0000000816 00000 n -0000532046 00000 n -0000714225 00000 n +0000000701 00000 n +0000000815 00000 n +0000532045 00000 n +0000714224 00000 n 0000000068 00000 n -0000714167 00000 n -0000778843 00000 n -0000772073 00000 n -0000819653 00000 n -0000039073 00000 n -0000039110 00000 n -0000039233 00000 n -0000039372 00000 n -0000537618 00000 n -0000537696 00000 n -0000537819 00000 n -0000538221 00000 n -0000539255 00000 n -0000554766 00000 n -0000567941 00000 n -0000576558 00000 n -0000597732 00000 n -0000619294 00000 n -0000641240 00000 n -0000650120 00000 n -0000653917 00000 n -0000672357 00000 n -0000695661 00000 n -0000717970 00000 n -0000717793 00000 n -0000714395 00000 n -0000717910 00000 n -0000819135 00000 n -0000767164 00000 n -0000757404 00000 n -0000751207 00000 n -0000819304 00000 n -0000818804 00000 n -0000722025 00000 n -0000721848 00000 n -0000718181 00000 n -0000721965 00000 n -0000819482 00000 n -0000726553 00000 n -0000726376 00000 n -0000722223 00000 n -0000726493 00000 n -0000818640 00000 n -0000731561 00000 n -0000731963 00000 n -0000732176 00000 n -0000731388 00000 n -0000726763 00000 n -0000731763 00000 n -0000732115 00000 n -0000818972 00000 n -0000731520 00000 n -0000734089 00000 n -0000733912 00000 n -0000732400 00000 n -0000734029 00000 n -0000738746 00000 n -0000737192 00000 n -0000734261 00000 n -0000737309 00000 n -0000737369 00000 n -0000737429 00000 n -0000737489 00000 n -0000737549 00000 n -0000737608 00000 n -0000737668 00000 n -0000737728 00000 n -0000737788 00000 n -0000737847 00000 n -0000737907 00000 n -0000737967 00000 n -0000738027 00000 n -0000738087 00000 n -0000738147 00000 n -0000738207 00000 n -0000738267 00000 n -0000738327 00000 n -0000738387 00000 n -0000738447 00000 n -0000738507 00000 n -0000738567 00000 n -0000738626 00000 n -0000738686 00000 n -0000739011 00000 n -0000820246 00000 n -0000739057 00000 n -0000739135 00000 n -0000820171 00000 n -0000739186 00000 n -0000739244 00000 n -0000820081 00000 n -0000739295 00000 n -0000739369 00000 n -0000820003 00000 n -0000739421 00000 n -0000739500 00000 n -0000819911 00000 n -0000739547 00000 n -0000739644 00000 n -0000819832 00000 n -0000739691 00000 n -0000739760 00000 n -0000739798 00000 n -0000818233 00000 n -0000739830 00000 n -0000740124 00000 n -0000740309 00000 n -0000740397 00000 n -0000750313 00000 n -0000740688 00000 n -0000740790 00000 n -0000750552 00000 n -0000751363 00000 n -0000751566 00000 n -0000756631 00000 n -0000751723 00000 n -0000751824 00000 n -0000756868 00000 n -0000757558 00000 n -0000757759 00000 n -0000766285 00000 n -0000758060 00000 n -0000758163 00000 n -0000766525 00000 n -0000767321 00000 n -0000767525 00000 n -0000767911 00000 n -0000771295 00000 n -0000768128 00000 n -0000768240 00000 n -0000771530 00000 n -0000772226 00000 n -0000772426 00000 n -0000777976 00000 n -0000772739 00000 n -0000772852 00000 n -0000778208 00000 n -0000778993 00000 n -0000796329 00000 n -0000779190 00000 n -0000808621 00000 n -0000796866 00000 n -0000810939 00000 n -0000808946 00000 n -0000813135 00000 n -0000811193 00000 n -0000815316 00000 n -0000813399 00000 n -0000817950 00000 n -0000815559 00000 n -0000819756 00000 n -0000820360 00000 n -0000820969 00000 n -0000821007 00000 n -0000821132 00000 n +0000714166 00000 n +0000779490 00000 n +0000772720 00000 n +0000820786 00000 n +0000039072 00000 n +0000039109 00000 n +0000039232 00000 n +0000039371 00000 n +0000537617 00000 n +0000537695 00000 n +0000537818 00000 n +0000538220 00000 n +0000539254 00000 n +0000554765 00000 n +0000567940 00000 n +0000576557 00000 n +0000597731 00000 n +0000619293 00000 n +0000641239 00000 n +0000650119 00000 n +0000653916 00000 n +0000672356 00000 n +0000695660 00000 n +0000718104 00000 n +0000717927 00000 n +0000714394 00000 n +0000718044 00000 n +0000820268 00000 n +0000767563 00000 n +0000758359 00000 n +0000752162 00000 n +0000820437 00000 n +0000819937 00000 n +0000721857 00000 n +0000721680 00000 n +0000718315 00000 n +0000721797 00000 n +0000820615 00000 n +0000726645 00000 n +0000726468 00000 n +0000722055 00000 n +0000726585 00000 n +0000819773 00000 n +0000731837 00000 n +0000732237 00000 n +0000732448 00000 n +0000731664 00000 n +0000726868 00000 n +0000732038 00000 n +0000732388 00000 n +0000820105 00000 n +0000731796 00000 n +0000735021 00000 n +0000734844 00000 n +0000732672 00000 n +0000734961 00000 n +0000739665 00000 n +0000738648 00000 n +0000735219 00000 n +0000738765 00000 n +0000738825 00000 n +0000738885 00000 n +0000738945 00000 n +0000739005 00000 n +0000739065 00000 n +0000739125 00000 n +0000739185 00000 n +0000739245 00000 n +0000739305 00000 n +0000739365 00000 n +0000739425 00000 n +0000739485 00000 n +0000739545 00000 n +0000739605 00000 n +0000739930 00000 n +0000821366 00000 n +0000739976 00000 n +0000740054 00000 n +0000821292 00000 n +0000740105 00000 n +0000740163 00000 n +0000821205 00000 n +0000740214 00000 n +0000740287 00000 n +0000821131 00000 n +0000740338 00000 n +0000740416 00000 n +0000821042 00000 n +0000740462 00000 n +0000740558 00000 n +0000820965 00000 n +0000740604 00000 n +0000740673 00000 n +0000740699 00000 n +0000819371 00000 n +0000740731 00000 n +0000741027 00000 n +0000741228 00000 n +0000741352 00000 n +0000751268 00000 n +0000741643 00000 n +0000741745 00000 n +0000751507 00000 n +0000752318 00000 n +0000752521 00000 n +0000757586 00000 n +0000752678 00000 n +0000752779 00000 n +0000757823 00000 n +0000758513 00000 n +0000758714 00000 n +0000766688 00000 n +0000759004 00000 n +0000759107 00000 n +0000766928 00000 n +0000767720 00000 n +0000767924 00000 n +0000768310 00000 n +0000771939 00000 n +0000768522 00000 n +0000768634 00000 n +0000772174 00000 n +0000772873 00000 n +0000773073 00000 n +0000778623 00000 n +0000773386 00000 n +0000773499 00000 n +0000778855 00000 n +0000779640 00000 n +0000796927 00000 n +0000779837 00000 n +0000809353 00000 n +0000797462 00000 n +0000811674 00000 n +0000809681 00000 n +0000814245 00000 n +0000811928 00000 n +0000816391 00000 n +0000814554 00000 n +0000819082 00000 n +0000816628 00000 n +0000820889 00000 n +0000821478 00000 n +0000821934 00000 n +0000821972 00000 n +0000822097 00000 n trailer -<< /Size 165 /Root 163 0 R /Info 164 0 R /ID [ <48D37451956A4D9ED5F21AA1361E4626> <48D37451956A4D9ED5F21AA1361E4626> ] >> +<< /Size 156 /Root 154 0 R /Info 155 0 R /ID [ <9D694649541A6A11A588D8DD578EBFB4> <9D694649541A6A11A588D8DD578EBFB4> ] >> startxref -821406 +822371 %%EOF diff --git a/proposal.tex b/proposal.tex index 52bd1ad..09ebcec 100644 --- a/proposal.tex +++ b/proposal.tex @@ -95,6 +95,8 @@ pdfa=false % we disable pdf/a mode to achieve easier compilation compatibility \newcommand{\hreffn}[2]{\href{#1}{#2}\footnote{#1}} +\newcommand{\tbs}{\textbackslash} + \title{Proposal} \subtitle{% Thesis\\ @@ -111,7 +113,8 @@ Supervisor: Lukas Grätz \section{Motivation} -To explain the necessity of the following elaborations, as well as to ground the motivation, I will use the following java class \texttt{HighScoreTable}, which implements the notion of a high score table. +To explain the necessity of the following elaborations, as well as to ground the motivation, I will use the following java class \texttt{HighScoreTable}, which implements a demonstration of a high score table. +The functionality of this class is that \texttt{scores} consists of the highest values added to the high score table by \texttt{addScore}. \begin{minted}{java} public class HighSoreTable { @@ -186,10 +189,11 @@ public class HighSoreTable { * 1 if otherwise */ //@ requires newScore >= 0; - //@ def lowerThanMin(score) = - (\forall int i; 0<=i && i<10; - score <= \old(scores[i]) - ); + /*@ def lowerThanMin(score) = + @ (\forall int i; 0<=i && i<10; + @ score <= \old(scores[i]) + @ ); + */ //@ ensures lowerThanMin(newScore) ==> (\result == 0); // [...] public int addScore(int newScore) { @@ -204,20 +208,17 @@ For implementing this, I could use the concept of a preprocessor, which simply e So for example \begin{minted}{java} -//@ def lowerThanMin(score) = -// (\forall int i; 0<=i && i<10; -// score <= \old(scores[i]) -// ); +/*@ def lowerThanMin(score) = + @ (\forall int i; 0<=i && i<10; + @ score <= \old(scores[i]) + @ ); + */ //@ ensures lowerThanMin(newScore) ==> (\result == 0); \end{minted} would get expanded to \begin{minted}{java} -//@ def lowerThanMin(score) = -// (\forall int i; 0<=i && i<10; -// score <= \old(scores[i]) -// ); //@ ensures (\forall int i; 0<=i && i<10; newScore <= \old(scores[i])); ==> (\result == 0); \end{minted} @@ -230,10 +231,11 @@ One would need to manually search \& replace the whole code, in other words expa In the case of a type mismatch between macro parameter usage and parameter input by the caller, it could theoretically be mitigated by introducing typed macro parameters, which in turn makes the macro more of a named lambda, in which case however it wouldn't be feasible anymore to just use a "dumb" macro expansion. \begin{minted}{java} -//@ def lowerThanMin(int score) = -// (\forall int i; 0<=i && i<10; -// score <= \old(scores[i]) -// ); +/*@ def lowerThanMin(int score) = + @ (\forall int i; 0<=i && i<10; + @ score <= \old(scores[i]) + @ ); + */ //@ ensures lowerThanMin(newScore) ==> (\result == 0); \end{minted} @@ -247,51 +249,58 @@ or alternatively, to serve the lambda notion more Another problem not solved by this approach, especially not with using a simplistic macro expansion, would be the problem of infinite recursion, which is not really sensible in this example, but should be kept in mind anyways. \begin{minted}{java} -//@ def lowerThanMin(int score) = -// (\forall int i; 0<=i && i<10; -// score <= \old(scores[i]) -// && -// lowerThanMin(score-1) -// ); +/*@ def lowerThanMin(int score) = + @ (\forall int i; 0<=i && i<10; + @ score <= \old(scores[i]) + @ && + @ lowerThanMin(score-1) + @ ); + */ //@ ensures lowerThanMin(newScore) ==> (\result == 0); \end{minted} \subsection{$\varepsilon$-operator} As mentioned above, there is another way to mitigate the problem of unreadable code. -One of the problems of the original JML is that the description of the \texttt{ensures} is not as intuitive, as it solemnly uses FOL. -Therefore instead of defining a \emph{method} on \emph{how} it can be determined if a given score is lower than the minimal score of the high score table, we could define the \emph{property} of a minimal score, which we could then compare our given score to. +One of the problems of the original JML is that it can prove to be more complex to understand. +One example of such a case is that even though $\neg \exists x \in M \neg (x < a)$ expresses the exact same thing as $\forall x \in M (x < a)$, the first term is magnitudes harder to understand immediately, which makes the second term more expressive. +Of course the first term has the "advantage" of not needing a $\forall$, but sacrifices intuitive understanding for that. + +An analogy can be made for our discussed example. +Instead of defining a \emph{method} on \emph{how} it can be determined if a \emph{given score} is lower than the minimal score of the high score table, we could define the \emph{property} of a minimal score, which we could then compare our \emph{given score} to. This property of a minimal score can then be reused and clearly states what it denotes, therefore improving readability and code reusage. \begin{minted}{java} -//@ def minScore = -// (\some int score; -// (\exists int i; 0<=i && i<10; score == scores[i]) -// && -// (\forall int i; 0<=i && i<10; score <= scores[i]) -// ); +/*@ def minScore = + @ (\some int score; + @ (\exists int i; 0<=i && i<10; score == scores[i]) + @ && + @ (\forall int i; 0<=i && i<10; score <= scores[i]) + @ ); + */ //@ ensures newScore <= \old(minScore) ==> (\result ==0); \end{minted} This notion of a \emph{property} definition, for which there exists \texttt{some} value that fulfills it, is called \emph{Hilbert's $\varepsilon$-term}. +Compared to the analogy given previously, the second example utilizes a new \texttt{\tbs{}some} which improves the understanding of what the \texttt{minScore} \emph{is} instead of just determining \emph{a} lowest score. In the following paragraphs I'll investigate this method further. -This example introduces the keyword \texttt{some}. -Other possible keywords with a similar notion would be \texttt{all}, as well as \texttt{one}. +This example introduces the keyword \texttt{\tbs{}some}. +Other possible keywords with a similar notion would be \texttt{\tbs{}all}, as well as \texttt{\tbs{}one}. The naming of those keywords makes it pretty obvious what intended their behaviour is. -\texttt{one} selects \emph{the one} value fulfilling the specified conditional property. +\texttt{\tbs{}one} selects \emph{the one} value fulfilling the specified conditional property. This means there can only be one value doing so and respectively that the handling of multiple values fulfilling the condition is the same as if there were none. This is a so called \emph{definite description} and denoted by $\iota$, where $\iota_{x}A(x)$ denotes \emph{the} object $x$ with a property $A$. -\texttt{some} selects \emph{some} value non-deterministically, which fulfills a specified conditional property. +\texttt{\tbs{}some} selects \emph{some} value non-deterministically, which fulfills a specified conditional property. At this point, it isn't of any interest \emph{which} value exactly is selected, it is only of importance that it does fulfill the property definition. This is a so called \emph{indefinite description} and denoted by $\varepsilon$, where $\varepsilon_{x}A(x)$ denotes \emph{some} object $x$ with a property $A$. -\texttt{all} in turn selects \emph{all} values fulfilling the specified conditional property. +\texttt{\tbs{}all} in turn selects \emph{all} values fulfilling the specified conditional property. This means there can be \emph{one} or \emph{multiple} values doing so. -There already are theories used to solve the aforementioned scenarios, especially in the case of \texttt{some}. +There already are theories used to solve the aforementioned scenarios, especially in the case of \texttt{\tbs{}some}. The notion described by this keyword is called \emph{Hilbert's $\varepsilon$-operator} and there are methods to check theories for consistency using this operator. I can however see some challenges with the implementation of this concept. @@ -306,10 +315,10 @@ The epsilon calculus can express first-order-logic (FOL), but not the other way This means that the epsilon calculus \emph{extends} the FOL calulus. This is validated by looking at the epsilon substitution method, where it is mandatory that among other preocedures, the theory to be checked is embedded in an epsilon calculus and all quatified theorems are replaced by epsilon operations. -The easiest thing, in terms of complexity of the challenges, etc., to implement from scratch, would be the \texttt{one} keyword, as that is the notion of the \emph{definite description}. +The easiest thing, in terms of complexity of the challenges, etc., to implement from scratch in a normal software development setting, would probably be the \texttt{one} keyword, as that is the notion of the \emph{definite description}. In this case I neither have to deal with the epsilon calculus, nor the non-deterministic nature. - -I would also rank the difficulty of the \texttt{all} keyword between the two aforementioned as I would still need to deal with the epsilon calculus but not with the non-deterministic part. +\emph{However} in terms of constructing proofs (read implementing it for KeY) I would rate the complexity \emph{much} higher compared to \texttt{\tbs{}some}! +Proving that any value out of a defined set is fulfilling a condition is in my understanding way easier than proving that either \texttt{\tbs{}all} or even exactly \texttt{\tbs{}one} does so. It is also worth noting that usability extends far beyond the showcased example. It would be thinkable to use those keywords outside of a reusable and non-redundant code design and just use them "in-line". @@ -318,28 +327,29 @@ That's why I mentioned that the need to have some kind of "dumb" macro, which wo I have to investigate how I could utilize the already implemented (within KeY) notion of \emph{ghost variables}. Luckily an already implemented function of KeY could be used, modified, or at least used as a foundation for the proposed functionality. -The name of the class is \texttt{IfExThenElse} which one can use using the JML operator \texttt{\textbackslash{}ifEx}. +The name of the class is \texttt{IfExThenElse} which one can use using the JML operator \texttt{\tbs{}ifEx}. If we reference the \hreffn{http://i12www.ira.uka.de/~key/download/nightly/api/}{documentation for this class}, we can see some description on how to use it \[ - \mathrm{\textbackslash{}ifEx\ } i; (\phi)\ \mathrm{\textbackslash{}then\ } (t_1)\ \mathrm{\textbackslash{}else\ } (t2) + \mathrm{\tbs{}ifEx\ } i; (\phi)\ \mathrm{\tbs{}then\ } (t_1)\ \mathrm{\tbs{}else\ } (t2) \] -This conditional operator \texttt{\textbackslash{}ifEx} will check an integer logic variable $i$, which occurs in bound form within a formula $\phi$ and a term $t_1$, and proceed with term $t_1$ or $t_2$ respective of whether the bound variable can fulfull the formula $\phi$ for \emph{some} value. +This conditional operator \texttt{\tbs{}ifEx} will check an integer logic variable $i$, which occurs in bound form within a formula $\phi$ and a term $t_1$, and proceed with term $t_1$ or $t_2$ respective of whether the bound variable can fulfull the formula $\phi$ for \emph{some} value. An implementation could therefore be possible using something like this pseudo code snippet: \begin{minted}{java} -//@ def minScore = -// (\ifEx int score; -// (\exists int i; 0<=i && i<10; score == scores[i]) -// && -// (\forall int i; 0<=i && i<10; score <= scores[i]) -// \then -// return score -// \else -// return None -// ); +/*@ def minScore = + @ (\ifEx int score; + @ (\exists int i; 0<=i && i<10; score == scores[i]) + @ && + @ (\forall int i; 0<=i && i<10; score <= scores[i]) + @ \then + @ return score + @ \else + @ return None + @ ); + */ //@ ensures newScore <= \old(minScore) ==> (\result == 0); \end{minted} @@ -351,16 +361,17 @@ This could also be something some kind of ghosting variable could achieve, but I For the time being, one could inline this whole concept and possibly have a working example, though this would not necessarily improve either readability or code reusage, but definitely increase versatility and expressiveness. \begin{minted}{java} -//@ ensures -// (\ifEx int minScore; -// (\exists int i; 0<=i && i<10; score == scores[i]) -// && -// (\forall int i; 0<=i && i<10; score <= scores[i]) -// \then -// newScore <= minScore ==> (\result == 0) -// \else -// \result != 0 -// ); +/*@ ensures + @ (\ifEx int minScore; + @ (\exists int i; 0<=i && i<10; minScore == scores[i]) + @ && + @ (\forall int i; 0<=i && i<10; minScore <= scores[i]) + @ \then + @ newScore <= minScore ==> (\result == 0) + @ \else + @ \result != 0 + @ ); + */ \end{minted} The main difficulty of this approach is the handling of the bound variable, the way of returning the notion of the fulfilling value to the caller, as in the notion of a value matching the property description, as well as handling the case of no value fulfilling the formula. @@ -388,7 +399,7 @@ This would therefore raise the need of some kind of naming, which could be eithe I think the work lying ahead of me is contained withing the following work subjects. \begin{enumerate} - \item Research how \texttt{\textbackslash{}ifEx} is implemented within JavaDL and/or KeY, in order to be able to implement something smilar myself. + \item Research how \texttt{\tbs{}ifEx} is implemented within JavaDL and/or KeY, in order to be able to implement something smilar myself. This should teach me all I need in terms of which source files are linked together or are standing in relation to one another, as well as how the different parts play together to create something that KeY can use for constructing a proof. Try implementing or extending some placeholder functionality in order to get a feel for it. @@ -404,51 +415,35 @@ I think the work lying ahead of me is contained withing the following work subje \item Research which parts are implemented within KeY itself and which are implemented within JavaDL. This will greatly help my understanding of the underlying working mechanisms of KeY, how they work together to construct proofs, etc. - \item Possibly implement a minimal working example using \texttt{\textbackslash{}ifEx} to see in which cases it is lacking, or if it is already sufficient. + \item Possibly implement a minimal working example using \texttt{\tbs{}ifEx} to see in which cases it is lacking, or if it is already sufficient compared to the expected behaviour of a (blackbox implementation) \texttt{\tbs{}some}. If not, I would have to manually implement the aforementioned keywords. + Therefore the goal of this task would be to determine if it would be feasible to embed the \texttt{\tbs{}ifEx} into a \texttt{\tbs{}some} keywoard or if a groud-up approach is necessary. + + \item Determine (using this minimal working example) what the true goal to be achieved through this thesis is, to have a concrete expectation horizon. \item Implement \texttt{some} with a minimal scope of functionality, i.e. a minimal working example. According to how easy/difficult this task is, it is determined if implementation of \texttt{one} and/or \texttt{all} is workable within the given 6 months timeframe. \item Implement some kind of naming mechanism for the property definition. + \item Construct multiple usage examples to demo and test the new functionality. + \item Write extensive tests and also theoretically ground the approach and implementation to ensure issue-free usage. \item Document the implementation as well as the whole process to maintain reproducability. \item Write the thesis itself. + \end{enumerate} \section{Schedule} I would estimate the amount of work needed to take (almost) all of these points to completion to be workable within the given timeframe of the thesis, namely 6 months. -Specifically, I will roughly estimate the time it would take for each task to complete. -Note however that this is subject to great fluctuation as well as change. -Also note that the following listing does not imply the tasks to be completed sequentially. - -\begin{enumerate} - \item 2 weeks - - \item 2-3 weeks. - - \item 1-2 weeks - - \item 1 weeks - - \item 1-2 weeks - - \item 1 week - - \item 3 weeks - - \item 2 weeks - - \item 2 weeks - - \item During the whole duration - - \item Also during the whole duration + ~6 weeks? -\end{enumerate} +I will expect to write the documentation as well as snippets of sections of the final thesis during the whole duration. +I will also expect to have the finalization of the thesis as well as the presentation take 6 weeks or more by themselves. +Apart from that I will mainly focus on finishing the rough research part as fast as possible, in order for me to determine wheter a complete implementation from scratch is needed or not. +Note however that this is subject to great fluctuation as well as change, as I can't really estimate the amount of work, further research, implementation and documentation that needs to be done. +Also note that for some tasks a non-sequential completion can be possible. % \begin{verbatim} % y = a.m()