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 $' lT, ] Ribbon_Proofs:threads=2elapsed=17.546cpu=28.840gc=1.976factor=1.647zXZִF! ]ŗXf1-/6vR[O?< nkh{BR<)0^6\2iӆnRg>97$ N5 dxIe_b#W#QՃE enHf/yڔKekC=\hp]p1k#7im iQm ee]%BP8 eJzqkRO`D79AЧ eP,:lN AAGu'Ǥq%cZVȪwuiB{aϭ>nO~$v12&U_z |?\Aأx?=@F'ඳϬn.bRc4ZWhu~ W6 偄 ~ @p+gYZ7zXZִF! b]ŗXi%;H8scy'B].N <ʹ(cYū#3oR!4JZ.:&PzB pT?i?aQ 7N##efDUґEE{}3~v[M.&U01LA0gF:YFp cmcL[I4,2{@[x5 7@/!0AR#YG[]qTPcMFwFF5\=aYk|]/eFΎ̕U% x<ٶ(+7}";d2$StOORԫ;˹RU05$izSu")ڮ64.Dx=n9;b) pĴ?l$ɓ kTpuOغEc&&0 x򨏚G}Vƥr,HNpG^{a+qa%jp(P3t SxfE}S*٭U=|X։ٓSfd;LAV{Lu6@'UwŢ^"&ŭ+ہAJ(S=N#/CO{ \Y⦥Nە3v1jgH }cS 4Kys[r₱Y4mˎ>6Q,{E"~#,.$!$%表5|iPNVte9(mcd "y8B'lEu A8|*W``sʏdMѩ9:ŀ5llc>MG=AriM'']}d&zY4yP75fqI^T^\]JPt^$0`" $[(#R5є= 1nK3; hy^|r>b,/u!bh׊aeNr7™M颅rQƌ C ]gYZd8cf8bbb602bb84634e08c8514868a90e5cab9b472c8d9de99c96280f85277cd3480535dfd12f3bc a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2 76569883e614cc4011056c6d2e832c9797d585d6 ' Ribbon_Proofsh'M% \Ribbon_ProofsRibbon_Proofs.Ribbons_Interfacesdocument.tex7zXZִF! @e]A-MՋhvG"uIBm5fT=nTLMݭx*YK1:bYno< /12=hO6I.dƪvcY盪}3.E]q-&:ׯ? ܎ ԲK92(G{@13|E Mu.DO>=ez1м!"s>db)Y K% y@0vlF ݇z~PRn::ҪDf (pK:x<G*Qmka$2TXpD\@6EfeDM E\&(ltK_Ϥ>['K% DRibbon_ProofsRibbon_Proofs.Ribbons_Graphicaldocument.tex7zXZִF! Z]A-MՋhvG"uIBm5fT=nTLMݭx*Y+A$zv, bu@צEv.*C+CW43^+&χwExBRb31 2#.2ߧ Goncxֹ5-+_we\lf)\)F+f9Ϝ#Ƣ4ߪ/\`cCKCLeA_=$L'{}#ea VrBf'm+!U5-uA}.jQQz;'}Q2uB#_$jDF4 Z=Ho"  #L= vs;Ua*I̕Ւ큵Lڗ;*r߽`y&Jn;ezYU}@暳(I۔ +4 Gcp`ﴫ5oSmbO!ȏ Hk6     ]J H'_%Ribbon_ProofsRibbon_Proofs.Ribbons_Graphical_Soundnessdocument.tex4'7%Ribbon_ProofsRibbon_Proofs.JHelperdocument.tex<'G%Ribbon_ProofsRibbon_Proofs.More_Finite_Mapdocument.tex:'C%Ribbon_ProofsRibbon_Proofs.Ribbons_Basicdocument.tex?'M%Ribbon_ProofsRibbon_Proofs.Ribbons_Stratifieddocument.tex7'=%Ribbon_ProofsRibbon_Proofs.Proofchaindocument.tex?'M%Ribbon_ProofsRibbon_Proofs.Ribbons_Interfacesdocument.tex='K% Ribbon_ProofsRibbon_Proofs.Ribbons_Graphicaldocument.tex X|CثaNLN#c`ϋB.1vV W ӰVA kvFELI14V[dӔPĵ'6ZB6GVQPOn-3.ooD_Sy[ =Ȓͨ%õE^| ־i/l @W0b*cS1=8v2m#UV6ރҶ3x?Spd6glc~t%Un3ȅƙaQܙYJ k$m4ǰtP&[Gx6_WmA{Y)JSGK@$a΂og {̢$.b{)Ԗp :KXJpc@r> WJ<`b0nEq/k2ⰰ: (B{y?9A(-!(|&H|ׯTl8O2o>P.֤]A &TR&3yCTQ-ksv"-4`94_IU@e?XDBB!S9TU4F r$^jxy_6V<'vǸJ`"Q):SΚGMOKX|#؄Tz-R𪠰D9+::c1+~i>A [>&\ j 0nv`UdR|8+*fہFSAu ny9gο4Wg{Ɩ ԓ0j~>Y!J9c{@k[7:3_( vd >l~h Ub oo]7q6: RiƒG+Z*#Y2NрB縨zYbTv^qC~z+oT"xONŐ?#.V(U~1/}B 3A(-z i`nVd3SI.A x0#Yh[rSr -DH=_< S D lA!8[vaU{s'n.3?;ʷh I&w17˫ZPw8FGȼtm.BXo^Dl?ta,2':D-ȁb SQ$ƍﳦ`]T=,%?TQqOeU3~) dptx fFtqLH/\}IX`a:g)i#j<Dt\ݼPWcp\#ݩ/%9{qU>W$չ0 1!` FFSnYvvo&`BzhʛUM 2 '_c{l-#K4II :IqKM̳Շ9*1n~V+0`s9^L(Ka3sMcK +z={d!wZ;Dφy 1_aF'@ɹ 6܃ys i&'ह)$u'O=B~+Kђt8VT+[Y KBU> jpaؿP?߼_%H7/.t{R;poQ T/_Nk7wP",Gr+$&?98ئd{/Tt^0p M}4;>ْ 78b#_- Dβ@­|[uRRڲZ1~p[o^xT84tu!eeY.#|Bx].߽]%+>UVQ N $[yT*lLé8F8MjuiԘ\#{ E`BZ+ mV3vY*N$=jmgYZޕ4lEo!K?+ 6Z-f v65ƞ gv?dTE̡40<S,E;Vmc`AYx*c=; >q8Nz`3E*1ùCJ3&@p.ODw$c? n ~·u2|^=7?)PjFk=^s8x[^[[ݐ&^e;`J'ge&ց&J 7wDMt߫El-mp|I% r Nw>扆){}Y>Z>ȡവZ_#hGJC^{ȹ9גMPNFGj",!k Wu%0aspóew3JX][Z [ďt\tgo]Z@O@-JK|gc|0J-&j.39muF >t[[tz4E|vaDƲqg_JzTNw#XGP0(G ENN弘OH򺅉RoD?w*HKw"!0X-cnhH6<}^P쿰sӨ=5޾WAUyNɁ=tp}3 +\/vG&=#dz[ y@PJfZ z*<8:*ɪJp>9ѧۣp,]AzBU1;y>nàxd̓"ʎELmv*`cUm9MYZX5Ҩ Dl%+jqGǓ\ %[!pdf:TOoSA,3yc8F@7|ĺ᥿֞B8el7hv2b޴Kggo1 `CX03 J2P?NQ&7XAeXʻ@B{"*rIپ9g mgڀlmlBߤpOOXn8^:~͔CY-L^k_lAp{_aT%,EgHbmMbJF$Ko+X$vG;OL҂rrQ/I/ ۄGgIyxT%a%@N-=8ore-R 3/aCSI}S"᮷&K Y!eőE5  tc}'eaEõo|do$7 k^{FZ jVHK=+œOZ[}b&< a?0BƏ:K_ P{*ȥ-ַm? lkUMn`Al\dh]ezZD$ K9\U:ط&D/+TFnNQJgR8_D qv#`Z mrl4%@r:-r, p` L϶@kE5Uh 1/qwygL򆦬A ƒ?{Y'@RΉ  s.c8زsDMcÔa8<81lW^\0@QSq,{&0>UgǕ3Cs8mxIet'!aZ(@Tۭ c{0J^;J鍸eަež5$\* r|CpI85Ή f0&.67 􅾂{\ʘ$Cf+:Ya9]P7x*0T\-b- =J*Zg Hj3VUKՔmiӟT6fǦ+cUb8LP.ֵj6o=iW" զߺ1 |z(2Q:&.<#*H t 0 >t5pd ]sIaYܢXb3ﻌU~Rk졟(-.X OP\u%>zP 2#E*$L`窛}lFV>x|ptV^uFMMd-Phq XV K!cR/<77}Ps&V@*&!(||9K/t{6 ޿FGm5(u;P͏ҞR*n}eSUb_y[lR^*2{$m)6XKdদi4*D^\bI'N[ܢisgVk"9 Mjz! ɜ~ XwsLQƫ~p|[6Z-7jyH=o1hw~Jn 쀥16!64 ^!O.{Em4"PF!ǥpJ1T ̏*xTѡ[Fg_*{rM˄жC9jU5^ ɱh@l Pzq S%*thɶJ 3٨|ݞV\?jBb¹KiPwޫmG1#^ l% uZ[{YJ M)&rveZ{Д!W*DXލBV!z6j3Q S 5rBɧ'\ver+?/ɝ$#xgNSVdL-Ǎ$!6F.:Lj{8jq9ޑs)q.<\w @Ar q D;WaӴgͮk]@eο'H8M82##7/̭gYZ  '  'h'M% \Ribbon_ProofsRibbon_Proofs.Ribbons_Interfacesdocument.tex7zXZִF! @e]A-MՋhvG"uIBm5fT=nTLMݭx*YK1:bYno< /12=hO6I.dƪvcY盪}3.E]q-&:ׯ? ܎ ԲK92(G{@13|E Mu.DO>=ez1м!"s>db)Y K% y@0vlF ݇z~PRn::ҪDf (pK:x<G*Qmka$2TXpD\@6EfeDM E\&(ltK_Ϥ>['K% DRibbon_ProofsRibbon_Proofs.Ribbons_Graphicaldocument.tex7zXZִF! Z]A-MՋhvG"uIBm5fT=nTLMݭx*Y+A$zv, bu@צEv.*C+CW43^+&χwExBRb31 2#.2ߧ Goncxֹ5-+_we\lf)\)F+f9Ϝ#Ƣ4ߪ/\`cCKCLeA_=$L'{}#ea VrBf'm+!U5-uA}.jQQz;'}Q2uB#_$jDF4 Z=Ho"  #L= vs;Ua*I̕Ւ큵Lڗ;*r߽`y&Jn;ezYU}@暳(I۔ +4 Gcp`ﴫ5oSmbO!ȏ Hk6QIw3ɬ4cp~ '=% Ribbon_ProofsRibbon_Proofs.Proofchaindocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ls2/l&}5nCv/?"EY>8p-x=qyƜS_QԺ=r#¤RϵQЭ)H]]涥.V* (P&+FwdM]O_``(-H*76YƎ>PL ѮHFVޓf>$r6ЩfLk*S 7:QҿS,?6]j~3xy{: 1^),%!Y" ib1j( e,wvv߯1?(.3S}AW `X5j` ~6'.>p7=* Xs)U2p2; =_ Cݯ8>zao>C 5\fFcpF7\9Mvݛ\٧KwӶdڴ{E[߱VPW^0o`2R~E gs~Fܹf0C1\A@UPߠ\`-Q틷}. ^.t uVۭ k\b31*JľN1= |f9v$\S(iȬ!Blt:.wCtF6e/X8=9Q>o壖yS dy9|쨳o(1cBY!R$D{Ak5v{97* `1g -ݑ1ҡ.⿚(7hW US? 7 \ +osB09=l ٳ4# X hȠ9"K 8Xr>rrESǰkl1o `3AͥdZ@sAoP q8ǯD2=)<<:wHcMS-I|Tқ6v(J mN*OVENTok*8)+ZidWψ،x&:2e@D,n.t0\LR7Yi:%U϶`16E_Le>iM\ R&ݒK@Gg~MbAQ`/CO4ńg[]N(#[ATfyy}hP\Y^݀ߏdZn{>S9"vLh9FOŤ@Ŏ$ m  Бk׋D>`8KT$Vzp.ܟvJ>SJC7cp#9I^GhWGFw]SԜO/F ;a(ZsJIO4m`ZUGV~2r 30>ۛQdkGK3q|* l>%?ل;ǣgF`=^[HѯWYHS*٢DUmg [i#E1?.+18eM>~Q npiK%aJGӜZZک= ܷ部T0 2uuOFLh9$Ac0~Tc,xc$Ɋ v >ZSt<2"̋a|DgOG v30.ظ?sQL[a>{^1Y O'k᷾9 b| X۴$VqunEt%; O=VaЩ,G7i Q:x՚Z-'1H0w ~g*:I=-GoޱDŰnA[ktLY*?(3{{D>g4m1zv5As?0@sRk3w N ~jq U.0\J9ԣEℏp-`|Z2 :=m:x5UK&zSfUb_ AG.` jhtݢǏ}Og$Ի7??k_%sJ Fa)wCX.'uC썛_s_ qo:؀W_tﻛ5P(v%Cp)2y"%%@E># Lb<ָ TbZıV2A/+LzCO=%,ER/ZSie̐ˆ?r_n,0F29a.iye#<˾ M|FOW6aXB-?՘>f`bOWU$ܺٱ~A\~f/qzm<Nb` =h]H}qUc/ߡ&_l,@_avbZCWi`a?>7bCo.8bÒ =cv6],uX}1c;]ɽƱ~KH+!C3 +4ٱl&S6D0:.a( rM)-IG6P/tٱ`ZdwjX28TVӐqUguzNHa>z4r"b=mphD%",FȝwOWfSp/&KBRLWeV Mi*WvfbwQFd<2γSjyZ=c])\G2o1< Vk:9u") A$OoA1"4QKժ+&D=beEN1KGM~ZA RBeCM$GIGh=($67 a lM^ 4@ kKDhq\-#uTm4:uyPeLoJկB(kb:ԁbD~zm|E[;^XƬ`kY|376mJRm`IEVpz-#&͂r r?X\ˑI{/n n89hq_X$DZR!:ϥ! zNd_n3aR{\B7_le$zuᨅo|v)ֿ}{ɀ[j,G @mAOomϟtZ Ok$zi^^U6."Js&o/;ls>zP÷)];k,P^##&xQ~ fdfg ~5Lyj|()`н뿧jqٺ=@~PXoʺ_ S6%j7;(^3Ѡu r gu7SL5\xQ+H1G)70i|!f& #u! ſJ `A-Նv 'b!0tv,wU1yn{S*7KMC da:Dcpiu/k+(e"\ɽ9?0@p-oŲ G}O>v fCG=P$5m m@It!TlD 'EhKHY~cq!'D>L7ٰQVJФOHiw{ J&.RfV/ <%վHSD3>X|.qo/Xpsj?˹Gɖ8H]{i]k"KEJTJNA*guX']Ղx96&a < KJᥲ8 Ҽմ;u+^XD15+8~$B?_t{y&:@@Y~4o:i ҇8>4 {XT{K ^D@`)E)\dNUx/ZN6M[|K[bkaWU(mO2 1`3S" w*,&a_.ǢWC 4~oNEǺO6 k Q^~H2- |䩕@}]ܻh14dCL< 79%+N1PL9K#bKMoy$";}$Ҭ@7 };9=+'˩y鹏R0цZ| T&njG@Z8s1WP }!&-\={Va}p]i& _:r ,.0Q78RYO;BghFG{;$nV>Y5h y2(ZI.V)3UnrVBlwh1濬T}\-lvB5X7d6XmͅqC4sLJV (8jKē?e|g(7× JLQ1J܎޹ 4?봁1jaj1T(͍ o ҊV UzI $y%v`\qFXW%0jĒbF pkUR,= LJx"bmj7xцƨe7 @xoFzl|/h./\&J類)0 pCKXӳ%ƣq=G,oB uAR|N{ai?tt~O#~\Њ*LAIPZ56Kf`,'Fo>$I:|I:KǔS JCqOV>ëKH& @YsTþ%mm&c!oy J5ɫt)9+e^ Z~+EL(\ ?kcL# }mLnx5Ow+?TȫR7ۏlu2y!z/@ 61-R{[KU,e]V,#z6W¦s^I@>?'C% Ribbon_ProofsRibbon_Proofs.Ribbons_Basicdocument.tex7zXZִF! M B]A-MՋhvG"uIBm5fT=nTLMݭx*Y'!ɜ'Ui@|>ϑ .t"Ϯ:%?t5E& cv?%(+eO vRitk+"/ӎL 9TN5nvsג6WI&6LbQV'g~u*I~gFvӡ QZ[#%qac> FK<%٥܄kdE~HxDb_d| i4DLsNL,If }[0aE2}W6F$˼ßN6m@]M,A6u"u_Vc_ȣk|NJQ՜ XG?I QքY㶬&Ece8B8tU{? rւ[y/y t$$Rs$GcWMu[Vz  ,U@#Gͧ߯L^P6/~mB{2yC U[aԈTWpߊviuCSk6$Qbd48ʶN1}4qYj^vB6y_0ZF傺2j,?UKvƢdjbpH9;ތo 5{!4>+lu ji&=|Zvc4Мg3 c-Yx.*cdܦ:IDrA}B[6PM¹ |H'[k5X;rsF2rVύ@mh$nԢ[S>28!"I+Sۏ(X]Q0Ar*ҕrF,7b;Yqy8 g|~9!n2)xa_jqo"݋'Lk, Lb=3R@}gEv{క@^It̄Vp2 t7L%lbDo*Ve町ѝ;߄CR> pֱlg)y=9C__0Ű@^H8ʑji:c;xb<fpIA[*8D{tKsCȭωᐵ=d@ ph^ZA~כ4 7UtOeW(%jyuvVZ (";#VˆZV?FuF^c!`Dr2֩ϴF[}o~Hwf*Z}ʽ<Dfև3ևwbH4m/&G*a}Sפc+2,,Hr W$ɱ%5'tw:.L BҊE=@kyNV82d?ʿK SjܾVX_Q|L3c‡ `ks/{i|nũtc&^VvTw=Py7,mR  zl|)mR&H3_z?r\Z_’M+`[4Y ֆ] Ar_x5W:'\7r2 #}.T^Q!kQ 8+gfh.BM3膸UȬ/~T2YJɏsy})Q8;|yt#m%^Qͭ"Zq+a/^>;;t|*~~4 p)bQm) ZUH' Ot5f^$@>Ҏ}c?&ntDG̍%Brq$/d=/ʱ10P潓buIH(i^ w`{`p ؈q1G?aa$u.йd5e1J%jHGykqT]Fxvf=J_\4A)LɾzRX7nN`|CWUo;6xf_$p)ق P^n-6w*zޢ}ܖV:Kwo9 /6toj)ꎹ3 ǎJ*(G I"ډ3Lglmǽ.WeɎOgtXNeXb!\ `Np%} S'~STASG%ualQ@hxxm9dCAɧ\vǒp'(lo@)e8%J_SMJ%1Lqu3  Z|Y"#_ oM5dMՓeyY+'c3AZ LNbcgO>X IgYZ1'G% tRibbon_ProofsRibbon_Proofs.More_Finite_Mapdocument.tex7zXZִF! H94]A-MՋhvG"uIBm5}<͐>Tkٯ2&ɻ"mUs OpCuw%iӬkIcS#>@w,BUW=cq/+(U-!+_Y6Eâ+!«m% 6Qzd09;$8Y),/j?7>8P np4bhzk8NjMph#F -'$14{URpw1/TgYא_odNTo#Јyc]J5`:◬j IְVM g?:*IsP|z>ae'JMz5yhɔuK~5c?#ճ Tea=ߺT tx(#TeaA|B 3&Ҟ :HX .k*NP x h\ }HfcPH(Ilg(N d h䵞(= # [;^*|m 45EWߔ7~0L?ġ4%y2\- FNĊ(xZ{<vXDa֭9w/LI@ 5Q6} XքJLVXFnmdԊGa^g@V0U:(NB?T5K'(YH==Ao{Ub}jGˇPD1)wэ:%K4{ -voi=Sl\5-FPi^#V &bO` m]GnӪ:}ȩޙG!ncah[ViE|42g04-.@BGqQۓVv'̓[8;CHn l*h@N@*y=fߖW4@{{[ñ /htDю:/|JWz({ f6k ˳jb0vFÜ T_cs7Tznfn*T;GAs:i5Cءp)DkrbuuՈa~C=v>T]yߤԛ?m.)z}ɧI`F2 HۢhQ4ݩ;1%xBr ̬h]TYowlZtp\۠ 9=.QM_R"~:9v~J#I8RF>wf1 ߲31{Cjᙂ@_JSmfՏjO` Fϔ;=B9C7Ӎǒ&D )gbcuw@.^Ʌ@5bj'}5hvɅzzc%-+h[ReˊTw5ھw57ت5 &e}̳ʣ[pW#QLMs, ;pЀ^{i{Z;w`hC';8h8 Kg3ypV I&"V|'2Bq)>hfd<1ݯQjtY@=ǖ^\2޻e?/߫ WVp_WbdmcT35Ac$Pk~&[-W1)7EEQ>W?\Bv6 ?EBU)G#o↧-@,f?xL'gYZ Ԇ-olhl2p'S.XhȟjBqb5 Xgb,;&}us0[R[/I-ZVkq;yYQuB(^gq뗃7i@v댱/ W6Z1(TL%29YDdثrQT}߷nʷ d{npxcOt5bȜr.Tr=&w0s%t3+<%{/A@ͨtrO"*uśhi^q5Aƨb]0XoX2?JPsF8%9RElr~R|V4l:[K^m3G><+;m, p<٩=:y?{ $=#(H]R}%52"'bQ5 qQ81YXaB7Jһ#a.0v۪kZY ?s>jtK(Q]6"zw֎˙SCo$m%'iz' "X.pw؀PF[Fm^򘱔bJh!n|H1d=iÇO/sYXFu]BJd4mx_"ʣ`-mi3p%ĀTm{ROğ%ЂD-Mޙs&* G 2i҄&z.{9)| ё\aF)O#4䭴A9q;Ca!c)`l-CF#uvP EKsyzZ HJ]ϴ*|O95W5sƀ0~<ρW8k h.UKW(ʰr%{CDp抶x~E EwX2D|%D:4a Mv77|EF?i?ܨ,AZ <%W~B=ZE=Ќ)jow WyW7Wi\:U$ovzv.g' K\uVW\55}cK"RF^`j]Ouz.iDV=3Jkrc^X]I2κ`̕LBE@| h ݾ:cLW"teѐn |שZY*Cez‚' aV|ٯ6K%;z->xR,3ѸdĂaOàh`)݌c_f g׌ }jܵO01ŪU%?g&< f'Ui(723\xEKpF<&o9A3F:Xn5Q3'93+3K9:=M )p  آ654&=eY)hiNLהGPZ#wxT^ _.kҏ|B.@XK' Dy%\hf$yp;MZK Z S>9ΥzGJtA*vް!|g"5 H,;!d*AHa 9?aS.SMR)Չ72Z>XfjczpͰf|D}$J˥Ub5{MqAc@̆k u $0QcvWC. ȋ~!JRZ7o ]Z1yxYޕEٞ{ 7<1v醈z= q .SXal`O_<[9vj ]w;bA񭁱&aSn&W:11 xu3K0۟o@'t<op_\[";ޞÛ'd\-6@d >qAAB|3Uknr9E4B0s8nG8->=9iAk&u`?4i됋β1^A- v:uYjj ^2{GB1I> h83ƫ w[WI_t.l, |\ɜ;I]n-X(uI{E*ʀ}-} #nWTZ0APD!rjQۜR⠇Ʌ/1Oc]IC yL;2K)+k(w]< O1 j ZGG 丌U7MsJpCdbY,q E'pgU#M^pcO7K ANtk{x2Obj0j@'`h)`kCTܲFuWbɉvyC,xej1zӝb4IIGtwJ˒hu9!`Sv5ޢHϳd}iw C&CsTNvS'A#I g(4~5Jy)$)QZ9qc?qWSx@U_圣 a͊rWH*ŏS>6aA WͩTLn6y6.\64zm[qpl8?2=v asCo3NP`^&w).>zSEN(_iiSʣffCX|w5V^fKҢ|RTqO3)hxM,rdI7C)wTgZ zW",܇Yҭz螎Dfqt)(N'a(; z*)q, }X<;\Ζ/Y#c 9힇(ޝQk/ 27XDxty`#^yh.j>gN 9@ĤM_ i^}4џu.:⓿Zc!.:je;Þ^Y1Z\)-&A~zqfhH`W5E>_.j:_4}4cӿ[XL*$4.s>&WT_x2RneDowhT_̴W4/k4wq9 Ύ?.-ƶLHG8v j t"XdHzl;ْ͉yNc Q\gʇ4A;ϏCT>bC].R JGkΑ(.iDL(w$$?bmyq,Us%˘cb#s?I,١iu4cI2Fޱ8<3ӑZS|!a6P4) CBnc6#o5S=qn G)[ `CZVrѝ ^yRXAr'}7 Gd=t;gU ͝ݿO}tq61/2j?\9;0D '^?T;`C4I3yK`-x6uv b{J&:۪,^bW^/s;m7t{xhد䜶OT!Kr?  Y7ŝx.P||^Ѩx2]P2 1x[VǧӨOT.IL9a8LΊ'rNjOE!wHG.fJkS?C-Ʋ4ąD ٟ00 3-cMM&f7]R%[yTKi&LI kfb.3/II݌@@.gy"CzqGڐP[ &Hp~M'G.c8Hncڢ%5dE }z<餁[Gb'*IHF .NN({d$#leJ;7h{ӖO@j\n)gd&d_o^#1J_+WDW ifS-(IKM,fZ$ۍak'51Xr;pǢ6$4C6@gWS)WsIl9[|*nҴfɕoCj@^E'6{#sK;Sҕ%7]4sUe׈8xzcOD|mn^0'bMハ(9[Nʃ𔙆€oE5Wq bHc[34}~)K =ҙxXfG}Gm$PF[*FR5WՊ+vp~7V^ŀVN]oUGm_!oFc3T7o@7FbV /XJVkr;;!ὝkJL8qCR,AE?ЍPn0jht*N2M & f,ْݵG)wge$`=@K;$ra%OQ&85jN1oOŻT 1_j\iu&[nt h%30egEqB#ɯ֏ ъ2FV „HG.B͎gx}=.05lYh``IҹVr,01EXz?=:[XPpnܡlIOxMz_{) T\!HP 4ʐ:RufpnLd_"lgp]~?lglA+(So֙P ;/i 6qpUT#9U/ yJ t ;:u횙y \%{F*}?)3po1!C&;&>h.vidiׁ)`>5vtBjoi#XjlrYNpDk5HM} cnk-ǽy<׮NIb Ru4p%R0K ̞<ӗ]+AȄ__v9<{$tyMyl};\3!4nO:)Ơ@ -rْGZX}FǭKM]c퐵2F,z.&lw̭vd&zs ddxvL? :n mͩ! >4^~ɭ`9`"j%&vʺas'W>;;:7Kudك3}Ӧ>b4n 9"Xِߣvun/q=C$Y$A4PbҸ| R(F$Fcm9ə^V E0Գ%*8o'6(0H-ee#N h3Za:6p5r["M]e61ly#uј+BڷeT jA1j[F)"aur:Dc.d r/YJAh R`DɝԻM؃T$X Ʌk7hQq܋AdJgI[o[ny&)*yE[@%ʆt\1\X>'_̺B,{9ߍB"{ x8(ld^=ܽ*CB~AqTc La(7vG[AB:Wc`ͅF 7fqDy`%]就za$g34 7쪆ԩ|Z È ˡy4j 8OS(sM"9wi(ʇ@ [l6#菦R瘢yJ.,8Ƥw\ds$4㓬Zvԋh1I 6vG/ѹ=I9D*tcQ.p +*pQ@HUJڂـsvطkz8pz7sC P~/6t}E7SO#!OE<|*2QZ n,Io bּ+}`TN\ܞ͸ä:U'[dh)7%ѶWn.' ԛUs ZqgAW.0 hz ;P&hXY*oo0@n,KcS:>.H?aæ.,4D΍p##)b'X)7[{yEXtplU0[Wj/I/VG`b~]ar֜f `C1#6Pb՝) , C6 t"ǣD)f?L+eW%Uz&}!L2ǝ΂ă+ጥfZ+^($fQ8~AVw-+|(Ep1c@46hy4q#-V%cɣw(Nv޼=.G5;%ipCPʊZ-x"w,F8byn`#RS)<̬7X+Cgů-FDSa 72^gtPPH )'evC뽻eCk \l^]qkmkiM'&83(Vgzw&65He:VWc* ّ]@?h^, u^ii 7K ̞g8h(gLJU}:85։ElX2Н( Jtycb{iJu2xF3jg-ҡcf=lb|K]X{ю[}ulK|Wuk0tUGdvywvExYNU""05O/jgMo*m#pк˳{L(qVre^N#*r96=`O?Go5ۭkA,WWwʂ#ԃ&z7,v,zDtW׏2n1:f}^fB%'''L?Uddh3fA#`b dҚ2f5$Rq 1kǼ`[&΄P>txXi6!?.PySuNԴ V.OGWzKa fJvcPq5<iE6%R ^nATCBd,?.tA4_;[=9 Lҡvg3 _֘# NeS7C7` EI'Zt]gsPﭝ=}b;Bʙȫ|9^"r>n*E#&2 !A(faybItHS3Hrņywy䄳"Qm+* 8q0:_bڰXj"t|`\ݜXm[f1uU%o5S:%Lm> h'"wNzxŞ˺Xg{x.v"{߈^|YD`tD|TWcY%ҰbPS?>.t'|1.,|08bjV3;_\Kە-zH381}/m. *3Y>JeNܜ4@5a* ܔ !ӬGl$ ye۟wFMtzU°nnqxŕp@倬M+sTqx4S>F?Bhŕ, %p@zXVRl ր/ciqLD|c$FXC:Mk{/W{E!M!nwe[Mΰ{kb zМYB`'@^1tggUEPpÿfuy¬N\!}J3\ VP(|zy#bCZYmμ[:jN) ΅$27ojoǑR[!?"I ULNK։Znp !쮱*dK\yfc|]+#PL)ڞg vv !ԺܬCBm <ܗOk1|6ƹ d=+ v jΘ S2~{IW8n֌m CX9l Ҹ F|/LeZH =? \`uMXk[,5g;b)Huo5(/dv-izb&! {l{e+6Ep}NK~nN1+s=[wV8hbBY9-pC}慤ZȞ2%bTJ'7?Tk[a-|s{{x۾pX4nomS+P& (XS#@k7):2˨j<^k4axw GL3O\7L IPSN NC|Ign7ApƢ',uBZg|T;6cE%}4yiRQa>חZTdhT3fJPyyӃ ɵsKfGVyʛ*+5m)Vy0{4iYHG7di*Ma: ]0Ӽ΋u_(7i^m?:"BO>82:5 z{Ql7<) un$!߰ PC~Zjٛ@m`gRt{Q:ɳ&$JSݶe:p9╚DG"ǰUm>65㉇ƴ1$Ɂf~+ ;#Ҝpّx1$ yKxC,+ ;4dXM =RルutՅ{ C0 .|┓ ŏv3ق"0P9z6c&Ҭ3w.w!oxfz:M(FHX=S^RaLdLijFaeg4`(sWqN8B$Iſs6 :"P;@Wa#6`*ts@lIYA.{9O0J[7~TN ?'^XE^NVWs}.Dw]CX,JWUR%!gcú5dFyq6eJQ=h;~3ѭN{hϚ;"0Y_,RoV3e}?K{GM'ݭ6Ǝ,}50)7=]{ToIl6mf/%a;{u5!S'ƃ@ζiDe־uݞ(ph!FyU{ڸM=SNyQ5rJt6cm=Jo]V˶<9<}Y{`zh=Ob &E?̢]ק( 6 ޾2ʋVzw?~*FgYd}Gz)Ȱӱ㘣 !I"=n GlwN8ړ.ֵ(C:1B|7\>u}Oe%.T:%u8 sNqb } (6R[q={/!zuPuA; 8|#q؁8J*Tr9:mRr^ooSi%Y& 0E09mjgTawb3W5*p1A_!r 0;рpP|m-j+Dl#d̉bRvYЇgl鑷mteBH%tM "2.i./nBī9@>w]&8_2` AKC ZYt2Rӄkqh~Ü S/gZӨ(n/ٺC(kV$ܙf $lPä{u< l7Ig<|,Ce= xcڵw)ҋ>d&U;SG#!2.|`o{jGAh=pi7 "N)+$c0_Fs"<:g6TUIY/Eǝ~ƬO`qN e:T ?Y&AQiVz]ջwU"IegqW v_*IhM8t[SLܳw҃&[#Aj-> d |dʽ;bO k87# YNE{_Dq͚zyRGz29V×3IPx>HegiAuѩ]%Qa .5pr9aI(!ݎۚظ~[>bSTc .N0=X9"?~Hhc:GرUQYelcBH/y8]^IuZn )"DAMTWMwx1RTM%V='(y"fѕK'26 }[>>G;9iЛaY)ȝg#ϛ'Jm~ a`c:?I]ߔ?!VR7 KB٢٥]wUW#Ǭ p1AD9_VŴҬKIhFeĕ~R7">dS_Ö[9 7:bz1N\Ʉ\V_@"~Dw&$25gb j6gDAEum~48躃"¹i4Ӱ9)7Aߡ|Q#as58~_%r|0pN_K[@})g5u8,p4&,We +D!Ϭ[NP;i0g刲3XǵupQ&uaqr̼eBYB8l( !L[o0q1Z$ߵAsJ]l6'تuwu_d*X*,1٢ Ȩn[#E(-ƏcFD6su_[eSu}VmAqMr]0) |ӄ|4F<>tp "jFg+e0K\jHfPϾ9\i&Hp=z¯?iOڎ5r7\N5[R/WDeѕ- dmG"a{[G~(eΝ8ICl#Y'ne8^,(Юzbw]&&RV{Q֠#_7D]i?Q 豴"09j-*)7&}[E?}?XaC40F }_L=6RZѶJg=;9b$bMeIM$΀3eཾt)'o&3OYJ\l7?;-NwU|S]8vQA8exC <ԓX89 nK3!#ӷ2-lrrmLgM(7I$h{S^r^Y؟_YZKG2UNv)?*M`+ rL)]hH!>nE/ŗ' @6z;ͥ`FXq7a8z(? !#maK=Y`. c>,'v.&/!9אlZ`/1.KXI;"gOTY[yVy،O` ^ !xsaѓЃK΃%M9*Y s\d4häx/-1r]oQC9;[J,žCC/x8O9A T.$^~+?d7V%u;\TlQNR FIh!WTOfVP ;@_s0=F܍o^W 8) k2j-N:t`ظ3(PL?s5"=m/