SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 7r| | ]]Abstract_Completeness:threads=4elapsed=8.647cpu=18.300gc=0.6767zXZִF! x]ŗXiɟHVҭٽDi.I,^&C7q ܻSuPĠL})nuYS /v [/kJ?ǁ'["q9ܤwz(j܄/%E)<05o.SrӴI_mx/+6z80 3=rW "KeQi:Na9M:G̓]iU > mlo Acͭbزۗrz/cSLri g뢁~aYSKqh$oPpk[43M*/p I?@d3K;]ɂV^<>ē7mD yd[ /Lp;ڈI]miGݳ۫ V\Zr{gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, 0 #Ɗ"VF~]76v倡fȶ>[Kc ;j=ѳNK?CXcƹ& L:h4foC܌@d s msLbbxQBEfC HBgYZ7zXZִF! ]ŗXi%BzTGQ #wŞŃe~J0o2V~+X!fiF4.aMG5Lվ7Z㧋 kTj "DkAZu{kfgVs]uʘ<"}f&Tavbڔl2>b?Rڠ2S 6]s&&2$ b>HޖU988_).^+<‹NR&|JSuN u=7B+kHy-Wu']:U$@ByGm[cF)Dv;ތ8ެ2+Wdw{ۭ \4RCxW0B D#YKP;[ =>=Ѕō-g:2cTjϚ45>wEjgcRh>U'%A]h$m z ne,02o^:dGbO::`$шaKa{|u>վ[$YG˚sˠ x=AY5NҋJ?.q7~=X9] :uVRqG6ph,Q0 $A:[!aQxx%#,ֳy g{H5v88^fMV* dʾVX ~j!gVDp;0xoٵH'A8S / fL,ŊQꍳ} t hrY}jK]5ؐbNfq7Ak dy_'ŊXSk8cB@Ux- ݤccp(("3~OV;t3[쿀rRx,mCe[#@^;ks >!J¹RMġ2U܄|'+~[>~\ءvM֝Gߐ|IN ;.'2b@UD!3ߵ w& lޣoor'G(,|\^M ]V)%ҷU&.C-5B6C _y\t8ߢ ,P Tl 9Q AZj$D'ǣc+_*Ge`ڈ >W+{-7ǀϧAY7/ 12O_KO{%ȗ$yv,!-kAnf7Jt R!R5= EMsU59ԛ4n ?(Ǔ7v/NP8~0Q6V1TeUkVPZXI8{e^UYϷ@kpS%~eJ>r!JkJ I'׳;;ԓ'Iqz |bEGp (9+^u7ܻo~h?ǘ;xnIO tYiBX?mY2+V U>1Y1$G6_=JҔ.[ qu[CiB}Xe i,Iϊ.8mm|GCq=uT^Hx[eF~* mws,&QM!?"/gYZe4c448e65431f52ef0706a73da1b81f4c52fe2ea96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b935a5d58b8c26f6d7225e6dfae7e35805df273de9b 7 Abstract_Completeness V7_E tAbstract_CompletenessAbstract_Completeness.Propositional_Logiccode/export1/PropInstance.hs7zXZִF! "y ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrO sKhՎx,2uE72V>.IiN`ݕW“Y!:q:UF%27:SXt>]8 ~/San1ZYo7&xVgV%ǨGT̳ z]̽y% i}qϨxpj $42)4zca릘}lx w"7l8,d-j 8 9ߙ< Ե J7R:/Ss -sѸ)@auq݄DoV1AP{{9x*]LJ۩o.(rWҺFw@ SyVJ (qHfչ"HFݪWփR%! . ϯt(wwm@! %7@X1@zA@䂇rd5lGD]xVBR^it_THJh+E@8K00'7F6(3Yn  SbdN:ZgCދB׆Pt~.AΩXq )}9=yXHnHCG<)5EP^oR\-ElES p$V kƾ7Z}2h]gKHz۫tSoN.'iBK, Yi.p'ir҂sꩺj>vM)p?.T!] mYțd*J즟Tr&j޼s+K= 7Tf:=.dV\C[6|=<`b|Oyբ 8qUŗMa"LB8C1Z'/6C Zs޲lN82%^U~HCGڀ &cF(4o5 T[]0} Fh6 a`W%V,X Ǘt+2K-OۉmJ]hܸfi՜Cwg\]48s *⋰z{h2*%Cnw&{x%SSc$P]j̥ն/1 -d  <584e YiP~~dӾ4SIY/ښ$߅eRY-qDqoqU9IN *x4S&jY? {i]Y<3ر/S~UAUn0RuXD%ZZq5h1&S hrb־ڲg,1I N{${@}˱ *Ie+-©NL_G}?_S)R<X$&S>~{*inFXD;\y2a?JaqʎWzA4n+lX1J`V{h(U_0$__rIo)tm=_-Rsv 5Q n-%uL޶\U(NC;z&ѓ k}PNX̼DžP_Svya<]B q1)k]i2KPUSlu&껴y G eIʾ$]z,|PGSDchgYZP7c5 tAbstract_CompletenessAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs7zXZִF! (]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmݑ 6ɬ ءc~S<| po|^ uݹ].U}[!X8Qδzc6Z#/zÑ߲M%5(,ɟpq gp:U7i/TW԰J Pt\b XN!Vn)SjOvqPoAÿ; tuH{9̽& =IqSҐWp /RH$n@`9Uf#' FߞǮ4mZ?sy 9yF4AODWL\ ѰQ[/0t ;&Yӱ+NkNYt :[nB? F\ΌFKW KAáH2sϐah\ꎐ(/u/%gFd3484:;hkqg&S?6T*LP9,VCbDf)dcbkt{ju N[aA]3+b`Տ4441xԌusS3JE{ʄ@    Ex4R7c%Abstract_CompletenessAbstract_Completeness.Abstract_Completenessdocument.texC7E%Abstract_CompletenessCollections.Ord_Code_Preprocdocument.tex>7;%Abstract_CompletenessCollections.Locale_Codedocument.tex<77%Abstract_CompletenessCollections.ICF_Toolsdocument.texP7_%Abstract_CompletenessAbstract_Completeness.Propositional_Logicdocument.tex`7_EAbstract_CompletenessAbstract_Completeness.Propositional_Logiccode/export1/PropInstance.hsY7c5 Abstract_CompletenessAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs T TV7_E tAbstract_CompletenessAbstract_Completeness.Propositional_Logiccode/export1/PropInstance.hs7zXZִF! "y ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrO sKhՎx,2uE72V>.IiN`ݕW“Y!:q:UF%27:SXt>]8 ~/San1ZYo7&xVgV%ǨGT̳ z]̽y% i}qϨxpj $42)4zca릘}lx w"7l8,d-j 8 9ߙ< Ե J7R:/Ss -sѸ)@auq݄DoV1AP{{9x*]LJ۩o.(rWҺFw@ SyVJ (qHfչ"HFݪWփR%! . ϯt(wwm@! %7@X1@zA@䂇rd5lGD]xVBR^it_THJh+E@8K00'7F6(3Yn  SbdN:ZgCދB׆Pt~.AΩXq )}9=yXHnHCG<)5EP^oR\-ElES p$V kƾ7Z}2h]gKHz۫tSoN.'iBK, Yi.p'ir҂sꩺj>vM)p?.T!] mYțd*J즟Tr&j޼s+K= 7Tf:=.dV\C[6|=<`b|Oyբ 8qUŗMa"LB8C1Z'/6C Zs޲lN82%^U~HCGڀ &cF(4o5 T[]0} Fh6 a`W%V,X Ǘt+2K-OۉmJ]hܸfi՜Cwg\]48s *⋰z{h2*%Cnw&{x%SSc$P]j̥ն/1 -d  <584e YiP~~dӾ4SIY/ښ$߅eRY-qDqoqU9IN *x4S&jY? {i]Y<3ر/S~UAUn0RuXD%ZZq5h1&S hrb־ڲg,1I N{${@}˱ *Ie+-©NL_G}?_S)R<X$&S>~{*inFXD;\y2a?JaqʎWzA4n+lX1J`V{h(U_0$__rIo)tm=_-Rsv 5Q n-%uL޶\U(NC;z&ѓ k}PNX̼DžP_Svya<]B q1)k]i2KPUSlu&껴y G eIʾ$]z,|PGSDchgYZP7c5 tAbstract_CompletenessAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs7zXZִF! (]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmݑ 6ɬ ءc~S<| po|^ uݹ].U}[!X8Qδzc6Z#/zÑ߲M%5(,ɟpq gp:U7i/TW԰J Pt\b XN!Vn)SjOvqPoAÿ; tuH{9̽& =IqSҐWp /RH$n@`9Uf#' FߞǮ4mZ?sy 9yF4AODWL\ ѰQ[/0t ;&Yӱ+NkNYt :[nB? F\ΌFKW KAáH2sϐah\ꎐ(/u/%gFd3484:;hkqg&S?6T*LP9,VCbDf)dcbkt{ju N[aA]3+b`Տ4441xԌusS3JE{ʄ@ ۔$gYZ GG67_% TAbstract_CompletenessAbstract_Completeness.Propositional_Logicdocument.tex7zXZִF! y $]A-MՋhvG"uIBm5LDj1F>[|$P!g֕Ma%(<~R44 W>1pAx㌻Ś9;Fex7ڂ Q"*nI--8l*|b砋/?HnD}AJpM9[1q'A_Z6Nj33@qԆ: c0YVSxp euv^1$^-O nٴZeS(\^G@kEg a9+9[P l!cZdʫ أ(uqx"](6^{mrmR}0,ٍτ΂vj[Kœ GirO8-%ek~j};UWҒϢfb]qhǯG uAV34V"lH=3 _zGB}Z, 2fzʾM k/yrnP _:]2 -5" ϥ٥ 9t jkJ $WDDC4t;4T_T( ^u `֐!&Xo!28˿<35'D޴Aͼ +RLp;Gz)zLTID",@uX_Mn#u|ՏƆ`0>BWnd[S. Hp@mdNgaw2o'zhˁڰ2!CO}C4}CUnnٲ^RyIH%jirNbIk?Sӱ,`V@Gw8K"or׿Wb\| cɋ>caqq[N?5V wx0$Z=GOZCT球\[c8"gΛ$˩b2dW x@2OhK--lKe2Y4d4mUb5f mr4|u bMp=jIOMt<&\~'4( Q-{P:5IYDeUu}LE]HI8u/q,+ zsORMdԣR )yay'F&8Fc p/p-z5c_#?1_wJhE⇾rd` kP{pf.y-^h#}OѭČNm:b-\( fΔ$IM§W!ξ4C ONGmzOzB'{}y +i o [ayތ1s{).JƝt[8,QS D Y6`ʪ>Z3Iysߑ򰯌{v(1(hwUrGG j5gXYn{A8_W[K1;$鍆p%4 ƔCs:78h!dɐAo=HveDqW ;vZ6 `1hM-݈X'kvA,IJQ5(d(/M6P_ڔ* eGm*@ll~n{FSfINX~hz kLq EC]wڑ1(4e&ngb 51ԻKڤ|ã$ErE^t5S ~eRD6TCp11P&W`V4RVڳ6ԓ\jc(ůRt0FOe:P{ M/ a NxTWT2ah4qS=(ovc&)փ]V=ov5s$T˧#I/y}UVdDx@)(Yo׬Il@NocxE_q Pjij&7 AVޮ <^Ǩ=$u>Iɣl `1ۢ%Wj]}e"+ F0m# $bC_ b~_k2|"ў,-9њ3ug}[p?#g—]",Y7kLLV)$x/F&@RsYnv . OYX1Qy/ͦ/˧>VC\$ٻ6/rGф'Z883vsӱ,6qf ;Ϳi^eF(/[:5ENڰeV$_2lp*y>YқqRǞb<8տљCMٝ%}2yS<-ճ^XQUm>]KUEUk_Mg/U'nlq$c*0AXrU%QwO:Q|G5ԊAcmyZc D#e2" - &6V16 ڗӰh#;p>CUA`[EHG,'=\7:ZkId p| Z'-aIc\Ͱ !5őz/ BkЄur%M"n')^I]#(jfs^qcN-# VHB*ݬ!X0w<&X4gYZS np\8(@ո{?M R1H~OL6"o[G! &.uWGK6UTuytDQ}cOP6V ,?_o(uj&W3Ͽ˥ycl*$`ژd_9rvL:Gn<E#t-42v/EqUUf#0|:Vk#`?Z#܃l%5-_0m͌1mύ |M,g,nԨYCi+{Ȗ)gmoT"euUFAS~ KuX_e-;_~A#[F<ʸeYgDx`7~Tb2/8Sukx;qUc3rSWa;엑6C밌X۶V~(zwcPl7RqY Re\_ѣY^B k$?jm,+Uk9-UȂMc6 mGƏE ~XɒѢcD  1&M}q3m~hcŎѰ1>B%jfAb'e)?sF&?_A_bHĻE}H5*ӿr^x6_{͎`hdu*5% dvJ׿Jo(].nYmX7dxHx5P52 8)U@X^=cN@pq}*}$!ar&0KEۿ7}o<]^kC݌RnUr1GyHK&1b|m#/z/ԗis9PL,@}[$p *OH)&o %$\^viaw WARYV](ۜ"цmRaϭ(yq#o K:S?2%8-M<zl'Z(lBvO~jLa@Rvv@En!O7 *M̶`sEuR!+k2^.:$,0c#Qf*O/GVhIpU[#ۧ~E$_.L>TARWyEv=Pa㣨oW ʂCqb,,=++^<  3S&nmyku-ٳ12X3GHN]!HeɷNl$aϪv uoڽnK}ߑn|N9b96{[K8*wvq C]׬ 9G~)*- ͣI5R;YO5fNzKY)Hc0fKdT]#*[(* w-FkFv 6uCy},*2lN-e~ I>/msRGkGU]X3FZ1|QU|ú!LYde6x?v=gq>16SuaAg>D14W>7<+liwJAebr8֯}5۞~,⦪%"3HTv`4Ҍ7ap&#*տ07 !F1G6/VI,lS["9y < ,S o*$>1[I„rRCַpΣ LBjZ,K*J= !йF *S^Zk*ZLf9Ht[O6?YAM9&;*$9| 5m&=y f]MiZ TZPɺ襊![JU_*KUA7bKLk6D` E&vr[Eӓsp%7~g6&Fv,Sd_},jtph.?z|I^{I2QRsI`5!:wlnJB:ZP/ŒXsHd 4fhzmE``};Q|P8fd>UYt ߘˏ7= s(cwZʪ[_U0fCtn3+9B'L<'jRx *W ^Cv$1nȗ/"/'23E/HDa` dae<:cITPuYF(|UVr%E%ipPιmozSk1Nz.0.M!߸'\,+5UZa njl@D|^Hv&.v0BCÍv7tW~/{[V:p%2eB'9v,a3jC KI%ٹgO6=ռ@%"~P*d\0<v BH0;z*貱+b1eB黙dfD@q2 Zj\j3ڌe!+uj,H07~j.x\Vt)IҼr: u#SޡGG2ќK\&^V0 -Fם{M@o{+se-h$N e^Alayn<­L!,_n!kퟮrm8jpk]n^iW uE_Bo֒vVvJ)ߌ~F])^5@kBe-%<Ͽm `iq~+nkmܕ<6ﭲF+ДѵSA^YPD$xI^A?!QC_Mx(zSmZ%R3P{Fg.&&ؒ;zW⼧ӄ3) .BL<.8FT6 ao85?k?c3>4רA fwUfvIqS>mx~?4[`A{Z64lI"~w?IE(U@jVv 4P>;ٖT!$58IyQHnz= 0pW5 cM3ԥ!NN@f^Ҕ%9M6 $]I;m2{+Wdvq< 6c nCBti?3zZ$! g oSn/Y9n'i0gYZ  X7;% ,i#_n !sI|n9>wB9g"n'G8MH~Ը襳E`sJ[&JGբ7Kݫi@~B1+\WtEv_(j k{_4:Na5h^z8F(݇ЗM_:wuI$6{E7aeݑ3i#w]] 4< Oq;:$pcKL,Q Еڀ^6%;/'}n4K(JT<0rMaN覇`2apw%+@$i"O5ʇPo=֡M8Qx`|1fHx@K*kfob0qN͆v :q*6ߝ~۾9q[3$P,8Es@6 iC,Z*BsymA{ 7 &b9:4):gU÷GDZCK'@M *?r mXA8\e&fԫqdk{O_[sZiIYn_|Ì54Nc?Xb37ͥU +yx%$(ѾTpzDްÜx|V @dT)8W e6uy3cG0'Pu1ȷo W]H1[S:Ū_MvtpFcb׬,.fL秭bn]z j2ӥփ E*Fe򻍥 ~7)e4o$by`;p\J]k@?*J_HE*/UF }ǽ2hRo?c3{ 'YrM dǷg mܲli=d|_8q4I*ogwְ>j[@Эǔ[MrnC;`jA'3'P?.3a%, [!²8]N2kZG?4ضu_oAw8)!NOebݔy)`00 ,2HJ**R0'?`16 a}~4Ҿc.ڄ}0wM˾S 99d$PN T[Y[d370\y%viҠ=dMDmF̘q2 ݩVn)#>079n }Ław}\\DUWBe =;#x:q0 'B7UV.t6w/#smz5; _pYޥ0),֨iVz2U 4;H3 _,.ӌ= C3C6~@&f$%* l?mY08o[l6Y"g =YUgZ'Y v5P@a͢lȚV*fe:<zgJ|ړDQHSӟb_{jL94033m@Ӧ cL 9="Zvn&f l?%#Ax*lscCFvH:t]Wzm6p^/'+ b M4VAh7=<+ÇJI2Uk' g{vMK݌20Q7@Ц0;Vݖ54B 8zZRuϹ+K)-ҡݪg%pRyN{#?7?lGi;+g!ߍ'3_$tHx 7"G״\|u=D(&BP:Wք)͸ K3 O8zls+UUdt7_-V{rm? I@+XLwUGZRǥ:`QsE$@X,G1 ת#-lE|WAuijژbqȰq2d@pt9kwB,8k_Pd C-p+fj=0^9 PmlM JʭLY,FI >H%i,ݏΩ…o)eTdڤKxtZ0-=+ow2--KGӺ߯,la9}ᯊo'IGi,}AVyy9d ]jb^!O-t_pǨdo`鈖]vE D!y8ĹZQ}yIy1َvܟá&ff쏯CkQP_s$xHm0t# 0AcIVE,R p8 ?@pi5ui%SZq*/Pe(%TGTpt}D/[Y`ۼOzrJPS7:Lqt+5L8g,_Վ\&EdEY~WHb3{סݭ o!wE32uϦ@Ht)"ͽf+])cy'|%K iӏW'*Hy ';#ۏԉj?*uòRѹ m@b)ǥn?'(K \U)"2z׃M_ojKr3`avDLM(9:"PH2\`e9_O(I\%=Y8V14wkjIݎOY ?҂nP\z){sHߎU.mOdZo[\hQ>o.OWjCro%(l)a=nay hjt+Bj:4L+B}^KX)%H3G]Y %ދ, 5wSKF@@i|,"0eP73|Dԣbb+k~F[[U`^x, '$;Q6NNxV6(vehJ{EjdEgZ3iB 8hGo\2<~:p+(v88 VzܖI7 V]3u~V84\|ŗ `"u|zer2͡D&0S7`II;\ x:1c^9x~uTpWH7GU[>b4EHlr<}"ao<9s/߆ y7_}5!:z9'ɺAZQV"x0ߘPl90ɔk >~O-sU˸"}"d ~Eb%NqS-=@}z̢2٬A^y!*L(odep_@k/yl<[*MjW4=܀8w2se sݚt523ykg?bRU[:,8~WGAeĮ(C,!?vl xFʶfz03:bM9r@Cvfjy>Y-Uw; |^V5v~m*Vc8%zO>}ړ=]x)須=YŨWEi7NM56(wavmײCT%Y]A-MՋhvG"uIBm5Ń]Im]\7V` 3y}:[:Վ?7g{5p.;:lIHwNGHB /sLu7>AqXh>Daڢ= mVcc[Qp)x=W|F*40G6l{70g͹*{:C8thg)21Jv_T Ѽ DrW!F$t@]:#TJ?k5QUD;ܡČXпՍ1X`ÚՉy(3?Μu,/y=vi:jq3 L$ԥpHw~Dx!cTۿ̼wS.I'ᐓg3ZY`2LǞ.w>=N.7?D,/#[:cՂi0&9 ]X+>aD/go$b92;[S\!tO]0D0OB}5 D6&5}Ҷ,!vXDa0:ARkWۼɞĽ*3W 9ó80>YK,50VB _nlh4eW U#*Y`-!m`UbGF8y|2E͠V"]lc\EJcAQqZDƘMf= &v mI+2_m[b)n5 S)66CDp/+rfWvd.P,.l1 #k۬ xB+S n:b-JMRu‘ wf \ {WNPtW!1vLφ'i՟I}zXnq+Bd#B[|.ßG\xNWVu0$E/x^ 1f~p:7^Vb s4 [; f-<%|F}zqiФ[$vV{T Sݧ׶Q~ZeZ80W8S˂`m0 {N(>Kȹ'Ϟnm4hrk MZ ӓ[5m]%5RG,ߤOi2Z+ ^\31UT)u/1aafj7Rf[iE7~rF.j9{y$|uHCdH:Bpo: @"vw{Y.zG~AфHML1co/s ⤀\Ұa#=,tgf; #Tٱ/$,.Y-fs/yaڶF {i$׽Yv˪Osø*ޘvw{\ܣU>*HQ)__zum!Dp J -xTM vhb ۴Xz᳿!ov?urX9A|H#ZJ-WAD01c瑱_sөbbiZ%%)"Fr1wPr'erG1Y)*4J0$ffF]X;Vxtd lO=; 3iG"*rU^^Y#v6K5ӆL">ڒf<1ߗ0FV o| >n #w)6wrQ(HR>qF?ڎnhtK4v/S M67(2*ڨ< UK8]V*…{&b8t H@[CԴDP6!uLhF!e$j*FFqă&ׅt辞؟Acd γ|*YC F\yg}?]Y Ñ:_qUFG~#I!uvB )A ؊YؙSȅ| s\ބ{7CXwfRyԁ#jf& j9Y~LtDL_5oJ|hJz+JP99όPjT%XS< V_oVZjAYkܷ6j|juLٝs.oQjocoy[ !m<)H._!UdVGVӣ7Tb 89c^TuW/#\Qҽ-:o\ YU_Bqeڗx ~sOϝ_Uz\5!V85B#zFB < zwESoGI[W*-J~S $B1_køԏmt *XbRX!<_5_ʁEKjbXsh5]m3d?k[LDۃ1SHtRSR ٫<ڂw nչWV!/}I \v³ .a/F !aFu& % zŒK&; 6x!?>aǝgvNjdj׿(uyd5R%nU~Of(/[V5!~Ԅ kl :{IO@ Uf?Λ-~Su|V6kZCYʠARd;jeJ؏@mJ:)r`ƿ s{rMɇlm\QDPXE-?K@lvOw:^SM6{J'!tŲq'cw m9Y9ar`|]IGpFᄎSobI g@ή1KWSz`Vd9'tIyZdMĠΙW*G_QxqLnWV'o| ud%Mn&,i8bݛ^#p9P@UàwDkU h98C\N9(G/pc'Ȧ$1,,' O5vms[EpX MKN2 ۞P 6Z>OoJ$ۿxD_ $v#ol"M$^yS-j]BW=r窱^gOď-9Zs4HY!x4#x >2zU_4#P l2i Vg\vSN(Q˓=#I/qVy{ˇIaLvފiA5"a4Dr2<75dq~7(Dg|j_dZɟ g1l9/V-^f4SVOMks2.ds<Pi+ X5}2C?#ǨRA?`Um,TUxG7~Wks|I1n8+:ZHFWܑs ?FN"E֐ޑKh b?XfhhCXɧvCԨ]N#qvhdkˑ_[g7>CB jRj^cp Ծ]9? H~om%,A]Zb%H=1%|8I==]G9B ~CB7r Tfw0BHKm=ߡgr;  '\c&WM{zg0я)M0dFK"op'II f(ji&HA!TFvnA5P!"TU9 WA@;I;d&ƭN㍛E!2>2f42;Qt9ۉ:qI51I E^م)bpA*«K~va(^y9 pXY} (P},XO% B]囚Wڨ8 5 m(:F![!|ڶjϦ~Qh%؟͹R[ 9з}i\M◭Kk,~tJNAL0"a䚣j3 wK~F$i)aTksvnArq?%eӘ#nx\& P0Il:Ͷ1|Q79SbS\]tMGc M) !6dM.ꐐMȅJ{Jʷzww)o cq޴r??)BpB.%` F9גݙV'nvq๸W3hjjQvμD 5&$-ǵؔBRuZ~⤦ܗU.cdp TgUo[~|Ch\ԀDQ[Ŵru+Q2wn#_=#1iq_b~ k{J.#`C= %Ig4YEJr #J縉]M#ݥ݆mTm\Н]5#H,hq=3]2&Y%|df$ܱ煠Җ&$tah\6停SKvdo.qq>⤎HYdT>ϾBA|RB#\&%< &eN:A^%azP%oѾm`[,$AEzTpKYט["P,`$ԆcZ c52P%^ ,cwmW!HW 6І$SLJi!m AD3{:p@s4e."W)' ѻyH ,t7?wvBH kMOSer A yÞH)̟˲o 7օ8Tή?" xmI:o_ %xz JŭC4o3l6az# ae s}|I{NPe$K%VX~ hNZIˁ4#=t+h+ )fek S8_DGhA|㒩lZM%‚pMF<ް}IYԌHɺ\:ICU{ПXd(K(6ട޷̩2m[Wت >SΙMFۭ"-kiT +VJ'Yjm_eKqv!DB;jA7k\ ot{ϳ%&C^{SXbsό79alNjV NM9L$mx쇱#4NU+܏q LM7 @B;lT:R*䝊'#XT^>mq󁌊I/qs^-ڢdWzD9e RI7^).v;2XIA"Xz5QKp%?YɌ\XNUN8u֪177Hr^E&^Y13{Zblp/]d>أP Uh4f]Aԑ 3KBA`[! y}zV+m7f)Z6 gQ Y;lG'U;[/"V;R(V3;Szs 1' ZF.&U6YڀqB_܅~yҹ%_FB^+qVbͰsHH LVy;+ hsNU33"Ax)cQ!C"tl L=5C1~˱P,8Wx2k'-1D2v2)n:yhoЈ>\^QH|DT W?2u*Ǥ8i%pI~;qgk3t($ajIk& ŝsL],DC"ץnfi%̴BQ "\m:{l|ش'1h#o8 Zgv1 e'm(59h 3%xB%$rR4P<b!+qҋ_LMit#<1:a(ڢ,=I`l C)t=k{R nؓZߔszEp@4܈9>H]6fw܈8vI 6 Wof\duGXnL"zAÀ'G<>x$"M:S!Lcr#m @T4ݷ [(XjcQ )徫%3qtX0kJ1 \Y58OZf-ͼcV0!d`bm,~tz3ѩVJhѸh a[ՎQ+wei|[?9"ʸS薺D+C)sϔX]c4̐zXW"& }G"wp, ӚFН(hM>PbݞYuv}L~Qe7.XμvSڃhܼfiv\H/ݦ'6)F 2(:%$fsHBc_ BD h{o7[{:fࡅ\T¾̏kuXbH`NDOI+c'gbΪ‹p;txZtw_)"-};2E B;*T*'#P;7{~7V9W[P,u>J*SL+;-#U3%Xixhx>'z_v 2vScEk^=`+-BZS- 0&tO1CB˧_!*}z>/ϲ"ÃOa y|ݧII={p|N)Q} Xuequl8o4l|O J5-j `QeO^3=jh9Ǣsi6km~`;$wV 6slR+S\IEō0IH_2Lju;?; zû44Q$4%uheeܦ5q\"NvUPh}!7Φ%н.&~X`K@e#&.!;mȈo+!N 0y~H\9T xO'"L;KDiN-)0閚đTB Q1j$|$؊S_zJf=rLp9<&:u\w+.2H| O.PG ˍ3&*r#6i+y ԏ&pC~w我Rz1NNa3/D1.%yM\^B`Sww~e 0RW&?Q$WU)AyvWmqI<(zVJãt0uy mCYgYZ