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  ! !\ $|$ ]% Topology:threads=2elapsed=7.240cpu=13.984gc=1.056factor=1.937zXZִF!  ]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqURJwQK/\ܟB%S8CΕ+Xٕ^sЂ;Sm?.7j&)Md)yQ1`M;ꢡ!g[OnRTċ1/#s#A((A櫠@5_ʸ(}GjK7m]Txd{Nn܋r_-)]eD :gYZ7zXZִF! v]ŗXiɟqHhB"U΅/|{2͐v˦]îPZL+`Nplӎo*{,& f1t5/ѿ4D; LTbގEc.TzSZ|4R%A( |S*[SXmg0ѻ-Q*TN"]bIY1Ԥi:{:<XM=[v}PLbBS\e`eJSt- ƶ֢/g?Q_4yo t4s' f(zqIV751Am heE/gYZf58902e7d615b9c8c3c38bd74f489555fb1ef9e00a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c 7e917902c87e55f1024132b6caa4ae8b5f66a48f   Topology i ia/% tTopologyTopology.Topologydocument.tex7zXZִF! 'e]A-MՋhvG"uIBm5p.hm}+qrJ=)^^2<ʴ C9:((J=P1_c6N\Cch%B)?>.жB.<, 9:igfR/Gy)"i"\5rgƹE}T$Yvh*Aj$0Ǡ䴩νИCnN[iuL+̓}XJ{#~\YL2Wϴ'SWն_@Q{ ZԴdj!LQ)'=>-%QET5c ^;%SfQUe:`.^*=caW$RD]Bu@A+F&4}bWJghʼ1{gFo3ـW$n8H$cƒ_ox/:  :z-իZ킴}1'40uJ*iK-+ذ܊ܓ}&^19&^+tN7%p+T'iu3g~mc[T=Sk ;I *nGZl/-BTཫt㧰$w>QA[0_ɓ&z1l>ZWP`qW,lFźjL~O4DW]]upLVm!K"R3|M FJwr8e&Au:(ab {OhiȠx{$Uޕٚ :񥐺?k-_嘊vZJTrm;b|۴YȴSI aJ֦9dxt55v: C8`tD(lIel]UqMN4 `eknx_ цu{ cL"XKT..2S KΑoEdӕ5JևR ՛W3BD(x [6tB+2ྠZ5"jAlM -R)Fu؇JS^|uJҮÏx`kX;~[SY_+lObN%wA,b_Jܯ-Y 1(g>E8A!qP|貘/$o馝`nb3Z唛cՁ.ODMǧ#" rWbi <]˳!"D+f-*޽#;qJr*橶֫BeQ%)cX?d^9mcy-37<܈cx-?uR?ßfIbq$}>NOj05UӿJ2NG͓a,8u]~<Ay#l_0N'A;##/*캤Hnہ'Ls |<ƕɺ)E|>&C*+d`9vgyJO 0|$A:3cIùK̼5Xbڣ0Q {;% TopologyTopology.LList_Topologydocument.tex7zXZִF! \!]A-MՋhvG"uIBm5В *(OQ Z:P8ߒѮYK[hj STQTgg -٪Kv߷Xrc99X t5% TopologyLazy-Lists-II.LList2document.tex7zXZִF! AA]A-MՋhvG"uIBm5В)TBU3 =0{l0#Rn5'#Wm6NΊ5Ѥ] 3g0Os7egZ c6R߀w]7<ᩀY4]_Q ҙ{ժY< 2kH0~ϞZ&<(HE6#]6P5,eY ]YYVHBհθ5XzQPg*(c5< pV nWZD33d6i0g-G^ho.R)q-y"C*fB?4gPwy$61+_IѳLh6V)cwŋmӫڊ, n<=֪cˊ0 tt+/%TopologyTopology.Topologydocument.tex1;%TopologyTopology.LList_Topologydocument.tex-5% TopologyLazy-Lists-II.LList2document.texKvg+hZU B)sV%˛R_9!<+ؘ# ~CmV 6,+% +T2M<ɠ*7!]'֡ԶAw_jNչro6=ss8G؜}wedt2\kgc#j0ko_g"&!!԰jcMaVV6 L xg};u5[?# -퀤 Hlu((@ι==dk[7W?=լim{?ք"gOsY9N:3;'6Y1Q`Ϭ͙۰U%DZ!k9RRB|&@<7nDf s|5F=1@P`Om^'-^}>!IQazv1qu}JWi8a˽e(5c~e 7O\Ge1XD{}Ed` ?B(ۧHw*5'1hWE8'=<0g!؄}e/$zЃȸzvhӜswSlZ_;-CT^x=*B͘:FIRO Yt7S.N2_)2@ bAhJz {U[T1E N_9U0@)J+PԜ~oxYLX&YPR2P5׽tnz/× 4w;:jY&6CᜇlTraNHޕm˞ZG%\+cLPQ=c]g! RLy_Ita,,cI:[⭑")z2D'~p}[s@zҔu ,ؿ˖5=:YRNK"Cѵ&3TmQYMl a0|qvW')isE֔W9lw}nq8.[3IPf߂Hۿٟ63-BpB4Ɯ*6n`\Ig/3l% Iq!{6&OMbo=(Yq)`UYe# _Uw0Im)@k#gJh+V+ڜ Ϧ|UW&BR'DM8u CSܲx|0VzQ)AY΃gVȹ2"'#'W!朵XpeW>ZV {3F? 8b}6}OȅEc <CQs,b!߿\Y|3hhMw>sZuߝq5IjU:(bIDzos3.mp6sBr&jȇ4^.p- Ur`>2"vܲ4wR&^~}k;%c2W㽹 "M5~)AsĤö\zepJ_婃l.nI{ׇyMmm=K+J#R<ĕv ?Hvf\1-.5fOS;J /uz8#'f;hDw6F䛵Q='8}WLnN|AF5AWɄ%ҊV!W]QN{9Y{t9cTtOM{ $ myy;q:NӰɼ(Ob$[}>;Ζ2 ``YO|8%DR[C0;; U:|]dB|cP0 ɓ^D?KFSX sP}Gxg[gŒ̎KRI cB'"o%gK+I/:We=RWڏe K1F7FS٣7nr( S+B 2]Ǹ A!; )dC֍61*/N`so̒97빞Z% +sR2+=]/M[֥̪ƆB>[=A8z  m G'x'$˱ėw"ws$ۓy~@5%FvZ3K!ED`DRbNWͤNE;Ʒl1u,NƆ2ÿnbŮ JKu崬D)&},֏46 j**^gL gO`?6X-A'S㮭k'!qBvAM1{[0v[=wI?qiH^ 7 ©|(Pd3E>g `UhOĕmPul#б|8t%c /GDCynM xRjRs O0Ogk-@؀C{2u""]QNac㇑ێ F fU4%]B(S n %U-S6-2_{$܄&qID+]AXKx(oaIgcd( wNϋ M5\s$B]N8q_xSq!|Y%y;5'}s ),GƁcVhKNlGtF­խpgN|2?Y @{x衱K[vۓD߇'ӡYTԼ+cb T2]L:nV~v(GϭמakxLr( ""C{(ĀrkThKDlxyS(WHXb_Ea坣y\ɴAB3%]QAU8zo\g!}W%mFσas3inf3@۲1jM?G2we<_/EoS"Y.ӧ? 4nMD*Ǯ-@G@>}(ؒ{; Tr.;a_4u "kWttܵ("gB':|3!1T?$5mO\Py.6I7pEa4AvDHP,LSQ"U9n1:<6-E4ޮ[m9#NEEWYR1WG%:%/p%q;dۭZ"}\O@I}䡼KTCQyZ20 zaτ'}7ЈA7vf TX~7oN0fJY6 ,K&N2f^# d1WI5+3Vy^Nu@Paә(1 3=kM`HBPH s]e/ >PXV`)f,\b<bfhk=ֺrE<\#}:i9M\ơ-Q7tf&\ג7^ 'ȍH6k;rںݘ*Q̀F3"p>Y7\G/\V=6/$r.wZE(o[2eFB.Qz ^gsl{[o ,>djǁZ"KFԑ#ܶt1z o@+piIWL6v']4И 6r9Z Mp/[~najN$ ] VQ]*Edz!T=\ C0A+@O/\*|R O} B9˞Fbv?'a#Ё֐S]A5d 0dv wV!W\f^9Bi6}5\5z#H b9A&5S:6M>a?|Tۅ ੧k"XdR:X `|Bjhψ[. . ZC>Pw_{o~#􇱔M)ڇ:CD~0Y\.xBĻЛ:B%4B {1 h𣌒(t%fչ,Ё`~<˜0`hYK՚,w8\|b;6VVI "9n27!wϝY e!Z*I. FYL{@,˰}DVbG^+سXH%?VHgSZqh;H:i_+V*Gf(axQXBR*1y%6s 6e?wr^DUކ*mۘ AY`_yYY•(qoHL^zm2<4ۂ5Bm~q b+8 yvyv q㻓-a&fdd]gV]鸹FO wi"kJcwUCۊ;KYo9|tWoN/ =#J(D BzK![XlT;Jܾr۹ d4GB*ms@m{Ghf)*@ƒgI[K*}ya 4 zկJiRVǷHCfюH+t"w7,_ ^we,AW6X78~z@$~nKpt+۫ewH*vF+K.X;qv>LV87U4M0XbISHT{F [["="+\up)fLڼ$]z,i6}>AoN<1bT>Ɣ%(mlluJ:+#ִ}˼`8*P)rt(*]N#O uDTZuw hԴd/7Ʃ%]A4iA?d=3Md1Gn)"\tĨRC5W0z1++V{wu/vSHZ9ʘJ Mѹr|ʽgY*Oʖ;o$D6>{lN TN(lbCD׫/ ?WxP Hsݳlsw+ڮ.EcSl& & bʊY`˿uWpz&0X1Hds4#n+ {Aŝ[W`tUM(},h;,ULFӏ;N=RQtHDHiK"F$F@+_ŚyC,QW>})cP~nYB5Y}{tL]CGRg} C4fvJUpj:^WO̊VPq `?zC~ su.G|S HZPH{+s@ Pݸik/hE r tBs눨q$J((;3zܾIߪ <úW1R8tZZ:sը⼚|EOguĤ^,gЇ25ih±NnO:c ]eekWaY@:4殉n NBO]#,8`!߆u `\¹gb5 j6|kWGC0V>d Y6?(NP#3st̒B+Fp@¦V-NKHiU^8TZߛј5߿3sb3Ի=#0o#0w-I6$I$T?!Mf[lJ؄P#5FZuҾSF Oh]e\oc™݊qϨ =&%7y}@!n{_;QZ(#3%ǩdM uea3nolnOڴ5 gQl_a@=dnx80 t0݋Q0Dy#ӧV#IV]Nj]2iL`H!uaW(e_ot~l2|rݟ0RhU'y+p(ZD0 ?V̡ *~" NRKpi39 8< ÏN<"+OGH&Jbbk*m܆Ie򑊕=hM7;^܅ E:q3>y򆰌KF*M2C}z-T VdeTUOp]XW uq{~\j:[Y5S:c?EB`B@+ lF*n֮xBz=nA= Q vzJP2?.Gn5vG ΃Td@ I;XkB+oryZuLF[E ݜƛyƇDH@,^9(oo28 žs`[FH~窾&↎`AV %5Vnvmp:"QӍ Z7@|E$F[#1[P3(ֶCc]a d͓ SC B)^T*n)ba:'SyD¦+ (98\Y1> +rOƌPH7M)lgaȨ2̢N& ~[SȺ尵&;0*=II]amU7gIX֓k&I`ƴMtPJ_#~ dn֝gVM+6K/?}R.b"FaT" MVŴ@!~Y}mb8߮LSep`+bցh![P>+U>HX.bUDRӞ;>Wz6<.ACkn]|/ 12l;9<ܿ1ӳ{V6e@NvL5UyJO;( xI Uȑ Zeq:|B߅[EDrMqܞַUԚaRCg'Ϣ2trzh=!54 -m)񤙛-_KB/$&451243{7&ɲ4L}Yf,$W+KE/,\C|,㕾 -΃Fu4WD~A!.;گw: g">="ZJ\?#Dn;Gvҷ(im]mv Qu;tdA Gq@;?(p7,}IfsJ|vеJ̿ 8^Eon-yvΒh 6&ڇi.\GI=EOY**&`]?y/Fj>ů D}=Ok{7jI1EA )+,X'-%!J(:A8r)y1d|+QhI"`杬qHC)@2ϓs}p2w&cCdRµI, oM.9,S\k甴W|>|CC/e趜ryCDsǜ!ԅ\"cgW`5[c |Ӟ"Ns& \ B`)|>>.ow ɧ-kd yחlEU63Bub A-=$- DV4HCmp( ښwfi&=Fܹo1,#iuN'K+te.VWojY?Wq|@hC2e5HEA!t NJ1՛\}/A=[L]N}\^Qo1%dG6ԋ}7|t(22rðF*+Ȟf8Riy!j=9R(Do~0bc "CҺRA*(H%Ug@ͤ'#s/=mQ扲t@J*:\E*bT i{u!*fzr7%y_nj\$fC85 9ե9l< Q5NS:T:U><\ph@U{<ʾC$!F04eN(Kn!B% ⚜k[<%QBg8%EmO>l,Þ2M.l2{>W:;nHsjni\0BhYA󌓑Z| ĵ#6`PH A9xxaNs~ϯ({Dzg]$WmݏWArʮnp0aYfܴG`U-UJcvfɚ@]Z*pm44UŘo>BDa'jVH<{QX|,&]  L uP!&c%w>t,0frvj,QеɉbZ7Dy站 ?Zd,AQZjhk n%%f` qDZuOM]}٬l2ɆcB̗ѿxv~GmOc1C}p"W~+,&2*]wm Uxꭠ"eGk㇠%pz "a[b|R:HkصZccӦfΥNjH [rUU2<|{k%˕ּw9C"UNЂV?0GZ cz$,vR b.Movp<+"ڤ~!͔%(UUUU  OEI"B<dZ-@!iT?+H (@RƎGj؂v5+D|גn&D=oOŔ1/>aǿ+en#  F2Ֆfֿ΢(-QDʳDk/R)~Lpa8U.So}!Ҡ )STT` Yio8"9oxb 'sJNap&X#{(d'cE1'kZ6.e9of;ЀxNw' N/IIRWkOѡ|8ng\^;j˭6ʎ2Q]lPr.58v[ wMn [Nr\$F-8nW'10#} ړQ\YLOrfoąUGMT/5O6j \NXM4qV͍g$vL2vN!q.:?s S۰a=<"GEq:0QF/<(GǽЗ=Ȏ*_'jANY"%u tT\GDt d=mJ>T~֋7P4\ p+@]ol8&sC2A2B"YˇRd5L %sE/b$t+ iXU5=2k/-w=:47f#ifwl|o;0}Z,U| Y4CϵOfB4CTCܿ%lXj՝z*Ҽ r3j# '&5N##r~IՃЖP|&־Q6U$c]m0إ‰L͉׏^ˮcXd73QTC䯼@)T'> ;tF[pʑu==Wnˡ#d3uT+ze- %p"%aeV-1,΄ Wd{t.e enRg-&x?9{J6UAf C8K8W 3K1X~Mo.w U*| g DS 簌RVĿ(Q@̆n^*x- ,QaMעSIcqeAD"|0e/ Fx j%B8oZK$pxS9\;g܍ÂN $ 2£ LXyUQHƞl1}(+؃۾ Wݶ,$ ?̢Q+vP !02 sQY/pK9q3\7imgVѨ"//<DScI>x={ jrL3aud(n$Ll wZ!*W.#?mX{G,s[3rf3}ߧ} C|r9TҷIC}.zC*Rs.fbҰ!lrrٚyovznMիyp)f$)ݞZ>tA{AoVNּ?fwHVw4oSuMM/crY d2E_J@o^WG> ͦ<C2ʚ=Y,lSN!P2!NfIy 9hN+\Ce*='ߋOV eqb{>8$ upYP&S@#Ҭj;46ӱ> gjLų> %->M†:uwOϜ<47G*^L񎆏OsI7qGm,ةGkIVVȃ*U/zup!ըqtk/5_!~/inx8 v7OyYoG'ՊюInI."s>P$ eU(U4C'vM&bSZzɆftozxI[Ɔ]z5%;e+cW^55{26ˑh9}yyݿ9{/[a]ǢؑT+?=+S[.y> 0Oۀ7/,ST͙oYZ/φyA,t2$B [)+~-w1O Ӥ/HZe@@ 0PCv6 J~3˂Ud'oTf姛N鋾r٢jkV);T|Ӷ|e%Y׌|NO،JoD$Vqmw4g* ӎw\76basJϑAr#%7!9֋]/KRDoE*Kﭤi7 fQrUKk׀>=yӚq3&B/걻P{q̔X>YsH^r_?x@#'2]92 _P)^- 7fN%˻1, HI 'ؙvadQes cWaySK;_e#W<;.<YҁzT>Vc/]8MWǴDPOOl qL80INP߱6Rz Q<%J ~iB X-oNo*U s.0Iq mR=JH'L羀$dٔw1#\7?< _ЊG[L[fS(;.TuOj>*)y c"`U,SilaP+D3Fj&QB9pϱQ)u@R.Ԥ:Dw>zA\TdUbm1ێڳR9Bo4xLRlQ="%0[y\X'cч$ԪY^q892M#x \8Ōe, ;MY5P*tIP#!@nK E3,Hi),mbpUyV{ɤ-e܊6l{}GVHHCBJPydv{]zjw<\ M8>d޻ `Х:'S |.1vMhjZzl;v)!&=+tj2K3˶W':nZw@Uh,JwᎶQ'dgP =e2ZD}/OX #[ኳ q3j7L.NqL.^GӢR/UJKATD1pΠ )gYZ mHy|'2Dw# # u53qc # .2mpy&4 f Fq@T"JAр4ou@o*"wFB &c%7P*?q.N_[W^Pid!9#9Ww83*g 3L\&q4L7LJK*t>} " IaTةl/Z*KYoUS;ܫNptU?o^BehZ+ +紛 Y{ÐH~kVK|3`PH#zhKdihtB`Uf4JuKU'gk9 c9z+HʸxCok)dD^0sRg#CI.bfx86{;/MyI?"Xi:ߠHvȈ4"8HtS$]S,X=UަN3/ܷP|2 n/,~2Pd`$o/L\@ !NWyzЩ7nlVtc~}!&~EΌg`ҋg@Zrΰ^ޝc~Fjm?Ӆ>ϩ5r$pizN*rQ6=LveaSx>83_bud@@;Xn[AM,qJf#l,M*wa . :'2 AY π}/jD1ȶʺPI/^i?kޜH/4jp'ي%Ϟ&T\bYjBSqtd7"S?}Yڸۯk:"s@Kvu !a9oڊ"4JuLj}K _ zm >AÌu7ǻ#~)y{~lVp ZnH8̽-})#+f7u ȩo Я9L);H|s56Vj`MGaD7!g~$s=;7-%'ե(/ꕕ_TRA|S$CRF-#D Bp)7?,I8$[paYDF 6IF}Yx"=Di?a A7Xr\5}bostIZ~SPI#g[wbO?Vai~#2a4 ߨ0#["&hA;r>8Ǭ쳞.e>' d B%NȀ&)k3n$&i/*Zt^ݭKHR<΍OA7)/ `Z3y5ET+5!+' 7IO:c?/jkU5T% u|t!Lg{1iFO)bS1;)OpY{KƇ oWb䠻=y@ B-/h`V2MsP B->SkB)M& h5ҿ/߼5 4jIs3ТN1-`p&ȝ`Dd-J x.PT}B{.-`"ZmBD2n,e+W"Ds}s0"~0NH{;Z,ئf!#`ljhj7$%21OHI,)?c*=zdVUVx";)*Lьv~YL}ō/@K%Op٠ol~Y~+h{J.<@"|p,OW5"tk3T%$Bp٦J<MlY4{Dԉ47}HڻC?\SkAGRrV(+`SuIxsujGǚ* VId¦_˛6Oc I}J#E%Lua)L!a+UYApmz^\:tdp8}؁ Yx^nY@rM0Trm['έ6-R76 khFKSސ|t> ML~toq ;xĀ üvKyݝufzJɶ)<5@F nJ8up7ڥ0ܙe{q};&ԎA8ȩkU屢@1Y?4$!f-Pϧo<1/ѶᎼpԲi0 V7%:T!HϨE"\$8xHv~0tUXj# sN`j֚m>׽[ x&j%?3 }Ce,`]R"C}jd1xZrGpV$P}ND^U-lnJsk8aテHJ` D;-)y<0d9R@U R Qf5Z 0Bv }^2:V2R5F W4 x,{8:⑹6Hˀ{SK6?|uZ=k[ṭafaڟ(u{+CM~/ #75bȱ 0OٷܹrAB3Vk|H;4ʶ̬~ZeeuU'߼y#?:912%P:Zb;+Ix(^ D'? 970Q_<8 I\X`13z*p@4 םhP2 >o&iz9bD"qґBGK 6%s+D_2Rn < d Hg )xH[Ӊų..c ZuF.X7mi) LSƹ=pۗ܌,^fy, ܔW \;Q&fx@@L0fVxL3<L>FZ|h>}_N$eWX׀" dSc1x;,Bf|srz^1NGxp/a~4>p'ٻn9t1!x 60u1DM5H/.rdž-HsOPg} xu/:#{S"lncđ}UY~ErzBrR V05chu{ˤ80BhqB|O'pjDK@/?/Hqj)f#j ךݨEt8ɐsGӡ9\eTy @Y ͱ=(#2WOř-YdFB`sWg &1D Űg`-Ygc*a!C?)9jz aQ׼[0YZ64\~7ݪ%PM*؟{ r#aēIj,.gM%<゛qOfB05۾)WB"^cj Cs\$8J2L'&F m &M-C  )^%uӅSRn M>>=#WGL(|@|e&\`PDy~&R\;:J ys*q)WhE:aQW[Pm쯛) #}ԋa:!yN mdŵ[kqѾDz`s POw\cǺSAE8d6Qh0Y:'\MSR ;tH[Tt3" [`9D ^KT ]<^9\ Km;^)-xE K8JǿPjx'ER\3%muwwYic=Y)і4RW+`uh08?;7!]A JjkĜ=fTcPot6~gҁ!DQ9L,y!QTa=`)CIo&d.7 Qe`d7[nŝ$)F։Ź`Wd%)d*d1iKy 7D &$F 7AT"M#wdöĬ|Iׂ"yF)Zv1it8M1as2|}ue90R M]OݦX-kXF [G m=Q[;΢;̷&\'Ҳ`}ӭsbS!?e)?[ 4t*kvOI Ww]u^i'Tҙ3XQBk#*(Ʃqޏ2eȑ*ܶIS9R) ڛ a(pV@ZLՁPy<8듋n! :2fQ,[V*X1ݏ `|5Hҳ>=:@]Nejɮ<2f)z=DIw|aERg4[s?I!d5eF-c^7I b)Jf=m?Ņ)S<:Wcڂs3.7ڲ l /}4k6"?aV^L {Ytz> ՌT٦ӽR:elikUS:s +ac\Tw $ wr%0AL >dxv Sxq^ |DX`W߬e@" 9dO=ꝤIL}-Ku*?r^T6u,FKY /ה 9f{>KkB"KT1eYn;R2ۑ[_F-JN[? 7B5O-B蚏j} -zg5%G9@H#>.nwIz_"u~"d`ꋂ}竁:]Ry'wXp3Bku`E屉[Mw.ԣ(!Fx,`Ngg36GGiC Dr5@.1~'>fH5r6yhr4J@q@g Z!gxX&/LVt<~m娆4K7"zջ8g .COk]|Wp[R p97+cb7v2P_ Y {M>׬d-n\Uhh!o$b?L!.SyiPS; =sC:jL+Hh9{YځUfgC5l ":E2fy6L|H7L5Ckh&.W!ĕJoݕ\G&aWBe BuC쉅xƫަd9\(,)ɔӿZC|)sw֕tJ13W"np~'n͇7vcCfzXj6x1&GkM&VZP@Ay 900ڹo V9\m4 }\/3 թt/so͓|"%pܴ+vj]}uQX'M<I/x 6&cǴ {Rd,LQ ^s?Cf' 'nwq1ji 1d18k:oh?GC0?c,0;E^xPW(`J{65GuR8JkŻM@*mJ^5H13> m^1Vѻ'oaGZb|{כ֒rM!^:Et"nջSг[p/r~]%80LqQ6猅P/ٔf8:ΕԻA[Ʒ=+NzH_o"_Qs9NO0,5mvۮ =b0ݙBm6DKvʶ6iVO&k;5O_>3%*sC\'-ъ0F+&^ %"lf4\]L1 ᔒhqTC(V竱ߌ@ 8R";@_σ=bVXKѱay*~'ט{ZSY ϥ/{Bg\v&#:K3ĹLxt Q:إJzg?Y06Ht4:F>1cmGws6VJQfLk+3Yqhq^1n5p|Ae&;y03qC32ArtaF mfU47vjqkf8,)“ae:V3[lH)҄/َ\C (^t$<%Cs03JZp\=2N5Ҵ}uS{ˏOk`?1d݌)L0㙤#<& 5CL 5+B`I$/y!Ӈ0[6t\%o]X2;Ө6Z74N^'E\F)2?pFP:<("oo&g`ԓ2%hleX|жv с@еGchY9_<~ndխf;[6Uy^KnJ _l"yNm8tO<( ٚ- fÊR->hc87걣^;&_Jo015 -fvy5b :H tR&7ʲ`q-oBT$ok׸KcU9+3ZUbOئgh( YVd\611]}- v!, -IA֎{Kgk zzj1*Tsp \I>ϦLsd*˦3WzzyRnDQY5@1ÕKVݹOM3EM cr/SЁ>sp-4:(O3ks9:gpPKT2|ﻩ'Kkؑwd;Un|XDl\,AĒm!~D)2}Yvj;zAvIgjQGuQ嫹ۿ{gdAGU6M7e!wRkPeY˿RZp6iH=bo6+fN:s-lPP,QS4x!WbSKtf[ےZ=GnՀ?Sff\IbI_.vG*nr+fʫV'|mHj @Jaf<fμ;ƓBpxNQkJsڷYjW7BVV࿟MoǺ ۻYH3Iy<-{Iaz[?n Ⓢs迉vwݖN\CGnF("-Mv'՚͠v[Oh'؞wEфq2f4zN"a7`E-c· ohsf\==3t und3q:1M' ̛!_f[-|X0 תqi-"*?XedL<ٛEcÏ9Eppm,=ȋ8GN@pBi RSS7oL iv*%iΉ}wq(쉽P\p1谡(|D>aAn(wf)<H+AqJFeO,F yI5IELn랟zObjͲWțTO?xrW3^$Ě AR]c{[b/>rּ)PB}7&Sg$MĵI05A<~+ {7M3j#I=%lTC1c?!0#՗C4yy5XH̔0uޡuX~*EqtDz@Fx@Щ'1/A:n dgQoY_"ɹT+n20](d,QXT4ʓWv:Cv kOQH!R~Dz-Ɏދ5;ȹ;%?З_X6fL˵rq<戨q oݮY~gr@<^X7=8f*V.9y}&^U=D""TJVC) z_Pjtx7@g#{.gKzm3nfk.hb 2= ֔_\}3@ ֺ7^2Rm)Du7lu7cr5[`yKy޸e^(!f#a3aܟtP^`}Loxw$@ؑp4JajfӺ^sP&{v氓zk6S %8F1p0/T,'M}1TO@A4Rvapa0C\ 0ҲAg֏A|r\lj"SC[TN/h=yE]azc3~\6q r~6_ha07 ւ"(2 <˦odQN冂T xX>>${lg*E-wgm7ȗべƲe*&uߌlj >'8 -A }lð]N(~t|.ѱs;\> ֱrzV6!x_]֟y(&&eO|+ADQ4NկA1`SaXghQ眬oX1$sjNz1I(/gWX$#,WLk+jN:nYf&Cڎ}F8 QdGdx\XbOژ1C3]h*5Ur~Y(>(Rai= 񻹂=ӒP^0Zt)7߹Jlx ϝ$=l-2\5 1B/f*8W[ggAܟ)ީbƅ'ADUѤdb o/sM-a OD8Sv޳xˉ|`tL1V~ȳ}Rj-Lt9r_ȩa HȶN3\!L8Y܁V6)[P|7οAH i Nf^i^xIL#r$9)|t|v㲡"^W_Ǹ ;1~f?6<֘F"6+ \ 8oz+3i\WCr9Bd8w;y//p+lń9_ڔGެS0)RLh<G 1ӭcT:=e>Eb驽ld1jcXL"7Ġ U$W~"EY[#92f6i_o>a%<;A*ȅXrJ1x|c֪?&Zѣ %%m ܲ`T|qXUu|Dq͜TgnƹUʡ!)ЋՏcXfLw\=c/!EiXtA%6s=1aZ.'c>m.B6gpa*Iﮈґ`6\EѶع.uȷY1 84H8/MAxr.y耽фd8Rmoef:U!vG԰4˜G)X=%0{అ-,O٩lv&2֨nwd|fU:.4~WA1 %v {'XJrzy4S7tVDċ?U9tugj/)]56t>E SWo3x+6Q YC3玽_1mzkOSߡ]mb$Xyڀ%DA.rlfěiN{-C@ۥi 1ڕs7axz!oi([}?Sű$Oz6Cy?qW)&9{D(?99w)v'^vO۶ղ&T\=3G39{Em"+]Yy_1 riJ}J+[| O(K"7@*fjW( [``&:*99DIi4S߄o1Nə|g\LdrFΑà51S7\MW2ӌ˥-Sc&9}kw'KszCSJ v+Fz@~m26GFej4QA3GC;ib 5Tj5kL"&2қgZubO+w<,<5͛s8v 5-o'_EMd\q/Uiѧ&H'<V-Ulҕ׹ jwb>ʹ7* zԀxuj6jCr7*a8%w,T;c48`5h_ PW;S5pFqH:]B(xIrM3۳^s"hW![g,y n)X.X 9 h͚Zkl#s_^?AjԨj-GUٞ_!e_mKu"'MJkEV1>!N%lis{ݮj&3m.f ]M ðcnO|E1GY9Tb Ho9V<0*,'K>H)Ia$qJu vnb-apN4. M@`,UWjC5|_xtrSC*x2APxr;hCS>^DA"xڿ;*flBa!v"Η"5zJߏԱ{I@RnJ%$ѱl}\7=oI! _(g<\E ̕Jŭ"ΘE|r!v_kc!.2 FS Lk)|}D:jJsw0ю⍲ DxG}):Bo" 'nOvǺO+) A곒FΩb76@aqwUtw)۷|R8Ӝ2\em!}VQA P::tBI"pK%BM<0}uG8ͯF?1Kv'q/Xn`y4vܳ< R|X1̊xk44E]7C~-oBRIwm_wޏ tL@wYYyqBYZ ө"O3#e'^Ae̲22^jвBL;ABiu'$ӡs 'M 4TvWШtpéD9AMS>.jQi L55'M1`nRN-.l*DToHV[ئ11,rB ]o$vEUSIlm;P1h?^:L 1τDN;թBoLNC3$_(ӘfW~ҿ-N`6o\獠Ň Tmg2;ʞ"ZQ$<>`|ky6ژ\>a&4M{".[K`lU"X}Gs/L@ FouNwc8-lJݒ '2Űݛjؔ#|?Fl-G Q7׵Yx A4wnwK0:NRD{F P p7 Ra6,mt?SGӣ=`",&9uhX8  )KM=NԠFy,_eG Cn5qb;'S1. TJ3iM\`ótB1Gd2>Z~n XJظlg\.I^Z,cjFM;̫]]=m"Kg`/UR1FxSzzYXC\ fȠꁫhBøFmt 4yBPkt^Svp8Y7W>ԟsɴ h.iZbȪsՖɖ6ٮVA0B:%61YwysCoU3Ug:]$ZEdUPؠ5i~Cv+THmE6ItY 4̇3PfKVVbPPb/Y2 &5A1k|fd޶!P!Dphu㙠\M֕qX0Cs`D AxJd(!L\iVˍ A6x=HwyMG'f'oWzH՟SuRvu8Pnޮ*xZ,;}.ƃ i05@tˁТ_vm}6y4ƛXj ͠͝0Q?a>$1E*5>٫tz\`ʤ/S^Ґc=2^reS358{a^e!Cv \`t\u1{[o^cv82n;X1{*^/*DV [뻃kAg{"A)]b[`KA~0>cB/Ew>bXA71s:aC\W@ ߉1{Q1L]Oe3e]ZhaY Bfr$7a 3;J$4t,dʓ$dWg1nyʠ=Ph!lipnD+ ǃ==!8ZdG6Z?F|݇f3DUƠ8KK,0JϙjЫt~ xd#8:6-|%Fxqi%NMM/Cs`{PDNBNzgJ]3 5?-> NL]Ԟp@ѻWo9bޮS'-Cq2v4[?)aT;<,|W~YX`رW5$c؋sG3޵"tX:)C;2HPdVd Qbw-GK pj1U;g@ڦۓ@rgH~WW]5H|i cڧdzU`mԱmU\[;on}0Oս޶L$e(Z=>$ǁh*ćƄ5 PkKF$h'<$xN8C*J]x7HkJeԓM>w2L?3Lzx躓Aq1ճ?אr:JފMgfƒ08u^|SugKJ}x.J?[w?ٷG2W,6-6$7((GFo5r;W0&{ =[ ֭ӛ,w١(Qgu]7ӍoղH_P%9lZ݆MԲ0on2hJ0??Xކa`N|֜  1'~)/f'2Z.Sf77mf %Ȩq2ti\$-!0[ai?X6"`_TO~y@.l_+:9+A1BhdRkM[3DêJ( )Zo^Э7XlR)%Uс[CNt9<1A64)4ه瑏9#Muޅ3a9^B i/9"v.t9NPT`,ɷʈyAEpK xZ,yNp~ޭ\Z0IgLb f~[Mp"joHiirINFNҫ li 類&[:j4;v4"L<:")o:WDIta۞ I9Y#Þ~9d5rE$j#M&\5A>n{R`"wDy~ywq 6dK_`& mT(Y(f1'wQsrlW rF׌!C J 4ÖzVE ! xy{[d`>S$2/􅚎PFi G c׈5_LElG (4jv3~w?ߖ Go7I i"0qRTH^t1ޜDj 1R -S@nĢi[al! ә315~Z!Fm=n;iW#s5!?5a4./FbGDv~Ϸ [\ǫ2Up oꇤ:DvengR !1jxwQeiD RLٝ%ŁQ"K9&Tb漙OzNo25ICcՕOhpN }GFa@9PvB4PҸtef<0ϿfqWR5lr7$zw"k603E‡,#K J$83QX4)1/Κ+Hfg,~8 (BK^l^mu*}hBka=qΌSYW݅'jUC ,"aV*lls}ҲOˤE. )sçg .p+3Ζ&tp(N l RXӋL}b"JK0}OUǐAq 5+ev9>0bMcRY5c"Ϛ{Ҙ\$]Yt99mc'A*~Q&jk5xa*@!3{6s\~j-3Yv8P! ;!TM*PAnQ#ci( ,Kd@yڬzϲӌ ׶O]s݊M> Ò ſ YP(:v( vspR)QKC:rW:|3:ѱTm*ib8Ku "eJ Xz̨,⽯l,F R BTc(~LT4ͥ'TPhsOky?(24?'E~+e _`yH49>iv,lFQůɾWk$'`bP$-@&QA * `p۞C|ՐB&JBJ/m Q:ij& o:v e6DgV7ّaK]ŽAUf:Ulh!wpI:@70s-"rGw3u27`D4DCHJA?Cᢲ7kO1BD|=a? CꙪEcOB'v$HgyM7Նӯ{#GNPjwOk[IW#-XEnf\)i?6ْc!l16 0)He_1ͩ1:5ޠCeqBi!SS>m*k=O)S8h#oC뮣AWw[.d?!fY(?qQhNFZ–aDZaDJ7$L|L0̬R^{cO(pSr1 U'c쯸LbK?MօCܖeo7!TFf+b{r5 I]1y̕-15J*J!2lO"<}a|i7q|`Hɕ_+W_$?L\@d4 őϽ=!ux Z@ߊGߨO 3u<8f݇<҉A`?( ֪o*rF Tdž,6ٹ))sK]}o=1 .3qS^'ʅ/`yfray$=;B gFfM @x6)Zau6it3L5h-D'^=5RFM>C*٩H/rN$V">lO+Sd'bk6o';/Wc;)ƈk"tnGu "% uaMY"RWgMkP,*!i#U-ijbU߁Pf.;six`דbǖSţek Z.lng088kA+c&!6{[5eC 5))}R ́ޔM۾> JX@/1@r}R#="+A>:VS>C $ؙ*|qAsNC, ͦT,Q(X$.ohu)W@~`HURP~Q([zPBM,VWj;@MW%*rô)r| N}%9\P}<3 /!NWV C bIdd&ȡj@gTEaff?(SQ׆'G`/bΎJ.y~C&cLjW;ut0UvZ @ZJ\3'3vY>Gi3K3 LT,å(; Sȴ+Y]ϻ]>/A01M"ZxJy?}$*2I* .(:J9#9 1I"[H ja~UYG_яU_\ [+1D6xָ.L8NM~zCA:࿞2_OCn u% =`)H%SJ'!$mv_ͬi')pʦБ~Yj5/UMuLMPxج?U\ss'E݋!P|ou!A[q9X>[;Q%*a£q⳶yT#z]ȁb$$Tp1⚗ǬZrY 1-2ᗐO)B wy!#xY_ `]{ha8 يt9Cl'%=R2myL,Fw5\Fgձ[chnB:N`)͊:D_[ĉ9AbQk:&ejI/]r߅U c$'|Tɩ>Ɋ{ :EthFǼxuu4;62Yax=-ӪSNn%r6gshYJ2 M$ ˄ػKHIlkyh#k#Mf! [-׹7[kR`†ڵU/0z?+}̽j?YܠncDI?c^:oc}8|ЧՁK g?vi+ǻ8'3.{XC6G`Kr!- jX<8}$a'DIeh&mo=LG!IRqUE;<>MYԭi{u-.^3JHO*jK5J0\/I'FWv?]oMO:53d7~ZM~T YaAv5B?"r]dۉN6 U`{]▵l+dmQK*˵2Vq#/i .Ͻ'0jPYA@q EiZ,yd{< \ӥTL:#|Haܒ})s'H{* o-mڛ>Lau9N{S>ń'%?e<~̟n`Ar5 uiHSPֽܳ3FU~jm>}oHPi(1/;?fe^v/nك5sw36oe-őŵ,g .xGZj+C_dfkO_&Bx@te]֬=p͖FayouԼ!>b+!F2xo~oeXU?f@B$Ժ }K.pq҈R-hW`-, $&fwP̄@ddYw:e2(p=ȎH͉UʒBW}_" ̀=N;?R#OlNv"}IWD]%n4([i,ȫ;ŭY҉o_{˄m۵[JhF#ON1TD/4T0[։([`{wicټVC?d!v[\OAQ] =stgϛIVosq?iv:\8jl.^W{łShU(gliL=LyZ?РdT9<q., :֌> Е]c% Kjegy]S[|iDw25,`nVdD*U< C$%|zs{A acv}s.*v_8LW&v`"KS;imWXB:KX |nQ07#ٷ4A%̑r˥2y+g)QZL&JFY{ 5u*Bh?kH+-E~v|EK~KF@I&^Qzmɑ4uleÄOi?ƺں //Tz/Ub$rv`s5kNؤ̋PҾ>HWGG.%N0{՗8t6rb+/P!`~F=Uf.E!>)#L_^VDL['.`r%d #&mZس^ugOǵRC .jq6870ü4e Aedwgly>NgtH5 0ٴrG_iy+c. 1!)sE}M*Pwǖ4e֏-ZsG  DkߐBt$H3K?N4PG5|vE¤\Sax;'XƎ.j—=J`.{"$gJ3磜hF7XF/cn1\ŖM!ybΣLֹN HFo?F`ۮA:ZXVG'#5Ia9'R"&ʺ 3Vz} j(+Kfe5<)8SM7ied/œQ,-*ۥ@lzȪvn}!5ܹV[^b~Ĩt!b)O 'G)G &)͢|p9$ &؀}!HG 9W*E)Df" é*110s*ͽzFfj4&;l(y!v@ֳaKr(TfC@a>mдSf[v=FHOd;{p$g"_rӱ֧h5PK;O* Gmb3Бe1L>7,yuZr[Vy7V`nj#SE! s2 CX S\u Сch('Č.WnK)Co!GF7SS -2rdL6)*Ff{P[n n$Cx,v"хV;XIrw>W"߆9!l1Z7 a^ q䰘O(G2Kυ*C@[팫%Msn)KNZdcb_jipȎHjB&;@u/돠6cJMU>߰Hܯ~>omǽ Ooݺ`.̰" r=2 \80bQu=K'jag[5e}{&c{xy b xOH0To\R1L%LӢMLX-g[ Mn"-Պ:k[W0fţ/Z!`L s.fuosW.r_PiIbFL-Q'c5AoM~a>6)F}J,qEWY -7n.[_Fەe/QTH#ceOpNrlƣEݵĪ\b~iR85rL娥f .y[ŖJvaS3#@?@)Cr;PQ!_dJ<^ډb'p5@cdd`ɝPZ~Һ^=?~a1 u6PK[ˀGiAF Yeo'X22yz G|^wಔ~'|iX[\7P#1ts؂ꅧa#_\蚁u0_[֘l C?A==~BATY5,%W||M(E[n47m6~"&KIļ6;F uWZj1Ʀp0#+yٞɽ_s%QJE.=mk!?A =r%6MOy;-4O_+oI!_tpz :MD4uUM"D~'?qD""t`ΘŮ@++'fŬ(ˠObˉa|X7 cÂdaDn:D잊 zᔺsq2^=.]P$' %S8d b4$+zcR@u"UK[f%}Hn(n\0]C}>HT0(Pv+8m~ᗼgWVƒ8@4)mσvNhhB'vVR8&,WQSJx}t iг>Bwo;\ѻ1ss-׻z036+HZ9W5-EJ/mF.GQKӚ4J4`ChOrgB1P([)Q C.;_JO9O]DdR ur !YO6ˀ rgۜ:6óiV%`|eV۷E :2}6-8.xƍUZKa,OvvzRO"b- C/ lTAʩ(~.mP*Pِy6UB7eFi$.&hoH,F:;)/צJ; ף>Ӌb',0'<ݐն+M5#P80|r'NQ-{3/^!-v BQ]7KR8>cuӑ8(!g<@ Hƅu%-Fb;0-eҲlTbi!gңn xa6̔,0GӑBAg U;19Vڗ3q-+/ [UM^8ILMAZ3>.yhT2%-r0zOjȕemN I͛a…]0V&;*"u4z5dkKZݯbРKX`^#2`RKىk<` .khS7 yWg È/u"e aLēw(_3hƺyn(*:Pq↦uceM: 6nWcuMYUǸ e/Uq!WЀUE-,ykAAw #[)u㒶FOZ?`xF ]qJƮ/{0VIy.Z͛_ FExM@ƻ.UU9AS D'rQ98NDOK/LjLRW7SvKw-&SRzm _^ie)^ i7V ;(K > $D]oq=7/$m'U;qȆdMOڪ9k-Kj豱q[3U^eܵ37ɍAK]o^rӼ6>-/r'GydY$(F milnW=wS R3FWg/9 #~q( OOiR?}E eLY~yN΅ռSL~4AqBSpl]m݌2bd7џ~se$hEG`KX땠EچOwSV;Xd'ٶ,5%~;§7膘Ϝ#8pOP[Ս+U85;)5xu1[{xl9Á?>FI:^rȵJ& blghF%I=֯%sZꋀ󩁟9`B/CɊ ]ZZAUYpKb=¹ċ>MGP:^6J%.ֵX%#G|(s2:] ѽaF4?=wb,o[GK6<|''EȦ&$W^}~KjWc"E }ĵ]4 H'(>U^$,C&됞`AV5[x䀙 @>Pq@D{AęqMA`] ˒<=̱5BѢ7LfQ -ʐD |C(H6Z-u'5`4Ю+ ZF{g]ƳIy=4fN1ZaX^q.UC*Y3 dڈ㶿OU,) 3uG: kެ n8n7@>n9MS4YDƓ^&ՠny@G&} 2!9ʈȞ)Ei۝Wd"F,pr[O5}?(ܵQ6Cca'-Ep9="6.q(7#A wO9)y#ʯMzbXl3[yS<:/[y8naIocteePU0aR!`N&1E&ڠ{uj7*@!/w*"Yams{v CssRJ{/yZ} y2M4SzTﵑٕJ:UOy@,*^E{Sj*䪷t4ݴA}0KL=r,N9`.ݥOT[<}C)Q0ăb&#;#?s<%~T4kqtoK*GG = "QwU9 9@eCgBUh3c%]io3@MfAR^Ȼ]a0£=­}SKGnN(^!\_J&vqtyf>*Bzcm); xm[Od.|{;zkT^unWcwAK+Mߥ >D&N)G:Ƶɂh̓~{Qwv7̯aեUjq<]z`$ӌ!ۣ xJ[2ZoV JxaVxMd73_w$|dOGh\r&\Wf!g d)5a?!!;놕v- C {ؖez[YֲFy?@8u: I0r6<ȜP -ua.k/tl\/Eyf;4CJ./pJd ≺IeBB =׻ߗ3XϹVm| eMIH)k|K(D30Bɣa)3A:A-܏^5(. " Lu/1_z55T CC*E&Ya~,1RqRh,Ei:?Q]5da;7)@RZj 'H ΞOwl$A!̈pnlSvGd]%RrhWwy`ň(Fkaf%›׈o=v:S4Ϭe=k qGzxs+/ta%;K![MB;HD|_\Y#HwX' (<@9 *g\(LQn5-siq8ျ_JwR&QM-g}0AИss0ld;[zƟk ٛIGι.0ݭ8t=9$d BfX\&X/?w>I`v&j|(oВzC:.]US]6ܵ-*wwtO/[htwURG#m⢦x:_rBaYGQww87T摍8S%M|&څz~ B [|U멋`טt ]\x*/-!< z"mഛƶqlB@}th^Km`_)es-pɱPBǨ7Rcz o=;A?