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-vl$4 ] Graph_Saturation:threads=4elapsed=51.952cpu=111.752gc=2.4247zXZִF! E-]ŗXiɟ  Q Ŋ1 >Ziַ Ư`:cN+ o9( DZy}P*` E3~2K6ibGk O*Tz#qS8 Oui><$g8.Uu=aZ5|e6*G@9] *K7>\ƤMt@7eT Z Ϟ9j=V$8J~Jb#&BS:GPr!G:5Y.R/{70zHL6L={0O7Czdf0Ռ +_Sev{P[K ##PJ@ *`E1F&_ct^v>Y&B]G wߖF8_?Ԓ&2-@xñmTZClBTNjhMtIB2PzdwH1a{g_*mM_'.V+^Ua^_r/3c ۓ-Qs”+`NGͻ!lS9T$=كCY:2{^ Fu.N5Vo ZLo%M3Y fzoszTQꋐ X\_W3"#cKf8ZC^.ōX;d^Llsu/Mj8PZ$} wSsiG92ɠa"]5[]m|,d8FÀzYz1Ck)ݥoNCw6)AA#8nmp0@s,U( S=MT|8(3ۃCR,QYԆmLSIZYyC& Xger$UbKԍ,8A]. va 2~yiȿ Q0O!=< vVzyJ"-F'?.zʵC.l!sXCPN$~ljWD@ap.˾uCZSWT ?w2g$W!l Bkp{(qCиrK=zaN܄xڣzuq`(+3|H +O Cz32XAm/ @>:w-c(Hp{@:h*?nync@=OP><wB Vxm/JSK~dۧԁIyNH_Qg=x3Y7^Lɠ$>[)5RA4n$e"Rv"`]duC 8T,8zʆw I7hXnʟ;r~i8-B<*g;ȳ^YM}KMR׀b KRƁ24\&Sl6 ~c{ڵ֘ thk:3Oh[rYN+6>yB;j6[&Q֡l6Ryr ъgYZ7zXZִF!  ]ŗXiɟopZ\T3j$4f{N2PVEf}߯#vXyV XC/VA.kD#/rqh'Ɏ_@ԕFD.}TWNru_ s:U3:h_{6w?y</%WG=aʰPG-Ȑ]4q|uaB\Ҏyf8.?l\1QF_</"s;)#VB=رgYZ7zXZִF! N]ŗXi%D8X<=5C56-!h&8A=9![|On7z=B*\i/5ڤNSڕ'I~2xjNu"p6<9쎢GK8~k5`a`wau&+;]j>iZGY0v8*G9PSjl`삄we춸7G&q*#XӲֈ=Fv>2@va<~GaR l&Rmjw`8Ė۸a%标1x(\p-0v·1Z׌s>P;INy't՛# Io(˧CvAtোHz*6':Ŝ naպ3@37| +-D6F=Ml9茬FU`Xit n~UD @pvЃ/Hh4~(AMˠ\5 W`vRo80%VEU ~ʥB{$"Alv<^Jv m3ߓ]QSZbhfҖkd7!`nYB|JsfG>spDY1_힩7nV{ި'^71qv*vY/4%:ԉiPz - Graph_Saturation  -K% DGraph_SaturationGraph_Saturation.RulesAndChainsdocument.tex7zXZִF! 0/]A-MՋhvG"uIBm5<; U2bƬM#(X/\KK ` G~n /Dk4fЯRvj~;{ЏiqyZ=S4]nE8 &ݣsv&>jY=^*d<ݿVKDe&?Q?7cLCU]-{{*jsfVIt~_DR^}[:I y+|tץOJΪXxnٵ/yVg"G%ck6x#h渵+=RskdǶEټR*F;=NRڿF~Ĥ,i ބ?D;t.,>-LٖX/#8io=CʹgUu 6.έPkzelPVJ89eXVfރ*`Vwc4g.Y4蔀 R KԦk_lx*hB11gOVd\:a}L?W#STZc3BKuK4N;DmF1 TX.m7gEgR ߡ;j}EKE ] ldaJ!T# NQ-X2X)a#v`}q,wLS>c@ZϐL}P]ށ 12\AnسUmmw:()@kdv4Bp~*:W4('O)[k;ZXϏoݕ`n5.S}E$tvj=&ɇHffoFe1",t5fO4ĞXJ]:* >"5lϼCCm-:6 Pj"8[pOqHO^QBR.J󶴨OD8z 8q 䆍VGuEYvM] :gE/WR\\b%aV(x#[@qU4w^u;+PY[t=שh8dm ҄E2M /j\@,*8*M^_{!_FZI@cWJ27j ,ʼ7h{}"Z=ʵܬOD)^MxV%xs zi=_yQY[͹?mH*Q[,V_?P)HO?U<…r%C64| T|d% @J SzX|Ң>ѱyǧ6xv#Pd+bv0wG@3eNVi}#ή8Yj"0`,k` Y,QwAR75Mq8 4^욟K A|dAE|$ 왁MAx乥`a1E9_8CaܶJ7P@#B zaR0 L߁u|c^xjZ9odmV6c| 3ُF#`;!-9'a$Š*p᎙ͼm3F ?N=m3f fv/Yw1}hrl;F#5"fvpick6RYIb;4x)CIq21Y:> -dk޲|/t=DZsb3!S,gm4 QJz#ݚz5?xm#+%3G>|*pP,pܸ@'$pV;FZAG#ƉYNJW5Tj&a)P Hϸrrx5M1!̴ʀ]t7 ߯VcOe,') /y,P|܈f1rqfKCU7sFo'BxJ=]/mNh/S˅vcbS(Pb֗/<ŽS|]S;ceu j栶c.ZfX]dwvL{R㪤SxCSr|&ukdw.{;oB /ct p3(Nh|Z~F֣Ӧ"o=%"*en#|A*,vM~!X&U+K?ހ?K_މZ2yT\+?k.NMIJ'QmǰrULmQrUǯ?OӴ_v$WYxI [}Wi+jΧiA]M|wӤ~1 +)VGKי)Z PnJfkcPAQP ?ʴP#kWN١ynL 4i% oIghf־ux1[Mq}#ev}˵'h3芓eo(IJ MS67K1`Yj $g}!0^o,v{I{&p ~X:@Ux_qX{ sTt@#=C>(mL6&<ъAJH6|T{v\h3Qɓ~xDL1:Dl/Pckq@s-[mS.е:2[=]&RߊК00 6ĭ3! tۯX`o)ћpBľkh7Apל탃poLaL;P1v 8"vn (HU!:w!ű:6;ӒnNp&!NPC!P~`޳C9t;lDE\ YʎA#;]\vxŮgț.{ݫ#GG>DzнӬȞ[ Q4@3WR~i    2tf%F-U%Graph_SaturationGraph_Saturation.CombinedCorrectnessdocument.tex@-I%Graph_SaturationGraph_Saturation.StandardRulesdocument.texA-K%Graph_SaturationGraph_Saturation.StandardModelsdocument.tex@-I%Graph_SaturationGraph_Saturation.LabeledGraphsdocument.texH-Y%Graph_SaturationGraph_Saturation.LabeledGraphSemanticsdocument.texA-K%Graph_SaturationGraph_Saturation.GraphRewritingdocument.texJ-]%Graph_SaturationGraph_Saturation.RuleSemanticsConnectiondocument.tex@-K% Graph_SaturationGraph_Saturation.RulesAndChainsdocument.tex R@C}RpZZ΍ȥv[t?;( V,B\뺙x9TycāoT_4hiHڱ0źGO>n&F0,Mp ; ˭2tfhst(xY|/8 D/$zNCEp]*w"B*[We?u10ZSr)R=}pnD.G<ɪɇH 9 Xx=e8vfF75.lӷ Kwn|ϒ8AZ\*1: d"{sPVo痚Ie o(:9u(Ū$`׍ajv{A. <Rٔ|&4 ƝX`PΠ'^қ7CÊRp䚬T/'mᴎzn&"i*oתB$;J4x8dąRHl@;~mjh׿?,> A֐"JFf[(Dl'w\vjUv1JH\ŝ3t5d+! TTTe*SRGЁ,$/[C8ۧ!!BR}pK;x?5}\ށw m e~C758myLd񀰔ZO(+W}j9I]6yŬTM\Қvfni}-ғ'gv{7[ʯ [op B MKO vǧ\%vr ^$-) QҚ!L6߯KZ ޕ\; qE}Ř1ڄ娓sQ \VWs0Q i:\Χڴ}ּwh@Q&}QCb_m!pBˑ0u3o[er-aZl1*ClfY3s~lZ KH1^`'7@ qCՆLBYh߫-w,\)eCkl’hZz/tu;i=]S{dISI'|r0r`&2$u_<*߷,p5c=M4d?4Um!$d'bQ"̄_9H{g!DdW]e$tu\#s4Kګ  ໋  Bjp F2V19cej>PXsj挋΁y[tm~572@ k%D;BJ MS()iK_bsNjSAvσת#bх6u#5`O. 79A_N/- 6K 4-R:^}3L9[ጃ3b0c1yHl΃(>H:K40^^Pg 0*@c~ﻃ@#9lq)Bh28Iw56HJhT\0AwtE|Mm{ ;Vu@J[X#6-x'oAմ9lb_&NnXB``~zpeJBUF^;s \77Ӯo֥"-l #plQy\<"LO,DZ# $v oM=3pok8Z4 mYZK1a5XN-  *g.wHyGl߇WU]OFVC=qdzkBI*ݣu13z_Ϣ9y:m^ߠZ2͙=6PrenW &,CZ#OHr.R3 KO_s۟r4X4)t z0ڃF`EiwaPCΙ麿F\I"$ 'l6n %FE af F0le^I>Y۸$;ƱMr$R8ljȂT'9=}MDSp|+`uobY1?F'$A>[u}qd,ޕ ӒqKǪOQ~0"=nןW 'kE-"r/CG>Dɏn]6* Əp16%fx,!= ^z%n Qv ]>~HP n GKE$aGܓ,~g-FID7lZ&Z@QXΛbw( <:ip\Mo^B*+@?㴍6ΓSמ0QX Bvi舶3UUvy:ؤ -@|XaBQ 1͊#G$a2r( s"ݲX ?-SEc:A,w1FU`W8xдy-Eׁ-85ŗC|M%O|B;8n%2v9դI UZ-=Ha64 "m$׍e7qop& 'x %39B<^%:44,iM)ҁPr݌yGkfbJaYLjNqn wB.\3TZ!]SH3*9;NHH⍄襾sdJXNCV6#,== +%ǭW/P4|%?QjAmfCM YE‹`i?չM>Y> t 1͆J21=CgFK)Aˑв8u42la)㧯!qzny8/Ӟ++{grhg.~*Z 8OOh=Qp֌ċzw3JSP~[s2(r훦ac/7;ceF~X*'oq'2'{I\~eM٪HSaEFt[1ݫU'$)qddXg/G4#wQj(FX~h>:sTe>kH{8Aǽ}9s/yW/g+o=^9\ )LyGpF䋮|75\f,9tٝtj—ؒj\M96$q RkgrJ&^qVS Ɩw0uͣ5f>[{Y? 7qŅ8N#Դ;&DbTѹ''G%lϚ#sp|R`bb+ c88d@>r"n*)g Xwc#X(" s.pX+%lNX_w岾=YBQ*t2/Ys+vZ1HK]ǖu ])cnn -MR1AY!QpmH@XxNlk]:KSĺ&pJjZ,*w{]# <A Dq䞒f69#6'{}L}'5Fb# {^:w8fani07AGU2M)DY蕱m0>5/ cFE+?\o{ػ߾fW#gR  K CA`AjaGZXlEL)vCV tSETxbODkL;[tW"4qݖM[?KJK|`!?p؏_IT:;dP3ARV|7羮8*m p@OpcTkc8жOu=P1GC"C$2_ƀou^h9V/v5G">ep T '] Xc*ax//(Ji!=Dr%.Kǹaj^u(eKߑv[}A{\nRȵYݬO:C8yePځw(.#c$l4gnX-^g ^>)̒ヶoD~Qd|͝6ywz-!.Gp ]_Mh•!Z}[8rN@B"k˘ ԉPC/FPu$wO$ȼ)73!p]}.;Tm=2 TxofGkƯUf ]+Ă#QN6~;^Zב݈"kv௜ۚ eEbG5$1!9[ȊqʏC=ySlթ'p_%AńdPT] *6"[nAPe\9uN!.Õg&x *8b5^, k$'KG裭ZrB@V՗\0jc+£z/Z6GMnu/XM:96#71{k=;61A?$Ջgy3Jj¹zⅉ(zb)Dެe%=0+mXSQrYQ¢FYlڂ Oy{wޜQeA|(Aٟͯb,LЀNuxpDɱ!p0;z?r! #\$+ 37Fݥ>*~FxcE|vFAMxba򀏰`#W^5F%g8 (eς7+rfZ +Meb;R6Ivl%22+1qqx4i}&TFE @  "}c6+@7X~&]Ug9żC/D!WW?KS4{b5t.!eA1MB֕Tgݧ'P 6F|sHȝrL $LCWBKR$(KΤ ׋;N! +QEbA4ÀFja?1':lX!I~Cx"8؆7VW%>2GYv|\hd:HnjqQўo֬l׾=Ʈj:q_&E@{#-0g/Y4)#d7$Ҧډ:Jÿv1\@YK{dA' ,3>ΐGhG抑w^} k &?ÜLfʪf2+LcfbAlb*eOO^fŢ<[H(Ќ*C:$s\(EK Ռ.N fdp~`c-1W̥TwƘ5c 0o:8X|OXQF&M΂Ql ?aQH0 !vekPe~U򛁝1o$mB\i,xyE-"O;G3*NG$ף`o6:ukH7~/Jo#o˞A<;ӛoL]>.?KG 6>m 3U<$~gMC<}ԡN' فr]i ;܉IYN󳞋kQ fFޓf ;1|_E2wk3w@T1_Xx#d>A(O*+lmL!-N&nO Cu5TqJRC˰ QZut5F'UJ-Z3Ϸ?T8 Zǒ~ֽLv&&v`[ Iiq^;e^76]9֠vFcS]Xp=Gm*jpA6htϢWz[E]by\U*"~и,`waJJ!qe~*Z ͗ -E$j 57~d'j*U)8߬랊mmH uG:2L p~t[X_=u(IQm{N~V XRwğ /]ρxhCy&+!5g"C^ gYZ !yGxai=),JӡoaT g.SJn>#_/Վ#5.!Q\}1JojpRVSگ,5H1*jP)!X!Mc!5F)^q̪}嬁a-Gڋ!p,~-!h5-ՇEPӋdnS/,?8@aWh6 <ȓPѣB)6ѪsS^o,s&66ǧ#RZoƵE!=J߬YЭ*@ӽ8hK:˄YSsV-)k(PFum6 9K&Nm5\rjPWsCOwQ*.")ф0pPwg? G9Q\]Y2L\(QHm;^B0=cZ+AY%ŬN|9ZdbbT2N,,SaJ^ccɹ'QZн!\Rm,cH]fiF:@ h,fbh)G(!ЦrOf;`dcGAp{R xq|`ZɹmI+ kR9e}(YHZS_:B6LJ (w8hdӡEa9(Ub)0,S 0}g(.2#硡(Q s@C3R{uTwPYKć y Kd-S^dVv'J}`ӗ\2hs Cӕy]ïĿBΣ@h}C[t[n lyug腸Cυ <^ʰOs ˾[>̳ +"PbL;2C"ب%t=VW|se1Wf=emWJU؟}1WM(<-D6WpicMZBQN})]Z1jcM2F+^]M>wL*نO^!el!UT+n.w;p:^vl ZD^o;= '-$iq}+=LSuK"2PT7\&z<@ԝ!9ilFO`KR@9Ц{XJFf^? jݮ'93/w(r?ܐhwCŽБ A[=رbHpKEu_/Iڲ$>ۡ OM-Ҥvgk4QfVUƞUlu-vcz2&PGDC־fKf`I=ݠdyZedqg~L|x⸎ojkrA xX=H{*:v)H;$(l2={p/;Ku "w j: L۽1AV!Up?7?UfǙoP]v*lxez{cMW=^ɂ$h3iA7ln @R}#}g @ݙ^UL}EhRx}1M?jH{1 S* n@qQyŹ"l}2-RvLG {9:'m℧ʖZ&x T+6vZ5ǫWfu>B-'<)6IքH:Ѽ^K#EZNaECoC$q)1-?;I%VJaÛPkвP>1/ݏ"y1"N)V)6UAz iV"ŭ7f*>))TFW{PQΩN쑗К,7m*xߣb(ٙ񮐆} iU\%/F6Zx*tn8{h% {9BneS68OIkN]t}N0SuaivƳ%Ax@YKT⌐b;P=y ߨޕO(0̒xbV\^za0AR4;:i{Pj\Ot~I`~Bj6b@[^l$҂yDZ| Jҁ~0[hrp󯴍قF 6W6*]D-eTw1YW+'2vFk&@!V`rWwu YCHdy Z1 |ZQaiZɜn /wrK_VV<.>,dbՓyweԉT^渍T-8}e2 kK-"亊BboJyo-4۵mG#ԢÌSGI)/ }r/.E\ЕW ~QS~7@;zjo 'sZKܺS*56`[yVWOKk=eHQTmiW @.gFѳ;6Nq(^enHB5bi45'k)01^!m:ßN WH&uqݡoKN Y @Nzowh9DG=d1k- r/*QK&cZ';(LsE' r%`J ;ǰQC+FM7H()sR²F d%ҕZ&ijt2 d⼃cl1'CܧRdבv[4-;k~RvYUbtӈga>~tz(P~`^_0  M|i J@Fmx.T'c24u&&@P # vo&MQSDMg[+ƯձS\%ŕs>wR zo0鰟f3߰$۬\]n%uL5j]!'ļ$^Hy0YqQXPiF/hDFC7zNCs}ROfݯ^l@Q9O2*/QP|,mmDYiZc|]>Q3B$HRқ뒔S|7nU'D$j;ʠlIzʀnT%ګXy5{3%ULG&8)He>xdn($QSIʮkpB)meΟN _\& ((pd/ ~y^-led#L,أCE>9^BQ |+C!%bԿAb= f{ җK%t#IMar.f h-gWǞ )%ȓT*7 !~_{mǖU>L5-6 $QT(ؓwA|ɷW8y7mw[RT)<,!Gճ;,j@m+!MQUzT%RpRw[ &Lf WoIv\f۫`56gw(߷IX,3A֪fQo}敪CRc 'BP:ZHe@qu&V 0T ɑۭKl)ݡYizNڌ6IGnoB”A!z}&N:r;FQGG& B'gSX #ڹ͉y5qʄXDẜixdÃWнÚr͛A@ %up¹p;эJ4FC,u]:/hbZ7ueNk NT3Orc?H1;x' ^+!߹"aE~+~9q[K8(!}r Sx_9ߍOdҔfԒ6sEhu# +/@f3+ 8[}rw<s˷l\`lQIFiZ{%|R(/)'W̅MPȞ8SbH\(,m500B-#^6O)oQB,*9 e鍁k!%Yy@ B˪P_On}֪4ǯ̎z`QD9{눔_';נe0GħBȭ ': | MrB\2<oj58K:6a$moF'qQgg,cyE'BB"$9fFsjɮJײXc _] yvzșw0Ir,08N+QyRT:r;3ǔ5D&]ͬ4rkB!]6Hr4.gSqzE$n=FL~ ~Exms£17m(I[0~qp R IY7'cј{Uj9+-u*Ixd'1M=4(V& @x3Bf[g8nݷ{)킌~dP 4P Y< AƙSsuS!+8תT*> 7dZZ}X\o *-H=QCs*hqJPMurc̘I N3YA6cm׍ZcYcn:vv_O{1B{?I{,~'0Vu6KeR/mmvuϳrT@a9˰N!% WċCeYJ[2Ag!Ȧ-}ig͇5 xثυ%;)Vv0Qbcxh7Sa+xv ?znO⵺U"/ז)h + ~^a!iDJEK۸eG/S '$`}zELbYȟ sޱgYZ QQ  -K% DGraph_SaturationGraph_Saturation.RulesAndChainsdocument.tex7zXZִF! 0/]A-MՋhvG"uIBm5<; U2bƬM#(X/\KK ` G~n /Dk4fЯRvj~;{ЏiqyZ=S4]nE8 &ݣsv&>jY=^*d<ݿVKDe&?Q?7cLCU]-{{*jsfVIt~_DR^}[:I y+|tץOJΪXxnٵ/yVg"G%ck6x#h渵+=RskdǶEټR*F;=NRڿF~Ĥ,i ބ?D;t.,>-LٖX/#8io=CʹgUu 6.έPkzelPVJ89eXVfރ*`Vwc4g.Y4蔀 R KԦk_lx*hB11gOVd\:a}L?W#STZc3BKuK4N;DmF1 TX.m7gEgR ߡ;j}EKE ] ldaJ!T# NQ-X2X)a#v`}q,wLS>c@ZϐL}P]ށ 12\AnسUmmw:()@kdv4Bp~*:W4('O)[k;ZXϏoݕ`n5.S}E$tvj=&ɇHffoFe1",t5fO4ĞXJ]:* >"5lϼCCm-:6 Pj"8[pOqHO^QBR.J󶴨OD8z 8q 䆍VGuEYvM] :gE/WR\\b%aV(x#[@qU4w^u;+PY[t=שh8dm ҄E2M /j\@,*8*M^_{!_FZI@cWJ27j ,ʼ7h{}"Z=ʵܬOD)^MxV%xs zi=_yQY[͹?mH*Q[,V_?P)HO?U<…r%C64| T|d% @J SzX|Ң>ѱyǧ6xv#Pd+bv0wG@3eNVi}#ή8Yj"0`,k` Y,QwAR75Mq8 4^욟K A|dAE|$ 왁MAx乥`a1E9_8CaܶJ7P@#B zaR0 L߁u|c^xjZ9odmV6c| 3ُF#`;!-9'a$Š*p᎙ͼm3F ?N=m3f fv/Yw1}hrl;F#5"fvpick6RYIb;4x)CIq21Y:> -dk޲|/t=DZsb3!S,gm4 QJz#ݚz5?xm#+%3G>|*pP,pܸ@'$pV;FZAG#ƉYNJW5Tj&a)P Hϸrrx5M1!̴ʀ]t7 ߯VcOe,') /y,P|܈f1rqfKCU7sFo'BxJ=]/mNh/S˅vcbS(Pb֗/<ŽS|]S;ceu j栶c.ZfX]dwvL{R㪤SxCSr|&ukdw.{;oB /ct p3(Nh|Z~F֣Ӧ"o=%"*en#|A*,vM~!X&U+K?ހ?K_މZ2yT\+?k.NMIJ'QmǰrULmQrUǯ?OӴ_v$WYxI [}Wi+jΧiA]M|wӤ~1 +)VGKי)Z PnJfkcPAQP ?ʴP#kWN١ynL 4i% oIghf־ux1[Mq}#ev}˵'h3芓eo(IJ MS67K1`Yj $g}!0^o,v{I{&p ~X:@Ux_qX{ sTt@#=C>(mL6&<ъAJH6|T{v\h3Qɓ~xDL1:Dl/Pckq@s-[mS.е:2[=]&RߊК00 6ĭ3! tۯX`o)ћpBľkh7Apל탃poLaL;P1v 8"vn (HU!:w!ű:6;ӒnNp&!NPC!P~`޳C9t;lDE\ YʎA#;]\vxŮgț.{ݫ#GG>DzнӬȞ[ Q4@3WR~iԚq T!׽i;2髒 5 -]% \Graph_SaturationGraph_Saturation.RuleSemanticsConnectiondocument.tex7zXZִF! ,]A-MՋhvG"uIBm5< p* APTu_W< (6kZ>-&^Xr?ι#^WU0bv\(׏'DG%4e6g#%c3?[ ׊֥mbFpoePĩʀص\zX6yV׭ y!tE|i/7؁=L$P)œrK BNW&\Ɗ5S3P>(;^Fפ|7?Y.Q4y%5(qj&W~,]5,'oŇ[3Ud֔/c\~~iq}j?p8RnG>Ki}{IJÎJ BSi\jm4Xu^N_l'RʫJUc @ ۘ261c|~#m<A,pi[HB{,cixA`a/w jr%'A{{*܍M މ2t|tbݙz(HȚ 7D$Nq79Ն?6Ѧ\(dqGjVmJfWG_-Җ _@L8{x۰`18/ QwICn}[uX8PtǞҟZ[WÚv&C[S X]8=Pu84 E0g5htDt]{D5WS{$OeಡHë3NyrE]i)-ɹ3/?9X w@N<~8f__Vm RE&ϓ&*[A}Zg8j|B B[Zz*]^! U'f} H拒nZ%bsTɱIUi,qT1uy<&JpoF=EՋϤ5 uC2c=uCR4:UV@DcW8u?q&^IQ#׶w(HEk5< hiyU?[ZuH141a[оLl TުzQH:Mm|Rٰc.gy@ADLЈRKNO.K&w=&ϰLjz$?t\7;ޯ:S7pWk]SM0_ZyPA(W2vmg _gy/p><AA{7.2hKSmڄVݿ `׀7 մso? l!"]R9 Rnz{W`.13ݺX-wT^擆sT}tыeygTE*~L̐(NP\r =ܻlPBO^൉r &FAE.2i-VB.3;$*!Jgg̸-&WgH53psNd[Bѹ} k&9#^EDUz;3P}XՀ%d{J_ My&Adfnjpl#bdUuDn7&^vԨ1Xu9֯xU` ?>,^XNf K7H5FF%ڄé9OF(I.Q:-Vgfdc\Fuvzx3.SD'׎h;xJ·r .rj nKXG 2v󼊃44@ZJ'%7 ✘jZnvF 6gYϼcd*D~3ŇNt(_?̀gREZ$dp-t,E^uFsy7}tw_‚QĿʰSm@Ij^GԋI4#~:Cxl7gq)yL֢O]*P{^!J ϴ|V"eZEKֳj:PgnvJmJs}( ĺ\KHLj70ljiE-i.3d(i‡F!]c:cm'Q+1m_"ruXgb 8CfN] ƸX=@PE吋L'Xk}vv%/:OoW50y¶o xV=tvËGu(Tz;yr֙H3,mGXZ[5ySqڴ3ӿ^{e ~B,KY;F5<tpwIY_a\ Fag !s #gE_ܚ&8"??` \58eUr}?йTf] f%.W,_yrK?GRU.NLꊃ{OGv$bɡ^k+Qυ ^NHmL(y-~OsHE 'n'7.,jPKqb"X ݘ_v@r sm*z82l`x~C8M~#FasɆٟkVM=BEeMK$9[rPpt͈{i󃦎,Q<(0uSK.ia!1l//v]DOQ7$, G/pqaU>F܇/a K4cw5>r;OM^EFԟfYRN BΉ]g NltIFIX=ި=+'6B"J>=Y,д[:3HA%x1q\3LN<±́_!,u4&ݦo^:2bFr+ws.H Z¦c]y t*{)ҁp`  e= "fSa¢=وo'Sz'xܔK/^Tݥa밑^Vj19vHl^ىJ3 W|" $:ɮ r9hp챿 US.A^Ȫnquy>yK>A䀱_uA=Nn}2+!4\ # 5o>&0EQ&h` uKtIՏ#.KaJN/(pe̅I ,@QN ᠌k>6z"69o+U6>^KhdH wRE!>OC[+]/%xvc%^N{ fN8Бkm2ִڨ ĔJ[YҦ5jUFWk\>"פX]\>5Ϗ' KYAO:2(A H2.FÅ!d" n)V$iA.tNj=#ßz;Ra_$J Chf@\P=I]uؐ$Z$Bo_ݑ"`%lXqw,Y;p8?u7S1.-܌VŊKk\3qqH -s9IR4g?'y )s"{QN|ȷwjve:/;W!O-qH4Fx73`yD[|wA[ pίQ B6Cv,' "C_ޭ a'6Jf烋VniաFo=7HkH7/Gs^jfcB4p<“&Eٹ䗔 !j`l܍H HHoLȟU{ѿmaZ P}A|JsXQX lGZqѐRD&z7?R+*;3Uo Kw{7P-wϨC'$b)"`zcgڛPi-ƢPݛrirC և!|zᖱeI6,LgO@wۓ[]:)~źH59$ы}1#2]'qMhlGޫN"po6u9yiLJkOK7RzlɌQe"3$Su_{b(_.^ Zu:áhjqY9SbK WL{`ǫ̛j(\FJ8NZEo]ZpN2ЋG}(c[`.sl&AyF_ sJX*&ȦsYd3ÊQL9ݡ@˚H|Rk:l]Y?12N/e铱wb|!NjF74-!,~+y:dC}x Xe6*r %ƿSo'ꗒI GlЖm)VV9 C/+vMj''kmyԄW4i\%+h;CH sRcI8שPS&ybU^nĖ OGNRx')̣^I\kꦭϪ$l󖣅;$"hNEӧd8#HP:ݲ0^P2[\]4][ª/\{SXmEVlF)W*ƍ:̾kD 60#?!5Uxܻ#h-?Fh/BEDKzIUV;%S85a`_,vvA_jP}nJV-s4\ŵX*#zTM w,AV+NZ2jfuɁ1K1=uÿ-~ 429u:׬ieٰc6l\q /qFY%K[{zQ}eMm䢺1@) +KzBe f-$)/C4[莹 Xy⍈@dӄݍH(q/(иFۣ+q .[) |ēz6ZB +Lm0-D<^+rϹӝhz 9ƻ=`޷uC"dЙ{hp\H[Rl}C6\Ԡ5!ꉀ LH06`GO=]\TtA$VV} 0b?ܮc= qhR@!0.v<_!3U^u$G sOx8~+EiaP  &]_A&bm#r|Jxd7_t& UOo=wr]A5 )29&2;ɒnQě5@n]S7áAO6tCuFbUݵo f$%z %mJm3jf/*E`jY6@r5 )pަȱ&DB 1BT_P6n1 K"[}I8]\Zt蝍U+o=1YD?S*cRƻm*yBծMΕX4iNt"Le募͉T#s"ǫnZ!uw^܀TI5F2Sn.4_2sGѧGq|vJ,2)يN:8Y Luvts1Q^ z'Ï,K%""3.1sޘƿF>M6?gVkkrگ3 OQc X};Z4=])צ8)s@v`#JHQ?f=aF ! -Af0`S@߯o)U Zcl4LGLV)\.-`: &F@p2d% 8zwawЪ@[̠܅"YIO`F1#Ek jp:<\ %-D!iWH4H|.U{XʉVUب7I3Ug/b ֮COr-dR̪gG3!e)5< f'884{إyzp CB :r&3=z"e)&hEDŠG?.,n[%oH+GH.c`a]UCdnI_ר0oBM$^b˝-)Lā~y\M߃H I/Iu4Z{sIS# [٦gwm qJЪ'C͙AzYܯxqCJa(zsdB߶lBis^]":ɨ2YMHǶl .t?Xnlgަ \ωlH7ku x-q I]NT1\VQga-_ }*eс+=&QROJ 9U PWtEˮ/Q _,{U0qdFTs hJ{.HX/5XTD_|; (^ $J>=.Xj@\!oUr( o%^Ojs;F*e}oMA y­y(ԅɡi>WJ jٚ!{C2Zͺu?'ZK<sq`1 #>oXF)E_C;@f8 [| wӢ*o*4^s@n1Pɩw% s oH|״ b0S_IE.=`ubQb,(˻).IC88eР0&uS$Kpi=3 OkVuriܓӃYngQC.R>I.JqV9eq}0?ȵIfk{Iy!ҪζS*9lë)#N]WU?-% M4 u&K[B0HM1bM!!rshxӄR\T e u_`X4 \W4ûC ]r|#w]+b-շy@@ 2 "CeS/!gv#p1FkY2& zЎ!J|R3[D٭1% "CZvAxêoxj wjL0Q~tOi7!p"Մ0^ qZBȥhjRǜVbS90^yp(/łTz]X!x[WxjX\ys\KU@ZFcP,_z(z1k\}sc0Kk}bu5laTdh?[=6[U-BDw4ސd7$cR @%~.3MvCŠ1(Kd|o23i[YGne Cd"U%AjAjPxP{A]< 5 R#204b6GS͂یCrӚxh0pz@Ȅ5\) XRڪMlSSư<" Oⰶ ?2*^N`tw2TC .# $e7L~%e4+)r0P信ڼ'qs,uߍĪa*<ôa* NF$2ĝNO~60/ oЫ -Nv5R* H6,̼XG:M\czLkP1T yT p7f| s7+¯EྥW-axD//x_$#64(B_]%٩XXriBQ /QаrP,q\  ~ h]$}9\jy굠_OW'% d|V-ixI'?_~IfGîUYEQ,n7#Q5]^6Oj}CE$7e ]pG-7($aQ x%:[\*>DュJ!4U/K%CFL\=&ȒRn#^wAXGJ8,^u Ox1A]_ZII87uDϣMqIXvS]ܣ@*UgiQ+f8yH\ڸ*oP=/VLh}(65je _rchc*Z"?W,t.<=VZ)':Jl%;c7W$ ?ns^; vcE5>eGJ~1,jlwC{ՐK)&@e61Z/:#L9ylUwppܾhһÁνПrEgPu|V*J%;[An ݟ D7NB\-||bGܛ,lK/$x^T@`1~0<BRW 1W*}_̟͂P,ԢIK= -o8&zo3֤Mx'2 D3]I+l(way>`$ɾf>euU73*lF{4Zb||>~Q= ֍|`apA%3r\~F(- A g*<['*HLM2"< ?UYrK@T8ahΐ`dj 1tQo&Y‹gb>/f(IG\R yu D%]ӜH962-8]+#1(uT񾞼t9 X!9W.-\9äCG9fh7-X ޞ` dwZ։:p,-G F6}]<$`&Fr &찯ַ$w_?%],7-. JUJfߐC0-s^?eBߦx/>oB}ɩZaN%@ *)誈ʜ Y:3Ydq aU|NΩUI&ϒ1pxC/][`Xhee2=e$ۇkJK0SG>C@ZZRZ#PS)9@W]3:ȋ%">F1pzcQJ2{`l&X\8b*8ޓXL^n}R,Z&'r!{>ЩOhۀg?@:Nfq_n u&ݴ׷u o^JP b ˣf$N @#7/nwW=N([`n+cg\;ћwnؽrK7a\Rq_J66@Q4fNhg]U3V4T(L*Cto|=b8Q2|9OcĪ<:+4aeP![-MxP_>dEmT/\bqrǼ3{G‚*8  )Ρ^l җ4%8 2eL<;QT(sR/EμpN!{mQ3 =&N1pވfp(⸠9E? c *gR܌XxIhm0ܲ(0J6t(Q#CC0La!#b=r4@}?hԇc`l ,Z-c=A4>H%#bAqA$/8VPM&] z,Ve<@e܉1"u-1,k@AS)hSiX~ 7P/wzhj PP/%G_QxY)o]D l (;l~0D _J{ԍrZW#qQ%Is^;3Q_ :'*~wOd~Cl< o;ZQ\`dL!,EƖ8wqKZ^(rL,%g!@}΂6]>mZC2qz:Te_^>/6Ʌr\fm@Snj h qE~rkFzjӺh$R[jG]~qY^S{s$2d@A'6SiZ̻Qʔӈ|si0۹Y&oO78VTfӖ0"eV)\!Pd ЛdȪxݣ-7 ' -(g= u@zjߨ0뜢>|wbՋ7zC$ ~ 0.) A uH Tr?/f&_iǢU Z}ʅߑ;vy"51(|#'zʲՈo8TLuGxs=YMJ7Wi@H$DnR -|7ۍS='ܐK7qCDk{G1RhkF_rv0 d8YP&]'a* h%PEݪ|!+ f5Xzdn/O$M<]MhmS&(lw 4)"VZR{ڮE=A-g`q5H;jj-nj#X `s*UV?. OA+o<Ҙk 8D":v iDkú9-p%8% &f9 })Ǿ˱X;*v^a+b ~g('5 9AFh^{fUu֔@DM$Blx xӉe% :_~.D,Z~W @8aRN*'rх_:gXM]p08"134/EZܥqp~tLRzS\7lކU&b# z?upkN&^u{1d/1/:k<>k?r}sH;s7lCKs@؛^_po/6]`@~iA}~YW03IWI؈X·v020<p>T{@mTzf.#M-K$F4gkZ DKǀZou TrWl0<"lZ.U^,9)m UV4!J;cḣ UdP-V@a7! =\Ԩ]q7$9&SzuǓXz%O wVU%#}[d2GrNzv5 POsa@" _D)jQ"ڪB"k^"J=S ȮHC/y! wUVi_BZ2DpyRU"5ZpbHK+gf/10inmX%Ω2dxgjt0<e3{_dϰᄆgYZ  ! !L -K% Graph_SaturationGraph_Saturation.GraphRewritingdocument.tex7zXZִF! <2G]A-MՋhvG"uIBm59! .K$vun´*ŨMs"7 3/7]N狆OY {dd:ӶuҌfx+QcpFj=xעGL|۳.u ^1-c&?ck*?t:H({B s>Z^ɴR !jJ>fY{0j%]G fdi~ Ek`80;7кp#.7qaSտDbi")33/iu!zGO-=r#U9R14,+Ś:4?b3L߫u]Rݰu$1TGp'.( ʰM,ku(v"o= څ;InĞ#\ᴠ;fGO~Le*}gT5TN52v[J%ȳ!?6"4szTuL^J4;ѼZEhD3j_Wwԡ0tyίl}h>q&hgc -Y% 4Graph_SaturationGraph_Saturation.LabeledGraphSemanticsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5nN˔El([4 ͞*?4+.Zl64J.xnapB=[d9;]ut9|V!Z %FLL#)l3LI!ߦHm{veJE,@g?T5pѲSB )sh)Wt\?g]shsR1/!DȬ/*mz[Ќ1sSp$LuUXH*C K0R#X4,RAib׭MOGfq@*}sel`Y!w 1Io&@|8S"/p֒Sz 7Zo%$I%P 9Oݾtzk6SYRㄞa9pfoO S3~|a^в M+/[^%M6сŤ9 D^ͼ;g9Pc5lH,GgGܴYݰ lzdd/93HB`9 0ݫը=4K~/(,׹5@#8Z U%āe 0׏]AhGޮ]iQZ0q]wzUԷ^co 2)Xi%B-]/1/ a^=4aH_%,# XB\0e,B$M|FG&z˿ g0"IRW~]b|Y,Qgzp#i0~I9 4Q#VƍDY/VF[ 3#2(b7(ԶnVLhJX7ϦtK_[Miw8M^8 tAfK+\1/(Ɉ'c46vdKz$sfdx 'M Pm-^*4|,eH-a6>ɨ7|iZ"p!/<| jaj/#r iN%2 #q`aק^W[|z׽xUb$D5@> Ѣv|kƆ):ވl)6jM=a-$|]BgT _NcKԝdB2G[+c[(WK+'Alo%aH&H˙IƀOWlƼj>Eq8z0ݣJwpĩn߷W3lisGV߻%c*.,QB k|O[P|1YU [v8u?evPsmq`NeX-L1̝ IҬqs$ho k(M-nesmT%φcLh֠[P{dW2Iok,)YL@Uf?:'a7Ub :v1gE0nKkM?4 .߷3' 4HBv>rΈfCݐ,V?tΝX{T 70P; c. ?4ӶynFV|1 ǘi)9jTo@{v?Fuqgpɀ5ύo4=+L")V-yzrO0Fe[QnuL /Kȗxҡo!i .Xf,&ẁqUg f&<*|P#sM_ MmI1\fs(_2y/4./i/ٮptkVm3IDQ&[ iIxD 6豩mIu#gW:|޼E? G9juN3fPsSKF(SQh%b׆^ 2}5-@~1N;vħX? 6mz-D_R-T72IR,qeWr-ҾT4m|y d~2Xq d ۅoʚ 9}]XcQU 7)XJA&Wݿ$[RJ'M`p@d@kT|P[ Qx<& -N;VkϽm(Qe $ 1py%y1;z[bl-t# K1/j Up1"3|1Z0Oo.ц괘䋬LWh6}]w/^BwHa2YjgJJ8jwΪ(K [TI/gux\>%XRsۦVsq0 -^ӗ3qIN;F5l8aKSE #AQr^uy}z5"eN8.gXЀYyg"Wy0.=O~1N"cX1BDD# :0}m}Z"w֮=Eg!9 =LŨ5<_ QأbC ٌ͜m62\T8JE^"nA*Rψ)Ӈ@|=&vo4þu'{)WɪrӣweIgMzATmU5["(If"GLGYRw{#)YmK6 |[xq>C;^{#J\{J#_W ZV\xc9$xH:4tym`7)s1-Z wxK['F `iad ꆌytÊfiKydܘtJvpH 4y<&fG#ęYy 5K*ei`o!dfi;R(!NZ[Nǧ |\^W#V~7z$$N^|[X/2{-8V7ME2!x0ct-Eۦ^3Fz6@o5b)d;RY IX&@Y˦4;34)B}k+;Wp;5#h㧉 Dԫ,Ҡz&6,X@' |+Z%e {P?D+י;5Jfy,8Xݠ BF(o|yĪ91p]B~?$ 24"${z1&z7qBX oҟOLΊ||@Ҭ0{*&ީ\ 4xM]?Tʬ _ޣD3jsP'Em͘ C7HE~pwb#]o UdjF<]Cf,!fswh!˓?0bdj15=8W[saᓈn?9F՗ }@-CQEWk4nq<~ňW YEی\/T2(B/BRToM ʿfco4wWV*5&nlR=)ݵC0(en@zV_s@MNّ/Ҝ8%]aʃ N,3SC(@}($QwOqq겁T5ngAͅIGS)EAٔ>o_(9!Yϴ彑2xφV:RAvMlK?sW?,"vP$ L0ϙ^!= 1^N$ caF?)2٥3݆OmLO*/нacs ߑ71(Po?axG=}/KK*էًW;C& !S8OwS.5lZFbKehpUJ;~J)3#K0Rvu7eOvb*֨԰_WM)aH&Ww$ b|wU].2QTÑBv3AU@%~}!x űwQre:+Nqpll}O_.S*~j9p٤^b;Al+W`2 @`\BdFcNp_b#v;?/"vF ]Z/(QRBLfrX/Bj *"9rz„,1šlS WNiM,Nm(=d+qՙ!R.]κׄ適?,ۘwMC)CݬwH$) ,r5;nA h'OjFb.^Lk5G 88rH.iJ1`ϩdnup%hOkclNq" wL,KL2u4oXm_IPM\/Ok) 55_~iһ cI ;Jj%c6F8S2Ym$yG StFVܧ c؃0bt@eK #5!0:XW:J2zH= $c3T[/IX^d$i&v-bkKa쀼p52R糄>Ƈ2gOK#9N|of+4qS c{D51OWۏ?&V[OIҜօ`Z) D(;ƥ"ǝY OB5Gg|*i-Qd=0E8/͔AQAYyyov蘹ݚIE= @vsS5%QIk HTA`pY)i5Գ$ce2q2A{5p{%[2 {U+p:!%B$W\iJmIE'pY=~Ge&v+.bðj:CΆZF[&DJ۹lO|U2מTDoeG"!.'httx?7Y"G@j[ve&sךarFGE|i\NSE;2༹Õ-KG78\KwT8&fM RnH=LĠS9s\q[@`&X_% , δ'!\S2?NbƳiO&>|O)G*Co`,=x\QFBj!lw,}!ÑƓ(,|.\ mD=QCH.~A}UG>P'}>¹*aK6db[t1PB~EA1FQr CQx7CNU|;ok_e46T_r/v`Kh@w ث>e$1!cz8%|{J ~d-"gQ}d>MP#T%'Ms$RG8J6Jrd=Z}r,gCʡ19>B\;ܐiȃ&Pq{\KyٗG1[Eh〾)ؗa6~_+N%kB&3ujҔsU#Ak& U HԂt:4GkV[TNQ5[ۖ"tReY"O-čP +'~H.Ͷ" D N"jbv+Z⢎=ⴟlK`j8 :fpQ8 XN_!;PDNqɺQ]t]mldC5Y+`;~!g}qRе7K2V'U=q䜼F{Qu775QZsU̠?Jpqr'xJ1Qa+0q1$HrmYCz?:hwdL]22:6ӝ81.mcau/] =&ŷpMӜxijfqڊՃJY#+,յɹc fbI7_2XC#*w5_3? }Q\7 GNrSm5DO,~KևWar54Ey[$eL)Yٓ6sT\Xpdԫ'vKA4cVűœgGTo~g$+q_:"VvKfas)a!}!{DN31Hox*:*MxM~Bw!,80?G>ϧuoނSU~%(້Y?;Y Ξ1jd0TI+>1!X TPE-0ΠvCr{"5a+>d[USehȭm㼗d)xD\ ˘J,?]y^3̂7b ev'"*kJ) ښHqT}AhjKjXW2GXR/6K'H4|#"a rԥʭh2tT$ 8=?,R ʱs0v16jnU8B;Tmcn}tW{R4s=!V: bSǕ ]\AmFȧ{*Pqf $m "DY5hOB3u5=mcŖWE_7jt(̇7&0pK9FYDiUd8&9}e=LK\\\#`P`RETΡĤ"eD{H5cx_\?/A`ok%4nwxNVSϾqiؘ[ֺrf o_ *{E>tI D,lZU`>C[_N8v|X.$V=YգB)aIۚ3tmA%`zScQ%`G{F|Qy 5<@t!qe]N;n,eL=[ا4D:;rn1i#F0wcѓ46L3!d~:1ya5U7ϐ2s&փ5/w=LD8syZY$QNN_d7|]z|#C B q+q4Wg^X# ʃK^bvrYjw2C%=AiБT%(VXb/\x$=D;Ď4Ϩ}~]y$%v֗2Խ+wFpo=UB%Sxi__"/E)e pz0X㐜o1ܨsv !!U,N~ٮUhq # l.3EpӬb/v⹭FN^䛌9=rYK4y';=ږY4d;+e Y$(;[Ma0a ̖Gkw/xh&q# Tdn̲6rϫ'PjhNiy ҩk]c*M+y>.wƲıkV:R _+E2j\VdMOT< %8ޱ "2sZ9]<4zp|6_R 4pR=/Nxqt}~Oli8Hn̈́ 3¹[Ӆ֩YwvECԼ*7ʯw1DMB3r!!pZ 5C錙ڎ9k*waN;y[ᾜ7Yzt9AXrqb#01h$J(wA뿋(exbL:8 WIuF+E-?:1$9[Vx|/l:D%na&KLHуw}r$ߩz`҇ WT%ݴŘ r\mPZھok(oԿ4q"f2ɘk>h,sZ}3hY񱨐7U7;L{˿SKm0ܢdE{62ˁ b&wo_r֖lq}[H-TyQ] >cvz^LԨdLXɍᖯt.n/m(*#\#nÅ7T(Ww{sPEcN# !iǧj/Σ whC LqGoW9T6WL:L#H\=! qdK+Yۣrqminݿ8Gn꠻.#1$6yV2\U&E*6 ~ +*H*og8 S摩&PD(O+nw?ΔL?مX œT-o|]FGm>xy|M؆@ 6!" vbQ%ou?htu qo`>pfy3QUYR1Tv'{hߏ=kKP݂},Y ?;7ShXUTYE_R1%VK]%o-gTր)zS+Fw鉦:]^P:Y(LtCځĺ+>˦*k >! ]Ij2gbI7 Έ6Ǿ|mNINU6*3^IpJ!q5Z8M٠x [Jc,cwo>?V5Ngxm= f,Xdg1Ql-*0ZG8/l4U@TFp2_Q&üZ0{S#ʗO C07)ĮSlݨ%X#klq}3>cӕ"aǟbuu"V ,ɿ|dQ}0CJ,`&:_eG`zLkpDp՞\)ת6JqPIBc瑠CQr4\lìNCMs>5}LE&l4 gZF9Bt)fz TN(( !7Wٮ:CF@sO'c4HCM8yqEwу@^qa% Tؖ)JW|\:>,a?ˆL)YGޛjX,j#|'*(ObA x8J"?s[rabg_\B hL[/MDlK`T{*HЈr~>0T ֟v)TYl!J03W+{ZQ`De~csx\{u&1Mmo+!QQK% v1\$"ɠX:rbR~`)HL|*Jʷ/Er#΅Ө'\zyƾ܏٩bi^5-P&vEJLhʛj2\tthD_m5)Z]ѕgǥ/ q& W:#U\DUsD@sDufƟz^\W[}l\rVȿvl[7Qʜ-BA2d̗^GxZ9Z9# ?V?(w/ZI')׿ (vv>b\pԋwj6e ؟8roƋ~U(i W- /9V\Lt/#_ni}W=Ci 2R' |^«#* YJY3 -I% lGraph_SaturationGraph_Saturation.StandardRulesdocument.tex7zXZִF! `@0]A-MՋhvG"uIBm5ȩ$ɅO rk'Gh 3@Z1ޞ<+J[S,pM[4!J|E;բ2`R'^bԺмr?E?+LJ "ĸ3FW6OQam-ys ۧ nڻB!F:ZGo3-K% lGraph_SaturationGraph_Saturation.StandardModelsdocument.tex7zXZִF! 9.]A-MՋhvG"uIBm5ȩ< ]e, 銷^Z$vȧ`Be0_p.(˕{$~#2%=8EvD2Jl+!e#`99'|#@QßNukn(1H[3ڣz.' NHGa|v\9'H-Z_/ma 3MvhG,ߘ|nxZ9I{iPK{Jn9KNY.S_f^F 0X^ K_ZA=vȪ ZJ;BmQ͠.ߘ_oD%R0jɴPZ8{#6Nxt^eT89 4WRo$>ƥkv [^MDYsCj?mI,@n`uA"dݧ&ޣ5^?G -ӊ'8ul* 4=LP<:&ޙrwgϩT8DF `|3d-'R+I|˫B4Li ]o؂V4(tw#Q}(b|9Q|w qt,hXřhL&!ޘVdo]sX'q<?6L@L}b*= k3-޺~pM=7bJ}9H_VOmPt~:`b7V:#戧GN"`<I 2uýk^B?"ʴWZs0 u\'#@syF&iF[+VZLePw(KPj Wi 0}FkFDN0$:9P7T,~eqmW \ 뜞cى.mf7S9џCԴ9J ab]n{ni s ;:q= 鴏\_'FjCb[,\ d/ J̐mVtN|v=aNi<sIT榊'!)Pl b`,bD&XiDˋv^}ō84G!IJa}$GV < J(0QvsXgYZ(eX7G."kiiMTW7Yk^ ZͲ/fx+\w OC'+l窦GUdJl3V)5mV۝IZ3zEtBV5F;ݲ9a/LQ;0iNa}Q_ ጑p2O8|SATJ[M29jSJ= Ap `ߧ9,$SUZsLpQ:eL"!t<2r0tEjJ%3GLyC3m`SybzWao̵;J]s8$%h.*q/"'ŁӹL ϸV$# <ߴ(LvHi3|8IݮK[Hעr]P.i$w~3"³Lkp$׋Z)"^XcmG?\.)G-|}:|nā#U0[ꂋ.4D iY*Y_ ɍTB>SEc,&[w| }9 B Iy"2W_^L 9D9)g Eio)(BqMzVӖ߄sCRy$`zޙ&{MA &R!YxBiV.m-q aFDP(" ƀr=&Ӑ! .q#D̾Pν s="WqL~(oUyق(}VRƵ5E~FE$Gz7+Lk!kŇ@bw&+)F۩zfRW'3J˲bT櫖M|]Qf#ޡQ1%FD{D:L]l)ԊGۗ krx2 -h` y)9zDO G>KE\^1s/tBr͖ όF(aAJ6j;ˢBrFOA ɀڲ޶|rM̾;*FγcGfDW% Uڎ3(xA)CZ%aͯ'U>[8 A_ |qjM{x9~ٗG- (%+N̺Z)9]dK- R1Z8=⴪0KjyAv0>wB4NB\xls4]_S\! ~i{dwI)U&5B=DHGҾ s TYC;9eP딓h(cȳѦpS|SvT qPl|1S[=8Q*M ®%,-; Kn]TѯF6m&;A&Hÿ29 r*MD- ü4lS}Ø_IboqD7(wZvix_Ҍ,{㉏C`g.2- Hk]K 3/1JE'Z/oS?\]` zkZ΋qYFy"+󤒾Χ90Fvk^6f'"$ULMVʚhZcoGjVp0㡡2^0:;fLae0Z LɻRGf<-o ]4i'`pss>rola#X|Yci_F1ܼJ()~ٌ[Ŏ4eﱆ  G{o%.)hu,'跾Y{ۀ)S>1`ZL#<Q~R"z@rE(\+`z:G4h)9''hbG~9$v@jjc%F"wbHecG]()Y<!9ЏqC #eˊ)9ⓈP[Z>E2nMQPSr+p;ϟ}&j9gvYmРauit/4?4_mYyIңc{&]\+iik9'dWqAJo.J!d^A+Ɵ"YFN>zCp3;ܣ%:o'& ))N髶Tukτqآ_uM%QSlvY;!+S!$; 1ESzUz:mYsU۷M;UŞG!G&>)Q$ye|R Jb)hsj9*kt|AH76tz^NjԂP۞Rd7O//ųYjkycZ&^窰Z6 녽IԲx*cN;qcǎ ]kVk^s'm|6]L;3>L>`1 O+-U;5ZC.D37~Z'Bppj(ccG7XAe`nI>Buں6 I͗K݅EwS!X1+U N#"]v185Fq;/30Ͽ<.X` "N_;t6YP_ z ?]dw ZABs~RRz<"V60AO:5koNzk՞:rU@P%ZSw?3pW/b~@_?]^QSZ!>&hzrԆ8J!ΐ ݆O dDXfrt᝸(xu'_>N_Uf>\w<Ŝr g.u^dj\ Sar_囗2AjUM \bZ"mAOǜInGΕՅ0U0^"~=I'so˿F_GU}3qX1_q' 0ǧ$,>Oq7rVТ5U!AtGvŕ}tϴrt 'y1~8}˧aRG ]fʱMHgN^UK n][UGanSALxrBNRd;vṟ<,z&j+;ĿYPHL[ C83X4(ޜA5\26n'!8ʮ7iY8uٗ8~FxWe %>AYTx7+Yg΢{V*1 LI޺^80ՏTKm fVCUKmDLCB {Nt&7\Y1yXʎ:(~Q`6i2o~6랕!)aYݍެJ%X[ϻ }%$[4&ofVM,+c$Rƅïl~^"3D꽱 UupC$ؾ6}K$n|I~2r ?Ƹjg^)wJ'O|cT< )̎z8_[?D˃ªZq7ࢃˑRff sE-`#i}f8P#$Ev=?.&h6>o̠܅5OJٮlҀĖO?9l=-m[G-%{K宐\fm\x]);;¹M4&R&|F_0<5mTGq) 2V9N̈K'P.w u0fp_Ϧ>023!t~/8`mjgXΨ 2y m<\rǀW?]u׵U;5'4B*9(w!SgpZކ&u˚T!\ ,hF'؃"歑f,BD_+Km|&B# CtG3DIyXݴz} E6g$?\ _ {<wd47\7P+pݝ=iXGE ۇSFV*>UO#!qfxx#P.G4֧tf;+hlwc6%餜͚Y39:a(-2/p^@3du6 T&@6azLN=⍰|Eg`)]Oݸ>WpKs x3qq)UH*&!cHKĸ69#pU3;"MV(9'j: _(RyB ӭR5*nw`0’SPj{E[13?^)ōuI2T^j/y@5D:3=$#ʱZCޖ^i(}c5Qhv|܎qC]Wx4ٓA]RmA/$1 EcxBðk &$v*Ų"<%i2TyE͵:7V=  S\F,/:7O ' x"]4*|'d>B ;p0x3C8QȯrhJ VIoaF4^\oJT6 󑞚ւ񏨕 OC$Eq07έR a# Exr~ ds Cd0@ TYL ) ?]Pj12ݏlW@׈c{hىB"tmf)HwGif7e{ -!>SAɢPI S ~}g.V2mp2fן$U -n?B`oef?A5f#mr?\榒Lޗ9(TwI d9W~4;_E3oڷfO9e0p ErK";TG /ή$VmgheYF !V8xb#p;q7* N_,7͙Feݎ&1ԫв~Z¢QUӹ(8R'nf M2 R9rmN;5.5L9,$2m` }tZqҍ׊\Ġ@W޵ O`M@Jւ3QE^wg;F1o<48v{W=^HHnyOtfƬ=W56@NBy= ;kvY1}*K{"#C0$y5`ZR5ήp,q.\j%K@md !Ecks CRIY5Qe_7h߄##j΄'c ux1i8Rf-X<; yoj~n^۾VWBv:xdٰjd%h s\˺GʬH$1$7HnsA-I~d74t~`B}jƆ_ӊNR4/룴kTp淺KuXۅE,-nxr,Ն Ԩ›a?66tPAoBf{h2d|]f mXKܧxc|FX)y"";`K*+fd_A75.4El@n$q1C4`^n^4 9S0"OC:n;p07| a-V3G^qŬ>5)ܐAZsM-4. M1ß;Hf6ЀK_4|؋+B_Cp`p[lKx 2`H,:Wi)"TUrqZlޮ/7Zi4bOdcs)ѡlYu*FxB'97wspwLn^VIe62b?ޝEu ].+]puϗQt 9hs4 SIB1o"yυJT<Y\ĞVʗa#Nd D[ƅa{CuBWmP9H x ijS 77^ڔdz _c XRNEP9Own&.QKX^+`fZ] @C끱8c$?"0km2xFR2^Oqy"ީAz oVGN=KJz:|SORl30v _$trsfz4>~A Q@~,e@j[O O h;\2k~G˿[M$٘!Q8kqavH3~ɟ<ǝ n#B- i 5╼R߉( 5(GQA;#-l"A3!S/_Giʚ#\ Ȇ1yͧ֔"oY4P4Î\>zzit dȕ~/3H y8OLxx r)hJ+w3YY$B(Q3:-&2ƝE̪OO禥V!/̮ʸbvJ8I Z܇s,z?)\H;r꬘zI}UAC6o 4"u)h7ۋs°nlo_{ (~%@ѮP4G<}!(I~rMlE7ezZ$8fHB(.6~qje{O"% /Y L~WGAٕjP~|5py,e#BS0f2Gc=6j=io!UzjqnvN`p JJ{z<4'B_3kDEJJeV'uv.ZFd%z sF2ϼe:I2dپ= w&ɬLá\\C]K"ޥL\OJOF—l9e"<)N2g,f 4TQݗNEṃ0CRXOtH՗o u2@ip@Afaϐ %<4Pu!^O;bJc#kTD*lR!8#Gⓗي.8FQ㺱W{ڊ&O嬈K"5,2wg˟Z6r.^Oqu#E1hpM4}W2'JX+E16[kW+P9ѲQOĎ)n"+#o4j_87 N>)ABuK9)خbEnlpdXF1̴uؘ+Iڻ_M]8#lH9҄tQ{9>Q{ah5=#;<r):*""eS c}-贮"wCY[ whvϕcv )uQihGu)Zg,WZ9ڗ *.1 HwH_/t)q[_!5K3ĭ-YAjK6-h?AOc:pnŚ@,&WN7Z` U3 {cO16xWLuvO_,cd1gEK0$QU'gˠeWT^n kYsk46?x}& 3*ci?3rhdFi+<|2 ÛQG1OKCQe.MG6 nW~Tnf*>ruj-;1Z~Sq=+ܕzGjʕ ^~A>w:.G7u-:r4>a;*'`o5mj+t!JbhlosRF&YiWc+hK9tFY%K*Fhn^e6i`P3FR_0 OePMˏҊ/j])~m M#eW }ƍI/g!?MN$33 7*B&> 6H'Oȁs(׌}adAs|mjfh0BKX074R 0gCu;%|I'?T-iǼ-L~6v'GVƐOÞ.4<ΊF y~&ɚ)Deh).ͤe6e5[u(RMS tQȥT@Z0:yK$rd˜3G|A.}dμ /(k, yȟρ)c`gF9}Co'eiMo?@ѐ 8 |U!p IYzREnZ637Я,R,1)r+G_qY6]S.]E9O\)2K -_̀ SбgYZE;LĞW?@Пy='~fɀG:7 <*0PthPM_QjEh#f?0zS9da.T$ 7pX(f F|?ۀz ))%R$%vr&P==9zƤ!Zk&ya]/7ٸA`HfHH<-yDA`M@6.j=d~p!aLԳK+Og7 %%wbgP YދARCjϚj;_*98KjnY #ƙ~xTyQ6och~JxDU7N&14]3C}u*g|.o,䄺Y=Ã{iD3*|ғ+,ϣ MIVjmB#O5G* YI&x)4Hѯ E.z/A%k@+*Rb]=3)Z:`9?k7z`VO=il7!Cu!C?sK!;u! 5 CnwcX)׀gΡv/]j?'~~Պ=2]k,Bo_)wUx !}aҩFxPӟ5*:sć\DunUhɝ|Vԫ5‰stR=q^0~o9'dl!) ҿB{Q0K߇T%G$2!vI BL%B Ȟ*+i~STP2ĽÖ*&'|1!i0 tHnC8a u[arlRlZ}ێӳRoh*ϋt.O||XFRqdžAy$XOptזZ;lկŭN٧su"2UKe(t ч :#ޘ!sL @ 5%CWtt΂|HGq=(*h-ccm&Mck(bh98֘>cuM 8~x7Ur!)zӭ)r H9YՐTKK-I-VLi $f)83 Egip)zo?Odt,~GXg1rbOu:_xh(C),<.od3I)#IP'kpU*`O;+fF)YHQggL+rqθ?ݞɼ_gwL@.93S+  S(VܱQ'(oY]6-JK2vI8FN!C1ѝ(L#UetƟ@Oc,<<0r :dXWSF6 Bq4ox6UNd2n? g nFZw~e]8sR puL^j2xmɦL[qMț`9owFn~A$er7Fr?AY>j' A*8t~ɘ'Lk(Tޅڻ>lDAdwGUZ6$mи7fqZ t7_$%*jMeH<9GB@-T85"~A5=f][2@ *QA,^c)q+8-) NR{NIϕ=>Tt$մ;c"cқ܁Jm<&o0 zŪ`/?Z4 pQ!,yΡY`p $SϠ3Jmlݷ]2x+ 20Âԙ2RWMx }ݰJ/-ڹ$-pZ99" {,cgYZ  m m-U% Graph_SaturationGraph_Saturation.CombinedCorrectnessdocument.tex7zXZִF! ]A-MՋhvG"uIBm5X(sWhPY61"f(G4C+bK8zg8xAmGR tl"·O0!v2'^UQVʭh| PƻC#*KqGq3{=CwMD7^*JKFav]s9tZVN?ʛϴ <ƭ(Odn!@x+qوUD'4ek x*(I\|K}{.A [aiY*6.ٗpd$Z+#Nn6{zhM62e֫7klJ}iRE!;Lu#uh\Qmj9JBU5/R* {Өt'9}.m Oެ v[95xOA>HQ(W/2pqۢZ>>.}U}F_ 8lMqUM*Ulkɵoڰns?+;2(%KMY,H-#:$\+ZcmS@l{lغZVm\\IF8UeK͂Pf)1vX=9ėjoJ4,G7f2ܱ37z:>zcwTwEXsu"A!s1@I@53 7l/{28REi)N+}hU Lk>J|SFO8N ̾`;%xԌk*Q}}QE|yD^?zC3RzioV_ βSrnt g5^ ] U" Cb.܄hu&%Jjr<88&'=ts\h8,/ۤI9pbᾝ:6U S^vgࢍ7ǓRoJjBi]<Mg9mUʹoܱ݋d{>zI E9{/ntZ!7xSt33IvG̒Vz5Q}((>h{j*Ledmx$p+<%xXh0-L#,u`eO NnbfCѻ{ONF z+LR uPto,״A%#krJ4 oLB]&ĭ%*cި+v m_ n:$ij$l|= FF=;=7gY3$wa*fIki E^ep 2nzn߉|<"S!S`+R!PvB7jk 2Rf ɠ'nx"ȸ] 9c<WVۡ?c0~u)C"A LqȾ[ F LLx{ J63 F#S"hkbsUp+iLH01-[hn1d8.lkBKݘ} Ĭ%XVBː ý\k_][X8Cr\cg;+&$GH!AQ}wEm&i^x@\_c-vf9Ϋ^@fSs|mRISxe@7.|:)hB\j_Fiq_4'n@Fa?}ԪBwKS hY>iwG:NM-9A`Np9Qc?\_P(?. pC]'%M)ac[PF0ǒՁ|Q=.d&}1Ho72>&Z& ꎥ3c:p)i,1HJxʁcjCđZkڠL:͆] ?^(d>[W-=~V)6}rdу].87լٯa9q,[<,䭽uW 2]]4 nƧ@5 DɜоK @Uv<*#f4W7kiAк;%%sϡdB h.ȫx8.إpU8Z]VLޔ&Ƅ-cʢ:8,~XfLJNX! oj Ke(@Y}Xa+>ql \֗re =e_~9WS`q̞~k[yݍ;`s5*" -fX퍱 FlObN(`P7ܛ+T@)D^1FIf' > Q32 Ktrc$|.EHc`֧p,:Of8&M &gC#@5)"Fh5,,?kG $-R>6&B%e?45\ب$` (cTMKRAlXE+~Z~Ӟ5jÞ/UPiܕB 5)2`TIZto&bh"B{;Iܥ4zx@LI9]u^|EK)\?De%SԿߝqOHm>o#oϮ>k%ω֗NK)^fzJ1IJvme6pћ04$h%k:;b!eh?j;^ٴ;(&8 )ޡOFe!|yF! Ξ.iqZS $)c@*b.$D7֓pH㗽's[M*&q/jЕn󺾷?XpH@<6IFhvRkmFEo櫱^?csJJgYr-'W˸r "D²s'2PߵKU5P]_ݖFs#M9X bV[$کskzű*߳ᒏ)q1tV{ ;~ҽ[ic%HH3 1:-f`3 osHCI.b0 3 nEbc)nvmpN%WQH[y6H2`wd},r>-e- oS7!t J%D>[(b`B\'0T밊YocIoM z2i(Q\>Ź#>QfQTV&a{Wo>[& =p:D R>Ӌ#~>*_s f80dՋh /Fwzgw?`>XIbnG,ѦgjGY79p%3danx?9e!(cϫzJ8[û6"8lFC*$v쮦Ld߇5ˤKyDpv; QC/b\CHVe9R)`D+-rU4_3`Zs߼RM#pXP2X<^S.o<2y s,^E pzdsiuz\.ǴOIX/o8dPGCb@:*ˈz¹dkʷ)BrPd,h ӻ. )ޗ~?O j~`XS"Hk%)!xPȎև,XÛnlפ[Q2:q @-$s}d]'6퇕WjU!DC yQ5C ;аjhɳѷ*dzH=;^"nLlϣ9QgN.8gMV.gq/8d\t}} c[hjCj_O<$uB3eaB'_+7A0vn& I?UPG#\&¥tm'<4\|h(ҁ2gYnOھ== >O02dÒ,[La2t98͇bPo MTGZi[Wkgm4~Zmr+ȱgYZfc28d64def79f91b1fd57c51453a3b979d6d743ec3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171