SQLite format 3@ #J#.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ;;:;l ]w Partial_Order_Reduction:threads=2elapsed=70.417cpu=119.420gc=9.404factor=1.707zXZִF! O:]ŗXf1-q恈͐7ӺV -FD Kv3۴}>g LFz%lO^&MqszsyN.D!Z&gWTA6aCtJ[x!{jZˋ N-:,oB2 W#1b Jj2곍\jU(g*[u*kZ*M٧`pAs;qgcŎ6(NnJz@q_$Jgۋ ß)%DE~C\ JƉg.Ci0:V*\F56 a7DųaTY/ @>|xg/,&KݱPU&$3.0K#zXr@S@XqF&$qY'`*F{K-$ 6JPBzZ짡KrEC㝘s4'vZ>Q0-Cy0gUm,L56y.EН::dښBfU\Wf-I}돶3iz +@ `c?Q#z:F=_ۿ܎ˌ/6f|J&RŁ V%9HM퇍Kׇu&KVJ1ޑ7hx^(S5;X6Jx:_LʨW<0-O:EHcQ7֛ؾ(^!|oUXSN`]K%_I6GaR|0lB)h_6gϊkgӪO@æEI~[1bf8jH*9r v `$NrΎJd^:ҝFQxI!ϖJus*}wh]~)_Nv}=mbJ=MfGI Iz_X,^1&2^( 诔c*Vyp# pJ/1XF)־%j߷Kqk$J>upa.*H"_.w 2]DUhv kW>v|@Z Rhsmq"Dx0GLSԳ 1BU~f@D:7E*PIѯ>1(4Bj\Vyԍ{vAՋm"͂]& OE13މO)&P{<#8E߱\x:eVfUswBĒuUz7͝{n˄< EOqZ1O!/KHRC7=jgYZ7zXZִF! v]ŗXiɟ1˦r pt#M&")ohEdu^W" ze^CKlD;d39>WMF[a'nS?2C [ :&Aνœ@xT5RDi^^4E~"Q`$UȒ0۩^9OlR R$=#{7t0UX?2`Q(|]p,݋]<4%>潚 ; yve0`wU!+@pQ$[X5%E “ +) 0j/3`zJ7dteFW ̷802Xk$@׏j/)JT-ReM>IܷҰMS$':&Oؚ:s,YlQ^FYs+]҄漫.B|m@YvϯpK-J!eAOXkޟ@bؾ{bgyJӈ0Ue Bᄢv߱-@ cW.z5F B 6cheh/]K;>kyTFH,TË5hMd!1 psSXЖi俙{a .1JJ DdF~q,(+[$O^FLRJY Мބp (j?5  GZh-9Y[BM6*S M6ۅ15wKY=$Eϣg0*bUhZ'J4~X$c!;RE|*0ea4,yXDqBRWex$3q/ 42znUu8Ґoѡz)GfgzDg1$cC73i&J ; Partial_Order_ReductionI;s% Partial_Order_ReductionPartial_Order_Reduction.Coinductive_List_Extensionsdocument.tex7zXZִF! 2~]A-MՋhvG"uIBm5zgi%HRy)r e#N*hsp"3B!Nyi*Sǧ-SLkɦG+ mTh@! 4=qaJK k^y`\oIB>ujj"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!&2dZQ;I% Partial_Order_ReductionPartial_Order_Reduction.Tracesdocument.tex7zXZִF! A6E]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ͼǗ ;S% Partial_Order_ReductionHOL-Library.Complete_Partial_Order2document.tex7zXZִF! ZQc]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(:3  ! -I i 7< I )l 7 u z u 7D;C%Partial_Order_ReductionHOL-Library.Simps_Case_Convdocument.tex!P;[%Partial_Order_ReductionPartial_Order_Reduction.ENat_Extensionsdocument.tex H;K%Partial_Order_ReductionPartial_Order_Reduction.Formuladocument.texC;A%Partial_Order_ReductionHOL-Library.Lattice_Syntaxdocument.texN;W%Partial_Order_ReductionPartial_Order_Reduction.List_Prefixesdocument.texR;_%Partial_Order_ReductionPartial_Order_Reduction.Ample_Correctnessdocument.texJ;O%Partial_Order_ReductionPartial_Order_Reduction.Functionsdocument.texA;=%Partial_Order_ReductionHOL-Library.Prefix_Orderdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.LList_Prefixesdocument.texP;[%Partial_Order_ReductionPartial_Order_Reduction.List_Extensionsdocument.texL;S%Partial_Order_ReductionCoinductive.Coinductive_List_Prefixdocument.texP;[%Partial_Order_ReductionPartial_Order_Reduction.CCPO_Extensionsdocument.texT;c%Partial_Order_ReductionPartial_Order_Reduction.Relation_Extensionsdocument.texY;m%Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Tracesdocument.tex];u%Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Extensionsdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.Ample_Analysisdocument.texQ;]%Partial_Order_ReductionPartial_Order_Reduction.Basic_Extensionsdocument.texR;_%Partial_Order_ReductionStuttering_Equivalence.StutterEquivalencedocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.Set_Extensionsdocument.texN;W%Partial_Order_ReductionPartial_Order_Reduction.Word_Prefixesdocument.texK;Q%Partial_Order_ReductionPartial_Order_Reduction.Stutteringdocument.tex f;%Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Interpreted_Tracesdocument.tex P;[%Partial_Order_ReductionPartial_Order_Reduction.ESet_Extensionsdocument.tex G;I%Partial_Order_ReductionCoinductive.Coinductive_Streamdocument.tex H;K%Partial_Order_ReductionStuttering_Equivalence.Samplersdocument.tex D;C%Partial_Order_ReductionCoinductive.Coinductive_Natdocument.texE;E%Partial_Order_ReductionCoinductive.Coinductive_Listdocument.tex0;%Partial_Order_ReductionLTL.LTLdocument.texD;C%Partial_Order_ReductionStuttering_Equivalence.PLTLdocument.texO;Y%Partial_Order_ReductionPartial_Order_Reduction.Ample_Abstractdocument.tex\;s%Partial_Order_ReductionPartial_Order_Reduction.Coinductive_List_Extensionsdocument.texG;I%Partial_Order_ReductionPartial_Order_Reduction.Tracesdocument.texK;S% Partial_Order_ReductionHOL-Library.Complete_Partial_Order2document.texg7Z`h~h:XCOu33Q:IvnMO^v@^ܣuS :$ȶw9E/X:Xo#rVL~+ Qɬ2V8B/KTticHK x(aW_=W0YZuO ;w3}K9psa* vH{F/=ۋ{^c4IMCGsbi, YO \3.֕t8LjY |& 8 + <li`GT!*N9jܽƓ /6HHutԲm2^=E~U:Xmg|n^1"C@MAG9 d FZB,k\ 0>PVb#[#=$xT(vTɧ*P\س5qiB.%݃Xl"?-3<0m}DRBiJ]w4%mdd,"Yxy3J~=xy%$r8_jTz&)/XoSlA9AP$17Ӈq}BIzSM1٫DrU)c~nTM}t(ڥۊuz[ 1]Rv6."JRRskS`5&XnL& eU|}{ADoԻ) BDMD0 ~8%!ڹMj3a ^5< 'mWFKP0rpnKo[k(Ƙ7-AJ׮]T>*2[E|VuT@ j#X;V泔"A|Uufe]Y s2:8Pk>gZ3fP9u^84OahC_?},{ڮyܒ˓_ ܇)VE 48UӒ{ފ.G1юc[g3Âp<D3RjKJ!; 'r 1"Ω S`_(FZe8 S%9wV8>9; eG\Ɩ2Oq}粒|,YttDh DB[|MRHJ8OzIa?wf"0 ;r~ BⶺiGӇ= Hr߭lH0v6yYѧ7q-.SD>šqϜW+O{%א<ΕO[\f~R^>X6=;FUӖHۯ%|X=hQͬ}+"RwiK 6+326 4@Z@> T;]ED2:R v!R˅[2 !2 ?3q=D~&ITd=6VK9|] ~'cVurhBmRvz_[oZH)`i̼0 ΨA!mQCv$jE$:π$.I'A{]CX2FObN}ʎ|ueA˙$.Rzd2M72VcuAUA g~}yae|I)r^b] <մc_ZnĔ[h*dD.O 6SeF+i<[ SgT]Š[}uk{d%hZ8*P%;'Weo WWl{u$jJ:xݢ,A/.1?ΩscIbBtSX.u /b! ,cm5[ۼ R k|Rurڀͮ#D{yk|JS!E~|<\nܶYΕNs$lѵҦȱ !,`*9qzH'ț;w=V%Tn (f< j'S1/plUiC۹% `*l{?ܚV]X ,<\2uej5sөQ|my$YK;](Y2+ [ԞdՍ">$ :Gmy4slҾOPԉ=&͋[T /dV݁ i.kpށmW֩Ba!_^0U#ungv 5Xp:żzv#RNP+T2k]s"Wk~ER ,t;L}ȋ-S`" JZHI d=ڸ/~1ڡyދTBN!!a Kut hd6 .揮7b L, a"cY?ac*<ۉ/^JN|՚hK6e1% 50 d;l٦E1TWM..8O) V=1;'s ծ% ˄uej= N51jl"HQj.edDu0ᗃ>l%auEfm|QҐJx!b/)D\єfXn. m0ɦ:[gM(:g]$Iwa F[teA~fP剙s?%Fϣd e¦&A|*8.~x5JgYC:^@C"xv,S(#++knDlwÛO7G|THgM;a\̸9JYʒvjSw7ETxFga@gWu;ehʕ .D^f5yI߂wVID Bun3-ץ e8_S$}gB!]ДYx. xs?|b[6?^HHNT?dD 4uW,:Gt>-nK 36d3XqP֘WU&QnEو=xmK)զO\()>Vr]./m(H_qsr\n:CiJzDLQώaU@ N jmapzB[I^:AMS֦i:d5̬4u7٬=M_Nq?7JF/)P+#(^sy.['H?zm-"xl nj0ki.*jyElt%WI_w:7 襃}"oiCmۭp*N%9i(Ԗ_x׍LJGF1AG[P 6g*vҵbn40I!1,)4.5.IZ$C=V{"+Ұ6 RJ@oݗn`=D- '%鎍r˪_к}y @ݥ𞾐9ˌh~uO  ,!=D1qUvlC2z8^5dQ(b'*._گm&s:\ݛIy\|N6_dW+Ig7Hqؠ@*>{'?"%:&g>JO[ v8zaC/hiN#v5Sd ֨-JK1pkGT\P4ɥ~O\h ?@M\ui\E`dX(7Kƙ柇A(nsI됋Ta9ft^EOAd9[c(Hyg^JJfHXA̴G\UXϘZ͍$AOߴxl~JG3EJo&,Cִy6ӗLx~wAqNdz&gRb|+>cN(m=">Z~OI(ISPW 5ɀźC- ^[&ՒS`8fZ&pӇf kNǠ{) ˕2Na!dBoJ#JĪG%Mس_:<Ș\8m,~PT><F$|ѿښ:m:TqU܃Ql@1uu WiM6X:3*G.NG<Ƞ8OS8nrrdO'vuq]cmh,Qo Mwfo~-Fud7|v#M6hu22?먆u!o E@$-Y=S qe Dꋣ2՛ BէH)qmGfC6Qk鑧{yz㶘]}iW~Dȫ\'R4k6̇GYc2M#-&`b"" WR`ߒ޾%{:RM~ i/^i1Ңk0C I"P4uݟ.qhvK^Td[vG5_QY31fr\N.πb%\/SعO##ڽ */+a; 5qN:0W\ފJhL?'-pANX5S̠%XwH~kͽ'nb +SK)&YiZi|jN3*1)=46Mިi>ڵ́Q;ԩ)i /ory%. !s.uH,7f(V-ݳ5su7cl{'`ʬ^1?ٗg\2 ##<?%Μ2pDcL׬L*R߻=FOe:|0Ҭ'ul^3ifOPp"fH \E#UP|N&vE/n=JV o+d4ßxQIf Zn>1U=o@ӹK,ѕmU2 G2N3nuYU3+cģ`ôF~D.w[Ŀ7~&R=`h;"JFI,maPsАUfsgfSn~٥-~會ю6;5̖z,/O6ծ!C@(筨Z}yd9T3`Omj v~OJ{Jb&%J2Fajh?Eac]o&Xr;P)l)1 On8}7Ȟ_:[}~yD ]2.ajOg$> t P=8I G~ JuecbrAۈNճBd`P/m<~T0tP XܑKIY=q8w8AL<3M3.~FjhUXW- 5fu-3[( Z$@:/H+`#gE V5+s`-{ 3d@ d8$"4ǡ=g۵Պ!&r;7Qmv{fB^RJ H52vI]u5Sn@&3A7A+^c%ɕsQeä:3&Ol%0՛=RMAO=/ք. Y-Q=תߴ 4fR#juFEtW8G~鷸5̫҃hZѻXR2t_ј}VUA._w0z#,jcƒi"e8:X8 b]l%0&O*f_'SOVl%:М*b1Lɓr_ܪ0萢 <#|AקzZuۻ *I--!n+ލJu3%j*Cp$o|g^ě&O B> Od+V 3Hb1 FhtzdPnPr[TbK^4oGi l^XgN[ە.$Rkt6je.;+q_d耈G[;Dt5\|adpFP0SWq#Zam0 BBa yf'NCP2gW_p@u{{0$/uɨlL@Y1Hg;c΢_sBCt߹MHT mrtc&6q(CgS1#'M d#~XAGP;#75d\ Mr\L9{R63,*@OrI+6ȭz[7Tv)9?]!zZ-^c,}E ,\ ,)W!RUej6ƊuYeu7ي^jaY5Ta4q~b&0+^_%Y>V^_Spm:*7b'x #["l9od7%]L<,ȗ,Nr`+֐[ǭ<VIY%2p#?G/F0"GQR PbWU-S6;f0W ӑy&%*8_OK:tkjQ0h)!ŭ+ag`_p/Λs /qu6w:)3@YnaLND?d%MM *Bg0Žq$$n 8c2LKYy>g3GnT."eLBwX^|4 Ąj0M0A E蒓dj-9p`He-~vBt>4Y͞mh~1`l,<-!XPkԡwkƄ˃Fɲ:9jmxb] d)ƖZ!ZL !ܪ`@sIlR T9M[$+PW1A~!t%jl#&{_@$I/M&폈 P=7능lx)9!^@Xh FGˀ <γȆj^ +-u[ ±=hjٮuJ i\ozK3D%p G 8ƌ^)Q+swhv#۴ HiX7"z4r3@M\1X1 @_~)2pYPA` w?y{ٓ"ZJ4 Qh B=AZ^,H5BMxFLꨣ8 [m&P7G!*e%3e^@ ̺,T2K}=@>M{Kr-g){ 9yX!VD͂=X k`$~'gԩ~!{\M?,1ZG{:jj$#C]m0莍cMY֩D8d)Qk~7&Oǵv sHN!_ZXt.M"CnQ%R>1p5(=|= 9kNYLi,k,'@NAw@v7s˜Ss/7.)?ƙH˕& lZrWWY(t"\^w#p_egJ u=gG/^0(f tz!N}}٢lת RԎj娻|V-Z&9$OoOXAn _aUoϲ(Y'1~aR_?V0Mۤ߶ns ѵ *)ORuh+ eq Fo{ʗ) hB6Ԩ֖X]aюT@L֝?:$I0Bk2I6+wwr^Ϳ7@ S\M]CpGwzZP_TpՔb?2Bŧ >yuգw!is1k$a&J#rr97d%1 L!l|,rlΠ*u (W<&\ߎj8JWCuE<2jk 'oPNcɑYrm28ˍ}~| K,NIVVi St5m/M*|ľ2 z) U[zL] ;?uiQ L}e}u#vg SXe{6eJȷ7 rpqϞۅ4CЮ#fJ/˷gc$ۏC_6o$$M-N\本 Goh@+-oFqKc9O =gy $s]'@yT5å?pc.Wي~Ԇ/ uQG7=oKLE{#N"\7$S(ClS Fj1©=%t;őg#'RbJZ[3z&|]l*8JĀ”oR(RtnKM]{l lwrǹ@XNڣ> m0=XRVs)$$hv<24:}Ni[nXa9N;rHuvO-$Zk|/-og/еՔ*Qp3x@4ǚɈpG (NZ,2wo iuIn6y%UsL"۲d乬-"ځ*jם0]鑫L+Kq4d `5dz)ɥ& d H%3fQpzO DedsJ>0DR,$YR{AR ҫ };1XxuaX #"q]:滍c Xn/<>d`p)tq٭nPmwz5R3nauAk~f!lsڐ wLX(D@Bz]]-p=WP9OrY:KS!I(6[]2LK5efW39KUtޤPS9+,SϹxY6={q cŸXm 'Ab'?e#!8Kg>Y^-jqع7ڳ^+r9ۊE]ɘB$7-s#?x?寵FpEl6u\Qe7Zqv=h+e7r_\pe~g0 KhzYhg|fNx5+49P,INtOD7Q+Eb(Qy8۞KcQ)tеyGjȉB `NJp,f/> O;j !ʂB@&xu! 4M5;#eN6F"qGv\FOH`:1LJvwUiٻhs"ʊZßxlAVC m= emT'C]ȏ&JL6(*boyN*hqMPN8凐}a+:# 콻ӰcȥbA͗5VIM*5UCQ-Xƍbɔ@,r`S>k'n˝#sfF[7BlE$nQW\>+IJW q,oA. cIW^PL>-BzIirI5-ѷYĤ Kz6x߿]U)h)rJ$aꎘt՗d3s_Q$r5,(%7ٶC;ꁢ]ޤUl-5Ҕ9FəN(*u rY}76 jqd |'ZUýDl 7OF@sL{ðB <FafD 燶 e~A&AE_`$7.ot"#h"3v,G823:i6K@UHIq8@Z.Ak2po8"RR`͙?x7H#߫Oxr7j WCY:n粩5 [rr\ Հ(ODŁ5>?#%(n5c3<j'yMګC*΁d]CºR.@֠!Q9">9,fXj~u"*&1䘌Rw'.6~:d|8xE03]V`<䜾l8AۭT⭷  עQZ ;aqEh14qI>EHYTƟMF'. U\+8?w')tӀApn6n3+t8iN_۳76VFUz4]Z֘IfW5S%%bXn J:iMq~)5U`;,ҧS/PSx3!h(.[#WW4h[YZf@!=Vs%g ekD[DTvLqx4 k ~UQ  0txľ+9ڋf CV?(;"<Ƙ$yͶb+p@k[x(mTJHs̠$uȝDޡPww[#H >"NZ ?^=̈;:c #jfh좖Ȧn"SȊo*qUt:㹕{B W)-|NID{\Fry6U@N7ܛ Ã,/V  ] O>L$#\z]& r9^D} )[\j_W|=j0:lI*{zWotOA Xa%12swԱfgRVxXp]M@c1)u|"L C*:<{v=|t:T/Zεӣ`GG^^[XZ(p 1ͩ'GȲfλ֣x] {=͎\g8fq y$ĉpsX''6o*%v#b\"'Д5|N-H۩ c<i29Uů>]?٨Av2Ʋ<"I;,m%_2Y7ulhc $˜ī(*h5ިM gCB$myW7GagƩ熇5?f'.$FփCc͇&?CsS('J|ZgLzS_ 7i~IapQhskAt;7eRxgN,G3 OL`\Ns?+*h8c`I$rGVH(q~O/¼` RW<XE@=61upKWHKU}2x(>i`|9)PN#4FJ5Z. 1\kYyX҂ N̍zВY‘XyobK.}fVjyB'̯n:'~cx}/_(qHq VS:ٮs;;tæ+pܐ+>ЖP~QIƩ=P_[<8T%(A-A^-.=^t|tڀ5~wJC 7&#a-A@!=k(,,`_ҫB#ZXy(Kj$g64\:HP͸@HDDėJcG\),mJR-UU{ 5VqBX}@H#Fڽn X%dJ,hU"=Q}+H MWgSf%?.mA#vxaYT7k>}cI[Ƃз}x=|4TI5~T/W/:K"=b|'v*Xʢ9ji(+f(5[0i&7zoFѸX DR~[21v R%bxRY_zV~MmCzO0. *n$%ç!tQ 9H]a1P is\uprѺ2Vzޒ-LS >ex&.l Eg}ʄuEN xQC8-)I/H~Fn3:ɍF1ZyGVICoKSFqys4l奉䶨>؍M㞒|9yGbԛłװ*d ̩Gƞ3Ӫ9%@ꮴ| HMztZT|EG0۴M{ZcN}Rsobul H!S`{" $҂Cn \e` l7yScI!* yէ,gũmD ETQ$2Aceeёb'\fĦꢄ=4/9ܞ,,P]*-t&f#0cĩ9I &|Ұ)Z9YxQϏ_&IMZvA _z+QN:?]9&]}Sg `z8HRLA?3 :[h3ťtR+(rK#)NR jnt!$?3M>&F)Ƕ\arY;"%2Д T^WHhw@p4&UC"Q/aJt_^ Hue~A\#47H#  m8XIu>R?G$}Tb8ޕ}8.P`H;Onjltҽh׷OJ/4VsVha݉?hQkR(pY~,*UQ4G!Ov* bAe Lqi6owf5<$lJSٻNZWG,HHv8ʈ 4|:jdyjVeg)wZ'FF1{, } GfRU 3gZ6"0S8_C&MNiL}g"%KtZϫ-R08Ro5)kUIh#M|#d*JwWCdu35YP:pEvU;2͑oA) #i9MC (EJU/TMÞ+@Kb9Epc"˶} d1=XU5;M*.z/ :ʑM 01C˗R~-*!uP#HdͼUal\#Fhe<=[C_ńk`{VJuoǶZ׎a /2D\/uhf|S 4f],=CYC&\7i_'0~eX]E]־&߀~jQ.T>`t)rJY}qa 0iݩTKIaql\goF똖mP*ㅵTA~ݨs+3ږ.nD;]b2TѦ!1֛ߧS|ӬQAI3ʔz±N[h(OIc # 3-Ʋf/-Z vT%>δ\5by̰?OMŧ\!vLʯ>o\rakevU01m}wJ`8[pa zfx䘪On2K00w)P4GH L CřVTb0Iڊ0 by IVY=z,ݻGGKv(^ӡ3݆JJ[q2v=oԛh0]9oCEyc%qYQ%GolUQ.u k}6nb- UJѽRT9 ӍPK&UHcϓC \f~*~X]I]*e=5̆OCeTUjiFUŬ/5cfA ܦ8_ptu>*c 0OuJ_KAD j s SA*Vbκk(n%0ፔ;^/Ɵ&FXkќKx P7,ulg;d{^e5~]S?fK@+~y5?u'x:]BHޡiL2D49ݔrfajcIGSCSЁo"XT̔[u[;umL"ef2}?p }1HGfӅnqpIvBIVܢ(n;qC]`~/Y4ҕbּ[ĶM1aw$dظcPFK $y%)?Mt">Sar;iWTn~vdtGpY݅Bv NvsBY"O* V{KzpX|RK9&%?E~' q62@H0 ЍU=V5o?lW~ֽ{oYpQtW1/F~Z[$Xˌj5ˢwҧ<(ƄXDuI kos 歳R31K> eU뼷V4vY7rTaysઢ[>sT6B\Hrgsh2}Tn*o4> 0AA)3;%lh2X:9%O2KpSJJ 9/T> IR7%Isjq!%\Se Y%]i?N|mVOE7IۻKY{y<njԱ+]&8*_31K -bW0ɋ@, >PQ.2w_f"4DAHIm};bo~Zpշ6˕nk]$YmJxi*!BKuXSbwS&@`$n|>;ţvc)B=":qѰ1X$Cr_s)Fn%Uv\(K; cgDy}72Q)5R$h_`Ok 'b9AMŐyL&,W䔧:vDr脒kXuQ%/<@~+Mb6& ܳ%7eD#l~'I-<ቲ!6`C~i$/;ׁ_QY'KWHeohVm|zN@{ / EC@oV_8tP.k8B)߃0<[rŸV7- a6>z80Y72yb=KpnduٞRr`'>bz]6"k 59 =ۙP/ٍߖ$N)jZ(UZK lj?syDcd#tTOfc ecE{d<+VD1 EŻw\FxfeGK1W ^u_45 g{4h?$XBH`j+-!]CzfϣΝ!i /qɉ̓UA:yH'a#op&}x´N3&$&6N:s90c:UQ;,lwYII/xd_;~}_Ejv; ;8 m=ZnxnD!ת OHmjo82,?%)W92oǵrO5rW㼩|釦RB8|8x/?}.\W~y؁|,'OEmQ ]iR!t9Uzxa7(Tu'=&'_`zvuvE,SZVf Y rm=.teD8jz27VIe`'W(XI$~iG&>r ; XtPA;i:q+}Fi E@p|OWr^@ 5#qwk9)`IőѽӪ?+ g P,Urju䊖qt. NN }GXw'(ɩ"<i+w~)qRHJl4Np0D;y&V|ro\!y% 729MX?4\ 9zeTӴMǓW2׽a0,w,y?GJϧXPmcWXW.G“pL|r'V`n: $ֳ'k6[׶:k7lLH}kOLi޴6o87ի`}zE9@_}}@o'a3f>xLC!mڕ$[lZZiNIkf ҿ`ݞ, LcԊ琺 \oy&jVdU$%8L\YK= U o{SDR1d3l7wkGҩB[Ĭ`QOꫤl5vj ~FeA:t/:ߤwMb,mGƲ)Cݸ@Ѐz&Z` K 3" "7Ӗ[~o&孢 .2zi~ c5d; =7R/;BBR함_.R-5FE }||Ά)73QNR ZKP>I)d܍a ]=@c`8C G =I*0 e67pP }dEĺ)/E@`G)| Œ׿mikШ_3p(f>{?hmTPV ں<3N+)#n;|Zޱ80S9ڍ:zx󒐼Pꥄp&;FaiڰGw9r50N>lQ0Wp5)tpE~4s)g( ([%W][ {o4RIX?ņ va|Vޙ=2&x+ 7Z`;8y2(?Aש \㴜Ս}XFXNi Uc㻽\>g[~,&iT>kKl; ·N.eU0W봦ubP.NLׁUoǪk׈6RaAN<8 UhSYxu}#:()c _ZXF}u"ozM%}@Ao"9W_qndRwTG7 xz~a[@m̷@WU`4&aw<-- 4zoJsyudyi^;?DƂ teM1o~XW`dS\^և~G&gT6$A\pVtioпu{TҞ#;I/y2ZSwOMivG3hC !A5Ջ:@oWR_ Դ3" 39'GoA:Q3y@vpgMؿ Er 1θC0 m< Í`بW>L :T(ҴgYZ ؉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"UeAIsJ`_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*k_su!< :^)E|!ZrOge)D+e6Liʤ>X?R@68J6Ukг%(f<`g?.#92YPg}Omxsw8zP ߽LGoS۴GK" ͬuz}F-pXC79y_3o {?`ѮR(VJen71~$d=`0H%[ j"軯tĭ]B}2vH91#7Cԫ͵*鴣ttWtmdRBDE kzU[eG3QJ>sH0(.(Edfgf=wꭺ[oe4+mxKQU?R~MX0@_tOAZGcfBBhn)An}~\AEN5q`l^G$\b-Չ0Q6P+ <~jr=j7qo5[ 1" J1{C@i=sU7f+ -6ℓ6^׀ioPՉQd4xm/~h5 { ϩ DCrJ>9ނ.j(~swb,\f9)|CǑiyWmDt.gW"t jl!KGa  z?nN:}!qH қ0cN*gLY=O]PVbR.֝P4!@/WQimHx Y-|mEyHpϓe^~GO)Yr;#J^M;D^+j^јJOot0$Qז~iy]vm@6Ujׁ D؜_}1-WϞr]S*<@ycEqn,~ cאc<%܍Fb l[zV۴B,&TE(<Z`Ѩxí&1 )I+M 'T]Tcu6Ļ,c} xWIv֌}'ysxTP '_o&gGM&=3Rq{H%G A}+ԠPdbF`H-QgT$VU /C#:ܮ48eXǡ9Jҗ{]\\C)#J(&paci6$-2VPOUs^k5T1pJKd pͰ{PȂߐ;JQ]k(. Q{ TOI,ΰ`L.<`Z|7%P5kś!P,d1A(.;ޕ!MY\71uRDPSʝ >@a@>[?[:G"ƟixϰA.qO]wy3YX鈰3eDYAAViH0MAzVȘo$qmrEj6D vHP^@-X1vM HIOv jkUx{2.s6^X:_JNM4+ϔEfGKNMip E:îp+ i݄. J+_1/(t7ެ6paE!u-1k`%Zk!Eh߮|k"Ol*t$j\Ϊ[q1LR"R+MS#35#4c9 6e:$*h'x'i(@.5nr⧃:Qi`;ibI`%9ĩf ̪z#~x2\ Ř cOtͪ2g:? )O\ ψ0#݃R)k\`– ˢ9JFx*;(¦Ӓ fE|=pv# EeX27'aX ق$_zb="0#|JFsqVwgmMV_zCPz[eI)ӨȂP!=3@s׉rX8Y,^MOn04s4-i@4BjҙRd$믔Lp=YuU:9XEm4)q~ *=X3+S!i__iNi83;P|Hu# :КFC5*ev&l8tƱKx~K-䆆)0hmlCs!1]TN)>A.o?]֖ }P! &47lR($ܻ/JMc`;t!aH|V ~lɔG7W6m g(:a6 S.'( 7ERP r9Cfg1y#։o}vX7rRm9k`tzmDJrV[o77ҕ79x_᝚Ua1N[̩ S &R&vPPj`` RqS`l~,vD7تA>{zSz,n{Ɨ#y% !W"κF O\(+{{rϰ$)^=gɁ> 6 D4OZTZ"϶~[n"V\5lVaC ]GiYݢ &]\8Hoj 0 ixJ2ÚY$0⹄N\iKC'`ue]^yR4Lf]=KB6xxZbʨ2t.%n]1zu=z{ys1*Z Sf^:nrpMPn6F3)yI\2@s.uB;^UY;vi&:0Y[w7Klrm9򺥊2y~{YNHzQg;X<ZԾM%ʡSlKDxS<{ڨ$25%>`ePР| ;)p48p{9ȌNzUǦoS*N8\HBnRhvdܚΒ~U-vZtx727s 3X6BUSYeRm9;ݘcl2 o~4fS\qcEN2&gv"L`&>A4"OlBG߲*坃\/CPeϷ;mdvk>vnD7vm2nN'eĜU8*2fo(-b|sxN$į;H?+8&(yǬ3 W7!6CPo\γ9]غ#tHqnM#Q@6,߸ir6O~CO &ⶡ[Q4Af퐓LRJM@[z)z*96,{.'G&Dab1;Pq|sm<F".pvNtg8y"FU gRq4 (0>^jY; rґ03>n΂)cg5 ܿN.|D:^1nC`At~݆j̊5uvjadRÔc`3GlVǴ [PYP̲X&Cצ}oxtQ\<UW"%Ə  qnYőT;59 Q%t51AP TFUl_Lk'S!q ~{4|F` }K@xD_*s(WeZg?>)${9$HuyYm` T#: bYRCn᝻NB& :3S4Rme񖆆ݳ}f=,E[X[ڳr ہs^B2uN75KB~ Z;I!yh".vMY՛39&r.>v'6A>_t~$aۮ..)!=7UO/* -4n [&-ر" sL69W@Y\"I8AѝgͲ6M@/~ Pb#aެP;;̝ǭD,bގ'ad%SY An8iHha¦<q5Fi*~eՓJ%Ѡإ&o32E߾֯ (K zc/͛[]:֡4EOi9#&*Y9s;$'Zf4z֎;|?\ ަʕy PVw|~_?l1T1tBOv o/ɜ_5J ,i.wlXV|IsE?~Os>D؝I +B%&8y) !Zb2ۏ4Ӑo5 XWe5GLزbt&9"Qk5ǂ#9;i3YS><ʓc"6\;>o83Q8 KF5fMp W !f—qD '\Ol!ƀ^¡ݟ`~FCHG.%Ĵw&h,ZMldĢ v.7߬@MږmME1H7SJ|Ą5J|:Y_;"SQP"D{L7mcSi wh*i>W&^,ыۦU^q螭;RAczFRYK9G֌5s8VAmy?9=={܌z`3[O卟tH5P,) q|Dg'sD4Mjr&@Lϟ@Y6U Q3gjd ty4ET19|Wty@XK".GYfǵЎq>҆ Q~r1۳k47 w 0ǘדZ libWi{N_.R;yڙ!fXiO*7 9 aȎO3,[7Ġ) S[_^P?i;za"P7T .$s7?/h,/O!o=rq@v e81-KI6@.oj:! y/ց)nāg:Z \:ݙ[wQ>UKBS,=0SZk%U 4|4|zq "Y͛1' 1cuL/T 0g׮kKu>?vʇ] ʝ^RoT^ӊ}JNxƨ%d񘫣JNu)/Ft}M]&gydGԔ-4 R) ZD>J32 re̊y}X._.QD:)yj.!99J~.ܺyB N3WM]e!2:i2+ION}ͪ3ا| (jbv!CSf )l퀞0y^kw62iEm?C$^Ow_0^}#RFK@ʪ^Nft-Ø8t@Y<ɏ7FuIPGitf壜IrqO7̓wm$1: i Ɣp~qcI$ ^ %u @U])ƴ!D mqJ8&[H5JZn,#qLu%gxG=I$/v;! !Tʹ e_<[Lb/?hB ޠN[K+WU_vaK_>*POrWO\ۍ{ޔV[K. > %myX$X`p^&.kmO޼,.Hjp ?Uh?S]J:Q>U!>RiiIMv {I@oGhA驇>X5ZǑ2 |2#JF 2N1Zd rOpW0 ò5㘻g7;H*=kۚ,*:u3/&rD@%ەQ Uh4#hf$/ 'y[8Wc^I,@Ѳ066{U?7עjF èOpVwbtX Ir e߉X嵢sҧ*WfPޥ:c iUy~drD'^;J9pJJfJ,2?;n6/"iiKu`.H\X2ZC4 {{~}k'E_kgu5}'.2 B mL7rfW"@x+=1JTXO˱;XuGXϪC{U{*"CgXn^ycX5C~|Dy`aN\(ylM@.~e5gb@Oc3+tT*afnTG.&5G(C*> ]&xoQ# &OƦH{|{j1XTPEX<?G*g]U:Cb#ýU,l0#qo)*xo\l1JN'PfӢ EP[ 5`@/'VrV[d0z盭""7 ؁b=l݈h“GVj K&])i.ׁ"%UASZyEt8Qo/K}D+ӧf fXKt^-b*ܢVڟױ1 i;QE گ׽u 23Fh"0DvhBaӔ~n[J 젌e8 F%CMsvFrJp82 1&E"{3EÁٰZwjEi2, 'QZ[x@E7殦m6aOYY @nE؜PFn̏&HӘ2,':;QPa[qFvyTO")*R IK{"(QZcz- vС#¼lI2xޣ q0.|ohBY b9җ QR[t7mT=CV@[8-1dgc 71p?UR-BV,KфK0L,0`ʒX e!D<_GnHl>gf^=WfU4APv< ۥŽ^Q§<+-:ՂAz&֥)N|R$KTjPxwƢ3%w7J3)Cx)8)F\dG- [Tr ͮ Z;ƨ+~DEJ`4tl/yvE b#Mq]^4| Gg7i۹=QU۲ :۰7KioU&+[Fh}X"TR1*8@uCi`7Ə+]IRsyHlЈAŔ;.!e7@ӁpE0sCt ܒ|y<Ƥ=A =K1ġ}T FR>j<<:By;5+dX_ԧ > YNٿ|oţ jсQd̤FEX?K0 A _OέX|!bMN'U 15G%{˸dHh\sLȪ Lm)~[`Fȵ~=`-ݹC2r>tN/׸+_\"Bwm?ՖI>Ƨa {%vu#˫9fp$FhS!>lzGSpwhvBz 6G/˗ cՌ,XmZ@jwHq&xCح NW:ʹ^և*5)bQo@ HUfiIIf"d4gf]*֛xCj< ]>{ n䯞1__]mQX'ݜ" |405Oj dPv`ilNf=8~Ll8yÈC)ibIH<1p(D +PjTh>GUtGωmaIr:H5FIM?n6|jlgW3T` $qPk05!69CE]-יQ7 PzD7v42Q>5E@.!bF.)@>پ ! t\+3R &e!vI P&Xcӝ#{eW)|0B-Vti0ojZe$g ubs)J,50 t<$B,;nVaÞ-Jɡqīd.8Q26T &6 ڻqji>c H(m\o8;fC dD-3Ο:[sdRjw8+!ߜTP9֑z [6sjTDG' tҮG;.;ȵwL; W&U[KNN慅# 9FN e&hz#JpZӎ\#肧Ɋ9lz.C_UrYVb2m J"\[tԿ9㾹Znu{`}"45(nUAjJZښ:Cʊ١"F8P~Oez񜹮]4\ la6G'8T?QsMByx|=a _K1y7"KW_c/"d%HCtJlt9IE8Dh`_"mh #nq8ztT@2֊jE; /UOCaAMI?Ixq~:_KZldPec( )=Ɉ yƹ{-6UpDK49rr*qׁj|NQ0ypʯ>f}}XH'ksZk+4*PDۖoõ7߁Vۿ|paKz|xoNdua]3)Eb-H:rCuލT +C?3:d{<8F#`=J j L­%0byՃ/ o`i66 CLo6_&m'bZԁd4r~TʶFs#!ĦE{M1ިVaex,Z##0>4Gەp;c phgW/U5 'l/〔c; FoVtz@/M EEi͏j[,ƉvzE/ɵK#:ȏ%pXw77|aH79lEO{xFgR,OV%j Ɍ;[}C o, &)!сZOj\T(4n=DeQa)zj]s6v@΋4pȂ7f_pk=`"esGx 'yH4 Fs%s<A O;'sskZ{v⪇x me쩶Nw³TWh"XȖaql~Щ'N1R,+kAsTq,ejRnǝ5먦ȋ~F;ppKw߉pxV'W$M:Bua.]0 |.|*oBLK6t"cfQ[5B.f;'ze+yN,n;8H 4-i3gSJVmˤH9QT`3ԚnVk8v]W_yIg M\h# a|Gʆ/刁*!´ijYcӱB55؟[5+ξyىuNj+[r5}l?3m}Wu7w?l*ML'~Kn irL /Ka'nf3TylGo0xqڅrXTxÍ[;&;2Jm]8 CT{nQL`c8jFCcW @cQ8ztA!'ؕ)l֤EGdݟʮ1BliȒZ0ړvVB#ai6˖y͎+nxabz0=/@гd2 F%qcC'mG/^;ojͺTN]>iV\i6!&;JezalV_Lb|͙թqcpʨ>P4wa䟑ȱ'#>ecnMjp!,)=2U%[MӢgK3g?h [C[%:]i#R@;^AjTJP3y/18@fT_gSt 쬪$AP0Dse gYZ{(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֫VichdGFmt]~,ِ,U VĤYʙd%OiySҒRAS{dn8f)YlMV-2?W-0!3ۙI&cb3z?jut7u  GOzFʼߑϥj$!64f3MDubK_ @בF؜`U: ӭ'?&oU ,LsC n0߮Ń=v2jG"OׂRd2_ l1]829$sf+$Ⱦ+TPwQǛ "DkW tCy}ʾ}yK[a[3溥g[tEɭO^R,8 ;vWd~=}>$ȡ*Uoۗ<) z"L(_~I&QY:_OXl*%3 -* S@pmfdPo7F~cDmz"9!+oA/O3 pBv/mĉ~4!CjGdÊ06wΦ;qCz0fӽ`Ѝyhx!)yh?粕 ۜRv}^ZQ*aQ E1\:g9:ID@C"V-"(i pH=bνT9&%&d_D|kNv it $W5yv#mU&B.` ۰\!.n9}eIOW!E4vc{KfZaFu8ՅX^?Uu=vJ&]r lU\(zB(jZHx/Gw 2o6θ-F0ačF-ɽ4RC,Sn @muny_h/ *'106gy:0ea./Wkn @(Fgdnzr} pѠӭO1VaHyAf!"wqU‰D] KhS}64D3OTv 0] 3k>z5$80܉)!kJ)p'wCؓ<)ϺZD">λ㍢Owշ-(:)\ΣsPcQ?CzR?#*֦BBH.PO*C!xyn(Tecn+n"W(r&GB$3^G۹ώ*@ /Q]7!v~N0cL!Fj *|6Z~ SMѰJCΝa@ʷ ]x/oYk?1g o NU 5;gYZ 5 Jf5;s% Partial_Order_ReductionPartial_Order_Reduction.Coinductive_List_Extensionsdocument.tex7zXZִF! 2~]A-MՋhvG"uIBm5zgi%HRy)r e#N*hsp"3B!Nyi*Sǧ-SLkɦG+ mTh@! 4=qaJK k^y`\oIB>ujj"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!&2dZQ;I% Partial_Order_ReductionPartial_Order_Reduction.Tracesdocument.tex7zXZִF! A6E]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ͼǗ ;S% Partial_Order_ReductionHOL-Library.Complete_Partial_Order2document.tex7zXZִF! ZQc]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[*㘳kjVԣA⠠*81y%?P)qJz;D0D531AyICrLx1:GZhSR^jxs:^P-i]13@4^#cJُ87F/XOA$Gh6#{j>PyoaQ;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!9#ѐ6{Z' ܗA-;U5n/G<6w\zwaB.CbU%;ჁU=H=a4A%;|9x٩B+Ǎ\:d+&TR9 5h` +ѭTB>gMt@^?%kWDt/9ָs]!/(:iWQ{ZJG r~)4.+L9U =es{$Uc`~=`pzƴ|;29">lNJ5P^3L[hqՇFڎm Q@%0'(@EYفBdjfّ1#5VXO-mj0\E`iЕ8-{B?nՋwc-i%ܹz4Jc6 kl[WY6q6!POkʢ}tFGb!%.9x;Eo޷'J,"&ͬGf$)W*eYlZe=%Dj Y)R6E %kcèp[ErG`L:a޻/~:> AN%Hr!sEV CSXT#!KDŽ.P_$޻.Ru|`L=}9oiҾ]D!1~ aNl>;lʭ#Qдm uͶɋ#S=/ g[qY֡ܦW ,6\W3@VmQu%b5/翌aA^YJԬ˗x1'h0w\pG[$It7irVӯ3z)Xgkyv]U/|駕$1JT qT0?Zhr1tk;6-;lC1b4)H=oaN>T6O ,e7#1/7^*sk٘b3y^GmN5)l(y)XlEqxXz\/ $cF&i0-Vxol#<*$ʚ^ry9MKLJYʑoln W %p'FSiTĿ5v]CiRZh uD_i^,;HHdtG!M5*T9;A~頤-(U2Yu&4KCvc+42h;zZRY,­*IM 'y!D;F,PxSGڂ"fkU5"s; kùiձ1~ǵ}~Ő\;% (Tld;6;( &y\a0ǮbٙG}NsV<PN99Ϗ7ɿB,^zFII5PS8rkh{3vW5Qe9n\DxC$`j23e|˩#4Vrxb)>6C@'*7@=?Ì ~N Zv{S1^^ C|A"j cRT@qiHRr%CrZO-\.a;kxʮKoNu+Uӡ*g@5t(ЗHK|( (I)vwJ%}{rޒO@eg#9TKl&[~` i|y`Yz+ g>WSVeS]6숭*kMC 6A{S.D<]\WlUkfd*6;dPXlmɬՕb^1gtR+902\ֿE4= I#k]jx=c S+'CQe75U'5 K%Oir֐jZ j%4O'Ktky CEӒļj5Rԙ>Kq=e} `|z9 ^)2#Q /M(?gWv?kV"0\~#a;j$r `ϕ6Rd 3{2Df+؞4:O`$'E2&[F۬zXmpuvsd<wLw&EKі*]ҋh1WWz n^J,{)[h}VBS||ڟtpӽ4fc7M6$sp6:!=CG'rP8[49NmF!F4 FX,1iO 5I ]$c`$#ᒡغk b @6?Z[ךv7GI][Y!.:?vP<,944 RGTJ[>)'AM]t֜bLP7|?9SB1O|$Ժ/vbxҪcjn&̪,N "Vo9&~m89o0.,6z %uׂ~RUr39v 6! YzLK= [mXⅹ-OaX$J@[L&)N}uMn&K8^o^UEU#V̌K1=NYqw*ũE`r,Hv)hX:Sc4ȳ*},EJ@$!QR.~nhEtČwiu6ߨ <|!]$X a /O97!!<Аq|a̫LFAWb$ 2*w PsM䭍7xo$?LvV/^4G h9.U>/Utm+D%# Ad\`'j3פP'H&5P8 (+>3Unw 1ghnV R%X`Z:9f<3 j?w[w} !&XM8Y#bZA|H;5din千*N7(-)8@Vx3qÖ:Kl u _ʲh=i>ȰMLL j0Gƶ{1C̏xT= 0-^Lo T8SU^R^%0Pato ˡvJAmGܼ\ܚ(.栠ŸVlUZYlhLj:"\qi{ dQ:׼|Nx^uY8㙗P*UzNf>;tp{КϊhKuǬltbR[S]\"+{6XNZ7]I=!WFRz+붻,1y7v)the ODgbccχE<eMP!ֶFnfYBكe/ -Īm}?)mЃ+5=WL/%` 񦠉}Zlx~/=[V}"7TQlqUl u͉iJ|4tqivC{'d2Jl`2{1+F!6c'YA{W@ vʀoJa.Pru%38!j%(fR:#[V|zO`rЄW[# s{ Ҕ=9`#}t01"mKWؾsC]<_ ^K֥PuI+,*'$YMH wU|h%>!X>y>:]4|F81:3ٴ;LawP6o=?P%j}oV#JV𿼍8NͳLh~T;0AcjׅSCJӫӐO.-c2A>s9@%L-X/#fd2:-N3'vuO  lZX-=9C;pE'49Eb3i&Ha< `%(PwQ$"a¨+X&Ӝ"vۘ!9FY7sŽaV??2Hׂ !a hsuB̍Q.r QUh XV&oZoȝJmF(!L}!'e䵨;i(Ӕ=4arG6@ ^S'~="23ent7/%C,}2ځkVV n,!)`<8gvddgYXU8+ԥU{⃁W#}o@rWT\c/[j&(g:` ޾Ss$PwoLc8{WB͈Nt|ӣިjc'@JZXx$邷 Iv\4x"guaI_ښbL.¾_zT1_T~d6X'I_4>q{Arj]iWWC9žݔvo~kxV[s!^o >6EİK&yR>Ka{4nq!bKFZnh !&эj3L;{$F `yAadCo&OǢuP-u]00 T`h:ﮏyTJiCՇuJ96X[VI볬V&WӼl2<u9SD:{A6>jmjMqS5E\5M[HިA,9&v:)"2$7 ANQf@FgYFD~''*u6b^J 7z:-Lh̓MvQRlŜݖ#8O򵕀ؖVsc%gtj <"0 -KPrZv٢>e_ݚ'S5CY˯>m% oSb6oݾC*+,?r"grh]"XƮ3F,[qQߎ,E7\P"Ê[-LE! η,μ ֻɫP 7 Q#jeW3]bC<&)KK`xdUePέx Dd{0 BE Xj'r[*[-xX< q/ xWQ1+X\TVMJ|N&AP,$6f0o1Ƽl@PzTWA,}>e\;Sr{Q7Ȱ[v St8.MCT?nLTq}p,(?&^W(DZJRlfFt듉@dY2 ʧJUZ{ܛ[JW&KtNyufc9x^ZrL\ 8Z.9?^yK߬K>J~_hܦo:zHi̗MnÅԎ 3we*~U. 9R7,odQME(.pjRxp4ISI XQB[%L4#=DIv9ۯXrORYT8NVۆVet^0 vY4UX5`ѧf c*$(,^L S!H0ʁgyGsIvxѵX}wG X`3P7?)U.C_PJ-8/L`0}_EF=cלKD B>6%;|EAOۓZ0oT"U4< ulD0+6M*bj\Qۍx"(ZXvYb C,tL[ u~2wsL8=JlK !M<֝0o|Sxp`(0st ?Pn%`t:N-\7=i(ꮆ`"f` 0Nz\fU/+OλhHغ)$sKTk G;^K8 bhDN\C!N_ÖvF {jG>1uIu8)" 8ҷ&y3R_c/v鍯ܺ,tYltR#ttieJ-$ x.O_?,2J8-_;&Tʷ6ph֭9qIUhu׎+# Y'*zje+M&ȣ!aya(qrs[qNqM\z|p4pNG GZS+o\moՄ:t*H;6$Su<]T8m7g?<1Oӱ7iW(g˦= E4~d}8Bh }HC77Ĉ[@JMZ&"p5NSC QIg1/ρЬT[  &b^i 'J2/.r97.ދ_!8r l٘"ѲG D2lZQνqX+ qM% x ]FLzduMI(c­@N47/6e5sMp-[6^֑ܸۺ*=nڦL x0E10Syœp`}Uߞ|3?fC3Srg)!N&HԀ:?Z&4HNă`v1"r5D+Y=Dl (qHoG?sdJm,-y^mG[& ". vE1*[kȩ[x;ck80ܕ4s.Lp*6Xn{TN$tmw758(ݚB mW56& =.Mǘ]5HfeOop=Z[)PD yDK+EhRgwHcg6H žqOz&Ah2ٛtzr] ޮdwZvG bXF:8;sd i"MPB# n^7/@yc!/HEIHe>!}Xrus[vuuYАslCjaEĭ/̊ vT1 <-Sg:1S #L+WqIoj rC> wlWϾvX2РRX|x'?kn@ޢ&ӎE,٫uT4^v ][so&B"Ž[D}!L| iVm"r# ~󱁱4bvjF&WA[PԁrIIjUHͨ:3 d[;!nűV'cjq)ӱ+b9xV]ݞ8r3zcx[ڔaᗽ}}6:`k{!P9.B5NkQi^XW߹UV!kvE}\Ahzjβ.yU]dߗzɨ6KV! >„ޒ&<r@SSĿaQvЮåFi ,mb˵N+FϽڢHxLc֐h5wEUm.'PLsݚC{pPbJc2 J⿠?5[~-Wʮ*twJIeU0]QԗPdPGƛtfT0Z?G>, ?( (T = dմpZg-G9q{|W]]sTd`2yHll75[ ,y~$˩((tϰQ}>g%f8jaSS& nxl:Ѷoa›NW_|D ;$oz9o{nw<57&)`+ebd$Xi?8ڱxXn{!w$LLv#b<*CH؜Eep߭IT8`=(Dcqy, 2~!՝->EEaN'24ܲ(:pKfbr2n 3}K憳yc#)LQ:*[CaSJ8FO_)Nún] j&wM{inuO.u\;x[5w}љ[4K:/@Zweq!4Gi3^o7JӳG~\ZsBBB*)NҸ"Wl贳NZSž ʳX1'uyuûG<*Ewvg9Ӊw'~aYKAI4lRd{*ka#͘,YH)}fvR'kyhϤf*)-A٭1ˣb \9q.2mih~+?\k&sA^]yP?o9kt/Fg L^oS@V֛Z,`{19a u-71,Cn2HD"n9lF;u+%P!eY:+8b4_/A p҂sIPͫF[yHiU:ZifY$45$V7*NU @ BS4{d,.zw )@b|siA Fz̟_M}jGͯs;Ю` Z0DH-ԟ_j08?zAo#8ڡ!߸B\Ywji@\*9eb㶱_c ʊ٩aT BɸOh'k0t>fB/f_p?IZ) 9'5~QFSv2=:#^#ԋdc^/Λ[iyyPH57 Uoӊ@._'?ݲ!+flFˊ;Äm@G*v==BʷKs83ݲbY !镛 v_HKDJ^<hQIٴQ6ik!gYêr_ȭX͟^r"-obli skRt,@Q 8TO8Dj[Cޒ %]j޶nXN{9ٰw[1 KmQ@et]'G)y?i.0̿ wߕEp VҒ$Ym<3V,Bͣsʒ%Ao[R&ɔX)ZTB9p.Miiu< ?J+ݤU`[9@V^pb̆\T }mW%)G lv5NY6 |jSx3_IOEC`uَHIc;i%F3l٬b9qy zuc1efukl0p0&m:Lc!3^UHbvg m[MI~pK ӣ[+ڍƆ8o D A V,N nXd-_#–*J6ݯB;\#nJ_N/mrsiJzuwQx4vJӊ"jԩ6a-6ZCIpSɲ.? [tYHЙXL4 #1UQsaZYe@"P4+]u'+lMXv_8a=53K%b_gYd^W7F_Gr` E0ܗ}GxѬ_D'JdnCU/_ʽv,b<)@Ct_ADk>8XS+I5(+"ӼGT+O[N-L?lJr9Ŀhǿo =Yjd \V)J-r>Dw?3"h+QO0$#+hcs (݈7k%_ԵFp. M.6C q縐7y=[U!QJ,C'&f\rT{$y5ݜD?bref){Xc#<^Lz2ltK-lldf'Yupfcbhy$Y<‘fwns [.g*yӛ>$G&f }P wF!b۟8#]|T,(3\cWխ/L2qYfQ֟GiTBgxCku/I>U-GlS`IJhm]I-KJfJ pkaj3~+NOy};_y3M< G}L!^F@[0Pe)Gp:pghJ%-#ހFM'Eo͡XY/!O cʗ]qb45i@+y^j$2{MqQvYB %?r'nWu;CmPlEȁ7y^y|ƪaK _2N{`heYfWT}XtX15T& Jo6>ap/}*%?%{܅3"(|i,僸y~v?H72ًs- Y-Yv(q MP-ij9w}uE[ID%C),&0A}V|v(8AI1%n]0E3r1U*/ Ie1)O'NHfKJ"N~[YO-Vc Cv0cnPmQw[1$ҵDHgiaxG Děꔐiv(E ߁QКe4UC+~O*; onf!sPȺ U^Qo'(_ôB E`$y0AaTmUB1Ƭf=#J p6[}݆%$P Xmoyٛ( Rʧ}!tKi;fR#/$  Ã]q/S'VZ ʪT-\+ڒ~\|)ۚ EٛZK(LxwET ? Wf3D :~CnW8ftR #JRc"b- }RI3q1D+Dyqub&lj&aY8YC?0=NҴ xh-cNVʌ jkԇ'`EX%B~a<ȯU:SHBk'E4'NTP[>3^yA(3RJHUSw k-:~g0BEDҀՁo. l!yxJV2ٷ) ϗo0/!l? 9aSΑ=.G%HoUuҜxr IէEǽnsKG!f!@zXO|D沆j:/+'WtNq(\379 2XD#xz p{eKoc]C,/)7W3)pH77i/af1{s^Q‹@h V8F $W+p^cІzS(}ނ+ip 8E^Eqlʣ÷YBWhIZwK7<"f,ƆIӗ7,tlT3Lj}=Ć)-wiش{HÇɉwE[z@Iho)#MBA%Ye#n\Qb(䤅YAя;m&oR*3O-eAX#fdenF;MgMsQ9ԓ4=Nt *I\W?]W@f[\cs| Yƞ2oY}Tc'MmbT{1V1J.@o ~ӣ+NPŽU֓$Xſr|6 XwzY #qD + ytzc}`:Zp69Av?XA%{Q QmvT]^[iCCߒ4{F,uaڽ_gJtToyGΒ"X b8&={qL#2z>Z}=w}Y}CPR#dCv͐Hp0!Zi`kkVf2{ ٬pѹ/ui AewI HVSy`yC_z8C(0@WHb·0m2jt"=/@uvͫbF$G 76) jGzYR9˖yU_-xi r!oɋeWuLΉ5d"q@7zJCbLBsCZb|ٗ>1x1z$?}p]wn@lN5ˆf{\;){2 x]8-h&epJ4D&glV.] ɑ.6rPFMG_,G㆑0M߻b"Tsqh W?41v+Gށ)~10Fü~:.q4"U͈uLKW/\!t0H)vy2{U_3lL`(BQ؀r^jR_,5A//YZ-h"aޣgYK9ҸXX9oVVZ?}--4=gtZ8%fσ'9 &;"ODaRyleN.,$'2<0{H<8MiX> [w`1klX>.=S}/~+@`H&72IǽNls~/1؋y0̴:}' ,l2ڥY|reĽ6}G76+/ËʡЉ!^i]SdeB)0bÀ:/߶*17%C< =OnWiF/,FN?'~).'f$cധzy:zn-M y4w VK8J\JiG{bS*h<Ydv@ uѺPLFRk={IZZє Qu? b/p.C ]c@W}"Fh {gZ5#JAߜY_3V'/{z_Q7)*z,]X?\"vj5c H~S4cUiE?;[غ|F ow (&5xUxS=Zr?yCC(ds}IqԸEyJqU~?d(>y3f2K")84M?&)VHmN$2RQZ6cCf3qZ1%9}M9\ג:`q_b#iEqs 0JԔqӝJ MI"sG4~}mUGWA@n=vx>. C' ~]d:ę>b E( Tuΐ9{`̮v 2@((RK a zƘǩ܂ |\l1#;__Neǐ%4!A$za1Xztz(tv)2ia*fNN_t1{f'? ;.6x{^] 5dh!'kɗk%=8}%BNrFcu(nR[DƼΞ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(\㹝7ΧҒHJ5h̾k6`h-B-_o]vA1P{2-lƶ2uA_<}P he"} p>)3b Òң jQqzsTw[TpXȢ4ڠ{%* ϲ?Zk޷&>z;&n(Ƌz0ҫ{"LH$;^0ŞUyc(޲kQTpFmv,?O0K=DO@z5;( oP)TP*x cN"o$YYx Zپ`vO:rU127~:7r)vnS-mj `"\Hɠtn 9}IءxJ9%v lhbtCy|t>r<$fcĚCdQDHҮ=NUwl2XOx[@%]XcZB ;DYEVA4ў*E>ڒ,i9Y,ͷrNF%Rbzjy u .60 D )o)뛉ԎPFxXL9p7w7\;QM5os.R{.]{^ d9Yc}dcQ43M]wbAn< jujVJ-/,yVPK²b.x;_w$\ș9K aaԾ,&;~BHͧ }<v5foH3jZ ZѰݧ4K}#Ĕ`n?St ac׽j erI̵wVSB'y'[N!Oˋ6i[Gx2lQzcx]ߵnQKrZ2Rw9FY0T0R])VF'ă8$/N slfO6TvJBGϷ@2y*seYc~=^LEGHM"QZ/U* <͖t!Yx#xcfUC7pj:fX_ FFOY⁘i_r#po:iM&@n򑲬YOn1,e=ꐩcQ460$*Z#mJbpS_u0>oAGszF4 @ фRq 'dP۾}Skk žaD``G{F/BzؖW7smԐ#ߙ fa^&LRy˝)]-cT}2;YӨִRN>` ZI״Y hh۩3<<" 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 ćDcwS0(🟨7g2TPb?`=؄RGeoτ Ez`V[+ *Né~xKK4qb5>$3<м*Ha|+KheEy *gk/(?&3JVn,ןj|c*Ƕ: 4OD1_c:_AZPmn 5Pv z\SP|%}8$&fH+9?ڷP'AC1CzH 8I э d^|Gjp'ݴ3k^?Mc:RU732V"g&FI%=Zϣܨqu8BN B|A7>Sw^*vNr}͓Cm8u$mHNW \Dh>P Rs@~XxwQv3WޟfWR+٢MUl7Z'jSf^4U2;x48`e䟁76]6%\d-5_D38M_FEV&$ 9!nzvi2`ikX)b˃A[HAx Z^o& [\=mSf/ۨO%,>uw]!&"msa2׍ŠX87*ѽӞUu|l*uŨ6!IO#[l.T?5{^@-B`u-z9'I/u(Q#!>( qҒsy`NL]Ai0pu"'QAH9@{aZQ)qP3B -Qr1Ax=1x{d_-w fYW©pfPA[9f{B7fk2<&oipa {΂A|[_8X~'n{] xz_#Jc36)~`jYuե ^jd!z-,I^jiTn<ۯG(=$W*V:W!ϡ'j"71 WV撜{? SCZ9yeSwpt[ox%)mY(SP=EV/8cLlЍx #=H[L` \+ VVdup堕,`ᙧsc_!(?e ~{r@e ~V?;u[c잚8.b?#e<8sєY> T_N^M0g'MD[|&t#Hٹ:ǼWZ.ݱ8N2{8[GHp9||t_Y4lz R!wjZ^>\f$dĖ('v#>3qrxX5}CčӲ({xOU:&jHy/kHn0(7O_} Ϻidh}okleozjJnrfЇ~=0q FasL/d޽&ߎS5x {Y1+%.. |2x1ި(a߭Gg֡'w%c1)yl1IbH3j#tLdQ\E"l6tzM  37X6yovF0dSo@ecP.חC %]"*׳0k呁{wl )`1 Q:ȞDx$[\sqZiIaaz- D%~[2pɱveay{1KIX[W)va$Mu=i mSZɋ#U’p}@J@%V(2 lVye*E[1F闒Sv]hE9RFjcwRGάHUfa*=[;3vPf&DZp쑑iOU@uуQ6^|aMozI WܢM'$CmNa)O/?_:Od dFO[2:456F^֤Kbp1mYy|vhT9M-\`DrcM :6&lL/1,#ɭ>}c܈"-!%mK+h Ǵ=$bG!Z`uHr =^ɝI #C $Rr]&V*>?Mpv9ۭ`'VHF"ib{O[zzݟ$.qt^ͦKs\<[1luԳ {W=:\Y"*f{v\kf0zᖴO gp QL>yT ׵)6dΡUWy&kW~({Ǘg.\/6J-qݡy.>[&Txy|.D`ni<*!)ӁĚGL69K+ER"Ip_lS8U5x=t 4h%yM47Y@LUcCbR7p6A>oVy;RǬ{ǞMPf}!uTZ#;NPk3\0m'\\ vbF:"ˤB=7_P8D 1n;zצߤlIv1|W|EH?A*ԒBKʴ_[Z gz/s-g aA='0fmG/n(ZKMl>RƆj2A"|A?줔Ǔ҉APBm B]t[lEm9T'<:ϬaJuIyb=ezK< Ӷ5% e- iBc Z4Axp% A@!+:3"+K^?l=&MGE0r\7ijPܝ9hF.c(لw`{vr~Ǥ?8z"aM'd3na'+Z Yz0ry]ڐZŠ^:xpE0U]xo/6C.irH/mˁcKE_ !X x} ㄈY,N~r<*@KLAr;v[vsdQ몔B_r舑Ne/T^ " 7KM)^ -*Q04=UyzEXNoHC6ǥ8R42&dl/v=_W`*w9:Z]-晚 <,nYWҡh$ULi4&_{M C@<,r&YK7ٜ֡q i{K܀#6XtM(Ǭ%=߈,7v5dA4`6B2,׈3.AJIq5{zZ'v"BɃp[D|I쭚-D^X5YEol̢M_?D0QY;5˹8+F+ NF[#ǚ|ZScjA5[w=Eװq-5eRڝp~_,7ą,S~gޖu|S/"^pMڵ%)֬IЮK)2 1daJg6I/Ioӎ6T(qL| Db:SCcAAi<GPzP,5ad{ƌ$ԗUdX,AANPqZuYŮ>e,D,p/&7&'i6MoK`vcHp#t؊Tn%|B%Ϻ1JO'Jne^P#wP-8A̖mBΕU\ؽBoֆmwe=@ԼG2[_ե䃍p"&27bGů2Yo\ru!G[-­_]ـ5.nPs, ӓ-˳k^zuRw0TmL(67Eă3rEУnqK:Ç#ݨg Dկ*B3W @k.!QM)& rvC'aEW2{owu5=y,anvWP^! ŷr}Ɂxv?PhRzLya=ӂ^ cDդ*o&QSz?5XM=Z=Քav):)0чXe esؑaY6}F~V%CW0B-rl a2>.8ECL(\z*CAon)~#tYD4;jx\ƒܖRb={| V*d $YBҶ ' KI7&p*U%JrZ;g@`Bi{ 6f w_F,  뒀IL(GDFUi~EB8? [M؉E1 :we ͣŧt+tV#kkUq &isNFm!g,zgx $(ȑ6ot6_=hQ`p<8Ir%K ?wgdnO_.[;POyt /_ں UM\Y|0տ-)f}T6H J i0׹ia5_aTsiA|vUO7p@)ۘ]LJ~RBZ„bHOD;j@؝Kima˚Z.:; GIBLoq&D$YU~NN݀AT Xȧ2\!&衃c*mz RO6:MqD`IRyW黛rtV0 n8ewV -1WXV 1ӕ$mI1P=dKxLMJt)"W_!S#ң-' -T%xv>|ދGo*rHdK͋B U ͼT3*i\ML@bU15ܷ+c wW(j[)wXcpr*l>2WRddAI{!az4'+DjԍVy}=RU^]W贏 rMd|l&q'hW1uX P a4_8pfPf쓘!R2fB+ɔ0C`GaNc x-B.IA硽?vUjgѓYQP DN=LܞL5Μ-$`AxY_s{nQSɮyMKUrZ~y8B(.L(^Z5F'wK0GOjg ]##,vƌz(^N1}4W1>;MkDM!Np밧`G T4&-ըsBͱ-K>9p'ym?'۴v+W7^CEV:n؋\o Sa |HBNYY8}N;ȺB!Q%t9E=%6ablM+kd{ }KM3mni?IcJDVAJl̎Yݢ/ #7 "C uʡ9xSxJFiIcopMfW{^^j}K)ϲd|R'J1q³ۦre["WP #%iwܹqsU~2O46OآstN TSۗee|>=YX8hZ';D,d[y}lbGc0!T5N1{jhӒQBUQ`PS fGc I%xhjmw0.&dK'cǃ_:t-6c?0YW&ްG#:{ٚZT֝XC/E1TTyDDpJWxۙpXt+(MU'q7-4ITm֦vP,/t:*c0=~MrܳK D9o4 ziS|{7#Kgz R6IC"E#ߚXFqX:MǺ~r/? h i;s,cƄwef='lQ9;b^lP%pCP S¿7&F#Y>Ǯjrn"/T[JD<߉'Ƴ! e"l;v_WtRw6^?CZpټt|O'3S}5=Le0]A{AAnTqQijQWBpi\RvHDϤopA"Hn#ݜpUZ]//&H kN)֨WI%~_ rփm]nB/ -Jdrڄ.!M7|*xZ-[MMۢ嚏tQI;{ xrYA,{vy^]4NG IuC(/ĕR-6v #Ή΅4hzt*W>w6tUx[ M1@: /{cwD0׿dhY^-)d`Ds/ͫgW"J]w .^j)ErN<֐k7[" _'*|ۤ /fb:eE7J Bvh{B9.q|ͅݹ+Mcr,^>R@UF1Xҥ9EB,ӅE4ٌO1W0*>yOyUGdmĽP4`} 1576^>be63L?v9ss9#^=#>L Wa\мU3dKF\p!)=>lC1,!~[nW\ 6yf*XA뜀mThפ~ _c#63 kL΁Ʊ (ؾL}’s#mDJJ%{A2Ź<"P&;Z0Q )t,.ʖ|P>Ɩ|'0Y3X9}?l"ǚr  #K>_Ǽ(AH~@?Rs6OsqhD&!eXݯ,4]L؁| Hz3 k] nW͵ޅ†1YMB)¤ 6^yb<%̟?'Fa34H9u۶&V!LE[=_@`6s6M)KH7殹Ϻ:^92ŠKVpi$+k;`7qhNjHcby]tOgq!EŹ>0ֻ#OP7k y=W,5aē7`J,{<`=B4W;ZHogmЩXDHG\]U;EżMh5Ă߿5dSPEbyj$c<#?l!+ևY[*I'G$c+"<=NHr*اawʩ @&qD@e뿑!FT&w&@`/ ϰ#g"7ftAps"R?eufwkh6n]J@8l8+T3[&&(@,^sisvHzPבLSԏm/E].zeOhoy~ܲ(b))Gy[* [HE;|~"p גo M/Bh@`ټ&^/;I#z;m{hˊpoT H[/9ekk7|.OULPPp+th[d!':)L,!3diaT@#{yh +]ㄝ-/_x86PU }6ҧWhyG *Nދuz`pǿy1Ԭ'P}6"- CO!STu\FV"g=wHkf"c{< lԢRo@sevmTId幩GDIwqBqeOdds!'X2?P8] W嶏zpn$鵬r"iztJ i]˅j*#qp\9u{իycB𾊸$c!* L|'A訧q|F _xo"g. nL^SbK5^\]`}.1g+Jj{ , NI W,!J mmWz}>h\ձ<G5h(\jB?N~mO<09oOnުVzJog4*]5e%o;wt`gWc MSsĝ:ExplSERV_0k]Ý k%2#\†y퓑<8Vl~oMIP&r[>E- ZvTH^QhWj5ͤKFO19}]gE#')u+Fs tND*tGvNPzVgIZ/b.,OK~Q-յa B4[\_g=s˱fLJ؝ԠLeƼ>BIx>PiuE DDÕݘBsS1U:!NF(&(y#i( ɝ b+_T]!UmsLGa>ZSƤ6 ]LO? ~3`7Nnw<]}MWyȎ%z!CBEaH(qK<>`YGa"\4@8Q,XBLzMϊqN$,3iwvo/O}nNEWi]6xFB|}•t=Nf8_L Jr]`ڏ#0!x'VkP {f=WB7Is&VA`/ȨCdm% ר#D`o,kV08&31wRߪxRZC|$y!{5OɊEDEenХhoGtwgA 3 Gm$~7A.6^Ʌy)ܖo|bq:vnf>e5gEdo)Qmt:t?֥, "9q<(&,swSN&圦]3x I rwwLhBL' O̷C>Ė=wuTM7Kk?(FVEqkk@CR%M(कFhKCP92ku 4 @gp\ Ȏe)SS ?\x 8f,ޅlF=kfV]'[x{yYRS)C 6r Fx47j-"1_L:4%S<=鼾*b qo/*u R: ,5 i z A^^aZȶ-ĂjĹdN !e zwjX!~gl-ntќf+sL*cߤ'd#jm/tnƭuep$z qɄKȆ9`'wLRM Կy6!vgO]'&"斳iQO_E$A{]U9@hؤɨr SYo,_l0oJխa Hs-;cHX۸J*WѯYp#f418$yOSe:l7K\Vb6mEg&1[LNH/EYsZiCw,$mLpm{5$C j!},y9P-} 6s.PDkf[_3grzƊل=CΪt2+ xiE^.ikb>b 5uqbW}al+˼Y5FLzC ͌oY$BL6k{BRjgyrj P?b0Lj:W0tvX =֌nH!b# ;b՚^UL~8Vdit _NQ^S*M!}>qݘ&1M=fV]kK|ўKDӢgڟvLcv2<)gG4ϻaV(X< ld9iy0Ә30!Ϯl/593@biӒNjčC:X+ihH"[]O}e8ͶrW݀Lxz=DS:"=g5; /Y΃/ٳUR#]R>86aH -u44nxSCJ>KfL{XQyMȷO4AKW(<~$mqhKa:ҭ p!=u/lPISn𔉥n6z) IQGh=s@m oӛ8W1X>E%:p'[}(~x6ײ?:}IFeMK#ࠀP *Ro#M#o0:2;^K[r֔_ʺ{[`e4TܬG`Mi/bAl {gK A}hy2 QDƳfɕ\g 5BRwʕcڑ0!ızBmN=SQaȍư| rQ]Pr=ɗdڽ*췂K"87hĿwU_#e<|4&D2O/r+xpZyF }DХJe;P ~7MwV*џOGD()7xtQӦ$l9nv`u[LaS8\OhyѨ*uEᔃm Lv'i$ݗ1R$F HX5(6]+ "snV-c6h^U :%im?E$r` Cց2W&Y8Q+̄˩ vğ)n`GS'a=/bToM$ȡx')L%'4B V={vU&_qL'xa;%5sxR ~9o^c~`_,:g2N#3  FidriFPVH$Lq'B be~ 5 NjsKW#ոOM4zk巄H^Nm{E H8)L ~Uf:~G@Cۤjen1Q{Beh(РF=1_Y6:Y\ BNڀs(F|@31j6x:ȷj"MD^ W|2qp1eTnlB;b7MytLFS&y_}8̵cѹR&rsɞm?59g8epjCWWkkhy/Ie=gN̖~͠d~:ǰ:ݖ%E;q'kJNz4gogNne. <%y Aav3A} I4uA*\/CLwQ[[h9UuxC6p L[@͞K8ٹ&OAm^<we9 d9?V&jit=0#_ٜL~z×Z0{$:Ǵ٬7eW@n2Tu tG-hh),5oP]lY  ã !>/; -#:Zk(mwSIJf #S1-6 PMUX\qÎʽZYRbȯM8܈q*DK\~l{8Sg5-M  _0J'LӬE5P )W iAù?sы6X;6 h7[׸`6ZP"urرsjC~(J>)n 0Y2e6fZ_9=#_^u0moޯq,(t.?wc^b^I7OOri8;tmpEPHP+?_+&y[1˖7N d}u4E 3?C1YzyÜQ7мg΃IPyhpX_a5SJ5=<3;}Cr|Ih/$|g8兯"0]9"Ғ|.ƛryhف2帽bNmda~%6$s0ĵ@\Aj1ԬʱVm&qy+qX)-T,DBegHnLeM͒GL.ݔHcWrOb^) A:݄{F(/]AFP~+l"TDz0ߝ$D +b$?r1d h@Q\ʝ3 t^wπqqd倘7,Df[fO]ҵy[zFhg7(rEy# <$pED5GF0A;֪$ Tb+C`1}S>$^y`lpyol,@Z~UssNբZV͇,vӣj&<5Nzf5*[5Cy藣0X3?@z++Зy0bynBSD"d|)f[jƫCrS; B$vAF$`!Tnih~:p*H6S֫%kkaؿο(a"Ƨ=݉^D?8C!萃) sqUD$Alr (mL^pp Iqd:Lg2bbE'ؤAuY=;<4L\%q!${R :4~>:?꿦eGI9A$A@҅zLῃv,RtISBOqԉF{"RӋj9X- &m^ (e tݕ gS-_WFzPPS3"9TZn^VggDM iAn#w ;urL#urhrì{Qu.αxĘ6WS bD@vă7B6]_/kV )୾& )H0Z }32zC,XF0ʽ&`2tk/}hڍHx/Gbρ}*q3Lm¬$ȑ̇nz7j}?l?|B 7Y$86OdVZ8K6%Oŗ{Igw>q,`6wr9UQ.qAi,>c?&BU.{<@{#ۄA,}^6*}XR/Ѿhlx&|1/DQ`Ϝh~R^eG<0ra,N [r I;!xKrUL@Ub <kw:{(.HxcLMAj~Xdq8U"`Q%*ILfȻ?^O]/;YKᗀ(>' >1q7z(kIӓ<^1,Y""dW sƚCzBM*כ"6&@tشIݶK,Wkizepc 3OkR#^"Բ>f >cdQZM sFG\{@ڎa߇"@N[g#|~AB^lI!XYQYx~l.T0ri):QRex fwMPwM!Eu[Ɩ#Y[~#z* dـ,^f?Gf'>8uxy+>x{/ k(!2Gml]LVv8={H33}tr"c.: "lGU,g)Q-HN KC-Z]@~])$ga{31El/y~ MJXp] K_ȼG\Z]3?ڤߖX@cdۀ=vرe%.s'ukc {x]/PIr7CL? *9+ͭ.b4]@& j).7և_vl zu@]\L8 [dqa6g˗'c7׷n0D'Pik*bs <-}1Afl:YƔ]&yمٟ {sd 3 L@i! ԮYM^meJJ04S"YaLl8 mTS4w Z#@^̹oޣ ug#ԫVӱ2m$>`knb7e#aN`Eklq\"<4> ;&0.0d,ͧG?,Ls^ q L0(ŦV"s*sLVDODT֓}+*sY?&wa{vPW<Ը;~ƅ- ^M >8=$ n_POK fd43\6? Nj&j"vNp)$jerW#0EIYl}cbG"d,`Y[de'RUe;w@S߅9Řf MOFSuq%ȓϜܾd->Yp"^gQ_!xa/WgԽ/U zb"Nl`A{N?=X`~B͞PC2qRY֭fs{F]ztrbܔH6Mg{E`XA8l}H &t*!gdYy%>eo/8fӉ4 GҜE F֏7ʱȬĂY[LlbGsoA&do1P NFx Cn|=GuPFs)_DL}~P+G+XpoAY7rJ*X"R*ȟ6;ʡ᪂jU&Hsy4++:Yg8DȮֲ]SC3B#k:͊Dym-,'g4^ϣՌt::\.--8@,Ro:Ie';P1HȼqpJN1Nin &?5#w;IܧXJGɜT1Gwj{Wap*m 8MIf iv\nt,Ժݨ xy-߶19 hft! Bj] A9JN|Rz|}_ D 19!Ȫ8&1QC<=c'V6Yxj[|EB:5o8IV%6-e?hDBwoἀx-t GfC4.>E&+3?M<黬F}=Xu_v42]a6Y%wk>WqsI,S:-uH/y NNVoT8r&5e5ZbT2W;^\= [By˖K/_Və_B,!x$g3DE( 'W9Ƃuupa g2DYz[ A t| %<H. Zb? e:rk3 w9QQ./J_RcgA(g=JJD{{p=-#hS3ITfֹ1˱}Z: pc#KcFmm!‡ݟeh?Kn2@}  ^w|q\mϵ xBYHxp'^Z/.F?҃=bKzӚ9ZJyaaaj"C$sRuB)Ap ]ZeGtlQjFQz` ûĉv-OEM 95L kAF an0)[cZ$^gix&O$O]ͱ>ƔWaf jaoQĢeA1`~c߼|NEWUJ9Dȩ|)S!J]VN?/ι)XLWQOxa_܇2?£ 3\0M1XԻ I/[@5sp1|*HUNvd`9zlzF8<" qWrCsp- +;Vٸ2p\z#K+6] Lb y"{Ot5& suIBRLm>)+C&!2j/ i១}:]#"j!NqP傔 MF*}J+븓+!:-eV斀ܧWpnt Tqbf].PBkQeolߛ DOEmx" ql F:f\ ' Pl7(Y/Py5"q%$g[pgC΀I\SƏ}|G9@X!f6ʢUPBؚx~X-VFgLՁ냉|ñq l<)3wdG:P Fͼ>xN MEZseמ8ܡԢ&l^HBFѠ2XS1Cn{]Kr0PgВ[ ).@Ԭ+</TxI(8G|Y X[LAyc;T!ܥ24[EDїқ'8=WuMc"f1 _@w=uvʷ0LAޫё~TDrpLɘ6 ar3ӥQy K3X]@@?= f}~o"㱠tʑ7ƈU7)l8Mvsye}154KUВTUt+OJUԽfa򏮒RYP7U4 hBo`Q$ǟwEd㞜h CԱZ[lF>|T5 ON85?$mܚ{׶)Mθ}Yxym_n]$!LPH >W/ʅ:]Aiնs BFȖT+jo֡-ʶq\R7 n{05C(鉊5b#^0z 4smQ:B8`KG;{ Ph_͝$-m w;^MհUO a^ȥy]9Zz3 MEx} [d[L$6{v5uW"L Ҹkv~d 1;QYAȳmG2* sGG.YPM ƾ׭pcgzU8SXx*B~&8G+^e$&mh^NuW*馰#9٫IĊ%f<\(P]!}u x&9 đi5lRc}!}c_4>:j|ASyZVGh~"$e,8]F:WZUk}` h4\ sl h490R·ǭ@8?PVo߄%5H'(a(b+! mf0ؾ` +C@L6$S4\w1A_ oΌ rFA[t1hwX8}?Io"Jnkh^l >$Ó+'HaJ[ 8@+}?hQmw۽_+ 0A6w 3,N^Q0Ԅlev0Wi8 R]r n1 *Vs+a+n^Q+ /ʩ61!c&+Y(L3KA<;y1dX/k"%SU|u|-' Q}妡&~|[D0._2465Д5B@`N7ѽ_m^_ Ae-p$]N)baΤ`4,#}d.va=azbI[1M>r_ƿȏ'X\0WVtT= ē·_!4b@M!k-Ψ <}=%h"IÙkC?%p!K Ā~tm }ZZ7{2bYOwe cjok9@h45~~5v^ߧH`Χe:[*#y&: pDDS;J'L@n>K%aDFdÕoSs:Ͼ`:[Ϟ/F]>&Y(~$/ڧmX|#g r0:>ׇSyv9r"P'D*芭ZzD5Zvk6ʡ C!yc譴aڽU&nspMƗ2@;5^tCc1d)7 aYn5v`(:ҕpvmJڸ\ PBu?odqh Y?EGY˧ )cB2}Do|[iFkER1KDž0$Ҿ23=ms!zФ ϰ~j9Am9ھP]V`~QgwG>c6U.͖0ҡfFpHv7mv*8#9OL8cdGاOE{ڀʝý4F%SsA .z $h4y 9Mk3  Fk0> Xݛ#rl:xȂG$*܇Y&@xFZ"PK4 O KC[O8$R\ "Wl))WQ>)Wk.lA&$R;o?B7v*0jn#D+5o<ߞAý?S+\-wD{9._WRSb\{4˜R=q"NY]Yp3qWJIY8!=''Վw;cRãfꭠ G1{,9^Pc;A#y#hĬ$|ꈱ̈syBQA4~?6GJfoݣYP Ր$fy5~1NS=n%jg @!Kfl]ؼ%e14Oe<&E2Qiɞ@ Z>0(%d[O|H?qcjq40vVkpEWs'pn}kS0u֓†!EǬ,\M4wvby{Y)tLi\)Ti\!]s_kӪ]]߬.*-6U3zfzHs;yqo w@&q X#i]{XC]Ywzȿ)G449(*FHͻtm/y\W+C 6$K@&<# };PUs!vi'-w#)#G 0JngK*n`G@U˛x*;ROrazS[bie7m>5=3t'lO-D%@ChŗcSp=iO.upc|_-m3YrKxZx+F&*J~Dcy3@}oّrR]]2fPh.?3ir(?᳌ۆV6\c&;#q `4y D3egpM!|,sP5I5Kr;w1"*饡CЫJknG09Cz[63+"TSk\6Lػն4xS?<5V)\t[ !d9)vt~vjawejDWɂChaһŐU#1c,, "<~uG w-=h ȕϜ\Z5KN)) |DK*<휸]G;TZ̛;Wvp=Bԡ);] C,];ه؏_ ;( z.^лF?=m0_Fgc r͜@x Z6Uϝ+t=[{ݺ.aAdX`yo9C.iKJPҴ 0@ŠЇǵZ`Y<(R%i2云l+ cD4Mz>2Ӷ$Ex4+ LO)$]ѥyX)s_V6)0?cq?XT~MǦIX\V_ԠS:ou'06*˴<"LAD)Vv50cEnS)@BziDt ݿ=tN5=p,4Kv`*$7lhc`V [-F#.hy(kiti-+@ V^(TIlcV[7S냆tʇ([YT ,\&RRߗqBD =idLTwK cڻ2$q=udz8MqϥFPS9064ɶ~Hý}yڊdQ;xtY C< @d*"/ݳPhPHotȗ춋3*bmGUl j6fJHFES~!JWoߦN2O<zSLаO5 Pwk1ˆO^= GB v5e(U m "EAK-aSIsôp Y`lkԆh2,Z1I>$G'ƳTCvetkCq\9=t2=B\rI% R?c)\@W](p(띥Q L6GXق~ƶBӾً'A3 DϺPq߀M#_/`dt;vn;@rvz䇅 |3܊2_pieb%Ls8x>tS5=ܯLh;&ȁ#6:5(=/Oc–eK+Dټ~B1wuއj>#+`V%Pf4K_?ۗMc]CԲOeݖL&:kIiy6lVul"2pL)&!ɥš]nNJJ'Xuy1.1](h#IUa f5p42i-|m9fH} @>6տżsrnjAz"HYt;iA|r W~ VgJWGlt RjJC8L }F/USꕌ1}'qf;k?lŐNbF1et ?ÿP!,=䅉t~(ǂ[bWKՃVi("Xەb-q&s:mM/T %7E'FF+LVM=NuX.]Tݢ.tP*@Z3G2;ΉGY_U2LThcݶz&,]S9H b=,bJ9p<ȓSotaewV on obEuBO/S8]w<1o3I촿,-gq""n=`);PBW+=zϣuv~RRPeAVPS5TJYu DOҰpP;!8!FwJ،O/({loth&NvϹ?ċbfbcoX&6@,cNrOo܈ƲR*.\~GA>eSoc/ߗYqJibqĐQOrEuSpPz2R2^s)ΗwU;F X4)p"TsUtxĸMܒvFN_6fz-{!"Xxc"cKې^]'%U9epqcēR#O6nd y&[UаLԽ1[LME>,P tSF~VKE)%}qg ,a\M~]B(|,|Xh_PO0< 4޻GgV xVhaJJDWb,f<g>:޻-3P&gLR=aT< L ɐ\0BP[Ȋ^>>,<ъǻ5{59;QÜ \Lctkٵl؍ Riq6V1-(9l;v!-`B-Te&ʤp˸\G%Y&Ml->>Ϣh-&yU!j>ٟn8nfB0&$A6}ԯ̀ҤGt׃)OAS4i5 Z/3Tuɖ|> Un˽ ǀT"ԫpYۢ (س  /#{Ovd8N[I $3^,U $swy9~#P~xn~CD8=JvbntY-Pl7ET?ز YbVIoq&m-R\LMwy.Uk"pqh* א|!5,j$Yo8Cw 4U(=1c 5qx j~L1K ej+E^OʑaZyTSYU1D};C˺CT$Ebdi'B&"KׄN|nLitQَF~P fcR4{ܚS@.[h:>:-%'*abrÊ2*T{.C scMZ&F9Ocg23Wieܨ֖&ٙ&/s_rR[2 ţ&&6n}{65/>sxQc,Vר`A\0džQ0 jr<48t<#z ځu 4db2Zi54Y|ytş~,\m.H?r~Buxjf9kTa?_OOhW} Y YZHTȤj}w%.WNq]Wܱٵ4 | otz)c@%Y?Bz՜ZV([@kMi8(l+d?5|A!7|oas){"R󢢺*\#ciJH]`qF"ÑO.h 'U4L퉢^ )% W6&,LDIHHLf)I6~}\%*A6̰bCg 9f}܀'m$ߋcks _xa8Eμ\ANv~'f5_7%(!l!Q c^*: Xg8)]ŭ3$ 0E^MDÍPJ`4FQ'H.yXNqUGI*8혯tP-b2syJdλ=3NOMjF8G^BV@31NlbX9 'dhѧpfY^: )_APȭ \ 3(`oiӅ3#T.=>Om8^:r`a5xɺepFIv+)%@IPy$m5/_\ .*&]?PaZQUxvŜXDf{S;3zho2)Ӎ:E.)"ҳ‚׵Mc<,l$ZW)Ӟ07?M݀6wEFEo dQS&5w)sLRKt,a˩5O(yC_) L1I^<Id'x>,;F^c pYbģ~Lݫ}D*m`mqj gBGp]3@A#.Ҡ.\/BuZDFK)ˋVPUm&@BxL*WA[/3_$b?jPdZGKu8 xc{y+K"6*,̟m嶕2f9!&Zs H;D D:*0~QHo%ok >5A+%, LUe]ڴ9<ne|Ab\̭lqXѩy Z/TT9T3R1.ICIO:*1$©0b $ 1`ij]r0tu-'$Xs2[nXm [dJ?FSKuw:lmZ¦G#xDpy_}#&uDk?-z{^j B=.T*l,WZ8WfWקHcQ3A?@aZx% uaB-3W乃̗Rtġc1Ju @mbT;F]Pa_(1<̭0uZc2MNp6oqt8f"ˆً]ًO>R{#CPcp\.x1 2;FqdˑV==؝f$ʁi1r4h[`ETcAjVC-/euzYz3C1]'O]Ԋd#57^ ew")Yw+ݪA8'u᰻mVz-e&=$BH c2o!3b@28\3pupTGֽ§Cn'JNՠ97iXl9J|$>i,^ޱuqEA\i8^b(۔>ޮMшZFI?~DxV7"CoW?Y0l o)O)XB O'Ha_)/":Gs'0 ܠQh}0!V7[k%fui gZ.*ѕ=@!܎`RCѕ+y/՜ɟk\~+Z ƨi~؀%] P0 k8g*0qע8³϶\8 q:i i}{0F}4JVxR5ո΢? !E4P<%]P}"ޙ pk?V5;RjX KK/;6jsGB~4.ˤ # F;y40HJ6%'.Na9lu@'!}$.ځ$&<H?+դC՗m!H(ʯV)^:b2HhW/SF-Ĺ3訐#٠MSqJܗR $s+4_T: 25i,ۣZ5!L_)E-.L U g&{uo7]xY#Yx) $gAGe4CD'үtt9t'`cǐSx$DY,[mf30|_ԹE O* #x P|fcO0}7ϕoNWg^k_t u`FXrbV 2xX[$ZD\sۛ:c:AaDC)" } {r=/'!pD9QޫzHV'͡KcamARΪ+r Q\FmZPh@y|@DԞmu4t W64Qe{ q·2˘vV+ҹ_$ F\n (x+|6#Ij%)kJ·^Ҟ 4D'j3{hg;A׵I | mO?6hϗfTP6uNM!v2wX6!Kbos:ؓP u$n0*QʦJ/@@&? 0t}46אLf#(Y( f5¢u4Oj\&EQx#T+G ;ar',2]64j]cH3bV*uxm݈]6^4=f0HS^JQ}j^{:Hz& CԜGPlfv;>|mkM['=<BmF _ BbeH8C*\l#"{e$NWM|zmnsGiw->/n(QrZc+oR]C‚F/w}L`×wٹP/B5׸,pRr?;3:gBҤĉpmJ G|O 1n@\P3B@8df=,iҢtP˖4VyMye ;;:11C8jCLi{45_J6,"6J)vS8PB}uR 삝O,YFZ751 O\RR2DEݧt,^ܐQ{6Uu^щ 3Ё:Rw S̎9I"Qt*Ǝ_ȅ ^$Q2[hIiPvGguI] y5ӕ}<ε6-n&Ggx@_ͅ%[ %0ݕ[b ˝)8!=| ~gbR ;Vkob] y:DjF?_}yoZiE c0 sN5+0+oXu߬ YTe$[+/OjWJ`"SazciY2+\S%mԛs/Iجnx5ybV-A;CWkSyl|%U\QN%{3ȥ]4}q/rZsu*9/[%t¤ʼn(H]@ {% _U߈z#k4iķᦊOo ckFP-Fpp67IeE -O9cSa>,u2"D!~|n' (?F@zTr]A? T+hğ1H~meS`ŝfhso q%e*dۧe:qZXJTf2FjƤ/] ʼi[Uxwo  wc#AYkx} L(OwXH`~h3C6?43Cٿ J@EW\G-HZLI,c-!|ُzUOs -ٚ=D9c^$?x,Z^ȳ^c2/ MO+Pkm8C;{+0=Vr^t?tˑzњ>p8.Žg ”C?ODA/\e%6LYsXUM q6$B}LO^2]~]c<ҝRSj56؀Wwuŕ?uQnWSꊢG!irC{$BR)ɵh5a1Yc _- +G8RȒ}+ZLTAE)vpe;aCQHj83Fgil/섥, o"q :h̲SJ[FT jy!<sbbdi~Np!ԳU PA#z)F">IAT8Im>1>ÆrfR$9WG'K,.J^Ny:˕N%׊R*)&7`YoS/B;Xr>P40:F{#ݎP:LG"LpTsR{ff1>f@%JW-2m) (  :~mGd1'ڎt y]jnWN' Յ$oR! ^Oi猋H9=;:!} l1.6FQ+İ="8)9]–hCdnϒC eE}_Pua3xW 򧮁(y,up !X ɯwRT(W"L Ak<M3ɲ|w&~wӣ,BE1 ubX"̆4{)2-\ztP0-Q$zs1hoJ/axn/xy8 *+~]1-72؇ɭ:7QX omZmV JЮoU7Jz"-hU֡TOyĒ'XuU"+RާuPwܗNt>;EK@Cő %hR-\c|j$3+kR cmСd3V+2,P;e;7quҕ>6NT_1IC*2}k%4)rn/E1XV?!|lDΠ%j c˃&N0*Jkzk[ ಯ6._-7 36n,ۉhJE+203t CJ9~+ bYg mvSN)E Pz ;c30N׮t(6I ~.73 zJ+]F9⧽EKaԁWv op0 "@NhR7)| .|639^:]K,q쌹@r p FB|*jU^Ap^ W>Hc.-tYIW:)dTy;h!P pZ9n8/@Jc@s'FlUu}b:1-S9@;eq{HExܡkO3d|g\!D,و` ?@!XeS Z8r>S,86|7+14jd7@%4g5-?,eS _d@bĀN98@'nJ.(Ѻ3Ϳ 3%KW"`pZ=)ޏ _1a+pG펳=y cˀ&SNeW`CG0,<-%eɰLy zLp%)4dTRuu>1M!k+GE^k"p'^bw;lb˭aL/-ط&G%ߘ(M_&ͳuJ4'4 M=WMWtV 0Ǎ>t۝ V))sѯCp)@'FMm9 MLXX1H1чv3L u|׉{(1}CKشc:OmTajNx]IQ0E*&v{C^{-E&Am_Lw+H-6Qglvnۇv]jM+A}Dct^guғX$(#ien)8fj6)eqqDpfS W-<4efLagNςK35J/Y]ڳ13+jz ہn"JǹI6` OaH-|T͐O?Q?]z)=kԣfNG!Y(l4*SZB{C}oCX`Nxp|C`gU;8pxݘG^G2&{ Pk "/MCg mC*ss4,1㕛@:"زۈo{; Nf0!7{bwe?$ O}p92f2LpxFD]pTL.RI!~s^'`_Aϰb$:v-C*R!S$t9zJ&of5dZnd>P.5(ɊCF"Pl$7s\%"h 1RqPH0[9Er=4QKI` ɭ2Dg 6Ϳ5%>bŃNUL1_u5f2@;B%R:~ $rsYddK>hZFU Y>G ɚ *@!^|;Pnt&ع{O|K 0,')&C0kgگga|X"7Ȱ)d\dS;l /a#R S 񄰃Ztcyӿ)g`ŧ`z U '\ ':#] T2z |/v {OC}x'pWs :SRrMSYZTHa5*Ҙ#`&:VaH C r)FWJ+P\u@adqGbC s}z3H~Z' :ƙU &7ê>h ޠ9ǜ~)}lq:F~R:ךjM4tNGR tikz\<:ydፌ ҆Cx\1p^vpKi4 ?¼jqrB)ߐkJFbX* &m0O|VUo]>T^I]'k$x(AKJ'\p-2Oq6,&q(.L iMH5 |rOPxÂJ_DhktnXP+kj!,;15Tzņ]7QpL-%e3]lϷn$a5(iZUGq,ՎZ|NO3,һN Di`,pN;c^LfηHyUn2-WDc0iV4\6$*N9-9Ȭ o Tbzڀ֫9a(h wuG,I)&)A~%߿WkHg>ҵp#Y?mUAQRxݶU3ߡj^(81` ̺M6o|-7hP*زrp,#NK֙a_HHe(s$jgp`O~iXb&r(ίׄ1tȰJ2{wEryz>Ǥ R|?j8>j$h:v ]ŵ5߼UЗ&X~"蠃9rV"+jD E6_#wf^xƒv;kN2L |-p[]XV"~s4jl)Z\D=Eo35[ 2ӱ/ f͐XU`L-Y-wGI6Aju0?T sA֑4 p $;v*OkkmV9sKj'ZE]0$Zy';ʜ |SYT%6i,s _ĺj{+O8nC61ȘnE_!z9Eڢ=W;¦[dR./4 jТ2s d5T*qy;vn,y~W0"ރ$%u2b#ݬLG: =~/?w❝W6[3:;Oi)w T-.HFH4Og_PS}z[`PV/77:wjȶy}_qDrsz1Ys/Fԋ7xjJ^Lg3Oh,g̕\I&8!ɏf_aqyFyu6lqݮQ(;+61CZPٔw|^vFg޷T81n '̄.X<=2M}i;bI||T*Y*'6x"xg.B*1'ЧdBAm[t[\/-!H;WiYV'A9rX6ꈴtw~V6.<8PJk:#LJuoZFܓ ~f3iW45>lm~C2RVGIń0 n/,+~b3Y̺ sasJQn4ŌȿVqY*gvs^P6~x{Dgoa #3Yy$<\wte0 $]M̈Hriބ>E74d4.;?Uf&yJ5WcOmUG Od= uQ >*VgQ%9eoKvʄ (xmr1^*DlrSWvcQb kjp-AZuX z8O:X- vP:f`\ÃŔjl>9-AomҾC ?GB%wn-PX`{!)轘NIoY^a/1z:'jaIԤX[2>i9b&& cөwɔv+Z.@|L٩*8L^D*.pRki2|N-C5fN֊C,tt,t6>Z_dtj6QklYXID3a>Y+d*q%O찆z!:*Y}k9Rhj3?O D 4P'\ mof/=\d8B4̐ЊIJAT0{^3*x(E|3|mRsMצy[x=Z6Lդ1Mc, 7lcZ*ܣClfdp4K%5t%R|8Ԉ:5ɜ!g؜ ~_5Q6 v H[rI[K"dlbsH`ڰ{h^UWk>=/ /ٍa2 Gie&?5޴N%^ZPd}!.Z}x.i?BD8QA:o}Օd>~X0(K37rVMP\q*&P09"#hW`"ރ΀6^B^z"K K+Ãʣ\*(0N;1rM Ò'^`_~ dkZ[jʳE封Z5BuP5CTtO~ziN@8LaBG=љEwpdZ]f6?L#T! Kڄ}]Pnz(jF=)RL*˝G`)k,kNqTA^wVKdFglXO ~7U H`Ν i|,=ڳY85PAIw25AUSEtӸ-&(('Dlgy`eBy`_\ ^-SB܅z>(i+,zg3MW-'_΁oň~G`#wC8M, Vv;=d}vXXd!;7Cpe(!ݲBfĎ7$GfV8x76-BKM;/&cIm^SHwgEAb8>2%afrWFS&+N~c\)vl^VSo o;b¹}N,|ta;CtO<4- R[bo̵wE_:nl _QVϺ,%MX9JCPMk W-1Uvn^Abl:׊q8[:_2߫A{+L1aMrfT6T8`3hיpH I;3cHi״))h:1|åhre~sjKܛu#DroI qj9(ď&8E=w)FFev/b *يI]n&gY-]e _2^q؇O U4М*+ֱ/7X)~[j7bb[eh;/YnbdUs̹dž# ̼#sv |z/{ u> D'}vѝO'O}N=}\EgH&&lbX+v;9ㄭ;:rT. R0i"Lp_ 4 )s>`1r#V:IAwX:,ZKԉnKWcȍK8' {MG/WZKPqo!!vuZ0tuԞZ ?_t:}fw( Z*#ˢ2Im! 9mRzL'#D&#ePURFh^PEnb>kq7NJZ ˽,QD@ ĤLV&>M{KRlggNήsӃ |jF;lnmxW"va2;zIfE%7aZe IUAk[roɄ ٬lCR" 4?<$ J4EZ]=I.nGnj(su6?i6W+yy!UP*3 .~{`os>rdF1%cF•S>H(y8hUJ{qo?"F pWH" >3.GOIԠl!OpFv Z5~D =1BI[D:6o &Nabt ! * 03B"{1QuckܮwDq׹]SHn\@swxEP3_Ց0qFM*0΃Ա[ͫ!x*#}&q0*ad%^dI:}Z *C r1x~CMhspA_iMeWT6R|B7}$\KrCH>uŞaUS]>ZH[3}TJbeȴz3M9u:9j䆘䐚Drh.1MޖFN/b*n٣|*tFu(q|ɜ?ZIS:a=RnD@KL)! '-_x Ðo6/å`ш6`=z-ųQGc(tT~[ K/;Jimjo_ 990[O= { m)$X! ePߓ ,0B$@g73AAv9uy(pէAx݂NYF7r(݊㱴 Ǚ0YqÎm$}3wL|V4);7)24j#^3;J"SEZlk%O}\!)I9:ΈQL )npgwhn΢](Cz<2X" ^%G8oi'y-`sS`Z g'J܌!@-'HJR=B'@?>4uخ<19I A"BD!pc+ hY0xdފ6 " 쀤;3(]@rz u(xʤ[b#suhqR\@M(x|= @J(Yj@w9]&]'AxTLA857١¨[G1 %sDD-֥[D0"Zk $_I)^4cק[;{H0`](0I'疇}'drdlɝFe1{b1ʼn*yj>4_kSz0sȕrYc xZ=@m[/OHޢHnj0*- #ILQ`q/\JGJپ P/aFP:/|.p)Rr ul'Q ֣2xsVoRH!Op0EMPR!%֋^Wm2䉨jB͵GÇف]~}ʞyŢ?ANt %"lGv',@Uh6\Q[ ;VRc+)A3<I`<+#ip†rn2BHaIhXĶ5a} X/{>[4fdID:^+~LDDq7ZkV0K3yGnCٴHB)D͌6^;+-_B\_ UGaR)Zv-CџTaNT'.+e*ռsMf7$wR1޺nQXvVxh^u=>L|2܊{Ȭf- } p _0"e8guGἷmy/c~1bk,9pв/Hb%)IP-,3Ʋ[C%2-ht*抆"E]gX/8Y;)YW f4m)$T"=f*k;,󩻈=xS^^,3?r:edͷ  =MKnUfM6|u ׫fkE<"rŭ4=/;Q.Os烨 >x󵋝Tҟ4#4$U~W ؅BJ4C &|mY< '~^L6jn|@"2g'3 О?;$?hm۠g(UoWkv}ٯ2qIB& f"+t7nd2e8sk)Q,տ0~a> .X$H,sՊ(g]phyFa4 Fɓ1P6GRyN3ZZB;|w秌ta[0۰}#}=;SigZKM ɺ3V1mV-ql pd|5 WoZF$}č3c&\%PWÛzk @ 2Æ[`<{2Zy7Dkys\Hl|b|@dJ`T'ߑ;L+0ۑA׻}ZƍʅYJ={l(GMˀ褤 c1OiB.I)KeMtp=@ SݱVE%>,8&%|P]iqX_ %r8H33_Zx#ttErzLJt!X73<.X]Dq)n"_=c9Z-OѮʰ''(HvITnCwzhPN= \Kp,V`ҽ{]|J+:}v(ٖC-j\?s*n'亹kqBtiD7CxX(0ZZ>331%c0jѽ%p`N\Iѯke)l*i9D2s5e.MݨF1Ճun]wKώ"/N'4$3OsLZp_W(lP$~ NN@񥐐MoX>`īi56aoI-H_Ef袴Fn08[X[!UIN;fH -b">Dqk,rhŝmoޗ$?j Sѵ0FpGDYb}HXtHOH2_dJ_xȅ9d4N84fA;]g[3uE$w{eM ^O/,fcz}ӗBt]+E7%Հq 'B݈fV-{K'E(&݄d+VJӴ}-8. = Ƒ\кRPgY?=fݤԤj]\01}=Œ尹ͫ{JgNWʾZC٫7t( gX+Ic Yls؃q:Lr4̎s`j%w7! K,dzdbpOwMɟ^k})'%kSByɭ8\`)^0qC8:Iio>Q]Jǯ̄潪 N& =n=O\xۧ0f{6DbVQ LA c55HU5-fĐ L.)hH:Vb"F) 'RTԆ|\?0,˙+Zh kJ D\U5^L|I?L -)˩joI{&xjq&`vz'[Кm)}¥1- 4BQ$1H:h[:NQi KZfb<X &[R0oھ'67b -aM!a&iև:,tF;os=4c{pL2˼Ext *j?ً?mTj4; VzV6F\lo'rPൢ6Xo$+`EuK"TQ"iI86nlPz4ȴ}h+ghԥH@Пkz4i /jt,L6Opضşk w^k>ؔr8i'/xYvzlvBӃ^(ezpXiQӣBtFzd&vdPA6!uveФ-Uq?5N+۲8qqiFri>Y{5`}0|hrXJsZ_*݇єۏ2`%F.*JKl:8U &:>;g+gDu!IԤ,RZ\k\_DE\"S=B}.7Em\Kp3"M90t!'R I~.ؐH’t3 .-<aivG,1AY.e&{HrfdI=o e} +T+M~׎lbNNW2/wCBSc3CC*\ÐoF"H՛.wbɣaL_@4,ԷBnFv~r֙/Xf;XɕW#ELkMsِEȚyd"#pKFcY-˷jl@Vi{)mYdZus만dؔH&t3qrxոŏuᜇ@auNx4C:x[n3̐~TJMÉ@I|Uvd4q/JqfQ'DTJ$AC (/WᘂRtt O$Ϙ= @xEB1CV8 3E,0usj29Ua)v\bu`ƺ@[gASI?*ȬY gdq3Cv .Vvn N (!2q,n׈ Fyi[IK] w6):.3lnDcLJ,k-8v@X?sΘ`I5GNuY=hT f1 "NZG=tvh5Vg͙E 2;SXPSBI[?ض}4X\ O#a Ԫm.Ү"YutԔg(j\10ZLG7yLG[bQ6.fǼ3p ʦ8*w܇Qq;#O9r .݌և3sICEJΨ9 •&&ɮa[6Dɪw5N8w!=ØV2FN$&Ң:ES vwgZ<7Xץj';MظN+`zdiax~`ݢxP0vëD HӭVBРԱd6!Xz}/5N75N O/^ecCK|F3=_+G aڑ hxҘv#r e44{fy&,v\4m#7;׫b:>cz:У0OLsHMp!P̪Jj&m2~A[uG%F^l?q .74M.| &K2O\FTեfTLP㞣5' g8e ݘ4sݝº'<;~Vlw:zFNd:6;6Q?<[vr8{p9&ɕLKmnC*'FN"ŭ ܗ #g|2xr.!e ڹJe8w\邓[˩!jI>n4qa[7$BwFeLܼGܗVp|q% o2XUv<aRy*O59 D*7-GKX(-|n <Tnjm| *6#+8{0hl)βՍjǯ*y 5@9xD6"*i8B,{&/%T !q-1 M羭\Ƙu}'{R!0i*$|[rfx-+k[̻K9Ћk;d?ZIazǿ^J^ϼ3J2,n)bmA2TCdU# *_ځ)W.4x({^#A1k+:}Qn˷@Qe4W&[߹|tbq53nOb0j qz c(]T*Iř@qYs@d.KENHL+9>G8ȎNto^X-Ċ1rJHaDWGi4&L_` kg2abq$x(?cE ۿ7/H'NWY˅Ka:Ȓv ;w2=U%e_"K|,mb΄Tosr#sY :`Lm F^y e=C%.H"#,j(7ƧbzAxt|<7$#-SJ˲^uGmxN0 hPO~9 -# Uцgt30K淍SZY`*hsj AB btE܊迀 E>xnX檹 PO~>.I머lwF)֫isX{s fPLǘf($ZL{mJ'^3q(g6 iUxCTFWv"1/FmizY`脽zf%rE- 8نd`i<Cn1$>fHiqlAmkJdfr _[e1c΃bۙķV-ŗzn26s٬YvpER,lE3XV'Ɋ{ (dH`DݞoҋLof2\ms%WfF .k2kAh頻)jCJJ bBb|nI3j_ՠO/Mv MjBгn}񆴙Pf=HP(;6L['@ΙϬ( o] ̷N1'X-Wg>ѿ8t`AhfL?R}&PWua U/O^=AWG΍)s`S9q_%3]ph>RN*Eiix<3|ǧL9|8 _¡tЀ !dyb%&Dy%d{f,[0τ^͹\ev ^ߗ/b wZvvX^Y +mĽEB-)iTȰ"h 3y=d.b12]#oօiq*LEO̼ڌAʋM/ @ٔpf ݖ͐<d "‘.'Ad~gp*7wFhnX]Üc |arGcm^KIBI29NtT*BpA."!-Z@Y<}d|PgF 5cx@,e{ "?Ζ_;*];{1e*Rԍ|Κ cɛ[USz 1Z\~7[Ġ2{=\ȸôPԽ))X>Zhێ{-i|s2և:!W½əyQ[$KdZdEW$xvz t[U`\)0LE;GȦh-rO}V52a1Z彮i:|.[Wڶ}U,ѶQ1Nwob*(R k {5 Tl4X&{4o+ή^CQ{jkuX\_Ƃ|.U4']XS9Ɲ_9Nݷ?D="z9A"gdm67!#%"AikCtWmwLY/I钑i[V3ijb7Xf @.xRqDU-sUPtŌ@xEۋо%im4UڋѠ@qGn;dDB!35dɏUf<u&4wx/ueo"H@Dk'`stɨ嬨<'z2z8´)p 5qT op(XɞV=/q~>DT/KXNt{=(׵7(5D@JݨNuN|%f4u6X;mKQЏK1LfZY.d9]CFIX=p~D QHoc~*ӋVtuW˖*iֵA3\o'tqk%dPӫY-yU6H}ѤE8L;Bb&2J|R QW wOD^}FPI?W ?[&G(IiH!E`5No籸%}s辸b:59*-BC81֦gDZ޻c3beAH5'ЧBó14tC>|e+8YT~=X(Hon?( _v.#F ~ۧ }8 %h%$1"<9Q#6+MJ!6pwS< x&bg3_ hmx1)]}C+ n%kHMzgԣF{.'usm0=ݦ52avzz%Zbjj[JVp; Qƀ;bqՉa1^3{vX? ~BƱf) fn=`Ի:\6_(\N@?]'^DcR.zRMdnr-U*i~1@tj4 ~UF?U x,pb>Pb*GOfeR|n{xa `s' ˞-Kj.]b^ i` ޻&L!TvT  \ .K I(srn'Ρ&vV/x`4L!Al jb+|8sB'ǹ^;h!\LCYxQ ;"~dSK)֞=ˉENb$ I`Nv:e_U.CR2{>Π/s+ޫ`\1 ?ţ":P:V=:q%AE[c=R%U3 e_S]5? ?Y;Z$8Q,.#M`-:DcI+^pLql_y.=*>u#w\KqydTrn~FxGBtypڢ\0|w_F^{A@&ᰡ(I>,j>C } *Iϋu۔P{Y}̂2 ED:Y! pR4@T{ӿ xSKB˪κO.DL2W{GTK^u< dݹ][BSMr @C+JpAy9[ '5i8AGt3݈za3\`qjv]:Nv$譶}zX5LԶqau08sPn|6f ]̧|7DP{:si kn9߂gc,"MQ" 1w7+v?4(9~N9E`[vd/=~9~A4ӭM\x O5F+Һ4̡ͯiJ/ta#?3ێԨ5=q9CGh*CW#J :Ėp9kG>+c$=dTsTPm$j#Zql޾\|@}k(R f0ߑvfVgmVDBnGMNE XLWIj*LaMA:FiPxB"D +,W2sy[5kυ8;tŖx(Axb9AyAy~@_*W NW#IX&|.} ̔+j>&F)YCuzK /w’qG*9+P9UR=yNyMd|t$ * fgY 񇦋WYea:~u~j(.aF*{D7ϛIwN{[隱?9l-Nal#iI;Ԭ-kMVjK;)B1jj5CdhL‰$*t,&S;[5=))eoe [f2Knr HU v4V PqZ?*;T xdfM"K菃) Jq7 e=ywEo~wS_oMyHr--j̈́jXnl΂(M%F-$I'[{9]&@*<_` mDCMVI+ʎ$yvq}yhdkǼ ɭ veo B,+4 WC9ŗx9tyke/$g,rfzZ(nHp<)6&n "% 7 >ND>iI`]J$%V)#YW|cQ?_Gs(pp /l"]_%3VOo)Lv?f%o`wXW2)Yǎ J0=e#–dH(rbc,'4wP}Rf J җLiO7 Ū-nz)4 v0y Pl{⠭M]+ Ox>c7?-UnM~%!j oZ3d/ t)=ΊjRWd,{8M+')`hʥO=8Ne)WfP0} tJgSZ*M{}|%o7;^:XMAYvE@E擘~1ܭ_v&0rj5{{l5XdRw0Fj'Ʋaƍ3  KuzKT}' hŋwWܽG w? zFr7 kQ2b{VN&hl፬gVi5L~ap-<.Pjf9vQoWG9Noa<˩2 tgߴmjr8<ƶq=h1{#T#r" dri>5g`C!2J*3krL W;. *p>ǘS! Rl+}#GeK#GB@.6"ّoBX(hx*3EO{ sme>nި)<4E^,8 1F9;g[a*ZG]nFa_ůvp7l_p?6F:ؿDž+/DܼFo;,`&@k)W[kzT,xڀ D`Q:@TJ3ǣRX}wWcF T,='i4JwBlyPHE4 0i7'k:ZP o!6xP8#n-[U6TaCli"A#"KuPc5X:oB^cN &gvey~6*t^S-C¾xr90 K.8XAqWKXQIU0/ӹa)X^(zJ?mD&?80IqGjX_2;[Z<Ɗu6oڳ(Pf- 8]ສNX@;*z,|=:Ng+=^$6M%QUAF[ 6`˒>qm5qDMEJ(R̲nO}hV4''jaMvPh;|Jt*)UJ-I\1iYas|P]~B遨x9#"V z˨k i;GǢ>KJFp|6S 3- eLnqJ16(ټ%|*\BF5m NQȓ1!ݽѦ}Doڡ]bxwnW/3BG &zA/Yn+C FB K| *}ӣyJP1j"g\,;DɈ~c,lP/1HDZngYZ/-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*\UFNYȆO9?#Sh/y~C5Yv1_)8?@h֥z/ơXEԥ3mVxY'9T]Hb3ә[.lD7 A -.J)&.WTY9o ʯG+Dj(. UgTl^/>{Y wxQo¹0ԫOLǂyI_~7ePҳ#:{bl*m։ M%q؝v 窮 w?im4MaB &/};nJsسd03cVaOK)d/VyR~bsjlj=N_8 (@ٮᎾHl1G\&plǎ$J}S[7mOLzj!K3#rP+i_|{d!kTitk# # |?#M|.J%u+~_.0͘?Kr-I66.'p2)N$kvy AICzwH5#i!]ywwrG "2Q]BPgϷZMyJvnDFeFu0{':'> Iz H3L-F˰khwUw%4qʀ ͤd^C)L}G&<Iҫ>"e*e_#/yIn<ƛ8H EJY `1Wj>"df~)[A5dx*"q o7Xl2m\x.(438~ i+2Q3xIPhp{,oCҨ ä"Zp% E\Ѭݺp Zj?kw/(SNM .d":X j$v\^fhX}X53ފ&;Ba׷W)z$*bq&)1QZK:#ۜE%TcuZo5לW,^5…=ݐo Z^׌|=3B輪YɁA6i#5(r_܆=rQ!>g.-5plj1mh>cZT3~\޲ŁƞB(ȄEHqD%2ݙR 9Ԕ4U UT䬚*=8vNj8?Myܻ]A10>`)U>#b~Mhht 9~ϋ*-xg ;f{5aQ'S}zL1dr#5XDOICUU"yN%=d#PA;Sm@ ELWAB%)=rr>  [q k1lݣ@T]-C¤_U=c*nݑJ)Bo]۷ Q&.MY*#^qO'rٛqnk1 >]vh*&}l^ʹ:.D-ЮiN7fPQkK-و8`3iZ]L`FC9$TϏ3 iwzE"0@78OG 1*)vԪ6ǧ qCX/f Apc+ʙE"Le!]9SC'pyyRup}3V  d'D9phQ,_g)-3jl`w2\CBt]Jo`eM֯o(p*Tom*~^ Ы. ꕆGDoc4yYcl}:Z*A0)wN.60{ta o[A[n~Rb+($QSV=Ÿhﵭk_o4q&@MIz:\=A/DM-JfB|7v͇#EFMV_8i@&Vp.~:`皱.]*E?]0l.oY_ ,!S3]k,%!g<ɮvCV/uD;e(]2n,s3EU|a ]@hI,+`qԔՠӀc{RZmOgY %ȻC0O(&0@={a4OףŠnv:It;HRV֨i JCOUC@qkC$kge=D }@%!# b o(ϽaˡI"G)gye_- Lv6Ccm:UM_ɞS' DN OJJ8¼3#,2fȟ 8 ئi*a#!ZJ%rwNʕ$×CRb}2MD4 uC1IiB޿28[Zhlb|Ŀ pqbAx)~ˆbke"d|{I瘜g!|Ѝb҆CO:܏`ʛN?uI&\ŞV?eS?":Y-Wڞ CK?sYf h//r+2-.& )|/=N>KRQKJzR_/oZ@!MCzCGd?J+K 4J}h{n+M4ꕼ)}܏URf}8{qie4]l{>q #BYPf9,栂f4ѣH}U@ |ZcRnI+aήHzpN_,3\zSGPˌs no4ya`cݓ 缶M8P{[";K p &)u5 яP#ηZ} ӸSm`b A_cdIƱ<;2d@`"=hxt(DGk@A@7I6w 3+ov%]sߌNɧIǟd0v&,8z.PG,~f03fd(٪?2KUy)$L FB|9, z\G װ$шfq{?r!Kiڣ:Iu\.`ӦB6]{n# q_9:Wl+ ,^W*I,=Aȧ_jnVBFٿ6;&ń>4e!7)W0]Y!o%;b΄/?|2j5 Ϛ%*RԻNÅibiHky6('w?0%*#PAЌes8mVփ Jtrp0e|<ȕP5%RG&h.rڜkZ >$y(I x ~F5ibhZhR~;sI[:Ł2E:jȟ2%kW(bn{ۜJ 49%}?%2m36lB y^ կgK*UUjBv]e^tA*\o .f<:粺0 N7΢E,,JD\- |ؽ:xr U"o,NlG6Ȗ({󫳠:~K?~>Cvfk#ffNft`mWx!4<6f%lb{-q])n_"sWY,4p31y/Rsuqo *E' L$-^L>$ Obt aConFuiBnFi#e7G[-4TpIDU^*Iϭy\ D>uHF[b]9ujDL.*8B!6vgFqcȒwr^a^o=TyP4B+c:iM6Nm\9䱐} $Ţҽ%Ro5ၿd^tgzW!>mάX7"!p PXuadg6 "zbvCr11d4R=,fe`t<iH_d^R ?Y"=P Gl]֍ڞ̙+*D-J<"N#e`:Uʺ<Tvf/np~Is-'4 2r{à' l>n!QO<?T62wkJW>mZ5>UPhLQE~vanYg7-X[i("Cu/@Jm AzcVd cY3l>:Mߜx ƠrvJ9SOTJ.T^u\9~\4~fM.8;!8kϩMd{֔GD݄~ l\DhofvGS xrNc[1,VPnbWX`]4^К)[P5i㚪O*Op­*@%;Kq\ Cog;8jwϿ[/G i71{1!ݷHED&R'~/&ޭn{֟NF+P7Iw8uQ7юn[;ȷߡea\ڢ jԘEmڞE(qa).a+`a⁤_=a?Gxoud S'uOU B0k">!/gcTޣS_H3}%J]Qrb_;p}e(:P鮧6Vަ\ 0Inm$g,YZJ}]p}=mM *-ͳvܺ܀3Xu(=}\ak\5vj+ \#R]*X\S_ Di @Y!sփxw z;nڰB#r)]r58qdu?t}pH.vgW!f΋~VUm< {Z/^f32`7SC.>&Sß԰9i Yc}Q:RR)G[yCF"VGJͬ:SP?oc!a?,ypM,,#"kxvq^W/]H3vɫ-e f^%Eg!8 (}Q,>hlཾͨ'agdF"' .huV8\V|k@W^gkțAr튅 M\Wm1!+CE̅M4,zY)ɝ֖ _斾e{| 4Xn 㫻W_ǁ[W"4[`7اZKCvdx\Yd#oͦBwre0/̂!șزVfMKgfS4sfԵ:"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?wrOuE (W*#k}$(6Jzr! p[;Hfe|k#_m*qEzs,ej2E$ LKwKQ0P:Tg.i7cN$CYT.Ig)',|Y.iVhInk2}n2HQ KXLhg0%;Um $xakR]7}$eY7/%~%[58XAlBln"OλjIlMՄ*J4W2pKfry -?@O1,|X;wPL"Y'НX2t=N2%#ga|:k4tXzd')VVJ0- QÐRzX^nPѭ Uݤl,Dl?Otn`^{j2i9O X{ LZcS.2|}M `A KUg޼ʌ9mS1DqD{Ǹ-P[-Pd8[6 J5(N5gkJy:4%7m(yjL/2hC{W4X]Xš[U`AIp/޺KRu^/'0v =oG~rS;kTƺG>jfʚݕOgBJ9H7YrZ?(B (:3E&:RbЪ6}#W IGCZWfq=m .ۂP!:I@8Ջ޹V z솷A2BK3 jB׻l :an/tvrr!\9¡~淚0 {2O`V;Beӕh S6uP?(# pscQcf*|i`6_^ƶArU)o D^QZqf%:aw{\lnyAWV2TrL"^x LO'bΎ%bsmF 1 bAgvGɱ;6xPM pb8ԉ[Z:'s,!k3OG]hlANxz" xlÈda'WEXyz)=Hї'-#@׿@#?$iwRuM5X2Vj`$aqؽ#%hI?[qX][fMq37ǿz# I y2S4o0N_{ -L:Y;E~shwb~GDǔ,]=gVH{=F2(;U\+ԭtUn`Pv7. ϲ@=.AbeIXq TUm2S5p4Qg輞_G DgG鹠f/]BWAվYZ+`S>gϸ4?EbH ?nb-M|R+9:{L8_^ {d3ѤtҼ C}L5oAJq*DY4\쿂~xSĈHrqeA~kq+I"GӔly7ʸݥoU {?1dLj@x#4kٷi;EW}#2VnaLn\B> .[`D6;Y4.1*68V,r;XNH-Ŀ-gUX p3w!GG{f^_vw :Gϰb u&=E[ 7 x$ggYX>ٖJ?h y~,(N1vFbw9}FT@4^,IIdիbp2SJg?puO0糋J{ezܝHe>fnndWjeMs-=o+N| ,O^H`-g nchSTT)>kzH?F,'F՘CMKu\Fk (EO.t._x*z_~ =.NoU3!xVPkAB[杸yePU^u̖IW&@!ږt=3y_t.J2:Nϋm6`+DqdÆ?~C4bx7 \ iѷQsҎKbl4p3dr fzB'owqՏWa@ QȖu&5g/AH[O;"f/Dm5naFM.b5:<W㳈8x} ,Pc{@-<X\GmjG?JG6W)4$2psޥ,Ky-M΂U-<,'3BuGM|$s I%ݝ1x0ɧFXxƻ@uJ=G)/x<;Zj1U%SNwk~~\]1Q0V=|0 ]-'Yp{>Ajqwh9Ei" ZJ>y ̴!KzW I4:'K y?,9`nw@ md41jNP#'mO4.EJjPu#zߤD:>m4%_i5~ -()ZXp?88QKLMs9R1M >`I˸`c.q`m(YFQ%~`6 &UeM=6ؚLSt\%(- i)>BdQkng. "SKkB, }+-:ƿĴѦUrRFCV JAD2EQ M~  V,ah(mz^}">, <ٗ}.2-EK fɴo9Հ}WugQJoS&&mYXKoRп8!x󟿶>$s=[,>S=*r郏銲C [j0tL6ᒐBM{-o:"nZa;OFцWr(v-Jjk_+e=6׺=~=ɺXLsuceƖdY[L:-.pICY@`@cb蔡? 0_`/p'uۦdfK#!旮2OM^$m҃|oΖ-TSXnn:2 nIe JP\ oDe=FSN ~*x35HUd}PuqVgp Q#lUi/?Z2ex5ӒA(_!6FS>\eP,y}NkBކ|dAV}J՛_: i PVƍ3y`g[HdusRޚzhl7}~"/*P;[)Eԕ<.7<׌@l6@; /&O)kRgȷ=[JG91oZP N{Ny HW{[}LQ| qXUw*D"<6ʜ2)hgb{yI WڨWeayD8x(PaT[.Ys.E:Ԅīq{p,Mr" Mf^dBuBk&=ĢdR[ne9`'&X)7J?梸sz D!^f4ީ)zA~P_+|]Hd?P6HwѼMݶv[)2bC/ f5kxg`5x/[%|R>jVZqԩ1Ψ\(]YJЧ9:9 v2OO&r#v2莺b. ޛCJ9EE97K^%*s;B.,iN0X2Qx+fd]3 V)+[[MCf!6YBk7pا,B, GqhuB]$ʫ*7aOTClS <1.6 [ie$Jև9=5J rt{e>.Cߙɓ n "@+)(ZU~7=mT_bG$"~f QgH/aU*)_E$t`& S-X S?mhYNT夓y!=e(aȚ! CDWyy;@83 vL+A L)h.swtekw/zrTmYy![~8-[T+ g(%(<4>۶u]>q-C6p qH|93Toi7;7FWQl<W>TP9"95i e"㶌E(v*l xLwpx}|`Ra4G ^|ؚq\16ei_45Cv:ث.{(S%s zcLv/FWĻP.^IJ(gYZ  3 ;% $Partial_Order_ReductionPartial_Order_Reduction.Transition_System_Interpreted_Tracesdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5r t7Y߄1w#gX&Q}uMH% 'C]3Ż3?EΗAQFslw0"XR_'+cRV'٢H'#b@Z:III\ԚJx*OG !r4E**Ī& 6"be8`mHs#oij@oBh<~%~΢3\XoBWA{^^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?^ xo6 ;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ݽ15jͷ(7 VS_/|Xf* ;sj 8>8I@C[ܨHpD"Fq($cO \X5hp@]3Q[+1$B#!ڋoٮQb K;O7 pA۱ՀXf,ԤOpP ::HgAL}Z0e԰>a{~ 6Ծ^lޛ /e{k~!)|Klp}R:GV"L} 1t̆!fD0MEvFHxd5mYl uqB~mvtOә ƭspJLKAr$h2HG6aPӬ\ѥ[Ϋ=-s$}-Vrׅ@N3"XIgJجڔСxӴRu s'q^Ğu.N@~B8+e%!G}, I]'z]:|:z@ŋcsq0`saYrQ1Wx6T4K*XrWRNYa˴Y|]"tJh_AZ^0lomȴA yzRT0*gsFa&5WW}@;96moO $*[v vUۅUHggrl<fN/Gu0B$Cg*?>e=8B3b݂G3So7FeW a@k5ԥ:H I}+/?~7n:qӱ/g&y өg3'ԾB#o+NJ{)Ĝ[z&"@ccKl iHBVXL|vrxbK8ۙ8Y0Z\ 7;sf-QqR}&^D E4E?dz u[z~ƤƠ qYg4]4 z'P*RaD)jbtj4e\ 'Vx)N r.›Y% }H*0 J1Ms3'?P4w&,IyTY/NfoMQRՙL HQ:%xҎ?gM.D#WYz%zv ߬t'rP~ψPɵP9t0%lֆߟm@gV}Kue^Iۖ+2 Gs*#:}.>ZYΏBF598sd|S+yu!V{bg2bh CAGa \M,p,җs.?A}hJF495V|!Rg'!8Xά"_>FU ""ʗ .]ʵo@ORȫ|],j"lՅ(F")fs{[\CpYj |oFa7/gTT~ѭ}a8&]AY35x|OSnSTy~-`t" G{rlulW, uWy69VWP"&Bźf?S6czZpEܔ9"ǫϭ8: %!]Hv %Ĉ."6wj 7SjLZ2gk>N٪JTK8[r$ÖeBeslh ~:{\iJ9`7Ǖ֞3Fx8;rqba,|mP"1Rk(x5؅ɭ_wY)_.ܬ^a  al_APS]-_Y }k5jS%8n$o}}s~v]e zy!Rad12+ھ "GQdx`v57gAcYfCj0OdQ<$|Å[]ICja!1|M,[l}cM_ K"Qo)& km7]BZ_Kx+cϢ!".; G$LD!SܻiKG5+q@ivq]/HVU|#}iNrڛ_ S[u1 REU:~zu \! "ʳh7Q QPa؛ I$-f1#p|tLX+V+$TH" Zv_y9rEV:ath?i ~T\%xPW0.i3B~t Q(%0 ?_&R>x&Df`P;hOހ'-=g#GayB\1l3%C}٩ڸf-g<^7.rԴ, $>q-W]QK=AĴc!:oVי$<< bkҘ=2^CFBx& +ngZvA upgc]rJr*ݰn^``F5WsF4fv1Xhs@Յ嶗sOu{tl)gPĦL!&+*$ߌ~gz)$zm*$h*"=1RUx9aUb#(if _~A&$7oY+,?;3UĻ$挐 wPhM3 ? #Mӈ}C_ J*{0ׁ#K #62'⹇H2R lZSPy0%T"CL-7_hݾz#[lB{q& X_/n<{qEa2XU΀B? k,pLgӈxGGz@UF Q)>VwBS&![`eK$mfv~ 7vI~'gm4wܪ 2\vv:mppbXۈuMaoGuNqYyA=̢ÄM/RB{e! P]t6%9mKDbG?ܾYIlAeK]hOҞ BBb[ڏ`1uGp&+s=&%s%3^^CpdP9#Y&U5(f 8( "#CO]py֘m]pgur{6%njИ=X~tb**mThW(L*s:!.W*/-TwоL5`]'cL ZG?˰_y5JcF=OW z`U@Qd5ٸ>4KzZAa[}8d}t^uCL&fxӄ99ybugw=N# $]TQ] K{G+ ]C2`.VT$BY_aC&G_hCq9Dl/OfPl"SıY3)iDCO734mw׭㷉y/7LX)6t^ov/E! 9!ϞjU5nTX :5f?(6Y2yUyu"#I6r02p{|Q!J^`\!n OLh+Ln??ua (.纤W3|tMJGqZ|ںBLf|'!4OOH IGL@G*HIDޝTlal &cK( wy;%8LbHWN~ (QC7$H>()=Դ 00?4sW4ۊ- inuDQ1GE k@ʼ!ñU+awLcU@|IJMd9!zFcSr801)LHbG~ tgz>蠠Nj%ZQPcP7}t,A^!{C YF,k{nxx]$@K@KN>|WApn@:HeK>+MNccDn*(A:}j?*%ϊaÆ$8Y0E fb/*m\$4 Կ^GD:;ݸ3pFpb{tϤ()Qh`#Fnrkڣ#M/.}s&O;J|H1"'pU:5Vc4z#OH?w|koDcj)ha|mG=MYB"4+xŗRbe YSm4(ҝn0s M;KI =nڶ8>n$CaجI3LFt5]ωBD^ V ;J1#e+{*gԉJڥH$Du]fK]7Miۦ/IôRO2Udb/羴|*t$LQ6i@m4fBD({{\8\NsRCTeTel)qVo+B84A2c7M"Yp4fc2Ҁ'^%)?!4jwZ\['_#p9L9 w KYp2 D̓ ]l-\kB_IvvoaTpv󝫌st(%"B Chs|NJ4~j'n!8~Cv]:b7VVS.M23--;畚ϳ1QN: ~3xsG!NeNs ~kL|y':hwXHNj$1HhfxP3;#8F\ik S(9МIoK*޶Osh_CXo˟یwUBZxѧ7帝=?G VyQmEi^Sk`;OVMx݃*&b#qq}N.D^U"kJmV7t?ƟES5+r3v,VڎIy( w| %P$vZVXPTm쇥* (]ΛWԗc+0n,O/xg]U_K5K6Tn)gMnVf?2ke,+3+(+r4߾P/']e`]%ulevp* 0sW03pJ|y1NPD1bz^{)GqC=7%M@gڭxg nkTJ}?dnKU>a: E{Bل>a,V{3}v ^< `p[!+ Z P=m uu6r² gфbnۭ@?]|!cϑ[<t^L'aˍb-l^y+Gc">,,Մ>u*cAa.6o.vLo^(-)l#;b¢-lB< W=\c+f̈́V YXX eGSu4'nz-@hQPS3dоS#UѫuAnpIq܄@t KmEC<3sq5i3_Cr1gIOߩ0H&##/gYZ7L_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 lvu71 *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%ة) 6)pYo1uou{g%Q(KUA=KZوR:s?Epxa @/䪔qz]ya{=0p[x\C,N8ptښ 30HOgo%:M/%zKGE%fvEݵG.ZkشQD5Ϗubɫڙ'wK4v0##GH;oGy|Dm2Cf/eHEi&q yϖƊp}G'AdIg%G.qj<jb-M*+d"o[ʗ.d] nŴGcd& Hp;\uNS5 c8Lc ZqY=_[HjmMi LH>!GZM'AB"*6:&-n!\mp3\Tro\uq&)QbJx a-izm)JD`7LQ4>䍃ՙ<6Uw7J_tIlUUnvx}߆[0+v! ^ꄲz&4?XbTc="Zn[fNj*[|*=A3 _Ie +"G |:a`,˅ Ĩw̡C3@M<{uiV+n%}i2qLmDhgfA߻>ף͸P+]ؾY^xfҧ.Dh|?RZ~5#*tڦP pgj255= km MɡBH(Pq0|spUorq6q\Ws+μXQe.w@ݟ@}Lj HL)flz|#[;@iEC 42 P4]nUyAw#3ΤUG% jpm+ĩ&ua^et5S*OjO,go*C&1BdlY{I_'!/OI(,Fd M~W}4T_‹Iq%,,,H̐KA޲xS4dĹ&K.EYIb^~`1s̰YL6^P`.#{Z_$ nwG_)9O1Ir8tXeN_#8OgVUj &sjOS_y0,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!ଆ"'ܨhçY9q Ԣ5!}؍X)0֭@=8s6A}%|OuJHhwQC/~%A&;[! me%^sؙ+8M}/mJ׀fFA]I4R]p:I-gIz*h(31}5z Ag9ŪC DN<نΑ C7^sAurgU\v!H f,?_TT0~يWNRSH!fdԣz@G+[uqL]ca9مP6%5=v'ZӋbX M~bEϼ4LU-fL2/A-No$_)^|+:q@L=\>nt|eywsO?Yr!P@&_rP9Vq2QU;X敘8R #AaH߮<L1MwXڅP-EPq~9Qm} mrebF~/ 3񒣔}4<cwLB˶{OG=T{eh;n"PRO4Zpܓn^Oi^Dߤ:אPd@ms@Rp\W¤zKz?rn#q5rX*#BgiDjIKq:(âA<}$芳BAKghbF>5I0sE eujOM& [o.FܸЬlɂaf T;$!b[L!9[эVlH/М9WE sDX¥D:X^&|柭^- x<;̅ƒ0uתȨOPZpl4! *xcQ_uND5jBB^h1Fwl:Vw;Ǔ䥧w&Q<kS>J,F̶{X;fjp-a Cvtm֤r%3Zc} C{( ݤr2K zyR ( +XǻJU׍ W7J>حDii;Q+)V6y)%^A#=5D[ %te3 zrMhkI} M⭏ik~6|r)aRh'/^gbɀj"ߪ|g݁"{I0$hp7(;2` cBOyrD3.'!znn3uK↾W6VWB,,V<_!b{'ӳPtSKZx7A2sٷQN,]UmB̌B=T!w~/eJ8I Z-Q {^N3HgJJVKni\]yY.'ͼC ˎMD.E'M-46bjm:*_كّbWc&k;]$wT3'p!ɸueGc%s2&2eXl:m:+s}{?";ꇩ TQ|u05t$-<,atV+oPVk?$EAdBP8bT+jK""=:drS)̦nQ<("Ɯh'+ls:5Ǫw}kϙ7 7g#gܹg|Z4 W; 7iWMb K4dt&C>(.02}ihVBti̤{||IAVX ;./>]3>+y߀hь򔣨(Aj3"%e"ױIbgYZ}^mcFL8 >Hnlyc}JfOC~3[L>A^JPiHt O݅5X"nP^0>-[|-9-QRR켊D,YΤKf0% g5 ?98{ԉS hJVJ!Fi|VkEX@">e\S>)-Fud&MbN |1Oiݰ۪r_Fq)kެ @`<{΍Iq^DDܳ*^֜<' rVyPڒ8!=Q*=F> o"%bك6ԷE y?8v%<_Žxx\oQ]js:Q䂛x][&šѽ].D* ɗ()>UÝ}`jTMhJ(IV^g 넎ޫ0 v*XPmD_xwr ZzѠ._},[dOq+UmOMv,p_Lthhưjy58m pd=˜e:ӌ;e"=0[4>XW:$/R~ޭ,uhEYd6.fɡ`|TpΎU\w/ {1fpz-1O n ] PSu~+o0Kx+\jƓZ9p?kvY0,5l AGr/WQL6wA_!МsZ^$}\f#RFPNpRjp6o/fβjIK} 4Hf?CZ5pCXf9zD)k`U•[GBy݁A=&a2_[#]zzW*+.+ E-O1W <{J([̚"+0bGGӄi)BDhjQqlOIt+ FҳXm^8Q]L*pS<mE&C2F&×ySmZPTA~miԽ9bUl ^Lw{L|%iunfl"1RtO.hlK;9/7$gC&[\w'5z "(i8\4R^'"Yb$F|=Lئ:/0بzmK|§_5T.Ԓh_XwGNVcY(NR/>#3a<ԐBs&~zP(:2=Ln4k q1f+S S[V;LrHdɌ/&E>aDW郱#Sd^zsz6l;*kN wYvA_&P|Azd Lش#Q@nRa弶Lxkf,qGcEd=RR{6IJ3ɍ<7cp|֕`V2:y`ȗ͑ܙi/IP9+/*,2 xUe1%Bx(TufYpGo[ Řsg# F)XLұ9NO $$S{=TR#Evx@wxɄ|L\%Y!&Tw{Gr݃WKqֶ4d[RF9[֝= thr_AQ<6۳ޔ DeU^~Y8as_DK8]oʜ4YT_p`.j}D[6/@@ler"CS9ۄ0Հh&ǀUI0;~HTPlrݧa39>oG= wO/8K`

z˳z==N) F fUQ@ Lgd\,Mbv0cZT ҕNdܳPW^]za~sY~9IB`YY SUy1mͮ49Z=ݫSQ*[vL8WfD4QhEɐ27)Iꅅ ^ u註d*ӕ&N% ]^+a$fgXwK1\$/+<)T1Gy$9i$bEW+x̀B_N WJݲTe>>!'DG FHb5nh{Akz0^p6!3 4`?&pnn:OF-COPcx!Mn^^_䙭1c[*'q|PZ(d_n5&Jzr2$4 hkԽ!Fq2@Zfh+wkVߴ&(iC%8KRB6%5G;Es<XXOpV,ᖕY$U!+!Im:hܪ܆ݍ9ۼ5?:R'M KmݡΉ;{C)uTͭ @}BVs_r0gHS4}<`O3$U8-I@ᾲ#b֊L^Xčc@?L),ĭhF[T';]-$&KG)VRފOӒ?ߪ\Ĕ6XhHJaw;َ*fއ~4 ie= ,9)G\엢00z-ΔMke(!wk3Q L,~^·+T瀼8rN)vg9']||!& 5WMe&7qkRmLÚlNec{&$E"/8mѮhw1aoq+S4k?-zc˷wM@´\wP")2gYZ  ;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쑁 Euo 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`bGIzip6;, ;Q% LPartial_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ĥt1v-ի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}«(W<aIkBW}%[؏|ӓ62|}l~0 1 "(yⰘd cVeN9O`IbMoBtq<,6rH6QTtDMB[JeA%_#s(wHU}U?ObB]T7`i`{Kd%ut3l߳qUTT?AeYs)AO;g.rxF mG7cXcj d1*䇬VN7n3o~N#T:jGSpQD PCl]ESUGј@a$F3&ibV*ԒV(ԠqLccA +՚t7"e-0J:k߅X_\e!xd@F2$"~4U޳kٽe.$;gȓ4\z{⧢ c\p|He:-.:uj(iCL=1I@5.ĒD0ٴVnU,Up7AI0;*1r抨Ev+ٔ2sc.69Ȗ0bb0Pdei}c޲GW;wwe?-KRV ?<9t_fAi;n"JxnӤ(X$7gYZ~|%//:]蒃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_`BD23i5NDm`4ڈWoPy*Jg+E~yD43Oن^WhQ31apqg`UqPn_ &v֌X= !$Ĵ4G'0p,Jn.7 YUCYU+UT^!">:PѠys6MXq> 8SMEA5Y%|e6G8㖳wJUk6)Zy TQx:nѹlj mW9;wRz8ff'¢o߸W[ [.ofGe[xK^:bod <;ѻ˼TqkM5yCI=#F ?wC8 @mb%tގz9Ź}`].Hw8EU~,<{ԃibA79ӻ}qȁaJK mRJ21x<Rn5PnH+"/%Lb 9x-1\-9jāew6?sg7elOkKO %8)K[0?^ KN5u0jG|yV1̥ C.S^Rޜouo+JI>T**t,m?вZ~CM`؀$~x[t@R}{sofjΟCs:M.[Te|dneg+<9|O5Mp=as.}B?{C|`>Gۑ$g3RD];6$2Dԕc^_q.Tk.?9cYc1MÕ9S.dwGRe7Va2ܸ]lߦ=kxG䅨>^۲ DXQ8SGf3@eֵe4Tv:@ F/"2S,{ &4Jn@Hoj5#ÿQՊyK50O5]:sC_P(698U!+vy 2AYJw;ͯ`gCqw*n! doM1P ?Zu=BV/Bi6 z.%i/r X19Rk]g6Th)hj'.|( M1Lj1 e+ͱgYZPXab;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>J t!6%d(m`-qruplݶ8t@}5ARα%X}s87a s$ wBDt罙>fՠؖk;o"8v,.o!6ߒ؋!u9Χ} J\@@D}eۛ K2XKiYݔ9:r~ñib\Vj3&GmԚY%8c'oΚ,|] pn( ٺg4r0( U_tҤq,ZY rr_@:퐇}7= lߘ^Lx*P%g̎h>&#bm/\(NW-{U(3v qt%{#vKڼ!S]#-PH*,L 80F}ӕ=-ȇ|lfFw&[i4iF!TƤgYZ ) )t;Y% TPartial_Order_ReductionPartial_Order_Reduction.Ample_Analysisdocument.tex7zXZִF! G b]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:*ri= L-PP9Ȣϳu vز`5-2l&OL:?67R|Z'uw:nLmkuOUZ4TZDs„ȄMMd.-NQcZRjJC*'I :#Fh5\wѼ%&ۃYlct`7'["S^^ݭOA d&иt^9K3]|2HQ XQMowoX- "mǽ9%Sʱ\|I( UkFD;S#5=J+܆I F 1ZE"U(@lW6^?\ZgݥIqd _yǰIہ$WLA71Pd @Sj>z|4I pȄٞdgYZ6;]% TPartial_Order_ReductionPartial_Order_Reduction.Basic_Extensionsdocument.tex7zXZִF! #]A-MՋhvG"uIBm5A}PHq*t˼ a)atuq|@͌:Ba.NE˜xVq˜C#Ff33]qts-h2$h=j(5rZZ\oW>#U6/d| (0C͋,r8e:fNtMg>!sPߡJ0R6l`>M`F/;c0NH{Q>&'Y82RbiG\rGew3dh"u jEO5DE[ #yRqc򃮣V6Yƞ?O;_% 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 P=6&|pH 1RA#+ōqaĭo,γ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(7LzjmUI0ǛX h["NDO(=ܮY?ns{l/FkBuTQ@jb>Pi ԏ;|j,2Dxˀ+HfvK5sDçR=>&1>FaewLe0b1c/I7턷PYF2h$A//Xp7̬%[>% F~$(ɆdT44Pl"47yӅttx)dEku` ~ؐ{8,tH_|^㢆{>-?R?Im:uAD_!fDcI*olb}3 =?jX%`΅WYj6x9_gJ!¸t,#{ CUPÅy=Cl~֒IXvث{M9+ZuL"TguwdYs*?:fpD$؆)fxYz9 MS[}E_oˁÚ a|˿h{yåtc 8dD8*kue}Q`B/z8ލ%/*G}X09tt:K~Gt/Upc_O9g.vITCN.de+)kiRq=v5^=UL0|;&^tTMljyjp5n?$V0w%oRۥ"5m{ %|DdL+#0uX9dÃMAj :HRV"H\ɅAkc_(w O<4' XDlPyZ{oL,aFBEVH;-nKD;gu| H = k)f^ k6Z6hQPh!0R]gPѸ{4]Fg .t=9@Xѝ` CToX!,;k^9dc-vk4qWm v[ ]Jj׺Ӡ[ٺ!r La4{/{(:]3Ǽնގx/.n[_e{%:E,{ 8 1nsp&BYR/NcbU`a&Jc)Mr)~S՝1 ڎ2J@4CLKUt]#;}0}iGj]nQaJQK>獨Fۜo`:%W^cXT Fl󛲿-Z_.3/;qh"Cy1@?ui{)i7sxq 4\uZkЧ8|ʆ^mow_f">% V]tYfq̑CJ^PT!^8MySGĝm!VfcXs8}"kT`LJo^\C{ Jڳh`4|uFw~X"c,gYZ ~;u% LPartial_Order_ReductionPartial_Order_Reduction.Transition_System_Extensionsdocument.tex7zXZִF! V`]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>1(s^7\X+G<ỲFu.Wт1[؃;tbHScQ`~5us5''#RO0}Eo ݵfٝ;*M PFբvfY` 6o1^GhM5Tp-Upjy4\/dmr3,b*z׫`qǘE#qХvVv~U_}ROgǃT@/ލy4{EvP8Cܜr7O6Hć`\v.8='6څ=։fzF+Hr6̀,;&ĢKG#xZ"ԼSɱ )TS/)fb"O۞#Kz<4S蝋6һ0-L魨. 5m H#>'k5`N )D8]ZN69 E]ALr"ЀxzplѠվ|Ss 2.%V~w>);擘Cz!~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 ybZT5 O14Ԛg`Z ً ^q_p&Eʟq!Y6i3dC2>='07Vp2; “OUCar;_דJ` yQQվ|6z^ gN -!4{r|,.hJMRURevȠi)5Fn7:_9jR=viR6FV倿VՄ mxB'|т2—jt 3MMP5u ңjuPS~WAy:)ygJ !GlM+jFBwY,W97_/$A.z$?'7^->δpDrc.j8-pjXogEt1{MCl.IHg5 =1Κ|"~V U AssxeS,dS,>zV/Ƃx9\ĂGaL \nNjQC{Q3]Q=5#v@ŪT+mʷ;O)yAR?gJ |.MSd#L@d4gF¤pxnӘgYZ  ;c% tPartial_Order_ReductionPartial_Order_Reduction.Relation_Extensionsdocument.tex7zXZִF! Ot]A-MՋhvG"uIBm5ť}(ܨȄ,l-Iclh_Yi!SS?Ȯge'.% wQ;Rk~t_R jhgF;28N'0:Fd[̼Z='8a!6 Tox_ҍo(UF ^G &z<&/eShVXcᗠxKN鍨⼿~̧?m;ǭ#& "_o?t[M{o*tpgxU<]qh+7:A'=`cذ&=-e)J(P$Kz j׵9CIӉ$hmr7 9i>;Ǿ>IgƚbArV=d^<2`H2FHPU0YV/V>hrClxC{K!.2P[ޫ_u=xj su)%;ughYb%IOv]nZkMȪ+FKm߉yQ%@ YT_Jc Ofrg_Lڻ<|DAW}D&o"?i_9F̊,/_-P9ڰ(SYFeRZw!m8y4tNTT?pRG2$#9{X<ױtPM]MO/y?ru+!ھMT4A@}Tc.S-a[MJi)?_@L%fQnVpER!WcZSFYD.|߻R(3fI.];u5D?4@MHb?-m![VBOM~c ŵcRcG,q 46x&C{έ,oJ7,t٥"Q4[o`UZ9= IJ M_"͖(u9y:Lѿ?B_Ky:P<a;e >.wsB/D,N-E>`tKoDTLrAx-& ռ"ƒ-~B;siS_TƏ6~'*.~Fjw<܍Z.Ĩ,ׂڤP?Fk[ͭ1+gB+mxm5M[ 0  ^q#Iڒq ? S C+@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]#余'KwOcEbq%4xWY W4C\姲J7:P8^- X (V&gd8g[?=Fr5Dkeʺ$d7u/JF ږm 8}8~,ll %B#?*M?|*GVṽqN_DVG6'T\& hn@F+ ]1f4qZ&jhH传Rl`0(56#wGei΁V>*;"-`b&ٙ1޳C}\ݻKriB>xKV3يE E28h#K澳X4Jҏ/$>wa7WĴ_OtIY.uBjv_*N`b4P-McRs+*4e{NWI@ڋ,zi*@0( QCiMT%2HOC_a}8'k q,Ia`Na@LP=['O.1:4!4Om?ٶwL!3A,n#%Y{қ`LHzq }"Iw}N&sM>PI_#$.LSSs#"'gYZ I;S% Partial_Order_ReductionCoinductive.Coinductive_List_Prefixdocument.tex7zXZִF! JF]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ݔOޤאEܜ09w\OWh7'PcWO RaZp^ {6A)Yz[RP#C: 7ʹ5YcTVp4Bt9<[GpwCqRy1D >5㕛ZynmdY#*tEpU8e?#Z@S ςTdB?:!q566pq,aRi# nT4~=hǔb)RgYZ e;[% 4Partial_Order_ReductionPartial_Order_Reduction.List_Extensionsdocument.tex7zXZִF! Q Q]A-MՋhvG"uIBm5gq3P`J깑|I$&h1wa 'VA&<~󸏋2or5 C.vʪgCS]X&TOɺiU}z9޽lTF=]C{edk8 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^3fRӀM=lTlVپK~_Oš RpC` O6z?x2b yf^.jRiO6e;h4 r>9d T1 U°Tos{T較 (cرx yHR+]'> c+ƌ HߜrNJdv|ulNIqdGoT %?zyÊ0g #Ьz?]qV(r3S38.~ZQ/A-s3= C{&o[r n\>zvtDgYZ r;=% 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)?tdK+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ȊPpqUxBSh6f`#E 7106G-]t_"4)dO] 5:wpOEZ| vB8&!&ZI$\ *5dOeRӏ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\:g2P!YugzԱ5f.j0çݙg Oś!;JR&S,%! TK gm$H17x#0 wM`>6v.!&n~ՕН Ie/,@oG7\'Fwb,QiZʹ<8%Ao@l7 8,C{2Ԁc: 5,9gYZ+;O% LPartial_Order_ReductionPartial_Order_Reduction.Functionsdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5q\:K D_gSEq% 0JPq^MIȼHCT6.Ivvrߒ {:`Ӛ7HM^݃v *e'7Q2APAeM E[Ks$+Vm##Et$gW`b#(9vd?T5syf 71#hRTT +.Wv# Y6 `ihn2 M!/4( Z83G{D,yRZL(B⓲%}oZ' PyXlidҺ--&dtyTvs@K;u0HA:8 x o*3-!ϑby{2HNLHS>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#nA2PEt?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]:$ewfZW3 yGܿ3OӋH !kשRj+,[_CU^轐j{gR NsnCW n)bvد592ؽ6y8yc<+C>,Ej f/RHvexU#kdtLv 8~%ܪP7:@n&}Z)_: D3򂫘0 $Po!DŬ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?"['%|;ЉWCX1.I-1iAT{ow8Y=;5KlVw ka.z%_Xת$V?[cD 1B_fTk )#E8zحeͷSX|j*o/<"B& 82jjob~s0wkw-e:v _pppl&a~)'4/Ď=79ۏiSOJ.ɜ\RAWeuR=S5I'̖@?JBev@]㣋U͊ML BZ@7FXڳ\ܧrj.ɮoœ_6(]{Nεu5$"N;,{M9#{e 5tQ v7OZ" j;atAc^LqJ@O8IٚU*6i.D 7ʻ<\L)6U:UG~_1f8gSK}˓O-;n$lѝYqwdx7Dr')2ݹgYZ;W% Partial_Order_ReductionPartial_Order_Reduction.List_Prefixesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5gq3P`J깗*>?eLD'WkFԪu:ϒw^<: - aS:D+K~n=3*>*!=GMݸPv>܁t#IÁ(a3DNZz7|>K]B6~Rg_U<uS:x#8S TnT#r:s ,rP>'О,EDoڷȖ \Q\!"h/b`xj~)ԗߢ4H,v+kE쇾G$=Ե:dupV>G [^= ω'4$&fi7fh8 }bġ^J@ DM"xT`-@'f}-N]h~}7i 1IV-L3-gYZ  h hE!;C% Partial_Order_ReductionHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8W.Zm *+Y_cP8l D8b5vHʰIVL &9{a.Go/RG_ϖ XN8#p[HInIt,dFJY/s7RŀƊY wcօzs@(7;bS]M ~aӝR oƵ}1+r[ȷ3&Uoλk[_4fF.o ogYZM ;[% Partial_Order_ReductionPartial_Order_Reduction.ENat_Extensionsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5)'{쳙V3RAut(xG>:-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`(#~ lzPY1rKMi`Qds.+Vwd.Gp3 zsd\Rm}9p*xcR|ж1.QjMt(#h&KAdNk.lOgӿÀ3yŠ,zrQb PɆP>!6Itat~ 0:1O֊%vo!gYZlO%#iuvI#JA֮(EGNm MDBʔx悚c "9>Y}[71$m%S"$0o$6Z -+&tz"C6k_qj/FUm^B5$у8Bg+rۨi|N i66njqԿ`E5k:.BT;c0#YQ2+Ih"L{#!>2tK6LJ PH(G%ha,7N-PE.*g!|,8ĥ* +53iMdO$J\UMqC+JϞ$Ј!Ť /jĎB}|]sTRɅKl-eىuՑ:*~ c'+WvVߊUƴEs*gYsFW &MP[dށo=a&1]ADZcmN5$TީOcܲ4M7)K4zh{,bk_9N3IׂN^-BXx`Gu)& ^x=P%d_v佴 ^ceg%z+3ұVx_r·́ab(U\>A y&0 ei[FP(jsn1"+55w􂚶ē*}q"N.p`%7sNw䝇#5w-?8dUZ-{)@5zCvT1n`5|8eǁv]i*EVF\[zHǡn.ӵwNҫ?9% 4TF[!rkH;rʝsb %D/%e'iۓhWG\+"RucG[IRC#>;x:U4Hޯ ]ڷ^N{ }:1Ͳ g97ǃEvN50+!峸duWA#Ql ~µ`L5S09p}3#b)(ױX-rUKC͎qST-,s㽹^J^+>"ceZ[}YǥKdN "1n5y(McpFmmNj tE!A "7U1j,]q֏m>K޻uJFxln1{KHAapo4{HK$C9e+bED' O(q B|L9~SOE_"eܹ\bWz!WiEBӂU֒&lZ fLr$gSN-z&KŶ Gdמ7TDڷ(r,}9$QZb>Nُ$@ )vVVI O1pI,uMɂ/F og贾cW馟p]6&(!7 EEO%.{MvF*\kmޓi!p6qbf3 ĨG% u1BpsX%bC&nq('ެgR}4MOI5 _!-cCm,LhVҟO2SFFv)_0CDTAPSGXuo\rt*TdQҟBou4ìٲXt?/4wlEO"6:23I}5e6t%jYa>0-Lg'z M.X{lP%x;Ceu]i+\Α2tc1 Rx2C- CJ , 2nJHBUZ:Ukpd<9dAnu|<zɯET>7Hkw%Oi.K(n{ʡm{C iMkh蹥 5$&.ȺJn k}K 5BC|@h;^;~:;l%[?7:='O _G {] "j Q|'@Js Gyԇ>H-/{14 4 vUlD3DBeqL {?5)m2R8\*l-ZV \TD@,CNTLNmẏv Es+O% XZĚJ-1gݎGD',$BS$ bwh,|J2jf@d"Je#UvفMbtWe60_9Dϰ;yrg\3*`Y o Z8u]gӸZC )^A( Zcw7O;wM ,-c$Q:mZҜ#b_$q=2A9$f+ oY8ǠhmL l4,pv~bjZTjϓta^0ڦV*}-F~d 8OM&\_cxcF?a˵ЂboTVey6y;-_y c{]J1cSŶg ܈ gn9k8BUx6l[G#tmT%0?z*Q6{ҼZJou귧=?usi Yx!% zasqmOxG4^|/C(͗m3q]V>',E׌+ҶIϮG8Ɩm4MbR*6] y<{"}ϳܯ~\S`䍖cΐYWo:k=&d{C~O8*(Uu|A{V,AlIUnKa*!P|M͌sJnO4mHYO$viNDT?aT@ISO`DRaњW &Pnw;菌3)F? +^|p"yA?1T8&H\Q1OϘn,lgL0:&pOrs.G 'F4i:52*R[F^%AVBO2Mh`LUʻ m*; Nd>uvu5$sq;O͕NWLTB~%홦0 JJӤ#5ܝ5Lk 0 1%*cm 2{$#7MMhW}+m~Pj|O; UaMXt9&IV(,{ZTO'!(coEPYV}Ua[+.`pW=hGިzP]ʉLvDz{~AbG1h7% S._qP!hJK*~?C~uN4 e"z| fa&C?s"nXi@;6ji|$)ٿgYZ3b20c321417ce3e8f08d4c18b4bc2944292395150a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e d0cb8d55062ef7de80620ddfdd2b8486b59b9db5