SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 BB /<\ ]Group-Ring-Module:threads=2elapsed=233.179cpu=448.028gc=26.328factor=1.927zXZִF! ]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: acwo{:Ιu.Lm &8 5j&<.,o?⍩웍U$N¯moWlmJw%qL[)wpY݆9 _,GHFPyGSK!c4Giǿ7&UC՝xQcH;esh4 (-bmW eY0w b0fB#3 UƻXX/\|䖗லpҩ;(ԿO@i4jf"3Jot ޛräДfQٹ±iyF\M]f3gM@0EE`0ƳKEPW,k<%GS/{% a> 1d1.8+ŷn%IjRBdI?ce#w052G3$:Sz~GחǪ6g ;e{Yb ` UB쬤O1*w+7wqmA"s`')u"1-ÍKQ62]ǀVf *dj8bf^zϭswZv8̘pc| L*4I'cO2=f }Ey]4%M 9RCb9p,U=6{Uh֟v26xe{vg{;6,wh'JpNFa %\yE\S4}O6j=+ XGWnHo*aN$FnXŠ(KDE];?1vI~>pӢ`4 5\YW|hJQ~\ $+>zhD Lt|24|(u| vgBc,994(Z瀚){EM5s)5wZRUOxi(Q1P~pv!ĺk]m7cx 8g\|-N{ARYC2FHFWH3PLiM 6'E_Sd: {\Nu!u@O9}A:f zqN&-PI  hf3>:*}@{:^IPťCFa:Fa 􅡏n{\[[2n-3\ b'&Fu ۛt`~.}kVvԥp8ϢkYaI45!( ƘA<'F WfSv%GPh#IZN3$]tmuwT9N]zT #3M`H`3@ XJ @wF%hF5 m,"Aԙ1ù0>%"!Dm ~1/P.#]skra}[PaM(7TěCsO|C^y<*'EW;jGoT!tl4JF+f{="PzLP(԰i&a٨sw>D;8(mh?SIvWUӌ( 1Ri =VoI2<(=hpj5_.)+Nh(wd^gVF$6*:Q'\L;dh'u$vS!7s^ԫ]N꣝44Q3C.bGL wFDzy:-IV{覦Q#H2*lshC;j / Group-Ring-Module!pLhSu;R4{_JGb P[T1: Ԙ[(g%Opb.qy/w=uXu| F:A*HcړM䥴r8\;GdD"=8O?_(}|qmɛ2Xbp_/b@pO1|Gp 90s/)Wŗh|VQ18aܻr.7L^@gJ>Uw|NOL2Z6[%X3b 猼LX sDVM5Azd4>Ul:{uU>gb&@/GV| o=0/DݓGy<Yhwban, Ut8j'Æ6SNG=.6bbk>j5X(a|~.ed9ފ&OV??xRĂ@v!_^K>Mm0H?)~<<3^md@59:7etj[HBQr-<˻-oz(`h9R5e2y#&&j޹rKM99pC,Z>HYxRim+& lkҗM+KѠr݅g6Al!A+%эOc\Gh?aM8<+xshiәVo+[XX5w?(QG9/o8Ұ v~ݷYٱG r5{tŤ*9K<S^քbwX8[KtИu6*P &nj %:s0X͙YNo@È}/ʙ~ `P;ҵeE 5 C6n;H=y㯙3qҚrŽ-Imx-So1/]܉-NΒ.xZ *}( !'3Cl1_Xd!@á2q;ǔкm Ѥ2Sʀŭ&u\ŏDZ'T_G3i~{]trڈRw%ͺș AGIeBapc2i$rIwVqz&R7|1zSuM GW`nK/:GXgp(7ܱa\J6U}pٶ o09OQ뤅?$ p*pzABs&e"@ x*>ԈRINr3D;N7LO-m%h'C!6@do~Î}jэqY\J;Vg~0AF_ i&(o _suEaC%z"\uϻCkҴm@ Q^eB8Y,|oh6:ٓby"v lt77?tC]R V۷pRAqKrW>Yi8s(4,SJ8l88e[ Ozh ]ŋ B/)#+vK/*oG(6fSj˴+dNKv1Qc!؈%к}y J"׋Ǣ3V.|eCcT\56{mH|t>O%.x;ez&WMZ9){)awR".Ah|`@OdfhOW o}"^- 4ZazZj?thT4Ř*!BP”T+΅I5v&lemQo oL 5/]I.=}+'$ ;ˀ©JY߻&fMysvqx NW}z)g*ˢ3h&LI<~xm0\IDfGՊǺ_bYS{CbZPofk$0>t܊_qZ琽?[®jC$|(ȣ"!܁|q Ո:TPpa׻F,9;)zߊt=H']5<B8*o"Py:KUr }Nw5Jq{LDr*<ڞX\;PYHw {mBu }wz -,?)~!c^IN!o/'h$P+2)OG.D,c5s=N>j5v_/}? p":8le[$;I.c-%\?S⥫!6^ "S/4n",h Po&5ͲӳFJyz4f%N{z6/}ҽ=^ͿЧiR,:V)\^&'-'}RVg7Bp]_oV~qQL1;}^vף:͢{1oruJjUHiWe>쬲RL8|SFZ܃lx!j0w5(z;ښ &qoFTĔ^\p(  d5 p _dvL3;dAkN\\$xtǝO_s: 0w9OHa*i(}K.sKWY0jQvJ~J -FTBNHsʃG%G : U_,^uO4crCІᘲ$?tyGV+tbN&SʌvXxdnYhM/:zSOi CUPJHl4่|r5 rp,s9FŧfJ̕a$@&Xg!}0_ɗQ5C")wϒkt׾ %>5OKn!VQKCl$G"( .\UyI ߍR|V9n/4v{<A{JFlV9/U򠛗j6뾉p%3{L6ÅRSSVfFI):TH՛O%Ĵ𑷻@7k #kvAeHHwAjK: Ѝݷ~Wa߁`6dpnƄs -rAQ(&٣JlV%Aݕ*NO:pe@E8\lڨ^uݡ<<%s-c^jhxg*)LΖҾ]za?^RfZpㄦƾ_Vқӊ1NY4 YwzP #|'\a |篪jTtnOQ͒}fc|}8MiЛqXUΫC֖pg>ZtBeܳ> ^&o'UGg'ˁ 0U֏1څ`qA۷V F8K<(`';1wy`bNG7(z`ŕn\RՅX\yx n ~.R c{r6s9480cLPNIU'|CmSd:؈W+ E{!IȎC2jU ON(XN>J0_x2? DF{]k[Afu!ĜktV${ro k,XL!; Q8;شrUdmNCJVϰmgG$aSD$*;u(Bm%ڧ#`PFZI*qx᧎w>8Wu$ʠLح ܂McR#܏fKiFx{h߹8f'](LYѮČrlY;+x1"u52Agά6g?jj/[{;˱R&N""W0נ$_Pώ,Ywzr ǧگF]rClQZ} x'#NQ/79޻=/GT5&1)u70HR( #n"j@ˆ~pR}=)˙q%[0 X~28w2HڵE>?T!Q=Fx7lV|~ۆwK^;:mF)kmwqBݽ(-m>7\6Xe^ r!M,~7ojgaǬpcHGh ٥}PUKԷ |$AL4VZf0jĞLx R2Mځ0S{NE!/hs[2 +2uf]:7|erUӒ8>㪲}|nƌ,?0ek^t 9@g#{<>2LZ~m\Dl#b(evB RcޘF j=vĐf$ 50q.nj  [O H`J~b&ΔV퇁"f6NwX,N8HcH]c[ŒtF5ތ gF=|he-;~pB HES0بH.ёr5p]`ś}iMf5 !z7w3) QNl9&1u\dGDMi#03N_g!Ꜣݧމ.$w D>?6{XS.BmUh,(w?+ڥ>l {dQ[q *ܣ7KgtТ(i63aPD*rQ[aʟ8!i׍sUIu#$n.+?XAN'Mb(wUǮvUH)ZHЍA7oSsPI F8OgՏTEgp  %VA+A@)8hIfk93'W¡GJ2 O<@ѷP\nBVGMޮY6&@hS8I~gP7Ag ~()x0?8w]n'f?qGDJd 8-wk=QT5p^WX C\ᆴ*:t|~JΫ}upj"4vν^7hGwviPU9m-uPգ/\FFbsMVȐl>w-Ps݂ 6Яm~xJG:3L(UBcx+>|4 9l:DƯqF}kXWmcSлCۼ ADr}O]0Ut| ?s2d}=N|{*%g7.3YL`MoMDmxsMi\@4@Ϝvvh|Lݤ? 4P_V!}8[KҥzȵycV짱r&=CA/Ut \eK>G8t8S3m;K7@`Nb^3: o&ғo$;]VzTOdB1Δ x 9qF(*ē|Ġ"l2Ҩ(iQ4k"2y5Ev!fN2 4ș㵍Rշ"ۤn~vӺaD[kbI:ao$xtDՍ1~v \f'^T*LLbkuY}]ΟIf?)|jrk+Xs`9z[L:Ei?pga+2>1Z z _&wۗ WSc ì^73۱8<5h~'.M#<ɋ&(~PݣCx| |:mks(qAA([8e;DokXyWs6H{/Gh` Z+|B'qwjZ7iՃMWr0Èq3@:,ю.,kXOWvFN(H"֔_3֯q--\ ͇X0BGC"_ȳ-Xl#8LRlm&|OO|JeGD]b܏JΤ5ɆN3<:"efm "ׄPPez^+1 Z$ss߾:qnr=fFWDFrR[RV֗:` Qh +S Fx K[?QDWt/#U,|09%rWΞ[zvJ=,]K6U6ˌ6f M)~yZEմ IW'#6iq]Njmm{{ PKI?ߍikMhO`T-*DIaJsDJkz U2pHs'6QpV-DatpT{v=ѣ 3MKMoBh6 LZ9w"rpTIةOn2aϷ&AMS6q4F܎O\)b-%ӽ.J+??Tf@bHJVM=WʑbF'd0ꇦyƭ5XÆ_Sa!v~lQFǛaP- 2^/حxС2ƽ2q^Vh&ܶ~1cEz4w gZԙI3O4{ߐ_ȿ{M} b^̔ 3/|sNCwB&pydn(4Y$rNwA5^ 3OMB1&&leN 4nɾy ڴ)b\qFWJ 5}BA ^eќIn/s?ݩp 4ȂX)5<ł0jWo* ݁km?Ro9o( Mz y> w'7cFr'؂a\`NGfM!$[GBΣ۾xG,$vH ˑ@/% 2֡'Hp3A{8 0h5qS RfӐLRTBhNV񺅐o l%מ?{ggFEDe5uJEFlpU`e0y+V= $zpdLPv N`=J:o\.7, /no< ֤p &/5ruǹS䚭K_!J} Qp{ojrAudE)\ȯ)YvUP ZP90((nM::~ʹ<_chQ tw(M]b 0:o§Y =KqC ?{-Xrd&vHIuBz(GR54ad~Yzc@"Lj+H2>QLօkOCC2+lxc<""Y"PoSF$f=02}U[ ޗB*foPb/sYYGTzR?vK`Iԙqn"Uv=Sgd` *Px%goo ^f6 %@;a{'W/HD\`V2ظYIXT*Q3^ Pբuv#'A NrwV.yhtnɒU?f7zdr_Lg&U,cC؂7Q$a,AWR&"75KAsֵ9&(v-Ly b 0l4nO`wZ4-b ^@1 Gϵ!.pO3+6Gф4Wz@ytcWު *פ%d!aKO9)7{i,#Q)s@2Sj5_ $w۴ihdTM"AcVlqUPfSA"]%*4lG{˓񛵥b8 cy|#y9dJE>9OhQhtu(;q x k0/31eVMNCۋSz=Zܽ+\!+}4CjҔzi">hXna[ XqXW LAl[>m=$}b6sX+CV XOP^=*'紒R=r!#*~L54HKڈzuWN 1iu6Xm \Ny!4~oKRg|ʿ阵e4y Vӝb' -;o IUn#ZtMPm`lV\4`j,Ћ<-+:=_Cpc/ xr[ 7a숢!IHK@tڒƣ3Tj,CWF--\;7u^WE23t~qgnBp]~3q;u"non>iBtcez;=+Gzp-]o?DgpZ(W[5"[e/I lH _}xy"@Pr'/h3zgl,^sTɰNDIY "`VD|B9W8DP'̜ÛL7{xl3 yjbx ))^Gسr+-I3d_vQS{8!!S*f8$# Mk`sCI!L0l1EݺU}|_a+ėKTCei5JK! )`!Xg#$ߤxv˰'$7$ƍ2͕VJC+k p4s=R0YO/6_wg"R x⨏ȣȄ B9Խ2B"Mˮ=. y8)M?``/ aai\QNz.RTJFa"Ms9Ի2ʮug2ʼnlc&J ݕ 9i9Ǐ+c,i*6I6"ƽgqEK@حt/xP<)1Vs' !鯰O*jT\H tDDj*sV)ǔLI__'r,ÌGE/[I޳7^)g#ȪAAMU: + mWm3[ jUmxjxA&qXp dbT-mGE>5 5 u[:%Ph& r7.]} ۫òxHyXs7cb"BfC雁3v؄*?~.sA>DP cO@@G%AY`Y G6=hs̓i̱5:GimĴ~lN)xqZD)~9R12[CTJJ d`lC9ǔQ$!.b #&ڪM3K1AN)Ή>̝I_F_*|Mĺ7>TN=˵zφ/v0tѷ,zHcD@AC"~$N-YSR1;{d +>D!ܒTF_SJih ʻiw[fXqc6ܩB==-1|+(Od_̀jҡ*ĔT>DkIl!imMjnbj.cOp 6@dɤ`Y+a蹣bY4QG nbnS4[CF6LՊTO,l9k"LѰiUDcFZ)HyBcS˔MCsCŞ.{-Wd=۵S)=a*+xR}[h"i$gV5ƘwD}X1Qf벞-1L?@KEnS ڎk5kد/ %iC)qJʆ+N9k6"8E|| Ժzӟ9*ʈIKvtOs4ب]00wqSuR؀9x;,?-cr=p_OzvX:Zn(u9L )ˮ-*X6kƶ;7ϵt& v ϴ Qӫc~ bӱkг"(>+d{Haw.zҠ[BhTV$Ե \Ϟ iSxW(IC W!ܩuF+#,~be/ EM]:ЂY;]@Leѹ/tCkؕ ~x;OQ{SN3߬wHkR\yB:nAD5C+$gI(돓ggF0.r s;)!vtXN,gWBtZ_>BgFOIe-#t"ܰx#z- Ȗ'4tU06UvڇL:GdE"z0| wݦ:̜?`.d(<==s +hjoF 0?2bZK),Rr՛ׂ0ס-NUm >8Fxw K(@?o] Je/dSZx:0 ɰ<%T^VhJ~M5_V{>9Gרd`l8 OϷŐLDxP&@C9@&ЧI^ J鴖M]t Z=Fqlc' j;"IܤhÁ5>5O^~f"?M%cًG(`p~VF@]G3=iiuI5՟;J-J %fS2kdǷ3[dًzma6 D^ul0 rf(>WXr3,WIф2. #@DŞiޞD9 LodZp H/k wyDA44' ̥T:. Pon[ܞy#ӳt-?4]wZl *1򽕞qm I&Pv-l5u_\ I30^Y 10)\`t6 a?zd˧uM9cи? &jKXͼZxFIn]+e.`:RazK3p]4=HjB(20ع276;9h@t#{h-)#+W?YKl#,BE,~ʲD3!U72Y6Ō~phLD> !Vrb<׈xWV.if\\ ӰDEh^ IdPȇ|#80Ɉ$C@t p/E7LSk'p$3I>ò9+w( s~ FF `0]{I4?Gs}i H;M(3&v.lpD#Bd <İϸ<{8[mUl*RMɞ5R$;q D$'@dӻ1'@~8D^ 9k}z4JwWs$dL,oxpX_x@тOe꣒Q7I\oa&p 9go !:YSKPE?ǨtM] >l!obyDAɱ=a>oԀg l@Փ/N=;Ar0b/D @;?>v Ro7![a ;T&y<<Iz 귍CM,Y*[!GRǦR57e `x6q@@i!B^s!bzhmr #_ڤߓB׎ļ]>$uijp[kY8![ kp_{QŹ7t–͞XG2>DOQ!!P`Cܤ%ZvXڵojZz&ZIaSLU2떞#B&Wu<'aД^]%= ٽ|ƀjTZUw^|&`b (c5Λ=ԁ2AT,ͰBԇʥHO)>oH io'Ш;CPչ2_DSMS !(LWxf|R/a  '91 J#{Q\YnLpA F&mfձ,Ms\fH%! Ká%1N4QpjJ;C]r_YMGm F!J^$87~?RWtQiAެLJ{q(5~#8WpzL4z Q`Q̵0gGוoP%S"$LR_(3MI୸x"SPu{m|\{{XpjiQ^U ׋m %[ m 0IbYLkmʻ#w! 磁1?" VLjy!xg$ D/R[Kݻua<LLȓDYkRz4CB&?>pf_IJIPA 6__b##9X[筁%fS+[* t~A Q](W *S;p)YNd.bB.L5{_#=_'JœEstrDq})15ieubCḦ́h+įu(С}x|z>* MNLNO h2Xsء _jXIJ̢ VQ1fBdB}"X^Z! A(^:3=Ž8%:Z|-=X&>}{"cKc0p!W j^wM Jf%*xq,螟j|C FH9Z6kM[" w>ge5"]SM:eUa9DXvC4{B(S+868iR73q,U˻lhy-nT]oO{*3Yq{fgڡ0~d^*"xZxf0951 8qT:idvV3JuԿKXs{0nOv6<>OOU1ftڼ̨XN_N68kYv=mSErg^Pl0?OjJԂE$Qf} +PO?Nx!a~#HCP ,qb*oj aY52Tc Z.+Le(ailfŶTe\݉KAkY?[2xx'|+dCB؍I2wW՚#s9]]/&rFCS}KU4v?, $Bj^cnۑKdHjuX c`r%Hnf2@z)֗>mK bJ:3!\In0v#yTP)ET 5Vg r+'`P|ZH!艣)b@_,p_3'qhi1M>!͵j [ cڿeȽn^% Ttuif-u$^$oPJW*Ϧ\)00"4B# -WW$}yEYuH㬨1uמ,⑒|h5q 9e|Ŝ` H*LsPCak"w Z~ﺐO񀴒^ls ~R&w4>97L /qO(Ҡț"$̽d 78}VRf5"_jQ9Sr$P>SĠuJ 01u&0{F$Xt'm(7j%|t]k+#mshšLq<z9d0,$ul/HrZ|fYbo|KdAx|](Vc(%a@\r3߬&f*8㈗y誑K޺؛`l}Z5$y7 w>b&DcdjZujRbDKPW[.YȂ͐E6'wlB{JΓ۸!-kKXI@+gtj&R8PhgRU-P:_IkݼFKB_S2l͛4_`%5WY;67(]t1PNc:$iddt$n2蛞NB xO1UT}VB_ϼ{MGCCcW)/%9ѽt\9BH!齧dM@߀"`8ԃ9aFS8~K4 ;At ʾ׭>A=,;`e=`HN|H-#\%f&.p5wd]_Vs6j\?WnPIrߜ۝u|%3[`?v k/g{2Gq2'xRz{ U+Fn'8һ2Y `[Hf$&:LCߓ:(XݒjGG! LE6_ҦgI֤ssi-)oUG:׀Ů%5;!<-O)7K-c MV~\!%yh 8}  zl.SNqP f0d'Abk{ (<1u!Ȑ83C_*րfхZ|dq Ю>9jTWLX4j,i8fpRz~ ĘkHW)%g&g~~T,>T(œwQ@!`R:[#&g8)O0 uq1 JMQֿLO)SXhJ*_aX[*BmjA96$ZC=*ʞv0ˣ== Chb__3& K-tޱOayw TU"<H2eL7}"geSXQ, 9ڤ-+MwB]OkVhalĩK{^ #K$S 69=8~aaN{gO0J̊v>1հ3芜\jB(فʗ>b)\M2 .EOzdgfwa] r@H:7dDS@kHtJ_PRt57ۂLUzY e쩬'S13l`VHjuL~ Xen)3A] u`ُ,,UďkwSD}1V": K-*1ME=Hˎ`0KBO{BG^5{]Nl5G# c[hWLIN=T9k}FGo3SnD* u*hZˋJh`$!4ؔpC9%@030G| d]ѹy]h-7Hb_m~t/S>0! k'&uv#}!׫PnoS"Xq3?'e1* I6i鏯r.i&H~*J I kܜ(s(ը.~ Kd؆RfC)ŗthRC<Apw>K7-qV⹆HkR 9G+`=Yj,Ry;/b^ڨe `jv/1UJm3`}_A*sIx2e7l|L~z51`?ׅNע1@G3*'RpH? cq1mAQ|sX84gk:A/x桹MjڐU  M\-*19L73Yq&&ϪU4 K.Kgmg- rGF\O$o`^%61.6\lv %Erv֩[6" 7clLпbrǬ[Bʵ ld֭#\?),4VZT"AH52įN1(jQ|Ka Sk19SC䬧)J֎ň'?/XyWcx$a|ŎzyշcFHNL@/O S1+^E7f!O'uxy`6|Q0qSK@2 H|ù.׸IXIX>w7#d^YѣeŸ-I >rL r)!sIx8̖ʚa?l܎H_`(C8|q#갻cYmCzupU?jgFg'4Ub3H * >Rw\f aq0[='Pew&]峡EH8O&B/jsYl) 1e҇B{:W7U1 5?(D˧ Z>ޢb}%S#u1,? %MaVzS˴#n@!do>= m;ܗ(KpaR ԔxC;(]"fِ=W7Bid~1zWSjEoDR:jkYk=3嫍USO-x໓) ; ғ} #%cP8G&8N'dB R}P6=Giml[s nd'=t<2{tŎ⨖dqهE!5^ٜm$p*0ͤ3 hv@S7uJ-206^ ?&};oN4hRlkAZOG/_ :AR6Ɓ#񛒫5N_DWUNUO7&l-W e)S Sg,4[Ytλ}դK0@IGTd=uQX|`oq,fjk4-#YVO~|V *;$Y#L#\(JCEq.c9ƾGLWڎSm /I3Ӥ˒}N?>_4#Ә &a8̿J@LLm6Ҿo_;`m.2+@c9),\(CQ_bu_Bs٩a|l6W_"8^K-S-HN[ֱ`Ш16M'2-_graYRT'J@1!r,v)5fʹGsWew3UЉ}W/~G_.k;6EqEJDf8yi>a971>J8ZpIXC~4wv> &.3Isg@;sLxt#xlWL%+㦳ao.zA&Eӝߎ3>[`ӱbh$xrj͵WW>q;,oSl"Sh,Z++ E"'u%"oOh>wON3] AZ|3`pqd5[yRKH//P]D4wJa;6Z?Fo"Mj\0ʓ~hw0'RT ֞rU>1$g !41.T`%s%d$Z/̀¶BXc6Ϳ R5VsvݱYb"2*bJU A#9낫C~&uܥȀ$WjjAdl.7E8+"a'WgNJrQ4Vn>8M672Σ!XfDI;eCLgXǛZ[ YRnhJg l!mS6}"ggַ"6_ )הyQy3*;-X7>O4L K̏77],;-{ PsĚġ- @<*'{8mcLCܵ44<ƞ%G2aòM,+O;f1{}] TVIp7Z_ y' rբtp&|g;A˻B7X9A]2>?[1[ro,fH>˯d221[&6>CĬ,v[6/l'x+Nſ$ 2Pe([8 hҧY1Ait!庭kʏa 4F3̲E M]znł铝vLԨad PZ_]841AH/BɶF஍ʋeIJ CDPb3c@ܠ xV?)}__~!gүnk]3YCy#/V 2mt>{_NѧЬ:q*J7N&ƥ[4+: 9 <0c@zNC}zILxB}ݩ[QVe3NaN ҒR&KGZ+<[7F/!TW1 >Nj~R:Alٿb}5p >zKVx=V~h͋EHǨJט)~s2%"i ]!IQخBBҵapqէ"2p^TP2exWSq߀"SEOH!b$oiv< ?\uXh\9+@5H( k 'P}Pz+"*АXyU˭Ϩ%(K jwt̃K oq:s5[({0ĬWfHsO_1 CVCL3^!~@y_!K&:N,\ 39FD>*M?#ddt&QND\}HqC$SJ[t$z iw1H[(!k6Cw/Xm (E2>y.Kag{.<==W{-H療iZFnJe?fq#ĐIyccY'X5 Y `=\0y ^B=/HѠ; vq :YdwGҷsf78YsQ(ȂnOuquC9ghPlu`*"F箭ෛҀH}0$4䫑7=clt2L:vxyE=t'xJV;9)z䒧C=%mXff)??%Žkxp=Iwe35O;E7`Un'ՑxdzKB`;!^gΛwғSljQMn!G98]͕Ps?>~ZbV)pRRJ=!5dɦ-NHH^ 4ikI|kcMPFsm HN6.)$tO^Dϱ16&ۍĠC"?QEg2wby)z70t{c$ ?eoR ю;qΛuRږï 2:C,cIC= hbʅZ 9-W<n?1ci|>Ldxnp(_ 8FHCnvm;rSä$d,F9aݰ(爉N$X{u75h= hBʻ>?MERun. |sBya}w4W4SPCnzZiYdTsN.b'17{<ʡdΜAsAJAB'?nWl$|7O]|/a) \g`i@ZG=w2^BOmt yzi2]vȈ\ "At%=tOr4{;S&-x uXt/GX7؅S*:(2vtJoul:* Hɐ99)f&L$RRf Dt~+S9P2TMc"K937ZI%?ٹ,榙L$bwL"p Y 8\]/kfMGY'1眵F Tm^lL PW(PL62.U) <7X+9 apV6.["FoPa5,$y89$h)C .2 >AbQ!g $maV9ƣ_E02ak!k'/1 ETR%Fn.!p(9ouLk^Li79X<`B:Z~=|Cv1^ի﷝> BE3 5^@_BПG}+C4 M-6,fh99o.Kc3 ڻV-4[ߞt6p׋6m{z]yƣh/_ _93Z$Bpp :7qVW0GDdK=YK 7O td16;dE?\SnDَ1_N(\=1mոKE3VXh',9a,>=49[z>߅=Zƽ/,[;"MqE* ,<[ʊ!ɲ [bY4aaIQ&_X2Pߦ AJXiz3] /O.kn "٢B/|ߟZN~}=ay9?!-Hq3wS8h;EJ{}?J! (6b6ymċ4o1#+$ "Byzaf3 ]1%La z>][8g51/0;%*@<+prG=c- : o/V1\?_N0ZG1Z ߤ{t˭slE#Ƈx:j?q T$^gǎŲ:/&8qʼnCn:8~L i JV Y[k"wыa t*!׀ȝ,n=Xl{=7yI$0`cp[$ٵ:>OMgU=lx786{`q<0Fx̯`Xݨ;9۷1/IfY;Y#3 nDR'в7áhqp^#k/ +J8[$( Dg4;Sʜ݂BDw2eCRW#h@Ŵ kjpv]*8wDB:3б(dR Z8*\ZR~€19WAKm Q9?vʡ6@_FE~"OG4{-r)0[0$_4MvXׇH"w,VtMqG AXv/@/N ՚ڏlU9~C6P9wa> "d޽?RoeX 8Vrֺ$YB=oRW DWx ,_S,vr'R :JU;tN^gL pk4^Xur^}kinqdcp 11󧰃qwmZ7uL`Kw@K6:._"!Wk-=?"ړJ:U덍˓6ۋ׳df^,R2? /c vD8S#}lf'fTgYZ7zXZִF! yH-]ŗXi%gs'9C{ [iލ7D/à t~RozPTփwr}u(dOd.8jMጽfv6`ۏP:\^SyK_P@$.´kvǝ`0d2U9iU <~ po ]J/ 2p:URD-f-j"OiHay}.?phs'f΍a+ݳZ1I ɷ[p9|aW4L'ܕuSZ0YXiYyڏITuaDy&~01ad ӕ!i糱#3ϩrlm 2mn:=e.9>M\Zun^#mDұY I#Nfx5!͋LPa֑,R@JVYXguɥީm\-(\*-3["kqR]M!ʸe~XClAiMͼ0v*{_5GBJ%ҩ来6uҖo5:KsoŽ Mwn! +x󘮟H+z(>\B?!KnW1ʆy^ y_7^Tbhky`_n+eo; j_EJu51Qͫni[QUp}{wc_J%tfǬIͭ^Țۀ$liS"^AT( Ǿ$)<0Tl|2?ax);;B*Q`$XbXk:n3 ]ߙSƅi+_X6q@96Hy]2lMuJgm #踃FOmK_G/˝^Q*߉]ۈ*,\G >F%5CK)ȹC"TĀ~ C]1=%r]gVÖzrH$M;N~z+4BWbչĂu2tO$cg<ϱyV64qX2lܞCAo֫$%¥+uM?[RRcNSB4nHxױ=>Xm.ـd2"q&\4Ek q" %&^0S2G=,\y?mŇ<8`iJg{@{F}lr뺞5DUT|BNgUc}KG4 ֥W ڼ%=]@!<:. [:oigHl 6k9fFLJPKc* e0C F @~KLE3;9^%3FٝodžjdyʳBdϑTsUK 2i Y5IHjY?LZZWn6?l2!EqѬΔe![;BUEѭ_L0]Wum1B[&l%6ţ6<z_m<ݘtܜ=GO4ʑvݿmN>LgT zRQyڑbHu>]ꗿ&2E!&whyK; ;~쐐6cDQhtl|U7R RA;qzؗŵvkژ%|S}HaN?U,O/ȶվ~Z1\k.^/uwU.T%nuYj댓xewtޯ7PGxll;2b8!VbU60-KHáD:]L'u:l;M V?C=m ՑH*)Z(m(#2ݹ.C="p$Ɩ]xBSL4)f~}C1& `XġEC+Ze7D>G|0>"j|z (>D]À;P<G * ~2KqW堈l~{/~PЃ)F̃^5'_8!=Ѿu_s#ptߔ)g1=Nl#W2N+,L6ySki$YFCk|7ux;SDŽ4d*2#n4\xU*V#@y cǼLI\G 6N xBt4jap,P˪){&u;x7:GUfu;K` R(z̍nGE:XI9}*8(<t_SX&SMɄt(rJd9Fߦ{gX|}!^*[IQs!3uKmA;iΌT ϛTrƑ[zG{ؒdey.k?tavRytweKΕ[[jA'JW [)0+>TG M%&W~N02IHJܳ4^թ "wء -S@S3sjՠXD 2%G[߯F8.5Zӽ

J~Glo+MPk>"W3,tNkLY#;NObZx_C!WIȎ4Ğ.IKasTIJ6?׺x ߎT3iX锾|:zmgQ\RdYP{lGָZf1 !&ʞ tqpr q[:JV2Fqg2یNtƘ0K<prj"m4m:8(8va2qVܳ0IATYU3iɎ?"4H.rk1cImZ]1'ر7VyRR7p!-Ƚ8f,և.xk:܋efP]-`f+ y=ܫDCޘL1fO O9 bVIJ. /K%U  cg[>Hj#y{ЅE M=fGϦqo'%u%CneG"Ѕc7xw¦WLEc)aک⽀Rv]uɪG۶v+{ -V"i5;ai #Ubh)Q(#=-*uey̠갵+{WO8:я'Ѹsn:?E?/~Z(gR]vp28zSŹ{fĦO wA0#D67쟄R[W(mC-e8PHuU [9|b?ke__ӕaZR\VBSPo=jh;% ڨMSv#Uy(͝6ӯD_Hhiwjo*E pIX3/w?!8`x:o0+7vaj+>p^a @' jx-#NKVLE? 3ȩ]B=9@]Ek *pQDqcjdoq6v&>*1r-]wm=TXjg7jxIֶ+кZ[gp x4N-Ѯg{^kM>:X%eV[WsKm{e* B x]b(wPVգ'C߷͹n-;cʊozpmH7r/ U2DxL}]c(e#[OYg46T~XeAd( uыNY'v'IN2= ^[~0Uw_hgJDt `9)piI+ ѝ"W𞗝*aN׭K"-?WrXh/~aAG)Fjshʼn MVjkАpE:w1%1XaP;6"w~& m RXT*2Yk:P M CN!pP?Ȓ6(wem \I;Lx]|)ið&=6BTGiy1ab>9ei-]q}>z)ObHO C S f3<*N:4|^u&`n!s)oqp"zkP"G_SK%o)sE^p0uƒ60RnOkО&ؼbK:u=ÏO;QSeTSj}5^; |K㒪+S t(_(_ 3:.G=yqj&ʔ$ߔ,},2ۂ/3a) %c xs,rEB2v۰F' LT^pv~35DP>"Jn z2Bg`<hC,XMbzw# de+ҲZ+=^yuǷ[9,]3b 8Gd08(#V~⊎!4l 9CڝPÀ_Lf7TiC(rMo+l Z!V,0&?x>rm ph#9[҈TH]ED`{tD"WVmd"&=a'u;Rr"la`lὊ]NuD6e7)M 3?N~>=V̩ W,ѡm3mpijfj+b”fݞ%@*Xr눼S/9 \ᬎ݆!qٽ:aBpg2 LD(7害 "7I`qJ^#Yy/Q$T ]w3I)]˧!'+q4_RNi-cǮ*u3FܚiÜ6T_>oj?`d%,^̔~Y- ?"ݱWopۡ|g$ EcB|Ʈ(Oh8`r$|n@;)*ά&{:IT[Yѫ@Kr:a?W"NgLp_o~KMuv9ABJRB& -)-E=lQ3yz2` K؄D W5muwWڿr^m md8x繌_`v|ˑ>NcĞ%yH>=!V_Si8e˫DDl vLg Pod0c;Ծ)R_,wLJ(]mW—vU08:Ϊg4f3Ed3]B6e L4Z$:Gi /M&dp0hBT >E7%g06_gGJna_D!Էί>t$Ǫ亨zYBٳɣ00#j|O/ [MVO"I7 s6C7WTe׭MӞ?:F/<)~}Ŕ/3TV[C}vjUbVTA4hKȿi\`8zyʏ=G}|p?CXA⪧hOx =[P 'ewwd'2Y-`aY:D)bRT`1pvLbFvKm˜QP:b&G>KQ8Φ+I8#JG ]X PzvFQB6[3(4awDS'!\(Oվ"\T>NmB6GdyeJFt e8um>rMeww JTVb:+ _튛6n¡bB,MfU*P.o:MC)p)2i."xǝ>ɬa[VͳbP}>Rh@{QG{/#b:#zIπB$<|"Ӻy- 5iPbǩTnY}%lUWo֖]xϡy)kcԀ#;E,]ϩ7(GhBm.Ig\PǶ |]m;:9I5!%' J`=I"4}N~?[=5qD`M2>kע A^IIdETUсYKؽZJ=#/xB # :4~;޳F% &ͪG|}zyLZ.rZprK'z*nq\OԂko٘(֘ʊgI3=!@+(I<3"QЧQEGE)C8yL}ER-exUwE 0Bnρ;a23:gl^GI*@*T<;C֙e\ר(')A%98Ԥ~Y-wkOS[06b>v,0NK| ZE*UH͗lϯ:1WF;H0UW.dğً)^h^s*xUf>䥦y? cN:ԻnbnRsK7€kQT"h3uhbUhMkatzh2 >/m+aem(5Ts+ ҋ~hyq[B( *D(ݾr%Vt |&Y$aN30j9G,-]=z>rU5C)riW#BrI$S|~o!d@ 4~f^h,pU6\;'̋ Yx6Πf{ՍTSr2}D 1IF]{x3sۂkZ@U(1rzܪG,WQ'jзze]5ފ.ф.‡)M6@T2dv+ `JݱhRJ Ufz;t5⢥\&Z7֞v8+N]{>#*59 dޜ@9{kumnlc#FU٪T`et:6rgg82OA~^DHv24 /4ؕA\sI@*v}U< /[j>gYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 35ec4e2de1f71465859c6d662739cf54a8befe0d 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 7cd66ace40687de1c02a836c3d355f7cd2500c17 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37c572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f803a9648c17d75342d36ffa636fc7ea00521d8578