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 YYoT\| ]]Category3:threads=2elapsed=810.203cpu=1345.188gc=110.380factor=1.667zXZִF! 2%!]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo :=5ucv\"z]=^K`!^C=-ľmǒ$mjU ,̟ѩe B)mz\t̘W{f!a\ʚYQwKhtZ2qݕDcQ'QQ#C;Qt𼉜hY-gMGbѐ40mUl "W >)@.=Dvf]ċ!/Ŗ׼>^T9vC[۩a*,?yL% 50r]g~0kT~[cd=RӞV$ (ei 61lPɒm(Ba'r6;^5I]Z[Ѭm#k`ia%~#sK3 ] }Aټ/oWf&,(p'I{dH8/W֥yq<K쵠/1? [RyNF`dy3$FF=.h.ij8D0nC`v'G#@:7A7yBbâ-4rmOBdZ)4ϲ;@ga*HHg,{ꌻ_iRW 6ކ 2GPݧq*Z@Fx,tvH[lkmjlp( CHd #Uowfo9&e*T49*> Z_0J\?(]qփP̭y apҒ#/t}_"7 ˣv y?EH`ۊ}a>!!H6FS 'QMZy+1IlGV klOZ&UC7ὬPǵ=^y~7ZV)8NZ6 },R &1l+,@֊'/հκY*L`w6hbx3M,uELf8aIF#Xi>E1ϻZ@Ȗ <dZ"5bG,#T/H0 3bĉ`>T%測Ltb1b&=B KXqH?0qL3d~s `zPJ$Q">l_Q"3RƤNE8LJ"U Cޏ0D#+[֎-Ǖ@Ns+Mr%o[J݋k>а`d}Y44P~KHR@۴vzk謠x,'wT eƥ f !ͷvΩ[= <-"NP{֜yaveʕtIwSn?q([m&`"HnM wȱb XpghmK  _Vt=\z'$w-"H  50 t|S@~y/żTq4m'EI"p#:wq5],FM$ D0WT\fgUkq?y4i}kW#toN E`()`yrL$FWZ`s6]_!rw79[ƒ[Ocߦ{L3٥_vmD@Mnef2cj* =&]\_ga#_HQ1F?G3ks5)baL.,s:J-dse*Bm@@2#|75yeRڷ4\,wa1b~l嗂jl<1>Ȯu:A#xl}P n˥ai[æ!ErwW_i`&,4@퉫Ie[xݩu@N.fQ/ P~&jV[$z%ZD&xXQ.'} l,nN.ۯQӐ)]-_r0.> :IKT=ߖsi18mܹrTx-KM_6e5% A݂64$ē^kb6)š!.H(˧K]\__X2[DIrp'#q)UBU=J'U#v9.|9*4 u(v~ajsvD6'm}nU$-jz؟]H`%..C~X;+]K3q/E P+:j/(`фdfӉZEAHdK4c^+۔$g8QX6(B:a^:AϐqayDܹeaSNjyJ   Category3|D !X $_=hw+ނU~-%+&kcYY9>fx[pPfW U޵W"=xabF,ZWۿ)l!WY7O? a3F ǡ$1q,ae wUq#*C1A/&?4 "*aoZe:&5àWa<6oR9be@,v3|$jYi=uz-?w=ȤjnCҺ0=.\eo?vZO?Lv;b#L6y^!k*&g%VnlvW{ۈq)wMfFZgɗTLn!t#J=R f?R.3Tܖ* )ҰlφCfz%V=vo]sߖخ[+I0v]ɬUx(Чlvʁ ݊K':dV|ɸʗP[p6~4# }gq!^aFJ`(G$ӭ5rn(HīuU6n5. }|,'mB~S5Vw mϚ G1U|*Hל픫awn-^ Y7(IZ2\&l7I$N Y [m 7 ϝK%%h&lJ.]HSx=H{,#o zT5\V4%yyjy]BVaqdi ܇1[<00Is!@/rc%@P8XlYg#-\ m؟nӄ{PmF~Imz   -+X8hnfgE姎3á=ܳZtL*~CmIF\esM̡VB-p"5K3aXtF$Ecg:i;2}sɯ&,D^rxN%%<} f -IȺϽu,F1+ . ]Wp,!Y8nGl',:G2o鎘i?ǜy UB')R!gX[(?NzNu1;GBuAR.i>Ȣs?կ~negRsH.3Z2ۼt9F L ѯTNg@^ 3.ތoڄ^E_wQȸpilO} jKeʭoZܡ:C 8kNR\o֭l)K%f J;[+&>V2xXL}m ;n.r8 BhCJxF;vceqqB;M pj1r(zǧ,L%sqk#X 7|J\,fF ,B5Wc!+ZCiL^Aq mΈ’ODۿCM\ ԇLɁuL߶Rk7L1 J1)AtՍ=E T)n>՝#^U,&E0PġαMGtF>I6hC TH7 p_(bm6hsUfJ@*Cn535\$RJ?Han;+X/vuբg'2^I )%!.ݵ^'BIjcl W7-dczw@/*x GW*RUL2n'p!,;jT>k1N9 Stq<0@Lt 3 W7~ȼ5>-ȔmlX{ETwe %@!ޤPiJNپ@L[‖T,ZCb@6 QXq$өeɧ{`]ZIyjU.ZOwLO{ = 顭n̯'FL(Af`f2(l0 C{RF8(n- Hc9\q4%1s&Fy\&Q,rG3GR י dk {ӲY9&Nl*k:a# tv8 Oi` .(bɘTC{_ҕ$WDA҆9M~T|2\}xC6A {P^*shΨ|7Dt;9ytqݑ%Pd"NAӎkx ОA bp*&cvRe|w+ WV_<%_j[P=: >C|h6Αg{~1=C-Y,f=𥽬.VYQ \iW˞E;MlR<*ɹȅݛ[},'yD;Ę,ooYp^7[ScṛV[|Ex5o[>0$TdխP,s sݹKe@L>0% TSZ鵆F&n-kђ)Bݱl@5j`}Ke*ḏGNvS<޻i[bEteJ6Da Fgw6Q~ #PI:Ю.Yd9&eh l?$ЍqdBVbEi|*rU:dխ1) a+T_Cˍ (nxή=,M8g݄#}A qbH[f@lt紷%c)&TfYP;{[Ķ |뗥^M ZeMcȨ=j$oшq`nt+_r-[xA/jnۂw|ìLI'iz ^? ffH0ϻ/>g#Ap}+8%N_ΰr%H1!ߤȯ^/y Q B)חNdh!#d[Egov頼G6YR)~VW2V.ATrKU4z0p]}.ofʄ)}ٷRujoȽ4o .e.-$wEs Ǐsx3%ƣ* h _9aͱq6C`P:ցT*Ɂ\JgQ_MԶr=⡯Ǭ;rMNuUPDk뻾d@G/ffGEa+a'l|+SIц 0f#Gټ[; 0DXxp\$8y2 :w!|2t +G`Zt4 0B,'qeW/Mۮeڱ4oXAPZT$JstJ ACyQjksWjЃrFI&kT5+L}(#=랹1bgDSTa7jr8gIpJcWpe=Cn Cd B AK0\F?n.`n VYiV9C(~rJwBa~s`Ca\ⲃё1{f>d&ݪUv+D6PI;/yQ]m/qqR`8!:RpE)!ݱ\<z{fӜ> ]|j+zR[=M [*] sTP KISO gkб)o (eW'Hm!șJBg:G"AF\nknЏĪIC\z(,qpejJWa8ʆl1更[s>4J`VA:%0T3y068w Otuw$'e4~X"G A?ihEp 3TVIxAПw8'(K W$cԇP=C5 Y blcо[ߞQ(Ϥ%}VқAZSGIբRc5sH] b F"t4 'ܝ#܂%e6¯,*o/n̅5Kf'o4B'1Mޒ$MN#6p땞aӽ șL.uS盶FjBp$|rWt% ݯs!"WtXm D;\+,+XC:~ XnVQ]=>.^u#'ˮN V$Y&)) rVip?'U؍Ͳ]0g 1]<G5,t#C(n5fя?=ת ݀Sۭf[oЉ@:0G.nZ(CU=,Ϩ[YO :z_R7˅Gpϥ_ 5%CpoI!0O_==mrCkC"#  YBtv*.ܼnn]a V- 0E9+Vqfs%0S]uWSիoaFI^2la[͂~ hYQfHm^A} m)cEa _z5O zeǭRI]E}-}G?o8*h~]Q‰fo"hf.FC~y衳/'OqN6HL¦XR* l j <ITzԯYIp6j8Pk2}4Ⱥ%Rw4sɪ17AXtñlg'ᓷo)1V/#5[ d6X\& :"DL?2]NJVq7Tz?z+ v'-b]x)Z]I_0X}yUq'h݉, ohn '@g* ҡ]zh&V\ĕO8BzY;\ᚯ܌4>d@_Fџ{0Ze)R*I>4-otk|mRy/^.JMgYZ7zXZִF! ]ŗXiɟy>Zr= p|] {05(47ñT=SI-*ecTcmoRGh(Cd,[WJ(ɵ6 XrOY"&e׌<2rEU@/˕Fx2-Yh0 fa 3N իH6LiS>>*5: nsgE# s#YlFҥi!aC'sxDleTWm,,~, H? uA2}K y@Y4qum+֤GwA>FcEdGP@W>k6}!0Ig,./CmAHA:)|xo]Di+`..",MVLh!,bBW"5rn!g g?|1. dhZND,cifUv&7ﲨ SFOTӧ"f8V:w6:#a:E':o͜I_0Ir6,']/S˄Q4]!DӶ p8Ʌ VdcSj/R:IL)xraVOjꖠ#vSWJƻ& m$&gQ2aDHs&ZJm!1ds0:|ad\DwztAkQݒ8stcm1] ,GLA9M(wX JֶᏯ+t3͖xUxjOo+.2y}nX৐VF1aAHw/ fyOR <wȳyצH #&͍< Eȳ>::?BrOtD6yZOj1'P xq:G%|7:jtS*_ײHKrvqDHI1}'?AeMц|?Vf3 mG]QF\[(@2-P4AlFn^k`b6!R~EK(dkwc؏L1V('f '8!A4[ qʻC D䱅np2`7'zy.8{GF(gή o{7N g>Ni|Dz#0JmJR۫ҥ7f6ߏ !5K&$UCF@Y╢=!U}*v6ktgS;ٟoنٛUU \Iiz}lplUR#NJߞ_.IC~)aHBeV:.\  p˟ұYp:Q%SAr,[i$T 'U-'@ Rg_T zO\fξ|I'm+U>/VVwcаַ& 觩Q^^SDOcm<@Nymh[`ɺ"oqVuJP7 &\W Q^İ@v~<ꅄG,>vV15nX7!YLvôA|w))öQ] {sL^ 8;-zVY1Wc,El>6^uä]00NyדLG1T kV]Ƀk6; qzT@7 gx-#6ws,cW0"|!E@ AdF fC wy0 Da=y lbH}Z˥3 ƛ#xSqjWBt=|3rFUDjsZ_61"Iv1z?S.w-5HlfdNSƂz-KTkD V0 ZU#%V0sV1@4W@DDύһcaA&M% zVFf·h Yg8o(t/UNq;o῭dO/VA%Apɑ|beHcVB C܊&N\9nRQtpv.h5l%% 5V {*?fmw539MgQUxZ#3*Sܖ9.`8[֯1\[Dos_/IPRyx,*)rOK5b隱1.-YZR M!Uδ(h#ͫ/ᡂ)da>-ތV,TlMx؄X@N+V0s9 ;';ˁ6 4gz MJMKwL=u 3~&\aJj`a{t@.Q#`k|~=IB(4N9#A?=jTB_T NX4DRp}^ j/`##"<"TQ񈧊i1\KiҰ8YC iaVLzG;$@Lz-():U ŁϺF;pVb'mΚ35M4T%L e2~VNBHjo9^=C`.Y`A[S-wW;GtGإ 6a$5OZox(\aW4Q(MھV3"bJ)Zi6?yjSE@# g̶ğ/B`(ӭCD(K vȇʢ()=@h?lNXo ;fypZ+/40)dG! o?9xP4f| ʎ@n%V=6 )|JB !r0ܯ|@51659ÿPZy0}I7<.sN(NɈWAg~h06(sX@ ´{]@84;~4=h.n%Ywyp ƤgCfc1FH΅-2>:]?"TUa=bPH~6ܾV~Y5d*'A8Krĺٜט1(&~fP|7] Vҗ}_GƼAg=ɫ͡j\ INH9C` 0w&sOGvTSc ؁ enjd%;zWE}PTLͪ%%DLPq5 [J/\/`4J9@M͠04ȢU:9YKx DR .rFBC2+Ʀ9.=Xu BiKMS ͻXD-(iH3- ߑ} L<5 SvY._{:%&,Fti7LcjZ^LIxP.U^}> H}s  C'˪|x->^ g A`}fX uvie=vFW Սb۪,K6"fo1Ꝟ(&?Du4?+m b__aGoLaplFPa$1b0|Fa뽔=76mH,hr³Owa"a}`y_D.Ɠ"'ELLyu0xWL* Xb3GAj@/ъ{jQW/^xYWt4UM Y k"V!Q0vEՌIe֟8P~Yp.q,%d@dKjӭՉwW DKJan;Ƃ̓YHFk5kOSh 0snPۃfo 7S L() QvB,'Ntp~믍no!Q?y8 ~ɹhoqsnľ+?_)^=郹Ј"0L Q?(_Ul`$hU,%ȡ$A|!#$&JVvt79-/"0YAY8VG&.}HUU{4c vM:pc1S`yܥT`{a9^1q;,lPu`4ަN]xvm)Zq UT {YDKRxCW\E} ߢB<ӃFpnnȻj|Ј$6JQTI lU# 'άc9gRzGutt-#ۧAV 74h`e8'ٌ cg!,9Vk/E w\hD3+qWo aX3z\ 8ve~no=jr"z7H;$y-FB~x<1X& ji 9 [|ʱǾ8"L%ˍ+,@31܈C;5DSqqB2.K)q.{FSR>_NP~ Ma?¼+R?t~Sq}@oqNM IY1?Xm 2sQeZh7fAUBn%-7XKr,u剕Ttݟ2An  F'`Qn:z2~OCxj96wS⮠U9!ʿ-XTM)8Ȩi%S*Uݹ]yLIjPu4=| 'ۍׅ(x+KiAedth:l Ugݑ]|Nܫ\;[F&.aH)ԣdR[K8jEi(f~bv<Xc~Ry|PD gSb؄4ލۏbZd#S{,/I9WG9a#]g ![ #CdvyОxks}]vXr\{ic /UNp;s! ȃV0mUpXCiQ#yXQ@PW%ozc};amG@IsD3Ma' ڬBTq&-ȷ5r_W^RFт|GqRyu  G*џo!m#[3mpHPP3ZoԦ%\7waZ Bo!沩IFM6v 9#PF]}N$ӭb`DžZ՗3gMnFeρ)ڧn ='>u.NɳQ< Z>*6p]ʗ-?ٞoNqrcc῅ <acF@sO'\{G!5܈%άZSw4Yti BEo^X5̅EA*Ai۸bLc:x -:k'WL Iqī1hHx< jUP1J,TWsee( np[L>tqYbz`y83^ pj/YdNjV։}ւ[j4Q2r`hlJl eŸiK||/\z#|ptA?TcNh2޻EcNػi*Hz[ VPE6Q ,/웪W)CXLCP-z!~ֻaIA7.B(9~hae Yy&%pWv6I2N¬v^h~+;u1/PI˕! ;R$3lHrj*Y+˺g?ұiU,aj%gI怾SiB ]: &^}ی{.4\`"k%/ vw%84>[AB +G~ `gWc=IJ=/+}ik 7#M0D9TC w1dD*g1SwJ0F$uD;bpgZf)S Ժ;4KB7~BBɕ0SLop1FNcCkV-]2nF9 p%}9VVDNXRMǫ<&/ܒ%W;=EJ\rs]}EQN+ IEM\z %'h@P3=BX\`{C^k3o 画!EIv˚gHܘu-s@jր8E|Q`Eԥ@ʩqL= Z˸J&=7; w)[rYL(N⏾vD*Fx/慕/VOk g@&{KB2kzte'|<:q'%%`?۷Ě1]u^ںvW'@n%.j5{bk$ͼ'=#X#w RN1ȄBxXvfO[XZpʝ͐p,SYQ0hU_jsx"a}|zCB`VZZ)7%J˅6W@l*mx+Gʎ,[uMa4^tk,e r[A jDXg$ΒEHA6QTHo3K:_6 ŪCAE awYgEH+ma+yVCi`Ѡgs1IPKﻃ,{$ey b_uuU+u0o? wo}yagmliE.m#F-U*෬ &,ֺj`-?>xRtQ޽܋MgF@$5tEX2j +,X;7 3F-G(˘7ߑ!|V*޹PIrҢ?+كy 1>Vf3DpÏ~s.$ꬱfw{=_qZW"M7?ԏDdwR?YM8a&W[c 7{ vRޞg6D0e'G)] 5; ,"CkaɴUe]lݓHa2%HIS6\OCd gNmđoU-wʤ!Hr sa8CQ0DIb> 0l愡 p`>OȐsv1آ_L @:-!\/Mh(QެVhѥZЂm؞gk;qnc q"\/0Q|o.=  PUƀII .]f h%E+zKocv(Н+sDջU#(@f2.P`)+I6qlJ5@|b)lzl-:wڇ|9g6's LbPNN368;h a85U[A/P^d#fK }G{y˽ O%g0q/`8=q;̗\y6|MOr8))Vf\i(ėOg r`0}-b,"a8Z-hQH.ܗ,A:%iub8|;mVHz0n3Pie.aeRjq9i>3w<) ѯ{fo=lY!k*$' px0W$+"v*| ' yxxꜰ'WH&npjxQ+2"4~ U,% pyV ;^XAN͎l/&V rd {X5Cد{5<;r 9y\B\G u S} c%#6N+^[1uo!5_O 'V‡WvX"TchOe+~Ex4Y?ތƒtd2OWw.wNOph.;W;@`/ QԞS-h19A(U< :r׉sW&Cۛ0ty lR<TMr9P]9&hǧP}<nGQZs4X礱 Z.*1bf^I-)Y)];o&~YXYFf%K )7 M]h!6ܻj8zaěk?8k6(<1PΰƧ:E _I~|zAg/Eo yrV[7صSjz5AMExMtϓޣ⪑j?d8cvFB W 莀+y<+`Bl:}1^8zh1.*(I|W3 BP6IFmUXN7<8WV@'F'c=3sXEfT3D&˺"N,2\%HM']'jImӰU ;  ;֎B2[Q2 >EDKz 3G"EzvkYڷ4Fj @OJ`1|){'R] I+Т~ct.J|F){7/JsIKTϲc{Xx|: 2`LX`}/嵱іۦp%+1H υ`DtTӲqQ8TC&ȡcEh!Լ\Dl1 COkhވ+,?:Qqr{#Je.i/M&FF <:a)Qd+7c;Y)Dm|!&Ul`Na,Hֳދ}CIG*AWcrrߺa7|w)BZK]Uum h-yfXwQ)Az$c PѿwxӁ O>@;D 냳7 {}K O/-Pױtt[Շ5効;:=%ݖղE?G͠w5:LH!,>Cbf8/ @@/%Z'-^Zx?tY[FVNٝۂqrW1]օ|X*/* oԧZ#bD(IT<7'gx%k1q9Ihtʏ?xprذjMMLaF6x&uSfvʖ d/}9*E+**H4vʳ"^)@%By35 S,8ѴiύS5LVʰa&⒈6EiXCiQ ;*Q2h/*bpK<(I*ʊ(]3PKה/ ;qBp œ_?W @zP@)Py> NqR4<`oMQGsۤl|GJ`mF)י{&jPA37cćFŸ7Ry_ݽ&5RDZ5cc}p BF_RmU: O3F  I+Rt|%K-IfrL(sO2` @ѻ2E5z>9L+GaW/㄀ VQ$vcAvT+zD?.ku<6Zg5ZYbzj V[EBAy1_t> ϢQKw-Ga'Oq?3A[Pq}ﺀk\E0TM5S]k_ѵRj٢Ǚ&moy,Oid};؍]|FM-NyYqx(u`¸a#%Ak2tinm c/`^C 8 I+;܃s$UQ9ҶT4dcM][5lAڿ?Gn2}kV .| sh[49!61wo)ͷ )*1YSDML! s]䤞0ׂG 4wgqUPeZfCcY>̥LE*2h%=fkꣁюLcVۜZgUrW?tHg3rjߌzn.efe׍XN%Ey1[hj 7nv[!_9C)ѭC# 3>Mn~A|p}#i Z_ N9a.2pX$E:5h72nZ& M Zzާ0mQXm Ҥ)5 o/-g^"D:i%@?[XCӜlJtgO0#%=|})*aM*׎ɇ|?./t 1!6Xi>$:d sCPWԢ:@Y#B?ٓEt0kO-FMrYPTuZjNz)D_~-PsvhKs`Kq 1DɮQt=gj :CiASMLfX#c ˾Zi'U*;ݫ*W<%Lo=ROxfh "Ac4G5\Xnr9:m KX6|tE9wYB'dU:˪Q.]8 h?Dl4osB ;x Ǥx䰒tUx82·l Q>~ ҸH8jBf9gtJzkSx7L42bc'җ^. c{]')K  c@t,`LwLgR_3v?s֒*kϫn$XX믵.̻v7 2~T@\PC >0yoeΐ [f ovWhqoĨx\/sn6-܎sըB[R ҮSeԃJȵ>r!}! ވd-k6 5&qu=gMZ Hne(q֟B͟B62mT4FңAoǽ ݔBx7*cC1N߾9v4dNOr[H³NB\ ×xRZ@Y(6^(?qEF{@<9VIsP"$\Pu  ;Cq0D{:`e!@oЄX8Mɦ]y KuN"\xEBM1C6B9^Y@C;mzBg&CytT2F1_((iN0^rX}UO|¬@ >c{ e[7T3́lE"x~,MnaZ,o qbjZn`=ɢYĪZZdcLr=J VvH~Q;$P[kERpQ@MC-Zc$}V 0=:iޕF-`'da&<ݱ%fKcZBU2`-%̅Uy F]|?e]sn=J}r ʄ\~bWem,ܼej5¾eMT:" !rAb]F`*Hu vRWW6 Q\+<ċ'LF S-!H1r^ +tzG 6!:@A<~=w͛%n\K{FWd7E`WCb)"8XWZJ"%> l"D' p R5/ٽ%!=tt+#sZ} UB:r8 h~\bin/wN @!#xGQ[mw}r՟M%%2<<+d5ig&I#_HvIDh,D#B 3VAmu/A}}& F]i&0ocKE#̯H)ʖc9b)HTpqWg{$EBB Op1,KdϊLwN[~@/k1u'NB&ɱ@Đ;1od`W5#Ӏ/V\(C}cQj)uɵw$ \BOupU\I[PeRx,1~g[ _{( 3C8_4"yNm6Qdnڍ8<*"Y`|A2ԋC2Ԉme?hKDcU B({k %`FGל t+J!CW, qKHn7TMnWIQ c./)_ӑw"ܬ `VF`($O0z҈V"D!C 5[Y6q3Hdނ" ovs& Mˡ$X,&H(e3.) 'Z@irzH3p 礪qR#[rhy$ۢwʚ3M"ؤ9tC ozl \U/@aO8j'( k&ub4$^7ꛤǻ"rByWsdj)<|<;rinf9pO_&9f}n&_Ƨ́6hȗ)ѻ=l(v wK2-s`@ 轌^*(!ϒs8w7]j2`N:R%YIs =xnmaSþߝ[‹RqvsoE.tދ%)S@x3;UUQḋ[RPOY/:r<<ULLhՐT IT6*k:?z ꉏ>6*t)+>yЌ'( -JrQub_Jg몱٭$9ƛYm^ܗ@FY@h>t7_u: @fG6\Ե: 1!") #+(,pnjH]QR6_&en1}ËI/xo6Q . c'{̔l%Y/Xu%( 2^DJT (FUٺ(T$vq!6v^F=/ØpWA9փ'5=&CN(D]wH;A7o*v&XUq#sKHL'T%jPpΉJ;9-*{iN,9H0} $Qn$.| Lq : @äwM]3 XdU:>f -ƱVQA~ƚ*G *]PB Ijg"yb0ܳ[9: 7o@Uѿ3gKv|4X@5LDsG cl>k1a=|s$;+ tJvBt s190>+ ՚<"Zgz N%*ץ璊rP::vaPlxT@+JJi.;R+Xj3]<Ρ1c;r'w\1b+TYJ n_^3iH[7"0 1_!Q(>uaG:{ɠ"J suRd hq\ ӻyS>@TޓD 8ݯp\^w[B$j6&u[d5Pk1Pfht%  zEH(Wyنo b~<}WLWWׇA:s@.iJ}!܌.s4UflqR݋ 4#h؝1?#+ &u:%; /wbdh]*Y`q9Vg(&H"P²/[LquaxV=>8޿Y0]j'1b?< Ya0\^QH]{߼@M*D@l:>?{4MTp8kK[p2Z y[1ŜX D 1t jD ^|:,#>t$Z;TڒO]aO}"ӆG{4w?uKAY'*źҹ4L~]w 93.343]c^ka+Lq\mU=X vw$CNhai^H3Ry/U#ȼ$^k_c.eBd;Ld[n~;եOcg:#9 Y &(A>[g)F6(%ΰ*:"JCs@ y#?}ڞN?;sm)Voۧ8KJmV ]6ٖ|L[|TfU1NGåX`yKr𳤇ؑ+]\O!&N+ado莼| R 2NV;oXNWaW|—hhVN0pE=zLV+JyB$,` hF󑊔 ̮ڭ`7--2+(@J$0V.ף8FvLiu- AUz˟ӣē: Yޕ i "\e5-W$LHٶi^8 DNijS"ƙmRAOunwnaɌAщ|eyLZ:.{nޕ5ȰZӺCGNL3O)G,z |,F0@rOrтe8r'pxZ\D\i1DxR|*JbNZ3>nr}H$SnAoRf#Hn꘧K!~u:.9WEx*QeKTW=-piP9Y}ha"8dC X$Q棉MA"F up!HL:5furi>E9r+6>)ˈ),V5%wHW \l4]"_yDCkBY3N:um>v8K]!HLơ1ޖSLc(ICjo|Egҋ6qH6:jڇ>CA/'%2B-g/l%!ZF] 7T+_@f! s RFc2{5lSG,RA_|rRd 'iR˸_uh~V ɒo=حϯRuow%ϧa6̬HS.I?fဍ$< Ĵ]99݂ L[Qu=[ID+y߾6`=ڔA,#x #7 Qb~G uF0U"UF30ETmW$㻽XLP2ʟ$LՎ D[Oϯ|,BJJml~Q˦dkc㵠ȕ#GX'i2&gp pOf& _V $S&;~#"'»u쓗iĮ֜i !VQUjď4降K{t*.l2ݳ</(9Q:awanŽUyl~b)R 7y]u*8)lD'If+—<8C6JMG,Wv+V 5j=@Q՗m!$Q4+3KJ۸syUi- ˖Кu\ߦՅ́K+8 cr{?k?f)qDyz}{~ʡC:0tsN0f:Y2!ܱ2HYQC_+Zgf(i`R,G:#kT,Z3mli{/xT Jux'p#q 9Wo( rF&m+h9/ 0簸ˇkxMY!'-&>TyY׺L$3ֹy) L2s}:]A&Uyu6~z}K@p!ў<3 ,`'w7VאYDj" 8Tw ET"a~G HXGgot2"%` <)b} _@2T.Ao~nayo ,|kzS ~*_|h)SXݚ? Yn$˪1H1{zb4qx)/4B/=>YI ?ƞ’UwiQ*&9Zݻ-0JjߧAHuKľpt2څ9[ihy]?](q"F}aX"΃ hPƹUMŸE̡2#5se|eE]s*ͥ#BPl ֡GZ`%',F] րhh;~↿`шfCM i7W 8_,?jrsBLJ5f)oPwlTRb`-fMV>Ǽ^w_ȝn0{^ 6?ϋ?ֽ>^,>[—&psR,7gy"&f+YFMF5P,3lJ+8Uj M≧-qdJ iḁ~I|u//:mM@3ehIH>ChejBي݋.~j&U S4W=7T̋3~ "-5EDFir>?!$_AoVS#kU"4Bn'wU9Yhf&fT7򾑥BA2K+.@olmMٖps$etxP!E̥o5CV@g=u^z J~Vj!$'i14ͽ5?bDozygZce&Xb!2\0*s_TKwPfGJm"/lA,i/ZOW6A?إAL~^;x=L"wT+?F maK'”=_;8b{(m\2Wľ9&qkjɕ݉uaPS!GkP^v\KfW=HlƏ1@TTh!9ZEb&Doe*3S7h5NN7Zq9:rխjW/N?Cnkuwkw1m.HW;'X]Ƴn B{tg*?k`f_7_-(|r$#\?'M5ԣ8)d_i)_@[zӍ'ŧljč9~'*K﷾,mxy7L4[~ yY'JAw\xڡZR`*1U-ĐyI k${ nxB:58m;\  ?ڊ U2p_>,( h_mZ}S-Ɵ"N5L[My%STi$ U&.`'l!NH(Qy'ex #I5dekd˨h8M;Y9}0-Bd0dX]Q Q~ :~ 9jd] f*`spVEbs1IRcPn[F;?.l)r~ >NºL#܆$2[.Ȕk@Y>=<\ =aSbpQfUX'Ft"б(ܑ7Z<.v 1-o{}=+y9qsU.1Ff[b%4PDX4#R,49`|;z.?b&&< I" ǥ5hja)Cޥ #h׷O̎ki89 <ֆ8&l2zp NImuSE^]. cuL,06#taGKF3*Fky?y q$s&ơ9raqZ8Aώ *5\_Fb! OPE_J2pwBJRKC(!Dsg޹7p,ܵ`t*g}/.g_7Al7(2a3Wo&7J"Qrs/dȟ5*=`wDNMށݩk3@v][-ZjI ٢C/)5iı=,d8S.Zz|uoKoW=Y*њCB'Ԟa$T9dUժѿ!glWavhfCG$Yq^h >{@ڢqQAq!_@4 #5qG /%'&=]$e֯}F'J1+Mo|sI+`.% >M_0(_h&Xv[UbZVv!iQy8$uQzYo(cN$8ҹx^~AooJPk,z, @2b9HE2..Zˬj}U˛FŻ* ̉czGtrN}J FQ,F+ 4lw{g[TthogiVۏAw KHŭGS , vA |欺Wq[k'z+sy$GxƼuvHo>Pa[/JpO=WqeC'+q;1x۶~"GE8ldL9 ސ``R':Ys+c4 JQ'3194- OAq !H,,I?,".c wV 7&u0U9Ҍ(WcZDYSLUfg7 p|q`vާ~i=+޶'?۱lIJʁQ$ ʛn4-S1!6Ni)b[< )_OZG&roݓؒg|Ȫ5B0 ݁#?ꥴ-<6xkeHu/@LV8d ).7±1vHf@I >9m첚h`4>۝:MT3㽲+*V4n-[;@ =NdBJj 5BGwƽ-~+|5 \8 ,PFV7&m%L9[]S -{۫WlN(>6LithbYj%R+]yOרv4DS ~캐/<ݐ_r H8Q\V F嘥l[ {yQ'H$zTڗ-Jc@.umQ b ܫB6RWuXaeS"^ĉ>$yez-OAIۻiu\0( n8sq -<3^ƳgJ`3eJ/vm?93 p.# ꘸R>-:xgT.+Taۺ '5{'nE44>ï 2g~gɷ$əv}D]L^KS1Gqe4^__6)_X9FRȘ Fjz@ ŧu+LiYSr*FBlq;4Ǡ(i1ԗz\^oVl):$1uؑ 0D}z̝0<"h"c,-kyI +Yw3hdNN ; B\i&ȧ2T0jɿSࠫ@gzx>- [N&u<~Vd@ &8hZ+HrL与T a\) ѱ)Sݩ>_F2^h3|_dN߃c2T%0pNO-vs.)0om`MsdECvx!y)p ~ލ=u1p6:/[5g;r!{c>H(kutW_.կ= tCT#$΁%pV_k\beY} ?Y5$Up>0qE`4cql]3,xS2,ΘcodiםB9Dt]2,5BYEij 1RH9:/)zC.j ̄|vl~*&،A:K᷶k[e|͢#fvƄ&xI~BhM}EC PED|wf%p>7]Ӆ8_; ws`8-[ʤ\^e{2kٱ0' ge }VyNPaݳ~xؼyz~ ߥ]A)]xiY-wR1饅xm=u2G{+ uD#^ n|RshN6YhJZAL`P0e!9ZwaxDʬh9 ~_|4'}h iLε?gDGkbjDSPY'BY=g (5or:\700w09$gz{͗ WeSKw`|H":Tk Z߃xy.a ϯ޸q[fH Bڼ@W !$0NC(Tr5x#t^_24LnڦO7Iů,A#S1Xco :FC^ XBj=`dW:uu㜜}QQO"i,*hʴ}˅=3vc><6-1ˢ-v S_upTfˮXg>ǭ+g@yM;;0N?8sAw ^ m{Ʉ󑠴EۜZ{ML]|i\`Wu֕ic>Is u RצJj[h󓳗 pT7_<wVu_N[VYtŋ.+KdLXL~H7!ڌI?_䖦TPwzhD3by1{\n-\*cdQ9L/@ӯGCUaW,$*p%q{ޠڸQJ(i|AVٴ"].*|Q$$WBOjldʌ{Oh񲥼+t 0KDLr`>ǵ x0-/8aSCj)ϽKSWJr5(0ލF'U@UgU\ 8<^1b`!,pZW}I"' (w^v :j+ZgDI̶3R$&Cx| ?Q-F$ &8]sb4Ҷ"Q`.R ҪkHl6SI։MJHJTn.? :?CƼ7m1*swLSRsUB`8R7CDַ? يOWf 6m~Wa/5Qc3e4=D$ZV=䦬V4MrCNsfCd j\V#p=x1>7aT8KF =κE8Oxyrhmh^}VllYF* ܿ>EP JMoT{Q`|? qژdWV.7t; ـl8O4֎/g(cs3wX}#&rHՙ׊~Rh`T:*ۘuɯ_u l}FfX}%xQF/ _)ҹ[2EIklqC0A: E)oO?وX1_HؚtOh\ ^:أʆZq磸_K8N^jxUaKʍc"dϱPoi8=W6}Cb:_'L䓚j%ӹq!GW@ F+Csw](20)Iր<͉ :2za^$fK5tȲ-^WC1Ӎmq9Mi-@X$|d ʙoSYx oIN$zGBO(ܢ6ָ5,yAuͩz&ikVDf DKͨ8S4,\e8ɩahqfdWd`QS A7җڥ{3 :犤ם4+ZÁ g2QTvaH ~J{[eN%fU1sxt3ݻ1i}Xy_ / =#Qi출|Ĝ@HЈlon:!~@c袏-?fb0 ':mxSOvi' :Y֕ "8%9`?ZmO}r 88'Mqؽ\OUG[W6j8mP|+?6BW#CRnzmd"s Ȼͼ$-9#͆9B֬| 2vXsYK(TRryABNz8;p|*ھdgevd5|ufB!ZҩX.=x}lE.Ԡd3ɡyt_ΤyMs?Ō|h~I2vU]S 5[pcV}SS%%_ jB`2S[9Z z>Q85K)Ss̢;C*ϧǑ49Bٺ!>{~l=z;Qtȑj!QU|L#*F!I6 BFRG`:ӴʰhtX't6 +d+q녓C%G&l*ADžŤnHRY$f |Q4Uy({:&uvCW}:?鉴nG_-M^e]i5_x,A>s$ zS/钺CuHՅ3@6LzOcR+=\$kv9='GkIaQꄻ: ΔDPWȦH4|&qQK%2]G#k .B*`sˬݺf1 /iU,ò8)v 쏌eY0VU]ϣ^vŞ! P_e /pPI{ޙdWFCEKG#AJH5(>x5q5C1g(|^U4tA1K-\Dʼn`rvm>I_s{)4h?\f&iD-3Kĸ'?_)JYInIJECc$.Yx-DV0mʳvSP^0hNMpt}EO sa&g'Ѳw,ڤ@<.֥pM UykV^Xh~{!JAZ5 rgSNh'OɦV ZlC~අR<)}ףsUl+pҜ0:eShNM|vWJwRkb6KvUꩩ#]|Z4" ZB)Ff~BwFU=vR ƪ:L3(ZxPZJuPE-! \SߑBJĔ= Q͞ \&9V1{8b)`Vihj3ƠjVЕ3,|_1VXzelc"0X1mSJ*XMؑ|nsi 8 Li$%-%YoRp];FCw2=mxv|[vsZ }PJ;oFȍ"sqKb1Ka 1sT<]pNS?:J[[? Ԑ$ʶkVWS3U2/m,;`e h|ڥ08Ǒ <\2F)/g=8  8! "‹FUq40!_A+}Z6ezuwF?"MZq>+N>-4CM>nB),ez uI9QEOlE2͛02iCO,2i3v3jcoI S^769$LGO-O7ľa_&XMՃ +}zϖC? ߿teh7*U+ +"ɭ-rX}$@'; |sSa~獛:r`A CjǩHkcf0ڪq=,/6?]y$,pHg# O LKzzC7i%$$ ٖIiW?FT$8Ei_Р%%B*r0ѪLUS0f߄ad2h[$'J,8* Da8aG\.t9*dv r3 ϛʄ%dž5[0*,V@ tQI a 0C{WҞ4ǑJ:/.L Vo[F("eW_[8ۛ#$qN#KS_w=)[J\92xeGIM (1&Zb^k)kj)p]-$jQ}s1$37+/X3F[ctT.hII/ o,+W.c6Җǹ_z]'/} '7DuǦJHOW$JwM3(YRBE]u0djXK\jvpD8@{E\qWQ=FI_L}蕨 _We{vSĮϹRAℯݡ ^߭lBz{I kazvܥD0*BL*;E!z̽ăwRVP p!|QCaؼ48P'Ͻ 쳠Fxqp!m.r4#R:53~@βajٌ.W|e宮5|Tijj p͇-PRc4*C-ћkXzk T۾d]Ʃh2?Gڠmn|ejKfʿAn*ڲ &[g=+г@Q?bvxܳzP{f&_a|¼II5W>39Up9ߴSHN`3\xʪf1'o$}e,5 )Ua[^Ӥ}NJd\B\|]_wI kh9i*]r.IO7;M$X&lC`PZJG(?]'D{I{W܌nfڧ"MZ$͗Y_֨5$(z,'anEg2(UNx:>ȲothM`mR]Κʕp_ٖ)U[($E@(."D iy+i3%w\be;'q{6iҤw <96\/0ˋ 1w-iuZiqU^} :kZf]:9κ-\ Z4r#p? T+K-]i;b͝NyNx )?KG՝4 t t!!'7ɽ\P!ǿrn!;J1>Q3(Q{h:{J3 l i_ -VΦa{;lEzpnL2ݰ79ؒ%dgYZa36105a6f9cc264bbfda9586e6df91bb0cbc603a79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f0472b2dee53e9d7a205377e7f99f6f03039b0fbaf8