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 G'tT\ ] Ribbon_Proofs:threads=4elapsed=25.937cpu=43.860gc=2.2447zXZִF! \]ŗXiɟ"'Dbs@Woe)ga T2E17bkt;zH^C^>Z0j:@L1qPz$k6M114d[j va: FE/CIom=:P"Qh@PLeHT̟:”WFb(qtʼn7}) ;7iVGaj5U<\,Gҏ'yPۍm qT=УBuה/xF 􎱶ᬁU6My`3~ 1jV6F,`[p*g ^I`x uj Dž,{ӷBi>A~M`Q'cn9 ' Ribbon_Proofs!'M% LRibbon_ProofsRibbon_Proofs.Ribbons_Stratifieddocument.tex7zXZִF! X ]A-MՋhvG"uIBm5fT=nTLMݭx*Y@[ɳ?qbZ&sJ~oCj,v(&Kqq"ԥpPʏ uk,z6wMh(f7̊!B3y (:3%NvIi]|ao^6aqpbCv%)[5 1B疀z󱭊mHEF{CiLAcJ#E{Y2C3cylǗ^rVl*1|*xPajtlBv=KayiZ:sLEW#Y޵3=1n Fr;٨Gwač5 A? TVy[=|t#+I>1G)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 @cb >ŹAuls\*WHN M"nrƛgoĬ~>rdڗ r3J$ZHc!Cjr&Tue}9!!'ɢ*{_K&d=DZ2 yR,4 I Ei'|OD\!ZdWA\CaP6-?w`%|Vu Q6c Xι,Y2zIïZW~k3f.y]IDNfLUyvf1x=~"8lф@=JBa1{KQh0ekvdfrc_"+ի?u%G \:QcɱHm0geֱ(gYZe'M% TRibbon_ProofsRibbon_Proofs.Ribbons_Interfacesdocument.tex7zXZִF! 9b]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\@6Efe     ]FH'_%Ribbon_ProofsRibbon_Proofs.Ribbons_Graphical_Soundnessdocument.tex7'=%Ribbon_ProofsRibbon_Proofs.Proofchaindocument.tex4'7%Ribbon_ProofsRibbon_Proofs.JHelperdocument.tex>'K%Ribbon_ProofsRibbon_Proofs.Ribbons_Graphicaldocument.tex<'G%Ribbon_ProofsRibbon_Proofs.More_Finite_Mapdocument.tex:'C%Ribbon_ProofsRibbon_Proofs.Ribbons_Basicdocument.tex?'M%Ribbon_ProofsRibbon_Proofs.Ribbons_Stratifieddocument.tex>'M% Ribbon_ProofsRibbon_Proofs.Ribbons_Interfacesdocument.texϤ>ޕ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!ǥoR +\F3"8==I5D-㣿XpEpb}j],Ӳ\ez F%:+ ,@LXOKZM B~'Yf3n(\]2bMlTdϦRdvH鬅h4nRU gP hM۪`XڋPbN~m~ 2iK3zAPW/sDD&:XǏx# mE^c&KCLkJ1O~K%;:vHA-WV*J~u? R y \#@(:#,ց \h1DL'6Z7aW @CCh4˶ZcǎhfXs}Ĕr HkӉ̫V)e{ 3r@.i!S I32KԼz䣕P։?-3u1G)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 @cb >ŹAuls\*WHN M"nrƛgoĬ~>rdڗ r3J$ZHc!Cjr&Tue}9!!'ɢ*{_K&d=DZ2 yR,4 I Ei'|OD\!ZdWA\CaP6-?w`%|Vu Q6c Xι,Y2zIïZW~k3f.y]IDNfLUyvf1x=~"8lф@=JBa1{KQh0ekvdfrc_"+ի?u%G \:QcɱHm0geֱ(gYZe'M% TRibbon_ProofsRibbon_Proofs.Ribbons_Interfacesdocument.tex7zXZִF! 9b]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_ AA<'C% Ribbon_ProofsRibbon_Proofs.Ribbons_Basicdocument.tex7zXZִF! M =]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:*r߽`y&Jn;ezYU}@暳(I۔ +4 Gcp`ﴫ5oSmbO!ȏ Hk6QIw3ɬ4c .'G% lRibbon_ProofsRibbon_Proofs.More_Finite_Mapdocument.tex7zXZִF! H2/]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 ߲3ljN2_)|QX3ڤ}C4̶kxآKowS6Jp̙<{AA &wl+{]66nYc)H 8)觶Us|:%4Ol'^,{GK}9 =nuL:tjC u VP:^uOLgG# ^+A#h x6_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ԘWEgw߬_ /ꐒ39ruރ>lAϦ+K;|S8 U<.Ő?g=&Od5PQщtԌPm5v ;k#_0fya81}cCyy>ڡk˹^-(O_&ɻGH{H3wm56KVq‚տ_>5^/Z8G((N.am&nyrKP¬HY6"xNm7=5.d7tX2x,6횼 l1P!~ul TT)Nj ZPgjZBUzuі9~FQt<d#/*40 ( ķU{#}iy6eܤ:TiU|$0iy`Fh@%ڳY8migl=2I/SD$?^u[v5*0)gfbFrTG' [)VxG ;!|,yQ $Aib %`.+߬wnf؀uFE$0gYZ  ? ?>'7% Ribbon_ProofsRibbon_Proofs.JHelperdocument.tex7zXZִF! $H]A-MՋhvG"uIBm5hy21QzJ'6_ M-&5]jL{ 2so_&`j15~؁,yM92)~k;فCжgڥB.5ywcJOI#*A\ 9ogi qnW>{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*(Gg"'~ vGz)XI;Ɯ $D{ kYNya'V?d,ɰo]Rwu=x%GKT+aMFo$s62$ۻ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۴$Vqu\HnT Ι*B{‡3R}VӞY zeUb U/ٟۧcomJٝ'u7`šS;AL#QrpHM!"K:Tp9 5\עտD oYN LNa}Y+yC%-Ss|2zNs(xW39h̑6sjIZZiԗ*GTV.⏙,b13 (a\%DNт1ŪBHa8>cJXkCgx#)tᡋbe͐py[6)ъ!4126L/鬦|0U"51tx!7@u,TCփ X'CxfVY2w҅ pvYb9؞O}D.ZY'stDo4vM bdI1m\jV<7@4Lf47i;ZI1ӉPI_V!KS0aBOMU w*E"uA9lqwXd(?eJ} F!KdqhgbNi>R5(wEzDr^6W| Em(?QB\uq"h 6%BR!>W:*K^cNp =9y`eʊ3D'\4ǔ\zN* :o7\Qd/?뭛\ǧr$$Ew{xMJ{Jt;S4(Bby~BzX$Js Fe"ї`ΫFվ:Q$ @miCompNEtt܎%K&C^LL LӐ†v#Vts:bPL؟H% ljO*,Ǽ^R 2 U.LdN.*Xz'lbcڲ`^VPDӅW)ZϷj:h|>_+*qQaY  dǻ."x2 AtbLDn^@ !\e/n/3y?WǁSR'yƑ)f]٣IPQ|2c} ӯVFf2:), 娎t "Q6Mmd]9a6@䳁{T{9^M~o) )>YoC(i,w¶q栊fAw%[oR,Wl %cH9iB5DmTv Sw+{6,QN_e80qo5"+[.2-D~W!u$iC8zŌZQMjwY-Y͞: !K^I:&YpȀn:[AeEL\AG@+Mc:CrC-<I<+;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ʣ|r)73R]$尊o&aد,Õ7TG\*E(B4Dϛi}ݝa6SL -ce<7mMc8VncIc2!8it imh1j+6@xn.m-W*%qHC{Az&&RF]4V ֑ɧ@qvncW@F %c3jEb-h(ҼBjđdOׁ/2WGm4YgP^,_$.|#Pz`7cL} 85ta5D' ః부ØX|ɱʛ."A+^ڔzGPZ¸;\ٺ#Bd j*2W8?T,ƒ:.}k(9}|u[^NGt9 VcUb< uGD6`/v"dA2-CAϐ"9k݂52P.Göi%Xf8S 1b|OU0z%A %jHh|^YGbuLq[a?;FE8x ,ǞK?v8]jD6LPI_ߞT/nNg3O@ed\ů(n2{n`UlU l-q*bqJ@(ٲ"ruBԬ۔"Z~fi$TߴQXiPW)6jPk(\xbPTf528@t U5<[kmF-$E}6JB-WY}Q7Ƀx_^=~Zc=y&B~ģ[˘WN_Jc)?e8x"ۀuYldաjJ}Id@+-!pՠ,$/\/J\QBmٝ3ýCrO6)S$sVI* $Qx:絟XgYS:(wĭ0s#b]ؗe {5߫Z2 7yyA +]2 2_H2A7Et~J oޮ2*eqc;Br$-yxr|Gw+ #ʵ' 0Afݖāah%32*V{s2G$U0FQsyI6K|jN~UjnΪTz.X\=ph۶1ZV4ËL]$񍎓xb,v4j}aJd]!v=168 ytD˽N*SGqɤ2y 3?-ϒENє53J$t6E<0ݼ8D'l"7yKţЁ<'{M}]g޷ΝTVEɷrVGafBss 5K.~h!X| `+GB/atyLLռ`5En@Հ*uA/fi/Aqa4$e&<bQE^\yO\]-!1*R%aq|3o}sȩQ4&c*rc$+BTTE:xdZ/TdQ{B._sU_1/s>ZU,ՑUDK[w'AR﷪cCr. {gו`7NˡDe+Ϯ~9ӧZf`)׶p.SzeoUnI ,.gBv6K=km0)O"b3@.͒F;p+%z^TP Ε? Ĵ+̝HCOntڥpy9:MV81&ݾi,6FgZ0`S8~gpC:瘆 n)ø0;hwKҞ\I uU5ݝ\5aOU(ʽÊVmExş5g40DmϘQ$U%c {2B7&,Gʿ1 LeeG.:D^p+A$AUfgbT`}S]l5Hk@;ee7MQ\p iUf/@N1#87.;Y,0LQ27wԂX<}/Ձu'Ě! U04)0w-n(olk ?Wq]E|%=^’{zӫ}#_Ƈ} C'5wZrlIRąu@TH5I5@X:da|>m465x.~j32Fa;85w!;VEu0 tSJ霷'{hGf _hȄS)!(VCߒC~G0sv(=Aw-S?g kPo6W$WNUً<5, oJp&Y6NhJـ}Z!PGԪU ѣ NͰO{~Ƅ-9tO;TWB>S'mq߬WPP*؛pKeԞ5N~@ xtqWP}*w#퓄yd'e GTKIgHit J?SeƂj#15EGiuWEX$fG WȬ )ixhQ@'\t/wYq"YAj_KX!qH/bPG4_xW6s&-^ :gfɂBU '+PkN"|+sqwQ/Pڊ OA}m:RlpdN~+mB7:76kcLFLr*zsS11 XHIIe90SrmWgJe)b9]V|R9 >\pS[ΨU@>G]jJK3҃5"PmN)-kS {lPH'""dRWiZP1.]TR./AM'7~t7Jǐp+ ,*1tKyE*UKc'GyHqI[ڦMqm쿑 *fP ?@:tlj‚83NƩ.1jeXZ6<Q 92}3)&''(_. M['csLH]&MĊAlTRL*yw99! Cv=q1glmv ~G6黳'15:AI^؃ 0rbuQps!ܨ ~AHGϻs츛mm!?*xgPwdvQg+.7+mҌ!y3GUp id_?xTao@=%렻‹jh)H3HqpJЮc0j_xj|!VDm0pW[ci M#}2B$ N: 7y@f%MkI [1zL> "&EʕPKb"m7Pe*̴tZKH,'*eaiZdp%bɾyn܀DooiIzdʱx; Ʒ!"JS5Be"Cz]ɐO W@h;oNQ?^hI瀟g}{VY$  ]dT(;u|3"2% A.*e_I׋\tnK"S00mgT`Yi5R垘bX۪  p.Lny#g*43,Χ`n9U$g~d_r4tcv CBj4\n5m|ZNxQ}R`2UD~lX!ow*R%`qlxx2qTooޡn+لV$?ANMn|Hy^E>܇}2E5'iiTgƑhCdڒ- ْV1d!%:ӻѯއNwLP˞teͧ}<'T}7!߶J1r= /LZZO[gTn/ϲ;'W[}_u{^մ]h<++9YHK '.*QxD֧A,aљDJC&MNLb9a?\lu5 栌j{8^s<=57-wN?ir)I{ߤnL7БWÏ/VWj4c8|S R[YzU rcbA>X"oe mOTW4Ӫy7x KW{MKrծZyԋP6Eef+,p:pU/P>/\0UvG\½!CI%è~F7YAq'ZlO\}n-!s4u?4ɵnf&T9@wE]6 #ƀ!xJ|:˄[Q} ΛDVJPH R=/ܚ䫯Kx@R \=Y*yW!pSiP@oYZNT=8.xYi^(U~;1c_sowŽ鷅tЅ¹W`P-|-o-.#n܅YA=dpVC KE){Zœ>2OTOײu:EU@z)h"uYbéJ ruvǎ;r+m#uBF.o\aJc;ą0g9}M6`KE$ ]y_(P~9I0LJw:*5+^e^?[}}'Y7gŗ$wef{hL`;~rU} MRu}[!pqy^G~# ]=Iz5sճ_Pb|@ZGMSSley}-.z2c6%}'6dҍNxzDT|-#"lY?E%ek( =X7 ntdG*OAkz`x^Hd\nHwNcn`pke&J; Hg Mۚ0 w:m5"Ifa]≪)\ed2`fs)%ӠT|q@e'޻/C* e(0PEzKb@G6ON~ ) Buזo.lWfŸ~앇X<#B%W@]w?2>HEFܨ;*+Jޒ*g rVb`pw2_Tԧ],*7W̨WO 8dO,[yT?މG'ww`X6 n&[‘z=I/Jڢ6L|]# u"N釩HC Ezԗ:x+לIJJ?NdenB>lAA\Q"uS6Z[(MJ3TAyñ8~U(-ja &%\@+3wlEc<rp?tPh;YOaL1m dl%.%fDum-i$úS8jE~y~>l`w :.!Dӱvj>Ag.~E k 8B|,fׂI֏~ ) ^ϽacGzyq&F,Z=3/>^3K9L31dİtBJXDE.'ŇoMdEBLTo=sPdeƜQx?iUp? 5bhأ2EvZOH6=ހqUϚIOH5Z/ߦ_񜢡Gh@g'U5%4;- O_؋~ 8aMW ukH,@5C?rЕt" 3Ö^Dz׎w.FMOl!7(ΈUfR@EXQÃ;\O3S2 {GݴnL|8!Ƭmx _70uԁi&(^QBQi ^OlFI^LG(lCeZn4.wxNl- Q3 \zj뇆2J2?\6Tb)܁Sl"PU7r( зebp4MJJ nBZ:ڊ 6 !BJVid(]<)R?J{;ML~ɱ3?=|ӘDz"q謹'!LR *Ǿ+f(S*bc7Ia L?E6{ֻ(gYjPGb6&8m;]|%Ie 8}`NvIüryuٴD"Z7mz?ޚSVc Ί1GEa T| sѣE#9>v^uOlșiZPn׹Wpz[-߅k>#=ωäoȳlg !QJWF0`X >%hB~ܘ,4z^p`v \/'6>~"?-~``^p<Ñ(0@{VR:/5ބm)j\#o]X4<"Jxj A]C3_i2JI{5v4v..\tO.zƢL gtb:䮣δ˛qoa/ki#k3RSR˿.qs ? |LeIEÏT` J*c>ϽJ5\ o17Ͱ1ō`ن}k? 1;؁TA o[TˋFVElڍ 6@ul{ WȚfOIKz;\.q_3l;HDNrdUZa8xcU P3NOXY䴤y".msa` ̟s;v&宕 n۱ CK9(<)@Iz1_mRms1}- ]0qƌ~-/(c,h2 ߽]mQ@[H#YHM|XƮ/*fͣ[ ovjP{Pfivd6ڔu'Ғ*VG[\)Ζl&tF^'KvI(̮ Ōi{XArZE3KF_9oƵ"En6* VwLh t(bݗѐI"1lL031`0 U 0/Z\Sof :Fa9'YRȉCoh2$+ $wy՞@@V"CR<;㽵FDTy+3"!ܝR<%!'ߔ^]io3|9y[&3 >S x>xßΈ!-1bTc{m :NŦ.!E-C'0cB2u&٢z̝o&U,뢧.ja kM3p=kw tnEZ ;AzwǰzˏbRϖ6QŊC彝\[ա1@d* MUsc, q93s1\^5i䤘I{S(.y`P=@˔oD roQ#^dXhl"j%sK3pda-6 6)ۂuq㎖Ⱦ#D0/ e  m>I}jxݦQ]]ahF[ v~\Շ\N T޿.zP/CpK!nd< ;UƑ˦.y&oXp9(iQ ;4+f~cmJl[0p)(EB&Ć$5~.Ej.? Brx` j.XI@Pqx ;4ˁ)]wƐ+\ey~,L$C:՚nyFTn]2\R/"ɫ' ZeX$n(m?Tw,֣a[|[Gd3S4Z47F1jlԍw4Yu$Y+bߪ1)z|Hf]֦\Z愘rfՖ R?1#M/As3 ʲhˮ̙?r ֭ᯔM\t̜\8 *h~[=4@m-yѬ91" U[s*̮ k kʻ2\Ly6>?/$:{:>!A|mN$k ֋e[gK!PWupQZ+(3S]:UBԺ&<%A2ntWG춴UYһvgX `pʈF?S.G'\nfө&z*kzC -a{um= Ms ,)~Uo;J@j,D% OgYZ  + '_% LRibbon_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$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?s SAȎv 9>٦Szq|*'F`;xǵHAA"T"@6OhJ+(\nm0 1;#ڍnF"u2/v$! DvBbu-28md Zi!֢lȽ4k7{%myL5C'կ\9H SKyE&wFzڧO0-Zꐀ4gzXV"R#[VHVKӲ[ykwl^ݎ`feW^*kgYZ7zXZִF! ]ŗXiɟpxCI8-dp&wbP[$ӑJҁM1AP/8[& >/r䆷Hؚp#xҼ幨iWqO.yI df>eHLR7R7ӡnD 1ec1Кuta(Z8ӂ!1sgOo+s촅?Xq\DBnM k]@hWW|z7nA'Ǚdν "RW%Pw1n U1(B6~0Q5r*=oH "Xl9,YixɌMEnߏa IQHǃYLqyɠ-@'9h2zRa V7ZA9A*QYB@)oCʦϛƗvfkCt0"*ds #x*E8 n"mF|k+<ͩ YD|&݃ /!Ϧ9Lih.YwMf.r/<7!$T EcP>gEm hg oe8Pf .vx\57"M_ ٌjk4yak,"z>rhܪ+,)xF0-"Za:wF1Vs(-AeG>$ 5 Ic?Lw<[3 ۵!bBU'kkRL: />q)uH ˁøUx,ebNW0-j^)hqmf 8#W6:dW 8=G+mOjv1'LwL@EeL4mzutǂ(ѧqf4oCajrF{_5soMMf„|ɥ .K`kb-u0%>cJ_ﭼS@WMQ,DzQ*&^o->+/GL#tt,;V-k҂U\IUI`'McOct߿{LL FQqw(+粓d|Zo[þ[0MSYb Jcvիl>aP, &>/ͦ^>QeWH{-o[<V&N3Zū\@lE"lk@g癙 ʩp AIu`Xq7B>DjgC~@}-ZV}z/1>6@};.1`vo 6p_x|bN7YuFv4@,?oL}g>ZO#box*Oҿ.DTXFk3b1c8z8$&%C nkI?Rr"lɇQ4C؟3Z:mSݩQ V&Yt E3?k F>5ꁑ?&w{'05g jsу8!G *^Ȗl "f_܅0Z2kOQrO jgͯ3&J()% M\Z  SFGq  >ԂR>̌5[M;:xd|PyoKUvX]ky& )u~/\i_r*Ʃ}," )Uk ׭71Fh,,'}#qZ$Y:Z H~' rw>Kχ)ǜWSªEMpGXO SE#y`z%`vMf1AM$u:?&a7r;˶x6^3$/:583q?~R0];q3t]T׺k1wt5o3)`HQ&vo+O;*X=K [Wr.{QVSsMr*TN[ j!ѡ*nCD+*b;p1)>rvӠ\Y4WԱgYZed3606d47020cb0dd95925c571140fcd23e9996dc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171