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 ir,\ ] Separata:threads=4elapsed=8.139cpu=27.660gc=0.5887zXZִF! ]ŗXiɟ{yCHS)_ei本"KՖSҲs^S4pڀTŇ(ɏĦ@UaLٸ?a$} k#b'U=-!Y=x <%YMx+ ֕5^\*"G>i?]{iTFy0Z/@0ZsoN{bLq7*uaj17XRKj+ngV *\peW"p7t[N1LHVyNDT1_WN+fc6ff`)!=@)&SP!{YuFMCw86hDZgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko5M65 K9~Ma4y%K0Wg>bFQJSG!@pun5 ?HáJ `@Ӹ[#\6fc0)ܱgYZ7zXZִF! @J]ŗXi%D4rک|rpg7˲0/^lƙw="5 t"|S c@ KF7ɽTM"vl H2v tF_e^rk}dW+`b!_abBV|=h rsLm TCg(G'2->C-_׽D 8J|ػgB퓰Mk@+΄,w!0A@gǤN09in!HnvgFRF0@sfZ"d)dg׶FU|uwr$\/Q d\oafDc\ m'`\zmdTU(3kYOb'˓:{pLf .` "(Ip |[gy`N_K9DC$qz6%W^MЬP6HLυiDje*MߍlA5$;=Lq zS,F 9~e~$hםZM\#*oQbd-ю{c}gb>76 # ƛR6_Bb<,ƏfqQ-E5<*# ˀʛzgYZ06b372c40f476907bcc6c515de5627049d5a086fc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3   Separata  3% DSeparataHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ}?% SeparataHOL-Eisbach.Eisbach_Toolsdocument.tex7zXZִF! (]A-MՋhvG"uIBm5aL'k&h0 Ѷ௦<|;"ƍ4+"7WCr.}*酳˄ d̃{j&}y 6t5Uwhn-4}'H1ouhkoj=I*4p^ǟ/yJc"6P3jG 6+V}B:)QSTo6di*dnY(bpUsqPvO b=h3݀z1 #`_̮`jC.MxC, VOܿm /x&׃Z8t1d_]`EB"6RB.ȧTb56p)bF8JۃetDKXAZۮaE,.%'qNc׸tZ[E20Q˳֠\;FUDUrJ\ǟ>'ڶ GpE j~1ZN~մpk{n۽b;wAXUy52:7jz0!KC(-~չw֬^ ?"Tı`Nf\i~KXr:s6$}y/&7 Aށi( G,?&qϤ'Ȅ0j”qBa Fg>O񌧓5pFԕ~Dۯ吪%`Тg>dрFB\5hZ3JnM|(Ux%eS(he7>* }G@U~{68(ا35^^ A)XAЗ.\OZX5@7F|sOLc6`%;P4!U"~)c ]ޘq*0Cj`)̤Dj}N'k%xٓ6Мm1mpL7g穵7LRȱJmx4"0J:,6"m*}v_dOQa7bX7 KM y=HZ'XXɛ]EbvXt<|I`(-:I - {lgR+!{;&[mAN7f((Ր< tFel[TAHǠj{4KB#V\"iv ´Wwe.Ғc%axdWFg{ 3f棐zYZQ<$9Z,|ZaRsŮ>[_, ~l`AmH,TnIxDDb|&O n?}WU˨o[ `6C[f QPק   3s3?W%SeparataSeparation_Algebra.Separation_Algebradocument.tex+/%SeparataSeparata.Separatadocument.tex-3%SeparataHOL-Eisbach.Eisbachdocument.tex2?% SeparataHOL-Eisbach.Eisbach_Toolsdocument.texi#]|(RȌ}PQ%Xp!+wGr3LzI~_iF΂ sP -L R;MC0@5AǽFipGϯ{ݰy{R[ڸt^Hw+ɫ5nOQX c'Y0k 2r\ߟG{f^$ UGլ45jYL o@>17vSf<~Q=5@(S3Z.0rHc!Lzkr(nbPݮ0r՜A= ²L?-;td|SJ/[c<πhQgzW'tD%/ ɏI;LeĨ"m:5O t[ ȒFaKd >,6c^vzt44T׾{—<= ten$M>_Zj|G-~--LΙLX,~jdNHM`/"-nNof1D|h}V T{٪m<Ș42`(O=7>[0A{~˶#j{V XLb(lq:rVIO3sn}邚EР^="` 5, {a6D,lSz, g,8ԻA vci[ ryFcGcXmj ffKs Ld-I%9,5S=f7' !+AHbbOh ?bitѪrA<5~7ˀm8(f-Q'GDeB_]>&$8rSrCA5,a`Vd/q$gB`Y(F0[,9t}qG?τHG^ -7Y`-O9]ZYEOѯ##sDwe>ny >*29jsk3Q*7XgАWir]y*Oٯ \R36Ӎ +̢x5aJL rm[mtk颳?*)!wSYtQ| [i2AѨWnZ֗f h EL3 p,.(,۳'-l I D2Wh xEƊ3dnLqm !ac|7)jl|2$b$2=„&Z$AOJ%R0e6f06BX2v<53J‘9)G:cCL6Rl{$c861]RP&9->|Y sQl*Taa,ǚ6Tq;㹤2]) %_rPn‘)LfbaV|a*u2eiԏB3#HSpXT`%w18nT46jLR0$zKH&4(`!d.A ӆAxUMQĸV-~;+ QgoGWnY1/!6VT*~"cpeb9B~f-wb)::_NȆKEtwSPhqUߴn[熼'8aI=g$lj$z5 J EM_G<w-=xB_mf}%o5`(#8,-H'@H \u,g }\ow h~Pr,!DqQO~#?P ϖY ~G7ct6>J<dxnMFM08XwjB(c3Ҳ??˗#I[Xȇ+I2O ^ZwUmj{ˬC/c'6Y˧ bϠ$l t=G,qG$FDLx?M*b z@S[F1юJ˽\EKއ}cD?[Dl Go,ûL4;|os}bEڮlKI /,JU kt$h!s#`BvtzD<\?fNӫg*C{eV6R n) K 'q3vp.kZ64(|gjAo<7)B-4UБ B!>,F6nh  h*^-2k^t+P*%B2T3dk1O3ǒz۷ϳFkXJ @: bujhU7fjM.Q:8 phm#tD{9Vp6֮Tn Н  GlRڔUcH^r|uB vmm:ga9$0L8@E~XsoςX%6ܿ"E\\C`rd?*3-Žu IJP*}(o/uq/Qq9G#E]Ca _oecxo8po1K"Dnu7ţ9b$mz׶Ӕe VjZt APZL(rz- Sn7G7_2 ;Қ^ _Ju=ӱoڒjhHZy)n|h:eLYݳKp]AhWtZ .~ORE.^ VNI_~Y5c>|@ai6K!cJ$/] Z׍pfdh })^ xJm .`eJTH EpT-'M]l-c{rwVK> aPѸsLZˀ#s\qY"E_Wv+(j%I6Cm4 Xk9D2Pv]O}bO PЖ6=&]91FqdVNG^,;"ҙ9@z}#F]mե6Y]vCyM~!]T-8asSkR&Bt~l! j*ZTs\c3`MEἆMJ&͈)Fo&PƢΖ;0˛,C^ ξ;S=W^u}f1B# D1iO07ΪkxM'=7^]d,H?e,O8xR PoX^znЁaJvJ`G  NvnǡUV3)$-NZn5&U&VƣцxpH1Up*x"H$ G"=;ycW"khn!1mwn*')A2h3; ~\6rJ;ח0W@b잉ۉiǝ)@F -Ţ.#~U1W5"b@L[1v/ ' \gjZ+`sz^dh7[>8fNYzD1g".qdCEFKa~s}\er;#o3OmL懲ЎEES4M?chj]# Bj=MpZj NDža,GלfjX,> nNbSE;:Mm;|!JqJMJEOAgՐ#ڭ ":{"VkeǂfgP! oƄf y|L;cL#yRНp֐z,dJ ذG|!?hцC=ݦ8-i[KН IKxzQ= f%21=m!ƢNdF5;OmTsmmU#ӻQe}-g~ɭYr\.$y"vtK}JCxH͝ !9(%H?Uz;_wYgՓ!Pw]3D:QRC=/W.in7{Gޑ듗vX pšjA2KL}0%u2G>{ ʊ?SEa:J{ٵpf-XPZf,_ =|\/J=g"gT-rhɍ0Zʀ2‘$]J[QlM0"WHx4Z9i}9YhǤ ja*W^9CeɄG6GZrfD&"vLGwR{& 3 |c>|Ց|s o5ΚTsۅ"QtDV(ETC,߂wӟhp$L7VrYx27/xiuS: Y?Z`>n5,87Kfv >3Z|C8 Ғ*Aj{nIZAȱN0H^˯ݎcD>0Zz$JB[v| g2(opUU0_Ϥkk׈67dEW "ݥnPJ˱$#ij 13k3 {>X8CubmykJ\X{uV*)-+S0swMrOpo?$hjKzQXNm.Ҡy}8>V=%M%p)Sgj?%d"Ƶek|7>t}s)\Hm/h:ӬNr iDƵ6YTGC`Dao,:;@E)Vwsk',Ch7v1k{%|'@|d2'o9vVh9pϫ+}0/Eاa}8!fi5Moof7@UP-lՁfN c_7jփf T>Oi8/^}K[2i*BX! EԐW0pBLT<Ýs.jm{GW dvl2׼!%XުGo(YGgo֘ ;1h@JL$ ]r c:} 63XKvC,ij!CTaXp%:ÄֈԲTۦM}V**ɦGwUŗXX@?v]Հj$1,̌ u_z{Ah56,~'L# LFz>0wҷW [~YAf*T/t<9[/&k‡:G {]y o.NH L`Jndl gӣu;JQ豰“[r0gmR [fE ALz#rb/J_L)\5frh%O%`s*ʴp8O4'W!Lk J/K93ρQ@qhvndFщh! 8hZ& d;4ڨb`Mvfi_a1r7J\B*\= #HPϐ:Z\vUّ= Hr90Ax-aPwA Hː<&M5/R&-{9<,ňG5vyzD|:rm , 6IQN+c$vyM/X1U =?vQب5}HB)owo6,9Dn)#4zg)+96Z< 7!([ꆞV.h,>Eˆ|LSҁy*zWh!p{b8whېGa*mhOh]ZO7hAJ_=IFfzVis~mY{ q3}/u@H\RjB~01,y14vH jFaR-N9:8K<;5FTLGk)S8ש1uai5ȸ`d ԷGg>GH u,5}NcSQu"؅VU+ L>Dn娐;FKd"::i_e/8G5xN8iD&x.n^ns`OLl }o(]C!5t-|A5WIZ悸#2 B>QsA+Vq&sAÏtAd 1Vg˚ qrOFx tI76]&\фy1J!SUj\]b警Mx460*0l ̬Ȋ Ն=:Sȟ)LEn65 FJ@1 Z=XR\vj[>gE(oI^HͶ%;5wjk0`X4SUl%sMՑ5d]gM,|?ا}jP>M+ϤͻQS60WU}]ÎWY؋D9!2N"u+lSpM*mZbX¸H7vV8F6M @~ꦊ\jq_ = 9n6 yIsL_R#nf^M adB]PvR\ilr4 -~fA1m%*KL=L@ʗ|)oFnzB"^KYB4gfOSԻ?iyլ_vb <ݹ%0"5(p p? ¤X2.B5U 0d̸_R $ cvjC?E^~0"##({0vŨ5AČўr6f?R_tjJ؜̸|w0ΦRQK/o2apphmQNrg^^_F/隽yVŘ0Y[mTpWQ<`a'Eࢄ܏ZHgcR–a=Tl$M3NPiGkn{& #2pTx8W)H"9 oI5D4 qXWxp PO!4)c^ϭt$ ˲ 9\RD(&UɡI$2"*.~"L.kvAI` KʔP册g7ҽFGy RӋ+zܚ|Dm.b;DOgëCy&Q_qoRkQ ȯݸ(SaCۄ2MRh~8DB m9ng>E5{?eѼ=&7®:u=`ƳBuZ i" bift<3V~134LnՍV1PS"7*M*_ @ P idgVh|mfҍUu{^%<O! .03+&=!GX6I492!xwzSt1P]dfqy˙ ?hLJpI៣O @Ʀ?7tskx襋ǒiIGm }bj̾?!RPڧo(o<f2z7m CF̶VA@k3(]G1>PoS*z#dӫiI\X*3})IGV%ɊM^T!`wCa7smvUCAȃoB۸fH.( J/am{.Ҩ8՝H$kEV)L*A;7w[cʓѠxkϏAFz; ú+> ﮡ6kV [3ꁎ6NJ+4ر{ayvvIe=y?d|ٮrbA_' ~­1 IB$4Q<~XWnsu<Z3ӗvsۤ벍Kγ͊tܱgk\ؑ=Qqì,lCMUWg?d锐<>jK*↞u)[<}ZStTեym4EKh.j~sTNѳE,.ޟ69" g8\?kDOi";^G.+wmS;j#$1Oe{Ru\cQU74"y+iur&;Bn^ r]xD(ͨE\ ( LXa]k6| K @ (C\Xқv dio&Q},W<ӲA-q쫙CT`rnqO`"axѺ ż"Tef2m罜AA%Nbi*࣠4ܹX,\1O=ʘ -|F1݆2Yj/Ʀ'A.pY8~.g\/_@OΥ½){ \^l ߖS&e+ga"#B=6to3( ?루C}02M#wZ=(b֢rGQ7O$i8t %PYpMSz2keM!'䦘[E-)ޘc0'gBiѮN}_ja}H<@q|[n vĎ?#,ܥEb&AEIzDgn&ݰDRP7 B I4G„S""2T:ƭzєxHp-݆tT=%5kn:z/\<]25xE*50xElZbS]`2QNImPȕD<#ZdA﮹: c`DNlsmZ^jN1MԁЧAlL$|@{ -3\e8 QD!5; 0>qbcִ¨Y %y^LqgQ:':Bs(0dI0m\ ^ )bd?ޥ~<]1wgC,z X\zl~f $ʊo4-.]h;f,3Q2_q5nr9mPS?ϫ>s%~$E(w0T,Π&iGU ?RsK^qR6)3)ZzɣulnWXkk$ c+G<*M\?%MU|MZ|T;-XѮK9!L7g8 rsß5RfURtڛp1Gfm{4лыjd7Peb`Qv>GV0]Row9iyI%v |ECc{XRAkTAlpjJcRsĸxW@zn"nT]E7u#%!>IĻe<jY*ʞdSs6Ķ|ߴuy,J7@z]9k5 `6sSS1a)0Ӎ>&s@nqdz_õ)oFW$G^Px#p 9bIY4_qOTT8`3%C#BlͿZaM4dxl +ׁpQdQW )#ˎv6iTe +8=eG~{(UYTdBtAIb◵aZ"-]b"/G=m akFg ܱgYZ  3% DSeparataHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ}?% SeparataHOL-Eisbach.Eisbach_Toolsdocument.tex7zXZִF! (]A-MՋhvG"uIBm5aL'k&h0 Ѷ௦<|;"ƍ4+"7WCr.}*酳˄ d̃{j&}y 6t5Uwhn-4}'H1ouhkoj=I*4p^ǟ/yJc"6P3jG 6+V}B:)QSTo6di*dnY(bpUsqPvO b=h3݀z1 #`_̮`jC.MxC, VOܿm /x&׃Z8t1d_]`EB"6RB.ȧTb56p)bF8JۃetDKXAZۮaE,.%'qNc׸tZ[E20Q˳֠\;FUDUrJ\ǟ>'ڶ GpE j~1ZN~մpk{n۽b;wAXUy52:7jz0!KC(-~չw֬^ ?"Tı`Nf\i~KXr:s6$}y/&7 Aށi( G,?&qϤ'Ȅ0j”qBa Fg>O񌧓5pFԕ~Dۯ吪%`Тg>dрFB\5hZ3JnM|(Ux%eS(he7>* }G@U~{68(ا35^^ A)XAЗ.\OZX5@7F|sOLc6`%;P4!U"~)c ]ޘq*0Cj`)̤Dj}N'k%xٓ6Мm1mpL7g穵7LRȱJmx4"0J:,6"m*}v_dOQa7bX7 KM y=HZ'XXɛ]EbvXt<|I`(-:I - {lgR+!{;&[mAN7f((Ր< tFel[TAHǠj{4KB#V\"iv ´Wwe.Ғc%axdWFg{ 3f棐zYZQ<$9Z,|ZaRsŮ>[_, ~l`AmH,TnIxDDb|&O n?}WU˨o[ `6C[f QPקgYZ   Z /% dSeparataSeparata.Separatadocument.tex7zXZִF! q3k]A-MՋhvG"uIBm5ȢCKndb?-Ć6%ҨkTusN,7m8ӝ.[~[˅ kF`~ɴgfN@Dt }0 Y-ŏ.#@2lx7n! #uUwYhퟯIBL"_?>Ag~'(-?=xJ%]\A]dA [nRU$yT/_`ړ#cUQ`Tӳo[9SIoYЬQfƨk+p uAdfFSj& =8!Uee{Z 6k[ Q\O Rimr+?.9:\h!JYkěhtzur袋 tpC_,0柝tO f}_s^,W&p0̌v|VSǬM*));?{V#Zo4؍Y,$62 l2Ӊ"YQr6yЙ)c&Q-Lj)u ~OGw,L0헢A AMckqa-a&ru @w3obY0,?y(F9aj}$Xk"+Z#}elOTPFG|3R~,!5Npq޽7HiE2sTz%N[GrW)5堆cc[rv8SX9 klj>X/qkȏwwYTk4"Fx~[8 kIL<{b"\faE(㙃*l TRX6cƵ) sS+'יqqhȾ:xdVRr=06Gg94Wo+(3kJ&%fA]o*~@Noz@ _:-Ux{X&4Iwf{58&z1* yn+rńo?r@ql+xkiDC./{E'WփMHAm}':aTU^$`0Ã\ӵM՛.-"W" 8xeaG }MnvR eGC&t ImpKEa$;F-? ͬ4HQU|2\2CFf { .n'F76"Rz~[4 _g+Q/4R&Md93Hu t8i{gJZ*"Eta@ޢmdf*|X:idC]}=0TOʩQ F56- ]ԔHk A/68Q{Z)@oY]8cX6ƜtWkrE%?A+tPIlG|$/ARE2odNny{TPN[({EOP&ر8<d2?_~i@ p,'`KfcVR`Lg;;`OŐssQm@ #*)l.aB'? |,Dk# Bٕ_Q1gGX.$o90 sG{WT^n @~Y) Hb_CD:YVwa $7*DBhY+pԛ$o lb~dqAe[+R~zz]Fk&8'&N'!k}Q PpR -'\X}PD4z,2s0cF`c }ϐ!Ԙ:*>A.ݟPXͭ {jߌ02C8ٶTZ}Cg N3 !OUt_(@\_\Fn*$YawP†yrᙈi?``Dhk':q20lk0#ÁYk>(%a6tKv; -$8VKg#b\eb^vNJ,17V 9h[XrD9o;ĬCd4=!7;@TB>~@lhIۦHř|?<+`'0@={K**,Oq1'C%%T\]$x^K-[# U ѼP#-.'Oc0>ZplsYy_j,\dnu k+^jI=-K"\ ~ A}x"E#cm{}r{7{1Y6AW=}!l@%=^UE󫦂TY,ӱaHP-\[j }r?BN#Fb1~~ɑ Tor6f r%C1l/b]Z%WMqqK9%*,'R9^b $b qq((|ۜbMala^F{ lIY{ t34ŹEҖA +fOY"Se~1 *8Cc^!R̓?xE߼O3@"pvX7K3"/~ +7.3w9^k$4u1m$$tà?0{^kB׫d\X[M!':ݱ؇BՔߤB HsQtZ޲];+/!|ۖE6nw@9x?}%yAIċR=uký%1)|n8ϯ<\"/"нwqCupQy2lzq7`WкWǫxwpR'C w38߼D|\U%LIٙu?}OMO7ȣ xѱD5 1sL 8O$<‚β@CrѨMʁh1ꍚ\*RL j&N/u+Xp0f7 3u{HŬ\|l*#U˅ {8N(\p/ '}lez1|3@O\ua0!a(j0q[&yJJLHfsvk@A_% .XRa_vf&X$T-e X`/[\t W=1+0mV6q %Ut}#wA8RQj;)jA6!Iq6f Trȷ:-5̃ad542 R]xQUI58nsuUj7XaQcվCU8b>A^;e^Y{ٟ{`/|K%풊bR)Va7g֋4E (t_vCq x '|,$p3YmHX(aU&ؙZ^Sl꒙ik9 .dHpf&s~L#->KR/dBB@KuD`PRץK@?sQWw\<,=٦W=AGx:h-n3^Nӧ-N Jz4L<{OgNhK~¿$3#}c|WY";M8.4R(,K9S1UeTBW,2Kw3;[6/|eB/tRLFkbʱ3pXӜ-2uىc4l @^활57XSKRUç Hb mdH{HƵEd= 2 r-Ŕ[lKN$V 1bgpȝ0*DM> s(!à㲝<<-,Yw m+:Q06yV[dHqƆg{L8-ΧqwE.Cpq+E|,v]fV.gn>= #ևkZ ;]DW8CݟGآʹ]P4G%󦥭hd_Mz/++e,P3j(6Zuo_4;$]Ӹ`c*D'GbT$):; t/z _&_pQa^Vk1W$T.èyѮszJd.=h"oȘh7OvƄ}<τ0IS e H &&&GH SC+|$EUXLE^ϧl$,rߕ qZ of;A??kfͨ˥JJPz)6OYԥ01(w=B we@qpv9;sufide,}b)J=mt̑ ײPP C]KԷ}ppL6P[ʌU{gpy%3&0T {OC?@C+fƃƒ W.Mvα"a-geTp>cL=ױ9 }y68B. ;b1Ujclj8N="p>m0tl 0R\ *ԢRUQ.,hDŽǼy^|[k/ŏ#?b02ܾ9:|e#0_&v7gQݕJOݛ"Z&߀t7;@7S\?ܗ]IYq,9ҟAb}Fy q}FxȾս/=Ae "jfC[ tן} BS"tO@KŬa{J&vdgMOv]α>zD>@=%v>> yƄUedb5]/M쨽x쉙)<%"y|V?WAE\%3'`g.㧮y:$Y*_5*,S#}H)m[j--R60 PeީugrB`?^)2.vZ!N(3+j$Mc(-r=8҇7;*I,$s&鍨2`DeAg>,(h`ʏ#@%gH1~?Ɲ"6 fk=ww:?aS1(OIўT hgQlL邂- [:>>suy Uahv1``nkvf @LMI)xj FW"Y's±' <\8gAC`2C%ir9||\ɳfWYt;X!lkQ:z 08ih:wČdmkIjEsմQ.f5{H1X%s]Lb4;Sq!N݊_a5&۞jRjkla^Ke+fWcbfaYJ}&/"2`r0V;;pVN v-YX@גVs7GՕ=M["cÜrZ_ V\ ,zPt,8L UUﯬ4+ = * :J_][ R#lKZte巓[m#?h;'KY~:[8zcZּGgAPxtrS2G%Ql]J_ gxx/k+.t}OZǑ bGtZ'21PSn0Kn1H )>IH /H񾲇z:Gۄ4vBN 毥cY^:*ZFdC5U輈2`|/2?&2 JIDKAu~s L-^u#M+$*'^AFR?hDdaHY%#@ȦHA8 _Lvh|OVvEÿ)P_Ū7DgaOCRF~IVc(4*Obru}@,'ToK$luF\il nv효>dpRZr?++] I_; At*V.+zpy^1?B9yLN0\P~QrR:m\xg ܾDr dM21 r[iS; ^D"eB 9J+ %ఇ)u$6k |( 4.(O@\ $w^ %߂שkH E0ۘxM֑5 }2}!ONVL,WYDO/ܙa,Yl*ހnB };}g7#מkdg vJ5AUsp!Rk既4%IbISu-1v˱N j\b on#^&lnh6&!.~u MuӉѵ>kIJ) 5,8 %Н"9a6bҊ(v}0r(J.[5 x/ .H ߕabW^OJ!sͲ{XeO0E֪-GC'ק ʍ|#<綾忨#w :Zv]&:`)w14z.8aM8'fPcn i-u1;`FM/dA.pzyV٧wPPV+&o^?6[N\AaԵ ^|u2J Yza#;,mt|O2 ۴O<9$՗׍gPO@pMgbECn0̐:]W†` V t"dUCTr<`=C0y-i`F3>5p-#&YqZ1AE" dB'{AGS#񘆭qP:^rՆ+ҝlF2͋\Li_`VaEi{+@" 04뵶$u&" ^p?սt;.`hh">'9eveZtbw aBըe_Y_wLaX+b__pn(x(Ņ.su4$_x ?bmGrLjUlcZc98g0e.hy8l-X o670{ꩇbr 0Oؾlu=#Tgx'?J|%pdcxlw +aإy87^<d#>3"0}K2\vi5}U!/T.fr*vQM,{n€:Zhةr< ^2!gć;nOUǼMGjțjYZPG`l82yFL c叓 6 Tstᬫ}~(+9/v$u'  2MASXwS$Pi)o|YNLskɹh=vYaKB>K7!ŎABu܃e̫_s)ȭ㈒OthE5벪MD LS>5`{6~BfMbb0b&x#r @dC @WZA/`iN G~d*zz)0.xP CԞ(cŋjOܕUA.>2~`Xef%3D(-یBnb/vi(K>ng\8J7Г)jim tndJ*[Sٻ;4]+elH)s7#$l aBf$K.|hzgwkݎd tk4I, e ޅݦUsb6Vϡ^sYQc12cuevK_j{XHK%~\YFbQMu{ ﲨR0n>'dbخMWkš3sQ / 96Katسϫ !Vbhz"`03AGfw]Q΄ PAq3Wࡑrbe].r^Ti1+ٹhCRST&h`+M.nqޢ$%^k\WuR*~VHK2хNYu@|jxk\u)|)ehf&z֌hMȺi7[g8Ce T3ed+U_y:{}ڏg ]~ ֲgwg>,S [Hl%u"^ y"Pj1W_jb ?.p&V_"̙G= UqdT&OC#l2nZzƕLWB;J'<RYDIoH j-aY d)85Pp?A? ѿ/v(hq49bPۈg# g&gl͢ۑM?L0ZeE,4ڽVϗCH\{wDJDag0o-7kmg?Y(IR+S`riYͦZl7uTY N23D?3W|S1j.]!`$>x5-ЃW5|aqt13ΉjN9՚@YIE>T} )}3>-ҳ8 N$ڰ=0V(ezDx"YuLGjQP5iFb_)KRLRX*+ PoȂ;EG{mt EF"i~)g̎R?jSd\j(H6 >@ Ȅ2%8ž O?XoaY`I-=~Ye,I|o,UEǤfW3*aX]7\4U.N(8GmW~Ff. M: ǫ޹4>e/;]H.0v.\> k Ǫc cWjӋ(")nfiҦthF[_ i-E)ڎdHMwt!=|,ʦY':|]ME}ӯ^$dˆCk{, ʼ$|p1y˯xiթ>}M5^U]?:H=4Ī$KLA;O+f=EW:Lwe>MO@ a,VNW-5ڌۡlXr/Jv[7Ba׊nMM!*w06e0G)ܴJp\MP0Q`OAmrÆ j75f \kQ e1 EH/7G3E