SQLite format 3@ "N".;  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  5;v\|D ]w Partial_Order_Reduction:threads=4elapsed=42.584cpu=153.496gc=7.1887zXZִF! UC]ŗXiɟ,ra@Oj z*+5D ٮ%@+ڷ)x}w-aOoOSw});}H(0+KauS;ML}Ρ>>o4 ѻ#ai|s?s ;-LE8y~C̪KH}i21vAxDwF@5Jfg3pq?޵U/& G n9\?.{jn pN_:jʒ厽mxGʹyxsnX0Nt2\T+(,%dWO<;C,1Dvg0!7@!Հ(+gxy4#A[n9]1d ow +jipCўzX[J -BJfҜbh(8ÝcSNǣ0"mB[&mV 11l$^Z:lC>T&~BnhVA4"b&}Ǥ 7(Sh :uKâYꋖ>FE%1)!nx |Z" X H4yG7ГwJS ɕ(d{OΠidE}Kɦ@֍! vn/-ψ~ ͎T7|Q4%r}>ݭ6(YS0hAFedY)J3pM\cƠ@rGqהtZ_%r7D9- pND?J)H1ŦCM"5z Ryd:ڬ7) NF=O*)"Ƭro}rYj4vTJ_G~9H*sU@R#5;#y׳Mcy+H!1v ˶Xq BҰS?2[;RdCtQvyG+\;~I,9n#J\XiLbY{[oS$yA9(.:3k-Cx' ;|naObD0 ,$ѹi(0u͑R2UxW6`,J[uײc 8hɷg3 M9]8KfWTXm~]e1?~0,JwU+h= +Rh@!"}DB7`n­HB wǬ(&ex`(WC4Q\dUfxx@ .KhLǼ_T;ְO B=LE][_z~Pp`,Z'Kʰ0o;65y*SMs:'20)2FY/sed۴{5-?E d(?JmFJ3s߭ ÇY Bb[|ΘJ_]^0qVER8Ό;X8"(SRx!P5! ea)v:5D[뮇r@%0gwFx>YK&Kq_s"8B8?iYMh)M^ㅰ罴QtH'Ӆͭ`@Hʠ+ILi!]_k!h}@>jIrNݎVs^2i 9=£;;3k3DGu|;d;MenTIm+Z C ӰA а1nD ͭyt}p?*9ؚ8Ԥ ;fMCbJ`uÅjɉXc&w"|uA롤ExDx{pY `$"jgiF߳Vw7x0ۀd'&?xBvPbK@J*^q0#1J$$^|d7I&{GF.%2Q 7 w=|XF+=2~VyHt9E$c $]JnrB"^i"O3?@#E/PNZYotzuaPwХK"9wqS̸l\kNЏ:b3A62>BHx,§ڐ ゗t|#_( ٺ^ha#{b)]Z;%>PDnK-:R*;;FMyV,Û:H Դy#KH:9!876543210.*#    " T k   ,= M o } T 0 ~C +E;E%Partial_Order_ReductionCoinductive.Coinductive_Listdocument.tex"C;A%Partial_Order_ReductionHOL-Library.Case_Converterdocument.tex!P;[%Partial_Order_ReductionPartial_Order_Reduction.ENat_Extensionsdocument.tex D;C%Partial_Order_ReductionHOL-Library.Simps_Case_Convdocument.texH;K%Partial_Order_ReductionPartial_Order_Reduction.Formuladocument.texN;W%Partial_Order_ReductionPartial_Order_Reduction.List_Prefixesdocument.texC;A%Partial_Order_ReductionHOL-Library.Lattice_Syntaxdocument.texR;_%Partial_Order_ReductionPartial_Order_Reduction.Ample_Correctnessdocument.texJ;O%Partial_Order_ReductionPartial_Order_Reduction.Functionsdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.LList_Prefixesdocument.texA;=%Partial_Order_ReductionHOL-Library.Prefix_Orderdocument.texP;[%Partial_Order_ReductionPartial_Order_Reduction.List_Extensionsdocument.texY;m%Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Tracesdocument.texT;c%Partial_Order_ReductionPartial_Order_Reduction.Relation_Extensionsdocument.texL;S%Partial_Order_ReductionCoinductive.Coinductive_List_Prefixdocument.texP;[%Partial_Order_ReductionPartial_Order_Reduction.CCPO_Extensionsdocument.tex];u%Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Extensionsdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.Ample_Analysisdocument.texR;_%Partial_Order_ReductionStuttering_Equivalence.StutterEquivalencedocument.texN;W%Partial_Order_ReductionPartial_Order_Reduction.Word_Prefixesdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.Set_Extensionsdocument.texQ;]%Partial_Order_ReductionPartial_Order_Reduction.Basic_Extensionsdocument.tex K;Q%Partial_Order_ReductionPartial_Order_Reduction.Stutteringdocument.tex P;[%Partial_Order_ReductionPartial_Order_Reduction.ESet_Extensionsdocument.tex G;I%Partial_Order_ReductionCoinductive.Coinductive_Streamdocument.tex f;%Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Interpreted_Tracesdocument.tex H;K%Partial_Order_ReductionStuttering_Equivalence.Samplersdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.Ample_Abstractdocument.texD;C%Partial_Order_ReductionCoinductive.Coinductive_Natdocument.tex\;s%Partial_Order_ReductionPartial_Order_Reduction.Coinductive_List_Extensionsdocument.texL;S%Partial_Order_ReductionHOL-Library.Complete_Partial_Order2document.texD;C%Partial_Order_ReductionStuttering_Equivalence.PLTLdocument.texG;I%Partial_Order_ReductionPartial_Order_Reduction.Tracesdocument.tex/;% Partial_Order_ReductionLTL.LTLdocument.textbRRse_~ {KJ#S˂5^ xl9>G&`H HC06J45OR |Gذ\,A3T`ՀKWN~UƖχxO3%Yz4̓} Evh+rn'hvFIĆKOV٬xqS,ig}.6ĨThŶ3P2[r4~)<ˀ؂'`vkkW!X$ iʶ.*H0}OjcHEvy  &-R͈РZZkM!$cBk I.4a!^rםW0  3h~d4RԮ~!BA'%9d->49E`b(UXs{Vmw@'=<)42;z# @O'e&}<\*4PQ͛zjr¿jFLYĞU !|2 Q\Ϫkuxڨ P<}ߡZ\7 di$fG#ً ,"ړSFl1bUTc8UuO yy<[),m  J?+5v(t9 DlC5t=0pt“hMA; #TEcB2VLkfq_  KuI;^&X~2Lyߪi[fփ[§ 02&y)@`XBchc p uwVyBOi. 4\N`rzK}ɟx 9t#^0^`w,1ϫ}-,5Ѱq"}wK`(/a*-/H%3* 7Iڼ̺b@YjU;]zaJXJ7AѳAŨFE!oC~Dj7P'M?;zDAfapb_rm@U3GOvAz)RQr!f^[Eu(֍EqzSBS"XiLwR8 W. ))8rLf鬭f95[dzf4*ЛЅՅ=:ӳ1fȮA3!/CnCeŝr9#h^p0mX`e8]ti;S]hCo`LT`_ A$YnueDhu[/,b(xi˃t2#c,x;PȯYI% c@a:)yS3_ӨQP\}<=VA쐥Gɖwg x+[aQitѡA{NkOEOK9֗|O8"[ ԠƄb X އ޻DOТ$ $1<֌H!eR[n-J%mLiW=^t;p{ꩍYn"Tnt+7 3I QCΉ.m#=9E&v ~g"7e N|yB:=pRh8{3FrDid x$o2h!'Jܒ؃!.j˃s;[4Ǣt#Hsٵv< ww*|VFY T` OxC~@nya%PM.pcbi̞㦦԰)@`FxɄd쁴MNjbߚЃݼ&F3qQ߿HESe$ 9Fa)q+#/g(>TA^מqFP3JdxauX:zhs@L8d`bpx &ēo.AdBSGGl4}w@tb_~'iJ[\٨NgOvИMG@J~QNVV+2]NS^Ч&$#au$XhsR| ST X"ށxV: =5Bpro/W5#JұrnLXMziQyk3rQ՚2p fMwO| BoKi7?i8z{.YVx03r@aJHm`ox)$X#Ț$MsENp*eA? dX@,~f3g96۔}o`%4SxF V,ESe {*]i 0^ {648@&abJr&Jv̨i4gApƲmg[rWk?HtMSdLڂH{ֺ\ˌ} ZzB-1kW$U.ŒDF]\ljwnbpXlm J9@ʝ<4S=b74b?m*+uYVj߈ C-0%Ix{Xޡ<QaУ4_dg8=zyMoceԶ" )qd< 44Ks2GD?e2HԵ?xRUs* D@: o'D@hP)2K\[ ;Ck4Ar{*](?YYrVY %y&VJ9@iH 22u3| =tl]~|ʽ%ȴ,ؚqP8Q0L_  UxgP!Z%{Pf)Au~3ЎAEPhJ::v5\7|m_CWD9tGG72vb#0ȕZ//*wnjՄWqc^qҲnb"-|A1&m-mP'5J0+t~I\- 94Ӂ ]FTXq݄L:S(j*NM3x[ËOFm5S|f۾A^s[+q?iܼQ Mm)3ϝ1>NJr'aZ!0MA&b<ih/1Ck2Ƥ-ճY+aiOpL+ZԋB=Xew2sI=6aqyP^)Fm^l\(-, +" 8iB9!9O+}RV-gzʮ?HM@(OZ`5ܘ&RF•O?9\/ n  %d4.&THP'a@ $A[/ dU|A ^ōBq |qV,y,46- #АRD+۷tжс0 s,QhID lVtm|+B<0+x[*M+/Et3 Y-c@K̜G\Ba6P' ^~Sz줪Zս 䀼ONPgWxCl'UGWlHF)~Nv{$=X`C.ӋWlsjH .^J8Q8Yқ(FƗ$J7uM)0ȫ2!+Y#K> ;<`Y5 ^tO`9Y+4rszloESwjX>Qex;>g0Yݠ{ qNz8(U_9\%=j.B<kߙn}| x ¶ PX6oI5nܑ3X΋A9#%A9`$%3apPuNTբAЛ4.VX&J2cUAP[#"umoY|*3iPEFC ^!g$gaLIfE$ ;&:6?#ׄCɡ*,F0,אAO\ߋHj;2ɚ(Gi8p:t7ޱo S>:(jσ{&8ٵW8rSkO塒DQsyќ .hZPIy!R@AG7>UF8.|u}"r{؊ڨmۺ-8{7z-mEcᲡH|"D*S9{neY2}rwH8ȟ+C/X[5-%bq BTCx/1IrwUլ` jMww,CszdDl|:A{G|a>=p@B9jYIq68u-* =>oSSeHJJy7RN\?y~l5c:mIK sv"6L=5􆸾eJWJ'kQs1x E r0ZTbۯ峎FAuhf`Srmq%*h.E Nv&ivaeOaimt5~L2!b"Ӓ)E!'yomۡJ2+'7L?O7g U4Y¨!T ɝBXPlGoj?CF?+8&dT v% A$4^ t3:NoAw6&yV|\$ Q̼c/5VQDS M; Yؕ룬_ˋKl䋞kANcsRSP!T3Nxǘq.@U@X+3\ڦv]‹`iL#YmZU ,͂>gwĴ;&"? p5@sQ&:s_ƣ=;,0xaER [߲4(Q(:jqV_(C˹TZnPP&7INa0ZViI' U0Apu2fZُ-Ŕfs6 -qj& EH6 LS5mn\ ' MfjQhjB7{Z d"0؄s[+గɆ3@֧v(nYs-0i t}X% *|۱ º(: TI ِhH_T*.o`AC? "?=|fjw3z  2RSM;i2qN%3ؐI*r!@D;%VcVSWzOI~ zb6Ǿ()Jz1:nFBeTG-QH[F+^DZy6-#Ӏ1n7=`]K1{@֩~ҊS*6 fm5`Q  P~ff¬2cLB~5{ut5f$gL더eT 8سL$G䨀Czyl]/^te~qJM)g^}䘭3+ѬI;_~_n4LXižjn%lTW *δuWBZ!p~G_a4_rO? o`^NϜgU~ᜂu4\SdXGpxǙ**홌p(wG2h%WbTaSa&p !HD8(OXS͞ ]NjjDYqojaPr7j(69+}gHvwqx/z$5vB+Z~ Cqn_Vd,wf1AE}rYf\vg! *`:D)Js! b\)HGxf/nD@]ك}q,a% B8̄C}񪱊hsb<&⠳?-18 &EXS.JA*q)®GJIhYCa7¾XӈgC |1gi6CyS1.,'I ~ Tw("FB}uܭl2 t 6(AwbU=@.YS]-ë8 I `*?W# ?fBzdiiB@ԅA3ؤer%CoZyPȖ!}wÌJs.>" Hq ʽO\}^1c UGO5'%)y_{GuS@)ZZ,Ȼ[Z(Sgg#p7(Ոk" ~=o+G(HDE}glp?Cѓ6(^ٵ.kCW̞M932α@4C՝t"a;.p+$h.I:iGo$Z߲bjkŊBҿQ%tZ+>bluU7E_*?x.2 :rq koA pSA\Xa2 ֻ.Q8@5?xbYAYZ ;+!]*@`:%)q!#"mN㬡A~p3H}IC٦P.kD'1Q:QjHdԮYKau;C*J>`l[5v׹.ۘ}j!1\lg"1;';p8M=zS2Z+b՗\SέxNN˵_[1o,p-}'5οDqGմ+ھqj&BjQ_ ѻaJ}Սn2+YQMG3E3!:cfv1id :k ъZҎ7u&Qaih^g8RxUi1<}!Ki#;jv~eګ%363/`3 \ 9 Rp S(z' <9,[s2NVs%wz,Gat苬UYvv!&˸P'$@W|-4oۅk}6N :e5Z31/,*a|S 7G";жL 2;ukU ysʦ>B6u8/uB=Rc[԰?)U#u:BȤ>P,CY :[F@WrUECo򁝏"f ERg۳ |I\5rJQ3,DBɐ^3]q(C`]vBGz`¹tÄ*H j.ڪ6nW[/?іW`PiQ~eH9d5=CGqy8@_E6̖_C (|#;ⱧjgZbXsWO9O{LCMа|[Di6!sد[lD&agR8Q% HGH-=vr?jۑRTO3E 0&=x3bS*jGo^e~8IrP6/q7ZQ0쩌HXMO{oEAb-74Pַ>,dD P狎J~<$iG8o<ܫ}upW.*[JDLZ~dk"zurpa,2Upy;~0yr=X`O$lBvҁ`*;AZP}Q.Ǩ<pJ;zFǵ^qkC OX u #-n\r~\](rUB`=pjNn1c28}9J(yOi]=}N t&5E@>/ ? u|M֭8Ζ j^ Y0PL3S`H[ Z { St)D?cU5d5δó*ے#HhhMoq(G20uogybG~ LD]YW*22E_6.Ch.M/ LK,MKs>lb0ٷN5{{m/>W*|mx$9Qu9MgYZ Ǘ ؉K5E|I@YT=8=-."Bۯs+ո?  Q^f (֥Gfv\pQ܂Y [iS\ jRQÁe||:!u9NPhP>,48qee>/.wJrV]^ỳV #BoABa u"M+ds|d!I;GU*]ŤAaayΚC7 V%4 haQb1&tJ_= hSt) 'rH: =+nh3~aT4w ΧdYLSͧ+V?X O⫩\ 3{[y}6JUnmh^̗k0R 0$BA IX}+xiԽTi'1@O=tS5"LOnDk^p^qVq?ұlD!5X9kԾtč>ȫ2@83"H3Rr >3Tm㣙LehH(V}i, _zPU`W۽#8 FETwfCyL>i*K10Uip%cӆG=M @*VvA)NԜqڟsqϧp>MzdCi-$C_}@Ζs.RI*S'Aқ 2i3V]x`)~frܭW"=@וRU/Ƌ(O3eY-W*gq{ń)u4l޼ͮ7IkNgw8.Fkl#2)zp$քE|kei}o}mmMds.;1s؉:td&ek -nO'nXh(3Jݺ5L 3w^r{C0DRh9)_\Sie I0Lg v Lk{&ezt(.t ,O#,R b~0hI3Y#8e#8f4J׼u9$ )?\_Tc} ׅ 5c&}L1G9[B|^R{MӢc#[eu|3UI

جSO2;k|J>p\+.C3}S1W,GZqգ}6d1@) (Ub]2 L7Mҡ;>Ul0˺׹!yM7SsE+ߩf)s ?NX51:Àv ?Rd7 esyZ3Pd$ΈSb#,]:ݙhf)*xj*$y{9db3?Tv!"G["M){R%K"ds?7A.~(|Շc]U62@0ݐmiL{nC^;)8*q|ٖb<^N%B6,ީjGK]-(Hg|B)p^NΡhi,8ՙ/ZNByDFӕΒDNmZdǖ\@&Lt-?b)p]<0u) 8[XxIRtJV%MŶ R"8h3oLkO:J؃*w]gFL%GS Swj@%JVRŶ3$ K~{w eZC+Pu ;dS?Iq44*"{n&s-V*?/ѳpoE}]^X,3.CD v*вuw4"Ue AIsJ`_PӫQM&73/nsEJbIj\+ɿ\:G?Q u| !Χ5iM*5 @V;[x j`LCYrqk֬yZ ,ucP3|wcȖaUɪr܎LRua +ݡn ?'~>x/x,qK3uR%=__(t!F^ dʔPt >[stk9@~uc7KD'Bm3b>eg [QMFRv9EOX;"`qf-i$%cl\t z`9ޜ$g!#VܕF "$'3Fjfm4jI(6w~GO  zGꎓ[4>qqXU`8}]W1Nͨ0$f& Gn^W&$f5j*0]{ a8qI)|e(U{hn%j\y6["R"Ԑ=q ' vRiùUvu.=)G^oZ6)'1!zMF.Ȗ@-N dq4P 怍rt0n|un#-< UJaBO@֓@mK+;ѝbߺxYb3?mw^ Vc&3FJy 'aXR=|^D Q̻mmG@jtu1X_ p?!Цۇxl[2UIٜc7.V5+oerE}y~rEbrm>9'@%jiÄmKC^.TF&N,$ myg08gx¶☈'P̈́՗^9TO 26{ <&u>2=RLtQA)8ϧ ]+J i1$_gul,@g%czNN5=@r$܂l)f:rв˄#Am'Oή>8fLa8F%*_N\9_h]tS,ǂlCI"(+ 3`I,"~ɒK+c+кK=.^F=zI>,17_TN2$WbEK;8| 4:>Kzop^~5V`*c[+YM :q=.ȖE\%;>ꋱDE@*{9MY:kai1EuKPx/L_mIILuup'[8Vp23S?:a9_b%AWO%Ft~5Ȳ:wdiqVWoLx@Tl\q /$^߭Q~. imS uTf\Q3Fg 0HnH 9p3ڝ9]WdlV{;gVuS1Q/*½ J jkT0 W>m{o޹#[c:U䭆L[!!U~o6Zd$oYx%-V-|L3 6N5vRvĸ*%Jfܱl9=՚:@[ǶD{F@:rq"qRk-Oc0ʩ5iC1$,$^va^'Z͕ / lb/:!_$pu y,ijo徟mRKl8T@Sqxi_f}cHuҖ.ɮ= _(25"(៳X?ٍAsqzFH6'Rbh4..v^3D 1u>ٻfeqUX1JՑ0 987UST=鞳˕*Im(M[\'M=и' 8:FȖ} %B݉0cx"_WOTflbNy}| `Y E{0"fiU='"= "eZ3:.`A`ޛ́є 5wͶkWy'>e8sg5Gf\6\n?00>7pp:lk+0Q$J4ElwHBOdܳ+ʈ 9ɞ#X?A3^8жq uZX !,'9n)U\""(H #|N\%usgMzJr8igVʥC0yVHƈ%QJs;D2_VEP=[: O?VzS{Ҳ5NuTs'eM,Bo1`<'Agy[+pTcU $``٢ ّB3e8-{<ȸ#J|bolVJ:3 [*[P>_E7x!c0l$3>v 28B_ ]*$C}_Zz^ AieXϿѬ~|_Y(u!g+l!'2z#[Z1P>F_H?$׀P͡e%F4i2.sZЂ4 9(c^m=8 E7Д~)9RXqq%b z!m s}hȑTM6RJ/"xΒT KR @87i.礛6̰>gg#ϒi|<5:/^C?;>-`p%!/NLY ).2gt15osb'͞=$pv\˫B8`՞a9A kz~t^*r! X@iŘ$7Nbl"Y5"u뇕hr+t !>RKg]45*ށ5z's874B FLc9tӌj3 W#}UVw$ Yh\l W\hbX/jQi50C$dGa"*bEU$Sl7phȑRܖ02K.|VQA{΢1?aLB*^h80]amUfqH=E–a&wm0Αtp˜K=>cnz!֥Vjp.O.S 4IPi#X1ߪ ÿב>QBO ֟SUQR4yhl\'p(\3eGRN ?%ӆoT CSq Qt${~T`@t'S*Sbh6@'~ރ++dCH/!  )sr[j{ pgg{ׯdM%¬|KR=" UE& ɠEw[)` {/1?uYNSb LdJa{M-:5]o%=[o;CC~k ?;yM7]yKuÿ;t1Q16xOiP{xNrn{YagP>˓mE}ǐkֵ~M.[7do0~O3ls}pSt$nM~s5}jʦՠBwV7&}> 0vMd[doY# -CqCsgc45'e\\菝^rɉk=s 4lkYT=` PXjH|<$%(3y ֻ8HƳ5"LH$a\z:cpZh1ZvrC3dHWNVSߟC/Gʳ(b_;(SD څgFrB5skFgeģb,$gvK[Y;ٿIbvJ=H0(s%D(WjEa7ltص\0i0pL1hi@ai2ڧq10JLyQQ泒[Ba14?Q@i,8!oA~:F=BzEPF,R(Qd'1q?]1+tie0 4 fҌɣL\i[ heN,((4YlBL7A "YCC63S;~T!l0m3)#mEDVZ 5 G~#Eۺݗ6 e{z6)R خ~eCƣ- J#[dm)O=; E|`nzh͜.5; AۃP* yFVE8DsЍ* @5sNyF6fGs z>z(HW!7ѵ0W)m~%2_ȉIߩؽrn/c.b4& i,NwWsx9V^3 ""S++U9uesSnō|~vEDߦk~~wL|Qmi!^$O7N"ECi"Chg 9ձ;BHML=8== [Vʹ8%}xJ daebm5%2rB_$E坭=mu2T&c>iUmhU,!td@=H ԟU^Ge79D^ ڤZYrP+,l%VCFiҢě<5YL)ailD zn*Q$rdI&:kIq%f Dcz`V67Q" cv}SLYSG_]aʔXFcQ|=םʹYIQtT[rXjrkR/eQűٮoلQa&hUD0}ܣ=*!k6fGyT1N_ $a fn X'lԵlR3v:Z8J$ZR]yL}-go\10p+0Xn-jmBJwKtBv^ZnveyǁИ);2;Q5GQjFruj@ݺ`|I~)oV I=3^yC /~~sT#l{I_ h1EF<'p^:A|1~@~|yާL}IG  Q@üSʫ`;]) *?Y9Ml_j&.s\(_>e&Vs$F ՟:mx[(<3;4U&P>Y@)YܠZn$i P*=ߞa7Mv[*\{TO0=bz`yf2:tlLD"B^s0;sl2Sf( ἅ.&;q&k# t&F##g:zA#bAXsھwV`q =ۜm lI^d U^ ʨv^ 3.|P>rϯ:o[C4|T'N,V n*VQrlJ)IwHYfyN8zgiN0{<"@V qCizgЁ IZ)ƑtwE]7 T^/G#_ :@(s]IcqC`үD$ 4ی etF Nr9hܬd|S, ;x nET֌tz}v ܅lQ2$gYZ S ;% LPartial_Order_ReductionLTL.LTLdocument.tex7zXZִF! :]A-MՋhvG"uIBm5tqr?Dy8o:sYd%TQ.==Ws\jzY[t{)7fLIOz+T JlVj+`4v\X9)zlxc/d-. ǣ 5A9 :݆ʲ,ķnk { }鈺5F13X /'-w5d[f5s?FVX7mܵ" *f& ]r$_8 _R@[U h".09x]n//P :c" \_|umOx,fx̧)(|Y+d4Uo̓Z \i&·& Z(u]|J+xH ʅtIDxOy|t_,(hѦ z M{ v蹖ׄ7V;^9~ae1@ǿF,>(0+KauS;ML}Ρ>>o4 ѻ#ai|s?s ;-LE8y~C̪KH}i21vAxDwF@5Jfg3pq?޵U/& G n9\?.{jn pN_:jʒ厽mxGʹyxsnX0Nt2\T+(,%dWO<;C,1Dvg0!7@!Հ(+gxy4#A[n9]1d ow +jipCўzX[J -BJfҜbh(8ÝcSNǣ0"mB[&mV 11l$^Z:lC>T&~BnhVA4"b&}Ǥ 7(Sh :uKâYꋖ>FE%1)!nx |Z" X H4yG7ГwJS ɕ(d{OΠidE}Kɦ@֍! vn/-ψ~ ͎T7|Q4%r}>ݭ6(YS0hAFedY)J3pM\cƠ@rGqהtZ_%r7D9- pND?J)H1ŦCM"5z Ryd:ڬ7) NF=O*)"Ƭro}rYj4vTJ_G~9H*sU@R#5;#y׳Mcy+H!1v ˶Xq BҰS?2[;RdCtQvyG+\;~I,9n#J\XiLbY{[oS$yA9(.:3k-Cx' ;|naObD0 ,$ѹi(0u͑R2UxW6`,J[uײc 8hɷg3 M9]8KfWTXm~]e1?~0,JwU+h= +Rh@!"}DB7`n­HB wǬ(&ex`(WC4Q\dUfxx@ .KhLǼ_T;ְO B=LE][_z~Pp`,Z'Kʰ0o;65y*SMs:'20)2FY/sed۴{5-?E d(?JmFJ3s߭ ÇY Bb[|ΘJ_]^0qVER8Ό;X8"(SRx!P5! ea)v:5D[뮇r@%0gwFx>YK&Kq_s"8B8?iYMh)M^ㅰ罴QtH'Ӆͭ`@Hʠ+ILi!]_k!h}@>jIrNݎVs^2i 9=£;;3k3DGu|;d;MenTIm+Z C ӰA а1nD ͭyt}p?*9ؚ8Ԥ ;fMCbJ`uÅjɉXc&w"|uA롤ExDx{pY `$"jgiF߳Vw7x0ۀd'&?xBvPbK@J*^q0#1J$$^|d7I&{GF.%2Q 7 w=|XF+=2~VyHt9E$c $]JnrB"^i"O3?@#E/PNZYotzuaPwХK"9wqS̸l\kNЏ:b3A62>BHx,§ڐ ゗t|#_( ٺ^ha#{b)]Z;%>PDnK-:R*;;FMyV,Û:H Դy#KH:1|.EfC{$>: U T A[Uڌ*ȗ4J<Oc"20ML R #1R? ;S% lPartial_Order_ReductionHOL-Library.Complete_Partial_Order2document.tex7zXZִF! Uc-]A-MՋhvG"uIBm5XKjFщ*1WBx#K,Qbc;"$(.H  Fce?=A3zQ۾"Ci*gN{ΤBAسs.Qf4`ڼ![ WA*zzUTT(BĮԿE&\C{Ki&rgoc?wt_I ?0:vWzv-咽s 8]1ph-Bޯ~'SB sV?UH9vm%lUEfɰLM'y08Lx%ћZ)1쉃w١0TJ,Z -нr1M 5l qm.ĆHFq&v3u&t*yk'Sc|wh2l%' CU*߮oxg<ԓ|7L9`)Y\{EÈ,,1(ޓb%M/Jxxjt[*㘳kp^ECU.% k?CXHדŒi<5FNJ |3}zN8O6> PO[F]}?ߗ3('8 +O)z`-׎<=T\iKF5TH~҉#_R> `S}.7GP|;\;zt`6Y8vmX/KĞnxk8AQHRz+71H}oMf)$.)w{ Sfύ0?/IbS!:BhW%[=`H:9pv#4OÕa nvU=cQ(-uxJ$P!QxH*xg;bV<rW)3ػpX &]ʇEkDta,7چ `( u Yȑ@M~e>^},ss ʮq⾱UԶxJ ;I% Partial_Order_ReductionPartial_Order_Reduction.Tracesdocument.tex7zXZִF! A6@]A-MՋhvG"uIBm5r _>g_^FuDzc1!{jљ=@n"oE~T.m71ߘB:˛AHÑsN pT ɦțbwԚc'$D1D f'p$䂲 ˳g936C98gf1_ ƃ7S+&`pjWlJ^췓vv.ސ}I]ͪǗ7?ȩFl3NλS(߫%,n2T \ x${6-B+]+Ц^ Q;I bPc$Uvt#8.aS?fO8|ۧhO d-WQ ᲁF}u(oa5ζ}?m*Q}*+2 ^1c/^_JFF*bh2D|0ZvIG}wjɥP/|+JVk3F)8䍽[: *+ְXV#ʺe+Xq8!Z=Fҁ#L`Ђh.W[KMčSf? ,X Ly᭤z=㘇"_#MofFay+iTbƷㅡyr,0e;[o@Íjj C2ۿ-zx9|r @CWퟁvNfBS z+qG(ߤc Ho"D'k:%*/L)`i#Mn 1dQS xPNRHͷi͚7cPs]iO:zKF.)܍8\حk?ik49a /$y2oUvढ़K\UvY(, 9f;@ޫ]ЗS"N2AHcgIgIEe+8 d aRlL;@1l݂Azf4o ACa7shUdkj?'4ӵOrGQ8<}̯ cv/_@|nG: ;@UC6&F7$3> g7Jmh\h"{Ӝ%;\Hr"@8LD{0QVŪwF-[}~]滏?R.Df}`Oղo%-oYImwZ/]||B>j3 Oџ,B1~}|{{fjew%D~όv}3eA?X)dڃOSCFÈhY.Wt;pMvZa%3XVw;,i I$Q~ThU'V ya[h^Sߖ pyN5PEs_%#UA SW+!OVO|Hy=Dv^U)W0:^Nn4<}q|M^ Pӭ8uf@c`s7sPȼQwv{Ű#q&ۺr׮)'ʷ{"o} :X"2T$M^ (7HhjXz63y" P&Wj,GF(⎾Ocܸ>+{BU%Xcȳ6FՇU$GM:{Uvk㺤ϖWLT.%RlP*0yXCFR^<"`b)SGV~'>G(sB@%Wsc; 5KuMՎ)F Flھaw0KZ7 \`my*l&0 |̟֫H«"+ep{vTf'0D/ɏ}!pIy)wy!:@ D+= K>-wyzֆ%LiO({ٺf>lUk>47g 6ᨗW7i-TV+pNz nWFc{*+ϣ[(Ÿ%c>s-8Mn#i\KhuPv3)j!Km6G WZ=u s1O~K"l/%䜏s`t"HstϧsPŒ|7*`|APy%*OEL(X02_8:DkH!_a6{)ӌ~q1|(l)NE%ܙ%YTXXlS^\z/)|c:ŜL+cm"[X]JYKرu{FJy9:6LYlrF[G{q/x#Ėb`ړ*HlkHj xhv7j˚(LZ__Tl2$GBx n]-RNwOJn6{+{UC>s #Wk"B^.8 mZVW@7Pv"K6 )}vg$6Cmn4;v6[~ EƢlG Zb5UK:BNl˴&ͅ{j`u*N`JH. 5UWֻ|IQ t(5'{z^A`q TG# ,<uNuԇܰ.;ۢvȮt7b2-*4q3 5Ju'L]tECڷHITkiDPDB`y<ZFFǵZ5s&fn%\[۲ytr5}+7E~^;M(/~kV^l) $^R;f&_ZYL-MLqwqN[4g&B'O0 d|sjhbOw)~uu?rNnXΆ+,CM&!P^$&WQ(usߛyj(k03Y8 o-? Na(ߥ#u=k9F+%t-9~эCE4$G1-+n6W+x ew%=泭A!60b(>+%.10omo8a}fQS]?$S@ka{Ԏ^d wP@.D{#%({P& ucc["0I\0l3-Gz]dAW*FVf GMpWtLTCR>_n͹OcX´ R&U՝/Z_MQz/h}]zd~ - l/<H&nI&Kw7plQl?׮bS.NgjIu^2oxM‘ԃ #%X7ҕCPF%nXDБiQt=QiNRYGYEkwC *sjCTuq@AJBn;@Rdz[Z?( F-c N!`*:[޻;9Зz! rצGT%\mko suSZO.%[&]g&wO| c,">k %o )!J\9Ywq $C0xh6He8 mq 7*Iw̰=$X^K .OJvk`H|-(^V}>iq iQWxԎ;?+c",x-wg@wM+}X_<_^tf8ȷ1CzZ @>%Na>/`=)=YQ+t^暎C="m^l]X+2q`UeRa״2fl_^}4raS9]ZQRN {Y`*: E+WFr@z6lW#@"+78ȭsYc{'(<:.maj_j*+_ @:B9gܥAC##+gqh;3CFD )GRKoH8V|dE56b1X)E;49==\ۍ9k`}Oweb{d:ш}HpR` 䖞y.7 `: DZ@>U~z,(ҷ.Mso:y\WvFB= rWy]b&i"9= Jaos_D8oNiZPns']lh<{Zrf^@IZ̾ ._Cc TH賸 ϝ9 S4uulpptȯ^Kj w?BRo+Fğ 9U@ݖ_TErn b{\PIp_~ T{˙ޭqs"u̕uջ6/фwʱP 0֬KFՕzP`oy`h&odE>کW';Q8]peAwq6iZ*-XDۢe 6uOx`u-4GgOt caLmғy/* ^j`H8IJѸcoU& .avU$MYhyE]5p,ys(ߎx>{gk>M4^yPp_dlAN+_NYůo9}Ok?`mg N`#KG2͡.ߞ.W$l Y8~i?en]oS#BfΤdo$NϿ&c5 v!<.?)0bR[YTvA6&`Ð_ Qsd82 ܸxJ` yzhlwŇ _0G~dtC^Ug<(+Mӷ!hiI]X@ _J837j&qg+_\<_CD~ 28BntirWO K⢷o(L|(uY]@_w(a9Tu|3s[i#&*=/;'=\^V o jA?k\`/m4Xi1"(Kjى3tctzjRV&bn{q%?\ZV$wOqS/=Z#ksl>\+]ӟ-n5c8nW VKb'Qvify|Y3x U5>)YIAe.d8ov1}%o49h-oq hR@:ޱbE8.(_roYC֭ =E=(|)3Nz<[M?6sS|^?=9 s-XaךKc1iX9^(5y /ܾיd`m>1 "N(U.>YCCc1d*>׃yQtSWnɅVH~e^gg뵄7cUyWѭq\t\8՞asy[ ih;.(*iP༩śceru K0TR$h؁56 =Ȑ]G^GCrA\Q_G!,iVMcMy㱢uWEPtD :u%}m0}L oLJ.ꇿ7.z'`FW[07{\@zQÅ EFΏm ["8uDR' nRV\xȽm8nOwۡjSs]Sn^.A.OTvzE" (4Y z2L*<4 pEkH1vWQ>b A z0yp8*+P6}IiQCߧ)XZtfZmL~m`Z.}Qs`LX9 (7yI&륊F]<-(DB=^ZaLD\i- u+n<*֨;{/~;H-F <%Wցd(oEZ Xx֡r'-_2_0ٟ';6نM `}}ݝ2-Pn3!uWMj+θh Ҩ׵Tw]`q㞯KGzѢ I:u1.Jt`*bbƍ:(Wx}j06 Y}fu^s7Y"4ހh%w1{T8È?!ը0R/lO",ǙYf' eͱ3q!(kt.QU/#(X S[9<שz"̽ 9 5=KZN0^;@fqDv6Nk AP-r}Ws> RMU L# `Rt.]Q !âGq~dإaf y7;fVry-~g] XdEþ(K&>wp$dyV)4e L:Z2Qc=nC#3Zi^ x>%Xf,>ckJf00{mWfy&‹TmY a[m'MZN5dݏT(so}زb=~ף J 6M|ҏ)"ƓUSNrA)K~*DnL:*3u_)Veȸ7_6/n͙6;GKf@{ EyBݱ;_*Lwwuqĝ7(LޒM7ieW$hW߉*o4i`8aT/xE%qOID{Z7{/'k:;T@VeEb92ʽQr!2 $[=hM|^oVE% r[8E/ 5d~.S&;Av(NJկo_tOTijxBxAz81CC Byp{&=3Jgcrܤ' *iK돮Zc˚͠LP [Z4:łhكLEAF]-r <κhO߯4omaΧM3B )nI{r0"B^ꊪAW_=G"ԌW2I`_=֘(/`oUwgBvD.j3#ӝh\y/a`si ~P Rt. SCrS_40I"Q q߅bTO7[>nS+w~qS﯎Mo]])EԩÂ,Iܻ|\phM2udJIRx#xrBKgJ.U{V_}cdT IlI{gݼ _uh:p(trԁ=~ F>ԯԹZRq F2X"Xl5nC WЙ]h ; s> (en폒7Sej@J*,I-*h976\ad3)M^K=.3mӥgx}+(VPa/$hu&3$u.1BvFỎtBToF7P¼56*WTI!o?|)CyP nU3cIT9B`z|Ųϱk机AY&8~ЩC0Tnv([RN_l!ڎ: ) Xdk6\8zى%_~kO,7JHfd$#9u$=i4Ǩӷ"pe RE~OX^VNQ|]<>d"ǁ`6SeJ~-?Lʙ,y=; *jJG@3JuyC`@ ̸V 39\(Ӏk śUT9O+l[ )bIFz<&(GX2[̚DXxk)=  5p5-U5 ! 7&X D匧ppHm!=Y\Mo"چ8C6nAvI(`)Ⱥ_Qi"zIh sa Ǚ>ixXA GhK3?/!_Ӫ;ɓaN_cG~tyR>Z=ađBr꒔>y􅓘2;G4 `Ũ l]y:}Cc +^z^QOEN<7(ca_$F=K [TӺȕ-ʍ2ΒS5UÛܗHq+{ֈߍ*B~C]y޴4(sM! le]Q{"9ٛ 'Gpο~K>vڂθ e9}־f*f1u:gR$)g70Ad[a*х0 *Xݵ'ͥb7r׋IN-o(XT+?Ra %99_2)KB'gDnf̑$OAW _4yWƫ)|:ZĜHVSI$N1 n7dIEIT ꂟCﳬqPrwA %D\2k9u݆v##()tyz^+p|T]ف@w,L6| 9.OxGՅEGQ࢖B^s&i0҉}cX8'LIR/@dþgR 4iˇcC& x$a[-f[j4+#QlIc o~:9UG؏RCLjof9<);*{r {4Knm&eqr2k!.uAW _U5TSJD5KʾR,^D&fArdQ.Ig6'_?_{ξ%>P'D:%p;6Cz`*k< cJk QMΙ^P?rP$޼K|p8g!N0چľT L6\L]_潍` `2lBT9ъ{CGtDRhϻ{;a`pU6C`vƜhpWAŜ LhUĶՅy"3;3q~V GawG+) F:"6O]3[UvWZe;oV=5U'3\*G+$ P}*a[AǚrAX)6XP[[?QڪM|˺j 3tH>_GI?"2ۋ NK".{b 4@cA#^$57XZ|s(ԖiWѳNZ4PfV!&ǯMv@L Z"ԨP%7#e\F&N$5CQHkh:]zँp!:UGA+4CH4/Q+vOa!t39 zaW(;] 4,/ '{(C>Nz꧒$=?j >&ԂS17cWxju21Pn/}3,Q“U(sbS-N?gnÜVLmv_ v=eo/߻sgT ~FƱ֠~6WUۇcej?\G͙UPαߠ! y^Ymўk.u$#roV:] 3=)3OıE^5@6ޯae믏ߧWGwhc݉B}&uN~NBics `n(SY9/զDmL8a dFcaN)"titm)yG(Nx?) X" JsxkpNS>_XOYSua;9y7ui0f.m@+ t9Al~YAbV|fEef 2^M2NMiFrdFdb%//#Z*nG41lO;Mtj/V #DFD3 6d !ghe#68v*Țd޴ Lq!h^xՒd2 vT; 2 Kb=;.r\sV; q&'59OriFKWv8ွpƵ̓AvZ0ʖo!+Wu7陡鋐z*Şo8Pޭ"׬H ,eL3jW-@P1/F(E//9'+SIh]`X 8o35¼:hWgI]E)߁G)CѿZL0WѶ d-H2@3"Wf!ɂ _j\_?Ɏz\7@ŒIB;Yo%> 㮩amvbɏ)k`:ɢkva6GZ볨@n'> b+ͮ [+<mۘ`ucAu*Qj~>rcK :F1Jkft a3(@( qP~1WT C .Bc)*/: z rhēӸ Cò^ɚ[P5NdQQы[ǘz<ڸuXP6 Q@BXeXV_Icࠧ7iPȭző W<5q1۩jRʇD'B 7!DA7#{%خD].I}3N6pH[;^ʝۘ_HV.TST foWZ)Xl=fUA1tsAg2Ϳkr~rir)^5J~n9dvu<6bCA5-{CWh-jWl%+cQ?N-$nӦƨ5+̝JU}q/ZIJ9ֆK]`tav|`+}%0k)l~MW;ӘS=^4aJ́gUl0J_mx #l.3w`;cS3mȥ-h݌zYGܛ_G/ZQ\x~ +4{@Ba 8Ňuq \":x \^NJ[<:lվDzSGFJd]*\'*3%DZv{Sc/{Ăx`޽mP¤p 1c 0v6Ⱥka>>Ë2b~u@a(f%.uW 4ӑȝ6`_@+0B9nEow^9oW=F~Sp鮃#|˩TJ<_^mťhvM*f WgYZ-)U)S @V/Rh/_W0Nva\ei1ZVb̠tOiIC d O8M\4bEn*WV │C晗O7| ~|?h|$Y8P ]n$l?`"A xr>|v BO $zU?%+z9Ω HM|Qpr `FYqS,z|^|A˧!%PX?9>$oQvXC`D* qOb\q1l>nL5jلM)61w@+I_[njbPSe;ֺ){ scV3~2w veh Fs$VmG?%Jk,5&n_6i\bM 3_ 9(A]Svx/JjExsDcќJe tugvR;ݠZHx)dڎ,־Y8BOyG ,s{F-DZRЯ 7ZGfefWۑXG6S*13jS†UCɼ5Äxq*/:&@ %7g'7)Sm/=W%qb+*鱿, W5q-GuOY7p1歮[}B[;,fnu͊˙ /d8&Dbl(NH ]5p`Bw'NDSX쬩m 5wtX/+}{=2{͓ŦAly;#ۤ>iuP늖wUD0%Pr&Gxn xq{)M2ZMmM36by%u=cMwKɱ[n@2M맃c돨15~X&jK2&! zF:@\'Û! /v^ؚuo<1&"0*>/b}i==M"-Y#,3ƝZ5q4ҭd[QgD\FtT4󱘕Om+xk>3XA(> myAs79TTM=!n>cJ-!drv g*^,vZx:1nx(n/0>| i;Ë;ĕr(mL[]ʶD&Zuh=3e1Z=,9AJ§QH.„.ߘr} #| XQriT@Z] &Vƙ>MO79*aւYYO93ٴūnwV3_a.T㭛yu{hV],X*;X$;tAiV~v?xʿ2V 'fWc ?J8F3@5\mrd㹚>Ӓơ RH\pv,E 0T2ԺҴ(le ܘBniF':ٛiw9$ߵ62dǯ\7-j͹*c;#*yj_~Ǩ&$ 'Ћmʑde;HL"+_BIùq?JCq۹loyv$ VW?Wgyd.Im(O#kᠪC Q!3L9>T}9(%GҧYA Ngbi'x-{E.iuJ  5U=/8uߨ: WmZyѦMr"#z+&`2mmk]4~t]#yrtzI&'^pmtʰc2,%b^Gg*oËPLe|XzբV ˩(f10|Xo-i4r&wθ6l+2(hxdW_XFR ~/,~۩'K_#nvD;}E+}I{V]n„%* Y4uO7T[`-3Ɲ,# dPÍBMEBi_vp7"N##:ߗr5o0fq5c]wWT _4 h60KpgjV1{`zi<~d+ᵤ͠JJEi= đ%K7L>fr#5~&=iڍeULd-KFĮ=8Z+H]@2*.Hg|CC~2KȭfCKje, lu%|Eo>Prt6B!9!UZ#gzfq:}ar) #2-SrOSaQ4u`[cXwR|y2 qŠ-XB^Zk@6Ly7П“g͐U}E*8Ht[yzʎH5/Bcn))) D nbfL&Zݼ 9'p6H#R-iisKǏlawoONeڄ.Zuۤ|ӻz@|cy]N)\`hŃ:++I]_/h8m=#٤"Nk~n|3rm[Kqwđ|x+he[hx+pd 4q}MLTHV=o6Z0Qxg\=ꀃwؐ@5ޜLH ׼H!0ڹEW~gPxEǓ- ZFlN"k¯uT 6m3tfۑ"t?)m޶ ЌOY# 66o%NaU{[&W!jFCV@jxFYs`j3m/M㧃嫯eե1ϭO@ŐK;H q0mK` ЛwiyL k>UWUUI d; Ty 7N#˛Zk 8s_tjw&)5 iB j/d3V35Ɖ_T.+" #p)$*3w[]H>ǭfli;< #N"m\X+/K 9$#Mc|riYQ|@N wǶ*X&fzBT;;[kSЗ&nݰ`d[4!aXApQN( J 9Kǜza "[cv4Q;n|\/oW( @8 X(kJc(W5$S̛WƇ;Z%udY}MA`iDz-ŸъbgOA_~MV䚉[oi&Cem m#dt$A?w.2/Y?]אM)쪳?Nޘ9_k> ÄKu7yL`a,4T~uTGX:I>+»q=LTV'{F w~ 6,77XL =]g N sv:Tm?s#iEɎ<H7QJ$vi>z ܓ[\`Q]8ZAjzvO?EG&﯊C"+Yڱ6f,0Bߍ/Kղ9uqwrC~Se<VV\Ls<<2EVz1*w7WBJ|^yM8qC7D՘R!ϱ;Og癲8ԛ,T 8<47jbP``]/3SC`+4DBq)гgŶ%JuZmsCO |L܏n벟S5mW6|˩F?3FbsVw&˙2h]$mhvanov)Beȡ#v|LtLN.FghETڷ>}8`lߦ)Ѧ@\cՃFIWf9ٞ=3sb;0u:z(HH  ]<6ri9lX a{J ǩPR ̯0%R0Մ ~4҄\)0(W쒊"Iީ7Bc1]]v]zagdt"p\E`. ;C{-2'rڸtI~tdCiKc{4it^oV#}GU>о S+ ]ˆ-&?"ϯNK"ZDUˌlJ3i;Tb}oEӛBy?Yx ݍ*\hkPڣ-zcJI6r1<jy҈{a /aw9Mޕ=— `}'`C/ Ås6݃|! ) '[ l;biGIIG%TldgT-52 B@S:RË[;L"̹'e%F =Dn0iVjNZrX7~]Ka;ԼGfO ,MfQ/3eXڮ=pýT*=SJLh Nm_L| "u%C7Y!?zږF# E KlNHYo|>k162O7LIDhp){' &ؑa$ $&F-(Z$@Bă)QiU!xnTa峄$KMg@ Vxd2ʦr/nyRjG۞3ݢ|`M:En@uӫ£ B+m.]o4wrwĹ77U fJ< ٻ@l>UNKX89ӅKLԓ wUz"j@ |ڰE0Ҩl*t~ț;@etIڏ|@8l/J3Mɟ47CY08*XPb71v㰾ۺRRLk?詋Bj$A<ɱУ_ @YX*߄D.d Ҧ37 \ D X'7gNLksXMK0px OJc]툇U2X>X)1^w<4+RzsPcp.-^GOЭG^T }UR*ijGc-e֩2_T} J͊RkA /ڙ@N [ "6 Is5Y͌$-GiY%)@P>HrK4YADC-rpL.A +ۯ01*ngmK7O.퇗3eŨ>)g1;HUhI8nE )"ojh@,ٱ^=ZXϯjii'( )e2t#1 ]o GEPDNPq)QH(֧OQiEZe)kD =]I d" 5̝G@M)j $14IDl<}LtjN"^IǙjINψM+][_L6zHJxlɡ:(Ok!y^)Ne-0)i0q̠w";tBp{J! O"uAћHgD>ji4|klW_S#$|x5Lvw*)!Gbd^Sk:/xGuDhJ=t&3ϸP%H@)Zܾȭ+<$.beG=gI9YէgĮ Dmf&"?.r'=DEq z1J7(\̈pERp*޿]q+z!SEzE!,xNKF"[;LB6BzZo$[Z!4thyi<%iH(|A&& L[liCU*LtIj'A 7;Y|=mA!ʻ/'H} CՈGO(<Bީn'x޲D|}kː v64xCh|,~Dba %qGoL!=g1QػW1#ssGTűAfv5U R od۬`tN- eL`,(pWgM^1s ߾lN]"/J^ehU&2#q{kQ@3Xa:aCv!)A@n[Sy#FP ^r~5B.V hz_^^|/qg?T H͗C~p0Mj(V;#@ށ[Y&f؃!1IY{tG J#9o1?ߤ膯KF1u;q\f]t N%mxdnK[ 9s>!VtUSV.vLKz* .8RR47A1BX_XFmBۦXS0bqjԙɒ>)U=yC]Xu.ƨ#(̓9LJ s2L] 6ŔL+_[뿒 ]{ĭWO 8,qV91T4VuawBr1GqaSwxtAd6GJ;Jx)zAHh`q5h>ܫn6 AB,#(+SI22EN݉xC4op1"I9Wp"eGbƌfVKVt͠墸WZj!] $2jSCAQ= zmA*Xb`ǦSBʝƵ&Lc#^b'ID1K?g:HL4Wfw3.;dg^ZQٸ/Elጝ"ڛ_Tq:d!Y]tVl$cq㰷ve(,g2I]0nWNC#-)7OELw{1+@-Mi[Pw:S iDe#s2|8nXuWllw i3ʃBed-3ԝ$RMBdcWTsxXFK 'dϦ*BUv,ّc 6r=w`!w6AvN(g3|'krM|Lt-;EXړoea>@vbS΁[erOTpmq pZ X}VDY,Qew]A!s:LRI=@9Msq֖Uodmҕv̀jOAdiLw uBN_W߻nZ=ўAabD1~906=]U89¡[$ZEάa#kSɏbw.YqґV\#͍ܺ@[1E+Yvijo3R>qx,|Y<,ejF ]a;9rh&艩%hU@L5OdpqoPF+u WIм{A4K5\rq9,08RF{SZ WopDYOa'ڄY.w1C||aYb;S,q _gDiX8AǕM9EY S=690" tX&Pf(?lݬnnX_ZlYqM#)⣛Fj܅򯆚UZq}͵RcW_+Ut'p4$ A0-L|#D=dcx|8խtX{EjVxyAyewQe 9D@p+[?-*CZiRRC78w42@-5JUu3wu=CD#%,F&z;{Fn! mJNHW.j \"س|%]Dc[ Hx"m@Q ,AAr=W⛠x>r7l?/ W 3qr#VtKFf[yP nSz5 = #;IX<; 3TGO6P5D 2< Sv/v^@~ !ȪLx(ld^DkۉߙC3,FF)V&T"&NK 9:UqXFvZb4 8[֐FygQ߄`ʕqq?=,ey-q͏+8K\ A3A. /cTHM+pکh+ DIyf3ע1sz^'a' ='[E:eʰW!ejtEwh5v=y]Z2?|`ExCYjDJ]Igح^ψߎ4)AC;ЯzCD ѕ$[,# $}3* =sZ%+JI$Z4f{KqP;4%'Zz.5H$?|e#H$ܬoZv}Y<^}[{VmNM2$C f-XdGQ)^ɨfӞ"- `Ǖ9 6:JY5jp2E}_Ƅl1RD~Yp3YӵY}St;x_Pk{P^v/)ae4s0SDj\f&weͨzo&OM,&t"PZ< +;S 'a\w}z-~2ԡg +!8]1vxh">[wO*E4 ݢ:ix)`dTdh  ޢ"Y^~u qXBj(r\wE%}iwҟzJx =&,$n !*Ďfps0}%XNU 嗶ƤБ{=OʷZ%7|0-@ /ޛtmQGki ^!{zpi3Tamfmum%Q,[̡lu]ptDrZ~ȩY@q- h'di&JpM[m^NxޭOj-UT\l0uw׉{)2qz^9v B/= eYhEZtdVߒE-{ч5 r@!JC ,l8hdR1d=[{ 8,0!NUxZ )A]{*O'j)CkvQ@R?7 {qg2jjDfQk4Y\Ъh9:ICi%E"QuRMdL,LF,f|\7ZkF39<ۺ phV!~x^{r_נM`(o:>s }>-'D iA=}?_]]R ZFR ;iQ%w?)J(=J4;}ˏET0{5۱ЅzJaY.Q\6y/"䫩%C>Q\?NuKaӉo8/h䮨.=;0ѥ:n4o'7Yp͹de_x>أ\# o~&1*[z 0L4f]q([=*h}ar"&f7UrEK7=s!x\CM摰?؃- Ǫ 0A%j Ibz!ba%{p1"KAF!e8a75nU{xκ/S+Ч`砤qcrCRZJj rxW/KBZ¯;-1Rtf3ٽys(9" 62\+1 o1<,EydM:ߗtswҔdȱs/ͬ4`| !}s\'Si,ƿ3+a66vة'ywX(\;ϻvX\`ϭÔŮ_G͊Gkd?-܊mo|q8t+[DܩpD{m2̮o~c 0Y#fA;KN+}:V>avԯW׃a]MR"ݿ-CfC.}TiA#ktEP 8 :ꆀ?̑9Txcs1yœKJU"t'R FTK hNH&u~oܤUʼn+{s4X_ZiDvx)"V]ۓ^ǿAa*j .X޴]bH w"4Q"\}BJ%iӰc ER%)!h<'_hU#Pe7uڄ.`$hsg~Ԛ=A&yOƵz5L3hhyԷWӣ *Ɠ6*C *yĕɺ8 Z:`Q}$zWc l< rȊ=z ȼwȂ@ɂȱ5=†hwF6.īU7DG cم2Euъt.|?WK,\I7 3Ý!9Nb  (u)xW|B :ivHSyzJ/wm_޼?azVFq y{,Wo&/e!_m}eJ%ahH#_"yd95,wfҍ]L9b"(EG*&\y_)Z<ɩIg&.XEFz\q'Xw t W[klG5f/:FO $T|#{uL#Թ<ٕ.KT𼌰L 0ȡ-F0l|jW&v5x l98]MQ_t=J:h&92~B&r"'n!^+4m$m.wU 5EߝXsN$4]yFi1"j}9[+teoBx]<ױ:qb5eS@ӧzȸ+,On-sBq[uK#OS>be>ee"d؉5x^n?f. ɯ$R=0'YT%O%TZQE!EHAB2OXbr o>F^$󬿲b{씢 ˂oAqG5D)׌{o5!ix3b"H3_dH8spیͻAN]AGSP?IIx9.,yZ?|s7mQ'%|ۨ/qKCR|t1ݓpk/ ^}; w//b|?;,V4^Y!̜_Z[WS%6k^I٨S^& @EɤB5jH\W|IZgX : 6T kX1Mv@$q7ţ"Z(:2°G;\62P D3g[l#'/ShN&hItW҅ijGtv,HMh*l$AS| yyL3Aq ,hhc )j?(}E-tAdյyQ&Rc [ے+$'JXc}~O sMIv,,Ͳo6!-jW'^EPBL ͌lٮ! \1pCG-Xɾ9xG0r`k*߽`c8ω?ID榐# _8i^1\-% cֲ_`[تA}$P:Gmx.A:zVA%nD5aۤA8R*@ĉKym1V pAk{Q_܇)F* !݈۟%P]iDܺAި|D3|G֥Q΅haaT[echLu1N3G/$ %H .'o*l(;<$\270z\cgj (i7%~}gPzJ&"ދ6RarpK~A­AfSEFv^miBH[׻{g!s"IY*!N*8иR|IjNLpB1'c{h~A>ݥl)XMV[)"h/Fюb*?%DfQ\4iX"sLh.4ԖU/Y3qn%":4*), d=JVyA(N! / C|ӞۢedP dX:[U>$t8 U{!R7lٴM/!/h2|3u]9ɖx E@x]wQS=ٗE &D2jfCUV%#HQڮ;dHٍ.!2 tS>:{t,^*x6vPʊ'<Z~R{D] g6I~B0J%_'-a5^,^\5?n YSHg8VqFcBϘ-3.@ 'Լ;BNPNɉVG<`6`y$K,˵2/<9uܔ<; J?󹨏q~$nhT5JiTo%}aNN{ {+"*V0yj):؊dPNpk"^2/ X:VIu"6\(*vqf2#- OPojԈޞ͹N+B}Vh5My ]{7%NɗQVe-)!o&nSeFDq4^CQýY0G5F:Ck] WlY E'5X!14%{3!ѕL=:m6dpnprw7G!@m(Ӧn$,OmY?u/H Fa;䟊pPeiRG_.ؕ5,'IF&vR/ҳ:2lƏ׹EEp8?-5ޭ6(RkzިMyj<) ,ٛJ02/ץ"S0~n8&^8Ϗz>t.rtwUeh!P{b1kȘCJۮcO1)v5~,a9 /OzKŸ%I[Ql+/{n{Rè5H_ z/-Y]3ryt oKPIrU5m%d*h<LJsIWl 82>iM5.`_vlC7]ĵ}U.ma)ş¡1v?r]d*tG509hq~9ObQ":{mCEfwkB]/ىA9PQHYy|p`]a[ng 5hQ3D`!<_vǴ4QQ8ckQ3н=O,(l+Yx'hls J據̫r {#Eġ/iA"oudQL9y;X??(Ԟ^ ^]|kz%\;X+l6lXʂ&[0j4`l`@xID2^*y FƵQ.8dOVb-dIA6h`ƈDEF;R@f- lG4Ô)w$.Õyq֟Ĉ-R7!53cN %S1e?wRsXm7>z[V6 )[H% c',7{eis\R 1t7e5zЮ߭"&:["3=2yXϢ,XO奉/v#z,6M<![ Мdk=tPupp,4_yF0Z!x.E~>BD}C4˾R(́ c`n7PLXi1vdr=A"LW;3)w7V^݃UiaZvi3 3lCߖ~o-L us'^1.+@zY ^u?j@2L Nߕr4o8cJ ¶"^;ӫ( Sn|ȑ/$⋫yI&:0ŌU<G׀Q~¢g5gڻ!_(xLn | ŤꆏţuHMXo"v ,aS=-NJ'TmofeQ>cR%AZD1\<Vʑ4ifzMغ}s%>L+PqR -, Qu\-sj2Xis9y0"鷤Pƌo_s]?27 UúB6DkTf4wRϴkp@:uHdn `Q4j?Ï-U^zOkh rƠ BZi9TmҧOuTH0tEJ~s[$Βal"Va8LK>G*;"``Bg[XusͥOVn#x-c~% d=<,xT|S|IZPW<;ǠԦv+^@#T+'ڈZN|Ns(0JP21(qm#fr#[srky`;Ld{8 &7lsTY+qavGkV?!Z||+mU8J;<7{rnOL;`|q0OZ.` c(7k=6Fh@_A!}s7P;zF>"l`(H)thV= K;)0aG 5h!{ރQ,见(NKF;i$hRO9\!q¹"V VRߑ(lkq[i8x4~YKtD)"C<܌,nwAxm;YR ^eИr3"lKeCQyH8 Аi&F>ؼ'ښ ,q=)9}Lb>PA!w^1q\ud@w0-/{-J,V_Q3@ͅw p;d GL߃ qdY>vMJۉgK wuVjZ- Ѭq8 i Tk#ܩ$4n΢{g33,zo=)1h:iV8B1{pQtj1kt7ڙI'&25$qd]'#&S7;ho~ۈSi}(q*K(\)SRb m+,i=W^ǩKs992v" hx:' |  IݟSf!{|pët$aO u ,"dV3u"r`Y->`3yز> }'M#h~DҾJ&n݉{!,T<ЙH'D&ݟs;&s"ϖN+S?رgYZ+]C+\ (a < &NK<PZ KG=~M"8o,Eڱ/m7G^w.BA+7i֣isf%_]p88X:n2{zѻ%⼕n*ϿOāsv yS}ey n}ZḦM:ElTmyhuflXVJfN 2<0Ǣ6QbDkv;`=nlک z2Ņ~K&P)@5!Mںq,+U;h4 Dm@>NHzQV!Vmڨ# ]PW c6$!?杞Z)Bz, 3Μ\:)hvn^r:/fA\{7+ _.:{X3XrV,V2CmW0Ŀ(,8L6N-^IY=w&]!0Ϩ6ӉK]^:nXn QcI<꠆JMhnpI־> _Y(F 4å!AN&Mlmq迢muKgr8)ܛ.j)Iaֽ %FnrQC.^E][!vdNnػMIh 8ye+{ mi9ZdA8m\C􌙆tRN)j5-T*/IJy)_J=OAȗԕzFȐƩΟ .T~j[x+b/ ?v١2YBw/J kͱآJ0p̗} `,H!!Ez(\γDf} >7PSu1fIg3VWʓhnJkLdVjCB|rGмTm"VPBO4/S!3m~ŀ(U[O"aKUϖYbh ?) 'y.^?ǁh"d>d7i6bj. 's()H9K=,$bc0;׋Uڻ*T/HzO%pœ-tm]0ڥCI]4DE[;+&| mzdGgnDCVX t0p,d"WijEu/S/X tlt%bdyZ%^3>ii}$zǐKaU*C\ ڣw[-Mb-|,,s,Us ,Z,~QBem_n0ΐctWRֺuH}U heY:$l@f6!`6Mxi]b P JuągCâDh(yo׼]n(ퟅ,?S3.\W S#6ǩjoQFe&R:D8UX,qܞd]Aa߉# -2 V90n+_XX1-םT^ZBݿՑ\JL\te YԳy-?-L|/Gx59p֦OƁu4>!t`?ݳ2Fvaz|{IڀTqYMb3}ĸߴZ5xKV4WH#B_r>?0q3zɞd0 rqPgʰE' ?Q m2nAS=99Nr0&ƠjbeHj=nQ1%`E:9nkܩk"p4Il6k^ %wX !v/Rs{&#I P'`P<z4ԳMDSy o4三[Qf@>?&2(L,Kӓw%yI-t &o)_?lU4:0 Լe>|alzop%T89^DYg;xCcFsrPe4Ɏ'{ȻNb̰0U(Wjlo58r FX,}eOٸT%@M.d}[$G7jd29R]iƈTn:`Ɨ':?-סd_#F"D8T딽M#D5PIop<嗽髂_3P)gFUE%]C w [H>s.R^c< 7 Ea?LX#C]ł4/7n$ZauyN;ɳ2Y lz"#Fa*#XYQE #kYh5Hu NXx җ/RP8>,\(4OR̨6|j”;-xbK5+XKP}+IC(R@p֠~3NDY"Xݸ,4qY2fO81qjKzͱ1tDu v+N29]2"=6IߵB=|fFڄ0M0[B%QY یW@Bx{Si:-h}Erz> *^'M[AśA]h\+%H IL\tģ_ n OBiVCF^DZ{ o6EreDGr۳UBu1R5cr*ָ7 ~Jt/cTz]nRAXkȅ槼 }]s+%׀zJcӡt?,tk_bONF A6 /6= P2S3P'?%RX9F)pIKqzɓE\K |AT,Lq\`!NcdYI1:xV`ݽ}|m lu=}}bY9U\ 0xUSòW1R/Zfg|wPzvR'@m$Fak-oo!1lML(R% Qڗ&jgPkjb:_Uc p;΄m-7y^ʵG@l1LLj} Iz^`e`Yin;1^A(qi5Ŏ Q8=*f([~.6SCKڞ6j鯒0B>YeÕԡpևٸigDHѭ-6P)B aԹA:BXO;[ <&+[Y綊)`|pobȏJ+] jE,iYn4;6ɕyD FHTurh8$U<]@.M*.)D84Q,Wt-toI{*_̋W&;搆gI]k'ݜOf8^55PDJ}G"r2i8!.'SaԲʐ qXxk$q<PYd$YIp*@TV\wQ~|O/r!TPi&]B{ƛи>X  \9W&ooŻQL w t)NMh! b!d䄦S7~iMqԍfe$B:P}$8a/dISԦЩ$nM~9}NA p5PuC~KִѧT[iẒߗqltq3MV! W>iQhLNܥdsJ0g#TYHjYq* 1^|}lr ֓ai gC&Ia9#JH0=ӱEr-7pOHp ej욐ɺ݄ѩl!q=(T kA"؉ܔQT ߴ73iClI\qtNoE\Pi H?YmS4T>6hPbb ]%/xU>8Ԅ 2W3P|RkYs zv x^+7lѦ0K˞%pn2AaYY)!P#9udU*Yv)̀1͕b PیmUķ;ЪX5 bL+i~ |܂z;vnuI̞۴ Zk= uto}RS-qrѻ R|sTZS pHt^L؅o)Hi,>! >: +ar,Midߞ\󸬜ԼN+S:Hz% \Cu߿8}eҸ\, MQ3A[^Şk`NC@vfF$]r-Jtzkٷ&ﴏ| \V;0!p7sdq2ʫѤLEO]2+oX])6ӂ˞9 8E&_XܵCϿC6AӈLV&jSJ}=|@C!(qII* (bS-{-I08Qյ@&}Ռ# &P:E۱ X0Tq=<48 ).[4YDS2xA.zP"%J~!f6:I/N$-[\z}2īU6άPNJh#giq0^"]@lc3!\DwLdJx X F^9.Ah*wJ(jio(pUP3  y@W jK=c F!KZϦs3P̦D|x$y+hK;Od)/]Rnly\+wJJi0|6CD4DXGZ 5i ڨ*ܺAguo1}LmqqCԈ_>yB8;ta\TkZm[ږ-TQJla[:~uM[hd)yuRTom ]s׊ۦ ꌉ%U ֌SIkz\G1ñ!Q-CP;wkPD>LTJy13"- a:9OA frFPP8Z`,\ɋ Oj_X#,5`Ru1n)o[b.b; 2sGeˆEHӔfn (q#uN ATdDN/caװ6R+̮RQUԊ]WQ.[l ,%]Dpd%W6!ՈT`(Js,vl^ ËIߝ#xї*rf#ޱ4:6.e9z˳:ƾ.6єȟ@t#y,kBC9pOАp1vy ȸǺR58G wk6Gv'eQ}3` Y-x4b=ׁP\橧0h1޶M$Ը!XxnEm㝤ƙެ< 깷3Rvߦp 0![zޅZF)kkUq9[2OL{\lR my dxoDEn6TG'd<=@kޥ8SI-h"̅H=ќWO:PDrfArᾊ|O"SQ/x%WԻGF\xj,$zi)m>er4 UQw#y;#*;eNA6el H#lފy2TkLNyޖI` hH.WGrs[gH-& u5 ٘MBK dW HtH͔bS1i. g%K[l[Ȝ5e\1]P(ޞ e'z➄5HAWF3 +vb/?f,Q?rK #.;* 0彃֝J`2ypAv/טHEX Sg0 LK3MV6J4`/M6!3!;w`nO2 oc`*Z8Y[bOl%ɧHd]-S~z-Jߖv%M8#JCe ׌!#h^5!' D KtFH>h7{D)\I;3_2>\&r꧐rAYGeMgl1>2lёH0 P&)*1PsxT9&^##UԣPE{+\Y2Sʵ>D̂kf˗l-dy}ekiA?UYX>\ #mGT%GI]C SE tfSy;K*I _I=؏Ш<~I{gpkV/CrxfOBw߲ #xMh<1j LQÌ ݭi8'+Nk&,=IhmfA}3ǂiܗ*8QlhmxBߌ˃xWk)xYM=//ξ2Bc^r8`]9!mediʛN*ڻ(:${^mxd+%-aJ=I{@էhP/渲˜ MyV\+/r ("`[i;غq>mfɷbe.o;I9! #{Z开or-{(5Q7>.lşxVs;؟N,}5LYޤjɾosjό`Yٔ&*YvhE:ܚ<5 VQZP Pݚ)fZ Y\eCͣdj>!l,E\\c( $CRyMlpJ#t[ J!8h?`E".;XukQukHЂHY2@^iT!Br%&vW3?7<8Heΰ2'*oXG`]W ,o(:0M+'{ony)3-jy>d:f 3z{9@>$dꘗ;"K_HG*_7PJϢL?)pӅ},X"ѥK"ʟh}0 4( c8C:!AV26ѷq0g?s=;N i*:izxXLh{U~ 1't,:LC-#ѲSw/Gs 6b7:JF= MFxGʹ˝^@1 EhXj$i).P ^!*i37iI-l!&)+'iq[oS;ѯMti ?wԥ ORd]^ 1@`G:92TuN o~5ܺeV2p{g5'T_Ҁ9owQ\2aYZzU Z"z_$ Bm1Xg}RwGxT}[LpƤ)bN'n:E)}ee~|E-)0=EsQwMw.CLFGc0`O.es'y 8I^gY)P)6<;˚5jיNآf$K[GÊ~5 P$)yN3;=`2Ūz6Q[(6g n r!jJRk/#-Fꯗ&Ñ&ϳ;a8[:<{CxBEТ)Ӏ  6o+rhyނg}xQe jNgYZ  s ;C% dPartial_Order_ReductionCoinductive.Coinductive_Natdocument.tex7zXZִF! )0]A-MՋhvG"uIBm5zgi%HRy)r e#N+7%4.О,Fk@>1Xztz(tv)2ia*fNN_t1{f'? ;.6x{^] 5dh!'kɗk%=8}%BNrFcu(nR[Dujj"e@l,[X'ë- L(ぇXbIt+R ? \ԣk}s՘g5j0wxDޗ }/GN͈[Nx>]غ;I8z6zM3ʒg"sJV"F{L+XY\긋1DD&Q@rg5_Y@5Pg"Ƃͻ]vqH xD*Zn:i<"&Ͱ9pٓ4mLʹ툫aH8oƖpRA3>hLe6<;y%SeZAڍ󞮁H!bL2,xE§.n3ͳ]3cAplƱKN.<)vޖxPs[TzCD$,YͶiQNsFBnD^EƦn~v#CE3awbkE B!&2dZY-5nBxS`QNd-~ vh&_.f]ckw&~5(ԩiyF(|l##V(oJ2mkBo z5i O$*%nak'r;>/=' !'A"63UNwj1hYaND6_'"?`!EKptma[4&<.FfV=+m2KѐwJ<~fuõ/p1 2@$ib"U4'>vD0Vi|CS?d0H.Nl5z"/./Yl>~R91\9Sɕ mFA'١3h_nO=foL_Ope+Ȫ6(iu}ĈF0R Ӫ#~<`axL:<85AGQ*KT^V #'= 8)-DAK2/P̷+ Nh5NPZ7"u ?Kl,ex&^T|ҏja=KX'V[]uysq#7l0N?ne2m) I268۪ܵoO+mx(RQ烋MuCa{d)nn\:+3*u 2)rK\$~e ȶb_ uPݓxUǮ1fQ5cuLSRԑ}[QWAAR%.(jTE،Y?;0<|RWx;[bd pfStWrcOEDl S5ot9!h"dIT0k[v鯀M׃̾m)_ƐtGijPx1)*op\tHH_3&OQH?Z WMܢqM9,!Ƙڲ`?PY绥atH3e#d'D,6!%~땣T"R:#kW@ΔiiOQ/SУ3,9 S*Sݾu&*0f'v\G+}#4HT2EշEt-OpS$~{wAZ C1P\!{N[h( !:B tЋȪ)UH*|>ה)4ŹjT*ѽZ|1Wc >zsɫbDh9 '?)r%W Ï/n*zJL-ـ9#)Ȯ?(4&=lNRb^W[cQMԿ' YM\ޏ|;F@q%8Sv<065Iz3nEUtճpIP1z%IHkH6w4DcHKDTص%aAւ4++L'8[݅tI_"Ws|YdV=yhRN@0ω/:U+VzhE5l\[isʮb/:^u7B5DrDvq( `<VQ'Thn)9Jl|i_-Y;gdc{ X]%%AքQW<KЊf㷽qiY/_ml/Ät>["AB _e$ld>@`L f 05pN; ,? BR_JLϓI騺IqyG {M!w m\IcĒ^>u"h@J,9V@L,KA^k-q~Dc5:2? 5_o Qvznjc*~#Uo,B vw@W\+uouEE_$lqm 4M*`/醐9Y)k?a 3ܡi$> ;##0~ݑzzJD t_?vn,{`û/șe0*C ͝pNR A-zyj{9aSҊov'd#&Qϧ &eaU>(J%U FJ7yVK ͰGTAƐ-;ѱB|P9gw X K3yIEVGg)d[b#L1=wDy_i`(]Ur@LWP]QrF.,j?*35a {#3&cv$z2C aX4]nP=`:|lÚB#-9۹p1?9WgI w? W/  RՉxfF>P̚O1ͦDӦ 6{:Cg?HTpbޜ 9d>D6\#F˗֯hq.DnCz*0^Hr+h*-ޮG3^?O]< Rw [r n_s*׊!D!=x4eI A%]#?{;O۞o&8eѵu @h]hb`@s @d*\U[2ð v};(~c!h}}caFOn _xF rU847*IgfI'<fVbgťG%w1Ǝm@Lݦl6,z+om-|Ds ŐSłMp[#8gct/Ky{YKjؔhյK C ߆UQTjuN hb[Q\b̫) Zi0%wZ9nnTwMtt$Gƺ'ۃcR$W_K=s~1sz`ψ$, h,vQelxp.9$*OϘ%+`?/:-pvB])d ;\N` !gg቞*/A#X4Έ{I _){ԽT(@}M?*u\/.JvIHMlT%7kwFS[-X"?k+vf1Oe :K;,Rd{m%N G€\1y9 3OcEasMX=z:Hl4 P#[:\ͨa(Ss tQk2)Ek[>݅? ֽ G, f;KݢȪ}J_R^UE1$4qg ._2 ɮo ș* ͝h`~IyH-ׇ*"`صaHt6% p+o}9NEO[x12[Зn׽DXd1Xx#R52fjJ Z;)Q3q*΁m!f g;6+P݊ge:&#OaoY&Z?A+.a_3J'"ԣYH:^dhhuux'4Pſ"lE)$jHI D9,:ʬQN eVCZAyB#_ܧ!@+Nr"Nreb}e&z.7'$X-6mνjLw=9ueahn~,+ӗҜI5$`q#Ahd,|7->jFIkqc>33r!%/Ppз7tU\2|Uu<9[^wמYLLq|] o5NIgΫJ0W:I [z-ǣL}N+5"au[|Jx\'7%>+eO @gg&`aolgdp3&oQ"oqVɻ>Њa{.P$ӆDV2ʂlB%h #?RnV:+ٸ.GZ@2vG\̄UJ=}{C2H=ư%9/}U*B'ܱ\|h+UAgrS`2y9 kb̼0hV|F!wG5.7 M?kc'Xb[^rRiL nS>]YC;,$Z\K?͋.B27=D ~O3@%Tq8 =P(ؼZM9ځhԎ"]bS;W:5, VSqܐ:c:vhx3R٬x~'X0|r*7Tt@uJvglХwUj&{xA!B%u{:qyTūDS"o#&;6RՈTIgGA O+wvhͦ9(T2eb?BGY;I^lWaezzZ׆ RMqFƻڌ_og;[Zo*ƣٟ|1"uGv?#Vaͅd@]pPr:\٣|^E(ʨDo.(\hqݵfAS^pFѭޅkT gIQc7s*CD!b.*!v~ z*h2(z\v4S/q?RSv3 E?QE!l|eM{Q̠xe,n<@GݎoqKq37/=*@ٟ*xX1cj2OP0ȡDl1E6(5 2&j1sIΎwP΂)tGB}Q2g&'k<~Cxf}3\JJd8`X-GB|gd_,s⥖7Y6Kfk댟U}ؔIB vw<_Ep 9cT?3 s7+H  a1ݕ'l L}>fdRrS(vxǮ=jyQyۭqFV0AĽ0$ p i繧_oy)1) Q+^Xa5qJ;Uj:N~ĭefxWmyIF<ְY|V`|ٸ yۆoI @Gm-WEz'skiyTSLJK6 ߋtضvOP$1bJt<9 !h@g2 4A"3-ҋȒqfO6lޚҚب w.u b1<&4\IR4B}7sƇX~}| DT9ƹPd}/.iwnj97+d0.'Y舼2mlS'3}dV|{'3g#9Sdf GD ̤-u( \hn:6+&x{T኶R@QHܠˆ^Ms+RS_Uv! RTؓ AC(F;4wTj O_/u -L ȏ^ l</S!| ^eaY~tWd? O`ӂQM -!F(D$Ywxf̘Zf$:j{} ,no[Ra8$j<@xL(5b[f{Tؔ /LCXY{<'J3ENgoAW[{}{@0\KNK/S}It V-K-:<ĉNE4tt> &|Aj>?TƔ: ~J~eS+ wz{pA(= 7iA}ǐ8:cZ fbmV1ngť%y-Nl6$UwU")4$s{b7 *VЊov["9";8Y_zHki-V6WT (Ӟb skuWלI X\|o69B؋0}0$п@.lݡ0r5=؃o%QG׬Q(#'6ʱƒb5~@#:"H!uc] QSBPB/QO ̔yzY۳_6O2P’Y)2̔޺b2-\qs۝灷(6zn;._6U}bX}YJ5%$\e2(m~Bqf듅9:GOeqSکw]FBj":r2jzT\ʮt}|CҩM6y+4hT or\Y gإI`ȷd²PR$}+ݰx$YDn-X7Jݓ UaGAhާFġ/y( \3|piq)y }+ˤf:cnhSO`r )iA 75O%1'> KvGW?X>h~ @/]y3Nk }DT|,9 jh5oq">?aME}1Ă#1&۞` 3;zjt;givJ<Ě+(AawQӞf-9إkeLve|BqfjGBx1&ӄ  ϜYpMm-Jd\oMn=`2Z\{5= 7(=hd0[baQFϟ]oxѺe fGz{=:"eL|T7h8x:J\*jFɘQ:t ]W9]41&WOQSC18S;V`7rAhJ^^/`soH7\qnu R![H,brtl߹|!TTͻe0=НW{z/0_j~o^(\zI7;' Ý J']:-?}ќЭk> $l}SfV75eoE.P݂%<QS'>6$wÀ; 2o]HKp܌v5X~&V$6#'k'1WZ=:UvDlgNWIȑDU>{ 7-aw}HFB3MIEKX[m[{M2LF.;5H)\cI{Bc^{`>a'{[Ne/^QgJڵ1G6h)ZXt|Y- XX[oLU ="tGe| ϶Ɛm $zq Ij rupAdtcKxEm@6 -xkB.c[i l;$}8{tYqi~91]T*H@h_t> D?ݓ2ڄB;d*Q;00n;hwP.igUЊ 6.bQ~s_:4*a^W(ǹ=zf8\wI'a!E >Cʒ%(ߍv`Z. OZ,V`iPfڇ0{227\5Q:-}VYK&Gj 7Mo4BLZAJ>"}洹u}e{Hz*'6吾7}W`],{QrVA<=Sw;2Syb6]ftCedft$*aSۚ.!!\rí6v]˴1.R-UWعkk;3y) &`CPw ,pXm7O 6Ni52 ]UUllgk-#FJ>ln0V*G]L8NǪf*E^hl Y|D?fhM:F*M8J5%r:|aB&R3ɂpZOx?z=}*b,׿y3PԾhea( YG}[zc\i:̰Z^9,\=.KW^3DelRt_FhVRXXb &gYZ9#ѐ{(WjRt DG+ڹj9MuMȈ|ēCF;Ӆzxߗ&= 熅EJ ڴmҏb}\rn%ߕ3 +njv94ƞ~֒0*˜۝iԵޘTh# -Рژ6={ZNӆφOɆX- s*.#IԁnW̺.,0߼ߦ+ybIrġ5p:i&8ꕍpu05ihGs*'ntG '#*~ɥz%-'Ҋ(m$~peDBmXk49Csl!-R*a?8fr%ƨb쁦&OxV##$QKWqeNEANl(j;DSY5 Xu_H\5j5nDԫzYMF]e.!؇pLZ*]ϵH~ Ʌ+ ?LlM>;g'RYﱱ |Il7F>O1}eW.dQGCnʓsy\-/|̔L%5G t{=ܤ=7/9U[ޫzTTo-drK/U ^_^ij7ݥ'jh5JTV[ 00hqpv_Sڕ[ iy+Zְ[q,Tk9qc+2mL4&F5]_vFƀ#X= `S ^N9 /M\C`9+!FLS3MH5(GWy`j1Fz r7}ZEvȬ|ϥOM+DVp/BZvq&15XR\PfSc"{Ɗ~8 n.ՕSm.MxaUڄeO4eJȲWͧOy.qi?yrk%/l Yۨ@,nҖv{>Ka>x\N9nȞ!*ʧoN"yYo}ʜpAo]B8la$k٬\R!rI<8:Ml`ȿjr'G̎ƪHo@z td?nj (@ޜfD$+NoaȑBU.ar7dz~?(Drpm*cs /*wlpku؎޴ڀ=ڌ^ :\Hֹ^O->&gE䴫Iy2  ܏$Dp_+HCVa8RN.H(WG,&k%Op8h&31 *FIVo9(vzZ*4 D\8sc Ě[hdN}3 #>T4޲G=-] c%ڡYT62L.Z_`KÐYB bHw 9 i=p^ :yZ ǘo}X8QۖY}NHr%?O@! ѩG'fQ un]${wW_t;"~.YFURb'IrułEKs 2)) #Ld̹(fK'kQns!鎶"U-z#֜HX gn l8lMGN*RH!5# /dq. nˢeM=k6@EZ6Ė#,%Kl { ƿ:E@{Қ_IY%} Q_n@Ɂo#]W*c%Gˡ\͐xYgprt{c@7`J&0]5ޑ D[L5m/|/F w}|G"tWޞVLS= 8 7⻙W`Fߎ$"Cy7mj  r gR y]兝Tv `q6y4x*\L$1hnm~a*f?=V!~КK:f-Is$6v%Fnįď:y((z/`c)i$`ڣ= [\.ՃY+Hmf?i%faZcU⨔RB؆T(V[< "O *?eƿ}'hS=;d$ab.(YU_;?KcB@yh T`C8I .r<"q-tʏ\h>mә&сlBux|g1,ҲL @ 5rv 1JXC$nx@ '-2J尺|PshmJr& Q!s"뗃-tF 4l1ݿJ^SazK'Ja{U Z$sXRPhr9 0g "{X+A|ߪ:p6Oy& cBA (WEyr>,J=28+~P/_fid4, >KudM{YYo z`x9f_Uek䗨i\}4 󳢗hA1i]}Jr _TXe21hYI~AlךتQMV!sf!Ui*s7ivsјa\m>5iK. RzCM,;'dk`~))>$:QcTokw{ˣ%H='_qN+^'lg-InQOozDiK\!#{s_[JAYmoX60 4&rSHo?D˖Μni,k{X yimVsMM a,!NdM!ӯ$妖Lڝa󈍕bZ. kO8&clhHnt~lUGwhBBhȡJ_Rx Z"934G\WȮ;U*M˷?ťBKxo:۫߷k9e2?^ΨÝrt_sb]꜄U &,^&LPIĚp>gV4ւq0\\@Ez NО7QGE޻RuJ}nu\̼`N[VnHLSop )ҧf-f7V[Gw̦s5AUPK X5H3Oշo 0e+,">#3B͒J8˾- +e|/&L!DY0?^ _ XaQ:T;a߾I2Z)vOR[0b74 XvS=IД^z#~񴚵OξvkwǬAR-H~ҷ{WcITsV6k;`(%ۡx0UiXbVI6ݣjQcHO/!@ >eY1!`ݹj0FBҁA _mcxy=/5eh} C_)&|50{9 ~i@s;l;h,G۫}Ow ܐ#C64P8A&Ay8 V\0frWv$^|R Cߢx('$[#̂@: Bz_zd ?/>wGS%JT) j=37O=]Z-bs|KRu3$Z\@|!2f1 E (P̜M+J'dxwqbϼ#W1CIKn5 kVQQs4rZSؗ*JʎꃈD4g`!I`;BI˿{sǏV1{ ׅ?w݆CڅqɃ7gsfy1W" k`O-y܎'P˾I/f-Y=Aӻ[=fEMOWsr{Mt`c .*vaLQfŢLd!q+93+-g}"h0,S Ըa4E6;wf7E:+M7?%s_ _U(u'mU|WJ@2 |n/ Snn/akgDcnYr-X&[Ns3,ym~?âZwXN5A߿?^U{>kVuǨPzui 1Zg\&nLrS o!m¸7$p tK>Uj؋~/_}L֑kvzhTsTyOd`j)1eFa%Ӯ &9#Q,mu,be6{[rX=NGg_U> 꺴:,ceO}gD֫VichdGFbj$a65Ƭ|P7kT)OԖK`)`&:Sco:V55y8ΏGGB1MJNE?c Xs԰ ު&GTHR@2Ӵ-xGc0|U!<7K A98;CzZS R-P-EQr}fcd@ͺ״k˺*e[!O~sL{ 6 l(c10}ӾV8qK,@-JS;XaPn"Gu4˒h*hޙ5Ό=1}z2w$!ڋ3lUZr2Åzᦝ͍cv"7HPR4 E*6_04izҡeۏ7 ZN]uR :LnXsVɩwZ>2/%Rt:`$re..آ_c1`"ӱC]AY{n k_q\rI$V+=ouuwLβOҩ JÿZ T?3{~gO> U%*aˢ~-͛xV_o,_,Mk&>4>vQ.I\+l >-oϤx+&-Dcrc>B=W7Lteu?3\)qw~ݙQp?Vs =Nir~wQSyII 3(׬F9 GC9I8g/B)F%t#&n5OIQn^.KUg0(vUCo;EIlvmKfOAX*D)Vl˩X^,s#*v٬"kgl)V\rՃnSfj¤8%;VT>%ylX~9}, Dwic`h^մW!̈́B>IlĶNJ|aHdjf*( STkV1qYt߸e<6k&8 3Ll5a PzI-ta_^oNˣxY N,l= S|6?Fr(ה(vՕ>/'nEdqKwGl7,':j0 Ԍ3y-?3t" ~M[͢{Wh$4Gn=)׷ֽyXEEDZ!vx8 }X;-zb:Vx:Au[&[s.z0p ۯk BSjkobf 6Xl"wRۖWζ߫ Z=WzԀԞ#cݕGkIFSipXf/ .T 9emٌqJe7@(cYL" atlwpRl xwzJצ@f\r_gZ#2<<r`I&*AzIs޼9\mv]N4Mja LOfH-FܥLNj? 8>GgֈW^?zu_ZݙjXQO U БMgYZ J ;Y% |Partial_Order_ReductionPartial_Order_Reduction.Ample_Abstractdocument.tex7zXZִF! *]A-MՋhvG"uIBm5~8vqu>Rӏ3x;("KcR|pHk~> `bk-ކ| [l)"~#9׎ˇ2WC0xcœHHֿYrC/1S!d/U n)MEc~O yM7*bKeSFewqԷO9e@Wkabɔơ@:^\_%[;TK=愩gۓCdB"gf,cn?]j4|:gX"-i}}'Z1G 2g$0elId_\H`Q cZUHdc>K!dI 5[n͉!w;a"31@0r y[ *9O37d6&ƃ̛P߹~0;r:{MKk"xy-W]NL q(L$x(j^|fҺ*@bѰ.c$frĪdgTon %2 T+I/SL[>x{>{Ŀ)CK MC?N{~V^6T`L>1 h6SzZ`=J.'dB._,]NC W5PWb˴&؃O$R|>a TnA*\YkUo輒]Mz(l4N}a^AD0Y&֌+Oe[wHr *Pz[۰1XÅEXܡIi` PYTR(y*53:%k"UYltXq9Eej$\Z0úuF5v MҁZ+hW@s^`p'AJjyoR>~ 0TɲXU*>y3, &UPۼ3}Yz6|h>qy_젅L(i2Ux[-f=1a*9?aYH ]@k>XkQ$D\-wgQu<':Sg>S\Y Kc~]!HZd#P$U,, mauI%$d) ?0CwY:*RL糉 a*tKޤ8%29}:| xqL_ݐލN2}_t65ή*OI7uL~A[ zQ߇e:ĭ$C.|A={1;jG8I}2K_h]ԽtfHq9{KVәk?:AkF%o}M}G`^oOjnV :E[@['xB FqH0M(c~ jIPg)`:yy@ Np0IV{ŷ/ H_q4 J$͘Hi' vTitqW[!4"a[WYT/D4]]06 tndKy:5f;7uiݰmI{ew2svA(+-0#h˖ ˔io!"`KiAʡ8 *01H u$}NW@ݿ[u+Z?q߼#ʽ. QXy}\Jn' 'RPe/2ȭWT5RަAmf0(\cGW*"R\ߕ,R բԿ'`wze ,q|63֣N9ٓ}'<U%H:- *EE؃'dE0 ^Y~]uz:XA:޴1yAܮ^TGduH%m!`ωN`+;vǮ6fQی8lY(^-I@Mx9Bw''|?Z@p+i2tlUƖA_q CNW(tδCC9#EN偙gt6#^0_w۬*>g2XSFoҐ>9e6Va8F8H-̹qq@?۷ 1f3psX;) $ N͓Bv4Hz6Eyј =EVEӲLɫdTqٜ8k6 t&Ԧ)$_]Nʨ~l^x 8&td>\ѣZ,d>!#&cUyzk D9#Zgb1z|n]zξ]w6~^w;bPeoHhv ׆? o,ӂw{W̃q$ZQJ33 1tݺZ ~\5e~IV&_sڋ"yn2H{Ce%~>,YCh)ů_Akqa5 HsT2SxIŞ5v2TK?wc2*J 2K-VZ=h]&ܛC,]Od܁.H%>l{jyX5i[O8+$:h(}onHܟX>݇ >uIO۟vq-珟>.X;Sr=wz"DctxYMԮG>~'6|]lΡw0U_;wtUMB^n #AL͔Z~d-_g%-bFQX6Qm#p3ey.޹ƀ/sP rj<_w'm}R+F*9R X0kTȈ l6m37کKk9~_pV`[rc>X%q@C3NI5eVN|G(K݌xL8=cߵjg{)r& p84RHaj?ooE+M%>TY=r{ ]Qw?tk:z5.d r l#kUgꉣiCJF}Hl'CLZ>$]iCix&kd]=T7M铭X%S>ygpѩ% ݏħ%*:1qqP♃W!Mxozfm܃BŖFAÒAs^a4+DLJ!b~ 9@q%R2Tsv}N ;"4[z+v(պ1g(F .Kgo[ ݔ$[vaǂ>˄m ɷkS;voU8(SDUŔs&4=QO_esuh]XMxP&ma=5>,4 ֪޼%6lC*@aEjTY]̸'p @mJ| SB9Nb wQqZ;gtTu "<^GVqiWkݪ蓖Ai51=ʮ1OA:2~,b6҅Cgn*&#$Lo= zӮ22"Gp:Ӌ^:na)ϒb"!y¤  3B.|m@H(GQXolX*M "8>;e#"D3Nz0J-k syC 2svD E%5EUtpdbUV.a 1?QVEX!oŎOlu#~2,QCjH_2K 5@xcQjuBXvpOXM>vDžku*BI~tO"HC3mitOZ抒frFP{v#0 ]vrEnO+ڿ:Z(rr?"3Xʶ]UI6~{)h5}&m aJ쏊(.e:%kO7A{`d%]5?XwNNWjXS.Sv*eEenR@@u75Kѿ򔐿BX1}s&%1DxNqRy mڼiy-U׉{djscV |I[s(< 6nDYMZpkEoV#<=ljҨd;o|W'd\j @NGJup6^?Pd<VctqEv]mRH,"R*STO$^BR$&w3}9%AbUh\vxXܶk O?dwD9sqh%J1/(\4ALNP'vkL#V(N_ XvwGE&K P"#PaTg>dz{#=QY=UahU7ٽ<-!º MrmʭuF '׷ʶ$y=Muhb!,1ؙUoBk^|hp?bkLmn/ƝM*X; 奼.o=,=]GIaPߛ皷LT#_P`8JM#|)}HnP,LWH3") x.?qY%!jyF9ĽֻsIÆU) F21 0RqloW7+bDLj<^zGh0ɹ}eqΗr]W6`fcauAI;Dk&F;\Pԍ=]rQ:qI)~Ä?&-[ʕլmv?|Z Am769I~FЩE5UvjJ|̢0N(^ D[VyPjFafz S܅3b W^MExڝthnTl+YȘ9ɥފb4Cd Z`AQ7rTlVO]BLs̮8d俻tKǔ^ J]}A#KdSaHK)<5Kb%U3[rvB҈'"p1a0A܈/FjWFXKbsk!t3BU'qD@ g`DK NQ6jw^C+6\e]Ԉxwu,}g̈́{yJ Ɍ./Q@KzmyQy_c떄aDh!.S2c/WpPo$ -ߦ_a7ztǟ/s@j#sOVwCQ8{F#59Iӏl8eA`Whp =JL_P>nfLOմ3|z=~VY%"}sE f˔ş+2m.qP0?}}_w 0ELu=T)M_^zӯQwEqu X咍w&M|$$t`Ğzea;#9ܺc0}ʾ$X7UQhHؒ c}܀d8HnFLf?"+`<#C̥޷ZTnCqKd#E%0“y+`۰=Y`  aR |7> s{6}!0+X/ډoVTsV{Vvt] 8[I$$!e7/)W1`ȿ>0O_3/w/\R|wʈtٮL69p⑏ޟ)-޽١1׶ 2ow ^Ki̱޳mqOֻ%H \r/ CB/^2cw< LZDd%Fj&7qj s?H$FeB +(|ۀ Gu.A Fk{t|OXĖ! ᰈDdK"C4T??aJKJ"Q֬= yRyG>ᆵܸ)mqg"yF gٔ )S:%Mj hSl Jܞҷ;gYZ  jzC ;[% lPartial_Order_ReductionPartial_Order_Reduction.ESet_Extensionsdocument.tex7zXZִF! !]A-MՋhvG"uIBm5*<$mhGWA{^^fh<~"bj d.6{G,?*3ȦtKVu[SX"NMzMpGC0X~mDVa I"zTx:URȼҢߓ̕8b/X| Z,`k:MlLcoy ㋊7-,}H'}:N+m&CqgsO!ku=]%1lySZ1WjQMn~`Z{ DZ<ro.ub{wPw/v-s X(9!::<Ek9b:F(`6O y s]eQ.oښ+i A}ZYk/$ -g'o]z#< ΡrX?' ;I% |Partial_Order_ReductionCoinductive.Coinductive_Streamdocument.tex7zXZִF! #]A-MՋhvG"uIBm5zgi%HRy)r e#N-ki"XMnb"bFWءi X, w3lc ",_w~xEgzS'ٮa;RlU},e4!yXk8aeIZdzxдAnuHpJ Dr!/}&~I(ae>0K/քa>[䏕*Zle ^]>'>f͔ 1!dzF2"6]˷OJURךCooP'4z={oSOA"o4j!ܚWr!;u|~FU_6x&k - { j B?`i2X!a{ʹlҹ*{1xR,s~D߾y7s@^>$FQ$MOP2>BՙlA,9^uAlnED%d"az>4l9eSq2σv\xWL9WR!;C :[:}/\TuX;Dި~B>͎mEqaFXʈ= Kz T/}W #ZkmT5$CVIOR͂3t]?G^gNÐ+\4(c7 .HyUGlt t:* 溟к˲Tp;F.W/_yN0Mzdz.j`2P͋B^v6Ev'Q#@UYu_PYU@- &Q}|,:Xor\xZQJ>Vuƀ@,Tt4JwUj NR,u2i4G=Z_ G/Gnx_sdDk#W!Cyم44 2JgbcV\pQ*h]w :6 2+X8_*U(@:#jˋIڗFNNiMn>h?-`IH͍褻̖<:ݗ}l@e)d,AQ `8|:' Oj,+^J_-i;: 4e~sͯp<-&t:O48LdVc[z d6LGD15ݽ}bJ蕉UP@!!<ЯBeA,Pڕ"j ꯍ}M"UKIq:+n@cG#Mjo஖QuV4S(w;=4 j;ɸFZZ$h* k*nV48Kc,2ŏ. DTQ̓rn5oD/kd0}Fv6O@"nx-3yz9ͻC /2Y+ iIg8{خ69 m쮒pۚl3ygHJK:ydKSL 'KdZO[H:m M|uBͼmٺJi 5ht[Q]EbpWmPeC9\3MaZi+Q1;jem&7u%xgS%IPxcQ!Qfy{f{r+,-lyݠ6iΘaXnfQ:t[cZ}rálŮ2h%}*Z9 DU4^vUO V'wR^ g?4D2UEѬXVQa֐e% op7cU0Px=#^Of.wZݏYy+S jH"I0,’ʘxPI;QO0{ Uzuyd؂`.R3!ଆ"'_M+[y.i֦%%m8h. zZtļnx `+s>(+e&ܹER 0p}d^E>-%OZUfdyHq58%?JUSu/Wt^*-eB'ܹ?@!V\y Cu!D$GhteTTfs?uEB%19#DZ? XMϩIW/We#Iù2Q dr6:3Dr] \\V5i&+=lLdIT,DaJx%V*[$Cܐ-o]ȟ6A)oP~}a{msxo8X+E2Ķd,wa[Sw$ T Ƙ;{ag׷vP[~ %Qԩ 2 {_G3gx+}4ƒː볗Xj|ºOkŻLuU#M2`@ E3Ɔp<d@=.<>w`sxVF@N#z3D}Q&kZ{x& d2 ,X#gx^$8I@C[ܨHpD"Fq($cO \X5hp@]3Q[+1$B#!ڋoٮQb K;O7 pA۱ՀXf,ԤOpP ::HgAL}Z0NO+I}"TDa? >a%iPMڰU;Ys $&P"HwNtJ [EG.Ȉ\$ƺd ]9jH'[WǏu]vI5E̓7*</VϦ>ex]xb]]X9z&TR ]LݳZ) N#Q *XOzޱ'Dl4ؒ[5A hAfsT4qk +B.ED ΎnSGip%1K+'~„nhf`̀0Yک1͑c# ^'T8êZQ߇\TFSF"&+@E%=Dkny_%e[<|%Jn9Ci:Ī߰3$d&t9 !?ud=vԄSS BlB)D4G#AX_ r|<PfڕB?rFBPQg{<"Xv(&K--m:/S`oIbm7/mWK  ;IO挸I0FJ45S(,c>tl_@X_%വڞ5U4ĊaⰠ!+̼z˞Zl ;N+VG~TA?υdHm(@3i%[fUDٺk0:ϯeҗ +SJy4𴨈c7ĶQ!mPcRTGՒ+J8R SK"% okX0] weQW[qs֛9ҭxf!$Ul:Lo ~-:|6-0HeSY^t҇gԪh`Λ3O l^c:IύbyJӗJŨ|Xic%evy񞈒:s$ UbkzUl:L":ruӺ}kHQOka J^0|P L>ڝ-VSH/ێ7#JL}s xi n\YP7Kҧ2vLq\".(R-u )ilKS =W $]8AaZ*ilulu&x L+PH0u=A8C]{ !-ٯCS+Z!A%5M⊚ۅc -\Q7ROo@B0a/PD fO5J|7oBFl MBl|Qb?tsaGVVƂ*Ľs/>*ɧ[Ҿ{Z~n` #x5iv,8>py ),v]&\Ȱ&bh6Z:EȩD4 d$Ѯ~_Z?r^˷( `%vdF*%_,,m+i09 \7S>kESkɷ Hs{._gr]A {㧢b m{q),Bsmsf@gՁy`}}5f$g1U9e9gׅ<.?B[O5w~_kG([POve>WMhېXwޠB#"GH3xkԂ'jJ|Fɹ.m =|">tL]|UD56&^!`3IUapu{5GA!,۵7vQ&.)3n@1-O5>ըۥp3:%^`C +;>٨Ru* ]hk[xYnPٿXɺw v-N 0`IMQO^]83gL8< 1bYovˮfciڻ)t]!3 8$k h`6.~/ޮYhT" w<ǮmVYFZC+tJp3kWtWiro]?vQ?^g[hAwKTi>=`[NU*ͬF6CrJ2eۖ g'DkH[1T!滅EFcz(&£4P=_4Ci2o4E"ֱ;fE1ZqncM  dM3I6Mj:s紥 =ANPĽ9iPvy/VP6 >ʂIaĆIaU3hD[&y ĝu"D 뽦vG^}pgΚ]x7~4&9 U:u+X-;7Ii_k9Vn"u\i\F^R*:| }x*]u R0\3Iu 2 @c=?+:rkuIû[wE tz|0TIӶ]*\6IA'7 ,A6-%  ;T,RH !n\3 ?H*PD__(lH^4WԻV:ϯY#a\ 0b~x#ɦ XoL\ߔ [BS>^\n7ZralrHGTbqֹj}h sn^ou &R-M\ gG)\v (S'/afmA`ҕ31Tv)mt 9u~c Ԙy@@L~[uЕ%፲63BYy>1;ff]He +WCL:nJN`0:뒃JtY4EQ=cQa?ϵ"~5{+x~bj({)OvG}-f]9kzu? %Jy;l ʭ,V uV?X0'wϣxS&IPM`gI( 544j}֘mfg]b:`LU,Ƒ#,;5{@WW.,c4f0 [n4eZ Y0;sD3Pq.|!m8 pzל#{S".JT=ֹ\:Q!p;Skw ]1(*@Ww 4-rD!<[};@CJ %XzS`"n_֑Jo!|?fziX0eƦr ^ܐ*N™O1&ḲຘDx!JF!ShZQ(q\@5x ^SupHTVp\qd(U@6 TaTekAZB\;"t/nM.AgdǴ '$[ߟۭhh{4%J[mi "Ncmsn{ORXLLN7J* Q"d00qBU/0..5b5-uג%'M(2G*9Hu9n `3joԄiI%%Sx߿oZʶz WHˮ͍@K)j1HĤܼDuZQtB04f{0.5D19ţ/GMG>!o;JיHT wι)*oj~]~qSNꩤ zX҂(S˖|/ W֏gAO8twX$4VVp*J^v7춠|_ ٩$=,Ӱވ"-0)E2  _2 XP;{}%,e0-FoWy)d!/1m1۹J7e-l{7lJuO*7Y1J>gC8(Gt݆-wE^k (|6n>\0pjB0Kg pBF;6hmU>2~>%ڵj(<ȯǻkxF`"*Ɲs᜗Tt*dz&< xJk韦. "3?6$_$CQcPykG V9R`Ey锜* tT+8xT'zsY\K`lEQ߰4`at%P]hJ9.kuP 46tg IjEu\})=^L]1w&o" EqVm[? @B 珥f͢_NKb}tjWܝ7.]n@L8Dn^04$凮V`zZ3 G3 Kh1YPϵDsޜ#i\',{6~ښIDQ>kdiŠ!]͹&;A}d4 ^ q>ѣFJ:#*pé:%h;kGrqGp/kω+j~pٍ"[ޜr|r7U7Mfp҆_Xq\>:(hRZNKރM_FDQo-.n8RxCbsmB[< r/}*I0 :6/.)9*ZrW~nMh {*-d+=h}ڳXj8uD$)@2X@.Ch.l5O'Z2x}S}{tMg XBAPܐS4QƬ.?5uah(sb0j4oZrFE.rX FfˣvDqV4|Bs]XrTW)i Ij=w|EaGw{T8h G`o^UjrOmwdO܋hnԮe3)$_3GJB $x@Y$EHpT3?IT1H}F@ {E,g ㅕ}Ǔ3xURTI\XVx) mP%Ƞ; 灵w؊v̆'Bd~K*._"ȻYj14,6ț˭>=}J<9-w'3U\E* OKKMm[降aM4.x /vU d6mcDwj=~h>? ,֧ܳFw2wxBdCehj[d1{:Qz\QTqEf^y}2ѧtX8H{70BfEQf$x_ӹZN&(Iy/[\um՘Ѱ#("EcMra`\(܌dY0p  [xsg|Ct Aoʍ1+ ecRWiRx^<)BŪFF1^$uэX҆3/\7MI*D=왖6 1Z*dU Mharff-Y \(Yc#8b/-K1-jQ=iP`SCҮ@uZg|KVrxIQ!*ɊE̦2*\t@|+Ag9?`Y.J*BbyFSu5!i&q.!\hѝJ`OIxܱYlXbi-2m8pW +6ә'$NJZ(!|T\ ՑQJ]̠7gYl,Iwm9 z]&xi/‹ow:ok]_[pԡAcsqaT!A)'4`syf&oƋr2SΠflo^}!Ul7MUpHmgYZ(^ xoL_Oނ@\D"2(*GV m{ GgACv] AF[*Or{){pZR@Ymss&(.˩7Ol !@7H4 [h%h_qm%poB'ͅ;{T2Kqwvo/<[M*;VUrp؝ϧ>?|.z+6$AW**dآ7ӛ`ֵXvw gPOC!C:9th៶|r.IAoV[s#Ҟ/hDyDbzywJ NMJn TzCAMSP"Vd%0Y Ҵ+gU|`A,͑;Tz/HZؓaOa=]̊ώҳu4ҥ,P3`GQu\bWQ^~L"hrǾ~v0Kݵ8V%M\[n{;vȝ +L2QrxÔm \@飏f+3H1@kau\% $M7-ی~"#L4}5S6gi|%9eG7[s4Y!o'ĉ18Nsu~"jEe9tw2ZoF$)I+TrC|̙Yo[oGaUjp%z4ӱCۛ}xBnJ#&=G6y"ZOPX^cWJOY@f(TUKX$5}(#;Tl,0(.Bit-:+h ݃eOF|QuOi+{*n)\ dґk85eØƬ1".,?`B7&lc ɿw tRl$>]BA]?0y(u(Nh׹Xa͕7KvD(ieĔ~aTjA,%t  [zc|gT &$xgͩEQՁ+|0Ye 'FO`U{|ކhݷ"^q)ߴ-m2\~2 5k'6d{N !Y0IX;%;=INdٌ壵κΡv5I^,q {$v]P U0b?^ K  8˖k~0HE@ O"VYە8yo>筙S9UI|ݑIt&jaکo RWD~_y WZ(EŇa{VŊ?e ʤG3@Y큎FeR%:R:ṙ pŎHiL$Ǻ _,ckXcS,̨bnj-cN fᇉ7}5cA_Fd9}1=ƍ-^x뿭LshG}ONy1#T_b˦[,d<<"!)b%A<+>m(Pӏ`,ZҫB~W_1r4=syiv"Xrˑj)ob`V̊zG]E4U H젲O(gDw/TБNiȚL߆]ߛLM5Q>3ʘh%|N|9\QĿ+sl:ΖK9FY#tm}cog保5Ac6 x1׷vZht~ŰQ{o=2) l2DY%>Dj^>[yg*#$vG;g8xU!9VoZǥ9znnFa}re>n\-(GJS(]T!8Ȟ8RD\IcmjR0[D46oZ8I2gQvϠksN}khy7NvbL_)VG KdM)|& }f0~CΖi̐;wwG &qZJ='kht xܬࢉd+ b#S< +*͙ڞgOI .]:TRyO "?GYE,A)lg3a \eH;asMkA/Z oZ ?a|b&vy @ #˾w*wA 9Ee=mML$͛#w]ɩTPD^6Ї0֦I*E:OCtГA6 c9FE1^ݱ0&]du ⾣P])Ra2n%j7S6k8Y58tY2f`$P"O3==ty#k\7dmėלdix_Hƒ+n@ DpNdVRۡLnM~QaO %J^ṭf톎bȾJg`i'qa(0NP"3kNBƹRXqcX %LFzKLx]#r 9j1bιB*N@,CD`ζf̩0+E 9|_&Vl6Xך*ƠR\L,INf0<7tz.b%:iRg -ON̰Q7 Ip̈2ߌI>c[.&=  |WjN M2T5n&{TBBcU^7BtGğ 3)oi[)3!T!|Q pJˑ <nc4[BXsCX/u`ϫbC|zP4M|th S 54!sbaTk*/HIٌCTo2Jf|GeW jH 7SwŊlΈs:k! 0V̂X_A,-c)钮|reC:WΕgc`ʽ -t Í_Nw`.}(?O"PaNdxAl*d HgPzŜ~KUY(6 XWtPh;NaT}iܭ“ԇFD.wؒѿ+, z>F/ڪ.m0~dmX1L )/h"iy\+VP,nD#^)x L$<+ `<6 l׋vu71 *WfHQ<=ԋugU(I햵5m>Rl,ЁҞk+g] #ipqjـat;JJ~rhm ['<7Z#ʘ⫨.]ŵ"-N@Gs UĦ`1No,stScg2ND/2 fGaIs:3r$ KSnnĊʰX] :eW*?4W78Z6uZ}23`OeG$ݢ vΗN:.eg:ѥ*a[U7:&>|fց. I`S{?EKV4}ZD3xQ4e-) L.9Z6=]]2QBτ0.&xF9 0@3Ld4gbf. a@Rғ[]8{oYSF*k_i$L0?VM0&))f(yYhc@KhԉoQol$3gm.pa[`E c%l,-o/EH;m:Ru\R{9d]wv]Zr݉zIƌv?`*2 jͷ!ﳊTt{2F̦ygO"#zĹNFwb E9XfAYur?j X' b R!A72Ր;YB 4 E Ke ŏec8!eƷMT3NEpC T2-Ƽl 4LsGǵ RIEhTŮhMѕ"Kyd49/ć0)v)笪Ț8" )`qGN.@vBR 5SÓAuQ6L!KECPx܊,} yi n\Q.Xz-Yg7uH5CΩM'N66EjY枃Jov*Ev&L~y*o޸Φ&>\(Agŕ]# b81$VYdi0K!ԃYRq]5w֫%Գ=F.Eϻp'&MiWOF7"m.F!fzܣ.#Sx#q/ =Y;JCث3oh2%tGVӊlكv$UxebF KŚ|0JHنYķDB޸lwۼXKjRbB{"Dq98,mYYea2#%)C 2`+es/\'SJcSt BM0St; UퟆuXm0ԟ煲&fd{wߪ+r^%;Qe89[ȥr>!I" `|">X?gmr^V`.?V{ :j֢~}󞽺\[jJ2(7ip$n_Fle21%ة) uk5wW:;7tl |Z:,z<#֎6IfdIs"QƸ ɪ61!w_uK xrc\~&H8Qיd[ m`S!ꁅ {ŹV$sL|sFZxp<ܨ=@NG:ޤØCd^lsɉRQj LdܽĜGݡ>O/a8{HիoYH!Ҁ=5vfx9>mXqʊfѦI " W>x JǘXQda "IQ[JJ9曲yg5ل)ͽGL  <ٖ5jjWg-n7Gp4G/AU/w^ˤMBwSOxI\Q~\}D\Tp>'[$Iˆ%Dk,M4g/xN)Y?lL@3wWDݼzzvd.bpap 3Q8O Z]MM `*ۉH݉ *fTd?z\R+[lP V~{hPܤޮ6wOiK?UHn+VQhR^.@nQnJ3&>_8f3X,znС_Fj4e[CHka =VO#Zf^w?,{?+DA4FXO@~~[W]%WMi-$:R `V dh=8:(vե`5>$Dp*«AƄftmP_|Ye :%U};,R1m`6"WjAo~( (3H۩F.,o@ΘQ2'JcdT09\j qAkݎጌ4$4*T-q?M: iw{dǸ Pߖ&:g6딗 znVd5׵4 G#.o@z#\CKl74PK^s4 < /_%մ揀2Xz09F4Z )4&sL `^=.Kx0Y>4nDo3X7n6 MYéw gßj/4|)Z6ⵤ`=q1bd|Bjz!OG~,Ux$hf _KT'chhƇZG4 jPr)W/޵kQ[ zӡK%O}[PML~@2 ^5MHq[pe]/=c#tUN%5}]mzԛǂ#UOKGM굻S*Sml䲎~AUغNڹ枝Fjx=> +K5Bƿe9:h+ W] HF0WbU`q8 ) WX*<tε,PZ115sAHӸ]iGݔd~Z/~RbBls1bz5$%pz\@7g{=+YB|$A ý  3֭.D4)"Y\$>W:1+f<^2Ѵ[e SX vD˰ע+%kۅ ?O|jWp\22$$iaڶM1vzI2nU1E凈Wj}E:A2&dϥ$.K!,Hޜ2wtj>Rf_7O~mZRNڽΪ)nս35XTWe*$cco8A>PEӰrԩXД˜@F%/.8 q*w!F2K"Lb7fhfd+ה`ƥK+^•!^+}31=H덼="ܮ$P9e0s3>(0Iy;4 A] {[W_W&z(:w͞+tq&/+{Jj\DZK'ܤC28`uq ),65xPEDPX f?r+ OkUdVQ53#=|aU{j]l1NiT^9~MG&} {a2G~{|X_A6i<')JV_es]I- dJieLDkd.7ww>7d#JW7`MvX#mOiSd$,r'G"mets2 -_NzMR_TSS1?#&;ƅį^TS]Wt3m1[l<Ȱ݁7uq U,.@Q.ݵ.u)]bh \cquտy0-cHF$wJF26G<ݜ6,& hyTXyr/&ypԇ_T0(*V/( x dެcQ2`>#Y>﹁)Lte wej!'@*:&sRL2YQn{D~TSlw-/HglvW\BSE֮1y^|  26e_-H@z2k]dOxStSYd7r8`GrrT\3B|DNB_[? 1kk\gaԽl10q8(&^AݬpJӊ7mV>}qVL .@sL%b3uJKKϋ3ƧUvTs_q<:_j8S#%6o ̻Z2'ouW؊޲IYfzꢄMf@#a/^4>:6݈t %|vɦn$^U|?JEzz8F|gQLs7.0! LƙyK-MN$=eT;v;/҇>rx=yS?k3r*SwIdn.{DZfS\*ٓ |HXF6@#S_^Io_~t#WTbOU>t~ma>##L֐}>\2yTev!,GǶa4\:(*|E?-e! PtK(ܲ]at !c j͂Q13=[}3p7pٛ}[?:F@rg5lHԖS28%~'g{W/*{sEs* &bfDOTlϻ>"\3xs鬗G4”ҙݯáuKy7P@F(] 05 Ux)E{c^/N( E0>mBY$Dqq jүR@ZzSOg0XZ.6Uץ-!x`,j»``LVe\` ҷdj8QTo*&.U(md\'G-2HI*fXRIed\=~2?fGSxsT UL MO'HaI. =|VL-Atރ"v~侱s7h@D=6^5~aλ3Y!y?q;7>ECspXi%&::oyԖ~~>_E\yOA,i-+ >%/١Jg5 ~L|!HHS\{ռT݉ 9-c GOg<Eill챱1pN݃ˊU|4"u&e6CS+)zgYZ   ;Y% Partial_Order_ReductionPartial_Order_Reduction.Set_Extensionsdocument.tex7zXZִF! *{]A-MՋhvG"uIBm5#'NQj`cL8,\w RN',-i)$;1lŇ3r|  b]:߾T~]x?rD)!S)8IO>iu]lt ,D )cFgxhwvM-r胭/Xieو.˹bA)&fvR\ RT~{av2I.dDPdYzZZ!漶¦N`P2!-ȧ^ 2]Jhh51Mn\~sߑ{ ŽC$ ҎMZ4H,&جăZn3%%6 }x_x*%]1eV7뫗eM8Mϧt"ž!ܺ0h))Mx1zqf!r?w͞r<RJ3 |2ͯ2}8GuϨ^AGog5ˋtҴ3uݴ$U>&.K:y&j h5Tܻ%"QV\ guy@Rbdƒw@#3у0p _? ]÷ ~$Wr@V 9f4_hW<ԷL r] 1OyW!؍!; sX Kda;h.H-@pyYKWU &5mvB9쑁 E#U6/d| (0C͋,r8e:fNtMg>!sPߡJ0R6l`>M`F/;c0NH{Q>&'Y82RbiG\rGew3dh"u jEO5DE[ #yRqc򃮣V6Yƞ6&|pH+1 ;Q% TPartial_Order_ReductionPartial_Order_Reduction.Stutteringdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȩ90WP{ 厹;j\҃z>E.D\IdmɊofGrMJhkH B]訊+~׬wГB'[ KMmwf!?l^UKʰQB3iVFV-yA #ApaZNhW*]TWOg RTXo5\0s2- h&&ai6EV{l;) MT$ c"Xc@jsaXzT P"^pZ!뗥 ~./rm!$;47\ZqɸͧSQlLG'v—G^V|>8SzgQ~ =H9}K@L=1e>FF 2* Y\Kq*pDtkޒ14^|dMd"EPr,_eҪX|DOĥt1vo,γW} Jae Cx>x~j|g3dQ/ZCUݨI&P1eQcWUxbʜ< ;,B[$eK  =]nZZЌ w;2j.2Pjfۼ*3j"6%4b |&=#(s;F@Ơ.vM>m$GO;#ʴZp#:dhX E -\뫐H_ پ0Y廵:|wT 5g{g$mHvN=lT*gpGg]|ŤJ @)s<ШeyבjnjZ_/ho#H:d($[rEl\CG¬!;;Bu~+km\,<"iq 9jB9${[w?#sK`T’ΔHVa9я>m-S{6lQjh l{pp+_냻ɯ#h W$tNկ8nuMfOcuX@<~U^3K4U(p,{(ƭǐF~)#BPN0}WDðU|" XeP]W BEWnGFux5oX*;PSً'T0edaэEo_y 1Q\ϦkYxGS^!*4ptfe8!Ԋ{nB 㕠K(7LzJHSBaBB6 duD62y)hԳB|k!\-U'dY*!΂tͷ:p~`΀y\ڕ(rG-見ѿe*q i{98kMSƥRR#Ha ^fĝ,5bW-GF~|uCC? (˖T>DfͻQ 2FG}s!”9/ [Q\ơrA'R}M5Ԣ$b Fd~xtyV!샚R<n J+aKya2[]o0oOϐ^i/w Ky_ Ij7B*1JR2ÎPIhcvbֹYҕ, ෯w  mP4V'bBh9| O(xU^?FǠHZ!F,DKuҏ$&ˬz==1VX3mȍ3 PIr_jɚQK7-:z`81yIW$PHlg<؟)KzQD)Fģ/$'" ]ئJM)sfjw,{ >2bf7'^VO9e7|8~`enrxBI6>F%a uk%k VTEr?}\';@`j(/FBJy Oe4>E}<*モ?fÿk! )f<>$gQ\FbuovlTQdyѝ.)޺EΉӔP>Ro:[`}Mt'ǺoۯMirrdm qBW7h[9Uɇj܏$I܅}wow; S{S1~+iy>s\~aZ:3oD$&'9LɝmЊ6/:My֠S5!gϯz@Sԛbΐ\Fs'!h%"O o`k7ن$7QaU5>!?~&oBVkc/r$Ui*K%pn7D ?"~s.ߞe ӢR[;*\ ~'BFʦ=%Do‚5xT,M4>T1Os$2ma<@jtld'ޑ3 }[,j_ ~VҌ`;W,M&lT$]bO#JL搋Q|6 7ͻ|2L;!{vL}*.268[~+[jִK fߏ'8ToWOy`5 Ւ~B7~șMG IAC'Z H{S5a_Q76 pO.Bra S,,RLAYm)][2m3je^ l^*ziE]1ae|Y3^I7BKm<}l8ܼhԬV . m|RHwPAl%&$>gz4bŒ BS;Zj*Uz hc\K{GS_`;ޢNIubE?&$ErGưGflfhA&Ov"OވgYZvpL}~|%//:]蒃U~ )8+?igG#TeWذ,0TSa;ohcF3Ԗcnql $Qb&8 ]  2f.ͬ3>b6Ew]Eڬlί,f']2+X6\$ܯ2#YMŬ?ijsfE)V0@M _5,4"e=w5Jit"AǺ#cuOgbJY*jW(dK;?"`~lgZ`SvQk`70}F\^T7cgEwXE2&wݶ+;75Z*%ϣ >"AT{3~[{:N?\ ԡMU҇ NPחB_g@ܝKI?L2FC`c@-ھ|2#rbM-'j92 fzĝUBW{Lx(jD%bj=VGͬѦ'‸9N튧(DJD*ġ`:!%,_V\sjFL wsH/0jᛲͽ"Z%%ƒyמ]OmHU7ո&r$C֌q0!?$HbmBWk܊,Î49465|fMО"9F btQWf~hq\*;6܃tk;bN }/D'^wS:'Cr:p{WC#x`jAP,$ VlAd׭mm oujofore+7֨AkE h~4Y ȃ`2,3ľmb|Fc[/5?aؚHV:tB.0Z NṥrtƶlSKbb`Ê1ȯ”f7F}ifjn[ -Jl2^ Ƒȣa\شra+Bi<e$׊l83Va{ӄ|̽TN4e~M_2B 5"S~J#I5%t Жz&twF<4d]M8!=c&y%|7l++g5ya I?B0>VͨQXcDžI6G]V)yn"\I{Ys}foDPSf'|kv=jg_w¸q ɕV*򽼥˻. o[)D:J>x!f 5+p<۾z4qVC^]a_0^<sKQ& [#P)7Ui_ʣQqLmfLL1Jg{iaf2~¦t^*9bkB+>>C\uVZ^ B&HS!7vǟx]:}X)TC3VbS$@JI5hwW-U_gAK#nh0^vc&53d2?DPqWt%lzl=s8Z̍cpX(uW$j Vɚ4 ys{聎^Z#ZKBt:O++_I[`ua Қv8K~ Qj|3vOM΍Z/zwOg"L`8Wu90ۊw'ŽiACJ 8]?@\"ϐB/qNh$o|UWj_`BD23"[2D2M(C6߈Aߍ%q?a*V "uѠ#3tO[7 UL~E$gM-PhQ'?ď"IQ"n>x/Gznt4Qw+P)V?aOJE8v0@] o}> I3/D/Tm2 uv6I'DdQCmlG>=n3LzfHl}t, >l60r3,2$%+D:aBg#Xv&q-΢p=%#LDu*wr5˛e79+od[\+ [F3G ݕ]v=e= J3!7I"!+Dz54 )}5?C5U*dBڣ]ŘMC1a-{|AgBvqğ<rlX)pxaVJȉeyFC%dGkn4EWjt>{t )B4?=\Sm6?nb?" 6ĽL,8@[\:y5pG.*0+f\uſtx @SkX0oCݦoqPkס? "ǵv|ajK`F&BoR|`-xdb^˘R`GH =랁yo&4-0Y6 ÑսͰzJLNb@I@]J]*{cZ']RZ>i9DZIa´ dtdA<2¿6=Q@@7J‰mV}*6=af*|(M񘁘IC=;'3a`xԦMR!#xv!&o~h\6+ug]gYZp6&x䡼2/麏x ?$ni[u^{Aw wP\O)೸Nɗ 8K춏+y<|a6k+8/r X8!wXGRR]F7&LV-ȗō6G'gҋVe#d[_\7/Lpnq6` ʨ'xVb}[W-eVĎFSnϔ(c ΍Ik%W?׽ߋ@Vc{ԇZ#-իL=ImL2)"%5j6z{o7|dmhQ&ca̲x4oN mFc ^YmaW:o<7GM@ A h.1c}*J uѬ]f^ ڣy1O4F JoVGDW[PQ߇Œ}C@l|6@cdAK*zh;LQ-v{Լyn @p*c JFXMDen]@8[>(8f6ij+{{WS(M?.zf?JFAES731'yk-a_KB-F <rAT索+$n0%WoYx&7f[pPa?@X]i noYM{a (;E)(87GCB[lCZQq_*mE xANe,QՀ|Do Lz88Đ|NV\v-P7vɱ[k_!߹7XcAl;`I#p߫P]gNe> A7dAs^n7#.#nLD#:!`K P%_Ӽ0URS%"С_JPFAq&vz@?l׽ni0(7Qn F-}c<OF/h0M CnqYbF?GFcq U: 9 n;C92`@wSS)iڹַ`j+Ux{ҷt'$ƷWUF.wOkuGIo;:/&u ՟<:yvXז<O\J)?g_FXC QOVIԪ8.tӁ|k?EĬdUÎr pq,0/U_񥴡d曣 x t'hXS $M$ۼ$/%ϪP^I I p}{Z..K& &@G6/2W<.^l`:/ p_,Ҋ_? FӐdI/x^XP8{K#kV15Y@O[xJ=·'T::/[j @1ݻK4w ď4O;77JMϵs ,?U*Ѷ`58G^Xx-v=>mH}䶩O+J?錨J7k{ulxWLV<ΩV r3(ƌ&FO˅vX8CYw\R9c ܓKS0|3B@\ZXLG`A):v$߱o~rLf#g$֙0>ZbYMQ@tĖr$~ `'SK{ֹ= r4"8mTjCF8ע+1 gOMq눕i,Ȅs1mg{*p~eǵ+i D?^kz|+ }G8#W/Eh!{BR;Xp"Q޲)oca@IOhN:dᱵ[AxzװP}Pwr%ԖM&dyq%<'zjY5J)GVg6~ ڪ[+c,V xzю&Lv?){?w7RB{r 7x'"zNeCn>f8Q̢ryfi|&a) H*{XKɍ<*ǽftw}1ą{8BzW1r7rԙI%)9? #KLsV@ղ$ؓP2LxjraTE<ګ0MSyhJd8+S;=ЬYZi09[]L-쑴E}sejC@u=ݏa0MCB|؛[=)[JgR7Zp=QlZ4Ѐ&ф6b9> v [npxZD;F:O, auuS$C~<"~3!D_SZE=;*זP:Jt$}f+PUԌ|g/ L{s5(l5k*SsSd?×J:AlY@H1ԔSt%/7aL.I$s3#B ?;QĪ˛¾3DՊugVGLjХ@Y$:^gYZ   L;_% |Partial_Order_ReductionStuttering_Equivalence.StutterEquivalencedocument.tex7zXZִF! ෙ]A-MՋhvG"uIBm5ȩ)e1EZ{rKl@3 yqpN͘mł'tWٗWhǔ7+m4Ĥ +"wU1d#H;5iBGSNga8Yh܍ ٠! n}  %<#e_ywl:yھs 8V iO+~LË)5icX {Mxs*7 Zu7hV}w2YEY /h;W% uo J aj¥%ޯowV6)߂ =<mX90kGzOk_j%6^wmh_ XY 7^j>A$OH̨yoĢY_ !)xf]y*J1nj`픜2nDCj+mYЈXEQϸq]zz/PT+^A]鬾X k ~{{FDgS;W;JdV,K ې+l ^nOǧGUIn" @ө d$5MFto`a?=z`bGIzi-PPXab;8V]mi]s%wH*7:Z8bOxKZ=Zb(!p#H>" ĜwV:ؑ )$UVc7~ 6uӓdI<@tGѓkg=ZO<"CpL.~Ck*Pjsk Ĭk SM`IDL8>K6QϙC-0p792OB pqqқf6tROs:u1VDn C #b7Za}b2&Q4QlFaJG`^˕d;YUo anDCß/01q:~?v&h{ciDY ?>PƦ)&y91?j?fߨ ?8Ui/_ragb !%Qg|STPϥؽ<- r"Fk>e]P[P/?eG5~pVN>{e*SyL ɃSQ,t+y]uNk0o!x_gIزAq^ 9Dj5 %w~*vnovIMiUxrAU>6G+!)T9(Ue΃?`;`zy4ycwQKUE)7F 3};wyS!S7d!"/e$v*1Ek"iƆ%|~?Qȑanێ0}Yz+xS5u2א}nߘp6J}վmae0Z5J>?7umc+a=Y0 `tDLrI{ܮE:8Tkf\/vBqwj&Te6jdhI."dw7U\I7'bFY .+*2_A/ y29Ul |/xEd5UN;GF>ϵѯ8͵,IDjR)  8SEN7=n.Oog2gY3` _(2.S:*Zy9SiJ;X%] .'H&'`J@b3w [瀪<4]Z;Ss$@tWi"|Rv3k *n |hh ̲fE}ZjE9 ߧ]ڍM<gy,!vۦ ~Kqr$^W_j6'WG1@ FtRE1 LuJ̝4nyߕ{:JԺήU0(Dr95j&3$æU?(:w&Z 3,$OEh0eʗS/mopS%FS2\o:ɃB9#Ehuz&%yԓ/0k(WYVly#L[\'?==2=R|R_V_T:@<}7x(Qc'\{ަ:`Z&dK|aדIZpEAXw&dC¼"?Tuy#߬-$`irw+y{ byfmo)+-/ξfOD38&>ИL4yQuz֫Q $;z^ hȫJnL.B^tiev)حį$3_BjXSȌ} C#,C[%Y-mJcyӝ*틾7!wE}?jr\֥Uct`iq|\j{wL]E2rr@ )X7YC!^a5--ԔC@Zc(⧘:o)^tYmsBFʊ` ~2wqs!ͭG0[Wk'l$u`8T/VM]-^"rgA4XRBZ`/pȵ95B] S/zge`&ȭ"A| pv$8ҽ,sbeP+b=aB(\*!.x{SLDuI Tm5',/;ve8"2M(Q!aW\جQ, [^eʾ-ja!.wFʕ{ iOFeMc7 R`/)oB`ңV 6ZL8㓙bCq-7:$jzkqa 4;,3/Uw1^zP4{6P c^]Uo 9Km(z\mÚmh( }]2?FP.]!7H+gYZ   q;Y% LPartial_Order_ReductionPartial_Order_Reduction.Ample_Analysisdocument.tex7zXZִF! @ ]]A-MՋhvG"uIBm5~8vqu>Rӏ3x;0 NW.jٞ? މMj) Y7UfnV̄TEi-&#)Xl9^‰!'fp1U|W̌ 12U@QM BY[PQ{ŀ㕤?g C~ϹF( fj3m#;iVj +>v{E-(v`)WV0焾Qw]-j\pf/Q;ğ hזfyK/u ҊM#d y6׻lTr_JK Qj89ZYe/x>v V!>hC7 5R05ކỐٿ8N^WB;ѫZ| ! %^K$UvL!6>\°U ̈Y%zDԆ]LJ]jx9a' (Rd*Gg7M byĥ-*ETOQg x7.e$f,QZ](XlAnPUL h5rӸ`᷍/0&y6SF[yE5 a=#<^09|x ${`;HTS#EÖb;%7?6[w`whkY|tjz`m"}yv}2Nǐp /"fM{;Ln6Ț1(mggƯ&A3чڔwhxb~@^85k3OO|= @b;Ϩ M2Aloh3?Ʋ@ SPo"umJq0u-MFrr\c133buP%ѓYjGʥb}2>ffwFAiN/죣} E7эvkޕ|xRhd8 3 rnܗ8w z'H{[*ٍJס.?OxDej8 t G4^s}uvǥl+:N?&c]Y%QBIW'ͅ<i2I`X'"Si!Eyt`IF\nh͗N _q6uo*Fp,ɪ.DOHul.^~M"PjjTm_2[qʠ|*qVX0>匯s5!щQ'F`̃kEpoC4AgjRܠrI.'cUw.! @NgWD^ȫ}4hIy,e1A]~ۣnx}O#28h3s$N7b*WUCYr spa%}6zks#2?KfciH˱JBSnnzz/yqiyU-bQ:x1AeaLhЗO>*Oȣ)4AFul%e~[vv.0+{2ߣ yHxd/"ATp~"7р Ł#cl<`RM}Wveu Dg3%i ا>rv&faLbṠ܋gi*;%ҲL|ҹi"Wd|crʙ‘tSiuZ7>so>aw0?{'[n#̫衕 |ClQޑuc??V:*rc;+x@Hl LE3>sÁ-*PmJ$:\`C'WʧB ]bQ 'tbP5XPʌ]gD$ʶ3hʢnZr9:G&FTeI )BSF,2գG ăN߮#sTnar< BĂK"q8uYv8lHt^\. )%߿&y;-r9f}T!\8|8TEq/ƅRo10zϑֵ`z-/ms4r[YHXm&/!ch-sWdT7 2!Bg܁SYxeoKSutc84Y NDbQ8Tw0@tsDgYZ {;u% DPartial_Order_ReductionPartial_Order_Reduction.Transition_System_Extensionsdocument.tex7zXZִF! OZ]A-MՋhvG"uIBm5r t7Y߄1w#gX&Q}uHd@ޖCN4{ҊrhOEEح)J +"gӗƍQ(tp'1pd۰ LG6;b|sL;-Uytp|7azуۏĐceBYx+.؏eTYChb|1>Cq?e_c{\0@j9 "wN A"Jo!}'j u ?$ qIu6T\Ze 䕼")EjC#cvKmxIߡj TČ;9lerZ$S?`~/lB:ﭳ݋N¨[-#MK'/ 6hdJ=-xP9VOv@2bBk=vҀ"Uk~8O@>C:N*cj$ocC>(ĝ3htPTg > 08Ԥg AܤUr2{˯VH8"SBy©mb{'sq'M}5e#%)VԊ+1Bd/ē^Y!l_\~UD:nY"q]e;bHa V;׃F2i_qlܘdjfd3XwT:C?@ڽoXSЋޗ*`39ۜdC67!2OKJm!ju^]qCDt+2U 4mr{^}sb2/\ȴ/ &LPa}q+-@=h Vl?#1^ܕ%RMe~ɗ{{//Djtakj+m ~`rqL;P:L-{? e%u:gunJ٢ ++VCb2`8PU~Q.RPJbr6XPx<5v@T[:tv5\0(`Gԋ$?v!Ei{ZKFCKhufC1䗱lPjUڭwH9$>1OI_jR|WT׽|g`G k "-m#4mqB+P1kט-.dp> nST8atxb.ֽhYmȳEr狦ȁ$q4m%l t}Q4ed!kA3M0)Kps-=OP$Ta*zVBp+ gd8'1:483$} 70-K0-Øs \҄\X;U"(U 3;Ȩ6?[tۀk8Te,SRp4MN˓i%ȱ+B"A>k,FvZg5ce0 "(NMVĜsz8Z^eoSDpQԈNԘOT`73aP}m?&( ';vc֤fM38\7XuoSU;f>DFYm2It |olEBP>/n\iUC3nets#!f0L)<* PGi>Fx+gp-ZܹHpA0\; J=m,Iٌγ:rYRkQ.ʾjĠTR&,-I&:G1vxdv43h`1 \"Lb~lF{R A|^"A.[ue笳_er%q֚v#HGP~Crbw7NE^2 b@/q-#L/oRY֩^:z}iQV1%4ξm!n^+cܛI$gWh("ؼ [s1rsCZ)@0rI1k+F%YFUUH|-GU[rA+%DJB`vQWpb,?"75p $ySGq?!у,ڋj;H8zQEA=ÆJtJVNVI*>Nt3 @Q-"HocpaĔ $}tP?"GR,N`bB ?btwgd.hda/:?P FW?~z,/#zƃRt饠FQ!Nw nbD,7j^aZ,PIp ŘsV*'9A(}%PS]"%#SlHo%vXuӽEɩݹFp1tS#vp4F RU?IxB9){_͕&tⰀނ80i -]CDCK9o쫗[J,J@@]j/*WWaN'*q@A4hF̸A chtYgvn1R..ck }M6 ˜1}YteHтS@iϞĺTOT { ; GO7"_y^28 ;4ɤa0gSo@*0jN Uσ7|t7>1Xxz"$p`+ko7S .Z~72UJԶ2%*"QQm b깒qdJC=d(x՘tۄ|mSrl&lD}6zJaH ^PH+bX%jz>%Uߗ&2-2;TE1l$<:h(;O7o=iB%ya[Y)\Xtg {?hSUDyB]NOx; djrB&[H,4$dfp O Y0(%2&,.DDgT} c߯&ҚQiX1.l*c+PK5T%YyVd^k!d 23|v,=h3hI&a5I595AAxvM ]F .÷kgp3H\_Q#Ϭ`O!~Yp%Ȱd+u1)ZFAaPrTCk>iYPG^T1 hqj>]0pi{<{idS5C\]ǽ\f۟R=`uIQG(2?ex13pjչ }7s/mM)lj6Nt 'ӊz;VF'G<_lD;~!򪚀vsV@%<Ągv`JbY6"؇Vo#gYZ //N;[% Partial_Order_ReductionPartial_Order_Reduction.CCPO_Extensionsdocument.tex7zXZִF! 4 ;]A-MՋhvG"uIBm57It;lNq;pOQ8e+Q@@cyݷ;~b#۸&6icϫΩЩi㤳'.3tfB) i'9P.6N3c8Wl<+@JM=&ڞ6^mL ޝy`l@Xes6ksesFdzf_o5.} mܢ=n.|9G&)9sȨ*l1Vg" G)B!̒g~|-@hȗP1%:!b'Cn%*CFb6֦<'F+xy|nb--8? SB4i$H2up\&[ Dh<*hvټ'#-6Lٓ8Ss 9EQ?23ɯabUl9m<`mH+kGJmH`G~x{PG7/P%L'2|Z.eejB@\̚i{vGp {Zz#yʀ!W[ەalq⠾Jڨvo-<'Bu)/~LIFx?bˏ w8> E+)BF ܡEk\uCjFUj@#8K`+Fܗ@_u8E`TyCc97A\1 iH' OW](J 6zAyS{ y >L)p!f:"~h&zH1eⅧ\@Bgx$=Naecg<߲^,0^G>ez5?*?`_O{w=,BkTfRi`GEqL3U4zCyQuU`L&Taʳ֊K`8&#O$wSmBy|KSruq%5#xz >D)D;:*h@A=& f䚟Ǥ"(j/і8?RElDm(tɘϿF[yM ꫼?00vvڳXS&o .k.f=^Z|׻i)2*՟Yr(%cD_-gjѲCPXdXfDP@o|EEC Y^O I|5 VBo.|ĕKܚE fًd-I(L%-6~6]8: -ңv*4Ihyapae.o Iu€ $i.hxp(6 )!YMuc3Y{u_7}M%ݒx@Jn}mu Yc嚟{t6vSX-}V͜E [옞KDaRhj{ѷ{(G%-W1"T# qK+z+(y(8:j]#余'KwOcEbqLE|:h8 g| p¶IcdRQseК;:0^,ɾuovQԏj]>8[g晉K(sF;7!w< PbadžYXR*v4ҭj\4E*Mcai荅^2kJK ۩|r^ 0I/Gp}Y?.E'3kz7 m+Zp(J#ke'd=LVN[_Cew0,y?=*p 0wGK[ܘ?0yD!&8~P]oCr0@Ec$t@.JZX(]Kad:>etY 'UFW@I%VX^ABn"@&CdO6@1u6?Xa<}gYZ B;S% tPartial_Order_ReductionCoinductive.Coinductive_List_Prefixdocument.tex7zXZִF! J?]A-MՋhvG"uIBm5zgi%HRy)r e#N*hsPȕ #1R֯k}[rJqa.lhN((h/&86LuIJŕ+d%ޝFHgAyrGGsN>Y(\T*|f-K_SRc`N#׌P[Xe#8%A:w9VRܩ~Mă]:U3Ru"e:o 4C1=໰ YD'a\}מ5"à-jWڊi "d{^U]gp+( 6/!UpmE8'SUm. L/fjv@昄ZMjNE<7+OĪv!q"~K,6pykO).snY,wbdx\JfCe,k? /OF rZ3wxtgUڻu.2噽 ,Z7V( ^HG8B-y(hy\TzW^AqdvB.r<;#BZE B$ TrY [?2d<,W\ apbwc˓63ior+ c툢N\[نtz^*HC{Oj"0*5lusvym K&(M W uX&_dݔOS v`iZ FBi'Xr9.Vv>`9B8۩FWtdP iw,gYZ ~;c% \Partial_Order_ReductionPartial_Order_Reduction.Relation_Extensionsdocument.tex7zXZִF! Oe]A-MՋhvG"uIBm5ť}(ܨȄ,l-Iclh_Yi!SS?Ȯge'.% wQ;Rk~t_R jhgF;28N'0:Fd[̼Z='8a!6 Tox_u^Ý#T sg"Y0yg]Ͽv|CJjaSTŭA RhPۦ%CKDR} u[v,GG';mCSΟy>p@7[C3}Cwynm?!Rڸ0" @Jpez38x,OҾtRepTkj{:gV(wkob|M=?_T$):/d'CM?h{}M 2dCT'Ж̽~TZu:aNQT1&.3~'"Yy:;ͯ7ijIvցaCTpx.,˜k2 C8,:_4\$Iթ+Q$X"VbSIVT׸wG=,tEoY!Q>T/5p+c)-GN351]Kgc~ Pγ(<0kRN+13pm" 0CC3jhyD۫yȧᇥYʋrK]2Lς#"۩Xi'wh4Kb&/ցԫp;M nsvS!׃&2v|6ؽIqPl ˮDWF* {Dt䜎f8~w=Մ"H%=ac{*5 g_C2 VX);r.k:} :-06b-2蠠'Xag 8lF\h@:V_+~>[2zme%,~CF+ٵVsl&ۑ.Leǰyu< "L* k/@0ʽ65qy!Fڰ ɏw bۄlHf=14/X{0 }YèB\+cQG:e'>6z!8Ѝ)_/+@oYX3 [ ӽ}1+qs|8arRSW~@A^{9m+~bz$ӭ2kJ~BlBT5vҧ1` wr1<3֋p$IM>u%ן}ď:LݴЌ(iy!BHߙ-õ _~!*|*I?gt_Q3jC~de3^A(+DKh<'&<,.js۹r @.I$U1'.($%CA_G"Ry8cxn Lyǫgo.*+ ռtg7|]˵Fh yG163E|$CygvciX=K@gYZ k;m% ,Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Tracesdocument.tex7zXZִF! o ]A-MՋhvG"uIBm5r t7Y߄1w#gX&Q}u<܄Gb~&}?^g+Um#6Zj;?&DRiëƽ+Jbh:P\|8v1.h8AQXW`/8v#Kixo7VDa:9 ї=?*KUό4 w$]kgwh1#^kgW{D3܂^(\EȪHdSf$4;GL5b& `mOR=):j !IN!"ɣIlhR֚32i\Y fɌ;PNOr| ЀiKn6E[G%T[9[I_'hΈGˏQo_~6GS*C)vm38{xbP H~\weՙV7;\H}4˶Gݺz+ɑ2Iޚlס?fqB%\Dj[*Eί?XQgh¡6Eh P٭Oi_0max/r $X9G$tHբ逫)_l$:JZt{詪)*+,kzX {e~ n;ou? 5Y,#bmGZnȼU&oIBhqleg`]tP'IyׄSa/v?z5dBoO&\58^ D{7/ֱ~1iK!m8N u)@nyh |yuc*h ;.ҙjQ[0T%!^:zϐ~ONױ!YTa Ȇ79!չv"G'VZF}*^+owqUrD䈘' RP3ܹq֞LkfB[*'M104+CL3{ :y+7l`+ Dw ː(̂< YQ?j'? Ɗ̡{̨B+;':& wiI|JYù髒Qyl :wS?/#* ;YޞaJa^Cca>}uheA+q^nJRV'!އ@ CnN8=B-PKIfT=<6 R)\nRLOn/ ޶(BH;c@n+:kÖZmWU5@z14:ki 6zbyAeDkK+f% NYugZQCÓ5ZyO'y1 Uf ܢ}^_{}]3Г,{vTYےV\P?O͌q-ϐ115G=/\ᑚ"Rwf ybZT%bC{H >XRt^}NݥmrQe <'"?LX) gezb+059iQ`Zɪb5}&Ukwk^3-H!:Nx*(\nw{ stH6gyF ^ƊkWmS4(ȫSbOOw eT?bHy5ҽO=e }*U,K+~ `b/G*kbJ%@_6ēiUgYZ ))s;=% lPartial_Order_ReductionHOL-Library.Prefix_Orderdocument.tex7zXZִF! $p]A-MՋhvG"uIBm5L9Y< )WI1\ScJxlCN'C"5hvwE9K5ozQE5lv?;kKRm WpVrדּm~Bd 82m0A)~3fŞxPRxLoH$ȄnP uba%Hd ]` +}ľǛ矍(`=Lezǿˑ6j=[w0t{?qgw)<-8淥2vÕ2ͤw$j[-zbœ(zXJV6Rvf| Nm-ce";azjW'տ^qXVv܃(G| ypl&;׃c9<eVM$pV_) 54gnt:'<{f)?t8 JvZ0/0E=*CT!AN֔gJ'IwdAXB/,yUxDx)6X\,Tɟ^U 4giE ntcX?jn=@.b9qP"iP-w_RE?#b2ܐMqr풚Q>ng0)oCT:޶Hz)!R03ߕ/&OtMsH\CU.Q[HL>O2|B)5)Do+3yTeU&}fv8K_*Aۡz>.-vEvFb Yb('A$ho>kj:P]7f^ G. ~CT}ikWb>݄TV/xe7EaO*1 ww6 x|^--qpb:^|k +)ӊ#N58.b_1~uPPKzV%6Z0QSZhAcC1`TGx42v'F[ zG /h2JP\T ݻ:ښLP?MQrK;C d=&+eBG|pS |  VXYLBuV''jz.xG_>lIK8'QvnA 37X\+lӟb~³XYS9|&ca $qR0b+c t|MCD= \t^CUvO+@{ǿ2}換&cL_~"q<1vK1I7:%qwz1㝷mjw#QIds3%l(3x4lTr O7˞"Y( 3h$!oaS\0.8ebg_]yy(t!n&mUL^txdpv$\YFbF|',;8A cIzK pvH'↗兞&JmycDta&)哩9`> \s*:R-E`u^c285T,4mRz%&aۙ N_0phT I^3f<8 `W#.LSj Wx)y\m&:u}XCOp)E"%*]>(~rp_X]5XbOPKiq~}O62XÙEP$f>qs7(B᧜NEfNe>ouKM ]ϼ%lN+Vw|"riڹE*$MZ*F+I;O0v9̶甋nn jSFkoe.N`;KGuO&#gRZ+YOC{(ߓ9# %I:] M'he8RG61\QOqGkX#Xϗx+h_h%M#A5Ɠ ;?D dCAPazx_\T: 21\nٍ3`I4rAnңOWwm:fZm7:F_HgYZ %%$;O% z8jWUzꅊb;o21+&!fvKq; ׄ:Vr!|~=̯\SS .=3R'n,o)`nԮ5<sJnX}7sFDc}g s x4{nvtI}!p@RdqHrv|>l!sIh iԭ3؆^w x0Dpft>ڛc^MͮpZ^ -Hڅ*BeؼfMBlpNd۝8Q',3?;R?F/ie Li--mm0Jװ) 7c}OU/xP1!IS0>85 izl/b fY*tKQcjHpuw# ź@~Ηv ˢURR11`,]&3 [/0В`3RM!@,O%U֏wmy\|c0 [|WӶi]bզ3|,+4ؽ>|8MݹJ!EE͎rMѷC( .o*l=.w6q X}!urekÜABgk ng5?MeGpҊ !>`Gc- [|*-Lyg3#nA2PE+ #(D{ # h7n\+2&,!eDcP Y\#elZU}~ Zqn1p/?f(|sU&9ЁbMIl߫WA{;Ȯa|< 4n2JI8~4KKJ \LWiV +41s`?Tl*z]s$SPt3G 7@:RR ]٧_ "<Lur]9h']Asa s<Ӱs*yGQi&%)"hB aXHDZgYZ1;Y% LPartial_Order_ReductionPartial_Order_Reduction.LList_Prefixesdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5В *(OQ Z:P.$ܢĺKT4.u:{q,ހ)q,H!Ql%س鄳UBA@_@Dva.ƾi"R{QѼ% H7$i(ϝy7^:AMLa/<~=2.f3eodi=R`^mðJj7(/UdY8n.ot}^~s]IQߪ~$Y+MB~bgF?rVH^LxBoȗ- A>dK+ni hN"C\O2H[n&ƺ l/z7ˆfaa&(6Wl29FAuC)4(z=b#Z~Cz.>ĸ7"k!E}K])3N쉢+viO6t"x N ./\:=[1Be3 ~wֈˠ‹d(=ό淮 B %Hn YE^+bG$4;|j?6D#lCft<}w,Z\( 팳YaW8/W 52dqy+|h\Mr&43l+0e\S C|Mlljvzf]c~x&U#ǥT es[;-67"r@v{nv~x@mXY&{lh!`&YI0J*j`d%nmxhjF!WC4o|^(U >Ly}y@! NSs1/#wND-(tp7/t($ 8ofw0Z1Yv_WF=&BFn*:5*_?z2́*dЂ*!y%T]HJo܎apLNg`"MmA>̓kga715T}* LqDt_ 77ˋdI=o`bȊPpqUxB)ds#l,FnTNFpL'Z, ˮZiܠ3Bp7_X߆'*%Z͖ݴs{7~ Nx]_̦_7N2uŒ/Ktb*}ÿrp^<;l[v]EUVYO CHLߨQXRlKƌZx?eLD'WkFԪu:ϒw^<: - aS:D+K~n=3*>*!=GMݸPv>܁t#IÁ(a3DNZz7|>K]B6~Rg_U<uS:x#8S TnT#r:s ,rR{J,&4O08ʪ3#pҐWx]uᆡQCJM=X %pΦ)n;[ LE;YiԦ%64_|KG u-1on-+[gYZ};A% |Partial_Order_ReductionHOL-Library.Lattice_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5gbP\8(iQkvTl{4q]Uc=7@2d+CMԟ%}I8uH]Bh  D[WU(cWgMNq?"[יthl4Ku椁`A0:ۣ _wŃ+ƫʥD *sei Yope`;[X1&:PCL!?1b2Ilo62Qnq`>W_ʃ>o 2sx3 fOq]`rԚ[U& pM&rq@1AVx;WIC3dUߚ3E8{-=!w<`zcK+m|xD> J.NibD=+͏kс#PrPMEp[)ZgG;{$ryA#9B.!tK^W!6VfKЖߒ"({4guP $J켖dT()@7BՃ26 L(^wp[ׂ9 =JbK:2{Io^]svybEmqsչtolS`gY49v$./p z7ے~)*&gYZ;_% Partial_Order_ReductionPartial_Order_Reduction.Ample_Correctnessdocument.tex7zXZִF! {}]A-MՋhvG"uIBm5~8vqu>Rӏ3x;!| ⰵQnU/X!ܨ> b)^-_|\%$K*Z?e6#3#'EX#Q? D)5/֗NW61pi#@O8 FŐš"ӓ"KAc;G uɬւg1(L0-K2²<Fc6R' (uAXlExA,k Aob'kO꾣8\Ec(r%ԁ-F5>kҝ6p%ܛ6'ơ?7$<0xv&Qtuj1S* H{ hCSyLFkF]@ѥ^(J{ۀckk;1UzX8兤`C!2M6 3RdGoD@mԆ #/t'GzRgg(XH[Q4nS9%GWT33]|~A<4{?S!S@6ÒuFH/A6dj.A!/` av\uf`LipgY&g7?Af7—޳"/|6W8֞S@}lƁ'o8/%dBDj[MD-df02I!抜$w?5|,ng Y]Eun@@BTڞض|bPqWi0F5X_m y 4tgYZ  ~5-!;A% \Partial_Order_ReductionHOL-Library.Case_Converterdocument.tex7zXZִF! A%]A-MՋhvG"uIBm5 1alɋ1^̻[JKך8'wh 8~M%_Ёk>>LME[^TgEid|CXs@"v77N`liCGs(5ԩ7>~ I(S 2ݱ]N~ P@'{~nʟjq箉DJ9J@*qs*% NX~S#h/`4 aa.?W{dA$Tl#$2F v[CgEG0<'77c縜c0sɥVxI4[|yUEΞ{z5zB&3%g6 N9wGʹ%΄m @CۗRȢ7iʼ}pH%{Aļ}0zφǺÁZ H;,{x:'1F KΏEw(ĖqC8ug$")q!ʎ E/5BEDd5TqzHH{:ZD11\qwtx}Atp#mVK3Һxvɝ%Bm»+r6VCG##䱾So9+ޤ)&EiêY뜚%)sb:-Z[qOz\>uCxFdW^ajSv6u^h}@ `n@@Sw1[eb0Nš {&'ȹǯ1niqŪ[ 8Njs.ÕX"Uj5ɀR P{ml/з:Maqx/7߃L(F*}y!r8&`|QqO@>.WI/VqV|uPĭL%,1t]è{RGY3 ߓqHgQl${F&y5 X k(ru[CV `Lm'/3;T8dh/% m]a@"\'֫ˠ")\•\!xYdD6 A˾?JcG~jÂ8՘\{OV6W@ڔ:hHxF%֡4| ~-IF9GxF-Tvu : H% ְߤʫ̺Gu=J!`zlN;$Qft97ݶ@6;w]\4hu5V*FPBsZQvc 4y,iɳ"ec+W ?c"Aa`(#~ lzPYM|hn;vOՕ}D>=](iѠҢ3퉞4>="q34sϑU6U`9HN:i3#H!'<"6vXihŀXS4 @Dռ֍`^] -uNC=OpQ%;5oegYZR;C% $Partial_Order_ReductionHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8t?JcԷ=ڱf~HD]zܛ'a"̼z^jȎ۰H.|zbE}8.uN?s@䭶 i=oY~uF7GЖ`=}쇝#hSH rS "M%~. R)Ue݃Oܩ]%hg]&ǻ V|*S>IY]:$ewfZW1n(xj( sC.XO%G{]/*`` ,;8=ko`#0Yͭ9iOXtWedӘ2~(m6OVDAo:Ǒ*1"F*~QX%}DTU&J ыǎu MZ !l gYZ;u_ʝtNtӯnYh4]W59jZ}.'SFy'p2+ZwGiد4[nʷe s8Ny4NAdK:fS=y菻6dEv8ψO;(LhFbiFVR#eݗ&T7%!t@#/$s ]'i BAݓ&~3qWJZj(*p+0JhL }Ķ[Mpg;x rF狭J ΈպjٓܒCA?Kо̇}ʵ} THFr8K1۬1$ V k ceoi I_SylPE_EaH4,B7pAbOs7挳s?6&h c\ٜӟ|(]VV_ss"旖eub4DH= oZC"m/"P ~.s1a {cmɛ l^{r )k^0'#]1Cu^iҠpEc 4)eqZ&lVĬAS`A?AnIӉΏؘ3q(b$y *qIRZT[ \\0ܱˌtV"okjpHD{d`g6'x:4\%LpE(rՐ04ݤ!aPf'2W6F[Of(xnLT^.VI8e\v8A *{ b}권k(p䢸 ' ?Dlv'%Mx1\ `^R1+E2"r2A]9_"TH {Ҿak"{GCobD0PApd8X_6:R7@t>EKm`%E6Aq;-I 7: >唑A,#;v*l00o٣:~Det!څof)sᷛKG9o ]j!Y/Q|"d=|$驁;T'ƧQz6z翽~5t$M'DΚ2֚̒|rήOk~cxMҼU#gV!"ͪ`}@[['u ׼eF|M\.TV's,)Oݜ3fVVWXwbp ?~yIRKrқGJO9* ]Lk{ 8 \d j@v_u18i«:p[9}F?y\{1f oUُP~JƥIPrP1mX w՝Y) 2y~N~W,B@ߕNc J\ #g q%鄡r8ѫ27R u׾$6+|$_ (FDАsCJ lZqsv0KLk7xEEԣ]R[As c|hb%g%~}uٌgxyck_"7)-,f嗃w/Jb7Iju*hneVqw)*1-G~wasb<]nv VJo`,:/H Kr;I>o1Pe!(`:wçs(E2JCrf`yGHF#}?Nk@#iC定p٪YZ\^$8R]I.S2%ۥ0ǟǻM|].vCń `1o^Ulj&_֚MXV9cLoͺYji_]t"tvEc6U-.nLDl+Ƅ@1Hud%y2Ex&ίߞfGm(mı;zFN+mj%.F1h7Iۋ8LY)bXҙ [;;}4T H>N&ϥ&ZtEId##2*eOf!K#o[8/ÉFRTfs+0G`>|C`X/bv >xЂg\A$^|U枈A uN,Uj-k Iz~=Cfj 㗤Z4nv\v±1FaeX~s .$ϸT)B(k$4[: br /K#w$0 עK*`ȀĞ8Hٝ{~^@(13᠞OBlX" |pcSzytY443KqybQ*}{ xo*cR{3=( t1֞QkmR_v?þ}4PF47 %!+㚟\!D=Z R Su|Vc/8В6 8O>>@ aa)נ(9%vAs0kUWM虃:\o0:2@9CN!H? 1A _K3G8<[6 rC sPS3E蒒!I\]!S| D^M) "/{A)N"e9Vw L1mD]$jgA 更hނs(쀽5ӫѦcf(RWۓ0P k%>8@ ]{ggA0]РXCM4FпcF⣍a{< GYzEw_F(FgOk G/bgau.I-m\-f{Bv0j;hAqt$Ҿ`] r%\)|0R85\5lN,`<a%oRվo@ MD$[Z*!Ȟl"{VSg3?|mIU7dPqIFX c8dY&۵ C["ͪ*Gե6Q jǨ4gh@^~ӤͯD⺕x bp6xD)Rj^1sB{sJzRo+_[.S" N>CÓ\s.Ou^M]t9oWekQ=h@êd~\77Nx裎?myqzMS՞)籣hei24͒[np43vNVCπbx QQQ㭱A/[t:I<;MoR_*o, +jsb"fYP8y4( 6J3jD+{@+ըW"N*ߔ>BMgTM;={ 8h6hceV]m|>B⩤ q'zI鍹gs]9G`Pj^נ>E9TW=ILwئUT!w}qcFP2m+*E9l-(DñGqBm)B͇u'Ϩo3`C*)Az2btQD ^gSdX\.C"F5@(<\YtM] }xO`TpZMOP,F\~FHP#œ1"p' Pi4SBV{8H8̀Enp*2+mk><e;g f׼991RRx+Nt;9h |xG7)ѸoRP4ޥLK.?ШuۈpQ-ww4{J ^&j.ȔV~恧_ &8)za'i{bZ6֧+ղ&$u 226 s1'WʂR+9TJ͗vv W fVY@x ćDcwS-W1!bײ5gՔ pVbS.bCU~n8 ̉@/9*mBӤAC pˆ#YV$ː) мיLT|ͥ mV0Sm̻.f+@h#(S)օ8Wd0ft;Ht#WWT5g֝Qoa+{wOQ*d:)k6QK[Y^B*&85?W*f9MfBdڡX @z)CE)!_{hobq xA*Kp(I5zSKZ+8hhe|:DEE(D;z/ *[`화,a[9(~]`Oʵz\&g0knŞ{^ UoAkّJe! > qA|/=%]/KF$nCx|.-œ Y9 <-ۊ?M08<"KQAv8l 5~1EԩP1!X`D&/-#c)ЌI1sLs{H/hrLRv 덋n=yk7[s>Y>Cl {D9x[FH`88}FYõ'H."):3gegC%bq9Ւ5ASS"P^kY= W4<*V_](]s0ȍ BUP^0JWvA,DVVP61.N]hO" 恴i,Wk׉N)%87tO6w\z8iͩi%[/`p1f ?H&m}TߊH(n;zf6; Tdyc77Uن{9>X<|kJG.:sBԚ*U{dU&Dq} OKWc'>eogVbՌK9ȕ]dAq jgpN~M"t`RI?8m'-R 5 tMаuU ?!砊_Uh[yjB$@= 3D%f^R(hDJKiؒ8.Y;,} MMy>!*+Ȼ*p}'17(hV3f6g?*A`!o$,Vw8,?NPrmYWzGq" bĻ&J8d~^Jl ُX)t!)%6ᐨ]VealY4gm@;4lT 9֧rYӺ]=S; ޚ{"ʏtUO#WAFeazRTlU@9t Iԟ!D3=8 G#4TpQ0eNOڔ:+={ ؐd O"K-DX翻Ν,'+ygc CmA^.a5͡cEe})@E ɇB#W\ZGׄcuL4ERUL;u!RsPV.?;L3I=I 2k%L$`aȪְˬE7KnW!9> Q#)CDKT9y|xECte}|Ό9M{e!KZ^F6?7Noᖴ`+|!zsiTʜՄa%/})s8RH|Z (/|n=kjk ]oVzRwA/{ FHB9 7c7=ŗPg Qȇ5EkmGh [H&~ێPQ4R=CUXŶ_kCJ{gŷcMZ|^D"MB7jP{IP!BjrŽ9tu\4S!JNT*/[J+jBx9k`yyTVԶ%ylʤ~ G6fBX|}MU}1 lHbx)*^ 쐰E<7TQv>ި'X [TeweRo-6N0Z4HTX)V~R'kyS %ӄæif)67&.۷ aiJ$j9:=S׼Y|3sv(|DyM؜c/&$r6{ U.~ebS< > ITA vT8q,FƸ 2zVYO=}xxUNt9a֏pN7񸜨v>C:fJyqI`,ì-|]˄ |pyzB%!VU8[Cpֆ=Kbʻᙌ&wdavse8K/"]=[rRW8[u*2^̘Fa:WZ+Xc׎spN v]ߒ:ٞ ]e؝ހ\@NјF4_D[-ͅiC`J^7oܦH,Hzq8iҸU<-2"ww(C |̓͢wskZ_SZfkp>~j##9% "yOC*o2&{uͭpx1n܈M3䮠xenq(Lm]Ae!f7a) P8M$ L-4VfZcۡXi w>wmiqJ0T}cKi : szCCNPr<8&]8ŜvXQ5SV>\A T/mئ 2~z 2ُmt9GFr6J &Æ،dn%S86Y7#G,{Gc]V=LݪZ=d} Tp)J]ZŁƷCz vM@djͦ}X)M>hMР"[DZ's+$ eGau%F-tdK bnR4|iB,fl?q_ʏoUҀVܹAE||t%.܅/p-Ek/tk x!xU;nX\$p&k!ʸm^L 3̻U͝l9 u ghP!Mxj9=[ nCA:ՏmXi~#/My'$b# J'XlGvnCI])Q;᱉3DĽ֝0ZP305[8O$CFzi/SЫ PѲ? Of Tqmi99k%1 X فP=v(fP6]*)OJf] O@ 8egj b(+{~k%A%y:\یu,l)`Ujzٗ ΩKD{ʹ;ܪ0VQ+1sZr/|;cj~Pլ;;L אT5"uxzXʤg&Kj 9X:lRxz lw(+ ><iPd$+)| Wjp3ip5yv?N< g}i6 ?ZПٶ㲤ں9G-.(TD-d2LQW%eBhŨtŮgtg&܆h f j4 xdy:4Qbfp~%w5g5hY(ErPK)xvݴ9t3nKncdi:_r9 .Mx\H #@|ã7vQo+ao%>9RELojZ  w q)psq n1,/;bdY .1:UY $wBUb%ߟO_8"Ímb=ZafEWiJ+f11l\Dm?lgǂ)څk. -dO-F|C5pQ^ˏqwKq+'ӄdy:BP}%%-AȳraTYyU H7 !$D.YUIZTzчKrRam? )+W3aX%f ߚb u=u+dy9Ηқ"]/nNfI+>(tkjJz}nGB4ZGnF,WG-,qkˊ*)#nt*q-Fz?!c ZiiY-SրELωJt!;:~)50{T.r*}ܒUs=0v_<;oW?}seN/I/q2q78ve|w6Cvcb*6B@Oq׊t ڏ" 'u11P{#j3DW!jDEqD{ϬШODcz|v@gBKd'nb.HsWL rW0o5vC>m>L}KD~9uHy1Bɢq7~2e=;̷xlʏvs'L}~6vfQ8J9Ag[&rď[`tJgWq#Z(du -:&H+T)8I>ԙ?fQ:m6!舼"=y8~-Z?o:VXDvp9JOMޖԏo:8^Zlo͞)hҲ}*i:'XLv$ե( Aah+8]6h3D<^wCj&N"Zb{yWK/ J5Qvd)re|mX)iuex>?^)dV,}rFFٿ,?!*3(JρC) ӌ$ c4faJB8]6.%$ȋ2b>8DӁD0sa2&ո8E Τ@h hzD4Q2MVȔ~SP:9U3ǗAR53aW51G:hwuOdnoO99+Ҧ\Z]al.98,I*eѻi#&SbGt'oV~kzo|푯p|VG5q&0ύf]x*[ C/Wg)6b[ʁ÷Z|?$+9-#.n^\bk4&2v. (xꯜģ|({7HY߬f"ѵKvۖ u\iZUdkU*R!~e/䡮ۗQ=R@R(b~n#=km5KSݜjaWK-ˎwqI;8)"eΰr˰/b`0 45`ƭfKTd0ǛRy8/r|ygn`St xό_-$Ϗcښizd18;6 xUc;/_jmu,65yUb֧kv@%O]̾ T#j"c|dCo;؃ &rō].Njh>Kxۏn¦閝-걠@-HٸGwT<@H2}w"?羬 ;]j.A ˯AqKGjUZ^kF= qC8 ݩepe1"nD{ԇҙy;uTjCz)TNJ%$tvP!~ #'HKIe1\q>Wv㙾TUyi~SB]!;Tj?pؐyoQ0 h4*@} MɖŪˑ550;bwhL[vZz/ꞷ*(i;}|y{P;A e戨ʟ#daVիj|rm'qlu+7b:GwL_Gkf{U{Ƴ=vCDH`6e_v3MSdGH5taڕѕw>ڡPn,K,G#aXʂ?gEdp:?`J'hL!v :_r`)_*R z-Bs? G}҄u43JyC4^Ke4w`Q9,^9@j]]3AhdAɮ1Q;ǫ a} E/͚slB^qd#+苃iAX^D豕$JrK7~A(==:y<5O q!=u_dzEdy34,$B?o,⒉\("`<'p 튗LwGE%<رX`a=Q5OYje94~Mm{h0TNt@+B9ueP$eBVwY,o5eJkhP`Й*ȋ9}2DS&sH(|$W%#t Oq'ÚVP-5U 'DnjH!@*QW$]5o?߬O LGwU48Li*hhpwQ)q*ۨC!D6vmWY/}@D?yF OϚ΄}tSZw7bN1YBwϰI9@#G1lCAGeֱ,ޝVz M~~5bih:+v9!Ң"gû2feg1tfI5[%q,G0i+װB(BW6]R9:;[6P .]#R"͌HXLfnn&9/pe+H$<#(TWZ9u5d|͇ ϹF4gTF f\{cP3H8Eƾ$&@Kx F$bVf/YznmfCwF駬v E#af(lگ::1/yf-rlA/zz^塸%ʻ#mP}?iog*BQ6\zKvU =z^u-y48HF@yzk ̍yڲ`"w՗kl=vC΃LN? 'r_9:TDxAcr $8E1jmf_ó(~2M1:|dcFFi+c)DEŵޱTKG^CUzxIx=~sA=:Tz_o%NؗY3w3[ǵ6d-' y鏿;.*耢ٸm`^7 S{-+_Q "ÄNPl>iZF@o#Y16j K@S! )s_#R34SzH? ~ɯV'ʈ|0 .AeP"3.{;iȥbE@/,w#K4dVV 5% Hf#AO(s;AS#gNk4clkȬдeIJKz%$׫`XȺ/x> hw9jW&`H#H^ !ty:_zmb1뽝o4&ǃUdeU)nbr$H3k*8QȄ y8w(~^k<{ux1)/N' 5aMSG,)| kߣrQ`{mE|<0KB̆Xم"I{v09,Kx!o3ۡx+3nһof!PTCsg1{$]L"=""l%z3;AYCY8)xր-SLm|'7`m# oObUP5ޠGvf( šJyӶNqaYA7 %M+pb+t?pGH W,X^>NcPF0CFl "Xs[^T6K( ugƶak P$M>a_:5#⵪&L`e:%!?#HvCZ mñ5s)^c#rvdƘȜm9 z?$?VMJ,* mgK/x_ lFTLĺ$LnXIJP21*ZVxQeSc,{]%fJ0rAV>曶p?5ӶH:AiF'HaN )nDƫwɛ ky^RA:(/QofHUJXx@<{Ί-.SIKi>eUhxELvٷV(wOdܱ`}BzQ]_fIx8oA!zJz ռ -H$&(ZbPR )l}!,VBJF7؋ǢP@\|; ,P/uϗf{#04jJs[ 2(iVօ^}\Q$~anEɘпApZUouksc9!!fm߻)+p7*HF5M]h ߶+Ysv‚? Tg^D/5V1c[D{ M"K^ PIFe^PX΀Ck B۷oS'bLB3B` җefK|RƟ*+!Cïk$Q9 h1$1γ[!39S4⁇IRm0oN=M Wöy 7_G)΄iQ&/BO_Fla"=+Cli=:N ̱4Ka7uR;#4B|(g;Wڍuut$҇h(]#HSe\ -[-] N(-n /  (e)nQ.+1ل*0e͆Kg1+$vx"pt%LL)!:o.o3r*h }n0h=>s `Y yOq?㖇2^[Aۆ~:VeRXr2қQAa1!Yc uKYEA.XQbWؖȚ]{NB}'(A.b\X>5M7`rA%g&Pb"ڪ^\H]?S0u ?P qQݙV\%sI$J P<6F\p%<±9XѸ8olXA'8߆01? O)%aH}ηeͭ婖u  퍰&') h~ĎwrajHt4=Lzy}J~_a|0>!b"T>.B9̱\df=/(PE:_i), ^]zC|(03۸#<=^rMۄ ?Y7AYu6-O]3W{mi>!k4+ٽj˵ >A^t}f7/vs&PڑX8EU`FwAC`ADQ#Cx%_W vsi[xJsTrGc\=.kd&"4Ed%-R fnATOpv iSbpZ̓qT\Ga8fԭL-`2bֱ+ڿhwp"똰O=)n,g7N ;|lJ_. rSl'ްay0AEm!ɣF^豬Y̮c(K h<ߩ|Ǟ Әn7]SUA*J.HX6N rυ0% l|]p_5RҦY"\A Prd6!JOȯp/w<˅Ѯ][*KMK1,UsnQ$jf*/ B[w !+I zB E_>S<^8/64~#$^D׸HӠ(8TsS{9M 擏& Y2mh>#lބ9 w)Oռ#}Y˨7U5%/5jcIL!ٓ^߶: QE9bwD`0ެtl.I2?)13gGsVhWBYo#DPᓇ!L\/eQdhv?l,lFEvP0Oŧeun ZcN~uVRWٚw@h{ȰL>UGﵷL8ʏ:7H-0+)C@{8.,ނj[>$EKͅ3i5p|9QA&Km%9J[ە_ cM<?,25 ߖU [2',t,|ACPw"nAI;DjS|Tu'y@&xWj*$wh=^'1pG֖bJ @ ih>6kRdDe#m;HX妨HGflnS zKvO$Z1cy1XG k&e1+yul@Jь#h*)kDF@vS0&yolzjR$;@K< ET e+,k2To'"TV;r3a)@k508>Z{8y$f#,bQ"M@T:t[߲#Ӫ\|͡Iŝist 0@!Yneʸ|fUßg"t{CVZ lvK ("8zh'׶˜Hv'48~1{3[9O`ES*ڥ[s݆Q\NfIS8Q(fiO]1f<P 7 ֜z_<֚r&$ *q;ԱJ`#T/4} m 7P='A@'fz7&m7l̛ [G4# Ϊ? (.gȗнo &ﭟGXк bu߈ݓ_WH'TFUJBEt?A?O_ bشȹ/6cmʮҗӽ3+<}qN6@[ߎK_yNȸ#~W[s8K`Մltmr^-Pt7>a^ivb^I#x~UVEɮ4uGf.^泏=QP8;m'>/: kf^[XIt]S-:˜%P:OEwݲ:o?< {b篥=RJy姥.SU8|M$­@z*3}eDec3DF,A}i|^Tt Z&R*ǗS@PPV|adD9olJ<0NZ$uMdjj qHȲŹ VrTqmK,Ҩ-'}VHɧ3Å?h'+5t6Ǫ'ng)?h]cEtw r]b\_U(.hY^OWI0[PuZ[x3F7ܿ)JaLH)$RAN HLGQ}Ԥ7I&ZCG@Ji&@{0s`Qz!HI Lsd))b.9";qPyC2.`?1QWYF#śƜd$Έ6ڣc o Pv^MGwH&W;xa`K\ a8syS361- s @Bj -bnB Zm7B7 6qBl?NӦgz!*8$zO47 1z)cK]@V?6M~} Eg3Ƿ<=Sp+E%D5b!;+UQ%Rb>/ewsQ[6I}4'OII!-C3IhŧB{ fnFPlQˀ`ӵ|Hd(E(K):]2GY=#߼x&k䜶#r{.tb, pR*`|<7o.j#m->-)MtE;`rjlxmBO@*OP$O<Ы#jWQln4~׸!C a76VV?{s ZUI} _OT)LQ)fųnj9e*N9HIƄCO O%'ӠS[+f%OR@Dm#*2t$y y=^h,zm&Bmj%v<:dRR/ÞYMGw4J\%*rʶ,M9(5Q&&<l0{ܘI2J Ijd'4J[܆?:ᰬXF ||.E<xO5^ЕƧ3l 2_`!}F1%T(dm!Tby< )͇jmzZaB1t-qz9NtØEϓS}7(zP~v^4sҿ'ʤ#r7$Ǭ[W'Y m`?FXedISIpT +sNs){ZrQQ8$ɑ- vڃU 'ݳT\yWOdY\/N}Fh=QA*[EWE,n𐁹gf::J@lf/GT,P;f^=0_'r>o[_jaƐ~:~VpA UfMOq>D@#= ~V+͡r{ozmZӴxdǬ_/ m Pj:Iwm tܢY8VM\m#<ﯙsmC{jR )+x|0X~Zd@s0A;tg:<3Q.TC,KSc% b[=HWs&IU$e(Ǔj872=~Lg 1M݅}҉S1؉Dr4$n RziT`uB&kmZi5ܦ TZZaoJݒ0(CM6pu[v h;{pT䡧 7ޫZLeu7ХX@6RL|{SFZJՑY86k O 6:k/dU);zXA+V")ovJZ:~%d s]L ֮g>^8mr׶O5Lx~90nEqC?<>P. +1Hgb gჼbA{Lg+c[X9Aܖ}bz= ԁ_CY(Hmp0O|SolMdl, ɮ `;Q"X9oZ`уv&~α$- :܆tOeqծ Th\r}EvL{)\˚#EKTdj:@╻x=x6[pp\&=DMIyq3@xUkpkbgfb)8c-Tk#DӁsMc9H戝K#zp`lw[nű@!fE'zWe~!(1"q2߷QKbKVSt+n{}? |[c$xNjYvyB{ 2C<6^RHٶ}~D H%ɔx$0jP`Ge 2&az?mѺך-1O[J>cK젬9z '~v0%D<&S[ al'h̭,f]xT)l8 AJ-{) ˞wtϤS'kZv;i^ 6]hإD!jLqnV('yRv hХމൃ6%*1fw_?>v\9'1KRycg ʾ*{-s"TrKS0lM׌SZ}0#GKjͅn;]Os4⾺N>ȧTY¾fg]V,1m`-,[/يm3tQLbZEўaZ&*0 lsGuqRO5iCTg9a6Q=&`'0D~BυO Ikё(n./۩G=ͩ!eM#9iDzo {u^=DT|YϨQYŠS]4S ESbeX׮Xqn[PPԽioZe*2VPg^`HtZӘdg?ЗE-Gջ ^fiX'@S{]5>YhfNgOpJ^܌{xK4TnyMv] {[KȠO?}L^{yT66d <-˜˶~s ca1S '.j3#czsXp<-]?XE^; TE)l!SkAzHAqkW*L8;uz(LPe2ƒ1a3'Na&{iwoaMpOVsZd޲ԧ|K›ʨ1 W!l $W9[#F7r^*kAXCR_'`O m$[yZm0ov*jv<3?B,%GV籏ʻݤ;etxq* -K4mc;;mc.2n|zHjD$Siwi~%J^p1 {ө{nx}ߐ_iuIýRN:*k%[!T 8wފ/ rm>$#y D-|"G"tȎɭysƣ^ڒ]fH‘Wr'P!x׹O'7ZihR',r Znp/>A@( RէY?@-1UZA;.)=w8 .Zsѡw:!z c(bimt$3Vn|̂} 2wV6ߨ0eLj2" V!]>̯uJ:eƖ~oT7,b˄;_CiIIz:2j,@/MBf&E XLsW)~`2Q#TǶͅܟ9%=wF !j$ǹ9VΖ _ o<[( X%4JJ"NӒPDƨ--^]RTҩxM|Ac0X@wUxt&mJ;V@j2cL%bEd=uΏ!=yToS$`[j*SS,4eB>Nܐi=x"IjŅI $V=Y\/n]UZ5(ƱVSAbWON{#uis'i$b3 s">}G&FKoǙQ8lcќDw1s%ń? avļ7Ӭ3MC sy)9M.|D@eOHz LrR҂wqM& yI ~X@s̲?Wme22EMZ?/bo&*!=xjcM.u糝ݽtͯLJ 4$aJzM0Kʖ[-%oW"=(W9ZrRC'5v;g&6e+l ucTX6T'<(Ǔl+NM&E<(72R8:]wU+ KDU#ZwqS* bZTKOd~!!Mu O!h%lOtܕFBhL]!Ǡd!^@Zf-nK cOix^AsֻHVL--@Z6%;>Y+쪵pc*dD-qgBhqAUԒG"X*CZ&`LqVe9+dطVNQِAqr:nA/͜0]K$|ɛ۵mbƫ|@y,Qr56"9YPv[l F^+B䢧K -ags%BN ;5UQ/< Azld_?ݣs߳xcҧw?e 4& 1OVP >{ߔ!Fߙv|;/i8HF9ҥxŎ^n$Ýg4[9h 3lb Zé2d|[< reݝp_9bH_&z"v'ŀ-~L_p>Ogq :V%&[SR7F5OզCkܫ~IȤ3 :~/̾QPb}k83b %E;E2_]4k='{.TK((ߺ҂U.GĤm^Ψ ёkʴ."63~@Iv]7L-~5wӤV==uq{;(~9g ;D٨R;,}7.@Q5D:a FK *_x f,ESёb#_xMM W>RB^}.>8hM-/ԙ"/HJ#n;m>LyT+Uv*nDۜT Å>NGbFaPӪYFD4 iQ';wipp6fS3.՟Q>?F%<<?LykS< 6vtY^w[N;5&j>Za-(l&8fxy:R(Q7f-goٚ>yZkQ\BׄMIeprd X{-8ClmR<Z :4𑮇h#`̚W4i|$O{ -?;@ ;^?UK{pq8-(0qTb}ZNg=۴$/%#8Hyn]FM3HQ)_Ʋ8F r!A@67Қ* {Q \*y mft*AyeH()lïbryNok$ݍK 3-93㠶o2r{DD+WV6mz^z?Qtp" d:=J[4 `_u7<V캭#'p8)|g)-t1蝤>{=h_U{vz&՘J݌:%oI5;uEcX) W!an>dߣB)W,sBN}<=))y_&lisS?S2<kWpm.@8aw0(uk{j(P<@$X;AEF녨.Ҥ2[=۷9z#,L%T#>]Ѧ>J7܃ p s* ;!o✝Vro._o}l&bE6KF%0&IxmS8*.R*vP a5`n,>A"<~!xǰV[І>;@qKgP56Dyu2-vO8̟_[d//jR[:@KŲLNdrya{ly{D~Bź)qRADaV>16!/ϾB#@?^eĐ2-Xdr%|bQgYU^W^.߶L] 8./dpJ9LWAXԗʵ p͵ SdX^.C7:]K+OX<:;57ೝi%cȝQku $ e)iHi=pGdy#ZvrT4\LpbgP+&[W+콏#kNqivSj(I}gp=u6dqŒ(¸}Sm:.뷶Uh5y#}V{*Eͅf {?냝K\ ? T&MinJmC@*'[N#kmѕ`ox ӱE3]+,dBBoX1ru%N{rրo_wZ]zk`7 L `äz5+:қ蒺t`*iޜ%yòY&s/VoioXFoB cș HWC~PHZ9g`:X@Q.Ө{Zk''e/0yoהE- Zƣ*3_\<?ݒyeWc`h쒁MmY5S( j6:Ʒu3LJAN_/AFAɛsRm]3nː{V0e\#2G.+*K11mSƍٳN j @y\ =kv"0:DʄX ЪS`5*0~wܡNKIy_`w&UWa1IJ8w,"iNnh}+q>H-BENC 6Ux+Jr'|CX!#S_7uf>Hޱ6_cUVvp]|f.sF@tL2!d;f&} CmbӶŕ!{o̹*)$&%Ѱ ձ}^Y򜤠~8t Y4xkٗy2jbCkw/ZGcHa ~^y'kMx^@Q߳Gj~f S%#pJ"Lt#a&UÉe1~}DC8U DVrj|*T^.Ŗ#(*ۇ[N'Z }s|v%&vX^n0P"Lsϓ<"˱[}mx44syTo~uMʚ~Y;#R(X!ӮqkT( ʻ YuYy)ґyIJ^rL^R'D|נuY P0vW-HM(`IR뿖!rd=x $3jUiY.OZ\bA(oklQD #& ;80(OL LV(")9gmfsWЊr(cK(_k˨iآ ;wU~`n#-lTLFYtYB%oڑaJ%N̼tc1}up?mcQ$yw '`psNCB Lr}vgêz᪍8R#aQ)$aZrTWz$JA;E..◠u-۩gΝLcYb$Ct|ĵFYƹ/ '=8lt4$>)v=d6·P(N^hU/BjMM8IdέU뒇 &=Mqlz:耍>E8¡C/Zp垶3c|UyLtiU>%=qft81S^P6AnolH47d~S$c2D?n[a5 mwE&$Ux7ӡ)Hnq15K>6!I \Q1C ^RyACo. l785^ f#R{&Oph4NhéHG\e:3HA8._BNիo kίɭtdٱR@g曀xM'&P7P 6*FDDBYI|LNQ $EH3l4^Ɋ`Fh5*^M(5&ewr_*82ַv-9?e=?Pe{[L3E1jR짠%n.Ǭbwt̬p/r4k:}A:3rl>OaXwyά S] # P:yY+!( K.qֹ%q>~ w&++Z-E , W%AJb搩&ߏ\,Utã eYgF "xsE,nVn 8N0!2e/Իi}lAYxlCq8Dhz1 |0ީ /z:p-6fry0:bf;dIkhZc"{uXe(ԍ! cPs)8`G)/yNAc':5%6lyGנd}; qI=aBe6nVNTA愶H:Ec0C˞SnsJK<8;g|oيA62A6gxz6 EI+ת?e i-c]&orPx+J?0kHZOuG):Zh5"apH%E \v*SVӫ.l+ 5+>pcs5^ߟ3~lN[#LԽ&d{7‘H'ݠ@BqU]FEFk(<;T>}LJ-3(]z'Oj= 5櫬'wIՠ l.pH7n%qbzI_Ć"Z;h˳AەUa41)%݄_dQDHJ%V¡d O%[w%&2 L,N'O jMk+Æx6Z6lvnL$6&_ZzbfBك\!\WO63,k`pl573Lژ},ĭ!rp#9Ed,P36XU%hDIgc.8'13*V<\!JVr^̗+00tݴkH,OԶT"i!6P%mt$HS%>'Eqپ!XTn,|c29VWxU{ wavh`Eˢ z@țMb4nFn||q+edY 2e~&/}gܘ/s2<{UNIpxօQ%0`5j^p7و by=o[c֊W[nh;5:a1q39)hx.-X$W.@7L͌y|8Whu׹໒n R\_ `L{[MN7}%hFæNy 7-W^Q2?DŽ|d'PS V:<`F'7ľE8DN,+S-[0.` )Ќ(Pt GYV 4"BY8!2pۃŮ9CtZ붥7\$j nZUThޟ$pǶ˚Aih# a-F>OQ *ݩ̝Ad@kQu`sRǜ.w"Zs|?ԏnԋӇғ.2~O0W4O_Wթí<g Re' e&mCans*`s[2ݛ޳U 0I|jc!01/0n}Pp;=tg"@>QD0=TqԎOw(ZXh =8UܴaDq{(A . Tvj1'i:O9:A Z'JV4휍#NJ L|MT+?%mgGvf:eA O ݌uʪQ#A0)a-j3Pm)1qFXvr{~]ԛJ 3P9yc6dJXQgWcŸ QiԼʽ[by¢S9|N6xPۃ<R{#._?sߢLd~і_3ӜReruW"`&h>dl '{oW鬪Č$h7sYghx*eЃߙc~vA胈xWD-*GnUPW^-N&H꿖 & VR -͕MGqp;7g#VϨ+dпS\{pCN 3sQm̙,0Ԣt/۝\}=O׌P>w(?NB׷A]w+(oRXm}*of)3cАc0'ȗrӓAF}¨z[BI#wT DƐOD1G&y$7riE!c}X?i@P@\˷{M~'h (lRWҊxa5z/Y(jc\LMZ {>H[vܢAͤoeb,d|4:-W6բToE 28% Iw7.lfzHք՗:~ޥ$D82i%e%7oUOzZX?$V8e/_6֒׽1! f|[,+ID[);ts)0M^W'7_X.ߐ>(+z!9ouK*8S(XȞky*tlr~`<09ъ Yؙf,f#q$3ۗ%2&f< D>jgpM?|C'IƎ/[y.•[ O*<`)(T~"WO)bD-pȣ04'^\ wgGĊ]lwSBf;G,MhX6)6>zSH~U&C*F|S-Kdve0| y,5paENtP %>2ğIu÷ret`UCUɓሟIîfWd l[ZgKBW 'd̍/,O=3j?d4qzGH 1w|p U)>}_3aE)pxZY_'µoB^ɦwu, .&ŞѣƑ;kւeuqpIvh95Mn/1MU6z-q7.`^ARډ=u]3]z3$14^"QWj9 &f`c-?HdH_{ ւ㴬Q~E0V3ˆz4[b E^x>O/TPEmr<(&^M ?5ԍP(p^B=Gu! V']5WFua6x1+x2OsA,L(.Lo=vږ_9F&l|Rc ʫLMw !`@Jqe5=3)7$Z9gqQͻBsu[ +-G 6WtA-pPp[=TƘV0nmM)A=bt_S aᙷ"4lx褰-Z 0_(6~Z{xVg^suufDzU0 1B+4Y6]"S~V * Pe)+D*&2 I9Ww~#ЉOOOw+ܟ4п>ݼ٠n2L`ZU8D2l.,Αm#c PKcz#cDLr$/M[h׊eb w[*e|gr2 <> ߜ6OU=lধ_4e6\$1*yVR} -/[P7Kog'L QjPH!/g+>Hrv!t&0qh|(~fy{xJ_t4э?LѕyQugdW1zϧR^ Τ"|'̑gl<˛hMRޗH Rr~2ZMp/zܡup:` yy5Y);K(dQ^+g ~lA_*" MR4 R|~\*c1?skF`c"NޱdE`xSkC2 ⳞzJPvg"C܎jM)R!t~CP Tפtͥ^yz.^-D/%Vۗ:3CI<]iNͦY[JI΁aNԲe%˕{|abNu _5WH* 4ǦbQ/@IAXjw6A--ء1aq涠Z21%N BZ/bF{q~lNvwUQef&k~nfEdrg!bf- ^|.vJZ#bϢcn(7:k)ښӳL8 頢'|B}! N mIVZ%p ʠo'eu./s8^9OYĎrN!Hu޼J[c] T3nx4@7Y7WĮw#ƷKMe6C pY}C-i*e1ʘ#(JwZFTDAW.׿(x(]$uAh0Gᰞ6N fskvFI Z@$.rCV[ 7eu3lGMl\z5r}#ZuJG~: 4H"v{7;͎x_o(M >76q"?[C?Q 7D)xdy0qC&%O-^)h{xN)ަ|;K^3͋~kOgI`T6n<d#W%8V 8;xhޓN.P}tdWV/yNY f~zDSK[Ue9T. Ľ&2qS{ ߾U7~gPYvHoјđbiv$#& MC@DM.&oBؓj8*cJ7mw|;ٖD,r- Hk(YBX`Oװo@@G0 8NNuN^k"gEi'Җg\stYUGKRP ZJ5,-y %_2;^q<ŰMS)>|\tO,䭄g5zujE-sjIdSA$y kAlGL!8A}/ T_TmL LGؼ@Of9hiIA~<)>ox~G֍(ʚMȯϽ.LvK\41qw|أ?̨%'jECI2+ Y݇AT`VIp&M5Һ'}|~(?Ug)UJR/ľu3Y?dzB%6Q<6TJxL6;ADB *_gx:-Фg1$bJ]# Yt <3Bi~nnI1+,vz8yLQ:ŀyb!]qƒN5;5;_#3$RC)v.X{yFWjqXP"lAAdCZmւ~yE?<&^nC[&];I0zm1u%;%sY0)bM"ue̕ 2B)cEW6]j1,:&9[5p!O"\?G +pkr<#QldVt;C෗ol13Ĺ>g^Cq' yx:v1YѰas"VM9O=u2}BdzZD 3k5[k:JyHڂlJy{ 0)b;6%h9lO=Dwq?Ewzl_{ !ujUNDI,jjkhg.2s?PJ[Mn1&Il1פ7C,<:C '㉜boumuVOyI~S@-CHiӆ =u|jiB 9f 6‘7|ɲ#`1!f.Rʅ7e&z^ VL1g@Tl/$:AzeE]3I?JFY%8# ͋j'2Kjx 1+Uxma<֜[uYkΫ 7^?X2&5$2% *ςɦ{y50;IsfU)^%Ldw-/5~xP'/ ݍ)!ei8(“zb_ѝC0OJ\Y;P>Z_P2].FyT$:m0VpXX9|NtV#`mߐQYiS`dPr9Q(\P,l0`_?c( KhNp4i]>M9hSn?_d} .ƞ@h" >;" (~qS`l B0mRycq0Hd,to Ckg!8ŝo$p>h.a@*~xh`h{`xz'*^ڹFl9XW,qOnǁ;^_%Ω"ãq0$pxFhiE\d/Uw[wx%G\X0]w{? <A޳B7[%bĦǡUсbW 4N.6L4d}5z ȗEQ#\~kG܃n~,f䇉-᱃W{y][*$f2[Y4bgwq'*5 0==tMU'NnArnk^.s]Xo JLE? }iD|\vXEAմO윏XBc e/Lur)3*Cw1=yg\ӢuQ+7mT|K^U^rqTJ'$Xq@N g M"xvj|MJLzf_XL{B/b\<'Cа+X|u ?͎]k5%9lpM}>Nzޙ!a|J] %Ǜj?0xC x# K$:U )_5 ? 09{z?=@%0$7&B#Ƕ)WΕ$wi5=O7*Ky #SU; %rSN~+OL\D)@vJed4Z[ipzƝu!𬺰@ν,&Mjq*}Gvi^9L:? K/2?w3kq³ÊdoƙHƔv" _nwcv`i#E (VkG{s렬É>&Zf~cϮU<* YN :8@{zؽړ? FI ]FCcS|?wv g֙u[n& $RTAG%]]LLB@N WdCh_nZ(voPvɅ 9ԭ1d`6پ)ڂF꾠+# r.P[*שRkay˄a$<1'[ <0lg&f`I1(dĭ|HrPx@Ug:ֳL8EZCúv4_V3`>PKOZԈi}Zǎ}u4PrﭬoDT=nQK}7qk=n';]*t^X4 1'gG#ٟ-8x1NK7ʍJkvT1@&Pɻ %Z͛:-p:bgnm7OՄη.[:y'|6q.6ŝL oHuGD%n޾sOj#4e|[> V;C?R'lI4W'2rM*A#JbxA"5%l-;-s? '~ѯ"[1lӲ\JJby@I2kKKlđ 򚙩$t#` ^j+Z2+"ܝAJ;%Mi?&氪8oCL?e Z]q}ڐ0BCl8-ifpGLg?L.#@Ђ9J۳4-FC>E8>n_5F?H=IjC^6_$X^hu, "cgtdDq,XI1*(rSf9amiQiR{"=C,;'^{}GE6W|[yE"2EϠӓ9S.S9P q囦Y>vk9L#h M8)`[.Y\hy*|KSg %n]Hʰnq@\ٰ݆v*GDhx['lC ap{^zEG2'u*lbVͅ1=w wYTM &>z6S4aL Ծ`^TqE<6VYwףx髮pR,3\dFK(ǚv^˗$,Fbް$= GSQIBnWVu?2n}W ߚQ JE&ĕ.KW<&+4?5 ZėBwStrxxM`xaz&ar@ė Gv!ôZSl.l-WL8K,v#|m0u [lĤ5Z1:Q>;_l}雷BS>KjLF?e J1)C=8+gΣ25NeyOXZHo<0E!>BDINʐ P9ʀTqޘ jCPuظ@yCzQbΘ#Gc&ac[c  W1GazQI 8 Pxhg B|"[T=PZ!ڠrԧ$}G cBȦٰbm˸. 8 GАl:h=hUDȢ18pk;h5Q|T j VyϭSZX.,g=+]o#Yd{}.c 62IݝX g_'\Jwej9&moiUh>ӿ!0Z j_"C=oT\Y 4@ew**{?t{kkf&irկ-M/W[eGNд|mYj`wa'31}i͈/z YYwD>`EtıMId6sWu~୉מ0vgFir&ukePH5ZDרB>j'jusFa΂ӜJ􀦞:E,7<TI$EpCSYd?M,MEC!><ȯ\8=A!Tӟ{ֺr s5gA~dez9ya߳*0GoB2Ug'}QQcFϸj=$BHggK0QjӃk,OѹGcp1W Los;NSqޱSTYau4Ϧ= g"c)z T:>RLbS2RDP>WSmR`_X *H?ae^ǹ0mG-r ruyB2;tu[8a'VR{+]o"#nB0엔+pH_&[_mW6YLle'绣]_ر ZZA|Eo* w#e"iYC7$?V|bo[Uؗ]Æc9{ʆI,iN3rn+Q̲!X!Xb9O=wȺcG*l:cXWYTOy}̈ND%3b(d؛QB>pv|]ČdǕmuQ0}M%􊠺wzgXh''q|!侻 ߿/q \nDLk~=ҹj!2Q0HRY|Gkj  N'34?cXF_Soƃ:4  Γ'X) pkYC0Bμf(@봦jQzŖ, tiC>WJ߮֘FQ@-77)UӹץVEYRyoׅɰ:|nbzqqZQTȸ^[0DX2NR;yζʄH43 K\ &`N سQD'(ULEdl8zcY.d*]U6 v+5A%2~3lh_n3"BZd:cM:T+5A?R+k1)3nyH<|̅ g@B?e٢@ACۂMTPeAƎ3/%QԷ98]CFG7]һ?W[עe$ݣxw7C}W?Vö>-Ԭ[]ծKzt)pݒ]Na2D"4-fFuhD{lmD r6k'ˑ!H5_$ @tp5AvkS!Tlt'6*$(Ҫ/nL0QD ʦQ>pji81`ށyJ`E7Dl/A'HmҩtAT]8srAn2I&CJ7MOӌ\'AgĘ rC0#96~6/) }+:k^ l`!v`u(qr [q$ګ(5Ж٠x je۶pκ mGXfzZ{G70Bq@#M˫Ӂi:BR ,aCH tj C l-cWkb"kF3!ǣ!ef4+t~#oͶI}?v+PF4?k(n Tm?a7ㆅc6Ԑͯaׁ^7P߀W@"kj9t+.@$9LG` U43+<q2޶(j*3Ql-A)u>5vw&j'% h)|喺EQjP/F7DsBI*AES j} j8=E PK|6CE9h\t5W2?gaɼs DI `LDh\jɪn):wFshYc"tp@1_tfVS B ;9xJ)rdu=g?7#;#Hg\ P;ΥyЯCzO>4ͯ%.^whG/h׸Zj +4 6 rYh)8YØ2$4H Z]sYoC 1#SDCE|=نUJn^!M|~ڝvXoo}k8rL : ?8|O!CHRgɾN4WsOH8D:6AgIw=p:/nWG!xLIg\`btuEӃ+ k!,/@&"^:TF6MavK_u#yj; #rvc-'cӻPQiq$(H31o{0&j- !'@f{VKשqE>Cs1TZ OȃMM-K[eEoE OG9_#RR1RxMvx¤ O(~mGm;76ȱ&΃jit̛#bi]30Z aJFQr"|>;wC'vE5 oa0{זv-c ?ֆQwvin8s6&_FM@$:m+EQv#)kRyL _)ޡn;F9t No`l{2fQz jl$}|*'iG.ն °7|K Ww!"?˜Ndr><|ɮN8ϊkf0ŕխ5DB'h,eH|zRqvI}+-ĵZ{fäyȭ> d]ijT*޻1s8p}6^#dY Qq*BLtyimi:WՔD7(ܹtw kN~߷;e͹m y .$[:9]u$fW%?Mw{1Lv%fRQ{G"IϲH_pf:|\RV@88#\"R8x.$jNrUou0}oh90J&gѥw+ rq]~Hbn❮ xYgUP^H % }ˢX_ɆDbw.=  J[ q1ZYbai DĔLa [` Tj9ÇRf{bZ5rJަYi|8A@N<[_%^f%6Üd3uȲ&08KؼoL7.v; L@g$<%^9)\܍z\tˣg쏄o3]`Գ S u_3Ң֕vdX R \l^aC*2g3G$I!&2*=>ma+N`a֦#-!2Ӕ q<&PV"][${˲#D<6I]1.и1JzGBdYjՏ[ _vf#?l_zϥ%en>j 7!妩xO\YqE曬|ḻӔN.G G~:huܦEήy_QOI'yku[{I{~"ئf)+lf_nBp?XPK=V?<[8߽][ y)?z8Ip2k?0 qtģC <)PA6AUe*RIkPHt: ֲRy꩝z>C0Ni,F a 7W0-,RRI#:C سRLhbIQr D2hZ}1,}+Zx? .$߆u:*ߵApNQxdqEn]1uOFpoDo:Ol ]c{ckgۓ*1Oa7s4 <{-xqϲy>UdYK婍H'7&p7;9k9MV/+qޣ7*}^-;lL)q'vt`fmˆiauDofdTr0f#gn̔?8V8;fU!Udz8D4%-TLqOA[6-yZÅ`OrvevH,HL7ռ=X/u䞞hb7̿"!6&1,)(w-<v3(㉪]tcx&[YyYo<$cTjO.,mLh絶v0gŠϸ?,c<jb fam2m~I@`IpyhUwX4>9>sӼ˸}o՝Gl`uXeȫgE5[_Th/}BVixG'P3 dl~y,3&"S cfG!aZ9),jkbs]tPhT/z7&ڻk; Iɴ:AX&ī{B)#t,=݊^ .TZ8iW&Ndg~0`0WsDlsDa߁1XV>QC qcN;="6w a@9ki/O"#?=pL}ԡ  '`$ '0- E̐LUiq'WBBnB/y#k &PBLz ;?Aj;)_Ҙ깏i$ՠ/ p#6Wvd_l `qYOx0B'd3c,xK&гf y_$|p1OZCϞC/#9?C>t-YrxOuש`,ow_] PrHD޽̞IHb'ʫ왾RtT,Sbs< {,mA^ j;w0mswA#*fdiچqfQ :`*\Fi6m!NiJ@b"sAI}x,h?;[h=:l[2LQK5qk>L:NR>1d,?PCJo4SCG%yё%h ɜ/髏kB?#rN[,,QA Fr 0v~g׸ o%%.dDX1d9Pm/e h/P,ƶp`q fA$C  7/.ĊNBFDRZ.ܳ*?@MS1f(/J,Wfz7b%}XaVX5 oA%=ڗ2Ty/Wl01✜Q5crLvBUinnцwEuoOV&ϠWO?=  ۏ7|w/7HMzd"LMڊvy>ǠfTەG֡{pc-f՝?wf0U>Β6ZB0`/ `f_)f*VgI(GI\F}9+ *)) ixÖ7p,I ($nry"V0Kwd.͸е)G߱sGźF ִLذPAZ=1\Ll&7YT&LRT oҗ%;P@i(9f{l;e6R4ݴ|F(6䃷\9 uɩ&܏}QLw̏#/4nTވ/4mo,H3uU'"#f5?C &K 8Chݬ9!n7ɣA :MB6LeX~J% cM[u(T(WWYT^8C%ܵvbQ>"鄡Zm0_ܺjLhA<+v ݻ5'ejRPYK@X8Dz0_/>2mnߛZ刱D W*LPa3uy4Kw gNΞF%HiԉR9MAOfJQ빔DI݈0xL@]d8n?; #<ڲ &A>j5PID(LD(Y'pmulX I1 U?7ĉxR](vs2 t W_6$k*ws9@KN)R+6Ttܮ\z0]=a-2v 熟E0bG 9,@$byV 9V|fD텎"jcM1`^5) Ȗ\)xUޣW<O%(Ó9_&Ts/X,`0RI8-oV"ȅZAHN"xE:wbDž:h:4ChAXu;0Nh?WzwՕÿB4qWୈذPbLڱlYO@ICO@OahN74P" q8lC\$tT}Rߠ=QVBp2orN#~-t*e"Y3T4'g-.K ;m< 얿~KAFZ{ q7Bx]S+f5֗;Eڪ07CbABLt[aXTQC4zp &Gȥ;%2s,q?LU&.(0ceqEk<݆Dx|6?Ճڜ}הq5w]tPC;e(d< J+_4K>%?t"V#C'9=r _,Wjx\HYNBlDbm&͛ .)`%Sܣ'@5> HLNfkTγmV_xJ s}Ђ]|D x{q`ZͷG ,} # [r 8;/*U;sҭxf7]Tlfޥ.ۃ`dAJgz^bqL\0nfN뢀w1gآ/r_8j[.Zc|۰2Om!9*PPBWC^+MWIS"|4+R /g&/R <P 9|\9vN BL]JW"y5jB8̝d"k@{΁Yg<%WC9iJd@]a֣!*VΏ(]EWD6s̞x>6BHɥJfA{q>XAQʌ:>\5֢gKg}FJ"ߙ6\r3JS}X@st7Y𠎈?k==)z)8I| ) \^ Wg_+)fj+=UjjtF'VI t]H߫J!\pY1 [;F2buLKxg6xyĖbVћmId//F'Fr?B޳eIx )@ŵ^?a- ™3Kr:srJv.&%*<_*Pp/%^TCXy90cql& G WRo&RѳKy;'A27iVMp+wa2~ ^Xę֋Dhݬa?TTgu&%p~ݗ[cRVZm;SyQ9 D{]ªAG_F/dUHL\z ؄ӣsLdrMu(?U"B1eKX/(%0n\)a[cփ咑[kU"F=&0GzuMFxw)k6ZŞ ?. C*`Zb'!!>F%qlGx7شF|?Hϫet5bmCyQk̦EOV6w$:JqCE(1$`BԃmBDk&ܭմ+~cY;{xX*&"tWS @7LٷÎ)5zz<<ۅ̕;G]"V ^)Nb> 鈌qo%+O4u)u'iu7[2•*L5?˭a p 1ERußS#m GKx*0cW /f^=CCXH\<`,ijqIL[oypvr {AZBv#!*w{3 g|xiVڟ8iL 121{d1#,!J3JƑҘjznZY,t-5" `xS#k`u9(l_Wo3t񽻶ׁiv-:4R.x#0jueƅWbJ+@{ZE9M`f,R}Θ!%>j;[RZف8l7)*_fXZ#3s zIQJv#@NaGf0o*Yŕh7ncq|/HR40U8hj!qnx`!XjLC@$K t`߅ɂDf(2d)~1.JK w/qKc+(Ql*ǽ*5_o+LG: y%x.@P&NC[֌ 9x(cӥ(tn kJnnKZq1\s\jɛ]>4}̝LHNgk6 ʷB{pգsC1 ?gSu>HE@""?8LAwmL[u:={WIW 7nάPZ(R=9xnrcCᲤ?DM#ꫀ!D h3(; vG{qOIO lyUG&WG$tDێZۺz1 _쭢z a}m=;Iu`}@1MOà% ":n`;v0罣fYAGG!+kصF i0{NrWvIfqѰA6f9pȃ:g.ɣnjο&C}e ZL:9t'IE-ڷIX1̪Yc C?5vQ(d8/0UA_J5,~Iѱf&k| ,9)aQV=p ڀ\Hv֖_ adS :ֱxIb1'L\LJ M, Նb 1 3]@1VL>|Ɔ9QGd߼E-ԏV)~ ?d|Vg75uw}5\ò ` |2J#fz (}kq~Yi h,{Dƿ= üۘD,`#{S' mZJiCiiUUO!px4-ҸI6̸s" V ^ƅDX-ڹFc`e0q&;1g X´4cq?G%nL E+AKXzf_]D!'JFLNX(AL6/t8e 5c>dhT_ ʲt>%訧R?T=n&6ϰo04|GFs͝.nsܿ#o͢Z"Il30W vm);fr>I~ԫ9ّ)- ḙ,h9\`(?#]ZyEn-'@_;M9կ1>Y.-,\c+c0 = `8# )b-NԦgcMڢ'[Au?l_U\c(d V3eс+)BVJ\eӼg'᎒z#*2e!pHds 9WPк*2!-bMz~GM<9K"YhHd(V<ܠ=!?FuMȉ@x(:Jbd f{'\Ic<og޸\a{D 1 ܥ T ] ;0eqW`N0 ('-Wކ!8_ˤ xPTg6Gt|X(j_d U, uc ؾ3?"Xꕴ.Ds k\AhqӻVVcaOl f&g${"ov:R4NL(G- w]DEޮK0 e9x?Si{`H?BOpOY TP㑹+w佫:9l-䐣uM:%(K2Ɲ7%<}%{Vg[K$2GWI:)mi.擱%fWeBՏNSqO(M~ V5NH<1.4 zy*TӪ/R_1XU<4no;]"G/ۺJd % {uwp0xs#\[^,0~mbGOCPi~ċf#둽hƂ!˓M%χ?̎?:f9)`1MObMX],^I)/W,)'o*έ9hb(h^8)^OX?舕*bF7>!B=wO~{"7g}ElCׅ^LzoI1GKe*p7ҁ9&SY:&tĦ9[Du#z-J2u >A*=Li4\B(tX_Trq=}Vd כ(\uS oߪ ԦFˡmv%1Y/p7yK'C. |qpŽ^jǚ(93$V8g۝o>rYM$x)m[h>2 ͣ5aew̨ FDd+H+բ\1xbݩ ]kyy2,Wv1^)F3J' FFi-bx#k܂fE٤y짾_M8G}(Õl5 Y{\%>)Ic)aȷY1,of[ue4SDN,T}]~0 ݱD0ՂzBaPitm~ƭ-7<IƕwS5z j*ـ[uρm^" r ??OT#j/%OfG[C*Չtn-,`Hh8 cbi2cpprQחʸmyHyXu,z7s޿Q d}SI!<-;E$XYЅbsI$: ݒB0,^L".9j DlVy}vRdN)i1Yk:6{tdOMyO' ~ˉ#=,kJ:ʜA~|5CU)([u`a b\^.}]{y\脯`N \!W+uiELc^,+4FF<ӞQӊͻQjܩVֹ&okF3WoO] N4MEӕ(q(`(D l\m@]DКcP9 hIP4ړ@GYB̃qG0ML]GŰ Y3$b!@Xo*Bϲ5f&bb呡׫>vn K$c$-`S֊!;29DXS0>b x3&4nˊ7xwSRp6Ţ=U|j@1b Q~/U/ݻJY󧝗YlMne(u#Oi}3ݕ),V%rO!N@&6CڽdLE=8؆0G'Nt+ě&_*t";k޾xʎt'E+G 0-7p=^_ IN|%[b_! 1f!bةAWom.s*&#,T5$ߕI%h|#R$mq4w㛘$@\jjn\Tٖ|=:sU׼Nnܛ1:#(M2k B} <x+=wZ~b˪'jEhw3n<Ìv#x x:h~Ye7. ATȧt꼦Jiܜmr?y-,ZKUf[?Y:(*ގ,x_ero^FǸZ<CEL-ՄE&0ILz s3GzBbR$ Ou~j/ic 5~URuLn;1Uc!iO{q*6uo|*! yǃuRPK]s>@<3@:8=i?Խ;_87”Ծ/ֳux+X7zDv7dCevq@[{BPN9#zee^I F_f($2'WjqC!N5%HM$> ) 6&-K9ɾ+s, C-m`$kx~ׄ>I%D`έ"paF&W(=Gi,gAGR97$hHk52콞ƋjgDGe#:ILH Z_5,A T,6''2cG})=9I"+ڳv3 zc$/zgхS3F? NG0jҚGFL5&_HRҍgMpiD% <+4_J1Հ,*]YiZ.dW:4 婜kOhsq1tA卯cB>ٰŢ4GKO 4 T́ϧ0ez͏ 3gܣnPdYFϯe!Tx˧U$y]uOpBe Pp͏ވ&kN]Fzq?׎Fm>.4$6<~CuaN45feZcxe-hT3]~8 ,%%&.hY˰+!\M<'Ս1e";,=7br2,p^}Z,׸h"nv򋀂^uyEF!6}mVfPxy/(u+i,'$/Bkzv)0l,5θGD'~RQÇ-Cn̐i8)! Y"HET]$47 ry|--f$yi|j~giiz12UH J $pf2\CUڌI,uR>چE߮ 0J|X )B%,eW'0?j\%j65 V1zL5؛2~%*gIw*U3ɠ `u\14IPbŻń}yL`>0uU*;{>WLݓl(RH'<:tj"q 3~9zȶDIM}P! M/f`^ UCu)ΜdFgouձJWoZ 7!oImfux7ސP>7%˔<Zڟz0{Z^AQ joyաsBtC}SP磸[9QpJ(PG^Á4vo@vh#nGQ4¿wط;a4Ɵ8yP2ޒ)NT_g6ݼF#9V޾gX9?fc%lw$zb89EC0((Bm>%R bӛ*EUU ŕ/~/7NjÓNƞ MIcOȳ~k @Y NğtzGCFNJ 30g4ꆼZ 3;HR*st|-Q5L@0C*Fo ƭL eK l4A-QZ '-(ɲPKl/.Y S3=;҉DRn_ژ<``!<"V6ʳ+->|-$.CYM"W.1uVt-RSM6`0Q;i֪y,I'+N4 ¿U 鸽 Bc㋪mSS!~Y,.[AIeZQgI*FP:l!r@;FZtrnڎ$b4.o}xv&Az {R|]D9>e;5WA2Õ~d^0wÝy&mSs@I.a3}Ỷd\a8whdbW[Z5/&.XyA}m~NS݀4:i\d>0_ৄ; &0OF~,۷4\V O-(laf2QvG˿)n fJ1qX ^*Sg^ jkJӇÓg"ܮV+q03 %hc @lIڿ^K>̰C]&~Og=@miZpsk3;q'M،_B4r%Oqֶ]/3GpI=Ôa `ڽΩ }އ~BIPT#ge9VSv'oH͢{uQ^3Y[Bx"U[aǹx~,$| PӸ< 2)6ElyaOHi+PΙT@,OI"uk* Pnƃo ѿǨzKFZd>@u../VVl#ArhE_J s6 0}BXDqxm9JO(se̢tIDR@yK%u=WGA1%AV4AS :#am U^"'ϭOkچq4ܙ1JHhf@<ە*pBZmg.~\km |nEF doL(d/:7N‡*RVu+Hϖ*Ȃ X 3}R|H$HsuCPw`GH?U&Ͷ,2 Ms2hpIXi/R`m+arm`\)"2N[ [e]pyݪP:h_+^#Pm[΂{3j #SIP+t,;Y%-7@gX6pTsbdU-42kՂ&Ë M O]AQN/͠~u5܃ciLj|Myƌˊ24.65~}27m-Eo+x@6Q y y++k0,,ʹ r`g=WFٕ4xP_]_Ɍ(bp8@ֵO7BR%GNiZWLPo(:y1c^6 ;9dZ7w%Dt~XpPcekdFŽbhC2f_!RǴj l/3F 5!Co6-nQ9Ck:CO*[Rrݾ8q+E3wKuwS^sʧ&L?|%ci5j"NrE WzSgF0V)vdiCD,}f̐ ?C80TfF3}d:sglrg NIʚ85llyIO*%8>;K[;Y1HĄgYZ  4" ;E% dPartial_Order_ReductionCoinductive.Coinductive_Listdocument.tex7zXZִF! ]A-MՋhvG"uIBm5zgi%HRy)r e#N*hs)Idg)ĊAw]CxəY%aHze"~yWKI&1yR^,QLPG_ TZ7f0CE89w[lݟ 5s3p9dI]MGjtE83WQG'@E^U8fN)p;NQNqa0+$3Gз\7Eku[PsYfcY$e{o-H@ 9m6tjXh9rƼΞvoPuLJhPٌv`AQ[ hyzwE!z׮UgˆFߛ?JF=a}4mMղdfY%+gͰ֯p^j=àAEʊ#B3O2 StG(e9h_Yi%T[0޶SktA'ZyAU Pҷ9J!$)Q~^cZٗ0]#?y%+0!DVVo+ٱ?0icզP.釶+H60dAxk^߽Df34 nq|wfA *+.Ӱ$j _$NV#C5\h-ʅj)o_tL(\㹝7S]Guw"׻؅Iv;Pn73޳q)mXXs.@>>cT4*ܣ=PnNu6yhõ#p Svڋ9Pu}" NiY~:uQ[v@ԟ LA-ev  PaAI~ fcǟ#Lؼh ?;WohGWퟧ-CRMUqO[%&Rv y9O:/a_@͂'~Y푷4;{Kw1jrU;)k~J@&ÙA;X8:b0Ϳϖ5j}(ZhWlM .dځ}N$xWt=2r|vIRG[gV~GICsf3`o/WDQ@8(D.ΔT}0#-fXrNNW8j}őܧL"U?\kb3:Oh\Q}7@ZrXsVBrĈ@ݜ*8?,BDi0 R=?W]gɠz#+8*MEz+H29q.V>P\H0-|/]ͧ lCY2=dq$^;z~s ldYwv"\T< ܩ&!χ Wz}$?`^ٝU僧)EuRig>@:hEw;~[t|{ͣ/KKt/ec4k(X7)Ph55kQ9o ^zw .1ص?o%Cg!TLOZc>$paK-<'KĎtυ]WӫN:5n8X Uo.zڪ ݚIf"Co_Z t8>?KFM{+d<:6p ҫůpp.n d0u;١r7u0pF ǭq3 UEX6pj"dٖdbY(H(to&bB yd!Aoŭ fFrMÐcrjՎ'rDww,c{RyiD;uly߮2H!@C >->+IX4[\G gs8fc]W펰IPH6aoYNXvEtSU:Y>ayƆ{2ƒĪugYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduʜl~BcO܀Xn7=<&.d>ce hT)Z6$%@ ɭax)=ZJLUqbZq"T܏ӑTp B^MSk0) 0`\(PE]b2+0@~ Xɇ1k@k%ҏ acx_[B2d(b3`DD{5?@[w x4RG5Py`sd"~2&9IAa6ay4|fhBBU0IZP #A1j$pM_av9.:wiYcC*ѐZAb`]Z鴩fB,o4d /OJci ]C3s@2SJ'->sh@:f+jyrM֐)W)-GͶgGwOp~BQ_.7gQ ۀ|,ΦpuwJxfVmgYZ7zXZִF!  \]ŗXi%BzR$nZ(. ]IgvB.P1V z\S ='ȋj|IrJ&5H0*q$;RnLP'Si &(no@}Bap"i@)ב&%ݐ!zGH="sQ!TvNK N%>%IF#ڭݪ~ț@?暘s5saG1 Rs&80\S 6z"'F8.8\ .*IjOoQ]oBKnҳ>Ky!.,݉yK|*x RiI]Uo= ʼnPVsf)f":ȴ] [o+|[f(3]f6x'g sYdg1AfRT*_~U@4ډ[ _(r ]'HtGp;4w"zwILĭEꖐZC?SմEf$c1$w2 tP!kOfPJ5A@Bt^HTpDBme] a/92Kuj}ls9W2wGN1SR:B5PGCP 7dlJΣgPڶMZDxn(VƀOrƉ{*cfF%1/xVx%@iZ_ӿ E4ytN}?SnG(>z 4;U'-0, po~9}TG> м`[ UO"q)g INeAjVXj\SCf2lA$5 .#^|EԅR埞;/DfG/,V ;5N~m5 !Ž<+ErD:H>n=*aR:${$vDpgр]J2J(DC\A=S3{ߞHh0i-JkG w(F8+\'}3GGjY)%E]|`ص:) eSGwpCݶa6#X|3G 5(Me6A-5YRYؼ ~` ++`=z/z?g LFf͑x(ZMn{T~L5noSaO_kn|5R;'fg+ ;[s`8FVnRik/ yJJgI>2[ƼiYb& sXYN\ '?a}*FHZf=XbFmM?*T '?o:P>3~0Y)ɜ áDċӀv]yf5QlQd!HI "F%?yx,tz ;dNAv=Ho(qO:}i5VZςꦖu=.OTVMDdHesq Q\]p  vC7 ~GK!BlN(."3 %NF=Qh /=eMչ'>NS.nQ3ի=Q<*DOqLπvY{zت $f:tv[X~<N)TPh@Rz_b"֖zMoКӆ~1Vc`ev;M9*8$*d˳`iߴz4zH6'pm[Q/úI+ɤ7(6IUvC  kiK=ѵWG3%__hԩߤ:JYuk!V!QE?bx;FEZH'$MIRw&*?\Xj=kB' 2iDq`u:?f>l pT r۩yx5^ @‹5C1mi䫙))pఈ|s LYR6Su!B}nydm0;=;v& 6cW!&P'!q\1a^>T95K-)j-G'\I@xK5rHk- ƭ'b1Eъ?e#Xց=f*]J#yd].86/#-\ſr"k>5l|"KQlmu7G 8Suwq7 L@E=gyTS\9ܫp$؀Lu"J禰y`f``ޙ3xi7%)ֶ2I8XY~Nʝ52⤵,p+_wm?F+ԴX# rM+2¡M*IJ=E ACKxRxw*FUZ*pTl+AS܎ 3-7stmcC.]ԾizSPim'hxwcGj"S\mqԪC<.Pd_D̮L)~N} 1"BQRy7p[&3>M2OzO I':9=,ݍV`ѷqLæ3ʌGPW) r PGh8x!]p-rE.lT/;^GX-_R51N>e`C bẑ}%5ؼgRz1LRkL8q jV)طe&vP ~̍Tw$ =`84@_8Ɗ^dN`NDb{M p=Î^A|ꘑ] )4Yӥd H7[% &I&)ZY|BBh%=YZ>V"'B!y-ʰ薜ُgofO  } :޼iDS+ڔPn=Cץt 4 m!]XGb~җc5b[zeOr?l9z)RV s>*ʲC. eZe\ݕW ! ϦmK}~~ ߌ::d8*H_}>'~R oB>6_Dy Iuʭ}zp{.~XF9Y.on4CwQ؊4s  '1[9/ f,پ{c)SeN z'>M W!pf01Kel'3 9gJ3q> wSXdU .ʈ&c vgg421l ުl n-ʎѪ.h&&r]n`C /U|ADqA7F'h/" [%yL=ˉ~!2l(o|:zjJ$BזMwm,w*eEWxaA6`S DLksIU umz9:V2^S&}XVn0N_C;4==9^^ImI0_♷eljw=Bp\A5ō.+kV/Ha6STt,XEh:҆{y>m2FT?o1[_AU6zJKasj/2x= `tGjWk+g6n+0;ǜ)ʚpvx(T Hɪ,IXA3Xh#C]H'b+{mSE-wftNZ .UQ,ڏ̴5L']+> ]N;Ladxp֥30)Ӻmmnkt|8i(Z6TWW+ô5Q)dv_EAfppDH3_ $v+>^Cj)_p8e#W9יEe=K+Oqjlz"ӲԲeN>ϫLƷ(>EQH!¦ 5=`qwUhLb٨}w:4 hQovΖn/AFiy@$uǤ@lk@,v' ؂Y, E !z)sՠ;e`ȇE ~ҳ9$m#m!wЅzo)^ {|Mڲ#uWvLS(_ !.-['pBKR&tܮ뽿i6Cͅpƕh40-WW'~eWPv;t_KAPDG5fvobۓ]ĚE]l,_g/15S#(AxtO0)2Z *P s:8m;Y'G78]K\u@2;[gC!{ͳ*i@w`J=\v3 _h0XwP|Jb ;ʤ֎ߕ%-\jƄّZ!}]8vFeO>@E>%2\hqƎt7^_=8H-Vlh{qA$Bw`'C:¯b0hʂO<˼|Tdfc:= @}[㦶Wӫ@lG\\M+zCOh)g@cU]K!7k=O Big߱O(igYZ55a0bb6c4ef6781311fecfe62d77dcf62cd1ff4196398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2e9ec065bea7bb68171e9ce3eca85966593c7c91 be6267361e089fce0e44a55994f23b423b755410 37f1ce925bf51770fd9cc724e410f1bf829bd70d 66de5ddacadcb4f9b441ae1ac8a2229639c2f465