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 TT!\DT ]]]HOL-Proofs:threads=6elapsed=665.336cpu=1854.640gc=398.696factor=2.797zXZִF! J&]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZd3ŒE2BMwj P:aShjPG͍ [ qIS>?g`.ok4`..[FOG;Df8g AySgK7./hkԐúeE3n\+ M ߺ]Z0gC)Pq9asnn??p[3?yEB evy4GCjBp{RxjČ FP"pY@-=IEA_b,F o(l'@bi-E;Ø^Ae*T{y*Þnt|O"F&aBVh*uy(pڷdf {#r_EsÑr4$4)p?0zY|İW EЛ磫*/učM3y͆|U~P{#Q_ApсBd# r ]ޛtf%bbAhb[)paw5U*Td*ƬXKJ.9ZCƬ00.6WCweBY̦]XV9j Q2vQd3:κ[$YkU|Gxa!wmh"B\/7Sa c-c@)GA\Ƚ|a_ϗvdvmDLj^w=`j3{Cf!ʤ bC(PeP" ` (iGiACw|K.Rt 8Z:ğ(Jy%8~aG䆊3Agʅ2U4ȹ*6-zt q ϛ0+W3)  ,re0x "ON&}z=d~5& mh7wg9Anp' ©#]4K~!ٳuVzSFSrE>9K+pB"jMQ^ݧ-a)/o7Z@KVVn^}pc+Kz.YW N H 1 e-PBzb r}90ZyϮ -Z^d9h64J)a5:U00} fdk`A{sxUԨө=Тwk_Nc. P;5~鑙r#[]al6DD“$0h@qcuO؎]م)b|(O`"%'_w[L_j$w݆4Ӵ O CWFrg"܄u Bs#nߒҦő^v7Ne^0 rNUjھ|J;xՙY%B@Sـ kEqro ?q0$' 5p"H_EB)}{p̴pie)^!*TeWĻFgJXZ_6/ٻNf AiIKyN% Eh-mDs&CƯ^oS%>;<mp۩fl`1c $lz(8Ct\1۰g!/ ݁AĿ6}QUݷ/'B{64`"qf@Jhmȯ@-E;E~ 圥D7U&2ajf K6~e ^tP&+6-69S[ָ֦먗X`G߭o4 j xE%%6+E#4b- U%N̆/<X +] yBn#Jҫy-FH#Ԣm cd)˽)cVs$.-  3q0GHjly /ʆdF@J`%4-vG;q U`"_V(*rsY 9?;((,1@TcA zg)t",}m=`{ٓNF@6d;V=u.-Eŗ@3ĴlIrǸǙ_Y`YVvcYE1JQ^PLb%;b^npGظ piNVKSk{ =eڽ E=t_C0"EޓWi240ܵm+TfpP5`&+RV3L!A5_ >BJ{)#>lxT)Lac*EMӸC.ݲ㘋,GɬgZ)*>ۀ*зjbsMh3dKSEMݪCϖlG+ C "?&~P{\p@]0F]xfG%Hs#![4_8i;EnaIB:MK   ! HOL-Proofs  # q,PPpȢsè4f?I\piK(xE?TU %WlPYfSR|sZmz*&kh+`LKP{z)tS=Ն-v6x'D+d,T \OMCPܥ@Eύ4*+w_@`Bbqvz|.&]VZkD%+_3GUtpbY@mS\c d_h9𘱘L } %~Qس'Aa}U|$m+uJmzm#tی2G3` d)"]?N\/"],  X}sʲF8Q55%i@b!ZMW,Lsɶw[a$DUg0|y Y7/!}39!"Ô7s-4, 0L+1~*6ے4f2ՆP д<} .=lZZb;OPѡER)lg9DRxEdÙs23Gi"U_%4\x"HrwWˌ"ŏe4ZV~R[lJj 7/;L4&hLK-"߶,%^iMm%:@ȊD"0᠇T&_C7#3h\$ܧ˥% C:~iZ%'9 y RC])2W)mJ)@Ϊ:Krś"d <5imy?c"F"=$1kR% 2$mJ$?O,7cpT#sFɱGO\WOYi[|ʃVv{vR+?V ;pth 0}.VJ4v☈aA:E%Wu뇓CcXQw,رը>le @*k~ѧwh?k E3a)ڒ%r7dmƐ`uN6-i7YNϋ\Ou{UPG~qqkh?ޖ65}b!2jD#H ŐjS%ïv͍2ҏCG|"6T u|âv$lx)_vOlKmQ-.+s_\dcUpi` n ~kZ2") iN{!RaQYi1ףQrĿDuZ׆ D ٙ ox֣I. -\ax^`c'!P}$2y(NyZ5:b/$ˮP2_ w6r{ʎKCYekVH),[u|ۗNTo< 8iY w>IbobeH$Eq*̇YPĝ~_¸'$߽^9A:q/j9Ԫ5}VlV/[ctcalAm [0bPYۡ( Ռ#9<.fjUɋ_+ˈAbW֒Gc, f@bݟ H*c74ktVD*0N U:ӉeN8Ҵ|:p3r2 _=YR9/θmt2ImHe+zMCIEb9c?;Ӑ ^;7q ~^WUHfbS#1;uYj8v`|~XLCW~ȳXcGSdn_--i!iyV  ~lԙ %5Cr㷚ur8` WףA:ظz]q<>'_ߙBY,lK!fU1A~wce!=NXȩLp6'%7rQSvHrrE켌zPW}w-OB1.6j`"nzj8G]g)Fv>⚿͉HhJ!wU:xͺ(K4"ʑ%ݓ?<?}ٜ; :2ǹg 9:~lؖ0 :>8 ID!5U+^3G 7[>7 q'G|ז[Yë_` 5x t lkc?,G{\Hx`>BbXfM-h<ٱ[$ZY 3rw:/\MypW*Kwk쓾3P:{pK }a: 8wZy N sخRtA物E8 :Zu +{<O3"YgMm7"&t4,M#|8mļSЭGXɇjp$trV 3Myl} iô>D91zX@5P19%]m+ĬR)+jS1XEk#$Ma"7"6D"^f]]x0f)¾j2k·]wJl]eWK37l]Wd<'e?MX%&_ryInq̎5kv"zwq] Q . t]rmjj*-`7r#[ 9#g8⼥ ltY ZSw%uKt^]UI*͝vAɏUiX%=A5iFYkeTOڀWgKrb\曱@_|fu&%yIPUoc aLad=< J( KMfq>Ձ?^mCaz ߔʬӻV억_1ů󰲏Bۧm"˳mh}3'i@[nDYo~P.&s`Lڮx.A=#4g 3M2b<ΪxӮ<;^TUЛڑ|QQ>.,T0|dܟIg/#ɓ1&m'n5[603}XQCW.ۘ~=ИݫljHI`'[`^'*eVY>Mƾk%CS 5fZ,kOڛ,w4(7HgnsJjc!ogUD TY9F-QߋE;^``K&\鸡SѲnlH(NouMVN83 Tgpq!Le-/~"HzKy9aZ,.4k +So1sO ]1%b`Dyq.Si)\GH"XzؒTVn Q9g(?q~uq1,Ip<ҨPE1>\ZR~;KR)^B9|?Àh]k]^w;9K7!G0FViA07sȨomWׅ(%1.pdn &{0u~ 5]"@Dko`uWjӷuߡyX^ DܘXƐ%hO5v{}Bg97GFՠe;Gٹwu+nGBN6 @HEM!!BfWqDbK"P#ycBkrd@j`5> [J^(n,Q8A5K-?h1Q0 ^|<4A"C4etGѺ&  ?8u"@x@ 2d-^`@I>hjs牅0*EDO,mڲ&jP:tzrt9^@r%q@g$ĭF^yi&CaFT{ژOw]<p2iThDve#p!lygX ԃ@tZ|!r7ܥZ۴ʧA(K'2gt?ֿ#Pɞ:ذQTWpO8Ë7C ‡ ɼ= ÎޔyAXN|]n]nj RB+ 5;|6TA0B~Ei)\Bu"ڙ:s%ukxV~}@"pN(5T%߼@Kj7-P%[_CcWd* - 3vƮ͗ql;a껗 ސ9ԯtj*5>T* 1{mjޫo, 1N  a2>ce| 0b^?T`7:0ao=Kq5 F'db@0VYYS uQyTEU/5ca9u}r꺱gZ2n yLQ»T#/v(Uu2,QWzX܃w1P- Q&oTӫNX|Ba= 3 % }ØcR/Iq'%]& $(k@L(ȥZ#Yݻ.R55e^8%][X-u\ߤx.!G?4BFp.5s@ёv-h~24`4͛^ދ l6xGι\uyP˓}3}{qwAz6{(x+5`ߝc1:[㏏K侘Zz%oC mvu`^znƧH2hW n=vӴ, _9ЬI`_BR\ך 欯ȣV|C@_bz/mX;u$8;-{ c^"p<w]l#^HsdO^CΓj gO0C/Co Ŏ"~PD@F/\yc. J1k&8 z 4)h[̒0,h2VfU)ULE5 U2#Xsb ) I T^>!/ڟ)Ž:&ZGI2OS'y->sгFJvxB[ᴧJ)d;{Snƌ;|a[j2%(E|Oؠ+Ym;Y XК?|hM: {GU*EdH"5eW(FX3qL)w$2QYѿ3g@xwg:X)Y2SϕH쌫YMш9P;jQ 8[̅UiӰM^nM>S9r7pՇ]3K)K_=ܪbjR=jKNɐ/8hRť/#L|a+Pam%m)Jl@D0-dآG|T(^箭Iꯑ_P #9GY^從&Bx: 6; I_RtEQ?qCļ< [ o M2@rM<9Vrt( U@ [5;jo{p0}p_SaI{6{(Ndԋ>/Ӫj`d)s u@<7wR+pvF3D(Dfe:-]_(`V=r+?#<4?SZn&/edSWHDq{ > *3Y_Y :K*Sv味P`57WPguQ^@I*σxRTyTY,YB*>LV"N4)ȕ4ݫ6=ru`Oni3Wew5JڼlU?p4EXRQ /\cܬ<Ɲ~.ReӈYͧ{d" Xyܖ Sxh/!RxR?$׹$x@@4W=T4>iJȋqv uGAü 籑%|gU]rSם]MxpɒӥM0VK_ VKMgIQĀ!敤VSd.!ci-7yrY1*A8nGk+ 8FNw%ߤg%u|k[12)tlm*f΄/>yҌ\V4"-z9щ_Er4-:<=:bn'/6POvЁ-U۫٩/v1wz! N*aE .onmgYxC <&cٞ P[ j#JI|ytY[W=e/=Q=&R0-NJT^`f*zbpr ȯ/ƿ|ͽ':Ql;Z3F {ľBM얛 W5xz_P`ni3ⴞ(bQYT&谝r*\GE,DGZxˆي%7T!6]ck44<^{]x6gbktם2;TPpzE!IV9E@xy+TERR+r>L^;h5n; &X9G|lIv3 T^>Ez0q @9GgjMtjϜv(emx׉4(]% 2ޱԶ?^h#xf 0dyN^RLU,UC{g2>ͻLv;#%8Lnd\f{gQA/?Z5ӕו9QmÚ79 ;8FO^wᮔ?,zNZȗQd¦3mC~g_࿚hSRaƕΡsD'،?ޯ.\0g|m0^Q,C#Uf /&R ,eUj4^O W=JڵuWBC#eT:XKN&ܬs.*>#{ &. !bџ+FQ^S]-oR*nC$uË cds=q _l}nFCHmG,"tj^ jfgwS-uv ei4c"f6Snںd&+˖, ZjO+/Dx 0 I 0;g Ajw/Y{(-wEi&BסIT,5*-Y,L T#XKыOm,IhlcgFNd[?f'A[Te?|p6m=ȺqkPu4I]Q52g>YԫˆwӇWrqHAFp?A[;(\^(Ȏwx@fXXJ4\Ɖ2h6~S&>iY(rNb)"P[)qlü\ 965OuR=iRPpB 'Sͽ6BEWKrI (S&['+iQos7~wLR]Ty٧ē鈘3=Bߵ<,~M \x0`6'/Mhӊjm$x%>)uWcEΖ Yi RV+uIB i'bbR^$^Yo`ϴ_ь.?^Хo)?uSa ~fF<{~?j%] ƍ" :Kׁ4kWAЈzty hJ !ofdKqbPe.# dplO 9&y_7#Hy BhOdgkC%\o'>y(=AÏXA<7/|P ڍ9c o,բ#O*\TK?Z֖C8 IE%nK'$5ѹ]~]qlKJ'EC3hXNsXS9n2]BŖnӅɴ?" ɔ̕jdBN,[yzn =Uah omjNO}ڏJӎO=s+"¢`9HBcLkE] mR! Jk9#0 c]ڪ)l/dN].dUv%ɈŲz6 |;o?Xq+I1,VbQgn JbIW*=%7`O_R2;WLW Sv߹|g,tU٠0L(>{.&CRe nAQ޴RΘ>͟)HX?9/ ݠdt/iJ* sxTESa aq#Jk4NƦ/ϮScct]rQ7lEb4=x$`LWp.10MZhkS umȭUoBZ3 AU\^B>s Ezm`HQ]C1md+>UFp/e۩TVIob"CUֽ2_p5,[7H4ߪ<YlҊ4 8 (D]X[^Q gyA:J_TZʝJ!7xSU89e0 bhjӺtj`)>W'-,[ƦjrN/q^]TOk/2?^ ~4SP+yd-5uK"DŽ3] {ᷜw l LP$rI ۿb;!F˽fף/Dion#:kvwπv` T`м-^*lFH 2h_(rA1qLu{_u# i< E_j0{dE{眐? "]#L46 [uĘY"'̛4vиd&3_ *3KEf/М7ŽV=b8Q ߘcQ1'SHt$,ٗm0ӯm:>0s#ڷZ/#wfu]bzud2^Y8:bQ:eDN/x]iqÄi/hd+F }-`r:ɻng(tl@ QA#|ˮSG[e5Lj;Ϣ8 ޅ]oa=g#É}2?+ wF:.@_oH|)~,sf'OQFK*$S*'1hv"i>^k*e5P1V?>wAf?pV%802f`0VJKS 2?;b=ƨE >'!҄üB+\Ib>^n\<>X*QJimz/6sd+)Mliޯexlwh{R= }~ox@y87rWz+g_`?TkĘFG 4xts|~69g6XMo!/E7p'Lyk޽2iD7,e 2I170OHF|eqQ+㶍O N*&O)HvvdP,ԦQOUyOjT۝+lLuJ, ʔ+{}IC+//IʄlA` Fd -လ/EL_ڰ4b]uHz.Ж\UI9tV`F4bġү~"KAe1kݯ GMPBhBySϵԾل[;= )YWSki/5Ĥ 2PFiw/Gg!!!:ڙ';4*e=]]T0m?M crWb)/Xdc4v.j1jy :8 E\77Hwl[4m ݙJOO0aAAQil?Kן1ֿG'ZHQ/(@+vJA\[kIv}Bx.B[NuJ9i4(\h-~MDBUF}x~=:*ViԷCct_u^HOL0/5C]0 R ~mVܫw4d{Jc]:ʼnkװ_Xc0$viRWDz,ϷWcq~pBWMߘY~y,ܾTN(Ѱ/^*UQ|7XL v2Bg'kLq3gĜƟgOjM=| ?AsC%e=<åϊڡgdb'PpuU Ig\o%6+ ޻'&3r>kު$9aۜY-A>DoM"5|ƥ. X 3_bo.^Y]6?#şnI jCG}NS68wbƗ{y>:*I!jiٹt<rn/k¿G2$w_`ö+ka?.ڒܘֆBr?yM'A^@׋DtXpJI(Y(fZWάʉ8;ԎhT 5P[ZGfKB6*v3Shء-KEo 4_Jv.j1i@Y@w67RpF$aFKMn ,'Uɘl猭e+ݪar9`۰Eֻo ˺e-/ڄ9G6%OR4.PfvAc,I0:aSYXl ܝrmjLѠ&# $PtZfUdoth#h.~g:s^))CfP~!,[Oa:IU&Ѝ)q)!d.yfˡ['OE7,`M7,~:^z)Rc늠̰E)( lzJN7ƅ{'mT=k%qS=pVc,wঊKz[׌=25S}PgrZT}9@ TF;`IT,OhJҺeNT*Fvc5;v <[75R=*r=kX WyeMtfcV|\ b8Y_QD < 3Dݗ$yoo~~r~d0Ֆo>\gOS{:[ړfTEUDL.J(+Sc+3Rab'[Lu#:.t'{kxP/S3]:[V/ sxbƤWW@4 ZW@2~2+EZ!q `ţiEa2N#dCyrDS4Q/,Cֿ]t%HQUȼZ~h"B5B>aY#`a X;AKK[3mQ 8eӼe(3KMo8Bxn؅]kA$k,-6VQzi_f%bu\^L{w"lR5o8$Ġ2Jە`,9>?tc!˵{H~wh G4G Ŏ>MA\=8cm3t%"W[RDI W$:<{|C7Ab]hBruډgOYA>Vmh/-P$'䑤7)ϽB&VShKN=ʯ<}0SZ2Y Rf>bɍ]fjJq*zQ.-AC$S_q\ Gq&',%7+3 j PS $."9A ͷFEX!Ezɿ)0Q/ef[|W5L0Eg'1X,F{Al(#P\'\R$c%J 9x^-7OS,ImLx&lFd01rK%>5p XRqv-wlQ Q^yuu#ve+ Ԙ"UӱE⪷?KwT3OuqMި@Pce&1G9u?O̝; N6zۥs#Dt%J'T]$r#Ԝ4Yٟdi!FYްIk>ϛZP.e(1Y[՘nš_`N)R)|ewwC?k,%+ m"̠T'/sߠq[ ϼXԓABC.'Ep` U6shm/ v{HVי{ng u;d:U?;߱NIUɝeu!M.iJ~Ɇ;LfOHFO8' [Ƃ#gf4_xݔn鏈t{I ~v"FwLJ_Hk%) ޔ1 dw\b5hdυ{흶@<v3Qw9P1s>t]g yJbX`BUaAFl=j_n8YA'#Kgf⥽O%E`د[f.9jP>mFm/{ل߀5L3LccPr33B{+RJňfI:Sp܁\1W껔m3TdeZtt:R(jK'nбp7|?n7[na{g\kW_NhXR7y7[xs:,g;uΠG"rbGsXd*1vST\-U3ǩqe% (6T.)ג^V zb0V^IYf p,ٷo-__/4[N2Vfv M;0E~hug#hڝjD~菛mW{|udAtp!e;Fsv+]Kq]2"*ׂmv!t o x$0R%pzMt %;2X;K>I֎ +RU|ӃW0 Z/;;k4}$W;N%r-,Plv˩KvByY63F˃G]9\>g|$JOXF]"cWilF}X +5jSr Kj6Ǒ# Wׄ߿;xd W5du׸ ^$zh}iN8ۈ͓>*F^=#"%oJYF$Z:Ǘ9r*(ns:ETHS7Z;o2z] GBUfod3Y2)@ԴbLvMlc#Sd29i:1t1]1]9{ . N %4CLuov ˹NXm@0oCK*9v}EY?JW𱧩/)7ġlXJNJ?x #;C'[$xEm=qXR=>7V+ I n,D(JhS}(::YzN "5e%R#D/#CZJ?0kh7בZ+_:[?eN QwBHB[ .Ɩg`E/_*rB!z43N&+Õ_;9Đ#)R?F^(.O1-(17t~3+#Y4Nͭ=wBK#5:zS}k]yb&`,f'EvOqq.ogziLіiu#%dĨ ^XC >*tURBH*v.KDGUocjr.^UNA,$v]`3A; BN6U-V]uǏ*/3AݍeI-X `0_&iM"TXK֨ оOvX;U*|WmCQÌ nsJ8!ϫ8.fmA kpݣSjf޸zFvzqn-~۲˳#qJ^ S VyS\琱*PrKۜShP75}uDz%.8V>bW ܋w0ce*#Ƅ!7!<"wOC  @)^{Ξ1eY>dE7}V [d+R9zu\mhCBеπZh9v~ >*dClQc)QIh2K; '( t'5gg;7yZdƌ+X |7ir>N vSa_61E=!H#Q-b5au$ C2E^QHnLp(-MQ@(d+3=O/l#Wy((Jf]R΁҆ âyص1 )r}CӉuQ^"9(-U!= -5I.Wv\~W!oSs4^۶˝{?-BΕ?7Ц)!aNq"ƄtT1?huWbYv#.Bə}}8lEG 2"T ²\z2\mu}?VP'tv^_vY; Oӻ~I ˔p~ަI3F"uzHsSYx|%F }0$. JC٤QԐP,##lCrXtcyXN^h*r ]8bOkn{,,)Su- $ɴB]KY--Wkt)UP8V2eRW$C d3=$2ѿ)`KHV4dx]Jb+)}ZfMT [33^{:v:; ;v3}#9@Tw.9t@+FЅB|QPjr)@| 2@洹)vԖʀ&mnO{2IԦ~G#SPAOAW\M,r/ǞhVW0ﻎTZ_{O掅 M lB>4EGBFǶc)R'KC{81Ht8nC!4Quir G 9I>k %-Z oAux!r=3H=emWnR۶_&kT/C Z.[!6+7,| 5WK%q cNu2V.{%?en)*f0qpR3iT4Xgtʳ^y& ոbEdjTA](rb,Kmax0@s6ծ}* ȆjAN3uXÝ eY3IdiàegIV9gNUñ"貐ⲅhܝz [o*bM2/hhA'mc̎[9\E-N7nY3i1bX (1V9\ɈZ0l@\{l<*v^#x%(JsrMJD"mpg?" YՠJIMÊ'xƼsBoô}cYGʍ8'."ǟ\}qu V^f7& 5b_:77֮es=c.#2q-K4yS =0p6[[llJxT#d)AנTăksĝM!HzαJ*rNKoqSdصۺ:~ç4bH۹SZhqY.+ڎdrpGbftڰ5JݛPNǽAњS1K.y' '훎KQ]F^X—A3V:h\Gm"0E*˘q*[rv# 9"4>7z _^0jUDWϕc8t*9]oƊukTI Po:H#p62keUWlf,&) sYEJH1q`{S[2dnVE4a񲶺XZ@Jلd紽X#rm ؼ&-H3!^M@2ӛ_h t4MĨlm`kYz! t7ˬtgyosTٙ_IJiâA@ P @aY*bc oF^C*a@ i".KE^ݥuWfTԁ>o~`v؎;Ae_C&V*r<5EZdՒT3t9DSh>6qZ2]3 {1:=kڱG:d-@آj*ʓg\Mb![r3Ʌ1C(ƒeA Z`@lP 6b޳;:#\g_e?` ʵb K>ML/=˥?:`[q Q}~lr\qs/!9w>@ΚjTKQ).8-dK;[/TVU^@ ځy!(]DEzE1m; \q/ a;:}7c^n2Iccݱ< d_+/mB95Bק3-yaF;Y.ڏ󌘻K|[]inGŧנS(iU+Q֗Ruhr}?o+&? p 3{5]ٹ)^@~4\H.3u0[Ys| u ".[STy+ ^ Dax͡b0ԅDiBC 4.-HIuxX0Ev_l$qQ=ɛO8XM6ʹ{gf ~ dQ[Q1oʝ! n ֹ,L#G%Zl9=;%t吷$E[ ,#ɱ!b߽WV|[P.ϼU֍Fv3M*N4OWX8F㗋??\V]$3yMbمJ:}N)@S~Darؿtr?gxO!m IրZ^}33 ȥ]7QEt=qn8½%N,޳Kw^;*wI'3M5xMwZr8ӧA;p4rZ['l~d3BP&Rcu nPJalwxLy!3aF(9wulHh3bpPRb.&P Ί&iRO=^Eh{1T6l !F_vv Q'fZr$Y-xTQPrѾ99wqLIlؙ_Dw\Nt"KL,*-yA/RmVw{$4_v֪(Y;9\ni[B7…[U" w4W{N IöMhζprJT {d @,Hh®6 :NQXGq@%7!IxK5~Kg?븪,-юEmw"3ǖH"-g? s X4pUzccl|'3M`$SDŽbc{ŮzиĆ"HX|+ L壈)KͮwȔ5Q-iwC0E扷ږ9=30*ր#3f-_gԤf /d)hJ⳦[|y]Lx"Nj$2c:|`򇧒i>Ca.%0/%" #NSrJd'f=n[2π:{#A^u[HTnOi v(No mZWvQ"i!EmSⰀۢٺ@pw"NO+\M%ڌϋkRC*T X*_Dk;Cm]!yrG|_j`TŒAR3 e} L0xZ4Aɠ{CNh\)?\ B҉Z48j0O树'"Bfu]O0T2Z y<< ظ =BoEԢQ]yl|dAR"h X`fZ}lv9w_[+m _C-L"VKc &Q:hurs%Ba6D}Au[RA.DjY,*֋Sa¼qz{oP}3j&-sZ;oVxd5GzAZ+Ԯ?@/1KdBK,ÎbIEb/X7HF1t;TOTNd Fb}wK9mPN!].&( mœJR:%'d*p[-8 㣍6%o)}^~d, ٶsV%W!5B=Y8+}-t%r4 O~Rd&x߇#=S/U?IvJf/I~\#ϨP884Bc2  YêW5PlOاTڋdG$'F՛Tz(6艖Fpkv! `qya 'l3۹J^1J%y2/FSO)7{CniƆeXQ(Qcvaч}gt|EkK`rtT[SSָ@*R`Mw~jsaI[PWϤ/ul);fAC$EiXG&Aj<6 ɘ:|LB:#4 MٷİikՖb->¨t)-EA]]-.)!oP8[Q$-/<:vŕZmh'bv~r9`)RS۰'ܥ#g0DCI}0d/H6ajkq9G"Ԥ]#?iXX^q'ʺ܄L&3|&($8gŹכH0xmq&bˤ=J/}3/bBm,%`8cC<ŗ> =Y:zN:Vj8\9a$}wBO-4#Dur])tEờ:($6٢OKE*:ɂ5 N 1g obnLF;? 67\|)5OLq6WY7ItO*ˈogA2=`fn񤌷{`4;㬁|K21k^JrTb퀸Hd1kR2- a%TQ**O1GNp_6s~z12;8_CcH^[jґ/Ր3k[oC(S%Q,P|Nc-tX6Rs=Ia^ޅodB)_-AL@ǔWV"ndF3]K9tUg#N9Y&/nsFnjzx`2yg!8Qf.>PaVizչ `r3Z`.!k, u,C={q\9 ky_- QQ]}\!l!&1]D#򉚩ӁtjFズH>:$u AX<j-+N;oCtgЎE{5m^c:J |ۯ9#%qwYt]^G |SWT`71G̙QjU j2_vAM+{WZjq_6Dٗgc:> G TCD%jO\?df_١ < ?@0o8gN;/-T;- $- ,Ӈ}o#@[NIzY⟽va$=u"ۨq I i,}φU)rMf]Xh6;İBvކ!TxZG}۸UByEq&&M:ErP(ZGگ,uW_Ɲ10Q!lTщYk#ܓdz+l :(9~3%? Zxopt o+΢ BpGۖcM+v)*Q*nie4^ʔ=۽\. Nsq*񨕥n%vp)Q9FQ^\o+.q ADqӾsMMv: 5JqWU[bO:N|aHk@0a;7)x/z*bɢl '=L~,whl'V78}UZ3&}<##ۓr6s# a8܅4up@C›7bZ S:~hr=QVoaeN[u1,O"[ %tݍPM,tջ~~OZP(fpx1;iJ޹1M5%_[B<g<M҂bp{_ŜHlTwT)Dc9#bh4;кLdj\;01v^- [ʡ);:w17'2X WU᪘COa ӑ؝WjNo3נSXy];Czԇ&LZ2cfB*/ڔ ja, RfH+Ƥc_ćnfw{k' _l] sr<2z^!wVnJ%Rd! 2j9yjFLЉhj뫇͡9!3Mr^Z6rj,j $OPUo#k(~Q YU[J֍!U6ϭ쪪^Z -XPH^/:Vv'҇gdg&s+DUiN=0sQlhÈs, ω{mne=ƬG濿Iw3zM.˵[lY{Ex.4Or ·I8UԷ{;nd=i &&㮬}s+L ϻ]VͶɅ Uw>g^NbVD*EUYؙER0nL(#$ zMo.8o!#Wز| 4`q⌐ȹhf.W nw\)|oP16lƊ.&Esn) |h6E:1X.Xnac"Fl6Y/CN. r‹煖9+qd鯆u~ti=m}W$"Z~G,XoV$SI( #bc\=@A*pۅTg_o0eD~]U(ʤ9Va/tfΖoǷ^A.9]|4&YٞJ(<}W\ӊex+{رNр9$FYJ+I&q% w2OGMlFBDKzwTWJqpa^TPu> pctF8ETw>oU)UxrbkJnae1F"`nhIMx3EZ25Á{r;}9^A$ڭxGdl W?/:?|&;cA̰YLEz4K[F`-۩0QX8O Mѳ&N+ho/i };j~ N,yΦb_ [3a+c-rr'4XêMEmqm!T5iBC/9{nz}fuъ/G^IZ o61\-ّC .8WQT-C!N,H (Bm>uoHvZݏ@X#(97$€)Vge O$w/zvy0O8/xu?ʌzN} #U4h3ru"w;e+Nw@gZ EBeo/`D Qv_hH gE ^>j`=@yZ_47.1Xis[| Qx*n9T#7}s `&A誢 RgPN4!G|Y, hso^$O6amKGLV\ , *I+'i JW[q"V%s`? Cfyd&nL=q%@K<=GVAGCa=DL3$ G%pPdy5K\]oI!v">"G]\M*%Ot=lmt;2d[z4~"$&j 8<ɐH(ukIM)l1$@H|ُ/ V0ZrBCKtkɢyd@OrF'DM#ko`piT$8_>zVicTU,=LoJ]_dCRK=[KQ" ٢ > >gPUP\z؅6?RXݲJ5?BQv1O2m EIW&Fo"]Z.4'<;a -3n4pl*-$՛q7h{g[nGKPX&ޞ&j-_e=$~v e͎Zz-i?zKQV@vVaoMXJ$fN6*eqjFPs 0nr?p19>l:N:iGJZl :G@L0RlG䍙+𧉱M=]IfS",^]񫉭~KH!\WJw]wg{dTP\W5߇"(V*5[0]tn9V%-˘2ӗ;ʫ@<(+ M5>5anq䴶Yzt0C%"G@}R::_=z#ҀrPW[\2qFVU!x@게JCJ^\<3Q}&fD\јsT )v}BPqx+س8yjtW# 's$lKd'e9XwS-Aq&&(Ԙ;x ;>7 @^n,-gXl}"*fiWyg#sTgmQYL< n k'kqZQ[< LT4:]noAuXw]뽕q"୙|tB Wk.ѼG$b%}<}W& 6n"\slbr^0KR^ԉ,uϚpeݚo6>g_REv-8U1#`y^:yXN8Qr9v)gc ;۷LD*ѰsHiPciFh| ֻ `TQ簌JYB.4J/Iݞer i 7->!lT^W^w>D+ Pur[ \}"qcԈRӽ%33(d-)I@42_mg (P\mR%l&oh#9",}"*0MGΉDW%$ی1p,( J:MseTM ϨfǷGW(&_ !$b `uE X.׫[@zЩ)m?;hDH I4+T\BejL~.Fzݒn^ȴ3xcSDxN-ٷU>3T?fj= /Q9mf*`^ӎI)o`d 2lov`FgW%9Q@[4Xo ;K%Xb` *c@\4O-objM7#WZ(T }8 Z'5@v Fxc륤bHoG@d ~ hI]0 Bb}c1aE.~$\mZAYl է<(,"J\L>F@_NM ' 'c3K[^fLE!nhsޥQ !Q6<+oQʫ0Zù ,^S=:v}=8 K"ed46gzĐ#)&>`MU aOJp7Y޹cܔVim! j5Wt.q8IS+cr-hJ%S8Ҿ rly\9X 6#9Psrǘ{JuI(lgx5.fT=Re}"Zؼ2 NtA^eڭN>knl.lQOpl)s$42 =a$=~QMmis|PRYwHY'|-9 ];ɛƭ)dRS꺨`U Bgt &[V)c8⊪i6Ȫ8!V$hgzFL;S;k(dیǺ ̬9|nN(.≽ZmzjVzʋJw=;BS^b:{n,-J(:@19A;5a_u$PMj] N_vKexΛ2~R*dhry+JT?æ2|chljjv8gE{>Brq@&JC$i UH5Zf̣MLvpH@p<yJh&h&9^XB XD o8}Ǯ)Kt#U $SqikU8_T*,@d^O !%]B;0Y&ntp"LLЫG9q/g.&C&br1{./`]``F𠑽wA{#u;/ O\.H2Zfh̩[VW%47$yw `3F 3.כ=l9( ˢO&8+'嘍'Xyg kl^EUrGַek$ :(!`:xz(N \q|n(hޭF˩U5˵bMpz>Tp~ j^!N>#׫cyf&KԀ)1WWbaWB7_vɘ~kX"i@ޡ:~ix_#  Ob W)F1̞|( P_K&T'aB0SMʺNӰ0i5I{ ɏ}wA Q.@=8d7N@il˅C#VG/VAjNSY"{ WgG"8DR?VkV+(B> ,,[dg}TcN8_@Z &)TS3|OBeS)j֝&v3 ]d3+<6ntPS 0BK5LЀWzPXt0GR%3f0A,Sk{yL|zM"1UD$v{Qvܝ#<*afh_>lp{M6d~k$\] R3+VRAmـiq4tL`/HV G>9qAe.ܺ@) G뱓|'.pJ`uTm<kۣ>Rx陣4b1'G2J~7Y#q2&NhD2%.0 5"ʸϰQcܮ kӆ_s>g.{_ytu c3nc03D/ c%5 cɤ!TN ҈Љ^M WhꋐI(y84&'BS^L6MJ ͝o S0K@H |4NqX퀩lIة=፞|7 Q;f3C;BTuΙOiU/F3߳@/u% 0:; O?f]D!|OEȬA X7 G>UvլiI!Č?FJfTl.ne,v=1^=Q))E_'yzLp -m՟2+݇Ay)m;ɦeq_juAgr WLc=Ls.4-f:Xܡz(Fx&ɱgYZ336aa769be9e1fc40e1d04107dc61b10835525dad10e51eaf97bcfb5a974b5a9660b4a9c4ab71c4293ccb1a43f5b6d9485f748edaabd5cd5eb0f7a7f