SQLite format 3@ .;  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 D)d ]S]Incompleteness:threads=4elapsed=596.834cpu=1408.252gc=15.048factor=2.367zXZִF! m i]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0dOgPIwT_ew5т4_o@ MJSy^K<ʰ2l!W^Y÷<^nOrŽyzre 3b j]h@Wg5@Md& ~u Лu[ ?#x!GbꐢL m ҭI=>j⿙g˞t7sȉ˼IHQ%ai( cUGDXx*QL$$CpVr9Dyٲ ujsM03rXQfӘ,Dt{_U|VV @a}X=W"1}!87ԗcH<=E,ba409D;3c(^n> ".A*z})r脐G!_ۿu'y5q Yju.!<]x8H"WldKTS"vQ|XǶ(_F`}g; ~l#o q:_Kh-l~P8dG0pZ0hzgG`_ C7nFS2>AOC8xh2h3qĶ-|jFX;1bٕ-MK$|qadT45ψ:$*"lgbL^Xu 4Gz1.!:CL;t|sc_x?1†<ƒ@vOc%;9?g\ "wl75Pp޹ 45OK9i`w8vUEʤkj{ =Qe*RA\4r'm\v]K4ԒGq?ѯ$><{;϶>5Hx=-j%G,Rٚ@/wu>N"\F3sD\BD7yK_SW\H 5bj˰RiuP}9GbIJf%+K:2`pqJO:bƴmJ5$2g1E~hvDյ~\xhWr[Kҟް.`#Jg}ǧaiC ou/d*#+C{OK4řs8jrQb\r a7&dy=]ҋ 5z@Šf6!F'AiӦ ܀Ts̶ǒi% ,?%ƵCCr.kU`}ux=Q&l&nWr Ijǐmr_ן&cM2#.7C^C:7>B2*3rmx g:20W@?v<]YB"}oZG"o:ϵAZ;QTѦgU+Ak!\v)v r38?r+ G%WLȻX$|Z[0P)V<z>H_Űs"J$O{ԝpAh;d J0\y9{H*k9aiY ڢ̡Gyz*M41=X&s CTcT &XkɦȠ rTVqI0Q! %Gwod6-sP˄ggf͙dAd˵@_aht1O{K@'17p'pca;p$d6RגطMD 4JzI ыrJ?ϓbF<1))D Rf Cߟ.~9Y:q/ɥdD2.zx0K&zb SbGEARw>C2ּz*~IdIAor~+JD&TG@J(- 1a0!NpM<Ҵ؁DKȈ(Ë% _]Q;;Aٝu`#Gx`RRBw}]t11ye:k]%&m>L;C@\t#o`;q?Ƽa*?ߛ#yor;2Z $^}wJ#xL@s8 $ZTllMa<h18-+B8Vl#-[*LyU'g,=ϙALe̾e+S͑(8c<5Ǿ!ĤYnݙPh[1 S_X6hM'qP}yT4p$iʜ7+FF2db.X>D 3$agy¿/<]N>SΘkd,m'X[(Vx\ ) Incompleteness  S~)G)c0RSjN_XՊ5!Mr>yqt.ɝs$5$xɖM.03]<CF1D(zU\}2ȳ6qwM]̱g^Y%+Ťp -?X<\5l$Nt&Ա}X/ag/nScD Bl^ <Qxg&_АM濮 "~ EhY|;s )Ӊ; ~J푞jqF!G¸5Ffq,qU5#ZP烛]YR?/UuMٳk*y>e)kr@2p{[t2a JJԤ  ^U3YmQ^|,i9%O$Խ(-37T]lfAbth/PcaDL$Z?v{u._eC|(cH5`ӧk g|FW/gM@Bh=&Iz]n5HOS.ػ6nM,9׆k/v):&\agt`ogXʆ,AnEqH8fZTzxV`*O/MrN {;d͏_W4kY5ͮ_k8g?[L@f@2v$`38W^C($U^/[&?XxIˊ.dCXavOk&&eNA7sD>F7[=_ƈTy,\n+9 'iԎքf_+1A=X;.K/˹wO%&^(6;dŦ¯Aus.%kh2PăƉ:jf8Q.HYˈ }5ȯ; ~ ]Ib8T*9B3uy9˞o=v!|vl 苑Z+f%[aZ#X,yQX; R1ѲL)w }=u`TCj|eKkWk!:B{N?nk; \fRCL~KhN`Uy6o7{gcZ2BQR,릂X{o8ibtM~*L*8R)G$!G^4Y^P`h3-ws8>NW|tc']7&!pBOʹ½H!D NK=]Fn$sxKO43P *t539D;8h5Iz-xyY/x].io2Ic@|<(F>K촊Qz|@A 'c揉#`]|57їԤ0K+Ǡ^?SRpbQmJD8uR1,:tlnaFg^mC_;x--NZ"U?-ETvy?c{f}6շAb1o#!Be=Q[䳆Ԑ~#{qM0)r~X*Sj~I;'޿塱&?1af9qG6^w'Kʎ13xMٔ SKgItnw+-!I3ReNwj-w3&H *zq<N`;hXΣ~.h)u|KI2e0vf$S-hul",^),*y>GUWOʂnsQQ'Zڢ6UIU-ST.ˑh6@aRN_ib4 GJ.Kco1 ivY=;j"`o :ewҧJp`19 ׳ 1X IN'!XG.: *~ӱ3H?5]Hz94[I"ڌ}J)|:lL"Ck5,p{ \QKj3xU/lto[:pQ/%Iǐ_UGt˄Бռ?7*m.桏?rІbͫ$U Ú,(>r~^I`1"U4@&+z|F܎tgՋ6[ zx 8p]fBOReڜ4+>lY$`PDZM h=p~sBO֔o'JSN,^lNݗo9KL1(ٙ4FGS#Y7TЯU:U|QmU3\DD(Lv,oy-=^ﲽpJU)c }V`"Nxd"lCxL|ng.c:kz vuD?L/;f=Ib-8 t2dsMx~•:ok !Zp#+zm:.G3͛ke_ pix7*8eOw JgLhŁ^+-ЖK0rz4HGɌL{m7Tݽ?D䙾2!3-b/ib{4@;Sarsɼm \ 5o^vRّ_p> #àI.yDӐ"al,2\Ј0uv453 3U37Hk'c(h8}<@;w+b dX0"8yWٿ`/mHH\gV)2f#Z!c;ME C{QݶuFAC=W]L $=v[v Xa,<Mzh Pp܆r教4e'|Hِ`NRh`\ yIttmJo7P :KNڲlNG:Ovafbn UNilN|dekFV M:UT4}Hʵg֏)x,5$5>=U $4W=o?1ULxoNg󝘹/z?H%h p_d13=%:%gt]tow-j Gڲƶ#JιO/CєmyxzFk5 rt>U~Ažqd# )T$|g6rw)54^?wI< ͈QbZH óS+*ϮF@Ͻ'|5x f [7>t2 7I{FE"]:1~ç52}Dž274f>C6q9m䋮929}kʠτEŕ >HDz;/$(:<%, B,;nuU`j)aJ7^ۣWwLUhAKWN7!3=R6gTbc ̞ٱgYZ7zXZִF! b@]ŗXi%L :E(KafJm8x+8vſ k>ZiU^sʵk*ЍBYRvc#0-M$+Z6}G&7B:vw[޼ 8RHDu'{v~}NqW,9PPl9] w+1lSȤ8pW-K,RQ )LJ# idҁcF7͘OeQ|5E +j.cfYg4RF{rH$[<Kb"~ߥ6ɐPНH,<&oiW_5 /%8r6r.Y0+i+ڌZ#*DX-[`i;/BO`8(RԆ\ҍ۾ٌ[DEYQJ-fCR>9*mT7!Ys%HLJ+jAAD<} V1a(2CEr w%&8q'Ѻۥ nIx)Vߓih7PPW73,7&OF7d7U(јEش0QtgdZׯNJWR|R/? Hǚi!FY ,T:T?YEgMoL7;%P`99>=xaχOi7%)$쩤>dRPSؽJ*ɩwd-%54ו-@jfR'ErZw2 D)`0$N?), ,ݚf!gb]6YVկ@37F9׍[ 96u~~6b\;AuL"-g#-K4v($V d/@d ꮺ$|ŧZ4Սy7-ڨB{IrJbT#݌U!sc ߛbeTnס'Epi%z9x* 0RZ$KNÅWZak/J!"J,{%}Zt1u .?sU(y 8H2V|oR<ɇ9V6ܐƮ$a#_@2ԍi;DL%VRv+ώBJ bBW*3C]WֆI9a]3UgkuN*s𖢹``'ufbS`R~\(oܔD1j\֔IƆ,NdDWjƥt}f@? "VGkvԄRTUN}h"PnVG6K]Bl[6rh9m#7ΚBD-Jm:zm+ Ki@w57öeS|{8\tbK XG7+xN1ϦCkJ.`3HrHAH0ɞ9|5BTQU8t9B7pn*KP[{eC5dUެâQ&|駋lXk P\N$'cW a{&kZ'yLCub+xJY!Gů3\k"'p F** U[x`|>xTNqk LCk# s0&e 2ӞY/LY'3/ 5si>WCǺ>ϔHԇ͊qC9ֆ5sGhypݑs݅¨龆>nx;ˮla W9 n#s~#|\R6TD0 db 2!1N=u@%~ê[S^:]SHRv0YY$u0$'^$̔P)ų^&[/Gm߅Z8c:{%NkE'Df Yi>?`sv9JN*av| 5Py~H)O_n?[ ڣ 9TTxz(uB?HrtK2;Wh]%O1I/›+37B!"nWG9#1D'ca>KhjB%l~,:g+` _ߎ۠F{[xNs5fώAOvȇPL6 5V bC{Jt8ѥ1MN^q$eeW IHh&<}LCNt{ɑ${ XYع/ؠ-2̎  8`XAT~![e~)V>4ͰiI N3tP^\)oa5wlcun;{Jq?U0 οDDuaL(VD>*{L#$ ~3c{i.3FGU0tRc C&CkNi7nAR|1qצH\V[Xu@Jǯ0OJۗ{rޤ0VZDhf1+6$?|Օ+2ܨdy@l3VYrojޤ$R0dNG@+[*9d=KU/ǵ2>E0Sb=OO*6`)}D!,˕_:@&+u1Y@*ëEFW<]REKnbc0" ]«xOՒI?"cLc7rXOQy#@18G"Ltcd;8%IkCj~R{:XG6#| *ٿ+C՟|/?}6SMgOuaeehkO}/h|4m}P@6/fP]4V=t>zRmIJqȺ[MViKWTPZtBzy]4=Yx¶3,O=Irn/ Q椡[F+_}^= xR2eXaC䇝u춊~ x՟!#jNHvZ_~_'oĵ"dF<4'޷4w6%{J3zE׊5 sI{++i3;!_ᲈ|Le%\[SlIe6}*yB^FnD0g@|(xqʉS,Z ^7R-FzPI5M_}hrklf;2 B-١*v bR< oz2ptBP?]NV}luR[ 75Q 56dӠQ1.;";PGyK:,>e)-h𺇣 wT;YCtF+"ӎ)mNU. L8tY"ETެ4IؠL'eHd02?sU w4A+FRVތo=Dtnx9]]Vዘ$ s"z~-\ #2k/ƺ m_2\{kTFGЙV6U·&;V7|$vI&Z_(F8s'.tX  QV_8z<)2l0Сb!IbwO\pɇa9w:}CӬtq;jAGZb8:J8d2pϚ=J%1t<maSA0x>Mp1276&^'Hѹ&|k?=@88(Oު"ٛ \?X^ GL F@WqrKB+?Xd`5p쎬圎D^͛y6&䱚7db`ԵMy$\Yi'/ARl8 ojo6xI,3,{` H[]E/ ^*K lp(8wrBjy Ԯ"9lJg4b"bq2p_ml%Y Z32~/>[ {[<EOwPPMPҹPڿA.-CWڀQ T0 4r̍}ςpz)Ǫݛ(7/6J^bt%r/$3 Xz `)qp(fY ߘӴ!Ϟ@._E9{03ezY*D=$يc$RzŒ}Gfzb߻6#'tZuf-U`z5Gߣ@W*mU@yEy=KNW' m 2Q93Ѩ(?~|~w%7d}fŅh?jXMJ<}$)E86=BTE*ٝ*(fbVۙ|l-ʎqzڰ[ydLD#y͗Ƕt|Ƃ7cJOex#wxi4sew/eVBS}nlgٳ짟tWYsYELZ/5;-g腸EY@9&\0z\}w<“-y*hX$ClȽ_nU8q$jBy>4qJS)[:hIYmKoAvbJLQ0OLx4V}/L;\Wkk{KWBw1} {~ .)%s]d1f~`Rw +N {O] {p7i+^PLNo4 hH`=/)]ґ *OQ"?7$(Rࠀ B>+S;Ĉ3ЏwV6/IcD@pq oa5?(a\YYZ굫;Ԧ_7!,|#rBC+zоh*-1$1dbf+]$ -Ql( $,i'$6-;NhB5lm[тlxrwLюkh[elK=wj)[v #unҜ m>oۅחޅAɆTUVjnOwsHn#S9<#?ֶb|"7>eʀ,P\>CRӣ:k(+g7ZbxA ?+;}<\%l딭B  vuzd~ }yW^PyLWX4XRv, ^=EG*(T7z3Xug3]2eJ:a>bݯbR$a٢"-{r Y$ͻAa ҥ+ u%wKAHw)#Kd#i)F_I5# ąA4~ԃJlc@ݓ?HP9,/$K[?}PW?m6޾iǍǹ?M]>\x$??LI:cUiG)h$+@+&Q<6Qd%}9euMY{37 @N| tFA~G4\vPK{Bp=Y@E e}YoˬG 2BR$Ɔ̰ )?Kn)_a=6*Y .2qdaRS?;gAWz iw$#kp$iwZw(i׬a1#XO~ñ<#*蝭\NXz#8=zPx庴Y0Zb C 0A`>| bq x~V{&K$ݪzח]k^zxȊm,sܸӏU ێTB&MI;mHϩǁߦ_)fU1^%^,ra*-.#GBrTBĿ.j;RiA=!W獼x,IHvE˴ p3Cvna^0墳'7p ^h⿷3}jra -L[ tPwHY^LsfՌ6T Q(7O%fDTLS/Fdl1d{5E6ܮ"\6(棘 pJr+96lY/ ZOgs-hh(('o/lޢS, #;,kKo SzOH0SͻV!7wqU@:`18ºN{3ec'rc؎H A˶/zVߖmfMSb?]o ݻ!I>[=SHS8D__Ux %[h0CiPU~ߪ 1L:ߜm$:dKqj@5\2'tSD]n@2&fxn|&D/7X쾹_[ #(13N:gɏ6 cޭ-) a8vpA|z L4xkdҽyi{+c9UoگZ!!\EqI[5C1ftiآD}Ji\d: b5LKNVءUP߼l6C5[ƒEč~"RHs>yxJ=^Y9BN1l_Rs_`/! A`)kNt`:E^7 :~iF/>HjvR1}h(uO,MD=<.Kmsup5lBaV+fGv1T څ_F]3V$?(VC}N@SE b Hc_ޡ ~0D$h|]Gsf\eRȓV(ȝu G5}GԚJ.EXBj_}KUn*ki;T2)U0:{%#D:ٌH{Hso~ 'tL1/Uj/X?mٚGќe*yCW 林fET1jK"\yR;6ֈ1+p`Оie?8vȦ\6v"1TF[pP{y39@>"E˦oL׳;L7AKIDf2!OI~3~QcSL'*_{(x"blmM4 9vS;[㒄Lïq:e-jw->H0K,wNViVPu;sǣ|7}mB8dӈ%lVaN_^̳qϦ0 Kk-Sη-dZؑL%GnW*%38v^Q务Wq&_N2h^T3 D4n/mj: XhbN #Ew]'vl\%Ns[+0L~ 8l+6R]re}M`e YE]1 KiF0ϭ;$ElQj> /-Xɿ3YԒ@Z/{L(O&?$eu2}N[X1 lݶn$~5 Nh!c4*5-U@ t ;vWg6Y&&ϊxBPɎF&b޴ObmggɏX0]\`WPIe.;_Hr&pk^Ӈ:!;qfDt~%*"h8L[.DZ} a"Q*$p=HOvv֋'?^%̑t$zXsr⭨;;;m5MD(!73AkGQ/w!}>~x#--TlmC@ԏ\wWGٜ(YEKC}[*TyLzsUN[$+Wncg 7'fh#ƕB il6[:uI6+wf%C0 &8<%=h"!k:㚣.;ot.+'r]fڑg9";Gh@ؽlKل6G3R+eK3MNGgRѐХb_2Hs{E)6F4yݵtrV,sbdQz?<xvV/ZkSnľfL1G=31 M/Ĺ qHq˗ {;- 8 U/TF3~ӛ.Fx{m Ƅm,U-VGzGX9(i TC'F5@E4$ПɬZ&{"Gу+HӮMrk,Y͎~x%&:yL=~ !v|Daq!X5XIY Mgn :~=,z-a+Wfm톌Q{/,|*G$2@:k+:wbv[:ce w~QoJ\wY@n(UA 0;K 6'.HHY:Sm"EڽކZ)o,@HU58oI 9,'yM`&RI8}{gljaÆZ@ b{֌X?!O`KY1z1v ͥ!#3] ϑʛ?VdUK6NsT& SϥPb2}V|iCu##ƋԦ-JO Mn'ԁgdz0꒑ %K%^w[c xj9 8534+zl^詰7ٓz6034K̷Z|9W/jV|&N#˒yXG1Ϥ||w+_(Wfꖫ s[hDm &*TiH*U&"[СEFհ'+\m,nގ̡fCg=vP $^&wp 1Z!EcFؐ)'8n9Sa1>vg}W8-,aAϳȾHS[eU_:p^C(uyKLE ̊b{{=ߪ=mU-p:/twYmk!lΑtFby+?ROD85,N܌$K'.Wj!přrABm,b%;ey×m-:[bBuZX yLV`ڡM_w/WEqnʏ9v*PV59( 2bڷy2I?$av|Jx1FE㱂ِ6 b kI%aeOSq|4^PUI22LĎKy|"k(a.u5bW)r]Q|`ە0ӬCyMq=L9#6G>~z_ iq(uP^l$P@{jwIі&g(@K2l ˵IiADύEJM$}r1Yj'J~b=bgp Bekl:ͣ'̂tU8#jzJJ$[DҙF?@YajP$94eqՃ3Op癪ǥ<%f!,I5g)ȕt ]p3@"U M 5 RnDsnxB %x`8ߐ+"l=>}q'(2F: >;,Q fM2I@ ɇ23h#oq?0]bˀxHt_Ӗ;x«ʦ()[*r6FuwL,=}ꗧg%W>Mup7mC gGÞ͉hpeLlFOA'(19H!`#`Ǻjʔ[hpB5}ߠp{F7EY.u7CKxdžB8ѕ法VHُ*&##Va' Gwj[$jEyUWaXkl ZAխʂk.-5t9'Q;Cv/׳%ٻQ*Z5&iJ_`vdT9 h\5\$ڢ|Ec(I501 i%;'Wlx~_:r; ^֤'afmao x>L uxn#9n(){|6_8rg{ -򦝈üP"y"ebC1=!ҭvXM Xʜ%x>},/< m$'A~-|!l Ѷ/a1}ˤUa3ƚ"k9@(Mu` n"V8T9#o~VtI+.Z\|3PvvV U+W BAH`fRNQ)7vDP. rg!6SJϯzys>=3seD,S#/#3xOߎ+Tоjj,tB_oz(,O8"tKV /FRl{o]cfgl*6cmO4xYA͡x6į]94E(Ό:',sbŌ0p2Da$mYU.7gY_zL,诲y%5YF/NS]E>T4]Px[ ٍ^.dn&Fv1ZG5 TW]مVXE| =HMpgLl[Zu >b5HWVSs{Ώ.۴~&0) JEpKSo:UC:ݑ:P<|՜mb\Ɵ &T$޲:]MG5IT˷j#X1)F/cۻ^q/ sR]氶t4 (,+r+ zӎEʀ# 5Iϲ~BA$s ‰B_իZ`@$(Xh|z;9E|~~D40 :lE4 gr;.PB5m~s `M&:`MNR*DPfC9a!IRmh?x,vkj^K#]ne|Z ާf2W z?I1a6}aIX@G4/WYr|R1XjU+eiʵ%|jDєxX d[NZC {g /QV[t?^aϗi/Kx魻A1kWv v9 I'VO"קGRaRKSvS=eVsaQɏTp{\:L3%xksϒdOo!x@x S!#=jrlT !-3y$`{<[őϵ!7^l{a9I pwjvpWz,fY&},;~^Ӡ'kc>J3}Tx(er!jq3"<ի(8I; Nɨr|jW#`^PNfx/ft,jwQ~^0yj4U"Ys. %8Rq$w E!rdչKwoH1 Bk (@wl*]m|h;9_V\rБQJr@1aLL{TXe t dڸG#F9tq&ig G"Gk-:-W1~[sp-& tIHaLƻ), @B5jl4'V$FZoӋ! ۽&|22ETNVn .qw{Aq*>)W,GhC&T|ZcX@fX95ߒP`1S5YbX0i&a Nz1rjBiZ؏P*K*Z)2@ xL_}R%5K}+z/ulzVqs/t-pZl^EZnCR6Fet=#XF@-HXUp2ZцçW.4"{:zۿ:pwdsVd!>Cs6N|F7Rup{k|pb+Ǭ0Ք>#WH'ˤc0F~ כ |q/Xe͜iʧ!U)к/VgE~:-PZw02ae '3fO1=6݆EQ`(͏/pS^7# mg3ܙӾGk'3&'V$O׮zt4>)ށeq3Tm|!IN8mzZzBABFv2AwkhڟD, ZB**F"؜T}\wo(|$Dv8 QBImfe;lbg=`QOn|n h"?yۮ\?ݖ~Him$e*p2;TԮU7iPCJ$Q}dO:2g? A?Dнi,bAYaW4/=,xo&ؕYNĸ#ɔ# bJ?Y1@ }u%V=G9L3;yf3?g$WJ3u}rNU~BkM܏!1 !pC*/e`FDwcgtSX>ƌ0E0hox%f]0o8sKa*R2ݺiLaLAc_=,q DE<-~,-a@(q;K$sz?N0(pm^$V"ۇz Cmm71kqAvlxxA:QnЁ $#dY .'W=9_q kᐖ_pk >J''+Cj6teQf~4 aD3&w0* h㲵{wh=Fd[Z`-f{{p; 1xzo&c”(њ.ూҚGC'VHM1M w=m#YHjɋ6PD/$pع\][`_]1N^HRШstަZ)qi:g?( eݻ=ft.| ,  !p|,l2%BHkFsD]p$Z='e.n3h6WMIYB~M"•!3{o+;/-(7 EJTqhԮwGWQJ.}jߎ>ET9*" Eh (gZƍ0 6\(RՏ.ّn3aƺq3%l5$-ư[bnJt9Cl$|Z+\: 񜝚O+ u%PCD(ceā(x6d$-`9aȁ4p,VH 7hVHkW]fOhkfzm w׼V}͙bs; ޾'΢1 ?I4^'M 5kx{ͨ󛮑oc=kፖ2 .8:1EԂM㟥+›IFpҋNe{PFMYڪ*&UZVM*}Q4ooU{cʒ(6?d.n,uħ.?r{Ғ9TyHT' q`QFH>_CFЫ{޵|Z׽7hH;m!ۊ is%Ls75jM/v!m ~q#ٯd/-]oqܜhLD-TS5h*\ћؑMM)');U+ҁ^$74׽j@RޥS+Rw^F6hڂ%/:@f:I5~\cXe{߁T =9n(;H˹YrpvvȻLO|{#!OX zXy\dD )qy"غɁ'dơwi J|2-No6q.aJCrWCq~KhظHbdt/֭mIc\fgw .[BLH.'qyT(:Xt1e.N=ħ (VHv |bģ3N{.ycfR%1PN Cjp b].q^/99fCq.cy[oGe&{..i]YeՕҴ\jMTz/c\?\ٱXM eoJ7 l) &&ckd3$NK^wXws-@e(Cc%>I2̰壑#jp=OzRmLƟG6VJccAgHyr>j᜵٢(\O ,Q WT|854ڤN<~:v6IckM\%rwstF0I Q&7Dvk~8j_5U9%JUA͠;[+Bh<z +0?Ĭ?YݠIqRxOldvH3X~py^fJ4:ęеV7+ 5j ~[}3/~~|/b?xY~E7)@"ՔhH#>yp\ 3p/8? M}H#щاEquBvQe-k[tz:1ߑ_`ij ƶ #Fadefa5_5w qpZ3ܟws̮q;F3zuT\o!o}&{xGN|Z|y9?'g"5.o4frF;ҟsr|=zMapir4ԗ/`h4]5g΄h错 [hIڊ~d{ܳm>?S'A`7 H7&P}~-Z^뢄i6ӼpFRD?Nt{=A!yD-.BߘyKK.8j,"z&>j Ƃ]za ^* ~jl͛~qyd )rC*O8&_U5@>ss^Lե@wźc?OP`272rh$2s YTPhd߸/C[4\mΓ%܄rw ;8mLӓ ]{d vAtBX0K7BHt ڮQK*Rpni5S{Z[@pVƁE?{1 R lGܬq<(|CZ=;YS^؝k\?f,?ʌY{8 Нd4rI`  }MXAa1R15؎bIӢFm5]";2bfe&?~l+><" Q2l^#ͧl_Y$o~/-g=(' xNE]azY,(I-BEwXՋa [QT< y+{GE\g+ΥLy<1pg3*[ Y5*z;mwKV^`c^7xH /'Lo!:YECWam9-F`WjbXUt/)tܦY)}6e*% U_#=T9ԏ a'Q=NGoq-/OShZ +jNI|Nս+bx;iڕ{NCf ?,7҈Z[oJM/QP3΁X|zmPEkȣDK300,\| `JPu% %>DE[-nUyH(f0%5#+ܓGЋɎ^_}b;\\I|//{H[k s_񍃶>B{FP$nTw+9(&s:Thw'IbFZ *a;wO7ALB (C{2q(X  mjܙhv_vK%tcqM 7(t7;&"ct~:kyq\CN wd*gwyCGpϯǏ)l+j_ APqTToA_FUfRg +1V=PE$u?+wώ/֏8?lU=;.b a[y 34bp#4fd`lÍ W:dT࿆I5["O``~L df^bT֑DU:A vvxPql%P&dҔUof}^Oht䯲xhEڴ;VI0}H/[PΫ [3GG-O}U8P7CobL1bSՍڷ0xvliyegFhӉ"2Kln4*O+_AIQ?爫8lI`|&M7Vpt5zIT33;Ae\󙇕?~-L80ȍ27µE,(C ,[Čԣ(Sdj z FN/p |EUsb p"oeC-g^)fu!Y~טǴ(J^o5^|oM11{f"T6v{ L7hVK5-S-\5Ћvk{ VAr7eU/>=0_=7m$Ѓ|Z-ffPI9tadv&Xd7wۇ$_Y37 fٰuOz_Ch_aе3ҜqB* WmR/D:d@ôblelkČh]Z/ިս7G"A\)YZpi./ebA'J&1 O&= :K(MrGg'ώo 6jphj^>4?.v*@ u ɿc )/I3?IwDԸ,-Dƴ{/78.C_cr$KW`:o55q^e-wT}pdFŸa() ϯ=nqsd]H}Y NpNƿXly6zK**zB#l 3r x|W$omsXIM ƍp#Cg$MY{Z8%+8JƩ<,`Oc2 4x]@ozjMd 5 ۰e/bQ#0cP^S ^&:xJ$'BۜOƳ<Z -Jf|$akLRuhGXxa u0,l{,ܴ#$4-}hO%]Pnj6E\{ɾǮj\uM]ZHi9[̞hTݸV`OK1cB?lsNӤHPԮԌhKMmI/#}@{@a)}!QW/)ͳ0\W'JCuh%e>7"ȧ:Bv#JMP~3]<u2ּ?8Iw$eaf;0ȗh2Wg3ӰuI_kK+Pnht9& WqaTYh-XhDhd.gv.D{j4(9Џy53 WV0TukӼ>XOdo<&DZ9X= ^Oo]dBt!P_GROt>X11ڝFy{zhviSTvx"KfzdsfSv@cҕըd$ MVD "ϙQI8ObUdro;{sW@ǰK! oұ^d9L#9W1UN?Qs5,Q >4D|:}wENP8dnHG[BMWiC $+m9kG@#Y%b+7TnYRhf洛wgvKՕ:Rx\ّT3+=r>/$䩹ރ<* <>{yYa_D:A]5.F&@<ަkiӊrpZd#A}[ݼl` 6 a8iSz]/j?˗-R5T3认|l֢YkKaDZ(5K~;eM # \jkoiMJk弢^Ǧ u8MnHZhY"s]"|WL"vƞx /BV-e#YIw3m 9FoK28(}. Zsԧp'+J!5trj+-6_Tq۷bp}tA˲\[UW,|R"sݍu~ډAێу-W*nbt q;wUn7ph7^.%Z̏s t<)8t|yڻ<;\$Pq޵9koaoZC%30N38-K/f.Ul;yaZ! uH6aYzӏ_8.GG })ú 4ZsqCc}pe"id\j[5<ڊ;/SqpMjBB`6u4>prfw:D0[Wu٩t2I jc}n2z1פ tkVqE[a(V<ka hTiEl7Ҷe^;ɣO~RD|8JS'A*X``L° *r? h#f`SC @G8a [@3XoAQ/oU`;|pcQiѽye%Ph<ϒBpFL_zg6HL`7h"ue; .E>T6Q >.F"g G$Bq8u؇U!hD*tITfc)9#v-I~faMhWrњez4~ 2LؾsD* y'ײ^U_Xj'yt@~EHo@ ط҄?P39D~"NwN?vƙmh#a{oDATy<.7r'V5;-)O؞[s3 n E`5a& -DF؟A %$y[+Y7 #EZ^D2a|;KTUTR J"<*Q2E8efZ Oz;웾8gR|QSvTȢ"[jOlLJGE^5S[d˞Ƹ:0Zٍg&/wZE2T)'؏V&]{ML֖ةq?FnmCg:}`4- .xQ˚6:y| KLdw.{%P句ݔ˵-=wDkT4FFpKțCpiFcI7|k2J#.5 'F% SwdAX"{zj+u`S%qʶ&;Q}Ю0 %;*x'ٸM8ծwI8&ǻ´2mԩv(u1«ɷb'ftR5:mvnC{m-a+-Oʠ!m>\T kr,lzSA_grW@zS\JfPHkWSLBS4#P!S?|b$oi?g9TC9n!2Y<h Ă #_Qd]Z-|ze >P YwِUJFXG3dR[zV-WڊRΞ0-*I¶ *^'Մ:u{^ 8H^۱Q4bpT⌃mCn+;x=!}„i;8{"y/;Wp%⬜B2}"$dJnT>AgcLsSVU1cå7vJ-<4ۈXF>!CMS* nB]n[+Nj8T容T0 ݨ:}sˌp킬W@gf8yks[?p$1%U{ 0|~Ca+ΙAֲ_tN}41ѷɞ&,ɦK`D `BHЧB''#_~ {\N,?A_d Em$Y[MnbT>'XDZ=55ibUW(yJ%XWp%R] sYT Iв&66 :gonC[?E3詛r+{UE}HnrC/mldN^2cf̪•#VHH=AZ>9H!Ll)D$ʫ E%@3`a __6FθmC X*.plI5cf踹ۭ@'dOoyWu b/K+uBT1($غRwY,wu!q%T|,XII53xu@G1pě#D1AI~R,+DG\& 8ȚyeU9_A •eI Lzs ط-p]d""YinS^È7&W!d<97M3"Ec=.XU(ag"s'{yXYTDz8L2&ݟ  N4VOFIz1[7.rV- E2ܛʣC1G72T'I`8o5;%@Ĭyշ f:B%K uMӘ] δV"Z380:UK,;/8@ yjv, Ɂ2XD6g3mfnԍHI3J6W喝dtO t*%l\ex >$kmt@GRg𺟳NK2t*$A]B[9ES߃9H Nq%E /^<I}_y_vIX/QV#ޖIJ.KX^6,SʿOm[Q+8_:&E"d\dfoN1epE* 8hwDW*;[i={^eoFt`B̈G%VgvN|) &-}-n,e+ZI&wg"5b|ː{3jGH9 $)2ZɱQɛr@?8k9#V?]5@idD2K=V!}x{1%p͂Q6B Jt4 %`|8cdKPS?"+ |p*Th:(m(} U{Mo('.KyQ {E R uz-65QGhjRS׆{58Ҧ=,jmg$4G`F@NRi.2nrJO)mwAYn'EfǂYvG%7mBՒWXrۘA rʁE]ZyGF\ZMĢ#yU5\WYxI/H┯Dn=6gڡ⽖x '[~O?*X2hf2AnML=ij4ݖ3Cl`ᾡ{#D5؉QXRd&z>ò,溰++ݛ7I hYV7&]?yu\aIF1b`DMus1yYbsBD!m%*p`/ޟ=;NwvRxc\ W Nxd|QfUV%37M!rNTt,TYz$R|dF3$~eH}X(lnz„ăKGMv|^0HY13eu0^b,$@3; B}5,.l -/Ϧzyk ٟIJ??}ZDf*t!%_lVc6F(2F7'ye^4@D'u~D&u&n UV%0*oB=3ZaNV%͗9J0dXw)AЕ"RjCb*O]ݓ4~L揓k?6BhYRw<ֹEA;˘~,i9M^b3hM[Uـrx c :Xwei&M8rJknnP$Ar"#XՂO&9e ό6' wk䞯dCr=u:$MDW"nO9ɭ/e)8΄YL6vk*#A7lP@̵_>\ T}Zq.H!X:< 7"PXuDt CfQC>]·Ƒ{"7a 㣅3Y,֚,uC҉9(|2;vٽqt8+Vq1+y RW &>u}"10pitNo &\'<ʢX@Ǿt;=>$V@ 1Q\ٌO[,Sm0o˞LVdiFq.T~O910~(J$B@,Xh CWqu@Lf!D>~1z#{͟u8k}KR!S@1I+~.Z9"0u;âהXclt2/<"VS?|S; _`O>e 5$GJha+۞S~I`*D6k:Lwƍst' $M ֗:G ?I, 67%O3#$J)o)0a/D9OJE'Ȱ}-7(Ir q? ^M%VO/; ?NrmNй q`N_HDp @,ء7 (P3b pk8/~|θr~5s,5~-rs:C@Gyth?ym~QW8 TgA/1]U-9Հ+oܰj>(5Ucߠa6oخm]Tjzk3lO+g#PE!&#`ry{Fm/ K8K5 ƇPi 6QUt|)ld&%ဖ5n[WD. T'$gbJPɇ^_3|?uw0WU 25[੐~.h(7GP|h /Qm-5Lr'h*,{'F(=;dhe6 q*B41í&Y;e20|,r8>]W9LoɋiCMVP03/{Bfk'a5/ "%Өixr/aUTxG=i5`Ne*˹8 `Զ)tKBa΀5s-a*D*#GkkKhaÁYR^.\iN-aE鏻oG|)|SaTI KRyuli@"oqRn7$ÿFd88C.o4:nd^'XXj~WI٪v<9I~_pziS0}p25B͊90ñXr]d )( .C^ڥinh,Oid[<@AkxL'Q^YTt :]'^=Rȸ^\|c{( WKd1>۽$*^Yqf̦1_kVo2lASv2 A ?uH8Q&q}bl?ɹ7/}wN# 7 ֱёaҪ=Ίd_WmcxثL-́-L]xR3ZnW~pŕh>a b %% Z?{axL.:KmDI`{(p Dz/+hbrȑAYyEfkSb]^כptI7gI+hn%!<.>qE z"uJ>ZF}u꿂Isnu7ׂ #P&9 Q2p3=ga+Y*Nܖ& c`֋ooK&hz#ƗX>'Sr!0ġ1‡Đ+3,qUUz(/KԛNh\/ga\iQB3f5ϫMtȱ޾ Dh;m§J;7ut4!:ěcY˥%o*]Q=" `vG)!]"e]%%?[ {e) (B[I)_|AN c6 }\tD- ɻt" ن_]tÞ!K3ČxP?.J 6 !l6KW#ţHo~Еdf=b_E;~@Hz -X)QniJyQ[F.S,G q`POE}v+!3B3Kוj;ـ[!*GvA7ǒ ?zW+q묑1BF+[[!(ĹdA~ \O< R_/gweB}JɘOGlD #drI F}PwrKbwO7U_UI<}lOoovj+\ל# DN%˟XF?noSU8QoFm PIqIhQ<2S͜ᔟ+з/2|gBYio ȝ1(QP,T!) ˤMi3*\{3_'i2J®טϺwO|%`%Dn̢buΰ}P-0m3lpI[ō%dyo!ܹ6iV_5"+vlNDM% +l S2C}K'?7yINsPػ8 ~Z-8퀖ssđ܆Z^G]?zX@H<;~i*`EO:d N?6|v7TGK\e 3;r{k>ؘ/Bŗ=:^QϘ/kM ӔvtܛvKM=F/Hl#dbfB{tXrshiFvG23We1cJt-:"0!W4`}պݿxYGt1&2Ɇ4t N0`=9~Ms3"0am|C‰6H@SoZ}'H%SuS73"~ X#p#BWShk9 1-*O|$'d/ F)=8Y"'@_Au u:Ʊ9.'=I,t2ĨcDՁTN[y.aj xQJ:tK9w84c@J]qd7f2Zp"Bex#n63MHVE3/ƺH \#^2)E<8b7&!قNׁ[SQȖ<#zehƘ?חuP1g] gj J{!4MfבFlEAhja7 Tbe ؒGb&#*Hz)_!v56fџzU2| " M̖BV*-ZImJu /bŹza.2Nr2(8-(}Ad))СPzD ObldrB4; WbҦl ] !JS|o[,Vm;iG jö3w*^r , U@q힠gF@V8?T hsg#q[ ϲy|[e ]VvyݨY:ġsܚP`]=Y}nr}9V$.np%ʌHAeS n-k6^ac7jxI҉Z3W+ʩ4?> /Ypv(u? PCPBJ/[!ݿ<2l"w: M8+N aƦ+^-ࡼD_HǮ.\!jpxZYOaV\