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 >>v|d ]w UTP:threads=4elapsed=35.004cpu=118.112gc=4.3767zXZִF! |]ŗXiɟH)0%oVkysH/Z qmleaPR{FS[,6JSH-S!<*Q=ap#ss~Ѧ(`a"k[eٳ!V2avڻFZZ L:- >;ca(:vJ-Z(SrnH_l-7o*+#T|V#Bd 7_;Yܫ%C4n[;A2!\9J"/,HzYvB3`/mTk- #GHbIZm=n"JOꩊB]pAWp:e%/Z0W:6%?EKU a)JG`ϛC 9@̪ߴ8b$‡C7K웇A#A[2߿:)5j8(20Q.̉ݫeLk&I -ŕ8s4|fA2S$f+^fksJrsaz.zT9>e_o.eaI\xSc pjl1f}C$i/e֗ 0-M) /'E b|1 9j"渰 ׶=k⤳p1WסĴ҄=MC1+RwS NХ>N3y9cϝ C.UZ1zMT:c Q k\TZLHW]͠7=!Vΰ; lax)Ͼ)v= -5C-I1/7҇u- 95ʆ ܪK:*mH&!2tb*g9EɦCRȂ>V5-H}Zȥ>[:f$-#";~QHx|t 8L!JaW7Kn6<Ɠ QS}K[G>'4 J+iՀVzaܥuu*ۭ]W1G_G; "dx?F2<Bb"C <*}3MX.3V6^[Z`Ka 0U,CcԗiNv[.zп?^ܫ)Px'`"^td,}ޏ.3Ǽ(0,"\"LWa͞,$1OJ? FAh"z{x?ل{׳C::any I_jmQO7@"$UZZ5y UGKƃA8u:M(zXӽ@S:4b '0z aF(YvLjt5gX[vp7-lUQu*z x&˚xdٜc V?*AqL*2G!"4ƐP7b9_ Rt& }oבitO%<^%:j+5WL3+ȐaLFGfG\̵qhJK _tyޱ1L'?gG6u5GCX ]I׷<<}^QyMpJM%FڹkmPV,## פd-{h7Ԅn;Пh3  Jlc4x/5moXɻ  wX\:Xzoi10c_)[eoft,hʱd*i=Fƣ!# /J`7$)`mɃ .VP= B🐔0|@C2!Й éCznܖߊf =|㡽b.yؖuR!ySnHfxη+x2 Wj(nΠ[IfٜaEù qVB9v@ 鑕>Vą[]bj_<=YSw]MaȳZSpV74\6W)Kz3'ӧI+dcLI>Ow wɋ ̀+#o2H$Y5ծ(w5ĝ/|!SPax9SˑPi͌ Y ob 田A pDIk/ $u=(`2@X}2dS6wobq'37nI&!7WEۀ-m3,w^:eԗ]DP8%$QØ}}/Eȇd0ޗcwt,ULҨ 7P$}"quLF[.4Y%RY( A BR#0?&hgD]Nh'l^0J+&1d]*PVU?fq1\uk} PU)k(j=4K(r˟s!{Og@'k~'9QM=4 *^a9I yb3|jngG7$^:;4J@!DJX Brc 鏁Eރ~ET{5>OO+dkzn|L6e`xtWޚII(*nR4nPk@IUI+C} #_DzA2ƴ=\4V830}jMe L  Y\Bb:SltV'7_ڈm8ÆTvW\W*]&ޭuf2MF?osV-2]gQ A"D +t ${ZN322eڌG+401~1VwٶxF 1l!Xzk*Y 7"z^.QYxxT{[oei@V}.`֑m̝#3`6 x0#Vi~A6 p'H# <ܭIGȱ]#Q7?ͶH?]أHI Psz*Gz 7P[cއM&亝-7}g3{;øВO]{};ɘg)Oip5<mb  A h9%3]Ra`0۶-^}7 St]eB]:|sI4&B]8&$ۤRCF1Q23R.I:0-]bX5+cr~ Ïe}hjuL}0 `pu<}XYy22%؅Qgc]ޠ& H>.wc]Pq"$LAeM 5W:#iO ,8'"X8.̫FS—G<irwSЗi3'Nrftڊ^>9>jUyD?_3 )Tu^|(Gn@'v0FՍ2G 4B[=QC)A{DEuLrbk)3;:u D\v2<.v/Ph-gOY`2i`[N+'b )3/y)p˲J9v ̳w,k\*}QBrD2[/$A@3ߦY 3hFW<$;VQ:^'z A&׿]ZyL$w%.RcQw;@Nt[umz͆`k~u$uqJ!9_4;&}2t]_6 krTp٣C4^ Y9@DIq6A7;䩷*cF >ꖩ6خH7r3Ss[ H.pͅ7~acd^,OP}~6GpoB'zv33ՒY\ʭf_Et:!vh$?1rt>n$fOy9+-0EF+@]ǝ+V[;gDOHSUurݬaܔ:EnaR҅,I֧W»&R# KX:6ݙGDJ6 :g/U y[!&ft-!8^!;6M}L+<0]9 ێ=-*'|DhYK7%uQ=֠xD9Z^ &5{E_Qx /YX<#^=gdd`1,P\J94WXڻIElv̪tCvLd*f:#|fաS88'~ʫ`CaB!k*[`!:'șz9ܩx|6o}@SĽcRO4 @[9&@օ=uC:j,5Ӓc 3KƢ9&Q_G|]A|'4eldk"$=!EgdW 9E ُ5 )Gڵ?CK] "T0#@b7ɂ[p-1" )6MJ|.(Wwan.Ņgi$;hbA|%& Ar~4_8G<:o,E~*"iƎ>)7~"ĚyIk--÷_DlF,˪8m5~Or'8O b>ØTmO~Dnn|mpG$$|/9Ă n10e[(֨$1\>PX<$+NȜ fzrվ07PeD~Q-*P|k4db&o,(m($w(ޓ GEemLp9^yZNtjR\= ?;^ԤF8ir!b!xc-RN唍m\OX[u>kEs_EZ x;TfVm l'Jj 6΁% G?[fV@=$tD5L-f%IX{8O:ю7_%i;lx_~ +.В>(^m]~_Qk>){b髎s^ z~Y~'Od-,$}y]n^Ty^&ˇ?ei^@x`IyF\pzf7#yٖ1l~k m= "m=YL0+@;E^knτ[ћAm!]R-0S -TZ>&%gcmR nlHulbA3Kg!e7pp&]sBMR05$k &{Ղ/mw{r9%uaV8z j~ S$í{DTr:k[KYxqD{Fc .5Kco"qxqIXOvI{TȮwUޫKzRA#+RC#UźÈOug %+*U>*aOH(n7I|-,s_O.y>YQS} $rss;'IBrVN>qM[^|1]Kab6[YlFjPXb|xF` VǏ-z֥2Dm"~T;rs_rkazZ^#шalr01uq[S`Q\dZe`Sa'A[yPr/B#Ξ`t`yB :ΆRvU}I 괻*RmM rۮ(SJ4v; -m V=?|c9ii(b 3.9;sD P# a gDa"&@hJ퍥A[ԏԤ ᥅9Jy]trjў#Iό9җL*wKOn*[ V ~Yї3\3"Pċ0ͽha L)V) # o}nu4;r`~ ڜI/1B\;)5{!PdS%0ZdaT{WEhH]YY@̈́FRvZUb[SlpUJ J!هc[׵H(Ir+j#p%G PDeny˺0BنR]jc}HIQ@)r(wySC~2(DkF&V X^.4\)jHMTK[eW= o܏}瑂g8񡣙_%vމB~6QJf2c6gہ;ĆN[ գf(`&h[ 낇tw-W'O' cwoQߔKzP r<,⮥Y@' ^!f!W,0(*q ]B3~ʟ~58BN.wrc9|(5.pհSvrCEJNjt" O~%<{W'Σܔ}otW O\գ-[;.E{J_"qIM|:lEI( aL1@d~ ibo⟔u"i|3Ȭde# dzSBĶ#-S} ,`!L͵a_.uitkIe,dtJ.>}m`ptroK&H;F{6_.ōJB?f>_P}KK _Kh:}@n}h[K]rV'uCso[zɵ] n AV B$^:ҘM!WmFj\RNUE37~鳈?kThxcfj tXUߝ溹5T~$Lj<%jaIVA񪶤 K,bpi]+Yoi`:%>|E{)s+#YcKRϱI<#Qp#CPq@7}K>Ƿ[ `p8L8#1^·Zf@fUpe3JeEώ3g|,$`ŋJc-ݓ4Ǐ{@ E&rx__H\yT ӵV&j!Ğ@'=Xl~ ֻcA]BSNJn%v+MLĵuy.<$H*hvw;X"] ݈ 9)Κ&PYki9AE"IdhGFS],$e Ls{ @=%NӬ< ݡ='k3)KH1HY$KM ڻ*]Zg: rFԡٺ2~ e8t/Ǯ˱[h%ĭH%p8m\ VE#[7G.T$lr b+ ,A ˷qWAD:x7n̹#)25Hvz)':Kn{~< 1<K8< c$>esX0¹_SA;gVuhgج V q8oag\rDS>%LNԣ\ݗ-w.)8S 'bnJ&'L+O Z;\ >,*L#Z qEZ/!mN:[hӘ7x^ ;`^ L$yiR1ܾɼfDEb2FsIxm봧̽H]@L\@|lAY *4$B(`dӦVuPqEˮg)y05 %zDn!6 :.Wk U 23 sl}ԧ=lPat'j`^VF42'hT:ޯBצB3">.Dϕ׳K'a{Ay-q$渾0uJz<hKP}Uim,yp6ۀ<=>->wG].7̝ j2CH174SҎ0ǨZfGQ-ݎ+kT?YAK%ѥ9@rW&l/VZO!hK * JucSXv`&˳kMCLsL)aW^'u7Bl(J4GWP@m|UDFlFavɍ1cJ^s]nx].3 ZoHr1NHoSC#`H_BnQVV)PRC3=?rҠsD亏zQdQJyd+ Aw <=tGߪ\- S{>]Z/.i^@i1=]dY΋{ЭE%u=|e~/DW.9Us]P[ h CXc4+!\Gw8iImRtEz/ⱽ>ٜS-柭d̓ e4g-+Ƶp2eZ0޾-ogA/yKuVu8#Z%\!X6UX߼VHJ򫲨wQ2 *9AemqؤkG#"{n*zYnEą1vXJ%@Tnycnwvڸ ~ 5RM1p$-Lb~^9o;ع=V/[|鱶G6JHd!N0bmqgۘ-UG]/<4Q[S)P 8I9 `65(?,Oޑ=Eo?"av_LT$fviyĖ[h-8'Q>}G<~ziWl?>()7p:ٵr~aYDa?7I:;F ULu^_< M^|(! GE:;p 4}ز@vQܥeƲQRƆ5c>D#|l'< |bH{TޓYLײa(%&j98cZ5ܷc]I}@֮ ݀|`< 74dXRgjOO{} `<*:L}I,T٣x:F6\gEcI1{.s{/ݥfdl(XC8bkd+քsI]׾w/oe}a_#Բ/lo4\ b&>Đ=+qd_.!mXh(I>v!9鮤>wddߤvJ(UOK~M~'^G`52?0kF+њC TQ"OaYIS6D2XǦCquBMƥ#O,_ p> $zcnbL7 +)b^x~؇1rY* _MƝ:/Lr'G/!:c(ݢ0 &8Jjݖt!iK}E 8nF(bNEJgO)P ~иwx `6g hyXhxR˶`:ЁMiP0,~5*᧞9'.y' ֜!Ƒ &'NKIΧ2m%8_T7kF`& axXin\rY4Bĥk7N,?-ltd.nF QPR>Fh^ϺݞSwǯtinUh^ ˆ.˭ͣ쌖˜T%baP_囮臾mtz] YTB7F>y!연&".5ᶚZrb@I@9G = }v?mwu&t`nb\ Ȯ=X$ed_W!* {+m<}g)WXGtYiiFlx瀔#/D 4ڵmשpɴs2%fܓQ$&]:4 Y.Xx3L90Gx=-JQga\a0a48p1;= 8D@ ٳ(NiĎ;A`RK9:G`(6yfeLNr`.'5xv"\Ƴt ^TSD:!:z$Ll.,y%.E0mc_%']Aֆ_ 1EP%=P@ :#x{O653`[ >p^,~ޯ%Ƃf݅* D ~"+>QVF)m )G>{ 1ޅC?<ꞧ,$~`w9# 6oW-P6IJN7kU8B!cb{/~Aw6N\Jɥp5vJ ( ,PhѺ@Ru%"B~ح~ TjVYNgcc"U[3@F}X}1_K=ꁧšr =-0+tOBd[e΢=8t%UOȡ55jSe e,"JaV*a44*T+|h')o=u2ԑ19Mֽk4w|nc4x,oV' R"UyH'̟ATY4-L4d yUu/'[b?OON_p~-Ap3 t.[G!EpqBoh6%w (D%zޑBIaZf,;1 e--ȶ$ !- #u+ئL9VYM>n(T+p~nsn :ͶGpHZբ5Dwud\<(q]ڛ+VUX/׵[:|S,T ~͐0v +'ʁ%XEd,~󯜲Q:;W}tg9R߈4!>p+7A%࿶xQ ȡagAe,tD*IP֯~l졾ZXÂ8oZ3V][LuD^PqVC;Kw^ݏG9PC`V@Fa *^˜{+ \D|"sV&A$MʦqYI4շ04At<71Ƴ:W@>K`fl1n: ! GSC=qf޽ Y FiY%pIMv,$sD-tnAb#ʧ3rȇFЏD&Q$>DHD zьǪ @z5CqM+h|2*3zPSYv[c~6o56nbaR.p1#Gܜ32|!xYo/K.XpRE! X[͘a+DC (^@ݳ `n裂Ǎ .S(,(+ 52?ȜQy&1($铤6+\eAIt>.DK`pL@?݀(jr/k,!EdfcOX7 g`_uL:t-!ӯ̽H&/;SKW?@X~A뉾xj$ \2,k *ԘF?G &Jk޴\65}v[Ew=#ֵJ2NmihZHjKGxPDiԂ<*ۚb9݌.K(<|Da>Lf(=iTAxamqբ!Ey%#fubL LN 'HA*rk<nˋ7S4ItgfxմVVoiöyg/q%*-w!$Eڱ(ڜ"  ጣR"` yY&0+2u4M`N*PLW|`D!m _/XYLt5R]Vk/l NcSKFi+}BEYDU wrYNVs_5c9ZU_/pH<[Ƌ Q{(زZ? 6# [[L{hm֣^w80-1P}&'Gye6z{úwgyk n*/%#NI# $ (gU^ ~<Xcwlo8(|IkC5-Cov&9vlbs)@:x6PkSF8]s@Q?[_5LCJP鉡IsKRÌcO Y<l%*0U'݄m?fR@ID7I/gh#:h|4̇ /c>z%xRLiZ}%iĔa8)HbW Z4}OB/'na9WFk"D# ֱ!_2Ŧ@)k\Fryؤ ݎh[V Ȧ2b8&77 n~\~8Q]Ƙ\i]+L eK+4?黼Bڍ.Ɍr?8}lp y&q Rg0pbFʱ%*u_/=or{ި׈x#DqV 75L' B'hҙ* sY\uc9PKQؒۘ>Oir~U)VXY\0H^[U bW2<kpletзF8[wN&m?f(4ގ'\;9:^j` ?wȮoWskNBet7=$ƴ]#AnN. 1&V›B1>Z$דBCU$;8 jbZ}}ZsV-=$6]6uHTlYu} sSCuU|.rL);OYŔ&/rS&pvǑ w_VIdTxoGdT ]#x/Acj.4q˲!P ft\>z!|{-*;V!hxHWz~ Âivz bPixVB"I1'BG ỹF㶻z}v̱qulEs+t*WtƩΔZ[q"u/60cjĉeXI$Ht<<=72N\ͣWD4%99IꬫĔ"lg)o'">w^[]F.qi(?U  ׷gN0et54cYr5]iͭ'6ql{uw HM,V4GRɛ?n6j#67\; :b-#_ix@c ƃ%هs6oq_"d rF-r,^2s$ח \ 0;=Grj/ƽDܯ᜵u:|Pŏ8ĈXCM$gfxoOIvO:RyE{Ϣz@8f oZ5?1R290ۣH`]5HѕI{~H]կZ)zh 09Y] $m:'C" SygCÚOG|4B}Z roӵ1E3&c&MЈ݊ [5mfWZȩ[@(dg\{RŇq,)=J8>苅=#Z*%}UG %;:}yUu-te-j -6l4'[Vֽre^G|LV"i'];} |q=~f1S*It*CRO_ 5qOy"삥̀47 ,oԀÖ˧7]2n`)d19 `D?ד o|(YBeX%M2ӨꗌR|K|`HD{VEA0û N߰Uӄ%^Aԗ";f-ۼl `!A=NR*719E F ɭȶHS|A2@i[0 @MrHͨHDx@AVNꡗ.'A85CשImէ/"^h^'j$ϩQޡ#f'1X-:@sXAPa``HUҙh (~S,}!{n=sif}BL߯+$BGYYt7w2.ڸQ~h6q JX/1=(pϤ䫩Z2,x f?ߎ02^ .:,m،d|m 3`6zU56hP~GIJ( hWsJP鼲>{x1bxl8A)JX̵4hyH̱! Iϣĩ952: Vܱuʗ? Dˊ9a.[Yh {Nwmc&x^p% no@IzAՁX?Ռ߳,EȞOYR7 O9Ija=P].>#2J7tsu!)[ȊDBSۻ{Z! 'f=e|w,֫LSAo%OZԅ[Q m;]bv9_?vǂEY # X26~X^%:bI#ð5)hÜȫGPJnq tlE7A'lmr=̝_Q-+q}v흛/ߢn5ly\3Glj#$kc;*.+MLH4SfU4bq\ʝf= kV|6X7l4eg@!I0ukCIXUM9؉R.z!-G.1X_>&f)WЩdqY~!ܬ1r;Z>`}Y#@PIK{R4.7zJ\}cN,N!#}&i]85mNmdhd `B")2 1M1Gy1HI]˂'1,ށIHC-NQj;xu/%i_r/bhuܭy7Cr=|8ܭ{FheE@i25 CcI쭵'eU4oI5820+2j,rM9W.95LIYt oo\lntO`[ٗ Ui~N0B/`8 {S,x5Z)}rVϽЦJۖf e򓬸p-A\Shm1Vy R"Lg}D' )0 J= 29}3Z-?%X՘!E\!݉R80꒗lZ!vJ!5I/`8\YO4r|%15b*8[€8hH@.=Ml~D`1;,Sm&Lâ _yd%TrfXN=-p)ocz8(mŎfBV\D8m\ k$qRp<bU1{ɫlM6Zg5gh$`pqKo'{} {Q/ne7+\)"zhc[P,ޏAV7Bѷ}rQθ|%j=Tm0CyHPke4߾\i !3K"F_c魃Zp*UNV|tEp:s.)Ö3A""ir 2S;gP~js=!6 X&gpT ̅'O~!UO/|#jwRl/_LCFw6' 8T4F`K u+#m;HnXBs(wjQqW%hZO`~&0K $rq/7`ucڦl;iYW[Bɣp]g9}4evbtaB=ʤ?z~Xa‘K_֤$gb;B~h.Y@ƦVolQ:5p=sB FƤfSX í0+Y;>#;4TXz\۰ZFw'Gl1?,T'Kdx/ @SKP *b[R)$_(bD6#r y\'-ު޻,_I>ˠAu\6{3Y3 !!mM9rOBjJ:*o(yh~$L9W,Tҷ$Oy$|RaL#I#(B]v>sncv֜p< , 5jWa c&FC/"X4eؓh\K2 Щ]IBTz!frlO~6V@aN0,jZVh*paQi0ic2姤Snçk4Ec~$VRyv ^u63rp{oeH7;y`͐ʶnbBC!΂CUcĥEWzo>a2cT'i&3_bJ#~NBR PaˉuWX,Փ#^1Ʈ쀾4lD&ޓq ֶ9%~'A؀k4מӥ-X .Ս2SQ?׳M}t~{fLBgks5]FFUl/-$jyIxM ЩS O.&;C&?@œ$:QK%Sn27(ffPeG܉.2r= rE Eqiа@A jSb̳w9MrZ!DD(y'ȅڕfm=7y UPGFG7fyʑ=>B] ? 揈0 VJU?¨Z+0K0ipv@yiÎ"xq"C0W֋ < ALczì qwHg4WĀp@*& v:[ UdI2 4"训4yK^Lb'uo:xR:_eԣHgcMb1i~qE`r7KupprI#v 5#Lk^m./Bu򾐬1[8 }S`q*=0\v[vQlOty<d<&i⛄b.h 1OrT)'nqoWN@,s .';3U r2?ֽN v#)]7¹<-mLJH[ǭ)|B3"zKAu{3%@lhCB?)&=fǮ%ulѧ:"yuf/}\,A d^I^q6&m"rMc8=*!}0fD}Lt^f1IhU܆&`z)2cM@}mv\MqA?1,wxm>aWL!\18̊˻K̤M M.̄!ջZZt%Iy4wt͈%٘YLo]MElp;SO7qv"d#<&زOM҅M527Bj+v¡931'd0(䃔!qׄRXRY,0ߏc5-3N\je=FTNQ[pD̹ R$+gZ ݰ; ȏ{zDS;ƣ%_/&+tQv_ JZvC_^#e(-l7tlQF\S8mm0J1EC|{K;S )^O[@%Qyi[[jS=z(# b8 NQ]wH?5 )%_>DVK7& %,!QS^`ȫjf,gWov \T[Oy-z4g"iVɤ8{ᔧe>l" +Ebj^'>7B}:[l@Zn`w@oͱkƪ ND4]cd+~ϥ^,v[2V+aZG,NsoZG jAnRH3dt_uŢ˵J >R!L`N@g5 qFJ!~gx[`xu7•~ѱz[;`<`q:lư4?OhM1zgL멛X7spF#8X(>IE5Qbsow"ftPt7$5qx;f{9J^(b%gzgf`ت܍cN,XXw0@ h]oSnЍ`c5=*7rS/w78lmف ֎%aJ/N'%RTTTdgL=iQ",#H0Co nB{RG>|Sɺ%8z) Ss fA讀?G?m8cw>PfOV ub0Đ^}"avhhׇ {@Yl7 [)%%&_QȽ "i Liz\ ZdnGbH  lixSѤWqo뫫8{sRO]%8*[VF_ aQ9\x*ΧF>˃gev<dRGbk5RxĞ¢}%ZEur^]e%-\IGA|ln̤@ *h=$'*[)]'N8?pjÑ6^@%FGe~a#,|HΧ*h˥'!JT|YY7OW~.3aw*V^`s5ϐA5Th 1Aq7_6>/;+U"sR[ o@L~vhڧ2.2 ?(%۬o[ F i"&lj2~ {4hc\p| & 23D1MyVjMW԰dĸެ{-FߴRLO>.V!V:цvW҆yim%Gq;JF H%~sh @ΒXm/8šGi#p*& I[MFlй [xCU\3 ђOXYqs/QAbNP7Sx\0/Z[Ξ< G񥳩D R % :'SB Y@9+m]dꁭ@+ц[(s@dqtWY ȵAw!w,ayFqLΪ+9 0ا>뛋 קV/+7',QwEn bqV 7q%yަXBEs3O9,Rmx7^ş\c}dEcoHɾ mlFvYpbafOIOֵ :M֬ Ao'?O%oNjiەWj{4>/4Nuz$ASԏNT߱oD&KxFezؾĖAIrVC<Ԟm`7 ]P)sbPrؖ6׈BF3궵m2ͼżef !([4Ѩ&|Ζ+>Eׯ~l#y L$ժ"[T4S "*p\&U\gGfsL#J|z T[6p@7U:gԾgլsI()8x;zFK ;nKL0(|(kb7}Bd0>_X;}B-x OwmaL.!xl%6g֞u 0To^!:O2(|AGOp]e,cʏUmx@іkUAoӝW<ԃ/(g#}19SR5D8H=7L ;]r~l@c;-r@IշRYx ^¯K>A`}"$]Ky˫MB BAÑ8 eBԲ5 !2n󷇝^D;EQ),p`kjh䬮-A80TlrНV(|G0C`zۡivpƌȆϩNڌ ,5RCF曷j){D,?m8%C)1yGe/1#]p8I!bHs m)pa;\`8W!{<4=ә[9a=wFKg)l`Il 90E9ҥ1B)BOQgu<5F{Br`p%yoRfAr] Yl~f"2() :u|@Aݤ/` Q37b7GCmK b`$ G}Nj6 zOeh#$4qfZ+/0V7#6NEBT4X_zuGjQ?1i%/]:biS<ӗ>\6VC$τJV 9j[kq?aW}ed(ZO1B_1oP5tNb}%:9gOB~HT ,N;RQWfF<~-͜J|HUwnN>E`g|Qj-S e;+a H );9l8Q3~ÔϯOV\[.4tё;[p]0C _{8OB'sl;1AQz>gV5]8ϋJ_ƭo8]틫MR eإ|2z'< a#ZϹt.%MZ O/#M&`ਤ2Vml\ME]f"Qhɫ`_޿PYi=b.A=tm{=byzl ~g&(GjnB+ISϱovaG;*$^ypaEKˁ7x =SEGR.òONT6w*F˂d{ð ŁJJu+ǁ =*hyzx8q0Wv^'o iFXc]>__ c<0'ԎPqq* 2r \ $J)p'p_m&Vmt)"+fTǵ^.|WPI~+'syip@{u3M6^(A$GT]WsmƘ*#hC?_Y:~~NjLoa8uտe EwQy}Yb7/vrs ~|ҪQf̘^a8xձ뱊a׏u~gNE!+AvdR _i˂48/lʤ,6f: ? s c~gg\%Vswd~XC8 qsU7mGPuBSf͖xVHUoHuNoؿ(DdEpa%S,_ 6 T"+3'=G?g•00hҵ~tLZyâWe Ԝ@A)d[]٫R9N :((V xI+*a\k'zeFe-:'~ocĠ[[Nk.L5q: eMeqdmgƮ@_ټ-p*df0jK*HWR+c},wg?h]MnDHVlVr\A6M N/zO: :4_i+#fO=wo1 9 |E6\Y6WCYԱmj)0pAY>6{3${ra&B /ٛ>aBs5,"w9`@}3+{Fr¦ռ[O ޑI)V j76ݘۤؼ*ξteu!rQ726TD 4!# @ nN ߇ƵQ#/]Cky oX70z1m{ !y0Zô+[tXu`|jscBjqRǏEڦu-h+{W*{MIc[rpl /a]'j]u^ojoQm"3Vnu%a, ̳殬cSE2Hۛnֈɪc04O/+])1l *%֛C#k:Wq8gf$?F0Gf(Z!'J`3TV2NAVrbH| '9庱+^x$.a>3>m)BXq2 M@赼~fm"DXhBIy޲w\uqڠ]%6',x.BE)")> 9+:P{[9.4\o1u>\seʘNWV& #Eay-ͅ$;y9hMkܲM~#1{5˷ &wޙ''u#ŹR6z}1La0aF1<\/AE./ՕPp!@rS᫊ /I.CcZ9M`ajPpPJI.qBJdb{0ͱ.JQ[pޘdݹFwn{z:!D  BSVw^_!L KFZHWJxg=본ZsD#SkuxlLj'vysʜ=`jw!"CM~ݣeoxVTړ6FT(;}~~^]wC찘w=l<1aȦ&Ko5#6<eF|73Icʁu5}7tiXK@x~4M,,W/(>Pjٌf4 \\b43n/Lw/z+h>TxD Get1C4c Z>'_}p%%jG{B3*-=fES@Θl*HryNGepӡjjdeWњ,DXoKe:!ZGWxOO'o)>@/s5^qf]>PuI-{8#+ NY'AP hl&QN?܌;^\K^1MIҳ -\ѾCGZ_-WY&ZW^w e6{zCKLi9bC(SPC/=?6K`"S\lfilO*0e2 D yQ׭3Z걗ִQ]di|4&] kEഈS/pԅ8 I-T@G'-dN9Mǃ'&PiE4(bhWWݸJ͠gƯ7r'Xň"/(cQ#ʰɉD d C3`̾nnIHjTVP0L4e8`, !\'%&Cb k7d@Ypq7l 1.?` "8:; r%ِqsV 6cPK1"s3/銑 g#GˬrJwj m@ѥ7YR(^Xׅ#.'C?!|}Έ/EClҴ?x@EK[CRu gd D7HșEP`W.qvYg &?s{W 3mjNkd6٘r]bn=P Ť@@u$hB3t&iNk`[M%rz _ks_Q#,ZXy*s$a qE !)*b[J #dDJ(kAu̓orfsAl%7"Bnӏr7:9g|>vx = bf)uwXexUfzW.Ok6lrG`u<]gSN8ܦ Y6vxT9#PyAH_m_H 3; "uۑiAiW58)5H"5U+u,{kgDW9Hⷮf-RZets_ ΚjG'#::bhE*- O?ILC-{bHŨq6X%@1*UyBǜjh _$MKfb$w #~h³qM}6xcB+e(_p0MH)!м#V-A]’vsN qZ.9G|ՠq>EsZ@lwjPɣO[0J"5?ϥW Kr$Y]WNS#.8?,3Q7aa|bR2? zg>zCfvqt(,eY n+{[e~p2گY2uwïeP/WE-:&f W#*KfiK(JOYdR (9%;vz{v9uT7hA{ZY,SWL :`YV|0% '`No 7UUpն+匀t%FVFKT л,j~ h"ぐٵ{O-d|hnieK.I,%U[уz+7\¼.^<5\,Mb:Rʍj TOsj "%gvo29;3f.cGV"h(Դ R ?7Hn߷uT,Cr!0]6% ?h= {$ =-@mT䶓L׼k.몃K4KlL7E7DGnJO[|,&HV fQe_,vV6n!7s;:~"*8w(\*vLf1 ҥ|O4ƈ.=B 3B<% ^ޝ %u7WzMp'J[is[ii\;Z;͌KF, bmD:4 Fyh\z[^›|Chzãb.T|vtõ?PwHW#'o@Yt(BY.5Cm> ļTd=뗏Zz<>/ݶm/ ܛQx1hAM4bIo*'g}#2RвDݦ} mw[i,W;U79"d${H~$eN[ތ$*uYT|1 a-oEnSNnv$Žu Y"='Rd P$2;R8aCz|}t&:MQTaik^ϔYWX>wmC.[xP{4¶Y<ߜ˕UQK- EtZ (4$&&x5ʡVDMuuGvb纩} <3f ፬2o2#JH9lLaMg4GR+38VuL=dz.Y>m(*GiZ3 {$e=}Tv2 ˡͯKƆ0Z>E*G-O^Ru6"#T2  p-p**]RGr\w%/h݊Ϥ*}\Kdcufyo?dX\N5v?_1U,V2 P 3{J 5G̡1&ÝVUp͐ qꢻk:*6n2oֹGrंstdS lRA+`@6ϓ\ \?>O$IiflF]caN'>丌~:`8 J A(CmD(aλ<1nAo$s?_ÎZ Rm]C"EmCIս>g'9W4~ԴX>bST*6JY"1V~ HPDX;lF <$jJZ 8n.?+zsu]FA[}5YH9^kY*Q>YAVCgvXDChl7۽FV6+Ȋ_mqI(`ªo>ɢr?0͙gx!kEѩ3fͬkRH;o x e;K>e )vҴµ4Bffo&X^Y fb`ZQЍÇ,X_7q}5 jpA-'NӃKX<u1!hUssrlJd!uMiPLh*@f!%͛f?y\z@lX8SZ-Ο$xke:{0_о Ze)X4$\VM1ˢG) E?2nh7 :hkn3,/>gS2AޢWALUF0IR iiﭗJ<*nLŅQiFJg?mS0<ׄEwƺ1ak\e,A6@`Q #3gґDvGD q2p{Shmq~M.T>\IՉ(6]'FÃȂY'կP->NH~ DΦ `Ln TcYUSrT2iX^STRĨll1, B:wFD|Tt绥:LO9 hT PyJ?t)LH +1e'JՑakV(/'0$KQcAЩ.Z*ir=%=KH fWBiY̠(az6뻐2h{o \1+ՍR3IMvioH%EI :[Ј͸Ch7#1h37BM{1a;ϦR~-t] ӆmlᇭx!Yŵʷ{5Ԉ4?VȞXj CJ3]eؤsX@  sݿAUB銄'CE'v!/W9{t#)G4N oc):M›luȐh (k 5 aM֎~GY,fTd<='՛ߒ#﷊3pjo⏋kL].<,mT؞ʱݛD|Nw$VZtqv6Y/Pw޽H!7mUpy rk2 Hnt@_"xoVe<*QU! k?.CE.(BLDA? {aWјg}XD#"&}AO |&bϚ`x7cq+mU|ۙuE%1([n14@4A_By&;?=vA-:0/` ^-}{{OoCd#6e鱲W'h`c鶴S:I |89=@HLyެ~%hI1V`q_R6F6-:egxtx{6cG dp@shmLCY`E`_ۏK&YO*٤Q/ywGSI}e`ޏi~&j+Q@{|qK LJ"vLb>z$}5!go[xھ3m^w"UHR29eNSP;R *;,|D''c>%tJր/k5GET)PX{aR$vEE0u8~wqIlA0(.$. Ù'6%O0`˘MZ3h1?މ:VOxr~[! ?+m9T{={iT|4oF3yB=?"Ȁ <ԍMk?ɜZV23-nu܃YX,N鴈d!NFrGVcAtm)Ճ &c |9\1X" Oȷo4v8TxFY4s),Pr M_HZlDz2b>Ϙ } 7îi/9gbC\ˆ́TO7nF|t$F}J?M7<-QNĭt5YomUmeYxJr\ز]LNp^lW[ײ"N,҂r8S.YھDD{ґpC 9ո/QE!bnjzEL17SwH@+CO±VUŗA׹xSŔ)7[SyDl ͯl 'Z? 䀰3o47lUM/VeglG8 *Ц#,$EyM9~3Ղ Tn[N߿ps&M$Z,UYtaKShfU4z1K*6tP>abՂ20ه"Y67CQެ! [`΢gu''3'eI&^wԿ/tٔB)龻\KgB<!'"Lk|~eITG`;:_.yf7*]խKt<~8{h_7ƌtRoeq=3k\He}{w=MbބB9&Mgί;zwy\oqh^f䜟{l:+Ŏv\qV9 wLܧ)iJc#z<ėq:J[9MX OjA YLwHpwgi0PoR `ްj]M7k dxQakӴvPWb++ȅEuj-?vv)rG}_|<C*>>.42>Nx%:qAjE\HtO+k`,8]iT4mb/{9֟tZV4+<:xCR$/A ~XOL5KiIΑў5Eaӧ{TIG DE/Kz˟p 1Ԩlꐔ-%-** 3yO qCOEQA]k.S= RkGe*dzH|ց&0ň#28UIOO>cJOYq!,h[fkG>Jz_ Ve0hal%P (j92;Oy4bE%R耯7;#Z>1b`AܘU.}1ڼLiwi˸ o;3_OѳxIfH+9N2nupo_DWdPX0.m͠(aƞ0UgY|3?E!aں7eM>e:*f_SvP4SR{<vr'l`A|㚉"VZZ= !OY<=%j۵D3>in; /T|ES٢x|B*]B}5WѴA"%D)\;.<:Ϙ> x^pXȨ(Ei_)h֊9Ղ<'85ʭz.mJ-6>{ir~U-W+.7LAE]myjNܫGzZ]o?ǭVvt6fShF!jљ*7YhGv#7RfNQS|NӤ Qv4>q{!^}kzu{ԂFIrtnL=Kl;5|{|d{Q@pblVAE)% iq.弎߼;q6}?1}?V"ڊJ! ?`< :S @Hٳ_0d{s:Y6ǘ6,\Cp_ 2F6 &Zeq8:FL+qhu*6xX0(292TN-ztPBgj6զ5&+式ь!ZiU i[uqY-iIkF-I8I6d!}S4wuiRN!fA6tIŸ!ihӛP?Pk^y]71H w e4:aCCrU_P@9=5蟝\1F1w,xbQR6Ȇ{Jcp:v5M'bh]&!D*o[~B_ALA~#&m'([Eч^daJ!qѮfV(Ra+E/4TQD7ҙvS|trͿJ}[.\ tC+if!2FŜG$Aڜ]o=j"'ڷw[iȇCAUjP'~e?uB~BV[!/yq&a6L-Kxr:D!4Zp s*6O\=!AMi:+ +X٧ǔf(K9F|QV*ldZlUׄ= T!/j4ޔׁ8OM5wt % c"!I” fQbuA0+@EǨǾY]bGM isɊ7t5Ow`%7J#M~dbeOyG/ݣ˛{YakCцe1eױR.uT)? S~Y "?je܌9`-<[5*MLA`)@ſkHUjSr \WlL谈ا ﮆ>\. tG۪ ߵjo&` #8i%h{Plq3=K@x~ߧ,p(TwHlˏ:~/N5Z'ئn]S:%0`7#G+0Sa94(会 Umjs &Hpsh)B@ R@\RJ zU*XB%پ>z-ЊI*;ڬ#(D,[Eqc3'“ߩ w! R ӇD'uInGfRj=^hziޑx+XDt挾M=Th%~1jqeUO6~dU-yn}-?HW2ciK?ECER^1Ւ) ݔ)Nb-Icg>U͛zXdo(Rl,IܧivEs8l*T3`d[5>}xWjLb_TWD[UddԏKڮϳ.sTk_ɳ 5806Xu F5w܂jKC]K 0"XTg2X n/H齹BN-)N5ciyF/UD(t IMd/'HHDž,4lԗ}mX.5Aˮ&٢v {h,]H1.F{>j$jt5\'%vqB>>z!|CL!`=_'fE]-$~>5)ƍd?ۆrQڂ/X[<grhN&wּwMG\qHðRr(=&1dbc1j"c9oUÑ_E2EMw?1 ^@E#`,>Q%&ܑ.+ k tV]0{C"Q8pcO j"xָ_"OMn}P&"-'s-RCum_~; [<_q04}t(.;'1l0vqٽ_Xs4j:}.2-M4@8}ApB=ytpܮj_<DG ڃchn.l,&48!"t,9μ[Dxь@A~SGHR9 Jz@&evLS4YT|)UGԠE: T^F'FG\x<}m,(Z̀QԪOڏtc<=nΉ$|"Lj쾆5.i[.zh÷>zZx(a!"\ Jw'h)ʟod,ng.gG qY*RޡU /%蘬;patl mBMqjbn_8(VK]XlC~'oOQV|yD ^5yQJ#*5C {SpBUX̄\Yg⦔4=*4R-DKsNq7?IAY( .7 V:#AZ6Q}Qff\?"r, KQ`,2qF<+CE8ŤpDж6+#xTYR@LDxn".ءaoYeA9 dv$L n@Ro իLo; 4/BXV GD&[ž@RML\ꌓ+Q*[Fm@jdԸWd$šKLK &$Ey[&6 e#C {pn=G&^8eRYY?E$\rAS DFx"ڂg6~DdB:+/> X%76Db Hů8["o/1Ww:KH yK緐bVCP]I^.F*|x= b$,+nhj^zN#H:+wMG+4t͛D{G_$t_ÏL, IaɫB)F TW=rL0i('~%D  qGؙ?A`ԔI<2{vi$4<=fkc?qZ=_sgB:ISzgY*Go>O-nVQZGv[Kaӿ&dPup|%,2a :ES-r;o2Jf>(d $[a5@FS0qk)}ZűQR-cݩ`_xNlJ`wǬ K54Ғ`dTox(\Ьg\+rfzQgvjxQ1 /LpU Gc?S [LPNO…}"kL'(ڎRNY_+Jˁ5M.U[:eO#!OrJ41onj,iHhVp.VPйͿ7nMPHݱ`{0|hkJ#Kѵ6 {ri,"G~\!5={Hd\~ݻ7V{,&I:8úiI'g NLSi Z ٿz[>w֍QPT}NȻL!ć! hX̭ZiF O;[#j-p,SV}jۼ.% 0 #VAF|㍨_De "6GE*/ȊiTG#-d@]%LH6 2Tk%bOz;^o'HkڱgYZ7zXZִF! 6]ŗXiɟܫnB!ٗ_ΖϯĘz,J.ʜmORw Q⎜nc,">{ƬF%WqoڴD@POg3X$qmHK&TTȈnbX EjB̎ſ3 [f%ݴ*zddo -#;W7<;kxmt'~@Y$o̞Kf6U<2'ཪ\{sVN ob3*L $Qֻ~A*< 0Nij3 T\RF{b@JYpK:T'LGEj6k|AvG=9>7Fq98}%SJM(xߌ UXzIKgYZ7zXZִF! F ]ŗXi%L&ʷKd0q=d :О}B1Ǩ v2~S%AEGI, ltBő+ـ7dHQܪ; /*6$7v/^ 8 F:r+wg|? 3YCDp?h K0] M6 qfR~07? Syh!f\ީ~*""tnQɫjFdGfZcwn4l FGxtZwxohrlH">ڎ;^/9Fi[,aY0-:於 (94Sfl%TyYzj!Wq•0qKձI|a+[D˝>aJ{<뾎6;U٣7܈l!5u`=`VwU <+ ki^@m\2]߳gɺ7hАG,+yUя\T[wCpQSq"TU0# |2';OcF!ΟA7ey>,'NdOaL 8 7#8jj0@z2!cV^$.&EeݶWz8=Nvŗ<:>+,G[T ) .=)cjw@9W niG ͢]U2K^M+}@mk&paoBl~F] ~|lr) r*]L캁@0ĸ]XЖaS+څq Z3u9QbxV^wP3sz^=hUO`]2noa$G'xp-;a|Gaz(ҌQ{C)욒~U*fSF0'^P^'X&'HQtx8WL0N/8u?\ fW|XHGaΥDt@W[>>QÓ?>8<4?PZ&eibJ@U|4)ɒ(y:5ZV+ySBQJ!/1[8(x~&,I#|sEA=lR` bze1-egCc$dZAnUa;w$G[:ӘUKkL+0'3}Dmp%MDA9 NH-eϴC.I8`-HDWOVQaRIXȹ%:7֊VLX#3S~3X6UW/|).Saèc5'2pK|wf䡴lAb25GƤ4̄˛k?Kbdz)jn)Т/Ӹň=*N+PU;>K%[a IqaQ xd5 JG|j811'EȴFĭ =Liκ8e"ugYZ7424761a2dce982ac077fec67d74a05d15e53df49aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c 06ba1ffed38a897411853d444c7e429c60878177 253b49a4223175c93220c5d5422ca1a11e7e6f67