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$ ]]Category3:threads=4elapsed=387.906cpu=1148.944gc=64.440factor=2.967zXZִF! #]ŗXf[&wΞҌyP9Zm(%ydwDvhhaMTMޝ!1*]̕DgQqU hƸ+тz}]4al>yvS|4 /7@ |\#^u_zeRs3N_Dz@#Ӣ. % kx eow'cݤ=lj2lA{c& d oSo4[zL S~QClxl[ëR=:#`5X!TsYaݥՆ$>KCyl0D̘2~@Njid_\Q?*I{Nr϶ZtU<F.4E,!;Rgw732v}= E3v&YHYt{x \:)D9x؀B+%2<$50)tfT[Ʀ^kĤ;u-FTX3UUCSpꀥ}5sA*Ϗ#f^U4-YW(>+b$PJ*&i*}e*-u.o}IH"͋'jʇmcDqQcf )N辁h65)nih -:shƂIo 2ҙ.bNu4d 3Um,e &;4h=X!A' F|/`Ce?:tRwbh…m|9 5KYte\w΅-sU)!Cm]6 iV`>2ֳ`1Lei*􁑞QR8a"@cm;AĤك^9sivHNu?݋PU'Mc9 :~1]DZ ralߧWPzc AܲE/LCqkRVkwuKhшs :v- p cظo/uVdTljGCf;ʭ&,?"d]wWY]dVbsȌRLN檒 ber Ub~v=,2D<"bjf`L@V 0B>7F,ŷ+0&45\X`kލo6ᄋDo]~Pof(B.ڝ8uui%]Q9%uє3_;)٢~j]Y~2xvN=M~!CäJu#R)UdC4ZIxI Aߴg~ߧNtc=7艔\UJb +e̴ES%bLk0u~T\[WS #aeօ3Q8\[]Ȼ_qH*Ͱ(JZJ#cDv(ZXOo+M(p XeI!'   Category3  8:+;j0ۑO">oY)#GR|6 ڄ"lsk=vEsеuH5xs̒ J!>kKc7լ/T ;^nPdR ޏwLi &cE&m>vHm&G-O(UU74y B&\ T:Ǽ?"_a$zWkS4 1 8lIe$Gcm\d4@CE AtV_jRۚxō$QַpCֱHp*,'Ƕ$ } 3gJҒDXœpL߻+_SMe`WUAlx#u_Nd :Q MP6uJ:I0DzZffz^}Ogi`f,\iG!#~=F |E} =|( }QJF,Hv<iYla9!?tUAֺg(si%̺҄JTz1jAd ruVe\Q4}7g\McC7Tq}7!WwvDC:LɓJh EOٹ#pu ݃Wu Tt?ssWa JOi J<|gZO>ڹ9@9-Y^%_4W `\iVB#)lӚzǝC daumj~x LBUŊzfڔk\#JX5p񧋾Єjs^p2IcyvҾĪmr+"J—݄ea0>u:Uz9F7/攉C^d6M6k$ۭ`.8ߠ@9ʄ#7-@$Α•IЂƅf`9׭e/ ? kLj[@#@"۲اx~j;!a1W@EbvFܙZ iS% !ºRCiMg`apΨ@B+ !?B^*)*a@C'uxl|JplPHTXl`?EtvPTuE4x;`֋ s)Qd3qta/<4zPDv=s׽Bg'qS>g1/]wAp1mU#T/n쨖ZP P5=mz7v Qѧٸc _Df45k)7L;aLcȡþMJBO?q&,7D"ؠ8!/!a> Mhnⷛ^@R8tGa>+g/M{yLsA[]WJ BN$A~\/&Ӊ0 1K Y_4@:70E L!urLTh qFj s!hf.׋ $XfWڐ8sT'@c"WSGmkpSu-v],nKɸoN#& Q8}A&iZ<[V,FL"c%[ Dv,5GЉ?bX'VK _98G'ueGˮoaM gHD;[+z?.P~hk8`{l؛ԉ~}><6ץg!Gѿ fvĈ mӫVZ3i˟-xߙ ^|evUS3[mE]7<iY };@DkQtWB) ]PV J`x¬0+(4)[`ل:݁qc 3U |7t -602+1^g~SVS|FSxd$,4kn[uE!6}`0,7dp_XR)$#e^;P{8-/]Ӟa PBz^̅N1X1|:BADF'/pAF Z E3~>`%IQiau I{v?9Ⱦٗu/-;(A.ub[:19|!'ΡNFH!*Hc=C-\q]cKo?~9=]yiFe,53/Oo^tt#5,HtVxN"i-6tJz3W!yv*ވ< U.mxiV}דug8P!I_, 瑔*ߞhoy^*2YH7 7$fZ:*pSgd D.ǂYcyxeV¼yD4/ [b\Xȩ!~1 42,K_ārǽ Z$ǩ'|]:8|9qS :XY3:Z4Dm ~Pqa!5S\v}h)UYt܍5Gg Hu&u<:iHC~XqF}~8t3\VZf=SmRek^_"?suE/5F䃛Aj镋yuF}ʨ>|޾L]~4Iju<;юa^6/%݉kvUa=5!$vFSnF0OԦ-)=ۭZw˪@ScU 'zue-dqFƝQ•B*fzbO߲)ϼFgvx~xZݞ~ABmx͓Q yî+rQ,tJY i׮EaaKCfrD[)ߊړ0Θ#6).'nfhzQK@7;% 1뤫sfs̤0g2s:@[Zj.Se faiyb9; iW"]X̘[y9Xұ۬eQ1(R/2T$mk&g>FȲ&o_p]g>R2-+0]:@Fӡx(j-򳉛yrZ@bfPК1J͓k+;+tDT@܎@S(+ #Љ3SL]%>~'LnSs;: "_,W ׄfs UeO-Za#}50Y1TOۖl ȏ?<Ȕ lο`>P̒bGC  d{F['|_t8*%X[s*v`"+5J=WxbjIlPO/f0Mh DYTZhoMln4Gd4J\F_gGkZ~ƺ :`ԨLf6>hj)ualZ9Hd7lm'0SΛS#w LB==BNe=.y_IQiI^| E J,2ڝDj@vs}o( U?S@w'~ZIQKXAے9TK.0ۭC|K +XӃnBWb{S]]d!,˜i(Yq]f㽴Va2Nu(b@L:bË6*o޿wݖ;Ni¨=l xoHGE 6h7EH5VĦx~+e/O6. 09t 9S y]o!з N x kDϵ?r:@S!?g^ /K856:wTwKauǙ3c #Ẍ~gTs;JӍRʥqHs.}@~SZb+у_) Zb24FOώ"{9R =]uT 0hO6x XLl >ʀ%tKwfpf˳wo9¿OmOӵܺ(rcKg:60JK'̨,=7ls@ޕW5=0hРS(tf\F1LA'5A3y$SѺnUjBSh`{ *|ZS󀽋6[v 'R ?tuϲP\^h1Y[ H@^nT͢o!=XS ǺPSe~g3'={[ն& \}kNfļdTn%1& C j̕lqfsrnv bX22#\ٔVߌ~TH z){Tkħ{?*2-H 2Knq ǯbԸhzipe'иaK x' 2)1[E{ߝTD(6>?Z?0vz 6?5v{k{ps[I6GӼ)X+Bǻqխ<( 0yD,Q}.]{EpuRr^?jS/8mZ'[f^7VDfA9m@\tVLlFrR z!cdM+QefBP#>j1L )1VV ˑ%Eݲm3J,/tp.=p:Tx4jv@cwcsCe*ګE~sK3`wUN()MT 431Iu>|)7.6RoDs$CsۀVKˠ=kpH@ 0cت>/x,W} %}=E9)$Nt=bOn.Uj__5 r hpϞ;%R }sW`,e`ʗJb̧M%24q&]ǝt41a {RQBp}ja^:Tq *oP4.]yKwh){U7fUjc$i t>Ew@@. i4mdyiM!N~׫cN=%t/{c?.`O5dp J*rekey[ؚ7mX=%ڙL[a]zN62YCkě3j7l=p˿.;sW1ս`vC9櫼ɇ<<|exġRk!br[L֔Ɯ4s܂RK_y>* CI҅~)ܴ1I (c&yt1 %FTDpBūx)c޸C E Qǟ Ⱥ1<4S=E;qՠ)a* H;96Zm|4wv.afX,s]\֣וl]/5\L +ئ\s<pʡ(Gg˵bJ8f6^0F`αgYZ7zXZִF! ]ŗXiɟy>Zr]#$< @ ybs'YD0V/v1b\2Xn" &0jwn:űm$߲ Uƶw)"O~3{wK`HC{%# s.o1) 䘋g5^a-?!FZp*| {I452Yaž.5ىqa., %o7]pD M?17Jb1TáB,ޔ>5{f)Wya$u\+t@wY,Qo:$->ԨVcxűǗb_[#a5Bv; }B3e YIKMLqXl-gX"[C  ϱgYZ7zXZִF! C ]ŗXi%GgO^%+`Q*0b$L*K3愶/ogRE\z΃-x{L5*~-WcK7i\ ;wɘX^XŘikLQZwŭ5>7ߠH& `w2s!F; ݊ph< RS { )R g1,79o`9N ݠaDS+B mwBZ?=ͭ\_T Ȁ-Fɉ{1$asZK2?.TT@mnDGٟwC7Y(伾d9R]q)_sZ?kȩ?·~} =J'7Aתy!jKM."a1ȷC3 E;v;;~>fIt`17XM @Gn1&e(k/me`C֥K%Ts:8sazqqf26݉/TTuzA3Ԁ?!|V0C,L #5E[iН۠Ov]oÌf:QZ@ c PQ=ݭY|&Z=ę1 y`_;wݡ{zGyKuwfgf^cbz'mbFHd`}T\DbIL|q0tXl}dS fzq>dw_l{\YN4*ρx7Nf[ Oo\QH*użvz6^o_3V:CIn"^>yWcV *Ѱ=li 0GLC+]q3oE?G&|X1 =VYyv]W:1'\$2-yqY!֠sy#P(V?=փ_YʀJYQ[֑hl'7K6UUQrC% 9=˅IЙ BAk1Ѯ}`Ph9- dPy)K'1ۯ}+2꽌u_ g"\rCfh])d38ArUS9wa?TeoB{6[ G3L ;:.e3-OɓBsqD^XhtrK'X>$l;bFb^VQw&crXtլoTk}U" 0N^֡$Bp%6ubj|Frlv-^)ULz \a(}{ g e i"Z_{,MqҋwC&<OθZ rT!!W ^/>S5YQXP.ѫz]rRbы=W׌> ɷ_b+PG(Sppm+6cY0+>+ҕe5i̽üitE I2;pGf)禤WUnƗ4fuL=Ac5?SD5؜1^D,eVBU. ݧ}-_ Y`qU.v5-'e 439TY ў,T鬐uSK7},ɄHZNZLÉ ˃urib:ßhͻBs5`x'. P׉97{Թrؠ"3Q$L`Gv$bkPG)(IԕAUIhӷ7fa-*uLPZi M 1wv`;>-e{ly˞SOߕL[U1j o`ÞbH[k%;x5MZC§AHU<3<GNC j3A[4KT X􁎶[45z~(Yq{YYLAӔ(W!7e9fƔO`=4%k{{<,ӷ[V50H|ӥjȼtPL&{&uJ~0OMȳ!eN^D8nrL5;BaM=K^=mj2-a%<@p AT;&yu#a͵;VM~yԙ#_M$iaW9!Zv i炻T@!jfF@PiǍX5gLֵ i=Xb2#K&?RX{@i+KwY-U8%ku# _769 kP1@w!g/i3`a D?U,WXoQv/xX(Z(JDU^ a䗆$^ZWr {V78/M~ Z1oSl8ZB2\:O-d8Fi=(hpF/AZzIhCL>gu5-|POyV5+.$2eѺDGE=\K`Tq`Akحȉ 2JT>{1/H{Ǧ ;==xT&l9VC73[$TV1*YU{BOZNIitN-.c+dK=ڲ_$SF]a .)B'o^;affT3P}u|]S5_A(7Ĺ#f,)ˢzRZ4CGrfF:pnQyt#/ bi"ɮdRi+W)=kq&tXzg;!Aha-J#1>8F[f,W}{XK DJ GƋSvnG QA1'<k fwi 'f{ȶz75Kv4$6ȢF.*CkdLIHu$~9$S1B(CT^?`r!boOUpNئsjHL'vZuz;#I<yg$:in4lbz k<|QZ Pv*O=诶[W4 W:;=L `}n:VMIZ`)T? |e&{=xG욳5RzY,3o9+MBq<E2ܓ2>V* `p, y aM"NԤxSpA ]MS`DŽ ԞɛM6h2E1{kKyoGC4q#NY'jcb%閎}]=P9F ADi,0zt^κ& $Y o\WEBO$7޶UZֹ?D*Q\340'8\CԚTIR&% x{г@vP4]P&'/Y2mY`ĩfsL‹}P:Τ6$-'M<|˛cn4 g?=В[{2aծ3e?F N2VBc oRWAU⨹|R&4GXgbƢW)!`a01}pdP*hC2"f9@(mbrLڱ{O͟Xnmi?tPiF߁yl%jZ*;;FBm0nl&Ow}{y_R}wc \mc3vH'O˒xJ԰ēz8i+^=:0@ isNG:ٍe[<Uc*ҟA%J`L4u#ȊNl4)6ө#>|q$_;4v~S 4n׋3uJVԵi[ -13t"GQy-Gft/?Bu,N)}?<'.ڔbGAm`Avn'&bƹGZ@}E2þpvߘjS,6@dvOS(W%zMak_{feZFp\Pe%mhj^c$=ځnh6ПDQ!zJVdNSˆKgv >^0}piWg.rQ'~ȔIƥnI6TT6iL9m!ֵ&.*L/2$9!P15ApYLĆC-dhLdtQb^YKE.9#szo dn.:ϭB뺿O8iwoC[$*k.)vRB,͜;:e,sըO!8mlazKĥ%8wMZݚ[L}/mw ߄u_<1 'ӗ}KnuJ&`D:<iWa#֤́;r-ahaؤـV֔lBlw\YvI&| &O*m?)*[>;_:?2A < ]TA afvcHd?>ɔ[תXI)l휩*Ã,/ZQ6Sǵ>YOsq)cN`Sp!t ,g49όq~PL&/g[޴w˽~yY0⯳85A*-Vkw~b6ϷOOs/ꎃPSOEqA1Nu#0Z᪀aMQRifn&:ˠӾF Im&$m$pBثBhp^ѣqmIU'<4bq2Wu|"zK (RN]W`NY`2ȝu3pmlvD/Mdz٩*~*Ub>Ӛ`ƾJM#40co4&1j%P@~ncݰk8cQq ·eLߘ/zmqU9-t?3g@Mκ:u66gVKrt *ײs+]bѵ5D,2^V,oCt 1kӪCn÷01\p_Z{GR܇P^Bn='{> @6>+ })*;NmŔ hSUcmq/^A 2ģM u/+݉BLY^0}٭KDvl^r:mk nuvKRpK F}dR9~hjd7YBJhti|P`,U ak"Są2 A+SQݹxD`l9fFm8TOnCZZgiՉט4^ Ip9h<>O Ӆ4٘3ӧg]G~{ 93<K5mD%ZjJq0ċ9Ej6%iwXCNyfֶ-% tY-mo|Jhc-/Yt`mp8ü|ㅠ$#Y5(8O/ʱ2V}l%8*Eyd^2D"]IBAƧ:?\}!-p-StFNqB<"4Ǩ0 .?k tE[oI#$Z{|}/-Ԗ1%Soߺߔ|ElbYXsöa`?[W29:D[߫|\QAd>{)PېO7/ig91WmѪIM׫` M9D‹cD3^ eQA0Dbɶ2$!Ɠ8d+Jm!wJ*(/ZHV=)3΃-&9L"=}A='{Mdd4KfA{gsp'WEo/^5 jDm>1R+hBUSC_ 7b.^w|0`*$!>>8ww{895\ܨ5*t7^?7?I]eSCT%} 'N/ jk )ϯBSZP!iE"]fipy?Y8b0[uq4.dkôa(аoL^+";w僇w6 AD$b#~CjD () 5x,s'8}R$/R 0= vs(9L+Tn$̬b~;OA!;tL˼E(I.tg<~Þ|@cޜt 80XB.Adž!64_m͢5[ F~),n?z S trG K+LK y7zmnk2p_!* ; mDZx-p'ܠ +DC)(s+cN{QdGao#,-3чve$GHNS ":bbVbIxp#B`)](DtmO)ĕprLN"7Ԡ[ZLp VF6ahv86 ?V84iq!:XA4T/l#@۸ ) xTE_Aח"KY]eT|Xx [A;{cT"Qwe!"ps-s:5@|,3^CwՠFYaւiz>DJ`RmiJ["m;޷gOg#/JSеpizO{PS Z;W@R /$iH_ș5M}/F~z~ }~GvQ1Cd͈{ʚLXXMRZU;+V [%yBFAC>+fS5 kV;|Vi@![qOZ@'`ЖG=߃._*'1̭sYQJjX?AYCh-KeYANM$2q d"7Jbp[:i3;͚ߪ_B`Sb =v\H** gKgF+!Ta$)e'Am}6y#ĪyLjgF*PO=Pny$="+T=U R.uF,ЍM ƣ`e3yIc%'M 3@ۤuZ RgU=n~g  bvTݍ9#P˙JY: Kx7?&gY?JAձ=N9*Hv׊;XwAW^y;řWu'gYk%HhQ8} 恄X9=xu:{͍p䛓 (Ԃ@LWǖZ'H)!b Чŋ8dg2(();鎕uHWhz%${}~J Aڗ .R+x'BxϪqzY~d^R."u{Y74,S.{ %FS4b'B&S]< E"#*ju{6]?&+4u}jcb* /Pl@@&ztW5$}+ϭ)mAY†RmYs u6aNJrP.Ƶ',$iYO_gUD"U:PΊj_T>0u&p j'c$xx:V[C )[wJ2l` ΀cܠ^Sn R= [;Xm羥@d^+mۘ6=1dawokǔ $`C sG,؍+׬ln}V* wvGVpco/,g!&ҜUfh^;c]B-~cRz%r8?:<;&dn?Mn\¼0OB[8M;/Ϳ X`?"Ӆow>]cb9m"Ҭ*X!x?(hLuxd5>Svҍ^z$Kc 7NUgvw0n(RP)@xI`9ė͓S9Fݼ9K(yV&O^{U8pcufg j0\V SpN#}Fc:r$er74eOk7i4si0؛v f&9UTD$)05% trE@)Y'g4c:Z>=w>kne t7G̬OJ `ME֓vĩ=/,#ܸ1yVnMi\:75NFK9`>YJ V;K^tg(.ˀHd &%Ƿ cWʕnV0hz~Ejeb|Nsєp5h;6)x)!ԯ>*T>s.a؜訕jhs^$t% NQ$vE(zhf֧ jq_ɍ֠Ya 3e,qNѱ;N-C61=_"Yy3B Ƚ6IZH诣<~) P+vD}\:CQ2(KYءFMKr(oO1^cB'H"B4sZZ{@ QG;66eidI[ -pv|lO}1M"Rւc㦞 2#jnאb0#NГzH -q=a}7$kI8(_[\[~ğxbI!vPƖT>V1/\POSWN˖ x[c- ⻇Gc%Ro8JbKܘHfQʰqϵQzmbF겱r=,Ru!r帅]I9D='~ XzPB4Ryc%Ը)O;H[39U+{>:siɷ`9?o^*+ Õs>D.hnR ^"9ңM[CWxW]Yjʡc:Rhy@vu]? ݐqŔ?KC!岽iH28_2(!=pwe#:_iYC!8WgF,P7L+2ElMu"zېCE*눍YmHM[x}g(w(-$Ne{Ana Z CIX+hq)&s-#\ Rl5s*~P3% #*G|ކ ΁`{s2> (+qa|loyBu^9gH9NN̘9ןd/n_d谊:K oc7vfxW+MS?@0؇$t}}BANO`bi`D:1z8 !J'K_5 _wDev*yMU;7H]mM:b7sRCE8(.a[, EH١\sp 4X{lb}{15F=m.Z~]\Z|du f^.!$,+j1siS% exϖv 5t4Y3ov^C|oܕB}1qX5''_Ds򇉣Cf`FbP$/E4#vVbsbf4[30P2SL&n=59`7ՙ(jrP lR=^~oG`,8Fym:vڑVfvoV-@im1=4B.nuJIlD;81Ƽ+aWSCɏJolH07Wo=Z쳈\2|܇a,u9$S|"1/\^D4J_gHo:ϥ$6PN"s\ævI!'cJaYK"3XњwN94tXqa)''9+vmZȓ%@7kw7Pk|m[p\XJ7 E!.By|lqJpS )!> lVzɓ/Fᚿ X5բK 0&[WJB!)VL|(kQTu*L6ɹ;zjRoہ[Cs |mؐ -Wn-N.1jtqW\;)eq%@H1(e>bcP. ~_H5]q C]WR~#Y]]"^ Y{qmm;or4 gu$8HvX=CzԷKt3XDՊS/- ]HyQJ18)O$4ڟC\.JqW=j3jQ NTѾ[g2O͜=e0i0$bi۫B:@p 5 ^uppmqHsF;2bd̵vㄇf|S&d(;hsXcڸ*MaI[ ۛpy sbݼ`«[Ji ʒ( (Dʼn!@.R~;,u;yįOm>Bmfs8ZH [B*G#vжVD7t$+V[Oa.!hl""FԅbFpCyWq.Cs6E62I볋]*oZ0㧝$IGa*8}m.9QDDnhT~M(T55TAו3 u!MX˧`  .w#,lI [ h3?݀GxuɿcXCs'0޴zI-5Q<D2螏k,\CMA eH#Q?}{NcN`.;`Cye W.mt`AOWMj2Āʍ ,P>xghv>PiRz.{ʭ,!$b]}UoJ]ؠ6[Ka~q%Ҍ4 YK=r@_+rΫL >8ݹU3@+NhBzvuMN3>OB "cs:#&XC͎.eWMV"Z|y/eV\ZCɵzv]JmݚNEN׮O~=Vȩbw>*X_YMb}Y:N\?ֿz@MSMl§Of[lu qNqu.pM*Xf`Yq)YcyR]R|0'J`fKe{F0WEn`$K'&|+oYk'YMNU5أ (+{ɩaYp7v#byt*(.sg l#@ ~^}"IU! 9C/riRPn̠Y$'[ݭ(мK!5!9n!ya]'M j甶OEb~$5 A2E[}&{m #hv-zkXC) PIK40N$#+eL2T _9!#[@L!Any$:UtN'Ti]+en 1e̙$e- toӒ *➹aDInQ8A8ݖLnַJhb3em&}4!a5ߒSGIvrA̤)_ik}QʓLk|2w`^@peӗwOUaϪWYmU%cƷpa*8+΃bEzWȯ*ao#t4є[Sp 6LXIF2@|mkNzחʗ͌kwPe v-z#v1_9[ryon4Q_I|mQsX'k>dGUa9CTnJ O?ʬI> E`\]iV/;1#,"jtV5&ԱEC=Ci侙5q,A>}e<~0\;%x$h2&YqJ5IҀ>';`+g"(bVwv*h?8a@T{xwBjV?Ŝ@oʹu`iљ!LسR U cqa/}ܗHaoɅVϜ'y `Euݥ02qƀ2-;rm~)iz8@գjz?IMQZkyA]ޗ8ݐsC'$pY~b:Uw}t'q< O82\IFaDB%f4Y[WT5t;d}`I`Mtlp_@EڗLϤya@awY3!P\B+l/U3fQ}.<*2|85+9c9G5jm԰,RKzCc_?Zq6+,/vL˯AXq7~O61N3H޲\Aab,l\\gwOmX&&un AX{#T]VZ]70rӟ9qRlf <.Fqq9KHQ|5fy 2A`2]Է:fV?'~ ]0B j>g?3(&dF㎏nN.}pv gh>g  m8mϓDeF?Ca- C5"&.YH,*LH0_\~9Ow5~_y2d 1)o |D&/wLE8ژ6^"!~IT)W d}8JRT0еQO2J8-:a@ AwK"tv%D -E|7Ԣbt/4(21aQ"9/#_{BrVtȆY+6ziW :3ƶٸ{槯\~|:]rdqu97YТI9=?dcl[!qui׫ge J_XjfngBU }kND .ak"/YZBXwVPƍP|H$(|+PRs;Ǣ)kCЪRdL `uOP͗~`-+!C)@zK>.(ks۴2{{mR&>[? ;xOȢ,CW>d-_]c[^&x2e.&IJf?~*U#a RP`ȩա~V׳(mƟBM+ t7ՉO-Dww%.h7Z3 鲴>*$ӞU3XQ-zݡ' + ~r0ns\0vūxgn.s˾ٰhzpDH̉V>-ftL̯.6@MpG{"cgPCe ?$+lv^r\l?T0d? 9b]n.*ENvjki;hw$p";?#WbOQO s24;p@Kl  PYқR ?Ju;XERW1lXs¶jajbG;ga[DJC㻛aNߣ3js?PLԸ&r.҅<-BfTG9`]śճPbzrŀ=Vx1CPOR˷`ku(+>'3 b!+Yd Phpfvs*Cvr>%Cas5J!H.)~ok0Uy@Sۉ+QRMsGjl;V $Uۑ=9/Q|Ro~lJF !u/BǐeEqw GAw@{sZU\QwI~k9+BV[A SnF=xK [$)O w;07?Ma<)^e>%-m`>ƟYdi:r$3n6_AfPK/Hu`NFUnDCU&u/(Nlv^Y%/<jf:D" fOd> B`n_*-M >/,L q+@M9Yy,$9[mZ3rMZD$ TgޝBi_W`#3|m0Uǧq4VWƹ/u~ZmNnJ׆YĹQ?yPFufԞ a4o-r3_+M{f@;.[عb@RG6d<"BVg,n-ND ܨ"τ(C*0?٢ F|D>)L hi" \g:{t{t`4E:6D:0->PokUR1l~sXng:emCXdH6*9Zd}mCϹE[1ܐD\V\pg fuUfoeg:7 8-# w,rNC%>y[SpЯ'49#͝d==W a3jnzzD};!P&]7P)?0Uܳi3Qnm1obkUҶK-3Le.QK^ oK fq(+üγ5:7REVߢҴCSb&Gpb'uď1~N׼GJ+UQu j*rG!i<,^Rv%W&ՉǛbL֣ ]ĶƧٙYH&Q FԒ'DN4ߞpgq 52%f˙ܯG(`ncad q]3킲"UFL7[eUvT׿k<%":]/ڇhd;ey%ހfCad$]fRatG WJ/-8IT8ENG7BЃm9A v#YJlYtTxm>'~;*ګwU1BQ7L@9=N}M vg`4 ߔ!-/-DD"V'PsK:֎{|`,x"yyp9k7۹'1CVFVt;4f5zVq^l3*bʴ@Z~z{`{|2ڎF܍tu-P^upt3Gq35Ж ڠQ/AcjSIyvE[L5Ցt7xpwћc{bd;ZTs}b8#(-z(L35[2fm#ܥFp+Ɗȸ 砾_lCU@9v-id5+i1O凐MhŰg1z<5*k їj@0 R <ȾǏWL b$͖ L=Y1ʧD6h|9: PpHU [/6Wq/xDxRF)UnhaHb 7[v/" кXմlkU*ΈT.=Ϩ>._k$ѽ6pD?zCGwn7(([w3-(w\,qD[ݠ)sTt{m}ȠKeU%_\n-4p(t{ !'>+ADۥƹ!~įx+ \ X;Z Iˇ<_WNOqi"s7~6|D~Vbف8Evv#ls };18UD d*9~5&[ˬ7O QSݾ1l}dkܖ%)+y2\\D$~j¾)t# X1|Īğ`23| e!-f3򦑝A\:9S: 7c>0`kސ`6;pc(+8M M]:"{-9 0UOpmfP;㬟@,-)7¤_*Yhͅ-fٴ+ų[YEЮ%omZC 'CeԃZU +GA?g^T3u Sͺ+9nK?RX+h-aM1\H*~ױcB`A-a WߴS"*UlIb q!S"|OIB쵨ܹ:xDawBă(rSvRԹ6"&O>߼XJTS@@[@D߄KQ*(\Ưo<*F]7vK%0u@;XmK@G\ J#ΝlLUk LPCn$[-q&+\gU<tŽ~q]XA{7ɂt^ĥFp)&Zfdqe S{SE.9n콬u"ЅepsЛA'O[xcccgku5;HWJEΤ8.IWnl찞?k 8aʦH..4}%íH0V/V#eaW$GH&JWuM~ڝG1-Ȧ -Z/\$ 9b#LJP+l?[8x%EƻO|,zRHl!Nǃz |,t&DLlaiޢϪrO8l`I9aoo=K,kr$zVцbBy*~IѼ'?B'1[_朤)DH!I ӊnĜLfUk]~{97VO? bcQ!9wK"0U!' $0pahP'RRb0iz<:BߊİaH:pp0Fɸ@I/.y!n[QxodQΘc~ig3eO/??YcsTfglj\q4[JBN(d KJkxKh_Q 3DĽuCGɣ9'g0fIWd -Vr^1NGƺ)uEb;M= _B^Y&X:' ʹL,NUP[qds v@-UOo٩ [/F"!`b!q:Br^HZ $O Tyd6~Yy=NW6tR7 q8 [aBfH{҅TRqau !ÍnIӹXb[fX-X!G 6%ml핛M~hl/悖t1/oNKu]vpDj9`|TR*Ux+:&d(!řOCD_0f-6!;2H&W&`-NW\ʂrAT/=mH`˟ҫ~Qb `4A4V" L0 G1"/ EJ]p0JN2aTq`^|о+υ/"ۅxYqeh6>kK^ۢMʣEIŔNY ֭V +A!DCzVגnK $kM X5aZLכzswce\0{jh[6 wRA*3dR'ͷBMWӭpBF9S.V]`ΰ x%XU~ jj& n!Av֩h$Œ *\˹ɇuUbz ܽX*K<^uڗG^1aIgh"}mR|^rp5sھ];«Bq_^5>D;'uFh5M杸Pi Nfƈ3  ]n"DqTLeoBm!Kա ں8(dh guWFey@Dt)% E}oǁd%'DU>&:)z͊˚Q:xhk5Qr^يWy}_cfve&M_H!fy<e"ostD?z~ K)|$ɴ+y6p kaPQ.E/"g'cI(?ZcUQs%  ?xGwfFP sȥ8wwU.72#;QǟH Պ$-h:$= ">$ XX"T-#&@ʱmҠ~'&9 MXEtQÕ]„rAhqzܸE-A v1=`$?ZgKoxsaA*ƾxY`"C}sVHm{"YdBi"w)]-¯{X_ NW-K\B ٺTlX ًsRsŨRF֩x]hZ&F|ri SW"KQ%KY17x]n[~I)ƉP@*ɟ a=^eQ'Rs\SƍER-2,9m"QФ'ʖۭ*p83=]x5ha%85]F6 ӎZQ8+}C_Oj‹:yBubv-v~ţ5a?єi)CAyfĮw>[lޯɽom_M4f:*EhVX3,5\649L0YS3=٣e|5ETfÁ힖è.BokI񔚴r3 PW|0`<)ɰ$,hdpزnCG(nϏBz6>[&6 F}+)%lZm ,7tU0^%k%m+dPŪN@t+L =C>;鹃:3&]!Ò#vA9ۤ3/2|lٖe%+p> Yڲ'!rҀYTsёV]̿zX5WG?صNn$Cc.gHU0bwq"4Q$?2`z0Zᗐt2hwZ}+\c9iD؛;#*-e,{,bP7kAyW1$:rI6Wܥ .}?L-_dDt# T3 D~Y~I|LJ^$WwH;'NRD}vHV;ފ&TA;Vypqs{Z9>X/A?UmѲв >H d,rwYR|0e(> K.#fNQ~uힹx$@X¥c+ݟzW\٪hW ^| J;TrTOΉX ޴QX+O{MuXWZ>ˮOrg9H\X^5ctk+6H\Of2,U(5 #N?}Dž!0ֳM1P˧'^Bȵ}ϙ!޼"Ƣ(a8^,} ԾZMrX(TYsx<*5"Z?%Jė[:[bum Z0j7#|ʈzK))52C_NM"׬2s [#\cʻoj\驡j$(JyviLo初k2XG.K>o|Q:ps&u1jk@t<Sp.hM&|54h|SB Zp/,=N1kQ! ?Xv=UIL~zHMCE%7'oT1)n~s"Ĺ>/#U !џ/aF۷UG J,)JuE7E!/uV,HL4JK b/J$z76^p}8n @"{pLe!Ea\P(sA&-T"39ַV􆊲R='WO+N@b7}I)mJ#;=r7IW|9Cst0-6j"ĈZxgCY ~Cح:  X&bxSM8alW+56$My_SJ ʨ&g1{>9J0VQK1}W4ecrC'9_T j:2ar;$4etYTk f:6elNp4!J nkVHB|OMXVIEn`t5EFl4 Cfz`OEhIr¡Սz{,4!M(,Dԥk͔V%wy, 6~{V&4ű.F E)d2#-W'wG2"p$)5y8>bX$8]S>pѺi^jkEG^d9nNqccwn`o0?brA`f98}^g>h F]|3ʽ}/r`0!cFMYYW!cRNoý~X롢yR\ IYL%mN})ٯ? $cU.9M6@dUt;nbp x2x㹗;KpB{6Nc_(hMJ1c2fwzҖWu:# JrvTDab׻*2{;Y:jM'oGd)vZ/k%n&U6~ܘHe_@ChEjn5/sS,ۂ4jf> p(]qvSHHߢ<##yL<F@^;sHazQWCN >kauֹnbɸ.|-^H|dzŅc i} ;XF]hd/mH%f qT@J o*suoģ97Z25cH31ᚄ YPx yNy@Vg!@(m;TkD$ɠo@CS h@oڮHf^Tp2T8 =TB>NjE; ^ nA1jCm 4d. 0}Dr`gk䣾["S;ɸ@6˷AD-ȫóOWGĢ VvVv/~`XkQ=yp EWZ~*?v:X ނ\'SK==xPȳa3Y[nw.߬hI3NSE,}AvɆ,q:gOW,\GY~ߜ#}nkwG+[;\?†tmt}1(p_Pͽ50`Z$}60J~.x216%vꦐ祐7܍߫ͤV}qVOFن٨ᦊ;;Zqȷ >qֺ;2tGlb_/(_9 9ppNf9\$'6٦ϥjgxp] *5&0o_-j]`w9H{@Ry/v$XrRxГ"{Wk;%i*n2)科9u"v`*`zUnuoVw@/؇#m0ܻ^h";&DaOT}B$$fù-n9 ӂߥtB<58갂cuр1q#UЛۄ)[S[ua-Dd{ Y8I?;A'Ka..L˜eQôrd3w(s O,Rrc3Z-Ңz֏(&~<[ }cBul0Q-7[LYSd=3x8wXR9OA6а0 ztCOk\HR=1X٬E2h=Y0Kܑba^e `ָDl7qm6LD|*TAO-Cs#PVsY"Ija_}bJ)b. Qp\Ug4F|Vl7!sryJN↟zz왑΄|;Q^Mj3{Pʣu .pA[|pKzH{@uZ ܂}<Ho[`^K$0&!;;AҬhkTh7WMG%Fmd]CIEQ4W#Hl#KaWz~qbtJ1O fNdc'ejt`(PZ"?qA):VaaܧbCŁʵ7oC Kk@7@R"io9#gi6U9w[aHs5=Yp7ag_C];ҝ#Dsc$N%#4=rmá=+g֓/?`"t'{&dʑUyT$POPak.q׹I ꏔ!w"Ftkrqϛ`An^H=֔r2Zo -V2qG@)†y\v FǝwXH'GaO'րr_()fKpF19Z5p+g qL(1tF’b 8WHYƿh1A K$AB`BoT"&;2UB)>%BxW_RPN/:~CQeJT¯M^ ҐTM,JO L kt`NR姯 9Ǧ >Xc ;+VoϟNeҗUD q\=] ގrAЍ )z08M[P&P[Ʋ[ s`6 ۓ3M@6#:|ΐY9;\LU1R Ϥ1EY>pJә8pL ۰B ;t;cY']lenSd.7e[vOw()g#yޙ-_!{He'P|w`(`Ecdƹ&*=[=:2H锆qKQÛ)GZ]7u(lGKqQz@m?_Isպf0}tjM 8Y-S1bSZ_:6fFHyKDmR`{< K2v Y|'Je~;6u}ÝX9rԛDEE`h sMpdD]N W+<ɲiYC2Z,wVDq9up={H~Ng꼆BaٍLw7bЭԻ[#Ym@C_zz_u'"\Gt,zl,[c{Mؤ