SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ,,(!,d4 ]]]HOL-Proofs:threads=6elapsed=632.642cpu=1525.960gc=249.744factor=2.417zXZִF! P]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\(n!." !;^:*xuU)Qi"ρŲ4}CMﭘ4M.QS&>+y>AǍ1kE}kP\%ta\KdU$iFMi&mRPI8O7 Fa&OPz82v5&%BUy[&5ם,ӄsUŎdr|iԡ[3Qx'D $ᣴJKD ԛ@h8.5/0fBHƷ†Q7dN͜(qh3S>WyT'RdѧWCc_jG(G+5=?Oٞgڬ澤M&ց!j)H*w&N:)'ȧ~ay/`C Li/ &).PY{32D.e!Av;2/Ө5~ HLgORzBpTΟ `=!,67*f\9(I(xV-<~j8i"mýefIZILQ߼D6ӗ?L#%e"L|Rs)~?'0 }WU*ϧÔN—paN!,^ݲuT@,XG}NQ /+xKޡVt<8E/0Yyעd(17ß}UWϿ($:`\W$D rVB΁SfR[rs?؏CUtS^-4x;սO,2}_wVⷵOe\b~7^ʢ f1gGL@[P?P[]۞`Oyb-? r.dy2GPiӲ=|8g8?:х%*UDL8򯸺SJOoPt!c<B`JD zYm9Fr:^dJI$b:I W2ՋC"if ـQ" dc-R5ұ4.95,ZS2_6дfb{M}O` ZTݳx^WՎuQA4oJsX-Sj$z/ Y3 ,CSR@%BR9w1 l0 _V1+Ym*vHt* stݶub8n`eՕI5+" t3RlVwY6W[aI1ln L'y@LٖLNuz1 TG5ikcb}LM1o)I+}?ZRCemYQ|sr崍?پ$R6mV7g[u׮]O~ѹ;H5Z<ҿF2zK2yYY+^m")鑵9ICiU.3T4zZCE~ q$S}mo "2@雋OFM}" 8 E:IjȡQR=~g^ZKG.栲kg{T6}Cu Gp-"\]Ӫq}0scs ۰YxEQ)AyW$,h-gc]0T=ߧ<Jg5nFAt{1 0X  X L?S;zLeOlC%zy^#^zo_poDvOda_\*,kzO>;y.1M3,Uַ$Eb"> mC`Ȁ1+,yV^ī#W=mߚ93xv+F.گE@7|ۼhܵ˧ݎK**3N.2C')%AeAJ&aiw}bH 8*bnZ| :0> {f!Wck%3)W]}T-Y:~^; d_ TޓLjK>еH[پ,c ]Xi\^\S!4FXTC:w`X0X:4W:5_K8ES1zx?4;o< T], TD.ޅV؟7Rp`4ilh!fCu<$7b~Ȥ .0xo0vUANL!Bg&Ft"BC~Y1wv9S{_(@wdSl^:}Ja uMGKEp8xi+;HC[[Ot5v<%M㠺2=45??]ԏ)a!Q)11Y士@+/DV-6qͿdOl=ʼnX9g%Ӟ ä:%{)Z<qP#4a !%M<@*K~xYMorrKFA18#UވjL-TU~׊o; 0DŽs?vjc#V;Z͇ZeH 㐢oCAx4'Z5S M]+ҷr3WIF v>DI,H[uo8C9ǥ35.#JNusRbU+)n!6}"||:QPL$4N?7$Kdecof%~lÒMlx9iv=~d G곱=㾷sOjo*t}J:Gs27ook#0qR4dtZYmpUP*3nܐ,N @ļ]9Ƨav%nF-tҷːq=J=U aSQ Y>εɰ0I-kg btͬĝէ.5p"jKCՓ e4ToɜMWH 1 *< |%b$ ..W۴IORbvGlӢƻ>v ꉵ: ch Ud5vpW[yϘ1Gyj ߠxn1XQ2%Cp5hW8 -O;'DEQf4> ݬEXܲ"gk}^+#.ie_gPDo\~\*,c/![#b;sF l,MEuS]8e 5{KO5?v_bpl㎈d r83 '(j&,piP@1U|X_y?-s4?u81^ozσ' ݂< c\M?;R~ dl 41[ GKi1Lzys&rxFe/jO}c3c<{\ [R7\/GBku&%u*t-bB\Hb|X.d-6p:+@92uٷDŎ\<nZd]B2~.BYN%7;[ =9g9{df`y.KᦘߏN1V )&K\Ĭ)jѶ΄ނ:2 FuA8a6U bzj^~3[b6];Un6ŊF<3BfK>aH#!6+XGz:Y#’߅Dq:U5r Em^_ڵ5YȄ`CW<|:NXa3q2wU,2*m=v_|(;? 1xEdQ>ֈ: IqxpD|4z`]R"\}MI𗨑1_@_vH|6ҁΪz%˝Qb7%*7A̺f~+3vCZ4IܱgYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!Bg I_O `/(,a)ۿ#E6WC@AP~Ƹcԭ[a_/eZ۫o8=F.[]C**]6YqPv3mz)#gU,B/+˥Vt €;{˻5MyTKs D ۸9h>PqOUI|aVE&%12Y'Q6JCږnwnxRS,3GHèҢ+:UFU#Nol">> \bg3o^lb& 9JKCL]`$@yt֥5@s6|S(FFy~z]V!m> }7V[_/;-(WHlr'Q|"U5P Ĥ-)(\GFGR!P6~]v~3]XG|qrC:a '} ;<}H< pIRM\"nm!X`F--Lu,tgꄢQNj!TmfDBMWBn~}?ZӾ ȨZjK*D-Mc;YȸqV쇓73,?*CFf:nĮO 4 Auڊii^aj;ga`yW3qYN"ikJ} YEDEC?vojJ0\H+eXKiNK/6 _ ' av&]pWPdX.Pc%%iuTϥbg5dr8(C=9* 7dei Y]ΕfR82Hfi]fr_'>qUc7 Ui_EԌ;\t5(ö*>:[BvDK&)6Q<I7͍P{=bIWp(fI[⢃ɓ֤#F:NOL$g-<H$$$͔& Y07K:MR%,a2W8zz]MIQ6@ҥd5n:@<,12\\B=I, ڝ(}f^Q M2_16 #<.8CYtm7[*w4I%W]W+œFS>U.Dԍ8y/~;#71OUҟJOځDqWE?QT +Ƣa MK/Ң!tQc >B[3 Ce,i2ЀgYZ7zXZִF! ꛒw]ŗXi%@ZqƋ ˺K\}/㱑ndww@c맑^+/ ǜގa1)ms&EZ<ؕTFH>˨b+v[׶rh>ڻsϣY!0T u.eЊit{wI9Q>9\%~a1X$YO,ζ(\’<3tas o.*\9"VLCt>|>%,3;:a ÕbtAz" +l4L+q\mu{#w*&E]9GZBG 2%Pb2`(L =62e0Eyiāiy.5j %Z͞_J1g{YDpћjp}jɃ%C%Ხ?^.T%4];t~5W9׿U= V֒y#6Ji):,MvD^5La֙30 9C]RL*Aq uA,U\UYC^3 (xOd =><*+x< Fkr{ʿ/cn+Tn'$"2=x,3!x}q /98p.WgǕIlFL:L2 * >7%iipf(N@܂iׇdoB[<)QlR~cBzGܮq&=gsZ!\w_I'!I 葭ŧF%?YT&Ony+J7b V㍂WESÖ&yR*yOv)?i0hPhH A:Z1ti,x2n, X]\M0eImtߚ Z\okV/tưIsBUutXdhvzOJw oTպS@.S:|B869Bs dXTw6F}O6qUY`fD"< jG~ԪWMi=}P錙Nj JAaA{3秚uXd>9XU,hɎӮ!?8Q,>:`؉U!>:Zz< &ek A,lPod98H!Gsv8aٶ7:vzO^ ˒HwKsP ,OkWU Yʊ)mk8}$ 7_&2cd׈sxN_$$b-:pĜx43Cmӝ%) 7c̭xXou.G&|D8lh(0 WCg$t }{XH(EVNi`)y/_LEBE]$oz)4qÒ#=*,@ ^8[[9 4h7XHc+C5ֱv 8N7K`xxy|qwz( <<[(ACry 8p /c/@!VG复}D[F#4 @Ű%JV<܉Fb4jd,.b=OB`rM:BV~ *2Q.DPy`C(;FD5B{Ѳ!Ӻв*^5E,Ip0NEaگ(r۔BϹ4 =1Z7:s:WދOԻ*<Ÿj!  QhGѐ+{ϭ %db؊}hYͮJI[I@ByPi;[@ ]ū (!L4y8 UF;x9Xnﮍ%UL򬴉ڗ"yF|;?"uqT`؀[?>~`)O@uyVtpeYCM6%fW1SCv{KdyInGgEYT4,?3 Rֻ5`\ w7VJnV`,: Iho%6e&f$FvQ%,(?-lIںMٸl#2t$}=bNl$ތ2~*y;WysU谸-h4j~V@i/b啪&1S|{b4y+ՀgK 1%rЌ_2܍xXіu^(Ɛ_dRfa2P `hpދH2h6$oǭ/ rvL>ǐW9B4#9M*ʣtS}=G!)1?DΉ) R̤$=_^ E9Q4F 7w=# :5͗yMvd0(*=7`:I ],O5A[A9H~:12axMckhҳPL`SYέbTVϩ̨" 7bUHɆn׷YQ,j~ v~tUI8Fc#<E,H:H"!bړTJᖥ}rLEx' HPhC[#zBĸAllϖ72dEdǞT<]N-p,S_K>X >.'[ wE'iX'/E*}r< I}S+Y+$+Xqѥ*K,@PQ=FPcCۡE.N ҒL ilƒY"'Ӵ~A[Ήo7aݜ`5?rQWayN׉SG {X^p-^Ĩg5~m/dE40:9|u˅;pemD7|i`l{+Xpҟzo#3yZ_F$J;ct)Ɛ~aOM~LsHDy %}( hZY}ڹW()',_a?u)|m:]B'{L":ksO7F0](ij#a |zL;23:{VHLTLHNS+1 }GӂNvU̧Ud#ӫtu2 )zӋ$}=Ij%C @fx!CIHk[},;(2驘v2rGNe#283̣&Ez JTÃr$R0uǸxw<(r6$nunC-yJE5by[}71Ї]3&b k߽heS"J,)!"p,Y!$q.I<N\m: ЭnM$CXчj\I3>ܶ#ۻ$2`KcmLYp[QtsVahXǰGrs!ztQfxr"ڟC#^Wg֢rB^d >9qF.^29Y ht>{k"߱'(K>zz*GP ¯FH,.^L؉[{v_:fA׃<TGҾX-;tjrQ ɣ/? Iwpe C]ZC^ v`N9G5BL0"&}Nl |$h#mT] DrR-V9ȜF![Mџ=,_kqT(Kc鎸H?0%LCwjZBYօ:ukK1j]w엌֕gɅ'YaPBEtiڈI)i3!N{g ^ #X 6iώ0&η<^5UƱ,)ѻ;ܴ 59e}}wDm2)ZWBS/HK,Ryw[qs B5͹L]^ \5q~_匴 TuC$5yoo r$OT4M ieJGO ;u_)[B(ΔJCs`s zJgx&Bx@|CD= gO[50|s* iZ:p4%ԯ< |ݗ{bhAW-,@ŎXٿ}#Ezb*,qXjAWמ7jbV ^z7uş'u|Xa#}8ܠG|!}VO(j3vp2|ī)s8U鹃5YtiVPB'ob h*l5&;GmT.ِ?:jj*>,Ʉvgozf$8BꨁI&|6̹)08*I$o B*㲯k*N@'8kEczo3D.o!G5͎2Cw< xb|3)mN=CW"iXIGyMim~sn6ӵ W~Ne a]ߊ`~Vn픂(4%[}l̴gTRK`Zn}EYOؔPېcO`+eŽ G 866Fց@z]LOODRa̮D~' Qb$UJj1t?VsW 6.#׈86<"jrZoFnExT8ϱ+;k;KV MxgJ>kߜy+OA{bYoG+2+}3\g< ;iˮQxhx3/e~mXVk`02,g( |Ntִ0*zr" XՓ!OC_AII|NF5 nes{6r6_BG6JOsbZ\v44m256tɜ6Oζ Avx)[sdnK^gQrg 4> [uBoF]٤@`Iq}"vt ̜&=!]w#y5'>ԟ] Ҧ()j˦io%M.t}r_TE:u!pM @rF/0V-_7 % [fOod\X^#lv>k6o[DC!͋I5f x̝rO@XAP > ;# g[Z2R㋀w磊5֩4uK7mj2ȧvF(1&w&j_VzҌ#nOh=h!*Pa'ߛQ (L>xW-dv$ܳL:j yBN"]G}JxNVȷwkCvܥ"r5VZqfb%1tmJPxD`_uhM6?\dQ9C^43٫hPJîup:{Z Psm OaY9}kh)P\X:dPJ8"p뚰:$;\Y1`F P5gfKϽMV>G60fKi x^)+X@,lj$]BÙ׶,-*EHӟ=j5x摓ϷLq:|ɮ,Kp絉tah FKKq%c{Ecqs mE=ޖ x;px;Z؅Q,e/8`җ>XS,Qc`6vibK3fM(àr__ZKO쮪ZAwE #+ހfG+d!<3찾a ~ k7N+F)!gUsD.ކ%'Sy,X_Wz3zigx9;GHrK vqTp$F(3l+;zu%~9,얜Z86 w 6֬{aP}'=YtF oy;~3W[MƩ_ӊx Qk݇xU3 mCjY7316L5evéa;z6"Whj"-0]-Rsy]Gyj&Lf>Mw C~EH@ +b奧ZCMdՄidvyk28r7#/Ck;I*4*؝Z磎5"]8˹:fJhfP_3EMh > d@lf doi*E Jj_%gZNC*\9t,Y-yY5y b~>JɁiJyiB_:ic*ZZ[{F W-q=(y W#jW*Tђ&d}gu) 3'UhĭTMh'`K[;{:\OhVQނֲM +v+Jqޠ8u-*DYE䠥A*sݟ$썞IdW̗FTfs ͛N}"S&0-6yA>Q}œ i 鮄-/k^ϭؗD)0an挡r9iBWff+&t` wb"(5(Q&GT}b<B:K*/U|o֔:Ņrp\vݖaJŇ5QBy+YvDX4 F]%yOuy֓e _R ;3*~vR)הT-T*r՗B!K%nCWUMҫҁ0";ʜ,@RNQ>ʀb blɗ#ն$]2rCl :ԤHŖ?ufOvtvg">/[H "X<^wMucp-NEձd “6}MhKm#:ųJ,(HܫD0V3C_k"Қjc/x3v.#0?zR'K jnZt&]*v YY_se<5P]o鲔7٨WK^i,&BRzhu?F} 5jub_~җw;MWr0G!{KIa:QP=8[Z4W[4'3M_ɉKh|@(ZE3IǴr fv?Tn!Na o jZ9\ cܱ1Tkh$փ:HFkGJf9eDqqA2q#qus 𐮯ȢI. @wx IiFoM5:t?[l'tZ :%U6C*{R)lLz#VO 蹘Z(MEõTcWY:+%RQc X{|*nTOzJ~7hamj",9݆b3!޵"p9xE$i[(2E=U-&8_L)ϒ̟(m/j 6%Ba\8_ nۄyBY2DSZ sg/]b/M1БZß&ãu(ao"wԫ^"e-,c($~4׭gpȧhGPYG∹y 30smSHh5Q+ Ԥ~^O?5g 霂FWqФ #IwkZ2Í^ٌ:~K3Jh@Rś6%:65 20jQI+&¥v!@ %[bmayBuW-Mw7HVE4Y;}A0&Zh SM epwdazs=kfl;J" /?6ls `46ګMm3R@Ϲtz~K) 3.0jٍGA@*h!F`CcZ] ZmzI@326Ǜ)snp804t^} b9Ei<%XaǢxxl0OE ͝LP+qr,;P;i@*jsŠΈ;w;r`PK8$셠~?: KW9x^a6HjCJMJ= KMX ]z8UƠph2Pm+kNa[8aIx;oȃ~kj&ney_TW8ajuXx1v2ƒl!HOE _EڗJIH77vV/3\7`h_CLݿN tJwY37)_=NYx(E(+9 *~ mkϛ#bi,oRXDr* [YB_<<9W Q*0Y~ :C0`4$x]#ΖLfkYznTߞ vNu-L&-EdYz [E԰G S:W~&\ 7Hh,i@աg C~KRzcqvI= t>!\D2IQYUSdCWޜPC&P.ncv"n"ڝt{y6TbܕUS:LLېuxC"SA}^^幸O5K$7zLq^H/ݲi&,1.9{S|&h kL3RZ蟙.O@L cS \I3.t`[$0Lf8LJCm6ܓEZOݕ+ "_g O4dp= Awlqg>K{lao0pK$,Y4tQP2ݹkؒ[A[7E婄F10/HJ=R,i`!覜&LӃx~a6 v37g[H6jxdY3k9!WhmpoL\;D#E$^s_xwZdd;(;¶oIk5-$` >N('7{~膕3r(l}&c#!x-I`QrxVXHp[V^'[ˤGRiEg}kM".s;C_S=ڴ L,aA4">fb\'F_ri(Q=dV{sʔ:Ht6ulӝZ6rqb%D&m;Լ.9Y9*=[:Db5GjctwRs/2*]0 nr^"ܕt<6m,hiur^h6ьiظ `Bʌ֔,` 9Ũr ,c]_Jn?/# .K&van@f -` -%Jmf#rO|~T*t ̱mx9_wCX}͗d/;Sy ٥SFHn~U$(}u" >~O )F Y0W~׿`kwEG'Cg8[YSj0[@CjaݭbgLZN# tͮhO*G/*"Oo|vM_$>?C: 1֗@sYP} ")1ޜs:ҎGD V*TQ]sNTv X`HI1'6.k!OjePggg mA:&f8Ў_|$auÍv*Vȕۘ $ #/?)F9Rq62}@gNHa+E5ߏߝKSuvc+zv_8جk>keTɽ8F*K j˸dw}ȧVQ»]j֌wlᅆ#l\7Lr`4r?5CA s fa9JsZu5EYsFD``5q8ϩU<{h#ʄX.7R,ip  P#Y_ڲJ<"-ع'12svBvF|Yv^4/kSc<|bYb;QCc9 ͇[ _=fZS( &X X@2*artXٰٖū.ޔ .jEJξvgHD~y,/TJܜu%kK%)U%P[!!kU7\.h*Iy)QbNV4VL9/QmXZ1ε$Ju=*ȉϓE?ݻha p,cm>[u}я:6rUmy"`ѫdgm7Wjɴ hѺi@gMn[ֵo gݙ"/Su[:Kg={#Mq֛ >!񥪪[aɩc:}yoaXEZsaf3b~^T<F.db3JQ .ceV}k8oY&xf"2"Y|xBw3z "}>:RR2䳽3'Z ṶyVڽI0FˍjGԓl,$wU*,>jo"&uƟe&$T=rUFhL] _ Ųdq lV LF!W1S)Fe8B+P~1 U?HFjߑpC͛0pQЀ&!R^|ߦN<:YcʮR' N$ps|ZlṲpG)|x4Ul:)_wjٜ;%[H흒@l͠)k6'V]!"I"X@9m>'&7[t"ՔuL$ވvR]K^'V\Լߗ mdkef4Bo@rL|kv?VwxAWQ ہv&^G䢭@yHXW(7V?!cY5Mztaw3[ƒC6"Fg!'깟OB ~3<\Z ƯO`fQT"=L5]b -N\}YE~]:tîaSN)h_]4‡n'bNNPͬZ,2\=7(i4hy%0X *WV~[$/qR1R~osGZn"ur]V"螣8[w7Ģbo4O_SH{*0pU鴸0uA؇!QA ֊&J!)!̴-!xD ^iOѬ _%P/qȶ[c=h(&1^Qii6O<.%ȕۛ~"A2 LB?oxyLn,x(Bλ޶<=@-5V1ך~j~-6V^\ȪUm|Wx;z%*#/{1?oHg`圬Uk賥`7{Sx=DuIk&Ct2a% a_ɫi 95\rqWi *8f׈@bnv1xsOJeSB?As2,VŕY5gM(vFӐ^w'!o~Arsu^Dh].(;F&YX!{IXHz?F@DYZTd4$#wG H֢kk;͋N/0f=7wWk6twqUEq/46?wrf=ʞdS9kL~Z%9tk>?Iʡpx LpIebg:M'e0U0r%(p(Ђjczq׿ t@4IVj<}#YzUE/L*`4N,8 $6tՖga"6S`KC'D8GMnc-8Dh& YLw%Y|!,#ip_KZ'>U>3atiXE{k-| s }fOd4z#{=ۧtڄqFڇTxuzLҕɲj6dzJ|< JVH`[w q:dĚ^0jz!߂C#%0,r-D7=^G4g(rk+ vn+KeDvg,|(r2`D°N\ݏL!1MPV y b9>RMM:G LMteORs//*$†bόbq+.ybdwMJ+l {l1ȐWt F]!.k So]FjLt)Qz>ؗ`^ ]t;̻E*I>5h Y\]5'0@ugPMbFPF?xmkeٜCnPv4&#\5#竺0~5pG|q.lf( kF bF8zpzkw0”J˶0~! ^n dJFid`^>/p,& uVD X< Y⥧ 1@(6Cua;lKBG_*a]w鮉7<<*1"؅-ɕ޶YmHDì;ÅDnqr ~fZebW\m/ OOU' P CEIF N=>;RD_?Ҷ6ag|5~;P({Ő\o"Mo52Q+iekY&t.MVÇݗ^_0v~i;xSQ7jTl8ap"Z}WWG]y7@HY2x--3|l:d*3o+e\⒙R<$w"'L/Ԍx[{3j$lm_T$@ t`ғ$쁝F!!12aH&l D!('#y <<<@ԉwxwԭyk_cI:FqCH{WLC. 4?%#,鉷.=*/k HuL\]W@;buPº|F9`WM@\U;L [y ywO'14Y "L5;" s'#;黺?E#keF_yxFPb_" T gdž˰5=@NPYIs;7iMd+1M6DZ })i  <:.PuUYޛ"6BcIO

|)E >3^rعx&fؤL9CI@IlO煑J)ޮϤ櫤L+f-IXu2U#Z',3>UVz(g!5UzV@Haћ¯a@:zR(P2lax5W=!^03;3NwhFT_~ZA&?FJ& LVMSY|DQɋ:rET|c[D9Ä?24;ߝ,!#[Z*\L IʕWi8пS 5Gĭn[m`ɨ[3&:fV ]qF`5]UFZ_Š: ¹3NYrKNwroN4J|/Va搁5 svD&#(<ca_)\ f|fTlH>R6'msg&fddylYӭl{vA"ml\񏿲Zn2?9)1?Y( mRtK${UOis0݄_BsHT@4miYVV*'/&μƜɿ lHyFPP5BF*# ~K\44DgӐ$6"m`o\;?h;f{#ԑ"g$r~2P/ŖԳ9?Ȿ[ZG*C9#z*Nq5%}B@<:,ْm΁V@BZ;$Mӄz .r֢: :v~ !ĤVO3̔5~2J9@9!;U\[  b ceo,^Y*,*^ʓ!<`Jðk.5r]dJ}6BX]? bS<6)\0(:aL!Y,b TH;P7C.,=xOGWsK7LJ\xE_M(G75wFY̹Vg N V2]&3{6/՗>5Kx߽_S\jQ,:y"~`x $NuHTGyy eE˻l^yqwl͙ZM3Ö-c!Te!RndO yD8H`^b3Z/ DK X`}~IhADkvV[c^9 C9~+6i{$T}է僻0"°&" ob[k h' D@Z[Zz؍#cs|4pฝ}8´Ado@_=xS]kQZAs|%L>m[_S;GM~TI "C7*6o*\ab¤2qeE a`8@.XEk E*}Y]boTp1( iOL/֫`iY&)B?.(x'|12X]-Egi_b6f+4kۼ RPxma|ް}:׿%7N; kI# NMɾSccI5p}7 :N8GhHԗ + ybb~G32&bz,Z]U Jl|&~Xxfi @TP?n$Si^ZT|P9Zbpը|X-6<,Sg;bS22 )e6(,06z*E #[BZzPIU/}?k׮LSNJf+9ʽV6?;ϔ#>Bz@cI˒/fTY-a`%wFz=9kG)P#n^3IFח\ŰE?G7u2)e,-r0l1dt V\$&ݰ?'#z^[?)/Hj̩Whc4ʒ>  ?gkƊB̦͜w@"L.r Sm9Rj 28h1dv -ų\dFn;T6@Ҍ9O)չ'@RE97OfV);Eުn. lFyRBܮセH3 FCcwrİ6 " SS,h%9OM};r ꥟Z^S[BU';kjIU8MjTmEg@_|1! dB#m˙$1OS[VuyWlBbJύt@n@GOQ`L@!W-  Z=x"r2-f3ݮ2ꁴ0PcOO"ԺI#nXd_t )\ӄt!W[|gqΔ4WD{S uL0A,HC"TQۘ, @aϮ,Z#Ֆ}zVw9* CqE\,D-؜Ҍc}I^$E{`O DȔoO(O&GW-r~Ґ/KMR w\ 4SeS+iNpdձU(Nf|U&!A $MfHL/@Gq(M#3b rLj- ?EgpǓMoi,JյPj\I->\ՑɗXAx^W"죓TY\)}/!d"-$,bkۂy 6IX>sH}в+gtadFs Oٟ#Jk |:RfK3Fl"NVCyĎWDLzt`t%|MxRL jA{Eq\E֢-rˣ- 2}3?D S0݋|6bQ!]uy7:Wqk+_1 ͊pɯq7=% UѼAT#qSF!ݛ S -듮 [Տ*VvqM~9FjKb< w?0T)%jX8 HHoyeqөGe\um {CWswןmQK2K"dvD`Шitg-HL6 GfF5c_x*7!"[AQ\`2$nju: 8O27 _syKJK\MlOȽjGe40"׹H)ztxмB F?pDɔTt <EZ׋|-; _Fj-=DN0+%3'+o&~%fI0"G78n(&ֵz oœJD.jP:sh~u2(j-3)zz73b WyRt{ Tr.n@[mqdU]9߮h| w@H :+Q,4nu@eI!_l>i!&Ym=nL$./ xY!ďJ]|M=}B$b{ 4CF\Em:#^"_G?Њ]sfK1'+Z\fbG9\9cka]5`so ,w>.J@pŞ|˝#TalZ!6#νm6g`4cQx^c5[TsT+ {fk:P؎8W PNuT&7ua?(P_)qf=;{~Pw d7.6j "WQ{p*%PHqR(Rk=qt:VXy/exH~MZ2/M{Osiلdf}_AfdE;F:4ϲ6_wHsK4y^ݢao;ݪɷ-AQ/N悟#E0ݴ2Č8csS25UPWK(!{>xO!*llA=a/T(Gpt5cKZ&5VCc6^ޞV\ZfQBw$s@ݛOy] ^'X,pBN)͑7>y DYDй~j`ϢF%Y_^Vz{}<:$AskNqqµ9JpQ*Z|ʨSh4:NTf#pǟ$}i 1JJ!\y"0{5'c/5&f|~ڈ;Rq"Zv]vG=$Olv3,azeP"4!WP w'=ãc93BDžO5jlǐoQ'򿼾,x…s:oS5ͽrU*p^j} w/*jqJBK7.7~P+D}qREP o;eqoQK-3ȟf, )!H/՞r@t]"H2~ :dyxtc!O\ډ^? i+:0{7b<[R* c}"36Kd "fSHSYu?nwu~> e8ɀq2[ڃ9JRxx.g&[Y%~Zs '{9qsT; '$BR:&z?4oWv?rf|@UxwB=4 St$kH:62M48ܨ:U# YI}0o7<%}Lay5*,6vmǿӫ#.iLNTyf ЅIҶ(kNmA&vP@O 5Næ>Aꚮb ʪn J[X庭R_FĕJsQ+aU_2uuu^ŚI$3&XD$ubP+S4t`nob /֧)*X!f׀PV$;[%j;^=3M%o-k.>t85|`RoUX4{_Pq Ē{o'1cӄxv w>;RCN̙'dpf4I`|}R٧=ƐQ\58`O֦ʠ/a"s,1T~YtfS:ӗӎ)M߽v/U MsNG7`VP<#V;`TҰk 9o#Kbj ՝p>kݜ;B16:\T#>7_GTGqA©~b@D,r|P&6NZp*6TGzUϗ.d1kG. "qn0gD%q{Hf.i&4r~`tѭ1/SoP,/3]BQda>MaIs䳤#0]ZPxaa[WPCs;hCCjAyKc)x6ƚH.7udr,oRG承E%ǒ܏fe3^~7 &QUG2aQOI'JP8Rofnh A>}]YZQ"Ll:u]BG{z-M{^4rhfi,N:to=VAQ@5^TCY+(#]1T[xOW? 4WXsiFzHEM(wi}` VqvK|pҺB7ދ4Ԫ7ɤx!A3@iK [~f1qVUl\z[\ 5)z!Mj`L-1,=[h!~P4a]Ѹ* W({_g+TX“&{lvlI:/fl:;´6XQs+фހV[mH1t/A]N NVAQ0JJ47bAil gP/ް dU{}2A9}c!ѭ{n =BքY$*l 7܆3NuOd)BFBz09>C?bA'W0_l ;2jgҝ5 %8sӰ#1F0l!n!!&jT0 =&2X _\uU_>ѕLp-bK/ڛ/0enCsH(\+rmUi'$y1k3Vt҂ϾPP.R.up+ ) 6>yE=N;tY䉗gJ"YOl߫?c5z}g/GAƭS`5TeHX* KgYZa4153d5c5e7d050d690b92e5de96ac640de0b96882279e0e1adf83bb56256dc19b76e613b9ff505e7767595ddfcf0496f00111a036de47ca62cae9f0