SQLite format 3@ .0:  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 s!Dl< ]I]CAVA_Setup:threads=4elapsed=542.549cpu=1899.972gc=74.664factor=3.507zXZִF! ^K7[]ŗXf1-q恈͐7ӺV PV[S‹Z]qتjJ e4"V!þѿVٶ$I>f#oE?P>W̼G"X +!kW6}q0dAhohJt!v X`г=ymٰ!Eq~bY.>?\Vv̶܆-4gS-LSG66SR[zJ1 .f5~'r;q4_N=sn`0@I#J x3\g"ZmN̡_hn-?e$hGK&P]}SoX8[ wW"_AH6iX̜8e6.B 솬"2P]dmxz@WMZfy yXR9kf:^ P2uB*_J0_hΘ~,&Z H1 X랚 i3Cl)F(S8wn_'\(a,vрGK-?{oE!q b/&M(@R2AJp$U), n xKF %Hv?7cX{1Ɇ"31w]N$\=?:4d'p&8`#&lEwc]T 톷믒*Zbq+J8$/a.Y] ViS_\N~_~pOtRG ջEX_R$z'`I_=p-ʗ KI~4[ O IYFL移g"bRGI XSly9A!E(S%_Ws&-춅IO.)^ c#~9P;g`OgAḘ(XNPA2 Wg-1gywƒ^!}˴۫DkwO iͪ1Xwty96x fOǡsfPGԩUZ 56'"S51ܳqPraly 7|CݽQ7>{&]& F\(";HnlaIۗqIh5Mpd$oqE{gh^hEq7R:f}98T4.'}>R_%bɯXVχ*oEk.[%ثy/{|K}l -ektDFaJۄ_L,g}@=V|}sJgvEs}`ďP;D_ }Di?ibg͒ r`e=7[cUjCp^Ajs-J;ܪԻtK0Hijs.y@DdM<@PsOź[ۼyӃ"|Bp!hgЭ@Lhp)74--X=MyH*j /tơ=&}L5p3*`t5]NH|-O+hy\j `6 %vTV:t 2 ?P+ϥc,q@|-;(5im hX*j/*>><<~Sb!TYX5Vz ?'0:]ٸ a6_}'CD\g1@tX@|a6og9ZSo2EVX>mmkA$1{fJq$S1; u}b!CJMϚ~LC׍)~y:u|}M&!, VXmHtդϏ`   ! CAVA_Setup  }&i!1JPH(iޛbqA?c$VhT(<.WJ{ qT I9@#tvk3G1ab7m9V%>TA="(q>^ie[_[H 3 rgHXuMWB AqYPe*NϙO ÐWq rislRslI v"gGp-ap0mm>Kd&QŪ ,}h$ԁb:oMmBW$>”L m\EU7nmwcz$/ 8Fa!Z4$"SA 0U~~q%hu5F3yzߞ\n'nߋbM)Ry0!dh`BLk& e z.H@4Mopk@wZ"A~Xիu^fSJM#UZW(!Tf$}ACYLnQˊ DD3 /d:I5'ߞ6q3&p~+AI޿+a{äg#g"79͊50:&V!jw{06qfw Oɐ7at^9k&pA1A)MmV,RyHPtpqN,DN𪅷(7,p?"n\jg63ST)Inl+rf" 3O&F⓻i(>>Gw8 (=xأ?/i&(D]=}p$ROPG:( ܪt0 ܭNC_7CH8/@_\ 8i_yomh".Ll4؀ݸ2h%Cd Kg#gêFL4Z@cIiIEǃ[UEjN\/a} Mx!dRVq>I=ǘN^w# VP172=YqtZ7MϟXrf4\t6 h;Pݚe iAbu6>v Xa΃?3kzG?:kuY~WHV !fޏQ?]o <({sٯ.owk>4{#A:`{=ko/|OMi& oamʏwmZm[[fc֭-BgfƎ|,P;Tt@XWy Y{kFR1'5'؇>qooBC c08:o'ZkZ[^Pfr%bt{=_ 4kce1:,-9H6UrO&p "reOHkȘn4>n+O$}qLrQ&*vҕ~T\̏L`?\x.v:5󯓲<7&I4S YNovijd]~:! IM4'۹i-cF\Ҥ{IO~dYZ(цYK^ZE% Ya1eCsStPDvZj_PeZ,v9.%B*#ߣ"SZ+;%fH#ލo."m#j@{{衊<]Fbݾmur's?&厴>[Ib}`2|`s\*TC[x3[\Hg̱C 3n6waEnL %'qj;=t%"QbQBU( l|4ߘRk~tg ׷d,*S|Y ~{Tx1l]_cF/m*m3/Rl!^dwyPƝꅮ& ZU5;kTmCuXZ b׉"u6 MDSygvyvP2gWA&,6ˉ__-"Qx*u\n~Cֺćʝ6)z [V{~pI?ŮLC{("}a:g<ɋ":g81#tZx-#y` 8Wۙdղͩ%w $|Ot|~aM'O[i<}u!JGbB Oh5 VF{-ZW-)G~ۺ`lW ʷNW/ÍҬ;=U=|v<6ɡ\j BٳbF_/(\"VJB*e.$jVsU_n<} i ySۂ._TB㒎Qr`N+Ȓat8C-*-+W ֝ɛ9Tj3F٭Xbz{UA@L.3_XtҥH:D.\]gofAeڡo HZOCjw7R Ab^XxF81gwĜ &1"m"o jWW)WtQLzPL1ob8b"2^rM$W IC`$r$0]1z씱:C]4k:9FiMqoK'*uqaX@c_?v3.`VqEJM(Pet;OiV|7S`ykTybvЀjQ)/O,d1nB|Hx[C%; ‡u2[:YYCN}A;xˊ^ߺhM._5:CrxH`.:ϐiǪ4`58$8P@fX,TWk ?A|8-5;ύ3}Rt 'տ!'LGqL/y5؃en.9t+ي=ISQ H}#Hb;Y65ƪ Qf2 kv vK{DJ.0l>SM+b+Ip~ң֦ שվ"j5|;--~^U.HqiB-8L+_>hFM%`ԩ7Yrsfkc YS Co5.F^\'NvaA-D8%Ƚ Yc~P~bhFq̶tRǕ=Vg-ck%Ě}ZtMM"]b) g~wH4>B[ ?KMbm^訡@FֈaGEhU~h0W.Gm;mY n* :gE@#5ddUA>!Ӯ548 hm@D 2ܢH|yD1+^t*iHs &ǙtTH67gAjC2~fT|H@@H&WU~ {' ;r̎Pq;hŭ/Uyg*/`"[ϊt90fxuND;C!*eVʐ^*{"c#* x*,XI^ yRU.i舶5L\nB.e\{uP51ȿ%l`"q•Kpف6J3ipeWphO1̞}5/U)/J4OµwS mv!}#0T\$H1ZJiznPut[F/uG z;"W9֠ %}op' 5,$kHP]gaUsxje olt1 3֒Te] |G/3ޗ!7N#CK_zt(M*@gc8p8a]D:^w=*H6pL?ֺd|(F- 5|dۦ+gL rC3tIL5*!s7]b[pIKI{b|%L?%&!$gڋwCr$\ b;cA1x_TE'#Cqc@H} 4K'yII&PX7 OJuCkLhF `!d!{#2,T Mv7bDoD~k]Tџ=_f+#sx3s\߿>0"c!85lNEֶu3~ `ȇ vD "U?V)@^O=6晕 Y;ԲU1I~<%c7GFvMeL+3ǶW=s,UlkQ= YcL!uȭ5(cH]?J86RMh!oÞn{ O.dG 3`jVM jV=p5ZtxcaTQ K9?PA[vsOu VF;t\Iy>S;+~KXŸ U-pGϨpb&plUoA2a~!>BVehJA#wlYk7& `A ;ŊftRNb<}NUV!Pum,\zϬ\D*>p;8f)Q")<|,gX/Fx9k=(͜y 3cV,#t%atT/APy*=BEp)J s ˫l8@wj@2G_ Do9*|]`5D6;OFO$px\V}*Z!F3{w8"$o"XZMA"|k `? 0B$n/AHl6f8 ']'w*O7k9zdQ) ڦ^ cvlPA [u2H+e[w%33+ytR>]֙>{ɫ,FxE^& .N`fGbE&ꭡo(" hhԵĶ}Ԏ*.~z,LkXkًs$qHo۔VThOBH7W,*pIv/-3/Bz{E=?MC /9He؜ϭڜj҈Zᔿ |y8i•i}浊'(9gjՀWG7a^{lXhPxyiĹpk:|&=R9h5paol{5_c]3 Yqڅ,2,Ǥ]'+4&itĂx cד;ն_yY dn*JZxa " O9 zus(E4w\9_{AOf1\9m\\ 'b`D%s{Znx1| ":㼄 QѰ,0僡qdVQ~bNր=(N2aҪJB<~}Nnd%]$m} 9Zut Qq Sl/,XHhIˀF4߭?JC߼4HL%2^e'ޯpbRU:U:)9 B8' O\3SiNN{gABx4ǝ;9?#K8O#aPvHlW2sCi P ӓQ2 BOs>:'G'p]/U@3c77d,F:V 3e;gFOɏh$odCZȩ7\Ps~$@דW“m RcyAp>uQMdk|DߏܢJMLB9'ȍd;G K&SџzHžU] ,yy$,dmA~@s*Z/$!ŷ >2t`P/`~|~qyu ܫ 6`e[:1DS&{'nاB3sMpJ@n6׿i$`=Wˎm'RN/+G :N_ԻpQ~!X0[[MS.RѥPkoɛߤNF@OP栨VǙ@1'ˉUœ88ƃ]D3F85k!*'0~җ ƸLAjJ@ d{qʴMoFcc銳[LC"R74J01qbЊge;(AxN{5@X.kx9Ij >5f^Bv}=K?I- /5*=kf2Ht[vqYsKt 'h:Y,N2&C^5 ٽ~6gYáDc)~܏'<QeK8j5O8 ld,/ĵ޻pi'0 7\ı#j5hx3(RG:p'(كXwf!\s2Xu6DSXnI}3W c!,?cZ~@L#E6#!_Zf^ߺӡh'" x.+'~?Mi:Klؼi88m+O`1. Mo{ ;8wx3ty|.!$z͵֜fcsUYWgN$sgҍ͹OwXjd: u?NPeO?RZ4@#L bsZjW {,6y m铛뱢+kwUa2;ۻW?!ML1)0d9InX[AYF3s?+xzL0j?ƶy4?F(Kǿ",n1= Ps9pW3Kj(MJc)Z۞KUJpLPagSb{VJ- 9-4z(0^ATq~j:jEqw+KR fCW8 oeC7Y|QnlOYw]*.ڽd* 8w91a*nV5a 4VQhxƝ~=V즿Ն,wϬrlM; omrN 0]CgYZ7zXZִF! ̀]ŗXi%B:b!͒1##c=PY2k_p(t F -ߧ&ǂ:E\im28*֙\]KpŮ+4zP[܈wzϲ@S{.Ov~Ul//K²]<8hř#ԣyK,PP2jٻjߔ| οnLjlXm\m8p~OB"9PSB'Ԛ9'x,E`״Pҏ;঎݁ G3s$9BK6==qU,d7ӮJWan8-d"Vj_ iCؗ7ơk~O>ն;Jrs ᠐[)߿~&(j)uDL*K,) |b_}9W&ڝCv/7[" H1':[1.5f4nIˎ,ՔrO'b?;r?@'oEIfLBhD|'-sX+*( v<(- FZ?G,<#Uie$zh^vp;"FOc4;o3 '_ػ.F:iɜ?b7Z,aaаI ŃbȾdʋ %d1ݛ?TTVWO0P;u*$ԕ@67w g>S47v:{`?%zcBލm+c;.=|8- Rn#%2peNviǹk$<vG Ώ3y~#CEd@ˤXYvDç0Aex {+y @ s/꿌ڀ4(TU] $BL6هݫ# ^؃!=IĠ>Q&W΂Ҟ ƵȄUp+5򤤥[cbpA"#<y%*K8H`ɨѨxpJ;+5"#YZȯSapR)O˦x8Io⡹t<*Ŝ54'.7n|~{ "*g~v&$ɪxn`)KS vw^qi6[eqSݳK\˱ qa| Z'8E8 +YVK / xS~2/__uJ)Sgkby3:bϭi"(Y s]CsжĴIxo&)w|ʹ`駁 =,AZnQ0y=^[QSRaWctB;l\ξ`Tb' 7(J0AxeAW򕺠Z(y`lF8YCo3p4/~s$ ŭ]XBԣlٚ1TmQ(V4I 8vSKz3t1HnΤ%>A)׿@S@+E*eQz{&XmlĜՖ#ɼZ5%.-iFh/Z}kľT*d&W ҭAoUC^|4!N"3h%"zC06hRjO<".ƽ|an{&j rӓHxhB>W}z'^ +`a7x*89ӹ'ZB|8D[cܤ PZg),xOBx+`nyz JIxݪLxڳRk] љu#TxEE?%`N :Ӊ|7p j'NJ{weꅶ44>..o{&QIJ鴊^S߾a:wE/+3{#oA!ȰXkԀ#O-MCw2s=k3.V @{!m_W -].s7 ߕ>@tT,Mjn8,D(t ͙UEǗx[;=UmAo5#}mTWU5Z ]I@nrK>8;$l|Z`ߒO9MUƗH9odM;Dq: o.Boķ Rj/&xNB4 53.cOwR9DΏN޻wO,HXf.©-yZ9.8Ԩ]V`{WZ;Bx1K zb 9[5yf:☈$8 {YQPex{Rs,̚siw꬀1Խy?n;(zctdoV+7^F@)s<~[wձ𶯏eC<7iŐ.ϩ.FC9Hzo:Fg9O ^%4 ka׳|s =jyUɲ4VU;QJ4^Jҽ)y fójP.[tIQN0p@.t-.oIGO gr%>Oq\CwiEr}b݆`ngJ]26SZ_|eiF`b Q%ڢiaR4@d=s>Tx-"βz)iͰՉYB4Gd`Y 1J.T/RrUbB]>V3 *rX3˹V]N$jjh#]ppr)@L+H ?ǪX+1Dcc?}(C:F`P~QV` $U6T0M18!%JHHe9g!#Wp]$Q* Gte&&eJ<q5 6DUr*s(2bX@ ͹TTU3aQZdRoW/^v#ہ ߫qD3іuAx`5`KHAk(,=BV( $t@Ĩh95_ 8cþL 섕)+фܟf@[>OW3n=Hj~~kLST4 u)4"W36r %V˧b%+@ySx]ri6ۭA l`Tz 'Æ;#@H@LHA~H&~Dڞ[(U3rWv#gi@ "A~y{x7K'0~`(=vvUϐ!*^t@3{ஆ=R-H ` ʓbP6%4]9Yj['Ic1=P[5ڽUv7o:8j̻a#Ee7<#޴Ժ"AI:D4%™`,gvP1KndkghbZn+qπ[To ^$Nz߭bj "o >o]@! (gHw8񫔦"MZ Vxt.}+bZAۤ'n,"47_r=` w h*Ϸ?>t`'Vb! $4[3WªHn?IQB9 6uq!,?5DOy/15IQcjv9|aW푨ojҀZ%y$5]^"Or+ǩ\ٛ-8iД76i&a+WU4 [}Wl!OQ}BRkS(?NGLݝb4c8eȸž8!qߡև b/;j٬fJS1NQ#ئ6JFe__Zi*/[Jңljvfߵvx9ErAe!2 qedS($e 㧼bʠR/$p%nshh"gsvW$6݁k?KlvOu'T"-s?l[. Q[C_=A1,Ps,k7F+:ۅ]@Eͻ5`f]A]\MMw}`EWMWi0hP)Q?E9⿖H&Q~;R.#$GN xF$v;w91M=i].7֌F!t5~-/}݋q0{f5D@}5q/ /:dbGeEs3aw(K?e;>Q@~tRN+$S %0Z؞l4'nH[d9Z lE? *Zmbjn'Uʞsd/]izWSoo&Œ qP~d0iL&e׈cBx 2s.KETk9̶; Ԁ)wpN?逾(AZ'jW;_ؐ/uvo;*G!NT|.C#}0jDz`:l٤`?i.u ~t˥H B2*Tk캵S >q%=dgiB j}SPh+Z pa&#~bH5OUz)4&_xdE'^:'y#iS`TH}ZI1[bUĴ5xZQBòlR=>2~lr5G$,W^,lXyp+ޗk>d'=r4?𬣬*=D¨żs٨ǚJ»m?W}Mw$D-AlbjHgW )Os :)+lU?mWM QTSwpyk$Je/sJp)8Vz@E`- ׫9⩑j~c7~_)n2t-PX;։/M3)J,=|xQuZاk*:rNJ=JS tDwLtelWاflMkcJ{0jig̕[sYmʷrnI_,C f0_ᩆSZ\OR(F$JV㶪=O\q=rZ )[KCljl]aZqnpU{! f~L\ ӌ( BʍH"69w`^!~jd2J3X쥪lDIYW|U0 [kf\ U@$R!z(cH%I-@V  b`'KL|~8]/ġ+}А %ݎ[_F$^~)@q'i1i@NM38Ǥ}0@3&(F v`:P}UoA 8+" 6yMwG=v_˻:nxnQ $6F8P)8UL4_v,LJEsk8-( wtWqn>tvzHdlܐX]wp.V&C|ۣ6$90ZEJw bP*Vx0Kdބ6dᇄZsַ5N^ +2vVEo0eArAM՝G{d__<76< kC"s*՞@_LA8c Q rz/2Sw~&#v?%={LAmݟkH>V^c{;gkU'KEu G)SqJ;j&%I9KL",->p2w&* Bg>-#dosl%Էqڐ|En 6I] y(%3Bc-A=Ec-h:zrC &ҏw#˦_'ȻH'=$`Ma1r#x)#mG /{7ci+bXٚ3N?i[䫐>ޝ{.WWz,9;hkZAؠcZL_çK_F~R5)?S<zBMMxC:CjBGJ!bɹRL%HE֕Wg.TԒ1_ ^V6s IxM3A>}%KY=B^eעx)`5~\KV~~gaBs!9BH]@^{cDq.L{9E!o5dPo\/m8{wo(A?vR}1yʝ/(S K8;5uqF L ,7 -iatAQOܢu(8f$&ߜN5_f<0v8(N-~oCKݵ54B!wZH \ %H~1i)UlJ#[è=% v^1YɨqGKŵJ(K[Dd8|٬t᯺g5+f&j(L!Ս @CKhV-v|5G`/ɾ`ʋWĈ:? EwfÌF_bΘ/8/c&YqpA1rfC>m% ן 7&V! Y_3 NO&4VmV,ϋ|3d<{&|n> 40J;L2 BW%kˋzNl*V69447 8}/f~{{~mG^ǰ<љVY1yRIr`lh 6QD}>)͖璤BXNdxdkd'*d G[Cԛ)ILvsA 6|yΛK]!~ k{Zũk ^ss^s*c &rbt$CY8A:ʺy"/-pD2 ։zzvg9skjx2+&9=c*>{mqqNggqRPntZ܎$S>mN.cMh:[IA hA|^5<}I J8MďόC/E02O_{O(,Qg G_2]0 A#P@-JMw?@Y+px`}f>Vԫ>Er4Y)Z2I]%=gȎm]\DjXW.K9 %" s& :{0FRy4 k*p>\ns# ~}nj9$ӫBfsc~K,F)*lv%sڏ}VgK6p|U4eG^PL)Zl_o4q-qT] 4טDc>p+MJ*\mU0nQ$Wk_a5@Ei` `yQJx}I>U׬#&_3F5B+s9 9J`enJ7wEQ$gR 7JeI$oXYrH0_)Bd/̠I$_,pHK\J$8ٽoD7J:HKr)aL_dh,!c-pPdWD2VuR3C÷BkerLp>}QY>t.Immht' 7ôM vo QDyFCJ!a5ƒ׆'md i9SYInVNP*qVI-ľ`UpoJU8?@jDsThi0OhIiV} *(ic p(6w-;GjcAnǵMCᤨN7 iCVR9ϵ^.ZVl`ϐ _qDb CzrZ5Acw$%]Ü%F4)s bɤB ( Ekj_Ӽve1 m8'a que%a.*AcvHk:(籓Y7o\Zq!H@صGDР5GL^a֬:\WIn4%%.b_m ?Z\[Yȭ΄ˮh{Y%N.dS0-DKv?BK`';Ѱ F.`\5w ,ke!ި=!jO-W ȇ˔j{mdU3/6+}fkg1ܓp雁2(tCxB{=̍F!dg0:%n`ǜp9*)[op'jׅī:o^9Ή(IkuTþ'/6|htȇ.2ndΰ %+g_ƕ$|Vwf~&,n4hW#wEى\#b#O6?!鞀(b |amKդGDBpn^B!`'nQ1 6.|$  y_DE">?2`lHUOϨI_N7A5D(*GMuQ)R(Z(잤p(Upu9-وN>\,"<+x뫸K<9u+I6Xuw#MC rO_?6y#7VjϠ^% 9ecTf3ɟ}b'O9|&Yy->:ƒ HCQh3V I$Bx;e2$@4<6# 4Je%:NMgbksj*ϫrC`NſW BJs9 Y>FHn@9!1ZJ*~w[JZp`+ə7Dn.O1*|荀u|d3ŸY) Ѿ>sJ8:a&ɹn8$}?sEw2iRPunl LJUpCm/O7R}98v]-B`%oޔ((Pq,Dpp1O˓sWp-0<'TJ>&Tq(%b&9|мKG}|t㼂V bp=%-W23iRp`)1 WP,'uLIG*e( O{7ϊb{Ra4SQjC\dLJ6S8nz9\A#e UeAr~ހ“iNxt* Ž`a g|qDG|e5G_ApAR͑NG?ww*[jlNb_r+U׏E~~,,$;HWd*ϙ#Cc=>U {H 9*,Mz:xf\hǭUPTO'RTmG 0b%(o,3J w< s/o0;ApT#q{>eg cK2 -)q<]U-QKQtLg+ѻե*-l`&qӋYtY\,;%b*G,,I̎S"€X(TTv<(+Պf] ˻MG4Wk]~nߴ"D5}I/8=-w_KBUAI>jwwPQS Ù`ZTهx?-{DjƱY5݈K_傕@)-KׂZ?UsP*kRFt6SC:4x-ȍ%iҵAbpW>c!nTk|TV ?@+ AK pa d2{j|au wv[.^NTsISi˓8wvߵM[~b찕>ov^ګ7lvvA10hrR=XC؃"sd +&jvT'zPJ! b"ensN(:59la,اܜAt 6!O^W蒆p&Ƴy ,]xlmɿ08ˡF4T4R8 K`]T^s8/!v~~g!Eb7uwB- c׋-Bر`:$Ò-;R nǾՔ5\xLC8· Gʆ\R6Ѭfs\,P9eHJ9:֥3HBoOPYHeW)zŀ^R.25%k킇<謭?$*xkrT78>=~0U θ=KJ?0֍7sY0,"hQ:C.́,# ~0wDU#6G14J2?cTiyUPTQh:T]{f~(D530 x )>Rj|Y gkfuEX5CPso.M_}&P\> ~cL]sܥ.{'{EbM! (mNW8\ԺAZ]QAT\/EG!0׮ywN0xL۴GxT%D-njkl#(=ʝ*pĶjhk2%ʙ}D^ꓳQK/25$ `F1)uyԸ?^q[sYsrN͗k%E+̴p|o%alHȟ}xvCQC`B)=L^?Gr,(j/ LF?'5Q~ w$J5UϮ6짲?f mvF ؓAtPcI qds ᨌ'zݛٴ JM w>ˀ'`ժ+ q`uB`3yn07݌[ Jeۇ@E8>rB| t y> mCUTm|HhmHN8iݖ!ȓ:+˞ON|yWS@wpǛWq]. _x N>^t~rUa$5 ';ᕿ-򗌝.ھ7 Cfj'(~v?1KIq7݄(Z .h?|r#Qݔ2)n!P6 !9٦s;bwt±t{tq YZI:"e[ %J_I;HNpS(E7/cKˍBT,ܰW隣x+zW44,AZ\DHE𼃘2(zKxHh N o'@ZtZsDn 8K/D7 CHK_>XO)XW5Υ=C9"-_̀n*cvyTp;Q&JcTiqnѢ;;̴v2=Q?.Cr5pa^[ѕ<ЏH\rb$6L1LHD_o&قoTt Uuh"HC3{oggl =8:~ŜY$Wxy-eoJ߆Lq/& E` u>y]$\Tf[ r%)`rfO@u6@U5_.,8qnn2y kԦ„K35nm^=.69-:|AۂbPʟ~ZfkcɷZȽ%yL VLI`D_~Կ# YծL"O\&7eɢR6$wkk<jue[й1߲ݗ:6(qfXTäh @G\ -<Ҙ^+0RE(fvK- ,Q{k/~bq$6lm̓h˝@ =uJY//HŇ~JZ{ nqL(4Tފ8 { '1X "7mU{42[h`E6q P/܁hZ5wnBYpǫNSgD&~ĴD';ӤǺx&lg&9-(zDe1a}FE> N6LT4Td 6qF4/ 4Ϸ &(g&\ ET!+ ATg̳ ca-Vf-͠=]0~ZMJQlr$Xp)=b^̉Nkqz예m7o%y>?#h욃vE^)Q\\~yppyj KF|}rHLu}*Z~YBDd)RgdG '|s^MN7$ЎRmU9($5z@0D oZuDqwgiS`P<-$ˌ=>W$ W\&)xE}:5I!|62=-<ϽV4iuU)NЕT4}(d4kF&>ɮ"ed1nOˆURjAkd*mz·) jwvH ;o \bx(&ŤzY}GQdK VZB|۱|ga5mnBsU$f!6أ[n4ر5ɒN/ߒXV8bՋ/hɒ$ID ӢJg8¶ڴ8TϱCкM_dqȘR Q )W1'9t݀Õҗ 9̓/27ت'&dh8wP¿ Yc G6k46BO_#! БԻ/CgTpE7?Rʟrשntg~x-VQ܅.oPbGC'5^9=>ԏYV8q'ۄR ׉B;߉uY q`%HqҥPKRn>>UPu"s{v<)QfA)uuЍ|c: mWC`X h~s& J(8s]d,2ğU+|x5b: /F<&b;eO6睶[:75_BsPz+Of_F`pD(⑇u2D%n6n#$kImJcPM#+x#xdXaNGAl }KyP9{`D<@yw2,Q; J @ QiT'^Ɏ5lcn.Ytz-+jO=[DQ^,OVib 5,:\CW WWhHT9?IJBBÑܱ8B5+~ 7DnNF#Ƿ!e)rjYkB_aoR WԴE^{B*iKYK*\rRpp$5\a; $FZuӬ j{~ AV#x}9^9fp], hL𾮋qIr՗A\ZT ~(ż^2^ Řmy1ۺyj}+!bYH;~,:@Z&ap _C˚#*:9Z򍜩]^9ڊ[`feψj%,N b# yY+~t K5_iVu͂=s=+p-ji<ңH|#T ckd萠J[1ZQta c/ l}T\~TR*ls`չ#,4B`-l!zR|ue$㱢$q?Cy\ҥs; RGy4/wa`FXN~0 W߲7; q_#k<\qp&OkW&0\*rxvE8^=tKf,Z"'ʖ:P'JB< WX `KmAYH۫IW߁s}yԶ SD%0M2æž&ی0W<&Xt׺xBh#*< Z~#QI5P)>U?umγ\>[$/Q:9lᗵ_ͱ,B QQGREX3MJŎX\bM6ܓ?_d_APxsq66[޺sW*}+?$ϽDi )PVjͨioVNF.Imw1 bSsa89ݬ; KpP)\Euk(@yZƋ*c+>֕4 JNh%}-մlqwܜ.oE3NCM܊T$*t_=%:>79$LkЁwZ("PhLlׂ((yN&t^V/Fi#0%bpH=F6C*%j(,~꓿B>lo0֭֯/w/4fu1&T1uKS,Z _Dرe瓝fAs؃6ضt!5 g~&Z>6U৻@uJ/}b9"" a:BX1 :RBt}ZVvsOT0YتfoIX˻3#dHb?No!C=XiHNPCf-ZxCvm*Cբ@D=W/y>n Ѧ ed@uhI84Ԯ68ˮXdaxƈݺe 3Ia9(q'ޖ벬龠3[tcy PoZ͛ W\="0L)/1L NҠ&{gWAj=2`f-d40VePI QgbkXCf\дf{ ֎߷c|GTQ( UhsM =Cm!ʾ-FJ±)mq A6 NkTh~"w֎V=T:lp]"_T"1d;W!w:=9u 0 Ա\3u/hf< _fS6r|ip<S"︲&;n$ib$S.%oS2/l?H8A46[ oy@HS7Z*\[S\ "j5f0l5@FFl6𨺹mpq GXuSkF'ܲx}YyRz.B+@iZKΟUBm-x8*5[gE΋'Jp)+~1LgzftZW PB%SP yx <X-Xk#:2PygIل0b2S3NƾAMi  W.ƥ9x0ԟ$U̺j`o{pxʸiMZF3lg[Bb'du b=tS*eL^ȓIQCy;Y}B'v tȨ ށ|w[ 3}Uķ7_Pz  s@t;̆kx\EB\`e!&zi UoK S c]cء~}CcX<0Ey7VU'Rc-B gkjd,"5$.ϝKFǓx9*pZY{GϟH0Fo;ό)Tts9o&RE+0e*MYW4 kфԎ)+-zRIiIRyI_TkDD52ZMTpW8_ 3.“Ɛà.a:M0q%'Bhua=tMT δOUCZzݦbegU~ UNiz>0 dp3g菵XpK'+;bAij41ȩf,`W<| V"=dnb'iJ QHb>4G,V|@rgj-©\2c7PKps#_¨k{( ,drc`v8;5Fw|Gtԫ`˴u4~kYlތD!ك 6@fMzX!Ult5L<LTSfKs*),8|˕i/*.҄a.1`bi-"Y9|eAÆeg[..&:FYU+C3U}X^Nn*'c^:[L{!jX}Zk*i Cƈ[K:\)l.ĬJ NpE%m2tIe1H0z\p~K(s(C=ȸxx 3P٠7j/՗L݀dy 7MU[NZItیG;ށa&;"c5VrSGwN%XC!x7'JSPfBl71X$HeX|# >!7-_um'?pifnཿr}V?ג8C|MԄAC/N] q~':7}A=!H$*ħ *3Q Sfz"׏G !AGȠ?Ŗ;7sl%eҺ ]b`؋O90Thz~h'70c۞#9KWM82bH&SmQE]aϳxlM L42JSn>+1i:Hrb)WfzOmQᶝY|\bf _HЁ@ru,kg8 yj22(JwTq!!sr]5u~^qh:k* \땦!@Tz%x.٣&] M,DEMbW샻8w,F5J?%~&̹a r(o ~%u~RȿH:Ϋ4OM;#-"Ôe$WbPkBhUcDz ,͹=ꮫU ԫNnB >`E#`DI>)} 6JfG  ֣}>Mrk # CmJWSb/,6e:[Ul{ * ìx iU;)/Z3q=0E^\UdkN&?$ crp.>M+TE&4hYX~7³CW쒔s\?617n.S/xG~x u;{+gYuWjStTxք8[a+5UnI hޭҍ9fT#ly@EXBdBc,Q$yE k7U-41ӝjHMt8DrM{]OS!pT˵ 8RP9@v:H2u,ڲ6T(.i'87`gyJpdC1Bfnh3jMl3=3K02/)o0#N/<` ?uY30̫6Bȇ$E``#n%"mG7,qtf!LZwm$%qGETrk3be9XEtS7Ƣ8\>> } S_)>!SƏmA.d $. q$6>9B.|a oY۬ve_ }2Q t}+hMsk$zO-w24tQ26ī®xUxne?{sPH8:0qMK)?cІ48 &ْzGYFB( [T{u$O&I:tBw]GAHsHę"~1)sO>f-':,M@֢ا\3d[]0a}. /D5m|.wgL횣 9@[nP)kʉ]9J S;a زʕ;Q[oUc qYy&(dj#xtgk-)ZMڪG;UPE翦BU#X4ǒa~:tBwRDgio( >&ċ/ޫ @31ZiͿ#~NҖ m RL:T6:ɸ=s RQacq/: Oo>7&qs^8D7LIji ~O-:X&4M L0=yң}'*HTo0E-elX*wUbҼ1ōIBI!G.P.\I$В#DpD`{ 80KWIm|]EXD Lt+sinl.C[mg5VmKLA8FbΜ\f&m'mm?Ԣ6P2J|xad[b WQ@sdX9ZSRsZߑ绒0qz6x6~:IQ'$,-ɮ7wOٞ=x>m{Hy2PFb #*Y![I6%to!Z3^YU/DM[ FxA#ϫ ^\q-^b46 UR}B<%y_%Ob.E#)h =zˁuSm$8v8xg?圐; x"(X;}lw/nMJ7@<=H)W@%6BH7hz@MʨWC- Nd{ǟ`R^xVGp[K-2yő*trl g+4󨀑Yx4ys/Y$ZL¦tz CO#d*Qh4NP}&A*G3~~A*4Dr@;8 F^Č=5:A'|*o^ (K<9iWYmAS 7?|@V7vu2ΩgP@9"5I-|YP: yrp햣[zpD^訐FRh*[dʕU0xQKal,-eGs75nTd!Zs2~#v@4 vEFf"E:$H*^[Z3N SD+gA^5E|z1`f/i$3ihsFP 3O4#Aø>ZΠu"wpB`CWRAnFg +Tj< -%Y3Y[yLU-ˤ?-}b Tk6B:hyۨ/A%.h[U~Ƹo3;|'9iê]I&V]ac*Sީo>G4BT6Qf0BqՉѽ?O@:rWW^Z`bbQZ|93f&ipn9H;o#8UӸ쵺ƧS.OyV^WyTNp,B2?rc \֠RceIad>A8j1 9@O>K@YUVs{J%r+cwrbM$Prmrg7Oo'c}DN[ 2esҏUt da%`u([J#*̋U DfFhޯIJ2 [jJ;q_(ʪ^n~ix@=/wRD೮/+<`nVȔ1?S8 #Lӿ},ǿ/P0%l|ѨcgrLF;NcB̫R3q\*7v&f(W-}ަ|黱 BFyHc]x45"Cx{}TX:sdy'@=4 K"V1⅝rR^ 3S`2WD>)չaqMh5Q,6VrulBB׊m̽.Z1e51zZƄ~Jj(5Yfe GkxMxW7\+L J_q2eJ<-;t<%Z3;@.\us`R!J7SōXƼ$j5_ι!Mc.6F͛!+Wį["tr~6zp_3\R+Gm~FDrB4yqHdkeOp3?o _)L]Eӆ 81kKy3< ױiq#1ESeND'룞)7ٰ`+Cާ."AJ)pùY*x3p{*&xAW^yd- |~S>iyꓳH%b#7bFOݸtxWRyH6&Y.!O9U! UAQUyf&;HlFV^G C᫷6ZedK},4X4N߶8C.'z&ȉFթd@ 꺀t@ORv1.8{jgpy* %1-<(NdpŪ| PRAu=O5R2BO0Te<&O<"JorW(mwXK-Jj ̘z^N稧`c(&L)<p08>~TznM*N}ԘJ21LtI;=Ы" 8,{Wqև^p5&bw M组Q8۱>B8s{8lLgFZCw ^9芭g N)nDv6O<- {@eé7-{+O.XmZ"SRI@E(>>mjFE=- )!ϓ*pRXፎ9Yl#S?*h0.!%%m˱vLx ZwTFĕ!zw:ຒ"rgY~wcKnWK\B2lPl_NH=-ڊ ]qϚVkqɩɟSX:Q(J"&7a~~o_ K(\Mt[ b5_?fm f8FX笊:wJOԟPvڮtN?r^oe5&Ź[rIex~M}D Ocτ)߹=Y %BvlsﭨjqyaDm TNw,UbŸnӥwBd«7١R@Vens 4J S,lu X0jcT{2;VmXju6B\d-AVe#Bڴ#g$)Os){y_( ۬>& "sp0A7rf!4Ztp15s]]5L14"0Dr7޺*,z@MI|6&l$Xl7# W<"HЭ%ϙߋ&ll!ȮWuc~R.qC,ۢK%A'+BTG]4ۻ)=^*A)e^ ߣԥϬ?Xٜ$mOB\N횥(T[#l~lB5jvi}`̜nF 3Dֈ׸$;vǏ{&mh]qmVpozkx|w'.ZUe5+\MsޒNm0Q"Sq¨'熌]I 7E$ةmwn-&zeԔiGY*g6b%kXZ!0Y߾F|vp~Wx/c?lWN0wi~+-q`oWkoVvKy#4%Y:gy&5ph|ʍe)w pύr;LU5˭o44sGumpkK6@g3kYK/waj &4e][!~\=yvK\Ӣmէ5X᧮CEMwP LT-jsE/&/HI7AH( mhckx9*H'47k˜n"(vʼaTrc} _'ny(g):'\0SpB7J{a{Z[Nw-Wrc>2wTJ%mPd@.5݁yۢ[Jli~׹h|<73)v.^'CZ|IJ68C\%S,D&ɯd0:P4\x#oR\|x 4?Kcz~Lv4v-!f򁊿房l~Ia*]. (aTkXKf8`{@Rf+ӵisL&e[㣚Ψ0Aߠ^XPx%&u8$8?0X +.NXߵ>V~Lk֡P hߤ Q8 Mm\Ø1'DZ.^X{xr8cSIrODNf>;s40ޏ ꔣC=Ј<^B7GEգ 3LB%e mRiz?~& XM,ҕxXڋ-f3TV_!U>ۖ-dL^"X #_X㎅H`dg f(h∟:%Xm;ߏ5,J;/uk0l 1PQV<@$R@ i~C^I/#NݬFi=|,VeF1xwi*^$gDʮ܌AuS =l Hp\oԽ 8kFpWT )MNE]u`\2p}6 БA{7I#_4ugE99\[hdDa0΍f0p,趥W9)!A/wfN_KI S08IF0ɜv@r߻NjHo%% n_e3xYbqk'=3uXN܃w7wjVۡ[/έH~,^Ѹ(R,yH; &7 NP,>!ica=qK\_(]O*"aZ X6൐ɍP ڬt@uof^j(L}@ب uCN>]DiE皷cwAFbYC(S&i7a¬ɨx&7K( d-ݬtszzC,d,|iԒe[)J7tx0b6ϮNzw.*FTd#ͩ _h2TVk |~Pds㷵\!m_řa-6tWX͏րv]l_QJ ^ Nxրr^ y9xTَ,W&[zֲ)c}$:(mM 7eݚ1ӌfhiuFB`LV?s@Ƌ(hK5&!K8Vw@FP|]^vb)"-p it5?3/mT\L*V2"٭8t]eSimt( [8xҦEswހۊC4_1 z #6"r_Ҧh&F^P]T`)sVeOcE=+ DO͈W{MN6ɨ60s"qƖH,p#)g߉LUO\Vڶ$ ݳG ^g2^uՈFr 7K<Y$\HFa IHY{Ѓ)X pUu(C7=:V42SJMmїDi@ۺy 2?z r #l@XaJ,W: )*QvJPKv. \R'DP-j-=hrU kdU9=6hwAxl#< _ J7iXI\?y! "Gu=m:ʩumD!II/y{@Ԉ(3VXf2HA\)eT1L^Ksk'cl-"Vγbr֨nDAR/\ylw|@,^[o)4=Aكj_+|OB1Hj7x3-KZ+6^% RC&n3=̒G$c*k/(gYZ4c080bd6eb49c551649118eba57628635cb639ad13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 858f6cd8207f79c7ac7ddb04778d17fd495914d7 9bb5f26e1f3ecd30378fd845a664d648e23e2eec 6c5a22c2e116427b9151a47a5b9dfa20fb726fba 558bfbe3dfd6a5483279ba9d247f995653fc41b3 20da52fe2db36c006bd9a38b48f95e45f493f57aab7e53841528684fe46e3df3c89fd4c812446660