SQLite format 3@  . BBh77otableisabelle_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   H7| ]/]MSO_Regex_Equivalence:threads=2elapsed=851.375cpu=1101.976gc=42.056factor=1.297zXZִF! ཿ8]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&35:'RO&lXvay Rީ;QڠC~U)oUjȻ$Oֲ(oB `^r16 BU< NV?Lz[@zGA'dǷz/|x`-7$rN|37!SQ S0 7~)ݨ;W@C (ۤ`SZܶ>T=ed.Ɇ&ص6(&&/jl>E䩴LjYx?sbEfJ nN/)K:{a R'4|񷇍 UYj@d@]""kCh1E56 ɊHet}/p'{Rb,^`tWyd<1^#NMšDܪZH#Sl])O4Nի~r8EHgℙ<F8lx Q1)غc:0 k; B٬[k:v2k%]9dơ5Oᖲ;ux%6әK8٢:Lu~4p; )1˛Z[ԨB @׷l"o,=O҅ m4jJ,1*C9`@sXObs,L EA>9ac_j V.-;lj#}+}!Ivن/wos&(ri0A|,-uT^< Rz>mu^BPM8R[[ribHY] X꘾쾢=FNzEil! ]ˇi cx:'ݮ?eكrVқN,]! (ҲGI^vD |N჆esk>yaU'r Q*E bqvSkjmA5I)s뱘ۍiĉ`gQg-c4YvRZ@3`f~1H#kŪ$9R;qƒ56DL7o_/io3 |a^ `HhDzG㜫h@w'f:K l Rl ]Q؛[ 0KL]c4'`/.:0nLc1_$>(ʫ|dQq` =O_Q>5ouIgA5r_7O.hrtE[D j$B@$yG+ngw\{jpG[ʡ(P[`e MO!↢P2y$kzcJWk$^=eEfP2j|Mef%0)ބ6{vTHi/2k%ƣxj҃f:W&He9W/YOJ#H5~M P yw{=ґoI< "  Gtrb毉_qob=EwKdRV:be1Fb.lN0Lgo%nnPNX2%2c'ȣxr}.N(0cyJu6vB+/(0-%#K&nUE"Նjxng\2+DQNl#:U=y(d؈k< ]pOt3 ˙,>+~pv4! QeʵA0A+m۶.w+u`3*'F`c@><G"/B9(/& cxfG,p(wUos\O~O?EBZ fD! Z~6&dDYXmrMߥVa쉟GߏJ4[N7Jg ! a~o׎_M/hي<׺gƁ 5 8w)\-Rkބ?|g^$ƣ_5zXp?HVEL@zC߳)-%9 p:UkVi0DX{e^̮<'5_rEbS^Zqnlיeyo{s]N9x;O'_""ҽ9Iepo91zWST}/jUޭVYl\$>ca~֢8i oЦ+3=)bĚIDKw>FBD Ǣ9 'Ё߄=( $SFD_lvU!.4vLJt 4VKQF@JQ>sL]ӌŊ Z=7ft*U$2SMWOd%ND#Rf4A wl1 â ¢.iV61SYT@slxIshndb5E }obQe%4sx?纎l}JM>&Q!1Xޤ:.IH\&Į _` Y\'BszPcׯ [BHx8LSph(Zmqu 0LFtC,:tMy_K姵bb6I>'C#6t쥠րEwBP3*2"\4gWʹmG5ML2ːz{gי2fD,i~ef^ndP&IXLh=|w Uls:m9x*aa`( lUqPczD Hwp(K}`)6ߊ'Q<=m>ѲBLuy_=/p6ܓ/G9.fTws%_W3VLccrQk|-!f܌MAvk}N5D6_DPhgYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵]5 .IN/2R>itqT:PX*׷=vʽzQCHyb6x.º'f9)q sfԯ%Xـԫ` ]A5F< v!3fe݂E$&4~Dx7Cdܜ6]xG m oY7W8lBD'㦠~~aUCO䵴cb#OHπhړ''4zqXc~FezOXRN]뷮tΔl,UuVC!9lxT'vM^94_y\Kxu#YPI(?B03zv1L;*C2 2]Gӡl=R˦Ξ2[سYGFI ̗{3nDwtt(O 4<4L{w8(0IDCui<:Y)*r8tOrr}_𹳶Xu1p]nԝ3CN#T7m*k;{M~*ǵ<)¶IvBNMq@kB؉ab=m oRݘ2)1G`8{G b@jgYZ7zXZִF! ]ŗXi%ή*uY:|MevdWyLbI ͙D9^cL7.H3D[A;fh}$8_x< Re_#f;0 "0H :@D|y: /E&ԋgaR6H{ Dc$Re){1*JXϨWUE vG(?NGBO0uYjd+7/0%vd0ڣJ4V%,*.HILFHdV!: o*)n9Es|9m-J[Uu"T$w>F$IiZo)ZAP1㘬^ʼI! `V*A3,rRt%*׷xdZ k[d6 7ڍaÇ)-o.p-0gKdz>$w6m}/ẅ́m{߈ⅲ ]'u,>R9+8tx3_q]SO)zAK^B&\ #>-ϫ\2$'鳘Lwٻ_&˕ 񹆡uJR 4cobcDv$8!@+4ƀ@nJ2"tl U=B)]߱?n w˾\>̈.=UuUEx;zafa'i'@h/ nTQ)/Q-oˬ:`D)lѡbG:yQ۝wSkd @TVC䦅ɛWZD֜m0,u؏?FnkցEILO WZ}U;P KT ygb7/Ooc,i(B4Ccv汶ٺ9 d_ "@I!x!7Gձ=OfR#&(o(֕:k@^ dRb:T&zlœ-1"r?I:|A=V1%Py 0ψَ^V({P n8i|t~0ȩe˚mBn ;]/X;](C؛CՃt~8:Yg})ضV>`-z;pn3D6@fleYj*! sڔp4Yq cm\r#+sȓtCg/ؗމk?s7=|roXsqL \H81{VЌ)OYBAi/FAvJmވ8ޜ !dB/c$pMvRjiQ(YB$2z mqjEZdϷPߧ24:I`**MtgKI5I / irX R?2ޯ~EyJ(n6noo.ɚɰUY2Rn-Ŀ/E[bVC?i4԰UAHX:@2=L`S V Eoq:%0Լwpz\z=;`۵f1\cV̄E99a 4//SߊQ|QOspĂi@~ OtVkķ'S \:iZ/pQ:OgilG bf`'AA^Fx&)*y&Pn5frV=XЁK:}x{wHS/\ЗXbP/ZXxmN MfwAv%Ӄ\!ѹ/ĐL}&}T+P Adu!8wu '! 1HbU4KcI7D,N3`'8r5~QQ4D[ d/DSg\s2"`}aŢRSs;ezR2+(+l|j.\@a`" T)%h`.*Pe(/L=;#D_B?4AekN9 9-vhLhʀfn0r0iqik)MO")V!ۨ9TQ|Skv($P Lz?A0S"2~\@1D9k鐳}nAx  )l1i=,Mxzfϊ eWn#yTdߛ?JEihaX|^4>T𲳜_ L+<Q1F)Q``8c,%Lz]bfxAF_E5:E = MD۰'" pnbykԔV^VjM*rnݱ/M}<~pjIdwmG'֔f)|sM$}3tEo%ۉOկ}= e9SiGyDO8A﷪KC( *%}?ۋED?f@[ N#VSݴ%LkyvmNO9y fna|ۂ +gBhTu0iŵeǕqu)p%tvS ݰ;@ʕrѭ Jxgh |p8mЗ`$Q1zB)iO~ӝ@iv8zA2n wg?^lRԓMuhx$3ls@5sEV.~K~0X*v6[d!L)'[A7} a6R`A }R=o_WvKVVf2˕B[-9M1} iU3)7GŁ+׸N -i=恒ԇxm>1-\̨Bh{܁[kO]1&-[E'^s;yb.n@VD.; ;XZQugpV7QRsCE2(ˮ FyE콟#`֯\;WU J/V,] 2z';--Kkeφ2Ҝ4b:$+AcAg>cNʙH$6ROTyme<hX˥PcX d5т❇&1|e+3gWǒ(e<[ZS Y6~݃952 rjS.sK6~(6!o~2:mwde1b j|SBe{ %V^t+ m&eF\HoadqxHZUqb{8Ș!3Ǐb~u9>͟hͻ#,~oAXƳha+cTg s}iۈحkw!J/&zTg @ǰcκ ,F(C20.zMTA&)vP,j&N~ɮ\ e#](9-Nnsq -9,8Yii:F 8g>5i)hXcT E v0b:Іg !-<ƙȃK@OK:WbF4k*BCyo'0z4DZV[X: bKUK'XUos5h!h&)+AiT$4k& *}b&b.9g=[Ӣ$s{ 3ג"vH6.QHNp11)>Qw9*vC55-7*jRáG"вLgɗ)OJ h'dgu .njJ"y0 !Ueng3bU34lm(qPgwG)˒]]_NH .k;J7Ӣ횊U!挾d&UuUҮOa\ akU~GT5Ǎ9BՀ}S1IK|}Q_AD,tY#l-'G(e %"Ish(x;Ul&( _9δ 8lL: fOTPNGr(u ;ɻ]a&r1wwɻvͣXïTRK x_CLy{.kbUv (9ejrva0jJ"D~LͿ&^2y8)CWx@fx?:*yZPh?>DUn0X*':\+1`/'s(%WY4z}93,ԓQDxxmq\Ο;/eq 98wIS Lk/` x^ !Q?zr'(J%4S܁ARFXх!{Øs}W긥FՎ" ƒzZu CvZKW 5M+fSU{(mhfH?LRġkb }cYS ȩ"Zyڎɘ\Cm7EMAXz*<' xTj`l:2yDE^L@tG=b𳀋H`g9 FK@F<ܛ_N>eջ.ljLz>F!V\=[G! LS^L5"8@핤!wNsrtЁu;֏j_V\jۺTbrx<* b<[hrអdkcz뢛a U;9s /(X, @_"j`<퉡 Q;rw3S+ZI_Τyy7[^ bC!<}I+䁱UӁP,[-elTB8.\c.' fP1WTDCOPHT=4[8hmv 3¢/niaz.gR V92_Œ+o8d!E}[qd O+NPPn0ŀ5GA0oO~ PW˿i ʮ.Pe$ yǙ.rY?(Jb.3=eZ|DNJs]^cL)^ėr`6=<@cL..N9'\AGgTaj Hۘ&'Z9fYܸc2A-, @`fApl&712(a>B 1(\+^ RirTݔڪ}.3T_x$ /؉i|FX |;M4rPTo1>_v=TԴT:C-֝dEpQ J~a L=+l>z2Wo]i _ѷ=G֊ǞkdUp`u!*S.VeФ0V\,5²|Ǥ_*5v\Mz PdIO.jkOSl/l ySʉ5 :pop'e޼^hq X˷*)CS\a68=1:#xG3~N;6&5[~58Zr]ٷcJPrxCq4?%c1UHf4rOL!Zw y ; Me@%'YуdKxdk0TA~vB?kbr96g戥6 Y,~[*ܥUɞ8Qesp әA/_\>J6dqWҘ}/{m >XtRiSij.QD0w0GmNcNS܊6AR'Q]H=)/u|  "zCkKbUj&FqZA@fyH;_3]X̟lXO1NFFyY_rL.d]Az=?\0 4gו^; <:) 6҂Z~d:Ñ>rqTmn2i$"('9 ń0c?C}OgVrFD{e.m}C}LO__ey AR/ҧ(TV36 4ۗU(@a{Pexm|~_غ1G"]az9(ؑ)c׊)6*MC[̈́ ^nMZA&=Z,zlgVې Le8lArfZ5 >k!}\pѲ>$YE3h۪|mzQ6 fܮ^8!x)H.WJŇRx#j}`Y=.6hTtOzQ)fC@h\mtqNy&WCXӚ䠂&Ml!7Z-7QP(Yb7"h9c-`LɮUwO~9iXqT#9݃;.XNxP1ʽr]Js4l^l:Q}$-Qx#)־˽TXI&k&H_OJr!{kx C; Pp{ @~so:!رY=a!v@ n^p '-K0-6!g98(ҮCY0 |SQ:}6Vkzj-_opySđɘ5a(pᢗ 3r^Χ'&usQP)-hHbF0 >4mٴJci.ݡӆ7aEO8 O+ad;DH6c+]B㦏 F#M[## bu_9bfxʼn^iFsOkq%8ƚO4k/[03|R.^lQElN Ay%`=xy,5 R5%:1OI̦f$kz \ZsC]DpY f" y+iAX=$hm6:m隥EP+-VnlƊJSd\!wbUL.0Yp_6GY_ ɜ[GpUϗŝ텒2辁 )Hqiw8sf lafVO aK!Yѥ/5@t%,0 yf3] ŮB;hܚ Ax4~|{<$&PdY %2kgg%R6uޔ?K&4C4 FFaQ孰]G<cybL3v KOj{/vŷwTޓPބc<$yGtȲud\QP3a :Aд7yxmIty桬ôvec os)ZFO?7(hNټo#NײOXKP4d-J,q* fJrCvm_ i#8d 2PsZd Pqy7 xC:Mu :J=mMGzluS릐JЂD!Nm Ax=>g a\l?wF|3Q[-s˚,<ԧ1 Dmo`>hGQń[]!QfdR*fZZrʓ .}{3CI^Gwۯ^yoOQQ߃MXm6x8u|yߦVߦq;<䭋[R]S!' 6جѦ? p(@c!3V*BR8lyaxr6~0"]jQ (?%IHxGFOiC1,~`O9= kT> ڦd#t~\N՜cE^%pPhn@ݳ̸|f SeVx\(Jn2a=T]heT _RMʇlP]38CV׸1 ʂ!ytWxזvbVI}%HEN63)Y'{bxSGUY> *[gC#Ն{<5spY4\9h̵9-8Mwb >sP(26\f6aI RXgH(`XTkrF#u#+#"%&h&IEk#$~GQ{'ݘ*G*ٴBF/K!88E8CMJǿ|Q:C[_OtJĞx/L:ٻM&$BNLoiԻU`˧3ŲkϿ5k9:PJΡ8vNhn."{#d;R @Mi_DI`o4ݥ(,l"Cf^9RKXU9[;M˳ͧ-]9g1ia(n^U yӨr]1,"do'Sm;hb,itvS#=Q4%y1 &ől.I >32V_Zn[P Euy [-,5P}lj<>D?K5UHX~[bb1LpW{j[^`G~ѪG'*N2ߘ DweIEx/%i v;e3ܐz4Uo]p؈jh=w3l2Iyaq_5Q-Ed3Fc6,5tx9"Ot)"@CSbY> 4?2:F06^*^ɪQg]ty?%_NhTH_8G>f_ЍM-!memt)T<,x8I?#>rXX In@凬i%G)lȫXڷ5<כ%"z!>];\i@xV(͒xp}R2 [E6g3WU ۜI3Q˃=C<<]/.ϣ4 }˱lJD'? ؄U6䈬)o7N(d*v 3mj-Lk*`aMX=S[5uɾVYT(;g<^OWUD) |[(W7$1Ф[Qу +;XޭR*3t@qFGҰ%T<J4>zH=hdFڝ߉vh+nü{s1$ iJUZls5LFިP8L%RA*EןB͠G0{ 4I;vø΍yڌ!$C,AO'/rA/"KxKCBĜ ݿ5Ets$&8:$d Ub+#_q@YZ~jlg ('n6^ V҂Ί!GE|"25$S=R4^IRHiLKJc5'w9"ɑ;1TBڞ|.y[erS )95+h𑅘 T܊0jKv?FԢAP 7}b):)D!՞8a媏SծD-LQ];J{n o3mR*p n\#+{N4.^T(ܓ1s W!/ s7hr9/9ȡc1J)E?fɨ"!jT-AXڽ9+3ZEʛeݧM;>3ơle{|hK_QyS\VI;V!.FP IO#@ӑ\ jZ0ԇ>-֔i$({ 2qut4j[b% 2QEuB!|yH rM: w铪4 -h6cëOrcT) hCĖq1sKһ-tvV5t⨸ɭ6zq̔lJ/{'-BOL>nđ *ܕ4,Lcklʀ1z0곡}xY&B -k 0BVh}HjZvrs|ObIL3 ^/C>\ƭo@-!|w݁9EN!EA/~ *6Qw|2s6+D $m\!UmE4Z &Im$רkP!>7u G I.n9U oS2OA$?q3 :b쓨}gt >OA6 sQTΧ&Cj%`Af4?~!`Md[d,o{ەrǮ܁wyn>o`O o.r4}Z\q[b{=.=G@ W&k;%o?Rd R~`ظr G:WA壜 $]`wQvcEuFrލ5dGCnOJm^5 };U7>cgmSVTe0j2S]${`HE]T+m ҢMz8 J|^lpe?PQn>KǏ^ &+Ϫqä[5 Cir3\ʖ]} " ՘6ݛC\HbT n''M-kdyONehS 0cC8PBپW@ څ뎻r~JnNJ*MD@DъK X^/Or"5D+$Wm arQn-7" &cՎwyCӦ6;@4x̷J6hZgN@eCmE] { ~Iiom|em=)HU`=2X0;<q 'hh#}">!rD0Ȱj U/Bu&NG\1RG:hGQ <_AH*KEA9JFvsԁe<ǎiֆ ֓ Qb&pro"3FyӿٕГXL#aG;62g9M CAU cJSYڱyl @Kej)HJqa̦#efX~%0knn{]_bODngiyQ8C $7F) -'9!_EA)&}%aEFaM,vV>G%ImylPyP!xKY091atuE`^``bTdtrj/;$9t#Qf*rRrSRYd˃vj΍$|c@F_H?ۖ?5}4)nC9ГS`HD_38V@QdFCSγ8=WE7FDܴ% e4{XQ=iK!$fQ2LNe $[Q wOwg(@\ok^&ĉ#Jzv- Bϖʘ g]"V>w[F\ad*iyK ĈL{GrvF֥yꭔt{; 2_G#GYݧ׋ZVʲRV* '7v0>SYҁ g54rUCQ8ipǼ*ɞ2nG ?Gj<ԕJ8gwW??CC C#oCsNY_~jɟH6]u?XAQXc5dL{6$Pˢ@5lM WpJ_~dOGUdI9_d|"( \dI";bR<6L3znlQOȮ tz$˂4_&[;nJEEjS4a[>'mîZ?{AヅkHktfROeJg܍9yZf㷔{|ow7-+(Q-(l崦rDZRT-,1c}nR<"+- 1UaƲQ!Hbύ-LT9ߔm&ٺzA \8kO+ ;ҬBsX &fW'-¶mh+VAOz`bs"^*G9 钘"(+vzr_5-h kR|#Rpq@bDkRF5?(_, 'Sk$l@ d-ջAb9VC>cnŒ={SiρaQ(Y wh\[`K,~55 JѸJ) !] ,~ެ)8#m781mf>>1 P?q7Pg룇lx_xת Nig4Bl}̈iE¿shݞys;}+ N4Uql7a.NMCqKZW\ r ]y?Kae:W;BEyBGuPJ?2$\љm*}C~K1EP:z_+fI8 =sT/u/]|ŏpl+<ĉ30}@I~um >'(l g(0s lxwnĆJ8Ϙo1u؁/ԚFm̠l@ZX7"HNPG&@L&!BgP`ށdHW;1b+3=1xȮԔx &% T9Q)\$[,D)vLWRnw' ny(҄yDq-l~^]_(tLw f K+̰8319`nNIh !ɀlCjaiNNqzN}:RVl>wU73vJ>r!: 0 OXa碔rpDF#\**Mq(Ѫ_lLU:x ">eS"Nor7%).WZ?f-lNfͳ<ԇC7FVaC Ngi))?^nEJ`g^%-guoEs}ݒ ۰o׫ˌDr771Lh_ћ.)D7.6w8 rf_Ӫ`9 ; EL?RK [A'\mD;<*N1cdXRI7ȹmB]ð3h  R3˰`ll`0UHz߷ |Y ^tݓ+߱H ,~@Q[nSؒFn]nĔC7Q8S:lK/+K>@D*K^o/SOE' k{ICfC!fP(c|9-#i2rL H"SƮI&rcffO¬,Vʽpd/J@ ^DSlW z׾%z_$*>;M^ؐq;ù50 !qHbv6qAFn\j M&p IቂiD֗RTS愹K%"sHDSQ0+I޿_P McѹC!):=_ ;Hk'=Lyx\nVF*3L؎t&;nBbJ l |~ ʾdL*4Mg.(}'?q2ٶ6L)N`lYg 1 a_2_TFV!Kgڳ+5<\@okj5JVCG m͗R}[-(OAM}<+aO݂"دWW ex\:gR^ U(ZvUY%h`]91lG0AYl Rqk2gx3ůM4+ F?\V씼wss&ܥy*oFdޱEЭ++%GsІz+<Ќ~64I{eWLN5_A%Ɣꆈ4^i+9'WrfiؙQFd(Vu]  ]}{z)OR|ã'+ KOTy [+lzuw\U񎋓1-^ R): /RG8wX'$eh`"o+- Ʒ}AeK9/uE b^B. Mo "cYxg7J# X0SH !R 4N÷De e]'n9)!k%W?A4Ia-G jWO'&]l"˶|MiBhN&!w.7[ kU0N?zn<ά ϴ h\r$E/O]}=-܂eHvhM5h򯋟d}񊨤뒫2i A8mEB}1/g^L*VgńCvrV~_4וbMƉ]"e$C┙[K_n4?Zԓ޽vSTJ MM10R $;Z*ج $٩/K>AȈҟӟyl053UE2}ÍqH˜2O9eZOGߊ ,mpa"2**xcsQ *GaY<7e8\f3N1:ŎfEtQ֚{TҼḾ5X6C_z[&pz82lӀ A ҇V^Go#WGH~a|Ϧp)Ȏ~E a i`_oHT7!h9~Ǚܘ>WAz3> |EXLj]#"YJN1*݈O/cat+ E4Q<\sL5`=_1G*MY19D#9܈+x2lo1#@"s\曽zh{ExmR6W=O (x΂ߟ{]MIeI=Nw$9U eÆc&<EpJ券xe <s߶=(#pr7V#o$@)ďJcvBH HUl45"b(zi: crH `Rxs%~Ą>V/6gץ&Zqa܉G+o_Qdԗ)@| ?0P>*AIX-mx;.}~$F?l m\պ/ޱGg T .uք"SQj~j q`R| 6"`aߑ;;ˣ|jF[I@[M]3A?J b?<6.]0u2"lڌWaLc? C =&NRxc^v!0SUo :2;p-2U)CBauޞ CC$tFA 8]=b٧z]CC3-F3L?_PbkHhTQIEBua7;= `֐~R)z tZͼT\ g8Bkhқ`k馸Q}"mƮ Qͱv kmqFu>cWZ)op<9;E6tӁ@ d.\yd(_tbi%Z~ߓzѺa%/4E)@C*`Pk`|-sTX,U6U?PjPRyhOՏa#OKQUbbk,1&l:"[4vz5:9հt21i7:|8% )JR\g/HXɓ6NXnLÑ.x!lwВlLl LD&;R6([{4FG6>^ߞF*M q/  mv>Q@gfۚ-Sж 4U5D iϷLJ84XC@Al Oꛠ58bҋhe ."@݈d3;3AW~/.M>10CD֌5R?2K1VZ8 Wj0bKE3*T8qP[qЍq,>&]> ,a$j{ORI;]h, 7M=j`l#nQX Cz>^ %:#ۺ´mmc!UaGa?բir!ȳ!EB'káÜW#ǜw.d/Gc;^LG*֚Y''yWv=WX}rR|%Pyrr2:h,+G Bk]I K^mv¡"RXl>{WVЇ_2L9M;`rh7 xՇhd m_5VvQ(2] -Ů$oUQ {p]7)>[r2+Oi9իƆ+}{l͖,``wevЛG uoW:&KʔxWUC冡jdYlzߓSdVܭC%L73Cbq@d_4R~:mSr(5`rOo:m< d#1j JdN_+woIn=sCw ӓqypCl}jlN7_)_!bu.59 `>θhtڒ"usېu S [' pڎGoUMʰYKiu (B_?Ja4nuEmp j '+ħo%R ~גgN-x.cpfQ"2c9cV.j9Ǎ]L w/O\cC$"~5bͪWxio78ѤUxuEKiڞh>ysW- -ҳp_W;¤Z kpq:8~&cjULgY"y=96m ĥՄ6p>ݔ}و g?~{ bѺ$ 8QQ Юgt=%uQ&C]8 w`ՙ~'[~/#]j设XXXpo*j=>CE(OzB 32eݗnM* HeʊII\nCw5$*U'&Y1| Z8s=rᘷg k7ƍGò.[Ѥǂ4:$܇dg@_;\oC` #tyٖd)t#.􆨮5@18NLC29׹_xbțBOLf=`ոX3uȯf b>ۉ> dZW 8ϣgEظ]1;+s 97%`iM?ns>l'Yu-Y NvQpq[-aZ\RP9F"La3#/{Umʩ>M/IIMgj s੝,'F[Щ|exkZ)%m&kD҆&Vc!%ך7_Dxu\ .PQ?Rnr-:.yMImĵJ 9=DO)d{UoTZ'sx_UG1iUGws/k9% p:x\NM+MGĖ9t[38%)Ǯ!n{t5OwVzAz+V !jUZgۅەOu%>oa#fmi[uC[sA%^MFrWUD32%puU(uwO߹3cw"3 :?J hgsyT/;btbKthSj!n*g'h5Ćs9 <}o,RM\A "o?Y&$;VmfpK/Os@{H%ks+|(kAeytQi J2`&ХQkd(5TgvYHް+ʬvIIzxji~4c)&Y_ĠYxNU >Έ QK vDP洃9^;7j$Rܺ4ϼ!F`t{x !WTQT+彞Pn~<΄1qz/[* /n'yM;c ezl nqbk Ο*͓3QJp,9فzo*@iml#^'ѺMaiNy$jfNZ󐍪Zd^}dZ#:Rd//!77jW!b QUi\A E^P0akF!"aRj ^_ޗ}db7A-"\VؓuUm@p&)vf\1jǝ.jP[?v-̏M KcH0nQP})4͛' rKG>Jh~QӸ䦿<7 5}R̪b5+Y̼ ^p!3gqN_XN&8<Ў+|ݿUT@_$8f; rjяGBc:WWaVΪjzJ qj'tR?;ґ#$!XL J㭧ǕkFC?E(ZGBE!D4qހ, 7:s%WŹ>:d!9D7ΦU*A %n#4R-B`zGI'g/#y&~TlLHޤO:(̡}[lڑc&w<[K^4.\\ _'(kW'4O'q=~"+ μ~_F9?od9jtA|]Qw޸B:| 2NZ&I*%kF3#s>sUyvaX3KVi>\ԠѮݴ5{Lx#+YN'4NG.^Kҋ$*yb7rʁjOU PڥiA65W~-sXD&CZ*063Mf (\Nglf3i,Z"{7T1\iGd4!Pa<6"#u_z_ߤGޜE뾰}zLVjȻ@zTե| (rTjs2/rD歋5r$Uޯ/i_|V2 CE~ L׾!CG)sFee_0zOm7̍!1vp` >1\h<,0z, i<\ݒ/A⧡@ |! jRY xbDaY#G81`X荹PshT?A>prUtGsW=2e޹B*ݦu|8}A8IS(.]@W"D钖0>闽T~C-w31;* aNC&DcLW+3%2<S:{Ssz4]*b{|۲ fާl,ҵl4) L:Zw "DYsjlgЕA'[ONfD phJ9vZ5%:q["a^!#@N,u&A'l{nm,h:-Z7XU߰xDykAaƖ72go WvyV#1YcTP9HPd$/N] Zm&;nNa,Kӻ9ko_R6!`oמ=0 5xHg&H@;r}"р'`:e0vpoLu7:F؝E[*\",bLbV>`_GL)4VL_Qx 4K`aQ3 Q],i^KV3l?\L?Mծ1xf\F N %J 9FuF&E>7`+Ǯ Ѫ*-q[Ul4_&]sV )1Y&d쫷+>E`}u@76Y/qcl"Hͨ"р+r}/qx) Cs:aT\m믲[z\ y\LFzsfaXtq(Jͧ޶+:e\1&KSf>w~ќY̋5@SGvnY&S0* Uu֛8a{]F>78Fb  [AwX8RHR"pZE(pCЅ0Mqh[NmyFȤ:=\o<Q̎B*Xdlk'%?xSJw1#w{ϱA-pA,h9uQ:,ia_Ɩ=,TΜ?$݈"8dbPфXK3yP,1]-Xý gAVU(fMAi)+ƀd(y _XY-TIeaP"9>ӳ?+V_&$8?ׄTB"zZw5wH}b~d=Si- Ңzpz[x(嬫25O$U'qY=V0T+ C3Ϻ]04CiC4z 1̺bT&ʹ/^(MD{:,pe84欉\}qQ=ۨQ)ʪ(Q?Ll‚;I&nM*mNs+?ʦl l\hkW߂0x\y7ï`K:E5h2m9da1ă^SS( ^]IqD|ZH2ҿb8uԘ,u=9a$ ",_ػqHJLPm5R#ZPNM$T'rc&b0G v0#э?=x:l}q\kc̆`T+1%yM[UwkJ@hۈM%"ky%`i `~<0(|OU$~wry:*5<&߫NŝIֵ\Uَ&]{]eE)bZ:|1}1tbQGwfb_墥Wh2Qya0l9p|{Z`g"u^ytK dMbP]}kؾ#Dg u1N5 ʄG5g׈vEyWWp޿Pf:[Zy㱪(K`coAxJ:w7fzh.d"0U2$ŽduǗnwȽ?"+{ckX ;|-*jɀ,̀q79V~ŠOUhU7½so},i+ɪlICa;P /Sƻ@2/R3p f;D;"1O'Ä&$^}Q|bC, `Xc\ǗQX?ưĀ_gs(h: gi,%2c7x/`miaTԍi'1ckg̺Vm'i6 (4HNce=|.!Q}D|ABW#Т4Ū[[>4W":)KȉN;KY}ᔶ*P'2HuxJt#jVm{z(,haqH1:4 %#8Ax )JCq]RqZ /KX L?{翏͉˶Cs̘ MBymt b;՛dثI[m>+ s#28~,@.8ki>M E\5a))N1"<OY&|hO_Xi+)A0AuX!!Wux;aZCTZqWe#CljT`QrX3I!pA ~/jJХX}ȣZϳ2$LoPLn\45~$\V^-WJ*a.bcWD\ oHD,î `A˟ !TTȎ@ %i&}Q} tIte*:QjfQztFd4R NA.C̴z0ǗĝdǶ`"-EN'ӏx3#S7dy*M Xa+E7go=brd䡼'  _TT&_xR8ql@a6Kc tjχRˣV5KyV#c%7 ZΤkE͛#{1SY=tWH-be_nB$ +|Tn.Z^Ӛ;n%LŤp[:Zw iq aUx$n&δ#m-DC?hAHv]9Wn~i q`us†]{5U6fWM1駼nY<FIC@$7<?zVUCLM4%ϓyʙ}\EMSe$R҅k2%W-2->ŲZp+6zd̨)BLZR_b|0t C 8L-mItG!S1 ?ao)WHz~ { #,/˜YzDs'3F/^y ]6Cu! C 18z51S-{>`ghY^(zN/vmf8Ó;ps/m]%%V!Z݇ݿ9jUNS=iմ  upwI:[[fÝ.H蠝tR{KMMqj)A*0uC9f m{_T[eہ]xhw%U+񡹸p9rN~$6] C/s 0*| Xhz8HG**Sdw%S,Tsfi*ؼ2JS瓫$ *A0Az>&Bf&B$~u0nFSTJ|*o0SFprTff)4 U  L4f18$=&\WKwݡȓ>dWżݵP9<pKثİzy xLAR1 ~XR ۢ- l v Zr$j}GdzWC֨$0',kΩѺa"j*|a@:IǢ';f>?5Kr¹N gbW4BYJkRO{g,yYnPB~L5!NJw5vE5^))#c0B BQmG 0xg8 eG)"xiH:kp R;OTZ ݮ\DBZ 0QJw2f1Ntcd% 8.AXBr郪{5Wb*lzL,SW-tA Cd ﳟz?< ~r3m aZtQƤe S4 Z*TOa>eps5=֨rS$B#y.%DɤZfGs_6XE'֫sX}&ztqQ (P!7w0T91</Vt$h}K933(.iq<$aO13ϩ|^hy^w61psľGɜ`]_}1!+Ӿ:Rcf&!Qu8/i:C)H[*5i\Z9T1MQ HG!,dRm>G0@М>GYgYZ06ec5f5b8330d1a0f063d09ce55d0c6ed9c804fe00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c029c15862e4b2d014d9b4a2ca622c08952ebd38213