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#Dd ]S]Collections:threads=4elapsed=248.414cpu=648.688gc=59.896factor=2.617zXZִF! R Z]ŗXf[&rԿoAw}tE1;'Οk"3TBKXt|>&E  &8<>3solRK$nć5>|ci pUBAzˉ+" rxPϛw))÷mlDEe a'_0~-6j̝VIS!W-ߍܺwĈhWkhqV޻V(4Kt岥_`uy%IM4ڠGq~N^S8aKE^go x$n᥾~6NѕqK __&+leVۀmIz*od?L0*ȩ|x]P-렏lV.}5&g+Ӝ(]2Y/ ˾\9I tUy vc*,Y ue3L߰@_pYnQd`u8y1 u1V9P&<_D!(k,3dCXD0뎂bk5lBe)K * e7>9BH (|51Y"\)WVŬ~R|Kϼ xְa^P[dd#*du=AdGʒZO(%לMq  WqkaI7!daa:X,fΓB֟@b vFǩh]6U^/vZϭU~m>㽦 `**ጃ:P#'m|A"WI4Lnp >-aO: ٚSz0lf]ZR!%]ue8eؾeiH8u=l2ЧF<G:h#Rگ,5-/Ǿ"Ȟ_JV fq1LApq=!xI %n/=yD.𲥉))ڥX u“@gj܄ӝε3a^뭐RJP"Sٱ1X2_{%^'q("{wlL6mxW +bǣq)j>RX(+8E' k7.1gֽš d{#WeJt[CrZ@*%Iz{IErb_,I򕻏QY\bY[gLѰ,ҹ k=<<մO(:X..fXF[#{T"MǛ9]AngZWVhu,b +ˌ<_Ro@O7&%S0V{1E,.q԰R,a'Yf!5-h`?n\<5bB RiYSf -'2n-7!3P'Ű7e\\/wrG "VN^(#Kす6?E2ͻa3G>@;L*s.1+l=ߜp/Kw~6*|$QZևnW)sj(,f$y_`.pKOG3,1|pV*9Xa \H'"z1CM1]btq`w/h~`g|ZD`IRI;;>7+Jb8f8Xz ^t9/r{!\2Lau@ XYm)+e8$5"zui C7 pk ij\O)=&42 l$96^RH}p;@!ݞ{v$wQ'0s* *4 . c!zv 7g2n+_w|I>@e&K42/E٩;̃&du( 9cG b^׶>ne;$C_|7Z ?}D2gc.nn؎w7}Stl5@Pf{& 5:P 5#ֳ<":,?Ecۼ3<ڣBrzvܜ;/.׬^PDž5Re[Ld!n+NzElp:b*0  r;)hK3ӹB#̀׻KoUWȘ=UVFts .ZFRwϱ#b0o38S!Kaߚ>|^Vr8d6w1([}@pg6!Fd>A˜j` ' F9 1]q2 tj R ׎U2v_7RQ"F;](GZ'Z`W+0J,-ܢ4ٓ]kT\ޞu2ӛ!ݼ3J(f vąMpN%-aL<-). YYf.J8δw~T7tj"ʨI|40%&Hn)LOc&etnDY-h[قmAa5 kR :y,w69J,jW'<5m^{a2ioGs&mZ$!AT iّtmSC"SUVե  *? >t^%̪CfzȮҶ\z$ч|-5ϥ4.4aԼFjWh~#~fv#bq~GMU 5s72ҁĪUewcNFu 8u_ȋn&u UM3!( # 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ޟ按r/2߰9Z^G5grZ۟w+chh_k ;y/!S@DNMD0*m'l$!x00!zX!ZJJ)G*\Z^{2߂#p`+;Mt$B6+ {dk.oUxc[( jO@z~Ҙ2k)?`\Vĭv^5=s[h]GϘ f ,A1<0qW\Ϸ,ϯKG_-($A/D "*agp&DJ38VN8]uU kY;+gy 3PД٥D$nL9̓>Ӯl:mߢ&ŞBRd6(aWE?dA4ԉ1!}pVi6 1*ͪV%VtȞ$$PHEf)rdssTHM2K8i/JaOڵS譗{ OԆk8pZzfYbK xi:F/x3CwGys$6eg&wSV&=AI",y?ЦLUOr#{;R7' @}/v G=}IׯGpOBd Ph-!18H1խL,^Ec8G ʇ`Zow\]3]]U I"fZ%'ТWrdgQRn <J/Ѓ7$p;&Ȏ[˙G{G}3, cy) \b^jEugR%fB7k.fխצT,lzRl`'1K8 vֻYqj%aW;ڕݺUsC_2ؙdᲘy,ԫKCښ.blp+LOCY ƴdd *ḷ4ߒ>=]ۨsSc8# * N{QCޜr1"p7I }ZQt xoLl}]k=5i wSy+JN,P J DjNmj>XHEjVgmmc؁Bw>PtT}x%i:S@Zt)ƒ!mҲ5'DzlfKdbu)50f(h=WSFLbs~bAGD"vm,uAg@D#<0]\_Ԝ/ɄfG"3a$dٗY[ H< }i@2_CMG{C_Ts\.&Nx_tDja4dhiC:rX2ڰD,Ssr D#E&7Nlv8Exmq-v+vxֺ}, xY/ 'QB:KEk>me12\Hh$icTYhy[p<%ҾWq;q&B:)yJfN,OCݖQ3Ɏ>}qҔڋN1=uphR *iR3zS=vɅ1<70t0t p4RT6k>F/8s[-PXR݈$jwѧɣKajsBΥ wRP(n s`r.-ʪW$VFvPJ[ps$S(#|QYkAa>XL56ZH~s9T4֬._Ay3#CUw}$ejx`Oh]2Ee-bK(&s's1ACk' bg@3p{g*JJ іq)Lֆ f$:=: L؞iWr1\M}mI/O~w=^?>+bաCL!xPA (Q[;ut:;saM՝nگ'ppVؔӊH[ѷR@ݪ͗$]"`nk- dѮݔ^0 S `r*H`q w^d:*y!:3< 8̕ Ts@ӱgYZ7zXZִF! 'Q]ŗXiɟlAC/B[QZR[}ۏL0N !ZDND=s3@xB'Ń{zy|M&cKTaj G+OjWA=:h elDX}pPˊRT lئ6cXjVq+?*,sL% EsւwVԺ7oxARzP&O[ _ hN|vo-aew,!jJI62K6;H ` *uLT㉄Ac&ԃkmkz)Җ=!L58lEqdݾ/dT?dҝ["s9csRy`}wOc.- >V;6<I:GFWrﰾqD5 .g=OCk?(gSXqE@YҰq9=[:$@%79)9@~0Vԡj=dq6 #G!T9WuN7ކ"To_G3 P:bm_켨JVy\ΙuG Qm\Sn@Dr7~bTnL^2}6fDPG^faît ^}sV`i tXyF)_4Q@KeݽC %opE54ퟔVyݴdܰIAу 7+>q~+jS7L&$*3g 38(Msb7WE[K$-Ggαh]Uт+G ҠJ;kN99sT3)6; %=#s2q9sZѱP2.?R*k8n=]7ĭ+-RoE GD)}v6]1k>cRZ\3(-EHu6 L$3%g>,yU !?}'1x"b'ʁFIZTS Ӿ/"c*4E5O1fGh~ebVÕB6C ]r->O#) 0#_}wD9%XV"h[%l+2-hcL~G7o$q#KOqL=FHqSF;IQO3s mHv @~?.&3/I[bλ36]-}ǟWvw߽Gφ;TÛ?+,.@wAlA\lEmsOD10lP=(kid*Z-VGv c>w%/!ai :OgXҀ(}VD[AcaS[wvP3IQ:V]M H ?`Abt rcZ QM$[gS,e5d^WH3ZSqV=YI-DxVDTolzocH~nUM~xH: LsTlaxK$Gb呐qCalZFi*u1KCbVN|UgYZ7zXZִF! oCk]ŗXi%G̉LCY;l1aOho1Ff̣'?BN7Gj+$=~*jם9b) }a* _UU2ppSVmA5 Wp^^>PE ov`ڎ Ϋ<[ ҁ~k!eHU~%z d8Bܗv󩎧hg,f1_)D8DjM ž͂+AH# Նy׍ j,9<"U a$>])ebO1!.ʲQ˙sɎA`jHzLSm.|MٖmIrUl%cPK((KЄB\R<8P JA7bSɻ"ǥ([*dT2&. D#})Uj%&FXs )̹*$ŷ*jsZhx'5 QP5^/i`jBq1u 6ruG_ʴDAw˳*s#d/JXb3Kl Z+Kɣt卺d; ID *1օ5u6{%s֩!QpjsSBf/[ʐɰr&[-lkTac_}ke5XE+?Vrfg_@fCDnR׋Ak'Yd`p_qL<Uv@xW}Aa#Y^)c ,w<BmCڳ,HHZQ&x4m BD`VN y)!=[Rt>~v, 4`L!.gc>Tz=U6%5ݵoHH7JH Ng3^5mRycWۉ9a^~.1}~(],%.s_M췯xWӮbyC/p5cte9C$Y (%]#Tbpd:d[~aƄfMepU`u$*!5> ڍ^mrҘp ds[@A@~zoI KrA (N8wuyx\mވY^<W_YVԊUD.I:2wTP,hxu8)$0 Ar wӻK=e5L ܐW=@ aixB򡆹8̹n<llC=l'E8^BMY̙n~+%F0a@z΢;1ƣ'G(n'j?iP۞ cfBvIa3z hCxѕ8rXDJ*ŲtMDBG"[n['#m3 ˒2qo`L;'o.R .0)cgJ !x S j[l5)u ٪e3}At$ؙpI}uf\X؎ٿ"OL4*0X'g7OCΈqdt`Nr Wg;|~Ѵ[:*NW;֧Wt] `gļ&SK\1-{uٗƴtY@۸9y{@& EY] i#5v{~/zB&oka.Z(1ҴaF+Å*gi䎛^6\:ؽ r_>  k$el)fiԏ,Vd5^mR+ #Rj5d}yCKCNgOƊ`>em8Ful! _QWv3͸;a =TRξZy?8W&q@ X6Ù {_cX梤Jj|7R*!ˉ%d*G_~m:i.}"녍zaPzP=nw]})&ȒBM%4y4QIi566r[dfQ`ց@7g\",M^-;5ޘYU^\4#7g̝V>PRTL( v(![6!/!EϺ򚮙%u^RḌ׿<2V/9;L.,%49iA[ '47ro&~Jt jt!b6dP)BLEQ~pxɈKP U9&um#]}EԴ^w ~`k"5 Rk ]Y-οp';?Ӌx{~iMz2?'-yC ϙ%fQTlءf>='JGy2l*9Lk!V;۵nA92\p6{Z(7OYq # BI,m<A@.*#[==rٜEe7P?摶G4tT\ců/RZ1  \06> pz>i `o`΀F1~謌%b'Dw-[ff$$} ͣX-$j`WT<.08$t$@e%s׋re)L!FGiwtW6jcc(L"uMMfw } :)on&nSOHU1oZW-RP.}+t#7@k 64`L; D&ϭ+Sv 2@6a${[LĄtRB[d}⤍bcŨ즦A7TuF94wawuGoRixIPrY>֨!MO1F% in/TDt1H3Y{<*aIN->Jij# TKqHIV:8q!T X j'ڠJdP|@Xk:wSzKEEݸ@537rΦ D7 H C0@ߟ>' HRoԾC㡊;P&+˚;('}yO展Fi?KBnH2;`67P}% # 3VM pbi};qVseFcn lN)W UP8ׂZTd_]%g+QaZ .4I:lf[.U8T H\?Wg0j0};mQHbBTs7=SA3Trύl.ޮ[/G'ӏ}cT~0:hXA̻##̜\#F6t rq"MN™Ö&OE 7fd{q'Ěs1ٓܦ0lA$xmO~ڈ_[@w (ű;ups :$ *rؐ,lܑ`I7X:lo\rΝ]6]~cj"` G'D18i& .e[ic@.CbӄZE X-2gN]"^ iL j ˵Pm+}!:ˈ÷FO_T (;ܵ * rs%[|Fm:me^cjg<܅W&Lu~Ç2v6 tݯwBWҼ]ώ~vu[oi~,3/b;9>.Lb$5g+ qQEHf` x/+Y9b`)F׷NwԖ3ZZpM,+sW3µ&KMږ:@a.NbY؉kjM392랛-s>~Gqëz 3k7 Kc=(j]yFdwge358eh~d>@]s"c v@-o//tDQ"߃UƗ%ICHQf@'Gw0;yo'`Ƀn0:;Vxl0R6bP mCr:Z\j1S b?~ۣl<4j <)`łW:BL UΘ9_)xWyGR)lp)GȷCsvS!dZ rd 1XEpʼnSNzk~A2#w܁NLKKdCM5=)F'X(8 ͶlM8xX6 C‰XOUdn \GD{r}z̘[-"1תn+uJރW' IEd"/dTHƚqZ~K&=r4lRI^f "rSMgNf0Ex.0ˡ?R?aO2[EM?$96ߟk wKyD7~)SkG4yR >LZu#9m>-$l~͡p^8xNDo|Yb.'IPGFH #H%hwtOR1ֆr1fJN'I W۠ZZqYD'Ny2v.jdW)2`,{A'k}>$jx˽ Gk0jx3btB}nn=CMGJ8aORQq+qʼnr;FrFb+b,rP x0W6@K>OXUbc,gN}X3hjnv4sD7i:2OtBuɊ-Ak?_9а?"V?z%DGq!,9Es@q}w0V%DU+ɶg_InG`51l%l[4GX(sǨx$#OH o HY=u"Mx3X֙NqJ? 4v%d,2;FO+(6ⴞ^: LYJ]i_Ym߀9{;ltI? 0 h6)ykʞZn!L C&Y}2 ISo\u6Η}Dt @_,F<}$tc7, 9sRFMv03̅h8w9؜XTqҕ.ج%E:8,ʪh0Y؝YQ *ʥӿ2-[Q*# 0=n H̻#Qq;@ %X } Atqu+)!SFO"'ӿb24HܱSo\;pn@WjGE^U[s<;)OD4P"WJOGClN)Uݳ"vEdbtؒpFe@_:|oQ0/ϘwDw!=چQ]!1khK[ Ku8-,m#i-3(S Io@O!-kcr|Mf<^*rE ,"n7ZSlZ7 z?wtLrXUC3u2{fϿ "ez]>'^Cx~@k^dI ' l\,"}3B{RX/"s&4eωLE?3ߦq|LoWs>%[[Dgeu!NDoB,d ,''K~Zꁨy*OVcC^[,(1=W99 =4{H>P,n.7Vceu4 \L٫Y"y}&,mÖjY{@Yn`; Tʒ`rihˆ =u]IiLt!0[k杀JhSbEz1J( 1 8I58gFQH 7`$F}'ǷE6EwL3k~Q+ ^j8n1?۰"soPC/xPJB$sFPc9}JDd\w{P[3y릑v8²d*I>%Th* N%c.?0BdJn֜Q;҈j D WGb>=#p@4G LwX(`sHޔ̋ >/G91<(P:7]Tg^#Ȓ4j/Edry/Zm-oPUt- */%*F8ufU-ǕߒLAEg@oms:Ca>zt|WTbd3ɸGPXz4\TI39⏦"KaȢԪ[" CԓpIK?\n-|( 2={Lvb 6FMu+M6{"Wg~2^ms bqx*3t~IkA(NnOﺜ$uSOqӍL1pf"{s+}sfaY}c1F8̍rj}9yX|ҤH{mIoF%)VQ&LNL:vR?L} TEf^m% _Dz1__iU.Iռ/ uEM)ЊZȩdCYp={ꑂpK8׀9[4^^qY{$L:M:BЩm e8Ñ Ax ۟y5$w *gOp0 gإʶ:|+(P`ijb>ɩH4(u?V,9DP;;3 kE-O)T-ڢ J%c7FX1bUw`Bk(Fw-T1r+;mƩYa{`1(ۖXFKςz= -<{K {nP6߼:Ɗ[nץCO4'p=5tϝFOWb.N @zc2#J) af@e,jP}CĚ,»a_ʕkGfL ManƐݗښ;Uzt%w E&68:uvu<)] l:f[lS'pZ-"RYȼ k+LGr vTIQv+>,uJ>OcA!)g ;%k52NL@ݵ t\<3p&7N <9nU?SeqAZpʨ\רwחuGB/XJ- ĊJt[; Db)= C Hy`Vy /o$4Sӟߞ=ԫCID 7}!V+ ^ L`e)FΖcZZ1ՂQPn玱S 0R/|'Hg?KQuyXO$e]+ZXQeXzj +=$,}v9%Vt#= b_cyɞ%B}zGg0/UVAsITI' ,26@ҡ侍2H72]rʾ*$=f4lT&{f?X*G(+h%#v^T3s|t@a[D=ꤦ"~(LAcʦk?ԺV}(rA GlYJ\OcgS;)ZzXT-I֬Y26y¸b*ϵD~ilO+FrF อ{Bk]~rK<変DMeiz 6'h Ir5BmU)8Onxx0ܔY V4D%Y~nsPѱ4pzb!qtai,dڢR/8N6$ PN"ʡ]S,=?̵N\#A7A˗yn 2nf޽!4/a>&^~|6U.\nnZKn{{i}a>~ݹ[7*͓|]}XPtﬡ?ghlƲJrnv)*Sc^04+vz{M=2S6~˒w +Rl\\ pJ~7~lDa~'~q3m?mI7-1)\ AJaX@ &Cr" &W|+f3E9̋0hi"Uŧl'Cľc\ Y2 ZJ|$ӊ%6erԎ(]) @0>0ATqzټ žFշss-gJ#~^n+CJ?)Dq F|rpHi>]S Ob>X+ fn?VgD.3pDKxe@k^1j5"'նlž9:PʵsVt[- :.BDky$T!L!e{6Pd[柱y|jR>UV]P-{P9t*`FdnFbv2B/_*8[ iI:T"P0P@67"gR)q2*sgoGA8/58dݳ !@?ds SB]a$T>;댼W1iu؅&q,2m,P5vv`/* )^R'Z\fnl3'Urܻ}!>2ODqK0dQdFe:|6(Kc..=gG+ s@ZO&I,6'a'MqF ބ*b2{|wDc-ӢLГ<;mS'p3":  Z]du1c`~\6)'xrQJ@ B4r"K2I!).+AmjC{0sgEP m)BRX[ /qݛrjQdSе/'ZxuuQ2ۑ@VAo2;Oml346P垇[QgLYKvNM_L6*@+!; {Z)M^B^;԰x"]t0ηidR/1NJdp4TҠ緉Y쥧A W&ՕfIz!DaR. ~F]BTN#Dv(=ɍńphN "9" !NQ13:߫b&'OA[ֵa$"m$KQG"l}5$M: +8`kP6`%wbPhlJ fnMnńǁ@,\~.1Zkwn4'|>.9zb=!R޸kX*r)G6Cb)+5z _Vg)Ģa_ya#16b_фmtL<pF5w6X3qgO`6IT/8ؿGj fn2s/1:2V8Kmn]7IR | p%n]%2>0Q(3j8& Jꎊϭz֔khk=r{%+'ڶ? j3y5J$O4aΣ:S;V54DXԤ ]pJSW!2us vK% 4v# <xLj3wq3F/ IC3L(vZHB-0oMK{>R"G!Vd6Ds@hL[%6䯍"wZC8Y?t^< zXb ΋ љ"N~5P e/ŏvkXxzѸ!:o;ξ`mܩWBXƩ8KRX._ [k0#\>}r%NN 6[6+K#H< gaTr#lLJmg2kyR ޞC|Jryf/JKbd xޭ>0:đT#;RTE O\UɒJ @@SB$x cͣmqO,RBމAý$ڵ]^Q?.!J0~F_߇|-N@ mjMEtdWCIg'[>GcS/FKHь8pV7L:|^j>Vm HۉPQO`.+wV7ܧI@'pm2\BE8kj^VbtHMpyMjcyb!ǯfěYs >QQ͌%15ܼ^'J:_.x\f(r*,%St*z(~ΪNR`ҹ&;yEOhZJwnM\ /\v7׿ܲOҸ{WG:$|l?K@r*g+sEb"3GVfLf}9:pe/X@=R1U}k=̐~b#ͱL*RÇYIhe~^*F<Rǭqof2]7!Hhwj]6\klUGHݩfaI*!^g/dw(=NKr{"X(M8!  0jo Uww_+aɵƯO{hLQbc?KA/Psi儘t^|Q*jHJ"(rr-Zyl tDlvumZqD(9'͙ag%qfBrrsF~7u6_!ݷIC3.R]+T/tQ,ZكάLUp,$}8խL~|KN.p0%5%' W} ᤒ5u??Ԩb4S`!m@T}墯~o悽wnX `oIF jEWBLWHjH|Z9}a)uHFY{=T}0}S7 ud|Mߝ;*j%d0>*"TqPJ)QTGk˹W=*[p6!ճuiL&ޣKs?eA ǶX4K''4X<9Z庮+dH]4:[ȹA!.(c6sI`p0% ]恗z"ߵFnRbU0nbڇѠ^ZH糅l9JfPG!M!ʲ.lO4*ʬm,u~%n t >v8Hhx( 5N $̻EȌ̻Evx:xΨPEvi@ =(MlIgmlGA(h7_hp]RbﲁMmbH 菄aX+qmnTؓFrko/%#9q&(!}z F yv"Mc~~.=gU{ql $(ߌgYZ431509c5f77231ccdebdd68561631c46fafad59678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 388404ca9f9d9a44acefae5395149c5a7edcde3c 4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c749960aee6aa2f60467f1ed97969bc17fb49410d