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 d' 4Td ] Ribbon_Proofs:threads=2elapsed=17.948cpu=28.232gc=1.972factor=1.577zXZִF! ^]ŗXf1-/6vR[O?< nkh{BR<)0^6\2iӆnRg>97$=hup98V5PTE`6E_;s[ܼMߪ2P\dE Y:^CPvkT.alr`S)&܅gYZ7zXZִF! eW]ŗXi%; sY wX.KuT,7 CQL(5_UBAG"JQ>7PwbF~Y%(Ų&FKΙF5T@Xe a.ݒ +K3EC *"4 $'%E9P2IMOc?2^4wk7M2zIj<1)G rۛP0 Iɬb[:|T\d?5wc9c M%٢emC=7"ȍꪦ%B,xFj/xXc`#z`gqS'}Hgr^ թs;2:>&x`8 t@a=Bn{٫ EYbNXA98'%t.U `Vf6\K~I2gouҎت!]\;[j. irvm_jAAd4~Þ`|%74& r\8P^i>6Ѐ% m.8Pӣ2-Rd0(f)&_^QcӊK38q1%uCmh[EErG qi Po ǘ.T̮㕴?ZF\xZA\g6ڦU_`i.t}pe{.q6~y¬7ދ5#[,wWQu͛q[l)Y?ߘUM6O9h[8+od Y5K, CF^y%$QJN̠)w[}Hm>u,H>0vm;'$HsCTJi>|{ʑchT ,w$f_=| (4XUjbRc^m3vAz/5!Ax\M!ZgC=WKe,|e4 2rO M,4?R{;-3mLW [ɫъ8%[:ȇÑ.=7O[Ôv̔ ɢa:j@;$P(5[Pނ8a2ʐX6eV>njQ\a"ė<6oh`tUrW/$,0qal?@gg" Ǭ~t2'Z0 }_ݢ28"(o:?j  }gYZccd051b9a9f18dd765842bb861374174fc8b01750a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 ' 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'gYZWv` h|ȥcqD&yc@g/f&w|{Nh~fSN\ sw\ϕ55T&l?,lMqCBQÊq"a6|WNׂ>(ZJ@|rK2pbTمex8m\ύ49U:a% a994[;&QgK8&2aMP!'-/IƭÓkPO[<<4̨eg[-7Z "Ta1?0 C+'rzT\TYFA])MGz'C|+t/Xy9&Md @I;V6Qѽat5<,IxEc{@8RzB>Uwi-:[_bww〉l; Lj1r-.bnI(trImh|S-OIx"C)a1yB⧂)Cu-'pC&,#]8UEm&QDĦ]cnscrcҗg5QP)Z-;ad2VNy߳Tb8=Jsyi k2- 譡^hOqQr? k[e%MJC`9㡉+PY9IW֏m h1C̥oF&9½|vYH{ uyj(1-&=a{hJ0m 5y(Ց_8afEi`59[OvVy / EFj'~idyR":/ΰD lCJ-j7.0?Ni#j u5G9 -I@C,!.ͲI> C}_n1LjMq c"VWp\cd>6K [lJس JAy񈙝 MBE\[vwWVdmxJV+ϙr>-JFk>5Up!ؠґ?Bִ|v;LC%\Ƈ.QHްz>D+mCS˵0P̺ZKRGXbg\w͗#"鏃 =1>G{!ߣ6QlA~d$@ (B^gNﻤ_D^2~ F^>i;;yb"G0h6{?։zǴJn$˦lXH2v)|΢wC tdp-8~S |ٰq>r|:B3ը4e5a[+R~>Ph*.(XrωWw;#4\{ !$\CYg,"pYn`p)'V{9 uP2uѴrN~MN-m&nFfFB&*}~|Q^ ^H-qLi(fr {zT\aS9:6ڠ@GUb*f5+?;`% 집zj> }g+ekQC u㔺[@WZ7FŸ׽Xk#(t?KJ 1.Ϸ9~,LJJ۸@Bw^*?ygnhLל9dôPcBzfFX˚~bVQ܁W |%J!o9]yυQuS2Nn7$m =l3D׿;e8#6 (N7#)ļiul/W|)$8Dvӧlr=W&͌3&Ԯnh]/< 9O2e%kuP߈qnPEө`4͆}Jf_tE)16?#@g4@,<_D)td^udҀc" C2#?0|+ ;mtOe~x5yG#fxޠv;u+y_%ja/O;ۉ׃$0DT &<1 pmɧ[UrKw{/s Rƽ89QBͧZO~,hޥ)ŨxoPJ(-`92?'uyaNeI⎶9bd^n 8ܢ ܙ1 =VhEU$>4nRX,A}ԩBniCQ]XNS!'38 XH_-K"0l)*wү`gC0P䎠}QBH>VUp=Jĵ*pl#%Mx\w9Al=$u$6I^/h+|Q)܌9<}sw^E]#OLN#_)Q ÿC/L䟟Q(Pa}TIՖ]$F됔:|l;i"f]jWܴiaiEUns*S aiAZ11Ҝsx03'n!;7^`o* D4(!xj^gd !?Ŋy:FeCW OFɷd .-_DOІQ Ur0x^leaO:gE!M:p!yY•  ʃ#(qUwѕE\fp|e&EUDPc?|H{Cd0zD5H$>hC3ç:0YىN FfG${jvzKZk~<~S)/kp{M1_L3F^=|WEfsƑgbƫ.zaWΚxDh >n'Y!$նC"Mn1}O"B=&YfjlN#B>Vfc6@[03fT6KCD*&|3\ƅ%2:Y*6 {sl`odByeb"7XjGu3iMٿA&|қgKa,5s3*]&Хxe8lzb?+]NK._~,%+F]S6kcLAJOYE#+8 _系)tBi='1B[bh?'E^-{ъDᓘrFmǯS?l@pv ,tbio161XhG GeGL7UOl$py g Am5۾6'}ž,Р@_b6lڱ< SC%RoE wk(@a~W;"Qk:O2(L̢f/>yDY2{qowcܖ}60tTtZpDs~}M``W>77z%(1L!H{]$~RpVN{8ː $/*ǦrYE[Bz=Oؤ#pR۠L]۪_+7 "Uӷ  ~kWTnѕD:qL_͏?)99gVgFRDԨ?TV5E@ʌ{JKcXHg `+k>9U(y==X ѻYZ-z=`#(x_-(JBO~/qg2P$O랤T(, r /Sd&oPJ74| @:Nu|qC9Sx씥7-BA!p(CJmx R"\~FzO$d sDv@.T 7qK#^R-p!Oauoh%HeAꛥ>*u[x:CS )=j o_LQD [Jv#DʔEќ2^ OsY/jbChOpA*: ( VjO Q,^&#~|N=$y>kmSJ_k(h38le2xPoj(^,Lyfa(sX`1_P[ q.>q<AMGs |+c]G|IDy~UǮU{je(#L(lpsm3C_Ѡ˒^`WH|[»E(mi31;'w[ߏw97ƠkRbYx|S!)m}}V x̡:f*TLs`eA!$29MT;gZKXALPBH/h_uOƅw4A֢h 7kg^1S O ?h?ַgĺ(6CBT` _̝`U/cj?7cjl'_2t iMCSZ\9hh%^${CW*4S Jg lBɩx wr7ij b0Z] ִ/+bA 7..;CCpBxμ:YF5ˊuc\UӺzXDF8?ŊW`;PoP.WfJMEZ},Mp 2T*q~R e#,C"A jj{okѶz"uC5:jEj @a.D2hT \f-{{m(VJ۬w8{f<EITu^4zs\Stpg?"br$NYBNgg9@ ~b^tM6gIIM"^+l訶}? e;7Qt%Iٔ )W3Em5 ewV @C-wh:(I5 AJ8Q my&Cy?#EpI tDJr/* % %1E$R _g#^Jlد?[3 |Uۑku)o}ӗu17LwVJd]d i-ku1pT߷~ƬyMx9ͼ?܍٣0\:xb1'.7Iq:81f&g9ӧ5WOw'$ၒ`a^2 QLK).yXb43+&d1t7\Y ` 񉻨uTrB;iZ. 5%ׄQJhQQ^"W On+!HgQ: OoMu؃}:'p|-a`Tsf{=yJp$*kfۅU&a 0_IZk2h)!96K/\u Q,[iHQ+GNvP/!Jo7"K'HY$}B`^MXD_R-!XfȚo0;rťgbn7䑖ڱUÈ5Țìh=?I\TLI1a>(_/gB:'U7uWeӛNcBYԳ3 U7T8wA(Շa&=}5Ğ» ּ<8bh +D- rvi)D#6}/ TbT|vsĠ#;>$s;_UY5l&#%6se^fni|0+ Yض9voqg04LZOX~Vo ռiڇJ% ÀHꈪc̐UAM }HuҋTY {nikG?O*@bqt%q0F`^h6O\|5ٸ+$ Xɦ%wQq5|܀%,N)g/k%-G׺,Z$nT\"n`#J,"P|e|} pZn]|U8gAvfnP^ OhZg#}zIksg9ew܈'ߖK8:̷E'{Z][RxdkJҲ @Hq6AY/]֮I؎ y%2 8|sҲ|mր$/jB# v'BC:oůѕ0⇗4:<-JgML_RJ6H; I{1.dZ4Rڳ2Z67#X}c!,Hlmei,y2@dti#h`yfC2+yކ enB? $?<(urS_ux\CΏoxگ2MTJp (Ţ>#Ȉoԉi(U\s$͔-izԍ_jy~ygn)#7´L8CެӼCJԜ#VOG}S"*-gY73:b.2"0%0T3VBuAY]c;؛,^ă#[Qnٔ`V! A5<5Ej[Av@$Qk/ 5PْybwaS% g`TĶ 7Miv$d"?]+lg̠9MD(}tf ;;*ԡB&? TE~m6Q_0.-l$5jwسu/-I'_Tb/zu#kwpij#*#VÍ8@Xvȯ&p~EDcuٜ7kOMD }71%`Y5G2# f>~Fl5V@MYt^fB> p=6G9~@/UC Sl ]#s~ >wHa巠P@/zj-R[Cln"TwlQjXF¬Ȱe[s:>軪CLnMmyfJ  b1ٴ66Imc BΖG o@ І4CC%*BfٳJ68MqdGwk x9{*bt:RQ{'h-R`"A1Wd'E=qJaJKJIu4s@gEfoLգդFyŃތRtȫC8vO al?ЩXLn@hWjpN]HuhwqɖhHgsxyk l{B3KU##6݁Cʊ74ͳY=Kx8cK i?'-X^o/NNỳbjbp-vEC"z|LԆ#,=,K=7z a%l ɶkR$%0@M}h%'˄GP$҈PlT5\P\&%ړ}¦ʴ]rYiXxdr )ɗJc\G|G k a595V^Hp|ؑ}SNR~?B׺_0 U觭@Ag"DYg@ _9`, ] >@I-E=:PE=XC7Kn0gS #k^#PÞ6rU(o '$3gc!`󇧅kޯkI.~E7c$Vcl"nCaiӲ4Cٗ8f9i)1(mV2Q̟_ՃfAPHi|SƐ7WiVrm*.Ca.}IKұ'i,)Ѯ&`D^pxro=h2_Ǻ*ra1_X+]ۻܦϫrk &-QeIji tK9E/~o1әSF=KaTRJi̼8⿋?8$koJZaF#ѫ{zr|?J.B1ewVN0Hx0H;E)<t\6 …߷j(euCJiMfW8:ypƉԎ$ut RPIpQئxӰCV_0'p0Uz=dJ ͼC7QyѦ,:4 Nibƿ$^VtAÿbŋOc5jIyHd;kW..l\N%z쒇HU{7o,5Ye -NMB Ka40x'& *6ܶהXy2ҀD&QSnsƺ&l:Pƻ_-(ЁLF4`m:\sB38WRZt}WR7mDm6 qVwwLOܔk=˘pI~h=IOz0\? 5vIR($^)bEdmXCvэ&ނ-JX۱713y}Ӯ0يmۄ泦7K6NB`]'v7[Z~7C Ygc[Op h.}Vef0Yкl-uؗ N;˹p.qO(?hYX]?_Cs {7E,n>یXr{"m1p^qF&/{x-v* k&~'+\ev; =ӛb] 7X_ץ3+Z67pueA3}ۊ$µói^wet8u$Jn.4y-E}z=M[łRR8 V>jgL&6ʔH} Jo쉞tF ؈ O3'" phKTK쓠 I_SzOQ#Rxzl0:qX:_?wT3?I Yۏ-a5k_:H"g$QS{X294Q8!I"˦zb2-PZINԀPq2m&2i(U|滣nJaef,k/+Ca4O!$F msMNFm &ֵJ|2)ͣ\x>Pa{Gp9|бm,~)88rsBL.n;^rb+AM?h~,+\Ճ!d/;p!uʩ)!'A -,Ou.ZNo F"7C'iLJp9]\`6>mZbV_U [%Y= 8NMYY|R}á#~F*Y@kOHvm[W ݨsj!Qy;߂ߎ}ՙNA䴋7o.s)4 {?U2=YkhoeHK8;+1LDe+~"JJ7pcFv_G罐1^`B.wͻ&~)TY+%=:T+OrK9+>a[=W@C-mKq|X`-^r֚Bri<%ʿZy0Eq%u*#ph "P4odcJPaa?A&#@6 Zg5:~`la8VI1:~-(@eG7M|GdPL%^o[3MRnV>ˑW[ܽX^ o̿n;3QUE_yγօ -ISv6$+:2{PcôVMD;ߴ3s"5QSI{T 'c񸺫6{o cفR^0Ob#9^ ƢG>EqVIkE+AQl =p~mUL!Lx3 :^Wŝ2 P)Ze&Np-zLFc oJ~f}0yzq~B4s[TE!'_orUL[}@2[&Tq9cqU G٦Y{$Zq yNW1, YrY8;:? |YT$z;s#x淵AADi'zcM+ {KiIH_8Er]‘X)!qu7jW2;Ln3er d۱<itd3.O7[r_WxF;WJv]]UB#os$&UĚ!2iDa0V;}0C-F"}+P ]!Z*k}'lP Vt1Ckb %kiV;WeRoC#<1nd])c}vDL. '$qrӔJ^ 1FVh` /1pz-# yKt]%Zfb+&QȗhPda$1fCQwA,䥡[T/ "/-͊ʈ{,G@.3Z,nlO׼ʢ.!QfBeԓ u#3Q[< :,žt4/uPl301)6Å_.+ĶW" $]"#M- iyo/vHyqۜO' G j#HN"Ζ[m^dzt APbO(zTYW97;3>~`gh-pQH|ʝ}ǵDQ苳^&|m^lf2^ŤAE30RW-Fy3A,;b5&B 8I>ޑk6x~Ƌy[$Q^c ];䜝:MJ'#t2|$4 Qf i1w7,̽1,I{%C[*֊(MI3ZU9g%&j֨^BL=z\JY ׏-d,k"u}F[j6|Y%$4CLD y^v4ـ ]z4J9QTƌX#.tsD`s!IJwq ?W(+=m%"tSH5xMW5-mΠoi&L"-ZZ_eS-k(oshA'q0KzOL$˰6s?D*SQH%8JJ2:NY!p=C&T)N\߄K50 FZlȫDbgYZ  .'_% TRibbon_ProofsRibbon_Proofs.Ribbons_Graphical_Soundnessdocument.tex7zXZִF! ガD]A-MՋhvG"uIBm5fT=nTLMݭx*Y+A)]x ih0.QWu\?tTNj Iqt(h<.F蹈P-S4)֕K8^bGxFR+ 3q>WDeѕ- dmG"a{[G~(eΝ8ICl#Y'ne8^,(Юzbw]&&RV{Q֠#_7D]i?Q 豴"09j-*)7&}[E?}?XaC40F }_L=6RZѶJg=;9b$bMeI )!Os(տRxL:ԕ%r#[+Bd1aȡniÔØVf(u"lySY1@poJ|uA{硖_WCxPT quc[_&oݟ}rXmeY8zsi~MmI7 MJfhxq"z+#l5i\g,q6 "c+Au` =M*3qJ;d Bt5UIVqNޕζ@94RXI"Xиޝf'(h:'A7,YYXτ4v)AF\2?ީl]߬R+**S9nץ=S(e,4l S!/[!?%Y %Bl@<޳FjwsoWQ!a~KN68I 5>r5! 5x;޾c>in^Sax!ܷ*yYɿ &o kaf(eV_LQJ-#Tzβ d{37W¸ݡ %fֆR5MG8]$-$z h +<ڇc͏R5xq䯈>Vy4^ޱy