SQLite format 3@  .0:  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 O#,T ]S]Collections:threads=4elapsed=238.685cpu=606.676gc=41.924factor=2.547zXZִF! <]ŗXf[&rԿX$HUՔlx#bܗl75O-`bB.28؎ ^-zpQ2#A[vAG&-ݬ1 Z3v'R늂O ')fB3\mlcvӀ 8£嫼wxvS1&'9Uzr BuhGNR"@4G@2{="6#8W)Crz^YUzxj$. (X`S>nv~~hihXU)\ &FrAnz ousA~7Fn'mD|΢t  \V*km4i!|y׹w}5WXx扆S(M E<$HoL9۸sI]xceWI"GvoDmAKk&wc瞚s>w-ߞ:BݩrlRXpd0A uDΘ*:*U0lͯSLbA8ԅ(";+Ӓ6;]>h V܃\DY7g0C,{'VfQ5y)c/h*!?Qr#7҂`8i(㈷:Ae]cXb/4|g'e*۱9ɋ@oʳy;! PӾS\K9 g'j0ZMQ1ۉbH\vfP rgLXqC mydn˴"mBŭ]|(A#ID̋^@QuEyOuJ:pη&DnXk}(y=M~:8mç^%yd@{bV(ѼUf57 bNV#}ki\'F=D, Mt4L)R)FPx X\'ڌ 0|}CξZi;k'l87BQfeo Zi `isG&*M{tVwvv3\ 8~>|>\W,3.  ߋyE_OҰ܁CNv)΃AlXovEoKD˹ⴤ8zYH 8aNOӬ =7]kɥ2rM\R Бٚil8$N*G-):i<5"V0J&~[(CGLK_=y=CVԴzRjI퇊/pR/>}u ]C9rQA%E]7+Pyh6=-Fξp̣i +*-5s9*۠܈;84pHS AN]jdO<@XyVΚZD =f Zewq 9~YP!!ܯH[>@LFÁ5vii_,` ^(oM2Dw;TZEk:C7!.h^MӑKP-: p` 0*oJfQ,ե|x`쫁68__L tzF!^$Z_k@7C圧cLT3[r TQV]{뫞ZlۨSm*{0Iyu֙n*pYV07GnW5 wdy Xz0,L#s^*GcZu'vVJ_t # CollectionsG#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %Ag 8#=+CollectionsCollections.Impl_Bit_Setcode/export1.ML@#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML 66G#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ .#=+ tCollectionsCollections.Impl_Bit_Setcode/export1.ML7zXZִF! (.]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""yu5+|(uYT"0YMrEW⽍O$5ޟ按z7@,Ovw@o&xǿ!UcY;O$Au@U=: 4WC)OnKRIoz I pv<JDhЀ'-C@tZ9a:{C Pv-?5c:wz'r{"壩}3X89%dXbu^ k)qoLNSa<p=g/.q☝M}7, iCk6 9Nv~֩c: g€=VC ILG-35*h[ Lp\)Ք#LpsDlReن"4< =j!pIY#x#C;)7;HIJc̅Vxbl։HG}CS}KBCqs=j]lW#ݓgf859͝]%8B@MPP^6xu,8I?CzQ6Wzr蝊ޚܺ^";nfz&.RWҢvS/W%8Bؠ:kPyҴ $AD![S!Q%3ߟXztkKW'w@{wۿYEJhԾY!BX'V|eP2}MSĄGz ;yyc۵9s|GswjѢT |GŒs>Y@Dq.4fX1ANw/27Xl[S=s7۳ T8S][0_s9oF=+514nqE+IܧtTy3]Ju1*Y/ }K5'IS7"Xg MJɱ$m]Ҥѿb}r |B\1ɛQ˙ݵ̎>WyP‡ 2Ŝ>ozl<~. 2(ܼ+'  ԤUp[g:AB(E7R{-˩ŋSO$q~T8պXh_td=:I?SMkZW -A.![4 @w@^C4I;@-_.[1{EY/x̚!R.vڷ6`F7Lrj:Mjy1DW@7}-2aG(>~IinjZ$eij6l=XXNinR|BkTyOreI!8~>av_&B'ȶʘuDW[ ˗I @6/^ p⒗,j2ѣ"U64V9tnZ}A[=hRj6-$70-$[TxqNa2Ԗ֍6h]@Hk"S\#&g3~t\V[tH˓!0yH1 cW]`H=?;m|h~Dyվ-8} uT|ߥa.-40,md8K,_\Ϛ[̫6Vd ۇ1"?dl4/NUM z4q Jv.H,3pbbt$ۋEhLBW*څEUH]MCTs YK1pLm j@:دDs(2`cv#?BEf֭N]hڃW{[\ev|h ^v{萵DZ'eY$c Eld!MU4n #=R e#p=[߼]^gd[-"ϊ48;T!?\YƇm)(F1+x 9!z|Uz =y3mT1LSdׁڮ#ŕxmԃV&~ L<+T+Rx']-SBZ/+`gӗ1SC3;v<,(-`e )hYj}!eVy෡޽MَnP{tY7Gw.VR)? ո[vih_&t.`b8]mqd2S Xژ +e>וC/cAbŵ|[pONYf"jDN_ov0cvyEQjwҡ#}eECK=;v^(?o"a!ߐh:]vf[ԅCygO'yY#} YFp_e이r[p# h?TH$=${~~dzg虓LN/#UQI:K_gVcx 7vQʠ8uuƢ>OyK{;|#B"~DQas~ʬ!~Edk Ԃ:|CJI);t4zI~ fir\3"vvnNމr͞d$rAku1Ssk!&c%>lzV1? -r 9_KUtYn$6=YrA+}܇Ljkg/"ZQ vMS.vtgn b!9:Y~LD4 M1.ۊ#wd`~s͸׉VqXz k /T z66-gW˃Ćr8,N-B e &N,@ #{N |#~ݩPֈ#<@+P8&1 a 7[[Zeb{*x,^?fKyYf_~͔L$vÞ!'r.W,T[Iyb8g8,V\0d6х]fh?^r1vLzkj kXSvsL yb,a,E)|H$ TY^BNa8LqPGݿDN+fZpIJ́d+z$Ji@-h& ܷxi4`ۂO/-ZU\%5?&f ,hX4 E3[ ))^󜠘}Ђ)7bPdo%#Vf_LGer* >\,}W+'*)qncxqeFw'":xVrP^Ks{ZKtm&tpcQl tn&XURPW"cޟ_(iLxK,U%u19R ax/!BY4-|>tkq>&?i8_W/9T. nj\驑RGIPr\=)J* )Ww,m<`̶2OEjZSaRDO [kzafUJt=$( `̄^,agGtcp>]8qpk`<([z$d)z/d,>2ZfF#), f.FNpUòct2m dD#|tz` ^R,?Qbh<ɗ3ٮDr<?}N02}?]h&ɒ#<\a(E" GL~21ʛ}CbV0=\\[NO'-4uͼ8Q_YޅtJif&^z&%;Vҿ 96/i T݇7`I> ?~D B NO)#:! 7Mt;J><}@?4R]?v(ҒaYϧt2YpaF}K44&[ޕ/׺1Y:*%sŻwک&o[N4-c"wWn'TOU(%9oiM!=^W6|]'|*2|uOM񄡰3q!\2೥SomNkBv[$2΅)Hn*eI}[KJ-®coTcX?b)d 4Jk2i'LkZ,iGSʣX:X'!NA`E_6!&ȵrah2APHHS5&t:t_09]n on0-IUuw6K=d+k//^יMa?я_t;}^P} @kUaOQ6#|+J\@Ӟٕ>*N2ZV4J8=:,8rtyf#2ԄS7*_Π=9):8>oOai/wΖ.rRBuCl?tm񹔮%i12e8Z)ŏa@%:W4HnB2_ >R~ o`Nr[>9Sእ1[S~iQHg t 2 ]IxY=9&`75܇mQՁy׌ag5Qn9h /ή yr=6gYZ7zXZִF! 'F]ŗXiɟlAC/B[QZR[}ۏL0N <#~])f&g@\oH.)^I}"UV鲐7 jG΄jP\;g1Ymig) pj ”| ]3w1F I )'ĞOv}h1<3. ]&D [?ݏ`kk5y]O(*tBav5՚S]C3 V$9)6AtM~J;㮪O\q(rsH!k0#(W=zqRa[~2!?X=78$0*$ # EIi`WjIPhN$yߵ#eB7w2!m[zۯi从J-=UN)]Pԉֻs,Cg7[ ug ^I֮!Z&礠Vy`ZwO { &4xh,HU Q9!{n.J<,{L)x'EϾXs_C(a۱Ÿ>SJ  a:O ;ʰPPR'N{P)+sϬ4_OFe}B /.` E/wLjzY/Xܺ½m }(hTMξO/FuSnGPqkH3`UW Mϕ<";[W& Up愿MZyc?W\ޅ::<$ , [ʬ.U}(hLj;eAf%;E0^O,7YwG1[ؽWO[eM1rA%VUK-Rms,eLbKSװ65wԵ݇;eAeam-Զdjab4 ʕtV{M4L]bXj`&ZHXQϋ؇Nyv1vh*q&%@݀ ƶk3PL%HmFQpa "sr#.Il*-jt8$7RK e;m.uT2%Yۍd;)oվT6ݺa7Ɨlwj--?ɹꢚj)ÃMyd]%/3,[O)tC&8_ &<> lD[B% )s!%z$=7j (01AL9m P\/!ec$3Iΐ_ r0-='`PBv`2xhxU~e3^ALJiFMpm6L*74=VEf*!jF0{C_8޵mfr@c$F [EY Si H-oP16p~t %Xd+sB/ YF+-!ѫȻW-v&?kзR-l_5]T1ݬs>uBSapWȺ'lBC#PVMWݘ9^Iݕu?JZD dĉHOR'.͖B4FJVIťj{'sȂzHbJܫ}͌G/p%ߜ}Y侮! rJ_Vq"M(y Jt8m'w/ z:$2pZMU0TT/8,N 4xp@\ qo$?yG˘T|BK {` ͌6 Ey|צK^AGkDʬ&mgeiM64!+xh?deM+b4쐄 ݼ ߷Fִp:Zͯ?a-4逥P=ou}{EGQD! zwt QraBJo7EGۥ*;U<'3:%Toj:;`:+ 4QG;RdS!-`s^X=͞x"ͶOѯ xo<>3#*i&QkY@՟f+L~o1Q(RALQ! rbN#,0eZתngZAKbEhOtlJ4d1%?ǞڮtYڲݍ})-^Am{jlb9,NA Rd\X˵wDAIXoݚ\ FTNXߠ3$oS`"d הQuIP^lnwZ'Mn1yW  IA; G٣į*˛@s<yQ 5Uurq]?Vku sE" \s92CoIi+f P}[OHu Hj^1i!m\+'d9$`|aufę`=gx'Q}4 P6_8qWߍKApnN ܎8^Ze6 ŷHP򆝈F^z݌eyvZg p"U?!-!o򐄼ret_;r2 kj,hyϣF\k2E vРbQ'=b4& p>Y>|=cN4DF@.z,~*JcOMQhG%hs,JMK9 %0C(_=r1LgV%jm]8QEn]|$@^+kфkD'8⑪f |ܼ uţ:),?%c {di1%[ UT*kǫ {sF|J&ғZTʝg&C㨇#^V6f'9ńI—>d'  c4ǣuXFi Lz,$uuVdѼ&b3#0 %pb#U7k>w4abXJ^ŲHP(vW5"c|N壅2q"n xQed8&Ȥ#S50yny]һe3SU,׳Oh"nϙ|8h Yo0ep fr[gl}onZ07a`1Oχ' @hpݝuqsGm Itٵ,ʞK'@|~sUu?F &ˎ})\q02Ω t< P=J>e&-T ͺ{qUp(MFC^zg}\ɂӖ*V nu;Ⱦ{I& I! U":0|e[ J#ԎB[B+c58GqUcU{(J{ߗt$@ RVuI6U3A2|/QSԫ#a©yg*>urTF?b\8LtTWZ+].Ox?^KA`6Z  rbZ_މ<i٣mr~~2T:8-$W^3K0Y1|Vwˌ {dJ%q:BFM%\cY&<qx0ptNHa9s^"e{p& n{bl#G7-. ".d :n^pHoׁ|W&LڛaopD@l~+ ot# (s`ڂE_+_i<1_$j#tgmz"7#h' O>@5w#~?=8F2Uס{?S8<! D?I9ziSvEA1w,lJ1+RV\\nIӜᜭiOk}9T]bwTdrK^[N Sr9+PXrc:ŚzI_nѯkB_gRsd=j/Ao~P7ǴCOdW?2N:k5:WEa'pgl,/Vn3w qXYh9oى\Qn˘͉V>=Ppka>7=[Wak5$!k%Tp~ a\VXL]$H[B[R3}m`HNF{FlQ: &!.iɸ"{, I4隁O!޷!C.%^?WgH-A*lь+|h/,QoFǧB"=C&ʗ CcX$ ZZ|>!-N4w{G?S{ۨ}nlEU#.zÒ*WteP]A=>9KG$%ra  ~J>g5?y6!a_rб5Rm}Tx/!F_nۄ>S-I}FI?a44OY|uXķ ƽc. }Y1FB)M4%< 7R٫iEtg= ,+q)sYaptaw++(+2 {9Du1  IemjZkQQB*]]'}~!6;M9u0wZ.᭚%OVN h(hjY̡'&^p=$rUNb\ :+U"g#oOe SytN1!, {6Crt> m7J!:>Z%=SE= ൙ٔeK}g/?c|xI 0-x4,Vka: EA-w Tv`;W .#,fKhOWkΡV++ϵ7G&+Tq>s#hbC\)ح= .#f0lC%A)~UEnGՁ'A^ M {@ '8b{%[9ReN~L7[-hbD%]Wד?P44&YG&GG qmpq< |0bE=6?CU)IPnT7>ɮq:+Vf/!*bm2٤y[8a`#eH善bݟ: }噚+MT>/1N{y*?=ubW\o 11n 2 YXc\)@ψJ" LXYkẼO& #I.VWzK~ܘI aJW4ߢeL^HK&CnDb9cTڹUv6AB#||d$Pe6Ek0 x TzVBIITsB![x¶gm2PnTEc& -%$,o F86 ~R5LdUM,cXĢb_,UɽcR/,|ќϺޮaMZiß|e?2#ǍPqy,fy'OM{,;B188FeףɟI^sN2*?>pga9{7*UR㚼 հ\:ۆq H_O8ڵEc*}4\CokV6Yp wqk 2w!CF!=l ~ܢbxw{H|T*E} 6jx[}d ͱm,$-Vj2wx Ep/:qDe`7KLKZ[)Sאh+Uȓ|K9' 2:1< =JKT:χ t3y96>v@Qz oej'-Sw ƥQ8KT xfdt }0i>@B˕'tTOiHoBCc5_l6gLU|i4,R.?2L G6MA.gU;}(D]?xMK0!wɋ#5T摀€MMejtѳqe\2qm9{A"Y8-&=j*$gHx}Sh\2^ˍ8!$/HA?p^(X"8?WJN"Tz5xsR? P$DEWu~-l$Ԝ0%F&la7*X- /HT1D ֚z"4gJf2hSV"u('VR\u ahV!c(<_qm2YGjכc%(L'#!Iuwj([~FL>)s?I%VoJzŘdž;~G9FZͿT[v'рZ/}q$x7ahP]"Yn Yp`Q?v6 wAuEF'DG= vL=Z]T9fW)EN|Or0:Qt`@% $f C%&DyǴ{m8t7bE'싪sM#93hhYq_G6jI'xN_`U2ՓG9>a(%H%>nzsi,#V_ԮKzN2HG7GxxW?^5h9>fgmp xCy'=;E,OgШ_HU8QTޜ.WTI2 NpV/?Q{uRL | n`f&NU{7#Uv3aVcU%L\o ,A Ƃŷ>ÆU'C:(҃!n ZO_3*<愸9́}S NSfC7'!K-hM~-&"=0 Vm?Za@) σ ;@>B4*C'cnV QQqeWM({ z%)YQ!ʛgAfSAz0:K@Z;GQ*ۏeT.o:UiC:,:lZEwXw4ܪ#pץSڑC~SpB|[_j^T 3NH)_y=0!\85U@عh{=Ђbϛ\-vݘ[` #4!{^ܣXpPtTcl6e Ӝavv*ؒekf}[*[1\A9Wz.܇.UrbA4\W+߂8R vGDP}@m)^ߞۮ,_]yY?tUeuD\s3e)?MgrmlQ{qۏ5-Mky26ClYKh0EgCtI5fm 4Z۔ݬH9:P3/8i8&r)N;?=2¬t^8 K#(4/H7$_N4bc^ 'Tк6FpxºiXoRX[-谒trZFw[h.ArxV₮H7eERw"B֌ >]<ÒN* xytx(0U<nh,#@B̥/ǹBr"5pB{-酼-T(c==WrlbcA<}{Rݘq}^Kvܝ2'9R[Ϝ%dh<_קOm@ecst÷ @H|'h !mN!T 9(z {ZQezg產 m83-Y>>_a-tYbny;^2F9c"̓7䕯Ɓؙr04) 0.VWiگ`UTIqC=hzׇ%[[6>1*yU4/>;UI"[i""[OV?r= \ޘ2ҭuPkasZ\lP8SJF(OVeYRMzзf8 VZ17p͝3Bhj+=((3#P"ߛǒCdo2):h '|Mqv=ޛ՛:IAv-Srvа\EԺ-._ oUϮRx1 +HNZn٧^4L{VUHBd.8 zo80G* VAcNmRFҊ2F+F 2x-g!eQdUu5`/5<*Ŕ(NOK;-9A_@dOY ݂{`֋cyPPCEc㔕elEoh7ͻiWKoU)%0E JVC̘y+H)r`ו*w+WCK;3Q`: 5>ϐjYlc;lߩA:sj|'Xu0A_ uTY O3X5xb9ؿjN!s2C~kiGg?Mw3&)!?ǟW*W{?\ D(.!jO`(YH4RgoTUq׳=SaGWmc; +A}< d%LXq}:bhS|NS)qGh,KdiY}υ!jyC:ivsN2^]K 1'^s8x ,_ Co!,Y"eb^|Mx;df_C ]";>ɳMEX=ԺM3ozr]vm|uAUQ#b3h5iv'ŇcXО`*g'J_Ijh@Nvw am\6ܜhNo"r'u 0{9`eX1}_>bBf>WC2Um/ XQ7CBTojpZ1D>P4%7E H# `U6}Sp%0RBr7Dm`>9P+0kLVϨZ,'ҫ}].&ϳ. >/er, ϸ'w$Lj)b7R[ r08w[ T*Ǿ?1bQB[[De!GYK)[ٯ+qD ur3%_js6XwD<0 4Uvo HT :;EK`^CD8C jH0BކP )tCt.W%&@ A"AW^lK-I8%)#.4mZyۻb4A!+Cȏ6̏b^eR9,@U<`4=`ʼrEl{@G5`_Nm(+ E(o҄;~ձׄCj$V>y;R`b(8IȲ@Q%p8B;ϣr8@vA ,(=aٲ6$ފh`1t3(+EFd]=KW>eNHO=% H0RZ!Q,oS@Rn=ݓ/9C'\X)%D"L#UbtAdV,Hr]`.*|dpѡ}#qT oSs o_ye|dRԇa|Qljtdx#:D$> >qH0*#@/+>^c48!\1\R&,5-|swh#'{De qsfDƳc&1N?yy J)E |iK'"T]LHQ,ojmaل9J9oz&{HDO?GzW-qtL 8髒+ 8])ؽyRџWA+FkeR6c;\ُd.x#?i:{إa,Xfch=.B: 78ehW*F+SQƒdX3B 9 Ywd-O92lFQTz)3[/d7>joo̡zPܩ1 e$ܨǐ?NtJ!z)ZL?b}TҶ! bO٪S,^΍s-z*^LJ.dr⾠O22vx&ˑ`cHȭRBKvu@h \ڢċۗc怚HQdRa?avPMMAnjݚR回JB] Q2g?aO^wڧ e3vX5RHL`BЗGk*-xZA JwR1%leC2Yf ]Gl+8Tc4~&wfG&7g#Qd&sԕhnkhS{oAk^/NqrVm>j?6h3H ΏL(i]+e;ZI(&G#M//M6*%f0{Hả/9rH.g1۶8}w@r.=;W!_{yDgyw)qDңA!T嗦MY?uIX{Q^3/0iQ2XUIrK[ےifdt[U#WMB:ėUiL d}Z,F'覬n5(-HNαG}fOФX~(Y.|<}^X%{ZaL%@u0Y~ȾZSa"^Jj]u~y\/6ѠKٷ+*fʤ%wZQ]O\ YsH\`Rj (9ͩ9Rc'=!X%YvGW0 \F`DF+K0Ƭ) #ĶwBtRaxcPpOMڏ[ zV ')-구S8Μf娝M<@"+AWwZ~e2d8+@1_ZZ-)wcuw۾—| PxeAuHعW-虣I Meu-ʾDad|mmk -.jr܇ڽ%&AW:NjD4ƽbVw^Ca5Xz;sbSp]LTMt1t]*`, '$1ros4:Y&y~ Pro:KRӤqyx-[k"IXޞ:ڧ A-J0~9^ʌ TCi\j?uzÝ'&lSazHңK8ywP(ŗ $Z@/QȔ /wBt]Z_Ge#(suO"M"*:8=A*:._e_Vwx/SJBjZwT'Ͼ{tL˥NPi} l*۬սs%,)R]:qe)ɉd=62'rӛwfo_X&qdRJOIe֦P5C fiV,c^]φg* U