SQLite format 3@ U.;  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 5zDL ] Modal_Logics_for_NTS:threads=4elapsed=151.282cpu=507.236gc=41.1047zXZִF! ]ŗXiɟ ^xe0iuX5|m87&IK2& EtŨ:ㄕYW-/GHɘ AQTغh`5 lrlkZr:M(\8. 7zfP{PDO~?`?Ik1T`g_T43UBF4<v6Ry7)*ܼn{ N]ljӑ8eMީu' p)P}O+Qag:^5בMAqnf#c㭳Fl$%ݯU)@ t#a X%򚂱BY? ZA˃qRTgPVw7R1?iz+]N7@R~j`OWdMpn}A.օwyD-Eɴ:I/6 i۠̕Cٱۣ[m/N/AsȊ,Z5{]}y߿I"KmեyHZѫx AWHOH ڤcD"FjbĄB\J .{\z)mov;acAZ9khg΋F+'V*O8@ V7 ƶַِ .: .7o*O U.Bm)m* ]-ͤz"Z&BV(-BA.~S?^rcIYEd/]O t@T.'4KIti~ R4D2W:a7zʾ$V|['w6>Ο#hJ rc>}.>kCC3enSi[ө l$rhz,2DUؔ·SzrS?ZS"ⷭc7*V@E%(8v“ a rt7O,.H&jͦ*76wȕJ%}>s r1ݲhd r0{CHr^{<`Y#y-􅱌O~+¤FWQqxz|4)Epuieρ!!l=E +1{.uM$8 ir봻ni\v/OaAKW!6=M9bmlW~kt"5OF:&>2Rܫ:;vsubtAZf?4DQ 2ȱ>*S 3F*M jr56ffAnή!f_hu?Sgsu" I.MEm@txۻP[T"!@1 bsGs]@T/k(p0c%!+#)|OZ4C ըqw&AYC<!/՜4e t '֯Ӷ~3)*ӸOg xf-h(o!QQ #2n%lyJl9=kM=o5Q1If:2΀[SOI $4mi#3̓6U9dP[͂E=X{,80zBW\[@$qYݘ͘'eXXr5Wa(}6Y ~B 6m%>!&H=X|VlDs)!L2+b{MZZtM`qc&`̉]+D,y`նͬRs}qi^ί~/J<@0D=-F#WkR*u6K3XRm&$"eb/y`g}m\"Z_kb9>n˯//$\I{sJ gsPęs104 @B?MSC Z) %S*52&=QM5|]0(R&~a\U,>%$%|З0edJy $\AdM \&l]:& 87R;a0 l9`SFꓴF+a摓GrL9'޼Z]uMQ| cP^P :\͖_^?5MPBr$.gTG񿖜oߖkd~P0]{e2B .LM+>*j[ӌߧŒ֠@OmzcIjyiWroo8pGd|Q`eNCJYDž_nzQI4EwjoS3'E;d:B<5fzGr$]>1}S@i^`qD/ʕ}XmYWI Cڊ(6HR"ΆT’Q!֧mԵB= oIa,%7{_Dn~$Đ+17Iwo"*..f{hq˽6:[<3 >#y]scw'BBیpN6At<$d¤ɻe8c< eX{ "?.%FҪ[b*U Cxu[%g]PqI_ to֎a7*F&%͎uGaM\d.Κ%~f. ^O boNtibB{v6ZOi * \0f%w))tW{b#<1Uu i."cG2F xt-8;-R5: D0E(+4\m\OѡsluJֱsZ~Nmo/9gYma;LwBP{~v_[F ޻Vyīׁ%} 6Df 0$՝X) g;V$^EA8T(=+eSsWN'[o&ßV2*'?5G|<~svan ,I)_cƟ+"oá~Yrѭ7 \;pj郥JuLKb̑[Zzot*nvȞfta_=ՋB]}P'N$M!LKJIHGB=;97 5 3 1 / )%# ( F Fot    ] J  Wj,h 5  G . yS5g%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Logical_Equivalencedocument.tex(N5]%Modal_Logics_for_NTSModal_Logics_for_NTS.Logical_Equivalencedocument.tex'=5;%Modal_Logics_for_NTSHOL-Cardinals.Cardinalsdocument.tex&Q5c%Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Logical_Equivalencedocument.tex%G5O%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Formuladocument.tex$F5M%Modal_Logics_for_NTSModal_Logics_for_NTS.Disjunctiondocument.tex#D5I%Modal_Logics_for_NTSHOL-Cardinals.Wellfounded_Moredocument.tex"N5]%Modal_Logics_for_NTSModal_Logics_for_NTS.Nominal_Wellfoundeddocument.tex!A5C%Modal_Logics_for_NTSModal_Logics_for_NTS.FS_Setdocument.tex a5%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Bisimilarity_Implies_Equivalencedocument.texN5]%Modal_Logics_for_NTSModal_Logics_for_NTS.Nominal_Bounded_Setdocument.tex[5w%Modal_Logics_for_NTSModal_Logics_for_NTS.Bisimilarity_Implies_Equivalencedocument.tex^5}%Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Bisimilarity_Implies_Equivalencedocument.tex[5w%Modal_Logics_for_NTSModal_Logics_for_NTS.Equivalence_Implies_Bisimilaritydocument.tex<59%Modal_Logics_for_NTSHOL-Cardinals.Fun_Moredocument.texG5O%Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Embeddingdocument.texL5Y%Modal_Logics_for_NTSModal_Logics_for_NTS.Transition_Systemdocument.tex?5?%Modal_Logics_for_NTSHOL-Cardinals.Bounded_Setdocument.tex^5}%Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Equivalence_Implies_Bisimilaritydocument.texO5_%Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Transition_Systemdocument.texC5G%Modal_Logics_for_NTSModal_Logics_for_NTS.Residualdocument.texH5Q%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Validitydocument.tex?5?%Modal_Logics_for_NTSHOL-Cardinals.Order_Uniondocument.texG5O%Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Extensiondocument.texR5e%Modal_Logics_for_NTSModal_Logics_for_NTS.Expressive_Completenessdocument.texF5M%Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Relationdocument.texa5%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Equivalence_Implies_Bisimilaritydocument.texG5O%Modal_Logics_for_NTSHOL-Cardinals.Cardinal_Arithmeticdocument.tex G5O%Modal_Logics_for_NTSHOL-Cardinals.Order_Relation_Moredocument.tex W5o%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Expressive_Completenessdocument.tex Q5c%Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Transition_Systemdocument.tex C5G%Modal_Logics_for_NTSModal_Logics_for_NTS.Validitydocument.tex K5W%Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Constructionsdocument.texF5M%Modal_Logics_for_NTSModal_Logics_for_NTS.L_Transformdocument.texF5M%Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Validitydocument.texF5M%Modal_Logics_for_NTSModal_Logics_for_NTS.S_Transformdocument.texF5M%Modal_Logics_for_NTSHOL-Cardinals.Ordinal_Arithmeticdocument.texB5E%Modal_Logics_for_NTSModal_Logics_for_NTS.Formuladocument.texK5W%Modal_Logics_for_NTSHOL-Cardinals.Cardinal_Order_Relationdocument.texD5K% Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Formuladocument.texIV(׾edUtFgfgvV*(蟘\NrX7Dr;bK"KZ>jqZSڿA:G,vK1py p%J7vj5d]=-RI' E))|C$2|||" ~ &'RCL 蛙9CR4jEE.gϠM >2.}0#vq*H s.7۴=Ց@ɖ!eV=#0'Rr"ܐZP W+ w+;k'X_Trz#(eq&~hRPJҞMLG:F2QTfOˑbe]( P f9`e0v|[ضNq[_2P3 ߾/SX:̜1e5>ַCMN2]Ǐ:0nP&DAXegvջ1H8~zyaf*RtDE{O>'U nfL;bB0xodb!V5`-(>]p UbJ^``7XRVޮ\- $:2Uxo`ȟ fSh@p; -©¤J1`GVPyt8scLִI}ʘGPIv1DvKgt"Paę^7@ħQL忱_;4Cʻ'V3ܝ]ڡꅚEwx%G:5ǁ!?ENJjRYaU/b1kɌw)bs,|4dSk,S,5$/T]}7QLUK}؁Op<ǥg|W <;8dGLϦT(rWˮ -PuexFG3ȯ}cZY!m?j*ѳl^I1Ùr9<9j.(66O2,Ib;/ݪ\B75Fb{d gTA5D) 8"2UFs\ AْQܯQv5cW^Li p`}FF$vxG[}Lv…G7k)Ʊ1}/ڿvZ*g;/*U>9j5 iDi8ҜO=h>jcidrFd#Obcvz*dXjj΁]fjͮjqw%${gsQAAWc֪]P. t_,=De3`ڎBR?,r*hQjC|~MWlq ё"(_! D.1nh?ta*&so3ptu>(7eƤ<+*Y]qWden`*0D=Ɖ ̻lCXwAޏsOSVe-z! iHӰX`shTV""pm !E] uk*gN <9B,O}-B9q7~U8B>9 &ͮC/U!!m@MUmfQVCHvj!qzWbYQv\Z[e)pK:O;gJZ9Z>Fp3y5)ےe9c\-0?T&E`ݘ`,eK2iQi7"ZO%^ZsІ=!\Aֆ_Uj&ًZ-iSF?/5qVo- KNS}:n\C[jZc"$/ֶ\ LR,:xW='hl߿SK46S Rv1dJܜ7u*lpXu<$Eyl58a.,^,8mo*kAa]RU-/ &.;; ǩ- l7Tj9GUT=}ɡ<'j o;GDȏX.d7",!'ŗ ӝv]bP5* Yt3$Pk"cbMmmpՈByyYg B0^|oJpL: -KGLP0^fC ƅJ*kɍ&QAn"N#D.$7ZyOW;?}K|J>JGq~Lj RYK>;WAΓTYс GoٿHbȂ.k`D2P%MO;=ff#yU oFZ@+ suuT`q5NOܠg;qN[e݄#xEYUVkɠ2A;y+4JνOh`KH'ҡ3F4huY>><DlɕxsmcWӱNΡ rĈ:Ds=_ Q~Jͭp+mpoRta7j m885"& 4~GK4X}GHSќVi궳hz_/[2mP 2Y::p10"҈<]ЗcSl4F9Lڬ{^ !&d'@Uмeû%n79]a+WҙgPܙ__4Bۡ=!'.$MUž':H+)shfLVWPR2*' 6J &Q$YAlz ]tC:(7qF1.A>c p#h'\3cSv/;nkcGa8sGxgLy|I!2m'U%ǀ|@n]:0 hjOOү2+^ҭ( #DCM0t%E"Q7>t ka4u?ݘ!qϘ8X! Id(dܱ_DGz5P|f,GS j JҐ4WK"-Z\LV 21sG nmþ1 bJ4-+RqҊȉ.:s(n!Wze2kɐ+-)Q Rnn_6YodXtX=Z/ _Vq=bhf|RVt@ \Кf^hIXsu='R\le:--YZ?4 #I!;17@56m8)B{l "Cwe 5X#5Lxitt.ݎY:nL3s^YƯO.|a ( Ga{4+: _:BxBݬtQp_O~46W <+= B &3Ѷ1'85IS1 ϋY\mnv57%C)Zsd YɾY֖&p ~ /k:B- ZOUrui_unE5#*Kx2_Ɛ$%;x#3ɧu"J(lcݕ5B ;[_)+)YFܖzvWYB~k%KWs,#3r-r4f3tVN )!)mcSk d"*bͥMB@%er/ژߜ9{ʭ _(APl)-#[E+z=!do^p^a j~e.+y>Co.~n)(~(ieTU_ᵸ4Bc?Apb1\*V klXUs; e)h)D 5c07|vI`dէ/ԝ֍sSKcTIHȓ})oqUOF2Ȯ;8b*nN|s彖%G"a5;Ua }! w2CIl,+؍k{r2Qw`Ȟ5Q%K!0E7]db1H5W)]lmycN7_C} ;:ՆT\'WҪD=w#,ꗛbk]maiGlU:؄:'ɞ 1<'Uý@9MȒ.3=~ 9+ZC P#XC+,z(;MWLbQn;Er}JmQ0&/F x=w2Ch:s3ʶ~ In f]yH;dt.0T|J,C='AK悬%yC DM p_%4ڹFy04/HV30A<LAM9е ҳGҖD0(bYQLZy|qkmf ?~g%oi`MI` ٱ:2cqPLbu&RqO{k,˽IHpr+pfC&8%/&{'b $zpC&V!InBv3cocV~[,mlٜfv>ܵw&wd U"o@S`]muc3h1~<$~mPs)T06'.vx"/b31lb"nϲ44ο ǾŘ Lض>=3#Deo#\ ^d C2JeREjN5̓fT#Pϣ-F;ckVskA`W B8Ҋ51s E.7>1.MMܢS}Ů $T|#7ܲ/@3UUA҅&ʹ?):*<1lUV_iuzVNL<ʐ ݀NH+ߨt>_ϝ.r':~QK`4f$8(}8a}{}g kZysx~N5 GKH+ӿu} ٘OJqD2 {"827_<}o~YqأL="P pN~qϚ1`SLx% ~1*1'm2JRO$+aKDFB^tp04 ðet#Mx\錻PoanԄ݂RGOx' 8fZ~PR']4voU\^䃡*Gsxjjg@BCxAGI@.F(U7b?[~jn"E;9\NJlPe& :|e%9&P|V>W N8=?alw1f/ i"-5Mb?`b㓄ZsKyk X/W,_bRA~2YSn01Gy:\\h3Xy-1'%]"@4*.wX% q7Dy-un(B6 M36VVH6ysXT9lVGBKAzn"~PE&[b}}hz^8L Ʀ${u1 ǏO:LjoP-'E3kgu)xKaBcYӬrU} c2^>9W 4xP!VөdO+6|$mNv07Ν:dǢdߡ9 aQw;rE Y)SP6T(ox-m! ݣm^yrW#xmp}}Ksrd-tD5(mj $*9H LkD JRsknjv+neK _l1ip 6^=-ƫKe3Br^n9%>imޏ^= -ldrS? ^!w%44C=sQڈo80)eKC!#RϨ g:<=HhVd13 "():5{6;I#1,gzIۛ!*yIınFl\@,Qh:ILLQWŖ}[p\}!zяׇ8#ōY¶JkH^ ; A萔B$l>~wUE {pUiZ#O8u#rM-1r\iT4所^BlJ3#U2EǫlkA3^wNnUNPhGm3MD 1~,6S|>?aw%U1"AB4/dԤyK昗WI.-e帨پHhmEfY%2TT#!\>)r&&P*svǚ!^5=2 n կ}. >$f۷RU`,BGARf"qYCI*BiO$|M1(?ϔ!&9v(65 naO˷X(̯s Z@aCݚ?i*sq^75d!@N0D) N՗R獺sfL {M{*;[t-&0/$ k-oeEZc,̚qDʶ|^r\#E\Ia65*jOf[MbyaqqglЇvLCs#[ H-&AK- d&Xa$sS/p^|L_!l:IήwYLWD=J/>.@nOZ]$kq ¹a*bWS.x:3K'xV :5wJK) #E)p|AxG)D <|9t98 x6XL5]2p$ɎjKC6EoJO@Ýoh,||-\Z+UYLR.Ghb ϡE 0ѻGM͸. PRJ)+rzn'm@q/®{%6T'"?+D]fF6k"V ;xH#EWX>RB& 7ם^/]I%VcqOAp}971:qp7nCWliuun;ǁNpXd$ChZWJsk7'V aAc& թo&eglmA%x7Le:^:.-}RuKruE}3PٵyY3J F?!HfdÕVBp߹B;c8R͍NjܼÒ-^b?9ZOIA1 /bX#1=>oj,xQ~R# PlBX% \//TK\o}}t?xN8x񷫡p'x}56 hM69 Tp 5 zqiy!WZԲp'+iJܹeDbR6d,o0IxZ,0E5|L+d%ܝ[2r >Ƴ2fe&+F*-mۖ/-]58L7ԷZw@Hjx}z(ޅvr"39.Ilz'G.t>@al(3@g 2|9.q௴]цM-"0j5/?htգwL.*!\ZNSف!{Gaʫn$ӟEX֦,b#dó4)@:aA@})%cph枌wEd zgƿ-oq)?.pRJQIhp XHI7E7)s2l尩?0IYb"a Luz & O=?bM«8gkڥ^M$#S~N}PCXsOK5g 2dE12$(Px_{5(:H R)9ޭ9?D>nbY<h*MDaw X@ߤW/9y~}WkKIuPE> i>B3υlLoYV ,{p\gfyU<ӷ5KoX*JRႥ}Baה iT\ ;Sh_ 4  "YQ 794XZs "煬7?H.ߔN(fj2=rB~%YJ zKt<(姬:yCrtPF.Z3fy@00Z5oblJS$W]O~I 2)6{j腿`Ȧ钳;B:6e_(,Rszz#{t:"P[o4U?~pGa9KrNxpHRҸƼ1?=l_mNz T in{'Xa`e\_.Q[-yRZJ_c"2*X,4xʤ)+!liƀ6^7?9I"G)I,ULˇ-g*$d7+~&.1gbI%ka5x] дąnl z!M]Z:z<ȖeB(EnDj@8+V(˥&pᮿ3]?t'IXO(MaS1$B}5ւng{MoDN#?G@XQ%!GEuI<ĕC9LKzyY&^ nv 8e";8oҲ[&]cH&n3dLጮeP0P/EK_ɭGa4ȧ& j{wa23zq GLfFZʌǙi;6q7'oCى X;;)o?NE7+j|>Kw0%箈eSd?To%s[`@}TJ)*7I 1m\>Zg_.R(mz4-۳?/*PZV/T#<~|_ œ̴Y\^LBjrg&f BnbPL(c$ǽsgLj^x1!M;aIlSLhرsKMO0H _B[qˌnۓ,VEX-mҌ,(S {Q5L5zғ?<֤ o+3HvBuyq՟4&PKf=KXQvڮhl{ <. WF]mx* `.񈦑kkbO;4uGH,$R3$ |E;]t8j#xjo}z&{;Wջn:%a*x5++|: "6*HYXϜ/my?`w*&,.+l*Ix`tE#Ωiǣ^%/QRo|Y8i/L$*Me->ЗZ MYo$4/*wVG3j,bo,e|yu+f4`+?}0&&ܿFqW#'O2FDD4 o ֦Qe~^j!]E!au}}۬B>T?=%kF _OY',uDjS,$)fElTPv't9MUGg"zU;8,`.C Ly"-h L@9k<4ݬlD8,yZiPE!g~il%PF+#/:L- ϥLѧ9BlhQu4 R?:%u)I10#m,g ~bdRQЁp9H5Fw{;ͯCV5#Ve%~|%r~6h5; SQ =l'yW":8 ,/^$u&Y9e{Z^G(Mo**;Y!,_#įːk`.T0bv+vL/ 0y|l )" ~O`f"#훽g.1Ș*\ggdkkv 6 V}x0:sRQ1N(:_8^uJg>/c6%<0%[J'tUw#$/π+]H"چ^zm?  :Dt,3 }Ocj%ˍ@h ^!{Ct,M]vro}v;#>zOZv2_ UմGomFlo'(_6yrj+jRO7lʭ*uW !q\i4:慺ƮN }q9ڒb\)bBoj'Aa-2vīj'T)SjlnL/ww5LEB̓t?0\aEhsYoa:tHܺaxe? 20GA?Jk0XƳ -/pw"l')AͦluaBS6s2zFe<4M+%VBqޖr#(qpT6Y 5Pzh5^QʽeP{)w?PG*NGJ5-UcT #Tjˌ튝L\Yek5=.'tyXre0kt^|asooyeƕe7lH.WFi (97ԼPrspj@L'>'kj^^)ArQj}y\i%B;4]ˏ<$act6j߭_U6u=j9GwGP9 uWMbx':,0^٬ [DޭK,xthʘv>Zʂ%%,.JXpkzY{T).;oF,«:ǩ]Ѣ=ܶ҅kJ;WzSP(=g"`HF|p $bU.o /V`#|3Ѭl[Z6,$X]Cc/kp:P۬u4ŋ].䞻@.Lso0Z „#Guد:[!aN9^-U:QqpePI¸u|Lȷ.B&#)5ғ##|_Ca{k {Exms9St#wSw h&K0SE@/ǒHR{1=T?:#X^rm50Ru]d,ӛ!~#"{4α6JpkY3ۚUf5۰ZIi"˿ i4jBUcCY8}i>.PkzCXˑ)giEnE?]`ɣ"vU)0d=n``O.郋eK4vhǣ DOA ug)kW1uc;*VTS4"vnJ7lK!*Ϝ3P:;L~crT\խ}uR' R=Zфznn=%h3H v]UçJj;%2Dw|ĞPtx rX/ekϹ&\Tx:@H;5kF "D$e=BRsZEdǂF2:\7~)T*W{ ]ZSJqǀʉ~k`ejE2:.mQuԽ%l W~8숼*XYmjDŽA 7DZ -Lյ2ޡo4//\p2:W`Nu&mSQhe;p! ~OQUt1[WeIoGpG>|t*-_[ N?9~o2,AB+]U+fבt(;?DFG E^!enœWd(Y`U<¦!3 1`PG)J&5X*B3BI}#1K"o it$`j%%{fMKHGǏq-bt8*GӒ]J}Z;H0;;ٗ-ͷHTD44y;tqY6 ]M y]NכlkZiJ%"MWT*p7jٻC ip%bEYh ݰ2]5wb{Hu0 fjtk8" mmwOɛ*՞vomʺE '򤪶I-^$2R($,͒Dv훆 ermbR=x Y#.ym;߻{ӀSLR"'fἰ;_.3jee09L9=}i`%=- 1[sL6Y7,@:mY#R|w=c )5х%;++h2xdu/4CTZm37G2!)E? %wOvmF[^oovDlWЫfX.1a2Fiā-_֧X/sjdB] HՒ{?L7ڷc cv0/!oJ+>\;YHjW\Z<럅u<]guᮓI`@Wξz}ĝPA)@;x[n*83% OmH+nU=#Rg(IwEzA9O!vSQ~g,p9_3o㜚>73,*=.?= Fl^8-n˵L#`k1F /|/zcȲ6FM;ʚV<0-|T3>\%U͙Av@9xGc85 ?Y}"IY>K;Jp"ۜ]-jRD-߅ R> *o0/hG k4UYKu;Rڊ{ч|`!*0ڀ20p Nr@NlJIݾIGfJsE%s>,R^j!bb6 m`D4'z>/)r3R8$Y;)w)`H(PՎS:0߸q2AE1q4*Vtؠa YH[б"|*fZ;-fj7 R8hH9*+N=h>aK{PNzo{m_|g2[M3;Kɧ=V-s&SoNL-Qzo@-(Mh4IAA@'ѵ/JPҽ`چ|%?U ɀj*!X/FE}bTY區c+aP'Ĺ T$. Jg (%6qOϷ*I[Ik_:R;Aۗho ꏴ "%(5Wey#m8(kfb 247&8`cJFV.$27tѢ-O("p15pN_`73+}/CWo໕x%酨#;:&G˽+Eg#Šyu⯩>YMj +܇Ǎ)j)mJ5Ra*4~&ÄnZ`\z#0 =)\7hJ~nX|1LD =6Yy1BII] m7b E¾&GwZOc1!D0*mP ඐ!ZoE)p+.U 0g!lw:' A2H.`GC'"ak}m|E'oSsdک-Bpy^pWYy ܉*r׻z3l8,9,o DUGI в҂ŷ/DJ'{--by^̞I7)>=`ioń1-T7E{ɓsnl_]##tY;i~ N:/^ld?N~̮ZmL?]Ƽ@%9u4{J)Pl!mL76:ulM2I'ɰg)ӗF#Y>;j&S.ð*]$:φGYP=ղz> j8CQ,|Ʉ$F-]J{v+/'@d;gt<Y.F="HkDfQ&bHAv̑>֔sJT!5yt/y: tȝLa4Bqѓ[ŽEFeL[7`ﯲՆ9ę^SYe5N\ KZt^3VLֈz6pqo7"gOJoq?VeGwi"dWC]'7њ2 5~DNKU .;ƔU|؜8b)/$&s u7@}YH|Ip:6>4^2^!06D$ 43X/Y_^Is2Yu\a})6.7i,ʊR7Bp|qB Y9vA rIn Z{dGգXeC8JWw݊t{˜J҉! E竚- Xn*i/&O.1mD1t:&~2MC*( Lqd3ߌZļ ^ɮBT&ы@|p&%Ѧ|> B_l[^ʶF cg\3S> +M>d^ЧOD7`m@/Pe\{`bwuj!EqV{~HtSET`x?:w1EΗ f2NU= (~c~eoW ^'i_tZXy3p*NZTϻuĬf+{KOTZ,"u2=nAzэ+{ekDx7딂V &]pL҆@:"{PĮW L{Q 0 O}@8j)(%\CoPXD}Z^* Hwac2ޮ㎌0=n(]1Vy>ϔրfo aL$oEԌMe/ DŲ.x܄ @(xkY,fIiI®G]ͨ4Z.iEV,B]f/c"\Xg)Jxj4|5:cdӝ2=9CX=t0Olyv'WJm 'M<=aRնn]dV*?!>Gbj;:;)ˋSEKj 'Ӷ.p$ E[1}":6E/,ob'.iV)2lB:w˙ਗPPz ^ZL 54&TqoӊDK؄`qeRGp~-s'vfxfpӑzjD2@st)X4~fA5*cnD_R/:sZ虆OĜ~YY"cYDɗo9ð%ӂݞ2:/}EUr=#`^ЀZel}&14?(;(Pe⹻Cǰs/1 ~ |PvRIw:;XYyWܨw~,Uc' Dì<[,IᦀZޫk;g=8T-w|sS紑AuU5 nޒ` qq!OwXۦ-ї,1:cwjpGVPK $|f65 $pca- wRS9>c3͙z$$=*09E+&nOszyѝY貀٩AY!1r\ "( oM%j Ke%0eV9rƍM=.Lx,Ob=I1UɑFvYzg6H/o 9}Y<¢zo^e?с-~@+B9sE-@O~Nlixvm|bd-ujq, R X[ak(1cY#ȠX@g%l+*Hp2B3֮{Ϛ{JJ#`q<*@ЂwNg)G=_MFDD=T.۞1Uz6}_TTY g=*/.TsG*?RsMX&!LTѺS&t!Q|_dxy<Α̙:윕?uѥK [dRhFOCe) Vj\2yz.rzdA8irD Ҧ#Qd l~a]`l AiS/S[l ƀHEm̟'wG'Dd{3)a'P\er"[S\$Q.Zʟ]7H@(qDz-Wy)&:CHtP~Q(X[:H}C"P.i<4|](Ho$H?8ʈ 9iVvެBubs&0r6S^36`q jScϔ=IwXrcKhnZgQEՂi鍧ND ̇#l~?,<"o`]nTm.ͮt&(|Ʌ%0VBʋ;Fv0=暄jAƦ@Yj/BvK.q*Klp7Sc ge(Pj/۳¤bÌC02p3O*#!`Y`g};jg咧tK\0 5Uڒׄu9K=ɂMwjѴ(N0‰Qڨn)a+џb'IƔg+fTimWp5o6Exg4%Sv%/M>j&xRiSCDȿs|H|Mpv$TCOϲe}x6Ц\Hb^fQSrfЃsLv،31`[pX0sqe{,o0ٜ>.*!xNSPtA}lGŅUqg, E{;~!wH_@ Cdr\AK65eQ읔:ċMB.jW:x\[ "rΈ3՟GV<vw]Y!F3ٛw]hoHkK[#ؠuy(Mn [1'cM2@yveF|&:ɭ ]3Ǥ@Ϧ7?q؝PIzs,wJ!YJ!9boR=“ͯw 32jqc2-кVWC@q*aһ(1/$d[s;Q#[ W684-s{l_'&573!Rn$WnIVP[w b+ި"Hu#0& PT,H6}HԖ9ZS+8dz>&m,ռz"9^U7hOlUUɁeQR >Np%)$/éNE*i7(}E>(^J[EgU-1JJ5N㔅No ӤXto$NI@pm`UְRR^:H3bRSIΗOY'n?ɼ8liS! rT`"}ș-2S XYYADhk/wK5OCC+m9~ T{Nb]H;m9{\? fŲ9]OHak6HfoP{NFOȊ+jS0ِKGxѺ(i| _ۯxbv8. =B05b<8~am9WnLJ|Ybt<ڛBHg.IU0ضa[~~ATNByeK^.-y_kWz1"GM&v9TM?YC.Fv?%Z|͞:9OS vgLKnNmV>h-&K8=i@Ɣ~vĺ4\6;]kH'4R!%AI8^dF*(ah}+X`[4]jB 5" 2 Y<,1#zNūd^ g1R2T{+Lj(N 2Ni(/Ȅz\uC2#\M< ~؇Wy7=Ã'> F`sH}WZ3fF=qFs1C(ҽ%m8}#؞Yo-c&,Nvv=JIGQ+*厘c݀L̊55[8XC}"f4bꙴ.Devycb|̌,f'O q [3},oV'7y<ȉpOdO](NLCKPUmRc q$MƲw`"g{!T8n^\3 pW~"O  po*L4)7F<@]) (KտN NJ֭,?Nx $~ѝ>(B0+ (^:`pڄ}* nU.gtFN~E?M ?ae 'aO|!G n:EZ p:5*Ig#ײt9'{vh5TV.3%lbo4$8Фu:ӛzSCY`@:jGzPQ缕+kn8(HщX))r.'sf@R+[8i˱RT< ЗI\=FT2LfIùӪPLl\$Q\$``}(y9-N@z,DZo K$%(L~831>Nط7h\$B r.[do-MFkBͥjKjF׈ID骸&I ʧ(guyi6  ׷xQT;(QNIprreHa& N_J͖$mLtķ>)4hcclOWF.;Ϭ9u[dz$o"jSNƩ/YjW6j"&=tUGYe)Zca04fp28s1#^,.% a*sBɲ7SXOJ & [P慒' .ҋ 2 aHglX %&r6yxpԏ2{MT$| DEx(&#(%OL8tbfZz@n;C9 -En%+D=!Gxٽ⯭ӿ2} 'LC)Cߣis) 8P  ʼbCqqKxR׆(ܠ wdžb7asF[¨IgABK y'f \%2DDxF? tϮyƲ|P+Һp3eà0mY qT9Y{5Ź3N!M=YN"sK:7}S4!6?UKl ~O'Y3-)?x/@Pԙ'!cg#cՄo%N}_/X eB•lFZ0ZDK^ȴǓY xXs@lQn$IrNg[V_)9L}xM,,ަv݈E,DCXR_@U8͇p2|Mqa`p]y" yh=) iX4 (Kk ,zb-X7u5ʲсM_W0bK084VPwkoWC =.5bм×}B(C'ð^'҇$U TN -onjw1wTlQ18X_ ܦp`ى42o[Nf!HC }Gez4M4 Lva*hv\. &=sdi[LOzY5F_+#q­hSF`hxk~~Ln+brc5qS >_,WaѪ\spY9WQ 1{[5qŴRɾc H[c&vᅮNr\0 XoP%yj^z.+/32RFl% l='VXgFB*eqGN{Ҁت`$LGM jZBP<ҐN lhz TLD(^vժ3"Q|tUi{}sRLt[F ~ẓQZd]qMmI8gOY} bA=`qH}I3Ra daY L,>*Iҋ 鋪G`E V7u<9᝕~W=7&z.=[!uoտ? nb I^N2 %9IT1,Fpϼ"$N,z]ؤ?F%>Ђ4[-KD|xReCS@SERD}[ep(EioHې$(q ;U]N ҎOu:V>T6cL' Ol<֙n^ʔW;P˴!.2WpS,"7ɼ'wyU/~(!lrĽ^QwwoQvumI$ߝ/-(~4I1`g+kg:T!3PJ<[*Е%Lñxg:֩umPwsɯPTDP=9'OQB'\7]Н>OM]"{'j8jR,g[M}8&ªp5uI뺤FGfԋJB=_G%#<>4yNm[$vEB&z>ȦL`Qp~ zX8 jTYavAOk'EDIu6aJR/G9[-Qe};su~BH+M -)n3ȅO~xRL)u "j9!3uE߂`K[|bnu⹪yѪߗlQqFuJ0ףBiPfN*_0Ϯdژfv3sWΜ5BUd@X,*+–-SRtZňz<)ҩatB ' %Dj&Dx"9鹵pk(SFWZ_$7k}Ʈ~,;X#ڃF^1mXдVnh^w}]S\+7 s˃nμ}DMH-ҥ[];>NFT˜) 8۽P͝:ABsϪ#e>``yC'z_B:^lErU Ȕ۴7;7)T}>eFP7cǬoSK۴>sЀ rL+DD:'"F\ dq ˆizM 10ya}яTu=iHcbGx33dž"VڤEV&/6^\)8O\/QJӻ ܳs-8a!t0]!ӧWKYѐ>$ O"u\s+ O韟1#hHuڰyܚS&dtxNDֵwN kYdF;1~"ON/N׬PǠAf ػkZqu`Xߡ1.)iED]^GM gξcx'oIWk2A4%¶1DSvE3$ ~]`H"C(Qvpu`O vbθlz͎bBp/TV R{縹RjjŬE]jx'unȟ[$!EU`wB a^;1}]cXWiR 1D _@ C>sc(uvև;Bq/NՉ\[+}|wZ90kt1L0$_bGLY;W,.cW.tVY{#)҄Kc';[EYOqzw>eߘI#cHO(ΩtKj֛TC-Rb U= nP=vrdJ{YҎpq' [@oΤ ^h+M}_҄X`0<@o5RNPKGBvG| Kސz}weuR\hVҗc.M˞IkzHr< h% gUfxpQNO|@y^yr 4;@2\ЫF,(xwW}(Z>UP;bLTP;ZaX;)_WCoPn"Ghjdh"OĎW=ga,NT 7o,n4ǧL Js݌2%*CCS=.i"!p'EkWQ/$lhM6Iɗ$ Ja>eEd`މB@\h(]14X;#_ a[)긷RwM5 Dz_^|B:!UHԑ ժ \6L]mQy~}y~aC!;3zD]1P!leE;i$ uWP9Mp_BX}0)͕ђka2ВeURyx >䂏Zz)ADqAL/`|6dtkC.4.Wyk (<`Ln_#k^jz˖? d>p)36I 2צ>]Eиm00F6 K&=mDn41U %G-黪L6)'l ZU>zݢ璡~HaX.+mG"SXf]|ϫ]WzpO"b3VcGE =1pq[,X1mkPSduhDMpt& UK4]`vŎ. 2]W9U" YsZp5[`C&ՄR4ۧJ;U#hO0,C !]k;9IyY산w8dU֙ڴj,RB -UtcgOͦ*ʂ`S=\—QbGԻU2ʾ,Wc"fB=+3k glH;6Mѝ{#!(Ҭ0m@Y~Y㗇@ʢFf`:j/0vs+"}VkReVD# H8LoFiϚFDT'ݽ/ݣv&6R (Zlk*~xJSLC^>ֳs>i@i:N% KRs_B<8%4]7q_`::|#kMa. ]P;=ʏ"=>Hؿ n˦j*sHh쟰ekXK:&,1Og̤dcby'Bp&CfQhK9RJ_*Dz#G38.?I058P/nпa1x)Lp? x:CbCp:sTAγWk1"葊nqe,@TՊcXއȕCy =%\L]nAaa#*蜊}B׹C3CH:Âq^EDXdK #lEHzEVl؂;G)k(XDz?irtXIw̜W~ |ua.yP}@龜sEᇅ.M 5aBٝ+ a`5\zWo8@!du_b'=dֱk ct?hQθ$c$hap4Iwx%<sgY_1;t^/2H c5D]$Ւ{@l(Ӈjb{] 6tn̗CD0tǽ8X 0DZ-qq6 "i~$)ۢQ#B] PshM4/괵M9g(F0 ,^YhݟwL+,zs3/ӅC| ;!JC'/_ va1WA!cV=/*ߵ$b GyBeqWl*$9~flGCwgCp<٘̄1XH#dO9xDdumHv!*el(J\ɪ&ԭ_mƝ# )8%oS2jl|og@-+EzL ^!Yўy}̉ua!6VV)WAytN?%ї08 atC>Se([pWv3eƾޙK^&XiKv>cR.OE$a 4D\3o\5Hp9s|KC.y>Fs ; ۵*<ӰS7wDJ:jг6a4I+&:.'a|wPR98Sm-_3bjU2)P0l2; Zx Th)'t9mn4DhѲ+W5']iCa<=#qVM9UtGE@믰esEљwLi&Y7ʰ7A4ޓ?Fy}`ѷ9%vaI7Ѕ;w?82΁NIVKI l&$NǚOrVH\3[`}n³"L(;M7ϴ9xREV1 ΰY;~A 'oo_3X zq!6mCS2͏c N-mL>!IԠG6a6&2I)Ғgs+0_̰L\#ahX٥y.Q|u"<\qTuٻ^!F;<$q,fZ*Ի^ yhs3bJ™?n/iU3p4̀-/ȳv YĹ͐9('nҶ RX7۞oT`Lk=6崸#6²ݝIIL6ŭ۱J`F SAV8yCJ1LV ~ su!vjs&!yDV3²Vn G၂}$ᗋ- XS0'2=mk< a =b?K +Dع"TN{Ȗ7Ӈ xK`^:I6MAMHV̷1w`o N,f26"2WOм81$_l|HxC- pq6s}uO1#?_0!ajKd;35V oGb[LZ _|tZ<~̳_CYk.K/*"(i7J5caZ-ZB% z T-Ke@a^1 ;2k$j :6NB^WcP2&P*Gh,DN?<(9O/3fE#wӝ}/Lwuh'8] La)Xb]"k}=?0Dɍ̱vG|t%Ak_Mp8 u6u2F=|ov^sqZlUDtqìNn'^iMۍJ[]&Yb]crKy[U`Cd;}U?Qt(j7ܦ>~4{FO$+*@W5v*(M\OFmГ#TfK2)s[oNxu :RJ9 PXz%b,͆pN38>tsLȀ>|^ !oԊߵ\6cޅ@INVN3 oۋE Hfo_}Mm|yZ*<]UH5m3{d0,R)~P\$N zÛY$S7mo {6 b~}v8ZCJI6Pm.ְ3%q<τ`*oIHf,$ ~HSS7%:@}f`[7 0L }$tvC 6b,f?0i|oVI<ijz9F-mdjZPe 7<4+g#]47Yp&r=\Ҫ ҹ4yZwx:?:Y;p6 +AѧQ?:&϶D/gm Y/'Mt'퐉^wRgMPu~ 'kc5&1]J\H+-]aѱ}z%K(3uNtU4+Aq1nv<9&}gX$Ml݌q? Q^Ѽ^AṯBknN*+mN#Ѵe d тm2zs/1*Pb QKMB Mg08"Q (|}WlnZ4!!g h/M B)mYG\A:>yBAmh8CKrnB H BRd*~?~Z* 2#PdC b4K݉Hu;*]Ykmi] =8WL"Ik2GbjyLuᶍgdXF9#UzJ~ 3((ލQFAlYU7OM!wA'v. w.-y {NW#V^o$_ ,D??4|ۧ!kK;Fw5}6!noڼՃI~HK_,SM/l dگŰLF[sOjX@(F :3S>GzCM4Yj #*pXy}˽kZu"W+}fp`9TFN*̀d^[GBuyQ-Drn"&^(o5nW_Xl㰮~۾!w)Jt/UUOɱK :#-d FNQ&85Um_ma%bF%2 L]s 2'5LUg:!I9ft$*5W# lByfxT߽u%ȖY9 Gyǡɣ:M[gKIq]M m|?vDџ2%gh;_lwtft?g/yb,I|v EPT)B'(?u8kꊩ2\&-^<0/={{,aih Zpsm 56}Y tOM=W*i-XIĺ:QSYqr.2(XQ0s{7V~' #zBK9S5kWˤ_ms&y$C&7ȳ'\2}*gȨ LԺ&_dwj7@\MsZbVqGSؐvgy7$̒$-K;t 5RRHגF0 փhmUbu6!3QA!X~jn6F8$WO 3pQVy-FәB]DVEtL^(~VY[3H{&b^`YȜJ|&u&g=@R}op˘ fā=pMfcLϗ;g/ %;y:GӒ@z$V&I2lLn$NC{nԊq #[aW;p5)T,Iyn=*"DF7gbv_qs8,D#*5ZIffn~EӅ%k^ӒQ@=_CnSb:T&2Zk(~ BQ PA0rW[ҊɱtYaP# cxbeQnK=ҩk M]> {ax'daqp}_z %Ņp>0C>41n_ 5,Z3Q+:JV reH.UvLÀ̀ puDoCgdLAmT @*Zˇ([y13M<|1Xtt[)uĖjMU6(Qe8\3#Ы6sj:W} t}`qhh]9?(JsWؿ}%\M6l! "D3^lxLR&ARTd3^xIܙgL@mȭu~¥ y? 5[t!Ztke?V~@eh\'M٬\H.wpit ROٓx?M\fpWgPY96?N:vYz`< JС-ЂO71z/;#.o%fH՚qhIÄc lNN$jv`UФU6:`"W_nEP'8NBߙ#šc2Ӗ%3DSqǙQN9s3@sZ$bpUdVo,-xN.V2|N'YʟkU|d&䐭mG5^v_hHL3P᪴]=HUJݭ{<|Og7!hG@>dz-$+❹JQtV/(mEa=#x!tQYj`G׸<, R+PS ]@eUsr.u:3‚x[5xIXzc3%EX4IRDCF)WA?-Xʃuhc"cSoIi!ب8nrY"uĹu-w9a'S6E@` ؚʗכvn ,')d?kx7ICʉ(bA2RA5@CheR7Q8t\ C`>װڼ;\Qszi0yd$`Ij/%s>,Ш-o9sv}操*(ή_PEEolQQ3:̂yǘc2$vhnl` -eiB2`cԁ %CdGHߧ6`Ӆ294G粬"PE/ V|da;+hH0<ҹ;Y);N\8 ubxd m@$/(~=U*,~*jWl,)i(EDjγSph[+o}c hƸ튔R( @)̔3A UJhgmuF;TrBtMk"U^pjeK*Ox&߭r,Hن̮pðCHa45V?T3)PaP`)4qZg kMV<} ܨOC+A#uCwFFLd[Cf(a)FjY1kULiuJk&`bu7Y)QX.8#HK;#Oo=fg;5}tQ`W%#LNÀڧE7f^03ג! @)Gqyx}NۨPkdV(m R믲yg71eT/IK@MZkN{AXo'~TtrE!+ `+2'2\P@0p0ip&P%9=AYUAskw@^#(  $&欤RW"GoIn9([y) I(-=|?0 Lr.oĦ?0뉋%x$qyt}"t2疑3asm M`IuScCuAW^ Ila5\132} ~})|nߖԕ$K%qCI^b#s/<{q<+:@oGS8ba Mܨ@deۖK򶆣 N dC+jң`*0'|\x{qƻLH+LM"C{#wr]!u74Lqo\XKI#s'Ps0P;X0>)KƨfxJ۟9/ W룠 X ұAH -B>>|'-05bb:!>_?)?s-^Me!zP BbtZc"‘ ~Z)i!ݹ"S>j"Pc7z(ƑnN*]v23̺tFkw(7s5?w8p 2TS߂!h. š[@U/U'nJ؛b/м6&!6eb/wZK^$aφ-'zfp 3ҵ܍G$b㑟.K:(}2ßg|+7!g|ebU:kݱqOK deX{>W!T.^vrv6^%8=zay2 Fͣ_}O| \S6%^8 %0f~",64? U鼷x#_~z#7r9 {v xR2RӨ=w0'. ,2Ut/,]kq5U+B$,Iq1AX-8a/UӰ#@@Fܠ-ʳG2[Zˢq7kC[1hBIu\o~".`fi<{9ϫpw l_XjX]Nz ~|\JeLN#x(ʳ3jgx-]LϕRՈ\|"mAڤXbgYZ@@Nc"LxCMqȀR+-?8V)0^.U8PfWx^&Pw2Ut{+B]v߆m?زĊY?ș$z(7դRiSZ^! >"4KN``Gcϖm~ z~>H^pmHqY=[V6K%.‘>;8,D0L|>l9.0)pJ B}v8|  ҚBMfubgN16MmBTn;;i?\ 7%XBK: CY,y5 IW9hM̘OsX(ͱ/kj4[*-07E;j> IJH4/¯2QcYdCae&E-*#˾5.MIYAZ@$ j5S/&HՕ_F@d HL-Â1no|.Ͻ2D{&l׷Y]1ӽ0AG<롏s$j V|Λ-xoұh $qI.b p䩂'ͅomLm !zz1 (i݉ ^]@WPדΦEk}j'28n{}6P5碘F{63 -|-6 wi- BT_Y@\ٽykONXF ͛l~_/*`P.rƘz⅃@s`hv؁U@%n޲@x 6ٖ2Fٞ(j4;UEAܠπkZϟs| Vl8}Z }=G.j'b"-\zdsB;QI3jHJ kkjґs)l4zض<*zJҡW\̺M|3+Sz:@S8{B:Jb@ᘯ_PV}t;띁6q:ZIҒP s2[t"l7yA$,dkjwBx &JZ#ܲ ~v`ꎗ]|xpRx;nOh&2ZQB$K#. W,>;y1JC:pB;Nvi]qLÁsX+uw 2*sdhK a}9YK~)z-LK=lj׋V%7(; gJ45Fj 0iYb2s| g!7EL|3gQ=PkL9R-,OiBbEˆ̼e{XӊGiTAL`LNܠ<_Z\F]":&(|<F WfrBuHi ?{jd-úb4~[[z\1[2Cj6n]lMw>9\Gu;(йgRn@b_Rxꐖ<=plkṆTN||K'BE'⺟ǰKGJ[)n bZQ PF4̻Pi^l;*=(ŏe7U+Pf?ޮ4?y>ͱZh2yا8nOV1f߁?nj B': o! #@|1/)^,.xAdB;8ئ⿒z2µOp !R x\ԯ;lTyR΋1l^Z Y-\vx;#g<&#O骟Mix8q]:'./h&7L~nґ/]58Y8E9LÀ |_zB' 5\=gueT9g+щwz/| Oj(@ߠvA=#B#([Ta,A/E6ͧ:&gi}z&UbT\5s5tV *GG"iiZx w@Y<ۻ5zo#RF{-'tWoMx}:~:wjqXlԀ/($|j̏#:l⩳t;v{g-?:x)I$[;`]xЇjUn;e?1+8CCrjMYd1?1ZO;+x_n[e,vS"@)x{~',^)oa$^|2W: W̽'NڱG*c.Q,B%0| ktfu=`$h*@W1RKt0QE4 ŝl7<cU$}Oӄ >E_TѷgDX C򰏅ލ ۭ!Fr'|&l:Iȝ\=H#`y@&~B~: H=AͣD·?͉+ٕr$bbyF2@ m0zZMBcrœ!u5 jW@Pq>ďsO@jaQWXߏ Ju: 'A -!BA|^!3pB]4^~}\faxd5~ch;u{wیR:[HיWJ<Gԃۉ\MW)__֎Wz~Эت|us A> c݇{rC.dNH}ހI VLeA(h 㗹Jݨ/[_^@|9X|?cʹ-o3Gq>:r-ވ62gȴZ!"UZXJ-s4pՖ5Ȣv:;;Cɻf]\8/3).Wv5(mT]q VP =` TZYe]9 a-O՟u+}[5u+-ȏ4csaU^MDDiRuh,~V >:V8<3΂K+8CAV?i˼Ժ,\[9T$Nrgu.1dM ߷% bZZ *N-3D2"9Gh2(K\vׅTj% Ѱ]šm/ij}R`IJ"W~ɎwJĿp5.ԝ mĉ_PB{$htm}ʟ3v3TU&hahrkbH߽(?cWqȒ\AܞkWk6ɋmmx =g-ge 795jy'-Ofݷ] +q(eqF?&zV?\k{3CM2`%g]#_/$O8 +B,#K.-03:9ӻwĮRY xEx{C Kw'k8vKy˵#wkMa}w!|-g b01ڽ}?@.YJ躛:NF5ppPDxAm5mN\PqljP?yٌ[cX")ȡ6L󃿟 K:h(b PMv05 \_bd&xn0d첩DSePW 38#\J T&_DK,4~u,ljDCť v#w".h3mhd%~v=6O*pl=$^U"Gr|1Б>lLOZV~NeI~ |,}WPpd~~d?5ºgY.H}>lF#4Ї,X&^[Div(N 𔧅[I?'Ue>uBK|iLvbY;UsPIy4*LpjW;uZhQ*yH=4X$y 7 ,9 'Lp:;KմL#0Zsj"av%<0cNESi(3Ɵn7zPSc@d=Mԧn\/=F[VSũƙ ..;n{pO6HRtepJ@Z%4ˠxykP}5^ Q#1% +vG |.~Ӕs-iG s(g}R>3FmaXki99ޠ2'RWIм43nE dq .qtL}΃TjՊ2eFQ݄y#|P`'?2 ,lo&iɭQgO[ # 6VnZot5AB&~]F%u PNRWS2=10\Z8o$X"CJ$KA1$]Pe8v-v"߉1PjƯ8L*"V[9SϷ02j3bf| ՟`JVۯ FdjkqSDZsr3)0MLE+0J]Q<-+ﶂ-`_Y#a1x$ eJC2< H#Z+-@/Q^:AJM/{7)'<77!7',<ױ̇@( AZ{ D8AlEka igZ:ܞiI oŻGW|<ﲃ$#Y"z./#.h\PU ' >T;1aN(*>3c\K_ a3*I,+Û=;y`Y*PYC_&C+nM;<+Y+  M2m1Lq܍<{\\0R p FMJrOφ6Ĵ77"龘N}CM$M 5<U)2{EtYewNx)WffL/Hq8,$:mAzJDPE?,&C;pR7'ϰ%M@fu,>oSYxoU\[)4uZ/՝սx13ϸ0}Xv3CcW/ķ (vEmpO]?0*#ԇl^#zPvt[:=p"d]]ji^r޵2lr3ϩC?vFtт \g M,˟͢ n!n|IAsU켞l}!v+q DWHz?{%'~e>Ay(ݎXK%u@_3eb1A=񦁤6^ ,o>ڨ'dEΏA7E+z Eb_rqj[gQSgrKřݤ f_WpX ĸ[ +:#c=8=oyTR8@><'Iae| $A w;ⲃmxՋ,l`pzS)RrEn87KF'A!i9⩴ySヵ>.OWl#ъk kv1;JK :bB"Ǡ>kN<$]m:ks5ID^& jg#jպDsxHfE587gZ`6RUbd" eN0m©N# ͗ȿ[^J˙l~g c8 .F晿WY\)W+q52 bN,Zu:=^N G?;zL#: {߁&7K*w/|*'o tᯣЅ*|tG{u;e:NkRY@H)Foկyk ݈Gu( f5c=NhȀoIJHn/c_>i õu7xof*2Q̇),lSZWC@kN^8=?=iꡔ! ~Mhk7yZIʵ# 'fKԩ ",c1:}'{ Kcfup $Gj[GmzbCۙ/4ӃBCҽ-'"Z픙sYƢ޹&3d* L}}P -r:̛<֧TRgm=.9BL8]nS\9(]ņ"mw_,M.-BgPzU8u  #)GqCsRU4F"֙3.·L\<Ҳ:=.ts&֠lx/](0dQ ;=4$ԗFt>6qίfWzYגتBĴ䢽=f*P9#;iKW+\ISg17m/աWFΣJ&lܽ|_J[tﱏ^[ƂVz}Kilr1ޖo8 fLz nR 2o(`I0#Z9~RVn}AV󶡶sm8Šɛaͅvs#c#p霚oBM26=S3vI@ [ua NPòa( 7!RvF,"><_EnH5Oa0<0}ʒur7+G`J'hOY+Х"iL=`T lp獃z*Zvͬ+w(\! ;F` FkSeRT`.c8?ސWEZ{6U BE%LHhDA9gSԁk>gG̳^w!; ڶ^?>63#++VlKPf׹S0(FxwƐ|Is5qL8cewYAO`PϜo_faʻ-2jn4P(N±}HdvNǰ| imϓeon>Ŝgl6XG|޾qa5ݯt/KZ>^:x7/I<9978DP0 FT0W5 $ixTF돖[&;\?V'JLY@űg1lց^*yRń{ ͸5IyzLdi׋P%.R,diǸ ^iE!3-˔|▞Quբͭ:/kZIA|Nvd%eB͏֤@dL0A &O+MI b8!ԯ㊆#n?=F]$OέT=1#˰˓ocebuSXi⒲VJ'1f`;:P MvT+~Pw3\c"F|Yj8 f VmADF%b3 h:к5$E3-T:{)5NEbKtO.bO"{ 50&hj5˽XGb2`AQ%1\#Cl+$_ ;G؊"$y4,;@◨ުdmQ 7=Pd#@{}DŽ{>ownE):\4 )p5pÌ( ~Oʤ\DDaȓq|Zrcݱ,b]_Z_աI,ire #?ڑDŽ-@Gvڳ2 gaqEx2| Pw~ `5QMp^7ir` M0S21mZf=Y;>3DG׶x*NQU(*#s A`@?e3x?YNa Jx'6M)Dp %Z(ӻHKN:B4r?eZ[(29/Ѣ*m N/j_,p[$rG?Nsqڵ19vsTu]_?l:42;̃"A:e=""p3"ր%>l{f$Cָ*v VLBɩ[م:Zvž9F3sz|{'nSNlo)a[zḐ[zZYڔ#{x\l!p\x۬.)OUy-.Z}g2RC5N+B7n GUB5L,ȌЬ*6Ik Aj 4v fxVKE'f%T1MLbLCF suk\ĸ.d4 ӖSV G1NsK okcIZפIf'7G|V~,5U"t7=Ϸ#n>bj!MkHGqD-W4b V9mRq%:>$^,ܙ,*4oLC>j<8pH{FnV|!n$a??G]\Q-6j5,IVGTe>3c#L`\޻V1v~?#|{ ?;=)ؖmU{igN4sdSK[ q qyi%ܜ*AӱA[֜f9n4>L{mK|PܢƩn}qcRUMYK'.6z5<(3X?.xY5Em!K U;0:airoM5JZ90]eͻӔRF?ܹh]'NS.6qi膍 fP"ӼTgA#FߛFˎ]aNsեdUΛ^ajNYpl3*zxXA(uժR*,;IȎX`IUIZ{/%sNi%fj*! D>"2ѹ,NW߰"hKb2+.Аxc!MN!hHp]^k՛FW>TGkQUeХvp ;2xsS(V$Uo[,}0hwIMU!SI*jn>[ȶtJx긓[gY%d(~F΋Ђ5ϔ,Kg|&r+r\6y1 *ɩΎЪWLp !d_vz. AOSd:pի`[*uV,"Ac95Ld[6Z"},bn(+]v`?oOzl a[ׇgo^ RS|ЧoWdoϳl+h] GV\+0'b- s2jR @[}y^LSCFOnx8JhIPm~YXgSeimS vNJ\|g[=>EЖv:5ݜlgD!מvdvI+_b( D$k]A\}|u~D;֘P uqI/zH!]?7( # ʲ֯Ԫ j" cWA~YłSOU95BS7T/@R8>pnTJ`p-NyR?slȍb$TFÎPrb.)w+DVnS&y]FD ~eB kQd: G;!aeaVבMQYvf*=vS(.0Zb<Ͽ@h>q_U.*> P8cȳ?Ս=ʂf`J"6aB0nq|lmHJflLA_I1 !?/EN*ߥ-0#8[Ҷ5Ҳ09|'rly0O;a0!ew,v_C3Ww3@0Mq}%plM_FPߪ>,U,>%$%|З0edJy $\AdM \&l]:& 87R;a0 l9`SFꓴF+a摓GrL9'޼Z]uMQ| cP^P :\͖_^?5MPBr$.gTG񿖜oߖkd~P0]{e2B .LM+>*j[ӌߧŒ֠@OmzcIjyiWroo8pGd|Q`eNCJYDž_nzQI4EwjoS3'E;d:B<5fzGr$]>1}S@i^`qD/ʕ}XmYWI Cڊ(6HR"ΆT’Q!֧mԵB= oIa,%7{_Dn~$Đ+17Iwo"*..f{hq˽6:[<3 >#y]scw'BBیpN6At<$d¤ɻe8c< eX{ "?.%FҪ[b*U Cxu[%g]PqI_ to֎a7*F&%͎uGaM\d.Κ%~f. ^O boNtibB{v6ZOi * \0f%w))tW{b#<1Uu i."cG2F xt-8;-R5: D0E(+4\m\OѡsluJֱsZ~Nmo/9gYma;LwBP{~v_[F ޻Vyīׁ%} 6Df 0$՝X) g;V$^EA8T(=+eSsWN'[o&ßV2*'?5G|<~svan ,I)_cƟ+"oá~Yrѭ7 \;pj郥JuLKb̑[Zzot*nvȞfta_=ՋB]}v3;x.QΜp9>[g$Qo)xq3KuP=_e?ͱj7nCAr#(̪c]YlX`~Jx`_' A  3  5M% Modal_Logics_for_NTSHOL-Cardinals.Ordinal_Arithmeticdocument.tex7zXZִF! Qs]A-MՋhvG"uIBm5Ńu Ys5aC L>*(x{,&8-6) ēmfXz;$X[n!XN00cX |:Gs*qΞ+N'Onk)(H礦˖3E.֚ =x4530m@8 @~c~!-hC>JJ5E;SXMN `: dRzRח6;AiU>4f㚸nH7IQu1E wD.Z>~pc$:Z/8'.-OP;6.iOQ'h-8e| ?`b(W:6_4F`?['5iFVy {KQ.CZqd #r@gYpi-%A ۮ K!6Pݬݠ¥x9'R'. |6Ž?q7 勫Eb8IB BlY$)v+/;g%A)Ǿs 䴏Lϋ":[;F,L{9L`^rBmS,EZ5N<[$0P^| BA .D~B^0mHLn.7Gʾ3"ŬGOrObi[xp6ۮ#dA#5"Dz"lEZ+j\$pqp%ь| PEM=1ֆLkci28֊y0y1 5E% dModal_Logics_for_NTSModal_Logics_for_NTS.Formuladocument.tex7zXZִF! RV+]A-MՋhvG"uIBm5nMJҳΠYVvV.ճA(܇έP'f-1Bn dH4zQކK\ yXD2u wA(XU:9s{XgGKC|WcCS:Ȗ8vǛg5xHM#o"(%Dփs;3fd!br_x"D m޸& GKIӀr'h&>O%Yv=Z!q\[#E_VFϓJo-|Ms-.wӋ GZgEl$}m F ?A?*WZpLbf0>򓢀eVk^\A`Iwb( ٌ =r!$S5lF#ZiZ_$.[L*G"A0*ɮM\mG1\o SywGE2q!Wt e慻C@Y\[`%mi9L\$=W3^t6lnbZl,/Cm P+{R^ި [pjd/ʇuR=^Obhz&J3]vIHJ[E'ΔYӽp}eo ($q/G;lK= 4.r,YEo6δtG[ bʳ=8XA? m>Sg0nz!>vĹx #p Gh6x,dM ;R!l]{Rjpq=35"%A ;O5sXzrH_:=6hrڎ#ssS4\pPi'CN k}-uL/CjbZ>c3$:IϪbr'I1ϾkIJzPԔsNmU`hAY9L16gͱcKүtO*$D_S"gH]AxrfyKWJ'CC8vIp)$1fɵHW)g{Q6DZC0ϒxcf c='ynaa|@̧zYf+9X 5|'rID[s_2s4ռ_I뤡[XƊPcڰfw>]W!Bb]#cX1@%:mUjOf J"K9uhep^5KQ>4Gi)n()>FM\ȅp hSlS \|s N\HzUJlIc}V5,j/*zk]0\ϦwG6 wCRP ԕE\UlSXIetx0+mؙvJ$7T &V84lկ{=23LVhs yPg׌$_ ߾ts)gg͠W5-KI$km5yI1SsyHěll(|:|c!C5zfo< a:1m~H<&zY0p<@tW2X_wQ):Ǻu! B\i7kƮ CQ?\aV.{†?SƐG0"fdosdz3UDu+? KrYD\o+;q|4/-@WHuK5Pg:_qU/<~-B$^L69-Xjr@\%qSo/_W||qS:K3Ot1$@A|q2rw-{3yof <PA_yXwK M>}d [ s']2U䰱rf*a ͼާ5D GV1iXEkgy8:?9!Qn`}XbivS }V:TEꃤx jS^TW% (o=["0$idKɄKZV}0ڠ^ yI`3FtΙ|MnP4pJĬ:kǻ)*'uζңNHQJD0bC14 k@T ۅ0r4LG V .Ww]0~Zz,LɌP(4;/醄rj`aBg?EY '8Zq>ޮtq1W"12R5$^ :*ee, ߂]ac'>-e7v?Jσms9$ ~mNRcuҚF"zóuI;Q >̚y8#Z5Szօ΋5妋4g+ "+ SG Ȇ5LoM}B`(t9~:dhVkz*a5?!;;:̗ CAТ:,lY,* S-K*Asbe OL}{=VIז!&+).S_+A2M[vsp${fb1 2D>b1ڵ-y[#'hxw=+e &YaR4a ⬪\`0b*dGњ#0~i )jp P+NbTNi$` wMEh `A3(AQGhZ#`: wT➜%sUl 8`y N/sB C܅Թiee3wOꎌ}ly(8:q> ?;sWdA #/ؾ)Ǣ'utpݙ5;pt#0}Ə%}GeI_"'߽VGڣUcoNdE|(`# ^_>=,1'3]jP@D!B[Qi/"d> uP#`k_ Nx@@pC?$KBD0u-&ENz Ah=<+P#f*SN\Xñq6 w?GXȓgqF0y$ȷ_jQT/YN5Xj m òoW׋hkJ0LI u@*hURu:El8MfoS)H߈u hXݪu*e2%'McpcZp RmNa(/c,cG ,^Z9-ipGzNH2[w7ڼݝnܩy=m"w;d7q{Rs=/J `s|7h 5w^{?Z(6RܒDz}XUt>JE"{E!tMFM Q$mFyŏGq~l I/8` MmiE@5‡׃K&+)\Z`aO0/5@R` V窦B^?jAډ/ْtji@YXٳ= 3"TZso1.x5$uM{BI5, i\d>؝ZAUmBs #$I}^tUU MT6߬ %FQ1ZiBeGpV%#q[vC\ĭ°ݱOßVAAٜ")_`a jmWV{. iOJf,$`:u1BP<C꽺g[fĠSo!fkjʦ=6xj3FGrI7W7Tu]'pe'^8#j1'Z R'^h iV`Xf?kGVcb^nF >7N|IM ؄ô`vX7@UN3w$5t8OAw3~kJZ5ۨ7s]Z l͎gPd%]_2Jb-/YN-q_韮@:N!dAB#tkʋ?ģ.{4͈3/Fߑoxa@}~jX`oY4jIv̭OYGc aC 8qP}Qq"7p]6^O#5OG{@2 e S;7yW)xL{7sJ}qcf iX,/V~,^,1!9);DF<,=JG4LL>xB 9rb+Y\gy1 #fMZGSJIFSwb5Zөtto>|,)Wق{k=UdžOpqbt]8=b!:e\q׃u f:ռr{wPؚV+xH?4Nj\I,Pa͹ISt7hΫrg'pS1\= s{Eb$P>iа,G%iUDCh=Mj7΄NS6'! %*]Dy),FfV, jknnAD1Z𮷥_Y"cr%5_ 67ɨAkkXw5ja C"49‚=EZJ`] po- ψ b RCD hmL4b42IrjX02BiQ@ Q3HXz]BHijݕajIA!Mc'/xG| Gn1_*;aFLn̄zgp9(6h6z<֐g*T԰r]^#N@k<:Sv?v¢j-SmUt`A;VPD{jvB #g(u4+ࠡG$̾Nr0 Ck8*!5iE-%nc`>uAW;*` {|G&{fg_nMGU'K TK}\:m]>>$pa]R4tfU X 6>jGVؚmr4S'Ҷ6kI8vtĹΙmD6n:"dN! gmpCfIM"VyG3<\_5dmjjT"@M0*Rl4A:iUvzM :8tܯ+D`гp;aUa١K˥$]uLOuٳ/4?L(zJ@IR r|=t̆ ڮďt!/}NS~G܂9nsr,m@to~xURl5ۖ@_*PV`jc뇠lmQ#gX*:|‘c!tXP_L~R͇jH-C&p3㍻M2q_s¾iKܞߔE^ e/ /4.b kLeڧTlNv7ujp|4yټN\b0_:^q$ nU}*v3%M}*zt4gJEܖȟu<ٗ9p@6~Kog,k'PsrC>İHjUdFa(n3:Vl2D)h B'^A0lls\YPqyh9ʵj{EB#d$!nZr%0n f@N4;¾t.aWh?Bt䎫'f=-jtAD%Q1}-H/녒 ( Q`EMZpUDj/ TX,FUoz; Iͼ1D b`k }n<4mKeYc h^s˲fady2o7uT늮 /^3bK+@Gbĥ*A%rx~O(3K/wj__39}^8c8Fk&c–m} Jb<nUɕ!Q׈tjn U5cBNCpudR\疦}CUdW$ʕD} ܳ7\7l"}p6GK^œ :MvzX??IՁBxg$"ߕd `_lG>'pd+* Nyo|L-SM |"FL")Q B>L5iR1E4'Ui֙3{PrgBwχhf 4ݼJO 2"҄ %Wx2@,mz/[Oۭ)vS~Ӕ$]S};1Py- _K\MU@ycejɴ*3fvR"ܱhl0eNbIN]_-V&l;͜ dP8Se-h#t;u8D5٪X5+r?+&y ʃE*p.'G^x?=-F 6޳Ԇ>BG˲+ծ_vR%?VcȠր8nJi=M nѹLa{5 ~JP V̝B6}3F{2̗0n#)&E7 }{͢I ySiBÔϰVsF6Ӱ1 `Rʿ# Rƙ$ߺ*>lu?uD[N?dB xL|&c-*܏]M  k6 B~g l2\vn !UthJ(vAr#>i#r.3 P/h  ).UZCM&N]u 9O'ԞV{{ ]B6$RĂp8=槢!`aMCǍ޶c;)).Am?)OV [&k!k&?#L53rvgZIuSJ΁. gbhK^ оn8?rs1ۻ{/02%ݵƤ:+Bl}X#Wb&$X~kJx) e NS~r;QU#̧Tv%rԽjlWֻ `Hx˩)'otj2kot_IH:w{Ydгwe^{AV *zo01 d<1βt*]Xpwi%ekAnh[ #O&+v ]4vc7ެQěX{הw뎮s:gR R4,Ӫ fp^UFz8,|8. o")خ4D }m7@: |-^^ho15Ga%]d[ q ??<Ơ/嵑g%fQo gI;2!J )(h>et#‹91Bu=lSl!@9<9qI'X6#.t%,F4;+SKoX^~6 BB4W-0lMKEBvd4*.^yO5{%uSv#?_^uhԖʭ,w` VNusyUŃ2 <ZN[~ `G492gdPWĶ32^lHrH6>3TeP$l({x%>Ӡt%+3mj釔^z !K?)jyƎ%D{.># *<7ǺYQaEЈ9˟]!y3e{$O&z0fҎ2DܞaƒP΅Ȕ3abSB@e 6LbE=VMȃ֢Y#Jw IITrzQ5 Pu2SN~Y~FM?V;֟ڤ:kR a٣MH0[QQ Vv\`}WP t+Cl@wTä?7aé28tH`B2/@䗦660gM.2ls͕_Q'cز|s'eV"%VWΣBUR4l}? >Ė~( Ǟ'AkϷhxt}qjdd]=Gtmڭ,ұ%5TLj:I;L6U)*we'# l+-rlw4sOȚ 1 ܳ =7exF1N~[>l!2 Θgvȭ^=,Wʄn[S-pn٨۪$]pq cCs<) ܖ`ܔs $sA1bHN# =#PV ˄Ҕ1֔hRo;FL~v^yM`4I]׋U) g v8+`;F Hzb47}?jr&.ǣT>` "qBk:Rji_b٘ev]V EHꚚѼXL&'MkUMÀ>lwN[g+x6D`u,d'Z0fhB5ͫf6r%KTK_XWh🽍Z):%ZgS۷r~gA]]rll|8Mx1IR*<l{yg+^<5QkCZCPHv 6`A?U)$'>p-CͥIA$B 5k~OϢ/B c/ؼ^~, [},z KG2kLE<.dp+D]#R⠯5~DztYw6a|_P6%dv "k0 Ɂ84ҖjPDžM.eb#>d<}Of@> (RȀ^֧ڱ#|KwF q]{s';]D߮y $CJWVhZLJ3-O4Gly;h6LrS_T*괂mCtD\4b&_!#[w7}lUv"_~ax]P|JV}Bȝzʥ%?&:FH]91NmĸH+_Az1~unUc:pڄtk/T8ۂd&/ʆ6EsIr&`yԽF@!p}J$߅+7@kˤ~|>!ܔBgw8wT[=òd0s8w=cљ>s+Y NkL)Te J9EVxL *jVsq<ɢD\tVt݄i⢁c6gr'Q}y +'&H̭`un2녽؟$H_?"R?n4 D߂͟PsPz p*۴b8y|LdA;l$ S 8|aV3nSU/8[SV_v:7_ڟfj3‘5-!~G'%]oW:^'IaB6|1ftq|ʻo /q\.W ku~ 4 61_s1NreG}͆f/x}j[蝛eȰ XFhH~.Xͷ6M/~yAKHJ;j=Z#(hkU +uEK3DE>\rBXK^CnQdV@,۪ T,|D*,V>ѳt*׬T6(l6i4Fm~s61O?=,9RO V:qmbƈ,Y5`ƒ!'>ӬCPFϵmAK;Dk81ԀblhPR6:eDui ;\/B&< )R Vg;.ˁAc׌f?N*b-#dzHV5 WAC5m7En=[=0hDNqBm8Z隐F -ߎ#q.dExWٽr0̨;r"9)W," _DbnG pl_=$5L}_k*h28cLɩjIVյAn4mLvXeOrF4#΂~#'UJCGlSAft" oN+y1wv$ [g}7" 2ݖeՏ_(\etkdMT;Ü)k01'":sE.hF׃-)3V}+s[x;,~K :|.58eddGO?X]աBΑ1W:O˞ JyfɄ t&>H6Vt\g0c_7P0ꮽXT;^r=0S\zd^K+`3],ZNO/e"8*֚NYHĠm:t")N-c-HJVF zD H;fЖ@fۂvoR ־4j5|3ýNgƈWVMǡ=$O/r8ƴ``nrI~̰TVly`#FAWnpܝOE=EN5VT_Ds{`Pi/ihj'>{* @/_K7x-  Eo2-Nh<]b#/RބK|FF٥)N|20GI?I ޞuNo3]d̺( @Nykd1f?`fKűVsT1;$k9EE`*4 EdN zY2Z3:uLK}4]WN,%:]0"TwϹ}Cp]^3~{F!W3ٸTM-]YtS[ӈSljCp O\g<@@V\q=d@*~X*j%= 0}yrZ261 o\ڐ˽ԤңӨ(yKz$yxJ4 Mqx7lQ: ZO}c;D/uϩ'tsEʃt9q?Ȕ&+Ԁ#TQ";}T.pA` ?q=FK6Gkk͠ڕBۉKoQ+/jgOtBX0`%t.S4zs{V5YHilèk)}c6!Vp^D6u0PF6=&pl;aP[vN{>.̙~q~a'ezLB}ĻL܃;˞zv4.P5Aǜ/xQ| PRF2hR=F\/zOJ! /I]4,z+q3fe`?gy%0˶> 5p~We,dT{TX! y$Tj6 B7+s%1r[Q"V4?%/n3X&rJXELT{ڐcoГ}l z]|ƫ$)~j;ǐ ҟh,Gޜhf 5Q${ A4iPp$-yHZπf=È"~~_h^#*"QFɰ>m0xA0miEb͗2B!qDs1bWb_ƆLͱ}3RVK -ry5OANq8z׉t7[F((_UfiUYF;T@6A-׌7Xh%67b,.ӕc6PSPaR,{tg/7H9F݄fpo{ Ped콐.c^5]n&deElKg]V}]5\ބO4])\iBV2AeZ"SMMkct?}]$DN߇[c*ߚY' Dk:tQCK{A֛uLаxCqx2cɤIuMNs-mIO_=$ D%qUF|QXx^Vv#vFtnnMw ~kiݫ&?0K dRf4LϑxbJё+h^{XI¬kƯt I6'zV{[[Ք-xHWnW<2BmT8(ҏ(;sf.ioPv|z:hh3bCqbҢ54o])MojYMiG1-kK5- !h2n޸ DuuR[O㰴k7!d\|&q0LUb+esTa3e%FF+sT!79e`:1͊PgɐyX`>xt WQ)hH E We|%/Ԕ14{^|'E(rQ}VDN|{C0} P@^jf&fjZ(˂hãmqzz(%auve;O~;l}~~r% ~Q!ekr_MO(y NVA\C OccFΔvu8RzNdW*)I{;[%(vAՍE)!>z6DmȇiGxI䷑`$`(eE?0|?{ъ[JQv@^l^'!^Fgg`gvux\0lJX'^OIhHhx %%\[;wD)6?#/;CzLD+=SkGq0:P3R|rm%SM/XP<{WPM$T9?MC:a=6}^I.B& 6o.->&_,pa8i}ua\REMGMٚL֛#`/":hz-O,sb/r=5}n= f,8j 6 $ cut:(U|V*/$&Ul q{ύd1Pw<8Ģ5i;h؜$loh &ۍ~)Βع ?,sxd86n;r}hű?]-n5tgm8C_ ߪW$"2\I/ lyԔІ(p$t", χKDe%!H)'/,7L(aoqyl_9)bT{UTLmh2ϳ"R_\ ̜"}{xzhMUQ3A" b{w'A T+Ƒzɡ22tY4 VXff*?OFcwPR|;}~ֶ%yҾ ״` }ݸUʵ%^F͞3J.4\M~ߐ\ї z+NJ`R,ŴY( Q)@#C(zgVs آh`9(NIߥ9D3x:#0T;R1cD}}.P-P!bI텘OOv&>a H'ť~Y &hkL!kDRt왉qHÇ"M=ȓ50^'u z7ҿAp)P=fs\$fXQN^MFf2Ӡ"M8&2I38ˑQzH'"3?X4ek~rrI %`K}\3P3ksJ \ 3xmcbV{؇Vy6 HDCm!He-ɳ8jz[)&UhR `udOq9' )_ P߆HkraJ/潳ӎ2B"z&aNS0|>Ū@ݘ6A3 TKmo#1OΦ51cFs{L-wȝ3rg &j#! 3jQy\V響s;Q30.f9Wؘ%̓]ŚkH;1zИ|uߑ3/5`'[]*DXc_7]o #]^Sx(b:3ꊌ) ցR; Ou uDP} mѕrMalwd=ѳInCyXajVYU) CيE'L ;N齌_Rp6'Fxw KEVG$.Jn {9Ӟkq3}߾)5!jG8 Vˏ^F}C]0y۳ -)d6“o>ok3@A%,JWXܻ\ڰ˙ztX'OATF_ex0L_$'/Q k8M'$jj7 .s+Sbmi^,MBbAD׊#.ߍ,p p9J5ʂ LWaw?~VO`5ҳC1ZKNPF=.Є eFbHQy>"Hbi3kM*q sb Dބ(P{80](E#pZ$(z/V֎ʿzBZ 0$]Dc[⎐;ٙXr֊b !CruH0 KU|. vG"y? i&}pX!pi8 ?#f3(@rO7_)9VIj%Ms됋ɀdČ N|N'xepA&kj+ &k](8 .dP_ &aGH^Y""?oqot<\j{cFLz? =V5M>Y2؛p@Dʗ@HVXpB"-fJp R?O9w8#& Fl=3=D jUۥzXk6}^F9uX` gѲG).v}B>=N/P0w%ͮrM]#H"|CBH-G[Y9kDQ@› mLcaWǭ#ڱ )ysN!ƇA&MVdx@ɎKCǏO{QamqrMFFS3-c7Y"B,{1p 8}7GhySb+8 X cș<nUⓉVŹ2*#8N;R0噁"w,1w:|?~Rҕ ~>o^"=XNV%oRmEɠv>$L\1ȑӍ|/,P7pʮRv=d%5 ^!g8)@NvƺUGeQf%x-(K3[|=yJ|?.HH;T\+TX/:3t{< K^'m3eHp02qNN -Cs;PE`#}=D#r (nnwgQD+ 56]VZ|-H(0n vŹ gǿIK2OaY}oo0朕tB5Wô`}gYg] ~qlsu -w&jQQXQ7$moJ:|Kܩvzsi >>Jᠠժo6h/u׋2#kߝHt&o׎407+cqPou;d 3,[I^@W!~FwW|-%E${?#|#"}ìdyFx)^75*Qƕ@gM#C6ueHD, =#[KpraN*`tz٠tmc=نG_)*)s>)V {aZ:CsL&x(-Vu$H\4/Gld 1 ŷ* plrSW7, Z=ۺN$ߐR<=(d1F}؀l^'|d(nJ 8{1n]^R[Biأ6"dewl_l@ڹ*B`94$惴ԜGyVr-uJfco:oe^N!~vz4T>efېա,0\*t-*Vxh۔jkhi Cu? b<;£l^qMyt7s4VE~Ua%.*r/|m^ggbpKⶻ̈@܎ ?~:  έյaPOtzcY/Y>ԕD'Ywh! NQumD?wäKub[9Js}&1[֏2fD7颁Úڳ”* ~d|zmCNG !/y!q?[ӑ9p.Od=E:,H9 ScSmn>!6ܗ z.gׅp32'&==Uϟw$jJ_?ߠwŀ\(,"V2^?CH4g*$Ү)MֹpoF3Mc!;█ p? {US%$ uzJZzfIjU&A̫8ud?p nPIPêj'c6>@c֙ʠrŊ"Rǵw*}J~/>H"LQ9W~Ѯ[I d {[.[EF|_˼Ő$~-:_5_չiXJl9Ԓ) 4_^3/AAmJ},PoOJ*$RA㘳G*PjyȷhJu:ο_@>a m|v C?&I  A~8%=U:7NnGEztˋ%/޾% %*}jAk ch=½Bjj#dYDP\M|y[D c)QI7IR_߳=GT ߔeLfZ@ K4'1J:R6e˹1"I˕cR 8þe!VWWKߙ(m{a4m/IԦY x_g A)/z-Od23Q^OŬn )N|dE#0y6/5}}ndӿDMO#0fj@.TEC8uWW=-t$'OI >}KƄ5Ǡ|fRTy4g %9)B'i&uAi 򈖽 }2^Wb$vYFpAn!7NX]GcrhFJ*C H if)ܷLxt4x𦋴&Bf3 ~0+8`Qbn"B ïnl|1a(ȚDuNЫ"Hk;f"(/Yo|PER MḒsGKy-=1A)G׶Y:c&L+*k6Bx]]wLu&m,{C{pDkA[]|x_ #FzZ`s jQݗ_F q~i߾lLesѻ5V <>؋6H =Ӌ$^ѨA೬.Pgy iOQ?su>JtGExX4نLnH%,ˮBFɍvcs'A ~]*$+΋'' }JxX gA11Rm _[Z^b)bH[ʣ,c?܍Ob!gW?1J~t\- ?]y(+tβ(8)ՃjL]Ȍ"yd̅AqT<\Xݣ)pXw4#mלHR}]b't$_xR !y,8a)fzWWDKaOZKM Vhh#ga)Xu&(Xp.YyaH:A(1{5&+ƕMMoڜqFŸ@2tC#Dv;T6)>\^"2"ksDNG* Yo|2Go:+ t|.1w]'M&O kȯ)cWT1A`-xwgݮbDur1Vs yT^^,B|hWѓzrf (u<.7^68v)W•FxGx l(;Mo/UFet/G%6} NU5pd!^xș h8@rM/ZPq(ΗKJP"{x^a>o1F2hpB_PW3r|w ^y^ aq+;FTt!{httnQ6Wk9x dvf)&穐>e| i4'M%x:D`v~ᨼ?OlAQI5՟<@ฐ1]"[_Y-8z\P n$~Gep{xfqG%A'՞s%GTi:} 5T6 1_ǭY`rFo D{y$*[=aMk65D2I.:,`cLORd]#vFXqr@;501~兛Ըo>xm/!Tv2AGBn@}GckHs<kOؑfV+L^CgLS7f ej^Y= 1Tl i:>5F,@eAA ד :tKv4h.eVTi es+~{CMPMZ(@IcMGUVZoPXSAzKP LD^ ~-Ŭ^ p K"HXn;V(qY_ n2tBհhP (hP021ȓ~{Ϻ!$[:KmMGxS\[\4XkĶ!8TTj?"uG k=œ[ gϷ@G;r8]'% V;AMeԻO]VB=ڎ`Qkq Yjv++kN:$q2IC+IIkXy`p|&EzI >E{0!x ;q5ǁz8(+qcXIශ#D _w]@gYZ!3\ wzM7MnpN3ړV|sF8`* \npϿFT!` o]4|eݷ` Sߩ kKw@]m`_߀6;U48P0B)ҶAA=1N._2_S"gVFCc }k`ao,=P]6 Qxnd--&[ygT %6gW-8O ԰┎Oط2V`>`VC]$p6go (`9z,Ў'.꾋$iy=%C;̑6]aE,XI?7p)Łv;-^q ?I=w&գ0cLf֌RfxWVI!C=w=i؎`t2IҒ{.2=Cq{j q@To(󣀸h<\!MQU| ΋!`Y(}3Jn SA(F6SD2˕ [-[ /3aY ,cx%+EB_et~&w1d D vLO8d"&]Â!MTAV*,;bm}o @eIke`A&9KAX+fAcvB1n5ثШ |qloo2I1B׼MAЧ&9\T CD+ R?ǺE -o\oV+ςX 8׫-:G;NӰNPp@+I=+*KbMKIt_kYfq {}%k|"[*NAN"|+"z.] yqu[uQkאGcHM5l; a>#tV+kMzq;#7WՔB\aN5&a D;Jj>6V!7[fQ%ʹ 5NJY^:|6VsY:;4ɖ7$A#(Cq#Ɋi6fX*Z3)PD]PDP$DH'@/gg+Q u*A*TKIݥȔIZ?sQUͯ>s7= Ja٠ _ ~QN)ok|ms$2rQ2bN#KczYć?a%h9KVXij#u4}46Ç'QO|}߶-q<81A0{.BHaƈ幣V't]Wd%whN嚅r8 ^0'bbfspP;i&4Vhm~y3iKoگ9s?5g2tN[Z>&(v@l{Sa-5ia@Eʥzbc3䢝f!7*4%M"wm{dš0>X[?AFs@3UhDqm_+_a)kJaB.:H\˼נ]OػTەK f?EN}L] PړD AK}Fm??UW*hX <ߖ~/R tNq`W'CÚRA`>AIEF@#y/\#fː֤sԽ:Kհ~,ӃG>f;O.5)g+;ϏFvI_!XIwBK= f 9;TBFW"[+9JV"\IGu%>6jA1ZkRm-S r%Z* )vֹ ۞pa4J2eژŅmS$A4Yvi"*f.d9Id'klBmYOk[#eeA;!yP-+S!%7vиD) pjR&BD[ŏK2Jz /g=jڦ pBsv'bh F\kKR74j7|+C33j͙6xx?Kكv[J> [XljtR3cnx=*}6Uhxzܽ!+SM/Ǐp_5GwelY+F7>>]K&m9lXƊ_ RcPI)rxԤ 4iXZ|(aJ]~ld_5v33rq;d0z#6r'~7 9FɠkX0=Mf2 F#xDJ?GUj#dBi?+-Î㩂(s[ M$/8S?,X}qD pLefiRFFʓj3TDD&D@^l}PbK^h c}PS*awvW'9Rh{ڼ1Uɧ9T.v[WJF&̲2 wHL !悔LV. c;Ìm ó,R<_,_iO־5@h/l%!}%V[~9ԇߵQ[/f4NSS#̽<=K*o{*3N(d38 T$i#+%s\0-tld9(ZJn"ÂU?#L&*v^T: 抽+PE~Q T8B ӃFwN,՘{Fx!T*8Vl(jd%֙y N|ei\.8SM\qu_Ț[bU:>ZtY[#|kժ 1"fg"쑪u@J3=S0["J y(dyt~|s{ WsЍmc+SW0}䟟 y,lMJ쳌^̲ej8bh}C m}nrCգvפJpv~@G5=ҧ/)Me6 =hDU(Ee09H_EJo+M]Q;MEqh kTj C<h]߻29-_OnMtcܹb,%#W+(:Z\.)CJR)v5}:qKj}uFcub\lSURg*- o8}e$n;г[lKrϽo]-ϙWcp2To,x59ŧ} g FdGvDu>1DܴU.M%1OЦS ChJXo92Té;+esF*qBB @i41T)w\ֽ̀V>nEq1?ٙ{c70?iH|v0NUl2&wރ\5IPvs\܅YYu j=O0 6p2Lj OOeWhڃj()vct+oIEUN(\h3윊Ѳ {7E)Ixom&wlnj#5DRX:`' 5Ac}̂`n5LDkdtG*^LN6^uBW=@/p1A1{>Q"í RN_qސz#q\bU"("]踗3ox@ _"hg |5fqp~ap˒iژt]4n:˺ ;2 1eN{甡sBx5RJ:r E{3$m.hPʤ Ee9XP+{oEMO䭶0Ůh=<$"#a1b!TY@+bGGll|]1+D2M:KBKephO~hg ;sĽh?[g x#&'>wFx)% ok/XۈmS2azIg.|uƃ+tq$"LƏYt⁄G|eo u:6+ɷɱo bVo#+"0_\ JE 3^֓}bt> \4ni8Vh-;X}8겐'LWz_DfYw%ϊhIOizZRXFz*6&3|"D/Q8o+Թy+ h"iQ>$W'Z:dRtV^`$ ,HPC"002K^faXd{ X-1cZ>_Qw保fUnkwO'gvjf]:9*ύ>Cŋ=A-o[1k W//de1nMwӾm6 BeoKŸՎ5RSr5`VK,CL= ga O)jzI:$iTW7IzhWY-WS-( AJ^D"$dG9t'ۗc 2q[3Ԙ%BF V{7=ߟŊjK;G^BUf8.Pe90~QEQQ'D~xScuVL{n⼆Zd>_Q$ShGSjjY`߿ZCå+D}1eRX\vΩ̤cwt_"AͯfCN= ~˗*}K٭ ZvB I]GD3$ɿ~a {S*K*C'o8䓤o_!OV\K2|hcFwU' u[W A5~t4T7qw%25Ip+j`xj; /˩Ù7bV@,-W~Qgs&IV-iQUbKtQ>1ٯk AC֢xQ{}U9bUAF% &\fȊ V`.ew7'=o\nP R-߮ռև&%yjHFpEbn" |DxalmY^,<_vmzA ppENRWjQ.40kb.cAl[**U0?k`5]r pS߷l{B2 "l;ќl0Akb̋[k-MɐÒK6.\}+nMlE5iB~P.4m?UNÿg;O<(g$rR5W mmaXgX^E2B0a%d7G+J(Ϗ<} CwS#.:΃.wnɼH?6#A"}[L.e0QAcHSS!,ZlۼRM)lHԘTɁؒP@D'Fk nGz2Q(toQeoچgbZeF2-z4CќE0H Dg\S 6ہ3j֮ⰾxEe&؆7M\9UMyVHIހs"UoǾD<]Z Ic4Jѻ2-A%kG<T.Zȷ+4KlC0U) ذ~,#VZU0?~f=J ?O+fŐ!J_%ɷ+c楘;Yaz@B2=9As%4BSGkѸz^=dY~̭+@db,' IGo=W4\wQ=3)*r=DƐ[zG2Μ`vkλR?~*=9S(Exů21t*: ~H^#vP,єQˌy/3/lUGWv"]trW1[)ZPGvOG^4鱂soŒ 02O1*5 \!:mMfaB!X9|Ŵ@f\ƽ2"~^g54VVi&}z>e5r\M=w-^d+"W{6Bd˗ܪ.ɧׂM|z=Z$t]}Hj ڭwm*)zf8:&eΣp^u{j1w{۳Lنؿijsf;ZH j&r2@%s:y73B ## zrRbg3b&7cbRY9])a#KqSIm3-g2a_표v$`)"vP+HX1j g?+%PA = y+[ځA=G{&عf]{9+#X:h/25Q}Qz8 CaINiچUJ䊅iDщq`F5HB{0eP8ϙg0HVXFQ\7 􇕇(X5AJhbtVf`o8͂h =V/hZm]‚q˳x)8 ~-wi.S J6!%߻ ۈҨ$s:BNnR¾0Os7C󾳒o%U= ~qiqj##_;#B"Z74cq6 QF7_Om 4 3Z8HQWZ@cQq0?ӆHJot;4^<ˤwIx)<0SNOPӪS:ҡt clbnmWåyV@^{A_]$3ư3E6G1:֞6Uڒ})5:}bNE`ݼnb?ɣZ^kBUځ" wKbz+3t%U+6ŭ~ChZqo/߇UjJE݂WB[a@Ĭ ɷË[bKgiAؖYSͮбǔI,]^ '=\12T~-x&a\tp:ӵ6"hu+2/;#AC6@lӜh `^k͂hzGP,(/;k3ѦX`熸xC#Ck8zN)R]у:r>Tx0?L>^)nl7xJ#3A(edYWȊv P:^PB HcO1RT`cbWĦť9b ;% 'P]V2uRU]H"!VrFhx0\;Zw)0N׿ĝCbĦ-mg-,DC0xuf!'"@a KY_]Q;.5 ̺<0]o`; O&%%CM,xSWz/$o>  I*ՌEv)f\{v8|Lux^'Vo0~w]g!œR%}c01D_ޚS{L%.\m瘟AW085+&(xSކ/wM8,]|qk '5X#'SmWb#yȎR ;>~MCݩ]IRHHeWKA]c/d&^7;O:')}\uHGl7jo5r6^{5cDLL,ˉ)e\T6z]R-&nA^d9:~KngN%V%sO3M(,3R\VE4)2<=E+""Qt,)R5kV0C1y :yyWQmы0= /7 e?"`̯: '̜פ`OuL5BnTfNR5T*m-&x_^[~FNI;" T5M@-\(Z`*S_bq,΄`a~S%c:ezX6,g:dvHU[?B-A Ӎ,NsK0h R~pA8m!M1G զS eJlԑ w-]LOd3GwP4sEgdb2("Fgݭ2p9Ax֭Qq遄k^OƧ߫-wSϺ:0\h%Qȋ!8Bu s"ɇEމ_Q|~s-!)\{WҔѥXמ`˯ќU/Eٽɛn DqH#]۽J$"ÀцBj3߶Lp f0XϪ4炖[j¢6$l#sx;B֫ 1B9WK#KJ/k#Y,NM=uLtv\#/`"BT3>C(lL`Fi25@`|2 &]SJ$ԡM쒭.FFթ{_Ϯܱ~bby V_Bsgq[~@n8kB6r"[]]xPJ  İ0W[:fW3Kw6wùMݣ $,dTNe~hЋ _gJ׈X{Oͣl`P}#7 ,߭I_S!hftTI[?y]fYK-NBBE˯c\h;@ޕv 9s~*_&)0wgD`WL6]>7bs1 xX1AQ,Xyaus%7QA# *%b7QlC9I 9j9Hhq+,_>X9iig¶Ӥe|d[-;geo6I ^7 [&œų ֐^8hv ljgRB4&rh PfGZׁs<όFT *4Yb3;<`BQtq%&IJ(a>PH#|?Tk`O> c2i3[JM4\iERX(6r)7`j+;vYyvO]fq&dR<'$?6q "GH$A9u}u.3ܭN :-U.F>_DrlY'Hz5Des0p5Qӥ^8d~3.y;fgw{@p"t2jz cnu+L,Nr:oVt Wi~te̓j/_oGI51FQͽk)G{zQw8x!%tSL'MnCѝ`fbmow=svAEpWYa6EU9#01g#X/$om7L<UV? y馁>ac;Mgm=뀍OqQx{Yu)~+h =cRd&m7J8cous&+X  `ZTK  Vdhl"xs*wt_Jy%푦!QOfu?i?A"]krɼ떉u['_@;\Pg7~ir|MX  3c[A=lR39rC+ˁiش{BnJ-W3ƲϝXV'*K$MȎPmVnΠ}XB}%+"Aj,hbdzrŢ3aY ב9,n6򘔃!OK2r<]aQDKu #VAD:]Ӧq<3P5Bt?ڜ>&B x df+m1.`ȇ73$+d!qgk,!u!Nam_9glܑBOD TO2>DZK@VtP&)ʇ~7~y:9.ΣK76KϞqdjW5`ZHhFv)V:trߋ' JP|Rp9/ͫv^2?KכKAsZuMg.zwPq>5Vk?n}P.ǮXE>lOS}i?N??t'sGcWb!0$X\}֕0ia M\y,j ϝ`E(n#(%!jX6׶oMɏ::Y:&T=!?I5Pcje υvY,mk+.M5#\0>*]LÑKl ­`*s C >s>|'װ}“;U#)WR'J $,KF{zvf>x%+6<K{D 0XW/+*#]š3$Wֈ Hߟq&&l&vB%+BhD!P𒌭cb8Idu۞"S03z̐a:mq*ԑߥ|▙qh\d`.R.P8xf( LB5oGJ2][a8a饛wU9B3=r?WV1!K;|x| r 3_B) Ko ٵD㡓•.әwv=2ӆJ^JoR54rZ$(T7L׼ QD˶ "G?Ō.=r+w"^M+iXFs `x:O1 ;L)BR/0\`PS[(Dlx~$K-\vVho_f;O; ,w;9Z-U D8U W~ uG򍑧k]/H n1)$V@D~>,(BPjUʬ[G g42$6"Pf|s;Dʑ~01^@$k "*3]6=DsxFuE$%n+4yH!{c %..+ /7/{ 2gfYud_vRH1Bhh U'IįC!9ШG;c]A p(k/c,:|+ĨXD\(lWBBD]kUv|5FuuՖKpaR%dr).(qqhKǔm *JSS r ՙAxXgcNxYDj&Mo^ѸgȯGY `NcH>7H`[ @3'ڗmFR*o Z3(ټ,v,LAp1O,CIOL'W3Dzԕjؠiq_)ԕYĚ^ut7woQGXYDL yD;=l$ M{u9lu>˒V[Vd#e)ٮyp|P"q]qzl`KoQ`Je6>A]Bq]ceԞ zBA'iˁCj"+ޙq!QMD&[^: >yTT0 Mj)!_Ϸʶ3AlTJȓ]ˢ|u"ЁRIb%O/9c^M ,JA@(=4IHݒpiNZkfM`PAW㐱-Q+A3r5U9Xtr-ƘB(`:qS s\[U_!Y`EVaEyQ9t}h3Ș":M<>{:5&`e2L6ig|V<zqg(޼?݆85IP:h&auṊgD)6i+qѾm$\cCgFk"UP}[l ~rBz.G) gYt;Bݻxʻ L*ӊŔI:gYZ yy|5M% tModal_Logics_for_NTSModal_Logics_for_NTS.FL_Validitydocument.tex7zXZִF! =]A-MՋhvG"uIBm5\헥5zaLAG*)So.V9=67GBxv评]g+iN2M Ͳ*8rBg8EfU)oC?@q;>YDKEβ֝ UHʟςMÂ׼Ivmˢ@F-DGl] B4^yt;WU5E=V5t?9,g@}+F{ ;dƆ\T`o^Hk^=_~V[lXS2U2g5Myi *4WaL#oDKRY8nQF-& )q 0)ID{oRAj;d G#YR2^Vx]B:zd+R [u!۴6u |d:X+Jz_v1ΘٔlfЕ{̩y`ғ]JN8 swuoA%0z=$BbvPAp1v `ɳX O+#@9 lffղ8Ȳn$T5Xz.@8)h{y:[>c fi'&I>>s Lcni5N505+P(}*l,q }/(Seurxh%ZSݦ#U{$+J^c?=ﷁX[@ Q@ "N<4[&)ttz8gi.$2ehqG܄Z1W`ʯl-st诪#p#mmo9ksK˿ap Ûos:S 3F)bfGrs+Phfqi oQ:>b+ /K=PMq=)ܽiA-:DXwѢ;+geQ$y;Pخ4߹xM+x%.gW vλ&̳8^/da'+Il ME~&O݌|1$#<âu Azt.7if@U̖!9?_aN.~PdEp5 ImM !5IF[l ]D1T> r]O fWpQ#؃1SYlCbZaG4QQg&ywc3 s|&cqk8f?|-[]J4 BEo^~5`xqZ786%Z" \ŽII*ߏ7A*N[ #.S?Ǫl"D]!)DM#E\ \C0߀kL"KE1C+,!ŤH6)Sk(Voah"/gFYFɂ.:4ɼ;aY.hg%^ZWͪ: bWN@]+l~Z9q{}eI\qa\4RjdTcnL ye|Ig&J:٧O[~ǘ_9\MfNjt5M"9HFH&xM:lG SErHz- dM/V! @{A =EBm'yJ7 \9;WKa N0qK ͐Poa)$,]Ūq /p`6$F4OfI%KGdqcR_ GXmog@f0oͽTE/2Bg$'$8);pI]6:<PT:.,fbL{ڋcKDG +3o/Vb)Q<})]VO`i!P"򠳍UnF֭VZ ‡|;&051ݢ+3CAdipN{{("W2+qk!ECB?l ?Un73 S¼4>kvF:yNОU;kM=QGm®|S=#j7&@Qސ]W e;y$=x41̡ Gx#s8*1YԎP ⏃UNjN>S$3Kj[[N5OJ|5 S}gǝu`7߬%@c n665m }q]8R]m(v-b-wpY:|d/quqeoѴ'8H0Vwd) hXKE:N_"0 Jy( "Åz;,a.b } LlL=`k_e ǐ_$ڡC9nwqKAߕ W5JZP`u4tVI:-f/6|MؠbHO}&Ρ!v49$N[>7_"fe?M|X컼wykkeb6G!!8' /ۜ`p;onCbl7N8wGSm1R VՕsܐr HhY2E1RjO']*t'L5 &0R kRj}͐V&Іȿ e+B C$Dz,L l={ۧbjmp]Icj"JC&[ƱϏ9@ʁN:Oм6F82um[,2~ɪQxUbp (6ߤ\ljDGu Q^;@gL%=~y<7}E`ΛV!_Sǭ%b#F-Ofsxtf(H~E-(`7ɣSTƠ3 2>Vrk g[b&PYqv~|T&TXp /W6\q孀l׋ B/")Fj'ViCv}r365=zN4Zc jP pöuNՀ"غ@FZ<CHn؝gyl| o=w˚sxO<}YKP%]xg0>˺=LFF~ WfezXM4?]?^`4Ua6npJ!>\9›3\4 I)?#M Ps\eT>0r@!Ub)hR4!M`̵JcgUg{f$0c'o> !ѲFE @*,uo^Ő^3 %itL.Pcz[( FcuۀډQ(cIPdq. rˉOHȽWj7ErPQӌF{.urN&і<5N.QKݗDV!6ԌO.5_X>Wqħ]檣ObmyACF]ɎCf "Qqُvοi]s~xdQ3.Q@gwlҕ;- ~WG4 UcT .Y3'ɹ9M}PqDzo BXI/P/h3 MW<,(j@1@'do9yWB("MЌ4(H ;~oN^%er&p&1o*u*nĦ)18mD6}ZaW(\43l53#i}A*vO1m1Bǖ< QϣBo l{f0gޅ{7]YzUCg%`"Wl+ƛnLѫ޻7!tuߔο$Z'b.4x=e t G7_ S?KYt(5\V%s*=ߐ Jtk:.82p%ʻkg;ܤK5]P( F)! )Vx&崘ꔈ( 8%is_JYEp3Xl flr;[asVHê,Z9 48pMƅaBAa^ҭu>uA;-oDl݌ʻ{BN6y8c-B,r +ކonfZS t>`]>So?rZm޷ LMTwDG `gݘVJe?4oAN<}(!G@|1OSsl[׶F`EK!6W+"dlA>z쵽2\2Kt]JKmZڸh]gN?ۼȴ"z.u}u?Ʀ cQ$B<1a]h1ճOvXC>۝`}}ɾ`>*g"( :)S{KcAo[_:>մ0Cnw*4?}8儛F4>)$O(n;to ZK}(|w aW5RAԞEԖ@С0+O2{J܆3"z*K{81r<7khmr!-iyUF -m?r^ePgC-1J(m'};j$礂d}9o`ʙ"ܫ@9ܳk]@2u(\JKL$˙6]C]͕ 1m &^cc FmdCNNS (q'#)i|`'{8KJEXE41I+t]C]ln7j(h}g#FUPP<eyGSV1j~y{SS-&f83kO/Dߪ!?oDkŎAk4j]o)-\$Z /eU8 tﯫR(=%fe_cgʐ~4_O`84 A˟c)ì2,U0|Bw 8MTŢ3rbB5NUk-{>6Nx?R!s 'C a|rF \;C\ =,^a EV,xY\'АPJD1zv[wiӎCAsmӎX Xυį7UbYc{:ǧ{2̖1tJ(F#? nюFʼf P%wMciC#!ɓdT;[2S+I?FZ>.A aVȡe}2juv -q]2+BmrQ/wh:p ˟ImY| #:^)~ELǻ_{ٚMv2n$ R #=~ 82 l֟9.am2El_Qx\ OM@wf<]yia{ 8tTq %HDI)lO,F\eÈʈ>PzUmXThug|E#/hE\?GE;)D9Ƿ#=W)i@3;b|uЏ0$x#)¦̞,sXGH8 ?pPAcCaK(^=ARKSy<#PZfTv&厦MiT\O}#D߲/na uĊqڡG{w>p^6wn0jV1n gVKu[nh Y!%\{R_{g]\.e$K孄E ҵ+wQgZ6bTζŲw]# N%M`4q˯Ε7ƞsV'zS+$ ۿ둣Egk cX xGP~fɠ] 2|׹6i +G^]XɶkmsMV6Aa :qz6dmb׿qo'ܳXJF;p~1X>щל*nZ`X)Kc?8#EHML= 7mP4M=h+=4UX.eWܵ2zX`%xF<]2]d'17rxWʵ"ovPQS${oM|+HeON*etWOCb)uϕo4+# ϲNۛ9kCekLcSL,7w1 a&(@݊DL1:Ɋ DdK*\``$Z6E"qcnD=3X}HY j0afpi2 =G}yD1}@ALg)7$'pet9guS&󀎍%4y;8fhuN8(Q'o-jGYĠበRKf~ JA3ILxok$S*e_%&ݳg@Oc~j+MI\]?sVXKqs85P\%AS@ ni\g#QȡB=%uY`'ǫ_=k5` l۰3uͱEqtE4c~E3Sd(vbM \/f&daLf2]ǧQPSeq` m(; /[0 WAg ڝAx?25B) S}@Z״ (kנQ[3샐V>+]3G~-O QbТL}\x'{ ˘s"LZN[g5U 0uhԮ. ^9z5"LǦg#LyF=£i}DV Yv A|]5RU61W^--}h`l \FnAe ͫM/y) H8KGvFnտ"q#A̘?ح%2^nZp} 'z*KLLWM,>a(OD^G%j8TUmYQ":%t)d)aQwN_BJ%sF2Kpgcڹ͹o!xddԤq0OȁW2՞-9p>:D(fW;?jX+LJcjUwXGa10aّo?*TRq L,ز1P#1t: l q !nS%c2.k!?isԠ`_}}\330-a!IU@"6] Bwd| MW{U jQov<prXL"CyFON W@ѯRVh-:LS,qMnK7o> T85!Si6B9BP̅ zuk9?QHWr=C"8˄QɌcy3k6aޮWsUmxcfUO=g~Gjk.+oJAw+<-Ƿ~{NCya=Du@B 4BY RpOh<[u`]Ybqo[Fug"/cŨ.tB Dw )NpaZ3z˦|u!?p > $eKн]?Zyg`uTO,Lqeĥ ld6J՘nQpzC}~pfPg"%p n!ҮvT`{}`)xFHERЍC2;!+HR™N#Ehra xr,r)}j'%75a6t=A`HJu`X +OE#e7ۿJ70n\}$G[k(rЈ,~DPKW 2KBR5Gһj#H4,m{ľwu')R^=%TpF+ {|y#ejHn^i,sL룦(` IPHxe<'-\V6#ѿfLd_,̜ 71\+o]3K`YĥjOu3Z^B 5^7J IK7F~ ?9vvËg:6vcn SjYe( |bu?,89ԗ9 WF3hUQWV[[۰y|$}8W.BmVHE6M9wߠPA˷2YX_4;r5Pb9`;ڳэݝG(h܏FOgxG|2Χ./5jSX؃KfRioS_d"e 8c^Mvq##U%t$*]G g(1^E] E\<L2n850E8H2*/7Ӗl x:$w8*+DAqpAnK\1ػ}h Oe9c77dUW-!$9|S`Mɑ`Zx0S#d*/6鿐.J|qcà,,_&0U`3I~=N,YTǫFFw&2H`7%sZ/-J @WJk ۸k l"v30pB~z# V6*Y@U<½ $J>bIP7<$?ϕ%ltG=qEmDN.uV2$ D!N wBH.bl̀Z]F7is&mCȹV$KS,k@E,f SwnuD|C|mṇW g%[䈇CZW#i #Q3=D"&:/X70ԍ̈zQ3ҜP&q-JS#b*V \ hl0SIg:a *J:M25kp$aiXZ"bySk|!%jΑ_|JX GM?J:"-Gá(;Lv,4#ۑ"D~h4_=A9QmQ#;)eE#u oC)fX%Ŝ X +"{">2^]4yB.Tzq?:;u"W Ni'I eQ3d/MG  sĆfy VHxT7NK6[9Shn@ mm5 gXKQpjefUan{&7 YCYU"/MZGG1gJozc5qaqOJPg[l1!xZ0va Qbf;mU1J+4Mqi> ZBx(Kub'QJ|*I4EmznMa%{5eP2D@6zVʏuy&taj)Ğw -BpuT;C'ˎon%^}N54*M=vsGs[ _6fbl\Z~͉oVUVǪG~r1>ЮŐ^cAN@: f)LJ|vS?[0v%) s.S…:>?woߛݞ2Ldk7r&jHEPLEC/dFߡė y;:`$WABlK}gy'ד,zpf#$,da-hp"J ;aC^4.8Kq)vܿD饦ò?~s ZuggYZ BB2 5W% TModal_Logics_for_NTSHOL-Cardinals.Wellorder_Constructionsdocument.tex7zXZִF! B]A-MՋhvG"uIBm5lRHgƀTf,žʳb˂/6^+ *8\r/l0OH ΀5==3fYp+f۳MEVhט5^gL0^1".wfX6MEc?S?$@^i=kbEg:U=n*1B9\Wp8A:Q"h q$ ! <]&f\+բ/o,^n[H]yc+!7 2ahRuyzc\yI;K޼qZ`Z(bwUv @!H|;gb66$LFP *B*SvL (: *R!2{Wj0|CLC~s]x͵+I EnO-N-6NVxT1Tgg\KMqmd69$ ꗎmhN%:8XQfPwOs~dPrBi(2/nbYQ'Я-*a 5M% pHꎰYZ/Kybw5wQv"ĕmW.}g9nwڴeT"yl/glnoE3čJ)@l.FY'`[$-z}#8VW+ ;[ u|R>=$Xm tやtFl]b˃G@xrj ㊨ܢAadf)]q]-~ơY X3T䴈*i+'H/JoV:}s̞z֔0\Οw";^{A#f5*2'T&Х:L_QD a@a5@*{=8\x*v-0)k(#7~r>x'! ݺ#5,:elj:Wfbs"|gyaRƔJ1U0kw{[kM ۚuY]A[UxN3_EQ__G_BM.`Wޯ<+AywXāShB'Pe- >N*&AeX&PzMe _/sbzX?PfDS H2(v etG imr5$-Wi\ ;^t Mʚ\ݕ 6F(COE_X.]Tʙa]cS$;?qc X8Tp ~dk(z6Qw8C1Cn?Į=V_86\wʇbw7+_}VF.ˡ0_a!oZZOa yE뇨^plD=l\~+B3[Q -4 A]$gV:D48Y%"Rm&}eS/sSApѴ3Qч\/qʒ9}c3B+2$Qht? 8P ٭7U|7ţT: dƀsҽ $>BX+D;"#E\5ȵ"us<*WNɁYߜK~j\5Ri&\G5T"y]썻}rw>0. zpР\ġ{ݩ:$[e2GQCA8۞E`ikh_$(SgNjj|6WĊ f#"giL[yrGw2<ͱfݲ gMIV) zӎx0gCΕ>E[# B:ĪSA)XBŧju85+ERȌRۗY'BCW15S0&+˪jTǎGמTĕJثRqcܯEOJ,M *;NPH|{TEg<2MEQ\ } T+.:b?ሰAW"Q& %;w 3_=X4o? J~0:c}Y9wz(&\y w 5+C~xq ٭M!):gPZS4m;WnB?ڿ Ec'ƓP D%t `Mc[jpu#;TT5#ԭ$^ s [lp3Inz*-AilУf!**Uw9Ojd 4hQP>bp[KcC紗fi ֔]SImYN&SZ7?S}SRPgS.[l#S4Ag&ݾ{Ծ;P(YعK.zpC*t6f[Y\n jd6FnO1 Bm}jCۼ<o$91Ē~s8bK(js$Ec –=1{o+7Mimq䔶_u-p"J2e ,!hhG>J/=`#xB<$~y-s }rp"v&`̀>,Rq||xZH`7"bK u\XJYUTrb^_n&*(MٷJB7֙L0P "zk+{Ozf ԒJfA„j߮T=sGtYu*ϻcihPH^#¨zԤo5Z4Dv0Vm'tCӱ!MO.%c-P@)ށ ڈC]7פo霖4;n3_ķ{ƀdb,x$(IBl` >C%'rZy߈/ţ{mZ5(4[U §zgA9N֧tpjA1w\!}Ԏ*`Vh{걿BZ8*^^M/PҞB2<'  .fYTv̿!_X{(,hA[51,dձARɓe,7}-1t/|3LȖ-K]MVo|mBtz\Wqo2{ 6ac E.~EkB0cy2=N6`_X&m=7pg%اKrQ8#,U_ό8j{rY8U3M p(]9'!5_etr8dp&)`;TAݠ_P1cJ"!"$qtMqPۮ& %[%d2qKQA[PrMg4pI"\/~㍛ UU]yܻ=][+K\SUUR[~p 23[=ATa1[bջ!  V4:]F 0 Q1Abp=^J="3//yTĩ jJNAV?HCoTqdYCr^?Ȭ,7Sҩit[Xԫ-G̷«l`A4@cXKR胧'֝+ʂTsM kZI_Aw1:SruaӢhU:WMQio8#C,@qb<+$ YC g "A ;קC+‘c[K BJ\aT<75 TdRg` ёEQ}7%$Yhۿ< Rc nDUa, $4b%tf)zXa;M?ZwV:= כ<_6>ZWnMq'Y7e:vYl_}LtUoG{Q2Q8P0)8ee⤮̭{j4('_<|.< w ueӶJ[Wص1{ ⤣m:;wic!ZhP5>YI.P[4? #Yݴ-rk$GY SjTV+\NӇAv;ZXtr͵F=t#Cme30T,0)-I7kW'kz@/2{.M?F0};67KhGnhUiPiC-Ո!S29 o:G`$QPT<,Q^`T+yGo~6E8_87$DX0';(=bڤD PWU&u_VOXzT8BBBD8Ŋ[Wx< ꭲtgxȼK0m#T$]! (~wƟ0&.] 5F Q*Np|"4[,w-I~9ai~fZB B*5m^7䢹FzCLK4/Av!<.}d$5t!fNe e>(I 72Zݖ~Vf*gUoc(O]f6z41Է!LBA\Í/I |U?q0c[)ZjF nTJK%FsxLF҇*lq!X#Ih(#딫 e5#UW|E9x@)ԤޗA-YHMVM1ʊh)\0/vj[nJlci#lZ_c؝fHDRԹ/8S7`E1vat5%!':~vZ`?f>)*ORש ⲹv+*Tl+"=юXJdx|]~bga/N MC]u>FD`T! !ДT&Aix|qK2^kVɩoYd vWAwzXa`φa?~P $%߇$.jl<-tB'CMU$116;H!)5W>x]56L33w`K{w8 S!ylctbR -R+7~JqpY Ra5!qbVF7g,fI]GV8ZӰVL@]i!׊q:_]׾#E^J7dcJXbfrt_`^XQ`m0?:.J"NF#ST+II%zie ]XP[Tvqt:}7^rHfwxC}d['T^ᴽN",LY^_kimPb0:9⏷5]dFa1z/wѹ7ʬY\, `L̓9%8i߃vVIFZ_{Wdv-@}>L{ aF0,>!$ mi;5c>rf0ixw{Ln ~l\4&4ѷ~sIҚQ-@UMHUQ`/xbltUF=)K'중Ƭ,=+?`5sP24, xWXzBGtkO¹4ڳ.e ] ;oZrveE"`k- r".#c~ ٽSթ%rI-Z*|G|{M /|w7~n3$WG^%]B?}%0gj$(ax$QGp)aQ,W#}%F4pkƪ0j$o}F Na -)fĂ'1Fl7P,ȝ결AP5٧ͯ)%w]@eodķv*AUFϩ6R4Ա:9B%.x8E2E=A<.7^wAa)LK6,I LR=CLLd\f*#jW]kec JŌQzJHo3;R 87=&y0utӤB %v,ǀ uzM( w t@{g?ori"?9u Zӷ&=x&Ld.V -OQ̑zFr,z m hm{k-3LݫR;A5h_5|JpzLbLV(27$n 3f,̶Ǭ/(DpdHJ-:ldh9:kf}PC,:RpB@ja|im]AD`[e+Ѷ3J~$.w5sb_Nu_ X_32`37<1SkBniv7F@LWZ?[r[ }]nI+`o]Rv#j8t3e{\nv}?;$fċi\eWf>,Y'$w&tlJ=S~Ag_6Xqh>:UIa>ߕu?P}J@`iY cSvQ-`05>I7c-;GeܹpiyXnpWNجM~ ĻW8#>3O+ښՙ!nfNUz}cE>Qu( kDs˫>p)8JJG֊K\ϑHBAR#G"sen荐m`Hak&U 7'>rVu'<eip,'aޕ rkW!IlcAcB1MnANԁ6!,dzGa0zsfE F9`WD\bs0 T` }-K '1J8pX!N#gR5YO-i[a:q_7#k|+AZxJm~LU4^ nbS_ ; jCM鞟r3* ##^M`:rLH4s?Sʹ]lɆ :`G ,zepX ]A[욃 z^K$r\hZGm :wy EUV>—>.rj?&S5zkwJWOo bNוqDgzӪP(I {E)QGǠ o(D[6-߀oȹXivE1oh)!9F%5ca 1aNa_H1` cPM8-/-E!XY[i/I3cٶ a,va\i3 3:VlBkZ)UocMʕtReX*OZL}1{H[KLrE]*w9)1Qh4mNyqlgRi IMէB{YBj^/ =Ȼ3Ï'WCCܔ)X" ^3uGx" -얇=m:+ ?A]bֱ++`eJj>&j7[w/a>(r)6 n] u*kT 6yU_,%(crQ+=߇mѬ`F [C\$> {(o9ḝ M`hmwrMq=/Db*ʔ$m1; |[TrpUE'ixNVB5xUk' 4Ǧ3!3qr#^׮^#A8xb ' K(ɂ&7x.;9@AQMR#iUzE;b)B3 ]dhJh˫#*YWpr2%)Ս`[\;k(a0jlDoI#ןdtr_&Z6-<Θ7 tR:u9nSj8!V]Kֶٞq@tT6_1g/:Hw}x).ydTSIzdN(1eNB"$=gE\lpU}vN3ؾMB?`vK=|<_}#"- kd= 2wKi-l?" Ϋya $%K(Q]IOthfA,OaUDUQB|XM\˳_2jx|>~b$npjdO2)k_hG=ՙԋy)5'xYkJwCg{ZFu5Tn-wJ}G*8 Ad=ְ@lۛi?,##_}>0>.0%_d x"#.Is^k1ݐ*){̬@zeRpF|>X鐌xZ'9W՜6Q:!w|'J"J|Xӌ;5LsZzaɒRxqB7ΪdPChмKџH׽0onq 2}&`u)8{;CKk=0bc{Ӛ H*Z0PLG , `,\$)_VTc[YzMKq40Ϙ~+Kk9}as17wCߚ ܍?tMͬ2u؞gU1b:7+>`2sO')XV=}\h)ݦ=f̬I*-D-( %MV<筿1b)\!8Jݍʝuw#j i+ |=3+T:teL9\j2egP S'b9_J0>9y l7HT,a=T,J6<4I(qknL10 *(kB4uӪs餇Jf0$Ub2R|iKncc8ÈBrf}yXrwyв!)gfXE׹aO1ӿh|zKzLOMbUwR ~2&W`ۣ9ŸlE) +w|,{AŻ҉EK+iimzI ]$^3Klp??mlsv6YjQ}L;?b\m i{P+g ߘX_T$@אO 0/+QaK72l|{ ҩJ&! /W}.)}+SXŲ>c-.IQG$yENS~練mE C( {-|D[W鍛ֻ9Q (t- H+SyIVQR$J.Nx(y+s+Pmx {cZ A$:lvs(;;zԈqXB&4ARkVm7sGi | V {Gj^W߽#;VgHq *  1xs?=eٌch^`8#ޥ4m{7"Ip:!5 em*H&h'T6};Ε%Q+ҡK" gmmv4G^2T'5J8LKZF7mh68fq&= ^ˀh8*]`A6x$tiI`k,t(yvFf,7깒 /ȁO5.&D(0)"s;ҟ ` 2"8^ÐQFs`TPs '%6 P7ַ۟|F#D[Ts^zYPo&.)Pa^p#QGh E5c@ʌ cqҢ-, {x(z~%pc4DC|f/iV^o&}

2 ppiT%1<Ĭ$F q7B=GJ=ra:n:BNWފNY 鋛gwzu'4B' t`Q֐8s\k x^c;[4>"JRJs'G65WmX;B+iݿWVC\N(`g45B1u{:d`UTb XO^ ҹ7jGHw<4@BdOQ7ÃA)Lg1UJt 3ݿ{-Nxt4 j^ X2)鄖 %MJ9F'PVo8IۧI}?/ s*M_' >bepw >$YCޣ2rܪū97@@1m\Sp$S +$h rѬfN9ƦitZXoWEnm?9o3B9e$G"FU"/ QQ u{/ox?iڢeNe,֒8ʝPّk?XW#?R.m*+HR-z[ZM6qNo&_ &TdoJ<}Ǎ}70Q /]J-0{xh洘M^U *^VUGpf+yCR<4<v>#lCJ+/%lgzHaמ5vghp [<5U<3!BB?vD|O- 0\CC:! NFqѳX,r_OWZoNUvWʀhr!A RcBwʑ?dUhG8/)dl.h0-~>Xgpe -XV6D/( 5wεs^yTbqG>.:f}gG"v ޷"w̰˱;.tzY>O^^C?*xIs/'}AeeMo=<{~.>ySt?'?w,2?uW*hOwdhۏH+ Ϫ]zCy*n!?@~꣭CqNÞF RiŲ_@D؈O jD&T. qHQQr/왏]$yV-&,P5+l:[Yxx-np59/iQ H=SZX ;9[EYoyQKI#cmE#CQGUŮ\DыzVk{N?6R,X.$$])|79FqPh#~9n//Dl#ձI+g@vU,{xLf 0&=8SPp>^Ϗ~!aQlDqLĿÚ5z`mNKU `h?ky' OgQtI1L`%. P[W$ Wp]U\QHQ$ 2L { zjp3&C],uxU^' y9sŻ?kb8Gβ5,1cJaJwR(TySUSaPyRV4Z]rł矶- (O4iA9D?=[ukںspEmRU75lsFYta 0Ik4/WBrgWշ"2Sw.`,u`ôJɑ<2+ru[mcAVUzo'ۑ#DK='E0&rNo|ҟkhL:Җ)Ї΄]Ę$7VԘ9-G h*C,|<Š[ͮ.}Q`ۣRL]Ҕ5d >^m7}; 'HX,q#ŕoE"̥DZhOe=}1-P1*ƈi3V#.acш`צgYZKUFg^[;Tg?ɧc/&#KSWp?=DҟJOuق㍬}y&OC ,&;+byV_;P%u򹇓N SF.$>u6=iԣA#XO~e*\]?2 =JFMd#YnO]% .K2/}tN ⛴baΓ%/qN7`$mdCs ]'vn!r-9݆))!jzdءp)ČAg<\IV%+sfogO5\>Bu&* q ʆ-%GŒPhCGvU`6d[iiOa4+b>NSg{4>na= HqEMqar6'GaX fRIm "P N%':Kw}g!QLݯ/=$yJ 5n" eI-"=6*`E;T. 3]kHoB2Фٞ^*ugi#BF~% Pv18M,6 e]f·lvw̓3^\yO2eke8ɘyus\&sq9֌ ĂE*2-f%%[<]9!e<.1)#,8=nԫ z~Ai-zuFN׉à4aUhT86@Q?@6@XfEZ 6)ȧo7EfX18Gy J\f#,]([BwFHV 㑴F;ߋITc+TFy6,>"–+%3Փ+#̽;l-twgG鶓w=>8;-Eڳ\vWDr*.ӆ =7TTc9Th܏cy,wl}},Ti%UK);6-YNo4xQ=_bI\Kft.RU \<.z0DR=wo 4XKGSP₶2j׈ 2Og{欌ej;U^  gqv_va[?{Kɍ37x_EBxk>p޿7ϼiP 4E}"BtLU|?Өhݚ &̃U.< 7[W8W5$}“p8vu %,O]9`<J!ÄL|sS\R-k0joݷJƮNl(nрo{ BA-ʊ~N+Z%_7 }UᲐɔ `G8ѝ!|櫃QpT3xn«@cH\J;q#̀wv :9#\H4P JL>Ygcyʣb\)lΣyΘ=mo.Ѫ%˟72[e Cz4Rd69˖;8Ǐ9sgŤegCgM[NQv ٔuϯ#$!4_ /^YI:ܡӴ>rM}2uIJ1 `P'$Q}/27_hfm>=ˬ>:&?-FS8wKNs.l O/Eth⻭|Zs]8s9 uFV`W| *uG.X2}5މ# ]}W\IPs.pEFV> oގ)RK@z|WsEmϤL?^%?Lj[̒HNG5*L7:tYb.1$.ei]1cq[6tqC 2֪+Dch w(aH6FI{eP6KP f?dK$5@N%zL:EP3٤ZؽӍ[fc_ߊQtkvB7ܓ{ v'f;Q\1cB{ۀ%'&a]Yo(5o.|7t|sSMO澌aSޱthA}!_~ 2JZU8JP0Dd57=n\5`?x@OoTQKo ~^j;NJ񕞗cM9&bt\D-YX'gyYR tf@ȿ_ k}iVω$FU89|a5MSO!BC>Ra@JA[c6.Y$eb՗u569gYZ   i 5G% TModal_Logics_for_NTSModal_Logics_for_NTS.Validitydocument.tex7zXZִF! ᅃa]A-MՋhvG"uIBm5 .m7D/J.KVђy)t"-/jDO4 H0yavPүxG,R} sCꚣTY;|ATW'U?O‘f`D%suܽLw- u6_qlQ<$W?iRWq2mry֮oHar[h'-t55xmَ]eS@2HXv5_OݎlF61qTs{8kD ׽TҕKOME v0> 7l Uh=`{3~ͯLgf CyU9w|S6 h""EoZi bW6l/K?Ocb*k.nK-wyM(B@=g3avLjJ,06Y֫FXi 1YKu 4Q65ސaI"O'IDAKM2?EL=PUwCrL,2EҢhQ dM&42qP ;ɭ6fn_l}Z/vJj$7S^npJzi.*jgTk?umK!KU6˩ިY.ޗ|7 j.iVl!OQÊ[ {$~`bxy@+T`w*,ˢ.WY[:oU7^6Zb7h;mX%.E+Gg2`N6ެǜ6. 1o6\FKCe Nrs*Ԋ14oQD.T a q,ʁ'7@LFjFrf9(c}uC>6Qqfvx'r} 4Fon`ԕ]'ޣ|ِùkݴ"}pZsw[o՜G&GQVT0'p\sBykȡm EFC`Ģ@D@4Zlw|bwj%ρ T#&CE}9L`[՗XH6W|;߭6V1^o8];sB`Njxr^QnJYiL!j9u8]ĩ=ݷJ@@~1'$`'fߨeKg/_P#󖭒u2IAhyVG9&$noFh`Ji~Pv| 3|b%;_Ԅ$\M -> h{(>XVo[#=!*(fW?#sQ} 9iv-4#?EOf&fh[q&b:N-=ȖX`VgE KɑߪkЍ;p0㎥@q>, l3r}]7mi٘i5 Þn;?#p=2bR R[{ԈD2yǪ"3U7S6XK#)SAOjqy [3KA)?:!_],k7LζLsI>B!{l ",&fF-OwP j/K6H^;O=,-N/C .na 0I| A~Cu o@CnȝߺS{Ƀc{>!,9QQ%}x9f T_jrVڜ܁8PC2-h)Z. ̹;Z ƙaiT Z1#f* &@rfI=F?]нF:G[],6P ,@ Cfp=<7Sď!eNszI݀ Ë ;T զA(ۀ!7{c3l.w.ql~ 4SNblwS$(-N@2;إmlSR ET)M< cHeaՑ l2P[ fAɵCkpl^)ag-n鰽JayUȲ;tlS|0/\I@00_Qt,I\## m0HMVӸF^Kw-ɣUHg{Fׇr阬 $a?!X~'\O;?M=#)ӐLO=PFԦ_`00 * E5^@ٱ$7*c`΀}4fM0yk^~LJ&u<8@/vU8  Al%Ti;_qp<,W\K_Vm7!q6ҕmI  "V߈rOBM 3C>=/,ؑկb&n|ilp%TE;G%cizlgYWzsL{hBzr4 AC gtX `\r@ijKXbBͱ.W)&ً xegb8vp?㬲˝ m68QhHJ$ף0[znWD "+(& ʮhfiM}P~CsWY!\-\bklu/DWװN iU-ޜagf S/Jo(0ڋ W(԰g]toQs C~S;@40Cڗ=MO7` "'iV~88MV1~[oaN!g$8DfFrpkD dR/ te[]nrthYafg\-Q":Qo=$DMk!0f:j!P;4 .tX9s 0'uJF*0֏Zǽ8r'ްNG:-hY` i xn–c *D&88?ᘠTNOR(a` .^p$:t)Ȭ8ה9B D_6y;Yߓ*V6y乎9C,Z8kɩj'~~e9h=;e$W9W2c4#ߜ^Ssna#ZG]_v-TĥѶFodrtG,L>am tdDhVVz9ӋK&Lz9 R}M׭F.]*p hvGK(h=  nv{"#AQzWẳ .g^Ão]5^ta67Jfb^En* 9s5K9&~hm Kݿ4kټ#'#߽lRsZG|/+md#]I{xHiw*[&'Qw ꘱, jJ Qf t+tͫ [[?n1E'B*.wFpi,8 c2OAKU͊Zn('Sv< f)Dyt.^/#͌r:LEdTXF B]"4P( XOxhy OE,2'gm7lWWRt?,X\V=A$I&å!SQo"  q\m("ԺM?"`ŀAi!.Q)%f蔍pS keףƢi3U?beƑm{L#>̑ҺnbAJ1Ooyz#!ǔK }?7ҫi]boM6C0VL^ÙFh˳ 5XciYɼmor?<1k;TWct<a1]`b(z{;*C-֪=]E efA#ZGX 0gztfAv}x%d g#9?GؠnTꞕ+ܕۭJ8\G©@b7/W4+bGwR͉k,_Fp*5J4+͖JHv8ج/8RZbK0.s49!՗er+{,RIҏ_*45;S%=*lۆYO3N$jl$BWs,Tu= \k~bƙ4t"sÁf@h%+:x.[M ,CPjY R?d; #j;-wV1ITT' &29q JN}|*o< #Y?>@qI Ӳ<}QKbNV6a mIk) [0evX~aCEi1զvOm|Q^Eb ])2V@vxTeNO]GOEF&K\ŋ|pQR&KjtuFE™ N5U6DYMNmRGW"扅/D|\Qo* ٴFBNtgN"7&SXL1Uz ݢX#i4&k7E |-kcSFF>]XɜkWhBR7kc+lZ=(cK>'٢뀝8oX~hIvogk;L-}( 0yVG(4Eq$~%o1^C':w@9~tWR^7 s5&2s}C%i0&u@Q9lBgtUSN[<8L WSRrfE \jѧUPti$%xGHGnf7}Rǚpҹ2WΟ5ba[~@dǩ^lcg)77/4l}zO$cw B.T}a]8sCOˢl*:p\ J7Lܟ!~ W€-5#gYZ ; 5c% \Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Transition_Systemdocument.tex7zXZִF! t']A-MՋhvG"uIBm5r?BO1rdEޝ_kvo/BLQ >ot2_z`m~ lW4h#Ho+Xsyr [cXe1Et3JW?r* ?.(tL [d,2~#-Ɠ-Y6S·+F[O/i tG(0Q:њʔ1B59~b׭y9Hm0wo*[84TŎT&q-1`jnIrhyIBЋ秂a݈<+HxB3?ڐNw]5Ǭ*JLG_\g_v[v8Φ_e׾[ƪ$rwʔQDOlҢb=MѾJndfA$NA;'Btvə` 9ÍX=}1ki,|731tUk'&mN̓ho$w.}Xɛ+IRI.CҖES=_`Z=nj)\m,XRҳQ|n2-j1v8ZX8ojBY#Scu_nHzj<\^pْwU|bғgiܸUeX$ܣy`FA˓*s}2Kya.[LBsO9aL;\ swn&5Yg$mjlFl%t_O2ޱ9zYcd1>Ymĕr`? QeĒjiT\g :xG",rSJzav D rN*\:缯Pj͞c4?c{i+Zխ1X F,3H<LK(q08Xe5 ]e!i@=V ~q޺dhq,YUjOًڝ8V$_TK^T@ܬ# ?}}Egݟb{A_[#oT!)ҭQtEӋZg %]s¿`V$5(-ƖU+> @ǻ"6綀:=ɷ؂GPAe=*= s.㙵ћyk]dK_˦o ‘)OǼ.'qaO&>2 9N%F(f6J>p;y ٨<ڭe~Ր2=HY:%&bPH{njal):C .K}q2QIN͑mN6\Scޚ1!ۺZWCK ^u"YW4K-2n]Gjҧͥ}:[bf'ha WYuKqmZ"H#4F2<܅ԥJ0%7bTș((h -mcZwtIS/:?tM43Z{ S&^乇|C8udS6,9S }Dy=}z-:#[/cKuB[#6A "YN,S,Ai_6`* E2!B6xyOtLRڦl TKLD]uz?8!yz͟t~9}?>j?j+9ye>n /U\jtM.GszvXEnyk99qMEAWPt}p9P*rNxLn|۶R(Ӹh3V$U.‡lAHpRL늅se:3m t5x} ~ ֞tlXܷsךS b\MlpC)nqR$[Lu47AŤ07H zבH"Abʦ9ܐ,*WGl׶%U7z$Rټ'^+^s6q V@ ̝bcA5;dՖ8L} hPpef.O8qk9wlj0b t+‘S"J$}ɧأ;,cpXNnn) Ra/y' m_bS$ N#b2Np@%gu],y[,.M 6^y ]>3≿^|y +<]9tAț/y@);7p{gr: U/?AwQx٘qƎDyZ,-zsA7=koTfp%u5t+)俼>~}ڙ .ofL>l &4&lZ},4E5Y FP=E^/J )4Z)te#x!No{}Gs^Ll<Һ0,$ WַP5!>SXyIiy)|9=2l(vx*oX`}9Mdܪ5\ߺW (iRת1W1u;C|`ґOa9ػܥZ~a } ! jC6Ac\l]w){:GK]RZ[#dҀR{O4ֽ)6\&Ti"kXk{IRww)^m* p؉B &ו"X=':UU.=& &F.O(S?Et@?R7r׻7+z-V1 xMkŎԢKbLU6kY,]qB:[Zg`-q*{(\g" I{Af8H֚ML֛HLrv 2Ys-wzىcl.V}kDF^i|"Q.aŬuh\,(cFMBLAx -щXeVIw- |m)R푿+uKyq):!FAjG1u ƪ`uS?ُ@!ZϜ+S ˿/Y\tj{ 53 H3FhjCrjP)pC.k$XޔjS8p? }*E&2`$0-Bk40El3.*/jݜm@&zzܘ[Z/]^r~ s5/xOmN$#rkBm 8/R%S|Oԋ=7 5i T( T RUao"r%7!IokLl%*R0^,[6hdsOkλEO%V ZSPi v[Hz?OC\&j<<hb$;BjZXBnqׄKSdYgXv3O}PĩQ"X@Ѓx!IG=Ey(Y3EZd30xšyCӚX>]y):bdAF&Ht)!X+d0Ӵ&Ӊ[۴]w[ZWch fj8N{F)0ufWn]ƖbOpl_ij&=;%-MA`Y^ga H`TE8锣{KƬ4K(^o^6*x6aTax(hXߡya׋ڳqC/7f4Cb\Lj:8e[ @CW%1ΐ6AgYZ - 5o% 4Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Expressive_Completenessdocument.tex7zXZִF! M]A-MՋhvG"uIBm5r?BO1rd(_˯*n*4>{a7W_ĆmnyDi8c$OuU:kX9;e8= \F~Rk aCMdQ4[-}w5Gu׻iRѮPϷ~NO^p{ 0-I+$@jFS ;WKӒꢝekU+qNA>n ́!}mρćYQpH_ۉ=UEنZS.@T< X"N`M] o)6L;1?P㪾}rf˴\+F? z9aI o1, Њr mTv&L +5YOenA)HG}_k8Bz"u7E:zCb &ktTs(78 e FKZSY7"k.8Gm֡v2p w)x" bn;> Opf3]ͭ]XweGX$QbJQ5^m:%Dτ!:ox3aSCl?\ xV<̟SO0L`?Lik@5Q.//?}@_oސ1]ԉMr4@KLv?*n汊7eEg$ 3 ۿb~m*;¨"8Ք>ښQ|9MY'Qfv2!ݏ ^R_7L+/C5l+xoփawoE2:dš9-H=:4IKSAmǎk-QiE40V\LixFy8WnS3ԍ !yxS5fɞ1qP$b{Q$\JE$yg?j=(am{Op@{9j};Z3S ND Q?ZmOHa[ϻqढ'$oYd=^;  !| *p I򼄸>W}z[at% Xmm{}ʎ ෈(Aa<n t3ђ%iu^`8hEnyrB u KEݙN|=1BtUy|)~#R `WQBEg}W#:sv1f:mB44n}wq{߀q*ndYK+ogaD 砽jEXڝZ#ƖsWhWcyф7*&NTLb-gO=W aڞxGyƜ 2MH={adgV"O=%/J B׵ v!t4M",-Kψo %Bkϥ y",@I'DIWWNg97 ^y*d`MRkw»],6\=&[A7-iUY!x;&`RN?APA(GN&1K=\ gGz1;3PpcF#k䆪-D!ͯ4ǯfFp]&O7(uy="+Xĉ*\;[%Of|Lf8r67?[2l'i BgFBC>3\gP`}j DY,> E_:!,z=&Q%"ʕ=V*EW7_JY0aW w닽cTmb u;R3z}<QsOi WU~@s!DKrZS2gZ8N\A%F[QvgG~5[S )\v]UdzjM.]vD*.=3Td /-þ^Y'An(zFIE5U);HCJ ol.t]Ҩq6. NFu52̕Q02H>m unYS;5fvX֒p]3NX5.om HV)d jb=qFOi^5 rM_4_ޢxo$]Xk+# s}fTw@-o[vx4PpeF>`B1]9Q.( .r[vZj7Kz{2p[Z}y؎emka9x% :$qkSQQgLր.M&Ӽ󋀿4)=VQ:H{ST6j.}&\gȒ*`uk'߬B=̵LJ4V.`n9 V DŽЛhnȗ7(Rb5NQ2x5E{\BiqrW ~(Ū$.lҙ$Q:bӀ;р7dA96^O\ո*bU#e 2f} f>۪6LbWj6sp~p[|=.,^Cu`C|e"'Z݆k &aLe QG7Vm5C=h[HAcd\̀ 1MDŽbv5}YJSwLlXWzkF!qnޤJ瀞WR(;_ɜ }P ql:[zf(Z:E|û)+5_:;%X2#'<%1aǩб¤2[=i;A)2976UfŸ$ E+0!d|kCqFgE2-",4&ANJHl o9/R^̶Y=0O4 +[߮fpTzEPK/-7i8m"H'J\$\Iu |;_`K9#IkjQ*ө_p >tD\1;Fy|g3ӝ UgCހq 80hw)͍x9 "Mpk'd!oF!tkX|a1ͧ z*vo@1m;}TO@=ɏݯ׍ɽQAUuU$L+>6٨!#`hG?O@ i/jtV*Ҫ)[1WIG IzV$ 7:ΛnԒԤS_B*ޭ?%Ft Z^W\{iJjyۇ֤\8%(e4}rbPݡ1}oT:usun5܌2SrLʞɵ@<i;>-4ml|\kedChk{uzMٮw;̼g3u0 |_ 2K*>GF ]HUD1M7f71-jWcŇ*.S (|RxԢVAomc&_랆,hbospܮ,4~D^ V~~7lP5ӎAΐ"A+:}tTYX  @"ZGN:I2 sU0T }S X?Y>eH/v"N&AKZg:`HpJ<kCKNdtJM\t@8⫽7{0DyUXK~hO.+Ϋ/,PɭPwzGB&hp(b+2&i2" Pgh A`NnU1q\\ o!_srDA{2FKT|2LaeV5&0j"z8}*Ev˹t RzRƋ^u߹ sR8{]ͳZMC ä}f/̲H^B`_xSTut[~ ͗P׶!M`ן?_:Ajg˓:fr]W B":mGN/ZA d\1$_ qWe}mr!{B~4⇭2 '[ɀh^NωP5WK'tx6N3Q1TV߈HPh,4D_[pQ@\`ls]zw-S8rx)]S`Q }ܲrW?ƣ&iFNwE"PH4ʭ;ũj9_F,ZBgns(\pwhSwf*,CmI0)+x~͗"|fj@Gx:Io AN ##-NtAS!#% ;دy{4Aӹơ3!I*ѨzxfܐIN;&7=q5$1`fQGM:j+GlZo?v`2'0ś9;5.'ə,1 _]<$r;7b*}RWnWaLVR[ךg,ӧ0 L3AאZ !W]C$-l>Y2YmL ͂}-_4ȞF3ķɁi23?nP܅_ߣʩ\yUu# :{)PpZ4Nips P12c}S PYDn Iߔ׫;@`8M@1ecGfXx8K2rk\jJvC Z»!X^m?w@Q .XkEeq2k Y2!J?( AhP̲KA8l8 yP1ǐtsGsU$!]&$uyINY>n(a^Ǽ*lqخ|zބh~Ъ7pG̼[ma}d:،oĜ M9C/nXQ(?ڮE DHEˬ{Yj}l_ 9+?Ӡ'Ǻ-yvu*U3n#Уދӣdj[ Gz֫ QTXXpG!:җ'ƎA0iƦms%0w 'ᮞeھCK<hh\_ w c-O^\B*&/)>'+/x ރ # ^IcUg1~R"C4Y0l$J\~7ZFE9~mzoH͏ogIs5lѝ{XjxP@uh/' 6 :c5t'xw9Q)b ߇ҳuiHW-o IIwjj#ዜeTo5Lr&T *\E<#kc\[UP_$}h=̑YʣK=rL2\a2}a /=,Suw9Ǧ ag94l+8}]e qJ5kB;#nb6#% Fcwg1I\)>)2uYƐL[ M2٨.FW܎,J_EP1PH/ܬӠHlO8ɿϝHر$H@2&PIE7l2ֻ:O1tܚie"0$%( hm4]޹n1=+x+#O +9!DOkK:!Eɂ!ny5=̣Kt-GoFxB&78Ǧ.(Os@ކ?P$LTbkO!K'>~ ?.{Ĩٹ?E6*m]@ ]qd9l6J&qLE-Y#!R.0EZtJ:_o=i:/ϑZ * OM#躆DbkHOX-' `fTG$_+~Q_J-kTFud1_ ]--mcatidҝT8%4U&تQ.̯X5u&-`?' F (PbySh9(}H =fA9E+8 V yGU4}H$T8ڿM Mg@l6ͳ25pycM?J@4({!*+_Mj "=sczfV7 jMo_I6'P;Fl@gW:OxpN4\j{ )шM<3"Po}MӚD76\ iPEGm1am:l>D) 6 ч?R6a <NwGuy{ K5-y";b1CTh+K-8 "w >ĉO65ϗ.䬻}g<$(¶s)| [e/7iIYP,{ (.6 aƔ@ĔoƨǑUF'\*0zчmz'Zra{V'f,bd][;;lFOY뇪п %QTM W׷E8iu}/3￿T眘mMӓz.X@K=(„vhYUJuJ8MP%KkV ā!soj^892P?)(%x_z<SZl % î?@Zn] WjDAN5&Ri9%KjC=Mq!eC} x;YC20.8;D$-Pz/"ۘ2c a~]hX`҇44͝5/ ~SMq^?kBOi,%k \R(HgQEi3Jv`i@!ϔw|_yCA^|xwuk0e?QR{r6FxDʨk,G$ɓl\twcM-W'%*'5@"k%.̰Gh.8A28ʒYT!g, ] |.=B iLik#mH2!^|"FG=AE]اޖeWkЙzVCKA8) ]B.28%|=B/E"-$ )~^Pfu ƏT9|b'CGby? 7 #*D@Q|MGGOcaX~BhbOkIbTcu+Z! 1&iġX|=SQl) 0KmWk3xjy;zdt&Db("xU"'M5.k$,3;,YS"(HeI|4[Ѧ)z 9.S0$iˌU <5'54@ LTj?pq&`MQ jC)tb1R;{B%53ax\턟)869;QPߗ mz!=R?zOVM켚Df5[' H53O*)L/5+4*q*YF8 2ƱT$N Ț^AzjQLf`67GԂ(m8s#V: ;lVZ,MTFO$C)m Kq-}a15ŒV7&n#+^ E8 IFZi2i"@Pq!&In| yrNs(OU%]DNeϛ_k_FjN0,LAzXGT¥&ji:' lk"%|p8Y鈺+'ڿh*8Kee&qY vB{:]îOc^Mo=bɠPhD(2. #T_^lٖy +MS~*h5NL5_@\uVmEE/3ސ u6"Asaf*Rbj>8NkZF _VyQD-*זVS,H bze5HY)bS(}5ErDɻxK"{ }YC2cFk&{>pUУTAǶNSN),vZv7Bp8٫h/y 0v1ց1wa3;q.$bS K ۂc2o igCZUEc/Iˆ!1Igu)k%i%1|h[OE޽#%Fc]fáUñ^ϙ0ˉLzXe\ѾJGJmoRp*59v++`GbӞCl;y i2gr;)h^{Kha)G{@"kH|X&ӐN!klVp I)O,2 89 *>BdG$g|D\Ě54@;-2LQ܅xK[Rc-[ 6D Bx:\FnSw(뻓~K U%|#Xp@|_Lf:J/>$ #̄m eM[@P|i\o ܉]>zBcu#5E~dKb<}n+t6 3:ʏ B@_J{ ,H^cߔ>)j;"H*яxh^FU9cb #ɜY,]lӭWt8kYoxӝÑi|P9~;ڳ+Dy }A"0{lnA׊DؗeA5tE*܎@a*aG!>R-_U10O/Tb h|?oGf)7y /$ 癥#Rgh~+6oHT^3:pz0=d#PrSt]o}NSjaLp RYXtXr =-_`,qlY囮Q, _|!^n=R!?`uB [(|hyɢ4] )AS #H086;A6o{Smg\]6:yA:6Ӂ^5GdEEyk#+}HJ%7 [< }mUİ‘ 򥠜֎t CC/$ uVHb"eaS,lc35a]F#a=RYsE3Lg6cIJ<Qʗ6+XI* hlxf$ U%j\Jt XMgjGOعx*w (6ph%Usְ=sit36%]58xgp攞ß¹z8!MsY{%c[ZItiJ 널< F>'Ԍ0Mڝ&D2|~HTwE@8Ij#us!;^M/ Y=vTɱQnۭduV~Bwvaި̸BZqKϔx{tjig$:[]sݤUP0jTQItW.xF*ܱ*96AsG, ADkK949"Tu4G C2<;&%deaJ}b95ىsuPV|'yp@dy$h4D㌿rSnF -mH#r7BiOy7^"12Bػy 8:k&23Us0VSuZ8cΧ =t:qq(*x 5bN'm< 5ڀ ^)KytA3&b*ln/f'سSi`=ӿq o]> Q RiÌ Cb;\ͯNm=@# ">EǴ7(~gE IaUz#AQ<+տ:Ep7C_bMq߲G6JJdˌj|&3"`u&ֲ@g 3ksbv]\0ר0D]%皴۩5}j<8KϔG5/  +Etp\h8hI̮{3h$Die_޵^86^d+(C!x)Uq@͘=mޢL4.:ѮP4Ml|5Q3h/cىI!~/`uN̛"60 cS=՞dK+Xlf(G K;] CYzu^˄->oۯDhJ,Uizɍѷ[͇Q7PCyTrߴ0ǿ xӹGBA9={ $&WqiWS>5fƕi-xll= }Y=@F k+*'CO7¤T!H\rm]>-P#܀UƿgZTY3’HHmb̬(^I⌌LpMGտȹxJc2O4+c:>Eݳ|&!,C|rlyyrd]2ErXkh DǪ,߾Zx Ff]źeBf@ ]N|5V].J,ͨty#[xuelp^Mq,3rbү$0ApF“,Um:q=O`a[]Kd~+/^}6|ɽҖ/G,FpudN&_ưrBoPϸ;B̨Qi&kgD1t}wbk.E|FePiު%o#b`ef. &v L6|䑺 fN5"a:ȏwRmy0I$DIYBk\fPD`vb@;'g>,]#mcV _@f>MmzXQx*mrx!ʥ{`,3^My?IƦv*}Q#pVR0}Z+i&Zhh9yGt63Et }~pX4Y*g땋}lVK.6&k6=k) otQsoz@zzV#x&3*ZIp/ٛ!; `$MZӌm)c3v/~^ ";'yYB4ߍBX[!@驨IEr}hHɳFlTR>n $.;|pn$◵Rx(eH~D]? v$f:&=C1_O&7p}daOlAH!l5#&Hۦ#D`LU93#Yt7ƮYTnR@.b0KvU\-Vm(50ѨknW p1l~YcHm.J d):s}xɊ#ИЙݛK͡XU! ˨u8WD;ƿKX崅I焋ފ.ؾ#Ƣþ2gh 'Όڸcf6ϲ ~lnı.CmoeQ,Mqr~St_!2iF`AȾmlLx7EAbciEh)`sd3zo!1Y5yeend 6\FmG/O;'~wh;H-MrYmALAt" Q"~_[H }nǒ(]t!H2SҞ }W,Ӂޔ 2Ѩ6GAG nؼs 90/jԸz#!eԒe@3V~=p';)Ć$G~|J*Q gYZ  N N' 5% Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Equivalence_Implies_Bisimilaritydocument.tex7zXZִF! *]A-MՋhvG"uIBm5r?BO1rd1vȽbjJ xrm\`O@ |V3ho߫֡j- 2Ǚhmž @ 'H-o&"b֖ X>L9{!Kbpo) L%?sJM,,?J&,x3yhTEB_Eh[^v?MRqB._ǐ,  1ՖGwY$E4G  =sS]BAS!޸%>-&;_'&gmO kK7CWF5gqdlq5҃XGVO07"!<22] B击('OŻ3!&x,2ӡBz~Wùu`/#]->}>\-;u7f,cRa ZU.|}X;|p-RQgp\N0siIQr$~L-tOnƏR=_F('LҝPV˦뀄;x {l&n>z̓Yt'J'⤼ ~k<*R T~z{]5c !G.ҥE9:UNP'$70oe3QA b"W3$WsM&\$THUQ=q~^ ^P?0I輲2в 5uѯK vm؎WE-2s-t݆g6.ʀJ`"DP_=/ЧlF,j&iVM/tzkRP*.D1I8rej9\\#*gy/D+-ozx` ZWg!PB0#Z46GQ?q`ARK7϶n, ;XIZDmY_'`Q=IiDr(jS8+:$M^~AVr.gɍ^(koTȈ>EfgOxx96̡t2bNc ? rISqBEQ':^6jǾ$\iI3{Au(} wGYlKM}db?nZn5ԾpfZ$jQח8# ׵dŠu_BW- xՌ= ɌP ̩x {CYsPOP” X1e#pgtqDjjy26!Uyb:1OLzm0ADy4AŹη@uTh&Г{JE9'r:y712}hz &OM|'kC!ù3hDzbI5QR'Ǟx 4D0Ǖ)mΌ=A {;֣z4|p&_I1,=`نer5r|/kyH<acq-S$&ߥob #%mBbMpoY2,HUGsHs6r}hLjU+[qD=.tG׳2 ku3S5ﶕE4>5[m- 9r Tߧo 4j9\YC4y-a,.l8l};kȌ蚵d l^sQ 8aϏBاo(m(C6zzkLXUx ~3*zX9^Sw,8r6~p!ո'DJYgVru"ɮ-V{s9VyM5H3RH Cj13H٫%Jr3]pܘ;p\:`N?E`|%z1iT.;'s) JԓMQp$J߻4onn.›PBkULAKdVax{Wɺ8 xIMJX )^` nr'\> a_j}'b}V of!AC\gۣ{8XokГ/~ǎg]Mfs6)>2NBUq F-п۲Toms0T2xQd,P]Ú_5&ɡlU>1FG"srݿݩ+8m }:H?=6=^bl1"|Ц =XH.yo=QDvu% w:Q$ꭂ:QPc 39.tCAʑ{Q4o)g?gcn hd$W&q] i(wvοDleV't0;ofH@:RAWs͝ew[a/4_  x׬,yvUF1dwp Hyq2:!ED%]Xܣ4)d OI%#[$ 9ar!İtH{ ;nuN!ܠc!%I_v;]$ k.|#w$:WvI ~I~Tk]Y\b%5CJۺCN~=RU'^Ic/]Qv3g+]{p6dY0 yl{~ u>2b!Zid \K 6`(^Ȥ [QIJxbŸv9W^C]eCHI> . OmhT_cE7^IXL/V%'Trf9Lo0-p7'cn$ VU%BH^8v&`sj|\%\$HK {OLWх~](Ӯ9-Qnn~ǭQ%6?.Kwal&z{2(Jϑi婔%R r2};o3F(\t(f. YO^gn=PWf6%S cQo4Pg/%ϱt":O(u lϵ4 \VZ5[_LIJQE *j߂ 0Fn%m@wvVxWwswۨx~َP&>}`uʯv. ҍcC?l}F#PَIhy9)qGEz^uW THSK \pAG b+tE HBX@} hVB'4=_(q/ -nuu՛|\5!m7ڳS*(6]=h/țd1)8]1e$qde>Ӟn'a;{ VkR m\$7QݐGћ$Xތi<K$q>s TL>z'kAnKPXO;U:$4_? `'“8d˛_.PɖUx+<.=u,;JE[8jx!V(^]q k4zL"ͩ?ZyB Zq%FT)x3 In.*NbG!;vpiqSJqPB-v=e~/BB{;+ tuZp,jCЍyg #7aQ_Cyt)# =5ql]qzU,_; Nde<Gʪ#risx:fF)4~>4{ ^?-2jÏ%F'y"lUb DJ崌{1xsɳB 5xVn^AgYχ?zo?tA/9u&iv!uf-ħ:8=SzBMW2r$u<kD fܑ hchE_D 8r|%Y=WiYQ:F.Y!2Ҳ@뾒_EBcu2wh>~h nL?`dSra1(2el=a%E;n+嘱uo-{L e'4XMNyA+V&8 PY `ZeJt:/!Qϒ rPPB6ߥ8&{ޯAKsDD:\ IZ='5|V-HBieaI!bydJ!n?*|'4?q:4bJe4rSl=MiRL9Ȫ҄HV4`aR Ef%R6/>gYQ[(Yґ@%tNXoU_&sj)%]Y[C3ܿzR#|4ܦjǵP+m𤵄_0΃k=\S2 iii|4 q{Sq1%1|UFIrWMت7Z%iEy32P8 Q  hęƌpnAKg$`?V֞4dmfW6֓+,}Xm{ 6{0!} Sl_u636=>gG~ݷq:Ϲ/x0fqI9]MOM<-f3 Q>%6|MI^]k``EAZs\q%"Z4yq$3QgYZ d5M% DModal_Logics_for_NTSHOL-Cardinals.Wellorder_Relationdocument.tex7zXZִF! o]A-MՋhvG"uIBm5lRHgƀTf,žT0xeSpM-5{ъeoF(dt-{yl *l"4,dp':VtUXK/Cq ʨپhȱ6Kg؊ݠAs0ʨ Qfy2>9.=07.I-DQB6x9$KƜ9/ĸdBfĘF]/Uy5>+6lӯl*Y{3[Q`4ǣ)/Dytpad١m%DPq6Q7GP_IQf0+`:`S^1zHkULbp:ZX+qxs[]S߰J&YȞ$5DRcZAp桕}1,ņΥ]oF[r?s4_uOx'rR f;%E`t&zebm 3bɔ)pZI~2 \C'QD1fѰ)G::#~ 62=<6a3$H*yȤ%dޮTdj`aCwOܜpick*3ePV8avJe4ʴby/V[)+(aH%+ߴ~ݓK O?/k4jAW.ps7dmy\_R?OGԑ~!\/j{WթW׆]V`HN??3 xCЉH8^]y+j2n 1duM9yaauݼ]O Ԯޮ%w`UCV1)]Ym\~p\ܻ'y҃918'] 'gct#c9-͸;S <͢nJnsBUdn$ja-ڄKvo:5OO;(z:@;clMoFJ4@1Ă^FX5;[/nING`>DW*^d'NzqCQWԠN'*4m6 F=}:Vޭ|zFǥ&>cg;h&SI\,<}ESV4yڨ?^iW2REzH1 `+P}dGNvYTȎ@Xr 3*T O4e~Ӄ޹5/&!4 ܰPBz;8 _*cCY=u!Gcީ<ȁW4#uqvj ֧>TGߢYjުd@?aq,{|g՛+2auYOG'}]$=-܏kr \u*LK&aK/k^lPvGm>:˲]څAŋf*W"yQtnMɣQAvH4XwWi75; #7#+ӹmu3kr#ALZҥ}d|fb쭾lN7SF-+cs(됕_u@ˈ$%$eH6^"'%Y W'g(b;CeUԱзTds Vq;T`?Kr8CuG3F7@cpGU\1^ H QBԲx"Ҩ"dt>-y"A1 f ",AxGtyc&O~nLe]xoeml| 6tj`Xʺ 0Lri; IQa:HnNdުnDj0Yow4R7o'7TֆxѿW 'e*3!.Js:,Pӛ><} kfAV`t[w[hSI]O څUIB7`O͘H ^V(?ŋeΨpl)R6`sd9as,b\f$.> bMiko̰=U:f5m7\fz=)*nM_$ k-L]:KBr_ܒF \H%XfbX6wИ!ꄚdi*o  Ӌ&l6Cʫ̚ݎ"ʸedCD / KQ}V.;wl-@r37_kN!6׸g}{#hX )'u^7FLA!C9a۩$\BNHO;#+Dl_MaBւȐ\jk1TL]/fo`V)'GQv4o" P^8 B;Wn&X E3LZ4o$Zfdeq3$ZWoRqs}aiUgjx[ƯWK筊tLD2ܨ :MG 2r*Y҄QyÖ1v 7l.h շ4tWct fSYeП7ԱZJv`gkoĝe`d&4fy-Ze;|D+P6l炅cQ10ZЁ(@lrtXz$|=iў#h>RҤA ꂝO2<9mOJѵeuFY%EP٦&ᇚYuNT&o.jQLu_/ v'm(!8i>5C&,` gjUuկ䈠dF/FS Zb5(!xRŔD^d`;xzfwitNE;4,ǓMHq flpOb=d^֮׊P~ڄWxI=,<;TeM0VeFJAwOY`kkD ihфk7gp>DLوA 7*bʛ3WJzA!]\baL‚9K4Z.+Rqrq%J~ 5 -J_G#SPk|BB!sdZa|*0P" W?;_(b 7:Uj#nQ8>oʅȼ W!~ܜfYfjqAV[J5s,Ko~qY?6'  "OO戍|-00\%1Mt|Յ9uP(zQqq]&nAyqʆ5=DF=Ou@ۄ7[\XV?4 n :=`ԀXb^ָP@M]`W3+m FY"$z²cݑkPDwB "ͯ[3=p"$P\MT8uAuNk1TD3hA&;l2#tB]0's g%6mt)!qcg16l97ǥU%K*qs`Sjﲙ; tHi|6F)"JG%WZՎj4l9{A%2Iz,'`{GO\ĭ Ϟ(P Lv} LCM@BM#]#ySu[wPPj%0!(=jMb5Jzm=.al0-,pqC5WlDx4mCj@pfWv}YpF3i>.%RYҴ'K#L\gQr<'$*H^L9O!I"%LRDLL^$ճ^eqU28)_B%b L* ;6^ 2{c+2t9u8^/H~9u{@z 1|%/3^v$YY :[_e8WZvW=3`VcȈg?<>duJ0ևy OT]՘fp碢qCӐ]6G>x$:;P{ ݊Fʥ*a8˘U _*-4@aؖdk N嘅Y?:L`Q⺒s@*~HZCS2ӨL "Rj#gۥy<$qC/KD`M~dM_a21AjXgq zr ḿt*P v[v+:۷oAI磐5߷ w![ "CzA75!w޶XYa唽 ݬ8Wf:Zs㑡c}IaZ@=I';G( :(|RՕe"(\&kY܏(-:Sl*LqX\AQ$fr<Y21b m?Yja8}`Za zm(TDOH_l?WŻ5>t)QF+NY$AH[ɡrBH$#@c%(6y鴰Xc2u|$ T Er$х=2z(i(1j6Kh_,֡Uݍ3'~o#klA,uR;b"iKWdDhsvShk ,4\Au?!)2hߋ(/@׭ Yutw_6U:  !{!f~n]$.+9 O{NZ/O@枙YPw'$+Q+kSb0*q3d r?-YGc6Ӹ^$;!ؘ:iz'M3 W3YcY#wq#γXXayG5 < b$s_06Ӛ6=, N9&EBAnRԪAVE/mԒMb .NyT儢֦G@法q:S 5[DzbӬt(#i-g{`A_o'߻'ZM ev 칙MLI m+J`qd]XNLe.h5E}h̨[?gkCeb͗Aü6mŀނ>ݩf&G]$OB(&h;-jYhBvMtՋ(қ^QtYz>Y!{Goo(Bu6JVrm ~F *PgYZ  ]N5Q% Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Validitydocument.tex7zXZִF! h]A-MՋhvG"uIBm5r?BO1rdٸ9yXA!H5vaf_D7q=ǩ%Z"Ӭ}J1 7N.@V I*#3N顣K#90iXVt C*?aպW>6.9:jR"V +o. fC?Rp\Tո䥜鱐XUXere8/E*H%0ˣ4 :ښg= ߸S@ ~RI^v˝]V 2N.[s[-xGk 4Zw&Q'-k;UnQbysMM*3m U@]5?% DModal_Logics_for_NTSHOL-Cardinals.Order_Uniondocument.tex7zXZִF! 8+]A-MՋhvG"uIBm5Ń!31 UF e¬& |1;#2Q6^ P봑44 !$"N~CYo|fvnOFW(05u>UF H\[*,RУHQfu#]"0D"AyIHEz;5%VA_mQϝw;32jL3ZDfg )Ow4k"|ݶ [Z5}MA{[Hy,벅e,]QM@w|k>e)VZYo-Cl|-`pSE*n F PIfx)4)pzTSt"7٤[^3ߠLm,$,fFԊV E~>iE!Rs|?G~c`["&)]$ #hKy0PǞv\[trI QWPN3ZtFg*v~9i@(?4WYT?BT YŕV0<69b~_{agn\L1(X"rQh+&qSn-ܔ/X[5P̹&́Ag vh){o{ |hN9*Qmd[|\Lf S?Q5O% Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Extensiondocument.tex7zXZִF! н]A-MՋhvG"uIBm5lRHgƀTf,ž9؅({2=*[D&" ]D3Q5:*?7qI= #6~ⲏjW.<3M|[UxxL  DO -!7緉 .n WN){9ds;ӓ|LfnQO LɚwG@"eß&]ݱ~džtq4 qrQjlź?tΥRѷaW޷*8c2l--D-7 f5d ;<#ݩT.[0n[^9 ˿[溷M93}e1gӍрiA#P1N9=iyXekSM@W#b1Cń?F;+ jH:e0S-Ld>5e% Modal_Logics_for_NTSModal_Logics_for_NTS.Expressive_Completenessdocument.tex7zXZִF! +]A-MՋhvG"uIBm5Un>F@.l9Dy W/( L o M#z\ow Im|P s!w, Y6y mG} 6DȧfG-6PdsH|eIKmJ6kaӪEE*،`]+0G R~[gߝut2~LGV9VO½a|{:>6忞Wa#ͰQdk(I~4.]Fx7Q^EY BHqq: Q}0.H;;qya ̄c.g:EKnOUG̤ 1Ot[ut6dړi!O*s|A]!O az( 1TƦybpjQ8PB!g@g"G$~h!A)evu!~Nj]flYyUF$vp.6V:8C$5(G]TJ-cl_㻒휽5T&@lICUz+ȶ{ ϶`RQZh6礤;78NO/pmF:?K&1_;+e%~'~_<X4]6&D *=(9ՖL0“!.Ee:@_lA,1!Ǭ]UzzGBFI=ZՃ=аAv84,((1!ۜGq "BhOoxmKP}*f=PJ`* nEMv@3ի=C=b;փ"E)pxZ%cی|+0 YyT6xa(y))tÂo&aMLRhM 6G\pQA#2y3Isd%"Q"ZޮQ]2g s?=Ρn$`edl]\5CAe?U1#S) ]Mb23l6 jh٠(I˲{Hor<M!A< L~#UmV%WL}cDEU$o?8ߥ=-EkH t)TS$ 5Y>D.nO΢TfK\ђsQSC1X1ȇB0J!C X:8f1HN5=Kkna|JXK.$5@Lk5M |ðJ-NPR1%`J{cܢ?~DηisqK";O4_缽-/w ڹ3־n5كDGŔ`dCDbϕ!nyqiVXܢSyo@Y3쑩CÒö-?Eu`)L;ʓ/D+W3YOx!&:1r7K @Gt|8:.[P)xI{/;lHq;ݙ'?4Z.^)ė}?"_W!.ɑGVJn TV+7Ƅ==݅tEHkdr*S"~‚6i+[8xg^E˼>mOֱ# Ge],'u3Q)!@+F |x6rM7 X/0?uf whDAiD󳵨N̎spIwg" O{pxu~X*8!ZX}见;QAGRo2D2b<%F*ʬN^mW|Z;х̟’@O$WcoC@:]3"uʬM Bf)$}DZjx8@c_oP.<;?X#Ƃt1ݿ%Q6bP"AvQ=\ :Z,X׊Gr7th̊k} 1m`W `;i1pgVE.kozFQA{A4MJ-ؑ@1ʼny r/냝q11 MiX*>] 9- AHl2[TA~ZWבёc2fM+WpU%iT]0}S6twEHwH`|PY#S4JvOU_5- 4ʹvx @->> R)q^w~Ř ᪛zfyf[:3uq*9zs5݈ʧ8V6*뛗;&ڍ $ܬ1de~H2Gäw_{lM|Tzvʦqp-9~oj_b8ߔA?;UR:hSC;DmoLnzƵuxG*GmHo<LzL'織2wȓ{߀WS^ 7F̉d φp NFgar?h(N06q:9jq 7yk0>uAPZCòWŤ\@ǔM3 ,dbꅢElЗw^'GK+PE7F#=iZnv%&k l3h6*C|mtFQr%ڹ>wx2c' МIt l^zcv̳}5t?q $${r)o.q–S8.Kxx(*l7 [ôji &\NKC:V^Jį|TJPr(& 4f*EQ*x,׍BT,¼4H4Zr>NF̈qK)DO%~Ưn%SNx̵H(`U4=yL=g}:H5qԐK^tJJq9y6KFcGŋͿU7w7cUsi8%D#uGGK L$ݭp)/Ǩ#DzMFO"hϳ!b.Qx,P*!tXoHBПo_~, w8bՖ|5=T'uR Q N<XlYij!iy7"#PtMJ\:SEe&+扫l=n'X|#- ! ^t٢cM\>J!:ebƿ2׽:F)&஻4𾥁_7 +mO"F\@)d3X}_%n' %ŸgYZER{y_ܩS@H= } ac(w0U  C噣=8hԾ7v〠ҹ4Hp6!w>nf @۬E0>*M)UT}0>|T']Vs4sVXvseCKmHIC;C.pBQvQcnord2f{|U-},cn S_WhA秩4ٱLu"\pCUrc?$|2|ࣿbF) XH>İuƸtØA]KE2v PH諳aC1[ SW"ipmCϪ .! <3I P _n*:Ssd}@ Lo*Cݿ pB+ԤݥF3jLeF,F9WdpE,hnpun6i,0 c"Bw ZxEsZQ~)&IXl!ask|e{Q`h^+o/b9KoC['Ǿ7ܓG>ЧD)H("q箐"2^*S'raiۮuꁸxm7bFj`(t 4"=jpf=m{,gw\C|ђڱK-4gîFm45PzHh*"IG(:F{3=;/6إq)5=%`s'(,y[B[s.#HO: &?9Ɠ& b:L($H -ޥ{B5 No+-;0v/\@mDdƟIѸ6Ƒnj*4:]09>wŶl5ݣx@cX \a;VT (s>ܳD>XQ%'y7H.FHvSIzk*Q~ Se@zuRƈU~yDZ_$Q^fXNެ>}7ocTFOBȓw%97 ,U-LM&Jg49!([!;"7vEO)$>}YV.[?F] ,CAnk X%iLs$+~oYe w?E: 9vnx5~Pb`&AkL|(/yH*w'u|K0vgs}&<#muV=RuԒSV̰u[O𘸾z`uV}v98L1/H"w!PՀgj.Q=%tTtD2XoŘݚV}Te[̾H]IŬˣDl$4ѳߠb=tzL:vWFnʼ tf\(c'|ySN6vrF'zy3l΀V$ѲZ"t ԏur`&`tns)`H#{nn3R j[=Z f;_SCG`7rr?כgpRqn%dzU'd|b B}NXS8oAl#,D1AQ:`*Ol=|0`W?u19A)+?'_@݉mI ܈k#U(['1?chT(ׂb%uLe][DaAk*a1ŝz -ˊ.!u$A$gb-gUUm1.U:j"G{\<9FUr>5&uWK@n +\r3Cz>U(0Tq`_܎QkY~ՙzv r^ԇErqDTHDE*Z pHkg˒?{ ̝'0߾O- PT' VV7Tnܗ+_jCB }Q˰jIϠ?6*уPY`B_jU|!~*< _\"p9E(4}տ.nr2Fi11i@baOm8+PE1"a6>x =gU\)qdOgYHN`Y23ELf.'kI{v/Sv%+NCBhL횆;)r?> pdC-us0;J~R Vz9*߄UWV1 AxjxF[!CY;I)kզ+GBV$l2h- '{vI2' >`=+9h,j[S`LrGHBд [&gZvyWzjdlyN :׳bJ/-K/Uq-NOqp(9,:oi=bfOP \Myv)j7Æe3цK4 Kw:#8ی)?@k^M4-9}UI<Uu[S<4 Mm苆2ULn4x8;ZT7&#7|Ч1F z8afd7z< DXYT;/eV ~Q1-a׊&~N|P0o sO@kBe 0~ec.,pyKE S3g:\c3Ĺ4`[j՜cZM'gd2R8V9+F@wUNn*V[: fD-։2an0K[>I/ʮ~)S+=L&tK## )˾UΧ;)&He$YqZFCQC.- Zv:Hf-#&m f5qHp֦IS V 1G/@D b5@A(^W19czE#Z%do#tiTТ0l%F'gDb _sd =nOxrhcqCmxw1HexC*5d+^XНB~&V"T2I([Kfˈ@/#wni@YBC-LHe Xܦc3$Qߒ0cr\~s@V4)A,0g'Ԭ`gYZIjgcu-#]T8%Y&õF(S)4 Y>bҬ*RQ  Agjl .gSm៉"F8̩>(%kEӫ`B;ڬz0"t3DwGDsn wLnn7ַQB$kQ5Vov)ݯy)7P)l{Jȯve4^7$S#᦬dznBH7i첿r['bo~͸8Kc|mcoe GB]XW &0%Nо@K}"p8$ez~z'eBNB:J pyDTA9jn=v߻gXшs'GIK!%{8K:B/KIw@|q /1 I7(1%(c!dVO9~E{qSA76y،oНf | -hhIk%BXt;Rt}ZQf搷b,d iX(!>"m-Qv,m ܗ1wa Dl}͇lK6 /a^XƗE)ihD z}ZZJ%ldҕ-#~:7ymrє%%>+NH2k龙hP!mہp45ۉ;H=IO/l+7ʧ`#(H#fKSby1{nq1H*Z΀ UNmu:BLDS{^3DmDqwYs&yhTͦE9{a|]$×_a/V&*(9kkzFHR bj},勯} tHfעz? C-C(aMo C+ա ,(+-,Yox"%cH<(xc|܍T^*ĉ fNe}*gJ(H0 Ԓ@TdHyDRKx.%(p'J $4H45 #N]t@ eLxQ kΨ4{xTs'LhPN+%ORteSN&C}mTj_[V{+1cV}MzW,\I{˦#cm/mEx8 6ᣟw(wgsthuy*kh@9PMjH:Wx㙖^⣳ԁ/+&+$ xN9Q<}Af谮5]ȋ(Z-b !5$\ٍ&Ϊ4G>4tM {HҦd-+++W+^'{kaKLG"R7?sSy/ .bը3a3 g.V%kS ˳Cng ,zO ~?Ư4ܲLwG/!;7R #:e\)}OqCV[?Qi;U(g@[LU.NV#}t]CWozk範`D+/BFgy +/3v8; فWNm{e֚W4yiAQ[m٥qz* Ck A&RY]$%ۤb iCqS|̮W|@3HC2ڷɊ~E7H9-&XqdL}YrO/8\lP!xֿkUXJ; [Aa{ߞ&z>>ڰ\}n L:#;vnOo.&ivH?"Uk;wFfD 6ΰ0J˪es삗T4փ| &h.|ՈAH!em8.3o[$Aܱs6# # ObZGu]Z":22niݺʐ&쵒Aή!Lk VvݨwiPl [;Wv[mq(x~P~~_7KisBeB o>2]Eō˱B&ꅍy~.qݫ QǬSfWL'$Ԕ ^PX8TymX z}6ui4Qdb-,h)=Th=K`rS pH2B?q?b8095o`[w({Sۏe>mE8\ apM׽U #ou ^hLחvQQM)i`\s>R6)3?g\\~| \D׷rd4H~Ӓ&$ W5yk/U`6Ly]*|%2Gt_Akc(\*5 yrd q\3ΐ.`;hDwH.9řD-{`[of(9BQBL͹5"l5wfxOAVQ~WJh.H܊hŹJ%gpyO__$AY0z!cK PC !cF_}=]e%Y&y,)ms~"z2x;4@#v^)U~ ]\w IEA_˗hBQU~@z){Γg@Mrą9 )̉QQDzL~ixȐB VM[2Y# A0 RSX+ODDw8I?8nF0egM{D `ucE ^CW`mnnX!}Ƽ,)pџ@TVoU=* W`}"hŬ_:[ ''@olʯ|/1ً6\ǾRe:z VyH?p`-Gj1g`#y*lCvZrYm%aKsȆjGUE+htkO$K.5b5:"IŅĴd%q6Y(#h4ֆϾsgVͱOV% +g]nL לgn~r1d$@ZusvXͧG&371!D|[7yώMBp@Ř&ÒA,!BS JTKԣDyTMVz}}|nq-]0~3DG9g?5Z3}%ch.hJmu8VYSY#ARdo˃7iy11B_GGy# Nt8a躈H+>89iő Ȉ :kbTi(>>4,w{Tuv.๠jF;rHo|*ӔRV{(bGp7b:(OGB.e'A8Z^I{Zߧh#o؁^O'=2]SKQ,!}sX9nyVj1ێ"(.sfr;Z ڀ6ڼxL|f(7ۃpc$KB}SgG7@geyj&%CJ3:V,QN.= ùkq٩87a<0˙p4`ҩ@\V'{V2᫢(\7fpq Z~jO(8W{6ƾ`Q&{ۃ_5pM54n6Nj%nF> i*Y!o< nS]eƼAJn#VKXdf^=q&3,]pypNn65?OquG$xAI \hBl.'|=[[t`RRA;ڤ VuͿ[} ~(e25?R\`!5bWEk _/u<1tÙ^s[']‰~2XR!Six܃Ѻc!ٖ_;s & M55-?Z7ŢHLy?r7}mEp)`(as%hOu;&𧻊5'E.p:dT+vGG LM[j֭G(Ҵ|-UFR9~ܨe։x޴fyMmvʖHhm=PhuG=YjsD-Η;aNud FΉ>,B,q j:䭱]Guy0ao5_ڗ;VxU$e:rqo?Q9V=s#.byS|=Ǡ|{O$6z5h00 O, ВҍKސ)i:qSST66+'gF;whko{e 5HaOMkbh%Q>!~|`o[jGvDkޔY .U2hyp,h;'Ay[+P=8}ۣ|)sp?Cj'-0AQz{)Өs<cKXg SY'6.D"3HSU Bwtr.ObE_N"M:HS.1p49rs&+MMKi-Pi0"kfq,lavHq$-_*YJ4=$F^ U-{Ål@3yvtྑ=|mhLnqY0un-MTu pr2"3h0y,ĵ66dZߺI8L,٭5?4.V# 2eܶy9wQ, Rdi9(E\5}% Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Equivalence_Implies_Bisimilaritydocument.tex7zXZִF! g]A-MՋhvG"uIBm5\헥5zaLAG*)ֶwDR!H8'|i@Hw·'ѝ_} P+T(')ҡ>ƴ`/o2߰Ł[,Mίbw~>jDޠ%@Q7R9SU6607D%5_% 4Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Transition_Systemdocument.tex7zXZִF! _]A-MՋhvG"uIBm5\헥5zaLAG*)o h-p vlY~" ?=; cmx-ܒiƣ\uMSM &ÍZS~1` zG<&J,־ґcW.7N?O=Yb-LLUmjY pN}  \{[RR$vҬBo#a$@BFUGu퓃ǃN4:t8!ժavd]ǧ@dS&rsX =fBb r~x8R6:Z_0LpU(Yd}K+ѿ᧤~QHLW웾_6Gq]Q$.Ύ5s@`p.}\IUԝs RwecS=k;[ X&ұyH%`Hb ٘)j4ߓab9^C{K q"A'Sg`* k*fz vu]oDrZ5lNY4"CM#SxaG|5dmUFf;qj9SI'p;fZ:5'6LA^;h90fʑ`e9]!W)#3 ;QDO\vF7 g cQǽ7kX-'eA`͍*ɃƎ 71q1]}RÅL}+Ƈ`qG8mHe {m&Hx_%:NIeC xud*N>[ih&AlШK5ʦczN*Ԯ;Wm]{D\ðBo~c2`A݁Ix`S֥v}{LgW}*{ [A+e Cu5G% lModal_Logics_for_NTSModal_Logics_for_NTS.Residualdocument.tex7zXZִF! ]A-MՋhvG"uIBm5۵:b?iǵ(L[*=ywC77:]/F %%7,OG{(K9%2<[dOB vS B73 z<YסW@ڤ?w=Hd-ՐAeE!Nw(lfea[ [s .J~ \0Wa׆ Y6!<"cwuQyeP}$FbܺU|~.t(X5CY;O1`zma2B1Yˮ<{7=mv!Ȁ5;Cgؠ$nQϊS(zxX7I|\*gxoy*v9ݫKE _9ϙ{X!ꔠj)B k< yiaCzۂ.|~F}fs к m/ 6 'KSDCKr WgFUe]IB-N` "?1QW#ڌmV6`5?}FeUAЇ4E+ɩw7 .HO*W5 #Qyg\1A^emg!'(gZ:d4RP (OX5оiTJbSO  U>C.#!l.cūՂ&97jDm[ ~ ʎr-^fU('Gu%?yrKtQDUK/*5z, 71Uv~PHfWQJw혟8#eȫA4hAxM0ٳl_݂.:;Ci 3éobBѳ()ʸŝ C4=:b)Wl˷AT^UHT =ʞ5o͝]-]ƀUN+.F*1I*>7fMa0dk{ih{8P+v,=ҝJ03ב@^s*]Oʆ!B~8a9"gj~ǺɎ2f=EubqCF:rr6DQqR ̂X5&t ;Ec3;Aoo4޾/LjaUܲUӳX+;(.-fQ]8w$hv>HUA,TmA&Xpgͱ". .#(]bWTq.^mg9I/-[FXRMi9Qvn%\Dҕ'Hŷ"EŹ2ҙ}Orq"&ʟv!K>=W $w2+,R\ЪOOS%DS#}FKęsvѕ=  rG4Kp{0)8W[Ewk?0eׇf'OLYqQ\xZY&A?::=޿1R\^]2 6uVoٓ ۄX$Ůr險B3,fp)U`emO~pk ;7ZP*D ZaNcqI]ݤ,%םnuvpt& jSH5rf4U?EU葍ݒNMx\heN*g{1N2{,(CT^/nrךNVئ?9L9oU㣮w$pq/p@|mЎ:xT^M&&v&#$-Ml\r=(]歕hۥ z=B.6f_@آ>Ӥ>`e4K8Q n)ǿO \"ʭWYS@7<(ɥ'jrhXu-l0g7A6&^fz,uU[Y!Q4wDԻ׼1d2L`=uںZ|@j'N/?GϬ9y*l1)`ĭǩx1S֖maEA!hgC`17faI9SЅ] ugrƎ@&VN?~"}iTp0) />F4||NplFc[e$:mBGm8NGLR eI?PLE0 ?` ; s`6!صu1Iyff+q4>Al~|#9{|UA &#~<]tOnE;D"4vz5K,A"_Z릙;oiA JongJw9tX%-Ka&]ӂQx!;Ot5 ITf@iF*:KzŁ#GK4Jo&M) l?S[DK[@(JV4@W;4cyj ;"cYgy?$FҍL H"6E̝zak?<؏%W!W%=L׃"y?ah1g9w~,k o P!]ΝXHN4g-.Vƌ *Ju׹z><0]ܧđU?&EVb`jc_s(K$.5)Dn@*̢T$ޭKHPH=栽^z;`ـK6l+pBrH8hg o`r @20\ҜGȃv nq9ll$Q]]Ώ< ~FJr9+FW;A+f o17<|;xۆDcQ͚狡/mn*>ׇ;nnZɂ(%F8'HN-1i{prtqfGa{+d&IBEڲdf.x~zzt_4~LƮ嚂Q΂U*HQ m:]ѸNUoWsYEo)u}&厎 Y@bRο%>p哢/vo h^PL?B7+lE^]άUi-IrH[4izqb-x҃jū5<٤wOG"Cu!32uM4Cӽ10IFtgןa זT@>oy8n 'LN;З6p4Y&pzd3Le$Vͫ40Ql:F=&P: %fD̄g60f p\+V}D?¶ 'JKAXxDy); 71YPty-gDec`FwCNtoއ ݩ?F}^џ7u%lԕ0Kl3.a+ŏ"k'uǀ-nb_pp -N57|2v7tmH\ G}mi$vwm#64`<S.Jbd{ͩEPӢmx:;{9 z@{6h=jdQz4­]Ts\w1i~'ݰWl> 7AHnw0zh$u!|e._2 ä-Zy`CꯧC3ӈc40)בz&.D޽ڤsn_Eqs6 vA=U~h%E s+c9`, Y T~XW|ƤV61)+>OQq7ǰ(T/ l\,gy`WTDO^x@sơ aZ_8RB#'7W?yDvFvdl£dah1xyVŸI.iu+hB"?%]àɛwrhcBԾf%V˷$Uk} ҋ+: E\I{,"_N`~?+)-so(P)KgYZ,@Ü4+f~'-Js":ИOLr m|H9}9! ujIڄXw#׀}Y):RZv =MO +Ø1n*ޚl!]!>g0?Dd< Ć8Xe:`|nt-4B9~tjV̨_T86{3=xu-?[`_*iևә}o}EvNa(/~n`݁GHycؑJ=%>Xjм@>e(Cɛ U|Q)'L7rϹ?+C.CЃ ?2l(Xf29:w 14q7 /5(V>͕[k<(pFp龢0HMu:x2xhm'אhƫ T,V2R˚6ĆD]=02 ZKE4@Ši;tid : z'1a.s 2+6oM61*f)\[)}}rk&oe#_+`se+K <"},꡺ш\CU^eޘh'";2^>sڑBiWYa?ni'!|5ڤ";&όc3AziVJ Y-}kbuͷITAMHyw{WtK"[;\ FUb+J_aw}nK&aUm|[=.z(a.GP(,(3ӼR

K 2n ͣxa 0AvXݽӭlbejnZdG[*?zKNO`#%zw+kW +k. Y0JfbWw<!Ij1G[Dc<_U}SjOJ=W|5$Ĕb:&VD{nT}i%_% 4r`Z %M|[0!~B4-?pܕ`pGFe>롄r id=KtLE9ma8,onZS!%+Ӧi$P,4#+m&iܢ9F9Yq.0w,Z)rl6=Ñ}CBkP3>) ۊ9 VrAy!'=P;hq*A񻞝Հo`Xc_{d2 )tDHVHJ21D-uVnVJk ]Hqъ4-iDdzIF $B3l3P/E?+ $䔌=/uELh 1gbqQnCa ?)YZ(L_Z? vDC|Q(jnR`Z)s#„";N[I z {lB*LŃ_4m[E/LTC?'  O DV:<8r+M7a|/߅T M:܈fo&`(ҾKO8l c0h [ftNY$bӛCl9%;e&[ZŽo1\"ٌ 2^\n,~(1uޟ<@f(W:lq QIvalaN/g%q Q1=2bZ*9"C3ŒfVQ\I_xgRBb5ud,NCޢR2wyQUbvPW_Љ5T2Zm,PXDdrhzk_w-ykM^E{o?+ rL'3݋V/^mVZEUqǮpy&hE%LVJ"[Xݤ<̐&bTvD@ز(G r7)w&Aӗ h[?Ԋ-338-݃D%lG+ۼKp° W\X9z`@; lZ$|&*ư,2vv?$7WO"*޸P윋 SkłdR45U~(Y*w9TnE:Í߽϶"ǙޟO;)U2UiK(tY 4ס|XVрX E`qCk_Nœ-B%ᇑ!rLoTa:yOfQ`l!ow)48!? `1(zg|mNp>O=@^tiڭ' ( c˶j/*c;gqrűGO$R+wUzj_ fjpz/ X  *ǣF9L"zŰi mtepe{j3LasI!s?wpz;p| sQɞbjicGj@H}xr|vVBp _``w B܆x,8l+cߐQuW6Hk!Œ:; w[:O0j{*έ 9EOk+\^@薤\ӏ\[gnW2?ADPZWfg7X='n4et3C}z?P"TV %00pE ŀZ)ZDI:<'=BEg8 Xv[r$m+By-*nt_jLBÕ`=18vܚdnL9g-6&!wEa&`ǢNƈZO:U#rqn=ip $UȘkK_#;a"uhH/P?LX=_6Pd$ <0e7:$Gy/༊|K$>` L;za桏"]D MUTx S a67OeÀVl?ߤN!$[=M2JIɘY 湢.M_ܾZ` Y`LNEfYB4e#@HVdnB7wxaFp4BkQ>e!!"SGFYeף!/'%"RcC١KN5ʝ](t)  } 0S .vUF{XYd7̸ۛjw"$[ݰ h(OpRB5-qzrհ ]% Gr\QUsg͒o9fVFFM,o@j,!(彖dc[Bz*Dn֎жP[JFŶޡ_1:{OȉKD_ztGgi]}Cbb jN2ۃinJU(O];F`1>3N/TbDZO2@4:z2W5{XO.B*r1w"rx'LO}.,*[565t ɹG&g)Ou(٨yU:^L:+v(-QtDHE?\q{FrŠ7 (Xw쾙zuͭ˸@KS ~F6mgzUoՑN׹$zAȁįKB Z[sTUc}PI0^/0Z"&"FYFxo DٹḬ̎ncMqٳ sȈU|Sͦm806:!8 Gky0sy1˄~RX)7hlőÀ*g% f?vab,I~ȸmc2 "!JqaaU,Z?HC!^mog'KG:㓸RF B 3E,ߞcΠ)"'g,ʲgZ=摔 ZFYOW# OdR[so p8m|;WFfoW)qN]S =B$xc\}=DX+Ip)iH ^lO] JwVCQ#ǸdI.e  Pф~@_>{_!E rkpyl%6-]DOd7} ҽ{~u8&ξk \)9ҖͿ;l %%? /v-Y|` 裁3¯ G+3-iR,hg>0WH,HKpR Q#"pIC4~͞mn uVQft^:/ɽ1&tzBFiW)02i IF tfr\M]pI -ݲH@Zs ,mb\7$ 0m*O"J1~员Hy˜ 2؎[&JJoH55VsHK,P+&#MÔ_B,G}faok>0My9fK4נNZԡe}SI\BmM)bmeZh1+bBBivj w3#qM\V?0J  ޸"-an!z݃?񙍟!E,--[]%g.[;蹎r9j+oL ?; ivewdla+B1ʢN,KsA(UwǃE*]l%l#sT{~*V U2fo㹻 A>(ۺ:e7,+9@}:ѽf%6&!g`;;4mV m֐TUT]>zj8t%hGc|)A( 6 P(i~bΐL27Aw߉ؗݒLeG3BԨ ޝ.ho̚jߴv\e*!l[Жx^%*`a e ·Q']:L'lIuf>hG͐ bx/F:mj2J@Ax6#"[Ax_CUZ"ǓKP4h;}ec)Cf9 ,tHˢ_m4~0|*AhEx* I- ǵ*o{m~,QA*Ft*@?ͦܓq'EVbmjTxcw mQ%'GR)aLW)BJÅz533X2_Eo0MR)<;"I񆖞r6n.dFjzb2$sAC; X=b -l[Ƽ(42NȘ_Ɛbϛh3pJs! {00㛲+֧^(9,y7` j ;\̺Nhn^rO[l+Jɠkjplc:q<=}.k1BdvL yŨ Ji&/l%&@\p#F=+K+Q̜MAUm۵5oo8SlÙ?//Ht`g@,cU_t)BiwicTٶ85'i"7ę:z,g6R˩)<帛J ֯\M8jJ=18+szsY;s}= ʇw %{ n >\D B4aۖc4**[}o>Spj['F-6E%"C pgON灄! )JH0}x;ښEdٷa/DGsq?g&c P{X;<뉽^INZ1k멎u;W8 pll t!;X/:7gSe ڶv59tU:|#txeRLarg[guM.랢Ry"Z8i7øt蓼:kw~ npv܊CFoyq.V[B{v}kAQ0i  hG;O>So/!`TDKաFlѴrk7ډ˥#\O)E-I,TcMV~B溩Hd>؆4!w9-K;bKsEPQ$*_^]:g?&jLv|h^^A9sxĝ1*I78Ş`(U59h^2<U4M IҨ6t+VOIv%DIlύL?E 4DL/[#8ZSX } ,1=aG`Misq)xoNT3tSɎ8(oC 9U/Ԣq\fѾO٫. r-3(ʼn|SҮ6E8, r fF{ԓ2,fl]ƌ6 6^?&r HRZҼb7o,k^24E/1IKV\"ibAK6AM*Xz2eFB*\㞔'F>xhk43uucT\b05| -+ÄĞSnEք/apYH'ƒi&:ys=2Nc"MۛV@8wdX)Ioˡo½=p 1Sɘ/Q+gg#Q"3 \kf6]m43)e=-tpq]4 >~/pʮ[QVK3UF|1<"hүxT5H#Sq"7'mv3pm9}X~KgR%LQ|?Sxx~v~ qmU)F2ah7 71_M v9;n_3TK)ry1iC[EVi{6N]O,`c#I:Zogakʓog;МFX>ݒ<"X$+/H0$ibApD> )pWz$gxk& G^sE"I:L vG^JS3R :ۗ{0(#=s\Eݕv0-| 3`</cAz틜pu"Y+8c*_1 o]fC9W6Go+@ա@˞!W6;ӆzg>@ls~kǑq0?G~RGz4q>96S`c^o-7`VQ@gs\86#3iD@L?xY|#dV@)qNŬÄli=Syw<Ev5W\z:<*b2 [L i|t$TN򗱰^7y#Z8 x@Wz9B̺ f(/̟yɡwFLe75T醼,lKX$=ϡ@0gYZ XX55O% dModal_Logics_for_NTSHOL-Cardinals.Wellorder_Embeddingdocument.tex7zXZִF!  *]A-MՋhvG"uIBm5lRHgƀTf,žH%Ԓlih+v0a ܇qGpb#3̛$Ok}e/)?.n~鱦4 mJ`+~K"zA9{+Zs% n;4<13DeǹuE#T? wddQee x' Hly+[Eȵ0?[ 5g;fCgT9j>N` >XS~{Ta`s~ WBJ~Wؐ@R2 07~T6 hAHkekzr3>=ǒp$fPc4x^οufUoj^,ÌW6uE+iB3 ሢeF(nRIѼP|CM"P+I$`$Տh艋q< |:}b0"FQnN?!iQ +B.K}M¡qi6M a& uzϧٟN SXZ:JN B~͆wNt$݋[gK洋I.sM0Y[NkS.4g>@ /`ۈBENIQ:S"/(ɑ*ޭl^.֎>2jtGI rHYT?馚1[ >, L;iou Wyo/qKmiBp2p(֨ ̒: VEŅ@L uVl{g%zfUT.N1؟}S&`bwl~qC(Z聐VI(U$E`ضkul:m+='&Awiqb2/5HsTӷDՆGoNV#Iz.2헭Zu8/ 1E YaSk"mbe`i\O9 7 |KYoߤfk*-01qLEM@|HᬏQri?8|Fs0%A#ˡo9;E9Z#3 cŵLjB\)ceԻL罬"]+>o*!`W0Iz\ɩXZTADf'ޔh'A{d(Ejy8cax:Z.t v[iS7!TO= ^ؖET^Bi1.~N;K*k&vqpn 7](pdn'mJ^L*2Ef%QucLb4Qt16pd 9;pUCt䙌/+QNȌk҆k9-PY7kR&3w񁿻Hu3ݹ?j={;[4nF־Pr}ew4aa|zذ{u.7$8V;9 2!닿&sUE0ͥ- `5^S7opױ.eXt֘J p3PewLAn]1OCT̲1I/-qd\槻I BWmqj,UJ0ϽF޷!P *Re~(*`7׼a.:((>@j5Ed*Vqs2 n%+@cCBi~ds߉\#ש? 1'7IQ1 WR(RijΤSs?g/}HyÛ;\˛/b^{}ME .]0E Xw.~TK̓ő`(CՄc?@(qkjslp(<=2R\fHۖHNL}7r1h&Ug%+ t͵a!* ,Ou ~ oYHŰ^tu}yewMԫ-JنWD۪rr0坴>fCB4G(_E$Lfa7 c Y7VKR1©NǗazﵽ?4uEڏ)<8qAm0kxoXFPu)i%ե/kݩ:f=|8};>t= 8pWH%?v+ƅ<_cҗćfq\HpL#0ԣ*e;Il&Zj)ٳ7$;!׫Gr @zT*ras9 w) (0YtG}EaL~#{ T,Pxu*ˎp\'^dGR8X}ڋ&Ne)~)rQb7wx!S0AN#q2i n?m/jZvuևoI _㝽i2{%n~H#,'g(XoܚcU 8{6j }㓭`?V_5^(*L??sWm2*@C)Os|{ Ծ = .w&;151fп 8hf?ҏ;G./3)ݰ\[r@~/)GX齁/&4 wM[pB>vHOz4ҽˈf{fnIV97Mvmρ'èH)\@YߘH1O E9$f: nIZC#ӑG,#5\)B90s^t4L?>]nqM =ʪ"3A`%t֙%4XeWGyɄm(o4)EhLl̍Rl+^iyS͞ʉFIHᱫ^Yy/#MēcǗjεtʱ, &9$Tk:.n% {Ck> j3kd,]yr)7O0*O&W/t"x\{T;i1>?8o:GkSy J]5rC)@|0cŠ$e-Vѧy?^)dY.1YVm\agyQN, kH+Ukك,]Jы~MF7"_Q%xgSTcF%뢂T*(]Kf쒺 EW#"&9b?%mS/-:ԒufRцSDJVk%Qɼ=<fl..df?Y bH|t:!X˜!cM!MDdh:VΘ{qa/ƀ쫠@T@x=.h)}ߍta2QJ c2.#N(Z"S 񫢾b3)r94>c?9l"B/g ЉH՛]Lm ȻY<0~BUv<3SڶOxI7d{mDO1!ıgYZ ]5w% Modal_Logics_for_NTSModal_Logics_for_NTS.Equivalence_Implies_Bisimilaritydocument.tex7zXZִF! ]A-MՋhvG"uIBm5}d_X; ѻl22fjv1rW_fSc9:K홡ayԯ3¯YNω<~uZAY;ڶR 3+b6PN㼆:hs΂~y&̲Ad8A7݋-""Vzg:ߞaәꄤ1$>BB_U߇, ҙf8ȤTa6]zN04.9d EC5l%,i`g2X 9M+}UT%g-i[nդEhd6? _L^g: 6!m~pJt2AKKD}NJ O,8Vaut(Cr+9a2,>>;̥nyyoSW5mF\6XnF@kƦe?u=P@7yLKt{]^-gCHV}3W8@S{j=ج FR*Nڍm8i6+Qv_A{ٺ/NnWl23 : G)8zulo^N`AWnP/B^7KS됹C{3̡mT24bHЖF8TW ` mMиdG4{0hjЬ6v"Rf,z p.64y(ջJθS-"31cGs}OXBxA>F0fΙҲ"tv gBR5,;PL4ɏ`&QJt 'GϽJ|DP쟁(3& a8n|_v%n~? ,S>GSTH ˀux:CFGɶEKF~[)\ TNvv϶g[@ni9Z_jO o?qT.FHN6 z0GDq[h;2JWgFBf6p}YV}Ρ3chX.˙3$7s1ۢ1Xŏ<Q\n<3J /ۅks~FtZrIJ/:ՓYkJn5ͩcXfOv5NIv2&nb>/Q `yiwm~s)=84Zfg.%KM5Džj󤉿nkGzXe YZv\4#k`r۹v9;X-G6~C^kd] &KU 0بz<4\&X=ɩK"Ȩ_!A~֔1\KI## lA-@CaGC]AI0&azzk[gl\@4M)Hӣ0^H)}Ux2js` }w-W涰 cWdK<E5K%;B*f؜V* BG$a4u?_Є)[M=:H@`!|VGT'8yqkt1Ry Z+ Zw/Gf=yĎ>aR{9u.@n3^ 0H!3(r26(`2ŒG^mH<)BQ&ۻtu"ҩN%>lI{5[xdDw_?'  U!@Qja}dSdvɺ9a|߇De~&E¬ӞFc,?.hş,O; кdBAdya]WDIXKG;!se"iSnR UΩ֕(Yu[ 5]7cl))L^j@AA=8ALIWIQOl?=| US?EJ,O<UF1FT/ 5Y5vIЭ#7h^AJg&zQul"0Õؽ.6OA7 Ƈ6 :X|҉VE2ZG\h|XW& Jj{2&@Gf-dž/͉yKKU[m_+g#nseۚed7uJ({KD6>n6Cj($9aMj q̓9nHmK%9~HΌFh9${dOjR{8`7E9'92'K)3} q^ #n6y;ӨoZr3`)FZ*[bШ2ph_gL-&JfF) UZ>/LPeMÒD4tYX{ x`m2)3$`}){M Γ&"`P@i ,^` ;@OIX8ӕ%d8%!!?3l>3( <}~]iˋ%Рe}1Ub9@ԑ5";#bc:+*lނVFoc@ _Dcc`V}}^261-_hmVUy 20??})#zg یߪ8` Cf2ABma-;|+_& i \k'?qm~Շ Ob0SM"v1=Pyg2.qPԻ ctu)La]_<;ٟcCn7\,X+C[ v;)L7km؏29|D&T"7a\.}zʀ*1 TB1<"6apUZNDNOX[S/MqlbE^< R`5ZlB7YY̋A&CuZfj<2gYZ 5}% lModal_Logics_for_NTSModal_Logics_for_NTS.FL_Bisimilarity_Implies_Equivalencedocument.tex7zXZִF! Em]A-MՋhvG"uIBm5\헥5zaLAG*)X#phG,g3fd\-fU{V52:^8|5S#@2rCo03Jn;VE# >ދ*,;EiGȲ?Q0F6(Aaa`#EvC1bd;FL¤ Vuc1 AKjB7BٗS-IMD|_V9/ıNQ+ukͤU/*$"{Rl1jPNMۦ;#)}\2`Г%< N>#j "**z&{,N:rR^ IĜ;BKg`УdLN8s)Pɒ~ODz?Iibi~9]zQi,r`K|6P("y? 3N ![~}cPn`3*.τBCrDh$O`@|pR&gH {ªD$ip%VG6A'BI&w䇅vȋaqOf2?[24'd> Ŋ$IrJw\h$>EK)7<{)by}(;x[#zP4}ݰ\e׾ SH+W()ΥRR9SYVMj~s!n7a}0yAp:R6vW]؇uz(xL5wW+Fn.hB6f9l+n ;ul gʄ FE/]UA: ϴk6_+?4[3+pC%6rt>!Wiݔ~s(+Rn )MZ52+]꥟ܫXؾGSD+urS,\܁fNL0x4~'SZb]*ۄAIrNyv~wA\3[}HT8}u%Q,qQPC=G>@u/RmFArauf%pkF[6F=[$y0͛"V "D:<ʦ+Cpӟ61OS$V!]z_ )"Bw[vJjeי>>? L"WB3vBR ?k5P$h Ƌ(6Ou <_#98#cK PؖhR)۬}lUv #+-߰"|^7Ix%!w>474WAhpjˆ;S Z<[!o{,˟z_{^y(^~PLIy0C'ʄ{ r#߽]: A8N whԨ@ҔFCx>tWr^X4~?;8u1 G0é@cl89>tyszi@F.F)雄 ICleakܥkHX!N2KB4aɿPד +jo5O&)mȜjGQ)|."E=8X20Ĩ.Z[ҡN4PA7\~W- Qݻ-2_C$^?:I99Jn&ߔrIbTaF}y\ZĤQIܞFV#n :1P u0a$鄤GFwsޫAiAL% 9P)G# 7q{mYnqE PYV[0k͇ ȋ&eY&|95q#[O#]Y/YdRMlN'.ckg!SZ}ol_%;jM8Q%+@[hUjɖ^4,}3::xTwJ~YnC$ߺtv*= s%3@|4R2W-QmqU[FFZj&xEDK6s@M珣bbػH/ WOYba]uR^|EGd u} ym3F]~E25;! gJg8j˒Dͦ{]Kf}088|w2?HٺCN̗[ʥo \6Y9G|z8|GʄS3 r)ET'UoLeOGZ/&},|g;T&:t[J+U}MpUZvNnʅu~بOڛsp;1%0LE#z5}=LP>X!0i 3 8ܖyHjjh}OM%Dl3y(CkzRw 2hB}ShQLm9ve?$5cR6WjeyS6q>9ɸ]GÇ _ÁY)޹ru-Y_>vp6TUtOZ9 Nu17E)[&; kmCۗ/=GdύGeT>RM@J_'R tw(V`lp*Gm:>L~-QH\58H0m|C.nFϕasOf) ^JS*J4?ĜO w4/Fw\ `5K,fGڄtj +m{;-U`Q }ʚ.I9 rr D&셑eu%AɈP7>Mgs[faz/=Tn#Q A!Jړ7|&ťcX_2d2? ML6 /ё٤XSKy ,c%O^e|uT5s:"D+\3|zqtޙl`Fq4'ߌ"aI<qr;l 3G"p"jUZ`f![h#<5_G\AlFM<*^=\y;);|,1! [tGX{j)&qiIx;K_uFpLP\8Jn0n_Q*;ng#+o0^#6~v.i'/*? n@gqh7W^͹ F1b\j9EHT)1v/Z'Ɩ?Ol])gYZ5w% \Modal_Logics_for_NTSModal_Logics_for_NTS.Bisimilarity_Implies_Equivalencedocument.tex7zXZִF! -f]A-MՋhvG"uIBm5hxu*,԰0 a)Mi%Kn%;T<Zh=8@dy55ngMX0 #bzA uJTQ9Wb;Of5sѕp[ɩULid`oAr]5EwO|F j7zBc{ lV@w.9z &!$ұ*BȨ٤L5޾ξ#, )ݹ9u TK\y<^b)ˆ'.s$eY[hIXɭj)dWf2r,8ɖzFGX܋8cgl?4 EBÙ̐[aNj$gkJ6! I/ϓԩysm؉27)U=5}euk9Xic+2z͈|eNǐKSX2W{=yZ)|1-6԰4䜔EkQ笹⚎^Ɔ'˕&zn|`^T;rFXL}p3p-A}S7Tf"O]{T%EUƱ~oJVvXܕD :qT'c 0Snז!L6̉Z3,NsF>} )2]yaߦ\e@}ƐQe%c\Mq>YGv#ȭ0Xom꟥'r^ NY/ݪ\E v,e.1Z}Г:zYI!Mq'E_467CE}'VLZjE3_ !)cI_sђE0u,bd1͘9[T{ ?곰 %l79FJEFoxz8N2 080.pT\(p;ǂӣV,~+fBv ;q=A4dh#up@Y[%VC9js@'د:VyevEgK9` +'Uv!v[{%2eؼ q{!h^,"欭r)"95u]^&:cT cYTwS.zUΥdb_r?]΃hx?K9a٘zn4/+:Bd &xCK\ҍe`$@fl!]ډꞁ/vbSen T|(J^}fiqw*+5*eX53Cj&q͋&rqS=XZ‘c_ci,o}UάA%o 9~>h[[5ꖺ1bMK2* r#+2 Pl`o͑GtqDɤ1AD`E<~ ,6zt C}1R (#q' 6LLQU$̆Ŕ1q+KG]\dQ, ^"A/6@Z[i)ΥvX ߫!s;lPc1#f%!)W䪰>>X=q [ZKgYZ FF7 5% 4Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Bisimilarity_Implies_Equivalencedocument.tex7zXZִF! V ]A-MՋhvG"uIBm5r?BO1rd\eϟ~!}"'vF]"VdmI-l.\.D oEy9lFKmL3^>#+ܰ3n  Ik=lTc-CKOV$]HtF3P#t+(O6SKUwhI%Cű>2=+C&bNWwr7'Ӹ'4 B Fy9x8fDʆG*X)d8RS >v߶/~yj!U9e>dJrO"VІ,%M3v``0,87}=eN^ST&5Ѹp8=O*.'uWC֛]xUMZza}zy5){ &5iֆ̖Xaj ̝ͭ~ 2㐳jF(ܓ3B35$/&q,ҋ=vK\D:1!PVkjzycEֶQXG1vBN87 |Ol&tK gphˑUVϖQb0ZPHjL3[tKqů _a;ŮX'!iJ.16 _rvF`haԁ 6RZ``dLK<`äZڿԡ8wwXF'3΅Xϔ*y= 6PO؊W]gadJ;j':)Vcth%\AnB=gBcͱ`-sMaJ%l|{15t5*T&*MFN{[|f$k<޸MI<z4l-g`,igSX8S :٤q?7tkM Opre!5g9+ FjמN=ҕ\/_99X=veV Fx_AĨ ^!)\^%QVZ2y͙KY,Jd='y7ПUs*զJ#Y 2P\I҂_ =Vfe0`=D4켄;$z{z0^<-KrpYz(b%^QHc2 |콉sVN H5/p5*X `..vWuٸm(K{\orVBCRnI<C Ds7VZO% yF@,j|ݷb&$`" ƌ*xEftW-TAX\v}%6&U2ݡ -q;pR_AKGA+| !YYۏpcOg%xO9=Sr ;dɺ[ϣ^Fշr[P ?eRf>{hLFM Ji0(\VxDR=m##rn&E|dPư Ax8@њBNXX1?Г4~vd k(LƑ*3u&M%P xqNdp*ece=_ aǼ-W-ˠQR:;8gkkCa{#2L}%4+ZXzj)Ћֵvw&>G-p&r4蕧IJi<U:,g6pnaɨAE^j":3&ª֠jBDeQ yM.lk0G5Mapxvz9V~06hhMFyGSugNaz"&WO,{~Y^vcd2n2ՑE[F$}{J8; da-]TOsu7% C8En`/H *I[^ҥ [e2I=MR ɈVSC]gYZ !5]% Modal_Logics_for_NTSModal_Logics_for_NTS.Nominal_Wellfoundeddocument.tex7zXZִF! 5]A-MՋhvG"uIBm5ĸȌo8~4Dmݽ KA~i_Nh5.r9wJ'Gӑ^G7Ɠ%TC蜥 7#]_7&B}v'>)Nt&:Y)ږ5$u_Д8SS!:{o*sr2 Z+ȁӇ<7;^cOja[EIUb.DŽ',JI RRJq]%8ZzGsOJI'JЇ#Ce4˾>P{ u,P3Gt֝՞D-⼢1e4c`]F9fjem``[d!9r"SLjB][a_\P N~wI`#C9c̮:x ΣS g%@vQj.Px/4뭞DtWCQNX\ $@ tך$5D"%+&ңᯎq5x$~rեTW'ń\cQR[$J KCemN.uÜ䊜e w%-]ٶ߸߲E-GɃ`*K[M[/>_2"QQ{ވVO-HO]f ٪#C^<1&2u u݌ v`ԇg#:HP=1e͞#%Nnk]L$,@l152kcFg}Ww,0mE1f"ueo7Mv61{ƈS:`&!2__ƍ*їj/3\v 5ᴣiR#6÷R ]N![~_*qbk݉C2g症E@X5HyQGүiI_-  z3aP6w=B]oizs.ztk%-#|(U1d9x|8nG5W\Hw&}j&iP{؍V^U{jaŽLbX5VdzKs|7{/6I5WTFLNsCkޞ?2ʔ'SIL!c@>T{=tB&˺\vsWCA?O6-%p{msLg. %q%⇐7'*r6`"' b7#)vJSKq S] ko 9Qg8{\?$s2d7j*TZb<@ g ./3Ivo \ :@0ܶ atBuN2EBM2B*+%362o̞ q ɂfWKV˛GWX K{|t5R,"aڍwG:q ]{8C;;3+L7S"E/3$З*:qټ !b"8#Z Ô$ll'^ ǟteF>dGhĽ86Q|s') p~( ^+-_ <@3oBJڦS l.˓;s&|NX^}Tg@`Wp82] 7UAkߦ5n4 XC啌& .v8)2_M?FK`?X~1iVpiE4+OMGSsPHk Z;fug iO HT9tyI2Ď6jT/~תY;n捔5Jɸ$\na˥N47 ;l<+ŌBQ6"z ~*^2ko6 qsBR)f+UƉ{-^# Z0Xq=9#Jado 3rە+ Fz Rf>1S_u^m>\~S[69X~3n#XIV>=@SQzė4]p;? PS y6m} ,0,='wN|섖pE::]#0=bMU|~plصk(֪F# #$; Ɍ-þ,xߨ4 }̓i+p~SYGc16e8b`ʴ, bT}2Jtsw+mXEaM-'}c=#-nEY f(2 UY}վ !vG /G{y=»lwa jQ^mU:z*49l|c΄]d4R2p )}`cŞ~ R8l"SSN@-b[D6FHMspl/RԀjb=rwE W"^5 hK-ޠc6#/;$<|@ЬN檒W^4W뙝|wWw̥휃.&]Mb ' 8ܡ"0mCxYCikapkH)/W=m"hqqa]5{[y؏LQjpE?[cѣ~Z/Sw+uCm֋G_SQ!4B1+A qӞJSʬa#]b7LUFO&sp0rɲ T#\>gYZ  `Q$5O% Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Formuladocument.tex7zXZִF! ցH]A-MՋhvG"uIBm5r?BO1rdԈb1#Ta4j]F;sܹۡs君 |dF4:JjT!8dbYGTWG#l+I/F@e=ߞye[hNM*WMflaC;a Xnn3Mȑvz)$>aF*h,,/8*\~qc_\H&aݕ$aء;UV,qEq"e*rU?>A$(Ca9ޑM΅&jXpG V'u7ũ% (ra2^ X#r$? Um Vc\m]^6 ӹU}\aل"RK8=Sj]7/OI'd:YE]YxJ!I:jj Sq\p񣎔ʮԦױMΞJ^۸{f0ѵ sDo ނ A$^a^yhhm$H!q妹D+H~xE9 (d@Ƚcrkƙr[OCN?1pLB+$[9;,Y[h#~{I)YpbBTSq ҈TW zhl2[sX<Ç%zLڧZ]ٜX.,.VTkKޫp&^J~9 ct ^fny*hTO v랣 WG|԰%#q0VΑː0}iGH58py'efDY.&\o4l On\kSYʰTچPɦOSyYpô~đn7 /N5ܱ":YU&G1}A6ʼnXdNq+֯jj٘Lm/\O2[&%{ς$c5P*צ&I32*a7@iwb피7,Ï1*h"W˛FgR:NMI{Kr#R_ R|}Sr/$KE7=TQO?ezՍwh6MEB 18U8wn]ot4|NSaR#) [uz펱70]|~H[ Kk _ Q,\[+xwT A{rÀ7Zs]_wc2x8Ccˬ1'!ol6HFX93O9*^A 4sqܰVtZ+-Y8D#@"'LӅ}tZw Ʌ%en7drL BfZۺUzŽ&\ZuD#b켢9|S*:\;1%.F-ȥ52NQ?}HWqʡIJ``L5v [˺T֬OMn\h#gjU}p#Ǖ'*GlB*MY>KYo(Q2;_z*woW&j u%BfEGDs,eDOPtz{`Bۤtbk8Vnߌד#[>3H2䆬Dđ4泷;՝S :}%Og+ JM(/x5"oT%f[*`y N/uV?nu,gfjA")h0xpsֲ>Jsʌh`bJX jD<&)];E1Z+xd2`I Hzpħ-;йpELmfd}g;KV.#;esdSrV61"Me>D{1oKF@Qe?*ek'@$PcεF!q1>xނrK]Cϸ ,Ic7 [jǧt=\fs_ =kgYZ+.cյuMz5&F%1],5fu(dWdj"yx j "Br'{8"9Tk! X.[nMƏ'ӭi u.BzR;l.H_wC|^'Ah-Kj6WY%yqfn:gQ˯P+^Hn63ZVP[d;> d،4N ?STi].Z[עG< sݹ2ZtDlPf2$J2Á'Kep^iY2Ymk+&GHV{2se7Jibn?#._5u/iyEGWtpxR&𷪲yϧ`4KƜƐtmވq[qC$~gFk z0M23<s= #exTm(+IFZl ('s0k#tPw{=`.#IaE]W`3^nuuzxEGT+pZnZL*>~Fq0 !v3:tb+f.~kʴӍuI\ 16Fo4wi-c/]t'swC)Dк([| j=I۲NsgxcߊDձmC=,je5 ˿c&oX^&LiHfvI;XfYҙJ,6mAtEr$Su Nlljl$:8EuUq7779Ĭ7*]LN^WBD^}(fFTO?TȘ\zM4aI?Kf$m_{G\x!+CfMg|hq*YoOu5ijߥJlO0Eϰkn+m(۽FPXܯ; 7& X09OGB kG~iFc&D'&~"k@.Rmlwm$?ڣ4rNTRڶ(nGb>T@G{95qs qpGD-N4bRLtǑ>zdWۑ6ÛNe*"_RKp^iv&sC`J֌\;5<5,rB'aaN_-DrN?ttHO?:-{ ܩhJV#u<5̒YV|P(%@a X'Bl?b8M/MJRBIiչY}to M5%na΂8dL-jBZT?P9qTs&Y`BW~U{SuY\3=B+0e+yI,P%٧ bKBRCƆtg 0$CI.6>8е^,ԯJk=Ͽ6I!l5zھQWM"iCD%$L׮Ổ)dAcU+~%oXHjcu9<"ϥ5+ui]lH<.-NP^X󦐌-=fxޱ$m]H9]`Y *PN0tn\NsF.kw˴،Ưuq3,ƠFΣ1jShu^ņG"gMcslÇurQ~E=kow̼9 gʹST!ph CԛҩIފ8Yt]tlsT}z#\D1M4xf'לf(QT"u J{/nQ-D}qIy8]%8*{ZۉpFE5۞S/;m x81$۴oN3XDHh]0Zqq|}\YAkMɥ K l/}X#9ȿW3qZ.s/E-p<n5^1"~vËX]9 Q:׋ 7yzV(-~dE*#5p JOU1" I(dnriS6p5^,P=Yb]5lFE1|سpuC;s Pd#35lF{75?OY5F¢P_?* =3EE}Ċ3 ~ؙ3%S90Ls+‹Kϑ]Ilj5tH ]X %*c~Q*u:#Cfr as$"l DQF, so杖^qSS`?bW}tg7 %!qWDY|3FJLdvnP; PDR(s!G);{*N =EH[2ćED)ֻ+Yd5 {CPrY~zf/Cpyo>kG-2z}!OȻ9߀n[H dSS2wY {aERԑqrL<'SSH$}ƫkn}j/fb*-Z^wfvK<ph4+gbKrhIrSt))r[ݑ2-όhμ9N=a!g4ȲH!7_]Di*LӄX{);'ZVq^<+A~{](xۚr\g> ^|i4鶿=>#3Ksv=HK;2w0(تYZl} wƕc@obÅV%F-+I#-vrH$*S^ P${X1iP[Dɢh{8>Cny6vΥQq@XȠI aAyqf-z3>놴mz,53p >1IRnU{f-Mz3*tmN֓R'ޏDiH(+9=|+jt 'V48nƻ5.^QZqeq3qa#>#g3Q'5`KǸaF5kn /RC񻌥c,RpwC5:Om[nS2 {;'6'Ԗme|Oǚ#UQ}Q)"jzCrtəCT~UFDLaSqC,wIXB:K'\]Q *;gYZS&5;% 4Modal_Logics_for_NTSHOL-Cardinals.Cardinalsdocument.tex7zXZִF! PS]A-MՋhvG"uIBm5 *5Bn! VR]Dm3w߹-qzg0b#@>Q"JV SaD?E `ءt{h̠5iN7߬(IXT ,ӡH0B ͔ Rc[ɃsX%^nP'D YW*U=Ww43~!X[,weIrp(y u0J y={l jl# WvXaXtILN ʐUUACs[=8 `®zYıgYZ%5c% dModal_Logics_for_NTSModal_Logics_for_NTS.FL_Logical_Equivalencedocument.tex7zXZִF!  i]A-MՋhvG"uIBm5\헥5zaLAG*)0G/<BZS5]y9U:Cѯ5N'5)M6x',ƪNۻ6@>ˆ'AI!wկ@98 5l)\$xrqahVvbϛx<<6RQozZ1MsnSaQߩO^[5xO1t~xՙ\٪B.Na H?lHB[EVPP7ϣ4{ b34w* F|*vTĢ%+Vv1Va1a}:f4xB+h0:7* ר-mnc2DhTYvnLkx[긠# 'C;Ϻ>z DDOHyO&‡?Infi &2F7)p1JXf4 Ү{eB +U)>OZ'޻xK_@] (-gYZ   i(5g% 4Modal_Logics_for_NTSModal_Logics_for_NTS.Weak_Logical_Equivalencedocument.tex7zXZִF! Q]A-MՋhvG"uIBm5r?BO1rdUqBWҷ1x0!A0),^[]QO"$S0T2a+UI@fRX@VdybQpu#zOXKo=dSGX.Y(ϔoI(:_X#C1zC4liTQLr)z&Xp>h-S7"~];Dp&^|NB*q6ʮ<t_np]EZ!LQh91*@ݼο'Tnub{o|6:nX6y `$e'a R "Gz? :(A&7" Z d>djBCx\F$n \«89 j'}^|5gEz э7MFئ_!ʭe[( x2ۘOE'FA'Y*E40hvw^c~WC颯=|:ѪY'M V׷1= .V5W얐a}Bsyzړjؗt -H[H"R,N%ڴu _u)[!eŮ#+;V41~ d:TUj CWŞ4!D8@NuďK-Q7N*P-b] ԟPC(T[ 7sFl(<2uϿ/.)<` q:!-]`i,@.b޸Xh=-}@֎EYX' 3g=zɃm0+tBf`#K# 3W '1)cgYZS\Z*# v&ԿTp+ EB\kU۪|GuOЏ@:] H-1xۛo gV%&V]qysh1;9W?"+ټOZŕG2U>F΋18'R_% 1cǛѢq*3ˈ2W?ǣ Q|\cOb&u ŨpXt`!n4-]\?ڙ$H.0k+γ]̥۞qnWA\Ϭ;*ٵ&7Qf҉E>"LoV] e;|1pRFufrax؈zӵGܴ@{=AR qL^8%>fCrLD#cM[B]9 gBoɊk`ًnTeF7_VH\6]G3K}'|R:Gf}R2oZ XV&ܯn R+; =T4sG o s5ih+$9/?8GO]3\YEF^|-Y g4C?36mnb:ZKy1P:ئ,p$x HgYZ7zXZִF! !]ŗXiɟ1?ߟt;9BP2CZz眭5 z ?ZO~[Y?f'Lbj3ʐӈO8Bm/ٛJIIs`~1*y$O9`<,ƣGM=mQ,-Lo2eȣf2u?k$@[Is0(.HS˰ê苛@N4M4$Jk6+@S\(?5<*y$?oiz݂EO37ei^C;+Jy0ˡjL%JaQ?[J0-;Ubs`E0uo5 tTKh^ eSJ& "مq^]B"EU-As;)1+^!:M~:%Q8 (N~)W^I NssT1Y1< 5Zk ȥ_]5HN>Uκoz[4 2}SOn혰J|Z?݉~}QwzXMZ7w$ȘrZxMu)7yLb2+ƺ0K2mD~*cr)[{7{ʰCC!`ͩr{lxCH(u@-+A7b"9 ]BJF&}0kKATE I]hBqE=[p9E`1 CK*gYZ7zXZִF! 9^]ŗXi%D629>QMOK-&r.޻,Ok#9'Kd[T 89O,Az5Yݩd NTF,.TS++a⼷Y[Il{ wL˧U/Q=b59?bF3Q VP=dztz`<1F;eԃZ R1mlaZPfJ^8nGِF۠5uv aB|\;FnpKg>Y>U]m'4hϔ`9(`HJ _wo.t.Yb =W1Uv4dr; c qа疧^faS@,V)d7f!7a3+)'3LJW^=\ tFݮ@oh)İN<#+P<#JOz\HhVcDl Pщ|%"OA3Hշj]AzΨ9Ё[0G~UMV1Rv1hpkxKst+)I!V)4Tc/ k+gd׫(o g4u2HsV=UԫVJ@yC~b|roCa%Ċ੤6lL$DTj*}-!M=J}H.{He,A4F< 5%QUl&+oW}h!t4ΰǿ#~IDm f(&‸9&pր`طwZv8 >ֳ 9Gœ^218K˹w+Zzg9'p@#bXԃ?Di};~FoJsImoBrf`/YC0+2p$ `j$]]9Pf?7%&HAU {TG n wjPI^^ᄎ?&kaouˈp>ɂ?F],g!+¥4Y#\q`'^7A[1dx ܞ -S*2|_%?[HkV S4CΦ2bNjSڌ(lڏ9/]ݬsy`hiR+͉Xߗי9n}cbQ~1 FmMCk;qo8xI ̣>d  $5}mznun RO&)#ڝj9깷gѓJ8{hS_^V/0A˻הx%E[2Ћt#$y.q 6 cǪ+BZʳS]BF^|k0YХס*bnK`mvsjʶ<QU|+~>c^/-/ czU{_Y%.Xh/ ˜͸/0Ĵ#[~ΈnW4 ):gLhJ|oߗYG7<J+iٓ#CAˆeg4tw 9Ԭ޶b]?mv5Ag!gþ3 Se'_N\%&@(N89p6"}\ТDe0)[}Յt<3ȅzMŗ;EpJ1HW/Yl7GTi ѼV]Z=d:% ꒒Qbܧy-)e_6ĜG4Vw3'TAuKyw,^)4%aWp֛T9H-z] t/R~Y~u`+MP3|?̫xI }taAF\ ] dMcЙ~x›.լ0Rk5s >ph'@f̤][zY_M7;V(,.bK%4?dQ=3INB;zs}^XaQ tDn6 W7g^ca(6^ >AGRg5;dI8W+&3E~{Elą q[^oS5'x0JɀO3+n|VZm?,|ni$..^|DHuR ~& Q@.5˳̾7{q ,`^bdI8]5XȈI$,Egp;ctL%GgG`́C|Z}F/ InŌF 3ţ|/߻Ҿ9sId9e;I.)FzAAR}WgrF}dDMX&=dqtǏ صBY!wi.0.7'̔`A=OدVI_ec+pߑ+ 6'Rg梅NGt N&\O5&s'3:R; {=hZK]A! <ނffdžh~(f=0;S 1H9b6s(g~)dY栲ٟv6V<`KTXuS?FKgy2˧Fip/= @@P'O8c P{ەh>O2j)?]Pשּ%P=K+,y{5牼ph#+MR2WLnN616 NfƈpHQ+ʋK\#mn7ɣ_ٍ7BM_5>xohJgIڛGZ[k;t "ݹr:rzBN|2mΰ&yr[tBd?`Lr[(gL5m-t_.vh )"PaHjMNeY= ^ʞw*,Q^;} 57|PXh#~+ba5]-EuMz! iϻK2S&?CSJ@ZM9nIvB II^hPc""< :̐,=*1.O O>ua i%:yF64ӕ9U]祉 c; AgwF5[+7nd!ٵNuZ׶]shۦj;:n9 N@xg)S6> V.]R!ЈSVP+6DJw6F ;'O6$NYò):b|o Yt’_+%";_Z4VybSw͋*7cm<=l?ףV 6(iXX9y5St>0&89{t8/t߮ Zrl ;I?goc񜌭潥-Lhe2ϫҟ IȿgiJqy&[} YqCT{8Bo4rb T; R溽TG>)~4,qbX[X eP_xme>kV/  Ɲ?W+S23J8FWz ڱP֪L8hV ,N.1%vpU{op(w-$=Z-:\>Dz}#Y0ӛfCx5PWr(ץ~>lpOL]$fmѼ?+U.A\_gPVZ\XçrӶW60 <A}ClAXo<[F<:>7 6Lh[nm Ȱ`= CY.|gC^v8 A0|-{ͤsn $ΆGZۻ,>+&u)Z2CsUo:bӞvEY JxR@"QMjW;7 k0Y\gJ\z\.%Ԗ]j=i|#5ap,+һHk>״J cu>n@XgzvNmBWH 6C|Հ/iC{5"\?:"t_ QxsGմs)>h ˂^dO -e<_mxxl eb0 y yLR0jgp)QEvrs wqJ #FVAlZ ⏯j@M@m6Ѷ"{+}[5[ .lj_fka`f6mMPֱNמj ~UK? xg^ ց pv YS`'MU/)aZg.M@탃luP-mh ~Bz4y R.sGt ! JVF[\O-1C+;5 2q[1|UA9ɂ5O=aiwojɂ;/x!rON|1 v֜v0Eģaw k%T/fjǡ}g֣,O]q/ 09/US F^Mmt։(٘enbi[F7d'+`#D9L9rE9MM{>x<%G֪Tb@pzjR =b9'Fo]'授0׫1gR?=I8:ǐW&ǟA*:8 ֳy!5mq.6 O4*'‹6n| koɌ_#'A7cF 8=]sb6Df'Dd#%24vĀ+*?%AE||S!dZ-5.dl-}@3\ʁ~TfŗKvU(0u }b1w>_&PʹR@{SO ;agTUqU^5pչ/A D 7QNABuD`*UWݷ$K4~>AlsTk~KʎUuR[6?z `K48 MK:_Dvs3/-.,; _T%\* w,OK]tM+eٗ͌ +z&_,5AϞy`JlJݐ`0pvi/%}6c{o67 <ùSi:I|*3̿_j*#cFlte!D_@N]&#M $!<̗︣,(,\, ,ۈ) QFud*@K+3XP c%ŀ;$sf¶u8@Qϭ_Ð{#ŋ0E\(D%kR9aYix*a3lSK^{=q Hu yE@wIgL6ߴx1J Ў 6̊c3Ow2'gt4n9Xu()sk?OxU9ABε`#o(=t2:Y!WX!ά42ۻBڧ:㎧ݙ}g:Wѥn .2OD1at^r&ZZ),C7O,N+OPKL+*GSXE&L1H3*\ fE\R^``|INlOOavyMŦ'SmXeމ%$1Wrm3l-c-f񦲎@m6B–Ъ+{'۩E_D+DYp,Ý1g3vb(ǻAt='9O3G9U ӿ*VuFsnQG`21#G5}y [zo*"x@=hB|B BQU՘R ŏkpNUg6V&Q#O5#MFij[t.?`[7x!C'w;w+n9`%'!e zAq#S!"ȚeOdY*4fT=J3.m街KӢ Ivj]x׎O ;`jUJkg[WcF?b"acxF œ~a!Uǡˁ*^Sf Ѱ/޺? E}]\`hO̡jXGCX?a4EAۘK`% <3VVL rD;ET^st2$81T rvԗ]"! aڕb&]H6K2_d`1Hъ]~tHvuяc%+%CCv>uSP&RjEl jsIW9U4U'2(clVF{fg [ AT`űhj,vuԾg/jRH[&h#/O@ T9NgFc1"!&Kb*qN 5bk^<2%M5 W$}I/1Y=c ޿0-"g5Qv#cn 7 IAwd 3P6Tߏ _$? dUD~|s\sҭ3 zw C^EZ.bpnҵ$7H^#seM1zYߝo̲riZ?N2Q0zգS0, [WŪͬ&SUb GBA|q4v9B[dq&ZN%h@(zh @G;o4wꢦ lQ{^]Kt60YԻ]b0FRP$(C_Ҝx n֎ImtMu➪mդ}vA&ͱq4ShXKj}~w2]5ѹ w2|`;% :"H<`뫫5JhgӺvLؒ=`[eX<={#J,'m^Et=y jBKUYR𻧺83dz BzO>T8hԓrƧ::{r$emM/O4N-ps۫M~Uާ(e{et#*HQ2lO;\#E.|;&ZefbӣUG222۸JfΑuCmB|ÿfϫ\)X%Seu;FX%pՠG -7[7&=G5ffܸuB,'$("dN-O+hF%u+ o! '4:;9 wSb@槶N\Sa@%N9wZoIۻ7`OGG> H6*`R90K r7GMV6BI: -IL۾Ogp{N@>.w@sSq77 >m:o+xZQ ŋ4AW\֜!=I`uI8Sl4iYӆE5P$.<+hLI2y1O'dv}qeJoH !c[.E$vՉg<lzG/LGƃi!PNro~]} 󨥘Vʞ?[ؾu)?`RujdQ+|o; +X&~&//f/#l몥R2?ló8EE$;:*zCs/s8ơ+$Ql3ٛԅ*f&~&!gtJb xT?Of`W_LOV]X2_kx̬ʀh,8V];q1祏׻kƧ?‰FkTCĵM 䲴)pK<(ܖ)MhzB3֢ j!OV i |R,1pt4LJ[2LVQє.2@+0Ls;4(.\JYB x3 1rZZ9kL"Pϖ*ZAPwkfSr3@Ka=ct-(e toDZWr k9"mʃixW\nDIRClWƑ3,MHZ=[s[)Z"!6yWzc<ѷ蹌i)\6,Oe1q s?=C=l2a6rzci43zBNy:o?4$T0ֆFwRG5Ghb}k&CXs\mRh@BXJ2td5aᩉn9g%|#DŽrw'cKT2yR9!ޖN$J׋p~rk(Q:Q&ZBҤm[-E3澑[F1/}5(= UD/ASޗ{7 y[`seXʻyY.F]"` %Nj]W7'cуl0ږ p=Z!h"BZ8&HIwQČ00/ef^bE41ΎڌOl]Z0dbbr4b-Y +sԻuҳ= GX]n.\trUufCjxRrAn\ WྺBMU( e=o5he[nL1p~VFk `$f Z?^fMhNl gO,"| _5oސճ(>H0^-1Y|^N'31T3-ܘ"6pɕYoOtt)3.c4?WW?u{XlhxY.\ vQSnKW \(3.ISE'  M(f*ã[σ>\z#Iy91ʶ"9PG#+?$Uy:g(JAA{'}fZVBt{Ԛ25kAh1$<|D]oYJXH8-(GWkL]<| 5l)okaswO~hRH)a{"Nnq"5npH0R31rMwpv%n!s*`t;[jtmMF2sD&OVciLY/k!HN=_@ [+WM=ޯa^..C񃭌+iKsM/xktqƈu[/?Ӊ7ot6p5ަd#bvY㧉%<7cb^%r'÷壥-Jmfds~¼˰+ݲR} ]'|c/lꡲs>ISM31' Cqa?:^.=EA<eo2=>m`hᐠN:Ҁ. A>Um8pcC&~'٪o&qTwgtWͥAK}YD&"==.]_mv<o ǸN'-@ lėwlRcp P nHӈo6-mIHwWLx1&ƜDZD.x*xhЩm` ㈚Lz1G_SaP l@bz+vM`fqdl|,Qc(O<ݔ İ5R.JԼ%%'zܖO1&PTz̀;;JoTjȯZ%Rpoă)5|#bT)8C==Xhf A7SBq"Tv*s1֮Ey;Pjls-/zL^a~{[QYu<\'Ap*8ER'QT%d^Og`_PF@+- ( Е^F IC6S#5Ww?D57@;%?~-H=GՎqY`gw䓖C[ԂVSl7(mA G}(N|sQ(qn&t1}F+u^Qn9Z^/:eXiWßc>B|^zOi6¹]6+e61 M&>SQLηmw$zna4ĶZ0ڄ@MeɛG}`~Q-!p148a{Vbrduj/ wZ/àelW+sBN.H/ z,{ݙ%Wr.^;3wNY=Lh v\0^. Bӭů ޻[Vړˋ<q_ zxc~tn7RFWB \bQ`ZcϾpم64 !%]N=+k܍ ǣvamȈRw0fMo|J#}]W2"\,&0FhFH4!J7H2FCx,4~2ѻ1;5㬱~IZhE,F- ӈWS6&700l}! v`PA/LM mMP+5A-(lh£nP*_b"'I0míֽI J@e.6D3waw wếu_^$Q`1 DSiD3t҉m C3}L)`˭_*(M^PX֭LÖW00v &@D̲tSۓ{ܴ627rdL8ccy;vP%CUW9:9Þ^ҿKQ?F(!8y? >^VB@%Bz'}V`Tg=TOnb{V[KyFMH-86ew|ulvl@ ll'od2_`5@J}|{3$%y[u9Ƹ8bK >iC>WA[e!y3hfVe 9$iV*D-SS7L!AVytO}!*RN6;4 -,7oJ*<-Ph/}2ݭn!L![P(~UciolСth|&`o=EZ'#z-m?Ϝ?tHPCЍT"5Bv+$dVz}z.&5aWAWSTiQwX!_nWޔbKz8PRP1%'%@RE:;&ZlX $p靿՛> 1a~3d¹A݃nP?r8%wN!J-kNi\!fvnJ`e}?*y-"die;65W  cak\fpk WúdwwڏjڒWGbI7%".{j~![g߯,M?ibk8Nbvq--_&R?r,v\5aH&I  cP񷝞NHTy)-/Y=yHܒ[5}Ib~{.OB*~|}ץ1 v=)eTMA%70ÀZvsC2;k;q[[XT'ֈ!  Wt׃1!DI#3(gmR%rd\~(e\L r3Ƽ%^SdpPmOńٷbF$Zv\k~!/Y^M`Rx:`A}p cÁB'';~锁(U .qZ"/5yB*^A4D4ӻ"FDdiW {Y!"-Փ?tf]?Pytcܼ6C)WA,G=2EZMqd #.!:`EKbօKj"H0!.MVW$DiCy0͖dKrvkgYZ1280b5b612076da92e09729d12d5ce3f1b19a7f0c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a a036f69cf55ef18eca962fd38730df03856a5d31