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  ) )/1$L\ ]% HOL-Decision_Procs:threads=2elapsed=523.632cpu=996.996gc=92.952factor=1.907zXZִF!  ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օHzvJoW -;UӲfAX-!HP2,竡~pU798su2 >թ5Wvz`7HvPI0gV/A<P!",G|م-rAi6d !?a:1b^h }?o5t(Z?\y*6WM?6%hv~ Oqx ZB:W2HMLҫ[zkdkR2 =lQ,ze0d9Y4tmy N+ŁB/#59Ŋ3ZS-lNrAd lҮAf4d2O*JUbAYî S6; XSN(WRwK3!|)3t_WQeݠ\aBhdo+sp?^g ri<}IK@.驅qub=/J؎l m]]X,A,MM?W7Si'|m%&W'@CqF4?q.L&7ۅ" "_yGէu˭#!m܇t"UEz[ &~v^9CvgȜwP8R%1pl PHvsQ>dΛ%BGY+}kacx=*[-Oƾ$mݙAU0bF`ouꟜy<)5wm՟>ܩLAq,vLTXٙ#3i 1 HOL-Decision_Procs  ؾP4I7 b:Ёݘ8KKO:Z|6n[^"4̙^oSXy F!VsF-eIZ.0_@J1'5TP(=Qclϥ ؊ aqόG"J A< lgA_/K XXna uyl+Mh(R>wVT4ZWן*eU*m% ^3S:R kKLBgͺȘivѳSp?kp!; C U.#7`Tl.I$Tq2vtJOOw A(iKR/,Pi4KV2u njajXJ1ҜJ|Xn7^?!914`>VLl'/ܤHb Cn[{AdS4KQ^IVvn߬qLpBLkXLa$veU>^&'Ä4%bٗ39kKFZ/TTM˙:ȱ9L=m1q*||_1񈗅+ۛғV+QMݲubih(2xOH^+r!f]ݟdN 5ص;\ʭbˀ-1#" Y8~:S fd7NEGmPDB2 k2Jhp`YH^tAhC,Yĉ[9 -PպL[f/FtNηzZ5u[:Rޑj&ݢa/S#㕨U XsD*gbQDo]v_o_u/y|`g>/g4GWA4ӊC~zPM46WaSg2OٜO" 4?"!zC)ִ)rA8=Ymf;'Xf`/3.ul7k}!l,zXkrJI f/ IdH 9􏼽qaY@4Ǧ#Dxnv!#=,t9ڪؚu_noiWfkϯHkeն;̀UҼS7_^,tW}*#oW[wMg@4b2z@6bǘ:qNw.ui,M]GQnX =s! V\5*ei’(rzLD5O+Ĭ:fI' Q nsc_ߟD뎁޽;+$l?XDIɺ5 ݼ֨@U5,K`m" 0P y9'o!:E*o=O-Úwpk{k[iC, 7P^xZ SβêŇ&0ߥFّ(S2$WعI,aV΍/jH;Dx V[euwb |Ԝqa > J j'TadlcUE"Alc(?q17㧵vC}>k]x_WZQkN` 2[4!H")WMcK?\BVn>){>j0800 RTYOn|U,Fh4Z HwZ&pc11BԞM1ұ/28^,f\IYz*W19Tm>B~FIu }$bp&CcĿXS!PXҬF}=l}GMGoʟg\T##FޥGqk]Xݾ7U;x@y OHB%57;v} 2GV+$co*Mʱ5u1%5EQx xFB8<E'ke#eM<)Q+=tȢ򶈊pN;t|6QLG&߈5vvO&cKXB2@PmZ$fX _3#؜GG wU) y-D2`p@C kPi5xDcѱRUp[;{ZQIyqn\ +tĥe&{p`%niF\nډʎ/7^Qn<9 t4&tCgYZ7zXZִF! U]ŗXiɟ17L? KxlWP8SաM~>fٺdem2Ѡ5&<}nkx|X_2Гk% mG(Ó /px@_t\\;؊,ʈOT.\?z|\k5W ӕgcN_Luf&|Ad*`:?Xm?wayZpc>;j$Zܜ{{Of|axEm/珇kOѬgq~M[ǭ# Z ;~DQ-&%Ai_Z^ ! D?{9;6B~Rأft ,ռȐ77)nv+#*$:Q"E HDY٬C3<`Aߧ/| Ρoٗhiگn0+f,It-PH-I +Xб ztcb6+U`"l2@a?faSBgYZ7zXZִF! +oe]ŗXi%;I'.y`J&po?e\Fg BҊ"-IDZwO+w_/AfF(o2M<.(ܘE5CFh=ʧpH)ff&̤QCa31ڹ{%tU}ъgXw_t #:y9X2/Uvzzho]t  (pM.)ķJwWVihofҎ> XwR72:OF͉OF?yQ; V 0Eʻ@\c1feY>'rCIE 9^ H1p>Q5\UĝxIϊ@>Cu FjN<"xA<4 sZ9Ki,RcIHm~ɶ?O{?͈pπoΖR-<{^Yǧ&\n>gDl-QJ\a'?ޠ`CsCGg-H[6Sl|R.×0A Q}o}^Eh\ᓸ]=8q>wĹ\!a[i)0"kEVQ~apFe9FtB(,w.#r*(̄Jd%H'3h¦$Wuxp!+Ӯ7H7@ʹ_ {Sl $igc,.rTk5O RhW3Ũx o'zШ0le'!+rKֵ]@~Ji(X1NԔB82Gvq@R^^~J+Uv+)O|̋ƺ#Ut1$E`s^=l[Kٹ1uM D2s$&^VW!Hg!"&7Z6ష4i7 wΠ;O~v\ cnR\"CT+OxAVD45O:P TsC "Q> ɝyDkD#1,s6SN[dZ8%  x}Rz칪=qy#$ʉ+3=sKɪLAw3#JCD > "k c/O=B3V #ȾX>Ql~b8}x\ٌ͜K`e/yIμ7l\H t_/JLFpTGg#8^.${joE'̿L3{ '\AO`e0Y|tZ>r$-I9lsT?D: PWnŋt.an/aO{fC0&woq~'zB=]KO9ƾL|Iܺy7˂@yo{]Ϟ(mq?Au{X\kuudt*?qɎ}noip7]t5`s6q:;87k*\"}<40݇׸0mFRHʔk}fv`C!nUDFy=S ׫rBuj Tc>]x1aP+Xs'~0zs2a@.7/,0+(l u_LxsѬPnA}F"MT“ My˕3.Ԟ\:aթq*IYdíHۈtMECvai:d9 zRI+0+7 c͐]`BruADΖyJb3j=ʤG-K-ٹV7^!mMsn˼-IĐcXGte*IOJ~nK|Pk3,.']%-|xv&ޕT}F4{f^ڬÿ͔!b-I- iO-HkBd%8ɚl-~4S'}bRA;i~T<4~NB}8`=FHV qT]Ci>vzW9l47@X?'1#0K {-Ayؘ8n!pNu8|i:5C޾ݍ&kGvaUwav~l *IXL- [.T:5mQijs8LrȢJ( C|≵/X] L5Z# ū5#D ՕO y-  IKBW A=Zt ;Y9u!Y'iPTmĮȓ:aJniإղv47:$GA(8=S:o|/E{#g/9L-(/ѹŒT "v.En!I8C(塂rt'ښcraENX>E`PޗDZcqp|&[pWh{1.T&;zɾ[$'6N7bw7 /͏0W'0"&Nu_YRًܟ~9PU0'ަxd{m2&ߒ12O1˝ڈ쾜=uedt[s'^aJQeH~*Hv^uBTcE4{6nl٨GR8Iʸ|D4fԭB–%pms!U|zBH,;za^׵t86c%3 لMsÍdz5#%!ƚVJI,GC spٻj q\w)#|ZbD LJ U1bDcФlx Eg9|~A1NJg!Z_;b@̾xtKd~~@fAU_|Ke%r+%m | bnq@AV.bSΟ$@7Wc;b=ϥ_"]ːNMߗ:XUD[\]Q"b L)T3$jNT?=0ua|^|zYƌ 5"c׵ &C6R;jsU2Oa@X>w1 <܊7&w܀5 P=WqzV99$7!$g褻>xс]RSfހ)Q+3ks9#/ŷ?.wqC8(,tuDN;\׵4=$-*l;N`ۇ~(2oa*4>5, |GRdGPU5"lYq(/0Q1O? Ű#4쥈cT@lqޒ=$4;RA v5FGtI^CXa+a91N@Kw@^!iu)8-8#wF=,uq7)ؽ!  񇼟ƛ1AnzNhZܴ2ܾtnnպjgbqcPWMqT "^_۞bh£0a\|bc*SX?̅@Jkt `~ˈOlQŸ> 4C,i;By'ٔtN.Y93(4$j)CXz Im.d6H08x`sG]:Mo2;5ٸ`a`s[$ʉp4^p0Y_),M_ADjW6;B@m~YF">>E`t/;?DlSnHǩZpT@8uU9CaXD.ۦW`?qj)J4V,iqw#].LLk0|hGD7yqղIuٴ[++td"I}0}q;> ›ӣ??4~}8HΖ1YTqLbIĿ%LJ0& j&6oMK%* @PF*"zFz 8s,T tRU0/]oR̿J爕k)kLxs }SΫ`9{D^I;bR8r֝&N#7:  ~c*H$)6- )Z$97ΰeuI-yTK~4>ct[&r:j`4$cр(pGݵKo>= [HBp ]K1\W4[;yz<e Īs0s.OH0ϟee<Q8-v,B(gvLW4C a#1YJ'҇\MGSq0"%6ԁWQݐPkΪ!KcHXZ'¶443@Imzk{PKrE̤HqrȚ-~Y y阼lB.ȸZj$U0lZqE je+2df({<~eg/!$fOt u4?Ьf_gFYakia!f`).:u\|lڛ)S\)Rt.@! >m([dQapdt՚_r4x$KU!f+?h+ޒ+"QpumzM4`:~"p?` Bi6$NA{W5c= ҟ~ck i~{;Tqԝz*]k )Smbbbl^- iS2LJ-iZEjhلѝji61p1S#eƿ_ Fdt>?#eGI-3Ja#ci54J7l8]ĭ~md=EϺE: aЛu\9tsC`4{L]_zp6we87yr*Uʼȑ rEB*dyFaI"MkA 'h3%$=Ƹ}KͿqw!%!F#LtxN]|f$n:+g ͵5~&@CO:rMr{}A^cNU]hO93j[ ?>?PLY~shjm(9pa *8˜ϙ)*Q&_WQ@_Dx?7c4jR<݇, r\Iw$mEyJGc % 1v=z12sqZ! 7XG04Z=,6u.[NAUJׅ%MUŽ'+?wE)w,} AFak l¯fvKHBqPPٺaޖ ''!59僈7"z`Ȟ _ <}}m{1:xF❤JcJj} @(QKF6sJj+iTk6(H7u :oqV|ҽOLracȨ%h|To '2eBa])p-J{ ypڃ0),V_@߄GݢDU O8y70gƑGc(uzuG¸^$nwŝ#Ǔv/Ը2D5h"NlwJ8K\ؗl2$'ISs?t<;@oH!X]%ݻk?ӏ\zOyv{ȯ-q;~.}JvbD9#\nCgm`tS%ޡ#M”P5v1tE@d7~zA]4mQ?SXZz6t8;#fH;1l TE /*bȔN$MD-+;Ԝ{B:`& iEv 7Z P=:d7=>i6%ԧ4Yw+@ǂ*#8{VC0lon@nd ߎL $mCj= |8mQ)SꕎPBYqeHSJ<70oQ(V;q 3;y _ y/ Hd2#P%}_&"3 u7n-U:etB:4:hN=Df-k)LM+RCt Ķ٧mU!2틙4E;T}CщJV9%D6܎J|*A ߧzjKۓpؘʾ2H}KH9 \7.>z ,(ן υ( 8);7=HŸE$6=@=TIa~B5PsC$]1nmQ HזjJU.*@؄ճ?Yy6J$ZUg>0zt'cizdY#[M*tdm4$p}UNEULYWQ)GT}=[Q12Z蹨6\ur[%(dwuGSN8TKNڋuG$@㌋a!s5DrGr%'?tC.0"?tx̞`cC3|=ɊǨⰲ K?`jma +B Ml;ut[EV CxJII3^kԵa|`ط?1ފp4@6Q3}I*_ޝ-vvív=x!*pjdJh{-?QGLjKnƷ 9yp]Ħ/jOF-R`xpOUn,{c&cp~䰉=+g+|4u1@ϱC`E(wbR1_rZ_`hΑ&J\K=*fHT`ˮA0ûyp<(I|uAm)EFX И3kX\x;15BS! ITۊ=!^bK@cѸV 8&>OAJ=thźy:Yj| (< z#ݘl15$n/yǐ:[8{b3-djcu  `'_=ܫx>)`Xtb/~c #FT:ۿt<,x b]ejB8~7[QZI^q dmMB6IEpN5 ?n[7dIrSS'Ђ> שwU''x^f1!¦;"^>&X,l(p._WڏE$c@["kOs,^*~cvuN.HO(Lda%"*#@J妤YECTpmz\As>'p⇃?YMFN2߶j 9}+TslN yRN ,ߨ'u8 wUMKC5͉k5'U?F]–U%%.mڝg>+Gڢ  )_21v;'$5 v>&lDV~aY7v~ 쥎Ǧ4"dzn:5_pym?uHuVb0g9e( P]w2$%  !qURͮc (璲pA]4X*כ;E;E|(a?=*-FĄ Śr%bA+܆K0giPՋW#Ɋ5D`kg6_ /}N܇fCG0Ox=9\ݟ[h_<$?kia=@eG}AkE 33$w}M' #j(ey etk]nx^00?Pk]EOəCgEFw*$BAlfs:|u ٜ+q0A/v`ciӟĦ{%j1 97@ܖkf <>rx-nq$6>^(,Wa-Uĩ$нuoF9-7yj0`Uu,B)WشQwLO':v AR~͡k}?iz(W+[ q$Pp=ZV~mF@oA>ٱ_2Wk>1Z`+0+OT_J==%{b5=lr+t O^ޥ.Gutkơ6r~Io2d&}ԔL60r]'Ac{2 Puo<Ҳ gf1ǹa/`ýI:}E ̓!+3Vm$SB;pv?zD:/B3medl/c^Qb߬4*|I6dF4{>A'0RׂQ.gPom4~b_Ati#R05pPQ6YGV7Z\+|ϝ~w H{s*)L׳L;sѓlfZ,9{? TcC=.+!tsPq 𗚌kr D+ v[5 n`o= Qґ !qnExCN}9Ζ*KDiX6|g-=_OB{GGR:j (3 |?Ys Jy;TtDbMS饰Z& gg Ttč?8N'in\*K}YtDYbꥌ5(y o7)?OrcgE2$+3 f?y aFqP.B</J )Jٽ=e.><3W"H-SGpu1WBYu4k/}hYKaC`eV'o_sTL 4*AE; e'>.85{ I,IbGEԐ0ƬnB6z) 8j$hhPz0{5!Ucsfcjd#'h)jP:J q3Z~Nmy!Q3jzr] 8X*}B6"u}+0aT`1dF=jرWicPv˹%e(i n@$[8sgL2lC5PE6"PJ{'XVyLg VD.??ZF+8vWw,|ds@h5|DȰ`2yj@r Dwjj ^_R)ݧDyTG je,~]*S% .Oяi yK=Ɇr zT*!!և =.?%Kų=eW#cx! tw>6z9E!H'cӈ@|\* lM@BS_y+ke }JEelnmw M)ײa"4,rũ ܃ Ar֠N`UB8U|JkOJ?g$JH:)b<3Jp&u"EefPb YԶ5,ឯbpnp;*W$ZXӯH:w8?ܓVծQXXߨr2#kMlzS>gًfvޟ4D* ؆)m[Jzj_ LZxbsD6+&dhv|k)-;x&R!~܆mm`/hT|M`'xZ9A*OA|0}F ҩ(Ql܋ \ 1Q0 ${՟{uN'?hZVAuT4AAh"bGlm3#ͼ\th^=yb &B+םs $Sn59~b'|G5f7꣢ s?x@.^ ǚ%} ݸNϻ#Ep`>ui%T(#ې5'4c'eX33{徠mGSkhɜ+(yAfه Jt/$hÂX8C3~h, 3г55e9T5\z"٬8 yI<-t,iK[!m2:A\q#M5A+9R`~Y)¾`I&m30Xr=W)Q(D J;™UfdiQ7T J~(3VMͺἴaAn6(0sDJ!CZiӳrMT>783+pl@lD^5|Fw\ғDOT+f|nzXZmox1k8 ^`ŚUlPMC GQ#JcAW[&`5I[S9t hkb{ ^>Ceb L[HXxݪL;fi }T~j]-K-Z0bP-i{&5H_vĵ4fզI\hK5?e<ߺ{$hdž&"^)]&|ݽ6E'ƚُ(U`.oٓ'B1@tϋ-O0՜[!L㟆GcxjR]0>ug,{_vH#z~84nyY7^,=:zD=+w1&M%ßoN`9 Ŝ'NQ8.@huԽP=;uؒMI^;3 &p58&Z=CY wdf ~Ō]K8龶A0ܟ[, zK3TVu<|`Jc?mo箢*: j?z.zSPt.X:qƑxx wnE8}Z}ǏF%i9C}U q ڹĴ w? `867(p .׎\IBg[PMA}ӓӉ9 vI &er"e{sb&rMsKH;%+ϛlj86xzm&2Cfw1BTALr=~bo|*9HO%tQ&. ~5L"Q7c9 7zs%GĒwΩΑ?@b?LR'M/pɳ$tDɹ_֛(a𱃳|K<6T`IՙM3b\Ja_>C}~Ìo!hA^ \V27% W`R! 7Xg y2j*P$TLKZ>qo%;:b<5 Y82bcoZʻ_gKݤ:a3~=gr@M{7}.:EޖiuGN;bʀr)kRTV5_Sh 4_Q0%A>$w)̦#C ixQвͭȟOWח(QF@WTQ]Յ f$ (F JsKƝ]Ò`vr7}*^w`'"*2ާ LT )o7+g_˺gka_HfD4g uK@FM? ?sq>4P} @nL{H]<#Q̯ հ; ))17.P;g5&@uF̯xz [݁) 0 5Wz#30z,߹R]Ly,r2"9i-,RB!3L. qm10W{-%gkoGkO*!:ye] ;bnO!,o?} JyS~Ccٙ 2i^Aq,-r( \2`ő4Qț^T\ eOm/˖k*9X?EaY5mުNQLhTW-!raM*9u;JPW,AXء+$`[|YҏKp$[G0ܬQY S 7Gw-i=[eB >$J )3ST9q˹\C _ߦhuWa1>AK]܀r`<wFJ&iGIGuB3"g.4(R SB_p)jw36X+ 堉&ON|\L_g8k=kܦ0Po~r3aC8Bq;**FDF2@εhmX> 9I&jr'ֺH#rQD|8z/'$Ͻd(,Ow;oVTujQi%o[,߬[k UY<ܮy%/Oj!{_ĠCL35 t$w TC(yRna#˙*K:ޭFU&f^Ic _щ>3HxRuqېi!X+Ct'._ X⺹4Zۮn^J,Aӥ1=8[v@?)IqVi0y_MO q3$^Atvz5 U5qt7pOD؁ytdbR[qcb0y$m-l!M'2Hgn +,!;C lv8Jݐoΐ4œM!KBݼR/WYLUtCoC,Qq% lA;ѿثԓ;|Hunkz?8H8hYME[i Ǟx X]V%RD7.IL7T frOCGx#6BYrA보taՔWK&oY+t/So!]9hM|+zKnY0mjdvyIΞ-iϬʹIFL}hfr:xs'˼Y2?@vj%(Ukzx)xҩB`!Ak:r黓-\$-s%wb5!w&61ڻZ .;49b{٦^2|Dic;1u؛No|R )6Η^gZDOneTa \axn9 'ׯ^+Z  JQ ԝ% t $-X8u,(EWo"9&kҪnK_EȺ`iPnBX♜Z-tOM \}7MBsN=32kgf41Ue!v]pnB2xCOE`IA@~F gէ,PKhuSIXH@qۅk;Wqc1="dA'%gRJ L]뉟NES""hl1bCYJx>ast 8iCӶmcPP"_R nL68r}?(xm7V&}X0Zw!-< g_Iǖmgh:[lH`Nf@/RUi>h&YP +.W=; ]6 2q[W>Ҳ Wfy}' l-iog].Pɉ% ܳԕ۵RaHԄ\k366P#Efx2Q ^@ϊZgnUWXw>M4v<`j}uxɳ˗Q"ґb݃Cpǐa:~9qzyH(!I(98zr+Km !(|ǒ 9MM_%I #R'ByIaR鈾N5eC sJ/X%; sge.!;@2.ֳI)x 勬~^ o G5!6p=dNArB}8>tlPr1YϮn`HbP]Yu9]a]${kx%-2 k,W YMb^9P筯JrԒzB:ΉS-f2P f l_IQzJwG̗gN0z3QҶ5/Ol\я:e&`K;ThS,CK-mNNO^ͮv/:dۯEc#ÝJ~(J_`[/'KJR%~(ڸZyxߖ<~һӑ̬o'ǬUZ~?-::PiJKMORVp3=3i{a.[Z0_M[ 0e0q[ebmxAޯ[Z2r@Ei.jJV[*؋-rcs3pf"^3Pxܙf6C메w"Ulo6=H]sbE & =YOHDYpϞmrD$}LiR[A쁲O9v*X'`aOoaKK7#n(ÜЖ| ð)dfH6P''0›R&b%E=ΔJ\0Ygpn;aFWFݛ2*RȖzb=\"߁Zڗ_ɾ)}'0'h( S&uE?l* es.] #&ak$=wh=:<͚F)6HcTld$Y<8mkɚ%Rg񢶘nΐ[®^}oF%|<@Գۯؐ^ȯѼSP Yeti28Pa̵l;V)E@ Ӳ4l'{= 9y,>Y]Yq)/7;о*KMPؿkJ{Rj*{T;ܝ"5Zv,KxpJmLh-8=T| =z\ޤtB˕ZZktN! W[#\nɜIf*Uus;[)dZmXT>ܷ7*7{)ȵD2-;=k9Y|4 6GxTEO)t6 bk5r_qmYdR9{L!BÆ{o $JN>J0 .TK>w>`ci7*l}E1M2{RIܩ\=ƌ<RQ1[9D&ɱ𚡔l0*:&-<Bo@LJCD\[b|.ܓDv:V0G$=̔ynbv)u2--'+rS[Gih2d'49E ȶOL%t_ LD]d+?F_ujT1'?-`^ D/FaFR[v:A(B/'3'ЩB`#mp½d"ly 8CF,VJQm[mYXF**`l!rv@ +BK"|ljX f-un67.)[7IbhpV#2ŹX艅gn1bo3 FjKQx۟3R bv 2&iv#_ݬ:&GcAߣe'L]@_aꎝ:;#& > aJu5i3pL|ip]1~"$ WVNEi南.2dC\P/{9zPYVL9>^3o) [$CAЩXެbԻ"!β=FmEsAY6A%>Ohٱ]vIhDZƧ8W3X(f1VNgS-WcDAZ|B 3Hpp(~}҄qKq](t.AO.IbG6=VwAv0_6Ow] ]ʇnsj?.kn/?EC5N\̡*[~nKv]?\48ebu}C؁w[;AVt!?,|q4]n̈|9Ne:-4TJCdc1/_o1&ӏ/nؽfX ̎3ch'o:(O[bJ"pak/W/s;=PiIKA~xxjs$]:φ-r`x^Bj6b2\Ev*ק0*Q#gW* HXLe8kh;)YZ]Pu -Zu47({V.Dc\]?Xm9nigsrtB > y* :#|ZNQ>*Jj(CBgCt,E81F|46Ȧ/4:q;OPR[x>lI=ZP]Iw#4Vv9A,K1ؙQﰫAQ?1.ܼ,qۯ #D6/c_HɃQ)$$ZG=)RJg.R+0U{~.(xd[oL8E >Raܤǀ6B(Wnŀ#/ 1|sۮB "|쎧g-ؒF`> 8%!D%95z묐I%a箌Y@km Y(Zb{wEGzx'ٍe`=XQa"I\vr_}*[C\ԁNYR݄'M17(G׋zuJhf+Odo`m)jbyׄS;X}g @9h%GŌΎΌ7f}ラhn =ز]a.:G8;Y CoVNÕDb\:f ~tԽ!̑}xED h4F+g+9YS^]kF"AD@Ϝ]B^Y;p|5ȼ^醿#Nj){4Lm̈ԥat%HbZ!tǖɕYaS C^|m9/xl∐t,wXqD]N`Ɲv+d/l[wefGbm3Wō(tF=GbW] e)?.)LlsgGhbZڊ򘋧2;xxX{",]4 v(֓SYޔMkwwWSO%((ԯPj;ϺZ_:›b4V_1M0Li-ziyw&>ALdˉdFpDeU |+ -) CAMMeʛw3kԪ E+AݨQ&sXbSG).CrQ(jR81v9NgGP|ؓ44sϨ.~$kSjNSZ@̟{ĵ0HXs&4SϛqOrXM7L7`i,("Gxb 並tjڱ^*-6噅Kn9LbjUɥzn:[$'\ꩌHR !{k(%rȡS1U)\?K[do։WN K3ᇟ"r22[x7\?,Gb뢌A凊P+-Z$%ݢ [SL LٖmT`,mEe_OGPdK]1>33dI(o _Tb:KῪURKwC#/@7o*r`'Ц8rh#gi߼ VbMqZ^A ~E#dtvO}kq$ޫgYZ55e7da017dc10c255250f0abd04500916629a022d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 915082dd8be765921534a4eb0d5827ba5ef779c7 16ec20398cb2ce5a320152d13a2404b51fee06d8 f23e02a37f73e8c50729b404132149a6cd09311e