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 (%\l$ ]/]HOL-Analysis:threads=6elapsed=331.864cpu=1669.440gc=68.812factor=5.037zXZִF! >O]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@w[sD*^0?$Y(H"&aI7Ё&:}ͥSCOMws3iyc=8UKa|ȩAlZUO/%䈡bmk+Hf6~!vi_7TGkRp 3U)FmvP@FT2oK[ u +[Sـ ˮuҫm,':ǵu2GBE|q}>Ej3' C- Z|+A0Qbf~76sIwaԏ{l77hxD~uyp~_vfRFF-"!st0G Fu+J+iIiؙ+E[c9Kt^&6(^, 򟙛3B@Tb@/{ YB,+*5”Siܵbg.ץi$kY*1Ě3^}$+zrA1 P<`Uǻ"ŎL [):6 s?A2Ql# SuNIKNp]=&o[ !GCXp 4`0fv>':d:P:w>tH[J*X3j7Q1_W. ec=p(-'o ")L{\ lgU7qh܌t< ly~ b\fjǽWC G'AB"N5EcxL\^gjw :~ غOA9nlzl"Svn+EuR7Uo%z}?WVЍoj+hZ3-TjG*2[Οr3hprK+ShcU FBȧSf/9Bo#؞v Ex^?)ӍV)lZ"y^xepaE!3H~ B^)1X~i_M?t҂)M)v:aMȾK^Xx^|nH4/$%;P1FTEvj3=Gt noKusU V&(kchqI|)6ر2A%N m"C'd8J&>Ug?HE?-4:I\>.pe!Zs`м?~qQףQkp!3UUUpH*XN1 []X8 j7}X=:VL!q`u0p[}CFhQihW] %!J~& ?G{h+oρۉP2ElHA1;o+N&k?uφcmOqg@I<7r#Z7篧[Hؚ^}7 3v Zfw +:v%Va[ ]yyy,K0 $^;o6ZNt*-b+T[g%*rOCYzL 5ytwQv%@6jDäq?z8_fϪ`"-eo\46gsFi@x5J +xV)5Xh"y#b7H9{ٜN Cq{.3z/D2B6]bZ*zmI灷oZ24{);fWa(sOS+AAx=!$j"#_HXC#'yݣ-`Ǧdv饖2 #H߷?7駵m7Tuycq16> AʟvȐMj= ƨܐ*{}kרT]Lk&tJy>\Di)'5CxDmbOEfifslZDSO鐈|RwuhJ6.ݘ0B\dJ)>jbX>K.r;VTMz4T2tJ^,hC73ܨNnaW՘[d$[KH 9yw6)$(xE =pFmAmY@݉DiQeSęöNnPpișzӁbY#Щ&Syhs\-Qa>ͥSƔ3T3{jY"йN9%'M,zCrzgbs:NoVe*T,B6!Sh]{m`i`s!efɞDoi< ~|gdC>lGcF p 5!F)D=Ηk}ևz͐2!xH$Jj$%H: p5n)W.rJFTC2烘-N&yfwO0,&J;2>="rzf, *nѪb@&z7HCfk5;_a"c⃺$HI!ZejS(8be%4vFW~SdrkD[0wX|IFF+mԈ9Vsڗ#Y D쾅i!9*{ler*̱ETR%= ]\ӀAAykh1妜5Ordu5 w9c.Y~S-?\j!O@E-;Qal&X{Fj eZĐ!snu*dh'ؚ!QASbѼ2::͈A*|,0ڼ3}?D4Llei`j:#`W۵3ق%R&y:a}tjeipE\Rn%-~O q3Pj†fHij[wٌ_Ii_f`O.\Xypȳz ̊\7L Iz.n!-- U&s*ó~gV!N,Ot {#{Ϊ7<-Ryx,ETWP.o+J1[DW2IX$FWd0l@ǿ8;vA -8`OJ#'x4yI{-F:Nl7psg?\"S>%騘K*G~lpnܠNx`*Uh(FH 4{TӖy3PG`=uT=DPEhL6E94g| Rv\S+6_ 0 : b1.O7|wE3o2i]ܗ؛Wop%Ots;gI {bhL xSt">5 $FtD CӅDNe0}lDE- #POĖUa3|n]0P>v\/'O)_]߹F&UTgW2  $-;9kxH ).qM,!>R_'[[d *MRe瘧KrǺ)HHC#(UMNCmGO[O@l}ۗ#IC}jVЭ}5ىaQQf ÐvjrUO)<~/N68ߕzsry 6y6xl-:"{Wh/=:]x^28qq9']D EPK!HJqgȓ0h)~貊9jTn6۠ mjt96(uAYu0sj?˔n2~Թ%\@a"B+I5q< t#g70:q h; _Xqcػ`,̠|R&y$WL)?hhՅjrLͩ|;+<](r*Pj8.[}Bne#2T@& S@0=&MDBtI^MMXKѹ 2doU`gZn:|I!Òl,Zp/Hh6~xQ SSefug"sL| "HQZbabl9Wٓݦ 8]|e&ȷqdmg>U.bďH8U5X(.ݜզTFlef7"fFi'HVӷ[},9vq iG%F }QqPR,*PIS3/Nb[_i Ku 8K1-,1^.WЀ4p8<(B9B“l\S\T3v4?u ׶"2pğmv$Ks3xr#}qWKɬA(G(3k"&B7B0bϵjK۱4"J&~3 ܶ m@vxиu=IHeBF[]>`XR+`3w9f(+I/<'Z8%/2T؅oKA";X21%kl+b̈́1l壭z\:m6 |mY&<) P5:E4ʹr,HͭZہy5pѻds>1̓TDՙQD`-yCc5<&;e\5s)[X<gpAbαekK֛׍n뇌=Oi9MBz8/I/{N!J*(Rd9PE,C EwNײmTb8NXo:p| S}I[<ɑdV^4\ Q#ާ frEZTrn`ŗQ3jDw2孈'W;Hl~J,W3Rb=y/粙r bҕ.BЋ79汁fc *B҂jxr~"?M_>OM3Btz t-tXvZ!*RP ]B}~)xmxLl+  i${?uVQO#(ŽON tM!@@8&é6rƔt%qw* 0^cX\^ KO%Q|DV~ y5Qɶ(fUϚ+|o/qJo47,f\r ABVѩn6 Fꐜr3tamԴ0n/g-5m\:!kcG3 A- ?}`SۓS4,-3-zw:DftG\pB]ُ,Ba%өgGډiwe030NZz-^aKBsdЋ!YUMdJ8;h!Mķ{K#{{PfSSgOen,h^Qs&;U-C1P{y G T~牄F=~Vh61Y::DNnf8~XFڇJUשCS=mKM J9ѓǷy7* yGDvf]E|;IH>*|M(Hs]z]L TV ؾq b+ )^r'Y lh]xZpޥKW9wpth@q2Eg`겑k̴P"R8PPTLReى2ӌE o3_t N\<,۝HꈚB5rƮrL}{9 $K)$k7xn/V&z!? ݞ[bڅB1w$.Ӌ\f7 mpiFe`!b@DA Pt_ER@@v mX\!}:ǚ|$ie:M#rF@Ƌ$b[i0?)tƩ*'ڼLwa&L^Q[,b,x&w9]i7ބg`0]1+L?J^;ڢ(h>篻]GwY3wRed(LƮ%\}wS, ٫ԟ2={Lh-Fz1c2K͹`d\Δ3lp~uʗ+zϪ'M %14ye;dY`h~寙0ٟ04?n]~qJ@+,wR"adBXNoz [.Zz&mq=]Hȏ [CFGNƋ02I9Yj55Pq#c?l# Ău_620Tl8|ͿRolB2J q7YN*rm/!/.X$BH? FOPIs<#=/[VqxZlQ H2A#jIE?kAi q 풿,=NG"pcdȋB6ר4DFFR ȹ.8χ͞L3jjh> kb;yn7Vm=` CnNd/ϔ"-t{B6nmʀYsl3(\s)L‹Ӈ Idy7/vO*6%qT2~эYAϙK:BUǚaPS}o{6q"ˉtu_3+N3Բr_*zX8ZۛZˀº(6( /v$ *eO 2,!ߗ#y2!d EqȌ3&kB A5c!y1TaH{z6Gl$R}&j@u#5G9S!wkFޤzeY=Xƚ;4 M ~]| |W"+R4';06L0r*o|ҥDp$Qi2)d]}xX>AZ)q!UhlL 뺒'3v %/D$zW2$qEblS;qd{6(ъ!mA&yT.vj1nӝ[P i0͢eI7yG~)ܒ"*1g:Z{Ң} ]żH7=BNxqk(lO0zGva0BGx;Oĸa|D;Vzsn'aed#@0?2z>C,74Aq?YK|&iPb$I>}󋋪Z ]0WeRYwpg@e v[Ǖ-(NJ&P|A /߸rt{_d<1E$$p@tҾ²=#.2Eay} Z_-&T3kpr@.iWBڔF ҁi V|/_U!VSJP< t zpF!iт}M@8пg=ռ2ZUAEJ_':KaDѠ3TX$Dn rL6 23 $DwZG+Pyo|fO,gN Jl$.6uM{@y5$ytKtA+n$lz::ueSu;܈4sH^%ZH7:x R̾3B|$fI#-k.T.XܱϼGK˽R4i N=4ejQdDI-Yy6\HGz9T/ݘ/bPtn+dx62 +v gV@(։[uE,7a^:]uW’z$|%hNZn7f2aQr?]"J%!!4_8 Χq oz+4[UQb]Y<{@[c}8ḁ ؄AdFu;UcBȅQ<a}tQp6̌5ߥb\oR=V.;P8M췿XU2),쥼Wp~bUwC˖RNjsR|IyA6̃t~[v:lL֎'ңL[qtĎbw2OK0aG$#$mcA lsEJgϓw/+ԛy;osNe!8`Aΐ ͎wYI&8i5>R>F S/Զk> ͩ86@}Μ%=a)i4)ǵp7%1x`+&5*N R(vdIJ(ɨ_иAWƼJ.]\~ vVCD1 I:E dy=cy(UdlYȖ2JLaQMh#69ja)1PK$t1((%ߥ9JKI-"h&Z>hz:]$6}{9n]F|4,n&Yv x~8_/4uSUi-ěB(_Ffهv Q)sZD/my3,3mrZ#rb`/Z(N~G FCt49B7,吸HϞ.( \S %`[1JWeŻJ%l֯037! "̪6!IH*N 'jLeV %APm`ZJ(P}߉N .yLL*P! K^`muv!l[Z 2IgW}Tum&l6B8&!Q=ɛyeS+@( 3^5:AuYm&;a<$P}P'lhB{p\~6P=U๣'(2JSj>(LPX||7Dώ߳Y~1 iiA3F:$ uHLS Y " ܂m0,"mȽg*W65$ߦΠ n}<8N83/@4WrWo]Gu/9w[{FW{o48hͅiYqsp2q]ɫeB=rhifr@avXmgIqa% fϑ`M:ywdq@MNp PͰrH.Qg\5.T˝/GCY[lZʙҒfxD|~Nlf^%AT| 4zw_0μ3nח?\dJj0f% ٺ[KP|"K&Cutdܾ8r-(VcDU!˸ ֆySu:ɁkŨ& 6򠝡}PR3Qxqɛ!rwJy')Z2@W6C2Hj9ٔ&kvA.7" p(d%# < "'J.j]Mgws6sCG%`_'5^E.dWXnjg)-(ڰDڼK;0$s$ʐ+ׇWf}N +sV"xR]cp6H@?>y%Zp HUa2'聣jtH1d1E%;R^b %t! h`s]\~5wTSѬ?EPSݞ.DH-EN6l,ocD](  =',7Kxۼ&70m&F}!BxMs *@a"DVr`4H,A,4e ߱9pKm> 8֗Sf{I>X݃ru $G):V}, ܭnDA]NMiu59W Q>MIևu=5g54)2!:"V!ׁLNh e.F=&%x#*uY,ErTW9)rwjP3D)PhJaIN0a>J%g[A2 >ځ*ʣtTO'&q̵ 9<ֱ\TPweAȈ68^,CL)g FtgK +cd<'wYN,ɤ\ t#04O0w.]^ICMv_J#3b{6$P6M|+ۏy2X!/h?&==:PUc *^jy?THyNU šU|G0s~`9Y2㱳LNݑ{F$S{+쉣Y4(]Nj8[τ IW⠃w<v2C@m2BwzՇe6AmԻQ;vjD G?gUW558] HydDv3 5T+Da.n)o}ݺX8MFĸm0>C? ':XGtg嶗)uG2PśVc$bWTr>5㕮- &T3U} =w^U"(Ν&f iOX0PbM2oM}8Ta%{S2 aUsV=K ά^AhrT+?&0mCɨ^k_@HAMrtLRbZ>8O3 b*EjŬmF9 ^N4bS2i 4Sl1N+^E[6Qiרʊ 18Y4פghLR%_dN{gA@BfrcS$ q@~&yWj+I9QV]Yr~f#r6H~< Zŭ*gCBMKU>FIi6w610OZZnZ|dVE%cnDdbwb)Moy;J%%f8۵e&] ƅt+֎(DiUيVQU6^ч/4b_߉4kͻh tߴ^6goqEI=P)M'? ~n*ad`q|&[v68E8Q]ߦD Q@XpӻC^r pZ43,B<:!7-ph"64֟^GPMՌf-xO=wh~ ΀S@${?Rg]Q/>AI/5ug D*b3= x|bG4ċBV>Asf¤~kn?kX)B a£(XʵFۃĦ屵8c*dSUe!;XZog\ l)y~5U@҉H6=iX?pJwH}\FDoˇgf2Mw]fڹl'J]okd+YoeQ})PMy,3cT%sz dZ_ 84Nz×鶃AU#'l_E#SBud𢒶tv]D<ȦnS%b"fGիpS_&og>n.k؁ nGvsn&D9 YD Ff1 .{mtG4T"sdXAdɻR>Gհ `uPm7H,WcZvUDǩ?jRlVω˞p|$`|jx n Z'[*طr(%$jF>߂0BRPHz!EC CDPUxj&n>O*7_1WsdP9tG%"S=վ"'*/m~(YA\=q*9"?'8-F{sҨ6Re<.9fݨ83&DV3 KRd6/lW`u^d7r@De]D`Pnl^S{L?4Hg"Vec?pRjGx杄n5Nkhq0p`B?y[ H<#es&_d$b!@)zY\4Kfkmʸ4CЁ xCNqÃ(a,Z抝bI{Rl}IweȊK4y-?,b”%ݏpgwn9*‹ w¢/N‰ A~cev S̡.oMP~ֳñ"I@neWR2Ҩ; {/duJZ"S_/oT1ɘu7f]G@9/P@|18xoKɓImRzߪ"ğgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4>̵1ƅds#wp(;Ȅ)=G"X1EJ*FꁙIRrЋD l}A%{qy:~ yܶbFQ>t&y ڲE 9Yw\ Qy^'eH)ԭ_7Cj7~u)~kJ3Ȓ^py_:ZPYGDj;P.\=2h+CA QaiqyA{AH4I}8;I92ʵ,,8Xt~)gk )f m[  Bc33c8z4D#{a"aMs]'V حNd{TN 3T0@u?5e\V9TuX?R}kz|Luq$F҈Dڍ|VH;UC."˘ ?c%%lξT:qᶲhR?(`zg7H%oAQI G6 سANnؑd'kd cue:%[52=1%g P= 7ܧ]w-;}z|H_XUTÒ2d;D2W;\?9mu"l ~,)'Wfۓ "Náh 1XdDdrFʶ,hvc"Ot9QxkxLK4!0}^MH]Tg_# ƴ S6-$/&WaRO7ь,_u/6b,Iֿs`M Pt->Fo LB)G><׃|ҹ9W qV^ hXL~J`f#Kpٻ>GծķȀuigWՙ#=mHrXxOJbQGKA=ع4qȕ:kQ8?\L/&V.ѷmkpag}`/gps- SOl?u4 w=plBՊ]vRlkQmW) a>^wg\ﴫmmZc{(F1{ط\(^R Z&›oVSd[8De[ž.τ[G pj(a`%TaXzekhԍfmdwܽ °b~N+U}ѸE;xeJ(q <O.~{CTIϮA ek݂}KS,9ĬޠZ ԏY.J3$ƪ,wݕ$Rƍd^";ڝ7 h% ͐'Lw<@B_i훝oYQF`lq~i\(Rt]%P$ յ DP(@A,$/Bi+!4̒1 n;V/ bm@}8ϬZiU4sDžwuPbP>Ӎ$IWR^0(ͮY:96wLYz^̣z7AV^S&GP6A(9ZB}B62 wC,TmkHϜ#p-6>tjV|/bRB΀I^cv>ߎysF}2y| µ|G0KRD6g1X[<>{11/pzα+.8$&xKž';vz(Y<(]Q6!&+7( %ϫH\hxr p qd$uВMGc,Ko?w7A,;I$$Wi;rȅ Ѿ:XZvLW `R |ȴxVIe[N00 4v2pG/9Kp#,\ķ"6<%O-k!*9'7΅dTgsnQӦ(V]$~:8MˎhF"4"UhĽұ:-zck]Ad[/`EQ45 ߑVY-8WhAO3o}q!.I"i\[$w$؂YƏ{kǤNm,gYZ7zXZִF! Hq]ŗXi%EZŢis ٸ+|`˪KT}YgwJ4:ۇ`7 ߭e?Y&@9ȐNP >,1h>)&0LU : /5V7g=zjR6)U{1~-ۨqÈG?4X1vь[AEK3p<'`50-+3*:R<ZlbIHK(Ԯe}G܎~\P`y>| Όo4aAӔq)@O*lN(!%v&MX?)i13pbcg2HT:O ˽‰_G/!;s~aQqG #dVf> M%j L;CmN{f0S41@ΎC *h4n#ͷpr2o2y3C./ɗƭC^d~uS/'~#F[Xj&#?¯Ŝr 3ZK.ZÒR?4.ƥ(+-<*؋tvUTWD'qh7s5d FDsi&٠xmq5 ڸ=mf(zjXIϡMzTB:>lI5dWPzV8-"<*{5C2i"|X**W xIsW|Aw$CVwBu$Mm=#[jM09D UD ww/_ l1 ?u9/U vڗnwFki '\v98eM']wܼ nW->=mN/-m&{7L`v2knona7$gZ`Gpg_ hkr?›@"୶}XGmcTƈˬj?]q2 5 Â0UbW~Azŵ /6w+6ER:a8~ۋb0$]wq\vK>6< 4İZe ؏%^t༸>n.2gg7GB(%H%ǿl0+Ɣ_ GoWǾKe}R,r`hK^~&&̛;vDYԘwd-EY3a\1ibi3;#C;ؿ<#ZnKk>5BRCFiS~?ڛ-.۶*l3@0e3(?/V9/D#D1?LʀsnIʠ 2|:4NbdBS᣶A1*Oi޹ P`b| ;ЧO|O0pW|wP߀Ey2h+9GCX:fJ(1ؾ6 :+՘$LRr{P 67rWMl7xBh 1o{f~#cLqM(%SyR5`ɽ)Iބ$$rVRM [\5nz9w/roEqSPŠڃ9y(Y40 n `ƾ(z]' D(*S}w]#4EɓfVMǬIG71Fykg&fTNZkCx!h,͓^i)4q Z%6"p:ay)=O+@a諀w.դŧ6YvpmÌ nfrפmx"\EhW軗Y gl+/y"y"*;"4B Q9]lCHOt vM˲(Cj|0O>ft*ᡊarjQ-AEGDŽL}=f쉊W@x}9pt2`ђ|4sb󘣾WJ!MqX-VJ]#n} -@ӆ&wD_3bDAkg_ XG22R?K. u*+wD @yJt,Z GHjSnMӅN5;qaDUАsm Rav2p\\4l;|$.dgA{$ay{$\TNXP9\v]2+$BʧEv7ct l3Qo`?Mө &UGAuk[ Er;(rfibfq]G^2:ihg`Cy,.ZspP;M&6{.*1ܰ܀ƪRoaBEjqa%.HB1n%d.jk>"N$э?mH]lNh_֧j-m8b@ fАXtj{m{1 J4/S"'OS, 6i66=ʣQL/e0,A7w 8µ4WVD5zmC`uLkvJ,ͷK,pDH؁׏PPED#Ҳ҅ }Ǵ*L:Ew`p +=ƼKfLz:49w@(Z:ܪn9(:vݐSr \ፈpthnzb T1ƯCg[`ЇӾ {64АZ6-DQN=w7"OkkI7ZևS "J,٫D_`lߕۧ:ĽiΒjhe5#~wv9씷LbAQI`X8ޓȪ&Ï-8|!$ P3@`Aш +5 bo7Uy}JeJ蜞5zyFmC溷>K@o)Kc?kTlW " Ư@ jv:0ONK,m#0('25VDZmKc**Vg /nѯwqb6 H-;.Y\o j ?a/A)wK5 Mo_㚿ٓ yujܐ<_YhCPьSԷ u+5}g_ưW' y(ikJGsSD"ɯmzpcbp*Cy\\}; C ?*H+ mݹpj{5IExl*ؾEKT_aw&9rr %b+h-^zN}}֑-dďVd2Wf~;f9=R~'`C.u7>6ztnG1йki} ,wM+iYvH]Fl=ad VcBNpFb. [ .:%#L+\'}OM'B]$#pÇU,y' YQM*W[TfVjU(՘ԘRLѧbCݯrd?F¸v i=$ |Ftw2[~|Kw9)uŧwrDȴmw|5 [9zj?Lnt ǃ_=۩+PvST{3 ш4oHvr}(q)PXt SAg8jP 1yGN(}?ߋ" &`k!-Y* HoP-'oxXc'4t^^3!ECZOttv LT@`Q(.ͰKȖu"'y6}Ėřx.IpzvQfpbs &zG¦(*Zڲ7ɀ%s5(ȘjhO'BzE1tD"tœI\'';vz |V\ӂgHsc+,qG_P,:٤,Vaa8ܶ"v,p*ҜvK&:Ts!X)B"լ"}JՎPZ3,d gHQ#WBcxio.~wz` &c`O7.@c.N^jA5/7Lx|][j)"?tWC8kccʭaLͷnP6Q_Ż;WiOjzr"Ypm >}˪ H ]6Pz5 ]G_-=sJFьS}91*1V{vgTa]D%]0q~ʞ,V0"2ԥ.5AToxz06 `Tٝ^Y췉Ea\%RDv73ny&*X)KHdF`-Z WToa!)a.@Zm@ffh{JI4܋Y\Fb6ը]f>A,s  ~ ۃ8# /$kU (&aD28`8 #~:Ǒ RA }k,Vso!Ѳ"$8vw'Q PSWy1^fzկӉ=IQT`]Yf = )ɶryETQ@x/A؊$o9\ gurDռ'w=h:(cA=oyȱ#e6QeM,"Ei &Fa |}"xuuCc9)OmpZP^O]nT$ Q vN_+5otLPhnS7\ !Øo94?6<e8 S'Kk"pnMN::*Z4`r;zxeRbY * NZU}EG٢qw 6'Vmgi:c, U0vI\ڷ1jk}U{61"Zp_QXaī.qwlfx8׎&* ./!Z^'ܑ5q^r$HA>R'=/JPIU9rs|l.p?wʃca->9OpBR,4~[YCuURO4aYtοAHbT]04]ㆢ$t)Z+!Hc46K; Z(#+Pj5jAnΌQ03@m| ])B dd"/#/_)ma=JRhdQj;vQY05Eޥ+L8BdC=oًoX=lQ^}8-n/jVy WawoΡt|-xv c+{hH&'ZFpS"%!J34[Nfp|Z@ͩ3~LF'j4CEPC}$qcrFDFS/jW *olkvƝQYFx@Ho`*[)h9Vx٩oY\ iy"M8e"_>6zVF¸B(;??WhE=+~.A_7 {QEj@]7Y!va@mdD14?obiҽ%!8Y*%[ʳ]+(&ì|UN`,FӋ<*y5K,qkb9+|)"xn 3Ĩt⦪eS82OND߲_L! L@,! ꐘvrx ? B2/w+[Nuq}9rP0 t^4tBk>ը@UY 繿liK_0g>he?;2iAKCuXzTQ|`Bʔ(%`ZhAf+;]OW]iCޛ!!AhٙVl/?N"A0@(YkE*Zds"+2&1[ ]g_(usio'/cN/l#h!Bik)KWs6z0a!g@6:1:Rjkad8|0 wbPD+am5]G*li8NO fMgmЅ벌 << z§r9y;Sɸ 8cEm?WbBWK/ Iiugߖ 9JD`hPГ"+/G] (uDzlMypj0^v\`ʭ=[Q,@sBkޟJ΅1V+ZS1ï )P9;-D=OmtDM~2'}ꬌyYO ݦKgZWHyd; uKei@zh7i*|U?Ol-YoTsXhrk6΃$?yTmer łH|^|r"_!'P|$AB]vfdz@">U6+ssœ62M[2䲖`re횹NDn{e*xIu19,O(y 6>'0Fê`p_TՓPފc%fc7e@U(@?Mзce+1Z* -y } )왙+pzV0fMnL`){tO@V0W1A됗ص塥XF%M^ ?瞜p<1kZQ$fsJ sk<E#9%yߵQDWge65Dj[g{΢ ,hVp\ 7~_:ZR'3pK w'h] C!Kj H(r~IM6'?hL3P$j+pKbL!E|2kt>_4A(,8:AT%¹ U}}R-5LsJ4E*)=x5U$GfQ0ȴ_aD~ՃD8xHͰOCBɺủ_t IvI* \\|Z<t˟}`:wx_M:t+֕6'd1:2&9~2EN!'zrD'r_t?OaGʼn^4baDEF[Gg* ŽiƗyT͗7r[&F_҇.pb'L]u+X(ҟ 76&m~(侟w<=ň⃈L}X&xvX!Kz H%S&S@\d>[,]X;Py"}ȔdI0oU"e3fK}Mƻ#dP7km<2tKg=l8YDS‰2,&4B*Tةuv_eÊm'mb2>;t$i]]f66«7RŊ3J*Rz8XBbM1ϨԳd|nw%¯Z\UKl%1T 8 [I >֟nqP֖QYv]ʳ#"ߚM,z|yMxDZtB|S̙~}BR6z߹[\OB}y~3L,%$YJ5@6R'O&~2Jf2>ʴe~.7k?{8>`ԪDc1x3(>õ0EDfo.ʨ&RhmX~@+6/-a!wguX,4JAg*tC<2["^g&pD1Q=@_huc!"r&<o0a2}ߒ*UP.^9`{ ~H@* H3#hQU߅/}x6>+2:-g f,[L*Ian4ReG&=`ðm~&Y&;~ch`#d#FS~R;N':9uCyt4[rv W^|6Q`L.%(48u/wb@#Qz2IHӨ;~r|ߧ !oSՇkμ]3}4~^" WʼNY3&/ =n6l.nGGRH)a˸yF?Bo.QY}po:ˉ[(D&*ӕcKCG{W2UлckH!U&Vx4^[2k,C0 ܘŖ) |b% Haj˷<Eg DAe3rnVƯFIP|B"Mw>pjŤ22'7^DS`ӳ=ļ * qpn}HÁ#RN-;遊:/o|[5SGARӹBbN[d>ξkaO^@)6yN 6T]COgD*f^5L!yy\_|RoNx"X ~Ti1H%5r}7yM4h%Ԝ%|΄Gy;&zl2t> 6񄋏4"$.^ONd`OXnޫ&pr݌p-7x`KFc 5y`( ͿS?A+=9~]ʠ?$7RoW~ymQҜbbdnCV80.k A6he06?#N@!iutPLIff'{7tN]BPCo?dϣT2-Q8dqspGq?J%¢=>ߎ-\PihdY'YP2xTɋqݒm9MR`/, /iyU6{#), #F~u>FN?a>VdDkZXPi ۔B$a4[2Cd RQ&,֑4h k3o$Y\@K&ѯwehjLA ʊW ݋iT,O1qŞTʿenDfm4uP$N 4I$d~1Ut /_RF@5 `r*G p æ+ݑc#oՙ5-^c%0^QyTxfa5Rfle$~|bx5Z"\]`qW5}_IF;1d8p{q&5*"k3F.̭zE=ҸL[-/$)WŷU} ˃q^9e`4lz!a_KvZ# ]M(߳S?L*7~ѝœhEHSKmD/^` Jh$q<ѼTQ.) qaq@x2$}>SG3sbh+? ڸsRI| >ĴpQ$!O1(mu{뽽m"lh gLcnReD|-GU>;&wC*TyeuE6toYq:dWKˤ-qA@Qh(JB_:E{>n %} J}(dЋa߅E}< 4n8Fo-s&A0F^ꠛbHjNIy YCz7wM9-')c]I-ĪARs %վ$L]ʉJS%/;] 2rkWn{tGn-.hm@麗T"a %KE1#xsspvM`[󨗢GBXAWyɆ_\]t$ڥS",_].fB#ręX \:mSOl0PC*Ep2G)~2Jq+T`o27ʲA6+ڏdWWx wt'z"k|X0TH<vO]LlY݂RQ: N1h/F؄6Ϳt쓯#;NUsw2 a!b(g:{)2W8KK*Edj߾P%ֱTVƌTp]} b3@y vbҌuY\~f&eH.*OU*__( ?;r(\jC^aOᬾnO:bQ󁉵gG'&FڧddC5UW4&U+ gc)lZ&ԙoVEoˏuMthpӖ$cRS3dl[F/e_xZ=H?7=\&Y@;~7Nh6 [ Y>65`$]O| c+n+jmp]95 ,;`xKt錓V`|F=80UM!tD}ߩ&7'3sy6QI\+[LuPm\Ә{98nEƝ߷40-pJ3vm ^qR*$B,6: i/B .㪃@{ ymt&6rL ێ睎d +P;};˔Eԝ !;L~p\ VJ!Ĝ68{ǘs 7lhM-{.U%d͞~)GQg_';$&?q c.M^ݬ|oR/IX\`c;"IkM>|*MwWC謔Liێ;28msU֒5mv`7K붫,Ad`4,bv2Oyݽ?n72XƮ"nV A*#u@hgB헋 ĝٍvj磍c4'NuQLA5?"L#IO]0٬P`VV95 e&|R I=l5t)iB CA͆ɆpfFB 4̹'C^f:kZb[;W_r@Y^/&7D+S01~3vs&V9~h@P?[͕UJֆAԻ_Ĭ0Ǖ0ԐHUێZ8t0l &4=dH}uͧ dډOA3/ 都[)5!YI5![k 'j4t'j2[7lηAƝ.At&` xUd&`SppףN-9fWrZ mj#`#X)?: xè?cY1( }:hgC7Tnaw6if D Жpv``aL첗 9"˽ǑO.q{X(^jyJ:*Lk1wvuܓ9؉w6H?*u'@wT-I t)M/^s^ޔ)[-d>ԹF|$?˷m(,D!lHL㾪 DVvRVp XX :Ki/5=1;`ja.RoWK!bQj2KtH[J &ѰVr'G𪟈D8>/R%4: 'gmȈj sɫBB"9螽1@g`O͜j_Kκ $1Tƌ\2.x-K+0I* A}9DRy[,`(/)./v`6^Zh29Y.LԔEIφ5J,=gP}Qo(]mZq)OwI8Wv;]VPb:I &-v}zN܋gڞFSZSwv.h0_F $?Y Ӫ9::&,J䴯^as:Nj^c9- nBIjS/7Wj#7 Ek 6FhKxuin&U^F>)R />+.v~b#*и4: )DgϘ+36k6ѻwtUSG̶ُPciPF2GfC櫊 g[L#aߕLH/k~s3h/7ZkߒTr%X7p?qL5jU9}0WΝ%ζTЙ˻-z 0- JBre!-٭![8RF:-!0RŠ(d>g=M}B oؚCscT5$ 3Ue@sZq _Eػrc~@_vb,])&FGRvPUL5t,KieF+ t†uI:=mn"ii$O‘-P ^i3i-oreZuLN,UG*gX ~*QDpBC[!S )d {"S`(w#= D*JJJɾ@;ֈH>T8:a8iMfxIC&'2=E|=iH;>;X9WFKHLӜB,m"D~v 11Pį-]׮6\~éslRs߹F3`b_zChiZ@[7ܮQN O2U=`$01ͽ^f(Ces‚R8'~M-/r ϐYP1(B5ɤa$`@R@/ݯ^=o2ؼǙDvw6 ՚>p'ޤ~Tf,LTtbW&:0 HryP}~sZ' ᇏWnNJ 6a9\]ЧdXEO-M[.e=f~pu4Tg>njKVkaj\Jwtkm%\K͠x@Lي2iWpA!Ly$6nJ ku$ oU%["sH'b#}f&Bi{4/|gSEOX!qFn0mR}3-k-e4I},v-ϹEo02Kxmr:R}50^RW#f9Q\o#8?i;~՜z3VRv# 4VϜAG Go8H&ʾ?1<.;^"/I3bÄBRY*q7n|PKHbu.y@Tt=? q%b4WMeDaǸ䐹lXџБ UcH>YAes$AQQMתI ͌OY(vv-ylezӲ;yŤ|h<:3iHƗNkr}Y7ycu!7lcbKFr1<_~̫SvHKqio8t@Y1fӱ]z0s5ULvƤHHj;:A).,\N`X\R͛0|¾~h=hGV IbISa_m(98g@}'Y$QZρ/@3:/!d EuŹMm 6X2U;^Wxzn')F%f(D%.aV)Lx.yِb\R (f1pc'0 S~XYW ʲ$ypK{c3J±1y'/`,{5rp5fsX~(LCWi)E.νcdwi8;6PcB dΆsxA H3AZ”y0}N:}eМ@Y*1Akc "?:0ANU v~{+bSn>P.qUmؤ)cǮ8jYBV;1.t=fC*Z#/ܨ`Y ĞXl{ȐP/F"p1+[+ڎ0K5]*_c$JJ>4`jY&.#3*U3C?B*O餣-WꙘ9 a6jW^8GT9Su+K翫5 c8r7yDac`#!֏ۖ~L/V#wAN78[t$IU#62.^az ej-&G~Xuv9h&s] GU,NȸSr~ieg0O$Z(Zo i׎XhkNwG J+@VLQ+*4j2MRΆS!v'۶ o-EVIE7]t52EQ&HAG Qoh.?߷-Fm(uQVU_+?p?veMc)[vr$R$x(#ΔX/rt68%@n3R;V[h\hx'r ['?ȎVT%v<~S[}Fwb 8& 0!QhF^gm%qh;NC_RiulOU2p~Av%wĬ9K$_T1K 5!sOFGmXrn7u} /S[KS'U-ڙ=x݈kAޢva3I m ZkxP0/&.zdt6QK~ ݵM>T'ZXi%2Qr eׁsoj7D,)'!i u?ߏZL,̘fmyx߮-*WeMfbq|ksL\VSOM/S+ xH $o`oڻ{e1\X/~79s +u˼R i#o(Nr4'3O*vQ>Q;wjG-.mƔ#3hOaXS4rW020s#6=xa[Ym\^6L%R$8}^@e쿺k5@?:Xvhb=<[ ,i\Vu@b<j]{K>Z!uEs0GлKt؊A 1[ UI/`:j^$՝B #)N`=(-1w>1蜥.yoPFjOx#Egrs¹c_Phe 2K[j@WgrqiW*Hzaiҿe'"$X PS\PuT  A Nc1|n9UW$Ћs6UJZE׀Gϙ2K,]f/ȹ(>mNbxҀx7hYFy?π<O [3wxBxLRP[mJl}$Tփ\+X|Gtll$Ҍ)L䆩\U+˵2ZIIv+Fo+u5lp hؐ=A@QS- "EGR^1S{ [?7"A}ewUѭ{2[ 0L@f'?S {AQ帷gX*esvo_q.AUfW StX)CeďI;le/]%;&XEFXp Z9A< veШ@F@{YDoL ᚢF@ЃA*Y͔ͩq.TX/x;f!m)YͤƐg?+5 |SLt{v]nÐ.{pL}lq_y+ɸ%M)Z#z ,# {q(Si>M5]-+2V)ҪOYt"WL')P36\WC! ,ۊwfGwMZ>66O3}Byz\ɥ=tX(k/!ZRL<BcT ߶_xY$,b 1J9*Y8 ލD#;SvA]"&%ri9ԻD 2rDa9w t L3;@TZ~wdR#)Q]j?#L0r רU _@U2&ǩ9QxqA 4& da>zkfD Ҍ#Jվ̈́l| w`n);ܻپTpYXqOw%΃lP'GZbusQʼn$U@ͪR:[`PB)ט=y'6`.&gX7EwT؍"U L0δSKGL^v>CB >e-̲Igdqh'QL6g|=wZӵ ;n6p1wK39\3: q=.-%hSt~Co+bS7b`rܥx7Mnƒnpkڠ>jLp~iz_B ގD1x >xgBdgԯ~L~RS8:~N$BלD![h8]ä̖_ u_q4\ C MŊ3cNu'ެs1EVwt^4ԎOpܾ`fdcLX6^/k{ܵjv>([63 xhW(/B|t_*Ć\{u0A t2oS.E5(UP5*oU!2 |XsQPq7͐NG#6Ɍlq% 6[/zk8F`κCgӤK-OLinRd9㻹 :GkvMd%CH,|Ӱ&]xYx={s(L ]brG/0P]#ɘXWbLLF8ZB|~4"'3#@(vB|39%~e|Qf5 ~4j8U1&:eXe=\;yaau:>r#By@Sp>Pp.t| Y5-Kl'`I_^1r=dĂ݂|*RAD,Iks?6oIxv0`M=|-k7!y*#G [bWʠ)-wcd)8dӳ N{~'_;-i3~0c=.S4mJL0+DjMoqQ S0^58eTDjgIGE gDt]XZ⏻A̔|hv 30F rEu\MKl.<q`>DDq*Q8xrXq6lFu_=LK@' z_`W/ɔRe݀T'*0RzR:L|ۆ½DCqd3hGT|nn3@L끟~5#̨Ӳ|ap1Т"cginX|;t6 8(}e'ÙZ-cK?2$! 4%uk$ P³ɋL75 . }tB};4|:똪qxGیo'4}=jx8\] :@8N Gɵg52HQ0 rczpgS#p\DD8r[j[]_6©.$UL' $D2[j)RRQnsn53h,__ш*<+ΣŰyu7H{*r)k^ۘ?Dԥ([ 0b{s-Pׄ嚈\a'M9j%oLF:OtwW=02 .ѷQL/rpe/~Չ$#(Z |]nCl7VвJ!k/ $u v]]nNd1+"]rU _*6(n?{[`W ?̗DϏ/ҏ *oXfo 䕿peU99"p ^o,j76Efz&SY?4taM/4DP%Ax>I%y.۝R2*fgJq}Ƃ"WÃ8TLC1G.+V囟B~{ZLA8 }|E ,S`cLzˇڨX)czA,3B4۩Yfgs~2YBmfh; 8BrMy #sěBJlJ]DULlDIP p5J@+қ5m<t,תaлyk ^A!L+)tݚ&UM4qYo77.NWIhE?99G" }a~b=y|H-h*BZ ^L}u}*N٭srZqb=M[ {Ԁ>[cPd8Ezy ZQ$æfTZFY(b M{T41)kYdşkz146EA%7U;*Kq6"tP,̈sMd <۩ĭ"<=K -ã~ t^]rգ'P?6GQt^WG