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  L L#Y3H ]cƉX PKBGoTzx@[am }'}rd1"άXp xoV{mr%DTp<! i$ԾfoD\(VG|*1?E>k6[ ~1{j= bINn=):nfu:CMg{sʰl$2He,Ӆ@+doP2DxUᵞoC׀&b2~i`ܩdj.4s.dh nY3R]2vpC~1,0a2Wa[1EW̷vywR ^w EgѽC~K`.һ}^]]ԟuW6gxǕʠ` APO/o^ Sg[V6v[jҦ=59آUY 3 nkw} f'ijL-z7|w|Dkd|!{+tQ90 ZE$#,'֜^iKΌn :{ S?[oo*̉TX#i'vfd/aLԖ ?_YeqRPrxeOR؎}r3Pjjzƫ`Jfʄ_oq̭8$ƹ ڞ̈] U$2'qfҘЏ0+?\f`ynl-g>H!RV`Y0ؙ&,<8S? hj-Irq8L#r S(EO0bm+!!cHBK@*|54rC mܶN? Ԋītn5Ix& `6" # HRB-Slicing  $РC-24М5@4o\Į )')ddj ڸ0~Dل_-Lڷb@P4OXC$IѓNv2gZOFxtpF Kf 7kY&PSlV(Zj ׅFJ};e=7hy*vwA*T izV8J@d2XV|objl |?dOyE>iU3l!wILP+g I>f3.g+[b=w;Sǀ1|C͖M#j=,5\$ e>jDGg8@|>H@+">a59ޘfMڼ5$ѕcl1N\t^I/Jw]1;{k-%S2 +J?(o|!@SLod*$F{!\y A[Uo{Q'8$vA3fUrcI1ޮD6vDYt(m_퍾&_ ůMJȕ]W"vd\ [kՔl) r0!Q\cZ ȼ=v,2Wo`L1ܷQJBX2Wlb#Tkh@L{M; 4<4 +2eٟ.HRSFa:*k*Rl,0( ]cesge;6&fLʶH\ AUe͐j"əo6T\b+~去Y%O7 @watYph'wI )N6!񚧡 H/l@}_w\:?V'ӟ\d0T^k}@w[6S #_T yVSyN^=8**H f4\M3X6T{Dd*'P@^#*XushS]~s<6i W=ZVbSpT!2qi]X4LD C -l5~1e|t449޶Hp]a^Nt}l& vgý%FǍraF <-(;UlɐG=YhߦUfQ>#@2RƮE:mPvrW[Sy2wCMR!7o,^>Uo5'&Vr_RPs;W䌄OL桂Z'G ?_IZdy6<{ud6}iYhM5^av=>j߶q[ES7hA 8/!Q] ;qe/M P+e^.$p&<)RLS$r]NSڏvE%f9WطU~TĒ2XO; U38x2LP|{Kߔ' qJ!0.`X{I{q>t\)wc_{M`RE7[43<>/N"5>, 5-[m3dR1YV/ ٻg Ѹv2@5ȴvbghֵPvZ FS4}&qt3Q}ቫqSb OqG.VtgoڤH\P`@9cX;0#&E+xDR8,p=/ ^ldY9Gi^GzLqRp C *N;+;ٶ:]uYB6;xknc߫8=^bP2ٖq϶LB{ TQ8b&z1DOM'3tdmUH[$|IBVK#b{$êOBD94 nmX~XL\^B쿜5tapR%jw{)EI-{u[Ge![,уaꚹ0_#W wimG- }$`ZO2VM`$4fQ95*QY)Y;_ܖYͳ4V(F.r"B˕`O.ڐ)H^a7MIoC| _Fs`87m̦~b|jęS5Y>Gs ΟwAr* 2]@7=qUQ I }\B}\+ _t&z=4 -r?jv9\u3l95i^οj:񌱏6"J?۰ [D5I`9m^AA0M dzG߮ E;&rߖޱVb5-m*/KnHB0IŌm8&bC.8?(!AC7O|=ʕ^vM8#'kCRfG6`N5.‡x7>#%RWM/INuUɿǚbCAP8g*(6ŷ*:"y9OCT)\甉kvp^K~W3Vu61/&\iHbQ-GM u'c:A_shB;ˬ0!C*[Du``?@3-Zr`&VkQ2ؤlC,bK:tI)NX3y%i)gBD8i CyS;xlQ ^ wh;][v4{ >ζ24E ZI o+TR'{4.R!Bs[!!0=&q4 TT9Y62C%G(+<01O(nDV|1=w`u#jYh -;ӘE5Ю^6uJT6 CGNQR<УkܻOL2_Lv䄰 GK?6|婄|eQkPئ֒;YBwI0(Hr2ڙUvj!Uxᚄk/h- K9$xtg,VGGn\8+e ^OTi\O@esOrR3!ڌ' Ad܆Nkt}/Ҫ1&<y %j`:G)pD]~ V:ua;.g64W$FJ&;Ô UL g] R6kijhD'gK_&/1e@6?~D a6!' QNZ=\曅QFtiͮb\ FP}ђ.,Y"z W=m{|8dGĭ!4;&f`ʑ-IhqB10Sq@TL+jG(# W2Med1t- ܃쯉,Zz2^ᠼPa,{Z7I@s^a#3*0-'1F 0zEu8)4ۍste*5$Jwƚw(Xk\B@ ,*L`%eABGCq:W_XMYl4-VBGIKRTntKCtPv 朊Ǎo%Xg잊Qy⋠!yL/1{Gq3mDz(ГmS;$.LQďw ?xj), %0sOJw8Y_Fu%2tߣЄ%_"C7[rDOqؒ)5?ogəG*ix,El^! V@'J<\}~vBLA貮wZREYhG+ P3ܷ>!"$$mɱYMSoI-o=z(FUV=}\5dkG|7r)z"YӥD{yŁ-Xtšz-۴Yzv%wMUK(beeZ4MI~ c[{GoJ{ /[oCY2<8HM)j_&4!&{ t l}#A7yvv,r=o#5.,5C]=y1a!+g8K1I1T :cjy5t|*69#*mr7\wmk,3N+6̳V>(ֺ tvTx Z );<ɝ zv|Vʗ!E[WoFJ>QNf! Oq {_֡<X%VpsNi6!PeDhJCqS5Le=\Nt>S ^<hgYZ7zXZִF! at]ŗXiɟYyTv2tL:ݾ:FzO@XrE_(G8'쬰CT/3%-;#\Nm/0ʂg"Jl'sWZHk$:c:EP5,M[&9~ibnk??5)jn7Y Q `7my\% @b+haEx~BhMb0eTu$ɤ/P ܒyk͍*?ɇ$CsEsbcܯRb5j5;7E +mS8k}=^b!Bě3uO9j#W1#s*u!* a?R*wiEBR0>8GK8f5ÝӚmG\XWj :6ZΆGS,Sf:2[t[2BrnJiJFtXZ8VZzqy?3 Z\ÆD-O(:* Е~+<3r죘,LxTHL?i&]ǠҖjNf+7 4)ho~dn~ECugYZ7zXZִF! \r]ŗXi%L K~)z(.4Vn2nwG ?a3W Tp:S75j'N)ME5z /~M{V]`q2o-fzP;_"~n?ٍMyknX8(-xހF97_~ɡu㺾-cӘG`s {d~_]Ӂ"K>`?mzڦfOQVw@Z:\6@M0&V<)}_u7 >cXN1~cOc:{wp/!F!wz=2r%^{>0?b-F#XHi)h=^q.-];6p8븋w>pd39 &cZ,0wwvjѼ7U}'΄Sކ5M s"Nrao6lOk,PUEPMF?~P!{5$-rF꣼%MC!s޾ت5Nu]mM#blcA!&W~DN1>"k$a&}71 GگRNzKMԲÚ9fpsh ߶bZQ&M i1˜E]k.t-{v)d> <3!iʙ'sݐ?K5ŋoNzТrG"j1T+Jĭ׆ O6" Z]We_}^WѶ("xgP嗇nS]` 5AQcXi :zZ?HXBOWw]{$#OE:5| Icv'|]̀!C̿Y7$%821oe.]M :JqYO:45-YAĥ\[VA]$"Msӟ͓d!/<%ʎٔs}aZFZ0BXF޼ zdzNʾ8wӽ#! ptGV*#ڻ$ڍWn/e pwQ?2oWN=@ra!EL)fhxYSKzd!JVɓ.Fj,TqՄP_ꓛw/z z S+됥s)C%w$;(凴T 1Jx{ =״ϓѠZ(^>pA=}H0; !t.l8xt XX CۄSG ]E v:hL&&7 )1reZ Lq(wV F;Q8s~f`Ӱ?C 0Vy%B ,QqKH\^hQvE-L\nϬb& '[ODNW@?)C_FO"@]䱁T gjāwAL6r5":#?=!}^s7?~:=Vj.DR( HCN̿Hb0q6ߔ(^|@5:lX>QM6nhͰ$n'- RF](j!GxX{iB$|.0f3[<>.އ8:`SRԘlҵBLbq5ҥfQ$&yf+[K3pXw֮qt2]t!h%Q⭹n4߀ܭO\Z4&ݼI+u/8h,gqilapuXh&5fs X+j=HXSTj<`H:)NWumD-lw>D3q%i]/t I۟F5ʢ.k6KKAmڗft;:!yp?Wd7'd'?ap3'JD'^X=G)mnRwV5xdQр"no1')Y nʛmSJ3DuՒ7UN锢<T*6T6|F}e"'xDcrk3`0kvo U撢(BrI3A¦-xX@ 2KOމ5biz,eQP؄2*t<^W L!OPSyAHEwJHfniI¼HCeWdM Y<G&y">ঢ2k)Q eh̢hź{w)qɚok$/ߚx.'FtxG3w$4?"{ozX v"kBrE(mڛmȡ\/jۛ=kC ;DvZ؍4P'9% C,@wӷ6夝-A=M> v&#zpL _Rv^\K\0s3swcPAih8a(W%QLT5`pJ]yP7qlsZ ]*.+*hDA)G ;M Wj$qeW(#Kߊpa:*V `,ׂ^{.!.B\nB]_q"]:G*fNj~7[X0󪹁 UYpH9̩b-RG_oX?qE8 9}α\U]",}joUe=s &{v<`>=Ea!Yg!tPZCGA RlYV_ ƮAA,I ?ܺH&pMt=N(ct'dE#nv9A#FR/J/(jIB WN8>g֊ﮠ%(( V3V.nԮ0/VDj^DyxL^I[~<(vQ6-H6SV1z'|t;&xsǡ 'ؼE; F@3%TDUӞ>`|'X#/ *Q57Q^ pKR sP%J׈?$eyDo׻g v&xj/콈8\ǺMNtefc)T'4@9~QJ>䈔#2qEFOWJ`.s;`K}Ͻw;x>=?/KHnla+:% RD/*_}y.Z>j q;(X'y%_t#Oҽt¥RFǣ3ad.K;籣5uǦWPr^bYPvNl"c<"IX3[^uxVXppM3RaAzt"TsVFr+(9l?=]l%Xc_ٯ%iߎ}ki+mһ n2 0,Hͯ@ 0۽"e!E T~#rB 7Ho-RI5IÇҗ Ak֮\F1 Z^*!qšk}ԬN'RUfiՋYdwt?slnC:"+j%'S-ǵnu^UJ x`HeCFjy@OX8c*(X+t.rCȂAGVߝ/aH =f9N4IxBN8187~&TH7 [{v6J] \ȥtRU%FG]?O+ V)k Խ v3^yniT5E"l4W7xKV鵑9yYUĔ'T/ =):Գy%jQy֙JK~ ΛnQ[A= ͺO0,mesrduʁLIGJk?s,yY v\ùpA;'xP9^ƐMFlcmpX+̤!1/_Ǎ-K#+|Wj E| v`Wlwگxu:>ϴJLpuQN]&>"vU][^8P۬$}~]grTjt>uW_< ~WOLҚ. %}!Z!hյg(Y8½3UL 6UF ΈܒcBfÖϣ1 >#;)*~ Kv& ZSFn*.kr*ce&Rp'. j,C)ݖKzE^C$t^=ZW{R8'=걅V7uB3giJsbq<*ト]v^yd) 0xV5 tq g &hq1 Q͔J(̍34,,ԟa70Ziťг#<TrA7;2)F'}ϨDj!@ TyCWRl^ѥqU 1]\+bxHI5쾯ܐJyJUOk<=^q(AB]qydȢjA4j>Iwؠpё ۙm6Je6o/YoDsA ;2S^Tl`p@GgM5rNB*=]v!#bf毲6H0J\ɆGs'0$/q™ OwJ%`3J%T@ AWz7bH+R^2SE]h}##;_Pk"Nfm:/؟`zOkb(Dˀb_l`:~4Xx' ys7U7Z,N>6UFDbLHW i_.lr$Jsy#)}fW0ynWIck"7t6Omd0gAQ9Z#It{JDVSHs2)ctU^c{}lj_԰>u9xb58חi"h1WlNt*P-[LduAq`VeR>]ʡFGv&U2YՇnd2d|zJsb5dbn<>Xkzzsy)_avڧ<@,8m0}ԕ^e6QowVV{& ԳQx{i9OU2{/J+pa9VAgjaDI^)3s|`.h—Sxyê 9!y_sDe5cYMY[>@+iu1C17c\SO'VT(4% v[,J5nTa,0$3TOZXr 0XH1>ށxo^|-F+mAp0Jo.ʷuYgܘ-7E+DY.zwA7%a_Ni9}ɱVY0($ < Wo}4!Wk #TgKԂBJ):eTy x4K]}jgn' һЉsEǐ=;g>4Mc]`T` .aeo4Φ>>0=>w{ɂCi, +TLhMz7?Mw-v.] ?)VcI v|C 3@ B5O@0R `\ &y@-~ࢌfp}:Ƈ3:Nv0&+e˕Bb quxE=7)>7ü!xc,_t_u 4x+CI,iUjp["*_z{l`s&aA#pg}^'T8o#!}uIIwWp,!v[8,_li Aזu&Vmѱ I hNFpwh%U'1 j߈KLp4"+Ӻ:q@VY>w~5&ՌPTZ CP5βxT|@#*3 U7P713bn91/OJ>E†=15y4$fz08U(߶ G04l km>5VF@S6יu|kNhH3ӱZi }!Zfoy[Н†)>F@#c_[aagWWʾKAѾHLÓ Ւ{^C lX + S{+V@.m71Ue7O2uI}WpS}v*{.x(y,(,VSp{ NZ2Ֆur\Ƞ)t_";9G;~$9Ni ;tkjcrCGw,#($?5VID -v18)[,aMYffl3/"nJIly':ll`z⪴5]&Ћ&I#k_T^ըZ8h~>NlJKUIUD7373@sٞPe+B܈8ʣf |xzf ټʀuӝ Ƒ/YJq3gXe\ʈ9S^}+! >7NF rr}̭;mD]i07GLea9_`FI_1sPc('p(5-l"@8E/԰ܤӢ\9e8gV(XGmVdbU'ńww z(yݐ*]e}#o1<>htS!blڋ%7iX'rBUW"#Up/|+~V H5lZwbk+ J{!T m{&g iSa1eX!M>%Sϛ c|ߊMK1XG$ 0 ,$^ͼX`pB/U}馉 _V}kևnōRSkc[0ԡESS: xL,`(YƘͻ_T_5_OJFy^f.g;(rrB!^}n.h3k]Mk఍i @k$gMPVap_()[ʜ0QpCB7#'A*ROMIćY*ܼf8ž0JQEE6V=-,{IPl* f>.T}Ƿ@,ښ-3XcJfuL+T36¦9<[f׬7!w c߈憎.C,שd`6~:tTTD _`-i \صx>nܹjߩXmH5u1 tiN_*> W7 ! $-J#ŧ^R(,-DȺhVZÐ/*{˭2w_Dc⮕`S3>3P:\=IK% o1Lxd\ ^ax TdlGO%c5Jq ^W7j EљCM(kGn}|pcDmUrwz J}d M!T)Z+u~QrB 0U|ڒX$; շ|].Ҁ]c̒bkӸ3bյʓ]gI5 N/ܖuW]O_l~"Ennnޜɽn C0]Fż`e5K5xFe;dp"Oq7V1JbDLE=)–m=!q<ӎ[ ʾ^!Y#,!E2`PҌ(t8ntjB>(ߧc#%@)Lně{{VmCwUBWL+%{qM<NO|?$+">;ex8 .s֨U K NejD0q\^¥4`ywBWR+}_.zKJZo "V\ 574 J5PS~O hw&",Kr\XH1>HS2A1B*cq"[6N.dBk:FkPe ,j=9'r?-nE}x2Z>Nt$!"&AQ5'2IX]Nӯj:A  IeDvTs4 6t. dd]¨` 㻅wLrnjpC؞A޽5D%}C*3KL7h(ö ĴTK?ژ]2i6YyZ[RWVh^yH-t۴4`q+Rf.-`V+T/ W+5N4siy[(,X:N 9*Qc?S0j58% ؉T). ?QHzJh&{μ2MP > k5(jқG! ^`IX7-NhC:Eo9` {Jb׳-b[cOo=eͧlǯZnyC VhD *-jTc2]2Z;b4>˦θᎅUmeC=C{~LˤI̛Qp  aT-' CE[Y3_ievp~5@ f`?Q&<*K70hE ٖ$&߼z` NkN({,m@}2oitx0 ueQBR.*z:QRnݶ^?:ۼl@R>~j2pŢWaIOzH7'8Շx(`Zto8Wk*.yp"K5jԶ2K'Mx/BHYp-ϽSZՑ& /P</daA`oelX}5ϫko?s>QAvOK7?4LS9R!n&{.. F~7us2ְ R9CX]<0l0[nٶaRG_,g$V]:b wy#ĤTDqwGeN5n7ALɜ(-r]Lg?#Zm)@y&݅-;3{}װ_`Tvn~m  F}+eY*$Y=^epOZn/jDuL;Ǎ"Gkn'y4g|j7xIB"]}iMBP*`IF}>,kq%^6k7 zx¶_TG1s"rijO/@)0= ^8yt(MØ*[=-T VS{ו?<eZttdEPNvh%,?{YzZV#_Ar3/@5QRAi[ajw ,awhj2}KLn? σi}8g^/gMr/d~؅?I8Xz[XEۃ8֊y6K`ժǛ c oݜ^[źpт0 >hK ܻs%U%Zp*P8sJVm9F:JB=[(WL1ѲJ:"yᨶ48natJך:纰x ]B]cr >9ں(~) iMdhB+=L)[ Ve6<8)fIxEBsODۥFpdl)W~, pJlkȐ{Q!pndF"YBS]>#`Qerjx-ko>ɥC³z ;>lTJDh{'_zÐ̭-(A0]I Y҅WD|)c-{8l{+yd .3ه {f}wM7fݷ].mi~k32q2 w%D-KfĽ:4<.RÕT$w,A&[YO`fۧyq;W =ZSSClCT&K1O?]x )81Ӌ(V^:Bqx߾=؞ܙ! {Rl<6i h IT$LÇq|;53%1gBuIh |9n "dGQup&d uxw,.OTGV'o^ڷ>)=RP$qd|7=km>VђRCugWqNi~ l2h=&8cp0WJbcщq1'; FN Y4u[H=" lfLu &* ^c{J' `XVh&1*g=_3 34dMge~SfZ 2:~2I8"9E^f,I_؂ /նCzV1DL3Z/kJ֒rԴ6ڃ46=TSW]W+bnii~C  N ߞQ` mxlogVa|H}hH׏Lw)< :D8Y=QOϩ<݄,՚*M~;duOH^o򋯃EgЙ ,(ud)3m6ar2Kwa(kV<թ"6<  [C?~^mVXOsrFZN}lY6XFTCZXuK~N͈dV,.oPVQ Fx//k9{ũ?nk9#9BŸ5OOju.iL%\m1N^F@E"~B`nh3ɾXXOIvjNc׽vA)Cjf 1bYy 6#>4g7DrXkzi{&`S|\ ZJ"둜aM0`rrfsXocϡxtJ4+ B5&D]ȗsQG| _iqTvx{KQ^~+FykJ$ nZQ'Lyp܃OC3skrl b -aST{< (%JhնΛ@bv8hIU7e}@sIjU|TF:9#&iGjL  cY;YJK a8P4Pnh/[uz!5`i/R%P}x Kxk 7)}ˀG/zhg6^Uya0.&JCm TQIxhQh[]2epGR I3CQa$+@t@!ēV"NZr8,7gmn}8ZN%Q˚<乄y^bYg&LJJ_,w@UE'-\tGHAHp+gEr_^;2W.r8+[a逦d)dLyMCVPo-[.v"\R>D%HgW5UoD,ꐮ#lAG<H/H: %F(#/`)r˪Ru(MP`?C^$6r愸M^5U(I }qpuϵw ./=AQTV sR0Na\۔"U~ U Xՠb5p/M޼T7 JyKܭҋN۠/Jj>IG7.H8ɎVF2<ɭ|2ԛ,so$@B5QH9} )ӐkjUQ|0nxNXbsڴM^&Y/x"7o8yC wr<w18س;eTN#arz~leY0, ,[V7HD~BN&|y~͑5ZRKuX@vRg܍`.G^pSkVyŠb\g5z}Z OU(N4QZontNf |ڨh]zwF-Qg7 Sn~W&X iK}&U`q" Ԍßs*`.@aG<'&ZȋzG_7 D<}&fv֎)vEa9^*k,8F8boI[3h 9;bWl|9ۙKCGXWP &#/CGSiVqɹeLeZ-55 &uR^qcVeeQj87;և7XUҠ3okDT ØGB̴4:x!^MDBo9YL%r\ޗ7)1-Ja 4.[.OKo*  u:H.ifGU*-A7E%&3$Seh<(c{U?m(אJ{7%| Of8 D A' N_r@VaŜ/Xל[LqɢswdJ׋LCIGZpghf8.!bgzÝS{uA p ]Hϴ &gX|%oT"2cy-SWeΉN)`6G(ʊ$]Zj]_5\:1Hfdn[7H `,3HԘGJhfyl$ƧxLF%F J G+p֭(_SowRRZ ?IIeWLlV_v8I>_(]tl&PANŭWQu378>ƈr԰2inl37Ep_lU%REyO5|i[tD0 7, @ v#F C-3i.<{ ["±^١ڔnS͜UI(W*xJ7pMԗ2.]'H<-_5. ]1ޚ.p?n*N Dl x!ҵ|\lS9[^U@)[錯%v UGKĦƽ/@̰Rc^e A0P9P$$-QL%,(6E3o︒#/FW~$C^Rts#a|Ǩ*e~Ztv>9f@2,#Khoܐ  .0`#Ϝh秒[n(Lj_фQ^$st#87Fs/r v Xb!ܢ.f97VN-&uhh-?TdV̜*+ǒ{j!Br5Ư*Jx9QݦMLA*e'IMv~$-[,MPTZB`5ocT)-!2aϪqޤZ [_&MhͦB12vlzЩq%!Z'?L[=\yC>ܶ["@:~8>Ku"I27tɿ ڷ+dPJKx~=/Ԅ`PᘤU磼 Ɖ͛|88?*Y8qE f3Yս<~I4t|7'34v7UEn-ͅs%:{nv~.i1MeTM{dEL#԰'О*c_FDgH>Eލx 7Ź-R`|#YmhǛ\󐇍h4$p T8Dg2P]߸%5+vv%|1jTQQ'J;3, 3;N"jaJ';Ҽߧ@jMC g|aj^ԏ]hB.>Ci@Š3D۲ZV @s5z5McqE`]@4z ȍ2hܬԳ@j^R<`*' O4l- M9UT5eFJNYĔ1`S &%ֺdӎB腐߇8Me0Rz*p2~Q>\*/hD/ >hE|2Lge"j$hfjZyiЌ<˭FעhCv {"+oclw((#@_M{gb1' ~zHÐTSE&Y^*KujѶ^K'e(Y/|'ld/h@_7n.@o8ML{ULj:ohSj&8 yK17ōsXW|Ž+ʺ+GB{Kw+؂ֻA^Jڷʗ,/ݚ)=U.LrYFd\֢YX7N56Xd8RIh`nX M]<`dXrrt[ZvQ8>sHҺ SاKܑFdϰ(d 9.M=ծ\/8!q]%'G^2gqMXҡ[ [M봆jVoW?"ʛ*㯃:OUrE_SuGG˧mp%3ܞG xn\Q$'fz"4H73~{w"oojAm-iDQs> yz.7fNА\*(@dQn, zBbdd)z‹ 7zGXNQ5<1l<`X:Fh|n"oAY5R܁q /ݢ*P3qݚջ ̧>ja)wtF0}Q̞ XR%x V}RSγd?O|aX:ӠB9wv/h)A 41oafxtߟݓ;5w, dp+55Ou!1tx8:3:xrƿ!D*Xqcd֍a, }X/s:fk㥡ћT))AYR&X-{k/$huX"Yiб4uHBۑj>ޠ3?kPݗ?j]9k-Nx@)GjnaGa"2 tK AXh s@/5A<=$/<7mi^N2My)7xG`]3w[J iDw-1,D!$e?[הt TRIs8PZkl{ \dDUw /&7'Dx@ G@vn+V3$AfkFH&)V;wsA؆iMi--7BhuiGb &u9u?fD{ ㌢)"]vq4ʬXC/ =V4m@D _@1@=lU^{Rn:b}U.RZXf.]U{_+D2;7tY-bxmH?xf0xٴ %u^S0@;-wj'jFpK`18y*ETOƩjyn֔zz1X^ ]/IYYG*SRo[:}®҆h&!]kv?PSjxx-ÏY1enTN5yr}GW0|LMuF[v.ܹ1:E;cϡVfҼ[TreSRzĴzSH)Fz@&g{7(gdzdBE~{Đ,` kPן ɾdv!~،wBX+%5 bSZBHr1$<JF/ 7(Kmxpv媒XFRAgSp.gaYnRHnIOlV⻹4QrRK*˻lo q*D/rpr NHY%VBF7)e gkB4\y:"q|A4^vY]qFGu&~ ;6 ,b dž"ھ lƓ 6?5K}OTʄە+K*e >_h U8IΡJc** ]Qt&.GӦAQ0! NtKE M-dުF`dy !vQ0 '#M7Hʰ8p}.X޲jfn%[.' zs9ޜRwX%2`hϑ|~i|mD&hIg5"gS=SbHyuort:4σ?t+P+ڎÎ"[}ZT-imG7ȏY1$)a tqy'TPQ9fP+clGdbgerغ@MݸG{Ů˅ou`/0{a¹:϶kI 88l?:A겮˨Ăʰ"ʪģ63T< $ FLTՙ f ċCo+E^S%w nݹŹ]:ʦHE<ZOP|6 OhSU\5ޡCvcšd 5LmH5I @èY{J$W3>|ɢVİD$4[ ^Bqj(4 cyh mKgרA)%}V~gak?ңM`Nsu-U:ǭUcsiZ7T3,2N1W Dss|eL N|5W9\٘/tFjjQ ¶ 0}m]o6U_ 7 (*U*_(ZBY$^-x~ Ū)7D5AcQ|pg4Ʃ,w!FG)۩j?ZՄci|L(GiXاWqŹ 0N2f"ώZoߍkX0̠ k(%$@9]:.u qj#Cg.㓙dJ YfQ\d.]u9FPnN15K{ڼ(iٚK,T[*cσ;'cm86٠.1ԷYhիlaaCs1Bo*@ "0 afu/8N@m}ŸǯݛhS}F.?U7\ALHǎ@RzdZiXz18,\(t6rD޾}R&wSLsF* ;֌rvX*8leO'z {BϠG@0I}+: azrӒMD<:8C](U743_|9d_KS[K1ˬ{C!dZ(^q'rߊV@|FE*j jtaU~rj5ǐ)C|T;5ZM|!{`4=C"c_Nbe62oW1]BMǭ5-ň\+=ŃiDǥ }rC5ax;)n wo(Nݖ!"k`ґ-5l1Ӳ0O&=.>ônǫwhM#˲.x 4)ѱA4Љq ce]>9c{B-a:#~wCi&*NVѩTGs_^fy㱹hut:}Dz eR3EjP"k75&V/@1i@GlݧWWG0 j~^KKF#bcH޳Ü;zkZդN~ʙ(ZTm^r^,EW|Ҡh]/ogc1e@ P1;W'Ds;s0o=\jvI87|`6KAִ ";?.;NM|H1 u$Jzz޿R"+8W>?|K2l;w~w8AApzZ 1LM_i-ٻ-VXoV:!^LW8fKB&KbB㡋I쏹\?yS`BFK[!+_ -WeAanMXhֶ|n4PԾśVͦ8c-  ȹsaZUI`^[]:W_cR˾ 5JKݶ 1ȼjJLIDS+?M$0QွRL)rõ-g9l˟=;j4Xއ\oř}ϝA[hQa[O]Nm3Dp 23qbFդ}d0Vٲu(NwgYZ1ccd9e6d0756e680f5974cc9d11a0bca32a94f97d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 8c966e953b92cff91275316f27b056d6f22aae25f863a0e80cde47023f6dfcee8d72f0a30031ee14