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 4%|t ]/]HOL-Analysis:threads=6elapsed=298.380cpu=1450.116gc=61.036factor=4.867zXZִF! X=G5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1r ‘_5mab^X88)229M8¡Sy2.^}0˅U3 ,D&L|-^6|"?5ӷV|ZhLWL∳Vt>*P`߻ڧc&R$ +ZJX"qQx'dLIxEꋚ5o-)Hwb3`chZI%3O5A ǓH9@|u|&RJni%C]PPUzB!,J}# lQCTG'{p-w]jK 0(pUKU.&beFU%fwiE.b |;9eӄbavZXj0kf)F Z 1K{Rk+X^r;2s$j`ZcpJԭcswq})/6xL"^C΅e6p;46 R×rg#^-!!!Wd%H"HUgRb!"VK+)|!B{{WobPa}@ ;ʸo`ZF}u:M|]Ӝlq; ٰ!hb?z`L]'28[\Q`/5ABð#oἙ ]kHVݪK_lͧ]RމKHNJZp{Kc+:燐)Ԏ1]ْN1x=kvuFv%ff 9#9jJ5((Z%n8Q(!9r,1Sbo~ty?82d5d%h;Zګ'=A/,,BRLi2B_O3X|~h;1pr}1eWݳTC{O܀dUdoG\#/#S[4Yٯ(RIF) ny;'51^_v'f걖7𭐫?2l- Ti$OG0$V)П1٤|N'ɱR#KAĺ#O4Fq_zAޑ?>+.hT?|Ry{MDkhE:DMc<~AGuCpS,V^Ɍ\--iS:&V3ӌAױPӭ=C#3;tYHj V ɞ:29.%XA@@&vJ#`O~LaqO̔%JJ)Z=t1<h͌'[C};PO l!q`Ӭ[v/ jom>Y/ݿ}O( RlQ+,5\5PxzY<-R>|fTx 5YSG!G#R#ݞY~~A勛>8~c~L1ǃ^:$v+/@>*rc;XO/K3rOD\xO'|$kszW?~P};.{S"`ՃVp"cIR^o@7b|8~xh}GV}e6L~$of!}}OuP!$ \UD*Vw[:x&%n%z q4M@jզӢ,ҹjFӸܦ 0Dѧdᤰd f_";'1;s,@T z81S׆s[_bFtp|ؚvԘ)lO)d(\ \^J"Hyz%SɄΦ*A# \~eL.G1˙8nOư;(;]Js(1RIt*0cǶE,o":Ơ&rtsNYsW\{O$ߪ̊lH|o;#/ZNo=针,b] : %A?8Qs݁}oT la=\/c\Pl5/C =?i}+=b7MpLtJQlQ )oCdMOǘ[IC7lC#PRK蘕='B )YtRS}92VCBc,.u.< W~&ع+ o_XN H8$V!h g$MZlg"0q ؆+rwJ=PzNuLhmRbGO-WrLTrh<.T1F۪0\;&4RvO#k[0o4=(TpW:a  ` 2ZOߴ*r> ? E7:px=@1,DoJAN)~U9WR.[= % HOL-Analysis  zuݵuAh!Cr 8P0d_Kio?Q)?!:Fqc <1?W%T&幜hg`ҼtoZ;m& WkRhC<7$LB/A:$GZγ}+3>X*ExjHMLJj%!_d䒊,3 sÖ#~LTbL <]sw3CM=FN wI?OzǡBf?&&+"t ڔ՘nN̷>3`MpB1BJ6%{8`:@>5TkK.shP"8f 3[9 6RŢV<P{t~_B`EԦ;-ߤ9̟|3&-Ѵ*ns̱Ųh8.n 4Wu4(KdRr( ׊g>)zeXxgQ+4Nrez] pџgw‰2[aWҾNj\,A [h͚浗UA4zgHxn=nrP+cx9,DUǘnykuNTx6,&IG1.<\Z2iGj3Ua7pu]T7bij[@YZ*4z79 @ʦ?|CT]o>vA57"WBQ<:+QRa> Wum7\,a2vLHHۮQPYeco3 N^h/53*_I!aOU=:0O󛖨Ρ2Cƅ`.!Xe(mτyx!r_8MtnRgz Q1a1T0Z_TгrB)'x3j40YkMXߏ×IF<)c٥+82 R61!Qg"%Z9q3=ZX&l!0η8-6;Y햆KPH=>rp쇔` 89tbStbґRӽ j!׌#2*B_ɡ0*V**T7wέ j/iQ\FwpΏO sQzn}>{=(/F${+ԗƘClOJM8;bF }nad٣fDZ jnќRX8`9Ģ64\]*KB/k=<@!Kd 'b""szϕoC$`Qb kW낰X&˟i+")DdH-0`Vn'-9B{,yXNVYW)p:k2!+y 6h_R..hT"^R;,_lL]Q?g t(wS#U# V5Yr>pMosyIԷ'b7yz#DJϿ}a'qrrqɤܨ*>gu+}9T~|2QQ⡶͡KsxBuSo C+y8Ä4:aw$LəcH倇6'sgT~4PWHqfRdmB:iA}-"XwhfD]B\ӌD;s7eyveAk;#JdOLZU<s - `䏀)ʣN0e96edvvwقf|4ڱ\ⴉ)- 8 Ȉ}a-N}j"Mr5lg KF9ST?lgz^LH ְLm}kRyT@Er|15;X~nf>1\[o=j 7w瘌mͭɠ 1&60?H, ݇"iw V~xen-YS]*Z/ |{0iPYjG **4sfW"_~0^azxjK 5U(^%+U8_soJ7+fE(b'/ uv2ϸn4$&(2X0P* eM QuXM0o*?!+ ة?fz[0[ J(+G;;n"3 ,^(*F6.Nt-oo]i|ȢØ)Xa3L3Hy<lVj̀Zcz8>٢sH_ANqB1뜕Is0y ̈́)O@A;+<:c4,y`TSR# B/LIJBt: 4y.-pݲ/ dG FA&1;  ⎪Zi\3 2'ND*%ŵL FiOBj-UZ&͓9DgʢI>>l O8r]e5 z3_f~t'IEZ3)VhM?kʓo.97IXf'_|楷#3/>Mya7)"t8A%iGa8 V! ڐ3 uZJPOV|&wmPa)1oOfV3?C=tw?@\T)l<ˍ"$; VZ C鋬Pw3Pz 0F{3 Ɣ)@۴7M'TδYobqqv9JhU P6;ه JqΰCg]Fp YR1 fy3^8s!D9 H0d=We< p+?S1[ݕiP{q+3h)42/D`F` lζ7B?n `x2+SyC>zLzf7vf2m?B\Zr`2a#fHrk`&L8NNZ"}RmђВC)Sz,lv(`<j̹}TdOa,b&-Q ?ɳ $o/$y+ȣ߫ e W~$~spڇّ5ט%WW>aX|č)ڢH]D vY. bKnj(*́X%>{yqAC&s]U(ɸC :raMtcEPtk ,[_0Y@|2gDsV{"ɪwOop5ƢnMڧ;2(rEX/]ce!>n7Ștq/F?#cζx?V{W(аgP$ vb·(4S]wm' %uTF2!d Nފd]DYjKFF@.b):[ʣ7R?.~hN- Gf¦) Ȑ+bH5494.L|4mOgB UIT٭rPX/"DpKTc xCX1O/aw[x=C8aQŧ$WEx^$a$$Sh:*M2Ӆ.1*%Jj)S?4c=omfgn|vGiYޤ;̛D1ОM37s]"R:C 5+B~4!tdE:_rgNI.bFm4uIӍ"ks]v}>OPr\`:€'M ^[ۚkI.(:htEPGqʸuI A >)Y)kFr>'}mG!-RfqMgKbC!BFՃ^k]"jOo%R&pcH#UdRxlR[%Foِtƥ /s;PKi{$MK)fÓBd0 &`eRhV h.gZ rI:j^h&[1[ø{Jr4d1PœD~;i;!~׻03m"30,#Tsm;,9HĎj69Ӹv߄EF'Tb4Ũyr.8OVu-NTd+@i8p 7-3ΒzW  `li%ɉ%lntPn  D)Y]8猃xkwBi))tU{C@=gaBjFa-`gu[Ҍ3YH* h[fÉ^}uSFpcc**ލ|^GO5^(F~oӇ`ayFCPU0d&jZRh6C.EY^8D0Z TЍE^)gѰt|e?FVkZY"ヌ_KpO b 􏚥s{\وY&4Zي䠙 w5k]h=Pc %X(-;広ޮ/ʠ2[qwW"`Aa1_7RM8]`[,u ;1^)S9)ǿixtXe[!Rg_Ѥi-]ϿƓ18DOom{嗩 ܜz^rިDu@-6X >VGN ̶pB5Pi%$ZU1M~LӃ^"rSg,e&pΠ6NjIv̻in7GJ\^1ζȒj}żȵd:Pk*lh"q,%X=W% *f*tIESr0r%RmC3?b}\d.XwEy#S& ~"\{N(ou{B+kʤ̼x(Tu)hy'!\Ir ^u)r"񎟻-T+Ln&m|@.+p3B< BJKgLab 휰O!hHh?a gn6K$ePL;B-5uM ZV9!^?|3N*a2`,^"7L[?,뭱]RHC~*֊,:0d%MV*S ¯O_ ϷG!A៳χsTw߭Nj_Ġo|U?8=Dn0IԳb;#7€@bxRyUm@r+NN1gL z;Wo6-xb-r?Isi}m@_iwk2Uf0 aĭ+B΄ }tZ& ;<!>ak?]4I`",g 1y;QwEY8gXNia РW7 6M"9M +B}zȩ*Gפ}~=/%FT~L,(Q~ig/ ʶ<8ow3$a̚Ԙ&"޺dTh 36{ca/*>SGG,2u]ӽ3G:OA7|!N4+_\G[ &_uhOxGw`t/^!c ş9!YrC)d2iQQD8qv`{PO|!n" T|>ؼi4TiΦghsGs0#]U襨x'͘O`!qBͬ8kA:bq̿F`쭕gՎDFtoߺ\ü2a^cp86:"h4Ɠr,6@Y>$ %r fX)L!Z1 ;jLB܊EFVڙ/$f^0*;.?:+WYƫS$4z/\JޮuPc  iYLA͝nzᾧؙZzG[ԆG;wV;[GW] J"/RڦBU6sݒH79JeЊ8eq5 i.n6g;F(SA¹ԟ>Ԉ홋.f߁YEJۆCoYAyD)4ٲoij S BpNsJsfB3obˊ g1I]A};cX]:lUA(+J rbwYE~4?еsh/ 4K~ܜSZS+`zP0K*yK)8*ANͯ`8 Na̐4U hI?kmq~hԴ$b [LcLYGUo9]+?)<sv:iBE9 ۢd" )%aV™o\6'}+-Χ#'#*)ǿ*YZ: gVx;v)|:z @g0PF?L/nT9]ޢ_[#6 *LPE3qjs_paTڱ{1sUf+.⏲iɒVTI9ΝK8)f߬!hU.䂔8c5-R.ЖHQM95"+Ÿb}qZX_groJCR*?W|mpҜڴJq1{%5V.ɧbZieB9"29keJngwqk#,##YR 4loFÞRq ~FʕӀ>q>m![D sYTTd}8JgoS ȭ9P!B ԦUL<Ũ_ tHhQY~75X J?Yg> i7N&ޜRcm'ɦ^r71k~DԬex6-YgzpM1qx3;H^P 1\P)'p  uvI[ѡ #/aMݪ3U5wJwAjpi5;.?*J,9Cn9o4o~?y3w0eV=U5t3Ӿ%o~lƐ6XX*Js܄\N3ĩ ݩ&6W!w24+&Ñ u"kX SUA0K{mܹf>CB1<: Heu(-l6yLh;;O(? 4zo^)Xȯgjꢱ)1E,ޏ0hܗx/[1[g2A?P`O_9X' $)n!3\x 0%Pg~EKtJL;2hKf4 Սw'!ܞbcXDY#Ɍ =YkB 7$Gktס?^㗛2bʰOL gJW խ\kuѦEԸUv.a&ñH?2[ lOk/v8_ p|%+CtdUHY$$um DŇҜʦuWZ[C=}yv͈׋*3PP0. t>b\)4QLN$Lel[j{.ܴtL|"gEo-#8#0} UR=SQNb!Bϑ25 RWJMՈl9EG8+ rJc?(HgL0{kPn4$ ԴTp&$riUzn$lv>:I}p󮆓=NAR7%8DH33K _L}N%K.f#yiR~ ( ,cl>WJ~#[ r{Rx[HRp g)˞^QV(+"5%ʋ2/GRU24/q=Ā2>}ܹ60wS!AX0J SتEE, {/CBZB~*b"W&PE*R9\3OEsotkX2g$!HRFIO|vB)R5T"k2*,$H3(+`jXTb+GuW%NkÁgэ߿]Jmq5(Eh5%{n60;"Fu.Uh]b5 ؐs}QĢKh: W%^~_SF?TFi8/ I0ZD*716;hx1 ^g*w{πEJ Ph? )K S|=rP EVW?JQI@AK|*^}m{21q|h)rޏH עC[9I7p6N|Vђ/O #߀s}0'xY ?]k{R?:=$yiYܘU^k͇_,TX[sz UlFV3g 2J+0k#"ra9_ Џ(G{SCCD)]>Hq~cp{{I"7Ikk%6HI(<dŶeGl\&ʱ ʹBI(d҅ǔ jcGIcl&4.2@a> V# K!0?QjEvVwבv_Ɠ\Z*]0rU?qW_Ohє0 vmŚid/±}v.𽬌¿@MnhOUxj5|6*뗇 l%(%MyO&d`26s 9e0/8'hj>ߏ\g!R <8~)Ө$pX;gurю sgYZ7zXZִF! "2]ŗXiɟ1˦r!cHkMeBd4]C厕K'߅H2uO\; nW#^fAL ,MjofρouCDG{SjӸ]6`[B[&0+ |j{.B{&.cGS%=9`YսX5&M[L[" l0G57,]x }E;?!F^N@ b= İ$OGFAܒРqY9)TDtlš&c#έ0RMm9@y:UfX 7w1a q;qEEN'Q)oD=a(*F`khtbp"v>i_E[z!& η) aq9+b!0\F3 9a$WdVg"pd}Ɂ Dѩ;5l΢ȗ]jg 0V197.v2noySh>Վ^&;-)fyT?[6 #BmU2+~%#+ElM4bԀ. ʟFSFIxtMbݧ!ٸH$9t YG ;۬so'XX=`& A TR!;,QKEة٧ŵڐ_6U3y4K82\ԝ+7wmʚPg= !p p:sRɷD˨Epc~ _Tʪ=1Q|E웲'6CfSN/ nKp?'8P`KS'Q @(LP w)he2DSm93/:J]n11Z- Xwq4Tx X~wY3!lO$ʉ %Y?0K}>ЫƔsc`6 ), YMS\O?\ 9i/V{Cd]Q9 6(ŀY ߩOL񜃺r\~հjQ維x S_0T/Ad oŦnsH&ynt޵(ށ# 978/GM3TeeK7E~I+`"_ H*S*Wf)rb;aK;T9c{M%D(MA zc,}QLt䑒:o2SК8Uꤑhs~WКK16gv~o_z*D<%}’$dnx5䟯,V)ZjcUûфR'$˸Ʈ/tRǩDRܗC#."f &1J :KR 1"BVw3;C-22T|e%Vy-3)]V{}{eIϻ,DEJscZ|qRB"}#R8?ր(xIGWlsNFgRR&CUi.!.qc=U\q4٢ ˭bQhRbSw0qx0rQ|E`Z*KL wd#34ncRpZ44E.o!=eӣџS?N8GuߎqY%[!ֈZN# ob棎/"l:4&424}.2I$I5qo. Z)qHiXzCR ii+8BTH:2i{ywJpGAf&a-Iшs1 az elrAwP}"e4sdqµ*bDkgy# g;G>|&jh.9< @rƻ+**=v}_oicWQN-`w=_k:sڔΘT0f IYuoZBlhzKc!rϛMǼ2jؿ,oԦqy{4ۍ?t)*$OǝۑVA"iYȰ=}n]OsM҅ty8T B,<4P`.`5 'eb#K)p Mr:< C!@ MST{ &4[2tШfٍ/x$zՔhCPPzatNV{L{GwC&D(0F@?]ȇpx_qw6Y+%&)J81wʦ6ޟZ@B5 fv0\X aEC+ɨсG&a[rQPjh_O$ vi;6 %>ks(QͩW@PpMԂkPtԅdvB8`?f%PB^:4f}Ԍi4HܐG žȲ5tNq41<>jhg-'c*}z1}ݝ$^jv"Dm( QрTt%dWݭ6|t qZlk*|.؍?Y$%xu8ňvQ9ʜv5zR=ĆL]\;`鴀i V*> m)oDtXғ5%/F \I߭R>yW܋\dR0$ۿ!.[5bDVcmQ@(_u.1VS 6چ!Nm~SO|qt.#Wnnp<($x_@cgjV$ z{W@ipL#,Ҋ`ńTmEǦ}^0;ղ@չ1JV0nR&}pDwH9&p"dٓy^}#XjWW=^r RD`kIhiFܿ(y- c/g7I3"`܃e/&"O6͘ެsTu{ p\:-t̯vO;pap]u8.M$'nX1a`1j7A| @i -z?l>q(iʮ>]p/ ^?jtG.(2_46{Kː8/2W~'@z |/"ߪYXA>/'`-a8Eh4a}(삋òx5yh dn; @-FaSh5T3mFϸȶmGdA$ߓ>qƹW:!/_oO]VtM`ȜL<1I~|-Gn|6_[爠;cN~gN.H,5 <ʭ P{ӂaṜŅ}l 5Lّ:~Bse>@ĝ!&Q^5 +eD͠G~۴Α ؝Q$Q+o&6}O- zs5_B c3$mL _.Q>!ۮOSpu<+ ڲL?%f`XF"#Bsw}r5,&H;p?L;=~tp<̒m;"<'n-Ú[d Gwx)%La.Ye"1\>ku؊_viB+t,m|{*-x IwHo0{1(÷cY0B$ڒn)DhEö#x1,dPd;{h`qwMV^<%fROW*P?( ۜOm ]g75䆒!d۝%c <"YWb+L 38ҵӺ?Qvpr$~D6DM}p zѫc䦬U?9B+d*h8+|3%u3r5!i"m["FU& X4M _Lf#͈EUDwzث,]9(/Kr(^X##C0o;UtJGH*sPߤ ve2mYƼ͝1HUkH~dVԑg#^h7p[W|(]@]N\GOKIJ 8R;6:W9+ㄢ);JIGUNR dg^kv ͨ4FSpWӍ*U\ݗ$8ZJ0Ԭ'ڛ~)Y$v!W %^Pyق@UtEaF,Dy8AXOvī@Q`3 ɖPYR 0?Şrpl<ef {"C_`\Ze<ۗ.EUdecSk} i"b mw[xCGg g4Y56[̐:\QTh8$$ί~C+*J|(6~)]i}cg 2h|QZ8yt k `ԲQ%å)*@m]Q__`0|˜~4Oaqm=m42ʅnY- gp |^{[$5n~)]]Tt#Ohr$~S GX޼9ϿArЭL9s-4$U^wn2D|ȚkL rv` K5r /%6=mI+GCxy#gp`ZC%<2$ ~-DRSQ_{9kX$6>s?喍TR%(Kѹ((B[kIcy\}188*whXʗmo򶝫:<▤~]EQ?`ddOOMؖ.8kg??Fï(m|K~7v;#sǹ{D^ AxD#xk^ igՓ2c-s'\@ddU Qpз?|7;!oyԯtwxf~l't8tL awPx&ح˕y{^^PL1[{{8yW6:`_B5^ȵV.ԉG1)q{QsG<Dd]a&=QEXNѼ)Au26c@sV[r?dٱR͠mku*;Pk`%i|޳5,*|r _(mj,.0f(R.W *2އc%6h$/K2G_,K'SJ%ɈäTsCh迷ov)$$&+2d(7X Gti<_h A‰]3s|y_Avi@/r}EA '*صU~/8њ}ͪޑT5[scI ty26aSeg)] ~a;r@l5IAeA)"j }OŘ|_%ŅaJ-DC#3bd8t[tjKQ򝷚갾xB_EX@eogAsZZE!_-?+v@Kia,8/ltxJʶFɕvW==Dfh 6L\҅ [ #;9>Y+3Ͳee1b=]pD~DTz)7~jR##`7ق9@^4ӿUeL)4MSTIbKwvOn5ǀ(yשcr%,q$F2jPz}}Qn |f@.58ZJ.=0:-P i&[|CRm쩻(}t3fѩ*,{=kqv$֕Jo&ReEK-Q0E]^֕ĵX.Y,qP­f:rjv>#mUxȶ(Qc3ӛ7 ՓNSۃdMQ19v,[_c ''i%шj${Z8v8Rx=Ƴj /@ҙQ~* e '3)3և!~(tTdrh$U͒Dn0˚rc "L>-!x:ÃI\2 :y8 mg4zi%u}[ FLlN:o81Y#S,K0_]YHHBz!*5Y^Y"2 &p5ѱ_nė=t@Wc:nU>!E%̤Lj9OcP#D+^Pzr[~a|/8Π7LaVTT:#<<i6Clzpà q#'NΠu0&|.a#[c#)>"ܵFh=0צO΃xB?bA~<4b#ٖ7 g,eXEBy]).5R|{G(\ !^*Sr _Wc{.`E61lzҨeӇT; ;˖9D'3Pp"dWaka'H 5Ma\FGL+{:Å^@&U7|7 3yHN4d}Ptl9:SqOv}U&+LΕo鯄ʧYچg 'Ɍwiq |=7X_WyߓDO}GFL'ꂮG0=Gƌcx!AvhJ #vovt-ٔ!79wNUA'<O|7r.ǯ@2zcU]:^1nqoje5uA0l.etzA`bKקJI5r1 ^NΌHȿclOTR+2f6Kć"5Q@o`6+8[0_,mѶծ,CuNjk$CFTuHҲCXߨqspaȃ6r 18g0%nj+BtTac,GGy Lׄ)Z}%5h"_ B93~HIS1.+YmP=$i# h \հH2wLO=@wN[crE W vح\|ߍ'jc4GL?~i_xW{,|;jͼUW*H-" ./M_ǮJaG͖V|J18|/kB7OXl4Yu$x/fT(^L i}IjK98c{>oH՚ "{A@ ui*EHbBw 8qRLs GݎP/-*$ 6`^0j !j:i5uxЈq+midsH(E݂֣=ulS(ⷼG8mGTӤɜ@&", &?F*ޟQϺ,ގG[acӺ.hjAoQ#G4)JVjH 1{Ǫed,w+l ņ?Ŗm8]w氘 Jb 52A6 24 )vS_]'bg$?}?(֪F`gi5иPϓ=b]j 0-gb{}G~21WTEtGK#)M3C /7MZxQ_PPSGI~x2G?OK `,56,D7I 3^n13KRŎp+a<$h;kczN_x 48D䣧vԸocOUh(-$ !̖5>PHġ b}tDS<":XƊ`y{}zɒL)w8\+{Ճ?$/C>t=V)#}f/g_s`dCK O s&y0[J]k8ȃ|+mRoڊ.li+uvbFzZ$:ypWMnmYUR_/U•dqI  4&5o8wNH'|k*U#g 1ЄGN5?J&ct.>W*`СAڿ8ʌV5U| T@-I]woN,V#V[6$:lF9fҫz-)_Y*U#Ws_c_+w<6/k|#B)xIw(FV(jˣcv7^Ŗu![L{8+"'SpBwQɄFti<+~ 3K}MLPJ(v)T<-zyAӕ1}mA+L%UGJ_;*:qD|QHO#1ÒZ .Z0fPC =_JsIu 5"\٫FAd5&PQ!o 0:}]*{a3Dk)">1y*FP0AdEHSk٦}j!7Ҩ<yxk 48yGsRHVa+\ĊHŇmHBe-].g>~kxX? ~ZfY얃Ipv3utcB,Nt;ݣoU w^0&;ߙ=`,֦~~)W̑*X]Ej-¦Q^x2Z *_8h K%a$ )r mtεpg; w7U4-Hla)a(Ȑ~I A3Hi{^#rYoWͺU"0ոWr_ͤ%\i0<_.3?CUA'hA5BZµ^0wc2j9ۘcҩ5ݚoZG摫=ŋߌ F Wk(W(UB(l9O=Wɾ/|0-cw/.#16BYVF6_;^%+C.¦!HN(`#| eoɌ/u:9^`vpxZ,z{09Ġl!Η6Sy &yŪ 4tBQU$woVS5³`Ǟ5#6JT FlI,.A BQ~G[ x(8k#"*:y]\Vx(l [Ȍoo`^uh"E!CTxl&# 8` eFUnǯ2 n|,@s(Oś97 vLo,R)φ*iހ`_AO_޽R!{A4T8癄%Fc:Y3U=H?+Wc%8ocs8BQ+Pm/锦I6`bʔ"*Mfح_3d>e 7ň+wp: fL%rt`J(& k8P%vUXaPzfu~u 2k+>(!w&h8Hɝys!=,NeI\yǴ9M_zVqs73]z#+[WyEs0w ݩS밧2pXdDzd#9>cR YiuyLp b2K5>B`İ+ģ7xA!/ZcŐNӁ|>,XMMSڷ" P\\^ nqey։*%i w[?1)qfXVO!s.y2BZPl>Y!ZRx:ѣ`?%'ԆJ~< y]E7ߔf_|vɰ&KCW|&mdnl{ j|~VfXkU(h.+u PQ9͟-mW`$1Ԗ 9q!Wwa Z|'8貲~;jF׼L٧LjtC i&]9^eP1Ccmn:8X?Eq6ԳHZjp k,u\ &?w{?Wfܬh>'#pyf{CݛxJlKh?4u݌2x:!KGp$ҩ^+Yef%/>αEdP Ӏ^FMxIfY袿K*>yVDb/btHԵ}v|O>ԪEV4T1=)>\]$/Ljf*aXAU¯j8R:z_ "iH׌e\-g .rF1$1gky,tl83HNR Q\;jT ϝK3Y &!qlUN!u8޹f;^TcݕQO HR.\thXe S'~ݷ1Ğ[n^PA=goYc<^,CcboJ{~osU $gYWs):SqFxFr}`HLU):p[y9C6:>95RGιuOaWVUdy@hܹ"6%HDcJ׽fgy?R/di-ОX.% *59$y/|X~\vA^␯tN5 a; :n]NiiI4 (h!5;gz8ݳAcyܚk"*E Ư. ?V]6ɵ1zw@`B&{(yձ0dـ>}H"1ƩfJaXL+4Y8/)L<}b4H|S~ cB?|Y݋j7<_wy@HIbH갞jh46H"ŐhTδGQIetl RIzlL(3Oօ 㨰aY)[߾xZ%lARoHy\qM>'о4vw4ۤOm=o` M6}-7>vafc 0陮 )xWd9ְBnes;.Z2/'T:[/ceí jLe$k+k` %`Kz#1CI#)ԋ Bg ;X3Q`M{GY[9.BP(b:M ]>"XqJG.]\4,,և-Jƕ{mxR}VtJ=5Ř;#vUG /;Ͻ(8]dic6]<ѕM)*@~M5&xqO+Ho@Q]N\n js6X|eor:R-*'=ԷƑ2{xywdt*;, dlds HZ܄NRJ]uLc9 ǂm+߇q]u}o,,kF_ U>ϑ=ʗϽRTsAmjQu1 j/41^5xUdWU:("Pm6*F{ vJ"`p;Q5i$1|Op6Fvv6>a1:Fi7Oų:aH cW k]T[:0IbVrqAp@ǴIkI5V})@u4eaq% H6GޙhAq/3Ѿ!aM*Ŕ *vQjE[.0:ŠI3ƠP ]e߻3~.̢:kSIH.plL ωǏivA!i|e55oNӝWR<;;73# +|TѳN$b]hS4}Q*O}3sI٠R/r75O oxV7ADPTlqpIc\=[3U\j5) w)30^|./l.bSS\ ף @T>{.XzB.2<Q5@-qe ռ*nց}'ogbkLd,= xȬ_>'TA1lx@lhjy f1Yn!9Z+dnj4L-X#hMHLx?%~fn!{% )]B QE7~}Y9xuߣ0 \>eق!JBf<_7$1w?.p,$5ӠG0{{* sNʹLw6^xW9@5[fUM ,Rwd) 99 S*!Q^0/HсNН+ ){|(Ӣ Z= ;Wh}S_mDeX 5|U[Z TAܘ p!<[l>Vy)Cf&B+XkI.0?a H 0&ka wp٣O[(ngFK0?ޮP2*窻pQlopՖ& I^ n^8Ɨux1 {ک<DD~Bp h/|!ն:|79.fu̞Y"L$K-X]1׳Ct9y m ޙ+\d4"wy".( ;ߕaJ=]-@ ݇)|7CTFM.8Y~?@$:R)o :;:nUa ddc On0]ɨ';=iWFkVQ XjS$Ҍ3@U2g𓣉:@ɎlϱWŇ7zlAq^7ϻ~= N;ÃXU 3 sƲ=C~ǚl? ΨD 5E.tk྅֮5ڏ﫝qukEw.y˖ j2Yˏۡ):hљOfr#BٸCx]eV3 $jFacl0aUk0r34o 459TUH #hyGo>|6;:=)ꏪ4AH#~fѮ<פVl,6Cam?oS̀GqųC;fZ1+`5m9r2Wf#9,N,XNW!.ѶpRQUy ֑gSU)700lʤ{ KK!.-pl=lܔ@ufL/Sh&VRwK%nbU|!cȃVŅKM;  zfѴvu)=?]V*w$m}-0+fn؎n3IM0o HfgR|G@~Tbv$ 'fstxDz̨{Uv2\yt)=aA)ShŻ0e99ղfTׄu 4TX $c>Ϟ JǢtŧO*_h+aW45ju`j2/q8n 9Mrx=3Ԃ2,[Dٟ< aeۀ6u"^AfAI~ 䒤@a#te! nCQy䋄U8@sZ?Yz(=P]6.O‘ֳyug4iK>-7nzv:7\zeHmbFj y:!0fgHvװ1cq`*yw}O#ZNYe'B+w)CH`ŅWASW>WQU.րahITk]f,0 鹰Qc4MU$nCFGib9/ wn)/jZ }L rS1\p\L@UWV7r 3@45?o`wID^Тu Q:Yv`obNzLYn"*`RV΢_@Z%l|eN|݉Ϲ +HXw[` ;!C9IZKU2"BP$-xœgP <)v(3cSpsV$Ȏbjv}6 qCZڜx|\WS'bۈ:n }Zg:k5bz_pjpȶOI+̏Vf˝ 3ٱ ݎq cӉT#zC< >kE>G. Tխ[rDFiG9wn} [jEf0 |^ fo7 oXX?1nOZ,mh߭@)V#fh\ ZX3y'߼5Ao6dU $OWґ0t%V׀V}pt$GbOQ6}/7ʆǪ,_%HbWn<a%j3$x4sN&+c>TM-` .ㆤ)ȱ)6e=J#cF⸈# X) u{z6"BIХFл5C:]0EjaBG 09>~gᾃ/81.\ 9*ҙlv:KqPu}]ʱT!1N9hxwS w[fsHyХЋe2p/e.uDF#| z+z L3(p+Y\$:Dωbּ5DR׎/=zlS\i܊]IbxQsHfF8^^1Aӵ 0ى-kR Ctdv݅ iqM`dⓕ~7JR?wj2r~b4u;`?|&̪nF󏰜L`9USN7z1tIc j7 g-M4(wz\2T.gh;u\y=t΍H:epḙ΁=NKszW]ԃ7;S(Fw92P ؋넒T[{> 8OV3Ap|]=C 93҄;9-E+D}`3}=K D8X mV-r{HxTٮJtr!q>a?5 }[9KO-*a$ [֒ƞha|.Q)%;5Udž|$:)6v3ϿHb|%a03eW#{=[sXWWŰ[^KnN7b ,VҾrz'\ƍPGRt+3u"L3ƫRc?eXs|*Bnbr&QafAR RHEp]QםBI%7qH.g3x|;23ޫzKׄxcAq}X|nR:斵+zrNB^{_uXb {~DAx%5ퟎkp,ෟK۬b QwO,Qo49Y^766}B f"=Y@kUy4[dPKKTF?V/$h/ i;;'#,L~~vRx)1V#p}1,BL]t`䀌3jXzlN D_P :DI\g^~ZΠo8c*O얡59,Uɰ^ZQGRif)oIMz*i:gb;z m)J(CMq*Q7Hys)]>>j1=,цBU_op>aN[lM-?ֺ;lz UXAbc7(jY Ȍ!y7lkyMq3`eBj컘khi \4I 3<&_QKr.E[_Ei<~&n\˚oQ]vF]S#k#h ?+]7uS445T\f HI2]9#哯{~%{ C@qfi8ͩh*hhMlQW_sM܍ _"uZ<ۘY>rWwH6.*N`G*\f;\>l5.F86J=&]Q3z%3j!.'H0Dw|BjXecR"%8Casx>.TvNW 5||K#9m\ˎZͤ\,/m?չm/p@T?Gc/$!o Y%xU"}Ѧ o*Mt}m"=}_9uA 犷h>ɩ=åK/SC5̨ODWXpa.CĈJҘ#}L:_dN£h)CdBPhRKC2E<= :Gnݨg,xF ̈l  p-/|8jYmWʡ~ qFZ-q"l'uF4?l'k,,Pad&7gf8 uŘI9]To[3fl1 ^@V}mBg)?b/./lH2p+]i<6]zP݆ʾ'5"̅YrK TRY?>`%Pm g-}t!8-4q."b $%a%! ؉N 9;óPl0ڬ<$"a-]ٵav\Q":, (@6Q=TGO-ƠY*89͸S=ޕ?C5)CD]Rw&0V=bINEw&6 yf|ᰧa 6DsPWZ$" \;qs8FVRN_rA-Nⓤ2 u C[J"wTH(gq hU|c7?_Ɇt.A{UoHʣkܶѻGh_3y[[(1aU$:YQև }RG#xi˰b'з 'KrqSR!Pկ9܄Q=qD mHg;Ȳ܋{0#`ģyvҖ;9j8\s'+B{zt6' YKƍ&t-;h{sbۈѯysgT_f=`wޤL<#Џ-V:ag*imbtl>G;S T)MspZ(Td$2X$*@qe`Dw[!p[AK@HO!(*L?CDęRG!hb;JyQ1Qzu%8ysو83 "CX(j%j实|Xϛ'  Y[A UHѽ>^, Zsˑg;,^;ڜH*.DCVRcۙYimMOϸNuk ?'sK w*/g'7Z)eωHqG[R\ ޭ<[ꟼA1>+Ւ 6K5 gYZa0692110d4d30e3208dd0b7fbd0ccd6a93222d372f7a95ebb0ed245614cdc5e59a663000c01e19df bd7e2a02ad826143e46286eaf8c062e18c745fa0daec692b42b56b63640b52bd990cb82bd806d1f1