SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 a! TT ]]]HOL-Proofs:threads=4elapsed=1100.899cpu=2216.220gc=263.796factor=2.017zXZִF! ?]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^5MBt/;VΠϠ yTd`Z$U.a qCaADߣ'0|v!_rCyd;3+EvBk8bG9ѯYb$X,/O stfԶ3F< {{>d2Lz,=Lbu}@S5};*Ok9omp< u'K~m*A]LZC|3}MX|)E  ! HOL-Proofs  Ƒh mvć+fjLs(??4u\җய;ޙP׺f&c*ڡ ךW  [8V-#,ƶzWdIW*I00Vďps+9~mKQVH*5҇:/"w8"dx1Qt"y^oGɇ&&@_#bI+11Ȱ MXG2plGyxAfk68fqJ#``aTXO /a)D =cIk;qfNHW>y+"!_RMhf{1awlSHtLGow@O[1E5E*G0ޗI! #3ȴQ@y w[9Dw3j_הX#J'q(8L~Xd:5 1ê zNV=) e28: +%#% { s3sᶐ,{v׍[yxsѲ?L,C`J88"x$ ̞mivJD(55? Q,Y&b (s`nF'v1ǬոeG(Vs;."٭#uOQ]~"YU6 '*іDGh)Se X?,~ Q[ruiVC]1y&8*T0uvxӢo^޺gt!wKM T%eU8>b92|ˮVe{c}+$_[؁#BKQ^Nϟ"cg ؞k. ؇$ +=op9е2+VOur/pD27{&R**t:fڜ4}o;#p'>޵U2#9>-ha.3_GDh#][=WL A8^諦SAD%v)l"4yЕ  10<բԷqnmwe,`P/)ٱJ$ET;u^Yb}dН&,uŁoL[:>,5Bݣ:uAb{-ATw˳2< 5|K叇vXxn=wm_WoE/߻Eg@vQ _}=;g^$ dk=Mc/0J_aTi=g/l4R̪#ﭢ2\W.]80lb 18ّ8B| |92IJȥE%l֩v m_Y=1]'-v^eKDAwg8NQ\jx|*κm9a&1i'ygwݵ- y<vgYͿyT( }6)|VCJ^τ\; }""!%fEu/@j/*̆~^]2CtA]L=zV=i"),+~쑅$2h(gW>%KACLg|B6'#hw}e.rsd.'@W`c}Yl@ZD1'0޶'d^ _LF z=HoߗbɄ%qFپX3wTan``Ӑ(Ih-)Q)$= ѓj]g\67Fb- ӄbC/M˿t#RGOte#. z]i- `ӹӅo+~t=H?#?Đ% O Iigž<yĚ즰z!u4Z:MoQK#;gN&'ؼT+VQаC:ZXW}[1&v{jG2JMgwNq{?\jqM#]kF[\W* ;szY 'Hz+ng?a n;o%E}hwzNj1^@>ddF/ 1|kPsbBIoYn1,If¶ kf*: i99SQzY/4D<%hbsxRl820hDwgc8l `WnEU8ȼ[sA=#GjA??|6(\8opá\${0S;tWJo9~&L8W&u83%򐶟=NVSHh;oz e4%E aw-*]PԢ1j`D{<`YAhk~'0Ҷ1-}0(ZzJ6ոlޙtOvGj2M(d 2ŧ3jKRplCD}[A<خ:*n%G&ɦCnxrkz),iFVފo7:BC!%7BK+Op,xVBUؿ4 30{b2L!N|L()0۾($DՒȫ$<ը#` Ã[TgueSmal -q"PhwugqϞ~C=Ӳe>"fAUR\*XyB_ .{PzGI<*s GTq!u>IY&5{ za^p@sSX/ XĒ,!s4`Wڠ&_E! wWSB3=ȦEX ]*y[Te Uw^@, M8C",\Y$JS jr7cؼ*ǰj?rt/qR?7mao)[-OL r 5h`\!Z-D-YpѥY|8;[+e >Z+ڮМtA0G0@;O|NgIǪY{ή A0z

^C*<;9O|;jX>1 F $2ZQxlD6e%> K?)h,p1ɬ\Dl"2"m*;fسMz'>8.F66 Zj4*!Ѭz5B6*P+lMϩavwc e1Mz8w>F3F^C͏-*-̪-\FM|4lӸӬ'(bXcJcBؔk@IV'e-Q;ǹix;)'bk$}h=xa:cH$x@h[M#SCA%!9Qoe`1/Inm -#g\rlkn ^vь]~'1T"hO%9wנ nzO7+ vS.P0HYY0(Q=8Bo_j+ i|^-`\opC$Fem3ic!h0r%vxw,Pbb%zJF;uQၛTYaGsJ{DNm$LUDbgQ(&&jl8Ů!ptkOfE.)U(A6"WF}R^UbFo(D^sۼ-NvR9)Qn^D6?ƘMlu>TNS6fmrW+<-*\ j%"xAs p~rͶ_o[r alN.1{} $F/e̗G6 VTx| *<*v?[jӆ$()t@#Y9l7xHO4RnAZ\cﶕh?\Z֔t"rU$-:!63 WĠ׈cG2z3dpԾbK>l=Zz=@@?r#Z#cRo/[YF[ʥz;6EPfH'G!hΨ | 2v՞*\)7Y Z*cQˤ 0QO "=zS>sZQ܆Pw45 {9lUI|Hz܋qj}D o* "f67CuJrqPb!i ֯* U/f=h CQ#O`TW&<Y[ :@D ] ܈Eԙ/=D)ۚuW}cD'r@Bb2Oty{uwDܵ`1誧"lB8Iqb/ۭ;qg7Rޚ1'h{w0/k|ԞrfJ_kG43bcYYAak k0={_W|h rf jHJ0O7)U5Y>fҨEo7a!P iE lL}ml/|$ 3$@8ɏC󽯱gYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!*X u`!'Igۙx-"9fW!Ԁ**TmjQa)OKV ᏈC{S6Az*xƥhC hO>ǒ[hWmW ?*"SP^&Ĕ, `|#;/.R-lx&Q/qH0lZPٰ3teZ!HWd﷗zjQ""VIC|j\ujw>ڞpZޓlP*hA5WEdXY=`ZQZ3MS+o"&,w-(e)4!ߕw¸(cS<ݖuB( 6H8`8LKm9qP, ,nP3ưKel ? םkژ4QΎ5q'@ NAXQm#k3I$Rh4fà ɠ>s#p9oqHVBs(uNsdx;6)#S\rH6"B>9U@Je4*|wvpPd$~r5@~b@x]\w+r$dtƾI'32fEibew= c%T0&RP/(\zc/w _ 76j5Y@FVOʲj¨3O]DsE)sC}Jy(Mk!4%g@!Ht! ޮTZv%[Am)ِ8Oa#w `g݋eR/֫:M6 R78=`*y1ZoZLȕ78Mxк_ /EŠḏ`5͒%mcƹj'˛lnj|V(0\<Ƒ AKj#lJ+q^K&зƫkB DTɄ"zG+} % -oj[<#i﷔$qJI POCZW3'1޵_ LLُ#5 ڼ<# ļS?;)]$˓QBq֫Qʃ=w^64$x;kl;hÅ%qXo}mХly _$c8 "nxS^yQ"AGg_: ([cG[?#]j&7O^O!j;FǮljs&z& %SׅG =FWZ|6ޡno*Z`t0ؽ%*bKaa)BU+z4<4E=``'7d4t/ A%]_n0R[Gj Nm 2,0y gYZ7zXZִF! +&]ŗXi%@b^{ju$yKIR$BwBE8ܰѦwD|渴|}s&*%CIFHd%_4dP? 7g3`||dYS{L xgLT>ɐ0k-]v@1K>En-r.ҥZVf^baX u 6.g&Iթ)%C- 14nCBߵ?*Eߍ| zw2{?:(tF`_׍| +c 8LSesOh,Wn-\; wfܽ{%kLɳ)*G)8DTP8[O֏X\`@nVxĤݗ棪 b 9L$#(H8qkl ] sInHMBBF.V9,?6NU^3"o0`T_ά{:Ix)xwd) ct2ưԘ14 P+2{|u+HenzsoBԖC?v);rWV 5^* x$Lu%+Xfz,9b48G.eVx#bl7˲n)8xnQs/ƵK*[?_ `ҙ?2ys\8t/[Kbts5r>}L;cd|t빧ufQ¢⮾yk1%Nok8rЩ^R 6G1Viz[-N}hU#q9jF^PN<\+('D(.C~0+B6'ߧu G Sh6 L B:u9r٭R*Nr|QYAC4q$̪!si(0\_BzϕMnP83A4k|n ];v HZD%+K2!v0-*b%- /)ܳGG 3 \TIٍ'ȅSs].myT# 4'M#>'y;$l8X_-_f2q`rA &_vہ>nՃU)^\̗5(_iIzO3~%M Ġ-QxX1a 1w/$Ö~i\<`PA{(ϖК=os CBas9b?_j7EcC ͩ-Г{4O yZmVo/֓CZ]$3[ׁQڞ|xdECsOUv Vg'D6P_tD5z $ @PEU,RxsZ%;O9sITQ(6`8kچ'>J*@..5,7=߶cCT^+\^:7 pTrMGko0`,A ~涚7m-y7k.(_-(b 9;{Þ٦x[ 7;SVZ W)vvvՋhK> #̞kK^g%eMUMxKYlo(=F{ۂG aÊ U x_x@pVlt?`±:mSU\ uxN-zrkEV D>WujWP8WJyR[g+<5oG•M|rP.Ha.T<^솅X\So8)Eɽ6`Uok>1 f G~sxK5$ ^%3P٬EIQFNdn@lX$T(uc_ ՋO5;;! >2dftq+ L,. ǝ-%OByfC|ֻi^ˤv~p7`cQ.p)!G-~mqETu(sGr5=5}ُ~3K)\A}K}Z3 u˽;֓]dWwuLg/< ?#ݩ@A@SͭgXνO f1%k`E A&׋,hX3V4GJsHpd]8$ͻr9ϡ2@7Y`DnɈ(]SlS˦|`9< |~ !rL}M?Nеt?|Laxw76՟JmQoZܝ n Q.Қ=灎-SRk6S}WLy%jx֌UFjQ+`ͧ, H/KyDQb+[;!mq#`p q#χVb'@_G^ -"e` -(C E|oIl]1uzj>zMЊ!'^Qe"dk uGr4NTUʰyH5tv:W2);Ƨ%//eLȌ@jѫ4|9H@qvp(|n_K0lvFVIP5LJ۪Nv]-G~`q,~HrSu¤XmW N ƅ}$MAU9e_ (asti2 4; x@sxӄ߅_8DKDFebrF;}s^<iJE>Dzv(Wa#mRWuol6% >31aHd{yGϞ%Ϟ#} g[$IQ{ ǚKwp<=bm;jK@L)$6c-i*or­\)0({*y4ܯDKʭOz'Rnx% *ۧO knݜ;[ w5:ӗ>U鼺v<@·6Ί_g7*{Vd9G9Ͻz7!"x{BKH~tm7ƟKasB|%L]\Gs]z7jOc@w&UXP#NNhZSD˖fJ!O+ff׃_摇ȷؔh H1e>7{B:px8hBzM XZ“ၴt=WLS$+̅g; "fV|e!eGP_z;a|0i&k(s:F]@:3`XzMX+>=b8ԃ 7j(5JP&-D{8Bh0s&+ QlލH>">.Z9xxi]E',rh%Ǥ4:|(7-1DEɅ[eH͋]ɋCb#hAqG@`gIU2pXM[RC V(0"eo (?凛" ˁРHgUoss0} O@ѩ& }TBj_f=Y/fZû"CP5)i*;|}kYܿY :Me{q-Qzs{;Qmm⪗|qS8?\(Ttm˹zgae'ݔ)]{p%HN`@b Kk,:OSjx̜/Ea90'O62Co] :B8j}r pӞ<>T܇@Xd1êmP>WZ)^vQK<~w2юfY%q]3g)'&VSM: )^H\*tvroad4BHPC#1s5*siktMT[B] dsuQ;@;ǧ<v4؂T\z/^eh1G|3d3KAnJ,`7Lmbf\N=\vT,`!aŒ}S+tDC tt ϧ' OQsm.fC cWxX+Aj=1Z@P̎,oM,> J)?LcE'zg&ZaV",jr3L9ZaWgN27៕íyJfLM.nj?e N$֝ϞEB= ʉb3c8{`I'L J҉|Ph'k2tnTpD<7xb34Hvv4x6RG#堪3f |nBuV#7Ahu 959.Y t&>YQk^d{9:Ȣl?ZdR$j4z'FY3Am79W'J,nR![ȇNM2{e2&`e [#cidJ$1{Yy_1fH$YB;1CZ +N>BV dhب,@-*ջ58.(P/o|;!+ 2Exۊl܁;'(@\錒jD,w/^IiU O?;cI9,1r?L]MmTuMAF8^KRQ5OYHV=JJu&WdCĝ1fqL5OU,QR|aCi~L_$ "z |P6<1:@c\?|kE40}[ OHq<= X mb_=d|lՓH){B.mKd G%1uwNa:6D)Ys5Sk8kq!_S>%V[wRIdڶbʔ kqp팏xY$N#3aK 2`A;;>rBd[yfSn}q`^L}*s+M1ȖdIkuP1^gaeNQKӆ̭_?¹U[;眧m5p'3sÏ2H}!-z8xZI6C_ۀS\ņAmRs` 2 ȍG;}|$E- H ۈ$ zulX ;;/*Uz=h(3:'R PcL47WWEĜ^ui%güΑ4n s(S&Z?/('W0u9dHΓH̕XK,OZgk6FkdX&X2~m&1[b B$ >t D "N}sUQv07EPde h!|&5Rth?.5@JR)Tl%[nR&(3WftW0EX?$Fk;D35cuBhI"ymdjϋ hL&Fe"hQ׵)!W`ҩ+?mʠę-U87aL?bCm)LW'  riv-uD60F|Kvx<0跫 &6Z#ҩ>ht dq .;-y\GcU/͸kƍWzL27PjC[$`=dxhd;Z^'1h M1:72n7z.X"}mS{@|Q")ηD+dT/DWa\N K? P\bp܈m}Sr^$V'CȦb gW`LrwFW|_u@kg8SDkYpe qw0ub 詷0UY HN&17^zq>.èǖWOj*, j ,\h_3e=,(r^nQ>a:`̭gvVqMm-mHMp ,b1-N Ezs 8H*ߊ.LP.-C@') -$pg˽0G<%0 ݽtbRt=C aCH\ZS.E LTtKrt̓ 2d`{S3hq*ɛ5^#:<,(jH@B2`)JWtcpw>4clW1#|.n1$љnKONfvu%:F.~?mD!.=}ka50Vik{K;me|@O>Wp?cJ1-}#XH΅sǛ1j}MF ^r`^ _:`/ViGFzXHlښO)灑t$ Q(\GfVN(3kv}mC9. %:D i+AeUPkUj؆"hh&yՕmdOS_Ǎ-"9WjD{08ߋIi? #z'VvṄZ'5.MuyU~>QS^M.P/m!&bTL#?# Vq0>[9bzb}| y#"x#[(~U+Y+B b0iԒ&y[ز|ݷ/d/t6 )ѐ,@& L}̔vvQGI8Q?{Dġ#BܦVr\VcSQ7, ӈk 5̌9IrCQXniL0GN~RGՈ+qRE2>U?>#y2S&6yO~]|N*llX8LT*_gX*Zs oMWz.GGIQ >©hpGwH@i2g>~౪Ɉċ7~[۠B;zfVD>H3bV,V}UBv*DWAsmk3,l5<"*$u~]ÅtǧZ&|"Sj Yvr'*ϾrdX.W[D&iU|Ćggx$/]4~ie+ q/Z!N+Uw!('or'K.RR?o?OAr\G:a{ I͈h $n0i5W.) jV*,zO%)f $ďBd37@1O/:f0%n w^ɬD٢q/o(&bD5 U%=01 W\URv~ܵ&?WBd4qܜu ):-$Rh̪&4Y:(^ !ju{Ef%iPO[F`m5_59)Vgl'C( h0sL㌒\k}qc֦IH2u 5tj- 5vGɄۏTSBqXoxɱ4V`߬!Gx˴xLX23ΏvN-!+G xOv:jS|=s`ɹ_rqw d3 d%GoIoR*#\Ȇ+~$x/uQ/ҿmH\>~_'̏{9YM5V}JY"^:ɋR8 waÞ#Z``-Pun6 ~!Y8<U8V0?cm# $|i>'. zOOX.78)ͩc{^I40w=FL/咶vzĎ1NMtبcܰ!Bj r EaF}d*T`-ɏ]u3̱8FGN>(*T')[4jWcF ޏ}OûIQTq0i*\ԫa;lB$Cy*` 5A TDVCɖMa"qt{4%:Dm`$/M=JidN1(pC̫M;=9r'|S/`<xBg2.QڱYstX {{h ;j}KHk)pؖ8`srS 6P&lP heqc1LX˻u j5n߀-Q1֫5; E,9.hGlAkN/_m?n &LSK#d_ 7К ?NRoJ_J1l9g4O_YP eޞƎ?opJCg nϰQ= ]y׌no+ݡ]Լ#zHg[Mw# ɕIX (ۆl7MaGNo,P51Zc(2>:li[[ܤ~˖P_i@7d!J,F(! e_]h&lW }:)1r7AŦk?R)BWWBLYKG' i&$baseGlʅ^CɌʁ{y bH#s&XPr:xf`B8ڦO.z4X(Pr )e;tкeBzYUcSVtW75^u}sMzo!]M阚h)E\eQmț)bpNYO8JSv]tkUZ܆f)vR+jG!{y&ՏW3&1g[Oq:ѿF^6T*I Z &0V3? An# )Ik54ANd1uYY nʴB=T5wUS*Hc$/b_@LQF.}Owd0oT$Itkѩs 3H?)zeת(ϻ'_bI$v -4/ԕ )66ՈgјpD!=ڣêo73oxjq~IgSȂ%toS' i=RWQSf7ov_( ohtx&Jʛ'i wy?kOlijOC`uߌ\\R!oͣ's90mp0/Pb% pM*K_9ՓF;X qO.:Vcw'FJzbpMT%{ |8ӚQ~}KaCL jUjm [-mn(}ξԽX5Ưπwvu̔q2/i Q@DwNjټy0զSdep-Ҭ?D{X`UݚVh2jIb9_3_U0T1ֆC,C1H=TF{qUX91ؑN ?o҉' #ۻ׹;yg DvuzUU1ysnXx~p\5/-lnɋ6QKE>'Vӓw?0vN)=cmO{Hs)!!3~I_+>ff<+ph as_7wrx aeD TrE vQ@>k Qw}98WHmĻ bL @Uq{.0SNG b3>'^JG'ɑOLdݍ]6Yvd*#hJƺ쫝4]3'HBوМ hclC.RfX}fxT(Z[ٽڴhg9'x(QL w/K/?]I6>y=V!FQQKe_i>%[3|kb(;E #ifa>lK=bYI85,GȀXkwh}XaG<&f%UӪ%]*z?;~7B<m+9 c`EݳkLv`,!7SToR;(|9ꄪcÂ^l4. vioZ6B8ړDo̠05gyΊ=N']CK=V~5a-Ԋ3PKtS6F/CI?>p)a4K$HL)EMVu'PK[2÷M<mT`kV19iK[gs>hz8~Ye6<@B|!4+ IZ$E/J5&^e0TH:AGJ_4RbGP]6~\~mA܇\h@mFU_ngf_Kh؀r;HEi)0b+Gt=S:]pm΢ll#QMFq ԏ_\fFC*-9e|ӭLw8Dθ~yq>},f֚֕#lfkD0%2NKQp'My Ʃ[o X'{V޹ӄWEBs,x|uoVbHRu0xDZ lΐ]cp-*>|Y Bcm'xBԋO-o r`dfʾa4WabeDq~[T$$뽛 |=?LVea"3e.%K0dFr6?[N67j*B1~#&qՋ**s"tIx*O[ſѩbs(uj*wp %bK*w&cdg XcR'8pDJK#͒Pf}I{{q)@w$Y$ԡGdH~|\\dpڀ7c45p5FE}YtCգD ^+4QLpPp ^g&isM0cBd9Gm|'?3:H>>l C~m? Wf4'=XC9B`ہ+KzXF$R#mǹ9] ;AwM9>A%XZ$:C=4Qΐ}z-iKe?ӷ͑iԵaA^-j[xCaw'e;}ɘZ36rjԖ";QZifAt|PWV^4wPf0ʿʣ6D؍!1'橿PxlO7Z j5#&H|D> P,0Cg`X?e>C ۏ5:`*"Y' CiλB=.(B7 $ʔkDjrr"p1tFgWòCF}ZU]`1DPa~Tp^:@Qe @ @" Zq&^nV\Fee *JqiFӲzny4h{6"Ϸ~Zp̤O]>4LI(#ΟBn k}7S3h4zYmD JˑRe?(xIiu:/z p^׆$;I8*N˄*GdQ+e(EF`@#9ܵRr7`j׸*H˴-nK\xb3ٳAnk7Z! oH Ӊ\¡!6r|Tw&Fov;a >NO+E=&[%c5 ʩPo[7 #I(o=bF;?׈IW" 4#RM cm(N٫|땏1LVy`NBeI|D⍣A&%F]!dƐ2Eآ-5!\_4{vu*e;g$԰+"%ʫm!kI0h>I ٖbNU-)qbU:=_f=YW1 ;7^Lod@wDhAӵػSNl&Oa^~Zkk󖬖%4wi]kct'Ӈ2(ށ( У2Х(*6/ܴѾDmOػ7!-. s Lbcq)]-bXp-{)7DǻIhJ_vym%Ì A0ne/':=4uS83#-Ke=[*!gDŽpUfMFi [V[k^EXj\%ճZcp:P}%%NI+ŐWxλ(\O9q7Eْ˺]H'LMY`huo,5i>l{e3Z:NGxCqHy'/'YaV$>kZԼ'@!TkVGjCG;%Z  c&)6[8-9?h+V8?aRyJ9 rf#$D>i~w=._PVVPBҀGnE4kLِY!JEڊG u]1:s ZDZw]+ ?,莅2+ <7>:qt( 8-& wA!:t1zvj#B*,iLx['2UB\7n 7͗{hd^oNjy8(rM7oR^ b3ZҮ!g68eJa y+7wr1tp*%ffKm%T=uaxx 7 0} KAPF@D֍D:I`#C{ 8 ) (k('2%"ݐV#e]J3UD첧WЦsoY8%z; w"HʠD8a#x646,NPYȪ`a"P h}ϰ-XJNnx۷ S.d:g#FBN$v䭪:m\_N]9<5zmOH6DTyeQk[;Z:. `@MNC6EϲUL'|iVKB{:a:zRY.M'yl:[y@{M~N&vx;:J:ŵ,"^"`\U&#h i!Cϱo3dDM=o9Pyr&\U=)D;*A:>pUƖ'ulS>7߅7xۻY)L!~tug܇VTwfCZݖ(8e Bأl =Q>أ;SI6X (U[AR=fkD(fچ]s0@_+CD*'/; ύ%S(=+(h,m0w:ꃾo]3M]e|"zhpܷ(XQYGV1MT&9SY@F_zabv`&Ga3(&7פdC~ғLY]T)^4c1 x͋o)&H*DuyG@WW^S["0чN82 ]F62 OLlo\G:`H1Y۠db-34QFLJZ婩0 ,KWٞrٔ,mΣ%!ʳ2nn]x^#\/:FDxkseX+Bxd Č1Bw-A?!Iu fҍ54Ϩ 84 caAM0r"U M:01Y*|FG"4s12b(>mg|/QnCФf SRξ_uCܦ,wt& JD;5]4FeiɆ=Jꏣ|T6;VX [C:AxQۇʕDmjۢ"={0~GegJ|5&}hw|GK'E7-4ovcixDٷVNf%Ne7Zpqo_z:Z81zݹof N]SvRؙ 0ؐeیe'<,;vDsJ_+Ɨ"/wz9>y5mҿv{.{V= &3BN[* KaDȸMGZљN?F_M0~ <~OsJI FLZ38ċGi(okkIQн\rogqIJ, (؝uiwRkra^ҒEyﴁlUwҨxfv4f2_ONS-XWrOf6zl0Ae` PiP']9Ieq<~ng⸅,5!%]Sjzw "i:KRVg Z:7԰œ}}, _\1ZFItr[lZ}@#B'fSM)|kaUGc!?HAT+]"{CJX `F#P P&ox)e×De@%b9ku>U4; U d0).[ L^Uc.x'e%FfYHlM |#D7æ{gSJ0ĞKT,: I # = $ug3VA²I!,Mo[ UZm7+=%U@S\4qv\ūJbi"bz0qL,F2gE)QYҶdP`/̋-vxw,s<66[Bt,0M_( Ǚ𜖩Me|722wȺ0H4XSx:qm[#5Me+E31s!$BXX{wR^HHGܐ }M&k֜v}+&s yNt7.afIX͐_0~ I(z168(z~-# J~"Ad_$"y/M82<[}_pHJiOiId]p{_{Yfadw80Mʨ@x3̔4F4}nI@1,fA O*J rA σTldfH$AhB O֟*g`LRvi0n0F*<@#'HZQ+|deO]1jVa}:P{ɾT9"& gBCa8fQ~9p~jdsr)lյrcNnHQ\Kq5tٱ&{Yuhu7*n"O[59dBXa_u :N;4qy?$ q(FL&$4BJU_;}D)ǯ.Kck~%ޏsڗHs֌Y8e@o\5envsr`Eg!#* d.s1BZ45Ϝ<$Zlr dnYXn\ikqsnNeAE~),q82)jzml.ZtdM+hAb:-2U:AfbJLn"0h0 5Gx(&N}8SW va7e$,K TU_q/tgɽ:;4Wa5k ]LwPS甊SsPbL­_F!uڐ/iLrǿe/Xu)|}hs)]\30q! m܏iZ#eJȖO֭B^$.#n!oW]A;灞ZU:w3*JK Ua9~Iqڃl}q߰QWݮZi1aVJ&'NP՞IOrԀD S?/se+2 AIS Ĥ.B3xbHaUgA%LƇQk/%%b9o/M6Z7g0UjlLlgWgQ mpA ̃fҵxDSUwI>O; uuvvg HVi d j+[`0'͡/8n%kߌE^bѧAgSFE8٧v^( (/SoUwrqP2R]m/O,Qӂ&1_Y(;;Wܼ;BE  jAw$C=$57'k҃Bncrj ' ‡*pEǚ4ZœȤ=7PZ}IF$ӻ+nݾ(vE٦H S+.h5%N#Jrv+5nGS$Ux` ml9oAI`rъvQRk݇/JGT?S"4ށG-zc??85@lUhuތU ? xqec9N;C 5:}4SKOWG6D_ &KA}$,J D\AZ͓Q5䱝0"}bQQskN԰ZPA)kcQD?/a6pZi bCxTLdq:"Fb:"P.zWuA}EYLP- SToP-w9Nhp &36*Pֈ<7HX&?9i@<ÏgۗR)$^cxѺzy|=jRG>NoZ<حA\κwzTcrvШg:`Alu$="GntgL) df%{q:\hƥhn03!چ4h"ȭ k %Lj;YX|3d?? i: k{wv&=IsTE8˃V1fp+h7ր'& jLE<[/^ ;/ECp{z٬t%@,=I{X n#`ߓF߷P%`d,'Z6J@T[7!SӔ.U$u@><3~s;M%e`NbU&O}yZIbjnps3<'t K=~L2"mnଠaKM۵fb%:f4-AS Ց7rJKפ>~8%7!N$BQK3%@Q .YWUTc *pFK-k؃|w(Җw}8{W)b$'g7!qu`&GC .GN54Dj7 r-qn|ԯ2kO*6n;uT\GɊx̔J/C<3 S#)ijO6"p!eX4:RFK&"" 7mS(^ND渡wy豃 Ԋ׍;cuKg!^owԆEX ه՜Z'y<gD a פydպqosJkءvO#J "7hHv HXPE~>>iKQ:3ri Ys1O9f$pSh>2|V%wn9rWI`^cD }nE/Mer0SxX J&*d˖]Iv~nAHc?VC-m>38lpu[vdc$S$"j͔#M@qöqG!"^-)Z%b-~韨yVZd\]"!X8TkKuMHw[P R;6 #ZQrA\)fR03}}u'M&U/>8w{D4 EH|޽ncߢ&޳8-ف+լe? П,+J5*Ɔ6w ; 4 bA.L) q#p"坯WYī[K+pCkF i*v= jH,3Kϼ]ZxF h:u,䦫3 ʕvi۟uRX{q1b>it 0~$~g\_ˋ[?t;Rj"Guy{v+&$MI}e>]UzvfQO3DVbG)"M5v?':pCD(Éwd TsL&w葇7/:UEx5zY^d, ǚRif1gۚbǶ2ku0AփXjX B<!b͘7.`6W=Rmrhz2V,SCi2L{L@hy #Z9mCeA82g 6+gTڎRbb 1 *{(oՎp&@ g|̗SHj4^;DΘٕ3IKVJ MČWkE*~T'go+ԃyMռ*[(vLq\?Ѹ؟i9 *p\-b hv0 637%kju4 gs`~ \h%W"l@ĦskDs9oK{ߑIP&bF@eY,:}~уA|NgCFJ;Ȱ[6Sn*6`KJf]w("B&ϟ~ R%[b3EΗQ "G*qnޥ懤b.' aEGcg$~gFyj^m)f4M~2ి ߔ+8ӝ3~'g:}N^aH<, |eďSrrw604KIk)}|ÄQ4x 64n7g-jHutj<j T9<%I ^cn /J.y*7^u*ъsi빁nКme%C(Rݖ6W%#Z(f;Vf!/0F;`jOjpUuw=E'Q3l^5;vȀp[Ot8V7ZBV~HM/Ow[ 2~vGr:Nŭ4)ˣ|_3絣ѰU-J&lj鏑{r@ tq/('tP]f s(C}gۜ~85AF̡iRK8H.(q 4 UMe/1y{6Cr{ q^OjTrH'!.^=C{&3)Yv*lܖJ v͖OB|48C_QUc=</2'gaDʗ' 0)uSS% YQG/~4+6U%nW 8P+\8ր%mX^I {MmӪTO^+ ޼Ѭ_Vx*;MAxqHCܢ_PnP'u%S_|憝&a(h(ܷeX|ᯨ`CZ~6XBI `,!كh9)l6%RH&T*'$+F#p&Gת8bQ`."sqy`ZszPMCs7.7S|QkS8VܯLMEISe'2߻a!0@)iN֕--mp{ /I;2"}IxF::J>O$&I  pk,]sb$k H97hz}_PAU!Wlb C"6`e-!CD 2D (:d'^9@)Yp_0Npȸ # 5fcC\ mɹ]v$}OH}>'hyAK U>d0f&QdEJ EƠpkBvCЦ!}ɧM>l} ˶ŎcAZ᝔+? u&nPm8MU4 *)Θm GqZiQxm|ɇ,X!ǏPA&!!YXR!"ز1$_, w0B=HhyB@袋ދ;I;d`Z.,-◳2‘F *^)SkU2Q5S.F*]u1G)8=:yߗ $Dן$ SYN3}w'X= (zpCz [j˵jD`v2GjwLpn7ȅ*B)YšÆ4Xw8F!&6"Q]ݥ.+yfɴm)a|K̮@UVIG]mSVf*ٍEi86ۿ9* UoD}VZ<:vE)]ƁYAMXW g )r[Y i9JdV m/D-O~WɷXAEٔ썼%]Nx@.h . K%= BAhbB_{PӫƻlgDԔ!WZ3wh)sUc-&^f\l`DpEy.ɠx<]y_(fH Xw%DpTAH#d9L(i50]ag^ȹuI:ֲ?b)՞|!%$3w%_f5SՍPV9>G $~J0QuOD,7kr: `"\緓X66<˚s]ķNPƻM z@90ϖT@Geb~F}T6ӿ,I!4>uVS |FsTSݜ{k%^r h]Jf8 P>zזh_jNÓQQLY= ק0+WhA/w4t558|W d0n"JCPBQB^%nQq=ͦV0޽ IίN{ 1ȣm7~Ih%TV=ZTr0<`:(.*,\5Xdĥu zاOO0NV*. dR>s*]+(J e^hnbkm4цG8C(_grA)|ΔƲO ,y ~⏛o۲ˢ0b+ ? VѝZ+o+taռ,BA6 ;8] }B.T?6"J5FGVͻE#>JGKd) ~NCYl,%2貇Xwq乨P< ĿYu>$y'=ݢ3wf̅Sg`mNAU2"td3@"L`E.,3.ȓeAtpn=4°*+5JghXx>xd˶u +t!:7PS8e44 ^u52Ms;o$jʧO( JLZ lMsa6e[l 7">P;`!9ZEI$6&eyW7PQ=.O"yC2Hz q/-=V2(IE1Ro dBreVh)0Al/[etLΟ^kJMK:8?+ILxv$=8]}:$J_L ccQj(ĩfH2 FݫK'Lx%>~n!i_րXQ")./9adb*pdau)Etiۇ%k~{>0"鍷#zn)'Wq1fd:hfӴ^еr%Qܗ :xK?Eh"4R>b0@3=ͅ Vgv+~W9cT+^hvBew4+c1i6xkt5ҥmk&Ʌp?*u~X\l=-Vܞ(f!<\Q{G!]g?^1o=EcmHfPuN`PJQI[ʟN6d3La[Ukx3tmb2g~|aNW%e K򌗣UypգR)~L;ƯKvv{[,rO؅|2,JLo9K 씧 rQb_lvM+tvs7(y/;[2"dƃo?=vN" ]Nrb`0!m)dGPO~8x%{c8 zȹ+"!+mg9z-G &-+tWgWUqjyPs"`s j6|SEH<ێSly6Z^:۔ >Epsu:ܑ]'`uKlw7/jof3>>`gf=fQڌzЉtcIQxg8m hR A:,S(gu(>޷;O!))oq8@904j7T#Yh'iݦ˛KWi*_=bg]nX?d}37ܕ߱2Qz/tn 1_`n/]^![c2K^"ͦū"t\eWD$=qPB`!\_3>Ucq۠jN%Ua\foI[K1p)0#BrjmI٥\:?+Bəަ8H!IBf"PhCGc>As'3奔/7)vͺJ~6+,E5- !@N͂('Rѭ] 8)(͝sDƦZ9aH*^fk1"/tnN%yuYb*dj*QX_ CUV|FXh \y-Z/N eGcF. *4 ϕF':zIo}ڬ|2KēMC0bhVzNx08mdJK 9;,~%GA7 [4SU((WETW,y>|Ct}۹a0 'IrK^ꂔHgeܑsO_'77p?խ<x.o"GxoZ~';-rkYD~n_#:PrC~3p,cסjX'P0Z"!|q[1WzV=#JF >Sg *no} IZ(X_ "%5SF*f؇JhmDmZxF\G! /K5А& HOK.?;ȑB vLPj4ogKۥBq hFL4&ᘜ 3lajsƷ ݷw.HsNΫuLrBfJe >݇RȍPSq)z{ l\`bB; Q!˵r7 *Wx,dS̒r  0=d яDMqCn2ǂRvIPX39Jdb!4>7'>!6|g|OO黲H; DxlnՆ~P@lUKŔρ^LNu kTq=A2eZ6熨w6Eh: ױj8VZ]cw«n<,{ղ4ٿe1t48LMf_^q2J \MTxKSIͻ Ou} ;Gme?&P!_|&<l+z-_@G u>T8;g9RJ̮*=N^D Mls+֠4G>Ss{X(J!Fij/!s1bc {9w[=J.#62T M8mgGHL}>>FhitQ-­ \n${K/VL\#;x zmL^HV~3ӿ68Ss;{%oxҠnӵˇL]F0r) f!^ VfbJТq3k&'T4OO qHmV+KjA$`N%9KoX@#9_3qл0cNyv>]LX0>/te`h R:Ma3ﮯTz>>naŧIo1.-j-;@rWІ鵑uɋ~=eBL8e\W3|9W]Q"+FZ&Ux4SwWN}EnnTu>1/Ҳ8U}mLb"!O8o#Dh]>z4ciz} 6eX=*߃ +.yv>]ϙБ k_m`џ=P5e3LI(KF1ڒ2a͗*umGe[=3QqĭʂEaL%G2.3rZf8ii?kޠVrPH57_n3jpT;Je8NJ(C:e#f}#U&cOx:Sp3ъeh`xk樀{dT*@,{u7CK7ϩmD<+>.6)d/鋅zZY@RY}r[S|Sшl) ̗>v:nGWLѺ6'biMnmSFgzʈė9R1[c0V!~jd‚%7^GSڧB5N]0v?]fl|kХ̔4|x\ ìkI&`}-I BjA"F0(̱9fE:@5a+4nj&MūM1#Q%-ZtM]ȍ`z\ѢMIu){"eYWyeC V%x6p6ianA}BBcr+A iiAiBh0 Ǥeu 3[iF88LIƖEwrQЋy[kʸzj-z"&ԥM4wFGQEURT[h+zЀlDU nG(~$"ؤgNJ(Q7vA,a:dwllED>vɵe3gX3Fc_A#}f0'R` 8$s i3ʎ: pgVd;U=MaSw +0bI27=E;ZuwD˯)TޭvfTA,ũKUGtn_ė\SOS ?{M*޺tI)joƵv "NWa(@~.PDTKkE(Z  m&Q?I g(sFy E LYcL.^ 2a}a2x4VX.dV)Xe^AKHlKtEg5bvQehQoDQRV8^śpu+-;sn#Wt$(?7'Yui<4[Ň!>T 灆=%.>Ұ,ONI<ݪ(St9T/{nd=@| ŌJR.` w 8Mm,b'r-<4)_+$d]_Rh$@AogݠYfA]e[+"9VkEyU|*h6/G]D(刼gGدp$?p}yӎ:H!st'̓f:#{ #R.Ӻvkjvz۸CܰPE,jyDU(vI=Ⱦ߾)B [يY\jʘжrMw=8!'+ ~_d*aBmd$y9j!Sd)59'Qt9B(DUނ*ų(ͼGZ.k@´/TG);+úg$`ZmNk{oсdD(B Fs-}S.4l;{6t0Rkt@^S]0n $ *?BU=yۊOǺL4KV`LW čXO­.kR"$NSEy |"B xc3+FE7_n:l|3ȾP3y.]TCuN'LBMq7)싑7H嫳U@TKd_is8n =:1rIHC+u@§ˍY-Q…K~\h,lAbBKpIwIRitU1v /e5,K@H|ry+f'BHl [D MYZ{s{D\P?۫}Ww)M9O^QTdC<$G:6$+čYlVf&Av9c8R ]IxKߪ m CHS'C;XδЉۏu{Q3e>|`ݱ+~t?bQ\}Cun~,åCIJe ɀ5?!h8ψ6f~nٽmnlAQϖA@D˶]ͮW .i|v~_R:D,%lJ0ley+{I;KF۵A{ >ƈ|+緉E$8:<>AT PrM|a.w"LJogI "\{wG`qО\USe]0dG'S'fP*>͉ɣ.uϫ씧JJlO-80Q~I1EGr%'?Ss;ɩڢđ0?4X_*:paNҠSwsjT*\K.ќ hNzPD![M8bרP?rޫ-rp$7Y2CV]uDWE|j1Կa  9 2:?ɱόr,~?/Ei]V3WIv27ۧa'gqj$T‹ d 4Թ~#kssF_4jp)@9jzmI'kIȄ*lIz-?Ng&o kN< ]8LEL4=Hd5ޘB-@k(I[W~"* }|"+2L%~+]ܴ?P*+d7M^êw(F Vz2ŢnJ0IP3Y=A/yXDz-a\Z\ \+IfnbPr3rߡTl^NC|s>\~iaE0Ϻa@:aJ39}/Vܧ\{*mɻwצxR2gİ>Iz23I{_}Q|!;uF$jΌ;Rt) 7R*'U4T Ɍ3͆ˮ 1ƝI#' N]50cg"9:vc  r9 'oDb/(=7l.h%=p\sKx]gVEDvz%02LVɐxԦ|+8lm4']:d`{WQ9nCT~1WS Q2{]`I<(8 L-xJ@+lN_*}~(`u b;}+ͫ%sEf7&g}.cU}֣|6L <ښjخ`iLF0ʊ$CRȗw'w":3  q03|:2@ !g (L^TE"rvLHVrUd&6FvTk?mT~zS pn.bO>E"ε?<2 *ӹ)<'CNƶ[,=ĈEB\Ϝ=N Y"-pP|U(sc5H}iTbf"z5 .7*L؁vб8y|Ke2|vj`iXnc4U R>p%a~۵yѩ̒1mm$:,RKly×a(j:C9uB~4m$h7zM{\vFSiT**B X#TVK ͬ+?7QCFcDOD}({Dl-<66X:, A0EwL]k3TE$$DWg=X;!?W,Ϡo2Fs+s!ZLøHNNHU>~8K!ڡ´Xek pdÞ5&$&^VXGPq%d/ZL }̳7P+Υߨb ӄAM*ݻ s4 Xi;~)U{ Ndz Թdv6m*x4qv7*4\渶Ԭ|Ե@ s_ċk'iD^(-7тfu^56ț=z39[Se#} @9)຺ ]^b/A ʑVmoaJ?*MF8>`# KN5 @>=ܱ;̈́G>ΉU4+:ز dTzI4To ]]C:ʛ"u}A|! 0f@Č&gsuꛯ.θ0rEpv"Va")=JNWk >~*79&9 @^Kc {8>(F'CoXo,xobskظ͌ $I%[XfZo'Wr9IQB0T/.%p{L4_A&OpCA?rĎUn3јlfQGGPШGF9'?~AL8+[IuMg'v(2ĘP5S7=JL"GDԚx7Y2f ԇ`^c ?Q(W Ểז6[+y c7 6,~6:N~a1Crѓ5Sf2oy2ցN!SBJWa r AoetC#k$ R5{HW*L+dеk6Q-Jzj<6W[)6wF"6*ؠP1hlUtXḹ3.%f&9@eH5b\ }MA]A3pRVw/wa :j -8v&T($I \gCZ>~6}6.~۸1$fUd&-ǝ@eZLlF=vpݿ Xg*85)];'ٖq!g{Ix_t_(ΜNCa8}Ԁ(ycCDu۬" QdUrV`(Y-,lqK KY5ܤ]УI' c0sJ 5{gvzu{kb"fFυJ5֩6XTkr*h &-`dN}Vp؄4A}fjL+g]{<ٶX2G/Ь3o+XXV΃mY:vI^I;mb~^Е\L8I(u'V4'];Vqă'sx"ǀUw?Z~˹[wx,hD?߶, |v^Y&ef؜EƠi]վ7ue0aFq3J[!@@M? 8wu!Y1A Ps55n{0u,9noV`bR] 0+1 %BˤoQȈ#,p#1ؚ{lmʛkzjvLR슳^Ns&(?y TR-EA9,e|n_ɰ7Z9yahUj e~3ZkkM{Hݹ"5b\7J?+i jg6[^ Y,ȇDsz\XG1{gzKw6|m" ,MhC=LoH4)Z\_ 󞙘}4Z,g*bJiyߌ8UlqQ8}ϞPFSFa~~B鵅l{[w՗yQQ2?0GĞCs:Ry@"*elT\9ǯJ?*#Mq9, Ex\nP-Xz>(N}Ia'do Vm&a Tq8HcDz•"Og)>&1΁7\]\ãį J{s n!Y3C+'zR .E7@<0Awc((^jШx@oOJūCI9sM`D/ ^#Kv6BuX!iWc'kH ,-{#CgYWѶԴ vE卪#F}y'lhW޲?0%Y %fDc=w2aqJIAH BVmZŦlYœH[mtKw*lk͏肺AB p!ެ5B*Dyǚ\lKn9 <1[Yf0 PAϹӫSq`qI #D.4&ʐ=<X~P{,E> g1ag&RLOmT'M g9 zU)-4uJg>)mGXd&&]yǞ[H[Z9k85QK`NC' 92+B1)E  ZbC$ Kt/qC>"atWa򊐖ޭsD6Hmh|oݸ1Ɂ%z#5*!1 qY+s"zB=}Bc3c ΍?r‡&l4N"90(4BNɢʻ'/e8k}Jv]#*Og4oxls\E˼4 PL blr }W# Y<|nsTT8pU gZ\hAp{ @<춉+?>[X_rA4%#bC LeM, `˻8`sBiF)~nV^n3F2x 8iƌ*Edˈ0R n\&$YnD1c. .g%,Cx}Ww |}0;q~L[q KK|O=W;(Gڹ:BӃk#UۍoDǞapRdE)($ݠ;yHv0rBTU/t\Wu~*}*b H?{)O4:84/K fߞ:qLGmqF:k P;W oР1Xǒ\RyBjg)2G'tD~s'2Ys-eәBfC(mxTE /0<3wqL&$3yE}D uIƔbڒp$}YkN9$]U?G]^r((?wx^3~+=ÀQ&1Nyi a?yDNiio5{\r*c^qKQm+7ZK=qT) <~DRErםZƣDZFq 1Muɹ'$S/p$*NvQ9|U%]ͩ56|ZϚ*ZN̻4ab &K)Տdg=/_$&8 ⭸WY>ʈח9y:RP'7Fm:9=){ۧjVup0cD ڎ;ia}T72?%ۇBJd N$!98ԩ9IҡR75*r.%p>Cpw xP4b7{s%졬ۊ-DQ@A^T*׉UF\7uu FxW:TLǦ{7i~a sM$ W9߲ hc$0Ga9,'Yz3FNsҤsu97.99 `SS(V׎Y#n J:P/qګYwYkafh~ǹ B% NjmI0 73O R̓$sƮ\˩1܀