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 P%$ ]/]HOL-Analysis:threads=6elapsed=335.998cpu=1686.784gc=75.388factor=5.027zXZִF! Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? 첬dOk`&tj*k렻YSbL'<e?(giJϨ=..>pEc?ME^ItS!1Jo#7īQpuj1vVL@'@,3z\?kXAߢT>?o6GO oڿ(!4T۞dTT7Jfd`ϖ_2t٣y.X3;)`vwC%py:P2+0"~~nf)ضG,Cc R8d,& Fq3& % HOL-Analysis  P ' vB^ֱMN)GT33ÒI`"rkˀȶ7CG PBdku?ȳB ٢޲(c,&uGF˰Ō``ϴ%IDūX ~77OKeQާM5, u{ٻJi{c.1N̟(3=ƹUKUlgMwTin2 f| jS| ƫф_F)*fʺLWVXG>@鎀jf, RRD;ATa>K K#%{c'OXUlh6t!V\EoX?FPF}ĜS)0 qITbJ.W{+q29Jxѝ.h;gnO݁.JBl4C J-*v\ͥ29 !-^,E#v$}E$-^zI]=^Plg P[~C _SR2R{d]URQCr:z@ <=A$ ]wbZ[{#TB;%9Q]Bk0=ÿ΍)޽fi"3m-lP!qAwהX2-9r?r꟏=l-ZIo@8&yT= '?ЛqD VqtʤL ½NB=: HK_ftjCP.yW~SXZ9vehMȓBiIX]ޅ뾚҃ bN9ثYP Ɲ =gPr nb*8 e+'u6dT,ix:K9` +(܏zZ uPx32 !}@ .+{#E[D-KUV@aP}Ht 0^p%@16hOٚZl_6?[Mq)hV69)nuF蹴`jBQ_>c'VW'4\-V4-œZ>}Yze[7i#nfOƯC$PU@f}:0ckʯ`OSՌ$⚷bUL0I'}<K+z orS:O`-iv\Q$/a^e'>4@w:`xڮ\ ־#lD?7i(ŷ; `4]B S&iQ2Vjmݮ>scaqV7j՞x~;J_V `i;43/X%¤YޥG!acp7T"gf3?Q/RIax^v j4' j4Ir7د]kQZn06i(m ~8r@>9Aڊ1JC);l6${2oTK4IWndhw{PC?;JA+e`}5uDEEw@NWېWfuU%qdSGDqX faTgȲM7]5l$;jYr7mQ=3K*vb]n*6I=D~WDc=Mg&IPg\V#S3>i/Fn Fx-Cc?ABW 1{aZcS`jS^e~¯ƏǠ$װIb2ݯG"8# /2 `܃#V%C>0UجI %qaTqXԶ{rAsaN_Kd/7 I$Np!X-]Bb_[eNҲw"fK_xBką4~֠]yy]X-T^V#q:az!sSJ)7p} C4GhD2:vʦZ̾T> L%cVƲx ҥ^?qP3H9!̐%I6j5g{tNiGƮ8qLF%501Oi/ TwqQK\Bb)8&ƻMTpu~)l`ǚZ'ɠfe|4/y^Zϡ]0w]SzkBEO"pBizv eb ~ nR :]m8p] Ĉ,NVeDeEjASTd)&r6{-*V'+Yiy|tT@q,H*è6>MESetUJO ?v֍ R3xIx2_01G\v\E<Ì 㚮8<"fm }1G"ܽn_pvnRgvNi:9 >eUu ʠ`(R$eJ7Љ j>^~ 5*lj:BQ/X "0вy.Lè$YɑjFO+" ]P F.2o=Ne~0dY!Qr/G *M2dpMr!E4ltW?mVb]´!F\e6桽q&]ZDPPE,S.!ʥ[4%q5mSR oFsSRl2{ڱOPU?Ns`Q$eHc7pZ*G~f^quJ14 w.M0h0P;6@wF ֕ݼ\z%+v1d9 y`14 У#Tͅ$^|o>2phʽ):܊D ;YKz̭nSa>Mj(_pQ.<%qLBC0NNKofh֧zVBwgmq[":ڪ~ G̗FCW4XEQ*$F?ւ 02dqFSŽ<e vroF"SgT 1!0/i&ϣ{ RDZF[nx}w;ÖvkQ+Vɲ4~e5VUHX*rn|нgj 3.3IWnz*俊"Q<&Bċ+o].A ϻRy24G70`$vsJGHs,a}fG4қݯt^C/ Jf0<B)nO@g#Tf/Z?~O0n},냠l64S^ V]!#^BB"8뤐ثuݢ(a~|pQ kDމ#-y0ZH}Y28;'1;Y 1+ 60 9sa?[t% cU'V m?l%CD9UluU7qPM|$gWk $NIG pT՝lJY{5oȆj? K7"^cH|l^ heʌwpJ L$8=0f0I9St> q= G#ۂSћ%^d}g[h~c"-6-g.'N o͈D92(CINy$n"[;5gB\+DR6& ֲ^Ψ5M[1}zMz+/5 "Bua_Z'Ufn!W2CF@ =Z$ML໓O}Cwp7丞D{P 3(ҀS]15AXE^<.+@ yl"(;e{;\W#9e+^,lw'Ի4D7xo`'&XbQ j9;/&IZ_*#0ʚUr(ˏa*Ha~2p66ƾFMR$h}:Ȅ [1a=ʔm;r:bL#ЍbzI \:8|T&k&M፥7%B}1͘v|qpBuݍ'z,- Óa%3᢯glA:q+$%d0PQAsD7a _ qTA!9Ǚ /ðJorR7*es'~0$Խ*3hOU)sE-d8]ASG.mִfe$iZ俯4ut쇜 (D 8G\lPECָ/S1%ejH[58x")E%m ׿l+d}|H.MZ`fH޴J 2K3^R )$-ɉLXr;W5ܙ(Fk۲YR^H7\m"֗Swc֒ NG'eS3A<~eSFw:DIɛN Ll/ $9hB4 KBrW{̔g8ö>ḻMЃ8nxV Ӝ kuh{f @Þx&p|ATPAZ9ꖕ&w$6S8؟ZvYw.5X9ZBmO^'?XRHʸi]cX}I9_ӭ֑(Ek#x#oE 2DZ3}ٴ-- L*}}"cu${R4 f b )1q)}t&ݳ;[>.}B]_ =& 9jf-@#꿒?=ߢи+#zO|џ@PT| 6d$P 1yXxcP:oSq0-lovzg Y5f/0Iؿ=S4>KEnOoxY g[c6Ĩp}ީCE)b6(x ) NZNC*| Y C ¡Qdm"CTT 쵾9d-uP͐B0}/s }'c@n++cǘzz⼆(m5\=D/9Y?M/= ӳ4t ,S1{A qK]C$;xa$O#ocїJF\USc=?d6s (g{fcm? a/=MZ #M1Sv ko0_ :dgHc_f5&KJ\Б8gJÞtb5K>^-цPVw2FGׂ<\ߒR>O;[޾Q*op}aiEנtϷL֔?FH>$pCx̆5&̬&ɷ#+-y%3 9X|J`צ5w-+O6Jy/GY 宵ָBy0d[b##y.xTC?dLU:%0J ̄ȕ2cMY(e0ng$ q{;Z;SQ: `߭iNM; KMN((a)2Ȅ3%A]lM*?@~޸'3<ٝߪ/Ni m~Ž܄@i.͂3$BF˖bF4%8bX!}PSԪ6g qt |Aw-``dSnP`Gz'%ǔ@طfF<8n&ݘy=W?6"C]'oy~I0nH5:Jd}Յx qxߝ* ±/76 x8v @A{$UڣFs,1S=#cbk-I/+DQ<!MԮ=o)Y"1ZC{* O0[Y+c 4z>J\ٮmSrFT1i˧ "5ͨaMϻ+]mh˕4mXMI@wH4ސiZlA xBY[@X4dQU.'qoz"x|?%Ο5D)͗j3A4τMm(@w:DKϋ;Ux tutM<: }Cycў`su]M[ȨBhQaH=R8{\g^(n*]~RH0[v}<6p hk벥YcnqtcXWM,2BxiDd7Ňh~/\Rр ;xZM+Ղnqv&Y6͉K:tЀX#a#;-+C5~#2 <{%lXhB@3ggS5 6l1d"s1 8 p&k܏̫zs5hXCH담p/'Q =ABxj+'HRV55Q(E>s.K.KУr hCQ6:nO s V4bue')/SSѼ*!DhS#!>wg Ej#v 2x-6Յpѱ29ag+`E]D$B,a?VE(EV+7Q<(-kn潥\ˣ x;OlMؘ_AB{4E]t;dA"{n+A㺦mv3O@NvDOtY&,nƘ"V8cuG~VmfovQ^@ EN9y˩O 3ی, 8Uଳ9 I{;kS|-{Qނc:A/1?i&jA h' Xِ 1#`f*ȼcp-DP`>]`a-J;`G?@!()AZ+Uږ+WPyS;5~K 0[T#D zHl4P%*G >|:zyaC0,&V*(#cxNdR{E`KiehnE֦( fGlnPg{΢$MĸV(#%]D5%̰tIW4@켘KYf#[_ļ== ޘ^%.5^61{DnZN"u>]xgo`Ehwh{KU͑\Rre+lA%pS9?`RS -fƭbފhp,nŽ7KFۀtBowP0/ n#RےWPڽ)m t vN%KK˲/ r! UE: c r.Aax,O3Ĉ݂{skRR5 xVƂ;tJݞlK,TsV"}sR((p7u2 9P}>nv8KtcۗxI[Y+樇g=$5&h.P'ţ p |W0:Tm'91@$Oը,%;'#L#voG`eJ2׃cRkk#;F,"oPO09?Ɣ6=mw>Dhb^||eiy YnUx{^1_]}y)f&RPmŌ8ƪ/!T~λxZٞ%`u'\8Y?&Ŭ-on idD? } ~|vt-.H^J.@f&,!{ẍКnޗԆ"='~p tHvJs_fwq 20L>R=nHa5䦃}>K 'y$P@b@;w/=kk<\I& RGHM +. 0$`4j4n ~&̿*z"FU&}E~]sCFгo$92APgT\e6b_>Lv_v;JYwmzJ訾;}S0`#)V+~$8 mRbռ=ZnpVqw'alH8D]qQaq0װ%rԋWXǷ'w]So<ƅ85(@h_`"VFK 8=][}JHycS[E`]cn֤"G. V‘U=8 8Lg!iH"QLO}h6BʙK=$P5~R-S}U3-pJ.bqƆ'pht| N>U I:-Ax]ahWax_zj{5L&8&P>FC;O 6E -FZ]mʐr䈣T < Վ^#SU,hxDߺ3s}gOqd:kGNf-jX³1jSnM /y;3ޙ "R"vD(cP sXfJ&ߑg]KO$\{,1PpU&?8g ݗR7TRh[=Cԇ\nmr,3N X>͌w]={հ6AӕuxÙib=Z2nw C@7SNwkS1: 8J$MSտpvؒk4?jZn[jSbWkpr=0#-jyx -bF.v GB+@+m)I8ZD2# jsbruLJ=,1!=dNXGtKۻ:+ 8|lNp'jc.&~wwFS\MrؿYµÁ4'^e:Ka^B켑x8]U ?fc %L}xk%Rx 4d 0%ՑY=tB>Y4\5/@֏VTp[wYSVG m2͐8KʝDCoOSU!ń`2y ˝Ox5asJ;ɀhI8 i 7<" .0}fr:pIzR*FT!B4f'|"}~6M-+L3 ?3xn5筒R.z,@ kp)n>|(9Np{A 3&,j-p ƓømhOMb+Ll5ޚ1=IQe9ƒɉhkm`jpgbj|KvUiKBw6z B6NQp\b2 k[U LS BCUQYN6/?yvH=3a!ZՓֵTA!T$-:ͬRܕ<*<D Wd\%W$7#s5M  Vmc~U.Z ZW HyIl_%,_gu@3}Y2z9(GCs{p#)GPa"Uw#Qکx{bmi_c L%@ŇϒH~)׍mUdre莵n'GXxRUV @!/>I9+wZ8dgTUNI(Q2x~u~wVҀ>6$YvBW|YNDWlOM>[߽*-eגLEQ:S'X4ox)a|Y#_|E۹m„wM^3D҇3~_m`$~\ڈaAQ^AAMxyq!P]--O}ExY'&4oeL9Zs~23LBWHBMAŷƁ'ԩTzrk)LgQBu-8; %7zRk먗¡@;= ANe׮g3=Zdjp3Uu#ֶEUX_rȁqx3/tǮaœ<Ư#w?{ .4+8Ѡ, #C6(-I 5oFm7 >>]0~5-vSaL{+lP7k}Ie9ݗ{BqÀ ,LLe%k{Q7K\"k:(B~F=e!#8-:#VhKAXd |`5yy kJlm[: AFsZגm}5(%JOYxRQ{{U8ν" M`T'td nMM,OE%;{cioGoJ2zD)L'Mx^D?bR@ .cvRX٥/N| z8k\_^%:-[c4"Ml(jI0~4xE¯U䞴, $TŃyDUZlGYtZ2hP3вL1F=҅m$-NRhei5R044N0NR`/3'7ܷ1N4>3zٺr2=f|# rpsN{S|laVAFFnF?1$Xe 2*^Q*gX{9ZTȵDD$(ْuEOݸ=(RUJ$['^aFt{ć*BQ܀`(>{ IJ>?IaXcJ%wbXirl/)rOƁJ? |*<K|K"=/3g'.nQgr47 ×֧6 "SuIoAۃjZP2cnl[}Yۢ39\=Aa-pJ58.MDъM_T@#יD^]$nƛ& ( e&c;_0hEފV} m\|UsfbA ø\֛ 0p1ML9MkINkdq"ہ*# 'o޹n n$מcU*鈿w|FQn_Wd͚:q0%~F=3R ny$ YtEI) #;V]#5ѯ0}AGe֟ t;H(!ZA?HY i=o좞&0RvE.`pY9Hj`CSMCITD= SF%Y1;+Uș<¨\ϙ{ +M/泌V,ΚzەMVT:@QףX>C5bkfwiFg֐XS5/?r_H"d =2?ʹ-4d"sN;+ k c ='Y50o';oFjPƲA9Y9~ȶ[Lie!823Uh Ҹ[#@X4^mRLvuxvdv3PtrU!+as"GfWҘ\ I3I]F`co"B_iH$ui= E,4M72.*4.>U ,~!sK9_Zh "}=i&%-~|<ٮ DM< 4\%q Wb\z^(Bnq~/: ʱ%)f",JN2!|'~ <Rҵ.S[Z.cm&t~ae:]2ZR)[l3Eg>[ Kfb:.U;W`%1 ^r &@e EJ#GHi&'mk#3E,ē" T]u*s )AqdN U6Y5Ux&G+n7{[;GWTҴ5+{FT*ᅡq^?^,hӭ(tkMO˧}?z<d=Mabt{s wޒba dYx ԣQp?"gmBx)N>W֪fngѶƕDx_H$oq]A? M6p D.B v==fbEUv ; gcߘ?9'+Pڊ֭c=sP_s)S[ 4>a=N<76cTuUk!. `k9T}AR op[_k:fgas2`F!{+FnnEhqvd[)o}Z?cY$gt1|iW4?!Pp[T1s+}1`ʃ m)I%3PΑjHӃ%|ejˑF+}.FX>KpyZwW{vs00wb i9MW(٦C oˉt rY0#EJB$?X߱VhD6 j4 xQyxaN1T~HOCQo.txsmYDBM4HىZx;;ƒ_orn-XٿҐaLYB@.:I誠;%xgfl{/S&aojlV\"Oi`]g*"Ɉ.@=WD\ -4 tP>S J *b7*%FZJv68ze#JCE $r_2=̽s h٫TaBFv([גi}M\[tOD @Yk@H愹Y `<`ՉޘjwKYl۠4Z p-0'_A㮓5\;gy@h?w<_,iev4/h&8%ЇKtU,Y=L9;; Hpf W|\H•ՎٟJ;>3Yϒٌ!&-&r'5g7vC`)ڂ+J6Ӛ9 P 'r4U8 yW]aZ HX@vu˜ccKc]/Ql6cl *ԏ vuWvYu p~]GxqEپس` S\o~]~hw(/oeL":hJsZt8^3Oh Ob'OVHrq9~Fwn^4ȣժB1C#;ly\}xF7@kpVC@w5a @7Ĥ zDȰz 绔s)ޝ4| Rpu/Uă8)bk{9֓7U&2 ]af!nF}E i鸡-nUXu,-thֺ6):: =xDunyKw~1ީ%a5 H +AAE݇D#^6a`ic Gi!ͅfP=D9Q;u2s{~m[JWA^)Y@mԓ2チTl=qR{R0#VҺeydy!p @k7!qs3*Hf_f6o-o %E$0ͬt;\\0 m[߭~kЕ0zڋ22ڞ:xyS!E/a8GS\ʱk9֛kR]`WkՒP:,qgd3ʟ\,m/B"@K<:8nH%ka]=WsiT8'?HģWz ~J?%#l;#QRj b+gafPۉ h~/xka\ hgs qm &OVӂg|vEdL*b1Z=mz,oD2qgS_)~rqIx.qfe,;M\`A]/#e!'`TL%sҲ; 9r'[CXiq4\:+B5$0\8 s*%[R~ErGtDޙajR 8qWf D4ryFS\ʒ z'szӎL ڄqD ݧPa3Ύ=߸I5Cҩ%Ub&57N}C^N5} <֗H^ 84mSHi7:n sѢNvI\mk/Ȕ2c-.Ĺ:Eؤ2mcI)Ŀ9q(Rș; S3ދ򮗽T_DֻI]tFI 9E\ਾa5AKqxtc Z4Xt{ ڐmz^)LrBK?6!Kq }xµBP(tdS )[fqb喩'X 1345"S/`C׳Duw$T@OrJ>!~!*J< lT7)a V{Qfjܪ`z2- "XaE5L^FQWʇpY$K۫c\>BNizaJY kt :+<Uu&D(C)Ky <]d'W&\[myn7er!%lwпgE]jIHt-kpm(Jh*\nUJ)`!*?[5g3җEE*JGSy67E?  R:2SC2FLqsX$ bUpJ 6W67`3gYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4l * =tZGL q4 O"7fOYX0yzȎ:{K{/Nxu08ReTٮːxhh7U3<ӓ?fP.fvR=2ZlescfG{z?jZ6YyNh'a_ S3?%tkXD?"]̕_xY7K `v@3Q;wXlVaLXHjѣ@ r*nN 5b,4R*%Z5[2_bsKͿ0 ?l-#hd fmb f{ T PAZs7#N ~չ>F6/oY<<rBV&*zY7'Kq15>hJ}E`M;OO2ܦ9Sz&MoqAD4aA̐[I1b9=B3י. P=NPں5+IK )WiV61h2TjV8bcMi[u+ŵ͕i#ӌ鑆qFK0mOQWZtUA'+Hzom&ܯ;8Lr~2_~x jwmڶQS! D!>Y|Z <7Z) ʣQܟ(ϑwkc#!uZ"n ' Q3)u2d8Ȁetcr3Ԋbs1ٞNTfqhvpMB#:Npz1ɚsW'΅qH[4 YoŽ\]$_ D I<_WHZcPSm9 x !@s=p}~l.#az]O;sԉ~*wP:<:37/PNhvנx,$ث¿s(|Fz⡇r0޴B-~8E9_fA:O,k[b_ưrB1KRwf6$S0=n!Q|4HFmePx>hYu,[>!j]j Vgq50sPaR%JͣǂO HLb%sekFڧR7[Hs BS, E*dgXi 6BrtxZ,᱒$rji㗛{Q:)}F s]ĉ8L.*PqQb_\Aq= ޳ђycOC(׍ῥ_@[ Uxu5rVZ"6*e/ >~%(\3z6zئK}edݴNߪ6fpsR½wm@t4_9@wK㦚iR*4`< ipx8zNZA );C& /E`([S Qm) W/`Zc{լx 2 dS0Rkb6a1l9aa:{4O<͊swW; 4AQ+k=Ԟg6G~%GDA師Vp](|<_1c<9[2l7yl{ D">Z$?Uacad/Էyhrv6ΖMjasԠ2"^G;7Sgz+c3wfӝ< O`ߐɋ:X7Q,>|&>YhMHB=圁}38EաЧIJI,>u v9a{#ͷ#uH葎r+݌|*@#aTC#fte3sNdYˉ8lt~ҝPWEfMPUa"L܃~99R:eGW- 1[GF;DЉg+>eLp֤ /!ݞ*LwN PgYZ7zXZִF! \t<]ŗXi%E\Ĺ )uԴ]Cc"{cq`Xm-BL5Qvʀ (ŚFpBkQTEnO7X7?1&gE3izo Ej) n-VfX 'A b#ckQ) $M:(m pLP-h05Iw]C&BW;Iq 8R&z_-i.ާߥz[ ѶG"QcE.r u%mY33QNz(@/s%^!w@VQX'EbCv+lɤnq8ȽR}7hG-H7 "8m ެ5鄜^{P~?"ƫӖujLr>~WֈBz>* r`%6@_׫Zˉ"X\8!e1Ljx6 ok^eζ`UϺ- r1TO*X2t&|U>;2}n:L3S('x v|IVиOBXIH(Z_ongHg飧ܵ0"uPv}Sgr0bQ̧?IF'B3]s+E'b3xʦL<{(4e]޼]P1'9uԉV~*bxmZ H'k0FzsۜIf =Idad=^yZn%b!;q-uDȻwLK N.ѯ7k5_Zyp"̄6lA(^=yMBE<v7,]AE><~19O57ɣҨTݞs@?bu@rO优(oaA]<Hjհp7A u2*IP;H\ P*6 >W(tc(JmAq(7ɖHD83;Lx`ℐވ2.dQZՊ>s=?: WEʢ0 f>ך}WxNT7ӂr' GAD RP4YC{C[M-N€lx¿# wUnL 抣KՏB6wP-Vٞˈʃ1׬d(uBa3C:j*&X .35D :-ڐlb=]N- Et7'FN(ގyB5I8ۮ?RnaxN*,/6!nkt.@&i7MYnԾzj$=Iv,;~xܺڎlDwe;؍V>y"TG ȁs6'KgM:jƬ;b %Ôm:\+G[q 1η Y_Bg3NJ.2:Cϥ,+@OST@` hu_ *c.Z.(b0ᱰ8Q!NgF¢aDpEɲ{!OJde([Vz>>q|2HY30!/r3Tt^ :YDsUEC߻ʼn"AmnKgMp?٢犙RsNRBez(QA@~ Ms]׷oq ,Se0r8e#]N (l/}sj*W`Ԛ o7r Y͐d?A_Yb&”Ć:bJǂShv/%<7>Adk\dlKMv}L^Dm\29\32gwɯp5Qs%2 ~Inӹ5r\S0v(MA`L_tR{9oVFo{ϷO{Ry,>ŁQn_ ؑRcBb'\")f&+AzrA"BQi;S)Fώ \:")Ȳ$㕷:5q)>@5c6`_-Qf)+-KK 3\~c3+R^V%e xM!>9/Et$YO=e<`c-"F.^,s6^P'SF<\s}~fؐIX6t;hy7tnQ[`X=ޡޠ0-1˫4y>[ThN\M-B*K:'da){9i*Ha)S^O5@UL5F_O$\|S^ HU*YOMWPYJ4b 7ZIIGJ@O #ڟȖiE0N*vT] BU_bN"UڶǯB$p*㹨xGiБ\YgEk$qb|CZ8u XqaXuuWNѶP_('/c#kƊBy&U;P=I~Y㉑('}2RfLhſtQﱒ@'*ښ'n騻:E#qQ`Jl37V8Tj8ٻHNHf^Gh# F+](])Y>V.1v&z%㞊&/~>'^˧Pa5jś)GfNiqVNxo=EI ǨgM.!4VRzAZ?N-f F œ^oEcxb*-I;䖛wtDdX|txڧ YNuϋ~uw0ܣ Eɨpm0kiQxjx͹[胫O{ۃЮ8)U]"2S\^ ktؑuI(œ+ARuo\kRjJj gDڅxkw-d O|&i#ԮX'i0"Mts ;> bJRTM1Ӎ6x(mRRڪ>`.vpҴm 1Q Yݧ)u]V΂q,C3bP%ɰdҮLٻS B^dTIu"qE'UT'`5"%|ʌ㗴op4/3WUT*Qs7-/DLou<ִAq~oߌ^ it_"Wƥߖê1@< +~ȼ3饷*e5>nXP7wH(w=5Ԋ=pd W-| q pn{OAB]nz|,tgJ^[v$$T̅@6#idҷO2/ԝ'd A zI{ W@<ВC0\Hz߀.UP%H:ˉS r~Ȕͱcur9s5 wLAX-T҆>gioi@=낕n N^}eٴS0o#~6!I~oll:2=+FބG\ʔ6<ڬR0P`oLoJC8uWxc+1 4)g(/[DHN .& &yfQ%&`\UӰ4KzXԈEz7c!^/Q[-gyĭ$GFPq'~Ccm<H84ƚ @ifu?A * ,j E5< {K!+/!&»P)j"9[&p0D ^{E̯I=#-ˀe+˥5CB)VLJY S2SPph} <=g+сvm֯9w+B' v] @. z!2KIO.;me6dD̥BkfmB>O őn>kuC]K[o N!)UZCtv-`=\%@6հ /lZuű ';斣v7z+մHnX%^m8wķ,Fo|b%y ٷ0 a x.U Q-(Nd;w`!6bLYvJ VB?G$VAJy!pgew ?ڜBelQ%;Ds :8cMJdh4'Jmza9/uJ`^B՟y0XP''H_lu% WE-*"K8I!ԛ>z:b:9yԏA@}G?rkl.@2>~ ITwBSmx ۳e )iEzx'h VY\ψj!6H,tsm[}] zAhzxѲk.$bs߼1\r". 4|gkBEB˾ь!7"&ۙ:LbR9d1A!*WDAz}G髮6 Lmr ],s=,G_qQΣr8/!;s(9JnP0#<3jbWd C!>Ŗc->絵:tzr Q^ן2qY&!bb6Nvs9YF&_|D L0>+2;P.+DYtޞO"k58h'í]1p[N2nfЪ͘6c0rp"xm#R (2g bes欜 qm#yAUdz @sۃhڬ'IqYMbcGDPWx 6W~va{'|Jf[Q+.yB*ZbxE_VѐďYqIemP(7Ge[A{;81Gc l GOCӨ,h>"i?pP0^"Ƕ`K/ Q;MUx 'LCП_Y{%ylBt!"Zu,8gcc]5︲?lwh27Oit*>n߁n?Il˨ qN(7oYq ީVSBz„iف0 &]GQ˱V9F1V8!*黆ZYR' !#^l4.Cһ+d%@6"sux<tA8|!>/gT|ycIwvmݵ1&L3YߛN-D+i$/Y*8yjq/p8աssrN0U Jt?ױE!Kv :{1XsDXn W[Wܰ52ڴ,jJᐕuqfXP'vP!PO H/><+% J"97(sdUU(TA]SQ8שMHy$zj*n8|ƚMͯCʺ+Qd*.#Β050OFN%z`s85o(D1?=!v<⿹OrSK㒋U %ڔX|gDsV}ťcAOfj r(v(>\Y/#*_Fʡk .Ulr,!@{ G#{r,:ذO-(fء%tӘ Xo? @$SU_bnp:{v?E,WySط5. VRc=(ύZQ Q-TdjKrGLu⒐μQOxY ^\̭"Ri6,ֿ? I}rk;9Jaݥ(a*bpr1>e}@+:~/Hʏ=T*@9ڽD6KRh!6c)IUJCC04E.Ty(: |0/B~sYz,':mqW>*{QwMwT7-g~^Iɍ?xI[ʻ+:=mfO̗M9 Ev+M5~n:^;tq nd.՟Y(U(chZU8pYӝ.0X/w{2B7ςlA& 'ڮi~AM5(dL67ߺΆ^(dtLu:da- yÑjV~< cG8p" \>, yzm:b^WcMuԵp2@] AiZUpfn~W9!&-!QfѪrO*θ=V4t2DgIo) +|nڪ*Ha@h!"`aEN߇/P*֏:+0,j-uT;9qK?_;l۬I !Mjs_ZmϦc"`B"+ck~>7Y*w=]㲵DH\n:^Ӧ/76$vd}XZP!1򟖒 IۤebK8S0S!/aӤI{Uf m>OF_W΃}qa7Ex#lXˢvjL~ALq4N>>5(tD~Iqm@rs͔,>),Ҩ.ކ~]Ɋg0Sy|إ*|_*3ʵa$3F. *\jGx7@qEJ,y:zI)>KAo XdlbThG\¤+.v`2~OEŨ6-izdR;~ 5X|7L,w<7 \N%ǩ mt؍:IYr}E(s~fxƧbJ~N⸝:#\J%F!%|,/\ x̕$i1xRuc*$Otgrp M{l%zVl3aM荀wi"{{T+dڷWrn8+gYmX` &"BR=]EXe ž>qez)5)3#M*P_+tBM+B5 k76%( `w|HG==v+iry(AXPTSRvPci #Z!p]R)yJ;c^10E9̓>]3uWk2q"kEzcpIucդH'g*  D'{*޵ o15}Կ}O@PSl52P+ ҦS #T>@|_`@^Ph1噍i-a^V mͤ^$%ݞEiĵKN]V'fD9aEZ= Q|?<@Y]N 8iA;dr6yP cܬ]؛ui`=Z`*DWol&)v4o:m҇>5gU(*HZ"t|˔ZFx߼i<k@Ȅ`te3?[C(:3=yn2;r82Q0l5鬾IT<'Nd3k|x=kc'\_o]ĎWep8UZ']d[]OZIڵ+Ufu&ƐUP=2LeЫ: s?e#2L]յ,'i#3Ŕ؉BQ1 otIlIs~V,jpEG&c8Ѡ_vNr/7k̑>"xДMvJgKX6&VfRh@K|@?֖fZz$.sSu?ʖgq$vBV}BG[wh-3R F%[=v=bd~QrS[;«]78E}{uch[s|"8R,ڌ n,G%啰RCsw}J\#7b´_آ^-eHVN1 R9U\F8,V])&8d0*=;5H#MPuF ݢ[(Cċ胅sw@NkֶdDIÐY)m8Q`(—hce#&ȺyC19g5j`T`q(KiID_":hV#dGPWE*GIɄB,N{#eI%^- ]zWO+UTmr)CX{Tf k=[Gigp׻o#zmٍt3.Њ4ghK'Fcf׊`T)هzhd8׼3n+=WvG8 :+ OHzyK^G.94xbb*#fSCΝ+tZ#NcQXֻm X6Ζb x4~U\mEIj]\K$s|hCê?ۧ/%1Ӿ וR4[r"Nޑ$HNjfE{}9?g J324Wٓ !@;ѣ|-$9 XC]f~ 886%;J4 xq7Q5' |!u\|ia@U>A[J}hmM7 [Vh' W;7\_5C~n1%h>Hy#|/# ]|_Dez4!BeH9IDs"~k WV42|L&ꓐܛ` +>JeL䚗 hz h[߲Ai 6F]v59 } 9ĝy=e\T Z^Vy IX >ls],` 2vM4YTQB{q7$4PФ'8zPG|S7SM9Ws;:R)į Ya{Ş$늌d==<ԛ= 2H|[p6jd.6o.zrZ#z]P!nΌwzlv <_feesO&P;g1ٻ>|tbbnY:Hbu~@c>Lno/Dh[X-!vTluVeXEل"0^3OBFp) ƤD8~|nV"p"nhPjUEK IyZus dȢQSG }}>2G"[pI 5H8 T tD*909wy܁v^a}nZO2k o(֊\M`OBˁ07z -M"BvbΒ$.fĨi;G..sBa!4g_ Q6 Re^JH}nzٗk!-sc%F-hh]9A=uX#AN:fR!Os1`< !X<&C?'&~N1oIT[0(W2oA(ceoU??`!޶TX(mؽ*tk3fU3CqR%u)RɃH +Et&fWZJ*PattaQ^.<#ȧiG( 5/y%늫:6 n@}4Y5êGowi@R=?BcD8OߌڻP q2/4Y.qBޗ'tJ zx$z5o3k"D=iOS;堰PpT@@3pogIXWy*hPHh_"WԪY@Nl7ɢGYiHf;R-'K#8EH9@Ew/&nHê}]|F K;xޔws,nZXMV>SZr t(ɡ6;>Tr\6 Aʃ.X8$lDB0l>qj \뀶qߌ۝}$@\!SW:OeukR?,@BT0!%ZEckS%}F*e"o8D;<|? ,uQqđ*c~U b`lIr,k4tl pE=nT88`"D}*|CL{8)066.0ysNh8!DV[,K+@(7ҜK%!y/7q>noTl\Z.e;o( (T)ŧZ+}yG/ bv)92\]o%WAm>;t6I'e> ީ@}B?~n"]N7 ꪕWx¨W¥jՀ7~Y:|u^&ih2b1P *2X@%",pk"#0I0dXu1$$rAOZ1WQh)뚳M[y?` h!{VLӽm7(Sك7JңYRփU~[@ +z2PJN[ >vB +@;aqk4Ѓ_<}Lpp8p/ ˡ+L:Ysh]).5&6lzGƗ:;]2HFt%t${ǝio#P86Y5jhVW&\?>n bl/ZRА@%b/2n> :~.7knM?sKކ6_=z䰴ϣ%Vq2 B] txR'(Y4lmb*VMI};TW`ebݏ ޑt_Xk{by_q%C|DEl@+-F"Y*y{ Vv!Doe7_Oӄ>lYta\*~|yxneJL@kw%ItYwC1|XFYs%q-R`Rz_0eR\±}6Wa;BWsg6Ξ`\#sr-G }40eꕪ^$4hy-TEl8VjaȪŶvGf]r }ϖKP8f;p,)݃U?h2 hRLW(Ҏ7꟢(:xᒽhpu*O")!E0F;ȏ; A<>OitSBň2T:`CDf:fSE&RcP,(6gOئk 5BãݤQ|턕{IdžW"ubV 4i6˩,2\o <8;%V_@v!0!8d^$q5u0k"M*hhHq>m;F%/Ӧxda<m1} %0j0,7AEvEfg;Z2iySUD, ÅJ3H,O7Ȃ]cؖsgOanz'P'|a)9@_Ÿ>"@!ΓyEBpASў*p̹@A+Su|c=O4گGuI@Iu DJQmhbBAڏ7qGI ]Xq?Ab@XC1e*G6dF6 P#!jstǙ-Yc0쓗cč@r7:rŃJ1iS^aatq 6*Yi>+ԕu2Ծiܵ\Sԥ tx(&}^w)eJ:4=]ac[Ht,t! =~&7 ֦:B5ú1e4_f:3gMŭLYPe EqPm7yde\;C=ӛ!R@?2iuA1PqiԠ0wk)-]_֘p^֘ 7v5-X2ToiN2BiU0=3x꣧M0E  V-gkj:Q!o.+Wyz].§>Hͷg0q ^lA q0BfQqbg=h.WZ`]R#DW@d7g؂`.Խp йJψY4!~IGpg4fC6՞ B˺i7r*J-Pk׉]H2x0bi,-LY,ATH]dko;`f+6-3`xd}Hd1--NlB=q`I!=T6Yοqi;=81VzS;jXKZp]3s=^Vq/e| Qz+~H%:y^0;wpAylN}n5Ô˖6rǯ{wf;V{X_8;=bLү+$j=I}wg^6*7ÓAxTԐ s2ci>[FJF4ר༯Q9g^)z#ٕZD"#Ag s]uWC4 Z@%h ;8#wL&h[EKB'50iQ] y$ C+#)38y1o(>S+!?5œJt{!t$,-7=0ƻuHvdze'?t봗lNަj]maD"ZQHV}w *T-/L6k T2zX2[$ᓔrm 2d} J*({#*0u^Ű3TY0Ӻ+!eYA.hwB+m~=yOU;k`;*:_}ǥp~@Sןjv\*CaqL2T!I͊2.U޷ v.PmklDHQtE b, ng"դf;ar|wd8q LoBbB9JMm-DW;͑#%`2KE1*_ &غ@kl7T<7~+ (I%/8z]+($4I,m)l%B5$yy-]WERwszc8 ;vDDj#l.4tϻ+louct,ees,;[о~HZ1\n5wxp.$@D;RTEtUiN\OP/2E>lWS j+ħq}g%)bkV V%A+;rn};<+ǧK (\_#84ɎONhI>\9zjGT7 ҟqGGvM4A1 aݑ{[ S>T){PO3Yd#clХޱ߅\zu1`.E2_&`-4(M4WP1f : }!}HRE8Cԣ-"C!^`bA@^oZIЈꄃlqVߝJ٬WiLs46,Bx1Y69&hᤪǕ$`9`Ȕ *2 Z$7uv{>s'rLUD+MGBRDf]K +guޣs$w}/%=V!-$lٲIa8ej.ž}aN?fAmOV7‚cS59WP;ƹz\dw@i&`C̛NKң;C٧{>x Zrl7b['c_l~al.^i@|{Ϛ뵷F5l:ZmW.X'T~K 4(~+6sm!p=x5JݴM@`\{3jReBlǒ᱔[yӘҔ%_=&[\1ݚZaӢ% ןRx=:°c.G1SA&S@/p}uI| YFFpY..GP24\ xzKZc1C/ hYlL֋sܿ+ Ndm̧1GoWCR2n=EN(BJ4W#c!%`mЩu-Ow*/#\NAQF}>Z.blΞo օng_ p/=%υnnH7b@k9`!קOmm*ODJk /"{HVz?/޸fVOQiN ?ofMznt2S[G[=dM$¬X kLnLg" špF iA͟?sۻ$qe VYP⤦];c4-31N YՔt&ٛ1ipieXWԛ ndþv]3(j 0zFاߺwi +9 ָdxnKG[.:T92靽K1nI6 bG͒Z%adx]p Z^{5T6:Dha.@} VtWӜ'i<i$=6Nr 41^Om]@郈%? *3iѶ98I.ģ6R @̩ g?mJsAA._DD3 (h#N| Xpscz@:X }Ϸ۶!k>|SrHТ%P pxq\^Az=L:#t͒Ǫڟ@C8duc~p/Rjko+v L2ZB!H(gq=,oɠaA=r +Lj W%g`Ζ3QN1|{kEw%3(./=렎{R󥵵+ԡ# bh$ŦW{I}ێ|>7\ʕ9Lx&hH7Y!ƞ@[ *:KceRPCqp[U*na6ӓ4X}ݡkSQL!G5]>W\J.< 1Q!X~N /vNªE!d0?fZFuu,7fIr?&$H-QcAgϵN`foJy-[k_ςM/F>"2kᅔ!~d3xĨ+e sQݣO4p4_÷XpaY4Bo.COV1Y&M`,-p+FZČӂI0}YBؿBS cDگz: 7ϳ4"G^hgTn`b{U2 0'W@wXLV2ht^ s\,V_/Wغ;47KZnyi &-qd [V1poN ;"rpA  `"[;X{IVW,Q\r㋼z4gP jG UaΩ@mW%krllO. 6hXU2ZdbM)6۲cy f_]Oc@뗸h:E__:ÖԤyߺ/ڪg%V{[7 >pkϺ3{!pؔNž<'Qag@5#Oƪ@?@$C ?Ltܾ E*؇6[gP4O#jTOa5vG'NnVުsV-7ev6)ʷrw`]8NrCIV޹bO[ȒPRIA C%H.d74Cc$TBސ+6O:јkJzH%C*ԭ'գb/_nƄ$oL3ʰCdx0 ٲA eՉnCw2xhw>4HM𱎉snm^ ~pageX̌Xߔ#&>z.j2T,EN҉@}~s=.6OmIّ1zfj;z~ L;@[?vnwL(Pfp= y/Ȣ6>ziRFc_cM9D!B"Z6a[-{49 ^5>k*9w^ -i˟mx&Yֈ;jF-ņ jZ/AC[elČd y"(r؏-p(RNW >WABJ)I~kUpF ]f%f4]M,6u s~ 36)AlR`ڄ#N)\F.Ag_̞j yI7\IA9_i}-+6_sŻǫ~1(-*~Z)>f,"z [lp=YaiP:Nᐞq.I춗VK,-r6ˠԐal.θ̘>Pms 8IK% գ\[1}b|NXqiC=Պ;|ePo.ݚ i $ÆkA UH738W8vq~/>uju7\P̝<qkr@{^;?sM GSu99E7j&@b 6Y_I1"BZ;G9Ĺҍ\juG:ST})1}@S<+".^嶀HO//? eOx3u}]'ы$!L @bicZD:׌O*#2vL:HIGNَ0EYEia%*յ'Kfɛj-p4 ,><ļhcrТK?￿daߙf S}Dk*ax Kujv6C[}c"|=lu֭=YnjHR1D5Ȅ"C`1 L˾Q ?dxuk. 680/ZnC~8Vv%UUt*|O Zi2C媤"sZohXKIh#TБ(8"{QU$:Y}i32,6&a+ L `´=h(bܩvnik!cZAk^M^AL2R.^ZsA$3e;e8S|s@A!&*kr# cak\)jHRu7֎;X]uf EvZ'֧ 1NwU1ܾ .^[Ҟ)Qf_q 'y&6e<@mrU@ 3i_ Txĺ]a, KdC0.^hR~_ahMt:إJWIf6ppa;ͳfJ44$e&݀f߻*եipzUtc|,TWW**o/ A8=rݐ2M<:ݙȕ)dG'8GVԾ7xTkpC)Qɰ;B-n# 4I 0>V@?9C 0j)73R/08(gw> .7&q@9 14 67R}ВWrl9z+˹e[%nH%(He,U+WC,Q*LxTLW}Oegf?&{W VZca~=$% 1oV'Qpy=N:s]|[ vmxFR="xu@qq}!v4gN,7Q! ENMOҦ$cAx4S+eUK.O\Ee<{m:{Hf(#8/M"縺4 6)=Js!|Ԕ&"v 0|k_WX!£Kp9U~-VEZA+i !r=<=A,{K##Ψ/8Vsrx;VgV GF; P|~fY1+;\bqOJ9|($ZWҷ*W?)kD&e)|g?Ш¸/^MКf@ɾ~й $_n#fjX~Maqd9V֖ԆaӁ2ϥҎZ6΄{Ye)$1#&m:1v8h } ?RkӘuH=w.OIm͙sYr;mk@cOݢ&B$pXӜ)Hx)jSiIZ\ŗz _EKqrjqD Px蒖Bf/R1mh#[>Hb2ԫDL bP4 N==tVͅd<,H Vmj Vρ GGP\R2@JH_ybvBQ &$Dx𵜗U/Nv-#]wAR*~Sk'w0}pOSߟbW7;W@5h8D`EsZ0)v5rЖ"7r m z9qb !]-NPk=UM[8[  Mi6c+4U[h.oCz+bJS]gkBf rtFQ k4]B'0#beQXɻֻ8l wV*Jx^P>9Â̦>G8-d,HW%xWH 1ȱCq|Dݠ+b3wrd#Ϯx6*t*Y7+W0p7+si  <$R٬EHA.*}]3A@Usg`pRnv@]A0L؈7fW 6O7#1!ZMO`Effaa.4*uYC'Ƴ=X{ODp<^y$J}fѺkPY]&Eٙˡ/D?EdeȆ+So7J xB$tk,z"Lh݇yUHD8!L=v &O?#T>han;̯O>n9oxˈ]שnlVZɲRݤ:pB䑖Q X뜋_lbB ECpK FIٻ$n04ΔQrL6{D uPS(竅mCeÊVSĉ/qV: Iµ8M<3ؑVǕW.;-=ys-.2{ LцpE5LǾ܀ ⴶQm})\8!A3lh!위]4dˋYx}6hIaXȗ2uJL-dLؽ$A4{=;QGGUn.zaS3 /:!Eq)w2յ'֠se,!c繠xBy6y&>%`EInTG~I9Q 9B8HC =eF-JiaNAOZC+qDf=RfTlJ[KVEhe$!EtgnϚZkHչ9ct5o2s鯷?*r*8?$HktcѾS`~to-"ǹ X_gYZ5c79ec26f0fe91ef75f1cdeb5f8458911677eb9a497eea8787938391457661acf0f01a612c4d3497 182c5054259d818f89537dbe8e9d95f42041a8209ac204b35aa3d29b5196b307c995ffc6bc02817c