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  0%<$ ]/]HOL-Analysis:threads=6elapsed=305.860cpu=1448.860gc=61.976factor=4.747zXZִF! 㓔K]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-ЬײLZ','EfM7h암uP`Z2ߗ dI@IguI:fU΃e3+D!Vz9sX{) 'v!|Z0f=㽑]Cc-[ak4ZVXKD&aI6Ni'͸M_OEaP<+lEeli'@0d' =s\z <8rfʺ |e _LEz J(͢= ~R fuAR1](0+e#a>ҿ oy9͛Q#'cIMզ`ZWR3a0( G{R2ezS.f}G&n'$R}t8u"Abz|\_u % HOL-Analysis  5eHZd5VJ6ĠbkM_qN!"@ץ_$plGW c?ʏ wϜx\T fy4δf)g~Rq 4fR,K ھ#5)ö'VQ9;Y%ՋΟo8h^[]9)-&nCs[jFwbsf<jrWh(r2yq3tdࢀz|QWvu ؛t(~4+jjDp㓶&EO Zٮx򞌘PN 2(atc736pW|l}vJ 3/yOGFhopp$!w}"݉y6Rxg}9-!0vfKfNvE-|PJ&0٤)<[)-/D̋3nyoɌ~08=H^'pb{Tgɏ: 'EEc>sL Pá|% on9v o2K&ѾK?}6`Q5CxU{ hc;‘@ـ:t̢3sH)9Qd&$Œٟs2Uns Aw#VO-/Hz:qv!jC4_O8W}#kn:R:cYvbt$pM=K[Ġ4˶SAi|r̈́i)U )9/*Jy 0|/ꬮ&F2up4Ef];@0 [?Ī73szw?V_41HFF?P CFNh0 93|EWFPmeʈbǮO'~{ƽ1geoV$ղYdEt;͉/CWV@そFH le#}|vʱ;8˒Vۇ˿n"ymkbrנ#1;GTj'H⫕8JBf0$!?\*4*ս\)j=>C AK=5J6ï ],hӪT?nUI/BcBKH(v%G%Ѻ%xNܕmūzlpk{yVuwQ A71ԹxuC<(tyQ_v\[A\qH[bS͒6wtRgv578%ưǙHAģm(Pԍ `e/Tt>\ G|ଣrZȡKVM]vi"4 pR0vL+f^q̟G€#(yWf!0n_7Jp`l",~$Tp`͙Ρ)$i*vS G Ju(e]$d:G60|NЇ HyJ;E^¥b9 *7Y  U5} dEK^zǂs[wP2BF@}ID3sbrgH`&,g0^3  {G]'u3=Na׫ Gi.`d@-OgDKfaT>A {EaSs±΀mR qC3MKDBc}?QV9i\iX}"ZRrxg7t/_5skuS]6dͳ鉡~54lУK]`<6CPK{OZ)1y,C,kAf'ba*,y'm|+b ɑB 4_y_C?JME6i/|n*xo>|/ujN⛉w0l e$2 \cZ 0zCدl[")MLz>OcU,a:^&Welֆ]-Pm Sm)GT}ի4}?3۠ܰUmGQCF Q:p'+EELȖJǥBCe~y=Ysn k5PƜr΃l O!9w }Ml3 ,$)2۽8W7>fQ[~}1=0ze>%/,ݔx/bk3 *~RދAGxptu鐈۲.({2$@]iuz J8W8#Ͳ4;b?i|T|Gq4֧~ ,*' sc_R߿Hs&ZK {\R 9oHH" ؗQ4dӿ'9Wb,ѸJ+a ,J K y)"l{ *;/Lux?B e;}zxytA -~II?]Ԗiն]v7|*'[׃wk[OQ!AҒ׷u?R)2D7gph e0LY6Xc琳yZ=Z TB ة7yuO=2!Y]Cw2a6٧ cģoPU`ػr(פ ;Fo)MQ\ގaTKDcߎ-oj<նgڥXJô$_qKKJ\0+R]>)6T_o4JDd esVŢnk#? CP$)LP" :C"uq#1)LTU՜ BCB>WR--*]jɁϻk ys7lvn>&u9kǜi< "'ݞ)BjOx)6-^ uߐ7hq)WWxS>Q5Qc=8#:JA: I#nI<~iNw0]jv[&+na26,d^6]{/4d>X5[H)c3+YxY>yUkCzugHG6ݰ&Ƈy;_v|@ lu>Ep6:S .eYaqiq "K~6l?66GC@,TU@AOy_B0%fw['ʣ- tWpmQLgbz^[u  2znHd5T`^I=;~xWKspl'T{C\5_/)|b2T)7CՕP?) Xԍ)9.H=<|ŀ{\à!v-lٹu`1back%vVBP>R~QCS59іDM H{'~ZD/YGT;Q+cQg/Ng=Cb <cn+ѵ:UFྡྷLoC!!K˙WN *NRσꭽ&jPr._X Fl&ud 7hc&B:Fd܏uiL@H)|}$9JpH[t?, EA|R4 EC'z.OW h@#E:M^p &⁇U7%NAkPe8ٰ.l}ҽ 倓éE--Q1:0ua\w`01nK= =Ey''1P!Hw O~{FޙS|j;F3qsD.=vsR%[i%)IP8βX{Y Qg gɭ`rASњss'|i?2-zRsZ<^A)k{+_?YsN%8sHӉ#Hπ(fqaT3k˲46,O(Fg7tA zDC  sl&!Swkʕl+лF;j7ΎF0*9+>'c??`(<)*LSݝѲf\ xd>V!ALg&kыv;  _oٌC yl7oVu"qҊ74$*űy,QiRM&.]!}wz](Źn,&nYo+`E\Fln y;p7#νjэyqz6جLy>7c7A&1gR5Y¨kQqlEH3m}rO^,SWL/`ЂZaz* dF b;yu֑-,g~pbSAmYUX%^au忾ȊN|Õ$ f q- 1E F$u(jfzV2Jg*ȶ铂 b#*TBzBS/ήkKw8&c넼N'FvQ <Hgi'g*Hw"ÜJkooEd"F e4.N>iPM}0Yz].Ak(G,w:(C|NQV#2KT` %}4|Lpb} AUz2 }0al"XNځY"i>KLK.GQqG pW͇L=%s2am"WUKSYiQ{veM+WwIȂJhx6K0|Ը𥫬}k +]d7 ǫ>(Q}aXo爔lBcjhW}aF易 |<^-i$*H fO7e\Xa1w 7su5`Q4R8†R7M 0ڵ\r@nq1]ԫ=6˽coBNL7υWaP a)\>"2ʇtF.pRQ62p|`bA P iaFmxPNe0hcrw0Dԟ0.*fyfy 7Z9 !IN&Y;NKFvLot9PHSH~|^smlht7}e|*ֆ1 ;ٯ ;ȣ@->悫gk-sWɼ>P~ ݒ;+8JK }:{p݄MڒU'~wJJ[Ųq:y`o`aaV/FˌF<!f[=yߚ<]СAԇȖ^ _)g&OC) 4\5TƯ*#5^4 WjQSX࢈:m5k(.r1O۷y_+, Cع;cx7Q5x 3)B>wx?o=n[")4P4v>诩uR)FW1yS!R"NDsrR;iD\ xe#Hd$g#.co x}<[G:L JCt'Q80 +B'$!  }΢<̭l&7.C2yNr n5( +w컟Y,ʷq2*)YҦ Pc C{fհS xuVs(oYKWO~Q4 ps8#k-o' $?S^cp}'3c7dO(*c=#BHSLcI*qC~U9?V9_-#WH[Ӫ~ Եؤ-$QEFZj3;< \% y?e2 -}O,J#.@ #-# eYIJM˻P!^* *UP|F7<*4JT!mX纙h@Uz@&ToCu3pb>MC$fܒQD$I#g.)S m4Ӎno/0%$n(ҎPwѥK J <=6[ )DzNVx2oj`S/v;n3Eaqi}:ˢׇ0vzZrh*WQaXFDҷknl ɈTG9tm6MarZF1fgL^J?8,c@0{}9uB!b7+齹Z3pnQ?, V-"XcLEοva\"0Oo]Bv&sU]C X& b/s%X#&4CPE77#:K;uKv ÑMx|A2^=z`$C(Iqöf~X 4O~&aޤ@ǰL@(&[q^xF{yxnci1-Gu=8db i66t0 LOG= |*[[.Xy~'<.cOv[lLx HmKvE@JiݍRD"BYΨ, Fi+H ׂycФfƞc_82h#ͱ^Ί7Dmp+8ڶ].zcoJRRy2F Z˿[!2g鐞r0CԸ CZvy1E0o{HT0q{]?"o4(NZY e)Ef'7R1B2v^+^tW a-T8\AR@@8m>4:Rk蝦JC # 3erBqo543j9pcSi"TX"}fP&UBwLܼ_yTF UJ͞ɛ9@/\) b4r- )TTO}jWRe kVM/Qw$}xkQGA4(l 03[i%xpow \vKO*'/HP A}0TdB"B7O f+ whUWp8.M0?㋫]26 j[(>9z񇶐s[6+y U<c JVsat $;΅O\>xDO QgfpkEmeޙ:%)?Tun h͚0¢'JzA+Xaĝ BrJ8`v!QvÀ46E凞IMcL98Cy 8ɘxu@ -0:2S%N|ƪ"{VuHQ ᥦp^ԮR} v;{x<WNO: 'J8@eY4YBehp~Z3JNe0kY#no$gupJ|U}Ot.^O[7A{4\4:Tk ]5SdۡaRo݀Xeb*dޑ5#ԒT-go!4u,3*|[J-< 2 VHd%Q*ux "U>_KAJ1j?Xpvg`4i,L4*#+Y^{lG HZ*PY^Cp$~lZk!I> $vL]&ԛ=0BEͷ~<+i#U jt2XOJ91eSEj *T.],,9cRPL@Pg ٤yjg,h3ljc]|Y"kbtb{êT)GV1SnMTk Ԅ~BRϢ@6ZP oϖPEB4P=ATat+)Rv.ғ[=i1u C/WD=G;3.N}{ӂ8n+uWe}WMXf]terD4j]DVwL;k$e,OÖ́goxҷ$mjPʣPk5&p iMXi]ވ!6#pwb V(CA s1~r @QiTJO6a8eGEg}fRPxnyۊ;עyy˜>UdWJIW[lPW$J wFy]bRRѾ*xHS;y+WQmM[!Ñ9tf`2B*'1EVzHϯY`+_`Ւ}@CEu2sW FeHf7MӲ5,QɝhDF euc6.?4l];< ʲkC@h- r}c7߆`VB+[1. M^UuL2GuK:1_*SVߘGZ*PJ85gG)褯xe};;1D:abx0؂K,aBi?^`B`$4DP`']M4\VS>d*G4/DD6ĭO~>vPȪ6rB.)FlwB{Wo}_ܕO_Ϟ&*37`7P٭-؜!LDdV9A 3S@6)]QY "Cbv}ml0]3i%ϥԺ3]YxxMs+T XSsʪ* 1n֓-rݞ"6.?~&wt?Q>]0M4BuBoQfr'D=L#j1f#ualYvn3{GfY4Ĭ|p{KXݦBpm5i/DDjHr1̟aGgn-[#DVдg=imO g3(܉9X nT'2:T\bҘ3E,Gwt[S|-> D(GPWq}.<|r6jWLb !o8q7ڨ/\1S7 4!l@ϳSQgOUv͢$]eE5m6iK^k5$>])fOhh^1mKp&qEK[A`-KNb}(Q-FD7UzW[Q{E?U{~H\/d Y,@_VMDoh">o%A U'bl{$hۻ\`ڻ%Yo9r_,!mZTp".TUV8Pnī,O&E3%XcQxx q͏G`kEUE~/ bSbA °~(*( i_`QB[bv!Ӓ.{aR@KF..2)@S0 \/_yzE\=,ҜG,?7 'yLeh.Nѯtw~Gb!5dG Q Q;X|%32zpKLhceMU3nzł>@R HjjtL=Ur`?IR>Y'Rf޹ւYz?$'952S U9 ̯ ϡiZָx#Wlg{WJ p}j 7g"A}ܯANfKiDAXqExK+yjV^2/ ;`xc]Up*Gv4ː]Z#05·SsɜX 5ԛN5,`6X8zFLC&=h\'Yoy1K@|ԑ^xx0\ӷtvckR?褊wǁ6zB u }`A;֯Ͻb8}~=DU),EzͿP6GIOD&zGTtV)t(YASni`2a AcS߉&RQow:[ewI#Nd'._EhE&H_JLN8u39F4HGk*ƗU<$[w.ֵW/wsg^e9ww>~!P73%а6*ar1)aڒȎ^a n_RG7|S.06xݑdr3VubLM Zn h/3|'rMjҙp&0JšA`cz+$3 3l$&qWp&^Ѐ{s!RS~͠MIױ@uƃ.^9 {-OiG"))H`f"ڮt/8D9_^T$#wO'!&"DJ< ~HhАiƊQ]Z0¾3C[Jw]#V`a;!җ籼\  [gPB tSmB;Od(x,_P]GM2-2>&%[;\-NVNTO >h|h :4f+xUtʘIݬRhi[][wKm]=l9g+X׀jLAKs<8S5KD;a  R$aF"1['-q2/ X%8x* XI|\ =O/ʼn:a p?{ya^BJLR#={)VKBZ;+0s0xAԮRT:](p3Us :-4Yј;O%I\9B0^nUm{a=Gec>P -yh1a`j蛭'e-Y7EH'LIƦS9|\fȇQ_y_*(…2YؒTd{Qޱ h#oMsha|ոpkfO>eòsq@eB ?4~R]C'KU ;wE}EmN!MVn`SHsNG*`e ]gv>FYmM#j?_D3W&iOty Hj8%1n+38]L9_v tY=3(Ϭ"GNc[;9. dB[^5 7sxMY联oGKɴSOD>p3XV`K)sJ;MV3&:L P  &bϔ-bC\Z2qqAMw]v[ds34DMfRB9qtA$"qҐb9^G:&uzoB2K\RCjs]%r(KHYNnEƴot檚|=E.u/Yq|x+N "(TDe$0V]uq' >*o'_ܒj]&Ƣk=.:a%$3 |?7A{%>/cwnp$"wk MBק9_@D:p/"V9&o+[.G,jL`_XF%dTc [Q!*UN5i%.D8Zfey-:/Ey>uߒxX[#15a! dq]Q r-bO_ 'oKˬo ?y~2b6 @T_xڕ I0I8_VP:=GdJ3/Z&1̣cŧ,Ҍ6+qc eÁ61{(t5ȫG~/[wMO]ǴDF*GZ+SK;>c#}^UptO->ڔwkxdՎq8'Ģi8_ń@<*r "oi+QO_c}ކ=ôN3p}z05N]j>AYXD8 AUv,L4?b|Ls-w5+yϐ530w͟}) q[S$EfJv(XzNbx"pmj Nͧw-͐ȮUN%Lv"Fr?̗|tȶEjBX٩Adkn}F Y㼚d]7anxw>ОwA43{"9DvEGnD A^]EoPlkqE'OgYZ7zXZִF! \]ŗXi%>pd$mꆯ uhM[\a.,@GrRVWϫZ@j3W78 IP|'[B_sÉ;46/c~ڈi8.,i%977 = |c9r;5P֬PnW޾{+Rd9444RW+=\ ѽ| 3= IjXFjgbMx^e77nKԍ:pZPSI[`㼇X*p7Zh Xmϲ"I> 7g7 id&X\S/Bh kd ;K,.J4 E$b i6(%=ׅqDw}v-[B+P|g4{o V%KǟغIk/L<> |x"OtsLB=փ #1 ]~ v4Ie}QaT ; ;Y>_5uĖJ5@VE5fJS[Sk{8Scssv`QBn?OHl]gvpEw6;>+L]ڍRWխ$ ָsrf#b4Tf_s}% yf9 z A %&w6pqTFo %OD9M#ڔtɲui,DѺͻf t?PCDN0xT?^2Ջ Z@>j\9b-U0hf+Rڣ1mmq~]HVLoMREA. !K5@Qk?|-%p .MHZN *q|_ᣆA6:f3Ƈck\4 (ț(/N&5E_<7Zȡ٨@ ozL {hŚ\ٕ/k"s@k8ai_ |ݕiMOd.`o;nHU܍wq>jiF*: IP%B'_B&\^ia@w10U^J>4X  X=svM }des*6Ln, sj̃b3!u̟g Ηۋ&0X]C Ij2?+߹}ns^؂3wyB[Cڭb=!#רTmZE,_0Ӻ\mJE{@6Q@9-G);|[]0ހ(ѷy.&qNoM5J#!w%cP` ¨zl&&Xx5b_JqֵlX9L#fs?>'D2ϋCR1׬EsJf^M"=UtXԻXS~نm+,]dJYX+:Fne \c]]^pH$e&3e*ٱxXd)[OU)O< R ״o,zmpEd)f )~4K>FM'0n* t^CI6o+3O+:Wz,]mޫ#hQ42k\۬gEW1kЌXo.Y^G X*h2Q.# ԰oVHSR0JoZ< )4"Hilvdۖk{*oi^2(΅KZdz-H|QX;U{K ? I(q0|!dcfAL>Љ:5s';g1 \"D&`uJ ܤڡs(},c0WAokq ަdD˿ʎ"X&8n$Z[l\?AP 6T ё`N$ &늈4ɴs6ѫ37N5pvu %GŸ- hJC,,% *(|A#דF-*|z,X&Y>z0wM#օ 0qkVKt5//tFiň*gUdu#PЏ%Π5j=Qi{aAU-_\*Q`j]>Ռi߷О_I}͸d- XdA 2`u[ _%k'B^(ş^a\+S?x!O 4jy[| $!fMSBU^ Ӟs!iFvΞ4b\'Sox% aq/0#}=,$ qH/9r!C{+%EbRBB}ĀhYQR& @oE3٘\0&҄0F2F|]Z$"[eFӎ  %@OsUfL4Gw5L;58d~*6~ЯS72A"'Q WYaHvbr&y^o`E![#4 8;0^3{ԋ2"٩f$\<(emzCץ@8 rKhM*J\ hTkiZDNQ'*UU}mJQ&'I\p ^/)w{p7^Z$|/"/:m`f{mۚlǹ װwFeN3lm"eGHC`swXF2PbkkXs7 ԰SkJX 6T@"SDyZ$#ȁXQGDZB;6ޡ*6+:y˂(GW;F t]kp98Shp ojhip!LLXl05yϚ5'ѿw%q./~UP;B`Q&ZBGg2*w#P ]H6XL8wcf`&u_U1Q9z ̹;uF6,KAg&T݆gN6sS_M!J M(!bSGA~!VBQW˵+Qs̓x;D]2q ~@G%="cVٞ* 6M)aV >V+GLv5*)hDZ,e)y$-13tG{"[asz)~Y{l̪*Nމu3MIA&674v+,^ ojѤ,V@$'T:>ݙ[$4gu@˱+[86:ָZ<Ѷ ve̩FS~v&`=8tZ H6t̐Lұpfk]#ܨ9|Xd^nr"u`c;t~)][9mw˩']0#_OX%x)-dCZT;=̔anŶLJ{tGs#4J@3|(5Y(Uw|WG4y uuݤX5b_i)X>q"(.V4GupiCR%d98u~$$6^t#65-x3V\ouhq^/uDH q :n@I*E`) GN"TA5}. mM<6%/nYls7%W:. L՜_)QC}6kH:9`Z=I6cDT[0uRR=l)*J_$A~!l]MRU1ɥ*,"%+* @5` C֤)r+C&Fޝ|exZ46;bWT<,~D6f'74oU4%)@ihEsh 2f%zol9L 46ʤe3urѣT &rry.4lk=Ac6&F{gH p 3|*IHScd Vp6E4؇dǵ"df}` & *0a2߹3?]TY6v4Dm9+$)Pãge$?HB_mح:Gw&=d%i%'k MkuTzZ>0"Pp2(oz's͇(0^ICm̶'Eb-xKy|$)&䨿ĒJKC丌ym|P|-6bܢz<8R@wQ3߅esZ^N#p.$SiFT}}mqy~U'/w*Ep`t'69s0z6ݐ@m4iWƄ1j''wE֕ q^JN 0^!\)^ u5l+ЃnP4|g KGh5 еdvC+kGmiwh"F?P;ZU3^ -Mjd]S{eG ,p(#yh)79 U ;N8g|GuLEK$qwP¨4Ҳ"l쿾"Yys>ێָ}za UlA=#ʬs{=>KVPs9vj3*vأL/R?l  (V`80D%CEPk/,ux\{C}6Yw1>:`KIqt$G4c—<,BQcF$>n1MXY;{"NR" Q^p,:C4vuK%luՀl׸XC%4q=5!" n2`]^);'L!3AzP<s#לs)KCyU睲@x'C8a^ٜ͢7I5?&JԄ+ hlé?|N{gh]>3j"XbTX،_"4@ߝD\/ g"_jЎ%eݚdt< 6'O[HBKFKi)0Iڃ ;rL)E0ZmRA%~S!~}*IKñi|jµI܈,oC+Ӯd:1m87Pٶ:wTu761]mwV p<~8D+Q % rdzWMO*hg+JcewF'Lǭo,~)8NbL6qXf@ևqd黈]mhJU2VXָR2P|BAŒnxᎮhgxcOt^]+ HA1Dsf,?Ӵ^g|nY>#C}ECؘ'N*#nܥ.?[#+juPРz2J&ނwD1H1ZZF `sK}de_[ "cL`<{msnkXJaqG. e$āRQ62u*b$`P>}t8I&τu(XN  Ԟ#d#H҉>LzSyJ% vkf A[er46),VHpHp?Z%% ^ Ӻ++d, !,xgEjldQa*]%qT_Zn%Ă\˟L,q۩m# gv bzD"I 5;W3Ûߚ `lw:Pb$aMJqxv&*gAhLVx<І'w[IڍuGh/v~iɠS((4뺋 D SL»>lx9'ro 3AH=g'9#ܱẻ UXdP+9"6it>yatW;?=վɃ-FE s` CJ G:2OnGp>jCqTLE2p9;X%X4>Z{kZPqYϹdH(1хƢ򏵕$(^GsJbnfN)n2hTGj ? _M#R][dY5 bATMLS+A|\W] 3v8-şlVt"ob̤-fDމN8h8$Gd Gn:+i=P<U=5,b˭e1"lai- cj< M{j+tkzG!YZx>;9$?0u aliHG{qntW]WУn],uR 37(_3wΗV<82ۍ-6}"gӯ6rcrq 6m|%L5`f;`Aˋ;1SW뛭=)QU+=VbuGȗ+{KwAA~?uif8OZ`n'ٶNjO)CwjA}la|AaW0gQQl|,r Y;jxtOђhp"c0')S8xVᔶޟt[lYDZ:$B7saw;ڱ+ūMMaE 8~e+0 @$sX#P-Gj'΄KEPcRH*)͞!r~yc R!s]tVV-CɺיE  aZ_3 !})ntn]Hd^D5nJ2uE\$_LV6_L#R(&Ӡ" r NuZfp;ӣI~I߳V_!ԓtG } ]=m>?um6Mđ58T4OgF S`}b/gj*d܁%c"Cap#l+E* HoM'gctͭ_K6mӑaoigx^u0T{tx, loD$]TOC TWgS*ηZHNpz jZy )@O > |ȅدy\ d%xq ^wk^tbM.\VǏ;Ð ۍuT75uAۻya*lGƨ,H2HAi׬W/Gavή@ur("`s@UK3.X@U0\4Ɵ8Jm^}k/B2Q"cY>܂` cmE{5xZ '?:Щ.*"]s/K-(uЊ^K%Q|_~ї1E16`/(v8ƃ’^˙ g9;ɀB ,Yg"1Ξ0*;9ۙHUt) }b}~=㌪xΏ֙Յ(}lywA^TpoXGL&JG*kHkF< (hU+xQDI|0^:BQaMEw? Op@xLTjF>CqDEIBcH=GyJ7Bg\ @!fV<Sc[!ԇarNjaԴǫ p'R-I4 & dڕF? /t8(p_hc 5Ґ\"~r@t=1/1m' D0fl!1_1pa/) [qcD'?vW7+ ̜+ ׆Ku:ZS~>'N_: .IiȞ33ءS#ЬrkeeyFmm JSx-w>rHBF3]ZZ/ 1kip'W'Dlקd!o1!R릴g h/-Mt\2=tRGB$,}j _rYN@$^VJiU |L j~{UӪ2*Ɠ^=s@L&@/|NO M%}hq`EQ5y!Վms!X9AL÷#uM g sh~ rQ$ߒa).,*[8-&9f3-`^j XZL(AV]{-ldo?(R52n0]٣"65A#5Q([t@E%;":0ģL_ sEy@>  g'|5cWElf!()m 2bN2='sun)(XLZuw %XL z$ G6MZSM24WL;8<tY1d$҂XI&g51Zr+6côKB,SU? eB"geiXyCL_>t+Lx^EC!S;k=@RdB%Rݶ".TbsQnwNWEhƱK6,FS)k@kWNt?Bl%$Fl7eC,8D*wM2SBiwpHOEbߞ \Nq| jQmE2#YG<kJ1ˊ tvFqa#:"87;CӲ Z9gȱAЇiL$bDͧqMHq0pІ}I)/?]ĪWb]x ^ag"zKѸbVnY8{"dHhg[kd$ͷ%2Vu(O$K&fۈ)|)٬ Ҧ\-/Cpř3< ~nYiv}BOXuyeApLQik{@\3] >33:.? y>Bͣfl$=opy+bB{jZO)".+011 Ab6iMf=B6EPf^#}9%_9wPme(}i=,PMγ"HtPB{^J^ zx JvJ955a2#;ժޚl҈XvgV{Ӧ< pXZ.r֨h3h6F"DM"6;H >kAyµuP܌?x,`t_3?;ih fA䖓0;'PkM(DM9a@Y<^s (1WYef0^3JZeyّ J^Zρ1f(> HQmdE6Ű6en_AxӉL?M q{<>*FH[B3>]>)5kM@Tɧ-N޲}Cj!3#}YG&ш1'@ n]hk#jmc*kk4 J7/d;ƉȢ/c壘zT!Ί{KWFlFNo;692({dɽ6ݱ5<5!Ա$=rv%Tݮu?{L^zPhxkhn#1iٟ(EaQ/c!ᔹ;YƁ!G\V"Z۝v@`"du<,6v"]4jMRceb/w!PEu2p- y,$R#XhV!V#qAպtjO2/n98Wkfru!s6`ц{g~Ase)F[췠ծC4JpG*!)FJIi7Rr xڠ.Q.&NbQ{_S@?2cc#o\ç!TmT.L}>fh% `^KF߶mʨس/ fX;w0R\}EcBw؀c .̕c^[Q%m Y͝ubWf!֧И8Xhu,.ZL%IO֞>}eTlN 4 {(ߢ!~Ŝ# KBESy7d/vD9``}wStֽz <o0ƽ[(*V280{y>I&]͘*Q֪yƮr BMWWg`cWuW4q':1DXD"=}{ƈ&f5ͺu3L6)](GT8Ct.8.k|(Hv>SE`RJv}R3Gݵ~ɻ--aԧe@DR~ht;Ȧ;IUPvߋuR=O96Ȣ{OϘOET^)R0Do>!yGrv B\ǽFt&+NhA{ҿ{BOCP~x+|ZGBZM#B T"XMnR;ЧFiֻIrfh0 Y7zeRaT]7tXsz8bD( Qb~݊Ubmu厝 2r`hrほ?^\ư<WHnj4vqBlSCS ?IZ)Q}yYdžP桰pլ2%V:%@"?nNw*eaHhCYvQ??DHϜ|{; W{ Њ`J,H7 tsxgR Tg&V`mp+:αVsEiX?LEUQV|VU*LwfeaC7;F3AS Ͼho^h!(;짙%u=3H9kzoYFcphg zyS? ݠ5F8v7DvP\.# $_nGu%twZh}3]I67ieSF3!X#p=|;"X"FQ~ҮnhM Vی).B_׀#%aG?RZנ$oog:gŅ38eɫOUo˔*+fD+H[橭19\fnCGa3'a*ht.^\^QYͧEU*6Є[5RSh X@Dnehl颋hlNY!`d4r_7:S,UQ2i1pyrlmxN^Ua@uBt,F!w"ڜSBV5tB&%NWwڰT"\X!8~Vr:PӦ?IqO2enۗI| u#ƒbmfl3:{^~>yǼ4e-2 ^3Lh!DԒ*rXcA{ De V!Ě%AO)'Ou[\"svcWSwfp򻸝S [\M_Z]OjD(ګzf^)xIDj kn-f#L672SWB]e\JJam{,?gq VG+Mp%Os೸ ;Yjo08{7/}DyzLxJc*B<8$QPQmd]JFZPʝ]Tk}f>`Qyͳ )}G %-T@4EmEigõ2jtJ`})uzz AOrא7nڬwRE2DHqIgOCsqQH51F(]Y@X 3lH ]صMRy6@~<N=PݿxȞ7@B2Y=UIC*97uGogJv]1,d "NA_ӑ`RT"1@Cu*.ݐϘ~a80[`b~N9fL W`,KaY\iG1ZWSt4\lX=p|why,-wfUOXw4U//Fe,{48>9euy)QzX9-l \!vJLPH?an[u4C5bʛ?X 1-o W 2:>cp/OS r=XF{E;k;Mj ZRʐ>bCx@f8i{jg^:-%vxM`d^\ޑR+>ؿ Н){<|=PRCٞQLm%R:ZJc _T j7䖳;1@4Q$3@Օq߄ 4óptvJ򃴮sd*pɎ8 ]1q */R'Iz;#W;PR(c<^G;4!|A_6P,j4X(Ud_"H5uu9 Z[L t;+Ig)ǩhߢDdꡮisʊʜh ?jTl&Xq)͗;0)3$=h 6sxFh Aɑ@\9{ qnTorʞ~t`rv:B yQB<Ʒ0*Ir)M6XChe ܼ݅ѫ(;1kfpaA8+I(Vև &#DAZp@(?ǴLG][ǩ kq=$񳞼W _}q=kApAK'%jWL}&F[$;U6quSO;GJ'qdP-Wa} =ۏ[Pmg\ ~J1z'k;f )umK x ;NP/zm'!B &441>-!5Vֆ)o J紘 ѭ2JMj,Ak^3pn@j?c{k=AĂ) ̺JP8܁hD8dFÿ8AqRw2PnLAK7̈ WZ$%0kw"t|hE}4eh2kΰ'cUqe+|I‘Gh#q{X(߫ܤgpxhƈi)^ տί!A}eUn,bO=lBnJC"ޥ$*k+#jV|%}']xhI߸%Bp"G;۞ _F~0y8v d!^~C* ho?=*,(odlg|&h36y2[:Ce3l> "Sթ^g Jڡ: ɴE'-cYD*LV_t߶$h[pTpS7  ;o\zWAlJE4gn: ZFa

!yr7r /e͏ r=#AljSi2V=lvr4ƒy/](m ]H 8 >/jXdCS886 4ĿJZ>TOk QHY5FΦّw5@!1AITA(R=Me>kwI af$~cF=܊L0z+D6|RL*^4:dWב>cb}0Zy7b CmHBi:|I~v(Ǡd&819TP#S1pdMs(wq{,R38#>}(9Hl86H%ՠڤ~DuyUC"覉!%_gi=RnK ;`LQPSo[Mq|zMVRP %Z1UQe96Fqp S2qzIAG##D+%>U;k֋fcx1͗e؊A8.Fmb sSj% &d)SߦRٳ5`U!2,+oE8dz\k>=wK}dUMHTf&֠;~uJfI;w>v]p{8z>%V:Y$3@ؔ _/b%ɡ_<φIuu?I2ܢGŒ=zu782  }#~hWcU0蚮9f~~&c?yʜ\G=Ocʘxs=nqXXYy'lBIX-D[$mFLO'ut!H-U=Tt8W5#%NS,B6ZGf7r+}ĤHVi4kgsÝȺ̬RŕstxVdFVXHp暇*6@ eWq^>LexFFx I{}!EFE9̏ j9/TL%%t"xkGq+c5ݬy넩݁4ˍ&r\mJ^clmIa갎-MOJK_ aYdeT5pn/Xʁ%6XЈouN/ppqmINC_% ҬҨ׷Y*j4ջM{҃ŗyĠzrS Ӌd`] b7>*m.Q"bNsWQ{oC^N%ﴳP<ٜuٓQPݣ<}eR Tﷀ +p14,[yUgG}ٶK1"q;H(G2')5VvAn y L.۫x9x1hU(̱}C67s f0ߪqv'Ἒt ({aF[yG#xJUi{٩%+aZ9"Z{qhޅ%nOXOAd eFe1toz6ЄtAKj@8=%m(_N|0 H)' 7Eķw% څ Ih܀?|RW!4y>ڜ)jmdM~k2"+w!j.۳Q?5t&?QSt&a0C6@+^67&!5hHή|0@qοjSɃk?4ɭie3 t' EG}b%mQ -Jv @V&c%Mߟ>$ Ϻl2YzTneTm<" w]Ć=4uK<~LM*C$iڡŤ<˄p)|p+ȩ08oK G9~/u[jndG% }L` JIh%+X,=B,BtnD^ a|w ^xFIP5oDw!2 yk|'L)9`g)ߡGeW$VKS MX0T%(qX]!#uYzSIV )JF=u "ľ p5ލVy|Uyq֒qg%ԟID[Yy V[eWwϥGaes`vdj%dE#M ,NF8(0O8 o36zVo59c?_||tiUT:'853ʃ1' %;#uՕzĬOJa% sM&mlJa}cIu*Ȏ+~4.ajew4 :-’A\I  ?S9 -LS<_ HdYsa֗ ۪Cމ}elv=Ի?<IwgYZ18ef080be6f63bef051c0173141d1da0d72fc10b5a4801f0c143f74de5fafb369b13a773b3d622f5 aaa54dbeea5ce8901e3a981b42b1b8219bf4ff22c311e67cc3abcf2550908915c1f1755f0127f80b