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 #rL|$ ]% Topology:threads=4elapsed=8.577cpu=21.748gc=1.3647zXZִF! S]ŗXiɟH)0!h]GU\G7eup$x\y޿ 62=;*.̃GIM5G+k@Asˉ@17] \ƚ\] yn&xو][^׺ڄ,zd#=4Ůž+-727˅ `[agq{;b׍WTN'%xe7Oaxہ˜kCE; 9|hJ;L-7'0\4?^zFip9 O2jH3xc=F=(  ;/t{}&RiN:&zH23ҙ.6kZդ;hTWX6"x]u_yL(|dbDE9LyE6v꬜@8b؏p\qsUwGw CzQ8ܬk1D "^gYZ7zXZִF! x]ŗXiɟqHhB"U΅/|{2͐v˯}Ga0N#$-:a9o4#oXU.5׹|]Ke|?UvE.łgYZ7zXZִF! P]ŗXi%D8W8x~&eidpWaޱр$RQ>d^ kHE]$ϑp%XOYY7B[Q_|+-*\ƒCfN+!ki[pCأH2 Z˱:j:2htc JߢpL[lt IeQoHsc+--2^&r?~o}Z`Vej`zRϗL2ĩ !> 5mfܿ{D *,5^M!]GQ;XФW x/;i C˅qL_%g8i}X`w&Ճo u}u c>J/78bXw_Q=c! agbMդ>"z伾(iցvIًdT7aozӦ4ߡc3ynl3Km<}X,ɵVY`ς=.ĩ3:QYu`AȔRR!5`}ke'BQdD!26TOx3s{f6cnO<'r4:kv-tr[v5FF$2}~GE7)^ Tm="nIֳڡ/bC:,B0=ܹm '\lއ͢I2Ev1 A\.~De ÙZLhs"? (.قcɷ!G E ufѾVA{w.PEQT6 `}&XJ_VDk_EJr 2ta$ճP6Qj(Kxhi~8/M]6̩7~0 k"\d8Y}} e̋ Y銁/[a(a(~mSՋl!چ#1#Eܼ08BރTYnP @)a5zWu.f"oN%lDH Rz%9bB:3/E$ ߡZ&D~gYZ868c3bb6ebc30148288646846d98aaa15b274adec3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 cabee864f4dd2771d049ed027f61e7c653d6e2ea 2b52485d19ad407b4648c448353fc53b78b02ec7   Topology j jb /% 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 u 5% TopologyLazy-Lists-II.LList2document.tex7zXZִF! A]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ˊ0x ;% TopologyTopology.LList_Topologydocument.tex7zXZִF! U!]A-MՋhvG"uIBm5В *(OQ Z:P8ߒѮYK[hj STQTgg -٪Kv߷Xrc99 tt+/%TopologyTopology.Topologydocument.tex.5%TopologyLazy-Lists-II.LList2document.tex0;% TopologyTopology.LList_Topologydocument.texXꝍ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!QTajJ_|7_<IJ{c2#jcţ=ȑEF[\&oh.?!;`mǬ0f i"J`Q \Zk4iJf: }T2=&j LcW 8ߣAfhɥ>tr-\K1 \+|tҠǔu2OJYSWZ/QEyƓ3+C%N`+fM\N|#sC3ӻz )ĩ[|.~DWGo*.h60-pc}-"G2ko9S&9/,R6Ж]#Y՗&豼l8jLm[$jnO ,SE\.rʸx!:d4pMxvPv8 s U|h*Ktv,W`$7y'G/3z=k{_I$9HxJT,zhpi4QWzugnԍf,7 "OEgm^X6z7 N2Y5[)97,ʃhF@qy3Q[Ie2%ïVVwe17dAΛa+\,5#r~ش\c|CUH@@U"zH]_2|=4jbC+?onk Fq Jxw5pTDI`TF {xYsf0k0_8B֝Z| fC}h1 :0}5/ce$^iVx}{X-(Ѐp6ø b%OشN bx;y|ʠ5^Wwz84l" WS+}l2 { ?.f\ZR/Dcu*̓u+1mq$1 1I17*WD4 RC H́yBLllN%~ 嵇{HO?_6U^W9s?Y cTP)h MeY"w ݸԇrLǜSadȋPC> Q $OaFҗE*du;{gJj,R62oZ[@O q޷LأW ϊ{"%wS&?[4l<,9hVq*S8)hAysgC }Sޕ=_B;A,>Mdn?)L mDAe_ۚ zbA.hNxAvf{\8<ps `>$LCq@3Gis MkknxsOFIcheWT6 vVdfvz&mt1pws'D]/l6(G#XxЈgrB0a\4yS/Cu[$PnD)m )UIJMPs֡Զ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坣yRzVVibF S,/MrPPlM(^~ԏ$u|ZiDĻE1]L[4\޾Jy{)"^pC淆G<'1Ʊ7ج03䦽}F2`ԃ9{>~x#L&=ZCx +2լ&'~zWޔ˯q]2G0V_C>S[T0 9liwGrMD`Η k2,yN]Мi <_Uzla4bmyo $0S`5*uKfx볰 [Nn| ]ڹ%"LHoTPVLq;1C$[,/SnzemצL$ke/͙ ?TogP8G#5?g3/}!eJ`Ptr 0R2cqh WvDS I%0fXx< JV6c(m@&jDj8dyuc!ʄZ^2N5#AT]둎}Y{6V Tڕjd} 8I`j~x*40Os̽yA߄e%Հ_ ~듽Y"}qxv\NYOwč槐}jU:sڗFBʶ))jᐮp2&ŧ5\6PǾT3а)Yժ@|ӭj<{ 4`UB6`;Cc~2>W^G%&[^YKSwHyw~6 L$AB#L>:qUW'1#jImϖ:w܍NrNO%O˙T-biZ"HEr*`zu+q0I͑^#AX-Y$XFx cJ $s't5*,I#*lqI%;w\E;'gO?9(Rir SִTs|(q*#*\ c+DcsўKp5h^7P[ ԺnX|t%x4D&u6;^`U"mPU0IUK{gKLjߨ 8ߔ;Hصc1SWEznX ӡ^׍ĂRg OM߲p6@˩ҰPB"MF7dx.:9v쵭; ApfCU{1_GFE_5"(w#2V2ux+rrQ̺niRYo`b T7=H tYTVD.:"w S @(Zx:/:XEnYjf3O@0W)PWR oXS\, 1GR]#7sqfe{ ;^0Au Hq'W@atjl p$6Fx?V=ncyY@n5-EyBYZuAM{ǎh䡫.aө( /z9s%eb, +v˖e #hL%tӑr{CS n7KIF.~oZ8iٱ}r+9ZP\!BH<#Ȱԛȿcmfuƴŭ,% CV,6@B? So}*R4}㙖!D/kG94Glx)ɦ4 /#-aZ`X&hEI#:cgahL212bF9lEӰ/Ƴ^'h Œ#r7rPZ joW ޼8M ȾD>J;O%6}v@X]{v\ML4k׵2?rU6 XHT?*4~@vF6T.ڋ!BG3 )w\;⿿-0}hp}riUg'ɜ]? =O&^&hDΐ/ x %-@ cHEvo䚃cg Q &XzB6 N#U.G$ DbIh4ϥWȡ κ.M)_Ǫv ύNlU-Z%˗6rԁtCa@%&mkEҊ ", 'Q`-b&]ގwG@$Y슝nRaT` v&pnZ,_辜D{Id <.tpI+\E7k5O@[G +9!{RiE@7%\>tl5gr/ŋ^J$5m$fhXER!>O҆?>?0őo觐pXZ͔`O=*' p՞{Ipng@dd]%$ *%2a(#M.Y?"HWD}/JFe"^>.ޣf +֎ڄD* $~,쐍fǏD1Qp>53fɆ]Y^pau΄Rt6 V8N)6y^Y)ⴐc#u0!}.9/ V&wi%mZWLoɗ@YvV[HJDrBn'G/!"aNנ`o6eL)#\/03 drCPY6N^\cY{[Y$~ζn53Vz`~x)>6mi>װPgR._=Mf(04>ޚq[଼M ~ȑ{jz(9''E'QLqȩ\64/7LK9ZFGPoc6byKxxMU[N:E":Fj")c7(4,:2f]Ыg6: fwo#[ ](=R*~@`_?@FP OZַ~Ys9g7*ZHC+QT– E3@V<4gςlwN[P cH:+2tjmq5LR pq]Z[oT*0Hz j |s\Ly”>p$aZ|g, p /Ǚur+(Hv$%M:9ήxEI 3;n榛Qk]̼EdX6XXsed)6Nx!m 2 #|LW3ǐmD7{#!M]@]"@Mۚ4b7<\Ρ,Xb0z f{ nrӿx5Xz*ôԈPqT*H])u'p4O ;.>Ozl`rbE5>R#b"8rbCWZ?*p+o4LQF r7x2s9f9Fžs)ڶp' CE>nW;j5ּtdHM:`) :CHqֳ#5ҨN`qJnϽrӡ(c>}Np^ܖٛPHC;Su5dpsL yv%:) :p$\7 F2\ >hDɖ%%Up]7P)OY#.9|QERAAg*zLD~8:dc&mE)RkEI|G &k a ?gOH ,.1 DždTa֨_x|k#\:l&HUjR 2 Y<?_8/TJ)&V*rf4mS؃ Faf1ڷJ9Z|ǙO0d>}Ubc'T|67an1_ɵ_Ȓ(J ^&z;xL%n*p* eU%+RAR!Kc8>Hk9@tlISLD2/Hrlt&GhhS:DuN()5@cm7zBW!ovΓjH5~o[ pť*fpb&x4gH3՘slXₗ듁:X㪫߉YnL&z ;4\Z\lE$"so.P5Ar3 `s1* 41D~GJ+FO57}WEVK[ڂ4g!8(YhCJmҫ墨~]l?̈́m4$-6vT-G2A;4'eRu$!6 VJo_]\VKh$v e?gnȀr>*'֓N_Ņn۩e]rCo7A (t]j=nq2^psMN RJ*q؋/m\E5mܖ\9! cv\8AsۊCN1oA~#MNw o"̫iDg'򁎬*4!. LVޚ:/ijbgej<;4>GHtnt{6Syg})h T3!2y-,A֨ PR#J k~ϖ9f? :}΂l?d,0_@BitF^ǦбPՃMcu5gէ+~5e{&/ QI/r.mIhr 9i-ҿVx`D#.`G`@#'o![ uE 6sl\V k锡R 0 naCk\i[dCجfTR)4'`SeYs5%\Yxb0S+n^92{y2011A͆L-/~0jzbbٹF:Uo+$9'XSNs'?;p0o&!K$T8)`ܠ'*'?iżV4d_عOu%p'lCR11 L ~Q$^3,!NDDCƚIT!]-n5G['${v=Y?}Ahx]͇nq^vf cj>tI(' gfߠS|­36Ƚ"A+k^ߕK0#'d* #昘Ms'vUAbDTy=P/( 8/;/(4e+w7|ou Zo濒 T1 V9E قf%2m# WS::.ii- "E ǽh>fSLf%m;k̐:OoYaO &ߺ=AHT>(j-ig1dfMU&B|_>eomŨbX0K SD1c+;qyۚr಼z;h3|op`,y*ӸJ[t_MS";}vcdv-[T7 -e÷ShqG-=$ފ;?mOSH֕K/ׂץLKO[y6bUa sySv]ib^F06 bI%3=b /}>Bَkƻm˰47sˡHA @B{Ɲ{{I1xpJU1HT!D;Q;&6o&AA8 x t[KZr=U!SdMiM+)-hidX] ap=J 0b닖^aeh6|bc! v-gxlGK_A7j26·LH$fri91 ;ҒķaG Q+6L3a񠒋ƹT3rc0#r+C֤#t2慝Mp`K)ang'VƷu_*>\K+0(֞AvA&=~4F߃[bXhp 8BkOqNL< ‰jy *zڝVO5,bOuCAFlGO@aCfl ]w.m 0@%ŀGqTNF8\5յmU">SYDR^.I[T{GHb7GdekZŷ5b!e&-lP}n=fC㓰1wr],+ ]fzy3JMy/agH1t23+iE`( tpb' Xv!{PuR&3]gIpK/ )j3h4rX6oһPx%W7wi~ ;[0( X2v^kiqĤ )7j%'бohp()srP?ad`!f$mxJ(c.*xWxE*( "Q1THn6+{-HNNrk(H`Pcwd%0E}?٤ di9v.ҾSB }F|{ dj e>eقy.5;ۏ$%i5A.FX 9L9B%a`":__G5\R0:d"%E%k5mn?0o̽8Tб+9i 6 ܌isbKg~SUݝfyKdۉ!M7Ht^`Ic_qőAhEMBan-J'?=>2\)j7W[1BerV46P+-Ԅb˭z0" C:YgعRۧ)eSMe_ ݼZIP=rB{DzYZ/Me=k>fWREa pB(wC {Ax[f|@,8nBQE ]FF'ٰs*'NYY#gN9\*MդqJ#۱/׾ *݅ d'qGИɨ%gysF1T62b aCVqW  2bV|Qc(0f Sn Qc d%FE4RLG}L3d[FfDɤqAV#bVp?C!} :t0rVIB@kW{p w6:dr¬I;ٲ"L1TTqG#vI!le ]x9ΒxZukU]o-r0+ smĀ:n3f'5mڋIf@v[ȘqD&f^c`bXFzo-G`[kȪ, z\x@QԌ]sn/kޓ?9Q&Gγ6.!^n &}JYo!Ow.F*f^?,*2#CiL>1K7 :8H~9n<@B`?`_TF$)P oB@rT Mk(SW) +꤇_ЫBJ%<BR=ۘ.~4.NӈN@j2M RȬkvH1^-=1zS?T\ LȔpe@+SX0Yhd/؉leUy.~]0k4Ɖ`2Z8tp0EFNBnv ؋x?r!ACpT#FXfs1h0܂/9q vgsx&×;oqFyDRZ-JYNB3{.[CF34=;h6{ς#))O3 fsz7 oła۠ʼ_&bCh)9pতyuO0*&#B4*%?PY$\/ȧm?*DqI½ih54 6{87iỔLW#̴ݳv]0b]Oj|@M?|$h4~5F"hv&3 +*جBz/!,'ޮj.y2L3Lt2^A%JƷ}U_,KCsa `Hz[CLƩHilgq|EM݁wyQ#A4ܕam2Niytr_'ٸ?[6"m}4,DEdk1>0y0hU\c>,eYkڣ!)mcUպ PI>x$ Dxugitt1SpfY{ZO1' ݎYw?ı`f}f"ņ egYZ ~L՟O^SC{H .k@|tbg6UTp5l'օ+X[wOBGOI +2Qʂ%(iKkQ 5K`B'*xPFM[|nb5te%Ki"_'q#}N̜}ƒZg܈?ng-J{23pWO[b g)ouL/?YF m,LkF:2#PFl(cu GIVXJvV`L7yiF cX$vLRKDzoMKcz*O/ x[-[Sw&<}CM0pܮ͛Uqx&canWFEWxnƺL?nܞYWB2V1zP 6Qԯj?\LjgÄ/:T՜Vwm ؚ>mvۮ =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~Ĩ toX}1u;a$79U/۟0/I}s9n#a;83jm8Ռ'LPFU\B1+zRUE-dC7# <ed_Gܕ F7(I1 e|R=t-J; t(s7*EH;{cғ ɦ.sn['KS cPm&-l,0lC_(! yWSR_TS[\~tt 1* 7iIGJHls>aJFFrjOL9k,͂ ;9EJ5/m?u>Ro;]0f%N&[{*[n{ly>yn<]/^ϏԞ!1OC&| 9f23ψYg;EuqAR+@_VB3K`sĬYVd7!pK/gT{k.ӎ- )A<;ěaNZ/'tILXyGh<ݥtSܯU3ԅ>H*lWXxLzĽbO#~!V#|[8p u0{`GĠgueO='2WG=Ilt[mCuK߂ϓT ܫ2jo[?gs?6Ug 2$wԠs(G:{bί8se.;wD]VͽVODR';H 5`BYeYqoZ>i5LevumzMC;'R ( i?7RD:qʒqKѮDJ>7F J+xj"Iۛ7:1hixƠ߿j(/\*PEv(ezaH\M+aȎcGϨh1эQ(,*h4ꢝ&V>{˽QtdRf[ys^k%k遵K=7Qe ypav>7;^T[gXi-ct55]I-J=KXap*U#^ ؙ^mI*uoN^}}$io"l2SJfSo&vf|nKAHcJנ}yЧ@A_u޽ߊ=&S x@@o փ胮7VO|R4hcD/wGFxv1SX#@Pb<ÍL}bd+j|ڠrZ8ohC34UAnm,+j pGJkr*Zunƙi r 1n^gݠdmC \luP/+Be&PJ['5tott8~/#KBI1O_qd${ǟLFI6GM5](@UO݄[ dZR8V:ilx+DM؆j7ل^wrLpuE':wۋ&1\/JcI+P/՛xޜ>HWSRC~rs–'`:muHZ\mJ9k_ۅۑ2ڔܡhjq@L֬: JyTC,#?z褌 *"cRaGRI_L'XbϘ[ԩaC^Zx, @SnWx$5\u~5pQ޻fUr%tJ@hot3c%'~GBdYqY)=NÛLEPB[z͑7\p"3^SJbQBH钕^ϪF7>JLBL?F~mhb-{fvyTyq^G9Ux%}nGA:^0~$gIXK7@9j )$ nܹrXI}Z-eK"W˾tpYBed{JKrjbgؾMl3W~T bt^fj80gP.Y]oSj6kr\ЪK7;B]'Nd ~H.*,rFz(4xP3L*7+C@~rTDO{ 4#P- I#ե-bYL9Y2QWSIcY^(Fk9z-- k1U`1+(vB`=Jl#N)*'"?TݝS[+&޳5!kBŎX-Q(=4Q^P3 <1,'>5C8aZmFMQQSvǛ|υ&&@AM$Fw, Kܕi܌|h݈mvUdy㗓mSΤѕaxGƇ#/hjչ/΁hR#*cu,M=V "q\Ƒ%ѰߜSayhTJU%0r*X]zɃ1nid,,"4V1Pguǹ>̹0[ +@w5\P [1ѧ,]ҝG Q;_p@uPSC(@J:N%fHS+l_">݋YI)Rj$ 8{cWס؄ ȷjFM-IҳdL#tݷjZPaȠmgl#9"*ϘҁSK-<s gK%xP6o+qr(^;-g^./u۩':O#@,88w+z]Z, gS#i:D=4s˝AnjZ?Ri`7e\Ɯ \9.hl1+2ERjZFMƜthAi{3D_ klsEhb6Dwv\ gqDlr@41(% 7Y ʒ14+$A)J/~fL6d( VʻYrڷNf)8gjOhiVl,7}Ɍ]^:Wt-^ȟZ~Ԗ3T0C3i2,H?x8l)qp4%`M _ˈ\[Ue($diɏjQ].JcE !Àd@ji&n4m9/:(MFbTD#S Ft]CEPd4X}࿆"r;AEfcS\PhC,LKvMom g]Ę1{OxatrY9 Et+( ?kSY)~; ƞaܵpi{={| :I鬉cj?R!<Ϳjks<ĠOdX]dg&$is̈́jj%_-JX3FTt Ulx2Nέ#%z1;Qd%X-Xut*2y`P{6"ْh%=j[d8X^,R|4HˎekG0r3UE!GQ]Hy*e=? "zAͷ贁5D&r3-lhKd8i1V  $u/==Ee-b^h|PK+|,:J8\Mo-?K AegLW2-s!#&hM깰T3E>>>p"=һ~3$m%3Gf]1(zq ]h"Os"HCs2=BOt?C}}t ZrzxPWAY8Vs/(:w˅_}g'#/.W^!߁6!$਱TP%`t_PT e[w2ۂqZZPJuEk_w?uƕ*wj5"M/AY-w[;wI=oKQC\\ޡAET{x v5<ŴGPܮ,_RkHfwFFj- 32a]%K8YEqۧiA@NcchN<@fv~Ǻ7z=Q3'oJm|2}mZW5k`7mNszz ЃZ< +AyquNcT~ilOS_U*jPk;Ķd&µMVh6Kː gmvbtVic1<E+P +y4g CVcx괢G(;kQ[ kRzdoS 4EHaAZV3ojlj Hw Yh&T2Y"<˩]ajezE96Ò+wKՍ 5^3:l&x{gMl{rYs÷ݷ` (inИr]ŗ.D% ?R_0z)nZc*uAc_BtMr&Z1LAWB~]j3Z0Td޳S8VQPkڤlٟAA9H^MRn\xN0J@iƘdSJuxEr9ATbt=mJ$ڴȽx먳uot΋tk3% A)(z,r#~c#`wP:J6IVYMx`T{1Kv+c<ш{U`w{˜_dfОo'le+){ <=ywDQnOx'+aJ髉xn `m: }VA].#_b \Y&a3{,)i5A8EjͶZckΑT+X$6K1saj>6]c+h4M{\4&ZU*Tj@LMfͪgoJoD嘅o`Ϥ ULL|R^+=:n#Ԓ4V0@= 5}U;"z.W5C$P z+t|/Yp q5 #ǝ~pk~v,3]gsTrqv .\+7!>1K+IDhf#ţ?:G] YĊh#Տso{L:Q&{}j1|J7Z1m>7/t?# e"L g$W"P5ʿw9f )kGfUIn¤H|%V-B, S<֮o fRzߣa&%w j hPʗJ/)ztKHV*.XtOgU9gYZ