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 X#d4 ]S]Collections:threads=4elapsed=235.294cpu=602.100gc=40.376factor=2.567zXZִF! N] ,]ŗXf[&5Wx(03Z*}?6>Ї2+[)eg쎱,HubIZ {őأCӘ-` dq93;Wi kz.`¼TE|뎃L Dh?pIy L@z`49Yc>p{0ҭEUDVrOosI3bjzfv.WxP?^:ADh7_|I(BAH騻dk i.9bq](N?W(".ΜGcܧXUr@{/W;ed璈whbDČոatm.<}Ay#z3 +k,&y~ `auVBX\ s08 uOJRV\2a"_oObEL & ssxYLav8QZ?*F Xb G~&Q@^z!Q,g,qV4f hC#\SN$^ 7mm^Q hau`dD2pnp班s]9? u@Q?)uy5|Z"=CϾ|53h]0?Y axQj~ %"&l\UQ}CڎחG 1nm_:@A>DN^ Mode(4G4t$5xxo(#+t@#(%fvpnC at$(0 Lq+KBplphJxHvi1:XmeI\"`>7zaRx,q=gY 5  D-] ݇so(ഊ2|7?7v'z\imbCR&,SZ*=i|+NQbaz_f]//|˲n1Mc'6'H3^&8c8 Λ}te^cA1E*?|+5|KgS&["mh6+g0vjeámArt3\Z\c93Fz#>L> #}5̉8HPϰq3)ȓ;|ľ|_dfBwʝ'R9t/ͦ @-mD K rIM-#& @6,),}IBPPسޖh1u4v6Ǟ0 8f˾MD^D\_IhT}3pNN]lW}ymy~Dnog®*J=nU/rzd" ;ʬ\55 ~hI3;ǟec+(m {7$Fξ \"p,"OGW7(GCu4$;u85ƋLXd߰DҲA)J3~JkJ!id}h`ౄ2_dպ04k^!Bۅ/)}X;à Lmv631=)`ˀCYҢ}VM)k rH CΈ{!EF[:\ cWj=|uJt2y:N'wHZgXo'#e v]+2lvdw6)~XZq>\M)Ə%Mi wݢeUy@Y5v/DX[<hgS#n$aڴr0<"HT(-%-& 8xt+/GWGƷ r|! Іb1%#7Kfp,7h i6W =H5  u}5b1,]&Asʼn3ݧJt=3 o .ž3Q+T _.|D4FKL(FJ9/Gx]6tl[Ka 0d&Y-ҦDI]dhi8zLƿȞ8>gB  2sQ*Bm^XS9(HGxH,DF&˂NNS_12re)`mSz@$ # 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ޟ按UC]Te;zED ~q`5."]1^("Zůg)>n|1;/O8LuřfI>G<7Gw`Y|5Qj߲v!`Yn:WŶAdx[uapJw3=%1Jي3 CSěAJtRV;Q4j?$0?;#ZHRI^Mc2ҞAлxxQ 8T#7/p,UF> !5\'T;[%T+ VMZ*t^Q>ы"e? : 8HM?fO43ߋ;hxO=^l=b'zLvr>X]i"`)$yx>jW[!L[8lx9"ŵqi }b@Y I X9;6b{uMʚYxZDhAOIFfOG~JòpoF>KgZ:=]?Wo_"hЋ +ȝ^/EBENJ*P䜬Es_Z]Yz[Pޔk J z..@0%+0eoW1$%J6G0BDTr둿ɻf4b`LdW|5HN.5^Kn_߬RBuR/.Xq^{yH;H'v \$ Ix5\"> 1_H8cdq/ߵ9˅0=4ˍ&9`(B{ãF\25{ÒOOJ!< ^ZIջlK\L` p=٬a%ܾb@š‰])`Wpnv}qκMW93O/UE^ՂZD|uH5A'0eDsovyiiEUN`H# }?ogO4Y ߹ 7ZC}/%rPүҊzg' vsaZy X*:\ ꥌREa/Ũ]i^{­1Vפy̆[|+*.{rT CviEiYΒlAʃm#7$hF%W$hf [ĭ~,u6_%K0XfHtY-_g:cϰ3H54OS }u @m{ g͇QǕ%Dx*vмʀ U}tN4kBn}O_/O&ʬ4)n }FkTh@nej)`Sidl4ٵr{ Y?m~C]Q,둓lk~z@V{^u|%,-VlY)"F{UI9gARo;Ff2xBBLt [}SzZEc -67?*.Pq7D0Gz>q7JИ]]6JZAPD+tB2` zQ9C7e|)L?^-xr8KM8z|5`/[ȧC=h,Q"!Yw3(-iS_ƴX4Yix{z-$`j4BI H(9% se ȐÿV|?X 5i'r`ӌbOq} 8}me=Ԃw|yod{L>g)@Ԥ:Ȧzc;W̿;BާVI:(#(/$ftz ij:Pٍ> 7}[v'c$=)J(Ct}3&[3Q2%yD\R g yaqUʾSvHO$t ҩa\I`nEchO1LT.Bﬤ%T##Hߩ7^HF;V>ZɵmṾwfC~Y~`$$z,P}n86z::6JJnh~ijOdqhQr\ɲ8[oԿ*/CZ^'6q5F24*]\JM$M|Q' 5P91K6ʲiĒ1+WjQyx#v W  b7,?9I5%1>#' ? \xn5 Лm624e'CWipV٘K9w8"nwd%K({$Zruo@U,eSV޴ !\ߞ%|} {AP0-e+%l-rI 9rj7MFpMKqP >]5b[ۖhZ e\dd}3nVzuF%QU1JXiRFZ6mRU,,oZaɅbmO2mR"%#*H )VJ%Z6{H 4y~\o ]i9LuJ[`bp+aTؙ'ιh\)} {U2ȢS6eC$/UosKμ۰.HΑ7T:3n v .cq@k,$4/ˏJG ھyةY5mб799 `"k]IG3WR x)x֨g]Q}+㄰3~^aX{PWSQ[`X"lxfN9lJy8 GXh ՙEGG[>e#-G((3778eB]NʃZ\ymSPKrM50VNPY7`ʪ[ė.Z<4]2V |\Ύb'cW7}K=TG9ngr@O_cQK¦[|dJWC&ե{3IFp1Z *1c|l!Z,wZ!SCKױXvvǡȆ4c3t9R .ޅX%Kf= Fx{>{T_Wwv/Ix@'9;B!LoNdW=]&do( PUŒ}=6j~Y,qu}Q!Id-kk)ȄV"h+W 2~&.dՉXiVc)|M>O}t;7 Y0WAi#_[H9J{'O|de@Is^4 p?;nɌN{ɤh8wrڀ|P';%uQfuճ/7qg>X.i(TdֽuʜVM-U@!p[u\Pk!׏j̐c1gSp+]wC]_F] Q2>5 -wC:b=>!U QL \Ah.V"*ڐ``V`JV}8' R'HFzs kY7$i:@3>%8 ,ta8tO py.h8y㑸C?iYMW@#YfR-hnԽ< /sȎq{|$F'b)\8㊝Wkh}?By\SixlNl[wѮ[4;B??R;3bFi+4J:bg:q}!KyL  PߜaZ/A`y ~?J!aǸȸ70WErB*\xUczEYKz%zּ>Kқpqh 풽{7llPc?h^<;+A Ș$~T n$DZ-b}&Ph :{&i#H9Vߖj1Y 6Nb{o;s*AfsNtW} w"Ued|g Փ+SgDNo@:`4dp L^wp!S -rj)5B"(4E=-DlscC1B#3b~Tj\@aF{k=,, ?nT)׹oK haTm6/ar_&Ɇ^ AVM ?^OvA)c''V>}pg/EAV&/C̢Ta^VYʮ[DK#䜈يd Y{4@ pzЉ |'D[VhPU.ȜibRL*Mᓭ֛q=+i<5;] ez*&Jei.ap6SFj` 0)!ITkPIfB^ 5q=Z"uU@|;ې <ʐH jBygFa ™pW9s B]uF Navjq >JN@Z±gYZ7zXZִF! <@]ŗXi%B۾+f:IYCNFKbl7yRV_%Ws,$֝sC,j8i0NzIg\hYdU{pPC;M`.Be ㌗}å7o(@BFɗl1W8*J9fScp\YBz~m+x \=X oW|@GMmƄV$w ˓+d3V4l(-ceCK}am1yS/n c̀-N@]1A9¢OV]`'8-BOIb[-'qP]½N>j &_bߪV , b- MHGrf'T"&)b5CZiR;s{2"BwR!*FuO!($|c>r׎Yk#sR(Ǻ%PקQ%QlYzƋR~qA-2 ק` 4%޽!=ύuV=;GLsse-(uyKVcۺϞ3Sj6 7W23-u3{hAݐ RvD/X`:$رkBƻw-XG+a{U(La lsS&SB*2Ȟ 5ּ[N)qD]#>!c⩦Qj(<Gs J>%o]:C;$U{10Vd/k ?YWikS>8VuұЖB"!\+/db'V-ȇWn3o_& w*sX.Kg F-x52KȝSei%{($D0}Ŋ{t!K)@3ix f6 R!CXjUnJ6qQRۆ1m;B+MP~6 eT՚IYI~PJ8V3ZyZ&)'tQQMŽaϨ.=n3QI~3-:ȜW~W緛)VhuUl#g]z7:0WNN6n> Rޕ<ڻLqN=`5}~0p`IIhQ q]wXIl'`kl Mէ%]ょ$LFHsLr)|;htVf%Ш+\t|d38iM[Jɚ;C;}h$k+ _OdJ# eQ'qĬ"¼@E1nSy|pGVIzIuƆIXczj M@j~J$Vdmff`O(FFzrtpgH. ,"@eCMN30,Pi3\{8v u,K(8zOƂcl?ßۯ,% 5H q{ݜ, Vy4xz*4̔#@Z@JG&cV}H* ̹;^/up0w j p$<M3GX:]irf@V˷V3!tgJN@7ȉ!%@r 3bH! A,D_ jN>tjPS4BBRDqЗ"7:e%Wv|g:{WG_ Z+ʜ|{: '(E$)[i>;b(QwC_Ȝ78Y>CU'!Ԟĭmdm3ut[Q[@ё~wz2mA6"ųHpSV>_ 0A#C6IMArc)A=dgPd֎WLYqW_][)pw8E-*Jhoyl,&X`Yo=-+k=d4۳3TaP`]CyVJ@G5\4V(KM$P~Jq@J\FbՍ:`﯋}e*!zߊҹKKs`Ze##PQLu'+oZ&H߿p_:tĪHGHvx[ˌTk_0Z< +["?F/-&hyotr "D0V4(o?*y]; 6e kM8lMA:ɾ} 3!ߢt#M67V$fb9b_2~FSIPz'ˌ#$2Zv]jNCΤ̎JWAފNەR40y? ¾S~;/%Qmap4NĊ" m4 Dw6-tx7m_kƫ}Lpcx0dda7j,d)5 &~8O~&K!dpv:@ _y80Xs~a<NC7]U+g(S3D,^y7a9Uθ6gDI~N >E"zT vSQ?[B32@Evknw>ƦB?&11Cw}Cj:L+U jHKZ8MFX d{EJj!rL}$ :P~U,Qq΄Aepbyx2)+QkŊtשiiGxB\"ne~(x . >9hՏ.+s'XO8} Ւ,qx#]%/0']䜶"D$Ƙ~35:U2L\4 ~o'>~烽LF,8S ZB4}jVt%%Dѓ2mw,!`vE/ObDWyYroAu6kr|mȲ~TnMB[W9Є(/FZk'3&-@m*`y~8v~ pIټg\jz(A\,D^}AT$70Ur#mB Gdt l#&ԒI<4jihC ):w5 ´/J'1|$I4@1_`-x;L zڂ@Vt(EHZ].*[h3wr;IB9.7Sq~qF84ftkW-z厕Il揽ŏڐOzSB[z%J„Ns,t1w$o^X:A#/,@l8{-qT0r93GSlnHj;hBe6 pǯ \l -T8' nr[ mciz?зm|9Oo}7u|R7lԜ+2 8ڸo3QsTk= (|NuI/gV+deO H#`ĩχ+G\柳3,r58nYށ-OqPgg%y9Y S , w'1 imMFv$pT͞Y*~(A*I1صJ"W[j.}w0ǵJ|JUGb^S&ņig5ԅvNm0y1w>=Umf|pɠt=Œ[〬 n"-QD "' :`#CpWVҖKL\Jl+m3:~U` };L86MWuҢ5@I2AQbhgR ƒSdWzMs$ =iJ-"Zф%Z~bƚx_F>zmc[}5YYwP1/x79@XJd+h>}ZV\U:cfˑ5=ܦZ>k ir(Ptl!K6`%u4mun'=FpX+{*w 8pia&c!|Q[̎Ͼ0_`8gy!4XStKB6Dj8hVo[XZޘ/\XPT0y%V<שeND͝y|e ~}[8FjmiH?+a(קSS πyFH@\#&`P 6 us|&h`SiꘊB&Y㥀; /ط4hO; Jjj1ǣ ^ ?CVu=4q7kb cjCB<ASA6KO d< ݆}-+ȞEK 2bzgFu;]«I $vӕœzgokxlXY2 >j GF2~ y3X=x-dS9Ȗ3FL߲-sWd}| bH'^vL˖@k'T3Ӌɼ醹1DݼiM؈Q$q ZEҰhR `A6ev1^ $ +#*]M B7?ϲcM~/n CNQ7L5 .r쩝d?njFXQģ$=qTH|%3A͓t`J{}ۭ\[ MBI\ygժrfGH_l'}FD'Sn^.DЏZNŸNDK>-b)h;t(+nm>?2(ERdr. =p}xf~9}AwxKj=7GAH骟eמ S%v#Bu1UAs{;ǀp(3 r%$n~Q(Hh=nbd&81$\P@x3,E)cS՞3C O{&Y?=HML-.=B) W4u=҄w`߻LܒG"@*삄)  JT5f HXQ]8Ef2-525M$i sW.F }y2Vt 9jyR%JNͩ^c v "-B<Ƚ"Q-cUѽK닰yB&IKpچ[~"NB/v< ?7߻fk[G?IU٘Nm#dB@W2|Z:~7 \~kӶw0n vW53|uU:Uj%J|ԴcȼIjs\%NI0Sy%OlfDo)%y%gnLLcS|[90x-%DV| ̓帇Y8}EI*xYXW0JHH3!:F}´ :1}m 1뭳kS`#w5 p?[cqBl6_Γ#Vjg\6abaL>5 LҒM8)Aph'CE4~d{g#֒5F:#W^ۿ6ji\9JVh:vz NKq)txL/t5A̻jj۪ wۭ#z rs 4{+sRI$Â:Ӛ?-;<*n?s~,t3FD{x!bj΁U #AW $cNr,!]E'Qc78fjυxٛX 6<7)1_A3D@sV#P;Y(lH`_UEqT)qi^u&t(6S7#Ug!(t!֞{ri\z+Ԃc'Z# lm ߜxqqu>,nanrsޡvS ~@TeĭA<:gpR&M"5h|/Mp]>ZO,# M0 N7o|NCK1ALx,VqJ܇_-=X3qM'c` }F 6{IȬMVS~3Pkiyp`&'aD".ӪI*E"L=5?bkNA ^z4͹fG)/!xPCy& їNWب~%P޹ЇLLFU3nQ.TgŦD_DUt~!"]ηdpUUR|H `x6=^i,yO-.̪SqlXP#`4uMA!wbkTh_kHz2>ϟgvnɪ„r$zʹؖ[EX5巊ĢKS%x/J-AI4 +IIaYZzRZ3$8"^4̶8e\oZ숹>ǍQ U%< u=E&šs=1(*&ҷ9=QRwc. pyF8L`'z TXBSV^(khY6+H~ՀR5DCIa6y#[0H%zkA m9=ul dMQn+d`r%;6E3ek%9[yR޾3850^O̭E_Bp%wT<;TYEPMҨߋт;;T6P%.()DqֺƄfx%@U ȖM+091./NJhed>ҥv=rk 7ăeN0Ƥ|`f q/Q ?\$-ýUUF٬uK'i3^]Xg: dg! ]Jh{:=;.Q7G$~$"t/PQ=6eO kR,wލ(SؐNlhƨg" ՗ON93=Q%X61t8Ѹ'7 r3C"\C)fU%m;}%-{,\y"Qǭ!NjA 鸗Q4"7& =^H9ioؕf}8лO8ˊ$k ] h !@ki+Tt?mLtOu.9b(X|ZNy۞IA@/'rAds еU٘$Ji(G3pV`amh+4BEC}-Uq{zVGXYy+9NWXM>贮YqMUEb8*qw\T~ǖc 1uG6T&11 vDKU8L>ϑ Rh!v6`wO8;/N$5ot7ʡbhHap"/caYDeR `XhUgkҲ^n.<{+RWfjX-1iI2 |1Ԣ%LЫl{rSniARt ~*QN*|s}#e'u8]dXSuJw_pXw۝CPN#[q+89rIJhAx%ߊ̻/X-tM*^+ [^6+s912~3.w{L7M$ytcԙR뚟֊ބ`qs1n|,dzM9~(~wh @6.:Mkw%d!?;0Z>h,yLZUSXxb[ ݶ!>gxރ<S,{%vWC'(9MjUܵ8+ MoV{$L A8:@u?m7TL>`1d 8K$<5gIK"0- JmU ?c3͊_gĵ)fHb?߽F-_Dl_pNɇvjHLLBhu"n}a1zs5g5ל1eR\ pћqhHzA7ELÂgd5WĤ]oIJ;f"Ǟ>+ij߈U)o 0M'("Ԛm$ ĵLw}X%F3WJ!4Ktzw) Q>iaKjڽ[=/R}0[W^v!ubؼOA7;=n^BES45W d8L^Wy+Zxϳ+=9Eo8_L%ܝ٢J{|;Rd>KM=h[X֏p4Kg@Fɱ!Nswfum .hF͡L鉭hxT2nd(2|5_upI)Tz( Z:8BiN+5Zm M< f:{FDX.|l@"|]V b0gVg-o(/(➽!لYfz69]09Z#&]-d7|6"8,a=ӕE&M;^e #&P;lˊvW_wNr 8BGs1 ITlMXeĭLI6&~`@_dGw!`NPf(tRY5zl9)]+(:5`Ou}*+:hwz#VX8f80DeqGZ A4չ.,d˖ah|l$'b\*4㐁@T5/6uy)iw`RGpK+:D;>|O*R?Ruc\Pz_kaogt_ ` rӤz-Lϵj {ς/Ъۯv-Aco*uܪ3 Pd ܨ1j W߷g) d&u_p5wVG[g(49Ml.uwԘ8(CL8+K*rSp3*la{ *>fE]