SQLite format 3@ N.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  i7Tl$ ] SATSolverVerification:threads=2elapsed=87.740cpu=169.520gc=4.860factor=1.937zXZִF! g ]ŗXf1-/6vR[\6(`Xsڽ4Sk1xhHza5_7G7e ׇ`JSRƂOYNV&AX6AK̃j]XJR*s˗p <ͅ !m4ix3o$SrVRǙ"3:yK*`0gZKiYn=7Ξ(w]vf/l)Ă~j f_^7 g'gXC[~+/b|>V1ڔAVv},]lJz&㵐p*XD҇5ZI8{$2{HY/ B=lS=%1l=+>a}r=s3D?l 2ȅ w.^:U4yA$k~)< Ygo.#mﺧm9,7_2'4X'O uM4"qE]ӑ\ݛmƨ٨ə<``~^ad9㧇#u*]>iu%hj[yF{S flТ4W;*&J 6R吰t\aHk/Ո0*)+Z7"~f [m^ o%&8=׽4VR%њkcY@[c?EKujV*CAϤ<{ )*LM 7 SATSolverVerification Ih7c% 4SATSolverVerificationSATSolverVerification.SatSolverVerificationdocument.tex7zXZִF! {.]A-MՋhvG"uIBm5ȠZ$ \@3iVev}_Vy6l`7o;8Bk['mkifA-X !YW=h疟G^n-Xpu"}r\0O}}ܫf~s)5WTt8;P}!)TL܍K˔"B'W|#⋟,>]F֋vaGEz$Wn4RVE1 aM]^hseh1%^s稖`L&B}oG8$T<@ t3^im{Z퉙TԐ'R{C'F1dm(V0Lb, a~ {7Y% dSATSolverVerificationSATSolverVerification.ConflictAnalysisdocument.tex7zXZִF! l]A-MՋhvG"uIBm5TMo >q3Ѫ'1c _g[wb LwM)-EW'r€ 2J/yƲRUl{fA-ãc.$a^>"ck2Y=% ij.k%mr2όڕ~* (ҤP Xt'e <$I|{)bjI/yhza0 &dE6P߆\p+1IC?\~UE77%gUI&v]jw+wQ:pM\.%?>0ֲh MjfܭXFyҗ6a]-Ml<:Gׇǃ.B[dg8gtϮ>m9zz@Z\ hpZ34NΚr,OmrpZb-L吲_]&qH&c,yCfG{K~&U|O9Cdez_r { ]YfvcQ;҃)9ku:,[5x}7ĮqiװC/H9̀ewrDڢ)A.eVǚSA+ [+\#';I]? oL]pQRTJܾ+h>"Nr#P5:Q4tևhє [挢sЬ> $ڙ4#j$T?T"e6.GYܻ ,-`tZjLkBHB`&OOF$U#fqs#Y5BRѦT+!qo%XldYrckDzeI {YϠXxbBO^3-vy odìMU%J6ͭ-٨72/}GK}Ԧq$#Jr~*M0ʜU.\҂x`e#sQ-LV=%/&- ]`>ׯ,sWVo&E.SEVףC@ez1$dM0k|ǎe rt)Mݱ*e< x2˖ kp1;M9v I| JL^ sEEɹOߠޯ{7 ٳðŕ?ע$:{T(0*FͮsAS}*d|-EGQXVی2oh$*"kmXw؋1pIU'84 ۿwƑGP};Yaeq2Pl qwdf 9xFT(Qu*:7.=YoQe iG# yODebUۯ\f<B٬i#6GBQ峡 0<˛E^r]2>'^ȝfsq yPOuN8r{t~)\\z1 UOi Cr;v(xً<6t\,41K<O(+L &Ӿlʄk~O%*vPzږhYGиÓ漪(_p n:eeA!r+ n.4T@[~XuA.<&EPU)E ˚ A=7/}N5>Go$jUnxjB($7?!%~cLAB'm N6az9PUrz#nQ(g%3TL^Д3}NiRTO#8sTۇG: Mr< J5ɶ;;fZ`_K Z`ⓝ1rUhbpEq[9|&ԔLA~nRl&MW@ d IOLN8 VS f-[njir{Eհ"fp\+(XޥȲsZ(_LDX.O: .C7-RgjrgB_H G E ? ;84+#"    = V `E  E7I%SATSolverVerificationSATSolverVerification.MoreListdocument.texU7i%SATSolverVerificationSATSolverVerification.FunctionalImplementationdocument.texC7E%SATSolverVerificationSATSolverVerification.Decidedocument.tex J7S%SATSolverVerificationSATSolverVerification.SatSolverCodedocument.tex F7K%SATSolverVerificationSATSolverVerification.BasicDPLLdocument.tex B7C%SATSolverVerificationSATSolverVerification.Traildocument.tex K7U%SATSolverVerificationSATSolverVerification.Initializationdocument.tex J7S%SATSolverVerificationSATSolverVerification.UnitPropagatedocument.texW7m%SATSolverVerificationSATSolverVerification.NieuwenhuisOliverasTinellidocument.texF7K%SATSolverVerificationSATSolverVerification.SolveLoopdocument.texG7M%SATSolverVerificationSATSolverVerification.KrsticGoeldocument.tex@7?%SATSolverVerificationSATSolverVerification.CNFdocument.texJ7S%SATSolverVerificationSATSolverVerification.AssertLiteraldocument.texR7c%SATSolverVerificationSATSolverVerification.SatSolverVerificationdocument.texL7Y% SATSolverVerificationSATSolverVerification.ConflictAnalysisdocument.tex8?,94qhaKL3,=Gj/A\eCmr3W5*2$g(%a=5F/&JcSн zWRy ز>ZGQ&um8?u$ ٯznBJM̀@Dž,>]{:д{FnьlMW:Uk`xSBB! N94 (3c(rF`Gal?݊+L9а ;o(N|v`wWU(X[ɬfR`>4:چ/)'-e . ZnBPxt^Imu* x115ߊ.vq4ְ-2De+./[R<9b[a) )*ytI܂vdbFx]q{8/'P $RdUx<'^ktf:"tϵ(d o 9'Ҹ=S:ppg7o/T%yf&u3" 9ZpuQf SzS4ˏLewe$'=QY׾N^y23z;PX>JV[_-l_&`v([ b%}F0  !)VXPEpz[p>DX 7/y2>jz6"i=Ji"r^?XpP/B2+YpgVFȵI_ƿ":!SNp2 1qi! !Bn@2PMZ&NI!;@~{,b t85P|z;Ԩ26j JXy@HX8 :Ql + gh*+)wH~"(L^"sczcJPhr Qq"4;oUWLz@W U~EWL&R+6Z6 0{~1?աOֹg960 쎃8bOpd#fiaTMđ0!jz|-{@AuEF.cV4'R`;_4hdNI}-&ҍIIN7qs:tO%(xIaQ"UT5`g7wL[OUs11褂?IvbcԢCybqE/Vy lcz{YTޣAI~ύo s:Vޑ+)'Rv g)Rm}yÏzUX-Bt^^QtٕKزמ]ae ^7D=G5HvPY$ŷx)$$ln^mc>~1ӥpSm/3a5ON(;~3hL1@]jM^v'F`XlU9l +I!F4R, ހV`"i#|›<9')fXtO̎C Q5j_xis8Y3(F ~iȥO9D` Zg=K܆d|:6Yc\>C 9MjW?vےa#HײgbCD om#Lm,c h~c^a %lx}'EA0Q `(TZ}[9r4 ҭ>9R4῿Zc."p#xzYf#)7j즀|T8GcIQYX:e)=S"7&HmxAi);8 ^VijRcXǛ{~()Ж( F7/ {j8\'M컷>. .d`'r]{ޒL'gG:9DOg5E5 lQʆy)Q/J~S0A7hde m?k8HvKqN6L!˜LCORbL0?W]%C...Q(>h6Yt1A{@tzFI8e^+7&8t}G@\IѬgc }Ŭi)wZ44s w3BntydU b;wJVxs&o'ɺK(}TQBIxEjU8pqaur{&j: _dk0bVWaHdL k+pmvm70O k^'̀kdG]6-8-~nB0 P $c7.:BV >bӆnGxJc 3uBQj> ӧ3hgҖ /$}M+Q',_]Pr Y8r{y3Q2j XljD^p;[`7j?`ME7802ABc|hxb(+O. 0CKV&8R N lǚ~2һ.%9ڛ$Dv̰H!%%^bqhY>Z.6^a6w(T}lye T@V{ČRB8ɫa`Kv\,(ݣ Qp9URJZgm쨱KP,:R _a3D }ZhtX|@7_,YlviB bMÌ5`'86&(aZI)*&t,da$R:3i2QlɑBmHw:GJЗ6:} +!Ef>툨We8gr'w!qEK:A،[bAaeIKeGo,3bY.T$:k VV o qjY4#i3Ⓕ>MC37 Im:d8l«5n0j)2Kuߡ;Iw7 X!֧s7`%3l"Ҳ/?,(a;0co?{Ʃ8ǹtGZvC3v؋GϙUBøKox]%MA.q_\r=OPC&{e Ig ֔jy}ڵLhvUMƍějv5NܼGN-\h9-މ{~6.9JHys7$THהJZq˴iɝuH2!1uw2xH4[Gfή&Wy;TmL:*UB~d8 \fDI'+6}3I~!OMG}Ͼu-kdf" .|);p4Uq7Dd;(knR̿^Iԧ0k_-0?cF]קxv3i:O S(yY<%"׫ ͦMtz}gndY&HVI%Cx 81*dثή͠}7=_ayZ*Q佌-P#'I)N"ex EΜNy W973Z '}yBdloʄjA?V{}O@&;/\kmW)2 pxt[VJI$>j=y7_0ڙ%$\^IyVɌTK!*or35vJLζ&8+XT%GXSRӝ1Vg)m]ےktY]+}g $aTD;Y8)0QRssI9on_iGJT Kkwoڿ'Q" ӝYrA~HZ,ŒZOdlWp 3;L7 (-Z&sVJFS* f91A{F~Yv c |. P#dK* @2p" NE0,-o˲׆(oUw ww 35GSh4c~v?F  s녟l>0Q)dE'Y4["-ǤlzT 76ztJCI9%J"hԐykiО`VtRtt8j8CpE]0?9 P Ti1"UZp3ֽl{Py k(F&.268'3tH8hF&"1,(ep톦ԕbTAKO ],lgZ{Sq-a&P|BKT K2R#rp~q__xGwN.+KW&0IMu_ ]uEz7c&-2jqhFȖQWdk|Ϻ 8cy!ڶ?qCa)!D^ϓ{VmH@#|Ґ1b)Si4Pb vA>c?"xF_[u#A'X,Dqf)]g˾oC7r0ٌ-1EV:дʵ17[o34>z+>&MA喺ӏ?G?*v1ʥz:YS WY&.;cFE#- 7ĕL.!|XJ"lĂ7^{8g\'YDxEhZCa&> lIxK{DK`p/+htW*fغ)$D׺A?jym˿._ MgNuC 8.ao$ބ7]F p@ߞ@8 /5Yy.rsŽ( 9D1^V? }o=INdtQ!/>{qFjVFWD:BI-12tYqO>7$Pfc1  7+D3Y|& Sdc(ʁ'q<˓1%t?qbJ: a=zMn=O 1ыM,NdE閖X M25})CKі_m=jpt7tMvuqTWM#h.ᘀx]_u;豒RgBqS.QV/ s.8/r/)crȮyt4t#/d\c̑@R#C eTK9uTNr%R<?(J*T6"Oh[p3RXv\6spxTBX)BɨZ1)p]񲴟PR$qN7^y_N-;N<֦ȇ hsZj\|FvK5c}F䪧- F1(:jfg~'c#DmJ2FFɽ5ڙ%vޔkQAib$`jD3kmۋ?jI.ꠒRX_-4$"%˰1f;.}Uni iD竚YU2Ȁ뵒4ChuSv7ro0x!FEW|xK(_YC Qq;s+W-HlC "v~OC_֠DZlѣƪ٭‘ T/H3aMMoJ9}[j[NBLe%qu~8;oMS*v@[^JX5R^BAEP|\(]!Ӆ9JvFնjE.z pT@$?xKV_aY5av,Z2]IidVDr ]dc[KƳR$)q9c}mReLw=֐cQjwc:UԐ߿PGKkNޒDD3PZYa(i6œ$_*`s~glMgmu g./{2GުO7ɕ(3js<֟[o?4z ihP v* 9!JwG8B;0MMPJkXLh1Qg΃rث!7zstUś t8Y3ڢj"~zeZK75s276C_]=ē"aYFO=m@9*0o7I G0k"=`p,2Lt ۩>uj6+iRwܷaW}Dzk%/kvJe,еQ~:P/ r[$705n2謵 SXnK):† IX;+B|Y @63s'ϕN_-$%:5edX:puC g>lZ" Ry?B;Z <9- ˍU'rOpw?+;em{b(ӼGtfA0:)s5`}snW~>4w|8x:{_}mۍq9K-x gq2i 8}:Eш1S$b$w4<1mEڝd? &[Cԙ]Qj? H;HuT:lh/A^gJdTJ(f䴉ńznI`FhUb0Me/i ~}GX#ȗ 1Xcu3o ^MgeKLDկhg߰Ju&AC1=4gR݄HJw³TtWEx~Yz&>* @h,]g\+NJ-ٮy.J0}El-=Q2Nmi pK)e H9*0_^z5jf. ]Z$W/W` Rgh a@I,xT_Zx.k2)#AdEIϔ7|9Edv t_ʕ1#l!/@P@|4Q28c~f_X$fhTSISve_yJWLCk@8F7#D`$9 FV %ϥsLUߺGO?h}zxf8HV ٥@M\}޷Z:;nlWF cHѧyWL^cl ˹fagO/h@wpru~U[,%FP}c:P;ar?dt,&j;j S)̱[GJ-{Q_ I&!Eo ws?!+JYuBH1&mUU׷])SA»꒞1\^ʍ?]jmLO[JA| xp/_G!s$#(|TR&rޯr+>Z hfG;&f~nJ7լ)2YB ?$Oo3g\ ВR+I!5S R0ͅÕhx_/֘9mR{ˣAz$S*skXa]"POԨ2䙭h95"ژO<&3b!G6hԢOBWk`HɁp7[Pv||"5eW6M4ZXEG |wE&Ϥ'^P"ğ饽kݏ* Rh'ʮ i% RTojȾԠٮfik@fm0'<2f΁(ii"j4IrW&A=ҹBJ\ϝ{x ʏ'ug3VFep%٢kM GTv=F 1u:ji℧GۤN~oS"ӡRCZ쯀s1RD^# (zb<{rNq^B,JA!PU2$3 6 WFl۝^ɝ_{W㶾6=t5:P2*Cv'WPG+` '|#y$3d<Z3K`{7~0ܠY SҎEbKeHn>P'&G6eGkRP 2!]óӡ # h *xtv?d"O9aމwoԟm:ޑyqzoN*|Kz^̽udɂ9qBGKU[=2ykZ$~R6پ05kD0OK_6mYQ㳮ERuee jC'Q0PV=! H[{vݮNaʵoQX}E腌ݑOTt!>χk- IiENPz]:zl ky1vEgG[M0.z^__"#CcDFgO0H4˶9%2IzmW5䊐o_ܺPbyI%4&0ݐ1IjwjΖbD;PE?aTO=D'5tZyu;JG QA*/zSX,9]oNryE޹D`@Sr!œE@)2V'D|*ɑ؉nA& >@ޝC]GIuxGNUDW5kLNHsB9Cjx p5~3k̀%[eUVqk)4xY/xL@^[L_on5[Kp8;S> ,86B!b1}^qF;'\5&Qt UdJ7Fa'q) c!tX?zKk+I:Dl;5?hJ]3&ĈE?7M%teX -.^;UFGX!ik-"a1ԏMeƋ uwul'0[㋁V| ㄽΉ㥓wm=bN@D>lP:9,i̬|9laPY9+N}OR(%|[(wĪq)>(HhKn6UԸ$Sp7`Gʘʊ-Կ6֮OLvQ"*>{ΫF"3/1W"a!;$WK*5|1LSN薤O#~ `y &|7UU@̈;3/)g7 衩wJt]6%(ޥGn0Ha xgO:W~WȚ6j[kqyQF4m!CaUZ 䗱>Rah< |2LdF@ n0PGҢׁ7o- !"ժ޶=]^zI](B:m4J[]Ǒ2#W -ԕ(6H |:.yJ|499Kbm-{^MA0\fs7yf+Ye ]&M9.Uyl2NH{5{@e+p:ySN%3;@?:e`O1sEҢm͕^ANWRʯϋB16CF]#]0P?4;S3AA 6q"8N=}X? zl> pr+Cl)e,">4xzHa y|Kܪ aeD=;z( r9nzQs} WWt/BA{[Ҁ1ң*ޅWœX%Ȫ`SƎ1q>+(/ B.Ww2.\ uր@SdS WXjl1b>糳F}ebJ2gMd( <_aӣYVT\Bә\@-n;O=`MEV}`YgSƀ?.`؁ E[PBtY^ڽ1Fο 2wM>uaŵK|.2ǪYevTImb&W1a.{G^LhzsegjVw [LJ+=N=*6y ̯"Oap'c+^84~^lm;gO\l#INX:Yh,H5Dg/Pʕ;/Tc"5<}t8ƐD_x2 vj/_O>eU+Z"#W&[tVΑTA'@M=k`Pe)(t:\EP n n h"6gJ"o$#2n>{>7ܦ4#YAH"e9cUd[t [ {yhKNR~w2]h@S0Bp +7h214J;F;"C_P)"Pp+7y w( ]rhᣈ 2xgLQH ۃ{+}TQC E[\yNtC[MɩlL1Шмm0́%;NW'E5Xn~z|vQ amr9td:d@@:R肊[c΍蜳LxS$O#P}=D@ r"3a9hJC{e3 pk_$l VEo<͸hUtٽ *aTZѪSWL8DcK%̪A ~rn&;ppCVt FF o,|vGd52mi;,{ó$}#Ց-Ǩ_(C kAct]Ic[]%]ݘ%=J~ UfbUWNgY'}ԔRPY5I$$ } *aH:X0ϖN^ yຽVڡCF'mQ`CnaXAHs%tM50?yby+}hH™Wb=u EQ 6e(ɗzls"a%rfrR 2,UYPNX#wc5kw*ZY `JOPw(T5fu?.Ū"+mf[a Ai qiaUbC^?pdbxyRI̓oʠƖ↣:LM\aOjJYvo,{< q`}Ze&R7Z@:?K.O ֱmCy984^g!X?OJ0{+z-ն\q 8{/`E;,YWa_+8 c#uNX6gu R67zkȊ짒obhoAҸHܑ~Qұu (Uh)G 7L߆:wQnNuIGtJt܈*aL b;1GN6KfFSHVG;ZXiu7Xӝ#lt7j U%$d&=WWOBi2ݻ%`?*w8\L$&*o$n EzzHwԽ/ )mqβR{T5zLOe+c]RD7E.yO!%'mgy8)H01cAМe <:JHMFXqSza\m">ڸPn{덊/pQT1 ߂80>&8l ȺΨN롨9#+a viՕB[CuƷSY f!n׃ӯUޔ;ΟsVz C-3]GE& *S~)MG DQG<$w,񴜍D?A'XDW X_|X<WMg+dȳoK`$?4HF?"# /?C`r1r*ڑs5JzJgu0lHD1҂21f̕S*BWx-].>sK@ $zY,l 0:P$};X0{9AQ .@NIlCvFG$N JL ?'#~ɋ~2y pJH/ȠJG#"%Op~ame2^꿬"o2bģ>Ʉ/s)?vgj:'f/5E-UĆy=*R2}dR! s>UBg{gmD*a'7&|wvVnh, \(\PgJsV blvݻ )W bG5DVݸ3 rOҎj^rTCx W:IDC&,$¨Ŵ?䗺mo1L 'oQ{{%j9ӏYxV0CIcU+`@Df6E;Ԭר$uUNk4(JKZ B|&fMrAUy.$4(I̎PF=y}Qu\[rSgtGQQ:j5nםaҬ{)&CtuyEX\'2H?BK6-VeoW<%oABu#Ys 1- :j6wvŲ$OT+11}/.H2@mԞ 7?| /:n6h!}Nڦ x9u:2 U}6h|s,{vqDĠ_n#ߦ: eFڂubX|ml癿L=p{k7Ӵ XoA8@\LY{{ LY& ?i["}ea,POd>#6o!!.j7qV&!2SՉp'9|,g184@,<ѷ8=Ѓrr/ԑj̕NZ!MW8٠1>|n[j(}Kyoc:7'@myƘQ lC[e jGgXy U~6[y #ѣy^s5s[P@ ia5g|Y_CzF@;|+PhZZK"=< }Mk30sݯX`zdOH=U7e߾y&%c^*ʫތY z 똊OqTcub`5 fZkrzj^E2fW_I2raQ `#o4~.-NuMpUu5PCU{{fWGږ~q4k_Mɘh@JY(@KSO5E[Ka!rxI!uhk7|_QGY8qP9$,۟Gdm+CF$&oܰSYaWO_&m/OlnաF\+vu]pIcj N3ePҡBtG1hd0D:$hy|6ZmQs>ALY`[a%|mR a_5zsJ$5EMŠ LǶ(V. -ɲ=7cU@51%]|,y ņX0E6:VBG`^"*@:(K'=X*%\4x{wM +VDt>J/r?tX͒]וOYڦ2=Vey5 g !%DxIIe* _B8 ,`0Sي?\qbMF0<4tT^E<ZjeM1VjFfJl 3²A{P}C/^2,5mM)\ "³ekGdL *4ni|UԤЧ2v: |kh!;WZfpƃ#zտjk 1ow1í$*ĴHN M8 ONxWۼt:egA&BJNzY$kQ.U48EmНDw? Zqj8k^IܽKEpuL'&* TʙGn9}/Xս]|S_۽:Iw#(Ij4ng!DK5\ڕ{<'88V}or̥94d-$teIK'S*V'}Eu^~Ѕok4so/^vE}mUhS\X U ۹牛ͥG/ }fv晭<{.~o1{ZJJk W](@q#4%(.Qe.,(a)~t#aX#Ը6Nn&׺9ߵF! )oy!/tK=*!=m8_5b>EGGuy uj^Wk;;~'QOBE?<IO,DVw.<ߒIw?GisdQUWKnS+7NAb- ;#jRFr3&I6Nf3S@S6 Je?<[(sa:_d<*_HDZPRq'jP:TǺl'|Jfm`Ò [B?GFLF/Mђh+ǫy#I%Oo3:ɋ?!/S/+펺ovX}ҕHƼFKU92jFQ _խK#Ί.D@T#bNmq=G'!0ʇ[#rbiܪ.7vc+xúԠ~ozwp ;k3mEo1ŗL[H/ sYj!gn[ >uvG=WTYSWƤܾCS' H/+h̯p0 F$.} i% Kz5s]WA~4FF踼)#8^@-X\2RΜ+޼ĝ$?{  tjG?mٞA,Ň:NK4gS(o(aw X$K2Vh+ȥ,n˥r{ bxoz,b;EM~sIx캩_A1;0b2:\ ]`+D5١ |ENZkL:J8zٌIᰇyX\y&Xj Im^0 r0NPE廉V b{5[JE$tM,Bv+0z$ۀ~m }'=A? [ʨGnz& x/]\\i޼oJ8}V$*yŜcA)fnt4yuJ|NcBL"l0Ϛg!_W׌ ц:]}5E]ЃNYx#)ՌAc{(܋#Kϡ`2Aw^Z.O?+q3YQ2We40Ӂݙ70=;7.T/EɟI^V[qSՋLvNr0y Z,KKS.ea:lu~? 3ұ"[8}.*.*y5-$5_ gQf6MdQݟ3pX R8mFc@pcݧ@lj?Ыd4xW$h橊1+'leųi'\ٚ x4F,WY__\l.kA)}8mŪieډBR8 4D4:i\{gAGϜsl@ v)]xqgcc %=RlK %sn2 sVՇT-;rd!wbR;Sՠi%FQNʄDT{zpMߙBssNSIfMw!ѷ} Ia ĩINv?J`ﳖ\ jd[OmvC˙F: a0EP41&loW4n*n1j%oIೈr !m'\l,>#ؖJ|Gʃ) I܋aۺi"%1/M,״s0Hg3AA7]Ёxq!ӱDYt}-q89Hebrs E'%u^BdJŎ<~5ln捑38D=ZѩOhRTgߚz5S@-qkMY{'fB7gprVy(R aO^9r_}}aZ}ƪp8x! S+zOˁ _΋9npD/B?q AN"k0}K AVbBE!ӰTVڻ<:D~T`S7]4L !IX3g%cfs$iu~Vԩ\4i% [GSE?b/y%:4DoU9GJLZfÝD8Tuх$":X^ 0e4C* -s0k&Kܝ9R/~tGoܯXoII!4#^5y׺~&99aTpBG+bmZS7IyB:o!+I< F}ά}(evw{Y/&W[r$b/TEEK(?.n3hGö\MK+X. Em2 L^Z!Ţy듋' d~XL*_Nb3 :LMZ}'p$UL)(jrX`%!ts6'`w dLf0|!֫y@IѬO饱ΘYw@kn(۾Ӏi]lKL̦="]%|w䃷27/[-?a6qC2oox^ː0nmES\ @XB BӮ ġ#ǧfYϙՏf^笑Of *(;G^"JCN AA &oQ@)"_xCBs|UOLLW:U? }Ţ}Y&L[%&SJcӲJ%F`.m"DXPIm$y_B_!f<K5ĔӘˠt\I4r)8#oc"ߴF\2##)~[|D8unajՖ UKc }FUuW+=ҋi0uk[3 Ņ[(o- 1q:!Y#5SJe m/4U1Khmzɳ:%؀z?ޖmn 9i0IT^45a-d}7(̉.L gh곒OWۉOJGq7rEkݪg_~5~*J+`ߴ,w.GËF@?Jk9eB{CUE1AG$/{¯R$HOt0%Dk钰殤j6[0sOL+n4T.wEuIg$T J&O>&8$K̷^5+J@#2/8rJ K'~-])ݧ?<Ŕ?:ύNhUfEՋ{4>%V@f NOErapSǁPM "D}ײUxV+W$}tG%ddr޲EmT:tT ͼd$.8㥈"R$֞| vc)4 cIE.'+]݂M.T]&^`Kg-Fiœۂ['ˬ ?L 8!IW@ZheWf)166-9]I]( o;v$# e+n!OM%ά^ >)<ىwC7PTd֣︔K^0\3Z$ B^ ʘf=GlޯHک743Qfp¨\{>{k9Hz_)}>~:lnҴ_SE&|W&fX%K%W#u@9]_d[EW15~;r /tXoa)5[vҼUǮ-62vHY(tTbtC݉T(ŋX"q=E$Yǫ(%{:!l5Sߙ˛LM:R%@"[-VR~w@[]jwLJ,^|uT{iZ<ЌOQ30%,-8>kFw,%IuڴV]14F:,8ӘPmzx&iv{o{%ZXL&yv+$2PljPMHdo$|{? `MA1|Y.U)'O)$0YtM4Rύm3W ,wE7"ZKN3-?*N|i݈~!mYXc['du&vX`/s:jU+Q5:(ܓC|_ 6A1 M'ʤ]-*n"QNj#FƠ3|C_]{թҲ3[51WTRl ȴ`My (x?ك߹ )AՄG/CBY^tO_kʙ#,0GmBgݚ\mL9`)EQE$,@XHL(9UndHFj*?;Ӆ@m\rpE/"aǝJw ) Td V~ m{y;+QQDƙ%"JY`6 YO`!u(wf9C<{58X:v3z-Nr<>?awz J_cXA {j <;fŗя=t5!+xI1E+hW&oWF8 $n #(MЙ!ߌ3|Pg3QHч'ܡVGED^zAlaiOtxC*pC4,fU~P;s9ؘ,e*aϙ8 P00>Ӵ\r;]`Z)țQxe1~[CjJb[ vH8T3=04Nv @khunL^[&$;ΟD/LYUNtO[)ml6wrH JYnca`2I1\)jh/oY,yVr*-eL׉2ml'/PY*e ù<6\+x;0I|%Yܪ`.8+l1#nwPIOMunjQ/j٣~_X * X, C=o)JBpǴ.$F $`CC?zGvû)TԢk%_"; 8$IwrMYHՋ8z Ńzcp',bÉWO⌝3nHw>B(/_ؾ/Jw&[ /ҷ`/:t lPҔMlhcI1oٷj [GmȌN^uG#Zfbאhg5 s{6-x`L?s<*G'3uؔ_hQbrr]] WJ2rcW]0j]_ 3FƻO|\Zq"r4$) bUQ2ďZ # tS{+W 3 Wܝwl{Y5艮qPDvs0{'#("wn!-]i>f| ^h% WNiNZiqml-fjz; [ 4o#]@P~';~b+5zq ,&אMD_SNV-@T:<:@t(GQ@htTwP)5?6Qf:Q7NРxlr4n$_6>gPT949jnj)G?cHFV۹P2q uss;A|_k$cG ,݌*EHI%Xd#QԖ2VLogYZW8G˨ˏ,{M*E QTnL+g$Z%& Bzn<@ Oϊ 84DWOS-V."]S߼./ 4B; {un;mX{ςfދ&֨'(ٮ,(GkhHd6QoǦZk -t;iO-gGJk9o#A zN }4WK.kg`0C r@ǥ8s7 * Մbb#dY8upTU3n{l\+@HK߯r>'ƑhXx>5ܑB] bBAa_Un+&$ək3:(Ab%;XJ5tbHE~O t oS*#l! mf9:djʥ,@d2ޣ"E Hxk&w;~ {:bSe=J՛Ό< NFtOth:Rkty|/xE$Wr؃9IHjI Hgh;Cla\h߄<|:a'qL2:|Ψ%fPOCa:5.X|kKPGQ;᫬e e-uf±,{&9/ʇ&\R8je±>[ê2.3PL:vG9{h߶bD= gLzsPv3~Ց H"aC:ޘxק Unazz#NvԪ3IJ׺<)5u]n } Y~eA+>バװ Z+\5u:ƤjfǶ*nJVHU^U/eSbO o0DmCR{)03=5-u yd_o"_<'3H *Ʃ*@_8 5j מA4+Y"D6 L,0GEt"ѧbn?cj-!%y>. B܄#n 67*X-<|?]L1Pmkΰ;n#6+E/AR qx+Aײ_.SY7h j ƁvINU@ K5Kۚ4Y, ͋qaI &&:*~5#r*Lڡ}w\}@*H7=l.Cn]um4g'Lٴp)*EHkCmfֵ (T! P̳9Nv33]* q1+td׶f2~;d4;n>薫i!]=#t-(<&,Ā(Xn+zi ;XWKy12~y-o`UpTG3E<-L:9[ȏ828%rouU-jaUF fJ?)b ϳX  ͖ $EË CwjO/?fSW'E'>fwm푬VH˸V'kk>^a%0.=KLI3YƝ#ߦ@8)SEI/[8 $w iB|ns37v|SBuG 4_3d29WųK}PGܛJC'_[ =XjY; pSkn/Og뵧Y~(U 7g>_"Trb}a1f )f'Oo,4Gx;UƝOK^|mʩZ"71@//KfBC·k?(U mZ@e^;i4*vJ!t(ID׿nm̟gD}CwcX4@Y^ttH#9#:.e N&ƫ8@^ykuJ;,pd6<.թ=LqP5اk慣a TX7[y.2jVչZ0'M|C䳐{a143*W|uѐ9G4 dҵ o( 4*740G~a=(,&J҃Ɇwx:)0iYs濧a`w &%440,K7M zvY 2Ɲt'\? X4s'MycS2aX8IJ~34JEbo1VQxt.*8'T!B#O]an^ul zYJl/R]g(fNnqH%!]Q/Z%PDEr}S}R?b#ݻ Ncn)RO3]jW,ENwJHm&gE{t$vIzJ)}?0"Vj4թrq `Úûyr:xC{]K*ڭ &/<74+t7`DEy9B5'`Ij&So븳NH+W鎎@M,u^kڭ܈T 2"5E=DicKzS~J}_~)1hũ`ya2xF%Χ=Ma鈱5#;a*b1QX9@[a(.N MpߔkrtTfh8u{/ OPQ1tU*D7;qѿU8ƛĔr*6&+$B:jRi|yҎH@aQ%}G0c"Y4O Oq_MTl uP& |y, prmpQj7l%T~+Du_Qoa"#|"ne):C֣Z z%L-ӝ,񻎺NsO[ƆmЌ ǛYzdIE9Mtėc_ZbrF4è 3Q \O"aRcJPT&zD*]SlkR}N'87D,m tC)UAR&rX~ޫI"7hF.-qwّJx+,8q퓥L\'e$/nN/a>Pg!QiX k"™O,w7ޑ)nλETynީ'\}$MT)Q9qOIs&yȨ:f~r/ySjh\Welq`' _k mp6mrM{ے<5CbdJMC>`3mdÍB'󮜍D2^2^Y)@w7?)ApPyK;[V"j$QaM,|֌`-9:mcx%.UHexZ+{=QJ#: \;8Ad!J_q㼦{fht)@Su^091uL V.?Bx"@ˢ؁1-Lp*Iv@!s@%*]XR[ωPfh/CKh7Ls#`'N)G"ف%GSBԇЋ,xjvq6[r .*g($ *K+@ :U^ x5K%LL2~HlTcPeہk q":Smĉ#wymLN xf{X +~1cfqEwR3U1vs2j`FÈg1g)/jP3"n|9ھPcA D>j=Fm3AXS%-1π8n1ZmOm) g;ygPBl!)wQ< 5ۿ HS-rL*]f$ !WOnb, 'Y.dTu.9|E9O-4,U[ դ$VEl"Џx7cc<攬 P;tL!ə\2&ܲC[7 ȦEhHBO8Ȕi^TH4mClW9~sOf:C]?2X) 6;"幟*epDZafeC/\cz-U YY];d;j)%/"4FYɄqegn9 ҖD>N? &$Bc(p5M4HL?מȂlWv1 Q} ) XL Ih.&Q֎.$&P?KU#Q%: ^|RNy&OL.t.fTt &̋wSW"s*>B\r[Z!TFA rp̎9=TKT*+1l#6 ֩ T)A}>"砉6Gpv{e2%`|fwͿd~Ku&Xڣ^ O#4*u_y[1(: r /$ogs1/{{~ch8â1Y+(`o:zSˠiv*zS_о3/TF:Zo.+G+zWZS,Gqtbwk&׬/A!60'6H#q r™T=o~jeףs ȖhXTn7ՂN̗9or)^Ȧ &Lk ,sQrK:퇍A@Rӵ'+2n\ܺq_.:_t^xHu$$kQ‹wHo =Rۻ7rnV\;K8!~+*1vqZ_8w9/cC6TJy 8ЦOo cDLXW3Ɉ0 t:(,v1}咣;zL* g ;qjg~!*m٩MjNcٳ[|S9U 0d![ U<[T@D]|ɖ?y'yEQPU 'M48Vc[k5Om#twϏse}2wD噇/1TҸU3?f0K$av~)]9f[Xa3#N($nKi8HE9=0|ErUnee>G$x5ցv_YHW#emJ?M9C:Bf{KkQ%(I(Go_ou$"G,bƒf>9Gh8a5ع|w4:e>m>le?XA o.ʼnGj0d4{mYxC~s6i'pf2ǿ,JAf3s\\=-ʔX6hXi#re'̵ :\J:;UHF[$Ogg`bZumc]*ۧJM{ym&R[Opm5Xuĉ BȊ␱BH+p̪H}> \˚ft2Xk$}_Jvp_9>Q 6ߦ<+(g I#B[X^kR²zD~\ڎ"R2rR0ኼB!tPKܛ7ÈOhĜ8jK$3):n8+Ϸ;dwRMU ^Α~KIjQ05f˔H(#R7'}lP tۓC5k׃?=#=.O0QvpfŸf/9b1K3R`ǼX,WrVr,W0%&$X$ ?ה(&xH? L[dAX=Tub}YGs'! ;t>D#P A WX&_t$‡;mƹHV>A(Q: ^+Ah+ӴRo)Xs=Xw+79v HyH5LFwyM꫁ eKifKNg$zgLXAePdaKN(Z٭C3blݝqQMFHg SٛYJv3ʮ˘/UN#x /[D= hSȹ`/Sh^hWv$2xwhT)7DNE*/l_&<\u3Pv :5XœԏD-m} N1` Ͱ'WmpQkO2A|52̜e_U\dx6ߒD-ݜǚWyMjѐ4aυ@Giou^+eerv='Ҏ/P:Xe<N7(w8|;*MQS3D1.% 8}/+|WP!B.ý|ưNiU\KeloO B]Wj,L^1t(DyJ6[aFԄo).?Vwڱ%k_o+S zɄH)5Srî|T{_O( wdpk5ju*&h`@-]Z); 'VFot~9$jp񙆄%w ',xtX+쇥#|VBtM͢!Sr:^J<999l.(K%qT35{l ٺ _H~Z0˧TYS*ד(j76HՇФ4E)i$sui8&Sdκ-۳jl[Ӊ?τyj8(\3?1L$?[V8Gbeg~Ir {I{$>cT*Jc1ya86ՠj\>Zl@B3/⪆..RtR I#Og$ x&E usG)mUh֥퍺<\v",4;ɺo.Jʇ=.['i@yewt"sد{ kx5 tXno2+}"g5D|o_YMU$}@Ԅ,͒VSfvmKG2uE\` )!t~MѮ/R/һKbK~<,mO>g -WsKt眳AsSMl??͙!IB翳 ӮWg_5&r[V v I3:aE<>\8T 7>. ^Ԉu\b$HFbp#r[xB&SG@xD{욐9GWxXw~{tcy BCdCg5rxxø=t?!u魧j7#wޢbPm:h\Bq M@s?Nv%d.>*ާspT38[0>EC\4 N^-}N~'(Tc<;]v@1s$w݇a_"ƈǣ5NzEܕ3&|x%XY`W\;pJ!/Xv7p2 0I$p'5nGߊΒduii -p=&Tx41}Sv+t$l 1h 2ANߋVSsB&=>uR n]XXqgxk۸뇺qcEג%#?BZ!7O; ,K1xm[ OU~ VzP.KD(sAh^_ӓY:tik|6[@˃q!F6VsB IfݎZB[a@TZ uev\G~CTfRڍf_oKwV9_S]V{5T 0[W%AVoTK%4d ~w@г 9^`Z>q v)fMb=-h݀]s{r)f(]o6kts2``@0!՝㣖yhM3 yHQM\c  atBߑޖ/_82I]P,,gSR'K"ԻxvRGW~s$#f%IQ. =J" }ipI4_V1}o9SZj~?&xC[<͔ 1Z!kr&Bne[>#t|aB=[!›cwxbC{96A$*T0f<;ջr.{fӅUGre$^'yOMUny5ds R@"]1VcJ.5R]:C<%`YkR: \E^>ZH7S!beɑy*McQ@wwibNHFN|Z[NХv*>VAv#YIA?י. *EQ8N=VA2()ZyD._/q'fC$򆛌TXL}zeGd8SdUf=ij+6Y8= c| :S@W,-82rT v=;Κvqk">cSx/^kIeԷTY_~TjLA[R F"['@ړmtfmn~v5*/>#͵P0:+RO'[1t?"Ʀ-HZC/V4@ɖY sDbVVc(`,pZ)C)UIkp2F-A@+7gJE7M6}yK) ~D ViOˤnUq fXbD*x⥧ ekg jtQIuGڹ&mTܵ1/qKEIv6 t l4J9kth*zJNA]Q4yFJ۬(y1s [;JSpR+v, &"!'\"uulODIB]j z|#LH']}1Ko7zPc ^6F17{;¨~f٧?FZ?m=Rv},riE'po{YCflStp^Y`J0oiscgHh>3+6v1Y|.{ʏ\I^~lu '׶M"6鱳 {ێ"لѣyc/Y}/Ŭ'7[݀_;6qn UDsS R^ ƪV8q=Ws~.DbaZ8ەG_yAN$y׈Qgꊙ8'6=[0=ߑÊ:!%f<|2jS 3y~ PO*ϒ;APBPfƹX,]MfgQ:gkmK[նYMꌨv:zsWFkQmf n}EW Tj8(|0/𓐟I@O3M vގz@knS&L&4wntZƿ Dp '\#rH/ <%d"/΂3 #n0K>{V.?rDSrHؿ̡7%x8lGW,dbmQUw:dLE8ˈ֣qZ X?1 4yF']tN"Ub>I\im64% z O<G]:Ns55h/9<!$%g-|ﯡԇ讧5|Js~1LyTNt[NJ<Y#n*n;,Ih .̌d,>YZ Rzǰ!+pbsixh;><4ۻY,LPզڍJg}alE:V2kZ(a;ilHXP,B[l=J0] r9'T ̓*|EW_)HAzDtNW8<Z ckZX8%BޯGb@;S_ZNܫ$E*E!)O!<7"9?}|0m"b&[b+RHdYV҅cIy04w)}"O'tƹq4jib[ L @MJ]˕d[-0TOQ!؜lFsok&HG j̼YPZSAZCjZ/#)&zBGa2X  .oVF YI_ߕo_GWz+x9Py2^ z9[y~rQsH"IkkXZ׹\UɷhhSj'myN0@}4O} :X!YP6}'>:HϡoO*cXIXhd=S7\BBX@?P0_%>3M"mo=A謐m-b"\ĭ{ZIUեGu${Wf>[3:xz>Md+cŴϮ4b=TڸyTqjid1K*^sӅs1o>~x+pbw$+@;1<ʨK|<nqu}UxolCa XPQOخs@Iƫ)mt;THвoq73Cv"zPxYCR>QZ7!;K4GrAK ):-B ,c~ e8ON9N;NVk<$Y$=} Ok G${˿`I+0Fy7hc?-_PjU ^DZ=\GH~pP "M R/ΦcV!`%k<q l~َt_s\5vﺫ@~%>)n0e4i wg_~ɫUBcr=JᕰA1PyJ7D 86 n3fl:y5J.[mdG=Y7n QF3{֟BPKeL9$z_[x_{hŊ}0QKc褝c` q1X;q͢sE%U'A&f\e'bC5:4H|j5Cplr"EGuL B @&9H?Z]g3]T~bA-UWS'aǸY@1)`F3+ U]O!{:s `$FXƢ,hϞ۹+ wGhYhzSgUKvyKO=ƫ'm5N=Ki`(%Td |DMcWot`n҈Fcx#'o{1XA5X >_>;\_q#y.VO 9T!B}Bls^0W US˅DA$}jt*QIKjP@M/HI;`)Q $Cy<iq+kWd+QU!)Bc=vO9e>oČ^܃ؑ䈡v+it X{<$OE&"H0L#y,a,%r#۽7#K㨳>e8^*wCK.`sc!Ug\ehESi|,D^ŤFk8\aSYBMާ(&n4#k;y 5 ab )Zz+КW^$4 Gbu# t#&_khzq3M*39x2jpu?V8[:: &GSֵ&5تWRLb(T9Տ@EB =ΩB˛K*PWJ[YdFNiYX_?){ ԙ0%+dB7H׽a[p0Ӕ2]նMk"*p2cs`+X]SL uލPt`'L; /ykz,hPSh?SӀZyQJ>37"lYZ^rc +.T*420 ӎ06miDW<S}sUO 1qBWsdו&al've'a Y`]vX="}l/1lw:7P<07螢:63ѕ B?R/iwULHAhbײz~TYɌM6K,_Fyz}D֡`duSM-*2}zGuoie-lwbSPVS#pQ(4. "۬}%G_E_Y8YeP osHPHb"VO*whLG n iLGK^X$ѷ:!sT*Mͺ)%nY2x=t] 躬حH<a8Í؉=O]tL¦T!+R(!iz}CKMrMR$IMF,j΄4NfO!W<&k.{j+e=d 5jZqEsj/ -^d[`iKj,n ƃVЖk $.?1Cm6r/kt;Dpb2)d#5U{2WG ߩuVASNx= _OF& ii\L whwrr;7PSB78T"|uKH,;=^wq˥t"]_XLw)ME(˩eAZ1zzh=Mr`A{mCX YrjtxYJَȖ5`WYBK5|DoM-Q] g[[#&⥆fy=}0r'f/Tfe 9O$&k K?@V}>D3iUdЛV);3џv Xr>!^xsT\W/l@T/[@C$K8U+%$竽j3*Yf© Z^Ѱ<*͋WW))ro4A+{urjb#|(ԞFgRQXUq !!ԛ9-vh?lH.S $8hu"b1H1x$JwY@rF`fGJ2_DhˣSBpLoE{fs$Pp쳥ˋin*瘺>1MA^B^ *'~#Jq U|̸-Aե_\@^)K'f(Ҫ+^# .6 jqUO&kydgWr3}*DTك ag-\b{`Ufwjp~QCNSes3&4Tr VXkRgˆxkgu@%*ZJ@[lJbUVzLۖ>=?xG@?e$\3YZ;;YOm&1DnmQ7k.,T+l!):?Ç`@b7Ԛa`'DX]Rt,0Yy ypSnӽxиҽs'Y]G௩WaO-b<|Po rpd1-J>ʿEi\ қ Ա0̌t [2L?+- |WJТ{Zp ;Mw@z^tLaV˽6S~:w盕v2o]cLR~`զ,CMv C;5b#1;ej?|L[?{Md\!agGH䒟xi ql8(W7UtE,l)^-;2 GTn 15+Q2iW]zuݣ*| g?>oX0gAkPz9rcU*!V. da-. X\JkPXx^756y>KʶGeGu > [!0;ƴ~FtO;#O?Z.':=꟦o,`u7|NBO 4־ypLfOh~饸m%L &'ZVYRY'+iDB"GG>4=Ӈ*OF+`(K>e á3ߓP&i78֟G>`L\q`U+*O91\a:pݣj`R"cuv42 i!ߢ2mOzDtB g17J#Q{SƔZiebL-;YZ_gzM2V9S>E&Mk%kaS"}U=ឣu8mN)R)N \^mͲ׷BASYSK=/~bHٔOf[NJ>Ǐ̪G sk]~2;,|˞Ь3V8=T:T^PЪ]]>VbX&6 Pn@ZWAJw$P!H勛 k ?ɐ {e֜/b SWVX/c Ge:*A\?>+=_)צXݲ -gI8I7EXD^S!>>PmojAQ60GJc|hlT4uɝ'w`z0O*31wjAMywcwב*WB$GhUYDm5elоeaa<^+I_bM/zg̩My┼js~'83p%Lg4H4Rg:4rhbx#A[pYխR{Ho12$֛7ڟuJUQ/K\VRXHnV1 q?i|MȞdȘoFq4kdFA`M?uHY0s*<8(Zr9O/tyLfO) $" 6%igPnL%1LT0b~}Z~ aa˫}$hB=h>B}Zr ?{˪^!etq&nSJ^N[}Ik[u֯2#c*eQי ipB_6!vjdq`>MZZT0 X9@k¸F$;٬}]S\y䤓 g=EOVQq+*Ge Y{Iݦ jjw.xQɺ}zR J. W:{ GW،pSvRI{tzGK1'śTAnT.)v0e&Sn(2.SR;BvVz5=bpʯ fԸoRLncbtXRi|%AM-yP+TݕJ OBFiZ0x*pd#w 0OOGHyɩ%a-Wj!fd4dH.ʷіz{?Vіe:DM =d@6m(9 UA,F; u6#C'4^w).s!/ Bne BLy`>.bx9J*Q?r s yES5G7JQsbf-H*wK~ͨu޶!$~ۧ\=vN 6xTـ3#w^=':y؄<d:"3].RŷWmgmCa4u~l?o l'I.s\<w{&juVmj}߈%P-Ṛ2vU"e.v`8vI4JZ\#Lc<\ZSϹU/kj14~@KV'vG5a}oȯb[1/͡9!Wq%DjˀGŻ-unw$]xKl6zh8LD\N4Q\Bjб +RLj5'/]^GMnUd޸.:V#ңci0;u/# )\]z2:эVdo=9Aj4@&m-wCtߖ;j1Fn04 e$\&A Y$@̜[/Fʵ¸@ii>h}2OqF+ЇUF=k0D=͡8;Xm>85+N'dʇB, nH'.%;u)DL'^W`C~ @TuD[EJSB@̀-8 ~| erǣ8op{ Mt@sYye9s|a_ih _]-,Rx,WaN=0DaW؞L6.an+]t*,Ks|+*7?ZH`ծ H d"QaxOd; (;'1<+gPSv~(`:.#8c`flZ `*. [Gzwv- VCY2U+ #>:j'YR8sq w+`bmK#Re͎ e{AOXcGC g< I W% }ϣla-Sq@PZN):8)XV-T"ScֺK~jP WXJʷ[KH]x}T^h(pΑI 'Ɛ DOB-\BUk S+9tryNѫ[q MY*(qZCVt|ʥ;&m"nX_od(Œc݅HyVvM "O͋{ l;4U٠Jc|7@YqqU H/ݠ`O1v }it#wE!sw6'kt /]K` 4eH^ԗ4F[8,O1izT9T#s%AC }FZۅWB+"Fx+jpqNwLLJCGwp!/qeu81JЧEtP>PSE{ UFiq3]\Î# EeV CtW6Wq!p[>EY̿ CT\TgO I:U 1 TrbZ?a"Y'[u͝ +Ms朐ȝ }ş ƉL[Ix$(h%ʹ{%n7U֌TVjVa!j]keD@<&p Z OɢY !a¦@S dUI!05c5n&nliWi P&vŶ)* #tGr䂝͊YEP7M\`(5.=VhPY*JϴڋWW5Lq8P!ir.%%;z%5C&k26"E q|.>WI-{OP:KU[$0pq%Blל ǞSc^|#QisRHkJyN#[;e;$75P [)l2+-~Fo2:@ѡ1])@L.QbOw^L(]V"Aݺ,8PK7iZ U%(w ~1r:@&@[:<4j G;Ӱ\%sP }%E%0Ƅ3td9bEZno\d58j$QjQrA (fƴ>`4xUA `yQl5#ɋg*bʽ~܀vZER#prÆzmwOR"‰G d8cς{vrwƐǚ*dҌ$TbYja.{LK E&9ix_ wT>Vq$(-Xc4jc?5휙Q?`ՏLȤ㊩\J 2JItHژO\)/[0 E<՛{5[㫚 @7fPa-g0@1M[eR9ɞlUS)q̛ˁ Y_ܷJxzk)>Xը게1kJvqU 6wLT`:n1pэ[:zt - k.>7^,֭qy͝mZ#csgSRBږ;d*"/BX^kZj &Aջb{i L L=Kl"_H=#))zT4^WҟǑ;W:^MC~se/D. ZbASŃr-QSR3lUPyJR&zɥ np~-{-ۙ{;k&۫MKf]7/dPKJMf,ط R _/z 1Se/,%Y5.w%1 FcRf Dh\zx&!uL<ؽ?γً/o6!zFS57;6Vk찚2ꗀcS>"}SiTOP\qGX GjԠuZT5 QᲘEYpG%Ϳn%itlt#%riыlڍ\÷BM[]I.3@}o)G}3+f_äʢfWq3{to>FNCRuЗ~p#a#(0B}6j^CT#@I2?a*vKFLFY#S - X~S^*`@OʓW{Y{ϝDdB,^$$GaIY|=f#D`1*;8<%"wa6>>ip*R1cѻ7Э RwWr✖׬4,mPNlw9NvF]":@4 (F8#5#쭏}d d1z_RE?(;ұ |3GcGT^ĊS}ځCLN<J[ ŊOrGۈ<;sk\"/V2ioC8Ha'uTCo~g*;Kv33߫dR!?N;V祖@c аv1Wj>c L*94y9-dEڔD\[a !rzȧ+Df",l۸ otpvw!g+;^j;RO\x{nƆHt3۲h:3{y?m߹~:X\U(؟CJ;t4YdZѩѰ!q;o,ف6O~$9&kKƋ`i}@\n`/vD>98 깯_+*|EfAb50Sx/jUAe_9Tp+[]QZ rإ-fQ;-%^JtitC~^~?'>-:8F6fpfjn{eeu 34OUmi \ Hhf`51vYredqx1Lǽnq'QU b5}6kc&.myG6)53ј Q!rؿzζ},v_{zO3uռi0ddr>}er¾ffv?7$U: Ǖ{ 'ߩc7lo#{ ۢY08}ylPae2.X9UYIJ bG 36w3q^h`J" >ٲ."WYP!|gB9.*D,E|6:d~\nd'I۽~땐Y։7zg͋DO_j>9X؁R*O}yMfcfh/j-iԑYͫi152dol1~+E~;ZΘ{p1M1LmV4hcIy1Yxe;޲E||mc0dS8Xe2J*BorFTs[QAEr-;'N^/<{͏6,r_<ٛxY 4fI It<(o!8,`$S8v wiJzqx$3vj:zVLwO0(̪j4 <"?>O#|T[rk.Fw? ~M%ݵ<_Q)߂+UH0j<￙z~*bU98,0:\kwetvF #AOO ])3 baBzXpad0뾧60U`ѵ[{cLaGj:[ن @`~;/xr ~n'dǡXE"RJD^afYa^7E |&N]Z6nI~3=SzrC&ӣO` R(x1tΚkk]HRTIZ+P}224 MKQg #B^@̄ UugvφXpַ4gm6o2J}}Ǡ]EYA5U 1/K| Vxt4@& q p>c+q!'~ٞ=OZcz>ڃՐ i9+\\[bаB@&rqR݃˳4 O;O.舎νEɬjwȹu4F4\ h Hj&cWOZ86FDF@7p1Afj㷟3PJC[7c.~%whcc/dDtj;I !ԫ94 .&9}w"ӎ]du>*Ӡ-ݮk*BĔKZM_LM|d+хc+—N(~b{lwKTΔ%6 ODS@sշJ]T޽թ 8. Qjŗ9TٝPDu0sG" B(45`zD(N(ڍ9RE1EZ1}Ld?_ZyǒQbl!Ay/.S?15A@'7o'௔@O4Z*:΂eHmwfi2eneC$vNy‘F8Q[<ӡ(FTD uDg|7W3ޅ؅z׮ ==<( &յ2oA]w,@D( H8?SAly͕.VnKe!EZ4qhGe]*v [156B/M%R_6J}!Ejo/:=qOkI"P1?~l9My|qb-A$?q9DZR \6 H1u{b!odA-JD GI˻xJt޸N؃ W!mTP>.ϡj=Uaʻ*Uf8԰^6!O>i{;Aav .Į'*yh^(e 9>8$YHNlcbr9чpH,>Z}0 1&s5 Gg|xHW$k+v0rv"M6sUg|0#"6fХeywx7duyb{w ;avW>x_]D4n{H4W/~, 1`MKNSCAwR$TO Z P?XwLapSQFhڵI m}tDI/q!]3-HSt0ධE*䚛)g KL1G-gyH*QH/ڄf$f2LGYk[{ t9<7J)GEbFލ^Y&̎'P3{C(BМwN5͗dR@xSEPY`$V-$ v[$Yⷲ>'=tQHYl92E(y ρ\<|mUC3ytOC:F=R}Sq ^YsNo2*ΡF^QZŗ9I睨CW&a7R ^ѮB* ELĸB'Aj 4qMB]Vvfg!Ke vgغuGoĊd~eZ7 5uw",z˰HU]cHa=a/m 9QTˎ*'\U蟤+6C+H^cxD8n@;`W\{| UݣxxK7W8vL Y ›Ճ^ q,#oӕc ǥzYIv^,Sn-8eϸwuKGLr +:p1KM:WabM/Zoz"խG$QvTy9y@WI>^:~Kda=P[3(u-LQ}a9=e%Yr,:]Ò$ D!|j> Ef[ݶwSa5(?]ss.EuOk_%Ȗfļ|E1@F|d )ېα6tzjfTI֡CT֤#t|Kp<*uWQ"T,$شoe4Sr8.ӗ#"Ҧ~+C :rbgb3ij(.Wo(ugiX2*OQ +$`}u+|zXkCNM1= aP(=N/@Rk=;,&׆b"! j[uhVw>pFw:SҌj0,VR Q])u"_eQ9eu&3`,+ :%r)2'm܉caBh4qm0CMlu E'n!<w KmJvULI=^.=0GAj_Z=jwT[ipCK^{)2ʵ̾R(#; F'% cRsgi4E>'bo^XfQ*/u6*>.b.z 1m!TpBP". Kav>>YyS+ܩK1Um? 5x) l@ kn$ÅU[cἛs[WXv^ d 9-Ǿ烹i;àksOO_ƶa8H?"j@4|g[5zt7ILbؓBwRVap[af"5/ %`R-<4Y gE^hC.{ugڠqd^A; nS)#Clk-:}(#?HJ* "tH>ڛUV#qF҈ygFgW \'Fn|)tB_X !&<Ia:7 H,e󙟨zb2y/pbH>6zH@i: šy7P815GZ-X7,R1`Zj٨QDC7vzlQo,G)$cU׸4ѹR W'_F5/  Gz7>{;+wQZy9e'p ٤ZlM/\$~ͳs8娷#)Ojֽ~ 7_u;H)ޢK+m2UY').1=ÄvD9XN'i{1#n:ru^5j@R F3`Aҁ$nO-; gTU3d%2wN9@ mx?[6*juBqK?qOIޢu֫dqZE UY`Ȕ7Nٺ\3[Ӝ=Ho-m h}IyjdN=F $ gg93 J 'sH1: (Vk㩠[ h?gbi+t͆i^%=*NG_ѩsne:Bۘfi ٹxA/i{*1ԑsY@߃AHz&Q6~^'&zA,ZvM!@Mi?E,&9CquFtLJ̚G]Wr&"xwJm*pN DS-A 62!jmG@%bVn&lq+~OUwjU= sB:)/CBA{A}Q2Q|M&;2}*qe.5 V T/2 gR< -!!;T<غo3 s4Hf%{ M}L!kyHzA:w aX"n5=ӹrOu̮B @0%Mp\@.^̱5O[<:/f?]Wq=#vH4hZ" 9]9lNrĢHGG8㶐9(aZ+ށB[v63Y$U1*qƫU bsHQe#'I/̺֜w(+߸wZ~w@4_%hw' Kv 0\! I}[h=u:0Jv#;҄tP?NIZh/ڢBU%̺* m".P8YEkp7;ȥ6u=,Is^ZrmWoP%X\kp%lnb޶|CnffylЇaFE^WU5wn>m?0݆^W$ 8 ?AQ^ wR&SmtEY$@HcsɔFs+k$sUȫJ`ŹE89 aC>r3񶋂Ug,*'#-vi  YaI =c.5NWu_ņ̻.PѱaWxCyf@/.ȂF'R%ub_~EuKL8z!Ad% &>ySҨ0]2E1MCu.y Z׆# ȕڸ^60_lS=D0ݤ4 PTw:whLH(5/އ02aAGޘ=ݮ|#'OY3rLUn/f^5(z5yGanөx(Luኑpr&XZ"ZN XFVYF= %*.T ,%k{8X\-FA7> ..7⁸v3q]Z"ߟ6޴G{g~3kZW t^8KntVݮa2O~Z6 fЌNQ@L|]XB zяťaH}&z>3PVb~REQC0Z6̖{caLw4@ym|g9k+xD.,_=du"Y **̪ڵ|;=*V -٪RH#AMnSuQߥ:Y -5gr8વHJoI̞p%:^aY\ypƷP:tvEf:iGYɽ`.ߢ}&#Ztƺhe;RqԱD:!Jv ` _stACxmϯL_R Qh'ĘDشCH--u1$t>C %I$<WEI܁f~E cٞ-g,0o9x S°~,fe.oqP6z*@P5+r?*t$f?K3J;ue!Ğ!*~#l_Yƞ}[JВke9aPL`aX({^]"$˸uO̍fqeb{҆ă-Uwk!{0༽i'y&yT)x݈@K$/<ǑZe<&g[mn(Y\2U@Zr,n VILDɢ3B' -kg >0]*rL׵Ը0wGx+-Bwi~:E IDS86d7P.5 bLՉAYel1Hŵ psn޾# zUJf$13ŤqjKb ^/nJմNdƷu 'dRo\vg]uAGe}D{It՘`y6W#B^^GOd^,@鏧vTSAEѾV3y>ZpqPI *aCwƓA*3򛣧2 , Ǵq6w[((uWR"FRU}U:H>k]_tISk@DA);9Rgd}D*bPw{׽&xzw!Ojb~wXfj"[^jgX_nQPbݼjzf m}BU^*j&(n?6,-ju~&S-M 9ͅf>]F{܆&M 5#4=\YUIJV̈́\@ ;gTEm=zO<9(VKn 6\r|OMqI~Y\=6j_-xp|B\8H yP45JKclz( tROL9ЃX#k6.ڒvD %kݜxnm% >] *0hAؚG{\jC1e&Nq٠LߴNa߅e<t8`Ҍ׵A.8) ed DLZurKK`rCc2gx6H>ysͱy/pw5z1$ I\i vc֛1"uԴ#`YMZD!aPv~hH2fwzI )*UK#dvoKڐ,kptحۖqa QSt.QΎ5^G?앎% (&Z{tɈR 0-^.)*+Zy+V-t,Y7d0_r|dGFr*Ec}U۟ ""`08ۣk Cik0&1)/j-21 :X o<زiE;RP ֵH8ƦuvO7wi ?<9BvMY]R g 02] '˹k3r\ t{UٟJ.;}fo,^ fЧ960$y[ ` t0/[$bDNfBF&ADaliU=n]+깔]%q գϾJ,xG~ !>=g41Woz'_Udo=q5J]Nod)THvMyہ0^$r򝁍Կ)r3˩ Ҵ.ayfg~Yd!I5$%CNphBIw j3=O`ٳPp=K1_UAma$QSGKglWæ"*FܳY@c~LYE*`ݧՠst~19ce&t\v%g llٺbͱFK# kHtW@ j矤ȍmm )oӑ[R!?)Ue{ Ֆ>ړ?VҽcU(H7 ѓՙK gxRQ%M7G)p5zAA:o`cd yF$e#CV^]TrJ08ID"j|N6dğc\a='wf2^UhfO ~͏ G*:a'Y G<-@>D(\z]'`.;4pBVP|(2l(oz̮ftCt]CՋ~Yct?EQC(WWnAwHPtٯG&QbwiRf H?N@tVgk˾dx~9 ^];o]6a-r'(VmR&AxZsc4W֓pm&@7.ȅY^+/_nuIs|T>\0a%M]ų=|F\Z\VGka$?e1K9}*L;`Βfw묐͎A5+~f$o²ۗO\+2fHq.̼jPJ !6+X*8#rԴY&2SѽlQvs)\ҸVlH5c?v]> iQēt<&iB_[Hi-^"ӸKk, Ր)˺ҁm7$ɒi[hYūmũ^Lb1a3ER_d)7cpX 0`@`la: چ'|!@9s(M_eSqB!dw1sV1pxPJqsw!Ά!R. ;=I\̝ѝrK[X5iw|6W؀pmX"Jv Pv MVV^_tZQkDTO?2L6嘨CX#(+( M^|d7fzO7*{XLlK}blX.'5 RSh_Vns6Dd"EZw"?1QEZ呿w;gZDǂȽF:?\ԽI֪\JRLw[m]hTSbU1K I w<>{pʁup% sso[+ 1)-H $!їMӋ@+J{*)5GJ5mr~#S iP 9;ߗ})@ﵨg&ҨAjW^t~!WTO:h(J3p׮vp-u DaBҰlU,b;Y xjO-LuM"RaT?!zۤ ZO$FNQ߆qeVbdQ#+ ԶڧƮf:3ǣbQk +` cNCxH>d{ lc51Gzf KɮP!󏧥fK)>':Qq/zD;m5rf  x'X[IAͨj /_πlt0n@oq]S9ZY ǔ6M(PLj5̰A U=9҉Ac^ t%+NΖOP4zݢ~ Dcf r<3zBhtiIg(Mx;6ʼ0%;t zo *SLb{y)Yq 7 o`;E?{\uFsui}/>G!Pe O+E S+2Y;07.b d1a[W<)"<@ހnwG& x's[A3,]CvU'ct6y#HXތ$ډ#!?Hf ۂ`[Fn`$[ .37ra7>mD.=iF9 ܾn,|<G4UdH Q]5,|c Hc^3ؙg Ѫ@qx\ƶIHf|JC<Rе}\k&8Q=9).4>7ѹ NzH_~|VkA`[(vzQ<]L7A"1{~Jdi$,`m*,jNVr1W뾴 bI:X` / ٓ͸-0j?-8YB'Xf,PK_Ls O,M.`G ½daʾ C|h"4Hi;oztJt˰ 1TOE\io~=n ӏ]埼P}>Sz2W<6+zerDXT vjSY' p NyzD! A@__5$@AS!-IajeL<G$F""K9f〚1p;4 /0 kR/}Z1ۓ%ju8N-^ZU3߫N֔șyomмiW9kiyn+x|#>}6^'F ¿erMUoC6X4gHeAν꓉*dEj>GZ=Mlj7Z/ é3!οb-"`b]-Z6yy u~}W TJA ؚh[g'g\QWHԌCkPZ.RCk1OsU8SnnDxpV=Ҷ 5°hp@g:7Xs,fYD{.A<}j{'qCqgo]P &1 j^Tb>ʞ\૱Ȕě?I5x&ʆjwh;9yܥX==kU>Y4͵**uPՙJ ֞9F$r+ SɅ=&H Y5 0sٺ-"n]oPaFZ&l>[(Ȓe$x&.򻃡ܡ.dkRVj}8[c^<-}Ln8ВtӷCcD9mvA+gz[E Jױ]]Wgۣ}$:½n=JQځC"^դ;wWu^_+o?!o['%PbՍA{H 2U5p k Ke> tҍ}"귖V4{wuP)3xsqûVDLFB% m³G^6 Loet%wxqVǾGoiTiڶΗ âtpJ`!sK Lg0)Kv~19LɬDDSET@ /+Ϧl6+Wb^EOIR@hpPۓgKt,:: ^rQhi.z(2,ZZ xM/z(eϊU8i\˙ңFϊQE6sV@2-ލU.p)й:S`7Z'v tUѕ '&ZT88nʐ*6o*T1LlXF&Ä*C.WIAdNB$uf^hQ75B#{9O`yVdjB :=]XߒUZX/##ɉnY sʿ3[Bcg= z j]=%Sj¼x -tyȤrW8#qFT9y+o6ov#( ,L82'SI<3yB4:Q_i:6*H^kȎcQ%4^ U@BM$Ojb4"w".?Etf1gQB%Rg^$t7c: /Ҏg x5D8zʍZ%'cT_IF `A x2-Q2x˜Q f+SȧO]gIK#Kަ}Ls(e Ss.#"e;FA3Ө} .@U!}>8=K1X S-`!nn4)&@`\늋VnL@ޛ{eZ$[_ѓ *Nl| jt/ YG*}Iӕtb Ê+sX.Cޝ ?@'#e>A`oXFu|h;q|kO 4IXd;oWT퉒FKxzpgKsz&%uos]+j;À :n]xOF ٴk@1/ٿ 9Bp4nAY cb|Lnb/jLػtGi ̓PPs%1>^fo<&H;` dqL:຺@炕/(piFw LAa `&Ȃ#s wc=|LD SMO#ۜ)>Qv5lU;N9&So}Aj$9?WbW#)vmIn[R*0hDOZlm=ݜV#Y_Ur>>盘%(R&@}:@>"F 9gu ~sD~FUTǹ {X<ˤTb !+$C"bJ3?3 BN`q&`>n+˪55d_=`ny Dc^CPh>@x>+Vuc(!t"P 3^܏Jɮ;:@ 8D, C9ٝ`"w S-a/#+.|1LJr I,&n`KgFPQ4X208soN6-MK 4Uo Ԙ B=lxhsyucJ'U0ӽ*򠜚Ra9>]X l=$qWr6SE!"zuH:H:(:e^C\iW( _ dK29vʏQVlddУL%rn@Oف_En2.ݕ(4;~:2-/YSvшF\NZXc<SZ@ݑVpOtQBB@RR^oj P`%A{DdzC>Wod}e"hͦC$4;Oh|s6 dO33{P1j yA_0D ,7|:ePae8q+ \g ,<p2\quO@TSL- tV6} jW_ڝ<$C\ Y†1Xn!3@Ete[l5_WU">aXa=U"aP_. cm P)*9^Z(M9v=W0 SI n3NܖmX*Rƻ"^H|UUӊe)uAMۯ9.#'kylZ8>vqq8 ~GHK߇Qks}лQvv<^<-}-kˣ̯KN_-yiT)6?$8 5o ?,3J@`o>+4Hc6U2r6^ ьC4 I߀O LNGJPJh8I<,u˿;AKWpGoR[QSmFcs1i3ᢝjp2څ-y ͳv@ Zٗk |ƤfQD?ŤD^Fq:%R">,_]fny* 9fL:uB`2nj'p屮e Ѯ~|:v<6ıYCYc5R #_T<[e'61k$n4gƗR[@+ߴ0Y8bT]P\m;ںWF/ 7&Eyd8 8=BHBnfm`r)!Y VbsP]Xd{ ɋJf+7|56 _R1vkOm?#] 6DQ8+ݰ2. u/JA:`q"~@pb˧qߘy1aCϒ1әwd$p푉KacWvbBtvT}Ștq26K)i塪*}?Y|jMMJ 425#gTˋ(]d)a!5{j hv=qHpB9\e|1qCJb$GH'Ƀ(h`1T3? ( Ҝqn; ;lrp)tF4Cp4]$O; nY[7}[.Ǽ #[&Бü,oP< BO(Nڼ rO0*I1h\8hS%b.ER 1:ٮay_Yk'ag}E?D5p|Q^OlN򖽽egi,A+=\Het~eٳ 0 MB<,psv.u'\24pd#Cݨ +ǼgZ*>o}c5^ #⽑`ELf(gmF`+\( $7c+׾R] _`n-ΝPi=blnoƜZ+n>lVu׏3PؐCY#L\+k&$kǁ_7S-Dk}'#|r H#`}Be52<@-[Ćyl\D rfa]r] ҋ  AՐK6?%|E16ʴB!AAn:ǁ+u![}v YhBtJ9?;aS6?B)u(1R=$(?/u)2P?wi/c4Z(tA ѸJONx[%7z-zW!9nnR(H)/['!lm}gQgNpCm#E/>hxT sׯ_\gQʑ{HZ` ;.!:dcЅ N$g^ OKO/~mgve$I%"h(f7j[jM,J-`4,`V7Aу[跏Ϭ5*^wi4;thTdPP"Ȁ+W a1\>&yXt6rSŋBz(BM]w0m9c x^؋|1eVy"9/,Gdͻu #YJ5D1pr_~T&P9|脧+\%ĮpFHK7:`6!M@=}[2wô.!ɀz2 1Ѩ;).I B?I/B++/wy>cn+ h|*ML{"] <|X\*sE`TV_w R}AYȣ[nK>ܒDc<CtJeC>s?+eì2ļ2@o-/2ͳr c"]~+ЮPr<]jͺsµnm$t;:_|(KxnQ~\T_ǀ ~wB&@(CY: f쨔TP9 6{oց}(V0#^*xAḿ\O}4I59I,y8v~f'V̊%/+Nd m T}M`KCnt~n\}@ɎD! Ve Sƀ EMiC#P*ZFé7 ȟޮpF-"^Xk*nf̾ۦ 2IM"ָ]ͪm Ţ.׭v9{mqr_[.hcmeVs=N- ČFT4.+5: R 1f zz.Z/:Fp˱olXsKƋU98õ*`\(@}. ܍[e?@ u;5/ΘN "S/FmFӖO ~ tL2 4dyք7Ayk"2b^MU3ͫnI_h0];,g|(NdOWmX6yOyլK(Ƽ!ur7ÈVx\9A |빑smQMSQmͪ%bnebXCB~ݫhi9ZҺ.Ye,¦ݚñ{#TlZB Wї;}$bT2_(L&9f4mZrTX"-A>O6_[p!`1ABU);0zZ)#⬵A7j\NDUБc:-7ݠֲFʇ|n%B`dڊ5e-ѱ>n̴^`\ 5c=ƭTqaQiy a-Z8!n)E,[kU9f#X)+)dZhBjQ aR9cTѰQ﷼ qK f4a H*SL\l(Mʄ/l~_'+sMە 9si}Y.}]a^ϐrq*W9ya'֫M~0=FA7X)Wa@v*MIT/ڦO HRCE-5)/2IƙƆ[^h@N+x:tŏ[%:|qj>Vc;O0% X)zL\`8NHik].v7uAJqɏ.1b NPj^6 HvD?F*w(]Wʬ W(P~TP{^82. :S/5i 'H^QoR0l'yTڲ7@0\K1#{oeHbtvzJfhvYĿ@G\rCqbHFK+)tLR+ݙ(i O0P2.qt@)m&"H8CF$ֵ|q[ 5FNg5X lLYvg75>J,cƷ/.RP"ѩ[wՐ ;k:oz*+I-̖f@Y}_@SNo)9nshV] UFYp^Nf#^G=7X\&0o4k?'~|)Eukî5?%-d*s?/6ݒ TB%+@-6lukKǘEekml*DÉ됯/@Lif Z_ eO a6Ej>5eup2[&l^#!enY+c2 ;g:<{?8QIB޿9t2CUD>.#msj%qh /8Y\Pdq{U=` 3<,iHAj~S}Xwo7bO&CPžZᗹGIִ\4ۭ8Ou2㧇ЎBY(t;s<_ >'a}usr5!ض N8dŢ[ dgcinuPL1SL,@&vV <#>a9SR/,+lv>* [ՌW.H<#YS<v@-\8?4eAsġ({/ Ȧ;jp.#^x͂tW%Jegj!tԚ-Oi0)flJcCsUY긆 oˍN߿/KGGJ@Ms(?ƗI@5 -ٝmmed0XRiEokLUos]u{sJxn_[AфV#BXs.-ڲ+2{" o|Q'򿀛w_gi!Nee1Q .A1*K2fc0ƞ*lnS烰yAvqQ1gk)I @0Oy"F2$9*^͇SHA9"Ȇkt9D:ODub(4`)$t*&/gzOa les3;}u].đBۇ%)(( ֬<+GGh%d5CmlRoFA 窎 ySHz(+yV-_t3O4v[i[PO$ lT<X7$ɸ6'p8N>Έ47=mMC`@iK sF;ě&K `,!PO DOw1Ӻ M=bQMW}߷#a5_g(dcӾ6h̔9@~x _Svߕ&MnMc붯;FL_#c~;!lNMUz{7>xrIY"e& 7 |"3S|5*v[R'>[x A[P|՘/^>/YH+lk_T;HƎ)351bx; S"SOB6݁z? Rbqb ;ZDFxjæo_d:*L/sau3>sn2hс]k5=z~* a:ei7?Fy lޞ Tx ;>]n_#:-A1"Db]LI!ZґIߨkb&6 ,j}ryq>jUݨnmqE1w+ۥ19;-!p . F9{ϥ¿;0j.ƣuغOf+_3t( QӘ+q||}w>WKSB^Զ̜h$P*4Y].+ 4t)f56Ex>P¤{S?2à '++M?mH엋Ù]?/JX>EUPfv-!aܬ̏-~# pqo˜ku?(7#m7[>#ߊ+nV Uz; 9;x,c"$ke(}s$w[#H "+ZCJuX(sV4m<># FPAjE,]wuhC֗//~)n _ې)&5q9aq֖c)0mvcc 0>d5U%yAB1Os-iaИ!o뫊n' qPj+0=it9H?3Odj B[BPtp?=#yFE%R͙1s(`%g9V+g?XؚhDDwԤ'Cy]t6!fdr?i?w^jV%ua+4?!̸j`W޷ }a]GP 'HCْWDBa^Fk3s_'wRC|[J{x8.E@04p/ D*Kz:ZWqZϴuuFpKilJGQ rY`o髝80DjN ŢߌR4~u;*zfUW5K^{ޑ#َOjȅKUtO){Ȉ CrX5FI}u}$ȋZe,T#6PE#S0*=<4h[}۟s½ V෬X;>#y~wz B '~ Sl(7$/0%)I6v ]xəna²7!)N?qWJ]Zm0O;(}y0NIZK˗ C^8\1S'R_J>iJ:AW"*^9^E1%SɗY7Bz0K,tN0_+3؈Z 0N#IʨχC9HĊ 0d=n"'$~yyu bF_6#d*{r٥T9umo'YXLLRVFI],fE MU5!<^grm;6+( `z!H+EH'ok*i257:+5K(|tXǍyh+Nߴ]R\G۪:`7\BHO\w6~Rer,e8#oNWQքOj6q)b{/bЀ732D%+۽}&J3(fsw@b=2A:HB4[t|h=&ތm I[Oy4͋QgFzGNӕΠzSXl%Lo[K.}+T`" O9*>t-H['V܊c`DEA rnjm`~Ս(]} e$~lU7/\c {_tH ߅ m"viN@@r9iF4tTZOِ$#t`_AXD[$[*v ֿ>+${>_'v]4VS]Sۈ į砀0n:(]θg -R2bCVlTI`N*IV?͖MXlD5P 9j Nc%=fIN<[?bGVԼy0/Rkku[@ )#dn5ъB>yi=09ܔÚ ucl.0FH jl~ŧsY%/U nLhQw ދ :  GD[k'/0ќ圎fqZ֚vhF5ubpt aW[& M<0Ҡ+JiP.O8 7-RrYtf'[JQ^0,OLHkR.ȵ z8X/J<#@`;A-A`BD 4”!:*)àH5UUX[7 E":4!@(kT[d@a|G0H;&$_}nCt#ԟ Sӂ*FݼZfSRԽj.",Qf}QjwWۘ> 9yJuR!Q׋.(IWϰ~V$31 -vϾ /IYᨠ^DM&j';,4Qe֓(;zr*AwƤ2NmQ舘g"W,},x- pZE'SgRU%>d]DZ; H5~=eW k*JɢD٦Izz{‡wIuf7K-|$'u4db%jJ̶J\hԠH[$6wبJ=~xf5_qtHԉQ="lslV sF䙝 0O~-(txA\$T `=jvFϋrL8O$Nv{{[WTn} <.fV*hK2TmGZ(ב;Ǥ8+I_]'R~0S2yGof,/dtv-{zP^ϐZ(= OL2>^ L|-}w/nEf8%e!ܾGdj׼[l&N$!8P9ਣ+0y@X1=/tg8e<̛ zq\ծ٘}`s( -lXE=&RY{ <*qgc#b}#'P&)׷^G͐晰,V] WlG,/yX ږA,ɞ_E#];=@4Yc&:ѤÊ/\ K~,{(*u-c `a_/cfTԭƭ!k%td %q j@C^+!w$箊tl5 \nv; \遼LKx8po]z~Mk'R)G%TtH"s1?,D`2u`TY ؟Bth7얀f :cMդ_*ceP7MFJ Ae]r.sClV1\OLK(.,,}StM^`޿w`GvMaA \ʗE}dՉ}b-o)|pF߳ x}=C.+Ie˻_jXaiœSݐDXkH)uo)=MбܷFGC.X\]՚:}7\_[hCj,uxo8Z o .#cV<N-d=ф-X(Y#AQΪ,( اʆCynB_L,bx\c0D&;_HT:z$۰C{2o&Ʒz$V&= ]z:?D!jiƫ])c $-:, 2K[LKJN#1((>T<:Q\ ;uH:K'!m $|F?Rqr0q7NJS"J,`'5O|.igzm'jŃcP˕䫆wM"pJ,\ Y1F+cs0RʗۜK#_'s˚l<;ݳW~>mtx\t}L=/\ooQzGiFڅýv020Omۛ.r<6D:c rC}~L{\F"qߏ_Lfcrv~7͞coS{-s/ ҧ2'e*7 Byr$`@f ,L5fLt`>N[?].v7voZ 6N86P!k8"BMe;1HɥW}cn'$oK^7*q٢Ťe v~o5<˄*-JrȢ E Yh defq$%W3jH ܱS@.s! ϕ =)ыW18a\ox1l 9i*sUclL}rqxφ l(׏ ֊;C E5@F *peB lG=̅qYX؉3aq<_TY}9? oH]&NjtC$xW4xUzA$\W>YqUi&U< P$IlAر5 =檭m*2ŬC!.}I$]}rwLm wVȠL;jK(7]yZ9VOX[t<,lnW V,w !t)Z(?+>)E¦sv_.j+FH1[`  $d2{:'Źaa桭>0T3MbMCPKɫ7GEv~Qpݣ .4ͅP4Ek28RM] ?.x8]ֳk| &~.(7m|IOG@*LDŽT[]B-vL2M7b{mm Rs&`Sq3XlI-vF _kC8>:*ʵqd!ݨǘ3w,?x#mF 0󁾮[;H+G`ecۊ'ș>调sshY,yiϏ? Cgcw}AD#A,,r1hEaqGX\X^ڴ 9A&,u[Qj]5MBUX)vҔvSDno2xhH*97d{@+YX 8r 3AǓ)PIgox=A)h>qcC-Z6tc+"mQT69aԐ7{CftjG~WI%~X66J92 !{LŃ%3') eVzTt][I`g9 >T|)ۅI6:xX!_S1 WF,g}Z4UU$+3<_}iT] kMZ/Eiu]Z> yln}pr+1MdA~fDfS\'ٖ* 2Nj3˽ EY"`Ml(ܬJ_K\HpyYyÑ:vD_IO<"q4&Do\ktNLh̚[!Ӌ&?ΐ" tBuiL%[m1*Òk G'VFRk51|{V]a1S*"iS>|o_ X|p XctC|o/t- *msO98<0glf f+ @5|r3AuEaI`OYJ|nZzmB=)tMЭ2P[e"pYu ѢuA͊G R1I_9yGτQ!6.10_Ш-Bn%i ( @Z!m ϠMJ?:H'@&UE|b [C" D;/]O`1$LyxG&8UlZ H|~ :o+a1xTcuɭY|B#H6AxvމxX,Dp]19I==l%k"R-wW"@q'[c;MMk?9.o0zK'o6ɶGl`> w<8ZLsm2nA_4eDz;/G`j4vQhH W%ѴͷoZNU$Nh&3uaI#>twn8YکB %䷄LX݀6?,M#}0cj\i,7UcA/,8]1'uk~?6%5X4+-ۦEa6s[+<vSiXq\2}}(,xe-I%\?%6-]lyA6j;6+C{$A'׎US7])]"]Z0q_5x[msncg9& (=zZFFMH?ؿ!Og`6;!P ۥ7PS"djol&f$ok2-R>1,+.46:5fވ$y*b9FPQyE 9c&Kttjs,v{9g[ƺsJ66ldܱ`i%fF2`ԮlD7g{UVx\a!L1N/ɘTkM:-A]Fo2))0ztf\Msgq ЙBTK`fK\]zR?Z͛uvSA>f mGXF 'XЁ#GE\ClQv%fLd*gNbfh'|Ү՘8iЬhÆ}2z]1Dj) _-Oq\4B2+prkZ$XNCź& -[0";'GrSpoS7>'FuNao S& yY@!0|:߸m6 r$1?qܠ 0i|\\F7܍¦?kZ9>jZ[fjD;3ֻ?N҉! ޴L*AJ1-$=h Ip13 [RPcr|Ӽ[q_Qg9Vp<1#ӔᠣraAcSBҋ d_Ai[{1}\qW|>#(XٟIP>>3rԪA+$h+uAe"뉏ryJ\Dq!GkuZJQTbKPmǗ,ќQM,sRzYnUU,zRd5y-W7)Χ.yI>*L|[l: .~ȑm i8uofb79#l OZ<)2ٟQ?iZVR= c@~sr6HɆL~qa)MJl{0 p*,꾛C\ 9>8WWXOD]⥥`m\/$p$E7LS$_ 1ۜ/6tsVX Nb4^E"cRb 䍁~45){o G/;Io;6M} NzuPQςI(W#7n3`n2e7(sC|&y}g9&{ {mr&T&bt,џ'%y@ !biu9˚E55_(YMPƙ4$+;lt`'Id)G=M穞q L3"9 9]%vA`Ŏ%ާaCuCT\ޞS)hFO![mOg8Ǖ׿6 ңWOr̖IF8}`?a.n= ^h 25 L%~au6յ1Ɠ#؞SM,jD>dCpq!MƇ.yEjSi\AV\lwQ[IBh ݊&yl+Կ'GBc Ἳmsy*"Dz vY o gtC D5xTڛFZ9X[{kGcݶd/KpCk~O9N:)jvX_2X\L=+" ._&mp~ {F HwK|vM)E>Jw\'`Nʇ{BY*e]=-r2S޶ch!>cƼu4:@ )`^i,x(P$5TI B/\9 Pc5ȠT,i'1u ;~?HI$(䭔XSj䑩^@.:Vgk1ܥ'*KKAE½*aKn S v{!r(8}|cE|qMNҥ}u͓ݕ?{iC{q1ܲ CװL lL].ZLň Q9n^f$&D{0Q+?G$dݑ9`*+Og̛NGU[Cx3bq]!A Zx.v&{X׷d[e ~;C#Z]00-f!$WF\0R SRRBl9chzO6KAZ]TP5%`;ANT˻bAvW%f?:'?.Iuh/Zd.ftADŽ׮='_+n3ޔwM NAĕ[gs/߲s1i ^9 omҳV_Abj2wIExW[N0h@{}^xDS4']:ϣu5ܒǩjBAu"}rn1 sm:q\ּPh~-r܎5!Ay^ݥ7XiMcK_փH WL%w΢& IӥuP*ztNHEXTE[<'‰%3ԧRwEx4{0\B-3W_)# Jd0_ Ou|KKJ+HFQYSf~<$ 2&'&D ؛=1 qf^h`q0"`wV޹[)[r~Z[*⇫ZBfjO9؆OY<Д1q,IT0Wc%tYm~Cw#MtEJ=!PV[& [C&in D+2vd3pW׸tTKxF7gҞ3t 1f$ !^ ˉ =LQl(Wu+v;aWlyGuNVf|k(hd">7sI`%Ȗo3hǢVq:YHR>6(8sxDOg,nl0De2v0,ýDƍx7N f&v| W*]I?G }K@q%Q?{X(s1$y E Ρ~+mxa@Tm¸"O[FErO1F5^?20NU<{b3Ռ:$X=^exUNobꢗFZcѣ+2V4e thhDžm6-, l @y&%E c]lT'Ϗˌ~ n,9)` 񏑷iDBu!%sL 5fE^PIM *QO3-+ګx|"DXزmӧAMC(YfǯrئVF 梆^'YFN:Yk;SXc޺fuAS;kRUN>](hc̲>leAEjtQ2_Mߝ8"{FRO|p#uݛ,`hgf0$j>uh͟+-ےŪ 8O:&I8 PV&yдn8 |,5@k!z^TN؟}GΙzv?koX*qk&&w^9"S4SF-na# {)g1K0rJ-h%4rW\U98l.?!9+eM d(88&)fVNJU{Q]]30-17y<]v#!oa_tǮ6+m e'aa!,[5=76$?Pw`ء'#MmdjNVp&niVm hPTBUb#+{l1_+8c wҤμRԨCLzږF)# (C lE?uevDŶuq7!n/X2/!*żȠb -p04kKx4U>eQ!^)Z%gAA;4us$fDS@bM?A+E\%l>f7ILy@FB~`_u^hc=B>r *Iä6HurB94GRKǠ  ``B--xT84Gl 5@j AW3ٷR b&<}޿ӘYLX׀Ԓ8lV)1x\8.WLJ¸O &{H&{5 ͧz@ߋdW_HQ ܏CVbAGax_Ѿ|<rṿ;BnNhUL@gMHYB\,v9 ހI~alvH _vEEV81eGYW*:m!kQ\]A[RfP1jh^9R?!7<=ٞR/y~,> r4ovmpur9Ȁ+rZ>'FWBUC|ۆlR R6|$P+Ozhxhp!+J&& ;80F Jo):qѢuXhxxdbUf_ $Y3G11k'd}'B ؜'rb'=5pFs;v|kA]~qd]iȖ'zGA\עQt BYȬQ6LBT&TmBBI˙c3xu0 eҤף E (g=~EՏ&tގ;4 }Eŏ*vo}ڼh62C3mGn2|-].,Xy6eѻcGPUNʘ1YG1 21)qsP[W1IZLz%!r ,y؊q#51miN2$6^ l 3MI)S|gi5 2ZI0)r:Iׄf>_#9cEdyJ~ &$(eZN[[@7"4q9*GpуdAB(} If ZTyhYeb!|LءpN',D7YP@뼘yR 88l,T_E&r:v=ZgU9\>e gW0~Ѱ"2 !!,AuĽ6N?\画'Q'C3dg|뀌7g7;#Re^ IH]{{&ŠiY#. l[ko{ޙtjS7YٟRBG B\g T"֣&4T<'~np>dS6yidDvs719G|iU'B%3-Khߑ&P~Q/]p}OF'#,6dl[$}QoOfri}gYZ h7c% 4SATSolverVerificationSATSolverVerification.SatSolverVerificationdocument.tex7zXZִF! {.]A-MՋhvG"uIBm5ȠZ$ \@3iVev}_Vy6l`7o;8Bk['mkifA-X !YW=h疟G^n-Xpu"}r\0O}}ܫf~s)5WTt8;P}!)TL܍K˔"B'W|#⋟,>]F֋vaGEz$Wn4RVE1 aM]^hseh1%^s稖`L&B}oG8$T<@ t3^im{Z퉙TԐ'R{C'F1dm(V0Lb, a~ {7Y% dSATSolverVerificationSATSolverVerification.ConflictAnalysisdocument.tex7zXZִF! l]A-MՋhvG"uIBm5TMo >q3Ѫ'1c _g[wb LwM)-EW'r€ 2J/yƲRUl{fA-ãc.$a^>"ck2Y=% ij.k%mr2όڕ~* (ҤP Xt'e <$I|{)bjI/yhza0 &dE6P߆\p+1IC?\~UE77%gUI&v]jw+wQ:pM\.%?>0ֲh MjfܭXFyҗ6a]-Ml<:Gׇǃ.B[dg8gtϮ>m9zz@Z\ hpZ34NΚr,OmrpZb-L吲_]&qH&c,yCfG{K~&U|O9Cdez_r { ]YfvcQ;҃)9ku:,[5x}7ĮqiװC/H9̀ewrDڢ)A.eVǚSA+ [+\#';I]? oL]pQRTJܾ+h>"Nr#P5:Q4tևhє [挢sЬ> $ڙ4#j$T?T"e6.GYܻ ,-`tZjLkBHB`&OOF$U#fqs#Y5BRѦT+!qo%XldYrckDzeI {YϠXxbBO^3-vy odìMU%J6ͭ-٨72/}GK}Ԧq$#Jr~*M0ʜU.\҂x`e#sQ-LV=%/&- ]`>ׯ,sWVo&E.SEVףC@ez1$dM0k|ǎe rt)Mݱ*e< x2˖ kp1;M9v I| JL^ sEEɹOߠޯ{7 ٳðŕ?ע$:{T(0*FͮsAS}*d|-EGQXVی2oh$*"kmXw؋1pIU'84 ۿwƑGP};Yaeq2Pl qwdf 9xFT(Qu*:7.=YoQe iG# yODebUۯ\f<B٬i#6GBQ峡 0<˛E^r]2>'^ȝfsq yPOuN8r{t~)\\z1 UOi Cr;v(xً<6t\,41K<O(+L &Ӿlʄk~O%*vPzږhYGиÓ漪(_p n:eeA!r+ n.4T@[~XuA.<&EPU)E ˚ A=7/}N5>Go$jUnxjB($7?!%~cLAB'm N6az9PUrz#nQ(g%3TL^Д3}NiRTO#8sTۇG: Mr< J5ɶ;;fZ`_K Z`ⓝ1rUhbpEq[9|&ԔLA~nRl&MW@ d IOLN8 VS f-[njir{Eհ"fp\+(XޥȲsZ(_LDX.O: .C7-RgjrgB_Я_̋+M3Cc!Wg##< ܆!:}B 447S% SATSolverVerificationSATSolverVerification.AssertLiteraldocument.tex7zXZִF! g]A-MՋhvG"uIBm5wۜ"x!u+sԁu,Bx@9 qꗩ}<\m^ Tr4qagY!eأ%>+v| t.^ ?| ͏Ҕ-ֽsܒMd,؇hyp\錪P=[i!Ay˳džs\zʓc$]Y`CԆ/Z}Sã{m&EXO4:ֵ,q￰#w#1@՜Vqw>^I-ħWR#fu?|-'hӫgs5dޢ_WoȜקƃN*s=+䬺Ƞ5B7wiͽj%b]ToI7ѳWrDz"pxJѩ(G=pNEƧCg,7>qQsnnzNrN t (ʥfȻʫAu zxN#ZWMƾleҀ{kB})olU|;Yp8.bZQ%x(&JiּGOM:?N K^e/󟹹 @4%|A/䑵@b\Eɚ410 )Py8AQ<I`5eGHJ|5s#\ (_*d#0:&AzB->ilXO><#y%Sc empVi^#!,Οŋ"\M4kg5,Hv[ZNSMΦl  lE鞍f{﭅±dqA/y #*yw;-O޳7g=jw!s!%Bf%$[ 羽vs^:Z'naWh":Nộ,M4GP5f #*ƪWu[=r|Nm.qoKV-s7F!rw7γﺦbz+\/@F;d*ta[ gf预4~aC^n=EGb^,Ko-~"Lg= ?F#8r;HT--0:GŽ"&(XP@Ķ A<+3~CCo#}S-nN12I$F_;nW6Qfݺ@#ڧ˄nuKg,wׁ4X.ԓSPL5> 9r!"i67Nt)$'G6UǤza5f=ͯ.iԼD ;Gʓ&V" Ji%J #OkIg3{"!sG9c= enCKe  ;+PMWQ}`G-1m ֥wf&K*QW/׀F] ~}/sQ?MGt&a/%ySqfb؆1ceCgo.Tv'GI"ҶQ>Ql1'J ءF$X5i»NOVo~pg:')'˼ o\(*$ Tt&h< s>"^ PAsZH 'BD!bH.Xvp)zj9!%yNr"o%nHHp, uD}9+S™S7j?L=ŀ@rb̖N?q(pϱ=p\iM{ Nb 7a>5!OAvoR 4JΖ"hzkت:;}ruu<3TJb@W2s|kYbaj* wwr,cr| MQo\vl$"UmHđpWv6G2c'_|ϴ=!&܊ a;B[;7E,J1܈ Dsm!õE}[..fUhptIJճ2xq y׀WiΐHU{Bk/*VC 4JM,NդbW^ߣPz3l[xacBOT+:G*$'`he-?l_S@I5+.Z$r_jj3ȱÊsfo^zwϗ.@Z~{6*uJkߊk `2!NcIxnG#u u$W[i^"}u x@^* xrK /0J4os 6opbO*x8,OgLLy^ɤKGkP=N.+?t h+&IRX>Wg''d|Y{fMڒ\CRٞ`/pu\o0z𔫝^--oW7!M276OX-u%IxG<(F';V*/{qJW/[HlƂdav#7m\8Zt+͓au/=<%xbREf.byK# uSWb}Z4/T5MVПt1AE ;Mj^٠V2WL+\/N A!鴿}o4W:7X= rH)]ФD.?}?*WBXlnQ?^ߘ?/͌q3` >Sw]lȭS:*{ bB)y2F&-+/Dr ΥXQ/.XP'G4 h^0~e ap7zvdž^&WTrO*l@ iTSdĸEE|NBxշL nԠjeu٣4sg_{)wt>쿺a%6;OX#c B*˲-^bk^ gֈ'(],U|j˿]qMz MdL9,ķP&@{"|2ckWd DI7bNy3Ǘ|Ⱦa턝yS:/9ϯ-ӌP@ĄIeI32 5kH5Kvı)eA<NS3S^9 =eW$ a|vkH('jMPMU3iZm>& v_M: MtQskiєۋ,|MO N#edʧ +aޭ4(ZS7&=2p4D^tR!ϗӽ!|V])3A2MY.B3Qk]kY› @h;%S;)fȷ[4C@,zl,ɚTMm%v Tc +1eE7mh]*#9@qlxwQ:hʨ" kA(BO:ʃ'Q:F^ed؃+KƬ}h(\:`ׅ%P Gxi`% nraʝ&dJտc- $P{W`:X&; Vi 3#yIEUF]ŔWjܜw 4=r0Ep׫8՚.pV[ōỉ9Q?S L3Ț͍z| $HhZSJF{OV_$遀x#s)|gv`c/.^ L9F-}T:%J7] 8&٭tXS&p5(%80$t" 䳮,wַ0SZiu{Bkf֚Jcbi̸a/si]gD[ӡ%# pM>7>_[-NZ/G_vwiR=ZSbsMU';*{Abz|7KqǘD0ݵYwQ5'beO{6탵.`8`O h|& _ tpGwNYXV'SOY9b~),=%麖N5UZ-?VJaXY+K5'Ol'5sh1:$L IyDGG{hn5l1d]մ[8x@^-~v#u'I=缕?pi{b@z#$ANYuI Gw`|4].G7Oa=̬X4}E0ٖ `pAYeK,~Xc/vWj"Q WwjpEfun`E$5l=)Wc}&M9YP)dv%rx$Nx89Y%@4!n`>㍝KFOQ]\1 RU+#,݃-|ۓ:|S95yP;5Mْ8yRImL<l'p5ay,Uٟ7S|{bŖ7q|u-1`7N%PIlwL VPjY@1)GІsNyrKXYngU#H6 8` V!YT"ܯƒLL,3L+ 7Y;BC_JUG녧RQ̊@F7A*ϔ0?IBH*zubHp2 raj/ykSXbeTb8Z0A$XCVd6>խsr.e џ)pW mB)zv"Zfm)Ɂ kBÇ9>$o/2hUCd[@2qL~+;qwx_=Y+냴iQaMD}G>h &,;g& '348,zg m܈aAǏ`dk]%iV=I=dJ6.3h Nud[(6WKN./;zB9t! '3K04TF<9یU|$em'b %F_*ylJI*Qhc?+a=j>SKtAQs4leI3ɻU=W蟜[sKo4?k9oZPFf=ZYΆժzFʰ҄VňAxն'~D{eTij LVC)@ ޴ۯ %/7(U Q3Hl3oCy"a5XAR%]n9RUR;P`# r\/CLze̳9M״E4Wr _D;%&K,eɊ~Z%fR ;k\9b?۴7@&<BOYE%wJ8!)3]qV `f8 ,Ų/<^@1>=H_43'ttRwqH.$'"Š{dvv~NP ˅!;3A`MXON@kX"NJf|bMn:h{Fm]è|\77.5%YE_[؊,Ve# inްߋ3,+^74txtHĸ[&~8^,C<3Nr{e6y"Dy g ˚C nʸb;C+4=2tq2 )!a0>/)=)QS@A!gؓAi>ş_#ﮔyHqCS^yRun*Pw&s?&)."q.];ML]o H!,N2S#7ԾIVT[z[mҵ K滾@ylF1+Ezy{kZ~1m9Pp{HyX)^_έm)ctnx^7.d)TbľϾ@WCgBm\C^ i6g0r˟AB_HqU(:,NgثSbjhK9۞- w}qp{S5' U_ƍľAj J|y[]Lߌ~Iȹ9E+_s $y#2ۤuUT^RLΏp+g*/ssU2M\~,cDv.W2aCZr)&(TjYS v'۳B{땿475ڋT%F c! e5l14M蔏7x6}@\q ercq1Z]l[<؂ʫڟ4I]85 )kXÙsRT."4fj`͹+ƒC)!y-BFK?3cf/a/NXЯ?Q 1@N !yBPD&oU<_hڧ <1|vǘjNҸz_JX&]9KIJEG.n hr,١ E(NΪi;KH`b̤6fJ/aVR0qNH3)SsNs0풔}ô[@dx<E`<~IสD%<@dQr#U`'ʓ 8Z(_i,u P&)U`F)s+%؇NzeGQGM:5COsL*ngbHHٌH3*{\5;wBw!;fo lx=!pw>r wDmߩEkHo0ELzTЌKT-0+vQmbK.6\˲l;*~u*Dgx{mkbc*DXUufu5_8 9d yMgCH6嚵lIb~6X(͊4A->T_c3,!)*9#,FBb󍎈N$`(Fq0tL-h:.-kҡR_6{NH~3-3 0&icʀ A)'s)@J\tUt*ZRxk@dɒW(u*x)haiaX 2vْ=PFpM!6TV+/I@oYW )ٕjq]mQBwiw%@ASwgXNN'RlC^?j;'(+ R!)I=MC/{=z;)+,TI-<S㪂"/'; {ȓEܠN_;uŃ!֤hi?M&XTs7G?`DNhd*Œw`$mdx19*M]2F݈</dKUYћvR/JzO#ns(':] kF _R )Bo1t?N'5NH4`dNFbkHn\Rc Zke"!J #d_`ak0@n ز5lnf)WU !wCْsx7h޶+ߖviJ#,j*/NZ(%J{1QUX -& rUvʤ&("P`쥟:Ѕ+KQJʤH{샃ຨM#[]LK0/sBύ#HLaųdCӪ1|C,KpC21PrN~CU$#]K t^2Vn23V=Zhi$!}*zD*}j^|;>+@HכGoB{6ߊ}R\~x]GXQ Tqh|~lQh~ YԖ6OP5GγCUh};sϟ9E l8D=as[.,0Dt6 E/>3W~ss>ISY4 AL Őuim(Be9ZM1.XMACp4s SjJ^[kK8UqwW18Bг&&-b&RUpAe Gh *FK%VLDZn_Z=6Mn=J#5 }_)21)ϡ7| 9`h&H(NNm>ÿ! q/M0E&7*|f(掤`W/iE )e-E` #Xtfߺ0׸4qF!@bs ܭ'@ež7Lųh`2" q/mp ÚbH/  ݬ."L'cRa IԯWiHRh-~H,i\Q]J7. cyGՓ`SLJVg%4Oo^#c~ye2:eQXuzد$44<kYΗ-8os <W&@8@iFrX,yxŏ0mjlx'yF5 >cQb#M kϛr5> ]wn$r`Y'k%'4>0 {W>Oyy%'*!\(+hD7wqnҴ'Ei+r&Ƒq* \Ho##VI\5f R.8(-b' m7I (}Ctt#T3mkd.2JU66Jn\ ͼ$~y=_1ϴ 'lBBpA|^D]z[F [ a T+Yx؀ϲSuV̂,bSL<}ۄ{Q7LJ 6Qe(U&Dpef !aר}e.)SvMы*-4uQ ݪr`9m@Fe Mt"N7 h8P./Áz7fkaSvrK>J27^RQ'&z)kFBݹ;$b}U>;,x v>W"pv~s zXOYb*{r^Q7tAϲ{A#,žgX8ѬȀ*rEydrQ82yאZ=Z.lTF /m`IKPhwbl<9q+1qe{Afb􅰃D(-/bstgCHNӺ7yQ~1 3̡=(%1Hw_>o9:C[iG=| xә(ڧŵíTdߪN;Vzu[HтU&hEFlXa7lNg,yt4"la?K2Qcx$56$Zz&jYQXΠ^GJ;?ܕf%␚, KВ\ ruhRJ&gh~]0}4+i67)6rᑹgL 191*-3ESl"Z`2>epWB÷A-0L#0CEQK:\@ED#znOjGc<}EI,(o44tomMZ S+H ̘`jιe|Մl 2:}s %-ܢHu,!~wup*)Y{ Lc⬍ t 4f0s)f(0Qrkxwƃ"N~rWzZЌaHԌdZ,?9`g1S_?14fQ{+v~-%${L@[9peAӔnZ)tn*Т8ÐyZە۸W7 L I#mXk56+!7w[9na&Lӳ&yϡ\X~t`1"44a,ؘ@0{LCZі?\hܘ(,f̩ElC3h~T/ /]ajf1YpR$)\2y7 vD6F'c "dVPM${zIBBBHib:4I^Ψ F09.YP[GI## :'ϵ~f WuQ#3Px_|EH#94'~F%Ķf/Njr~S_OZwn[I{lŔl~S )REz3QhDs 7@F9ºĄSp 5(ض1R!.hᥞB.K%1]`!gds>uHM*cyQ6|ClW6{߻9[4+怰KXU}f*b4W ?/K,x{vp(usoo_G_$42qd5-,0s4#OYD`]{etHPy(F=`)S# CUٔT}xf5!15}Dݻr<̓8/;4r-urbM ,_ wXUN3]/|h f]ʭtXB?$)[ÑbC?b@&圠 Zig~-_ u,_˗O0ݷ"Va! tc(3XA uNӜbq*ִ&ۗ^>2qekezZ}_:B7M ~\D'KHDh# 0kNC3%Gsܵ68Hm\KE6 S1'֓¤9c?bxĜF2] ?$oX8NF, Ga.G}IGE=k_T B-!` Y\vTޤ&z8fzD<] F6B wM:p8(%,`Z)'FVn洴w˩`W5HKvsX,CүL%_!WFd;Hڷ=~E9`K"$PA7QbJ8qJP*^e|mt7|j<;yh>/Ne ]dowCP՜0֪!QZL}'[S:Ly΂7>B24 8ӌ ۄ]L e+Yɺ&I|1/sD7QR9އ%ԍ]ubҋSOSEhgҀe9oj |6mʣhO#e`4֚|o?=x9$#R ,V$i7]#/ j5s_5X٭` PIBљ/MsLzz q/]f1#|h/d_:&H[{YzKpNX^/UV; 8 [&4r[`}-Dj0{ jO98mVֵ1:@:TRh~Ӵ#E_!E؄ 5^Iq&1!7\B稴0Dw؇n-&,  }K P%?Sʼ>w2c=V_<.x~iwl[S5*oBYK} {\71k_@zog1ue`yԏ5fӐs VmɞMlCS٣1eo*H'ŌZ:, Id+4aX_hJruWC]<V*ár{زQ)v䷩~HS33 8(4] ]cK+iDd¼jqޓb_1͒&]a %jSs8#bsfJaz$]B)9qr0IッB= q@3;Vam^JWKM\my5lI$?5bOx}>I& U ' T;o[Ò ([5-LNQ.<_/:⊜\hC'4Q,|y"pwYx._ѣ\,.eO$#Y{Y0O<Б)_Qet`xXݘ%Qg'r#q^oC} (i*?/.SYcGl%`AH?1+tw̢0Ê3&:oDKg5ޞ)4.mAC~?h×SX;P|?E䎂[T]ԃf]Eן\5 smRr{%&dR[ OaX>^6]Dw]NeV&"׏lE%XqCu;Hof-7k(Y-Q a#8'ngmaEA܂ǚmYǠboޫ2?5ȫfZϑt0GJ6SVDm2a[,)R4-@t5>t&BO2 m | hpj!ۚ ȏ^$=՞*-,( h#[0sI\Rq`p*aAeo-G˼=Y Nd,(Ynv'y给Ⱦ/Jԋu rO u3[tNl]ַ=\H uչ7 0> r'utI;֜I2RigK ré<:8ύrr,I- k9A=l!*+>\Xnjc؏ŠOI<~4] ;"5"ǔU(yȭL<+AUS\ןUI$EaA0`hjw] !W%ІJhG4ҧ2m/r5q$z;yoV1t*ZILXl 1>b c?*<6+l`l#w5;&pJ{^zV̸U`ަ,W\"%^ќKQ"ks M-_ښh#N;~d`MHQ=gLm9ˆ^d;Sc9w\b_S[*8Ag6X~]u^[h>h M^a-3.9MZ83.EL]G[o!aOX./6KH/K\_gQ^;YK xhaqCFcu#C&nV:-.Gm4T}QA 7y8#شN8ZԚp9]r0) 6VzX[Y _㷁'FՉJm /WZ2dRjDW1=s85A2%ာI:i_P#r 0H'V=|zҥ |v9JPuF܈ڋh@<‰1dJ+۾p,B>a̠vp'Y2X~-@ik-9a i8W >>?Fwxjqax^{jVpITyT |hObt!{L66){a`RsUqF'!{yJU@?z~2G)%1IgpU_sT83[[YX^'>2oRG? (WTUy\!%X:*F#taPSk͎Y)oes,?i5~mgT`d*Sxe5dAQD# yCI#6?ƧdVփR6\@`($]OKW,LːoXiV5t, x~JCh/9-AfA$ ɈtnuvGi"ewltQ0ZԜ#eG ??LxrbH,YC̽8ir«Dx5Dٖy˯aB4FJ42o|šOɲ zog;^'c*&^|=OOi9?xm DAA\LJ$mSXpL)L*ƞgp8dإ'^8ú˦X „&}h QKXs,J$rZ׼ xo- ǩ0'!~"_TnH}`FY'G!u=jpǀ>xbI&5w OFV .q ^bVrT?}Xej"լxfiaz+?M pX7b~Sv(@eͷ0/qmKf7n92rjP+Sc7j]MiҎ;: ׎CmEְR/ ZRL&2whI~P<Bz+'[s_ǿcUNY> }V6ĠyMͺ %53ŝ1}qCgzu |l1Z8S j ڑG4g|z\oH#jo]͖0o>L-v"[%4'Y+恆e7%MaV)%܏[^gA# @WkOQh5^ (9E?M7fzq?o$wV`` fF veH\<{ 'P 2_Q9nT~]飄%K٪!8Mbֿzȱ3uM001 %#8/ڠUPLxDBԪZaUn +hEP#3C-O9L&l%h_ "; ,lU* 1'+Ȋ)F{9.hz͛d%2c@NـA@^NDgfrTq).+EQ@ X3 ozokžԧ:8Ւ,P#ygj@0Ԫی>Zg+d#\kZ(@9oK]H ?7%Ff dM!E?IvK.u07fz ൎos.霕w$˚:nfqT*S^NAku:!uKHِpxKS؏}P~NYl(P91N"<0Fb؀ϣ~dV5p=l{#0傘n`$mh㨖񮰼]YߴgrX~`Z7T^CCeXv*iJNQ}{ Ӧw ;"ҍ{U }9X TXR $&0ГNr箆WYOtD4CX.yRq4EM޾-|A ؓg& {VJ]O)K8>n :Z Rx Z{ؑ 'ɢ"R .'(zclGx_bxFU%wU%5 mw| ̡%C ҰK} D[qzEZpe_ȣs%S)0iֳ`9ԾųY[T/k=[E.τ|h-![)շb$}#jxTɌ7@H⣟rx'lvHNF4b8_Уj++A6JXL^3`!UMC0{`0D~ $rŗm ޔQD3|y[Yѝ6VxjRϬlҽnqن%T> Ŀ\wԳz5=AܗuvQVCŖ,G5@'^RvQ3ѡʥҿUɶNuu&@am»="F(?L`q{W(ZlFAFaֹ5/kޑOQl}C;<$)i>]!KYPx-@P|4+y5m"n8b}|؋tVtqid{3B%O0 2TJE'nۂ: ^}[_6`I<_ijPZӤ ذr+M"gɳǎ4^ $bLɋ1a-!' a lGh _H1MzHX*9wi+b5[$Ȧ9KRYKMKZbziZAhʟƒo٣ \Z'F`҄%z\X`sRkf{٭cim!v ts?,W))T7{_MCs|b%` CcbH}AYrhAMA:\$0U orUE,lGۅ~ۉU0ϙP\!&?| >5 ePP{!҇tCzVJN_O&9ABOÒwPe%FeMr⡾"r4pXhl6b!%N[&.!-FM z. 7#{Я6b+x՞b0ds҆}S_}O YbXFb/gm?n~$(?HsH_CuKj_uS$?5Tʔr&5,0P4}/JNRgJMc/+PNƚ+}#iDksnGWcr'̸ݷPu1yG{9 t 0O B=2͎bҩq)W4KSq*iɳlߊ0f E~@ A =eȃmɑ7@@>9hџ8QMC0CՁrv ϳAq+EVoDR3],ug (_m)nlЄg)١=W3Ą$D?ٌ94nւˉ9CqdDGi)ȓu+-PBsi?^fcs'^W?.vĊiV)-D} TK4&m{jr>x~eePZ˖ѳZL=R@"Go\M75NѦQ K̇{ PTr*}vvvm[cEVUG:2}L x0B=,"\4?kÆxB&Sѣb>{lʦIéΑH_):n G"jNm(&x,Iqv"ÛnxSifds.Xbՙ(W6}!γ,19^QRSqQf`s=ޏ!}|gPG_7 l}@d; FF䤠czѨt:QOfK8Rr[pDY>5u'@mp] mp6^Jz;vɹj9)3 A֚L=u9Y |>zAT[JƼB>jeQ}1Orc^މ3^TeDena.t9}8P٫] yR;KX,$IIY@^]hiתne`f 3)`Fqaw-KtYJ . R޺ WI2 =a v#]By2LEĶ/7}gϡԁViAʚQOhsoRN_mp(Ɩ-Tt]/"m@Mmh_R%LemfO@l<_M^HS)!Fbj~hC342YDH!Z~(qn9Q1~_rzẌ́벟v;i[>ZתG^0n,9}_OALFnn/|u,JZ D^#Ḑ,zQn=U}kW{ l4m]#S+&p͟ns,pw#E:/G0`*~0m=nuƅ ➕jJ3rZP[c_ʋy\s&og+-޳TU5n`(V ӔnA1 .J|C vݸ2R[~ٚ8b R*g #e!7?)N'gw"|1E~櫱/~!QZOvR ]D: m52Tz8"_wܰz|ZLZ҇ :# B96VU(5NHnnb7%+A`rx?v(7NSH}~J~ huC+l!&l74 OkbQnҳDt J#?^q[&hE.W_;VcV9AL[`hCsjXVLܱH V|+u-u$[!QD j L998hX6\UiuBNtAtB a46]*+3'/LZ+܄_`w`! #;v\6ԹPEY69)֑w:s] @lE[ ^=IpG]؊ r~3'2 dkw/1yWdv]q +p!Jtmybu= ?}Y-g,*X7C"5Xr_ 0y Sz-w`٭q>ŗu j?B?:[(([NfQdhL]Or"X6.6!#*LcNҐrވY Q-P? n]ڝ C/ ]^64ݦn$ UFXE]6-_Pn|mMs5)g4wLq݈(=-OMB$4ךGT8Go6(䇻Fa+ؗ~ DA))#hh C[ uIЯ0v5[UX+ hx=&"W |'`sNCUjgٷs?ކ*;h9i[_2{6Ġ!b~8<Q}EiX:Jx6Z&fVnk| {;{:$$ oGH5a.@VU1ipta@`gхbYґV;<'r9?1/}o(r8^pG/(Dcϔ2X)UA61M݂ ]gFn(( Iљ`eOOӫ5<}F(;J'EI޹Q@ =X,# x_CLK0Y [=3f}aysˆӬI0m1P[l<(;`;, &ZFN֋P/=DDsB58aiy=K֗RBSM4);lgЎ.c^#2wjp)DגuZ񤸰muuF.x ZTozK۹:rb&m[Xu YO >Lk]I&L hds "eIۦ]0,lC6ϼQ?mtaE:dqp]BQQ#v՚lmOVڙ5/laY¾6 .́_ 4+8|$,@?E;ASZ4l|\PT3b-PƸ!tfT^㲑NN_OYje).C1¶?@ a2N6ܰ:>+R_s_5Ͻ z+ؠׇn{Uc]_fby~r/sQrRιOT3Ʈd$3?H?jp@e# T݆_6 FArl) Hg]-4=9ލ, >DtH\UnDӅϝeGoɑ"ά)"#rhZytR BYSκaq"2p?h|]^ C Do!c:~K":q4!JMBGZ{DVk~%bHʄki+|+':^[)Y;cܸ"-A: :h(DGsx?K&pB,\^'dQ8:_daܝ 3˯b'φ*5R;46bƀa*^X|'>ཛ~zT8 6cDCW: B0.C`>}jD `š,H-u$ncZ!5 kf~J}$܂J=Fal~~X5DKדcS L^ގ $, q ivU_tϒM%YF9XD/(80=8ٕM6߃ND&-/[o\8`&mhQz#oHo1πْwTS1ԁCRvy+u. 0 ҄ ,2N0G(πP>C{GHGJ&/juj 0/50o ?tY{` VYǺS \wXMm!c̆rg®><!"GpTИ""LNHVfD%X׸zk\µMP,i_;Vn=pngqjzYV' i:Pm_;a>I&(ȥ%=O"͌Y('G&5HP7ͳ{ݺv,1P;y L,˵ddy7RkQ^7 i9nI.g)oƈZ ɅoavjktQ۶Uol6*V3fq<%+Z\ݕ/^ mVp#!|n"w[)Rc6 ]=OpGKҎd!=P{1{.3X0H3ogTA4";́@UMޭs,-Dz]蟧FeNfE~'GchsZ8\eOER,_/FGS5 H73HGiFQ te7n8@l`W:/}$MrI H?n/J]6#bx?p9D(4NA%#Y5 3$=}#Ewz>3LmR[tɧ'/CG!KA5cF]|y~Ī KQڥui8u4鉚WGͩŜImCmQ(A!ٙ 6nrA'MDww5\|S%v_f7S.ؤm~$cyAuÛLFyN>(#`CfZ4͉K^°҄Re v3KWbt 2KJ?g^|)gc!\ݨ&Y5IڼwSC?^.ke %f|sa{0|by>ܤp/g[hd#IΈSU$zTA/i>'Ki=MS<+O,5s$P8\"VXO*䮠e0Qr qU»e D "ϫbzLF;,C0F jvj"erΤWjk{) D?Nxt}IHD"$¼M9NC#եDV$GuPfi҃>,ZufdKmD">jFVJz ɂV|* 5l '6~Ur #o2/ۺ?*n+|f|2̳qp$/IΠS!Z`.{ %`\^l9ToُL*"kH]m ]#ixp@V? pjfCT&Ɠv"s7` Sߓhdk+HäC uY{p|Kre#< 5}:ĝ[S F0G3ksI;U~m0L>ѕQkza'!@3۪b箺('#KV(Vȴv&1aHC`bƩѱ-p!tu0ZGTLŔ~%؀xgrV&D:t?.z KyD@N EXc%g] kQ})oz#Cyb*RYL|ĥm%&8*$٦qn]>_' V8sVc H>iUMF+ >b`y-8UL)@>FBZq ڈCgzTI*٢ʣKhHz]q0:HC' ̭Ãjƽnҷ O w/hfq"[+-У|mLҘ; u|Ɉ޳_ǒ]KxI'/{hH*LЛKF me!R}V,M6 {I'bb0|&ynQڭ7}ΝLE/&M~5$Z֯C'HR[WuŤka&+ %+zU˛IlrR*#C2mK~&T 4 qgT E4E2 cV'm1hjNX >cY{U惡ЭȞ@][ay1`\eece۠a2":{04\0N>"Fj5!9wP)y4B4b^(ol]bmhc*?kN?,~rˮļX`G6+yL[.eBxX] }c~Ex`Q5 =!?3xBA6F&Cg&ޫd쎤ٯ0:{_v79\1:-&1EӱShZ`9KSS< KO#N)C$#TT,>k3̆uVAx5&V0lq$f% E܊5)΀<3ٿH>>x~~FM/z/#\ ơmmAjd _d'hc cy + VDW-uL VK T6{^CML35l~ʞ [VU'@sb͡ X zQ~Di-{ۆۙRg_@O?5skc*8*Y Q 3; KorZM`SDֳ?f#iB]Jٳ0{J^](m1dE=+j(5ggDNbZ2h5;[0jH.;M~iM3FwLJόJ~9"/\i{و%RL`_i\@v"j$Tal>ƕf/"ҍI1QPB iuӧ__̓ω_;L83WZvWtAM,Ɵq՛kA6A-3pHҨUD\Q$sq~&|K"J,\VD͂AZ]f_f6^A'Jy[60P%[Y;2ܨ(i`8IN,jZL~Y'9ꇂrGuZzL.4y-r|l'RW1$CM49΀E dp:FY ljW vP@-Smx<4-[; zg5!%+gA+ڶ% V}fja zG /0C;:㲵V4H}⼼|4P^%1׉>!q)5lc6 'Hqx?0'nZIƑd?ĐхN-J_fO3G">~F>~񱓹{?(恖b<=A]GEhaEJ+Tv7P<]dcro儻钸'KqO PnQl8B;=@si߲2wjyt(D:YB^8PVQcF?G ;=/\@ā=F^'~ϐEu_BM5 qU, H:.I? iz g_؟d>^Pg-̗7DVA{_ (xǴM"N1jZ>6˚ e4[F<]2cFҙͧ;Pt.^(S-=se ,|u Y m>0,M J?96${6<)q:~x>|B mVٸDgY/Hxӷ }!~у%zgYZ   =7M% tSATSolverVerificationSATSolverVerification.KrsticGoeldocument.tex7zXZִF! 噄O]A-MՋhvG"uIBm5^c}}(rʮ)An/_k"zsfpuv_xfm^kqü1l/ᬀmOyA_l{AIv,~|F\1T**-M87b8N .}Y5@nֵFfMai :įQOu; AB9%$,P-4c١ՈjYzz;|dZglp "A*-\4~p|l4TA䮑l꽡a>W}nWhQXUZyP{E8U%7Rm! ξ[mZ.C֨do, 7?% SATSolverVerificationSATSolverVerification.CNFdocument.tex7zXZִF! o]A-MՋhvG"uIBm5k3–8i٢.^aΙCP/J>x¿K3Jh( ߂"de^M` bpP$-%^3>wdQU{`Z"yfzOd)k HJD6p"8[߅zu\,v eQVMЋ/35,[gj=P_5y&ubQ9Lhy1MF}fg "5眼c^m>UzI#0K( iZJ?uE"gQ!k$#`1݊qԭ">Ul@(ꑓlzUg`uí2: 3h%T PuP]5=Aߎ}.$]jkxigFuխ1Tݩ29zxp%+Uf'a^͋5(?^l645Tl ^z&CֿuC/H3Crm8n'FV[^e.??iF:1爒t,  _Ct1䒎zZy>񚽕b3Mf{+_qyV.Tm7<8)4y+MY}Cw(k7l4â`9fuGT7ي7?j,ì&30!XxO"ESo ;\kBe9cн֩rG~o.7\d=fSnRͮeivE؀MVH&a]N@#>H^1*xGGBʬr0fr | `N?4P0s0VP%>=&W KB k<oң Jpwc+|&"Ì ׍!sdz)gMA] Ɏ&7FM< 1%ouz.?l2 `}?VݷB[_Q@7>,l 4O8Vt8 )'tD#M{ca҉),i,#BsU#_!mIJm8\_U$ e@Bv ޅsAHMshʪY -VO J]!㒞*pǼ-;0sDw:[CLiCn^!&jBЋWʈ5PXgr !* 5D xB~[(NsI{f)Yč?H <&ZCTr02ڥ ?&7,9Ҵ/}ĹKm77n۽^vsiR483$[KbKOUzgԝLq[cQW2Pnu1aa:CTʮ*Hr.#DҭógƜi/z#.QUA= RZ>^-FWӶ]}KE2p( `1y?ߜ g߰x]<`5DR) p5K<yl}OVAz˞p^҈=tmh3lծUT;~~iɢ޹HĄ3:X&Ù0;ڤ{ :M"(%6/B*"`%>1t0\F@-WE5<i”0? ߵP3)q]Tr~e TQ-vf33%p?5e? q8@mzsiEjd5e5.FQZfYRȇDKǸ.j ^^,>4uwL[ZA:f/aպ֧ˬV0ϗo `;7 υM#@\XIo+P,\Ye݄Fv8;t#85m0 ' ,r B_Br|g̶ׇpdK/9cx\i-uY6me259Pywhi.6ic}Kc3-z6O%v23 P/b{@yg?\>RvD\g.upL]RtMŝJ .a%02)6ɍn- ̅HN\>Ӷ1PĭKV<5[s P۽AS;,VD8ݗ(c-_i4:n|pShD\RPУ{ c>)/8gK[1[( VB!(Q|8CwD 1EȩXYfTB"omA#z.,FcFhq]5R<NQQJ1A1f̍Cj45kf⚃θֿLJ<xT, 2 I\}@źO;]9qYtOV\l9|ԭ_Eq/, t)H(?GR)dDH8cZ(gÊ';sL`w[<0RAP%,|a{S-G8DpgձAzCs-@o{닔}@%w~]y&kUGױ@SWμK[u.Fxц&Y7ȫtRD*w1}>7xV$D"cc0zKdX"V3o{ H\,<Ɯ !/(/.̖Bc u#g>Q6a·ܶR;[)ISKBpbP*@Oo^9)O>2VE2cЬ:ᓖӹ2f-9$ȧ5HeH+.zFq[Aϵ 5[װewm~dTEִK { eD)^-џ 8к/r"%ˇp9ۭ\Q=A6oUOs [ܳ<>mMl?,TqO )a{-D;V6ݷj(\s3Lb3+"Vqotc,t7|LA 7CE@}F",IC:^H8?=G.Dq /hǛ>7鉼.ۡe |`W[HOI}}Oڰ`j)f 0pjӾ,AhʫUNQSДKe셹 _lׯVVƠYZ=ݬEhax/}A"ʄ2tJ8f NJcQ+I83,{+)J۔WZ=u9dt'jzɐTnzMmHB{ 42?GO| '|J)a>3gdT뎕>wtA"gM<޸}m~Njx|Ƙ *:BA.:a෇V,( smtkRm.,231YQkrޭhlyW:802G(QB?>Ͻzw>͇SrA1{Zﲠ1q8۠ >G) &㞪g# MYn;<'A3o.- F N/~cI6ddԇ[IjhQzwݔYl~$,_#c,~ٲPg-%J-E۴/sgχM@>. zB0P zv[Qnxv[* '-!Evخf 1)8H|M;*"S-'^dT@]g)Ơʳiz,b~*nÔP%2#܁r5 C4V-w$uE-aT7Nk8"hi"ĊiOkϔ냥I%EK;>m4D~UUh5~*a{9)[/{K hdUL_2:BoL#kk؟C!+7p0S) oNuVgiTHdy i\ 촻{wL7PiJ@;{X/ף[P>X\k2z5^)4fky"$uv]B5zU:eO(og!pSC(ԌnCϥ+&9j|,+@ؽ@BSc/XӁYG?lj`M=Lr)9bmAgNTCÈft Ǝڇi|"=̡ϏɊ@vg|RRW%0g1 =~Gڀ1E>ɢ A=~SC{Lts qNcW[oeײmË9g&x?.~\cP2N\]ȓr)17/żL"b t&sנ`̋c 9|N@eQD:k:JZKY>[#ىәKDȄ+@4J`J|Uc?׃'R-7p\҅r]A`KZkgԨB/q̽fY Z+H )u=TSkKp˺.(n⤎ $wbF0~5:#o c6FTž6,=3y)(⧋'c:Ul!\cd|QĹm-ȴ ZRf Qa.ZCL=?dN謋[T$DtLP2ɝP$#q#FťD/j702Lz7˹(B[I?Qo5e<8P*#$,0>^b>~zcJzE2R!Hh&ir*3C6pۦikV$T!9i<hj,pW _|t<}kZz}O:a `YV^fNhW,L.2rAjPAck;b%j-2w* x[qVz7.W,72z5d|ʦFbH'*m5sUg9ܯ?;GՖznU=yլ9\ 6!h=u:]{cK^F>`/b7eV&LM eFYI>}miۼNd\3juñW{P & 8K7͠ă$+Q//Nхr6-Z!vs [sZ3֟}Wx9Up8~D> Q%r zz\Q䩖6ex3:?sFT.l-CPP7sҏˁ&wФy$~CG'(^.WܺI ''_]L(K}cuqB;Qc#\q_`ѸL:tBԀ a5WO;rԋvt{U vA/n<ggN+KSl/ (B ӇhR}=-IX9ڌq$:w潔a ]A4N3أ<%uk8,x+%CT%Jt)|fejE/\cQk\9,]Z$_K(2a@2 [dQ9<jX1= Vպ5B< ;˔ }JxyW0EE漕!,|(θ;U9{J}qQ IX 3_*, &oU\/pK2!LiM.dt~<4~r=ED`ɬWz>KDzF"Xзv02֬ň[ϵ'֔^cbBm#'q? .BDky^&3Fϯ`!1' t۪5g >|rAyr@?LyzCRjV X%hض+nja@KL[i+u~~6C#. "zJcAOu,-Q L.TGRO g}bgʳMXłAX 3B{1SsOxw_D7]Z!nh햆k[ &}5P6^)X"[P\'-`٣UMs~ noڛ*SCS7=Bq귩4 j?|5ډ^L4#orPVOfԨOL-)Z5nVhYE?bN.fsb. >J M8 ɤ麨@E՚}9w ޏ/F"},UynJ1oRM.4 Ƴo.}K8?Ml/SD6`S H9\#U<#4{(B1ISE`uuu7'F -x 9t™.wMB: Ay')\ܠS#yNt"h_ʍ[ _S[7+Z)Ҩxdv&TF,${L}A1΄Zc atp)WETړg6 ,;mis=d @x\OKK _ERb5s$b1Nn/RLH_NV׈%A X@]0E{9 \qOP:E9Mj )EPU`Jzd/1qhOA tGIF))ˊ@/IJcHZz/=@@FU,D\V1ڍL.c >SlAn#B@Ε-{"Gcul!!.%㓭U'XV톭gT!Ȯcp)Tsц'PP ?r(SÆ0n!dk;L@bA>)GC17bX=`y0peQ_)M~N>.W P U3G@*pƄkdíAVCMy&iٽj+TU;'1"ߐ7aܒ`4qr:e׭d"\o m%+乫\MK}<8X.XxE%x:}֯.JkνV$$3;)9߆(TԐ)ȞZo J.@>?+kdƹPE=?YUs3|Oc$:e~Vb!scY' E3`Nj49'OS˩:L: `hjQx|\|,v܆0XCt\ZF<w7 ţV%(0=&g % ,Ccy7$>&wʀ8X(-4.Lzyb3&jp[&6S,G,%FiA(^դTV0?.op !5d=@LvܑO"[?hVfяڬfGѝ XRN@,r]10IEVӹ"$j÷a*{cq !P8qfA3Ʋe zwᗒ ehUI!oVAgNfp()MU؎X}XE)2bAO 'z8 z,&0 ~-C CW1/a z! 5m#;э<ۙ=?O&ea "]K AxYCϔ#ù0\̆3W̬yWɭG@rMϏ,*gka j#p[~`To|l"{\Gw-]]XK?X ^ƎBQz_c P Sn R+·1v'ǽ[X4&vunyNd+ xPW7"+h)if2àܿ> uSx1]<Ѧ'G}OR7](-j/P*?}>Yp}`ǩZQQGBoR{Mb'BmPtLz0غ?#wXBTf-p}ό|Gە)nÜQx< }'xHkhAց1"+LE=p Yf*̣(\f2uf689I9`G_ȋE \}ƌi9ƒHٴzTU$W~ߎsW߯~Gfƒ/ܴ~vjmw^6 {Y(x$ˎUJc밹2Yj[=1T$[^&L%|] k}밳W0w0y^#Tߥ\Aj`kS[NU^g$H7zaĬ ~ЍF墍iiZ u>>p &Xg%p]YO%#5Q[r,d&3"`Zt`e~phqF!CM_%@7$?FB2Ou}(+ 8No`xVZ!;Jn4=K(MW q4.]̃x9Fj1{7)p4>S^ sތEIC SDkq,7cx0?'Op.~7 G;G<蚊.ǃ`%k8";w8k沤.cm]oJROCkfCh:$s"IӹҝwYSZ^^?Yt!Yk<rhhy܂y)ZŲ!7,~C'B):mHx1ST>G95[E@1LMY{ͺT2(X|{ml9ݼ^=)yi6=gRB5BR>( ^>C[2ޡ6vn"14Ed߳j9Wku*16%XNEnj'2%<2 ksm9,ڧNC-s)t%嚾C㱫 fޜ0qy )U:: xWCbN*X/:{$p1),(4nՓJtCh 4}+ʽc<4sEEbLeQR3_ק2e7G6-YRp9c9|^`܃',sJ䫷za.FJL(w p;li 6d7t;K1 F|mH-)s[u=N .5>x}+ O O+7C̿3%q~N 5)xXɢ9kى'[J:a `6VZa[,khe0-!V?xӞ 1ڴyqfvmUy4g90A7xOc1R̺7\@Z1<;wmp!)_IۏFr$M3ڇsJ-3‘קU۴~T\bz{u刹Pϔ /zD|y5&a2]Lqr0ْw={ !9>ėNL ܺ9FIۻ[]vOu{џv` a"'@LٽnA#2뱜^L˵d$Guީ{f4wѹbm:*l (~'_g ;|XkܛQ#@f'TDRl)ax4:O3h#bN+g3 #qyӠWun"\/n6}wnZH @WhHN(svdx V?G^fD΁qyT1D- v%.Ă4*0c۲U/ȅr{=yç`DgrVSdF7L#Lr y7(?z6kc3mF4n=QM-^i_A%?M}VF}*pDU֑Hmƙ y(||" L=!zKf$O:S˝ <ȧ4y]*J`<"(FzfV7 B_b 7dbXTS{,Eⰿ,[!h}ˡQ ۠E.y¤ኯܕcHyb0p• ߰LN6o·#Ǚ0\!mhbw >I;uo'uʻKn*/ŐxtT4`9K9DU0߅[\N_ FO7^T8<J ǐ%OJuK>{6r&hbJ-+M٠ kx#$GCRb{17DR|DSږU d?~^`]勣38BGG~6FW:I!v*|#,8ywe4ΤwH_䪤p#8Jֲ6Ak mZ) S%ՎI#)͘6^ly;|b%ӪNSWהx"Ot,0(nE 3ӥ1%bbHyj%3O9S"'"0TSEk԰D51-˗- NZ9h* F2R.C!D~PÇ>ʸcCSD<(oZ&HJ*t,D[o[SX*S M7966 6ٯ} ѐEZ':Kh`N^S+xq1.8_iq`U+`>A\eSXesK4Tr[ݚpq=0=r[ lAr 4狞vpwAL_-N+)}#F<$G'aѲETUv`^1%٩MDj"θY>K/"R k;v]x+&o/,΍=p/M 22$97 jT,H)8DYr9oc0 pМ HLUoUsbg0nك2S^ uPH?[RH`FP yS#$N Q&׏͚b:"TO%5aZUi. ?a# bHmxmP 9VᗝP$9DkܰnE ǽ3st@ú7-NTE&cQ*'Lh<1Vj-ۋ}׃U$Fr#HS7Ź-p?sYC @ %)1&c+.OI wY7Ucs?82L*Z^ڀhX r< T$?pS:o8⻛߳B3M;ڋLMCם{YWnڹ(z9#k׫NȆ v҂ &sJ<{ӐIA.M<ϸ/A2Lj Lǯ,_2DeڸNw8wc'oX.ޙvV`s;h@[V/c&#=,=V(n-'EdndIlmn\m=_WPS:ͽqr(_ftn!+guvAz2vJ(ǕN >yHuDmKnWu|N6gR}lx.p'N\F=>YӠvJ{0TLsol 񠂾 #蔘W/_ڭ>pʴkCnPo*ǚ;!V2Xz7 ZMT{FPrrFx~,HF)0$T糮ݥ>cNCc$<~|?şFGs5r +O_xP7öǮM~-Z~ֽYiҙ.krTtȄ6񥤇3&5[3vhwk,t2RX(nG Z@tJ""uij*^ZI;՜_:ㄊ JNJ6W̮K?v~ѧض B'К'[rnLT޼%mz^i5(e&g뙄*VdOnӹ5ӂdCMŇ=3;Q{JS:DNa.J@3͂U,+2Br? Z\(Xah΀vWIOCcdY[ۭ}޺êHFStEa5gY)Wr(-Ear-YSͦsʖ!Rz&I!PlCF`F͹,mvH{ .:.x&Ih@_bXo׬IFQcĮIk\!G N\߳"2$&W_š4 7jןTDTh]w1j`zq/h#$LmyԐv[(9'"܌[cQOw}ե)J'l~#UWc gTrGLYp3͊T7A都FXfd1Y`PviNQܟĵ),ooy gv'Zyw׻zKJY+ŃeU /I.gDw`㳅ZX1G{="Tt/hŵzPm'c(BBLR#ˀ- 2  P/hW]S30 1[W_{ܤ?I.@eJzSby;]kyG_Y$X ԫ?Lhl3:u3H /vhʐ踞JI\*UID]0 ou_E0Ĩ@ ڦGj¬(}>?TF+W^NޞՓwxCډ+5H7:ʨN![Um9]]> #k䆦VDB[V/[-P[v"!yCJ=d"d `ݸ XE,ʨ'i朙I< ~NR֌pZLN#qIﳥfUMo_w&*J[*-#5ka>Oq .4T lqi݂洀#ѱ8> 1+ ݭ`( sPM{=~,+OxVL> ؜3@hK IL+p蜻VWP^%+6kբ}[15`+Wa#4+m%Ϸ{=FsߺG[y7e ' a{ ,Q^v)ֹbO[E&wD*l><˽{U rx\S?Dwyo,͡r:Q$+*^:7"p(wabí{17m7xABARȩMyVQ\\wXo/!XdwIUy唊7k)ypR" `'k4b#J65Wlǯ~Ũ2;sWqx=:[z뼢?A߼:DV$8/u8k,$/ϬFD⺕C2& _$Xk&6< oYځ>JJpGyIc%&-MVY>,e$އ U %{v'm E)kSOadvj,;71|A. ])!  brTV<<dj,`(7l8܋Lֆq<*r`;b8!Nk8IP ^ra9~0t"d"&PN)3lTOn CQF_AT7X)`N$0ύDE ,լ3$/wP)9< #]֬׋r^SѢʕ<+OV>Pꐖ_P̌WtG D}dZC5+PƬ |$\w,G՞K֯o'3=W0`ęwX~^:+{{j[xG ^ߩӑcPV"FP2L_V#q1S2'tj.h&g S智%N0gs@M#x2KIVyZon s;Adcbu(9شgƀL&6{&zB+ _qNx; uF>O-D b7֙ٿUp G:tQ!ڸVqfKy[_XPc[(='״5nŇHlz`Cژɝs{3;m4NkhIJ5쳹"0gYa{-L TY</!UқbkGbd]Pq_D4øS;/Tj)9 X@,*PuW?3-es߿i>n,"M*+j2)֠U1;ؗ60Y) cМ1ࢳ 7ѝ?sdrZK{~' hpM/‰ wRBd41p} ({[27BccC(w#\n6LO6 w@,ZPYeVSM*إĬ{55Jْ<3 W%-()L߫+-A7~Rn4[87D5 j /$F&WQ*|DX}{|T+ͯ"lqHLdFI:7 1'S_*$*Xh]8hSq0jblImtؘ*Io-8hl ܴeM{gȶ1)}Q-ӧju1P+Z:fI@K+)/rSHN[W%4̈́EZ{]*HB]FL}Y'&x ~et0l]ݓԚdt^G=<VU<ޖO6ɪ`cFܐc4Τ)f.sailí o|&ZIegzV brHS9G,6[@':7 ;}{?zZڹ{4m& 4|Gf-͟R YgYZ2CǼl=] 3b.WNϸTwT6UVGk&yXά)}$C2UVEҊq+63 L08tG1`!YJ$FqO;:6:q҃_  ZcXH ֨NĶl\<2{mC |2zPflwn; /{ńo`coRL/ʅݱx>{'ۛOٓ Oy}EK9YN&hV M&hq]'p(0Oȩl'Ne]LdIбFyg,tp-m73)'x$O,0;?W 0Z |1*uVޥ4]W9FꄰƮ%ϧmE/K,79GkQ{ 8)P'k%ڀ&NBuDmv vTkHV LS]šsn|ٸoF,ڄ?#SG"Vw1|*Hvf赛̏]!M8=/ O C׉@" fe 8{Z*|u36C@|kjd,oO`66R1oz'RPi1NM_H"#>W TOg9 ^-wY^NN/lʝa=d{f;<lVpy5۝+5㷘i-݅AI; O,o3΍R},lfҿ=sIuvHtrbO$0YO}{:a"^,BŬ3Pa==AYh7ԟ<BWa_C7OxNg채cr*V^N+wOZ. IGw & M}7Z/ű mΖ\X qaSQNlSs0Zr:BbE-ି3RѴbi( BuTȌָ&Gr},) z~H/m27yHXks Z8"-H JװƎjߟ(@q/?Ѡs RLkxBt FK]ǎG}s~{qOfe6#!0埩ho|1`y&U}0r^Ќ;!$m"1p&y҅۲s:da S/߄u.ō]-^`L ~c&HC]Cijj ?J>K *%2ʻ~O$D=~J8Nq˜9О$ο*1wAy]-~X=In8ʩx잉Ti]uz"wLʈK./rmJUtp1,vfW$u?L瑯^]t Z'ă=@d^n :ՖS\(0m/JVk88~T?]~_O=_5f}<튊43Y^c>"lV](wcP)].ǹpv:L&,Рq,;g xW0W| (r^WHkG>\}N)<ǜo "۝)j ƃO|MWAQ#btN䭺tUǰK Z 7EYՂ+V>6Mmk2gCXr0XɬAy {K ]%*.$x&z/ZJadWOዞ3>¦=>Í> 1`M97Mu/+jKt*(eؼ | VXOwUwէbkktIFN5s0=a}u&lܠiuWoR|7E$=^7pšBZP&.h7K2 9x`t)(bY -ysP#@ Hƀv `x\R p箼y ;Zj3*P44t}K5l9wnq|?[Qr=f>@lcq|PF˷XGLÁL n;PjLP ulEL4FTs۪a`>$,:)A>yd<$ϔ` =*!ckڪ}!.ΒLtP.%UzP2x;i0E+VuU ڋyv$҈洱wky~p>>e ŗITe}SRT(Z=„#GVo>́VD!+1kZ-d y*jP?/58 "z[Ҽl}3ۓMM7^lT$`;BSJ6 :ŝLtȼ\@k+\hј#ʺ ʨ N6}= `I|qIw3@tI~av6pFy9%3zjp}P\)OoK] H9HX_2\l<;N M_dƜ- - ;5sa{BLHۈ(håt G U^{L2I&ֽ$ϟwK?q!,IYE{bǸʓ3xtymV~s $-hOުZyQOBX[.- aL|]0ξ6%Fw]?Cu܀I{+zE/ZٝݥTIxqv݄yofgIΊ(_HF  D& ~L@h^?P;Xub_e*A}c(=8>Q=+^GzNj ۧ#FR1ԦX)#Lӳ|T|ۺ Eo~I4FƷr7RΣclBhfܷ\l` :$)9C4 纼ZwqZHV^_YyD%GyCU#+%@d4T^8#V餵2u=YyY`d; ifH,Ίi.F9_WΟ@۾׬6q{a.h (.v"wd7:mYAxrJl$&5n;)V;ͷZSč(p;#"h-Tk{}3z/_8aM;l5*)i\$rܲPM4[~95vS>?h&jWZO`, fy@͡(E%M{E s=Yg"Bϝč7=)p+w; f-& ;Tf) 7=\L*jToh|AMGEus1W]R;?Ś }F&vno%֏ܧ\ҜFCXPɆAyA EO]<Ϧy޵IJ]D-CDEsAD@3 Ç~Js+mAm!habuCd%((Z&@h5pMֳC_t犺0\'#ə$Ux{`7Lt(nG|K\JK0kQ*jSRuzg9J+0h/ڨֿ쓟|>aX8oR0\z:~{H[Qp#)7ix挋0cP.ٛyʻw+V&Vި`U ^f), 3n/6- dt8} wv++T| /駼6;Ǜp(\i{?04* i>rCi^?}q"mYb=$G:dzt%9,W a#WxDP E c@~bӲBy<%]FSsU Zkahd=ވד`?Kew¨p`epp'hi+k |I%\,Ϣ3"V{t!4*[N0/ƨ^pgb_dI}+jO _[ci+;h\ɣ<*N묇{!,M 1c8MeNU%ڎM9)]ĽT Zr ͛?ׂA6iW:l|΢!vMS|+f琯:> u A#1hK$˫u)t Цy2s T&]mSOC@Rq-%k Vzv?w }éIx]Ncsɔq|M_ͦaqrCK4:MQH7W]q ]xsY$*{1#rnQwcPRXGsfͲh̐ Ϳo(K:"'pW쭕5&]##`Bn~Ĕ֖Pkh\D I\Db߱bltIW%(ڳ$*&8v2&˪)l&yP!L9iQYN~DvrfxWxHyGR96~\-K#Pbg. -q܈.EpImOn73KF#CJXqjHXJ.+jA)XTP9z,m}1!Ȁt+mnl,$M,"nC3COɗ>?}!^2H!lkg`q9Ǵ"e&qi%.+/xC t@ }1`6DЮǔfbUvug4#<:TL"8h"“u~&Xr2 GcuKL"#BV#ZFGzO^lUK ] }03S {BDXuWъEYVbD0R^"ͮ>ma Ջ؟jv8eN1kB[oOEV)vuOCU#Ƶ)hGDU-O(gEpP+ DnsZ&@vڀ`~ۍ-JZsrI 0Bk {N{6r͙2aK+EB-OeRTN~I>Pd#‹u>.Z9AUsXD2&iuOb&QrwsuV"|hw5'h Z3~ N3a0 <YqO>(MnŞvJHe<ݤk_Uٍp}p{]Oc 3MbrA *v*` &C^jVY լ-=̰%_[줫nJG%$M2µ]wTMda6ܓ(~B ̽)~f3Pٻٰ߆5$?xqcS{LS.H_ʍJM]5`AG/s²ZEE%V*➐OąsZ"᧵M9(PBň 3Zƍb1&ZEY_(vŴJԵ%z`扪L#MZՊy@²lQ^dc@4*^XC ы?ْp"蠥B3%|/9X ߜ)(8-FO$[Ϸ)xqm;#taR8FA;;f _nBЛ#5KcJ{ȔcAN)+FlmhtvN1\Hm),4ϫF++aFJI lt~oGDxCp W3vM, ռYp y>Pt"bėoV"1rx Rvbwй9d̆IKd̵5:D>i[9jTإ%mz%CF q+x*o zSO q̇\ 37=g] ~ٰ v ƎFk#GpӴ7 ^314 }pQ*ڟGhZJ/ RLzR׶6ZcAGhRNV>t,N@ Խ%&θkĪ5< IN(WqOK4Ik!d|ǧ^E2CVUVTG(uQtܘ'uX?N4rmM|̃{ =m~-P/Z)I69Ps9*tk_b׃~ԕQLG3pÌ6[_=#o6 PK%J|m-Ya'q'^& :ۈ58l؞,]:jo|j5MIaq oD/wipQ^A;CףMol,#Bx@D) *% E BlQW7w{Qy'G!)w~w[!WҞdaHh9>;!GlzDqvѺlnI($ƊUO-d9MEԍa+&]N'Y1^6C1"NLUϓ>2?7O3Hh%=9,aaǃ$f|AnڔF $<9ZIڢƊgSONR]fTf;W4>j>Ho|͙q\Xn2c]PyZ6gYZ 47K% dSATSolverVerificationSATSolverVerification.SolveLoopdocument.tex7zXZִF! w<]A-MՋhvG"uIBm5ȧW: {aݟ+5B|A%w%&ț%lwSKѷ+ݬ[tɸj"y k@laX+Y q<;)Q&{d P,7:=ICcc(%RZԖG eې2N\NI%)Ӯ{^fnu1TJ^eԳ!O[ŃȌ%.(DkmTAm Y;2yB|gQ,膊a l|ݤH)jvla4ٍ] پu IA. >pwa{TNXf?{lp ?^`::nt'Bl9;xiI<$'4[ ?YeaAzfQsGm Jʔ1pjP9w#]Wخ;qLd]&>Nݐ/b F)i9@#*HHNj((mr#V /(Rh#DWY޲>Cej< ?׸|9Q*W%Ck\]*(%`$'̓;tXɅ5 ߎlx"&! Ea;D-~i˥C`:=^7^ˣkb_J*tԲbΚgIju9g8?v.t0J"5[]cE=.fUb=&5DTܛZni117DK^̺ KvM/=8\B_. ih|!G]Pd_@y+H+Tv*C EhU ҙp@j͝O#ʈnPpf_ԓfxt3DRO~SI~{%YUopBdtl E#[ɽ)n*W*EJ[o Fg/)CtcDjdH?I;3(j^n}̈́6Repv?;E v]OqW `XAx,ߘm^E%5Eߕ wQv@5}ڏcN{]NV:kW*Klt? >P3E15 ^qP+Z)^ PVK#օ6å`ʅ!}U9ig|82G}170'!;I{xZ~zaH%7; Kɰ/oE;!>E=ul菹GU"op#bRĊ*;HNx A˺F4ţɡzg_ͧ66{FGf^r'._M9!̺JdBtQ$ń-=.YIUYF+"(.i%!-Ã_ٶ?BoCͥű' T!4\L&o9CГ@3R~ q}DO U^h_ES;7Xێn3 >o@ 3s}U2"ZVU_Ty/4D^>q}ӍÝ TSr138͌U*;{/WO}ND."XPT 7O8R w5r`벎؍HBv8džx)]Gq#>}(夶/ݿ{ZD~(?qD=-'c ;`!ls#& ';#3`oȺ/ecNrP gay^y0t"eGoД9 %8/gj֤0XէjxaFmkq.`mlN:m31 _V[G:dSfȐ3Y׮*oM:w8C2Q&6ƃpw?$3Ph@Ke<{Ѿa%ҦeXNJ , r0e@zFHeTw Ï i9Pd-1`nKvld. Шt,;_:/^41=C^俋;]/5U[߀ %)6rW,y+a>+QHWQ ˲Ko16L^)B)5XK4CٔBVߍoxeC \aY}BKa<˷ U|Fx(S‡ aEO ċi __ kw Fd1*cR&.l*6{v2)MTyƳ![t:NVɑN sWdwK2wD;8TƠǵhHC6QT6pcԐC h>N낽LjcL 3@Ņ*a*yC5͢6>Jl,X >DUA"xΈ) )@&8f[z7@uY'td38Sd(&Mo2h!z'3 jȓTk0Xe]XQ9|>+3.ד݊V|lDz%^2?!XQ1w"ds)E-Nmgvt&C-|롴!BU qpIGwDP(kPRxMحv[h烩xh^~f"/S[s5&gSh㠔0Cxť亏 'RXJ*`fzϹyF"c3<(\Z[Vˇ&y8Dո0+űF+Txk9zE3wuX䅅_dM#N%C9KBB y>cww=z++KBQevyb}s$s,Ԟ4 Teul!hW~;k2z(vI+wm3l +p<e;sttweٖm5YK/t7ZW~asx-Wf'@azYvKeG+\BdjT5UvJ v5=C]e+å_D Bi@~m5<U1\xVӽF#6~8>$X??dL2)',B2Ojj_%=ӓ%I,pF`Ui85P(+tH/f9k: bU(}d(K'?#t$,dFT7 8s{e( F˴K^0`cP"Fulk~(A5``-5&#ԒTq|(99e>l-l-v?Yq%键ޅ?Cuhj,s.YWF# (ZJb,C$ǖ/»zkVQ[eMm ,SMT&N1{/ á긟6nK[`aF;"<.x|4j%F$x;N򁌹1JOFQ*N:0Q;j9Ғgz6e]P=9! |zh&cD#f/yjg0nhWT׳Qݚj;pDC'H?nTxXmH(}A~ZmR&;T#M).mdY볱Y}ɭ ka76/gVP”*"|Õi:в'}oڌ1C/XeT֊?Ru\$32!Iv͑:[To =N_(܏zτwy3ZRc0g@5ǂ(0_y7OE~Pc9_Hq&'WiDty0 KOSn*ZC2r}/2F҉e1{솮shѳSpb˿GN _[lj]_-% ]qC:|c3 ջֻ~a,̉ZPlf#>o`ku 퍅hti!yNw 35BDx&\Cl.?߿{-w;yʀ uB7rܾ悎gY5 ؚD{9>t llҚuɚj N 䡙1LMmZ Vnyޱ%1GoOφ_29s7+v sjUj#`,ЋǹH!Bq3pXP 0T-n^8‹f=cM1=ü~FqpTǿ#s=wm4$tZeO;Pɾ)"UԾ48zMa(r(j#ź}|gU^LFl :tpĄSN#&-DnȇCɊm|h VAٶ666(~0&I qF޿ur&_. Q73-,Ɍ#,L߼hD T j]b}9]r视c_Xy\FtPb?юt&*֓᨟ ʉI m)BYl&[&2B=n`(tTؗq)nz^!_m$ͦ@B t>̍hG(S滩Zvϟ7S˝ ݈RNo"9흕3N <;[sC ݐNs}!,?D) eF_1U?_Jn|6']+QYYs6D$'sI TfD3L=o@"!w8x<Di6"7'+rWkcR(U=yĐTyW{(Ă$! 2n̖TO->5<6"}4ʊK;?z.l ^Ab=p׎ Ty%D\{M W4N/ )Idd~IUC]#UsSxXL"ZahWNm:2dzMwA)f)Ҕ9T+ J莽7fʐXWXl2-'Rjg0P hH"2x|6mG{c|M(E6)#FLyc ʬ*>Cпbqlbg=e)yx>KyAvw5hw df*魪KU‘!m[B>ob v=kGѢ5U =;I%z7?{k{+.&=;ҁj%w@jKs7{> CUX(1 g )Z<ԋD7H>qU/fd:p1>czplSsa:9pNd7!!ofJyfX!}U:`iXfGLk)sSs9a0W&v |ŧg@5$7qqqQ .Ιe䮘Zi(5`i Cgn)_K`=7Jg4Bўlt [ceôꗡ zE=cW@+Eɝ(j_D+N%錮4HQ;.LF߃Ѳ}Mly28,'iKR>@-4PF~Ǡ[pWXH7ǧf~mO@jגBVI, E$CL:WYI 3twD!߶YN9 o:2$Z|+v'ujRϣKz8Q3o-#rS]V] FB±N"g#Ho0Ci|gb.H v9_7(J/uR|Tk_,gY"B +%ʍA-0,PR=:# =}I{Q$W$@|1iM[iqP U8)Ix*)`#nu}z\96\H0i\D7v 9Ƃ:C1pXEr@پL `Lk@I5YD:`% ԳMoзM Qوd_*&/OLtI⌚̗`Cm12 Cq*p$Qo>fc(|Y nFI/?f3,޷S87Q: 0YTd?q|nRn 7AJy7r#T74Q\ '}~'b@ m1+$i?9FSvi xw*JxωBjJ(ڵUk[~m-Lfz"L[c&ӝs/Z8BeGh\\`3fj"8vI|Z0o2@sE8[,$e,e uAU3GR)&Q̚be ɳmMhp-{K_!<űoێ2grB9vO}F>KLITk7QM2e[/m|,,@c`0\T.o>8lsHlQ|K[͇ЧPBݸI!GYN$p&TіQM?1$VjQ Q#'y{ޘN(i-N& iMUVi]3o~YT]" vl1𼅟 ^P!kzAϏUԗ~;2t<&ͬCb?)):ܞÞ,k23z+H[ t&b?؅9,r KskGw -L?=hS>&]d)'i1 Pkg/S仔Wm{D!Rc:xKw]@ՇF|n u#ӥ\zPmV=LW`}m@.JWNiq<&f0y7Al@!95ܖF{V)t#ʼn+iB'-dWHU#m!kF32NќVƈ-CE/0SЅde]G-$ghH! *:SC*s6;L¸w!lŋHYhסN} -@s |ߟy?]}OD_xrWΩqF$)}]}Ij:dDz|<;J}_pJ Ϳl|yt9ۢ}ʞc;%gVy[m'h%9Tqi9ؔ3>.TX0^ 4t+TV@~NA_$~wHX:G˩l5@Nhpfn.fjQ?ڟF}h<[򏒬AI2Xe+"JbBr?u.㇍hr$U+bnp륚;s$5dۉF"PyrL*txoZu=K%ye_/=B}s$x%'4>౞]!k}'(UW(zIx#BAbI`&o whoS_E;V#%Fo6_7OUw\xp"N)8oχg[ @s`^43T}*8xu4V-`7{&9.Swl5l w8CYbu^\yWnVBx3<\@5ioWM.R;7Jӝ=@c"YrxoilOptIgeȒ#^aycyi'du쉗2(2?<̖^F(O8!u)OGFtmA۲O~Pa:_^]n-ewTd_Vj.Fa-)+m uW6^tB„S)lߜ@n{?ə"1nWԵ~ҧ0l>TR ԯ xUx^0rh¶k W0XՄ^65ڟ%ݨU=Bp+h?%@JuDHkぷ#!h[bWG OaWT14<H0A/ge>aXY7Mub o$[qWǐ7" dyW]lSGnVh$[+˦ TH4sӚ]ݱΤ =rT$+iC~P}b i1 ;ڹ6-FwZOte`s>*ߛhnog׃zD;["n>ɘ̈Q:r 0-xj`xĒwD2 <CH<9;Aj۝ʣkXv-2otr; h׈:AW ѝ`Ā5^G UAl7x 8["t G?T'aeS> Z DɦQqݩg mIF2N\>6toVj;-zƹbz٬':IL(QԂ 6UZh1M4L3MuBcOT :kjP\aMv[HT .ѹq}DLnpӈ֭dאX Cd 8KM8?gEOE&ԼL`I-jBb& mKZ?JBز˳:&ޯ:xѯWBYB,{;V#K=wޗɩm-v2O3qVi1L+nsU X(2"g8 ^" XU@#ɐZ&zYxY== tys!A!ˤNJ~;%mEn&byyQsu˜6N$~mk\5{ ua6`=pͷJW:y*QUs!в?jWjɚߘ`FATK%k&N⟳t8P}h`jHx)` b$JO#q̈Sgp5Nk|I"& ׽+*BQe!#NW&|8-‰.,v)gPY@=ɍup"RRㆁ%D?`Sjx.253մTM4y΄m1\%ԐPstQCqHq7-qJ/Hד/VfBDt wE7 m7]Ҫ.HeHZAEy O3D)~)!5GBzQ%-9dF|R $FnEH[W+x@aQ&wT,?tcw/R=1+}0&z0>k _l/sz|Vdtj/}.ES4!,~[lUmdɽ}38q-ނ=箩su]=9gHS{xw^E֣5zHzu|Z x$:Kz<Θ~:+ahF ÜvO'G|,B!h 9r|2pwTa0.Q ޏGiΩ:QR,tl*|-);(@P0 _#p-@ZbQxd|&ܣ ڏCڍE!Rtu3:Ҕt]u?]Xţ &EM)eOuG4'|Tli8l1Vp<51Q'"zқߡ*<@aVPH;#*UJ^U₹^`S'y0%X[,bIMȜ(_y:Ӭ-로4Xi ꋥ&VBO,GUqdbMO1-R vm:f :N9>܏VE*J&=ZC'J Zڞen" }xkcv#5PW)hlܗG>ՍZ,{*H3#,Kd ~!դ 2/>GPGb; 3Q)e %3+޸w>QR$ݴC*NR|/m<\|||]&*`"ڵᥳ& _ :Q'y>ؗ7`U2k-Tnz? :TyNʯv$dI4GDw;Fj˾B:dfUA z̹8ݻj"gz" xߥFK-//[3I56W+]2cKQ k@Lp]lr;>=`&1 2_bry>%c"Kxt-od'*^OMh,ǵa>e_BƠN07'VУk%{lTJǧLڿ[i'V`onA)tQ$%`qtCƂ xŧN@H4j=T2\]T(}0B]2tro?Y u ,W QXG  ~Y>1O\Gu26X`mx ˴)0Tj1E6@K=~6=ꉹ <&øi^Bk3 $YoTORqx.JV;)>G!%y;Zea}VkzuC]c.J&JW^F8'+$0>iÈkb4'. ,xEf T f{hky;Ŋ(U"?.-p7~XAҊyv9wEaMYan,bU TW ") =FH ñc1Wj:;5㦔DRhZ&9&9)#9[F.(g"_3UXN:;JE9,uӂlY,VzE= 20 kم-| Q[PSnc_Yxgmyfi^S.>hIFx5;{P]Rp+"Q|'\~79J3Z-+*z x(AFy>?GjkAr٧?H.RD, ˃45tr1( $dB2RGeG6\AW`=K('0E&ښ7QC11=H:}Wlwu)޷0VMJz"̊xX/UJlO?l,K) _}Gkfys"hNL#oR:mɛܧgVR$$nOWlqJ:抪^6| skH1!eH+}/!?:Đ%@z_sSQl% 5[fLO$<\,L۽VNsl"@ A"Ijs."Oww2frʵTVC ƑA\0ޘmQe5*Z6N`Br>~ˢ; X\NobdrwNmmBɿ5.qhy0sBa؈gΛZͿM'Aɭt@~~ >̍J|lJ]}=y*Y܎r7V#ҹdtMKw/稊LӐj|;:`q\o?Tx[6sXq/ӵ\4I$WwaF|.t 혩dH1bJO&V3ďfy:%u4T#Z20"hG1U:M3ذ>b>ҁ˧E_b ,W*,-;_x2mJ-^m<~{(ptc36vh'c_j픲%g04_O نJ3l[J=C(eP$)'05&&-?IP0k% ܾݳ㜪Z}\%nJmz_E-8{ae6vNB9¿jߚ{{J]R  `$aL\kg%O8\%tF!xn<@h~4'3{dxWr8q-;nZD,Mǒ u&%6E>,`I\Ѹ%꧒<ɉ!PXEeP bش'FaC݅vvQL4\[ rvh^_iYZmqbj\g<0fP& җ9f{(tPNdaZ3O'D*϶ShOOM.]Y+1P|(?NTByw yv<85UYӻ BbCDie%A@U)$iL-<";$W$PQh ("CS}4 9Q9.qT$F"d3^v܈&LDeH.5MH0׾ ڱ+Ģ )@L@>64$wjT iV 8C0ugG\W®?R]>Cd@꽘f~L,LgYZ @@-7m% 4SATSolverVerificationSATSolverVerification.NieuwenhuisOliverasTinellidocument.tex7zXZִF! ?]A-MՋhvG"uIBm5ĵ`;۱0?I Fs֩r9m\ϿKJ--'@팍4̖4`L9^t5_?J82R?Om:KJi$GƯ^l;D\\VrNqbGN3XnmBEt?,ҴZ?-!`^gG(iT`PE$U]xHt l]"57rcBRTD] W]/] ZA䆧Kc=􍡰MhϿN |?b9 ߱ TSoAV/Jk4L+`(pcϑPX5R< ѱ+E2?1O7- 0X!H&'M+aw16c{#BР}c&/B$N2j'SfƐ^L'͉m7%p/^t988NƵ.e qt1.OU;׃{A!58)"<b"Y$;}NEQWU־x@G6NpmrRȜM^IϘʕE|)3[fr0uK >#b2lMǿ !ԇ.gg^_KM7bF6o!Ļ(t>G k+#O.JmQg<wjh%a:`*'ҼCM$eFh>Յ ȶ ] C7G:9C} Z@q!N."N:{ F~2?n~b-)^nI̯[@ q Ηɛ:? !@aq6y*i i=i@;f8^oKiZ DG/2: __68K箿/֌n&MX+zqgBeT, (߼ >aMX5jʴ %L[Kb^5$Q[j;v3G;+w5>pEC HkAoq#/wh ]ya&-Ao#Dm(Ѱ={Ggg$0C5WfH!nؙZR{^>#-c/=J ݐf,9S97dcxt8ie2 a5~R#1T2]Jx]~JA8m2E9|^X;VsgċTӏGORJ)I(F\Sj@NFΉ۴1F޶3Qt4Bw4l }ﭠT΅LA莿! k[fb>(q/?nI]턜Q.>(/l6䳱>K)]\J.D"l4fꡮ7JJE nru4]U"{> (!1#UuA C ik_I( ?3S((? IR<[1isC8AO6“ΘA4d =\pe͈Ix!{ђ?C O}9mj%WWhOC|` i &6a[09bP¿\lz;p`;LL)DZjlPX\>?ug|Q]sMŀxߟ[fW HƗɌ gm9=&\ohxydܒDIE_6+W˚ѷغL_6owO'Ϣƥ0tND;l YQ.d&wpbvw+ 4 3u}cz ̔AHR]|HBž z wS+$zKŎDYwo thM"* zJ'\S)eۑ̶.si2,Xgd np*ۼPg-쾿6pklL2[@phDip׸xWqz44/`w!)N[qgodC s G3 {(,Tq.XuЁe`_Sw*&m(DL/%> g&+Be]A)nMpp@GKU5IF6T!f!f"R NV94XǞ2Quq˾V z^L`ĕ^n~ Nvd񷬗ko{pG\yt*рBD3_d Q B[8Zv?IdN`+z|e_ߋ@vcou~r\VE*_w03 RO@Dݎ;붕AumC+pB dÛI7Akx@w慰T!YC`ni*U"3@fc-P+^dX6{{y;<7ֈ2Ϸy- D0o!i&;CnMh (zzn녻c~&PC@ؔ]$<Μ.a/EF*EHK,CI[e%}oZvH(";eN+o/KEЋtL .5G"ѻb,"q0жkee;1pO|-bAèp>b_m -l26EbHPw>dA/W>9oc֒J@)Ѩz-a|FPm~·eKliI ; 'п%7%ǧCJBiBGh:ѢyMXҴx(Xl&\ })2kZxAn?tl#A 81$e"俢ٮ+lfS/TQP&rԴH`/ɀ kgֆ=#;#Vxո=+ 6Ww3ܤb`8$phM?F=9Rӑ5"Ηh>)ʨGޥBb Ҡuu}µFrݣ2n *spX缆n@G`chL3$iGuRPyj#w)O&B^\Sg~=Ssk/&dw}=+1~#Bsaͦӟ-YOLke0݊keeAѡW0c?u~k?X'\}q]P*K6x0Iz^}$e7flRm5M~ARL&-?:1p5A }J{{ r(pCZ<=K$yDS0ibu2<{Ծ?U>Aii>aўp.Vil&tZ(dgN̓%R@-ỏM{`pK\˃RpRd1Z?Ƽ}Qo V}Zό2 p bi|SBumϋ.݌zT0־O 1v.gUX!xh`l[%̹ | Z1X^4>j[t yC=7ym%?]~[KJT,D[ۯwȊ,m9*O<ˎ^&Xڻ*Kk;U1kOw}oom urqVS*S6m5B-}o &̩E U~sj2"N_B0j9ˁ`|2vg|9 #׵R<&)N?v0 bx&/̡tUSa; ^OD-SIJC~ {tg䎔ڊMj/Rm 8;Nו~=,9tOgk0R3ʸGG߈IJx3 6Œ$P-Lje-ҌNJL򅳄*3 3ȎO-&Akrw9Uƣ5=ߧ,|תȇط>,&j<|^ MևVȨY1/*p%ʎ<| cl;j>Z *RJ@եWJrI86eeי| "mD?M#xP^1nHH.x*1ݾJʤOieK]}DjVd4an ZNnǂ%_ Ggﺊi,񮳃 ᜶nĢ+xՙ_}A0t@Xtעk!0gq^Ft=j/Il+(li$ٰ!nlV6S:|i-$B yTLNkRC\UfEai 5b! A4g |QTX T_ $Cn3L/TD9w5΁eH ';:ilOxJcnHӐLzřEc?1=JJ#6>r]}‚4UYt@ G~tQaӿ]vxᱼW|¡M=quN%Wdl~JX5Z ۠obs!Tvb*uHDz;7Χi9i=J(9>Pk+pG(풬/JauZ# 1Y ~ cr[c 9Yׇ 5pNhPDv΋ԡKp&:$: ZG~kx+Z=O s%]}h)fh1˶:~zO27E{aHQFR-lL ip9u>jpvHbBdxZ\ÈKI(>s!;{'/8Qh0 ppE &$9Q-J$׬:ii$E.[Yo~|<'P7<'B\h74 D©Cg (֦!VslRSS$GfvFSo bAz[K TC_ ɦ=/Fg1 HxפU BצL|N'a,n3heŔ$~&@] 0_ze1_-VMU)M쨂aaHm P^(S>DH1ϥ#RPzwFo[,k{9ox>Y3 NT ex3/%#I\|]S۱KsK@r]#Sf~c$0s:#b ۂ"y}9]8aD b[hÏ''\С[Ħu#ڍ"ڹ"0ac*VV6_Ac ^$nZRXG!8+FgՋnO÷Re#~q=`x0 q j_v )D˻u/ ޽.K.c!׍\l-@kӃ(Gk"|[C~ 9hC1 Κ_R-C(իHط=kZgo]`vJ}:b4gș<1ѡ(T'|u|;$ngG:U5*{4]#.RqwDHa!*BţJPة#M1)+86U5Ptr|{tE2"/8eWC&9ԞP"QR2Dܣ{/FNLz! NZ 42--Llf*ګ:+|:d%UhObox/W ۬)T;:SoZ)b s9 țdFak!IPXȑg ػ[n{v;ogS24h.矊y5$rvDD o lؓª1 |Z;o Vh9m}zRD[1d.Ј\ ڧML ߝ86/*qcL3Tmbgb\@3> vU`s6`ljovyY嫬qt[E¡|t%XWދYY$(<[{%oECzHm#`;}N<JDtct{Yp݈`p6p(ytTgTM!F (N87 fk+Zsh'ҽ1(Ҽ,N"n$(KfqJ›4ԍg쩋2~YI ~wS.3~yUQ2<ӯ%_ 0"TxDٲȅ i nAN]~GIv% ΍( aLzy V?K(H 4&gj;TE.eR V2^ZMqR{4NlIJPw$~SI-O9f(l3\ܮ0y#G2cgm",}`;܊͑7/aLHt,8}f 2ނñT@k] F T$.""Ш߭v.JUD$A49 e`h;|h. poYut,[ScM)ٷˆݫZ@eͺ B|,s+kCeFgBP,|[Vթrn"Eyb|ǒM lhU6D{r46 3^ .MY@7 3SB/4mkǔ !FZgǁ3f`3Qf(iÙ}jK"{MMri`eM)d˭Bf70g-. DV*KO~)TZ!ޞ km w>#9n_Bygx`._d=WjN}d'yILN\ˈKcb@9*t;g(}'Lڌnn@ʻm^^Sܩ29: N)6}RPR)tܤ""K oo}T:4yBrjn#|Zr>utu?x>ܔT ݸ *>+:??dGT̚ ?"4a=.EyҺ8M}ѧlmpI:>>:nԿ̟g!FOs]2.*adknź_'vXalbu0 q7Y~Ih(mEZ"]cO.ܯbPd˺A~icFoh|uW 8$?ŬHpI*5.NpȣN_8dbq47a nYzS_='Օt .pZ4NB^ě%튶Dxo_g @ooG6n|YdRL []gFG+fs#Cޅ4`rk "\?qgYZ YY7S% $SATSolverVerificationSATSolverVerification.UnitPropagatedocument.tex7zXZִF! _2. ]A-MՋhvG"uIBm59s:U-9kӯ[ͼ,t虪x{ 3]I&O77UcDThO)Ji96r''qe8Q1Q )HЦHgM)^vơQ1^CA1Z/GJ,, sW˜؄F8ZKĦ˓(CMR@ ? j#w^ǭc&_('EmdU)}>Vx^7-=G6[^g5L(nS#=nVML@:\}m./ibR0poZ+,\rKwJ uXQaf/̢fq"0AvP7ݠ?Ɣ}IM@mMX +kqF(Xi6%r6Ń4O+f+? J( qcx$F6_͑Uqm10+'R2XA \~E:]a@6a}2V8WPqdsciO3D`r%z RkJ{ ިudzZ<|aH;Hw6Uwv2 u7cbrv )ipڥļA螐R83E8*'\ǎ(l>kR 1}tK䂕qțK2IP][|DcyؽqntSLtS {4D =NE!+ ^]>V @Lj aݤw8rOC E' Mҏ4 ::ЇO?7խgG@Ř 9gSi(`d4ԂbXsa`ŤkDl}`%F}q,KajdЎW*]m>UQ02ꟽE-1>Fs3\ŃJgAJ6a@7rh2nߌ5 o孭Cc*5ό4P¼}3x#~)U˭\=gL Fb8+JnGM֥Lj^!yWwz j)?mnc7)ʺpy%.ue 8~WFN]!Ah{>LH4$QP.ˌn%9KQ[qmggb:/8cl0&-[;p=L.oy LMw%ƀCa)0 tzU||f9~dz첣k,Q'V=LA9`VNiᓂV}OR+]G7]FzzRG5`^h+-*&ٔ".0ىZHsJ.&DOv$I00j|;uWE$aϖdJV5y]ʡ2.|^zutƇ9fP4*X$nqO|#5 z M5,ґE/$GtYg]HdST^Tc4jL"/eUПXD_ ~th%Ji%qJtBFQHh=l7Oet銃),4\H? v/z-ڧ4Lƈ D%q(` } D6U c$CNPp :^2/XRo^ CI A;hk4YjMh^L)ԑ;;Ͽ8@uTcb}\&j@:0fw[<%3>UV(ޛ5fU+nNt3#F|gL hA,Cbq#ۗAGW\{Qh,bJ a. s?nO4vªdޥ^ D 踛ZRYvzw+QUĂּtz[Ox2#zl`VRq<5Œ.M łd1oE8U_,kmJ XOb^N`Zr _L3Ʋ_w!Cq4Oߺ'Q0y!dՎ h5> nS:na%Di{QmNb|%6ˈ"rJ!9UV ^h[0=4?[P±{Q c'4 ĂX[W#g}4%,Q=uu/;Riu8ء{ "4phChϣxKPͻ4dɏAjiEΝ3HTs"FQщzڝ \`M\) :uZsNS\eynLT-;en7Mӂ+]t0 :l޿RY>b5byD&3hw j4/h7XHĖe`C@)j2OʙZQM>9=-QWKv<~(|4w|-nΠ+F{Ҙҟ{F=Jig`[j'fȈ;g]()J&a]}1!;h/is٩fe(760ImI35d [;5dF'LҞ`HJg EN`Z[ i'ry[:$]*Rܷ6uoxC26y޶5oቨQ!aqyr2'rXZQ!s:b*^!i]Ðr@FSJ* 0jo߹Qpj\βqQ="rˌSK\([؊?đ Z H;BFL;>SzHHѧznx :h V]&,++9wJ|0êE!h\ҟp-Iڗi8[>׶ X#? ^ӊt1 "L $,f((4nӇa䱮!%SM!v]NA'q j pI6KqiAL)_* |)cAwCyz Ha}ShU*anp bL T~NW@3[O^?P‚ Ѣyxs,l yƩ:πúD\Ĝ!K7?aD&TLo nfܼΏ]]T7dzٍ۬ϻ.#Kvd1縉0dh)anB56p&1| Phհ?(E~ õ9XC#@5cg2tHSDSۜEb߿x?8ڃ(9:H=4Ν8r .?  ͟l %T8Շo9*U͔v..36bYG8멡S0'qi% yϹ $7(OVW/c/L 7[#Y ]- UU @{;ãvXY T~Ie *qg. .;Ϫ*XDw[za*Cbf 7qkWE'IG G$FwBpv !^sq"nW1gm7h—"X߈jo(ojX_pa\:>C/grL1{Eg8h?vΑ|Z.ƟɱH [j^)cN7+'7+r2Yi[L&YBJ gvTko}y%6eQX~\$vU2@LnM`pSYxlSeٯ+Iy/ˀɼRI3 I˱g :0S,yȠSEgB248؀+w't89R#"M09$\6{M??ORuRhoU2B{;.#{eqϿg]"g ,<rvI>q2i-E{JXۡj_dעT4>e܅ɋE|(9p{[YดvJ CCKi3X:HL#eRnH(Wq6|5hMw,(|̅#c6p%6բjB u \ +i7paڨpR=NiӐW=$;}lY!Jzd ~HŰ9oRz5ɷF#& uI4,'JprQF t=ߍ~BI4cwq &u+j#D]: ÓQƒV>B0?]`q+,_1*|v1ƑLŸd4ňo8T5Y u5d*8, "GV8Mu!ř)*(*v_/~ޟ pVqíQb1b&6EtTB5WC)WUk޶GhH5ތe16+zUvn$EA`4JvrzC#Gji&%` 6&f#{b욮)Xݵ`K u.D`Lv.d_L"n&厕Ut 96ST6?jr76n'iUc6*Ff|+yeϽ96lOL8Kok%OdFM2k6$RH>܄|*6Ab@M&>ZfWnp z>vK٫=YJ.HfOp_O(\'s m׊JԶ%I rl?tZ ,j/=<)(B;"|LM@#6&W߰n~ IZdfc6[|xjسc2'@. BK-n0&{_Sį1'd>r6@^SFl #R9w}ңUJՔ.!ID:ėՌlܲ=|"4K;[ȨXYE`Szf8'f@aȍbKȯXt)Nv)yC޶{;T#K/:DʖNAb@~惨H˕@JFL 4}ewGIPW2En2X2bcٲos=DztVf )L˕yz86_S>:6PۉHWF,SըYڍHbǗ\9_ akĄah w4ЕGq>GB,N c:n--D ڥ`=Cch/.mc%3IjFzՂ){Z(Q~~l!wGr ͙ԍh(3``w0-RFF:cq]mQh""'v?HȰw{m k"Xv-.K$[ ͛]L4l5Zn.em5]C\,7v %vcz~3Q,*|b*yU0cT|u?uk;C؆b?mM1M W#LxRU7Xz.j04zQ<§A JVkQsIwߟ[RE:v?xvK ~̆ȼoFB,񬗜~p.uG_">%Agd00Y%>G@f^WE4}-6Ē"IEcv\@6ӽkm L_@7q;;Q9֒ӸgaNS0Lq4 9Ɓ垶//ɯ|JT 5qzStlRZŗa$: >hgU(W{Ήĉ@#7opLGՀ"~8*@JDzoEj=D'Hd4_>V,%/Z~FCDͥҰUCwr&[5c,Z UH++tn8P2aܚ; U, hJs%Lȝ*oM| hv:Xڬ82#:{u*UkRl7[gjbSb$Vu4qayMZ 5VF$GgYPj((OZy}'5mM;']d+HsM[gR8~'Kn:0ۄ*%aw+hvG(Q|ߑ\Dge%Dqa(xFoLnVWB!.\3jU5n_ G!˲{*F>O鄃hy}p G>~Se*>?fXs[(9+42vog9/qaБ{~TtQ~ k]o/"omY~y/^hmَQ` m:g?k2AL# vS-g 8OoP%_CD ]\'xs֬7d&>@{4]*T3OU2X2U䉰߸,@U :,njWsx+觯6 1,4mPer v^cRAa-4yENV=K8T?MO)L@\mF4+goC-sgr!\o6ʍmìG=Ip?ʳsě[gW /KټtQPtfλȪ|(ϭ6R Z“doGj#&%9Mu+*J FrYòP!i5v{F`/2B{!KWdkip5mm :iȯ(&ay]nE<|' 7z`:_:O"1pwoK񎋠O2&OeVpDԒG|TVϖHF74s 7 vpkP'?A&~LM1~EQnr4g_QYOZ{F3Nբu \;Jz0B&MÆVk2\CFIw B sRk"";slWY*%7_-?hh$LG3W"K]{TLHn,GQNMv;noކ=L̎4NMEۗJmĠ'UP1qW1 ~kH,([j& NJG 0 )JES=B5)Ɏ2ͽ poh&!(D5q On="^4՝n$s7'trUyN!vqLр0q D-lxB$O~좢JíLNAn3]O%9ҕ߈&iu6 cXCR.G2<~M6@_+z4q_jjNrzqU$ @`%i5CF:gt/SfqC#RD}S4)@x7z ?UIy(a.KD'D" uʇ+8$Ipx|’ %i$_{oy;:/%r}J`1UKx flw2ٌ[aܤ=Ũmvl a' ԓ1H+`ڪ$((k~}|ڹєݳ cX~WHa%v1O.7} !Dg4Kk6zI`iYLjD}A!|W;,k1`ձO k⭸w3ItCrpl?6@CeUD/rnQt7^ pMUPKK …TJaѲ`fG/*L]ExfZF|{Eu倯R ODd?܂f1'&,qu?n@'CR $58\Vw 47Ӯ,Ћ `=uIKܖ)o^8WXRؼ 穬o]8(rTmA }`T*ĶE4&WZ >٫ BX.O$nojAkנ)`<.6Z Š)lTO`v{T)bZXL;!'^|Hwł.LY{`|fn,\֓CՖ8Is y>Gw+BvGEΌ&ak)BR?;yk hPn(,Dʴt"O} /A3%=dƣߤ:gExORI_;(?0˓l2 nldU Rc?+uv\ha~KHNؑ,>e&Z#9UdAm̸]jFye[ؖkHA]P Y$wdP:e8>Eeczj%ruȌ>ޘudk$"ZF `:(}h>f>'kܗ*d;YD7k#D6Igy^!N]-^`Q#gys ]$Ԡri#l\IuXYhޭY,p)r{gbO$Ӎfg^Ew^8J8Tm(\>%B2xm}왹BaGΥE]}&xGHE,KX0XkT_OJԲBׄd|V($cٞ:F|PvcA7Lߐx aGZ}zzzWU:SDTd5=(b '<{@ EhWO<Ŵa./cvHRL#ÊdĎRA E9~s k ~FX,SϒZs j8 4Kϊ+$d1})Ev@-Hk vOR> uQ O$1>' N5޶g*2}2ВDjx`hQQh8TR.8qTh"+I_GvW&:!(`Lndsp9 GkZ@ @&\dMS\Lz]qWRkُ{ﻹ>F fF q{kep~f]5D#qVxuDOPH^:'Cd|9bq='P(0hN_A'/BRٚbө{ObuBd ,Ng"eWmGV@Ɣ/lȌl pif'+2NpxHyKm? -ؖPeS8~ypZ>,pl\Kĕmq`<|h_p8%XO2x8S|]^SqZZnj+i60STtX3YӍ5鳪 p5|i a!1I)t3QeKu!v!T B&dU0~,߃9n1DzA͔E*KsMch_J9(VYgNc&N0en:5MWV׹YJ#kԂM>gB>76a@OhMЧ[)O7#-07ejZ K `1܄ҙ5FqHđ!vuNep N$7 cz>a,}4 FtlPi0!YŤtYנE54Y?9˨wPn^ h1gURhYgGԈv͉_P3!7}Pxi#q4; ك&V=q2?5x"zUY2sǷt8uGsfi_Fr/ uV\ Z(Z|7݀[D2%03xv0r0 N"TBZ_,#S.69;R?mJqs~[6\4&P'" d~[g9eZwq5l/|5Lj|l@pCNf!e439 ;mZ\j&5 vx0P` ۅՆz2<춰͵xw \J.*ԏ/n/B~ KtS0*aQuuSȣ;O"~:=:UInU`Ӡvft욧'%Ae+9OxS<;߃"_{C [d GP7kA +>ғ5 r {w4+O!i~90i`ः#A[N GՌA9X4'tuoō fz$²y:'D+P`;դK.;cq8Aޭ֦,NECS!v֐Uv٭*4dö&'FWb:ېiJ C! y Ndضk&$·pdoTh:uˏ{~h7ދ/:q(Lf*bqX"kuR d׍GCgϯQ^枭{Nt lMhMm@ׁ˦ O{?: D_ c\^Che{UURFhAVz*ݹHS=;wX&Oqmhe|TH* G ճRBh%ʜNЊC P  9„ص!3kˋ{㉝i;Ű -?)%o,B+wfZ%~u'wHP_I0D/ vAw~a?z.zcbCZǻCF#䂫L7 6 (EjC|(p^c9M9Y(Io&y@ eIUivoŌeb&/ܹ쭔Q/;UQ3Փٕb1c]ڟ@ D 9AƪedE;ci ߶T ;'=[Q^sz[5/ }nEjpe}.gNĿ 󳪸غ{WT9|'!C7w.s&n-e~8RFһ0#rKgI{NU{WFҀۈ:β .3+?p,MLJ;'_[ʱRDxbu 7w Uє^ w̿:yI#_RM :93ӻԥƁC`jGْ.㣑 fiLO7Ke9s[-%y)^C{8t)x3(R_~cӀM[{yRY[%P9HJ m.M~\8<޾N(:HBb/ "ҐMN-ЩZe-x[G" 1f35^Gn&}X]Of^lhڦj G zA[#wa?]" `΁OX~'NXV|5C-1 vouHR n nGBz2Q@~,e5Úޞ#n~eKQ<$,PO01C An% /c@qe^2ohZ MŮ_}:ԄK]ǢD5|*TyvھM#=``UԪ$޿ޣ4|8]oCGWI$,-BL^L ?le|7.TɺV'.{]ش\txyh Ò 8*ݙh0άWh١E̻1N,F{dp3܍jQi5q[9ԩ2cl 1A0(?Ӕd<>k?mq q^m~7R/c2@)g6(Ol!KфW\ Y7<Ӷ]-ƬO06Ɨ6I㰓w#} h?;yoS}}GY+t 3F:hn zBӣLpz$wSRgApaתBAHfQqWӓ; rSe$pk6QPo@qK!r=@^c'ӳ.~f(^yRr5ݵ6SPBai lP3fz1՗D}8uƧ0k%Uβ!s{f%D]]~;u բ9-=u}Bf-i}k&W[1( Z{o%fYDm!si; x%tw 8e%*t**Őld݉v^maoe{/{aM$: # #S1 */DT* yLXɛ #F!lcR7s0 1 L˽v3,dϳIb攥(;ۊ ;=KZ]ak,N˕E xKOɩjG&>S+qȽ'@H#ğ.?/#R)|o33I%BA߷I#D;=W;o:9_]/5[;)ZnG% B$Sjg]iCk2 Q5 W/ZGcrh-&1&s4bP^ɩ,7BPL7uX)X9qnD`[$gJl^7ljrAUOv& NvF†k76NW_Ⱦhh{>{ej!R(}U+=#s7j͑pk.m@1[">zeyu:#?"F"NxM"NRC-rxV45đ\\oS1yi=;}MhD"܁=vf1Qw(%BF3 Lؤg"#&FTyGLQps@[E#}=r,}G8I8Q+}- 4 aD{`XJ!iVH!)z*{9A9M7\vl:d 8D e,ten{1!湀T$r' .V>Z] (bݖ*"nrR9f_fآF@΂,7s2ݷ2MC]ue:~1*,x'04xo[Ɇq|Q~n53V hP(E8Ce!}SFJF+APDխe0G%*XRE bp!WIKs.)6l+Jl<|>ªcɣlɋ,Y@sU:ćk3hlςjPز#0d[[-rOL9|}pшFɴls'|䐖C4홗a^kDH tƆdb_w$I!x4L ͪcɅ^u$4(#<,8Egn9hdlwD+•ҥ񶝏Z%%_c&KiZ>J~qCzmܚD+Gq~t>>O k;]5*rh@TD×C7^!( bIKᵦILch kQJ@n3Z-b"q|[Mhk@xGxWWOnU 2k]lЍ R'8=n<*LyVܢtz#.w-1H,[T갫>qT I< &X e6᪐qɖ@?Yh&DfюC1!\EvӐT 1.q/n R#IJ*D]1ԝց 0g8L{`B/3QhLxTcnH?ɼ&$c1?VKD_:no2j+igT!o)F3ͩp+g@d>Qf-ST=^_8gUܵsoUy<&1bYy CHpHdo]DE94QVhaY$05s cv÷H#_e ̓ @9 ]eK]Vͷt7H^~4 !C)j[NF2wo٨s`a9Bwظ]K74w䉽 $u[Ok'v!:BPF}"1V?F߂Z^-(1rpTjW6~aze4w㠯ek-YFob.RYh4~x'z_@A 7U% tSATSolverVerificationSATSolverVerification.Initializationdocument.tex7zXZִF! m/]A-MՋhvG"uIBm5ɳJ &W:Vm0g2ɲ1=9`._yke( p'0dc2vzLY͚ʫa7fIA*@7f8ƖWRcLdEVrl}Hh̏' MI'׃^}>'y=^<|DZ(d,8k;d#S[u_:揟\ Sؽz:}J32I LF ܽXhT@Â~e@/`tgf8OA"j%TUm;vth0-}B= rlW˒~[߈gax|qp%^Gxjz"'A$܊|~ L<AGOPb=Oc'GO=-.tVl"u6|ʮ[7\-MMau\=cBh%?բEÑУ\`dS"Ћ*\hF5{^*_k lgը- |5GDI|-˦VvG?7>,EK =ά-]VdBt>v&PDxkf#c74COi Dm[{ujP3lRɱNZ+BB# oAƭOAI)M2"{K!-}"eб`ĀGq<}iZA_ xِbAzُDbAf\ ZMkd`zŽ{KxnG`I^wUI]UtjW\ H:$Bap>6|T1'@wlRuDj,l{1²ļi2Ejs\=FIpK]05Xӵ (3\!:e6b@ؕVi^n"ɸ؎is2C ^n=#5+8da4Oy9Zg }rQB6V.pdY/; ֶ6A^ed >B7 lDڪҒKiVr7ی6=$D%u|,ϪoXONwا!8,ndw &|VTz_D pcf<3˄,M70spͺT'Ǟz9W?灏 ^3g3F[bp(ڣ}ӾäPJ 'y0[5ݸЖT9sw1xIGk9}##ُcRRyVY-%ts8X[رz^)z (6hf7j +) ^dܵ6,^s<s ~t.D.=0 TNuH!#3Ý|} 7Б131V3ZV[_q1;h aRGQ=̬p|"\jT>SCċ?cM{ZyՒxNPn9$V* :q֨ LepXlgI(k(v3E&<wmn⟿ $oYV\DmJ6F/T ~iCgօ4+$2mM8.E9ZK*kt/T%TB-kӰ0IaH4WvI+[- 'MLHd]|6z_,zĵF`O y;[?ɮ}Z4V^0DR^1v/aMp˔RV*OZނzlsJ6C/Sًq>kҩW դEye 6 iVnb75z!Fy8ψ?AJ+ 4=VxfZ&eD6xeMq]Ms)xMd dIu ݽu@7iX`H " Nc:+K`SqVQWk >yj_m"K{j. ,B.0H/_VTFTnx-B/TUsB6u@W34BIp2-%S77!xgbR Ki[=]N6*?5&|ZDmK4:UMCgP qsE+[M{~͓0\` UwGndRTBn :UDjm aT6Z"}{I<̻=%ͼv*}~b\NBsІL0ɗMsX?~lv[BW[}s6Ѯʗ8"&]eLC!",|؎aczGQjV*QAG3oDwrec܃xil2~NBMpNcE|^Le<6ڕA*Yy,yP㠏z?iS Em0PhWrАfu:,{@~Ĭ]97>FXs(U#T<>%qk%SCV[Kv<_ꚅQ EtǔܿP 褤կ;4=J.n&#_$b -hRpr{fgg8~03= L4?|7zÞ5Ƽ;vWJFt k8m8߼GӉ &dߡ$dF xB F#(̖HYTa~`[ O0-Dq^]p:DžSu PR 70k\p;Ak]KR=2+14FN{ ^1&;'HhP4)PxŶv\/\ĺ$RAX8dqٳ34*b;n0 fp=_k^(7 'aL4oc;k֤-y_>[i4FC|&2k&A8'o .y K M"Np{B S9f1a* ٚRZv X|M~zSp11cqTNM*ڏG47e^ CO:`R9njt%nc:ʲΚpQpLYI l}8 ցlQŨi1xo*뵬ml5t,spGz_Hи୻/j $Oxu{vB}Nt{(~+YU)7FTsdiw9Лh O~@ 'U?2bCHnK0Q IWջAt n x [1 L43 @YMIT'$ ))n1NgBַ2},XՍ0ΥvnhbĶ.ʌ9# <^[_fuxȀnxVk g0WcP(ۄw9"vP~,Rg{*2%DO} 5?GF96o<Dnu:q1s\^Ľ꜅,]dPUsˈE, $ya <(OFN ~{2 0rk׆g:RV;-ڣ# 2*m+Ac c'] |UTnE?Ż֢Sյ/CJLtkLXOeGfacuGݤAZdLSv}'{L$ւGC9ϥ\nID`U+>=+UQxFgᏍՑ~)OzBa My;Ϻ ClCA%> 7?  ~hS3ka7WI$-RQZz^eI曼\gJ}:˾ c!IVEۗ={Jd4j0Wphoe6p0asǿ==ʰ*C{]j{mOkVG@Y!-ZHneIV-M*iSs*7HbI*v(|brשx9փuٖZp³t1Tbo[@{HXH&/XiPD'9iIB-»Ά@D̫˽jՄOܨ[kZ.,?5OJ!55%o8X1n>כ,ΨQBn(C:Wl('`CK_< #,g^T>]"樋耣[ O ^a3P(Ϯ}~bx/)0&AHhxIGR :tJ/ 7cRjlg Ⱦa:0CW&F  Q) Jm1q'pld6w *[lM p\6C4-K5p-8EzUZ|00őgJtQUcu8>"y 9 *)<,jZo9o;>I}#8.lĿB6/s$pFrڑmڠ/"sG{}5\')Y>dscPώ Sa>-Dmi%IpI[r޼7ȴtdkB^%VHHJomuw,K4S~jw1c_f$SChv$|2P0qh˺%5ݝ(XXA 3k_A -]~3KUλ%Ǜ6hNzz&/br61w IWى覓Jf$\%$6 N' "@Sz)Y{ f 7aLl} c#aL;Z7čd{'mHMг,rxN)|u-Á,^0ȅ+`ˤF1AumvU8c| C1翳P6E/K&"ABq+ %:< DUs)M۩/7> QQu-/BNXoG7BvtJ!ӹ'.Ot-fs/wa]W!C#z}v9"KMBD3<\M`ffx 6L(QyHoE~:՜کRYBZ\UPIDX09Z^! QdAe"IS[9x۝ vػ:X_#Ϲ1 b!W}8N>/wBh Xn\5tmKG[%zb} v{s:oa *Aȵo|@Q` ּJ"ݟ"7]_8&KVnf8km@~;qHDM`}<ٲ MT;J͐cmDX*kp İU(4FN^>= ,N/\ω& P@?ⷦNHd4=,kak`Ĵ #+:zɣWeܚfP)1hشFl@SF67D=t7nDŽh4vQ1nР=~q4>KDDS4~Ղ~p _:24_T g(R9{.1M)$Pq Eh;lD9}CZ'"{em3.EfL¤}pQDHnz\? 8gɂP݂Þfb$X]f~j\nqMbWS0LOv\%r F&,M+K5uamDcz'$PE0IܚUU=>w91Jx҅RA7sQȩkF]wmQ%׮Q < `0nw>l̀ |D+UQL0o> -RX%zUf@}r^%h`#$ ( Yd./O?hh\>u~~ €~3 ġ/9g))@DOLnSoUe-L[i͖]6XY4]-GRh&urˑMǬ`ZR+F !so|Dn6 (s$7F#DV>SL m<*gE?>)tܓ! 7~StEkj8#$v‘Ll7[SϳNY{ZynfIͪUa )*$ U7`OouNnb}jSIsP>HohMu'{]t'h"JFfc['bLjPVt; G?zLK} ~qECj\\"*e3mĊ@e |l@TB{}c-oLj~ mHW)A10F=P@pO78(*UښȀ }(KyP;!} wmCՏ [D|%4xݡ&ɇʧ)t3V(y.ՆEV:W#)Lnx;gMpICx\N욝3BVET.ǥDU]yTW }aŤF7ÂYWGɒ(+8ݽ,jhGn&c$l7җ'GyAYh瞸]LC3V} PnM;n HMZ\6:UoXBUU?WU7Ӕ@h@#/|̭Bڲ\_Ўn<]Ơ "u MgZYlh_%+*ZopGm y`y2y53XYoq&(3:69`.(U%D6?1UBiM "^ b<{mVc枯-чވ韪D<{ҧ.LXB_oυ`W4+anM% 4n"b+\#)漊?kwCAr}G}q(V~0v W˖ET%N ZǪZfiDoM9|=3*C6@q[ڜ,aܕ~3,hU@ymV`}$סA ~8S2+*39H16Pe/[{K'7Ip>N8 `cpYѲJrƱ=e`IBoM8FMs2A~bドyrKy@-XVgêIdVV+\QbV[ "Cb=8xrm}]qhPCGҪ I=A;SOQFψ’W&,U0itNIY/"OQڌׯIf2*g Uz0ɹ}/Ɍ^%ՖYmޘY>gd@[lJrHp-' &~KGEm^ض܁bo0EEtIGI%8> 1 sAK{c+J\M)Bͨ%䋣U>sA6ٽQ%s'0ު+pPH;Yܠu|Pr[aV;cQWyVzIMjEFٳ <;6biM{`54Km]ORݓ!Mp"?$ @ zy/2=nlX}̂hP5 'y<8QLV0ϛ~0\;ztb`R#DPF;0}zML *ai[C֔y{!nd Iw?!W .dE6ݖZt:432AYq HOHq!y)M5~ز#N]ѝLS )PdIɵ53WRT {tub71OjDB>A+yԓC*LϾT@`IbmJpg^z 7v⨴(xy#0.1PrCnKɥ#lx\2 Fo f] #xU%O L|rSd끐5\CV$-X3q hvʽfJ*)1'pV"/LT{,⫨qވ%A/Ȍ %Uȫy>3{F `S<Ɨ(zg M:Y{%8?\H?>Tu閄j6]sEݟHՌ!F%sf,P+jx+K(Aknʕaƒ--]c qT9f_$5O$BHQxY3P?976(ńalذJЮpkN}f\}Aj&?>#),QNFԁ6aFx:v3㌛+-v3?|5ˍ.\ق*'奺c T'(bV+̛ ᨴP =%1NV%@ ,,-=[nHC΃db+SY/3>ЩH-׬ӒoY WMir+BLMcUN%̺? C #'r^[p?FDl,^=3Gj@'xўIiuB)Faum] =ć=8 .Ă ySGY+LelI+9P5dM8dz5M& ĝ<^4/8q[!#s|"ND-3j|ŖI9@11U[E LG8LS#eOnUBPs~r>QLxL0ZtWl6Mw B7 'hX'K5YVm۠VS˘`Ⴁhygn<%dxڪ c@UDh _'ʉ#G̼jRGC?Lߖ8HN;YpfV1pBʬc#y{z"WS*aY%qs:Fij;13ۇTZජKMȐjܕ ]־[zU7ay)vtѠ>Oh_7V!"t+C%6÷ֳVY.M цUZ'LNC7Jjt%O`h9 &uKM {OWl59#8k W})1&8I˔q@ȿ\A?;(ńssJZCt*G -eM`衿hi?c($>B44[.;~c%Zy#4ù6ݙ৚,fj4Jd;gug^WIk$漌Uꅰ([J, '={Ja4CAݍhqGOi8:^%|Si;#K : !W^4&VԠ%힭l-pZ3>~lGν=e4XY 4GJ~I< >&vn.T@95-i\1!cP%{G#/Jԟmhi O6x)X賀>n*ͽ}KFi߯y:^*x%!/#4|s?e𭹨o^l!{3zL*n/>9 {G+fXByiND?:(Xz|r0YTtcDHVfcTU*H R{ĉ t QJUQاYawbe:nT)VYϱ܄<] $K!\ sX v* /*p_s,8wb !×|h'sjs+GHum{'#ojH J_* ܮh2gId{/;83hs CoEq !|*Z,J;s;g4(|$q1^TH 7Դuǎ)F9d!.汰uIe} 6TK0R}!}@6Y wǀt~45=˧Q Qyo6|Re6H+M#RuE ]Qd> @-X֔v6R,2@Й+~r,$7{¤gEJks^ ߟYn#R%tyйN=5-Y/ NE͛=ޅ{k$BS˨'2'O^k|c"}[pT5v@1w\fIg=Ror4BzZD AV{(u[j'(KB|^6TJDl?Y(|a[+(GiN%f_) ,,rV!*9h6B.ߤfs+u8t7jU-n1$PR2pE[3"Zyj7"bA8YVL~ 0:G8l 0|8󂅪\NQxkź@ֳF*vk](mZz3H(*"3ۂNg '?tgkЃ…0 k)7akژg$d+BaClhV=B$&942˝i`dv+,uW0 >D:,jL ݩ`2wWaSye=SXuz{mv0JV 7>HpK$q};+8\A icLQf HM.l/;.WaSp fvKTf%{g+ j3}dĺ3;-m %>7EĞO Xi=P39y=iup bbk.BZ;#Dkk:!fQM-E96|iwz𥢮u)c`uppQ\*&Hm+Xz .qIlZ-Ƞ}* +B2YEH+p.FJN쬦 బs݃i0]Y?l <Gv8(]u.r%ӎM)c0CC}Pt/;kbS||#iN'$q΋ZN=Aݴ[̘ EqOvJ>\di_8򠊷8A'W ɮaW\n-F`ʏI0֨Z@R8K wvbF :&F=d~2^\=BEmI~[DH^Q(JlYsqP\ W>MKlLf(6v !QW{;'Ȩ7ۈoQU)_enakacY6gIQN}_=[;d2G]7 ^Н󉅥#Ķ_i}W=ۜ6mN&jg/*ls>30qA91Sq Rp`u+x<59&X 6EF|:=dYRU~/ Sc<ԡ@ٟـIrpNSRdڥ[¦3/A]wu]^1GZT!J5 h ӭ!_逄?($n@96[%6d !BdK؂Ű3upCÓr{ltAݩdl/Wd^ H3@ rM lN:CgdWvwU-(:GU,QL]̎(\Wx!9OSzn[yRAv31G%_Iv嫭P:$HR5S5ԧrir@ڽA~IhjȖE5 /{kPAZMQVfyj5#JbyĬiKBȷ}j.$5N5 vSUPd@$:sx|n+ !͌0u8f5Xm2qOt?u-p~jRpcuDhBFBڬ'<=t9W7yyq &'!HtԬk6IlIMey->X9ݭ=f)]NiC!ȥlV ,X&nГ*t^kD#f?EPc V/[k^a{7R |uc_ౖʬ.^[61~6u 07WMN4?Xu0ѧSo/AxTW e۸l{Mkt9QL[7k[ry-nXE;iHb߃Hw% .{d]9&E]lGOh̠b8UiS[K1-9hB-ãkûP n7 ukGz7":I1#-0~_9@޲Cxtq:-Kjkh'}[ɿz4(ХQ˨:mYG}XxaB}_Y=Jb;)tk =>wU EJ%JDFO jFIQT,70;;CO9؞aؼ@M0ݧsT`C$}Zq݄E'?Sp $RL݉R@MBz{="7# $H&K(TQ:[J֗I0NL@AO(ٙ ![^'BqION7{؄PR_GHo;Wy6^@hלbuZE q5πuc "Ci$yBxuxRgڣBW~ },ܤ聑s ]r3K4@%{QTlб_Eu!iUILв=B KAmR+H~E$(̔d&h@t(8<>iO0Yfa'~mu@!:S벤|Qoqدd>GL(SEĒ({ȄXbXWdq|?p9[`d tP74(wٻѻ(gu Iτ–_r Eqd5w?*&cfAGVfFs+gAg<oW ͉@G?4t[8$AfF[D쿕c+!QiBDE-}CxdA&3S׹ِ{j53aۡX|D[^[񹞚zJ "KeICSN 8BT88%Lܤ1h NO h= `PUA".׻ ҾBI% ,qb:vxsE L %/jT" 6HȠ&Ɂ܏޲O < [N~ 4?M c W-&KwU42>@]n>,,uTʳ2}~3#ƀ^~xWM/j+{%Z4g XXݨu/r QfBe|5eĆAm|pĠ0"}r7@[27 /Č3 u1OZ; s.::&}IhUdK{teȺ E<7އz?\4b304NB1Dʐƭxk[3kQOpMKS.9djhkJ>y|ֳV5@ UwY H7&`A[. b/ m&CBR1xK#~2CXu=˅j¤]#U ¥]KCx`*%~awBiS\E ZoJm&91ى)1W%]{%(QQiqymئbN>a %ȺS[H[)KO6cۆ,3?/z{O{?`n>ZX*fz5Rm SփoQGDhup\]z.b~Z| ǥS՟w MWg/iHʸ{!:f_INŭ+ _2[0/n M?]& +A*i!x f/6#0yl"s}ad. +/(}0!D=?x?]0=)QH j`f󁟎! ~$30oʹVFrx+8Q4_Wꉱ2S FDX&ur߁; a߄.T>q$ {ml`ω)H:& _43|xS`%`oBQ$ܶuBgcŅTNU$‡(v: I3-^[/{[go)S]Cס=e DEI}FCC|㱊!Zi̇DuТ{XeA0v2Xpс);lJXH_ꋔB؄D!ϧϩ`ז7!yF".ڇmB$?zrzB:Ih?vC`1kZ1䂩d)bܶϠE5 iS(#׏|d޶0w|'m4pUVu!1ODV܊WlXC&g!:Uy+L-(o"u-=23T٢w uH[6qWnA0,Ca#|]e_Gp%^?>]̭DCpc u)uò#uJv5e"`\ȧ&p[΃5WJ}LjwIŴ **M_D%ZFNyKtL}sՃ"jYt68@Wð5܆X6nh굿;1½Sp"2;fѸCO*@[G 16#1@(l/Ċ Qv`鈃{/7jSpjTheE%b#k2 q(z9 P̺(Z\%UnuRsӇhOP A N./m6PDӁץ#y9B>_~ƫS`hS:3+mF('uGFhKgp_F*~<2hUcwaT> hb%E&PUs:۳*áPs2lP)G$,Ս%,h Vf=ݪSNјzc&mػ2㢹mt'rrK*!VjlهE--eoB&A?=)Tώu_*3͔1iΙ3@,Ahr g9͠-kT2eT/Cdkh)~+`/.eAiiI8SaEנg?'"My9-ȔKTP/#}*x4,\s}ۚӢcl~N^^.ZFCBt)Q:t-g s %yfFm5rܨ(ף0kß^M'N^De(rA䁵!*Z ܸgYZ MM$ 7K% DSATSolverVerificationSATSolverVerification.BasicDPLLdocument.tex7zXZִF! -]A-MՋhvG"uIBm5A}O 8AZ1̞Cn[FT/^_"Z[%%:|¦|z䲼JtLq<#?@=8rK]oӊ:Hp' DOѷwrgh^Զ8fD-qg!jYP8Xn6[ %)jsY*+5 Se. a4>uvQCRPl ѬccWmžJKFZuI5DJTYKZ >gnk0xWR @NWk9&RןHwo@]]Lsb%šWMic85WʼV7TD&!.]CByy&z  y%43YBȫfĠ.,X%N*bX[;FG!-^Qg [s1#K.6 rӌ{ Bg>V-(P?, ƐQmcdUazK3~Эҵ&UO?RCذ_\ O4\H >S%dR18 i.RRFcJ5&F*Dv "%_9u qyrJ^:0!1QGlWoX_BXjD'zfO7F@G [<{ૃPgRȀ\;!v`EycxN*mk!4vtvȤ$Lc(zC|" C9u D2ouՓ*PΘW>GR.Yem)D\Bu5D]{#)T0"4Ŷ61t Kb?:ċ_G 8U tӰM]!6ˬH>[SE!Nb&kӂL\qYH1e없|yPԮw{<﷙lHʭfE۝# J"[@ 6D|Gt2:9 'tQ#9GVv&nL/_ܙFzrE]HWbd$nR-NG"ɂ;?l"BƟ2O s[(tO5XQ;Qpa|}֠_ʿ[S93"Ƥ!ߦ9:]G :^!9[3 &'`#ׇEG*B3^g~TK` "mD"#dRD @7&;AM{`<=+BMx5*ouwɘbDf6}/,);Oc,O^Gy2&.o+7V0bQ9NUe,D-(@7rӮ6nugJ sndbH~u/} Do|)lOQy:(h)d%[;] C|yd=_|'挅^Cq[ uFy\{.4]WZF*@yV.&ȸyuGn=O MӨQJ4]&Eψ6~= K7[plkQE-fF.o+c#W%wWnf%Ȱwd.2/+ٽ#Vo4 :/4IW?0׾?CjiRYb ϻX]@r΃VO0 V_ %YVjXU">([ x[ X*"Ou%p9ndJ:y%䲃Ռydr"&2 ;$Eɛ%ͲGW{4RĈ{F#A'1XɆ)E ,,#- H̐Y iD2AB{4'_"eVnK,6J]t*o} cT]K1lķm&RNP p~VmxXKXM{AEzo|y7E> En5bY(ykS/ba XFcy!E7^t9 CCrmYά_(ٮWSueЈ7 gF[c/ |+r5YtQћU kiGC={:ũqvW@G5Zx.Tna;@~ΉB1O{|)RB3-+1?IGFfIH; IȈz!KL\S~!:~"mtPzk{hwC XfjL,:틱=2FxKE- `K %9*Ha1ȄmZsALbJ"qeKX6[SukŤ!'\ͩ A8+2ae {*sd?E_\BeC# piǯN+ae -#Y\/@nGjg7K{eJk/j=-٢*DqFD 7.tގ.BK+ptť\ gP 2  -\ڃJT8e~j,:>ۑ&Ӽ:UH',JqW,<'NtqTh6lt6=m?::H+\kwtiY׃Y1?Xo_8ig >tjs-.u%$b`6SJl'*VoYIq0fc=z1TRr* ڙ׭ӺV+oۦ]]Cҡ)BV lo TuW"8)Gs;)?(KhIQPv@Wِ2 "d`6/W9S5 t#`"6Ą0Ќ#DEڠI+7~# ӷD +aZjΖA9u$P[i{L(=?pxG9i"$ wAsMТbl2imUVv"Œ 64Nw}Y͵t9}+j>6Ig|zyAӛE8~箢VsNrx}_ʑJhs UG04ʬ.ޓSK0P;ՋCEyGK*Lf=đJKÎz0@jW*5Sl- 2Z(?8 f\]vgISߛ[2P;5b,K{zb3['3v%XBxi}!c>_DH7 bQ2Nũ ̖-.TMeQ7od銛í0#uaۗ䧺޻xΖ2!6_K>B3a臑e4ժFd,|U#`~J>L>^[6t6lN`\ WtΧ'K -AUqJNu?V` pgnH":,CDa<[Y‹+QnGV)g 3MEIWSc2h+MoR?.*PR;NEpYIoe1ARD"\Cz6U!8U]uMú&?sJ+IDh`I i20 fӦct "wVvx- C^.)%5FPOX;0LVA1x 􀮦eCJ ͭB lrp,NYsڍD㨍usD= [N `'w)I|!rYsrS5XX!ygP$2X)HL O "` @'YndQU,% h> 'x?U4S҂z6*S^A̤ACdݱg3Bb9g?{ 1C =hS!脗Y@REj\O|]]Z#G鋐22Ģ!%3P4:TNh1@}CpN|"S>ܳvWRHoPW5ڗywYS^=>0wRMjhmq-ֻ`J"Nf$v.J0ݕtodb1"AipMZug@zKXܼ>tz,K\="l1r,Z1 \S+hZ@-"<]H]&WV!R<:Jj+rIiMqe>`YE \{0Fj3<\F~y̏Z?.:=֨"E _l)w^sU=b#:</$;HN`─HIHȼw#BE= Ϸ9@=T(gsL Ir, i}PaE׍uD&wx2!d' wٙc.Q 6rᨼj ZG4 fI݋U&'\WVye-uQcz|2򨬙LhƆzĊI<1U*0S7v)#ek#':#۫6*Xud:#Ө>u/)һyb&<)a=IX%Q9jaSc0a iPdp֖sǸ#sgG%M,3i\f2[Nu\80K@vͪYL@!NrV$B!x(k; #puE^CכhН'jt6ڕbBSNÁ>p+W灮e30YR{KZuR[,#1& "Sc ީsr %Ͽtd^T^T·~_ :&ɪS "pN!D}mDYA[µ?q;(3 _28 DڐU$q'neL+)M hB@Z Q"RKO87smBZIC@YgxS;\CC3æ[gYZ  7S% SATSolverVerificationSATSolverVerification.SatSolverCodedocument.tex7zXZִF! B]A-MՋhvG"uIBm5ȠZ$ \?\eZi4<3X`4t @#`0MK,Rc[c`6z'ˢX7}N cZI0ܙ %!Jv 0vz.DUS55C~Ȫ-/Ơ{&7D{ >,Yau 4tDW0X+<7 J zBTrìlF^/v f5cL^n8}d)J=BT= TEޡ&"u,KE}am 6up eyp: R5 I=:bP:l Ј =W .oPoux`ў#"20]NuE·e{l, I-V^eP~@Nc[$f9tJ /Zi|翺︉>i$EÂ̯>i~QXglE@KPUkHvy0C"f_nv} 2&O, 2h(+D̐Lpɖ?gcmņJ=gz-Mdۏ?Ȓ)bmpVCObÿlpPkl6ȡ[ɟF`tABGk<&&?8Nn7ݬ~[R@x0n8˴]~M]hr|bʌ'|׷5!d=2QM n%,wa?y=wf0rQ\A?M*Axu?]Z&kS)$՛WzgTȴ;m6/Osw՜21z>xCQJ?\luB/ $+X$:\ۅ"ig䕴:w -u_$ؘlUDN̐|'"hXTg2Q9L J*@SzTj93<]( h倈'~V Fc8+;6Zˆ { \}T뽦4ORzJN'8J_.J'fo~]gK!fGp!KyIEk%VA3ć0x_D;$xG+` +.] GngtB 7 6F7jbpt\zΙx[u2qW@o܁XI%j: wמR^N{ԣXn'M>[{foUbHk_%ضZ Зa=[i"koaݝ%c3!sP,!ێq w_J!{ftuo"p5^V\vwDOUQ7~$1\ 5f!2p _=4,I'ٶ1X rگ88-`Rw'Չx\. ?%Ϭ fKZuܹgΟY̚Pw* 2&^mtcN;o辽jYfCQ)g'["edBm+L혈gSC`sH@m3$+|p:-v'͍LCs4 T|vS gV ol eP57vd.ֵj60vM[4 5&qZ TKD9< qK2x(nkwٕ׹%qD*5Y1QiNbQgQW>fߖ ҏPFGa`` |MҝC]{NdӃ7[hmx ;bjK_ jnFajN?҆6D(WY(DT/E^&( t&<lWu~5LA=ݶG]Z$7{.h ɐ[`<\\_jJ{.ڛu$BeUqJphCs`~ê.<';@d<@wIo j\U@2>yc&gٳKLokh$An N'Kֺt @_MWIJr80kL-hj}L?cos*{L[k[9 ~Ydz]IcZh)BʟAVaOP }V"5~p$5u])ܔSƳI`ef~@:L:3T]P!N\MKH͒ംG&nLt8R|2 nh7EDW~H_]'z9xnd*` 䥭C͋tSbژ%(i"ܢQP6#{ߜC u쟜EH][X*$e]@b*NK5ȥDz;_8tkW Y?<)koBy ; G ɩ pVԛvNsKdR T$̮{[=l"mwB<q㽠3`Ѽ)܄wN\GD,X ('FGQ\p`7ynLm!7z 1t*EVճ D{6? 5TN'!󒂌7kwFn -ljE~h0g ACb1AH,qPSV ~0ӖēMu̻yٶ0B\3ݶTb34Ǔbe5Dy54P2 47r c'ϱeI *1kiQ"~زTUNn050deѳ`Zם^g!EmKi,gPzLsTMR`H0\nŪnp(YN]969'Scgg9۵RP=2-heqEW鮇֑];!8Xʈ{ 9/:IWf(7Min$ CY~L?f+m[0ςS+iC?I\Q'̓>3)6_0( +50$U8>p )ثTk+P~j_|bJFӊtsԩW,:D{8̸UnH n*bӪc܃;RaT*TҘb>9CEuPO(`E2;r?yat+,/Yz' ZN$*X,]w=(T1/T}.I 9Ok >LN&lbikm6w#mRbJ]-' $L]TC l+u0=}Z)"7P<_$긳U z,` 'B( (Gx/|Bܩ! Ïv<éO_n v2|'mѺ6`%B1pjVlZ]0Bd7c𣴓ᰊьp9sJڍ@Ǫ>~g(HD Tl(X&KGf7=j8Xg=wI`-/L~3QQ>MT+_CYCasU3ZHnݰ0hk,:nGqmK˦(GMGS4{߂wpyBtB+D>Abn#DA=(Ծ>]yw\&I (>le{"Szue쀿9Kk-.r|:rF?nZm:kxD"`HƢ4?C>Z5J唓ƙ ] %#/0D8WI;vM*ԋ ۾d!TπUvi- QqW&ҕÅ+hc2ю/LAvωRY-Re0{ΛWr lF ⱇNǻyICQ_a:]7KXoAzS>m) G|I%q%dGuk7O6PBV`|vR P#5ysP`"PmdI+{!wDa {zg/5npjEN?6ٟ;[j#+MXmz$,[>'0eOf+DBmC6kVz"Ej:nL =.^n)$ Uge>O:;jٲgU}u>2gDtzb rfw?nIH|#TAlѻpVFhoW59ͮkWuQ43a&WIVqNY?](Wۭաk{[-> 6aC.[T~j'zE zR_ˠy?jD{^God;WH)25ie DˈhdLfDŽo#B<^J(AKΜ©UƸx3N'*h ߃'+O7kB_ax1lmځVGoanv!D?n9gYZ  _7I% D'%$bO.]b / u©ojb;o5:jQ{sN9!uogР+O; =*wp?/i#lÆԔ:>Vdҝk[C @e{5PddZN<r?Ve ;GQ.Y[r8Muz681A k3`} Sk?8pFK"Xޑ_P﫹j]PUWPwSR+"s]*lD NWȏ60 le \U׮`{&RwM^4o*;9_ qv'kAiw^ZBﴭJrR9cԤ*CcU&:HObiGR? 1sojN % xw\dmd=Z2-Y|-_V/K^ 6#cl Ԩ5/i|c̏'8PRxh7nN*(F9r1TenP'-}e uyə{pvI^n͕[=+d˪z)KuA =X$ "O+TZ^Ԉm$T(i}5? =_`b_‰+]_Ol79\~#g^[1I#DzI02u"xE ? ܎٧J q| NjvA3:) f8ᗀv э-gZꙚqT ǍֱQuZO;v\p7SG@b^)`_q`IaELfdD8PKy!#)E.3s2v) 5j`yc5@ʻo$mfa&T1dr-S ME7 %(XPF*;iÑۍoQuT8USv4L~?>])qF1= ;PZJv7i% LSATSolverVerificationSATSolverVerification.FunctionalImplementationdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5q\:Kyf#"q -AJ7(0dK6Ѫ֪%#B~O,uQh-ݤMsvUo?~-`YA4İOUtM Ls˭b!=Oޥi||?HEDfVF$=1y7PduES` X5>QesSD:˧Ln{rLw]}euh?Z3I`0zP},jSBE?SmRf܄.bL9O[=Ԧ Kg l`$Ž̎9`=ig X\$&llּO']G%/\,?ԡd]KyhVL=&ˮv>6kw1Ū&є N on;/es6‖ B-{X:0Wߦ-l84_[#&gxUwe,? #=o^:B:)]v<&6b_r(ȑBi7\nh)JΎp<J0~U&SUt E`lTQ½^}d's# mU5H+P- mK8}]$3V=y$ u!'{%ko✽|]|mZk 4"+!95`u3;yȆpDpncS64d&E/QS;9j ,+ U].6z.x@$챪RԚ8Vz6$H8phK ]X~puRʫo;"sU \;wAH~kR78='?X6tjeW P]" 3޵4 s+ _Ԍc[.l/oB~` AO egH#TArho0NIΒ81?csȾzH{͞V! VܿD}PcJKKcfm"t:[!'] yGXHop EԽzųh,L0q>%"@ʿqS9h-RlB0j'1[}kC6lj*25mLK9+7vA!> 3*K/q:cbWL6gy$W$/jLo45m&qȀ-w-[3 77S~46*2k63 kc13M4* 8x21cVDm"7y%uQLm!syɞ<"'}{:wf|{. մ4k8M1 XQJesqBJrCXÉ(̇DH |CLܴ\k= 7luf§˻v6[Kp JR0;# p>6smAXm@ t4\B{2sIZ͍.J}ߺ)uAmΥfA|Lգd<$-t0DtYfɭ^IVd峡 9΅С T`yS2ig)k}*98ti A3e#n涻6fo_5c~E<.MLiWF}\\į}1A0^){1@(&lf*ӟ_|b>6]9v~-Gw{w5a&y]Y = xnjaDj (r˃/?NeA"Q4fZGぉݔ_Hy c |)( e ֲx h; !P,5Tδ~VGiHWrRLG[8ꖓhպCo% bA̝Ҙp$%}=i47֩M)G0K][ R5bgők"F{Mc+@`ǵG!VQlWo!&7x5zʀ󲕴t غ.ZIJ 0 ,4ʀK 옅M!= bR >w:j:U0:o$uEey+c,9bϋWv][E' * H={t1Ggҁʎ^.'hJʽȨe۟)#H$8pr6:) ]A@UB*Stvݳ;qf,I]w60)$l&]YlnYumc4`utSw-J+%O :ZapfZcd+MG n cnȂx]y^{}E9SeA 㪹U!(d*pYAxA0 $ܢ=x[tZ2ʨFɁO;Imwͽļ*BN*zo!7jl$d!$^ZD;XMwy !P 4 N39w}ytF4`,Wcst?^c _?qS~ڇv5*OwbԶQg}OIHV[F(aQc|4EX0ЮG]xmfjWYV  ;?,hX95IW*9WviRᒜ - q%dgf(U,J "|A ;7oTTJ?'Ϧr6_ ^q0v>l(2$^sRV[F|09˅bDUw Em*lsqƶGq꒗:\Q8ݖ~wZoO?W@i0=PƨC3V eabبLtꇜ-KHSzpqs?2>`GD eqN4}e;wawF?c<̓r(-hx&k^55'Y'"5J x)B':9*١N{AVm\zf+!E V!t ,Owң)MNϨC~~Õ.ߌ1F:_iy:b")$8l6[AŀX1x&,т]xBnlΩӭ PJ _%A¬peFClh2 tMnx=LZVJ]"f4S$ŲTh`sְ v"C2GP[I 7EI=R=a%,7ē1#slgX,)~z XvA @}aR2? G³{'͌D*T\5oꆃ M̔pvbuJYy}>9wVW@ Ӣw.bK$hgKg d Áh ?[f}?.Ѩ?W`u*?$h ~1@Q%wG o 6bZ]AЯhCP3MiɃ$G/dj yR#P5y@?n$vf2刍 =N@fG(0ӔHD)e<Q4pޱ̡TԂ{TJ9}B=;ƒ˨浭Uz"nTJޏ݂KP_ԞA AVMQ!)CXpɟ,KP%iz$#!Q`bՙZG \DH {袬gpBwǨ|&~ EMʒ!c0/ e.mTsA7 '4}4wˁX;P_ZJ^8%l,FJ(etz"œ`釞 0 ? Ih9|sj?h㚷ϭф^r) E1V ,RPq~MeNtne8ɹfm0KѴD4|_]늏1bu{iJ,!5l(iF͌5Uߤ}^:`9q7!A4+1)ZrGl_ !D"1Fdfm4`&*^WQ@ׄu} §~g9u%`uYkJwޘIKmy(e&|U^Q؉KDo\2iuJA^_&v| bNg2 vlF>3)>,?_ع(Y7ߑׅ!}R14:ԇ%Eey0~Jdto* M6dZZfԳ=ՐLM,+G#&}BIuZC<]Ʀz[xn!}9`NWū]JwZU> 7o\N*}#?Ek:^wCπeXb2{M #I m1z uB8#^]PyqcxMA wޱ?S{j=?=C#o :A??wUиȊogÒ GGgZ.4ypVes*[!VYXŘO|Eo-S9?rtkop(?h+4X Q#,1Y| 00Vc DG`@=!O7‡q/0!-WRQ{ڪSuYN97F':0tuQxf"B]TwׂDV1,vZZD$Vc[$ 3z\4V DM̮zZhO?hg l;TscF^uƆFB#PeZߢ-Móɧ7o&H6.nX`5=4֧{%s2okY)-c Z'PԽ8?()n*bVMQpDbdZeNBI's`<( aHo/l{]F~[I!)ưe,^`3 a+!<^˙~d4T1Utzڦ`KH h #BX/e".s`Y@CeqKfrUƱ{D..l&$3)j15\H*z=WҮpszh>}.GHvPЩѼa`z-UV< CUT7prASgR׆34Z}R ߿f{9E, -ʫֈLDp(Ru痬 .<38!jfn:j\#nzq)&JCͦ#X(s > 5d?v4v ƚuyLo2I^rPɿvvWh9?[TPg!?\_ʎ,d {Xq@+VA]¸ۘKi?яc=jro!k7~"(Cl 2(Mf RlEO vfjd"#gH^(Yx_S-LTRY]4FI IgJ;:MUdjP22$@eϸ}dK Q'g.JᛧJ,Dg鈑2RvMj(A6 ȺVf _ip8iP;ȳ-phhj oȴGNsi˜PM\Z?VvF,)\8Sg)> .mJ;G/_B7VmsTꆀN[PvQkV1E"q1x%5䄏53SQ筜A:@Wo=o|i*qJUӸ7{?_d?Cf69MaiGSbhMҢyؒܒXA2wE6ΉWսmʄ:򂍴^lJ?2w% 4wd4w8,CW2gn7|۱C{|guGğ`U*sbuP[1\؊/W1%.瓆s5̦24oOSw,-/%pZzRr&mbɪtdIt%b{Ϯ_QrV x. {Ѐ`Rk`Pr7 /ۡ7MaFWvP.!mѽS*P)r@z/L뎡f!&Wro=0Z<1JtU !"(;O0,?.ğϔ0Y}vQR"-@hOːܭxWPz1\TI8ۈCofm WlzDRzˆ@`;+$OOD/!IVfܨj,E ±Üuh|D|TWF1G@xC,@R}0j 먺/+fI(@S-eU,NP*e 9":]RѰ}\( u_A6C[1VC=7w C>g/mvFF ;sdIyScح߄R*_uFmTk쿭ێ:a}J/?bA|ofYwaWIXNS+\1ިMm hF.!E%"&oKfgH6`hPmbȔ H sWxE)X)_p~^5Lt Gg#MF% Fl=h]<'p H!vXg#7A>f[My.4؝Ս_GeT>E.| 6씲l2(9@# @qrߏ1y`tQzAz[qɈ2I]F)Ra3}KH{vTLI[d"̝Az{ۚ D,^ITpVʴLTv^n{Je$XRUG2)0xȠy%Ũ6Il)`F& - u(@}% |]zȍ8C;M}Vsoq_>skj$_E,===iٹzdt]R|6ɒ4dBlcZVfOWXQDnŋÅk.2KJNކY̵9< S8Lкahc()?|{ nxh Ek`O)p٫ Msl aľo2^=^5\t.t\b?v;2e׸=bgR{1TS = Ql X/6&9C#٪:i*U4p|GVY0Y)a[U͸>)WyE/ xeNY%9*-6]()QO#Q + g1@nؾLNM4Zf g N 87& ;+,h77EaJVaqeysr9и+Glh%^` %L%\4!9|rFy E=E粂+f? - Iioiy+' + ddU)CP<5 VD9_G'S%w"^jIPG8^':#Pk )G Js*h"ӝ|(j(cS,Dv1܋2 nv:.9F&PtQvX_*#6L,^`vw["&dK=\ F:OqʥL$z,l5dY6VSݩl@C'C_&jEV85ʠzL}nYqS[+(5`4-*C);AFT1:z]/ $q;ΪhuJlS5\x2"Z7u\/~MOt4^QC%wm>K'x= NmNTwتs-'>K/x];Uvlؚ(X?$ڷ] km}T8j#}e!6%0Q0V39+m.96A&vRv8SDsxKﯨpR*o>K7ҋ ϳԫ ^8]9j6-vT;.7"ߦ7K{ TY$|Ǥ zs Ur$:䩿 ʂU5Ay,S9 g >DQ8QMa hN6,&8 pl-3z4dzZf e7V]o`}_ؾܹN*언8'_ YpAAc>/&k-֋'"5qdl0~Qza;$!+ss&Ϙ>٫cwg^[s(8A(_~6QU"/ M d:$! OA.]ÂM'; c*$K*Dd@yPSTEK8c\ů=jXSƑ}ʺI&$YymKƊ|p-[ʌY;8`XlSd\u9Z%gG]t8h. Nx-'GiJײ,q j_@y٥f NHkl>tWV`/*)d NBî*D<i-gM=iqs0r2dgum)l!=)|#/BHm;DT&M|c嵝EsSMw`ע`ɀQK&AʿG2q|r.">l Tp{No'thh egYZN jRআ)T*haE44@`;:cl4I5VƝaj&rB~(ߺ3  li^c%I#e١}h]^DP0:9D򿸃Zg`RzQXuA7uFNQz5Xʈ % gIyuMh-@ ,woUUt5u/G,Yo4 {7 z!D~ܰ]* ۆ (NYe1%6RQRlnKCk<0x\=H"_/~qyL ,mCM#ے$Nۤ,wt ;_*#(.\}(?˯a;nJĠ;Щ X,4OR&5hQʨ/Swj=q rv[.#QIJOː ; H/#~jXah)\-il b'h+.aԙWFNH0HX@~/p *UGicL[OV;Ԧq+.0\ 6E%u!vu*ҳYh\vihfS#{`~RYy&w; C4kc]q*@cQ&VxSr+Xŀꇘ2o~HZw+?3 2Im$⣮ ya N/#54 axgq4[{DžlFx.܄ВeEy4eU/o)$RJ{k1GY[QiR>6 *zBu,/Ex/đx&!߈@*6榷+&ݝդޟGozCn.=Ѐ&ӃWJ0";v2#04'/kπNk{YPGV s%'nI"ur-W]f.#g:rR UslY*QZt+5 뮙%iHs՚v }0tu(/|.ī"2@kTațn Y,L@༫N3rDU &IPZ18fBvv/Y6ߌL)9|k7c>d.Gb $ieOBYϭ+(A$XT53b'9eWP!H oo4o5NTۆ`:JQW-G LQB!P2R,iMu9x7;I~0ػJ\1 AM[Ji@yː!&YQpeG#ʣ[{)UʷInf-IAX o)K\\Sܧ s7$`" ef Gb1*y9fc ,Ap-ɸy"֍j}y,ț}MƵe]ی -iz")Nc2 1$8 #Txh>mvDdt-B-5Gx뙪 =)fiCӀ\KQn*ơh [#f0Q1/rTf}#8Pa;Lح2%Q`;c17as ߣ õi8$"bɤBz-hQBJ*DZgYZ7zXZִF! "m]ŗXiɟ՜zЅ1| />!LB> H •$$ S_},vJ CIܽoF[a!o j;"/%7O,1O9}8Oû,># QPPmȠ<ˈT+,^&nZ que8t}@Uz?=}ŕQw#"/[?ҵ6xY'3j1  gYZ7zXZִF! J]ŗXi%; K=ƫ(Os LАlzQ"xlRGa;{-?&$s"XOLKt8nFlR!&hfkuBPMeHͤVں-9KS[*t \G?*T-_0֐֮/ .2[b)VU5!o(:"c=y ǃa$/W1IE_<",EO*vl[SǨidE$ymY>>9{/'rݬ`y?zɝv0tYo Q"Pvr^:(VNQxu8I.p{@43F{3"93}\v+%%] L_&p9y38+\Pv(/8ܒYD,U_Uiem>\,HuL/NB s&X:FH-!pN?ÌV YQul͡ڳOfa,aٌ !O&!vtFx9W6 C]BS 8v0-=C`*y G0x47[LW2)Csb+Ys)/&Hs?Fx1Iva [;{i[?2:uVS  bzJSɳ┥(M*EJD'(96jE- `T)}"[˓z[u'Ի7^ZK7;~Y>~ ze,+ڷ4T"IUVPމO@wHYe7ϿD\kfg)[&PN?cRJ27Z;?}ܙc&L#) SHۣ5=Y|U j}(IHCjN) g!bh٥ Sȩ~{{/z%iԾB,8toq4olqT 2~nxi(6fpђMfQƥl ?nl޺SѶE_3vDawxeλW&}eIҮW;]8.&[Fju un[u~ ˁ,ra4Rl}a,-T;Z7Pl@@RZ@Y(Iy ȏǝR: T "ws><dSYYdi&cIhFV|Jh$]>YlcNҖ~oIZRS!E1F VH̆䶹Fت(WEOQc_+thQ(}b0mHu^'l >pZ"(+ -?[/ףdV-u($TKU췃ɑ)i!c|tw Etom'ee%h[SݖO>$s%(k^7QĞz[Av,&z][m{."Г_{b3k>Z6xtn6jT`g"o^ΣjD!'v/]*"&)?0_ZpHUPidK'Gn$2Wcܐ !qRl^(6)@ʇ1j @n$j;ep( _ZFb$p3}wʴ zӜsz,6֒X/ҭV?# /ߞS-`N¸ieil(|QaYdH$[u< 10HҫFb 刖$﹙0CB#k[{{,-=*Uxb*~#4%vϩUZݽ] vkEea[В1w+=nURsr8mʋڇjwYbK&:Wﱵ /Zޢg66&28 iRdTydOlc̷&\_y++Ϧcmbd a>?ǣ ՞\TM^ !ƹꁻM9ddT-1|ɫ"ۄDnPct꿴D;͓ l'.ܜ+zpgD,/y-OX&X(<Ql<4&d^h?T$ g.wx*Ljj2iUJĴr-sw@8BY%翿ԍVݦ F2neَ:bTf+/?/'}$)" L_üU͢46TgG-:-8OfU8EK5{f`Fox^Iވڰ4*D & OGz^1w,͈HLw_HB5UĪ }F07C' ___Hv(M?Rtm` TQe\3I$Ap Lb뉚PԨ)sΪҥJgxOa)rV#ѳ#evc I0CppnV @EȻ{ B.}kSKiZV/%GRD2W"CCdL̯PVVbƓt!htȽ,_|jrҸZ[.l.GR­"r+̠OA̳!P[W?I]!Dӭ-d`{fϢ/5]'b ^J-Jht QK I=T,4isJ2rNSv7jg=#|87Np?[6^"Oռ  xe4M@0AKb@TB+Jv!Uĵ t“;migg電whW2r9{beUK[ |4Og> uk&L(JLH/u1z+Zo.yJ q%0+}S?EBΔ+hW򗨿T8[Kֈ| "1`IT-fn@y <Xk?z13Nj^\zDW\l_bRk?"mh_XL['4ȴhLzJϧwu?tu3ĥhoN|>6iIPyQWiq=7}<2+7iߒ} 6jnKR6~G% XO/rA2|*ِv"ĠhvTuGણ%-"1כs-ɀf؅1!Ldj,s-(;x@AXEh8C(YR@Z^xl| i'1&j2/.:Dpp*Q{0CwԸS+5um+[D7P$gڠ-d AZ;E1Tyߡ]Du _,sN?K[Fʨ>53H#')[ Rus34QsC. ݘ$ڝT7ӮY]8Aal4J9 p7  z,Sqc1Cr` ضci'ׯ7a9k"z<3!uF Q,2<8-#AO<qp A9R$Qt#J$3:uNä7A=5~zB8qPl./Gy%7NVDlx#dUOVJ|z(U*A 2IX<it։r١SoڌQ ' pC-d<IjW@ۧ, wbBﳵA NZ(mHH7NPf5(Af9hG7VE։5i{Thcw4RnژK}wpQ\K:.p~HBiF}R>=c<(7*~Vh܌]]玮E;Mfoʽ@0wDD]N^5YR ^u]%l!X HO0ާ>P9~cIoVt3< qF#ɯ!^ 4ޝmNߛF@t2o'Q7JdrP-b)8?h&?lG:<(xMTSPU(vI[ v޴*jf Tp-D@ 6O!"<Ҡ bX @xGb'5 R|4\4=;&',Ep(w4ad̼)m8О>:Jd(+ Hdz 3):X#8vH7φ2OOM,^;̀$:՘5 XO䃙M+;ó2Lb5#W2fzv3Y'XD ܏隕"m cDFB؇Dj6Rl lSsHސΘXGpQn0ek"jLNر}gaqugi#X;2 qϲ>]ԍ:mT%rPF+k@Lܻp<)[[(`ERA۹ L؂^y R`iᝃECbkPBZ'頷y";#ZY"=Y9 w8icpL^> __aZ3Z?$ e"bԹ~^%N7R2 0_VAn ·bm6ϣsP\rU=*"(J/x:(M{*=g1FR-m:5 :9h/A7VJ uiKobV!O}ҏpimq'bB,أ pgYZc129f0dc1761a33d447799f5b6110d6d5c1979d30a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176