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  !d, ]]]HOL-Proofs:threads=6elapsed=578.012cpu=1428.988gc=243.604factor=2.477zXZִF! Bk]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZRr8dӞRNIݑL}#weMfYPX)`* IIwFn!D( .u_8qQU} GL,Ii>u~T:Jҥg#hf~]H.=wAn9:*'DUHy+^MvT߭cJUIK~bge6V;:KLPL /@o'b/1rY{1XJmH9cp|񳪗L3L5~O|4CR%cYӬO'c60p`oʩMSoFx[~,hx1 )%.N86^ɹ/ǛLUym O^P:#l9TFq^ְCŴ9L^W՛S"{X;M{W{%Veؖ5AAH50d%+x|Kܷb-mu=ort`אl*/^ 2-G/k(@Tq-{hN!,) 2ʇFƠy*{I-Ө38_U`-D j .ۥb/Ήv7q2VBYN:cs49q+ 5b*`ںmFMdbpdWFCORnm(΄5Y0z[ ϻML wa *^ =XңiW Aq  ! HOL-Proofs  =䊠R ޺1]NՔ.~K*CD0@61tҜ6YK6U_&Cndkׄ  @w"9' :̘E=Q:9h59N>H.LJ|gpCVNߴ1t}j8I_A<amuwuu\RaP*äQHhrV_~1Y+GCT  J6"q D>Ft*!ݓP٬63F=ztMbR)*UAWm98AgkP%xsZ-zjk`'Y2[ۊMI)đ,{APMxjgB|mzۍ#?}f|9yK"^y:3cN1 !:$Oޜa:j)Ez]qU*cr4CVē{m܅?)?㩜^XOG T&%cLn$NG2GUȀJѨE`[ܢWk;oS!;rH٥x(M7]|Af<-ٳ&\z.4=>X0x&v_D{;;jGDLګ7`,Iz}̈́ U(ÜI 5m֚P&Fv[јK'wB@굶7NTTX1gTSKRrS &(b]Ų#:fvGIEHCNd~Hʉϣ.^Tcuś\X)9S{慈-^i:~! 1k!osS!tzG&3N9`WOtFvQ&Z` l$nt(^Vg|`?|dg呄w7X\<{}\>E AE;Kc0/#PY@eam"G(eGJQH%LíHQOz;zG[H ^P6W}עs]V[2#=`%9jP)#(:QB;H%HJ1l-Ώ}8]e{  1X3d#^ˆ%({aFYۘsX$ppwIR{rc` "m9;U&V& eBl_$1&?61x'v\iآTIy9a5`ӽ5fcc<-m)k*|:լt_L (Ю+[?&È*bop&R) 0_%'쁻,LN<< v [Dw#v{2:90| ,4.Dm̢DnZSE+7gK,H -/T:mu GEVAcU` aaCr1di!Y)?5p]z0GtIgR^ C_HiU- 0*t;kx,H4N 6a,z>T:ɳto_a.\(UCPE*R(jP=m/T:)z^ýDFHc=7jDe5ACcI5tmE0l۪!Ľ[V6Rߵ: Gكu#ݲu>yw#%E&gn7MDï=䏚h_]n'ۙq%21 u,\lMj7SC.M(VZ䛜cNw^9Ӿq:ٌr'g(23c i7kd }쯍n0!rT*-W| Z6է= SvSjIi'؈ $hkb*| [vAJ Ne'®(p/@ɤ>tZfGȚRu;Uni$%fFc_Y{F}hc?}_+lXѬg_ՓV~co&(޵s_`a\-8ߝ Qj'cSFNK0yʑg.Bg֗}j,<%*I PDmKD^˄ƏA:wťɱfA~[c8 !xDbiü?XA(_TNW,)0LLA{%Ik` ,#H:θ^줂;“˲H?Ii +4&"菿{w.TY׸difZ{:J#%pDDg[ cjt(4uv,DiCs)(I)*9R_*tmiB#8F|zS41P|US:HJDϻ 1q:Ec;ē9| Z>gLڡm9pYhͶ79ph{q"ZbԇK_FTuf#a=2v]53%;nVZLg}/go08]|+ [FOy;&}Po^[Lqyxh/_Y[:A!Y{ X'雘[WŲБ%n.kjk? R#OkR;k'[[ l_qUWg(i=8t>m%{r%CԷ]u_e/,*c~ 7ZF'J9ErI3W?xK B.jYt=< 6NsN-ÐӱwKgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B/ /8^^tMW)Dhe9-6Akyl,‰!In}|N^v'Q-rWnC|)Y\֜NK[?[)O%L"讻޾}ňWmSSrd)WgM]N;*-GMoj狌 DŽ[eL>[4yڥ|ZzevP%G Uq.QDϵRui HK4fv<Xߩݧi𖭹29_w>-Ty2YDI*8D_؂m-S|B< 6%ge֕ p,r_VJ\Gɞ&|P9 &~BYI0Z;޲5 !=WȽǛs\Ņ)-gKh{Q>᫈0Ln kSH/7xPr1&;XOEb#}wí!h%$=NLJ~A뒜YDE7nI(Ρ0V1uo9H~Yv̸{xE1&(Q kZҽ#q T]xX"p5- ibI_L)}Gzbkh_t~̀T&ט=j>y"6[S$E~^qqׂ*oOE6gOc?VAqsg!UNƝ-߰7A#^J%q{)_M,fdʮi15w.U3Ւr_Ŝ˾B}口M ɹۊ{QTcOw M0{]|Wצ9كD:>錮R Ԍ*q "Rո]v`ix5ɱ}uOǰ 4Bw͘WR<기|[R6n,=Qk]zHY@m(B>3uQ?Y 7$'+}=WtO3Cj. )~WIh?~f2՟fo. ~Z׸I8},q39-~),ߎ0bbT }6`WUk1UD !HNRZ,> ƴ0Ԧm3XypͽccjOI;ygMp S(E\y"tnκкK*@#Tc;:֊wIAd@*2"Q83? =ކTό͜䫄 l^{ZlM=3,mikXsXNS $Qo~:HlTmoMarJg:[b"<3,T?CU,87'! Y^? WU(We z<9va[,1Pw Ub1YH b5fBQM9W+-j7RQ`wbRE7I&'/<RgwZ ׋p߽:7bP$иۛ&u&6C^}ZG[̘G0]PԫqKm8!~U7Tm:}cJ+p]\JGȉXauV ÛЈTT؜.Q0~kVAH:\o˓ջg/1`7Cj GoI+"n^H P:Fa{*I'Ty":05qm(XDδ;/$I@+(ToBS#!@+tTTGEpFc]g$9!g7*O TMEXW{Z[FVFAu5)0RZj n%Xάź^3JdxhʬF`V|B?hU˾f5Op%9IJR4XS0}5rRf߆qSF̨4{C enzqNP~Ã"W>r̨Cq% 髟&b;y:}АTE#ǟ=e)X9͋C{ܯbC{1_[o#)D tc뾂e7?mDxpO8v CyxrRmhD/ ʂG]t>ۋ+c8JK77y(D LH== MDRoC?J?"9ԑ5n4fdDtU(OӖ 9+4Ըv!$T!zrSkq:6 ]LlYL1>1Aʋ-9Jb*TYX.!vzzQcc!}Yu'&bmYyqK{c=s6wEhz8 }; ݵUxd2[wR=]brsA(&Kh0 ED7i3{L9 ejZJR|O6e޴fU+Rϥ뚡]QQ3Ak*#Vb Bo.M%yV}NNb1LG Arz+Z4=rz Y5)FA0'knV!(jZ] =/ȺB -Aib)?J 3Zod_csz_= ya,7`p(HѸ'Gf( k³뺛0`>ՄiVf Tؖ& Lz6K,  g`)7F)@O%qwHēBґo=Ct5 ܖdލ߯ ef-w_ļ ~՝!8cT]=k>6(d*<ӈ$pu58}`p))e}BC,Wi'gV7DoP(VVGr~mWd}$n5V.QS:h mؔ8|&h)' 58Ӕ~CC&oc7斲%A2p'BdI ͵ U3#_c[7soUf&`=-:ic1Nwm?> D+؝`R-գdg_iA>i1#X@ؑ},+/l︅ Z/d Qz3f[O,?ޘ^$OHv:bBLV.qgn$1L -ߦG eLèU$W׆[ ܮ9JTýlw0OA*}] Qll%' WtQF1/V$.W{~T{ECֺDMfS79h]4(`luЕ{Y Vp4ia<5N?~/$g)jjecf?I [uۨl@nPGLFg(G%^{jRfz,py4 h$22n$:Jl=wGUþ2w[lAQܟcxi8ǭ ݓ6j XI9ccljo23AHTtA (~9J&!b{Vw۾F>ڦA&K Ԡ-I'CUҁJɿĥtda!{%ܕ3(9G-isx r#e}s]w6.G?Cߕ5,:\(ëTG/ӿ[`'jw,N^}~a_{ϴPX.ur/rSStXfRoIA`;k0Vg~%.\jP&]zl^ruaB-u@b! Wp4?FBH#gtS9G7ɗa^1)տEj}o'=z3 [lR,:(߀{ocfQYzEm%ʀOɽt Hr*K5} VWkɭkZJxq^@3vs0fq+n˂XW yE0g~#_@qtN u ;#P@褮DZ.2 Њ;L#6"C)*v=.rNp\~kPԴR(,JKb2T\SN'#F\^#:r̻ @5)tKY$\!e zlpK!n᰺'&x74U%)Y RFǁQl;pTT UhSQ Ǭo8y-vu`l㩽i&gs+ZWP hs5r:I%[ZP)}?&Pt[lK_@np}h1΂i|>퍘ՌɰhrlIW{%$rGx Q ~k,)B̏;'@y*|OJ&v$6KaEŔ,%f/kMF+ { Gv(% neu,QH Wh@0:/q@973;i% PZGI,b+R|369mCSZ@qi8749=u zkDmZOw.m%ᖲZ_V3?N2#\ې[S:@{P£YJq5zAxKd$g$8 }?Ѭoχg@Ł,>~x|ۭ<:8jL梔pf44$ xT t%Om*8->xp^r[4 JDQ=L*g.ʣ#pE8AJGZS͙wާ 6BwS 7=|>b ަ3-=jJVރHHףB|ww &Q5XKWǨ,R߉;Y>{zT+q>ksԣ;t=xʄ ]1 e'+kCEKrh.1\e-x}rJ'thZ\3¢L0<Y/*_'InsŔt17c~HAV!:Szm]&x8iW zWr}[{s,7^{*mx>cޛx_`' J3G(̨!84,Ɓ~',"ÐLk&Oq_#s p.:Yal Dj+7,Q;v-:zs`鄲[#"f[׏ty%>P;Ojks{ܼ#!0}3ۓzTgtc][hj$D&q@iU%Q;Je y qbE ZBUy"0 _Σs%ޭ(n>_=@M#fVWXk*5Iֿs8x[12mwIBkӨN|U-FS}^%ǰXzDrzJ3'`k@!l  OAޏR|Y^ClT@EӫA%,xXx[v>}k 0q͕7Y?OaBeTj!GG!Gçeӱ7 Dv\yzO~"K666)`oB֍fI'c *lMf(QxL`WG<ؽyV؛@wh]}>N"eRfnihp"xբpe'?./_{BDȍ:Mu;@W' E풭!:n{L8U%[1@Y  iڪIwbۆR G]X-iɓ)ŗV|1\` O}S/ U7)^kafvYcMKW`3/VY5BYӫ4}' Llڧlv(WlDw{ ݻ_lh@2d[M'N3 q}d~2 VPCX}G@xZ(l2NIس踖c.`̀r e竆o[(ADEMA9XutuBV˙3VX<7Z7)OG䘦j9nNJ\ Kewخ5f_,OSJv<3QDYP[0o\`.*"нOd}kdb# xッ{I+~Z SآxV-WUk<TWVL4yLWjFp,VAu2.<ܸz˚|=̽T5as)H.Tl:UTt9󜀧"|}TrCm9e*Zg|͕la6;׆\X[yPcI<|=?#G>ҚL2Z OC;@x XKBSQ^ JG"Mmh(YIqcu@!!VLNK$ :XUc5w o~ >*@sČDMݻӿ:Sw})|9ŲnSW`Vvv͐ũPJOˉ8^QwstNl]8ҁ:wG-w - ]k&%Ĝh6S;r2 6PVP4$Y{Aw'Xȡcw>lćL#;1dJ0X-,]*쯄8AvФi0%~NC-P]D8%flQw q|4E>3zEjf Ei39OHA IiQרC%!<ډ͠m$D׼@rl|ʴ `OVdDh#Lgp@mݹ26w2TEG 7l^9bL BCH3jy6>dZو:'ؽi}'2Ϗ7; bxOdk|p:{VGW/o: j~̪~v8niI Tap*[8;7 wML!Oղ?_L 2@l_  Oz"2C1o > qU=bpBm &9b!^c hkSdl)YAHscF*4:[^w:[ˏQԧo}[tb12D0u3NUJ+]^̵ c*m4-.+.t2Ib &RF EHg!*72Ca5AtɝvstH>]O0>/_; e~eEhc@m Wgv[J9Lb֪55uvF[VhNC}kTEb&Vk\ 0.T^G e ebWEh94=PRH1:a#W3@D%z Y4vO}gǺb{!SH՛J>%g_?ݶ4tPNq)XhU{x);?_j; :6nRWfSa0e^5'nbq:W2\hېo4gewTQPֿn4?SH E(ν)E.Kp-$NWp۠o>q5B-*vLVռ= wx[f1] ވ{Wߛnk%z jQ|N_T&׺5ȳ99RwRzIg^9džFQa'w;*jOec.vq(f)eq@Պuː_@\EMT!1~b/̢l2HĆ׿T[WȥJ*|PXKQ."*/ȹ+4Deë~{.,K|UTB\P"bC@AidY- `Aux"s 4%ϑ.XvϰbL,enQ-=,&6Xey 07^9t B- c}Ey#S%M-0[tC&9b*auPq.qz)<sz"Oy;(堹+3(EB|k]yw5r n8]1֣hB56TX@^v}}FlO'SU*ݻ)1o<=?E~U%YȤ6^ћֈSz}ardG8I 8?&6Z5++]`ߢ? Pc 8[_tgdvFt(3b3Or: ~u/)Â|K߆´_9QV?1rBMd)]iN}c\0Ѳ;ߜ֬8,T]}iv#Z=%4<~z} Q1A,?r34Jo9|O&KwZ>Ztare=L$R1vS6p*q` ^%qB0mqFS<Qt&:;4#P/[(0Y˫|\OͭeN~Cy"ƬcG?er/lvU*p&d.>Ѹc2qisqY՛_{ $ Oq3C[PeEyg1* ]5 (S yĶ`=1)uʌefr67>coUqZJ!YBwש#kpV61Dwjc;Ģ!NCR&GIi蹻Qx~*!r;r3&ϺBȗAl<'Ϸg;֖(sQ/u oZJf?.zq{Jz jgyB94fAP`?f8YNvHsUuI01t_% a /\$ /mI[,˝pQ,z7, ˽먡_'q潅͠ _E}\7uAtbKX/Y+6P$UA GIAo Y)kk埙`ٌČy \ m]J=LmA1+mڇ+6j4NӸ0?ZxBԈ[˴Y?q͉p`B|e cX:iČAc}eKP^bӱvpk ]B//VV{\pc`* o9fi@e Ld&΁|Zx_>kQ}61獷_b݊yIJ7 V]~sV,<e˝:frbt*\=+G4E%MN lІOw.qUʐϞp$YAfh](@ ڤ&f^ M3-]9}쟱SzljY4a(% 4wWSY)n֦]qo[ жP_`>9'g9pOm<SauۑmIytN=ա_&al\T"#:IK]b$qeuxZWwjn9#.:M"H,'o2 f/hr*<24BWCPЅI<6ŕx9Ag.x pY8m<8oh"Ual <_e:U`M~Sƫe6`\Mް;{/ y X<"2%ͨ1"/ɠ OnY?HƓMxE jfߴ6|8 tN7'43\G路5QM kHyE0S4"Ҁs̐jNf A>Hʟtݨ=~N^H[])li#hFӐDBiLo :g:T*#Y%2b9 d0ﶴ9zJ @ F~rucVS`j()n3.trCoO5J+Y"٭B9ns˽"e|,=^ Ӿ{ˬIAY%]eʊM1e+;cfNj?ۜ`_ J?3 %du m, _blmE7/\#4VG |]}N*b>SR1UX$ۈ.hFudg^0ndTg^- d% y.q~V4K\p-O%;FE/n ?ߵP5X2#lJul/p,%6-wjVvVם6J{qDIHb=@\Ω=3$MXk$#d0vv*fS:c֙%U^_Թ6*u+tO @?oG:!sKD ஺\{"ζi ̰4f&1T9 sQWT>KkmcP送~''>OH!"jTtʙy ڧʺtj3#{!o&] p8T!mQP:gkڅ><(lOotFПzϥςNlLY/[̅:!h[^B0ֵQ`=DQ-ٖ x#Dl ɧk3S ^hFO,TsT h k%f-o>=UjAqrg\:ENՎ{*NQe[Uqr=.Ȥ gхyaJ .IWGiBĐj}3:U2|zNF%|9c-J/4mK@|%X l \2/֯D.#{l( OҘiv::2ފ}c'>pS0(ܓ>vo2 sTcMq&vl?[sס@ߙg &w^deR4LpN򂳚yJ&AzPWlXErYپM> A&d+ï e[)a~=㨣q5ovL2_[updŢZ&Ҷ$ϰO 'ӈd l"N.SJcQ9j  5.!e5։C?WZ/-UqA1>=, BQ>P>z~nM"~U or\u-Y`%uqXC@li;: U0:\:حKNvKs5Nwr1{91j@5\c^R("_EOū  3iy&fU ?(m:,^^ppEbbE(LoFl|D(Fz˸F W^R0]TspU~@$'NȉGGѷŧЋo7@832,,䖴:Yr;S5"F"U4E~%[u6f5#LXY-ZSvU1d}nV\׆2/ˬ28Dp[#"oHijx(n E2d6mV/5i怜7eLdSH{q$a%Mm}G&>[kL BPxzs$\\)AXh;vJX3Tf"n] JlWe</{C<~5~ g9WRkUC{O9RSڻDž5PBL7@-;-PB`ttw>, ,#~LUp?OE ì:h)CX%uky N 毨o4{j2M9rpAoqW'KJ{IujtSc *į@Nrsw*0!Gbn1 ÅQ7$*LWNiXՆV 3w{LeN P|Ye=qvhq]$vLzph'we@%f٣1_W& (VYJ,4w ^( )&h <|h(7j Xˤ;L&:"P>+iC\dydrwKbTh݋I\yidCi8¹Brt:QJ9 @HRvuoԯӯ$g*-P[Ο]Q\"at߀t6tf+먢qWjLXXzgDH.﷕<EtTtL)IvNy[)r[L,aOW\U)=*N aΓe ^Ѝ*{僩*OpiqA En݉-ҰH[ R y!v%;f `_5Ί癟%Wr2y!rtD !0am\z-;neۉiRe<<:9K+uv7mc 8\%0,Ɋ?W9 Pˠp|w eyok/V?u&x&sEIu9!Cz"LÅ[Kq &w +/L~ :τ(v3tdF٣}zKytqۦ^'y?-貇13i#m!RB]5~68-CBFB)CAD89F )\7r"ۧ!a ;bb4b&ٟ?毜Fёiӥ Sji6Az `,8Zgx/8N`e4j<޶P 332$nm1IΟ6tױvѥQs례9qв'8I="C5<. (%(_ӗ/B}N&bd <,) Ƚ./%ՌP-MdS.Je^bF +Ls+)9'oj9Ǹ;Z0GYĎlRϑ ̟>xYSO=siԏs@A9IQCq/=JQ@6 cJ!3srIa#S3#3N.Wh\8wcU^Hyv*F> tN0cԷơ* XmxH'/whpC,“A}<ֱ _QTf5,? Sk ~`4Rfl^. oHIr|~,HaFl?)ɍ/%EŊ9ĭHѿ О԰+S?K*}"3,v=g;ߑo+x\ Y

SPF+2vL=snZf C@ilȊhͨō g|SW\ ڭ[/.wisTrKi]9+%*I@^֖3P^7"YK8E O"ͽF 䊐kO@;3T6F|mӴB4(c&PP'3.#hjZQN(4sH1fKG!/~\M]k@JͦB'|JAQdewDD/}c*k :A16b{Q%%R]6O^C{9k[|uhéGӲī3Nz ɾѵ*{㱋1(u65ùvSx{j 9zg8߲.)@v{o'*Mytڤ^Zg!j)p0Q4rDڱ5pQh/t`^v%#xhϺj U*}E&=֩\[\R$1Fֹ:j:?B&˜|8SUx@n{'H8RE$VP', V.T JLLj> i,dt2scjjЬD١ʽgjS R K˻8V.T",%?ѮKr;.,&mh1{qJ0Ŗ?F(֛c,|$0Χ_aJZ}\9C.5臙JJ*;'!^ Emh6܉{=6Fd" *rzUðXA'3Iv廵=nCOcQ؜L51些osTsϰ,+o MI:>9e+_jI` vsZc7nc1_h+9oJe[(nw-$#\Vٴ$q}߶λ^ ;ssR/Ad8(oUlPx"AϮ%{n!ys_#iRZAH,FosBڻy#^O,פ Ch i/`D6ϭ^b,$ |]3;15@mNѿ9 yfF"Eޑܩ4}Hm#2r6(\&ټlӴ9X.RxRrf}o7YNn_67?b12xL۫[ "`TČcki6lrb;cf-hsXWlQM6S,, L%}u->s#[d@FdP_QBR=1>L*:ҐznEÊaas C߾/J-dXӚ1 bA{gDc<;!16^qKp:Bմ`znY?tIL" 8Vɫ#KUc1٘>) Pa[!4W˒`%<ՙP)ű##yqi?Y07zf]`;y{dߐw ÞPRoU#xNUQ_OM&r>+? dO ɲIab|b|a Xt|-_IJcO8 v /7˴-XC#mٝqpj `}<S9="uF]R^F[h!t( Q=#癟 Mtz@씚3/ab:~ 1Fٻbc,*9.L/d/-f/~'q {ο(tߡn) Ki^~gfFe,"H Ψ.сPߊ߳P<#]G>mm4exp]T;#n"Qt >@2ɮ$OʹE%2H7B*MKHww[ `r=?1c gkܢZ\VmKpjb ?ɺ/cLHnYo "&lW꫆d[~/r~gl= =9p7A؞ܲFiJfL aKq kSs4տ"q'i'P(Os9 vV#6en,{DJ`ul t y)S4N9V"\˒J3vSim~V X w!h =p٪JQ>^0do)| tCM% xBrQ|ǭ%ӣa"aPRc2U]l7?M{fTxp":-Zd=Ue䅙쬓#vC"yT6ckCPXp/߲G`1fj2) F7̷#Z#7A **' Xq\H}D MFů ŰT=FPg+ߑ#LU"DU5i=n"ol8XO6$qi[Ќ [Zl+/m nt3cٝo7*ԛףGC,ӻȧFz-Ibm7N37,`XXR%ZؒLZ/hs(2;قggT&g%/#VrT}4{+[=˜M3&F>A5=_s۠_L11`&S~:y{y?ڽ'6܇V,U/ݵ3–~Ɨ.{룦?>"T}U]>̏= S}_܏̟P>8dA/6]N9=WNN? 4 9;6JK׾-ĺ3H(vq)#uYCmY EM"͂*jMɍ1J[5g[4l};a~oJe,zJ0Jbz_Yvi孈cVHsn uMWNh+'rXzt?c]<HXKƙ&Jkbc9t%i>92ָe<紃ieNnDjŊ9RC@ʖ#2hNSseZ YUڲ^mU _^;f'^ >53Γ/E>ۅ3>cMTH_FSjU َG5F?T#x5J3_^s%c7TsTg`3/w IY1ujXQ/T)%N?{& uRߚMȍ4M Df`b6pHs#K̿F^-L "w~{G`tA)9dxUQQZVW`4\` L_Sof- D}C cjf݁>@G6KUӲZSڙ@}>;0H1ӿTme~KBJ"#q%M6x @ZECq1f[zX7~!TBb#,%&i 5ɢ:R`j&[WV/c^K|aN4B]f-׵sdsn y }nB휩db(Hn^@j]O̊=zsGhҸ?\e{.U -HeSCL6'fW[!eI0ؑ5@|`p*&Ʀ\Pe@NC! (m)4aQ=59QDZR&mWI[1ZnA<@Oa9/ -W0Qa+rGÆڏ(GW_oTeYyD1xwSmxF܃WjKYfEGY;{24:CU Ew0# k!qCa4I_Px_ͭt_~S8Bw\ . ybtvnP J&?!ڎK6y<ϔBbG6s?I1)*YiE!븛$bvꌒPdqu08㣍S`J}NW+`Pؽmj;G>% ZswO;QdbְwX[бeSWdMg<Ͼd/,$e;`'A0XlKL/#@a؝iM)e-ՠIf`x6稵åirxŠCbtgBMFm? ҇pW1vDKٚG5BrY9fqΫW{4)r0׫X v)]@>Pz8% -iP?C C ˵q9^w-fh++kkx6zT B8XL,,DiIyl0 GwA'&שf\Ig]Srk*rXZܬu7íoܙFD_JπAr&l3:tNN:,]Z9 oz]6'k-sv3 Ehsyg=5 J w(nR"ޖWEs3AS]X}.4<d/Ol@ψ0YH ܕBT|Hb\KmB8T-I&<*)ax.3fk]ͤGe!PNjA6[ҰdrefEXz4-0Fs٧aN:qoHQL#VJucF+5'@c_*BEle Ѣ@#Em\+ܸ֜J/Ʋ+;/{=2!2lq.뀳`(?xhs^ w jD# ~ d0^cBq:TqE95YJ՞|օn;`$ح Tcip}Ud;W]Jt_?2>FK!CF^C 4?=FOFOΤ)Y ]T++# 9^R~x \۝Eɒ2]Lu0%yY@tS%Joi{4w,܁$RF W`RUm=â My^|o?uQI-6S~æA79._ASs7u[iԊSII.׳.&fvB|j-0!Mx rWS09lvӼ' ́;TFzMs<.h 6WekUGS2|dRc @*O{ekKk $p:(RB*J| DT<#au][ru*9'{689;Bm ^! NY x+QL^PR2 ԀippRT`QU&{) ܱx c@w8k4FFށȵlsp}r/_pyOL<"`X6}g8HLaϿ,"4Yk f @2C!i# b*X Mwz!1+]v\ N9 .d: I>n51Jv~ٍ}e@4}`MViO`fSTՅ}, 1x4/[7Sn~G|&]PY$|O6WXv!뤎g Tpl.fd0;fɹ@d\İye4+Ռp @VC{YNg`su_3m(Pc$99=&Cts#9ˁk,?/-wܖW]%Yj {ݫ:BNblaOmbu߿|P$eߥ&+)J}8/btoP P $;׌؛<,ЄL}P- G~ox aY_dU74b0(C8dqw,<Ͳݛ@}I{}5ʻ yPVq=K^+,驖P@@MǦXL [B4N|r;(`Mtrzv QQEn*wz(Rr,mb [{y}w^9YBm6qOyEb'Q;xy!ƵfesG$!/ aR.=Q7I I3\eO#LXa^9~q7ů0ˬqSխ_4^دεǪҴe~L0g6o]̴dHnAPZ4ӎ*Mr%q=sE`ju^2o)P|kuLq!  u'2,-ȑ)ٓ-`dTt Rևm!BĽcC ?cĂvC{ͦ‘9Eqj)1O -faOQ =C4/g~-#43aT0xagS#V* }tLz6M]n?޾~*0[ُ 1r4]eGuy'Erh fD8)H.n[Y* 1vU`{nwMS2P3q?ۨ>wy&aD{ Qޛ*n; m㭖t@:s*={4oQKQ9;7+DDc<6VuQXWrJ$aJrZ8nKbk|iTR2B7UWKoދ]ɸ\L^&38R&j$z`y9r8o,bJϮ}{ vsC`k8*g)DL' /Ӧi*@|Z~FBoo⟝'Y,Wt&a_J< "5z<㶺~!^'Mjvd+5E. 0vWrmL-"/멷,`+'*4#_53<%{AL_CϜ!پ|h6࣢yn9vi«ncv;6|oCW_Rr-8쥓dA5AebG rSbeJbw9B͏\ ={BkCth}1;XncM1nX[|;n!˗|-+1H:XÒ Mz`!<^V@uIیeڹZjPn3\9P8J~瘒d(_CzUX&\X( ٍUtXL^* a70flp𺙜ԗr\j!b~vZFrGe2~k:Pq'<'~MK7?W|BDA ]Oрͣk+/K-cT!I)"-γiN`o]-uGLy:,^+W=rZZ| t3g$g TU6%B]>ׇKVh縟IF= 3ݗUʅ1Z:ũ)x6xsEYE 8ڹ5ϙn-6؈7f~v74F@E@&`L/bcMlz3-B}9lP90 =Wjrl6Eԙ,^D v#ΒY3MC$dg1ܽV1.&E%h;֟Y9iP&(txG9SOMP!$kKz)x 4L9˃4Eg6br{T5%HF9oRH+,xd: Cd+FJ :%a~k`%@,=G8+\԰s*JkT/z \ )$yR˚m2z U+bo B