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 %`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF]Ƥ;iݒ7Vde$[$P0s9k(&'!mnqKx<{.;r]fxlw y!M~@I*WUyMh >JU[i\'=&2YnUgY!F:.~GN9#宆V ֐xTHer4Klz/W]y6iSžd0|=x'~G.ŏҏ0+a:eC%Sk SŢRr˺މuw̗h7sRH4#."XT,F ')YOX?.>wv,u˶tKŌYmTgCpu"oS8Ul _I9B[obevw\hYXs^ۚ^MY|*0sx[\jp\f3$؊ᨏaɑk]k?uq%!Ƃl]'W OX w@Wuڇ>/[/Td6i C7F'gUtbrS؞iLu[JװمyQ~ね_:Zu%=Z 8hg`iÍ.ᔿs8D?R=FD͙fAyaiXVwkB PÚMy5hmz&!Bua-= #{R7cN6% !Ub$dƭuGE bq\ԩIE[MO̓;,U^ Uzw&y(_CL Z=Gd41z.KNK{=Xgyˑ,NXp=YKo35S;.~4R$#h7ZΠ:&bEfMڋ0`ц$9-/ *5)-^uhG2<{~ya1ҁ6!!'ž9'êjF]JoC慈I&-]KviH#pЯEƦLH`x#U 9p;{Ub> pB$ek ^ @u,Bs}-R58Tr!g]t B3ZʶuҮ*yIr,8Mߘ)U&I. ى˴+4T:BdT_sIW,E{YDk<ڎE>uL K !;.ș/LShwpWu@c ODj+v-Ѷ&"!kZ4ǛQϋą~iwLa9av`o"`hogbXq'qAwm਌1 ߃FK~o,T⨫ J(7cɝ #GėmCC QSP疾.w #p\ZO-ޑ5FȝP 'Ex,B+{E'D^sV\{G~T#|h gcz6M j[}k`UΒhfLCHaT .Iezt(d sϯj6<5ZL֞` Ep!hڠUq]\T0j"0x 8 (KulJ_A_+% IR"s'<.lGV~GgyroHC*,s<34'XvSl \0`$Sap8nܡ3v #x{q "PiԮaszvPG[Jgw0du  qq?k]zW׈NA@wq#R8FyQ$hFv0Tz.䊙p AՑC9)^< ]Y}@O16 _^ @ 'bՊ-$Bq%j/qlWOkū`E 9rx s- |BzĭICՎ::-4 ŽQiyzQ4} u:$:xA'軒ԛK-pmf`F=ZWv;BEM[4es x?P6 ʓu{K);'rۗ\q@@02":s[BJa,S&[z Bh">© Yv"=Όn2nH_e<|P]M8?c3̕0Y{HA@X W*zy_Al_l{k~ᙊl0GIhvڒ;]QJ_{Jꁿh^`ELֺLVk,[aυCz L+m62*tAls?]O X,CBVοcH rjc2Cĭ]"B:<'"5R)]/{xxn..Rkvp&BaQXэ`)~5! }wR[úH@b`!2 3\qRLT}rbvOT8`gp/t1N<ͧpڵjTډ"E6\{F./18_Tϸ~|y$`'VXɋ:3RFr6ID>L>ۻOZ!N+i~L?Uf {%zeM+hk8onXӈk`FXKjD{~"Ǒ 4yV0+]%*8=3t;@:l0b:t0O α\”–C>pC5Y L|Z>!)]4u" Q^0_ڳTSVl m0ޟ$uS2D#; w8Ybl&3&e;$AA5?ʖRZH-r4K>_-ZZ ??W&.ڰXCIi'!G.m!7n[7:5Y;gM^}F qmޣ `Xb fEcz:Rxp1dwլɁG} I,[։6qX! /Eb2S>V.^DNq׶NF֧lYvI ~mw3lIIv&#/<0Phd'"r<ʡFg,C~{ٳ&mCQUdGtݨl9#:ܨIߨŭ"G66Og!U^Qza;Vyb~51_-gIJnYܖQmOe컐M: W5vN|oWCzŠ]j.D!78\'F,^PN0x7RVg~{q[BT瀭^BKEeP`xuDvڊ܉e{,G=rZR<Ў>vAT˺ åmRV3,{$us1B)b^kxp:k k,߮!:gh@Wڗt^?I-c Л{t>q[OP[R-K8r[a6XiD5x[d]b tOQ~ZkџG$LmV[#AR! Wmbpph@NUе~[q`q |{8DZZ|ַ~DS8q%.?mn"7`a0qj\眜4chw\uޛSd['VCrxN=5{@3-2aAX5o Ҁ sѣ` IYj|ys(kyI4ɴ;bz,"wdqdUaK4K, (I  ['6^$YtGSŧ"IB6pP 4,(X;ቝvdic'zy[9(d/Fc4m,Qk0AA#%xnǦZrutc."mIYqynq({&ϺiU|͖-Z&QEzM4;q*Y$6l_ Ci0V2axHJ_▎)¸:@\ƂTT6pZE/*;tpC}g3Ij-BW dSeLdw)>JG9kW&I'D{Pp{Zag 5&Vj 2 J|K,"v X{DrE]v&5 +Wm v?:%詞sKY.M9Gkqj\Q>zj%סw9d!VÁqw\FeKH#+0L{)(Peڳk4*}]CW 9sfثҎߕ >o'3 L:׋5`ci'4}թ Aso;˹փb`SR@72T ;\ FYo)cwRԄU)t+-Exq)qi1mVJ `4#x岎T@ _gsE/pGՂܴ{<) jQ}X7x֑9 "Y<=pgHLJV31[X܉,LÅ.AUK8z~xz\j0a=RW!a*CJ b[xc3˵0z959k" DZg> ?׾9¯pcMuVw[SۦԼ뢱)Ӥq?6p+h2lYg2R3f$B%<%e}Q}8P^+8<>wMjⰰ1;Pv&X#CwBL[g%5;ElI/0Yъ.V%9s L'.㟯kpp;:V_V3|Vv˓U9Nu|0m]83*eqI*di0Z. AuJkߞ @_bQ0 ,;Q ܦīL < {GqPMޯ;ד>MԠ_Z=0B~In%k'#* ˀ8w5X:RXP[e2 [NG c5 dj&$A`X ,#Z*gl݆< q#tť7n@テ(pZZi"YjxhUoSMBjW +>ͥ"=SH6͌L:&,/bxШB7G j)V:d>L\.`_~q̿`~0m5m|4=bQ6O[bm͍'l}.SSl*R _.CZGӆzvy&i .ʉK!~]Kp[嵆2&./ ۉBMdߘ/W,soeBP4Xc &Peē0==g\mwsX X<r:Nnbymh3\]39Pxu_ʇSv6ߜj>WXsO04Ά/VI]JlD|fTN?S`$hcw;~zpX쳈(tJ7ѥəow5Fsn0ZذE^)q"ȷh<-^W}cfu^T'AJqՔ٢aC:)u\ɶ2ĎS@Ħ_h<@&~b>fd }>@TG- >?IB]`ۛZ/Ewȶ>^C pT6!yI)T4uߵoRWR޼vԆzKK4A%uO~(zK4wY'hi<8E tu>SQ!}I(mGy6r3thyI߳hc>?JAe*p'g<0Tmz'˸Zɗ=Rv#l88-Зޮc3$DY%֯ϋWGqġ}{|M1oT5؞ EZzB\6(vy٧[rxxY@QT械󎬝ezM%# Võ@KQJ^Jyqn"oALl) Z馤04okG Cf-,մ4L(it/)6wJ5=!q!XDv9XW"%u/8%u<7&LV7r80!ޞ os'm"hL}&̈́sf ᤇSAS&P;MRx^ y:OC98e|IV>#Kц_=c륌hdሽ=рh 4:_\7C=oK+tu7lpY Հ  >0ԴpȾF-4 dq cZ`#,39lΓ@'{9;:(9o^VC6V#"]^zyE&Å˼B,8&&֣ Ъ5">`[/#GkQ-OS-4Y1sZ?Y:,nbKIيwZ/êVcurvZZSMwx_}%kVBj 11R|7E#kQx 7Fe-0稾 R6W=@nlSA4]0 ya+;d|$tBx[M W'(Bu?jL$&#?JEWE@sw ֏q^pj %d 㬡 eT@4=LtުYK̹ODXOm<Y+  ٓ)?e1XQchiöAo@)iGD㋡bjo-ܘe^G]tJs-Xcuќ}ehn3DE zd1%^R…Ks.AyH@GtSo:02W;+`foφ~ iêp{V?&x*Hw3*Bi3mU?(|3K/=ū?b]Ko4!4 >{nc#rJ)䳠x/U F.odVqPA{o Y{_ɨF.w`VdԃC5W}ũZ ɢ;ok7pN q7ifgL “`d ^]XkZctXDvxe56DE-~C?CG%ﺇӐOpmeMm"U}-ˌZ='=ëdEjB#s)!x/ k;s*k3ˈ;E'}ko(s%[t|騻QKևue,hx5}QĆxonjLd[|r~&ocwi;I&AL:YL/mɧAտ(B(θNWJ(d7t\9IL%b" ԕ?*03nL"u~O1MG]=6i8*R6#`(?!P{N`Ҹ^u:9'i:̌\t0wf/B_#s8)>ݐnl`Qt '.PXiG E\5"nDs!<&ݝP˕Ӧ0:Ԋ SR8"lm_.BDCT aY}v%A&EY$tM`!H{ߢn9-z?_yJ>hHD Ώʳ\^EkC#ݤ";qm˅FD/׬h8jpfqG '2Ⴅ;oK-g^e8Rǐ7JYۦ%&"D‹J+ a-0e,(:8B62<|2!@W#hF׷oAjF6Yй1FV~oSwhx#lqLRI? ^ _/a,u}eי~43K/Cq|ӽC<\]cL\w! ZgQ \vC0'U ()L^k7:uk]wCܭޯ!o8ZР3]zH}fRo<&1%з WygHfs^%[4 ˳HI•tMs 9=np&qVI7iaP]"oXU6}MOBvkpAa0N3bQ1cV.C%~[ C[zOEiK3=n[y1e{j?7TFrMC-4NH=E syԧwB8 @n#eqݭOTή.lJ+>T_&,"ls B`Q FpFF*G|F_U [&. KOXMG e_6DWiVaM1DB+7ɉKO< KWjMn}T7_=Gb|EP6P-'s /u2q^, +?õ6^͐S[?_$|y'=I+tS f 4@!xdƖ^w&ƤxZCR?*Dpb|bLF '(Y]>ڂa% ֑q,&" (;M۽e/04Dp('&$ MڰL-Ԍ>?*إDOUs#[[z48<23 6CJF5sw}^?.:e[_zs*8!gk1LTbLm v*91WGWk@&y[WWuw `;9h]{S0a+>eAYݶaydžvZh2OosQ`5az|KšNPCfKĶeDH0~uz%)Hג(ڀ$+WG4N[1xH;"pJM+S ooA>%B ck6e̓{~ j)'O,@ zk|yJ]D?ѼY2%bd@o%2 %)7E.-U'JhušqGZ,X>g5&Hi}ع,RJWDh勂jbk+.Ӑ2T7-c2${SAh.$H&$/eթ|%i`c fgv?:7H坣 {y S2 a~=<rHAg6#QWbCdvʼn]èDcd{.rHU_4m]|–a1s0)h&AϘqh\}[4#}4.xX  Y1"ٻծS[ >8HE^E7ܕ~Rl.oju ϼv Hz "@wPIѡv:JO"M}5AG0Dύ\.Mc5._ɚ6Pu"$d(1'\@ObC+/ i?>eG4'X8m6&>y)]nVoyeUPyBgG4izsբ:#; m*h{J ȳ#TpT|g(y(Nn&|ȴ;jWS|W0 "fȟ"Eӧb[YL&OMεpkL vh48Gf{/"x F@3zFnKm 'DP<E -\֒ /?fxe9>uOW޸.H$4Id#a%м I "- c +YE`zO{y7ϑ|=q6+,K "Qꚱsh!TWC;Q`:wD<,rK̉1iTX-- ~nv&MqŢ>&;JR2.߳:č7\ x^=ݧkNOk>9w#'54vڲ%$!v}'E󬏴e7m>wb=@Y%*UXx^0BFUұtX[tY-攆; QٞMVWAzYT^)L-6[p Ay;$~^AcXJ3bJ\eAx6AAC OK='nf1V,>gBo;M.PBn|xLyMY TmscgXYD!Fߎ%(YbL5DR>uySqQI}~] }|m 0p4Z5k\|/VxxRQc˫3FcD| ~p\JFM !ĸSy(Vj~=PLQX5Eeu7r 38 ϕ(>PmGo1])JkjcLqֆ򦵬c/4>GcG8c_5jRZV8gf۬)/xwn5rȸnSҋ'->)gs}'<=[֗b% 7b?сqmjg?YZ o| =¼}vFn vQT|Խ FInT@Z {t/+.ZT*ž  )d.9dW3+R>s;_W0B$ڱe4ob./)VYxT:KI^BԠQ22zMX( W(Jw+'UmQlLӌap+ UۆBV@KkߞS e2jM&%~k/gd  sod= 䋜W p:vꌷУm0-~޷l䞺_!|&QbH|lp)NdM:+kۮ xkN 7Vʶ, ?sZZa)ץiSƮsȤ+c {3>]+8—'F Qb\֌S8dQ=o| ]F5_4O[,pD,':|(E$M81b'3mc{B9yg|dex#x .120=#@(>NBvHo&fC}[l,;J~aG(7LTCbY ZNDI;&1'SSu=(v +)p$§,t2#qN :/WR'&Q78 VM !!AzLyۖ>cG=0h Ʌ9k{ԟב3% [/_#f@Oc<_팩7'vۤ sSgqla -Snn<м{ /I (Lݺy&+~ij@KY+mkP=uJԌ-{_C9X-R’m|p浴?ICsEܶMN0VY^2!n@YȐq}c9}[.6N`=~jhVs=$-NzWշW{2žw*8QK܃J^UGyfcqt#7MX„t6/SpC_n(Go /8yxTs/23I6w%I udYJ4"pN_U#˙8d9F6?E^WղYn__\h^:zL zmVwϒo5EoL_w.I{>α'񰆴fcGx-$^YRH`kf(em [[9N[XXq.GiD(rtOapҮ-&6Y/- I߷aCj1*$F 6aTO1k!!pCȟMSsf諞hiQ?6T-kx۱^%W3χD7fdbNFX"MW=U?lodfن~;\X,!&[N#8Am0|1Q)+>?KPK4Cu -}~L~8ߡy Y~mM+ ?J29q -OcY_;Z"͈GfNj)@2;qw^l)6hgYV94(o^8!OAk+J5lAP * )fM!L@ ٜmRwjȷ1mZL&.fo'" 7u\,f̣28}u]DBxycg[Ccy8{MǷ}R 7osaBq57Ă.,7` nOJDvʜ)q 7Y zFڎ9wt{xfP1zq@@"P^eD"_EѶUT'-wX\;ޓ{|dzp.uˆk8^se-7,ͫZ6(,}"{ %Ojs{ lD}‡] > Mb6@Ӳ\P_͚~dduON}zCmW RO>Vhè*uCIRGyXᅿ%'pfgMyuC\| QBmY'>psmY*us dS]>Rqa 8}Wtp8'+ק0U=:mFo!4s EِiO(t;eȈu@5Ya&]['g4i`^3\XAuJh>' Kdlk`F!s]d(||i;t?`Gvh5ҙG(N ۇ?v("œ4׺"[&"]_^BVל4HTl͠j֦Q [Ul -]Msb͈Ҽ PQ=V@簢fןHjs4HMwDOKf &, A `,=0q[N#kR.Z<`RU3 @Tߜ<. W7化k\UPAdo3N9 - jMS?vfC;Ч@qRORB1YRY6+M w,{f-Iݡf¼rRF#)@&Vؑs껀U2ADz,<3 3[ Jz"Sc̱M- E$|dkWi\moPSaTRfCc!E\ΧGaZ85WC&8s^9"XIW#얄?eP's1eP{Qi8әR"v7ruC0o'lT{˜茸5l@h!ƃ~Q@~ד>F_gYZ7zXZִF! %;]ŗXiɟ1˦r.Hil c`1X14Qx.$TŶ úGh}0zgD[#kΦeZ(+дQ0JaMkV2}To`̇?F{!nmWJ.a5ɻTQKq]C`C `[7h{)1CǦ@10@s4!c^j(#컊2#"%OXK3N;ׂL7.ӷ1뻕s*ɭ-/ T3#p;y~ٞ[ۻO2C"C-³)˭CSf;T8PHܧjBpK`nEﯚiC…ҮJܓx4;G/8V6Hr S ̦ƋT?}T_n%E@1Qk~qlZ$ ӭs>=M0{=RdIuNA3[ ޣDA^[JjE9lަMNx\F$788AO[> ,OC*PasOeSAYa~[w #Y=~p.j6pMPRh۽ 8 vGXQv2.SЃ43w, o)ȃUTȸodvǔIj;!;a29EAqSHژQ{d$l/- "Fiؼ=7NR1Lj[sdFH,-a#Z00X;"o gF(YV}<ӝ)]9oFn܍GWєݽѕh\s݁_ T_m0e0hpmz7kcOp9qoLJ1f$Ɱ't88S=[aΈO~v@*QhV'L"'6Z6j$$&G;@[+iVb)!Ht= =u09w&uԢs -U + n**^iՍ3[>Lt@dҘjyWr4av#p33YVTt~}qOH9̙TLh&uގɞ6d"bRiޗ':}ǗzmZ%9N85(\Q׌CIǜz8oLg V ;42, %jxls[;y*j/(6 UH:60-ͱ)! g}/Z4UY5Wxً! <?Q+4ptݯ5BbIt(p5qz61Gt:n[2ff % 4e!//`{ e^WgP.gN ?#v6kz0~kw7CA8ju%|SQQKU[ Q'qCy@lKqS{L4VTy4/C$TX-#"2h"b2Ԃf3G6ޟ q:f:7e OXTXȪhbsg]fڋyW.ng ƝVˢlFCprMܢe_RT;`]qvu|:ha,S~$vnT+CYI`]C^^I0HY$djM# pɚ(b#(\(5 Ùy;ࡦar^ݶǒkgV(/D1,٠ rƐ/KmG )I7sl>Z[╝3 c=Ra#J }&mE,K8h?q+|GYdტ+/mz0S|^Xo}gLd _Dۖ܎^L 93 p 9iKY@-ff?d~ޜrc22"5HxYbqW.CҚ.nQy[$΄Y fNf5ϲP {B@U9%ͤC~@si<;q َ/٣5q'$CWOzC;%wolq?zE\mFráAm$vtNSwh\"^4ƷB 8Ƀ6x SK5ʐ Ῐfc)v9U@d]ؼC^qq m"MxXdaH۠KgM :$I X=A}Y JTB ܶIk^͇XaP:C;}Bu"\C,0Tw"֤^kkA2ؾPG~ W~@ڤ$]\/`DvMS/!Z 5e /L֛ԛ'a*:pxteh#G"g5ez!A-gA'J@LOyЗx^$Fx5KDy`Qb'p'k-Km(s9HG2A׽YŴݰG(qxzdxcI.k9VBK[SIJCǁdQđ):x@'?M;Ǩ|kw,OE)ml1I #3FCu[ PjoSyI$CXa%n?6i\AFp[3FbXmq_Jfw UɻAT +& cT<Ԗ&1?TD6~M3H8vw1d$[lPt҆ĬڬF*=/~t|seTiU- :Ozc9Jn AF֨~J724ҏgcp `IڠҬ?Sm6CkF̗,WwBg턲@ޖH ޣ6dG> pz/rp&'M;Btf:Q^,x[՗d=glzl62"O`IHRؠl*!z@SW .,im"2yL5 ) ,3vv!ֿft?}bH\ G?rS3>f}E[+nމ$hC[3PD9`e'ï2켢ZI'>: 3xyIĉZ=E In[?-dNl7eB‘=숹`OEfXt`TKWvW![d1W_n*W1 \ᣠ|dt%HMzGkӀhX[QR2j>ݼUYظ4ܩ p;>űdnG ZpPl‰Ԇ*R柛?UBREw^^ÖH`Nk EJ=1c4)\A|,u #gx!ȝKKC2C;74鷉AO`gaWH~ͶHIb9d5 KІ[dD_~8ZVz_KgOqD]A3ĆZGᐸZ񎅭ǣe P\K.j:7f⍱ hNtirh_s){ =ON10k/ww39;J>1K%T̏{N"#$cVuyT|L=S2.$BX:(~8`,e[NDjghmw"Vɥn3D4-_O"Uŝ@(K+re:zZ[ꄪ.>87VWje Pvt%ڔC)ҔA\ kʸ;LŢcJ&CPCeK*uid6P!QM\1J k++yI:OݎլJlZJSD,دk,5HoDn5QY~%b‹|>]2iR;e3h· K4Le&e Pq]mǓtu#,J3܌0Z 7+wMh J)W*H6۷W1XsdSVlw~/.1w>e 9&ܩ~YʭBݴ )+Ӈ%D&JB4_[>{͘:FЙu󙚊.ZE.ɩ%C~MBp1|M4xSX3c5i9Ǣ=g)ۏ-fPD\JZ˴ؿ1q ([*<.Oa%MMĄձgQ#NQ$GdlG6$6!e]9PF Nf5j 0Swp<\`~&6XZ`eyd]Lj_Q>>F ԌI|+2%p\)榫eqH+ TcLڼزc;xK(^ MO`][шQ3KphJ۷Yg)d+֘ #ᴧ70Q #bU͂Jª_a}:7UvE GiZK 8G>r̴$syx| =gdݜ-30n6 1&3TNo>%lz+侦x{"J/޸qNu1 лDTGO^㹓_C,yСq%mu+k {btTj@(W /RrNk#_B!Et$*M8T 6GNbzۆW{uѡHP=GIdsq/INs!K"_#-b :NpXnf#Q[Sڈw!<{y\o LYA9]zQ,o1 վmQRvh(&lȽJU/:I.6{q>zA0w zBSY}Y?`?2 >1u?=F|+{~b͜rD}oj{3&UW3҇"<3:E7Oa:NB X*.DoWJFAgkp@܇RpB6ܮ\4GXEm97#'@1] S!P bpAU1hO{\EEgִPо?|ѿ,*8[]!_~bϷۏEFHSl;pܰANЩ5?A󌄹ѠCp5uW$O8oP K!s& A -ԫJj|k0􌝖",ggOsP#4Rp'ߕb)Ռh\``?\r[s=vj:gRk% 2]ه#<1ѵ;xƹ( gɯ&|6٤SW dң'c׌, ]0$q Uuww;M0HXT9<$x$?Cx7f ܞָ+,1CVGedǥbP֩682A9:e7+šRPg\p7[(}ުCe^dx[3j#^OʂywuPwhwyT 2Q,GT'~Y9>UkO>d| \s3VW[y{pZ)A0D'+ʶeTid`{bHdFv2S3>eiFYEJʥ놺ݽθ걆:12ï(M2H9l,4@n}* ȸ ; (Z@Qb|s]W|.H?u.a9|y7-[(<^,ɬ!@'^y(Tr9C]ۚn=~ʴG:Tcc9? }ޜ*܍gw.KO}&`@$zjM_$<IJ$# tmc7u$䪙99*5.wJ wdxCЕ2U6BQ4h`kH iB鑦Vxo@XRC {]֒ ASt~A-}gp<q?)9]R~>~B+IwH՘|H$ kf`@lC({hߪyjj*(zYC5vg\͘IQPtqM65^ku'˒+9ҷ|ޡ} ƅ|5CЩj8ߤm0$,*S6{\ܐ`u{^n:l'K[)w=H3zT+ f#81z%Zy>׈zLxx.ZgU`\+*떰 ;D焾+zof>4SugC9\LdNJc;[`lsl)j0ޏd$6[ZM"c2=Jnd lBlg$xol:L|뎥lB>$L'ɝ(gkv{6Xע'B/v.HGE6ZC^plkw*3rzW0.%vs>yV {B}Msba/۫z7tz6p3DD^ HغtiX4r} 7_qVL15ͱ?NͮnquEΈ&8ɑD r<_ s*"쌮._.V5o=|we|ԯWcŀ8됍5QJY-! @hKOLS60PYMyX$ ˲߈3uFqxSu0n:{<`!* \XPtX##7L0*Y}iS.`%O+L.WUÅ|s\sKlAAvYW1X(DN^lҡw?7x&fUNW /75K E#돆#]yf<9d.ubby(WTTכ1Z)2ci=1 ZX-Po7PƟgɨ/?^G0Ǔ9ղۆlXTHȜpb, I%K.6R?L׶{ps:n%JRykĩUXuΘz ڇ}s<=RͤO$8 dS)FջO؇r<0g>ȂH+HY`}M6H1.ξ~8ǽ Ph6Iٳujv _( մ amP1c2nJ/G6#G){In x? Bm_,a3iz!8<&Oj3o H|CT% 9mv?ٺr!~;n' T,?^,QgOlK]?D!h86CyźJBb$lZpf)Ȯeh:tIjQ.:QB|ex%46u 70"æ bzI\ 1l<:f"A++ jx%-uL;ƈ P,tZܙE@+Ϝ& #;NT/N\zBXXhNE*9XTtU"L@x;I)ϙ#3'NZ4x:,\ZuR,6l4̉g O]I_㷹}!A!qUEU9?pv,p=Дj)!m^ RvHvR+6 Snr*7BQ3U0{ kjM cb/]mbg)hrq>Br~l,JtӍ"aWeبׂjЧcQ tU}zSPS&qDIOQc)(6v:YTD{ aZ#;o ~r`WKo"N:!7-]O9(@>sM:(I+FXޞh<_ZUէ'8wN 3d,]^(( #n+lYW'e(nKWdbZ ~/=Ĩ!I0E_Kƭ-k=1۩Y.WЉ[-O.zޏܲ:G:7D_z]I 5{M~q 1)NY cX㽪8emyI^L%OhRf=rlUp` `"ؤޭ6ԹZԋBg`B+ghE 1^Q/. p>LZ|]LqBTͯZeT.p(!p`tr gZpJ ^C&Z1dTefk}6/$:\(gڔXq/v_Q>oػZ%{N>YIg1:*]ǒNJab6l Rv|0jӫJwĎ5aFt*bmGlUyv/;78k4̋bcIX~bn HrK@ ݟ\?%R2L,W:Cr5f.B@ptϤTxЕVpD mNTN58[,!] 5C%w&MVXሔrr\A 疈`^#ӻjKdG?=6Qf;m/aPl*FXÏW )YiR:;͗ZRK9/Hރ^hl rcM?1JF{ Th-qJQܻ4]!B+Eb]+/+LӠM;^>I8R^A-/gwE0 6[qn׀L= 0Hx٬Jrx%ϖϻ%Ž_/Ĺw/ߐްW/eyv`LÑ%@HYJ݇D!fHnp0d$R()3",U A|[4P{WdH laȮ/iƟj)!A-q򠬃^ݹ3*ANtLJfbƌ4iM<޻ܭztw Q^{|=&Eqpfk{wqQV&y/0w~ժO/x/Z .zv$!V ~Ibj;O@^#OjOȟ|gz2C{z!fnZ'\1ިWV1k u7קĉ-Ϻ`:4\$1 d펡94,V 9"0%wg\c3(9 q`R\ JF]؁sR%D!4p!4 x1Pf4(L1qEj8s"T'1Qjuf#V( yudyrRbK(4 miQB#z'gNM1ϋ'}hS;ԼmK_(z Ńt_A!f0+9S ״\{]rZS}]chm~DV?vrSΚa=:qtœ [P{464B({l*!ĥk)`i%Oڟqg{l*O"F6 !hKa2ںm8@`9ʅm+#k&Vc1%!GiZ<>HK-/襰]WZ܈<  JJ]闵$!oA> h%r5*ܬ< ētya) q iW7lV߷~O?Ӻaʑ †[ GLܸ]ݸSnlXS<727A.#տH YCO5Ud EqE'~--,n7w{ b9)r3CU,bŢoLV//[wNup}5Sޖv0JZ6@UMSb9 (vY/*٧Oo|ŠʡA\]u$_͚?<OC5$04%q3"aN<㿘0\槀s -ӑA|6҃<~F{8< @)}%s46"os |!5?% "NGVqkbYP(4E1^{j<]Fdʖ,ѶE^ 3FSk-DaIE:1|9Q_sr6XA\/ })KD6avU47r8M5&k]14vsĨ<{k봛ɖ2 $I'ڳ%:%ܝs>rU@<72,^UF1L6کѩh(GAv+VM4KG#94u BO6^v<+['ȆaUDлVWnJS L,/Gsmk^bh DOvB4M5]0.y[ fN]'E>uZ&m|6il&P9OLp|ΣR¤NK0UҦ%$I$pB]ݭMőwVal.܁G’ WC)W~]8^B,w\dJ#oط{Q !M@7?-*T7pa}(CƉBG Sf!M $`lj'3`f+ETD+A9jfLVvE_Ѭ:۹j !y.2y|ڡRCا'"˄q+p,^$sYw;M>|jcb=asbޖsLHL#s3#eql8%[\_gQr6_t S Ӯ4;ujȱbJ} tl(wF^5]d4)aW"6(B`Kn$;W,ySe6yw*2k.l{͕8|z@rFt`q8/El: d}5.'Y:{.{<i/Miy5mzx>T&҉~;Z(mgyI"ޜ#PcPhNB3Q=ߖg՜(<`lz.Og/ze wV)([ R|MV;ћaZ/XgƘHёP~0.j u*iPB:}.T)^W; v.ψULOEYXSf *6QvxvPEgf̿ڑp81e'­Ofndd`p;J W_wڡ懷C @5 *v$|M[ & 9t, 5dc 8=5yARLZzPT4`C`՟V~DfoĖLA'ZRX_aRjzxVo§flh| cƵ_:F٤A- ɇ>R*-`3]~vsn>| ei@ȞEٝ3OBZA+2y2a\z;۝?N/#O*JoX b!lC  WjsEf{n(i{Fɀj۴S8h̋#l;a!P7::-u; zz$ֻoxb@I]"-[W {llIe!pS8 hSv~U,1Ѩ3Bn @ƉsVu[Omޱ>t_FMfCQ>k52`pO8V>W%ܖK-'Bm6qľ ;=ލ 'јHjH~>5zH 9X9_[\p(Dy }%wAH$g?gt @S}ýdsi9E vg8_HEz_Ljof솵~(k=|vxͨɘWqK(tNJIb#C5.}.Im.u}cM ;pJ@K(MiSm T(Aif f׋ nܬv71ʈ' &$GgJ0[>YL){0C~ 1>o;L=Jϻ+Wg)W`#WU[/3Sĥ^u#4Mɭ|ҫ^HYH 0L R1  ]3 l/txO6ze@1ihޔ?_6^@1PhaYQcqE?u$gTnc/byel5&ҒK2ܛ^Uo#a{"Gɗ,EW`IoT~A\{.cLP򐐰݄bPys>rp`k^DmAfLRNiED'ce IUԊ _XJ bqF~\fKp^SL. pG6jfi1ڜ&S'L.[b)GLڢy #},l2S re2A:ndh,6c+ry#3 q.y cgáTf)̿Z%vV;C鹐 $Ze+8v-mI9G0;pb`Q><^jqx.e:nCֺ7-oWO'5^M,t(o#wϷ %qF>JfLuŷ;R(H+"Ni8 دm] GQg>Qf{r2vQXdMZO -@ui!b2IB-Sz@Ǯާ]HUȄg7м^h1W#o ;2j+RkM]FmA[ [WN~,V=z')_Բ7L+HAW3ZyaMت?\&3V^+eTh<8Ԕ~An ݭt\aUT.:ǰO=`9;;Ējͫ/) n`FA}a%1Ѥ %k$ U8R@!'5NlT|mf)ibGX|MZtӲ8'4K Y\vb1gd[Ez"XbUT FG/$]sH+I G|jC2:GMŀǏ p߰sDH*AT <(3}Ciu"/0O~>Z@-VI@BpѪ!]H@ƪ 3 $Ce q逦rPg" S ȘרT' i`]j©+2A1`x(*;1ck/w{~Tg?iq|/_uLlk`01)τQQ7ՋɅnHca)2`ڥ2%*rn'D=qOw Էϕ H"w/dZRbH[6kwKWr_DmDFHRH7_} {(~e/,p0l hfYFaBhJ@Y"ޙ'6wd$FjĪg.{VvM7RxώzS*Kqu)3wZ~1rrvt= ʓ93(&|ᇌ8 ןt)h4s|0{0]+q)E3Ca T˧GLc`!}D~tFEpBbeH; tQСohjg\1|D!H7BXqVf Tq`#ֻɫ4 W/?kP><_|D8`Q ˪nן# d)nӺYtJ2~xe5; ?dM3YLp-`|6A5Xs5C֛jQ_8ozHt~GA{<䷟*py?2ۡT{HQLBn1"B{:!c6[rn3R+H[m83W۲07gVG$lqC;͠lkh '=˜6 ,xM)XT uI$ER0 DkA$xA:JꐻXqI`;]X/(68ݚp:. )Z-Z̞% F_^~B^ \xA"flz)2@'bSx;?$7H脦HsLw^j0P(ɡ!{8?qo < {O·Ko^;&lb8jt4Ɨ}_k Qh养hcBPG-֢!+c,do8 s{t֯}>Ӕ7ppުl˒F_ a_ov #nOҮ4jOgT˙z( ((1$$$t<:l\pQJ! GPIiؓT\f~{.;z/ulje;,wE`c)bH7TD}fJNg_7YҮC4srȧWQc0nWX%rkЈ1@l['K w~ហY,HWR-+uĹ[6J 4M^ᔲ<}:“=&d;L5ѸS-#`2`<;Clܵ5"ղ{+V7&lX!!DՓjm[ē| Xׂas O}!٪𷚣k,}L%Ը ǨP`=<6@?;pmfr]|ƹ@p["<ં#w=T,nCx;ZɟeOdE ?&Iq6/@VY0AP,Y"*t樄Q\s8^V:rZ4q+JW ƌVc\oj&WNW2xXRPͯ.SuEChLxSItu!Q>#_F}:/B3]TR]11YQO'/<&EYH: R|4-7C>C07[11*KCteq]bD#tAw]yV蚘ΎP1>|-Ic`f D:oh9ǧ ^Ǵ] syg8_ .+tùuOkgA/ԌLN ,fuܲ\=ۊh3 H?yjNR~@[SX0>Tբ)Z^KC΅h<%4rXB@M+=q׸ b(gwξ3/(mˎ`+G?c3fy H[:&.Y%1ҝXmbՑWv0av&"0tf]`5ưld<1!uOi4q\&)tkY!2.4+oA"匇aJm})4VE{=rnr b37;w0n4;46{hicn]5ehF1`SQP&'*UosX^͇:e;B*I#{bbgenYnLx7/r 鵦@^J c/˼Z`MyW3 A njʽ 4x: 3Dx A坒h dF3)c>@ 0j!j2":ɠSZhTͅ 36QQUH^$Xʝ tx11 '@$F^CY_qbX {* =[*;O $jR(P΃R^ jJg$ʁU&g%j0\h7̓p|2e<:c*o sp$1H$}.rC k_3;]5! 5>$djP<=ø0( <[V Sj4Ulr],F-̊E_CF}4wu^ "c?źk֣Fl{@KI~gS4U?5{םK7Z|ͤI0hY?NYy&, $wi RwO#Hw*m-k4Sq6O2 \۝lKuRo½OKN-Hꎤ&<ߖaoJQf$8ȪUE}?& jd0/Io7~ ^v#3[7Վ41vYk!ޠaRϭ%o/WI!%Nbo Cz; gۮL129FN:HD;i9D2"oaV!@plP$v7%6x/؍ u{D&Z~̍#sejxby[if(tjJ;C>3ŧ,/ɬ~- $meh>nb (Xh@<%Fl6-?g f~?JCӮ (iU\x6]&eEjt=O锠FMa;ᘷx!1g}lMф%n0i;Y b=uCץ֠ FQ вƜzd8'\;|j7N{@W+\Fі, ~^#sU _\a#-TM2۵<FGl+A)Y$no5ɷ!Ʀ?U4]e(;ƞjO9-O*A\+n[(݅^J7ijEũ5~ 5dſB( a چLz9 ̉i´_!NRґf'Sˤ(=ag@5Yk2F~&OCkJ ZO'zl'_ڈ06Ϛ*則*87WjV<ݖ ?rԴȡ BAr.|Gܰ+2sL{c.1W\S6MN|O&q`UAMXЦۙ]l%:?xΩgj3uxK [͐\?[W)Ø"H>5͕1_g"=cJ{i7 |%'s?X1tmU]ovB֢b Vڒ$BfXϪovTjS!6s\JfA#/AxǢp:$ ЍLK P?l 4i8 #`O 8$9[  ͚:z.3+,A.aݤjIP?8x![cx_/A"֗b'OB:6G MKpk%իMR&{4Bqad´tqBG wF*󢏾?+&5y D/0pgqٶ&˳)Cl: N= 1/>7֊f}*\6+CWW9] )rFyMI=L_=/:L]сb6[#cښ7PVɑ' F|jFɾh~萬lљi\cB-.˜-4Wti;&nr3">gqAVbwћKF*y5ϲƕ5+/QgۙMxM dA&liZk(u\Mo^rO{sns} a/+ {@:شYNr_.M<0I`+e_DF yX&Ԣf(u J5,kabPN$\G'' 5ĿѼxGxJ۝)Xq y~g½kj'Yū 6CW?m܀5A='4 :WQvmK˷-c L\(891SQ{@ˮX zB,>9 ңiGrqo)wj3XP,$/Œus );/|d ޳yJDuAĖBI'+44c<(~_5پ{<1 J%t&#xmW_u-9iN&5[@HNZBq4-+~xWC#FM(y:g,>10İsf{ /es@-׼V$4mK3[^9;Y= j7&Xxdq]w g jLlҝ/'It?)#y,iᩳ8y/1Q#X"^91y/9&".N"zѤ0ab"Yhyɶw5TҾ/9ftm Aa!!+)-X|bII+u/pk7`Z p ޽\u!jQKe s4JY, d,d@vnƐ8BS`cC_ǜlW6{ԟ>&3uOs>& c ;>lMiU}o^w$t˱쩦R2f; 5y'׏rMX;7'gj.g  aT3`x֪p=KPHՅm˰RjKX񌜀.M\qG:w|dM T:h %L1&N[VQ(/EK ';?ȧt7Hv%f5T!oq5 2n$6W*!ɫ ^Zg,ة;ag3*{UO.񃸰ȤL\sB;K Wx΃(\hΌ Wk%!Z3?g\™G/Ф&5"{ci{ߚZWϊqx7:g E)f{h݅S2פ^.ײ;J$w#R2v MUҿ0K{72SR"D.MW\׽#*}l n0is-n>T1j7CT+ěvB5y Uf>)բvV!{7bġRVωުxzyT7|w`˴Vr ΘSpA~Ѯp =#^Ɏசl nyhΒ=Y\Ʉdo4!׮W7Ցj;j$JU^]NҨ|#_Cn"%5; 'l#@Nb/۟B5 Yg0I¸fYPO$PG` =QTc9Jk&0O 3d ?qF!v*b_ ɓkK滗kH](DZ'hO|m~Me9Y_(7#FbL~]2`mSBڈL[ծ:ë빨P3 *=(ݲȋ;+T kO gr|UcKeF{.jǢ(t]xapN8o4ט4B]x{T#;iD<+F@;icE, Ot>pa~H̾$SKX$ Q#3![z[ O@YO$m\`) ZѹwosS'p9& aAst0j]KuF og<{XN"sci>Ć uSRujAQ!¾# "8 7ҫӞ2[ݴ\dSw zkLQ;cf:{ݴP}tteԅl6j ̑P~Cq崪 /<2KXsQO3uڄ;IV,Jgc9N{:@l&(3h7VX -n墯HF[[H2sN&I6GMPvZIzMG~3{6|8 ?M{/oE382D͑JG}Ktg᯺5-qaP Pq<`8 WjQs<+ZvHNʾa7D#lZRW>5Dh+Ȓ;8SP_:S4,GXPcQ! ?~x%@l4 l po?}anv_ru%1hbV0#F_+ *Io_M_cd޸Lnd)"?娧)q^7du\ ]5*SH9jif$zٸGS؏V/^P׳"nb#b#;'rEq62\ovvZWJ`v){ʼnJ^ѻͪ?"^$$y!dOځ^5{KdB0*5ݒhxH"弯x6oc5ʳc籒˒ucC$*MԭP+WAt̔f~ZnX5OЬȜ!GUp*%t &RJ"&W].1t>3Gˎ]Ȏhw"8_勮9Y8j(ԛffeuh u8Ubd$^-_E#vHyb 5>D#_ 9A slF~X3. 攎H%=֧~BI`äM(ѯmEcX#=l5sRᓖ"ÖA5ߏw]⥥ e J7ur>nVBNLʊ4tݏ#-6ߺ$M$Tl ӭOC[enԂ,ID J~ƛ,m\ / _"z@K{G ˎۗJ(ujĠ(j-C6 Kd^;RdElv? {#$]h38VJ&N|#DR`'Fl>7ޝ\^A}|/`NKSfttc m :À HlzB}R)$bgS΢4Q ʝp*闑 g62I9M2|&??Dhۅ%-EsrE: 5 bdy-WAѷx;lki gY8LVk4j$?T/ M|j|U+ȭ0r=T@?9}ZWU܀֣gMDv46FK-<]8<2ば)L"X0 m͵5Ss4~MhQNZ%n`jZ|ʿlͱB`Ssk%﯆N@ ̃nVd8Un|%U8Lx2n8WeFl>?$8 {#3 HZAN Ս3aY8 5ho,+*FrxGJs"y[ lLAĿ'ە ڞoó5`JUm{gx[KL\\rH4fJltygs= K)-aNǴ{`Om ,EPJ[?7 tcEA0ξA'i3dagn-J YEp&+}Å#kޛŶ?:QWdgPsf0/K|ogYZ2beebb1536fb4edd94c07721cd7fb9b0a8a171664ef489b3613babddd4508356c27a113c0ac29a4b 55b6ff6b8f9fb383aae387ba1a281e772a16bdd7b0b90524a1c5851652fad12b7728b39e3e326ba7