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 5%T`;Gؽ8nt*q* .#lw gh,jnUڐEBNFFnLd(#Ű-בMpW `d3vXKNs\A嚭=:UFc酴Li>, %SG 02P=b>`g),%Wj*c0IQ=qIfh=F*gVs {Gcxoӊ']g;x8MA\ZL*ҵ~U*%8|e1r3  -]a'.0ERV, ʣ].7$Mn Ǩs`SoRw8"OZ]8jǧ#U6< ̺?` $rsS%sv*tjī76g$ * =uu* *\"t_a/E(D"uְ܂9qwp_# ˻^0|2xF|z4`.?ˠ@oBnK-}[ZRnI5-23g_ j=:L X~ti2Dp5cmr7mǕ8!Ģ ݖxY:'m 1 chOHH$Adް}*oۊ2һe~jE| wN9Y >e.;ѷ֦y !)6Yl{Ywy }YҤ+-$1¿( 햇:a-z RU`t%۶{~ؚVӚảO~9o8iQ\Ic7Fp3n/Ƴpn;:-4%E].8BCD{|_=l D锻hn9bm1]Bwkl^uu1t΍u#`v کE؊^&)r Ltnw,l.eZi\o;1" 'RA-e$h' YhKd>VH3VY$GWLVSAʫ5WlȎ : $Llј+JГՌyIl7ˊa`7|Cc"bjGGN&d 8Xͅ@Gf`箥$ ,΃cC@( ;,֨`\~L:ROS\#Fq8ZՃHDi6hV-i%-ep"u|K_S7XsLsucv-R>JL?Ѧp IQ=7m-I0t}Q+ԉ}ZhqwciMN+;-pZLT ݛ Uʭ0e1\ަPGxD][eꤱ'DJw)iF& 3/z*Kc;s BR[5&Yݨ{RXFqyB*{Q<PjߤtvM݉BP-fn h'.BD8#`[k(X|Sp&:KJ S_‘lHN n{b[-aE şoǽю@mt go{M[8Ժ,P&F`6+yƲV)^S:]WPpj bFާyʋs6V%Uf$UEsƦif9Uiݣ휫((T|ꗛlUH_S]pajc@/B05]PgP@>SyŷBmBՁCy AeR[>_@9)Ul_iZ]vTS21[1]˛ev0-֫S*KэoЙAP{YJ^dC\RK%rI2:kXxcm`=.ȿK؟vM̊^ep_ijt'z]u{?j/w l7F0(H3[LVofGm®<8`9Q[ \n˦F*.whT l/ǐW;@TO 86$ZNW05 vt^VpKbyj{Bi3l3;6oF}hj {䃟$ Xߥ&C7-XUVDz+΢Dt( h9VM w Re"P<~\*32y>R~m-ۣjQ̨ïkOt[ Ww(qNt@nU 3P{΍}UfJI[o l\dgyށ!g(='ǔ p)|oVN`^ u'Ϣ玉v;ϻ)_ks(ׅ"@  i *j{]2̺[Ġfp šHJDZ2WщLEيr0LMZ-@j1Ȕ [=nZҼAf_c B[00J҈-bveϏ%tyG!1}WYV 뺲~}^,hAS ܴ#lЭj >ibU.xH y^M\3w+K8ޡH9dB_q^Eʧ'; YG,/4\.55!i6_L?#G?|ǦD3$ $yE0[l њ:Ӑ#}E 1@(sfz028THvt3XݭI$jGHDniC>.N}#@'>gKU)(<JipmƦWvޠt3 l"vn,vB2_Os4;T cO`"Ӝu;'7>o\EqaΔk^PQ؋P) P2hfS`Psvbi2jbpfS#[? ؇bw\a =\3hd0$1 _us\l\-.[&+%ߩ;RDYd)VLO¦yi|\UӜ(u:E e3hHtmC( ٵE 7 TO /WA LnfA |PE,;3E3^q7XbHZfip14kEu :I5VsrN dD!i>7U`Q< 8dӓmSJlgZ} -/tv0OIeZ!*X\yP;Y?6wGhvr%KH<O7S4+A.PЮtRŢwHe ܬ.ɝyojᲙMU3= %%ROّatN'VD`ܮZ۰hh@ Y_,DV^xi.lֽb-8u='&'Vl,v *o>Nsly* ~oڂ>tqe213bkGmF0جl0\s6n~c?n?i5)\pcqLvwKnaGXF5ݥȂΌyd|ޫ_aMtʄKK,gCD B0ƻy}*5X `ްO^s&nM2\-Σ|r\A9Y O^HUl 4 d.;i+v{W+ qAC:%þӛ'CT2diq{Iq`3ωFvN@ %d>*0ǯ9l/&34T4f*niػԓ34@@AauOߪ-f(4騿Ÿ G JY[ο9\uHP nT́G1nomDh1փdLͅs *hG4O&=.\͈qMPGBp_;vt`Ucv[GV~%ΩiU=OTA(eTD#تu Q9izS.EuZl?oa-W% Ł"jrAzOtGWH@n-Ųa\F '8k7 B15xa4h(pɗ`ciir@ lr>'Ax| µBzT$iGp''Cx &sp^ަc_k`GGKr3ssl'P3/w*hM4dm|#f \cݎ=OG"EnuK 9K<;SƯ^u ƨФED1<2qv-V![ hj*{[=[yꐺbG]Hy&ڪ-o4#ު^ў2[~&A[ -^2c3C82=פ02vÑ xBF&k`Y2g y!9= O^"]| 0 f<3^6R@VjZ;Ot5)30\%#lt:`#̇?%m,ݨ!ἇ:TPmDDdʕy*GbpTbeSew't`3[?eY0Y_t֢à ܈}]c ~Pt,n2&ZyOE R1/~^-&Bw x$&и2cJ,fj`R9Fajwvt*2c/)Ho;U}.4@`oTl,(TF*ݳ*^pz8̼,#Q3M/ [ှн"mn"UՕX`fuB^f2fsHr֊dbQ>BsIþO+$YC(p=nEIx -6[ P-R.}VjsHn,L#E`E6$ZCUueK$(wJlE(9s> "8^y`C<f6Ny>rs${j1cuf,F/( nMDF4 ٕ澱\l d>o.2QbC(Myʰ/a?eӇ2 U [fOLÚ m 0ܼb FxiC3]!AyB+z>/G[r;,v,w%ykJD!ܶ\5C4ROMذ:?BMa8M#ٙMk LJY>2Q$(8?J~r*_OͲrK&(U^O|0<$o {D,S*c8$Jahz2nHzˁ{CIU0}yfM=$[x *s!2rݸO']d=f+yD)S̃͛˚,ӵ DHr]ZEܤ!ƈ┣2Ui*!agb .9xNE 5@a3`=N!ml%쿣zCgQSNW+)_3փWrz~HaE>"{ SL1 tEL[ \-K|W*[ `虎CI9|ET)X 8ԟD cNgc.1ίvVc>V=p~vU{l !~n~Q).cI3zFXkͦ;Nh|_N܇雘u_$M{Jc$s R1n)iUmmawII kXBiRT|O }5ISrߌ'q`3&"; Ov8D,Ȭ:50M*:>!˶yQE, CR 8ūGُDI-TQ'& qXɼ'S05]$ړ\ROQ dQY'ނ%Tz!| -8hյÿrF\⌋]BuQ jSC˰ z 9 q2qZ&>%"[l_~K{{v"MAagzK)-q!`ְB ɭ4aF9YӓS[LD~T \6Lʎ=߿w+uDM$Cy~$-1%kh_'ߒqA1'B Ņbd_p<ǭk阿{CT;L3'q8_sE3 ]AhEn6؟V^c:?u:1]FA &dqNOW`S77f;S ?!$=_g )C)P G]U1(b [DeNǴ4ΙC3]TR p "dHݜpȋ}5-i]fjm"2GYPpsH:5y**n-Ce.i2 . !P~!(JT x\ĥt/~D7rA f`rB.}T="<_Im`oi-%&J3驞^AﭩfTaꬮ;wM22R]v(o(&qFs7I$%[>hrCqq `=J=ds]6ѿX G2U^\t7Jg_ $>%`1ڱDsS}ifDp*Rn 'IA&2Noԟt:"x6a9G1)14i>Pd!BH)sE.!yϰ򻞺hrl/\&k" 3֒qnϦz1w1](ؗ:rG$`cS(T#Ѱޱr%uՖZ} ߔU;i&Jwi\@qr%#"byÌ+.4xDf ɲfce`X.@K2xJ厁𩿗 PH˹;XVÐvARJ$! R ?o*C&hwMV0jNGS*E"xJ1cQ6ƃ)w %cνU/M EN˗xɫU{ZIC^~j oR[Wq܅@mH}Hc@Z*E+@ 9\7&#eEWPi4Vʺ>F=5M-N+rRHwPU GQJd-pR+.`ƚ8,Ьa8.W5#C+sCCYrɬ)~(c/Q "Y]o-<;6RjCi†_xS^ҮJEe 73fC , b>G!MamKAts]RoEgiEĢTEȆ`•S1WJ$#Ȕq8V+e=gH툶_F \Fɶ|"0, cRQt3HViľ^?:GdNO/A/G [`ȱ_d^P[d13 oz(Sj-L|)G^m0z|a`Qo6^rcS5!8,G@JR.ñZ7,B%C")W[}& U&M+ƝeꆠFWu;meGmZ'^(io.)clZX\k t ;N AzsdkQ& b xqjоD/g9YȽ7C@XQ믤 ̌ٺ8JiuE:kZ^RiXG<'d!(rt[B 5N|\}v@U;[ٲc{ v^;xP(=PE[ ~L 0g~lɌ/c?"-;r` f岠V!c>-| 18(/!i΢RQցC{,۠\þ'𼀟rL`kU&(e?MZHF4I5GfH?*Ւȳg`<*#mM5[G#~ dy P!{,XzkxY`F4 ?HPYhA 1IbR(#p ½M?'%e{^&},DrҸ"(k?9Qh(/j%3F+s4lc,.)t,{QЊff##I 8-{S&N [2-&XLC$N_=J|x"MmBySem.J FXwtvfU(immdD 2 v )#=ی!gl }+]:0~ew:tYpbi׍*-~<ϰ+fk, / D)QZ[\$CTo)!Mu$S2ѥ7=T`*n |at~ȡ,K nDC\')G*ec+LwKRe?\MU.X2@q D-fcn2e>5)j2<7PԿZMYR_5Ihn@Qu8޼s8с3bWئnя c͂s}-.DŽJA2-]/*Lvr'C[WL߯˙U#/GtY?`oAlu èfkWA}4Y6r)djuC1fKvX6%6ҳԓJR!λ;@ӗk+OmU[:c}:s ˡ PU&zِKI]AO[jO;ϋyR_i0_jvϨ|/ll'5F9bb?Ls곶}VKK$9wWjf!X5~7^RpBeXH#?[7F٥-׽ 95٬ukSl *mܪDLӪ9Q9v YB,Pn%Y֥|'Hτh67}uEL/C&LBR$Q\d{J 瞗EHw[Nuܥh_:`[>:ߣc,L{ 0?}1ծ_2'dNR\466ueRfg])`gJm tX\+Apb-\ m9DIdC87'oꁓ&Y1`%e^.*mF1);e}׌z{̓-F;.gI΂+x2.@KƳ% Xl|$E:Q1BCG『_vȑ 0-cA(ҥ~fFE69,>I/3'f:.=u82TŮF!juBG.}Bb gj{HE* `:,gSobigzG}㛌Yx+CE4XV@"v:竵!^籾EHjuӾOŬ4o"JWT}Y?pyb]5os`as*o,aɺe$OB m1cM?JVU< vVX7zVya :GVxy1F" z;oVcxMFP]V4+yٴ0YюbXevmѫ`yOL@]-&cKZ ʌ[ |7++Am?3lLMu!3'?IMLpv?F(`-3Uj7 { #N<$S8> C$+}SB*4V %,QCٯUkkFl\ y5mGxxSp\%6R2j!O_7ho-@}eOhhM_OmGRӌomvlLs lrU30l ʋώw/K4n"\e"Yhr8H)v}$eW=R?|}r4M4I,5h)seq zP|C/M}W Z7@sh|^ܙZ~uvF?dz#lsDhh X[ [%FN!u"e2͊*Y1# 4Ť#v4\ly!zQua27𾡄Zaz5Ea)Z)<@{b7; a{Ч)/Ozdߏ?SD: Z(Rb{ x2P-$Z7P-Z ا&0TKpMgjvb6" "AO{6am3L9c=7~b:/ۀOeJ)U Z:ta]۶b_nĎZMZQ6 p 0{pnfr4iڍyr]Sz6nNq --Hxk83c@,6i_E̚Q< ERKPѕĜ,>WR3$"NZ$e8/0sIH}]RAo-)⹤h:``~B4g|&#S iA]FIpu6Σe,qC;yШ_O,DHv93VyھCQu-4S_bG yǑPň925647؟UKMȼ) $:uo֧w*Ҿ|O$X\Nf٘ b~c0j6i:7#+܎1sf0f2? |c$Q` `Nƨ"cB\d!/FHH~DhKe8?;-X.Ɍ[²>,.xsZ00_WlE=)*{q&z{C"@0B29~V%x *nC'/U4儅+yLG8p^e!n铂 ʃ FTO֚hDjxslĒ=/`z6:" i /(e(ͭ-3 =y?{d)sq !#mͶE= `W[q7_SFElpFXD sSJz1vBֆ 29ۆ!N3]O.Q0A;i L/a8QI78՞Uψ+?m[϶8M 09# cs6J?C]LevK~ xƷ"уIтoC&FpJ@To#4gum#O(:6;.t$-ۧp+$s>!@e*98!0Ƣ^)@-ERlq5wL8kz>q6TL+p}8yd zCFA c3ԢoδO[yH.~uICJW@J[ CLG\ ka(nP*͎bcAbm nL? Y\hC2S2rפG/9  O16OP/ ʼ9M}ޭ}?Y r0K9!1vVǂTu[#Imopm[aX~„Ҹ"6eيxUc"Os T-[N>\\+[9!{u~έ/@fd ^n'KVM=@ل >i zNioV|ŚH_t89=i)epl m#{^xgf%151 esnaP ׯ_rK;mZҦ% 1)' pie[DmP!L;?;R9X.cZ Vk>j wxTV4SȕtKDI[c.^k6C?Wd>'^i@_pēua_Β[q++s(>2v=#nֳ_ "f-(Q$ <u׳74r#T]cOU?noVx_sZ,1t%^qZ:G J%Т⣠ \i#SO'*V& =} R9\m^IJ3]HZ}{BIx T9rmZ`3^ IO//DI&^Ny J? 1D&wAծh!]dɼ)@4tWTx r=%tACЌ[#+y/A V!rkHl2;z7A yC46^X_h7e.g MijpQ)QQWY3^CV(_5y[ʁ=@t 8=&vʜdo-sȂXx7B~ZhEQ 2r#cetA{3F+b01nȹMGL̓4?õ3N+k*\O X+`8PӤAݸm7U?S'e ޝLٜjIm6:=`PZ~8i&g H{>M<e}Ż9Z3Z*z)B ~Al9h 4\F$/wsWb$l:8^K|[xٌ9u@'LZw/t/aw''ph !ȝ0Ę( Ó& 4N6-һfԅd6LNڽ^+L/DuX J/V,l1D$@:9a(E֢0)/c?*UD8We5:"L*mmO$]v@x:$w BqrmD\Ɖ~Jύ3;}* M=x+=\g hM8+h=p(+ߕ-Wjrv#"<†֘JcΪ6g˵P#%ghN2PI`C3闉\8- ōLshe"G3 7sW|C2޽(Kvp$[3+ar jbZBlt?boGlVE,s4B(":D*2nG~컃0?MthUKϼʔCRb͋ LLxǚ|#vm\yujuwL([ w%} %5 4_yˊo04P6RmyXٯ'#/b,0{)Ҵ5B:Ɩv*5Gܚ}jdP&b4Q{8U+s{%0!چ\L{^Znd2: ڭԙ (<`";!~|k:{ ,MS ?e3)rΩcQ-OOB (6V2Y6l+A^OVZh葙7I_q$qs 㜹_9qxFx%\5S^M} තq Ry7 Ju#?5Tkb!5>Yyz5ۿ+.MNu-!A+wl_^-ft)[!X8TrQdq7g)W+& .A K.;n8w+eW*M_\X+-lv~ܱxqWC, /`*I>f)Q#?Enq|d {`CBC$ٝCo*wt)M9#ebQ; >*Xo/ I-\>~b9LwÚÒUn߀n+ּy8yL[:6}8b K 8'SyP!nL\! *jA;49WI|)έxAGǓu0x :>xcC&.gCWrfQaФ3 ;ӵ+> O_3FO|]DSK1,j)lڷ 'uZ\Hq ,0ZX!RɛtʕI_D5+F]И&|2 !9To#" }ݴ39&s D9W|!zh_WStE7R'?`yZ/j-/rk6B_l|*(I$\)"3L`.p^ax%MXCb.PǕ1(X!.%v)ko.ZVYKnP8;}2HsھQfR^'Qߞ#2CQWy YRh3e9Tذ=~o}k7G< ZBki6ר}Ќ^lX9{aD+b٤xi\~K?,9h}C8ld76͸2TD~Ћ XshRw K:0Ho򮋲z-]s!kMPlemnI_<`~+2 z}a4uqzt6(5qE`G5/\ĨJ .q(䠪t*&Sz`BoeDx.>yДuiw͍is_,j RGHJL5cN>pU-w mP̦$!s u|Qކc`Xte-.:5 ~%Ԟ +c18w_ޱ VvXkEЀck e*͞ھL82x{ӄwesczT:VzBmOg0BQy,-*!]Ku!CT!ChgR|{7;{+ObeX\ɩqYBVuaіDz@1O9w j+ӽ6N0n3l8YՌr"k$3i DAo>U$>=*Ԑ" ,GgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4>^1Ɖ_*;[( _[ Q"#7a ̶$n 8Y; mKg 6&X3cŭj7"վ\Heg0{Y@3"# ij[GnDZ7EWt&Ѽ6%IQ>{;ƶz+K9Nr߷82Zm_XߖR7q=$`aԞ?Ĭ0]w`8y=!`8tLt?Z~3~cuM\Q8~M.N?Ax1IH:!t_WJYКaAĹ{iJ3S\ dȭ(͇HV޸ȴSR~\ph׿LO"Ws E`_jA LO[#Paa|_S-sO0ݑ`~(>cMEjČOH%-|7-$/%_W> %ږ٨ŚPC.YZ4կbhS bh~pMmXH0up3NV>C9(Tf"﮽,n%ͿyL)&ݙ 8:gÊk nOJkeH2hN.݈t7g.-5k1T5M.>FP eI{ejg0cxt^bzNM5ءۯc3\*>ҫeL;;MwFLMcHLR#>䘅_Ri-IxU7g6*ld t6Tc .>L9~ Zigrjw-brDȠE]t3ߖwO Y;L_:kE w1$Wkqnk.aHߍKicw1>(a/tx.5^iV{_EqǗejqX\c%kR'-fâpu' rC lF4s2ʧ0DOɨUu|B!_x%d.lIݬi8RtӺŚ.~28bVM'VČ@@AdZJ $-=; FЏͼD!x|׳)t+F[7( Gօjaƹqq"2g9!E33lɾSy)Ul{j֬}5|8\^G.|z }T4u 6v*ʶ0]f(dNCiRsd.Tз{b<엖f)N#vղF0/'6Ηz◵!)J [NYVtb$zoo75;o3?O(ek$)Zo rق ;wfEc@b" RPОW/ *a߳TS$њ b^0'8?1VԱ0JndZwoa 3uyE}I UvT =V9~t>NQ&n];L"O{.ʼnБ7ؗ||> Kz;E4-:bi~.-S==*tR9P +gYZ7zXZִF! up1]ŗXi%Jz*ЂjP_-{G*CU42-݋gQ.riR\<n JƽiF\W{幣vFEfҠ|Fr8TPvvݵ!grr  f,d &t*PXl 1Pah0' UUGT]hX {\೅0AJ{ӄ}?ʇp/]`X(UqSJMD*1"[_cO/Uщ.kt'{ќ6}p&%ÊѦP bڝ,fFgA`q8RP'nZsg: gx=fs|8#?:55|mg72CϜ2BV'FeX`#ڰUz߁-q/|oL[_s1 xUy&҉61kPBmst)$61I__ ;"(A0 wl3'Xv5DBH  rSy 98.cL\p+Hx c)QLm-+3(G:͍b2 VOݦXF)DyųkuRM1 n0sԟ"y=3Eݭ'PkkF'!ϪʝH|g922F5rxZ:i&:3u{}͠UʯO痹!fydd+3ﳰ)&=42UMe4"sU nӱpD`:x.z3` 3{TG;;D 71=nd0?D gnl_#CEۋ~Cjq]8a%lȣr% =W͑:v:%N[*[MtO=1`{s+ C<j!;(Y<-T9+l6TOux 4cܵ\y~Gz&ϓPf?t.]h2}`S;%$41Q[cr#Z;a}`3Oխ'=#߂L/g7@GLDRo` FT=0I2r~sVh X:O1MM}ezԉL&EU}+f^ /h=$S˩H.;"Kehc%Z؊oHefazt$i $t"Wh˪Ӓw(*X^fWSzEF">/Ƀ}TtEX8yJP㢖 j{hz}^$Tvmc3=h 8sƲwLs(4JO4OaObQ wOUg&W]jz{l&!Ccpjz)̔@&-̒XRH ]@(M)| Ѻ{pTUb|=$+ .=!3ǘPݟ[%ina=p&o݈]9#7kTEʭ^O87r6%z9ܨً$ rOX!FVBl.@Be#6|+p?2x??)F&4JR,zO׻Q/0j;vÛ=?LQih->w;K|!d9Y0#XW}/3K$+ F5>Zi=J&)7\.yC_yZ0)D5qN}BBI;<DrkWE }2*5jZRΛQ-&f]Md!tYוr"m|>P˃D_wͱ* TV)0P$77ִBG @R?*Lq kn إۼ?穸)`0 jqfu7Vϐc_l2*հa8s08>p@<[ 'arpɐ:iZ׼Waa2BR?(TW%:m3f2ZLQx\0%Y Tڡp /"!"ڃN_,^%e]#"hDx]+H0 ML LЕ/ϽG?T!'??8s9{ oņӓ ǚU3O,~^|H$3sBܵ1A(uTWHu<Q Oo 6eՠ|Vi+f$+~+X̑Ywbv_$"t ٨ٔ1 ]A554l& -bHY(nEo](&]t@5YH ЏYͧܯ> ^7 v^ޭu-S֘ĭ/w+؆ѺJyE4:@r]+&*v&L?'/+]$$.U['ͣO]c)$+5J9SVsy PG bSm7j4楃.*a{1" 40*]CD#R4Ӄ!BiټcFko$)NSXW0laQoK\)ԛ>Ujc)~ouKus'2жm~/Hc¡|(ߠs3pzĠhn ӵ(:^fl) E2]ION)wŽ.։|Z#$?ɱg376 ]5%|^$x[9V<_'Eiٔ) !\@l"1_( 5K<@GXpCp)PXX;ef,Gjֲ@gpk>LT6E$;1e /LDbs稜N~{^o֟U؉8N5':WIhMٹcX W;e&GJp0T霸 b;tRm=v$-^7B@б&{ GL,q`G8~|7_RS4ɶLҪ;<+==Lis==|KXĊ\#/`=%uE*Knas/@ Uԁ~caN\KҍB2MbqT?hf[u[b=r@nYjZ?J͎G3%`Fvykmݟ 9 @ ^Dk`@5E^|Rs\3ЌJ+M‰UKvySZ~Du$ _i_]a2]ddaolj'O-ɩse޿{ 1 Y=X]#0<탖<՘vBG \([Yc8$Uv<K''Ѭm"=l}#?7o<&C3vHWqdjw-5pI/)U(yZ?:T3fDXk7 KCc4ӱ,?L43CLq{z5K>9-Apmnn ۤ5 Y}deˣ%IWy>T5p$lm,UD~*UeAEx_I/D8_H?kqfCK3'$)X{{eNW%eW)K^y#%F($Y/"NZ2HEY}4W:Փ1Ѐgtϯr+aa|y:lܝj&~ra-BOTPYTq1~D/u{kk 26~6k ~aE3#$Sxo^.v((82B ,07c!eb߆-63On_G/9dצ)5T;j}~gamƓRI*圮јXhl2w|^o峛ٱ-sL@(ȿ:6/UVEm%tn jWςc~Z 5lGw6݂0 9^u$cugF|HT>+o0ndlxRtw_"2g%R%g k5#9 4x~ 8v/\{~sy|TؑR@ gò'=\qRv qOΩkQf*n6ؔu^`UoM"OԒ5O3͹WXCa'Fչxm|)>$Blz a($TiG0i됱L{fg@z#;Hhws&wc!lS&y[?P T2&RCűQY5U[@M :X^sZb鈷 bMoZa@?!w2+AnvH0#ZwU{aULn`(ZχHcύ$)z*CnAf4^T=ʐNYwiB5DPx}'+6b&WKf"84h'.ef k隸/ 6%ܑiFi CgTş&" s ݗ| ({,uBwc䋬a(ٵ-G Ql/Ono3teuG7I xL[8aS%%XBB];pƢEA,녬)h`z g >\UpeCyti"[$VGQGsMlmZE:k$0$r2@<]]$HqLsLQS챃՛,i$lx\%vIu=mRN-I)MGHe_ & E23iQg pmZ(,? ;.hs\cN3ЎP p6 o?|\}؈h1(}!ð66 #I/}kEi&Lof ZVn$Ҁ}NFdѢ֙R-7O]7_YgC4JMn|`<38!`Ma-,o`_bYAߐ[>e 󮊶$)mjAh ׍9KN~+-+yfÜtN10K}xv^fZ,:\np5ȮGJAoTPR[tpL^4G@a3V4;}u;:.>}: XG'$7;gYNn\XPe2/BCU8UkH@sJ8z"ˇ|Jh~yZfd0{ܝ(6ׇshQ/LռIOm~iu"N8j a..gʼi aM7߳E ϯ:L-8j879*}U}ܷvtY3' VM*t"J}_T`/ \z6aPJ<XtDF@3flOPkqFu&uuh_?^{ KD̿t$J]p;F/&0|mQƴ{m+W^ʍ_VQ yY F`R!wzX5NnbC=VL*ٳy" Hōȁx{Q3̭QK#䍕?HlD4jY``]}_p^zgi6XڗAؑeէWa*¬!Hɺ ? ]ov<OsY!;9kj=uZRJ3CmB-%//! :-tHm<$ëJ"'ljfpG–)-P v [p3 mA^ '#>*F EG!O8~\}p.KI﫨)Ɨi ?dG9knalXLxOD_OnbCO\AI@N[;|MR _1 YJ׈w$ /ʄP[v5RUAXԭ>C Q+g0>dNbb~ؐ'_50]tJxGVHBI? DoRUZLo'UC|K>}~^% w$hGo.La_jؙr%r@ *$s-n&LxSTCt{[\hRxv^HmSӏ4-Kv"T=~6C>i˖DpPP{zAkt8˰<}PՒFplЁya~-V9 ơ#uW5egV^=)3#EIEdWUD[ G]핬>E.!ߜʟ>6󁮵E9BEY#[;+|RrUaZ22aᢧ@-d;ٔ`Y(k -%畆[Å5N^0_f\CRR[1E- f:[@&'XӶ/H| :y+ Pۖ=\#㯞vi^4T!5 Y\e&AA >9>S ?$ibZNM']`l{(]VՃ}/!j:.J0n@;BɮM왁4k1FL\XZF|Ӈ^z a|.b=mVp]Yq 'F6/-o mo4yLzXS,s{TӝvL>tV_^T篣bh+IQۡc0Fcc%oWE)+v[$@zvcn+-ܳ 9qc,"k"T'ζC1!@ H֎]X_Ҳ|f).5+!iX3[9 ?[MTcRw UOLp zǽ8YHAȚŊ4b:Ui04ljrtuegj ҭg|"¨! |ivJ00f2q];xnn_(;=H yr_y䚾tׯOp)MB`k5Rzn8; jj- 3,(FʘzB`lX$!ŧ!K1 5]D5vt:},69ߗFH}G6@61.ܒć$z8WBgBفۘb_!]Ҷ$l9|P`˿JOʢqo%KS]P;?= 3}PJVo)g$='^4|0^ x{>;OQ0lL$oKVN(q \gWzVl`S`%T^D.tXbHz9 ׻D4]`#YiR->dᖲ_m:Y}減{H8JC]c :]ײ,me^+) @$%G 9XTqaB6T+޹>k:QָͅDpZ3"md SB둞 %44;EB,D[ 2?N:u0<ݺ#鐯io9`N'Ckު`;2d #g}s(oxߧh>"~Ľ}J <`+@g-.IF0!Cj#;tM l[\M,Sjjv%}V@9WLH@@ X Vv!`LCۂ=Q_m4(TVWϡp hd RLS;)=0Da?N Zʧ9SZ J}/>胒v#%2< ׼0.~RVd:a>qpixPPm஝*p>HB^4|EBOc)! 4&J[J 6d- $1˪携sl(R巙DR>C6a͓-Ocrw= V6Q! 6g9$N-t)CqW'y1@t} S9P}qh/YzLÝJ fm _:Hʉ{%,8!«,#́7#L|Qlm@c 9OmIY+n_Ù2{?`GζOdC,?P46}M6=E _GP}?^*\5az{ ŧɍdZKg9YuB$X{w9.B-({ ;`[VbVnШBho>4EESݲa[@ߢb&3 w.Ym$(sKBq8aJR0#:\ Ϧ _{b4Tj"+VI_$0˙z`ԋ5]#/WwʢaŐm%*n`YLCCӖM(Ɛ2 @eu'W7c'rF£2$,ED4Bǒ0NI(-[ 伥HB Ym@ڲ:j%/oͰxI4r[`IՖOR~~ᠹ0됡қ N,ǎ!')]6c> =A(/@$]5Һ{g퉲!rT—F3x@8WWHrܘ0 YXR fs;Ī)!Lc8̙b؈C{lfuxjX?z71u[Ƀ ŃŧYHp48p%qY!㼇%M#ñ΋WbN Bxzi+#b>VZ>Ro{EV F&s6%߾DP>RJ\Q\*>{: lD^Qbcѥ^o Yw/$?ItRP l^aio&ˬ~D-0FmD%tw2Ey ѾD)ͩO`T ENwH^2W3 ] ̓@_H:0M JcRS8jj -<44RY+fx6Ӡϧt?KI(}=`8H.K{wԋ E\TIQ.mv[_Т`[A/՗ٓ@tn]CLzFO+i%D2 kIbqK5VXH/ܩuq ˕ uN{$~F5LJ'¤4)Q5v6}~Px nX7?f ū<uq;w>/m34BdCM#VVOV9oBq>&}6Uqv_L^0> F}6Fs!u 9пf1*p-*&?-^q42EqJ7O2WT=CW$qF W?]ÒNUtM ;'58&ѓ bZܼ5 4bM3-› C/>(tdֲG{ ȝu)p}iF-&,#MV0VrMAލIPH%s$𷆏PnLDq<ōQǴY6"͆UHҺTCl;6K| ?'_1_nٻt[=6`N%)#2?oGYg՞Wv}צJ[`Q*e. QX*Ṵ9M &$ZQX :c0}fܧrq'}I{L;;~w:*l4FfMxӋ%9󆝓ɚNmC#aN!@Lj^ pxh̒Mp+ۑACCS!rƛbf7WeNkg7|9q0$rIYnwvQ (UeJ_1gYݺ N"P~׺O[o ӑ>~^$taq2f6߸FC0E_͸14B/]zYVXfخnMmIK& 6_Q7M pDVeG>0|V,FFj@1'S:_:Y?q6i(1UXfrìû$F2)lCe#ϩ}ǼXлJv3䙓gMR \5_}BC01 CJzgyPe:Lc۟O-rXH@ }D:Tϸ2NH OaP aܨxi"xլ`tg0.aRʜ瓹{8v2mo-Q W0Lep'g;d''`zҫEL4Ω\r~ y?cu\zvkQ;,is+ W/J7'b;!tĝ6MM?=xB^gIs0ySn QÑ5?6:GZ{+LNx[M5X>SL ȳ1o)1_,)A֬RT98{1 deN0TԐR<6Ug@e+dG2Hϝ)`Ww7TYKoOaY5t[iA7[&}a@p9nҘ fԈXKepx X=h _G,[e}%U9bn(B[d2Р O mNF2KI7$ :;ɶ֋lUfIjLG㳜#]N]S|oZrm. \`i*WB)֗uX}yO)ֆn~ 0*qM7 K[5 a[H E6v/E# 2w$-X6/7g-drF /3|1/Ѽ%&ĴJdDwa 7 Oֈ'*FÖfb0lW]8KU#ߝD2b|Ceo4a雖fhڨeja@.+ck3̒cJvP'MJ0`ʽ\9A]M+tV Qh=*O62: -i~bvC5Ja]*A yS8KP5Fpqvʖ0YW)>SS $SBA91āE6,&9$i- ~2OK43<9Z{z4)6J+)s)]b7'~/[7\y'"I-n!tIVfﬡ[ʱ4#H: !XY$_w]gy퍩:ǽ2|V'dcs=ӑ\ m<s{5Wh$@IL!8x-r'gXd9Bm͂ok:y5NPc}I^91IԋG&a|uEeF(EsC iό H= [2g$t⺵/wp-XkXfi'Eު%\&f.ʪ7UO[ Hua"NT'?P„)QxC[g2v\GQ1Am\9q!'^6%[wrDD.o18 gA1Ģ#i}|)-4!.[tFr9)f <Y%*C意h5OyH>~]YIF8, RÊTE F2yLu)pu(ܐ32~vG:n \5fLN `ż!juw'=fN3u+RBf78D*y}>\C#ៈ:n&\qxӈrZi(o: UV XBX`E 6?*RP*yfѣV<޿ U0fIR p|8I\ԏ$VZRy ip" ل\2ϊqs'Oެ+mz1BD߲76A«]4 ؕ =\ 4g?8amQh zf@Sd.Wh1 (.Co"S|5k\&v>G KU6%6UU{o'a]3dQ?α@)I3]r2B $mf(V-4֔(sW]f5ѧo$ˆ ,LX %am4NTI;i~zI;$#*IGڎE@4#S荃dn?SUnf]lRIX7vPjBd1Bة"̭Wq-qU@WB|e`ĵ_xD/ަ[|E @Mg=Y[nx?g2!i-m 1Ojzl+Ym@!ۊ>  **ў;+"DN+qZoxHKK(jsJHJ\h-Tov.U=ہq\Qٓd2rPbw ݱ5%i:9 $~&* *X)J1J dw}+rs+xg7pnvªШ0DN0&>] PZnЇ4/&lg-$- 1 qzM.6h񯂀7P8u\R~s`/p\_B'IOXers]uuSPl?`bQZp> SP|.q,Ybhp̃p֜ F/N0g%0 1uYWur] ,HҔ͜JirZF,{ǜhqӟonmUgJ.8QTi@eO .F6=ΕE64WAɽ|i7| r"g(:^Q ʜzĹ1-Ay`~*]_GI~ -߈5 rpO##|{x_Z`+KSbz(s*Mvnn{/VǰÔn߽cvyBy;[}T3mD`^4BhBd0p ٸ9r}&D"Kr4PDwłrU0qa;>Cݑ5 ^3|*F\|R!%%nFBjЉ} D3eBOۅ+]`ꎲ^f?C!>Q{ !m\D[}Po/*p6G{4Ͷ/F\ 6YBoG? iic8cv-֌yڧ> ?"WZ\%>14jBdxA]YBE:#vo;"%JP5'yd2PP9dG0W))CX' HL?˸f_ qwO6)6G>❻kWy~:?+?(V*i2qLs\t ەF"AK!Z:yv>}zhV[΄af:h@Ӕ%vz4S/h1ETzgR$6XJ)7|S?EtT?'3).Nx;8~Uj'Y*&4 qcF-j(H8դзTZJloz?n}_bBAAԀ6+t|yizSۊx^ u.%=/LYaoܿdH@@S6! ;PDxxY+!Ȗ:[SɓDcq3p/1Hi\?#-=Hv[2kQ_fdмjɋ0]4cDz B<vnq]zMS[ * DW5YYk9:%oA`Ol'K0- Ac)?dЬɋv汯 ]A&>o2t (/#Oy4q%{4? xdY􌅆'& &)!}jA.c +@|؋ T3ˏ0<ŊK5Wt,>մ|-YhlTDɎCWn˶x4 c!0IDMyW2,x%:՘Ww]#%ԫwpiO~. *Ȼ=86-z̓9<[Xu9>-a)'; SU KVr"8t"RzV~&9td$[1b43Qu8Lpڄ85 R+/=z#Ȫ7ʫ&T|ied})Tɕhlٖ"^VbY,V#jjDd](}]Q5(Ϊڷ|hzĵe/#2t|y!hW QIr:G`!ӉcaxO`[ݵV\}M^M4ah8fbϬe8 ^P!Eigt `"cT߫$$?B2=U-E~pX>$Y9y"ersGް(O38t_amN4Ś{mxf/Iczdj 'TZկIbr?\wwi pHxxvsD|Ya^TMe)&3.zYKUv=2~Zᥦ=Cn8 ;6=rSVx=գ4!+,e9+D~GwLf9"],+=kUJ ; wg'XZzwpX #d0; jXmV}y{b "aVr ]՚La\Qr  vyD+֓ fBy`}<0Y8qцFJS_ѭ =^#:dzXVVB~VX~+[7 /IM6*Wn~Z9X?|TeNBdL7 飍|c}lƁ&Qzcl)?n BzڸwH|9wGf:Sru_k1 8WS wqPg?Fi))(fۣM.ýyr>z.'t59;QAm2MA(QO:e`,~bYW&R昧pd"m<2#DX]uyġcg/;.2lxJUC%6 +FAIq;&Z{i&75)tRc hvl&Xh m^$E,l1%4ck{4cӭ=ک ,f98` z%6gYޖg#dXg&Ng#s[ 2?YQlN`?wV`5Rn3pQD0,SK02.q<3GL6@&XDa}ׅ%WϿ^ܿNm";x~K[-V̻@`)@huCl8'5~ AQ Zm\9_zh6hC]]b3 -.SiW8&'2u!nPAҶ9aaU۟N>K-bN@}tCC?8HM W^[yfoH֕ h /RBti Jts5"XsR\LeSY;'tmb:>=Ra4PC'~,2v&ĵT6[&4=ǡ_"akiVõOc}3E1%8Z/DS(yKtߜ̟6fjӲ$o~xe 0\',oB֣>ȢOsb'gŏ|X!ꌢtgI7fJDysfh`s=S< HHW(hkaω9QyjRKy fm, 3@wpx6ZQ^ nW8&''|51CE',{:=hXW'{HM(>k&O֜ϓĺOA '+@-;>d(c0X&Jס\o57jwMDPz?.NѼd%$3ouf->SQ8bXZ%>c[é.^ݡz\'yH_RP'Xk殌I TA* C(ƏQXh JQ tȆQ.,oa !2XlI뼩 ψ519_|-BDJB:{tZS=@sH(%0}2}!}E8*cL|D8̤Љ+xsSP@0җ=Z͈>%V_ cfD|aLrR22}j+F\Fqˑt }%~)G|rN*Y)(?YVQ \÷Ñ506 Xw:O%$O%=:r8,!< JaHJS"PE3eիq.T`Q2sBZ3,Z C~pzҸЕF!AU^ Sdآe?TVoϖVk-ɘZˆ2 ʫo>ƻ)3A4=ol"ʲ.#.Gʩ10jb`ڔQvP&5A4.NIb IeV(eC{#t:=0HtiȪa>B9@C 6ͤ^KҚ, rS,VnTbo5 iɨ wd0tY}#2dZ Ys _xn1#Z>PtxeH÷cQt޺ѩpf$+DE6}" )a$uտ < Յ;/P߹`(4__b`#TԠb$VL+vݩF@l4w[8,C+aM/ӹ3tAl>HLIy,YAL OW,n;xoyJ\uR[m- ލS*5)v>:jR|H;p?k@5 3:܇8 1x NHEY|!]H.(Buߜ2+eRyݕ$BOav:eS|椴bl)xpzu˜x\X&тIT~fxMp^ٝZQ?Nu[zc `lJZd͐C SyhZ &0o%ۂkUAث}%##+ykCtSUs[ޓVbѮ> `7LEֽ@&[ Z3bB<rSiV f r}XoXLf,!:yyn  ?z̔1D NJXXqޫ< 0Od4,S^A[gs62E +Ȅ5Q!Ak,u:3G9Y"_$OC{|fuڔ>DgNa(3>8&歸N8Y] 6RNNh&φb"ruhlϕ:>\揉X ?#1!j PDnsGIqf>c_4:If@ۼ|B4o^ o xO4;uMkgh7qەĵ_vm #M#i8\'|D]cOVH*ueK00_)gjQq*9:5B1 x"`b$j8#rD(k'/e?|PX'q5B ܘOtw2EG;pk8%g` (_4i]yG$xi-֧y#0% Jۃس Aߵ2HBk5uzt >bM:ɏ- wgc eqwuei}0{Vb /FY-?gYZba33c15d311c5dd4f6abbc9512ee89061ee98244d1779d2ddc889cb6287b2680129b97571dba74da 6b61682130070f87aca58ebeac1f36c985eef21fc647f3cf6cf1104e9f4229feea5c75b6c0ebf219