%PDF-1.4 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Refining the Left Rule for Implication) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (Asynchronous Decomposition) endobj 17 0 obj << /S /GoTo /D [18 0 R /Fit ] >> endobj 20 0 obj << /Length 1789 /Filter /FlateDecode >> stream xڅXKFQbu^F=&M@=$9Z,z䐒e[M55#r%Oq*&$ VOd&8MX/ln,OjcUi-\:S&26BdӻDd+ +eXڮ&/]KF%"eS>$&N$[2efA95]ٗM*y<|e+Гj -kћvmg}T;F,dYPu7uvTNI! J$,!FEl}K=9άI@V$`1D()~("(.V8MM Fekb#L庞WypѕOuEUeޟBpuTM{vA^[m**ShYUD:,N´7$!F*F "dL|Z3XcRaL1KHaf~uQ\E>)7/ PR^8TO(j:6.fcͩ6>*.Z>|9qyB /#f{t/KWZ7,e1~q5. !-c*4uƩg+<,iqpρ~nuxX,|>,]vcQGY`yGfOUӜ.n_| Q0ODaY:z=Rf@+!*Ϧ9(=fC:ӈ5>cC3<K,osԼڇ\/PU/Dv>^:,4 8EBOy>ͺĿL]RuH5 ]SYknCw2zߚ16&)drus.ҕrQܻQiZKG*i-06C!?{vGhNRij!칐@AG[>=GPH mBRb}UmPuDo;(Ŕ$zG+( 8O/L9jfoF1f$5J3͒gƍ4h)PbHF`d$̣ G]CGAr*O>^r嗗ۡ +r` FĿ,нb(W>(YCv~d^ZJ $ XB\Ǐ'uR„h]ꏨpzHʃ!p㎡