SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ,!\l ]I]CAVA_Setup:threads=4elapsed=632.696cpu=2258.364gc=241.492factor=3.577zXZִF! E<]ŗXf1-q恈͐7ӺV PV[S‹Z]qتjJ e4"V!þѿVٶ$I=frh=|з\\w@ Iȭ )3-ױ["a SJ}Zkq"AP}vH^QmrЋ7]dGg%&v]ѷP3<]J, 吽tzB>0/7v4p<*)hr/?2jbgL}sgV5]hD"vw4ETh;50ڐPnȤW[@Mt֞swa-ߔ1](PVi<}1jSѿ  ! CAVA_Setup  v83 XB# ,TZ+xz+( mZ`{RDFTt|O۪WvIżW3? :*hZ0lT4[W {`SH>[8btN4mxj'kգ'*#uN/S+lkyU&Űesy~x%2?:}T :;9 s 3 pᵁq\g3L .HvK9rxblܡ>z(k\~ B4|G]Ϡ 4J#A9xU -.jw9(֒\lnߘOD֣%=0R̕} (zoЛ HL@.~3+,ZGl(႕4h&oLJfWH|t֭ ZQHj9{lqRp?Ԯ]ŁP.߃r#Rn?"x(\bճhU`ޙV[L(P"fsJ E !=h+?sSID`~4z%ps!xA39F=cJJPd-7bsb_q9= tH KP-E4^,I;/ۧ}:(]/9(]$mš/ɝ]kmYY6!?dҤl4Zw wDӥdPz58.V~w~ _3$K;G&D)+?E91JٟoYdMh42b–/*VFi_nH~a@E'\i 1DB Hڠ9K~;A;h|i^G`:f'}[S %dsx+-߆υkB<,UY8aцQO/%~{*y49aG٨>I@]n`5*q"|NC!g+1sYNV6]!}xUBBfVq&\O=ؼ/^-YV7uC\6 2۩.ܲ LQ?c7Ҁ5+IT74xaAVW=QDok;vr{b,sJ(~Tx7YDݣ9kbm.Uc}O+Uo&`>gC{VAx=#<1DZ8:Ea4^HdQTSl2ڮgP@UYx|E{-WjݜD1r, Af\-T񕳯u1Η֭[$h2 4Ͻ]/oYUG(>,(Ҡ" 5++M_t8G%_/8JI4oEU"UoGPoKE@D=(o[uUBl 0X|Gq!7-@NۥS 'DŽ@r@OO/{ѵ8-]6iͪ&jGYV\[L3wQK4zäécgKHy͊\Tt6Zmh{7'9G8{hk2*/"` +|WNFۑ 68)܋Щ} UMB,. ?R) qyHr\-B$ݾEZ*oZJsC{cLPo~C;^*X}o<UcC6i;JkhMV'"swy%E1"NRZmR9yXfr90ٙȸ6~DziԫNcbq–Z48yu|",]šS8fP4hD">a`_kRO7]-Rl f H&/D=HpS{]oQm/JRpS ]v)cǵ( Z|s~!dB *Ma). :9# @%Gr k):?1**7 !Z΅_I7YJz&}EKves) Ȯ[5c f9 `@,b8Jp*I҆_AD#>KUζhD qYIoj zsŒ1ـ TT a Qz޾j2WX[k 'Ls2;i'wo ~M TL`*J-qF]hѮ E ^flR3LYwjݕYoRI}/C%w$%(*w- +9 bt.I0]귁,5dz\q{%k #YpU>/WM. {FS:)?Q ' sQ\Íَ.re" ΧFK{`;}ybc_UWcNGiߜSQDj=t ҋe'&\+#E$2f61%"0Gp $r%&08WUuY4~7$A} }0-}X"Gmϒ"^_EɕR"hal{~#R7/ǚIA~h4%ᔀ "G4Ï|G5DJǕ լcE'~sugpy/$2 ԘܲVxťW ڎPEU}WO1:bT` Կ,xUq@N6iu%Wz&Se!vJ ;ր`.DzTZ<2_T>㍦f@O07͛d"Q!m.lqیa,H`1P QR2vWi1 G96VI )IQn(Yu߬Mc*ݮ ZK`;iAj>Za.}Cjx~#qmGPt {G (*\eV,:9j0!C)46"/ޛn / #$"%#BZ'qnM;( f4J.7 LB<@l 7=rӎBq@f.u )aw,;}\$)`zQC(啖hx&xQV+`z_^$l_ЙG`e In`)dP^0VƐ@%Ų7/X~EF6˜EQV:-=BzPOA(2H.Ars+y>:Қ^jQnE :v&=}&!]58SZ-+=o#KL/5$+/ru*CϲWdX\lVB,cd̸8~8~T'ef>- VRe ,+&_H^!}-J%9.T,ĠTv_ҬXaԟ+xE.s^QrsVˤRp B [mB&E*~2 A(氥/7o{3ȈSE&܋BzT@])?.ϡ9Ej#.UReԘ}c` ])B%-DJh5əg>G A/rz: ʴZX>))NÛtȅ$ 8dmAG'h`eH|p5)ZH/KЮk%k9a47 թ~w*q(6 WHKKPD\X](P,kibf _ʄDkA\AuˍySY %k ko j#IZ ؤi;-"poR ޘs?h,u+ѯ"q}b$>!sU3bōƅ6M#i]cE[4,ll#ȃљVx܈N(f5h BԹEOo|j2Kơ85*zNFN3)5LВo񒐆IFo^zp8IKnVۖ<@TfcsJ%?s2Hc|N½-_GW_1 Քrn srb`+Ly`YHPh%./gaEv{6y+B{@>@{qO;/  HD+ê|%>*k-Q~hWQs&\uMIg:|1|}쌓Js8 ̭o=|@C/CoumNǝ;Tz~ `5#4iUk$Y"I$C39)1ܮ} +Y>ᰳhyw_D ]MZe#ZJA\T۸VsMH狭MU\:'|Ⓦ>QEnRYvn e}7"ҫȏL>= ~mYbT'Hx` a^ݤrivVyghAO`ژeȝ/K:@-Qd`Bo= ^xFܫZLOxr]cG'Dͦ.iQk.`n?S>\IN#Bu!s{%aϺћ}$!m'E˞߄SQ`@vWsd'Hnaebpҫ#4l f}oz7/>2ȁYjʇ&~~T-cIp̑lT_  $m""1p[P|hݍc"dzĉĒYƧ-mvȳ.s6˰EUODw@;;S.-ڐJui Vz3$*hM?S`L+JIr#_ʂZMDfe1Y<ņ--Rg _mmg 4fd[w6Q4b@Π}e5/k_ [^?ި*xH2.rD)ւ C@>+]v8=^ߤp9CuU n,~Dra~Ιq'.a,,.$n#jDeAs1dL;j=Fas%lB>fFr0a١$#OY>!^cž&K;O ];P?P$Jhxu{lO=5ؐE*9iN(rB]iMj1آWyG@ (dPS~vzZOlTɫ5n`k.2eB*%'N1jmYU,܍x՟_B ̘3נԘ^.(򣊆ҷг+d!W[Id~.>o|2Vie9GVFA}dLѴwm6+vWNl 44ySZ=B#u*^X>0䨄2; \cU[1b?oFOt/) -FYWsyo㶨{<  |o*}"_a4|HXNC$^GֽMrKNa&F^#n\tCKuw96VզpWsTdW}.´G@Jۀ%)_KoD:jn_Y-c@hU\ä{>1e#J_ϟ2+iq/ }2=J\r/ 5^kyfνxI(s9JR68"̯T6oh6=Hݶ'}~UAW,pdҾ|"10\ZGr:!b٨LhBf[|ؗ5!Գ`ۑ=Q|[|3`THTB.69&@$5#^UO1CLҩG@5+y#k QհxIچv@7LNuQv1PO0ylR6ϟmVޭs;hD djpTӫdV^*#GJ=uZe**~.0C}qzl{c(ثYnz mI}z _T.8ʔQg:Uژ2$exrN}d&ݥD53Y 7P8ۨP#ԥk>LtqGr-`ZI(~ɦ׵usWizG0Ϝ 4E +):-h+ZSԸ=3s?d""PTWhN1"JĠ4Z`*e]^&,C7,)aR3ϸZdFcWwMJ({|Ԥ#9/0F (lђf]`11`L57HW[xsn@[ha(r%yILB%>Q;h{MP5daf9)=YZ7; ~)LJ~9~>`!Z&ؒbM0mIh@D$e!ĵ]4Zt#dMdfb:HifGcq2h/׻/'(Ɍ#0T&P.y~Dž^vR-!HxDd+j<ڐ|a5!]XÎ"?+q :eqY'2s-bh^"zBm̤S3৥j GRo1Sǐ.8% \tʼIgKxUH-_݃]qf;=D}9 N8[6l_P9B%z>1*( lGzYIIH̏3¥d]rWmD+LsŐyCazÜRO(\K0n3qU2L{@iD\#2zJC0y}sT\Ցa &,=L_z@lKF{?FHCU)D^|y:'>u+VSəqp+/x#>҉_Xon^8Oɾ)48;XˎFts-Aj] Jgƕ`CHJþV&J۱2Owfڋ&7,L߅n1_0ӝr2|ݛ>DialscLgr1)"}x8%*rLlΐ3~:b}_>Uܽ 7?I, dacܐB1 V& {DaB9MnƉ"D'44+~͏4QAF 0l8# 2q6&eC m&\řTl<D KNlff8ƛDW^,=/ B{rT&W G(7mA:qcGƍ}U(SfNa61Nޒ-A5Ss Ss@sTz~ 0˼_ dNBՈU#raaXч;'rtOaEd~]aan4lx#XLhlm!xIIݨ#$a-zmYROz꼻YHc#4ˆaD9[9{DhB(Q1.`m_k?`:dҠjcT!A׎v(>:sMX#@C4^+3ޤsіJ !&>Cݲș}Q:?n{=2XQaPE>oܠm"Ӽtt1H ȪaP~81=N4Ww%N>pBJȁ$~ulcAxZՏyp9kK_֦o "-TJ:75X[$"h%YWd= <*@n=$A$ YYNg ]"2n}'CF A<λOb}iA%)9MV=%Am}wui 6f"@GVU fܿvG$seGQdXxf!m*\j˶O^xWܼvLoӝ V ȰMXb18Q;&bBR3 _0q#N(ϥGJD]$ ~_u/i*A 1?J蕕Wɮޜw j@;#z-JiX_Сn"ԁF"&^Q6ωOX3 ]>&RCCaijڄi%C32RC7|^V}'[?*#E{LJEV Lޠ|qiumDUM@? D9~|5YP,ۻu*r۬NV$F=n@'79IQ\ -9NՒMlp#ƲH@4,T5 ҳEUAW~`kSǔUeFip=]AWUiSsWgTeA> to]{[އ֑hݢ]A>fSR:*Xv6q%"+^wUBh:Z"1@ۄy7pCzR[X"c6PiEkuC12E_z)?46-Z6K\_7Ӝn+ȵ9'? p뢕.NeZNxC6gDܘ+Hz\o9ƑP+ &.`M0DLT䊃ǩ҄xo_-'+@*Kks4~U<+;a#7n"(\UKENtwܨ!FFa1H3ޗAGI`uVP:Եbh9σv!t\@Z1 J{՘ Kg~[5iM`%X=K!|e uNR "G倹iN$eA5D__`)xV":%I:[;0S[&ӣ+s\yxu't#-u6J $?-"rsIz on@j;"ZR#V (&U>)czcxW ss}A7œJR!K]+x{C)~q!69մf&'ĊO;A/XbĴ!zf|̺'ʉÂQ14Ė*^obOFճ5 {%:Z=QM }WNɞF;3Ffv ΈxC5~IFس۔]n;{km*gZ( }ˆ׍Ki8+rb 5Ĥ8"]1h2O[9  Xl|! O @tYx򩴄&t'HhP=_Dv.}ww ZနuYS@bF?!5Xw4F[)uDf,vzj ތUt{A`w'-9^A 1wq8kO+%}?Ehэͣ)eCz4)SwJk"0Q3p%ͻwޭ)osp hXP\'6b&M~*q]ZD nr6EG/Q h\(N~;e+;ϼv8003LU9i.m+EF%6&M+3%+ 3~`aBđ ٪{ڲ|F˰s$%W&@-}HANccҰ Mû[dO.M6nk2;&#߂9/v#sl>SH,'YPL BKN.$J!(3@'l'G{Uಐ rDןS$rI@G_dPF?1ycJN:azR: KT?] X,T&eQDRky߬}"f;ȭNbY~'%R+9\7MBlΔ'+K1\!(=0wyƸ mgYZ7zXZִF! !0]ŗXiɟv s3mU!Az|ByR:'0Od8mxVJǕtOk*ky&J~,Uzϓyx*֛70A>NIO.4H[aY!awWb\iyIŃ'fB]vN8?܊ƉIE0&oȹ琣l]+΅8r=V{8G]KGQ:tp?űZ'j3Pނ$pBh)`gG -n&bብS& Bzb%ݹwrRnSaK \/m2=k2rbCn2Z&w mB;u,H%`Qi(ۤC< eUYM:G)*j0lVμmFa=s*K!fzټM=r "vp_hB<(cxʴ9$WZ05iUy>E0 BYا,ɷLN~g6BF6NV/ly-pR]4EHy2-;nyT_28O\/޽ѧI9 !yZB̲N&ljo4IA(Ԏ^C:έKa\^ub+Sgk?) u+|//rJ%ـI~EGd >H(ǐ}ΎJ55ʫQIW` 5j֢ AR_Y+#2esk/Z4!!/cWh'y xWch:ՠ ˿or3В;p,\egbjR>smc  0@)W40aa{W5kA}= Hʾ=J\x#ڑ?QMXXp*d{gi~رAr|6DΕzj"W# xƯh e>5SC5ZFN0 'q*}Qh’P+&D LcF ݁'_] ٽ 4hO,dMEvǓ kJ6:S6LH0.98!goz2sW%=J=&d7hy *'loh;n ~P]MA 3LՕO"SS6* H^*@R28];rҊ#\_ q6~I0ii9!Ȅ`@5^K!` a.gȯ;) # F״<BUgYZ7zXZִF! `]ŗXi%L K~!P@(4f6ة/lYm.Hw1i tsMlgQNV7Qn )p1S;ؓeG\(NFLƓO)so襐v8kĴSOua906t> 8Bg @$1 )Azȸ?,d1(0K>0!VZLA (,D^waݢ-HaYY4,s?qS^%1J<0g9J{=ΟYo8D3ZU_ IvO ևX1S'̢ڟ11de`6ny +A«Xj׳ rez$Acv+= ,8X /vN:̶y"ΆXV7K*N1(P4 7#rx_ 5"ݢ4y8Y߬rބzA1@G3_)E?`ecAyO665&#x (؛\c&3.s%%%Nϱp?frqUi-_)N&h\(E(?Ց`Rvf LyXlAr~3OthYMJLܒRbMTq UQ]rB)uj˄:+p| GPN"XPl뭅qN|߻w_cxP#;'֛VnEa' >WBN,ȟl^ |LєPN+5a._{sܖA dR3lP#[Ҕ Cc1zUw0;n$V PN;?qr,^A`2)xkv;d\ZxAL#'liG.f7y1x\<$5E#whdBy^ˠnGASpq ,Ъc>G)4yUZ*&]t`)̙N`WKX- X3vcA̋mA੤Mt;^N,6]p˟2pnؗ7ʊ"}bʰgC`yCنhrdxn#4c@D\a\|dud#P^ZWBCoSבbT&EQ 4ȫJօJKNCkbt0PMl#Y~Lm[Ot)Gu;}N|' vt hg=%͂B̦^e]]y*p='r1@j};FFjCs+? Q|E|z2%q-hӱ]ɠs zC gDS/b>4E!|<۸s[)L`h0q IhkR4.JmbC*q;=r>WqfV2˓e㯃@SlV딺QZgaN2õC_*xL` &iw_BURw%n!n+Bw;ABpr2׳lrt B%6$@iS@U@A^a0VJA 9[}3YEֹ91Z{v7Կ:ME*\Rhg帚lu$SW|CVV]9Qɴ]IՆ Aͳ :$'ˠŷzxsNWeo`ɫ<֮/Ƒb TG'L:? uZp[2B6bP``~D/%L5s?kn2  ]VKq.6#|e bW9YwWrfƦ[#z8⯉ s-J۰ LC>T%-ZSQǴ`}G\O1|BXƣ7qA(N `3\C+XL>aa0IGgmJl'85j(n/f< 4<Aq>^0MIͩ9]QS^A )RbPjpn*}eKэn8שSj_$#cjڿ&k[fSA /\9pDp{~X}")X QH@]U*E/[e@ W}~UMy5g]"326V(E]ůF2DTvB{s3j·TUlIҋR<DÆDh LA-F V*DC?a(l;D.rdqhBi1Oe^QŢ'-f(LOT "C%z W9iW?L^b%f{_$O 7m̈́JU/8]/ˌT@l-L/ce/@[Id(I/q1Q~رxkG2EJ l;%z0N0W9B,?0#FYw(<]iL r!4W~v frqvfm);[ΕAM18=UI\#EpLRur\psSÀ+~ѐd ZW̚iSrIVF(d=3P܅-q><LZd#oVͭذzZIe0z ,镐7XFFcQw;Z&JX |>P 7ҚU󛖣b ,AܥIB ;):QpkPJAHvQNeeޯ!~~M㑖TLckzx4jYtLrc9*V\XF(n,"5>"P@\NMڑ=K3&LXv~Z-w(.̫[:_pz6R/yW-=MsEDDZioݔSˍ(h">Wߋ xZ*>} :KeR'@i<+^~\l3ޅҊD6_:X1\Sbj*9/ʳYֺh?tWW?)i.ɳBS:.l\BA΁x_#~pD¬[X""]Uj4KRznx'{/z^0,Hw?ʾ݃`hW6X77u:}2")X-nN_$ζþpE(!R;¹Eacu=E` {iځ5ycEeKDNl8KuЌ+2'mOl9z2O'_kG5e=c7]teEzvCn#I>bI 6Fko5/f4k o,2@Xטu.VuOMjg4²8 (NWab#yd(a|S"Ahlv=WvVҟjH5{T\8`aCΤk1Be!D4%V<uG?BGz[ }9:Ymv#u{8V?Qu"8y4#U*))ͭ؃Օs.D!sBxH`HntTzR:Q*]0Q %d/jp4BJkenc[++Pˆ տ 'P`[ D[l/p@-vbr >є~j;-$8Y'@Vn{AE1K)y7;/XJX^Lo%riM9 g<־N09v.Te^.ez*m_Q}[9bn0ZL\ORn8t殷 =귍e3`+ʿށ7szl}!-J r:J8$n9ٕۧ~$e.YnA͑!S.ze\hQywjm1lG5 p`)aIRPr7q\%svk-:n;f(zm6ҺPn=Z)=±|zj.|,32)?PBsd>n8٬kZpݏv)t݀6H11,]O`re~'5# NN̮nLvY'"֤N'' -!}3lS3w.0Hv!B6D#2btaVRP7KiVM^J~!m똊#!FxbFK-d+܇Q-?()d\Z$DeC$8h8 {ܩ"LanGE`9[).=R,ٖu?8ÁZW9w-0!4ȍӿ^-sJu\ CfHm&=5sUO>-</Ve_ H&kFz&f~]XL*>TY y'J"lRALZd_JU1Uض Y\}794$_*)B2"~ Qn&0 lc5c.Q# Q'6>/ Myҋ(V^J멵˨poVTd@ 3\]zLzN~K4g$*qFt)xy,#i$週adɱo]}ZLPg+ 磨 3Rߓ0F83kKx/@zxkʬP/^Gjxr/yY#OtT_Dvke8fH/4}; zGZS]yx ȜQjC*vpH$5+6d|7 чCBg6jw X5AVq4ׄJwZFQ,<]Q%6>t]tHuBL/ت4˨aRxZSE<6}n2ߜzc|3rl(X~Tg~1*`X\NJ&2CX+y.m[\-s9 )P]m?߄Ixb?`~_̹Ky)${ZPO?=;bv9 V NŊp$ONZ:dг:btnT_wvSڄ-`s^$GjUnŸw= \?W%$wqm%C !L95O$1UMs[M=fEnYyu?Bv^z\oESe,橥OS["M(H26~H9ۑ`m"ZBs"rc!I^b : [Kk0߹7:ɨT;UnVp'pj'fY=eV%]_F`xJ}A0$)y[gcϓgvZU9Cʿ S\s$x׻@ {Eb(. qRD]ǮE/jopUf̾Qڡq>}o5|6(1'fc.A Z4T0s{:eX/9Z>`xFⰇXVch$4}Ft wBdhӺctik"6fbq>" |f/oe1i\I]3$4.q|w܇QUZ3`acraY_j:o]l/|7̸S}"|h#N2a J?9-B#N0CQh ആ094I_"9i<زoC?K9;Qu@RxyEWOq5LPAn0dVs@X)7cL3m#,7-U4ࢴ:!hnAd z*(W55EH-Ǜ>zZs0 ;={4@؜!Wp8̑ABN+E@Q|O/fO4>U#*C,p?`(;`[HbCv}^hiS1?e&O^)6@t-Ð~B-I#) sMFFMV9U!T#ɗ׻q VPdWP KmH #_/"\$k#+dWGFӢ8~7~"*w b?! ݣ'H1WHUZ8N{5N n:UpFkYnF4 y[9Ĝ(^MX1.Y]uuXiUvɫrgT%Z0aX/w%?sfAgݲ&|$' ;8XkS2(R K/ ݬ鸙vhdn.(_Tjs&&E~34b.nX%VLR7W! H{8?,ɘ1v.$J݂d"1!}ZFpyLݑ'r'|MG{Y(pMvdP0 `~ƗCQ5']yZN| F^IB.j;P pᡦie\ee <|DOfng%˦ UrػAyE _@;^_q%%tϼx̬>M`IV>TXcV1R*J@c8s[2xp /c-S=h&r *x즩1q% tN]3}gośS^ \ȸڏ#.[4 n,A+q`]F8WTydEawc&<}b;7IgAb"< \]@H*nO WAQw 2]8Kfj01/åg,-ϲ:PFڐL{V/[3% #JeP. " ? ±wO6w0ƘarQi|Wb-qt53[ƍo P%YǮ^2N%6Cei*Vv\p\[HZG6KI._,J cZFZNgU6[xK6>#RY0t|XHޣmDtu=E d#ҾM5 bC`B!TFr,sTF43L^ hufFZ ȃ;qt%RG#\uwVE92?;8Y@1)Ǝ̯Xl*_z ;*JEt/k+肷D,<ЕGKh wCU о q?9TokM%۹c3u-eo|_a-O'MwzUݪ)f Z󆏇l-x%"h3H%["PKW̹7B_ abmAzPHWz+5ԧc- 0[| '}P@LaATVuGj29&M3_5sBF]Ot#ǡA`E|n8f{JG(&q.)hN<]za]QPQ v^̭*mp|UG R B`kApAMkR|%ނjm.zoYm3pHm>EHYYNjv *)t2+c]G?Fʻ߶+MY<2@ #iˏ!LoPo˙ .e:~S(=$¥ bz٢#C-V(t ^!ŭe=h#VS̫LCaͥ+2ǴƢ>LOzL'aȳS *غIdX;4+7M^OM;[ |=߮ɪ%B#jTۤ$ kq hn ?0jٟiFzx0d:({c]vm=z16)c7Ŗ #ե5MSN"Qm,ۻiE Z!KX;cMDKIE;98{D=7!܂3Y8ͮ E!I,  !cj 1TO F8gv)m`֜0ֻ%A1N}MH%%Um2? vkth)Y\J cZQb@R:Sf2T030?Bl?3z`#\PG$+=CV(N@uS΀Vmff$f*'jJMw"Ni/d?X{q_~'cfN5G3ÐkTӉ':xsW#^3LK|*,&Z#B:`:hܢ xME++vA*|`Jq_{f+B$4~4?x~$?@a& Rod҈VuA󴢼cOD^}\}m y:%GC2W@}c 2˱ bH(@tt?H0Z'678k. $鴅GEܭ0L G`A 4k 3έlWy+#Z5FcoHVEb=Jr 1YD= c\uٌ؉䘇X}9MjVNtJ">`NIŽPSG8M t-%{a1'ěQ;Kű,7RpNA!,+-:3Kk'?>iڗr'(#GRQ[_h.j`3ih5rY JM&lSr]` KLԥ*qן)0JS"$,끉ykbٹY>:zJȃtRc>  ! ј̵Q=E^atrkb(yFUOR2^6F6ZQBAX'W8ZI+N"YSe%^u+&;l>uWKZ4WlMDc6Lܡ&1h4Ēb|`\3M? HSi{IP6`XkP~r(lg$ili'ԥ6OU5RYW8"A^-ՠt{-j&Eba{#!lf@#NJp\'Vy$NniET,oĺ*dD5ACԡ(j$(J).ad[Bӫ:#'Wn{p<$BX2R5n/ìc+p>3d4{yك #>Rmb0vޱW<PiIb"߈?8J*#gL Sl+!,]ZLBlOY1o-%}cFM9de;:ݸkTQ&rl8md5P2bXzظ;̮쎤5RjÙ!Ip ='i?s+y=NCp{nJ1VgX!m,?Z= j͓(!--1<8oi=I˲2IY+8Zmuҹ︥.4Vƥ#&D :龷NG oq!a#7ĵ/vq,{\حmLdOvsQectY8rLa\j\M3}Ak8cD`-' '*S0#X,zUpf GSIeQ ПBڒt6d򊍌T9u@yש{)S"MHc|d˝v9 >K~IEZHeݴ%YO`kAqo /c|UߦB%MOf󶸕y#YDNuΧ+@ /cTd7λEX6=Ay2S "OZˣ L_)qV3gjJ܃?B?.JW0?Ο4I6I̢$ BW*b"F} ^ DFIzO\ û{ `J =C x<|'u^uxӈ{2^h[[\;D#Ni>P|g[M(!Qʅ2`,wj :26,5};ABŲ5][ጙkqckh3Qhٛ=ob|*Jg']k_Ub˪ (ă>]޴0d; ¾%@!^Z5S+oVcZT$ٕa&[Ⱥ0s7/(:mӕ }Zc Hw,,S Aڎp6x/\rE)Uu$"\4ʩNc@ !L ?Dp)Ojj-#!|LXDgvjO»e ;Is1_.ZH{@#iPh7N/h4BEN#>8dB|TΦsyn`͞Y8VyJbm,$(z$UA>'zܬb#fjT!81 g/Y(t^ӎUdJCTܥhm6 E?J]PMXp9}ӵ1%1кB +y W&=?P8EؒITDA5ԒBy"Z>1&s¦'[ߧ/kS~Qm o a8E>\"fŭXb`?Sߣ:cW֯@6qҢ[ᇦCz :+ eU4.tʞ Ds 8,p ݇C{D*~"nKϮD3aC#{v3?Mz8KiԎzr;zdcuS/>!(5A\qš|$Ӄ9*6 ER"L=޵+KU3J~@~F ItN& i:xLA7͹_jqUp,ŜJ u%ɽ;aHJiFYf!VWIź]^xB6ӔPɳ_%d{I)|-jF> d˝iZ<]WO/cxsí}&$dH\)|vɅ>?TeL!ݻӥ}>荲nM̋>f*p]f/=oAޒ%h| 3mտ͂7WYҸ6IA&ͅ8;.3ʶTǙ <f\᜵L% a]boB)\RXmaSA_#5f^xP#~BSCngmx#f&blrZ>#us3Sm)5vG[p)Uz*M~fQдEV6',cM;X骲th5pс hTudw Xw֥ GGC8m*~P?f>@~2fK`"@7%~ДҡM;Zc4JΟ^™#:tKhaa/^.n.߭1FA[oV1VSң|)1JIy׷g|0{P^9[2mh!Th5=?i,<K)8< Ⱥa!)d̷ڬmQWs:¦qP'|) M @Qڍ=O̺[\X\5Xڥƾ<'Jǵ"AF~!}kkc996*>wip;U>`=!6pFK!*"2/Əa,i~TC(Y\K[v?m̋D!>BYws:XʼnG0"T['0ӎ&NI*ڗ+'iS,Ւ bmegY `G-iN h}ض],,EP\p'EƵ]XkFeSbQhrјZZvhcnA尧.wc7%}+hZ`VRUឣ#{20MQԇ*JĂ^dBli}ڿ/xRNCt&20Vktkd-M}[\;rNAV{f-m1LK0VAjT7'> _VIfh. O Qe O37qC?þEߩx_U4ެ?'!I4PI9wӛX5']J!gcI~s&Tm''-i1<8MZyAO㟃&Ϯ& 8Qp#$ξ-6zRa0Sz+P utjAwOffWƷ̫f e3[vyQѝ)hđ( J -u~[Uڹ]gCuENvZuw4{mÚXG'19n2bDbpUh-S:ygI'q|ni>])4Fo)M{Iz(CY~ mn WToPac6uCio[0 Xv'`%z RSUR:F? -Ӗ.siۀ'c$Z$g" _ercSqUsm~h$/mTw.g{TH:_¯*>?Ƣ&5Q ˀBZbkJdu ,L]dFnT."p~euh$6Դu #u}1=U¥gjzFpB>/ iq8hګWֆ*sEKryi" BY/; _'બh;ZbȀ#ptm[aEhi7Ԇ`(3e8FTQG&>z79BrH~ %\ܽS`(s3`~@C24*CGXOAP4Ӻvrڮ/wMT\ұޔs["oMS)z{}^2Ir-+Knib۱Ce¿7]&:~AB CKi Z=͈?ŎfZ;RȽ~Ab7]Lk888#5T(f}|X1^ SOhv rGT #xKc=jۘP?$V8GI{=@h9_\0U  hfIrU>Ds62:&-t_^HۺO`AƲC{8pNϹ3t`{/Orrl*CHuQ2S]?drك3e0z!˨zlae-nCH|rR-TJ[NwuGٛ ,ɰ'}V) Xy!E|x wAѽ[|IeH|}Q}LBK{a/}Ի|2fA&ϠH=!N&GR#.v1_ UGDc:jC^'Q핷/ <%y LjŲ6b8ħ2V coر+UKeiN\ M\_;Fܬ|@K QFW9†O /aOɉZvY5?Mijٜw[N_u5 _A5݅U;M|gx kC7og Qϒl^.v.V}aC$$}R.RJZ:A?uA~tJȔޏLU%SM 6;-]пG*q]2HAw3{o O*ُJ?#y\?|tL0y"˓L-Yq".oMr̬mo>Ej޳+q^5I9.eEzsf:т"5D_ 8"W|ߺ=Uᤗ88J `Wiƈ=jnO쑧/ jyEbȣ .7|+++xȯD$zpNs 'FcBT ~aOTDJf9U!IDV;T3*ν<,FL5#~B!I|`g@Oqs6Þ Wk*w~Jb')MqH4ď CF Â$H078/gR,z=υXOqs.@k=<ă&P"xTUfz{섬cfge_f5l' `kgi5ϡFb㟎gZJF.@Du0ܯu4AWve=M]r{$["K?y"Di4݌ЯF}aje Lː7TV1?÷5-CE`ܣ!`pxZq̍DuAHL\}>9kL¼;11AtS2ͼp>7V?՗NcfQT@j4L\ydUl ϗ:%{S~`i. 5 @Y:C(I >iRhe2ȗz2U;êZM\Q+՗{b57 b6|rhcr/ G x%#|ԉV^||Aƌ`I(jb!Kw?E3ׯ-[ޭQc-PK3^ &֮Xӑ؋&T!5`5nkIÓ\GvnMڔ#s"G!RBe%Tحbhz-rs=|N?wJJzAIjO6r}x5 &v;l !f@r0B·RhDGB26.`aw1RKrۡʐn9nP]#ӛ¨X$z~MA ǰi=הiɺゼ]heEP䏉I%\"K/U&ՋRvi h)AVͳl=R]ž*/_~V.w]/sƆ#w7UA]nr bl/; @f~؜ADOQs{lƚnJN<7LB+X<`Ԟnwvw w.gFm2ş1"4YA\-,ͽ02A[#$pO0OݽÏr?To {UCvY[g{4DbwuO!bNN79iuQp(=`I4H%;ӿ|:79UhF5j+wV/[ 0P& e,[򂁀/0~jJٺ(緟oi~Oh͐wGu%?Ө[!Yɲz&Q'c=\;~|Q{DI,΅lcC( V'_Pe ,#GghyN$Wg\4'$SKrJ;?XVj򷚎&]joCGD!`vǗN_-Ia0j\6rFwaƥ+Sf!x%Cvp\_4k&$G.2ΏxQ*MesM5ً?qJ5n}6W /Z@U13IP0'4J8 ?,j\%ie^~(.\ܗy]KBIDѵphj(%⹔*7 $s,A_:{c f5XٌIk8.c9/RZ@6H:WX>#wTr+3 B={GDKPv(IDIG"SB--qkH#oG!\=:c1MfCdѴ(ش-kj.}#^NV͖Cs٢lE؃c͑o WZD,Ɏ J"+1w^lA{Edzg#e'SޝoŌoglb7QfՖo$<mfIF8 mc1G Aַb-ޢZYmt~UZ'm,&ɵ]cx ~(y%Brb);i+ʋ5.ʽw;z>Ze +插cVd XNNAAjY[a;Fs}ӫ -4NC3^3jf׉ɒ< *'pl%gE]Dܚۋb FegU0#'Bݎq ̫ld=fZl"Y#Aj`,YLݕS3ǓmzYerfmX)4/b房LA2af7+R m)^v*U[4yXqۚRp17YAY^Ӄ*£I;\ :R8̙+W@(j,(ns7j.g?gGFÕ2Vdr'\pY&6$Ap'IC@Cv%d=h@fi.QDHweaQ541 v9|0| ?i:6Ǜ=P X!iz^2ItCi$e*p/g=&MdC.YCՒ I"4qG:,s` 0U؃!B>E`륞'ԩ07= d) G'rM}Ԑ+~ Ou=?ˑgg a7#E3N {p%!q*zU!=;ĢF~ *7j%olU6b" %9|/>'曍Q'_9%4EU5n,gRy/ 2?[RHīʕ}Adok6}E"JNa~rT£JKt#rjB;팑׮G' p.*Wl ޽ >qU+x"da'k1:x B2AKu90i(@ Ł}a)?I5* ~4L(I_o|}>V;7/̬mױ)1K6wZ?MrGD%P1""0 =+ykΦ~&ڀnus`~%.Z r'qN΁u -3ivɰBaړ'J"`r8l$hp]}kQ R'$avc|MТZT14k 6 =h*EqZfd 2a}Qduc]$|TEJSƗW`Aj%C aĦ8H&f(FCb:?fY8ipĈ@?" 2)-nhw Ty yňp5 SCwx'u*r3)-}6B:CA$z0+AI1 c~])nZ|S J_y 9B`X^JBı2~uW[4X$ U+8)܊(4nJCd&5 `I fHNk+;5@)J8oA nmsg6bmՠ+. #9By *HHOGHJFIԦV q.>Q6bb\ФDS 7i .v\+VgR~F-N^Z:G9);^Vp۷dA$V}h,EF0 7CټT;E}Jz5w [fL9u=FqwDK5(İIOZ=92R V>orGXoΦl^V=QT1p ƣm * קּ u͇ LJs{(08xo /?㹭+7+k_> k4OJ!J@5Q,[yKTWv!_O`Zץj Q ?%\3OT;Iz85L4^n4 #E|6L3TU1HJ➋bhԹ"2x.&HcPK2Kc3CHk{sִ0.W:Z8Bד+8k\Si)-\ _2U6*{UYWx/3x0pu&C9" 881[ mYd0VƢVoPzܠk,^e`Q3P@OJ2S)*3w;>C|P5^KS;m V-era%[rdtg l:0ÔxfuF#Un@Zz>ncx{6ُN:xWq(}9AE(/em;΁e=mIv( Ct+ EߕN QRAeV]JhBZ7߀U)L]RtJ}r8,hۚ^yf[yc,%KQ4>YnWoG"Eox.G"KsB}u9D]:{TTRژa%k!h _N\`74/PKo?amAzȺ)77,q0D1S &:.UefLu1gAJF^KBkl=N⅁ϱ,H bOh6)H{,#{;SQ>qωZ0BB&'@C3@&Vspr,1,/) E]i/"BaheUhhzg,j-5",cC{3[/9HD I#h^9ex9wS~A2Hd̵ zHdDU/ nTHMV[t[0 _ٓH<JXf//4!h{咽xG&~Ƶٱ(J%%|dve>Fktc'#y2}'dG+`W00#r"6kܛtS,.q ,ITlvHlP $w ;ݵwVq8_eK=7*j!knR$LY(IRŒLS"mʧ}:#W*x>|3# D`Dⳑ 'oToDx~HD&۞7Pɪ0k]1TSQЫł/Q\Vq-aWɞ(PM~ҹ,gmz(enREI^ȯCcwU փѮݟNE&X]$ 7"Ly;+QDHV?|wt.mX6 C}* Aa=.!W"P6MA$lPn停zO1z@pJy@"kˣđk.OOM5L!BJ>9 "zs+ri'9Ü68iN?/*ecQRxhɂi!Jxrh L2"%5a4/B1C?kc91UXKqܩ t(W/<TMuI[\ />/>OK4TD[ZW뻨ۡᵏt^SFE30$"蝭ڿOrr"6GN4N[(Zz2D;۔dRѷ pC%j!?M"97t2CG=r#eR$z-L [)Eخ#+:CGq NG﹔ ]Us;lg|3={ Ƿ!P|JZc=|fZ|HH5?ܨ vrGZqf0B5OGQdA4-<$E^c|Fz{#~3 >lțPjE8нC(ӹr'tdH/%7eEgQQRen1,NFci푭$ҏݽ_S)v,[PIKu]u%+cZ113p^UL!%^xO A/x,.cʥyҥo; qy8A*̣20=h1OsqlWFvgi6Q{uوz', ,W#Z64|}-ϡ:[`e5jv,"uat)q*|$eT?9clFԀ0C}Eaz YXX5Pы:*0ɬALn좨]_xSqZy= 9Ÿf.Xuob߷v>Н\%3r$.Qqk9FI)M-;q̻&!`9l.8uT/W~"6/<)0ϓXNbB[ ;ʃOA5t[מP ]r{JyR;:_AX*/Fi/XiPCby"$ow${׃zg<|ͅIy}X *l_^Nc08Op1}y:\'_Y}?! cYh65Ħ8kH#wDQDP?I"dOV QK&2 =8ܧgěK뺀i?cXBz|%PQB4cJSKd( K<,fvϷe"Ufbr☤7, ?8O h ?L6ENrYbmJ?%]}Y RŠN;s )&Pّѳ.j `##rA$ޗ)چ(j_h Q^.KUօR$6[0X (oި2wsϳvq#[ljh|I5ǸB *B)Xm IdA- gjMM\8D'ia;%XJ4TICoM<6p@i`Qy>J!p? **[inL19:]; ;[hO @&vӼGs|b+MG O Pw :P!Gؚf *<#')Gwm1>%텧)O t+5g!J #Kht-U{%V<[ϡ3C  !$QE2ut {GN@76V==0-ᄡ"B1_jQN0J+`ff(Wk=^D ܉cg~kcU5AKHiN `1<꧈uň5œP=2H㈚K,ůogr&'mCX#%V[b2N]N78lf < *J S=(</ NN%){b1 K0[|3o" 3 rR"^EkbDr{-Ԫ)2 U|?WT=PVwy c[o+ w=C۲[Dq<|<E[4=M#QR,oloOsD_ w1 (!tGyӘM-U_)ߎG?tIFGD4Ԋ ks=Yȼhܚ_!b p)ގCu[XΧ{( 4$N6J3]<5Bzr?UqDv ; \L(؎"F)TՁw+gвGHkYG%|U|{)Mlա]!U.S .38az^`^p\΂ʘȚ G;(ӵl96f~Mqnb9%+>A|=25$jMKwRL@&w@0|N_M}]FpcVB5}鐖fo=v$2-ѡ/&TS[yr|FπKN"71lcU3w_!ZO86e2Բ]ڪY*G{Ph757Beh/q+V}h '-[Qk. v,c5n9fDh#r57m{ i\FuW[\%7WhpLDzP%X'ص_b9t>)/2vh5Q{0WAPMobB@jtd_0}(ꖧ| u(c=D" #≠E'vAfWmE{wy$~Un1EY'ӬǴ00&*2:=_nH,U 2_>Z+"!adcS\o*77(̫y&QAm^W8]@ r +H -c!%;7o |_c7~i*6A"نE*g$]Ϩh Aw5-v( Jqǜl}]wSF-59ę7w7!x@Pyqb/ȥvu%fޣ2Iv gMBeT,yN |%t۴7IxKq#d*ŋfGy`ϽeD׈Nk%Me,Ad[//,U}x'19l1Wֳa9aY_; @"qhn2 *y.>tT䖞{>~*F MIiSo)"?X&ioDh_, sb# 7ݥX%Kb݆ka>J߁im!2{˄=-vAm&~LJRws!0TYZxOW >ݲ.F!n }UCRWDlo2@c&ӛwA܂8T֕,qվnâsuP!7Li$kڃЖ/9:3mrQ(44iOoD2;igS"ꈹ+r"\Ȃ]86.Zqh"Kcn1k?Y9 +Z ! HZj(Q/e!ǭᾁ^Xp \"0Ifv`Tn _5x/SX~S_B{뙄svؔ }(m&$\vF;eˇi*]-_ @LdTd)4Ums$_#nfOC{^o&Rij  ö$ QɆM^3[d5Yy1 fymHipkF ӕ~$:r2'R'c & _Ek+69u9ϖJthh"£nI;ry؅ (P="3.I(Ǔe^wAe/W\piƻ2j7M<̩CK 28wKlIft:Ѷ5 nom(qV[b;wJ+JPUS11}**Y*EftE.g.fHC ぬ矍ՙNw-b[I}4m,h 9_#dG4׿ѾeNrmb}MDޛlK8j(&jufwL%+#CfPH: )_Ѹ GJzh&.A>dV+ Рs4FeTr\) 10,Tp&+jK/܏iyꦏ( g>!l?&Mے/Zs]Y< ѵo>MOXt1W!u<Ф"uRT8>;]j1Ow@vtyuv, ,WII`K9؀/YX {DU\~A)lҭsw3; @[6'U:RrSP,Q$[Zd;)~PkSkyVG~}ؘgOM# &| [>1Yy ե\zY9އiq.f_`XjU>i{0hK7VO*DzhH]@9*cQ)i= nv>$횶`,*>`5ok ֽqEd_vmXwq 󐔩p~9]0663gynS\Q ȋAF:`js>EҠq*9|\!m2W]'F mûyYr9 2HmkT*_MXNoEO XrPg Z pb6-S(J3o Yj\/r Kbe4UIu;y9<FrS;J Tn^A $pgֶQx=@ h =P9g_x:V}44/wL A$њAh\(E)u-=PNh JLp> ֨BB\a)hɮ]vn5%sTt"|=`N|՗1}-ZđYh/ZT 8:J8s(= u0EW4mGUj;1/[j [ѮS/owCrׁm'B'Uڻ"8Im`3~^gA/4dI9GLOiB v& 1U- ˉNZuZpꐚnWU# }[M@$&#~5q0J{C1My"@w/B-!Ot Z[ޕj+CEL~Ӆr]'n;tZkUY Fg3w2#k`!T.w 3ذJʙ_ 3ZZz05GU [H 0onuLCcIHMaJ_"t\TQ)4 fEZ2_Õڄz&g_vW6`"KB«/v^CH"i>~4+ӡ3#녙Z{"{pN q.w,Z4s#R$RJ{NyTegwNh|R1v0b}kccQrf:@(Z l`+>ӽ. bxEI-k0M>D}zZߋ&W-̮,DMe*BQ/zL/.wSL"tFU3̀mgaq560S- 6hvɉ#UG<ؚ~le,.pB9K;'rڏ$5Pb} 8g;4('Yk;{j\6meI,{>U[Rn#Vry^jgא+ֲ Z|bNU;!kep&3}fF3B݋:p5U=Ǭ6-Qo*׎ly0yrh$:eaOV JAbU=jQVF>3űv%p8Z[31@1t'|5@4Ƽx4|r`^.EpE-qe=06lrZ2opa23#㾼$i A/C%DwrΚL’aIeIĜ5ɹʲ)ٞ= 0P!ƷwVnd#s H*Y)-Gi̕0 F8q1p +Dܛ\Wlsgau3͜eSU"S2ocq_G(gdtrp`aK4ó "RԞS!))>VVLI"w}0y<`эh29 O\ۈ ר>0h^!W h x>hlֈcT4)ٱgYZ541c9de671b79a02d940b58b1c5d8d9b922ea4fdd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184f 95a35065d3320598f78394528aeaed0a38a0be9f 20ddde9c178f9af1c129c1b6851dc15b9041fb71e5b559b3bbe2f51483783bf746da8db13b7e24dd