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]Incompleteness:threads=4elapsed=487.877cpu=1176.828gc=9.708factor=2.417zXZִF! }O]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0a,>@\9H"S`r#b0Wp">.5bJW#[ŏݒi PͱnM0Yʥ %=pFRig躎4nSJVFܵ_`32TNqbiD) ՅL\3˕^3ǾBa#jLEXʖ n[j noH @Uf*#G `E `5le,sfP+ѓ.Y< -6 Fݗ3/" ZF^ g 'H k٪XdP8H?-{}ʹoq!%߫Z=6o!36YJ%8iji^8&{{}Q= [֦p)8Q/ѕWNaIg@Di¯W*scUb H'+x0;"U25%Alrסfk,-_謞 :9~)LdHz]upw925k> Dyaw:Š3!\4C /8R'پd T)]a&6qXp3:MmxIgB6A|L [KD.!19dc5%[ mg]X׭inU17@RHxQ2bUrcPMxaY-eH㔯)Ѓj >M%(Nҏ4I_r.)l25dVm s[DqE$Y0"5RM WF}hLq7KsL*yޏ(ͷ7.PUbԳ{ p#_L  /;߇,B@Gd|^xNhfE˾a9iLg>p*PeZEzP~<w şs3 ,>N MKVKB 3|Tk[ЪحȇfTTTRʏ\.CxHw/- 1ηCa‰v4v[5BNv_e[15ێ!qM\ Z;J]o_O2S(k5pC#} Nqw̋˔@(d(0e{$}E_Gzś=:p#n ֐j#m#@T+7BaBɊ݋UƏ醸 )u9ܭ^t꠵M A1ZT4"yBeN(.j4 ]Rx+>ll-T??(O4!m?/w-3.h*Ɯ~)o3#јfU@ B>KoMPi8ۇ֘ At,wW"v"`/JNq;sZTPK"a&n .߼ཚ!Zw\׋ 44qZ*> @['"UѥG /VU]RACIP3q s Ձ.>.MUACD, c|`%lG>O'ɠڒMDEiϿOUF*o(pCPJYZ9\+9@ bTŵK>Kb$~<%Q&e97Aޣz9HԺ,5cՓeDԘ~#15QE=B#_ǀ1q!b*j_D]Hd?l^ =)C]#٣j8BTlG3$YD 56An3SH V݆ .ٍGȤXcyS@>5[Z`9+b怞JCʆ858 bx.2Ȇ[}Ebg /{.Ϟ&NA_ 3fB>II$H*d!!P棇sA]"o*z ~7kզ~r+6:3STkpJ0!JznEwvKn~dw6H?逭 2")`U:Tn'K22c11|BtεS箬ȟR1VZ:>pcх: =#u#{-A F2&C8 Q+L_M7bϵX%xלJՆLFe"qtM?8=}¥Q̆`+ i zZD?0ކ#09Pϖ`  >-DeGp3t/ ]]i< PrgYkQK,Qdc 1woslzxAjI;H+1_݉Jc5A#6eQ.dС&j~Ǧnmif%=yu,uvyYZ#^#3 lS.R h~ԀF˜lF|tuϊ5%’fX_UWj`pTS]޽&Yt=siyZS*Xs;yɗM{v\|6Q_fҗR bb-oa<&>R[8=35T/x V'֮W@bX ;6M_d4y5}[yժfc:jB5l0զjđxk? U e<TbJFQE9#$p@Uv1Z4#"[L@s\aL1+_=M[631,mE01lJ Lʜh82B9 HZ$rx[%'xj5xy)I,k)YZ/sBbJhY d^aw/ZN1lSMP?˷^X5T.$`4IX0\՜- ) Incompleteness  Jx@t#\OIJ!\Vc-^ aR ,=8m-27[1ucK,`*jCG5S\3+A}nq;ڄ\Y-„|iFR0 sAx NLDsXZ|A+SCX-ulQX3kwϡq4ޮ$`-z8UTjl,#a'9ލ<-%4$}:s'`dNkulu WPX:ǩFbH/2rg;_W^YϖA<*z `_V\dW,֛Sv z0S6UĝݕԙLay`lf_mW7OI&B1Gr7wA|2R+O, (2bN U~fvճ@!d2ca62yrb%XpJU.9? S_}іvNȽ%N{FÉBgeצL,bUL&DeY).`LlIe>a95775 X_\ٟWd1E"T'O4Z5#7SjAz+2Mѝ;`3WZǍiƲ[W|vo^>΄Fs!f-=+ά^oxt:4z"^ -R4뎦Fڡ8/{b?xxq. X!Q{0gA\Y_i3ߚ"ncI)dqpewO캓.v t2zVMA4+%~v7!S` \Z(YэFIޞexVi.+SV>1o_;ɮ gyHX$ҕ%7K\Cq: G F'l=qnM:Ѥ8loJNɁ5x3ЋzOZe)t G,Sbދvи7>1a#]+"f58!ΠFFG8CArKwRMzV;x ђ& xE VFC_qnrP^ޖoPG hTn*跠z( @z)>h/O_2삶X )G:W4/s?yY3 ^ K F%腡 @e8j;R]Ttꍾf'yX[1{^x"+vgQSg`~ M$< 4DI<98℀s;~ FzbxgQ BBqS?32vB1AB\ں&V j-l^YwiXyjv'kx /SjƼ"םی7j4i-ESRQ(= sorE15@x}Ӓ Bk]¶Gv wSrzoM`IW:L]ƚJO)@[oc:@,9 AvE(z &᰽)ڳe?fԑOg 'NeڳǖblDլ: ϰCc-N/[m*lPQd6gyEI:gsDg_P 3r"'=|]{)L`QOfG 3dRJdq}Uj!Ef{@B Uj9KXnc7@$ݨz/FЙgp>d`*<-tR)}PvZU<?*scV#Ԡ C;jzKĔX \1 gE˦ɂUT+>RiD9 \rd$,g P/1!^^s/a>,v2nfq|>)zCXj L8Fɔs!W+~Bs1j#bQU>Ey&輦x;[F25!J KphL)&Ihg!uor6DU74 НZ&{>K0LH\J !s[+zkܧoB@=|nǿeŖԛ,$S!a3[s4w9 v7=9V}t s"nR 3,քFx ENfAQSDs7v=TT:sc]nZ˫tMTo'`;m&Ҏ#<̌SPA&o%06)`(V80prp|CHޛ+kV2E']Hi{ì}ˎ"ze'OALT~,Zܤ$\ʬ2+ 3'IukB4IuH]2੓+P~B!M98^_x2=YS<._r86qƫhr,5v]߮(58;3 [BW<3v}H5aD0IW#arf)iPx FAcij;j E hnnRN:H4a!Y;c۾n}qAF%7;]w_(,qmz/fhq!Ǣ]\OlI*l\%<'%IJ`iQ y2vj^*t!k*S~KZS0QKьf)y<%!l7Txz;Nid7l͆])l~p*i IϕFʢZenhAW :ǎ>< ErJɴt.b4QV |0RAY[AhX &ŀ#xPRХÖ5+cT,*f6Bsʂ>@zg&7 sJ4_pgN Ja]}MhXRgZCp CJt.(œsLQSX|csԂtX ,/>T?~,Wm=kGʊhwAkK`g~l>\X)pgYZ7zXZִF!  ~]ŗXiɟ頏ā˙مPn /C$!ݡ{ (u P(]Q ]:9|d=l/w4ܩ,m2WDi+VmuGp\Ţ'roc//.ij@]p7δHc4SbB 0;W7%PF&7JKZaab,/O/WBؤHdxޜ2Ȗ+1VM^wC_;/"eGa#uF膪2O'1R)aXAU QLhsr||B.-䖍hCd'I Of!&.'0 /gYZ7zXZִF! d|7]ŗXi%B:b!;`ΥamB{V4 @:o~?ziجtH PtF".NJ/ab6 J|[ҔC@U`"⡴SCX^yT}eOzyi̓zhƹ;CsBꮳ mWg=qq,ǯd \$fkL}d}`B.ĉSָ}-J߻ʦ|9*HMCUtPLJ .hڟ2KmrUew؈CH+(ֳfѕn^㠿HwE1"Yo4]ʼn)6Quϕh8n,?Q-Jݴ3V >D[]! h!2+涥d}cmy{W -E $?f^݈?h2H4 vuwm]2R^nC)pd R+1/i_/e+@V"$ mŌ,&PnUIU|%At=n}C,9Ö d8Hʒ{e!p uC{x[a%yR=4`c/4ϯ>IC`(EnU--cGSDywVlmӆ>1 'I .ptdȳE:_EtOMsp+evn=^ R梀F:i!St@Wc  -t yBpFnF޿%5y?Xn$0A<{O2sʚ,MGP/N?EvV$X@`OR'2E6-n qe,% me ܠ*PȰHi8m !X|B=e49/zSf8Ybǎ~.!"Iq;XA҄4r|Գ&l;#66_ ?djso'@r  qB 4ct.[!1HQY/oY J˧=S%=IJ򖺡!E#>- +!U9Kkl,,$qGU)xat+KGkM1 f舣@ TZjoKOd~.5Db6JDr)וEfMb[ö&TE5m% u2=%4.L. |ߙU*CI:Y٤ ;#Z8/tW7Gz5޿zL]8il#x}͔+p 9n ou6(a [;'}z5y :E9 Hv-e+Mje6Wi^ZD96R{_IE5(RbÍ]'1PŌjd?J#` p$7`G.wt S.I [i<IL^&뜧vQҪ\n.Ș0tjҏjOښFGAp+1hA@\qq+@^Гn1]ɿf ,Yȥ A(.ܿNoU9fj+efd~wh^A R@OyPѭnб1vˁ v:%7MQ}ߩIA 6 gwUHvht(JsQYNBaG3jXv.tkbbl1H{ d -* HdXw_ȂU%*N+ZMTR+!\ XG/3 DG`RԮkt2[rcp\%З7Wk.#eX0Zƕ$@6s:c>T?4GMDAb& Ϯ\@k)~ OFW{+J9&m2aȩp?; *qe9e(4bl$#DHޖcNPj# ~,x:d-cf2m d&(V4`^n5MU-)!ѥ} }r¨y RM'4z tܚk/"|;acUdEE#ͦOO3KbG30qmB8m*jckETٷ<:CS\ <,`F3SI&n^Wiic\v5ځ4"wGQENHI:Oj+[ć;7[.&xc\"CJnb+-MS nԾp]?):`ᄽpl@}#OTWm9+\U,(zmK}r O+eO~W!:NVpwATJG$@`oiVa>:D@ {{B a灌eE]z1) i^ؤӃ_x ">f%skȈ#h.1/^"g%+ˌ5Δ)YOګĝ[jbf]%qͣqSXNGr7@ L{;j:ò; ?m9_̳A%݌JXLK`>=>l9`4URA,m3io;C&| 7bcK±81Z;U|uV=2:d NVZ;=+7r51x(Rr&jrRnfR†:.^ nAϕĊ%**"Cj5 XZ8 P4P7 s[ >z䑪7Sxr\7sfXs?$QI~y/ GUWҏeLQFY5iw2a#/+*)6dkxQ^ Mhk}9ĨKyӕP^p/4/"4<ȃθGϨC6&x$: -3KCvk,0;=gٲw1xjVGcVB8R H8yIT9Q +AΜO2;"P*P!S/4߯ CpMʲW@v&m@zwV/[bĺb.zjp1`NƸ:bRZCi' N r\mXsxiIڠj[str :qiOAge3;FL~=~2(FT dfAo%]GT}`H>VTyƌˏ5< fhȵVRYA~v@AULBW>$¨\ %Pqx8 (8}h-sm8pނWɢ~GQ D=] 3.esy܂;y[?3|zHJXcCB%Sf-΁N zge#Ҩ4Yzx]gYc=ϾΧC>hc3z.ɘ7%!;n2"=a~EVƘZƮ5(_O?~4$0އs();4$rc I$sknDqN Rӈ=Hģ#eBŪ* 81[Aw<=oɳ0tu zφ7<kb"PNϧM$rӃS5Ȧ4خ+U&hV"QZ錾NQZ!5 $5l8c͍]lpMf`%Rt1#^GyF- )[S͝dURR"$gpSt`c 5Px郾u ^3ވwy7eZoA.43dD+u'TgG5I|)+٣1>egCbB|ڰPo5,o)&jww1 I-IĖ PxT^`E>jvΐР' d2wxHjmO/kC<[Cfy΀ˆ!uR!n swM|΢.g~ "}NAob[bkjwNiJ|e,~؂7MkJzc0˵GlS!ec5)GKdTjG[ȣHO4!QMA!}S/:B>55CŲ]b aWs| `baO-(K ,/1 &@wfH'D,2(˪Sy$=kӇEw-` tAN+PA&0z(MRl.i:zҎȣv vv8ggK:8jE_\QzNZpgTS2 3Xo8RA3s2fnrJiᓛ!"󝒵NSvV40'C78 4G W@\9ZI gv3W(5FcD_TJv8TW}ufO}>2m9+9(/5 3 !jF۴pٯ:o#ve3M&:A/CJ$cG^ (#| ;,R>1$yDȽ=Շ jJWCk*,HTUJFe 3 FH7o{l/'B:!h)[fDGi/m3^Ďzz}EIqR#/]0rIGNT_qG=w.T,lU˜+w63g7Jkcrwٵ&w^dKlQ'encČgO]kk\2zj*!t 6pc)h;+04lcii"g}QH`O#5]\wRwʼ:O6=?oZ4߬P#_i*'2ߒAWYEHp7m6#| wi ?Gv>(U#ǬrsRR]f[Bvnjlzz E?ľy|XwU9_U KM)0JUzFo}MeYu@҃G(>yX)@ă,`"f}yZ lKBu /\Ԅaۑ_N~\ygCtNQ Jý=[ XE!: ly] 8mW5xѺ v*3l1ɍ΀ϝ*SMVC!/v8q R1u0HB +{QhΞK. y1g˪'XL}>tad~ `e$ O7-.řD.2`eQ:lEGyW F;io70ܩ;SnϘ=ZJW^P7|ڟ,X3L6ެS:-20{7ʇ@W>G]G肐9]YHݡ>+oע^җ8vTzՅ[- Y ^n=na/qB3~>eh[ Y|T񨇂nNKPbtl7")*ub;%C ~[9g.QpZI$ou>bw9?vPoM]'8lý|#FPk~9@maZXHq.$%2lX`b3 zx˼2eL1y@Fq|ht$(tg'/X6CV[~C3/&1޳IEy/R%ʌ)`p뀴BP癫1i mD|}lLDoLeի䔭.aAOIVh>)P܄"Q[/}pd*E:×3s%\~?0ÃMwhMtPlLSBל;,QIq[2^k[tD㊫ݺ\Ub~OXI(v T_/ǣ mkWSSSP$$cO3rA23 t"Nex뇺 e_FpC@Pg mG mpL3\EaOQQ(ꢝ~EodK7H9YoPT8S;*kz%x/S$&JƄ E7jf3M(Ё߫\֒1XSe DmfI0x&Ccnyh)?&p*~4B~6k)}dA֡8KS`p1NLkC8|٭80I%ޚ}~Ӝ@q ?c8%t7~}@0Gۂֵ8`M.yXF7d -Uv$å ԓߗqM+ 8*A c uk%*_JyNJb"=(ϟ49_Â|<9p)LڧHOT$KDl1^؈ =q|[u({hO U+#t'՛wzvpqkg4MA,A6rFkn)`grƹ #0:&{sh w}زב$&" {2\Fx~֨׻KGc^7$jzeMK$ۜYwq$yqvud9'Z.FMŢn}tUy;wvPB !ժCB͑ ׁ.S59gm`uEyAqu{}iLjry5R91¥+n d0dD5t;NZE\m\f %s.UVl׾S ?L$3Wy"8Zr͛`zﺅ>ZJeI fRϚ.Lso[fŭ5A+yʔ\k݄f0 * 6E`:^ x9 ܌Cl+?f(7RPg*m[bPoR_-M u"=s@%LKA}2vJJT1?rIo2} z\Z"Т;i$q}@U+[3H|偡 >}sx%vuĭfh:a 1u6H &إpYLuzּCҙ0p>g8GPf nq3DL0:0w&bx~?H4-z*u!Xr|s/ ΠI!z.l?-}eL(EBS4#J@M jJ쑚O ĺ7KLjsd^#(V\eȚo> 4܍^*)؊(]/av43?VJ !ag-'d6*Z=߷#-BAD>H"f6 )E^$C4!w6ǟ[Ey]u`ZrAepʧ&4{•K"p>-J0fK1ыQ3!61%@R0LjdA>{y$b89<#vh/'3hPVrÃD}k'Ό *srhՒk|ׯ R!3_1#G1n =ZҬ]J`'7 f=HKމvwd%TڨW/ U>FmybHy$5.ܶctL@wm\Q5ji*~+SE+÷v%8'u8 ^ i'2 ~.*j8  UW:7J3ZMGBDIm_v&OmCl^lD&fP_H1"!뗜KsO> kcK_ Pn4^싡fR:5Pgy~ذR4tBn!'Ar?d쐏=tg]\vHve?݋չЊaڋ!lETa6.^0Uz7]S Tȶ)Aى<ŤK}%|jPqo4F-AͩY1s#zUR-FFJnIZL>C)-tLĮ/ȼ[EfQ:aGgZ 4lb+Ůq#R{Ac -4q?BWpL^-k94Cs9J.QMxzg/saG:^% Q[(\\MЦmuwG_IyxvC65IOhc/%X*8*o|czocUjCDA2+8JB2~d]ɧ2wEHxSdE\~M|cE6ccį!{^R13yos5-f.KQ^@lXs.} %0(,Ǩ!QN, z̾^IV1D3hMgT)}n}uƩlȨW01mMP0TM^R|n;jgV=;,ّ\7{1~_T!:؄x[Tg/D{ 1ut$S/YPCKa$f KsAC?P!^͔kZW*h␭{ѹ%T_ HOj&؛! ,fXk@K}(V葂:M0Ι=P$剆 [`ʜ )Wۇ)tE $Tgm$E0:5=J! ލOkW#3n\+2 ӏs.%$p[^⹦f*.mQ!שFBʩ $V $v:9R"-ML6xK|Oq/^%Un d^S/,D #$q~404- ,SsxX8*gR+~ȈalFSJ8X{OeG?O^VOq.3.2RbNUђ#I#uKJB g-)vYJšlGu93I\SVBp8c_񏀋BK>yY)sA͢b0Rk- 0zp|P; N GvcY)Bȩ逇lm5u,)o68J$XpX(BqLg_A sI1 ΂AiZ#. 0y37gQs ϰJ?4BfY:NkJTR W[kOL:烙hL<3Nybۮl/nX}۱Vnv 1M/JgB? '@@&p m=#; @=mSsȐs/鹿"Vl)2VS99%ЛB(՜JjݦN66'qR$)-?-7𰧇CR(ҥ ^">y醍E2P15 ^>&$K)Xxї0iԦxfM@qbe 'YͫUd i`.ũFdЖ)̮yCLTJO qq9I'wܾ.XJxX͵K/kZ;Ze(Ȭ3ET`$|[U>)i^e5arS+1EZ,ˢ0NGy.*ذ|ы>`D!9u ۉ*@F,CAi9VlhbCLj.A#=M($OI mCMT=[[BW@t f]}\y~׮Kݳ R#ю6dJ# bZ{t4'-X7mV]5m( vҕه;+ ŕp]R'Bk1D_EM1f|9<:I̱} g*Pu[SxbjM2`}&­r@uH+y|]eM -w< \bYGom$پ_W Gzj2*a#JZRpT:9B$(_֤"abA)]b6,aΙ7 <ۉB1[㳯 -hX2}:#>`"ؓE3.@7(/{\6IRiqo ӽYdA =yW볅-\٧nŏ&ZbSo\|Nuh~vSf~*mJ2'sNks>m dĆ;s Oy^fE&EtI.*"wHa`кC4X(zǷwuo*Tkt۞ oe\ Y;H.mP(s \S+i0]VpΗ{iwB?\C8::5?B:, Y|rᴐρ姖%ɜ_ٯxW0ij`%|z+Ϯ;AF91. VW;xmn7@ȥԣÓ]3˯bGeꇀ6аǡ!k)bWp9 t +wS)T-D)12l^C_&`+I -ǘEWK&7-F-Z#S߲q_s2ӵ7;ST@iz?`GS>*6BG,kw=A;ى:/3o׶Fo}c{ǰOD;Y7I,nja^.h%;?lսM$dP8j+#]A3& 1-(c Q҇bt =ӭQnqIltTᄑ?dڠW5Z Aoև7PD,U4)Ų] &codPCF% Dd~6+*2Mm|}i-'̻Xn7w2OڲE:E!F5s_W@7eG6(QK4\<jw4$l$ m"zdL3 ݆cĕ]j9͹OZ?&() ~Erl:Uk24x j'>qS[" á*ܑ%Ba`b yf>wyd)u4Zs#saPckL8vw[Ӱr蜇k_RZQhwZw$kE= [mw\q*z_zk:l ړNFQLumlIn-?ZD (R}8Y^,8.@/{)x. D \Do2itix2_,2I.#$['ifLy P02ky3v(~8|Gue+"GDte"~sg&8_yd%W z#lT~ۖߓC*Kmٕ@3Z+&,)QY~ڂEJ(sc.Bʃy=r#CryTpyFbDGT(nK|(LaѤLjAw}W-]o Q9JKsq: ؐ6fH*uOWOcс2?. 6ȢY-'xX^U>#Pʶ:_U6PVL.֨xfK,1@Yh  x¬_RB~۝Y'&AcwR8^lX z/un|dD,(L&%UUKt 3Po9 2=UXaU+ N.dI r`HLs͈b]tZ24!/,s¢9-%Cll=wg~7w*RAvb́Lx*aܩ ]zϼ5@; "()r۱k!ȼD3"́*g+E^9UEƚgY$l-Ikqi^ HjPFؘFD^nf0a.Sܑb 9g Z @9"hz- A%s r㽾z7ƴ1Vr8VЇN~΁G em48wlݲq)cnŎW2.ZJjc}C>FReXlO0*91v!\+60Bl5Tzʚ0a4 `qB%}D3(q\! X'1ؠe]M 4J, aaSQ^Zl#\ˣHUR2~Gڀ# R{bJGJ86Jw[(8lׁyDha?Gun.G$GKkj1|ඪ2,eap@m-<任 /M魺PbAZ2v!Sh> j@6EڴOt S?b}K>?azIdqPx> l9O>l`(aqlG(˝.kߨg>'I&-8ԽDӺ֦3:YFym(3L [+qpT[vl葭VUM*:6Fԛ7lھ*9r"d]~G+}9Krtu#ZoԢ}ÊB8-ga^|ʌzID;]^³?EQsR[Q4z"uvu%ur@y_5)>+N  Li^:WT !rz1%BvB[mkK`l/k͊:@_`O#0nm"OKYPPL{F1%Vb[ZиKVD>SMF=UئISAPTL@ɑ$JGN Z\M=*|/-QPZRZE`{WM?7QTX[5NW fr}@j*bһqZxЖMu֊E N)DW=u2PgK*I&~0Z >?/H.A)v={SݮZ0BB%=kJ1FO./b1Nm_>g`1{UڭKx ?p2eMyQG.@~b!ǿ€ LwK8H6)hX%-fhW4&;L,ãf ЗE:*=Iv75sBUp`-~+]R7W-g W Vq8O?M.䉧' O},"\FkB=ۑ,OA )-%AdS†ʓFb 8${!s?@$]֫_4%NRլySίb\]ڃ?8Jz%c֦%i a',Fsf ƝNfxJe,;I9m ﷺ~4S۴&3̛9AWkw`g;GT2 Nzy1QGP9..C`}痉[zGo6 /{1N8v/=_fZ0?Ff.(4cߘ%B%-aI\>?B3EpS; JŴ hbM6-,C)0TܥarLul܏0s-^U]jxIfA$ eY =3UN ɀk+m֖<ĆV>)Rt0 ˂ I6!$Fq!V;֫)dG SۤM>PUWNa`G4կlXҢ{-V'JNDt`±YG[0wMJw0ǠqµGO93Tm@)<', ^e -OR_4~uODHogmTw]Fltig P- Bw>8Ū|˖%|~u%w3abjl4v1|:N~ ,$ψ1U]缈KrG-O f}s'O5$<_j %Gě䒿9#3Ca!M %DY'uzk*DX‘ ?%QU jQ嵦q@*U~S:ڂD+g Sϕ Vҭ۩#0b:j4FTܯ\,$ug.X;@ ( bhQd^ s.x#j9) _ nt>+WY{#mN9~8'a{]?S清+drڢ DWMx޵VNPuDnǬP"ަdf|k6,׭gSB!ܤz[2IsFY쳅?v Jw1?:SݳBT4RՖi/PY5v)p䳣; 9ӱJ)L/HGg$}k sd/}.ƽ1h*O5*አ*s QxqS '5ke1UԼɸ8g1ޓiFmP('5-Y׻*r|*{E@rt!I45[Nroy#̏g+ 85՗RD,jjvJW58(Mٙۖ]ke!ܪ2H%5̫fd,}(MGC#AȖ-! NMR˗7(!A5$0<%e xXۙ= _w6]^nRV0*Ķ-fx{ƝhrZ&}ѯǒ(%/Ҭ=D{hmBfUK2$6$%:J % 6z@vb[aQՔ뽛_(H"(VTq[_rf\ s $+~r56`G#pdݪh\KyOsH0yyEIM\\vvS:U/euȓFcwgȋ'|>:qXYbVT[^ZyjTݛ_LMń Gvod?SZ1V({Ue`չV%EAA%Nwo bmK,6U4hh_i9:;ޙr hFm>$l5Ϙͻ)YHxaITA dٱ2j )8 +{ ¿ӹ{hd20^(`0uOV E#$Y7~IF?&-5`"GiŬ`nQ|6z&w!>f(W7S|*"QsKIi&ܳoE[ri0۲.pvs7@YaQ{l?D;ŕWhkF.W,SS o->vE۰FZsK<#\a]]5X_yx ,[bMO~AN6~1]л0*%66eq-TBL.kT=b)k-dv9ӆq+[䔋ߊ 68cpl{R•;߳E7qUQQ[\W0J:'z8Cre90Kɵ,3',qp~h.EzǓS jNLjJh<:nH˙]B~vb7`6KWڴNrzyb#O_ܽcˤY\&xf)1GQYg$u~p,e}-O8c^Ec0ի|RO楺4_p/Qc^@hkISqM,-+ 6 JGZsX󜳞Ԟb/+e00R^K*a}&IR"y5ޣԕJ#[jTC}B{ 1>ҽsIe%8Y=XkC-M'f_s s@y-K~M(>bRuב/4'A~Ƚܫl$gwnsd5\.W*1,iهfv n`[_9}kkuOP!ũa {Iژ & /Q@UԪ.Q㹉<酳(p\Τ[ wX9&;zϩc_& X/#L(L{ce4@ 3=;s ?Ū&ޭQѓqq & n}½.NL74ä7~xG5t^Dj~_o7. ~>wh9w9N-k(V`{@*=nVkT0>pHFPq@ J(IkBhU]1dd.dSYNxnrJF>}~0%~a>Mq$Vr=_z봽ڛ @K%Olq5S}T7kI 2!~o i[؃gLUA$E$ ď k&^ǯbF?N6h J`XB*.-l[X{SwJ- }%Y5ϵp:_SN#5Q`tr7z{ɱJퟝ^x[ ﯃  Lb@Y #ξf3 Eo)+J|&%ȫSM.ť#xt#{ W'+[^jH=E;p޵96|!=|e Q(DHŻ]H|FmZo[;\cKZ82r0CǼaiqoUDT.{frS#!H| *ou=1_zDVK #D j/ ˪H); Vsf|TTHP[kf) N̘D鄐硣rÊbJDzCXܦ!D1G˟L 6wųsLrg F^hŢ; Ww(46r?CSΐ:fgL 4f c1Bckm8亙fI)!{^k7u 2wTK3MuCP9>"KcOwCI`+Iuf)tNS\k+QMbawiqFZWC%QpܗX' ̩ m M7O|d`%M(n"Aqc# 05d8i@qK6 ǚg74k*hEƙ"ꮯH~sA?QA8yɤ-Ɗ>.lZxSRaM2d TCX7KO2Z![S8 RV囵 Fԏqe X5/Q)0u'v[Pކq%ՐR姢<l `+Ad:hATuVpbQӱ} p!ɩ_N-[E%gj@YJu3]mX=0:oe5!Lی2.Ƽ%ymhYc}8ϐr?-,{غʬD6 hm=K^I!CQ*13Ƅs HvxqD.Mte$grTρ0Zsʾ! =r#ۺGfD&+!-y?ĽVΩx6k7FXf~LFꁚUQG.&44 qy]{EO9 Gh &6FLFcC|Z̟KJMU xahjhŮ^[[J${DثLycuyzOl^-ofIJ~`{ڨkqEvy'KtAyΪ}7 'ɅFL1;7y, Eāw`:N|,^$(ͣ]|"`h7CBRSV 6? 5iNR8erUZY7[:7bZ|gwcSi"s;`PZU!kH^@VnVq_wݞsDsLx;-sbz{uEBtq %{ uN$O3]_#=64.hY_tWg՚.Zw& 7/t0d F x\/ɡIOnrM({ɖ):rK]yZIgtˡKQx:) IOi_(Lb뺖6xE9ˌWT EۓꍆE^ͿGsyRhڞzwcKTIx0eTr$728Z<DY90M@Ɋf>YDʤBP|GZ74s<NRFiwʨ] 4Dj:Ki:?=S3? eBCȀc0LSO`~CIdMd:%-7#RHaۈJGQAJD [29u䨋$ 9G_11SCc;)K/^!LCD^7 l)&I>|_U|YnDũ^,}am1 ^Ģp?mM82x6,$;=6#[ YIcb$LbG҆n*&(Gd-ۂ$c]IIU ϨHmy6WrUƚ0d$:Fp9>v S\[81QzFz~lQ*(#閐Óm0f;{͏99&*,)iumՆͳ0%Ko%$Z/dG +e2Zyӆ)yjB[*oAo=CО -$j֠/_ ݕtAfg 2vVQKe픅NpyQA{oxQ 9ySGPUdS<3&la(̨ tEwAx(^{Zf+Z x%Ӑe8ئw{5bN*^U'aѺ1?tNN5LKGn.]F`&JS \ÅzwJ(=}\8JU5=ӉF â"rI cTaX|NUe|`[9c*Nqϟi*X m2PyS :P\)dJkL R"PrIHTphW4ulVos9yiRh.ڣ/z؅gDZC ڞͷ1 OJUf2jrMyj4=H[!U[>ďt[lM&7y{Ċ.~uwߜi7U pX[r)(`7oF_w痢,/ &M,i=y3AJ6:٠ש_TN$MOr@'ݴ0e#rPo7'y'`;Ŀlo"nb[~#eFmX x)f]yϠE0Gl׻(Kxr"+jP 4,E2b ʥEۍp$̞zjM#H}u+:KI(\w.$IX+mES#07ʘfd'5NJ!:xZr?W\'(H,궊X(}b~߯k2י`ZXY{(B\;51j@)9 p oh݇3.K].N{*JS͢{V#C9Mws$w .V1=qS̤Y2tItj}{Syq׮7y(,<<YpEm>t]@ByQkDMnA`@BNHKC)}q?uZ\ ?hKR64,JcEu[i*ca".ӗm <:h$>eRpFK6(\⭌˪jGns5c,}P5dk4:7[7_k$g|pg1F '4LYZnd+7E~;`9d3JHSC20+1ھB#dsM7gσahxD1J]5Y"t91)^=Z_!RK/k!J }({kK=G Y:d\Cdf5.-ٝ)CI;kvH28vE5+\zcT&qVZZxmcrGZN8*@8IUpR/fKMiU}uTq (e UtsǦB*&Kc5lNA*MAn\هoPڛ2oM{}Aѭ݋  Svӣ؍Dςxa* {o[Z":2/Vcr~^zbjt~0`ht>L^* 8N}_H5cj!̙F XN\<ג͊(ML!f*wjs1e| `t@F…M^=z\RnK @`PL 8ⱯJPBs ٟ.'OA6X$NPxy}1E戋oH+:l*"giE%N$nL냞5^e!u