SQLite format 3@ 'M'.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info C54\ ] Modal_Logics_for_NTS:threads=2elapsed=216.284cpu=357.304gc=21.616factor=1.657zXZִF! V ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")rD2s,0CWPlk[q;)QlcCWbx8=a9]抔 ao|D+quKɆ-DM;-0F rT`YoY8A9L"p (S8,!N$fC0:(MʮG;a YKC ]L&\4⡠[]#Ok|b{FW=M'ڠx!k'jx0&^kl"e#^Nb9IoG3yLq/fрEQх1ZȏĀ_DFyau1I%LxtKyaQbKlc-_Goe]lӹ°)R%J7qq9i<.N{%~{wlOJp>#}U,f9 >o}E8EpaQS',0Yu6[!񸔀JLawVHHsr׉hEE jA4m" G.`/fY P|,I5b!0^tu@i~ -5vo31) M6 kl@Ku~6𹎴H3+ީrpdj?s1.gRECϰfooTAj'#G #~W6M[(D㰄։@aw]UI1 lpHZK`d!B}29Lp𳰌ś9]^3J}U1xmSD3g凔B{c/? ؚϪ طLTyDIX\/gE핹ط&`7 | b}Ns쀴f`}=Q8Z 1r -(3 HS kZW952UBsi?[^7n֛.KVYǯjk)!Qv  TIƀw7[Wx̢x$-JW]Te"YzZti:CƇZ1w8z΃5y)%f+q<#k#(MHEDQ,_iXQ!KЗD}Y%gk%uTҠ|L` '\E,|w?'='0S<^oĴm!I<H10,,]PЛ  ";#6)::^31!6|c*`%Л'7:M(R Ed??9E>S / t(D 7;\9g) XK 5 Modal_Logics_for_NTSJ35K% dModal_Logics_for_NTSModal_Logics_for_NTS.FL_Formuladocument.tex7zXZִF! YV]A-MՋhvG"uIBm5\헥5zaLAG*)S&ml>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 \5M% 4Modal_Logics_for_NTSHOL-Cardinals.Ordinal_Arithmeticdocument.tex7zXZִF! Ps]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]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 V2 IqIF>.ƕ,VҬEJx{TB?7|Cd?Kge&5~v@04'?HeL'p\;b] I p$:>O~z.WOƷo瀎7lĠ&qao!6uJZh hqj8Q٫y%7TdOǎ<}a)VޛՎ Ml̑ Ȯ>B700(4T~y,?]'U<_DYN [vI1fp#NP@#JR[D02^x{QORQDL?7ڤ2%X_iu_4^R"d' JW Iua5% 8zI]脢<Qז 60O.㉯w+2(I<9`scQL=cދVUT%@@ai9۳hˑYB{ 2=-cA+ԀK(//G6MoŝHƨI>A ^[ՂT(&+w}dXpGl3{ N(`猼GY횼VhgMm$vp%O#A)>ǪuKQ7ON6Y"fC?#SV-Pp53_Ln<3(֔Ynx 4!&_v.8"O?%e/3cٷ^c/~))7cUcb_k|GnrEf-9ﶛCuS[S=,+BT8*H>e[D݋!GŃYIFY曶H~z% rBZӨC_1SӶS^$fo24 Vf0m瑽}}.I ~4DE 'Mi=I/8C7Py(<Of3z8]i(ysOlBNC}GbV YSث4&eߦ]_1¥ 4"*~KuLm΃~:PaQ% M: n+qb$'Wt=(a,h[6o3t+/ti+:XZl d/ V7Nr;PoЖq9ON`lE2RocͿvmǽ>ףh6VaZLOW.Yכ:K|\W۲ 42 EtHAE#n ,h csQ*|;o?VLtlG9)͹Э$ꐖD |/uTZ=649%@Ҫ=N2.r(a7۶e!U]&<( 8C;;(sϳ 4ZUs}=yÑ:''L" ^Fj ;E0ے@]lUy*{ƛ "d=An6tVT5mY97`7EXLb̰~ּ]v?5͓&+QOcw,2qTu,kk[N9}:tۻdDղCΥ\zn;ߦuvE 6 Uq+ү`áM7{_)Y .tuG{l=xM򳤠 J}e B,(Qi7ȟ"0[?qpdUvS=iq8OzbwbV9@YX:ULOcqᗊ Bu*弥IvT Ȅh[`Fiil&IqKQƇyΛx>6B*k~2!RkIo2ըk%p#pLİzv B_ @bREv*4"j/f8 4"00ck &4 jE1[+hbi''r_:u$1rkO&:ϑN.Ÿ+?TV]4$4Mdܓnv]ݛ#a9K,6BGýۈUT~-W|6Ĺۯ8_!%3AR8ʚ,? yH"J'vD]t"?ttz(yzh"&E4`"ӄ\9'ԟ:Σ5ldBQV8z,6ub=t+~(,e`\(u|Cf85†^z:2sdmm[Ţe-3͌>FJVv5`\h:+=W畏׉ZԹCj~ _+aTypϪ605Pt]==ً]4o}3RYP/"Q> 476a|mtܢK)˫azUC¿N߻W IS!ц F \pI͐e1Evt#17\1OWmAUX ;T\sJYML5u1Azb}'Rb* TP1GKs^mhvף"?аҢ'qm(~9K-ӳ&60i)%s+dݼ;r;>V/\rRZIkT||QAj;{Ĩ1?"EDEҏ֞!R )S]=J ۠3YFqڑMɒRM| U g.–hyfQBJM+iZDh+ >MK­熇w$,]n#?|8:X>tzY+ai.&ffT5{S{W&7T[|׾Ӗxnl'So.~4Jl2ۭHZ6߃mS%z3Y#+}X,Uʊj#;wUsȇ«g{s" ػuKy"J]țH'LWRrQxʵ;7t M~ܽ2w7=o8i&r<.M15k<7qAɵL*@XиA&K̥Qi2حH;k˛!$qo+~]6 ᢗmPgOݥO{"9:jVĂJ9ZFsdLaf?u/m@ĄK*>'`]y羍r-d*);7]wsxD1\rDVm1B0[ t. uy{;PC<K@/L!\$ }dh6yM RSw?  &/)?a:cadzbI.?]}"MxddJqVVaibѦl&;00j(=Ozj[c߬2me^߇[w~` d]h,x%ɲER"~Zb{ :z=*U~wNqx.M7Hb6jQLu8 J\s1Ek"W|M UU&gOh\Uo>G;roEq1筫cSZn4UxJ`\c~Q@R6s+fl0I}P8o118Sk%iyS>m@܂ri'52Z^ǘ,NȹtȍԤBW{Mep'b$iy^.(5wDX؍–~;%>R9\5>&8X=zGɱHmZbPxf!%Qi|`6:7[U7վnSPDQ{帹#. H"PnҜw]`brkXs[3AifUF(PgK/ЇhZeщq0ldCNWc*, !* ~SLgĮ\VO0όlze ^yY诀Bn8H07#-5A;6P==KNDȣނ͐MjEdDck@KCmaܭa-?'>B>#JAF`6[=a.VIM 7:ξ qOCEZ+Cװ$v@+b6?qڃ'CEA Ik6a ɶFr}aw2ZgWy!FPr)fBns3h8/ &Y` >gN1 PI8?i(BUУOAO)bkU jП~NPz(6tםэ:0";pBhX#Ib89`=EKZ 6 'ԮzyE}CO<[Mh w߭qέf@AB¥nlQ]h&M=SM_9fCՆ0;pl3㿾%U!X^WB̓D֏Q.~GOc B?Kb^u|RV /5O9vS-È|ԌS{:is,{^Vi;jsF ֹ=Kq:4+ UnAEUU=m+\Xӛ.. QUY y^LJo XȎi q0kT m+ZY|'5W=JM%> atMg0l!bN:эpڏR9&XϓaA( 0{ޘbٿT5{bR~'߭!Tf6K0ӜPH?יoK LyY b?%]$5rfMGG(t)>9܇\Yϧ1 Gj*sOUXl9W +~A}T`F%ԫQ6A" }UIWCFri +MN }~S2|Qa@J* v.7($rlj)=*CbPp%*/rV۰ٻA%'F~n@EmZ^I$9j#4u3 (ozx:ޕI.*ը|>cKL} %MjURx`"DXtʶtLq޿Q0d|{FXf^zqH>okP܄3sQOƇ F@=# vU#$,΍yD%Ұk+pq$r] 7ƌ8v V3 :^dëZ Ob5`.oy:w^p)~I示q!{lm ?D9+N)kH(% t5-RD̐Q Iוm9"Zq 'akVp+;ޗ~@d^5w '/ҳً6F|CⲺqy핶k}b*oC~^ĉH2z.EGWeKS ^e J=7䓲7Љ!E`njq u#A˯FeME}.D餅w\ƽ)N>$P}e08lɌ60GF*u^*_qAiY 貵;1W4šNU/+&x˜hYB;4Qp*s(NK&B HתUߪ'0čxE4jguձ/9XXP7\VjC&33!z|: q|uq%xpp/jnvCۓKi8V;5=n9J^n-B-14ޔ>7gAU>,Rj+wMUg`nv0j %4<`%7Z#] fD6%39׼_C3q:BwT񘐱^BO!iȼa{wMlB=E,b(1Fb-AYVvUڲGϞFQc`U" UI*ûp`0&'#{kږq 5S_Ҿ0myG5,#6.O&Ich,qR?u\}(D8+S'.tfۖbr:'ʊζǧ I{`wu!&>~l5]ơxZ5/1Hsx!((;f5o`c- ٪i9Gd"2E:a4ړ͊c8ظb;߼K(G{6消7/NP65HECϐDȆbL~Xaѵ h1-9Uܙƚ>dBY=mcmqrɶ<^3dn`#1}!wt2ψ=Q  *,qU؀,\bf-2Zq-FCӥxQ_3NXyJ!-ϋhnf4s&I̦x=se5S7,c{sOƦӔPSY'sDekIYl~EԖ%$Ahޖ7+~6/GӼS S`_)ja'%cVq[P!ט:&Gj&vO 'G >?5e&s`I Ir dy Tn6=MR)N88$ʆ>vC%LVm} [-zI9f o-l&Wղv_"MPo­_J)OOdG6qV¦+N-,b$l yoBCc_LLY$ U˃8Vʀ{x#).i8`^S)Nc 0i@#֨&]rkoQ2#-ҮhCغTܣd49ɦYfHAPI[/C޿+`9~&E/) y]m-Uy͹^0 1GrZZ9锐P-xJ ɺx12uџ"<bs1XiA7^ XN8Ӊ^m0.60F(Ogwiw8dL#ceʹZ>ܣ Ku~s2jP,WPN|sw9^M T9'3oK}HYS/2 09ODy*J+gޣe t>lf ԓ;aүZ]r na_1nc019P5ÞDۊTHĞc Qߐ vW*Qa l$}¡i"<,+'E*9'-ְ2Xhq0] bJa*M.pHd?`9k(OۄiU P DZHcFyߣ!%Ky{}eSI z} 4=Aʸbe{A͜q`-+7piqLJSJJSe}c ׹W [2UPPnh‚xэ9`Ƃ%D́NcS=!| {=DK#:GtNg)ǀ V(Ehj5'`<2Hq:.%>G- O`J+U[>sI\zg!3 2u-M)~`F8Bw t <<SΡ\Q'Bd:k''DU+ KA{ۘ;z4cqHągp,sQlq^ ;= "MK/@]rׯ_7X~;AدɤHFMnTn["Ffi nR9A ?>ЬT;[c|lyNkV\''EFXvݏYPWk\Ht>Z ^kԠ ) ^zYOxA2Z?8Sq&e dC݈Ov~ΚTX*ьZI{I)9Q;̮"z텏O񶦏 GRL#a>Q><9UU\-ʣ5ClP`ӆ.pR]u?D*G;;(x_R+dY"RQEt OiOoJd cXd8+*~a f 4[,݁t[zݴՃA΢WJX&ޙ|zխ(;n[I&w[̹JbAa.4SE=o8/=EG%! {w} Oa2i CDP[?Y9To٣,cuXt'#Ⱥ&#T;> &r4 ҢGK\j)~ >Oyt#6 ^? G4M|=cQ^2Q=1DԜyf.(QPRR w.jԢGbŶȯ-UۥKOݡ*O۠ݽJ"6)ڒzk<~mSmA\_6B+9r1vBAžG;u)_dI,7 ''{l(%{k(j C pwYK7⸺_kH~'iiB"QZCnM&pD5X%+^d guJly߾6Js@ mb9 1dzo c-9bܻz VMs|Pxlb[Ot䋪cO(-:M` $7(; 5(m(gS"hbCn˴a-ՇC gB?gx//׭#kZ&Ν+Wtꈾ0'N_d]$k[Uz&X >cȼ HKv;￾ ΓjG߿AIDX@ Gw`Y;:gE8qHx7M#&KLSs~HÖ!z t-Ml"I;JSwO(ÇG $fhWat̋x{m9#.>Fat!iR|~"܍Q M?]!IsKo&Ј3d~v~Uq``I,orNߎ F#M̙sq5a} Ӗw'50JB]<UB~7b"O(`5#Aεx-{eӥ_oj]OXеo 5 [iv[_,>FpJttxWYXZ7_@!=x3zʾ `,5mz܅!Sd;QR,m^Y:LO(dsxED`S >m>pkYp~Xcl+&F"ۥ[ơ\1*@,Nd tf%a.kOdJepdtm:=s`*&!f1o>yXSQb,]^2嘃ﱬoo߻줤LFe1<.(+L`kŋ?Zb<`5׮\N䂗8v+{Yr84Unr~|vt* }?jTf9h߬|::\f"Laѻx`6֜洉s#:C5)J3Md*q_* Po{ hjoU0ᚙ%6eTbOg MW:Wmlk(S^W&#5!Bf/4v Qb slQPw/05)s ᘜNZ'> :8b[wzoLJ0nIJf@KB]arY~31| M e/ZT2XWvױ<7P 0:**y vJ.'J8x O/%'c?v;Zxi~(( Zmߢ~\O0<_+|g 2w[F-ʀuc{ps:w#-S!Xee/ccX#%?VӳX=`?A}i]$?g 컁lS+%Үȧw^kUcgZ aT)E~*w c?0uA|掏%oiuJvUK9pNI&5m&d&QxؿN'ݩY!ֶe9$*cH>w1 l*)A*6|DN\]~p [{l 1+7W"C .[y:Ms |$!|bFx$CD{z/9!DaoLn[[#R [5 zebüH:@ntFI-Mm# F\xu8QTujXW;JjqZSڿ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@g2|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ʌǜjJZ`+B'* Z+OD*!CB*9 Z^b jtaw7j׹&': ELu}Y\Q4˚mcavPu}O><bE2tx l`"7_7Ц*~>˶WƜh8G^_eSsN/Bo'jġyF^uG3{=aoM6jjs"Ww1y6ۘ&:5oYce-i`O@}݅L(OoaM9ظCD2uI&"s2Tͦ[/Ih/987⪿4¦" "#p_#'h@sd-*бQPx5zW0E|ۓB=Y7ͮKbQ总 .hoEIе69ѩx6ӱvF?iЩ]4p%T LcTlNYMݔW;\*rQR1F>JG fn'oHd+{jơcRH eKyRY eDm6 21P6#] 5Dԙ]>q@_sKHf?P1>Zd#Qܷ"MfQyA˒ ;M"sWUP (c+kQpzWcy& {: 9r@T_qKD!1d+xƸ[|k#<!nEHvDN so:ɲL%KcV_of, ηy+g].Q0s`-ʿ̾bL}tGG=2% 8\$` 0]Jn|:')} bw 'Ǥc~4svki++i d5ɱCǛ35WjEp;gr+ ,3AB6a .FN:ThҀ.oMt$'f#}Q]Y"PUH>_NszY Uj_j| XYU]fy_+YaL#(4)J7]P{PV^9 żo+?6hq tdz3M!~E4"!# 2,;J; P:xDK1J!0Ez2_`8iD1zA(Q&d%eG;gMq"v4UMJIua/(Ȩg>܄&10PCesp"Lr\b(e*M :O mhoݻLrNZ^hT|$RxII_[ʰqbAcc-ֺ)6ƔS7ɣrpO"TZq$)n!%m3*]Ql]9#N٬/7-~jrB>׭.eς2ǦF >_&A zsSoC ޵egjw ȡ %p5ޕ]VSV^ CTD_ Y̆r KZ]]vH1w9o',s:Q5;SG5נ#nS7>ekO p.(#DF憱qT5q>5^DS;̒$[rW3Ko*q]46%:sNeG}}녯ڴa$e ( ֹ_WGuB-YƗdDZ1|d4j }`!Hmܽ(IOLy]e4*$ur;լY{EF+V#PSmS`-UwS#:%[i<:4cE6lЏf }x_IkZz5T4Ȅv|X5eKaUL<8`X~ ǐp#ͯLdQXehO%EzHp|!]-cqbZ+ӒdJzn;6,Mp.8@'O]|t2%"%_YA3fGN9VBM";wDWL&;a)H޸N?a~h Z`c3-R֧IS. x_K> q)˛Wf ogo. =ZZleK+_lTY1|S:+*-jLۡamM sֆ]穢˚%+9WnJ{|*`mCFBbyJ5+/Gs.~xW/"I#byeZAj1f >O+d;$̈ԆU׼Bذ6jB݀VQow1~NǢBd`!"1 7ә Z|W0 y2C,9OхeOlLF] Nc4wklL'hCi>&ōͪn?Ãi_=wT[M(r·E}sh~4/Bߨ0ڦZ.AWJ!ѫDBaJTݟd1ͯ@i B>p wL&Ÿ.AN̖vgrZe3h@0PJ(2Θw`R>Dv[(ٮSÜpO <|Fc䷤T>Hc  XC!ȮM4cVHB{A¸+ݗ(3I/i WBlPA勄bu]ȓq5Hω#)H,J/HpM5%dtotʭ ..bpqлЋ ZG6n҅ܟܵvD7+iV`\"J ̩]֋Q6jC$@ˍ!tș"gxdTx1VH#`C4܎_-be?"~x9ĵz۶;V/9 TUFAz5qT=h偾cĜtpN1V%W!¦}NdcQ .X)egS3g2g¼2cEƭX[M\|{K_(v2a1%s?e>d`h"PdD":e6]<%+"m`Q̉]HL:5#ZSN"F7 nC#kȳ.t1 6X=f͞L*~)B3{^/{Gið'7&R!S}~ՠ9z1}K9c†ء:'(j%ow֤BWCʬ?/;4&lmut@usXjaȵF^>/6$4.\禛ͻ).6<$j SjHPTԩӠjlZ3:fɌX>EZ; ,q`h=nAIR#He}85l(wfF J;3%JAs*am5Vch!^5ylh&z*įgXAװgh- }]q6UTs{2싋JyTLȖU)#z `H?S2k:\vUQM}F|biHbT/.n"<@K֐g GW 82])Qe5A-yw~RGnQgNt7>]dzRXoJ_]kdWX;5W>=3B K#Aq^\By,Xw>MX~`ɈKFXkKm.r-x,'x7}(OzRj(*9=Q<0/rLjJfpK{IO?%2S3ԉϸ:C#onIc6[QZi53x_"L{朻n^ƒt wo?C95n.o$#l! a#<6F5h !kD^[ /eiHrE]R-[ɥ^}~!.&9(+Or{4CTՍh_ GؠnDZ`7Oh1Gz#\ Ob0q5!OּG̉G&P2˂oSSN t;sfie[^>Ž `8Ua\㉤ƨpk/lɽo[V&.hvޠwQ{?B`T> ɰVmM㲤ls7\G2Ӌ 4 m|㕺-T { vL7S,#Ay܍$hmcr cT ?#ƟmMW-3ZFb)%&"_,7ORYE5U+=*1h!*S/{I/_V;t=E8B3^օU%y9z\HQR)I8i11dP/Jޑ.VP{L?v%=h8_OFwcOlK 5LrwvQI;ȓ܎9;ҵuܒm+RgFT&ĵkt2-pdXn.$wH9X\j (d'4_>FszwY4ƭY2gYZNc"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۬.)O1Yau[V@m<79 ?:hj@s!."Óڣ,O:/] MhOq b1l\>|wϕiiB~{B!2GIKAA^^b$щ k4ӳGC oXCUyy !uL!~qNT.΀yj &ߒkBZEdmPNuy^i,cV]WyTm?=iw Wrd]9JY22#_ğU]ᚇ+L*I1&%fBW'<.ח .Y5 .Jo/$r@ 7[.׃|H#oEnIg8|K/(soܜ}XhTU ^v3P :"؜"5%ShʁK%Q[ql7 @~2Wwx(R\cY&q9t|KhTm9MM 53ӏD,У$w8|op}$MHTXP_"@2ǘQlW;}|ӓ:SKZ/ 3}YDu쿁[Txǿc4lh=f"24W= KOPia&w VG!pƣ-x#]Bo(>ڐBN=QQ7Lh-?@(n mo3R "n=PC܍ d]CjӒy˃7ʣX Xla5FQ.Կ@ޡsimJ!:[[aGQ Mn܁O&xE_B@4!yH4 P>ۓOƀ^Y <OLNã庆-s8YN*3'F^>< ˆ+̎Km`T6kL[3ϕ?b43EOeZvI #D7\p(I= I`4[X"U›^o$ZK2gx#LJY 8̼Is %IwL%Pc~ -h{})!b|YnCN HOx="QE ã2]5-ƀX-Cqc{O*{T's)uV?_k6+ݭoǟJzvz+ڀP =.$WfdB퇂VWlt-DY X*/bTM =n f5(ni-K:U0&峹 z#Xx--ϋH>.=Dj]=dI)9cYGlwId L֍=qd` D $3f- `Wm2i=!gȊ;f E_:8xfrΊ');s%6s#w 4oj ˌ+3@,۷D(?D OMMnnteTP}s1Vʉ^7Vʤ$d'f1_k|ź7pLvz ,ڇ,skg Wg-Wy)7n+0]?PNy21!ye>jtQmՀ|Ũ.%pug5)A50Z/)9x 0`-.E\nA&V=٩6yYؠCCi'xUx8֧>ƕACIZMCY{c88~Z 6Λs~/xէ3l]VXY~IƧ{fJS?IE|0ϡ+k\'qMO[,N4HpruD3}4De*Yv`ux+BB=7wtcChK`A:c,YN?9YHQH P.~t *w~ VnY^4EGHѹ q3_v:;P?2Wg$zC|NGV7ZƙkrL$Uca"1+[Xya-I+/S88I_J'q'w¾ yJ0=,w+NR֕/"-دs v4'q/R\v0OXG/ D+d㘱}؝#{ueJ-0|1 TxBjnʺ@aixtvr_|jm: lmʂ0ư"?''-3\%+oYaA(C"2*6[mY2\=m)U~@V S3ST$2EW OF%m6>XoiEoN-qjME9Ϣͣ,Ly0ᄋcSψ 8oV-%#̫xF}‘"W9=O2*JM]a$A{eh ~_o~8:V*HCKߖմFt &Cƴa-RQɢ|F)Uا| snW߀plV[~mq07-guO'@' o|^]kF2!C<;[|Nd>WHJiN.):/oT\X?uGeZx3*~ղT ЯF eaJhT^V(? rF;fPB?w^ '- ]7r7DpJrz/AƒPkTd7+VXETZ]8y f}2w-oAЖB͋V#:~OI>O[h#YQ2YW wyPBKuGNƶz$bhw,;^(x_:H)x3`?xl9Pǁ*/Q*|3a<_6 ZlR22gz_^[jзK&R7#HίUMK0_qF2hfU1|dBBݷufS`*aN04oR*;"cCIvg@$rAumG9 ;\'E"$#c{xA!t3vKC N?ahhgdrp ]̵$9$6ㄣJ| |Xs6}V`v ptGTҺfbM=%cFSl<\'|Eu?PsZr fוS )6zuJPHxyL/ěmdvŋkop=L7ю=s i82{ԁ:  YjySzMF*5_3ܤg@ )FVS zf]]u!w_vѥym!d) Y.oA|'vaiuxԃ,;fLyV$*<7͇ 9jDtst`T{V ǒp{f 7<39ٸ"g_)[2Q !V'Խg.0=*_eWIcq}lSQF4rHk ⴂ(%Qq%D(ph$s xS>am~[3|>?]- dQ̎p.Ă*p E?w%l]6v9Ųm!Ei uDUXopY|oJK'81^3 mԙ_@+8dѐR6izʙP5O+/H!Q}}{>$9aσxTOjF sjDnKjԓ8go9R.~`Ug~ɔB#̂DI\[It;G34&N3Rj{ƻ " (v`.ˬgYZ 1 135K% dModal_Logics_for_NTSModal_Logics_for_NTS.FL_Formuladocument.tex7zXZִF! YV]A-MՋhvG"uIBm5\헥5zaLAG*)S&ml>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 \5M% 4Modal_Logics_for_NTSHOL-Cardinals.Ordinal_Arithmeticdocument.tex7zXZִF! Ps]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%ь G 0GE5W% |Modal_Logics_for_NTSHOL-Cardinals.Cardinal_Order_Relationdocument.tex7zXZִF! Gr8]A-MՋhvG"uIBm5 * )^ Í/ET_/ӶFpzͭ3{W^X(q<kDۥmm5 dQEq\;91ӠOl=@P(r [\FeBcL=kg1JlE5ohcJВ& ͮ> e+~%дie^WfZi86)6ZE2aBr##yk;j#_hDh널l7 +凕veu?8^ xgCfXMkj0}^3"gGKC|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{@@u(ՒY;8 hy֞| `U)JjӥFkGik1: RK?mY\Ժ%P]}^"6ԱADt RLF㒓QB;"R#f*ņag fv+sHDR+;/I⮁[I8kCoD(Hȝ{LT zf}DYe?!/䢹 [6R̨, Uy 4g'lrLTI-㪁{xj{;%Ϳzaf}?2n!$&1"IXvSWǩm>qIa[ o@/~Y@:=m"AP%qǼuNe~0KuiW=-^AwA Wc/ V)_L`E'TwYv _*2rŇp5Mip( OޗL#@[ӷ~$D?mסx-DLc+"5Dڷ\ր ];8*Bľ+ PsA)6 )Q$U>rhSvIY1^(-|@@I16 f!u)w½X_1'ߓ B v55|" ӽKdli 5=b{Ͱ)&9b"ziY[Q;3wQ ~ve6I?4P*ZOW3(_zRQE}CT:΂ %R^o0 N)~3_ʄcDu7dm=3'gR3@ d8ZyI1#XG GoEd?O6+WTX y4"H(izd_v` c,"PyM,M=a$I3QL1h{g'-qnhz  x(d*2a+8ۦ TI-4BQ<)3 gX3情n];>a<?dC]r IDq,qt  iV7@Y'Vz{i')a_ /W R޳ DM0q &34pt~}QFH0**O(ojOauTJæ+6rD|,?/Edc p}!TĨcTMY +jc<\5pqJ Hnٺ]AmÑί03qwyvhbf:a P*+Rr8c_vkJ~|fX&Ø3"~jٽdB⸵ PMM^ڎe}qWV2I¬^#QbscR1%ݬZJ!a`b 'AD]\;x8RA$Yl/3J CT^2?݁_qw2Nz`v2A@ha|2O𙛟{:أ$!NI8Y'$-ҳJ'Ts J<l+@ y6 S kUq9NENOZ!flO.ڔKl[U0QN{Eq 7#<^ 7ߞeeLy[kSŜ7JFiP0 >\x\t{^x]}aN@=1LzSFIvq{Dg@#)xJX$Z9o3M<{ O^#IF0Ee\Nn(T0$djJLJRf# 1`gH4YfjZ2ǡCO|kNn >۸VQ %ihO@&{͑As-2Ź `+#u%$ /Ami(nb9H©oqPPN-7A Dk#nHIN㩷 zٚ o4Zqgץ?(rDI,4?0U^HCVoY{P¡ₛLBrfՉ*m68ZOXM| rHj\$_@2e`ɇ1Imz"4-7B_в41-ޖ~h׿ [y[Tq X 5JYq40QzَW>%g5AY#^sC-dzz8l/.Ab) ) I?n?KMgYޤ_=^^?PJ(")!*:n.qC@ߩϸ E|8J<7̳TQXUa0MPS`8E{ŧ_(eMYnh8G2/2\ UUv\Hisn_aeط;k 1A*POVT3 bD(z-AT}*1`K )jUdyw'f}(%y\70bX,kccPUxoXN!L~݇).L?0tkdWgs.pX ac@j^w`* x~O8$ޜ;6M U@l;̂bIL:sL۵4$DjQ w7sL )Ꮅ~e[-ŵR/BFzūw]E/N4&ybBn//!G igowz8xڦ@!nCT<'4_=%#s`LmY$l8l֛g`("'Xaب {]62!4TB:?u_ihfa7fƩ~gޓvIU+`ߖK#*xpI*߱''pծ=װCS+V*, w5$cjA KdƹyI3QY 3x~GUan dH~.h{F%h-STH0Zy4vλǃ;-0hX,VF.WH_ܘ 3˘sVDjFae, N2FH~I@gN*IFE?`%Yn'h5% }S~vB]4tE-S J rse9 ޚ9; u_tmXHUVi:1َZjF& :O~e:ʹOG{rmTHOg3Gx"(.ɰ֙h_2K/oE={Ly^SHMh `}y<Ԣ#1\~ PDu@=P;0i"\M@4`ŻMWa!DTAup&,5a;?R?\7*{ ,oMFtQ;X.9fptvwX?i`Gfڇwmh~{ eO4b#~ gݤaUq+o C ^xGkz5J^O5.O$9ի;sڈpt e^ D`qIvb#UKsU )+ɎK0"kDȇ)u٭{/‡jӷ 7umo/&@L td{b.赼0|4mua+~VeԩUMl}SEn="!WC 6NӈRԡyB8a\~!.;FG5mu\,Rγ{2te!"z"pyZ^-Ai-J#d:]e` Ļ*<9P@|eQ^@%$,ZܳQ1R0ȡڌ_]g ״2DLQ4l3g7f q6|$g#u jhN hiHb3H1NA&p)qxp0<E܌aHA|"TXSjz=WjJDg3gU4_#EEn$ D7u#jF߻c-%[MџWA V;AMD1,GL:5Bۣ:9;AZma5]rͶ]]/{ yHC?_tOx$ڵ=S턋|}ǜqN`_ZSQH A'Ce'0`NMT@6#!s NJ=3,}g]@BiKUYapXc%ρrwB/AF\9YuLyJ͌ĕP0Ì؋bmI˘짭%ПǦ m]~N֗mQ8/q8 D.jJ'DIU?+kuLjp=U |m¶d~o8wF<&>F,sk܉Q6pDleHTQK:xۧ" 8-kf< NʕYvڦ^U/tq($;Z_$[ nbv3^.Cw{QUܶ!ƒ99U4TA\3au(q5x ŷ?@ZviGx@"nϨVIi+HTXITzl\ ܽl +1zd ,So7+gDLJvn 唗Wǟ7rӥO> >K As,-4kC Ѣ@U$/q5V  -r{a]K&ǵ@z7DkhZ\߭> tkޥ:(ER^&ݮKӧf ܺU3)ƞQ9us\MaOρTbDt9>K&"\Ƞ R}v.k6;J6aLYyund\}>`A't+Ӫ 4tJ{Pqsd)#05(w;0QF=I{v"x,,F~ROűyF^{WWOة&N#e%S8qBqgVd=Q!q8x-w8XO-$UP?ʙwd1;U;Yb9&ZUSiocI_l7/t LinI'bO_px~%2Ib_D[ `f;SKO _|_1/]VJC^ژW9{_J!D"ӀɷW͹dIVt  'ͦWW'*: u#i1y$2WQ5'?}A<@6ooRcu}/7HNb\髺B-C4}#GA\ c8Е0z[q3M7GozV Cw#zn/ow_rHN ;FJ7S50}>B-)x+|W&7-E?,PnT?bZo.xWhP|wvg~-5Z$qw@멚!'rf'F6r`QFqqж?z0n0]e% u/)c绞E%Nq xHˡ> MT׬.ľP|$1ȼVu@=wSXvPzly03easW4mk^H+eB (c0lAZ {O%K#͢||`h7'(u#txش^ _:7-$}[? R3 uh3fzF"K4n7 pp&h7J ]$?LJjU\^TPȁ{WsA d0S͆a[Y!XWJ_`?8AjN pV^7QqRIr\{o#Ϋ<&Ck4ۉ)ڢ)[p^AȽ&?W';BHV#ӲY"אAihR+HB0iD_4ɚDN@'ך%Hw3VbZ+c-8F4zmPY ƀsm=yS6?9;y!76x yJLܸv=Z7.7@!@Nb9H I19`&_ tƨiϞrT i{A]sD"2JR<7x)A".[2폣u8dxb [CԢGq]P8.\Q3(>[O,hlJ.i :Sw%OV,pkE[ojB^p+~8 6?RXv^CEG$"`L0a~cxUcJ(Bš2szf 鏮)7|dپ ͽv@.ÓSd31wwu4&䱲Nox9}ٵJªԶOx/֌}Bg$U14tw @e1;k}ePԤ/ID>9k}E wLB:Υ#B F ]mUVhw m?̲ċA^-;vXt#jmoPm- TOe*22( K =",cpc}YW Bgqh @O"k_ɚ( TXI~N@QSsҋJq.~ŭM+M?h%1zm݋smhx4!$Y|Ú :z1VDkj| )T抣/aasҔԲ 2a Y=cl\2 Is1g"o 9&g{an`5ut<ǥ&L;h;GBo4+h_dUR :d+[n!;oW)څS \zWq)m_reVۄJXq aG\o o2'npPCJ-spj H]hlѥ``+[&IGv40}J, ['CWks(LPz[d:=U*:C#!DvnR\Y,W~+7^?#ETZ_~6G,s_ڪZC@gojMϵ;ˌd|̞qǝ8L_ᤕ1dQeɈW quTsQٚF'ZK4KK^fQ.2)( k_1.xDMp]σ~:rR?nҡxn]  gMX+:"C +z$|Ny;&q r& B |a*YG6R<%G~]kcn<[ba>@]W0dA-B-U.L#G_x;rh 9%[ C{^D|ܕau@™Տ"+$ eɞB3c17r ޥXn@" fL>]cG*N JC'8,.<# F6D2x)',1cq8*%zBk%k:-4&J-XO4Rqˮ{OhUѩ!_?oe5>bek05c,7p|*4%C^RIשI$ 6-[bTqDiialơN  %ܭ>?0!evx Cd sX;ќ 'tx3/҈#~ Fcd&v!N%vt֘UӲEߺ)H2k" ڱ{_E@!_:^VVVQ_ Mc7`^!~¤Ę+:`!B ,NG^,s=0BA51b(%JEsڕ&d }V}%s#'LCcfcQK-M`넖?X/Ak3Z~IPttRʢ/YO gh&[TC26FDMk*ψCeV{P WĪ 6r=EaiX1)T[DQ)jn7׳xf _?H,fyIzElV0,+ų~5]iIB:eKG,jSpCYG|SZ^#:yؕ'5|1U# LI"i*E|t +P>H: y=!Ӊ|Fm|ފ@F?D4+=Ibi ޣx7ah.E$ɗvXg72c*m4IFRP&O,Gi* Ф$Mg) Y[(OSsX1[p`Rj9p:&dS* ?/&}dpwjI\*sG] bI2* *x`\"~-~ֶ8+5c. OGtg>Rnc :^ikU#1Y"US!ğIۦ&YkG#ͼ 1%xHKO "A׏VWnk_D+Q+9ư&k]RcXsaOcC]#=K= y4p:In[$bpVd3xr NSb.G5ȗ jt0H\ z=y,_R37ٌ}|9uI#Bm:qULAqOhTޢd4Id{K@|Nbߛg>_q_lH,i-a CX ѣH)Y?k]$9%mTz/r,@1`0i"N3?Tf}3ڜ L?(q'2y\Ʒ2VۈĚg 0/ZF윘;\:& [[Қի{60_ v? +nܴS3e;O!r k/[%LywIVIA)DP#tBF-:-E'.$IK?կYm%E.-d.^F T "sNy"V3`N$/^N#{@PbSRk"|T.&|9ƎAj9Km L T2Y3~Cv:w-jbupu:s$dzS?'wyfBy 1٫AWz]t)>5D9Jˌ T䎳昷H!%?[ȝC"JDvP7.~?z1v[}dBR8-Y ܆tBdX6NV‡XtHߤVV.IG\}Eo+9s,B9Dh7|+48]XtIXlMZ&j/JO#% ] (-cV 2A*a&`B@ބDoI):۵h [B(0( [Qe @ KqvsPntqUzJަlZ*Be6+(%iZ5i%:O~ '0oiPyx5vHf ]U| L.RypHPy]|fΏʳdtԘan1vFБ滥$LW\6Œ:~o9|5s< '(3}j0Lm?@ϷSX?rqIk:/(Jb3 ,iڕЯDb0<}O< a˕pBipi˼*$݅Y_Ds{w'3b J[PTJ3aNl9&/\ǣ( ~MUsEYSQaR8 K'G"ӢuQہrYC"yNyv&Ò7=qMfP'fCO9"5er_˸9"[\%V m[kCt fO^1.Tfu6rn*ԁͤ|1/:?up{Pz NœgTxOyr넖#B$6r= ]ՠ'8[^1kh 9|wU Sh{-m26'?;Kim@@,NkbpS!SD$JSi=?,ʅ7ڹqL:p1wtt@ z!R8tɅT!co5>pC48Y|vӬĴ|8|<JVw[3RvT@6WBEQ0, ys4LӟFna/4׭@!/%mox EFx+ ӳ^k#Qy-1Đ5m#Y{-K+)o3Jk%C{2ZCI}kd.2=S=NMP:']ƅ0uM]ԸNStUNmlrg7&0[g/{+X.˗c͊p@U<^T`:] \zij`qU3:xە9 ^]1 .3-;3+| V~j!y)6 ߆E~.XB~_uƕ9/RTR3:1峈#˝Sԯt/C6|q0IZU=}UR=)}ȅk5M5n=kꖄp] 7qxQ:' L5ۼ8>۵8A v2whuE9zhh'$W70(w;TOeB((fd~PDЃZ-jjf"u~РLŃר f&XWR/u!nI [.\,H Q3vʥ4p Q?ֱs˨'Kԩ{ !\s8%)PĞMADq^D%+:m2Soe]s8?g9qQ]?0 ;Koa p u7 k >S=DxmpJk{&GBjomܶS]@F?`FPZJ?b~RDi!Eh } Lf_{\o]S&8Ud'(FqPBǖh4 4sB7WQ=1bWh|3-4[A|{>u,<^=< ;ɩJp8S#'v-QyBaE㴇,Uw{Πi?L-޵:|щ?.uoGً_ n> ̢hهwwRXzJ&"G jB; ^\ҔDD[% JY)ySnkʦ8瞡;c]4bp[2RA9 (e#p,SY147XdN}x1 o+}Ã{P <({Q1\5V0gDLvm{9 ɵM=0j:iۇG8`Rq)j{jQwZb7!|`$6֢JLn*PTT]3`:J#F5:#@"8HmkRyˉe<,Vc*ohLj]tw#P&l9fX7G Y%9lPQD3_;d?tw ~ ?͍t /t 9pvK '*ySscKpkWW>au{8#&MDMUTlq+0ӱjⅫI½u=0()d%;!pdE0v͖M/T*~@miS{fہSaq~ lJ-")FQp }"Fv^p}00dGgh" ђOJmKgF.nc{g\i[]K[́G>DJ EoC002Oe "Xa TK5AKf}x/1D4i%UZ6ԋcfYT. xΗDcLKVױ`8:[5E3E=MG':7|B^)*|G(an:n גt-C"˶O@YN ED^+,\)h8my=#=P[ PIH}%('0Ä)퍉'vj{$[h% Cz#wsKx6xY}EpjU֙F鄿ENzlT!֘W"~;0Y?wn\C{0MRsu#E!"ys8,F b@~~ixSK6 k⯈ Hv1 saP6M<й*ǖ9WG'$@PZAAQ+PA_❧S6K3 ,L7P!U}NUYF74zo^;z:=C5@ (0*YBn/u,^{Bsv> Eߞ[Xl%Ks[{Ejoh䌜:0\ktgڭU$w6 HIW^t&[AYV%!\;`,%9Ky;{ae2Rʬ |kHS2{;4@FB$~)vj ){SPC}rjmo$Gv0k\X? -] cK]~U ެsOKb\ay#m5l/i(k(Rc NcM+L`Q7Dަrnx U}1U~N*C ʼ͡MAЕZ'RRcW١I݆|}iXeB?:J&jzņGO.-@jQ]hTd <>(x@ Σ Z ŝWdm$Q1} e{œ޶5Y߅<6B3*)8 VBL7EMS 뛩(szK82Ĺ}d5lMyf -\ח |ͤۗj찬tV 6L\SoȾVQ61wF0vXbm;{- ;IY0sٗ'eKz(؋^yRjbz2ɥ/nM^RIBQ!"klJ\8KezۊAs+I!U$*+>rfx!A Ѭ1j8rIügi=`ݠỲvG9dӸ~E#[yf>[c"bũod8W*]>V/I. myZHO^Heyl& * hוYt#r6 @;WΧeT_lMswۺENu;bGp=`>.pЭFˈLTKwىzgׂ:P%sⴋl %Iy-RuqRt}>9Q7Z^닾}i>Z漃C,x |bsB/y4.zT ^Ɖ:( D޹ LBZd1|GR! _ 4U@{$WlRB3ch ND&euZm[0ˎfTA!TVA"l t^%`U΋lݶx,\vC2Tk>ɹ1~dl+~OUT"oMNI~.,ƿZl3sz _e ߡyOp!):`@H )l V/:b"%q,xL~cb6rz%F*^Eh$Th7%CG ]Kpw`L1 7Jxv:64%~ 5~f-!'<ݗu ?g0ckуx =cuUny FX~~P26}5<,CqؖVf=+RUH#U|F.IDdk{qx#280},Z8Yb|զQ Й + lW8pVgQ2p JF?]x!Er !id0^%?)P|uͼdž[p; |A`ׂ0vM8$vBE' :I?2R; ҹXMXdg(8l%lh%N 877cA 1¾ͲaMJӶpİ+@oy2l~td f<~>lA44g `ֵ_#Y1*,Wo_DvY7M.4 iN ֽ|:좖 h*“_IMb.nY܎3g+y$Ac+mvIԾƭնa#׍񽭷3Ii:B$.wuYͯ}fM c\Cdhd~½7H-'Z9z*02;D%.۾\+V)%Yw֖_IӅ I,#(1J2ɠ\Aq 7^ۇ$pYj&"X]9W۪ܖXIw_I!9rϭH6 mxI`ӈov]?K29߶'8fMDC{ѻ8NkjlD/lPnsAOrz}Pz^*BUh9JiF}U ?O$ <"1ւ Eđll$&kEwƒ$]xKϿg*,.j*dim\ID&XPQ{塆8Pr􅅲>Yݔ|޴M᥹~P-啶DD5ZԀCB_SeCNd>q P: YNwqz3 .4G-3t1#p>ʑyDyLL!+x-)콣㓯{Ge5?-ԓs{:..Eig`uЃ&KDc8_1g5쳶B^@)b|GPH섯:}GԽf`g9!F}9h6r194QvyV.'fzR^vwඟ;XһPz-Se^. (Dw rBoBt@ ONe?â91wU 9 V#N@fm-9#Ob 68?@dXM< DC`#sbcNA'Qc2Pb a F?o9%~o}Ol|^EM>x4先>fP"Qf&t?ߩlLwYSWBbeG0L^@,֙jJر;Bk1)Ԟ ə#qa$ޔ;D\_n\hm .stBϯJaħp_J ->^z\϶FKm}L }e1ԏ` X ܡbHcycucDm)QSG/i/۾K6a`5t|!LEQG2Cܿ!i'E{CÜrVsaQVn &b*qƱNw "~luiUg͋N#xq8xcDB@hdW,(Îj'q-akɨrH gK~.y" U68^Y>I[h  Z& 49+MroYψ 4H0qģ/Vʢx}NL1v؍1tƶC=1%J3YבY|~e7hn^&xZ_{k|We+mt|x\cZHca5c9Ec&hfs)E/r.= Qar\p{g3UZy$8%>nЊwI$r!J }>:U94?lMਫX(H/p4 h2 {BD@wOpaQ|eRUOyccLL\ ldcb1%-L&Sc#3d5n*j<0/wʸ([nwGјա501zϏ%U|7uvO"uhS:^Lࡳ/$Jqw2LύKOzA;k3Ɛ:n'/) Tw zhh" د>YYpfQVSng=H#c㸂rSi&^d- ފ BKmڔS1QGqO-ɔhrW5B%Y!$WAj2/'YZ &_ N8;ЩfM 82 ޔnh\,Weu`B<#\\kTGgd?$SuVA[?4V*^sS*=iR͍|S=r?/Z' C]}yJbF]td*DIU;Uj-W}1T14Q`-h4 'R_+4H$GX_ΨWJؐwh~ fSr})I&6*HD6jF8,.`C =(G.UQ9 G)8{=}T{ȅ")mJh,[@csbf Pat:|}BםC@F|4z}2-DKDOq[/w%vmgwUz2JZ~ѾɴXY.9.:#Q&砲Џ#} ? $';7݊Cev؝@9׸lWvmi`Ĕt< ;=HOh֮^XSv Ј䎹52Fc^f`u&t}_2 Ѝ8Bb42\21+\:w6P.+jt^.Ѐ*hа˭J Km.Pգ@IbXõ%b_k?aЊB9Af-V-jP7w!In hg OZ,5!To8>]0F,!S"/Cޛl>&5whzͯdm kdEdp,XZFt0]v*Ja?Y{x;kU!OFX}E8B.$M3;.wm r4Rxm޸㥲㹬0;$$MoX5T JPބs#3%3B-uxaNS7޾sye% ZIET꿤w&?L`s{k ZcH@M+6r PkVK҃|#lV1Ebz%LL7C^]bG[ yRyHTkU[hdfN,J뽭.TI\Jj .0Xp)5BU4X Ț+긘ZyOJW||ij0ڀ+#FK4gz@^]9, ,P&WA%IcL0앸3$Y631*tH@adD1!kYFy"q@;WL0xkQPGT-'m|%XP ?-+^?@P#p0L[%)Zz+}8:Gv<10,bvf%xsF&[]) P8LRjbg`ךˮkP(h;ulj4h? nhXd:TdE0Q֬9'LY{`j ]6q?ATAt#{ Łl ekDTt'`5j"h"0=̀/5@I5 1MF^ٝ$dtP)\GJoëU99_9Ԧ!SYg'ſX?B-s":%yt1eڄe6Զd(4:x(gè n{O^v8bUD{UIEW|fn Mw|0WwcD_OuGib+xA#je`[ 2ppD:Y~ˍj/b .uU]̳k^2!MB%QP8cVa vˆ@d3j*yrycoMt@gdv z7Z @vV BMI޻яݻ_lTj~]=K07_ߎ/oBy "@~ȇ"|t"J#o8>FI x1\*2aP]+FM8Qlh4*;nv\Υ]wTR4z鯪=^'cClĬj/Fwe> #ޙo7jnRv0IM>9n 0l˺qa_yzir=HfQ~ %0`b:PB֮)_/Fr2XG|vL%3FEEXT:B);R@ּw=RCmI6<ݧ?z^M^VGdCm`t:X8<ҼNmI8وM,]'%5:ǁlW.7x' A1/yGls{6r~h+Uo,-yK QF6U<d&3U笃z΂fhE &:R_JbXLlqI{b`RUk/JۏDJozawHl2\bQC1%K"RO߱gYZ!pI]6:<PT:.,fbL{ڋcKDG +3o/Vb)Q<})]VO`i!P"򠳍 (Cv?J+1=|+7/jFM&OTW8"SxI?a5'I*3 Z<^QcuLrZD }f { ]!r-a%*NHVc 5βZ p&궙W@_ctch-p_]T!QScn#<;]6 Yitôr>tTʉ'봰KrE0΃f5MlتIԍ\.MOmxDv@}@WЅ\cF3$e~1&$e)9Â[#>|> ?XgSyYzYOpҋ.҅D̸ǃt]&7PsFx+tLncʾF#  jv* a`t[;}+I!!"q4Vp4f!mܔumT˞ٶvpFَ'lE8vmʐ4705KzemSD?,Re_QtTYT]b&b gKbHE )rU=|7;X"bEb[-fTBJHShDq0>.]=˧PznK[ 7#q!qכ4x63 EE8{eϔbQ3\HJS` ՜ˇnA o@! h ځΨ:eujfV2 4<`SfBC,6Z5 u)]h>/pxsf'c8}XY_Qz$dOΑ/IO'K+ Ϝai[ ( ;NB!sdҌb~XD$f:Bf/"<(2[* ^ 5S Ae 6sbū%=&\$blCsbjS? <#EBv ɑnjВ6)K*d{kRGy^w( :W{yO(&73UA8q 92E-(Y&!Ǽ|?ONyXu!I`1X?lm{]WIsfdBMLV!{\xdTF'R #Z:]8fpx2hfOqsקOTsj֧z +M#w2@kP6w{ƠPn|AU+3.ڌ`x.f!xk`a=rߜw7rOí0?^8 Yj=q+Is5$|dG 7?)h9]o?+<} E&ʂa#6.Ō850IkwP:>Ѽł8Vg4!|Ō`oO<Renh(Nd,hx-Ƶl؈uZf~^%qE> M; ~W )D&JXZ 5%o/na+P9uq䝵Lw}b;Ugn*r!˄?%H4 p#b;X1lv]uC4Ps>f^s!Q߰*A$s+CĈǺ1NE(X9Pd!tQ5P3g)g = "WԶ/cK}X9YRۃ0o OmS0Ftο Rx?DUl3vqksP2a]Kr <0SwJ|4lD:cp8uIǃX'?䓸Te\*kD?cFd"W=C wѝ`p?]I2q}nYs.,"v(qA<H3]O]w!k?\R<?4/~fǷޓ)sSJG氊nn0ݲ~IBVQ@p&U[%#89A%HA=ȃs\U-bNJœW+;ʇQGu^x|CE1\ c_(. D/z\HTǢSfs ,)㡣tyZJvyMɘLJ> fi:Rq;21׬?~9@0x.vP(g,w1H[)j@I:Y@ύy +,y}&Ʊ7UR>MrN+ ]NYO;<A.BMN".RÛ|( Zɠ؄i=n%[w(:LjI֮$v/!X\$ё!: c{dubЈjd{#“@?7匷,Έ0Rm  N -o:/դ TGߺЦa 4u:ڰV X|pE;l )OФ-*|.$<z-r_kXzU1RE*W WUQS.DlQs7taP[GP3/>4!Wg(`DNmey@89uұes}o+r!B:'G|(?#K Mw>+3r UF^%f%#м8o!鑏3a ߬1re?/NML5ez\ 9'0D!Qqn"[=m4?^is^' 5'M_U3I`<Giɿ"x+ՓX4s$/B#t6U֏MxX$מ\v6i@;khѰ=?Hs XTW:0Mc犊YA%V4o>HMcArܙV%bS_b7] 'Wҵ'IQXqHSr`[gMwwO?C^ZFy_pRֹ">U6Lɢ ;-y N:Z:Ө GsRN7kML-+ .@?=_ZҬEE-3ӧhl#m:JtN ~/zq// $ ]qUywl׋vtݿie="ˆxK8RO`Z{kpwjti!$yո'^SiPPtB /$ڈ|xj2$u"|8B,g+mKsS"c2ĩ3rtǐ)_42"hv|K3URAqk MD~G&!*1l) 2!kt06k.@ Ad!i†ODA]?BZ.Sh#=T8ƁW:(:Jn&WQiis8Jou.=3uR$+62oP/v-m:eYe# |?g>8%YI81k9v1&XIjS,'b.ef~0*,rDF^iY/I!5j]޽NHMgGߩA*/Iw\n!?e8al= ypPnŏxL'.t7rf,Zy¨+؟Ki}Qx{1,ILw3/om9bٟtD6%tz{uR̛yy<J)i}:.l4NƟAg;ceƕ@?mrWa? ܼL Ԓl;OfqhAyE\6ly| -q5/0Y~3n/*L0FE$cHS_F:Bc7g:][i-IaJa{ Ik=CXrH!E,H!J㈸> ց@7צ  dԃ!Ֆ»HemƵOVd%ؼxgeV.-Cf}#Ji,,Rk1Ϻ SLvָ&DK1BN@_`QPk* &w{~&B74QdWpBt)(- j[q|}>.,Qˉ՝,w*e05zgw>߳o!k} J9 > KL!a{7DeNjOv8It/~Dzm@jX?!_(x&fd+e׈g5'3Q,!G 3ູ!Sٺ@/en+onD/W6JYO&$#^.=O%eçr;")7{f0-6'|S!(YRUzv $j;"n?>u,"_*Ll,7m\kT%y,$04L`ip7Γ}t5Ok>ѓ39~MU77%dDmտKfXhDF*y\"*9횙{JYxkx6?DRs_V19K ?@S0yFUҫ"N,?MU7#j>B$/(U^oX\B'\u:^F,2B DiS/9;Sj8O`Sj=w*esaGlLm?ddǀyFkԯ"Ǡ){ؼRs \A*8Bw`*w 6p \yZџB~>ns6U|/1L*4h[`P"!kHqFcMTwLY^} ^›ueBG)BXV\f6iRQ&TY&k Od $g+-^Q"Ysg#"Z rkZW)6mz:/ΘNiީPCGr#Wg)/?Ūp࣓'spәeݾwB?pVߣeLmx;F=Ae's=FN ˝Q7hgm{^U w6)a8I*] 'gjO>\)Jms޾bl6WbcDyžSއُ5XQ!0f ǻW:5 paun~lMz/ F5mI6q3| ,715;m+[&(pL sgͱcg`6FoU9u"{VGP(]K½1tWs~lma>Q3]) Hټ)L6V*nDňzщ ƜӼ0dI5rŧ阤)i/ܷ28* aYDZ)j{.ӯ2EЁ)><")#mTR!6Gn-]j)ڊ?byOAhK%hi hGlzX뺫A( w $ ~ t=]{)7ܬ:J]9fb6ŊG\7')/ެv.OdK_`FOOv;qdGq }zA_D`,=SX=#Iڶ B'"ov͉߅ll 4~k4\g|ͭ$-D|/_#y\-/-Xͳ4 ~]`31,^쉪_s./^?*ϑ/Z f/Oߖ+^ Ǖlx m XvhJypx!}8N?7Ak}Ǿg[1\wһ\Ԕ驕]ԁRiѽSw=Gsj ~UUtqƐ]AL'$-|XuwcIt'qPӉb 7~~v<Y>h,l^U胊$ByU %O{Si)r6 .5[>l~3plf4KE;]`bGs7= h&ATr_Q('dWcW87?߹cF>rݏ6⤉J}:o*̀R?P6~1Q|@9kmVD2Jbm!סhЛ $7+v5 J'F+6Y_zhNJ+YgE dr@-R!4:0R'U_=7\##Y>3v]$QԺWϧX0ڂ@i|K4Pmcatd!y2z6~N$a؏C9tx1{>*FZ}_-'x W="fm'̳D-±EH'-?6El9U6oa6(ã @E-P s޶9:7)փ(ph8tWsc=*vܱ57efP'x+y!=jM'7u?ew3loϞv^dh)eb:xoLicSK^D<%Qp.Gm0+rRHyixFQЕq/#>8lA+_5?B(ک+㝤TJ6&\0!hF)Ó#L(s4agiFĢ%W_xW *cQ+!y׭HЖpkkzZOk> HuOq5sX&eHFyJ͕$SƘ"n+O#loK}/{5*x9뱗+\&;-tyõ᱌gˢM!{fY}Nʗ$('(HX=:Yt}XnJ6L̓o@k6*X PqiCW@S-WyVNs Ն}gYZ xxu5W% \Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Constructionsdocument.tex7zXZִF! #Bg]A-MՋhvG"uIBm5lRHgƀTf,žʳb˂/6^+ *8\r/l0OH ΀5==3fYp+f۳MEVhט5^gL0^1".wfX6MEc?S?$@^i=kbEg:U=n*M 3gUDc&yUy.,g|.&<7{0Қ3LSv7(8W@5JaVk.a6Y )a5,L){.$O+["_#d!R u(|fïq'x4[fP2Ѕ^ɛ*qgLŌ4c C/U Բ}RxfZRc%|=McN$xY[/ApQL%$S\.~M2"ZhKb R+g5xZտp(])>}\1>D9z c}%mebG>>2'( ,|~w?q8f5uÙ!%4 4W00p/\p,!6C"i'ô㋠ilrQ;A Q8KӼd9 R2(W0l/t4JGoS$h5M% LModal_Logics_for_NTSModal_Logics_for_NTS.L_Transformdocument.tex7zXZִF! h9]A-MՋhvG"uIBm5,= Ci.T\@n?`&ՁS؜1OD6ZF:RnrOU%ICP:L4:WQa_Ǩ'N\SYHP`*@~%ןqw*>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$8); %FMe$ I Z5/е1#v\8A ʸsIhօI(~uF⡜@"DW_FsJH9}X?ώD_7X@"5!z)[߄6.qVSA^/Ta^(4Y ?X!KP~1cLm`"1HTP#X/hWcr ߥ^k*$2.Ԇ?Hw+r;@Nȑ |A{k AbMI,ck)W %hl6E-u \d^r l Hs`05(PLu:^WC Z Q ÝFC:A_/mJ+i7P+:m!nEi=n`̣J$b;$+DbUxOgi+?[E2 2>? 8P ϒT̘s#kOlX.r"S DTxt4*+kNRK֬AIaE gݧ7 {#\gh(dKJG9NcZg oWFnR JA持KJb|_yZ'S}աWk=D8>#wg7j'eAgK}ן0)UzNܲo(\Akh7_8DQns2{گ%?Ll*XANBZLshESt;LwFWlFE ױ9]K/wӠ(j~R,1!$&$tafV)MH)ڼx$<miEwY/_Ƚ3DҿނfҦp QfA {*M䉗<"d1ZÝꝤb,81& ˌ9ցB9iypläRxqym"AhtgƼ0.7Ѥqk +~فTU)6t?wmO7=@$ܺ1^Cot%햠 γ{qq196'=òoc5X"F&]F#K2r2V ;K tyGmc-Il!4rV%:F"g:Ҩn'L]ylSf-xhB9N2QJZzO6-\Hn7'͗mG{ŅhtqXyί7IhS+{8~7Yo0/JU!4]+x]G5L#/ "N%8y$@o=Ț-OHs%ZDe \&܋y'BT (-D>i;¤ARSɩFLÃ$$~oAvUv %K bf>|^|MdK F"UNN N;KN,1'ŝulEjã=yK{RY[S=nGb1D B6KXCpl kѺ KAf.CJ*P%򴼨@.Ɓw:xZ º\W|wqa><%0F|Q`roʧ\|JN|7{r&X+ ʽxjm \d '83W)~6-j2I Ѓ˶RHfM7pB@uf D5trD.%ґFOGSH,22*Gկa^!GjTtjUD~yՈ.ӱyE &\"4_S=-*K=n@5k@ll'{k࢞K`λA GA Ŗm/ IH=ܺ_N}MukC3D2$x~/C:W=?pM4?LЀ5^V n?7M~ο.l(+}] X{R-#=uf@ wVhy)[d_ !0bTJyk;o}-}>El^?.xJKL)eBga̛5$/XND[75&䳩O.La| _O,b0'bK6h 8euO]&FM~؉cvq+@q>w{D2{:58,h[r~|-ו#fgOVI] W20U CGGfyEaBi) }2d{&)OAu}`FK~ׇ2gX=& [-ֆQӺi>S( , uIOͧ j@Ģ NYm|3ս@@oߊ|$x#.p8`,d`*UN-rE[$8V{F7{ T񣸖ljj;Q}8(P:*t : ^#ZZόَYGm[5 GIHU: BHs[(.jShj >'3ʅL9tbq)^ߞl>1'j47Ӊ^UƧ)y |/vItl]-;S+`zo ٖvh)'x4QEa@.)F~OZ2l^ 71w[#\H ~+9UJ f>KKMVCn4cKq@A@-&wTtSr82["]SȦF\rcF`Z;Ȅ/I־zHsqA\Q FGPmP|svxO#{:-̻i\l67# p|Q ׅ)u6u3?cЄ.)oJ6I$ F:7xrI,d WX+{S-rhUZ(Oj7Y}.zBEl59!K\fRbbsFXȢp˘~t7+A?&7EIdޯu\rwICY ⟶<)>JW&ϥD}HyN/5p !*S+*kkP nM3p+2JMT״_ToUü'|LUyh$^趇 81aҫlٝߑƱ!XK̚j#aL G7HBRCZ,>dj5۵Ƚ赞!z􃚝5Uۏƈ"'!dEM=J3 E{w m~+@ a`OP>Ryhʭ# cz1p { 3?Gzϛ3pQT{ v+CȀJÌA5w.0d+ӷMVx`sTov*9\(;^Яl8Rdī!rIqo &kW5r MIϋ ̂8~8L.lՀ_\tgNgr #owQdD^]} nQ1mM c~=QR榊PE{ojiUT\a,!d%?~J+4woI{IqRG7&<)x]ǁUu+Uio:c:8 1IP= H͑~B|܄*Hcw}͟6d+x]ovfTf?u:O_b$< n .oIDģ $_Mt ֕I}>EAڤ(; Ph*}`d>vCsn;" `7s)0=N,Qo}i̿avw(Ӻ{'Ƞ]tE5n/pAzֵ}mE*kͭ(m C6&5#\Se&g+생Q(v;#c:h<4ft[>h|{:Ȍi) cSV_)S ްNcc21'%`u`izuf05dkA̔s W;$m85ԧڜZOqG?a2OR6\sNx%;bGg\ ۲+w>O!\Z$tTpޒ6\Li̋JNT NĞQKZSC+@'Hgfa.OSTZWcϝEH6L?]OQL mSȡtp6z>Gf>N1vIj,71"b-|C3LB e/c!<Lq#_e"(}.4}Q!irtcpsX誫>q6Nͻ|{c.مIBI ,N}N?}3qj !4d+%=1$^XS}KP93XBg;쳼4ER %!&K{ɎE10/~.{6\ ~5Vt~96Rdbl.8G}QCZ$9r#.z8Xc*Zy.F/ ѝ.zQ`o  ( q:ՍVj +TS 7bZ͵-eSұXCe4U"FJj,Oo[3eE)x4_$6ׂgd OՍ5Wāks&%Yedpz>lK;M& h7F* -㌺\h +w+{qC㐽7}.Q*6lyim=.JNFG, }Iy%B*dU.n/±ȝB RcVX-0F LWo ,!&|$VץNX Bя!d_(2i)phgk5u*u|* 8TǙe<\ s11p3@t0j6!3nŞJK r`G$ڨ~OzfSǮUXb!쌻ZZ,;MGf$t tJM KsoODdUm{WTbרbV}%H=q#,n2 UެiTıl㢨< ?C_hԬсR,s$5CM 13cof,I ˸7LAwrK_d9!*,>vw}ƙ÷kµŹW kv [6 e}/;W06]ƍSآ9$D,1Cԉnu1~ Im%Z{Zo[ZK f1a8c0O:JA. <[&1%~(=T. ߝRJ4]exH\pj[ǿDK+_@'toboBU %AyIGFW'UhŃb(u~GҒJbh{7#ehn3ln[DDCda=xշ[8< _ǏGޟIo!<òSy*8g@lř@<2~M_#;B9Mca5,@+Bfmfio$.6F_antV串DLkI ɸcWmN!MKel, )Hxz>l`]Og\hૣ1@_ v{y5!̂ޔKsބYZIxfc?MʰchoQ8t7s8dRz2Â> 6LU h@;I>Q[j-:=>)}\'&_Җ{0Tz**Z4QnDg )HP7^(nG2XTr"ү[O! +mA#&kξJ;eϓDKo ^_* .< `t&nIU/A?:1Z9ȟ~cM *p}t~Z|;$8`k²RxJ%|7aA6kꓗ"l5ݽzs6+:ֻ>ai/A~#~* Yaj gG< D(tmٍB>\{v[%T3;^UɃBN }]@ȆE<xNi2|CMC1-p.Q=ApN0ԗ^{T+VQHAwӠ} seWPc9DR˅9A>pfk|i8hXH$*"m{'aKu:.4%PS0oZRS쭂7C7{Epe3z2ynh-ąۙozM{h%gR"YSқQ/( gٳ#U`g;C>qWTO3)uWD?BuYN( G 29AwavrI W pi>Ojuٻ.ϯjXwe2עfȝikfws'k4gv &0x Z+WV"BI3?C S$Yer$SoB*> (ja~DdWT BTHLG%^s Ro& T͙m?Ÿ.H@ATg+27[JnY  ÓNlM ?*@I41*a&17*I2Wy΄Jz#@C]$A™~ߋ:h۵EFǘHQvUfEPrM/ra쓲'xJ^ň/Ц<˚.` S%JV Ń1e^lGrfSO}C7b!KsBRi\@8x#hqMjjTL94.Vnk01Q=pp1.)%juR5ō9i/]I r3ɮoI6GeV]ABPV-B.Ǚ;bw*V~t 6[7Zڿk"J-@̃_jIX)7ټP:?y:2%B{@ 5Q4NxU@&B\{T@Q.3ȗefo^yu:laFۙY?X".6p%*&v`?5'NKp/'\GO>Y=׋m6o^YgL'rX}zdre!la1D7Yӯ$:55߼_ q4sەS{A%q5Gag=ԭV&hkOMͥP&qhzK:*L 8m»j7$ j(1GMDMcxQ96r=A-TbXo%;՝5To(WK8D~U0BXM@) od |*j'Vƪ#sW l_y 'u!;IC*? ;aOq8}Sp3g̓R/ 9-sth>9?jQzg~ڵڑHkK%8n՝XƚLwg{ńL^"G, 7 LNYk4I_:Ж.,Vd$}9~wk6LJNJYBA*ߛ+A,o=l^)9k& N]EPNਫ਼ș_hWP}v\I1Aݤ艢6Yi?Ɉ0_s! >];a3HUR/OKߕQϵ៯9ejݢKx8u'>.6| ?48Rԭ-E/\ t`=rDVѤŹμ<ݫ:}#wԾ%)ƥyX ɋJKT{0#O! .BCMTtQ U A߬64+\@P5 eUp#g~SV9d9J) +p/V}`Ƿ~w~o4*~N#'!SǵK#oBZވn!FDE^@3~jL+f][@ uK%. I;٬e dp7׍ى*7 \mhi&B`d?ƴO]EMO-WK^ ߭o499}إ%;VB33ȷ—NX\|. P}nux-D|#LZ_7TTk zN Y !u ٰcm=OV>iJDgߍ7=Z6أV!y#} h:L.~'ЅToY:bMef`:Dj~Ȓѡ*fWg`A1)? ;lVŹVztcCҾKm1/>D9o];1kt/}Qѓ;1Js98o$C& 5-йqzzL +/ެ19#g[t0}g(uȯa^. 򅮔J|xcb{,x + ?=5*Q'ݨyX$ݏd AJ0)޳X3bBw{+WY)vJ-T1(zB&bjϵG|qnY"5\#+ Hg yxwLM-#<\Q3gӟ(TJJUdb}N06`%K"I8}W)y0ҷ I}"exBӑ]3쫤(Hu FGEo31&y@J~@f/$%uC2nes-uuNO] { "KN|4*y\^ibܑG²)J;1؀Ulz= &Y5tMNxLx,%38{"yeVjQUd9ѻV,8AU,VTJaN`PNu` n= m{06o:HIdϸ?nrWU1SYj q 3'$[9k/~ ]!]1^WFiy9GU,܏$fL)~Kr&}}h|olU</أ>!RS12b}9h(Kx342eak6޷LԾkO̭6:棤H)^|t(׮Jx/[nqXt-\sB qcZK ty0;´3|I,qQQ5a :pW~15c=ԯw*ud"uiӂ#[n<9I 5S%0tܗ8SJ s)J Pc4GcYI(]S RmF  ԋ=Q"E9ZCĢ $=;`Òkx| ZN[s{'no:p8'oqwfR ӲqX;"b 1sI yK"l}`h-XRl}f*_L_\ɂRYËalf;*28N ~!$B$xia 1b\t̍.ʵ SS>՜NcMכ0 ^8lɡ} VDDVٷ]`A:!Yf"g ^/U(lv66o8y`?m M'r N退>Є51HauunBOn]C~~٥+Gh.d. ,qjrpi ()ELSL1_k]\X~y|t0*F?Zz3FI8{sxәf?<nh/n7z3A6+rZu#]_>Z':ErmG\ \l C%J)W7b^뛫c lPt8v P3#gJN'8&Гf:=Ğ4eX?]K0ߡuD)mr\Y /:+ʻc|n|!9z#(W(b`sr"ӂs0Yzգ/} /pEό^I ,6H W_/ԟ&=c>clAKcpV/-R$G:]✷|\tZ)=h ;-%l6;b MW%i`d_ITYvf/OSp6V7ZqBzl\obn௬eRú\ݡnN9JN.,kѯN>BZ0Ñ/ª׍fϦN{t @s얚ߪ@T%bd{AI?Q#U|b'2R tmqʴM?+[0p淇vg0|,†PUA~NHWE62!TTw}A%u̗$|x/,d8@vq5JU$::HZ0M 24iXzJ"X[+.;mv}1{cW; /2aZ vz1"(D=؅:?ͮ[:}ts yl;{oT{t5xœe T),qӃK͔"Wv|gsʇ@L(iDyodAsso#@4E0"y٘y8i/ZVZqE-C6^B+,C"4v˨R<嶶Ij5"Xk@h^kwՇA‚m:9ʚY?b*@ȚI##K fSu߱#RNE't&&DXhKh%@f} *,K ^fZtY'^UJcic)ˁv]P<4ZF{tr( 뿪H=fe1|X҇9' {򣙵֮s1Y3QR!̽DӝKT*YpG |Xͽ|rkt:L,eOw `G݅i ${}5RSW8VsB 7>~Nec~J(|s$h>t_m;J|tG /NÌt-ֆǕs p\JHX0"0IiaOss-mA(ia:j ƀhb0}ZWD%&TR錛 8~ʆ#vP--,ז=.ɝM4i7K7-)@_ʶk9x{\϶T .E*jFqQ"i h󞝔`Ul5 [>ofCCT(֟j$J|U2%U<~ed_)MSߺ)`$W EYw $97eL瞐 CgH7܂3tA2VNH81GR=~ 'gYZSJ$ԡ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$EM>4fGWd'OY\%?ƻ/~A<*iƱUϝia 6Pr9X 9mN:jӏ1ڿ֌|Rfi%At }j4!P)~PVBH}_^Aj x>&?5]%g\[Mdʭnljm Ɨv CDx406qdtaese1@r׼ 4f+:q*ЪebH.JRBB#pEoDo+;s0pͺ9Y n@m.giE. 捯EF{4$y\w\.g,tqdř6M+$[jʰ,+oIӋ dBKz崝7,|"\H.Azѭ&jq;S f9F)yUnsDeJEO ]<v~ O)P5<=nʮ"C0x _C*L;w7JA-,hR%1Br_ .:9wa]TMAVfHPD4KZ񚲘|\j|;s@u¸ؐd8ǻy`b{CdkIBrr2Y5^Z0n"6Eg_g~PjqNe@\o+ - \\fKͱN-2%h%M\ 3ЦJnnRdRuG\V\W'\I o?~K$=}2 x6;2bgys>PknYk+^Fh0V>;:mfb-ۧ[^V1qշ(;r;(ÙfDW夵-"rxDBѴw'YeZaxDg]@fל D~;a~Lάvf#g ${xNh GU2: 8&\9ܛWVTGuvqn7k~kKT`eq]%Worwķ"uqs|s7s)ɽZ PP(|@=; 11&\* 3c $ߵmB{tB-}^+R0$8Ȩ?XS$Jv:O˶y*苶:Pfs9p(#5^Q@|R'Qy _jU; ؕڈ7; :$ȾaA@_LXUdy۵βeGvBg׆7iÙ}tΣn #u5)fP6lͫ@ ꎵo ӫ2ZM7&hYr٤Cj,%i~~^od2B࣋^Wz$j6Ln(KInJ"0{[ƊzF|wf*0w\P" <Ok0:HX"ߍ8J:-hj9ol$9Nv C[.mBR4 Psz=썍TkG"&~F[GZO4X7ϥ_sRn-LPC?#fV`yjF$&tɿ"J>d*G"%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&](g^[;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;ߋITc6DG2i4dc9D8^d|9U0Ae5# NCCcnJNf)}az`Ԍ"@9RlDAQZV4A*qK ff=uR g: ~l gsZT?H)WB5i9fw Tdk uih6&̷tƸ_PO?FSkF.K-'Z#uVu:8_[$٠"mtCza=ץ_SVaT% ?2kIoi{ʅ5"-(U]y<eN:D4A~W,7k:-X*pRq'G`;Z؝^x+Ӗoz;3A"@$'}TJK=R7 Tiգ\Mm!Z $ L,d&燓++w*[(cT(]dh6u.\Wۄy uя ym i؎&585KWVS+h-.q剁)y_Ke5{9 :i'[kϖ4Xb{O)~߇HN 3RE U9Tmf + rXb~mUֆ4 ,akR⁽\֕E m5LPmAX`o hw"FMRbfܿ(S8oz:1c?wZtvZQ4 kRulPei}ehz#b8*M<1 )~Wb/_2zB~i7pU^Dlmd.ri\:"#G#TԫVh:N ]O Ԥ%gxfP-X@:z@'Sd;K0Y(_S0\R ZR:S*Εn;&]{&znOô JGc}Wܺ9C7Ww5m ޜ۳{ȎpPf`ĺ%SHN6$}kc `&;?T=F&6~e~C8Uf pYþv-?m1Q[BaEk?c1ٮt$k̳ `5h臄]9 Xb\'eU;t`peQ]6TI fRG+jɫ`RꡜPeBKCʦ׾J+;~9{K*auA*\6AbNm\a!Lc3JlGlTh;]y*Ђݦu f $Yżi2eMTmN*ݫk8 Ga\7s3+DO ,Jasv++ QWM看 y3ROZNsx5__:Gd *ɔۡ!_/%TZegBT'FVv| XTn]&T$zVKf ifN%I"@>qϮtGCwoeS~4ƿJRe7jwgYZ   l5G% \Modal_Logics_for_NTSModal_Logics_for_NTS.Validitydocument.tex7zXZִF! ᅒe]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{c3lKUF*u ~ ,8yscNb8oJ YY1WM|2G@zZ]!rHӪcI~b{&Tzl&Է!&f :-]F_,^F {: CdAʼn9a0a4+ O?oqHAEbk8F H@5GNnkjmFk .SN)ĕߪ\~šV["yP8"U]T܊(سƾݰ؜`X@=:E=^XUƱSg_ŽKD `ުYBGR᪤Gxf]1 m5UѲ!X!6!&u,M/3&e;_q\iFEw@7Tsl*n=bcʇY&6w݄ۨfL"'Wz*Fi"3_E^]~"uZ9C -4rʣhoQY7MmNDIVǔ A7<=pژZLBjD)IjP^ڜ+PU#C_Ba̶Lfp|K沔m^~rGWH)]VzG=IP#V,3}`PƞoWKc+hÉ!AdTF$J)Lh'*!񅭤Ǝ 5#4}XN mH N(uPfe%-)0r ~}Go<ƨXzn%En2ǭ^vn;} YK*rtIŶjW'ssp`ί1NKawǑXS"}h5T d LYf~>;(DVfI+'Y.Y7QZ"&E)G&N"Qf: w$-k–c&6:S|@-r˶UA[&h{μAL2 ]nmo*ΚNM>+uDP(7:Dӗyb ^$=D*vٰxUȧ(K9o9f1ɯ=ўs$2Ě_o0ca8f{ʝL_'9|z,UJ)l2FtRaB̽UY옒1ˌnF|x&`k4-q`EzEV6 U[9hKS LrɹGc rkVza,)Qẍ]yA8?c$Lݯ[A JZgz=7:b^k2g͝N{[]h#MϿ>F*ۆ܆ L Tqw% nGHVjL/2iZ$ "~"f0@p}q4[xVls=De-~jIHR :f 3"3 N2(h"&;shH6&dkeL}5^Q'Z(燬ׂ ]'B<:v^'d5qW!mNnILUFgR"s_h]9ܚ7 qP`";BΞœwTr3G^O&d_:@=Ilz Y\#F>Tp㫚^˨f;d],/VWe'ύ4ܻ8SJ 'T2/"Zj\v |TL];TqHoq-AF]POE{ƠjK80mp9 z$#hSW@)(b8bϫQ>5]#N^}/&l%~a?Vv wر*mD$qfg:$4<V> `%)LP/@;;A65a[ *.0cr[LHj?z<֒5LOgYZ B 5c% lModal_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{ALIxg-p2f0^M fjòtːt*;7o/` ZDǸ8t{}XěVB[k :׉ ^C1&建Ii%0A>$$S}uH T(1~6Q{/wn38=iߔ>?R"{baObN`E[utrii6BnAǔ`RP |Bsu`}G6z>8HerN!eX h*qh/hDzk=t r|oI8) ıeᠫ'xN3Zh}+W%9@-sm0`XzC?a ^J]@g*`$ 2.k= L;c 幘ZKܼd|Cdykl'an ~͸u(n2HWcS)W$tGIꛬ}7%abH~$IAɶPN%rhP0'a`j)5eX+ /^BrI7;;8r.Xb,w_ۢsPkm 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+:}tTYXL9{!Kbpo) L%?sJM,,?J&,x3yhTEB_Eh[^v?MRqB._ǐ,  1ՖGwY$|S~1؏4 $_ $|\o~ʉKK_tgсWe4Ps0N쬸[2PQapݞI1WSL>$] pԎt4;"ڔvK;BJI[M~MzR&'|mZi3*13#A 퀗?n|& 6?i"K<[d1DR7'8,"H~I."_ɲppF (6t Ǯ8',ǧK>&{GQ(I#k[bm\ZtH۳WӶZrOL8@Uj)(M\ 6bk `Gľ®>5,g&F1+$au_\4BćcVoQzYTG>6疈d xbkZpi]n5Sy}Ӎx4avEf}kHoi QPׅ P  @"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"C.7^]8Jw9Ut}vјզӑMK}b5 S$dK8wVvV@aA"5yg jWe#B7g Y xf=]T m5O{֓R+8 {Z)YZw"!ޤm;3Dh&=RaZ1@~Q(̺P:ʩ\l Z0tsãpN~pW My:kxlg|Ŝ"3nˤ$EU,Jz0@Z7}Aep1UIqE+eԪ}U^<7zڡS73ơs} O) p[|*!vȃHgo/0pTz tW`ܕADK j^dGX떆nfw#ep? 5H *P9ցs{{?dҎf"ǎ:if:˂8:zht`,AX&J1<:J}YK$Ɋ\{/AgXa|'j y5VRcR@"EQ`NW-jIӲ7U-põtiBXcأv44ݖ$/Z'yL8<$Y2Yi@HAPqץ3Cbg'V~ÖFv)ѢD!͞/Ex*Q]PGu F:l+ !z]-E-DnKD&"ԣt[ѕK: RWn2^c{'\;;`#{{FIj_DŽ˛tx~ Pf3WmK Jlh#orծ=_Q-P26x/BDmެ$ylZmi/vB+%چb`k^[]ylʊG!_I.Bk66jw+A۹KBjٴV&od0q?}Zٶ/IZYHW,,^ihM@ S 뷯^T=<鰷 6@(T 5A@= sal p(ݟ]j}T~?c;]6kI'e\PZkA}tt}h!u4i۾U<9hك6{TuI5a-v_| y #.P@߬hC@v0ćBʽ8` V&Gʟ=9BFvЃVrΕ0S97\P瘌tR~Ga̩M@uctkρLg9 ٔ%4]"X`p2c=LpqyF+@1T*$3:.`jH#^*K2I?_U6k;uڭHWlW 6as8Y% ΆxE}F, B 7j0KηseHd=g Q'FyVnG?fogYq:KB)Vz`)-EVDw'+|c$9 s0cac-Y.m{@d9`9KV Ux8ހeМ)_OԴ|w-tD󖗐hS ]R_Eiѐ!uW\&Bj,y3Ɗ4`ə~D񕿴d9Ccxcz"V~x@uГqyA4&GK\`e\eA>[{SK'չBȳWF##H8M}|'ʐ=@ThtgNl k\,GD:yU|t^!8Mc 9&`(؉g8-e~%"7\NI=TϋBgpuz[*- `:72ĭp;~ףXdCǿ^z8[a7*lWP`\VDQ ԸQ:$r +=R X-Lk朦/zi-X7FMuC6μFT6I s~(M߮1lh ( G"drݛ#{S(X}`t6,MB[I6~ҸwR~VlE5V/UyxRnD,j|g&;N5ýS;G>Cw90'q=Z+q*e5fRS^-{`"ULtnn'{i#(bTOor0FZH XqttphB5/ىVu/ِ`sǷhI"Sҿ͎ <\k?ia:,P۵zNdj/mJd ֎M',+MFzm8f1 Ն =%|ᯟD.8GVTUfH' CQN /[ g]mdҐ ~u0_o4"8vw݊DB1-K+ Q#zxOߓrVX ܋BH:_B4/t&>FPM.X5pɳ@7!#_y% \MU3jxV:zx?ֆ2Bѡrw*!sծQJ1rXRY7r=FXā=p3!t㞺 ~_Z!L\WiQXEC/΃{7y:PGZ,[OGhxD+k/Z%7 K@'?xœ78,nuaY(œ/7I!xosY3zϹȿlNeLQXf~L`RJY͜P`w"Mp|RDHw2g!{z8ւEk-o>kc(.\/8ֻ }<" A|4=׆/a$e;ZyyfGz`[9_wZ6Ly4,_=3-Uq͐v#Lz/ܲ{K?HWUV %ӔM1G3Gyﳉi D:nSG-aP7 DxS8S\y M؛QDN}F(J^iζ"kk0_=,$W* /z*{܂~1SbzsJd?9ÌJd `LHv/^fẂ]u sĆVo*L+ 8YQX)f8qZ72 gG-wX<F; eL["+3VnG&UyR@y'UO5t[V9(?~ʼDY^L$.0d7&'ZEWH?}MqDOeRhȐdE;*-(zc)/VI PP ]BMq䓇0'~tmu`OŰhv[1j_rF݆OCKo*'nX1eu^ uҋcO-/~kB?)}:̙O]Ώnra%bq}c:tO)'Z®ƱLy˰P[jxV~$,1}]ЗZՐV0:6^hX?u؎U& g}^8+ҞIgYZ:7ȃ,wZͰ,ܴ849NS!Ԅ:4:"i0Mxw@+&%akf^=asPN>䞝OxL8l%`VOW'+Z1C'Xk`f+$b;OI=,.5E.mA'eDݨRiE4fja-K>n[#lOM:'A ےZÚ^Pa\ f#5s%Zcd~Q ħL(2IӣjER@dLҼG8lZ lESɥ?-jHD+g eJF(hNهt_s^{IݰgԧoX`gP?Jm5[yoUs-%X 3|73 K4`%3FJ[qp[ BdS/b9A1 g\;><@6[K<? q<73(zm=EIKx_?|mA>c[x^N1ŦxS#Nv2)E?L`Z[͸CZ$I*Qv ,# rnuN#0^)9[9Ta}XcqEwHhn[:#C_ rwA3"$ L: hIZӣJD;xMKTcAAX5\G,(Kur6DC'+/Ϩmxא/n37&\_ZB;-1 6&$@ ~bBj#B3rص6/+ͳ*& ja m-xpoMP@0≶y8wft-KGE&yM;[$jV~E;kP:y,^1&@]shBb 0hb%H[8;BMHnfkG%( &h>|@/4.Zv y1`?1[e 8 ,v|yqI]0[1滯VVZzbiym\td _]cS"qqM o[U'$6K,(I}ea`L|ՋK9=d )> _r `ð+ͯtP>i˲٣ak՟H&6@4\7]Q<4q`E}p2O3YEj&)Xt~b՛hF19k=?}[2fJ7[[-P-ep, q͍f y6-xmןM)w( B@#SE ^q$Y(l1^#%#˳ͭ?~s2&nh##MN+،=i4 ]౵TflmA; LɑZˆLƃ06vqBY|rP8Vaq$@DLzꦕIĭ\JiGdRWV8ذ+b}őZ/%SE¯ĥCm[ n*-0ʴR@R!ߡAB:aI|b^lNg!ۨ#)C' o }chL̐}";1KDOUg _7OW+CnC6Qe.]ngspeB 9W>Q Ki~|b|[}[Y~`E*d'8~ߙ®>DNLu͉uً>waMR^XId#2"5 cZ^ÐQ`%@cQ8U9z/&Y/4RgYZ s 5M% dModal_Logics_for_NTSHOL-Cardinals.Wellorder_Relationdocument.tex7zXZִF! p"]A-MՋhvG"uIBm5lRHgƀTf,žT0xeSpM-5{ъeoF(dt-{yl *l"4,dp':VtUXK/Cq ʨپhȱ6Kg؊ݠAs0ʨ Qfy2>9.=-ʶ@/-ǮOe>䁖 grDfMZDŽiA:oko]_1]s@RIoO^O:RN FA O>_5ii)2%S>?E}k𥓶2(wvG\ MLwg k i>qe uoF<D LETG[x=<+P1n &Ov8G&AN/7=Bq{͒@)D*V ;͙tKxDnjHӆ6(#jҾyđ3:2w/ v(Qh fiv};\GF+ wN;v^Je{VTa)bfi˓˩ܭDVxFZYw.d]"p43)?+ǕJ\8U #t̩8{+kJ~,`(Rì.pܜgⰋ`)`z2Xζ޴ߑdJ$sת1dKEdCUKN|B|:B'!G8iv΄%̎򺑉cY,[aD4k@Vܽ YTF)wpŞٕJ=yCkҚa땹8.'jDW}Zc駌›+߲N$y7lVâ1yEpIA]>(,QۘPLik&56$36H('l`I>DZF_R/$ I[G}bzS%}M!#r@9q&A-8;L+PkTJԷ2-XY$k|FrP,\~S}r%.h4,"c$\CWa0 Ң :vc\ tc&[db|sUGIKmr[k{:C)ɱSJh*E)s_  0|a%bΩkTiڱxssut9@Ck3,`9HhHҸ" T_wJUt6 Z>f\V"A}:43"rfv?;'0XXH7dO"6FEa-(.ִ4#0m5Nf'v\Aj"iHI>c>_@ Xmll狦+~z~^BXԇx h䳸ҿ&0O0=b D(8RX"Z`JMsgGz12)jqd-JjഺdIHD31;K 5W$(cD%&uIg5!8}| D0j 1^JJd]<қ[ Z&ޯd*yB4߶5Zk.SU>a12e΢}IͰ^^dvf'~ gN.WC$FGNs5b8{l:dq"]33vXXMo'҉ȅ12@}$FJn`'XLBcj1bT>nB u۳̹x%j9lD9$Lsfek6-ʺ`ćO*|-sΉK]qDZ.[_ty 'kP[nIE˒ @|i1Uga H%L?XV_D] Ɠ7 _G ) vF&巄zp Sz(N7#JxP>gwkwF>h -Ŗ$:ip 3T{A#) }q'qLL管\bwCO'/鳰29=pO O+cJ!fv*Vt׾N{&\19&AkFU>Ǚ#0ij9v^q%;z΋ͷxxGccV#AHH U@X#DvE"X'|)C؅fz,{=]g/N@g壱xI"6&^[ sLE3F3L2^"Qps\0_*ܒ.| A㕟 U;;%۫R*Nu@H`_DURÿ쌙Q /L/U`pYD#ra ;'&;J ,BGUh EW2'}.+*DS%r}+enPfN&ޘ_-S|!c3CT: 43R6$kGOiץ 9d )v m kO`qE\_hň?90[wQ^:E)>nj 8} x΍~u0Y=c.XV}N^_Ցkn -(Qe'gp޿j,j=4^TSi:L64M&nffT~ /X2o jϯF[SR!Ds=rcjA/ {ƭəB]!:;Rc cOn0#rȒ:ˇT6  4+=Ŏ; f4w?EѮb\wBuS'-81Q]G2mlVr}@\"?7.@1Z׉ԗ$eŒ :Kts1D?vi ~K*?R[i:|tHoxYw ;7A S( 9mJVƚ@i!B78F~f{Q~Gc+OI|Q֝SR!h#>~ |_.' ^TŴl/R,?hd0YP<)k񫵇O] z@I!})Bgg:7UVǎCrP}Ąţ]#JR o5YJ*ĝWT]_2K { DQS:u540T܋m/ ~y^F&/Fg͹v*I-*ވ;#Àm-a˪'{&v5IH5{u7_taC.B2Z[g[J]e>mt7G'pߞDUͨme2i !O-|ql&@bk>꠻c'] ߔ@N&j]L߮gJ #|]|rpL~E+D$S>ѸV[Vt+U3#6R# F}ځt)Ϫ| &DY/bSVTIG^u|?\fJ>to;?`:5d`3f_Ӫ١:hdZMV*\(A A4%-$c O.{W~`Gn>P_IJ-Pł8,nM܅K*;´PZ(<#bu| =9}R(6a|zs8 `TA`x,l#*8KhL)6ꁅҢx=1Tbk@y\a.ъg=gRaeR^wk\Ϭ^iq`^GB IC$ /M~T}I%T&vR2PiOUhϠxo&_͵~4zPc; Ыvb*cc+*]..f LkZ)03v0#kʭ͈/?sgɁ$/',%6LwЏ'O@քBh{<% roP75&RjE1exg8Z=5jÕx8Hڌs(˷ uyAx31apvUEsUK$ЍD !~|P_KHћ` *W{>K4ݦ&TB,(-ozt']%)hk)Qc @y!lEu@E<8!10$cX_wU[7/ւ49Z{!QhaQ8&^jveiYB'mi ПK&8rbw[3FuoD~ ۥT6 w $L:{.m5d.0S5{׏ܨP߬kd:)<Ia V^Eskw`{Ȧu%۽,&} A41FHWsmU͠.Zi.-IQkM`q% 3m!Lxmcڌ4.bh'r}t8XR>-Kӥ?^6 HQjAF]=z MSSɋGUg5Ļ7e"Wz[U>:n z/K,/mu] Er_ D*";h-><᡼o! ʶd+(f?̣GAM{[i=%2"iTtԍJq_ $sz4Rd(ӟ$Z ]-u Z[NT΁Y\E?֥5>mIYY7v);b2d? 6MټAF1t=|j 2}^=0Ԭ81)ɶ$hfE8>FΫ^޺m(/VϺ 7Ɍau:|[RDn|HT<(8U/ tl]`5F.-`3b`HH!_`\ ^\Q[3_V $ЈCnxXFyl0/^MJ}忂.RB 0yuQ|{60@G}o(;k-#8I_X]"3ocšI\QBg'|΍x c$4;7_"oOu'V5Vz OnK+;:imj>=wϖUyTԔ0vug1Q|'-8 &ޫdDLrXh,) [Bݭ4kAt K$1[9vIgYZ  5O% $Modal_Logics_for_NTSHOL-Cardinals.Cardinal_Arithmeticdocument.tex7zXZִF! o]A-MՋhvG"uIBm5 * )^ Í/ K*^? -#f-Olz3t5 4{$( J`eXWIv@h|b]?0+Ki0bHG}#D ZI?h5 M#'kBlWbP[T֖'jVZ4{:ι, a 2d.SL=w3iy:!<)2Iz"Op. ~r&0B]o4Tl@\ !<$UEfO/{B=ja/3[sQ0'*1d3싗hh=w^Hb26t ս7>*5Tl Bd-[db]JK,͟@PI;E;~дD&*=%Ԋd-\ΝG&䷀Xb}"a*2ϟ%) Xz14KWg)8ZMƳQQ%e&f(nAB\Fz5;&d:S井0vh MfD}|h FhFmAԍ*mƈpXSCsRu[ò3f1`8N?&D,,"|R 6|ɷRj$(r]~RZ>%#x˨-zfq޲粀=eɗ-dYD#SNöv9(G݋!3ͬR>n)2aOiGŽ'(tӛ@8Eu~16%گ.A&"bg}0@'z`% Rj`aq&NGFsj"=A䭒4S\/)ڙyuG*M!)cIR`t ڮ.%) SU5Be6W]wR~ u-!VgqKaH^<"󗨮|;_;HNfQB ywUb81c/b۩+b!]$RZWh=:IZێmf1ppr9*/٠m~:Q6s6v邤[RM7|*9;-.$elڤ`v&ت3&[oFTت06҃ϐ$C̿cB4{3Y ]% uA1CH )geSK ){,k L31K(}gӗ@+> 'dOnzjg_Y^ߍH@l sؖzQ{0<:F3JQu84"٫> ~̠ԢX/N:5KeymKL }o:AL]evBT[캝 |b d]K/W(ZU:L!bF/kgI$ PP!nax (%{]9<>:ϜE*َ$lkbN/bC$g'|qTKw;=p.Ac\Sr""Bƞ[q} -{m.7k>)зWRNz ]~TqvTFLZʌ`2KQ$ℏ='RIU&O$I3G!N ϣLh3UHT =ʞ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?<,F&{! ōON-e|fHt_ $HmhoZHy/2-"s*Gܠ6Z 2iu{0Q|a!+jbj];zŎw[XڤdJaEntx!e?+WrۉL⿺v:WA2Źa(j8 h8:)ӚB'-qm]u&oUZ$k4?ḳ!%ԣi=:+).!^0nG kbҴ,% ~ݸFrTc!'K/0W];.Z]ht!X^9 ]|(€-"z+.HLIvipewFi_. 3pXB$V.$2~yG/[>`wdJ6(v`?wc4ŭ Zʓ}VI.Ay&9QK% 7ސ:ŽޟM+׸-&ysk5TM 05Tb<ѪA7f4x![][]%CYUt4v}n5-eaex͖3Pث A| !DgYm}_L0dʈԾدҼ%X0}BOK|:L`j~q{ŞLǨoofO4!Eb3ٶDz#Iuu_Y]x v~I܎9mqM7F~yCuP ѩݥ>Z~0ԙ H8ffג],A>9u2'B)9冱gYZ  \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 S8#5}% Modal_Logics_for_NTSModal_Logics_for_NTS.FL_Equivalence_Implies_Bisimilaritydocument.tex7zXZִF! 9]A-MՋhvG"uIBm5\헥5zaLAG*)ֶwDR!H8'|i@Hw·'ѝ_} P+T(')ҡ@:/q 0L;5FpN©d}.l4`|[BRR4Ker[ J)y7]D/X^R tD\w &yE<$Y'-fywT 'r'/LϷ$؛fT.ŊL, v\qô7#qk<~/K UoӑI*zs-:apt_z䩭{3C 8z|ovTwYSXo#/닟Hv;˜65tRݩfjt K.9uow7:."~jfȍǖ.X4[Kk}|Wqc+9]j*F'0bs7,5_% DModal_Logics_for_NTSModal_Logics_for_NTS.FL_Transition_Systemdocument.tex7zXZִF! 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 T^5ݔH4#duba,4Hzvh ( 뎔`FkBq'I)m<<חXK(Q>6pc݅dTm'tӐdܹ ڵb1FB%EI  =ha җh3۹l:5$@P3NW;~ߺ=`}Aw{$x+jxRf;%6y砦vᛕl4̣>v%W1aѺ8H(r<;3 =Ƭ'̌Uv]z+oKS m3Q[G!i!v?,9Xf `Qhc|]Qb";j+˰WmZ$_=V&,[4g)xRAx̽[߂ZבXʸAs_Kw#P*-E)]| TICF"lDi6ļ"}R|jcy]w3ʶABN!"Ƈ(n:<_M։a6#BGd-U<N D2Omd4o#\|8/ưbUu :=Lg7rG6!* /T=.Gxh=Z}>PD627K0g _ͅ:މt\qFUu8sx(L&@"'lIZ{Wl !r+OaZ+ ûII5qo!K\'ndw^֕O;+/:N1gޞsz/>譬k%b!XCCc xMZ0B5kxu띛pW1 Eiudu͇cb<@3hUQ46k;vy'KT!x5T"0a.*vʲ.~ߧ.l&6QqjsMԷdW0d1xD4}' Iy˸ŋ@ح[C9Vg(hvB0?t@R)K|eisiJ@<消=Nԕn{R$M;4P20ATk]O!PQou! 0%|~;/10DSg,p4rZ'[WSz0vFВOE,,aD;4ksb_P.Ņ)݅ɺ7)7ܣ]@Z2Y'sq>2Y MDYpxkIPuK v 31,-vޘd\+ zW9)"b"|V3ܥ;rQ9;רu*b̮GڊLrG~ö0Iy!4l.Tb߉5駖uOɹ~0WY*-+qRN%'-_Xm[`EA0Po9|!Ӥ"cͯNEI!hJ3MIB̕@Bu}֬o ;fxT ̉>>!`> cVTKk\+ث/ժs_M9>١潞y`9ь y[2q əI>|}ÿ$?_o~5Aoצ5*,ӃEw-[@u7CXo:AD>¥[JV},;OShmcBj̛z[ul Ӫq1Mo(h_-z^J.R.<FxvtQxo8چw(jQp4MNz 6G v16/L{4a̱w^N |>”ªʾ\d!4}Uief s*:x#) X[ э;f{r?J"F@1IE8Lm+a~B;;#y(ᘧJf(D1!v?6 itbea\XLPϏJk?)${b9Q` O#wYT#J -@v+B4Y,Fjٕvox~H fS-mݔ62LTRl@3%\Y؎!0; WHk4uTd۠yFr+cQ3% ~h iʂ3薷B6eX<'F&07Ɍ8>8x9>\'M|myC'17t"0sLevU1/tFVbJ19!l:kPsH`@bk ľVd)/ʠe̊zDӪcBsO}3,4#X5}Advk0΢/z[ `UGi`/,WA*;Yy4/M7 Bs _OZ'Kb̊D%5zJv9Zc!f?&-DZgYZER{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'Ԭ`gYZń?F;+ jH:e0S-LdM!A< L~#UmV%WL}cDEU$o?8ߥ=-EkH t)TS$ 5Y>D.nO΢TfK\ђsQSC1X1ȇB0J!C X:8f1HN5=Kkna|JXKs쌤z=|쪿k~$ 8n̋w>6`l ^|;ʕ.KnmӶcispw7| YzUI5B"TgcLMn# n!*N_՞1:p:@V:ݍzcL[پQk94GVC`QR2"-:oF_I,b&_I%\'ED6ݥX6󛈃.yM[jHAoo$'i1 b(Pt}F$WFv wm+ ~Y>qLqHP[c<߱Gނ{e:9.ϱ)hjC +_= Τ$ /#[](LsI ƛ+T^SbyRεhO4yzȰ:FjϠPW`D׍ .Dnfi$?s.(0S&y-t}5ź^(#|$iSz2YŧBx,r0FZ$yI|zF-N6z7;Nb{ٶ6uq< $4aR"KX [~^VMAzAM!1%RSk zEۇQ/ߞcs<Vd֩PE9n" 2C)^}'4+$[ [v[N <(h+49(Ǫ**iQRu<0Uf0nH7+}`u.K"v 0s[±,IZ?6ppI:`$':C!# X鹯^gFZ\KH;Ժ63nچ:uSo+%}])݁`/,ɿx}ra޺uksBMx-`lڮJ%zEƿ՗椊R&){VI*`Ұ+]պQ;!?7L3u4lىR\$(_l1r&teNhא1|~G,~LOid@CM3@ fu}T l:_J~~ix$+(۵!(Atp@WkďFZŪx"RiEg&Ve Cq@J),= ZF-jPP_veT*Yu.@L ?v`U27_,4N.wPBs3趬]" fkky8V@ڝ]-7 5J}S67ZZAi0X2<FL%:iѯb onCHס.IGw;۽FAfΖoM^ d.1q=#[oNLoa%(!!oa{uL6XxԨ=bJPKRfFv)vj8'\ o`ZJ$K3Fw.~izxl6;R x [V 4,+boF|+gfa=e_/vU>URke;7KvU7Ek6lvH1kZ;2=gv '5V@פDe>XmK bKmS>;jD_PT+G9Lbh,y[(u)c;ڶisrD~6 A6Ю@dR IxtJLU{tSRjȳ84yBht>MP߻}4[#n>"9*=/ TF{O*̓VPkD,!$ж!^4,BFqiKdEC01OQ>Ab {,9IvFO 5c!K|ˆlGmz_ŧBKWȟpR\b FW֛W^$3#\Do|Ww"NsBlΥ93nvG _1 t29 U4[qߵf#Qt0[R/Ƌor>.IU {< rR|W(w! 1#gJ+'ԋx/ÛED TR4F#zx~nKM|6O;5YrL3s<yg7^_ob8N1tbx6E\=?Yq@0ɾqä=Z!arܯP-d7ݳ]A؃aKuŀnX4ۼ!(dvBo%&&Y*2TmȬKű.9#-daq% o,unfJb=x!}dJ*w/DՕ޶Oa@nOt1,;%47~z2tS%-6UE t܋hpS|~۾7Qq7EoTJ>!`/!"~7\E>LlmDL1ۊj>dcVE'y,pe|%^Okƚy(*Iq^e\o叧`4;x8I2n}4$[jwA6XTmWIb sә'f{UNt i™bRkXzSIH?A=*f+~|&su梒^0ӧ#}J9H%Pl1u;j@tZ][p U{`FI_]Ze[ ! Wj̱>y,] QCKLXX>Yڑ BZ_bCK5RsԽ?0cW-],.%Vc>ܫT`E&~JEUkuh2ÅWAtL^FIgr{bQvx?MM z]ݑiWekE%ǼgYZ  85G% tModal_Logics_for_NTSModal_Logics_for_NTS.Residualdocument.tex7zXZִF! ű4]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>e5Y% +` H隆`!mr;\5I UV]p)=< 2ϕܟ{[,AYM&~'52DS>krp/-;{KN&?V[e>5xS;TM6 p+ŧ0H1n]Kݚ[_`zSf#oqnƩ%j=d\V15ڤ#)B; Hx+w*ŕ,n),_Bc["B ͘r v=KIa1at110;l`DȂ=a`^"?V4ERۿЪSu 23%L_tp jE2&W*@|8@n""Sm3UﭽB,m YN[Bō;ncgD/{BkՃ, +c981j<95Q% lModal_Logics_for_NTSModal_Logics_for_NTS.Weak_Validitydocument.tex7zXZִF! +.]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;05O% \Modal_Logics_for_NTSHOL-Cardinals.Wellorder_Extensiondocument.tex7zXZִF! 7]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#b1C9Ijgcu-#]T82K3zR@׆Wy{la+s(|Tv.7X7O\1/ܴ򴢟]_I=ycEF7|,n;~ %5x\%cChW\)`P70r{}AʂH}aavvfH`rk}j-Uj$7M\uU)ZQ c<l88Yy|}Kͧ~uQPOVz B%}T=0w- R{H9+vFh׌Wl#ċ&9F4.AOTOYuMμC[u(&ZY?bi%Б+]xM Tg.tVCXG_f[DJ,iC|2+rs˶D%R8 /\ ŵs|4P< tmts- ^EţRO@AܡzSgv*Z!\0N_:IF<}BfuB-;U$eWV.-{ޔ1Uݍцrr[KQPTx,YWY\ x<迶ٻk@tN G2H:шp<4y,_xl>m)쇣 B1Q&Eߴ1G.l#hR>$%yR6p3!#1[hY]m?xv\6ZSuzYfC3usFܑ'M״>b}9 d;%~(#(ϱmQ|s" &ÂāUBDal;8|CFb7I&O^'Ul=V?h?pUgB#A{ RQ~q639!+=8r>_$|1֯.әR]0]ydj6+~1g)of@ZEI`]Rh M&SjOnT:vYi5-4ҙ2GfӜvXysђ;hÿusݼp6&b@Wlw|9GGsDòs[yjS;3$ yD TՌ4>g?QK0aQT A/W_mu!V2}l+d$bI'Y,EwK$8~v^oa )hܘ'VnADEHOelV6"a1F;Sߚ7_85H&x! *^{|1,_i%z|Jh&Ϙ@ϚeCd&av'=ceKle{Őbb|)R[5FV,gQcSyƱQzxSpd*m}[*BWIm2Ӗ _2\ğ5d0K8Jy䪲0 p ZX ֱ4αbP{\.tHꗁՁ 8u#c1k^.Ig&+ GpA.TĜz&ʹ]d{h6x(+jыάGaħm7j6JeoiUүQG:46J_'l}5=)}sMY:c⤐3ciGV9H؃'U@n;i[ ὝfHYj1[P";AxDgY]]i NP ٢.0ܾ<erR8{Z'MP\\vlRoxfVZXí/$'L]AWVaQ,^q%DžW60Eڡ"2Tp/SkCGz93c[M Ե)f2-!dn~=m]6Iwvq-Sz.;At*Bu ?jD/3&䫼TweL*+F-Hd(,9ZHKF,eM.C&̾`{#_dj䟁"|wHE#쯥 s#zd; j(C]4,94xs2\Dg8ϊ{뱇{[J?]rWS : OGg\%ay} Q{n#F1М]]ȣxlʶ=SAΊfOؗt|e+sw䙎;ƻSRSi1z9S5빰r'LbyFNy:u[Ncp"GU u&Xo'$/[z~uA4M/wQh@ \uD_fZ`|vv \V :&TUAe%_`y4:aO p)xȷdX45 #U>aPk !$GumC5i=t3\SކNzj}v2E1q8gSICIķ^34\|a=&ֺo^м u폟l Z (c4|/aÊ ;hΏ AH5DDa`X^^"6?rk }lp> 6^l`JBl`t\\ nZsIUO̫p&v[;u!25NE'@ !4Z4Mb˧B0E0 _X=c7H2:ɕ 5(+|ɨ'FQLeY >} ?nlK]QQ򻱁֐=S '5 ~5#(CإyR|&`̈xgfmX)5օ3J;i(!^^j7Q8LJ g5L $Y;fMyGHyaEFRQm6k SngYZ!WO\a]e Vt-R-weyѶlh1dҟl9;m# C4UNPL=dKr Y|Tr6S\4 x8,YP0 =[42S:6[kh̭sMyf]ŹU2F-A_6a8fyozwDA]_uPj8lcV*jNOG H\OrYP(J:IP+'+e8xZu`k8 ccu&6VZC϶:pG4NzOǪRؔ19%e방֍XE ԟ{+8]@$CmN0*}XFǨ텓bsh&05bF[#>3P' `ia3Vö}4Yꙇy'di tH[%~Fב'c JqI߭;L<-RS/QKoFdN#L@fkzvi_ye49x14UI~7+nP}OYw7,Y'E ]dYJb8YQ)m5^H磸6<L)~ead–iDtň5P7EyR:7 ;ê-=)=Iv(\O*SqbZѼp7Q/J&a6c 0An^S1@bqά5H3/ߍ.*%#awT`N{,5R%{gjr~ѩF8V.I&뻛|h$l!w"/r@?#-H2KChqScnBH]UDWԏ!zűb$QeSbI1cҠlYEv7 E1Hp&DɬQy,똁Urюx$"Hkn,Lc‡*?T(˫Dr>K{ŕyS({ (0yO9E24wt[~ɏ(Ced5Srg wF^Yxw|*Y)kJIPWZMQHhkx]irT)(_hc~qk,0{~,r1SAQd*ۣY:uF)eeͷ}J&\IM?>ǫ]$s~̰.=So v .l}yIb3~)0]vN~!YC è&t2Mine 49}P(vi~‰teJ1 E .mu= M;Kvpl,+[if^C1Cؔhp 2gRT-sS`x҆%Xpu*^#TC3'2a1bӲe]" ѦW[`{!0]1meiUrͼ3HGL _ρVRϋﮩV7Mxbp}_-"z"Rs!hKZ=>P"KK#* 02>a" fOl@ljɣ}JO8&WW؉Pc+S؆0TIG߫&V;1=#g#)MIE +&Cra;>ث\1ix#:2Ģw[^"L&uˈ1ngQؠIl"u],2c;7֠ԁˉ+#y&;l灳HYR9.?5T#E\flie;G عtJ >\I ˖3=vtEa}cngI9Q3gO iG1p[Q6#; ?7i5Sh%& vC}"]ZY<#ޞlJ# j8Jaq@ Q478\|1;զl0%a--zaFMtZЉz9DZN![x!=VڌS? zhtE< i|V y=%s"f?<; MWEդm8w}:3O&k$ϾdZ95hn*}RnCCԥ@^{|H{߳s%KJbsPi;nO8uv//6I*p+CpHĵ}wZ/auǀ9#V[|4Xfm d)vs@$ó9$ Up/9Ч!ω596hxQ'\2 =aez8)7R/gYZ1i\Pˆ3U{7%&uXl/ŜOiV<o$d)HM={ B'fpQ84Q:*%/vӂ bmKtf^, o:c}; b?kp]: Bܬ֠} Nk?"!F|ˏ'3G,k8ş}H,c[(whouQck 4%H2BIO*ZTeWh|e֖@{ b8Dw?<=wKx1 N-²#&Ȣ:mL޶G,J5eZY+0 giBgSTsSUG[VW N$49vy6o9-ۃL3Xn*_Ssե5DoqogP)2$"annu%ʨiER.7Nav:|#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=Sy=&'hS2CӘROO5.lbgj5AfQ[yI:gYZ}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˷x dL;[lM5&7dnvXWpwYHW欬ӹHE0F]+MW{r#L)ˤ]I# `lE$K)>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 & M3͇.Iq#T\΂ lvk6[Uw- PF`Jf:bHK9TKcp ۨo[<8O\~%m_M[)/&.'XE/r&G i};:5in3'x!w#kkr%z<m<\G[ťts L5 '6 @"CGYEJOB,GpBT/b%C*0&V=~ňg4$'TZ kg5~n׷핗j1D>{} if9~1f9A$axrG> X+ ;p$ Rw`˜~NaBمJQ;5kEF\dz-k7i5h&b쪒 ;~S߻i=K&ǀn9|'3TS-m1LyxOX|hC3t('-di~q$5.(=7!Oᝢ Z*xA{{X3ؐ1_,~$EI;nVwȺ]H>QETAQxpyl&\̰ڭ"Z=+ֿMqp@;`m-}.vGxLpU4#yc6p[ӭt"9[k?Yq\n{1dYo ?S^}Q2_|YlIV/0YꉸV5⃄$&2Fن9l\N z1br*,F*a} >]mBSvN5GeE# o1$Ee2>jI<<db8<|SI\W I^ ,UƁo Sh\e 2|MX(ȧc>GFyBh_=VUWiӅb/<ȼh;6ܚ4K y@`114J}w оL+>KYGn CDSo>zR@DX?= ֵ14Ǖ^r/ȻQQqEw]+K*TP>px/*j`6zLkNqBvE\;j l *zh8HҷM %Cf+ݖ, Dxq̡LwLGu~H<4PіշSv\B)ߖ ikAf?/ՠ*>aA@YD2\@@P͟)dO2|:x!uI@e)W>B v^UF,'XAse բVF7md`3r1帺/XY?WoE5$XHEĩKR\\WMh.ס!8Ʊ+%9Q4iAN| maqoy%gГG7F4MroueΝ!)9BRlͰeL{J 1zd1`7{އH*B.M%YR2ЬT׿ѱK'xXÄUUM"Xr}Q6ҥ:kDo6f;u w4 G}YHq,ZB[zg}>\Ϻ2V}1P~;bUԆ'GM>(cFH۔{|8 9<ԬtLvKQ,5'ʶ Ύn̖meOR5zJ'm&V<"_`#  3wT-ۧ:sA)i#N _@% .7g"T}6]S>rNQKv&:[TAٷr#᪢-dY>|.Kĕ:GםL mk X4)zm 7}_Z̖?g&~Hd5f\/!7%):bl`HW>KW9/en X/'<(x`r'X@ ,*}SN|13{y0!:hlQY}95G%9*~ժF(jsDc[4Yq{bM`C-ES,ݡhϳo8G*Rw8dSƖy4S,zLԚOaYO-O&VȮZo,J=4.$sz>I[gݖ{qTё#/ư )[3*\58jEqd2Zǹ$iB|E*27)_DM7M%Sui6c`viHtmIBQږ,Kԍk i$.wPu^P 3rQ}@pu*.{PJ  'NW9ٔj5w g6YrYd(e~[0߲/0'9;Wtց9'`#ϷxTH}u2Au7O_Ifۙm9hcoiߺˌF].BmQif"KRGv%m]0:gce*O%誋2/y0siB*I# 'kW)Exs%R؁Q́pt3WGћEGv<~ V33_TƘ PK2!Nc[Jo^" Mn~Y!d8GW 3VJL6xڙC1p7/.dE BZlҪ3YEQ%RFBugB/2TTxD8qYZ&gz/VHoe_zmT\2fv3>1zD(OÈ<<_|iOA .01DDŽ2t13rƧ} ~k>y6Ij~ VʗT3r]Nn.#nBVErja'|f|uIsh 6;Q$ yv]UǽƤ|vǦ[8HNV)z "ϼ{ UT ozJVM]`8rqu i6wK; 8oƏ^7>dpGmѤIe ̊IGPDb,R Ϩ!Uj]N Z,8s !cL4+1}RAphُD+})ykx9pbFW>lZɟ/aT.1Գ[9'\p:`uDn[5$kOdDr%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(A`5w% Modal_Logics_for_NTSModal_Logics_for_NTS.Equivalence_Implies_Bisimilaritydocument.tex7zXZִF! \A]A-MՋhvG"uIBm5}d_X; ѻl22fjv1rW_fSc9:K홡ayԯ3¯YNωl?ߤ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{}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|{ Ծ މnvGsQdĽI>TO[E:[:!eE H7xL/D-hHH- '; %8 n ca*OEeÒu'̽ PBSS ܜ:^ij =E84Ri: 9#=bs"o>IT=x#=<Œ˲:Ê.@rtg sU (mo˱V D:nd7:lVɰʎp]¦E.Ta1+G4v}aT DҊpL2ic~1ںB|ӗޙA5j( |z+qæjKᖰGEjeosٮ7x`q||? Ջu6SAhAg;5WZs|lKY^*a6+Ɍߎ:Ґ1aWȐ2EGugFJ9,n |*V?[x4~}o_H=={ B@ĭA;Dѧ>q4ah .w _tp8hRc ߆~R|8ŪiBTq7^ V|K tS؞f'Y?.k&15n27z(^V7rq"wG*UjFgNUW-I0`q#֕M^u,&>Kے~=.N$ȿBt\Kޠw(>e/GـAl.=h>*Ir3~:G-=~*%`5`!GZ4%|0uk#^.Kʉ~"/'"'a!f#j|m 1H/ai, @0c{M9TKabyp颼0ݤg)M:o&\`ưWuq.HH CmܡWV.U򀤬VԻV&'=g@v(MTkjNa]0_ёoH#Z86QblOUni1ނN_v{JϵeC ) ٣" #a$gI8|g- aہřg9;˒IG۬nTA4Kg&(i9s8hؤA|^IB0>X5oJʴ&όҋ~yT|Ra]QS)t$*c.RFk mb7jD y0mTά-#kS!"LCurп@k!] ƴ u Q?HB I˕t_ -]_~/E6.:Vi,*3 "E[(TX] B{߃.]-Tִ$l͚Ie\."&a!ma `BcEKݘlahL"lϺ!]LBɭg} EVc-'3N=ltepy#tP[<iZQpPiŒ5?U:JAhq$`iV {vjvF؅:/# Uݫ-~ N4%n.'#zgG r}otN=OkIT-<߅3!*Q0fSaAF'pGƧ_ <<+ěť@h!;B46yQ!ʗ;,)nqw#G>|F $6815 *kB}pD%|]Xug3rʏiެCu2&*F٘ a <,-0ZnjJ $z'$KtZyK6=SEֹIR^GVhl.[mD0ս/_a %Cd {.NI=mM.Ik>[Y č4CzxE<}F7'o^s=G x}pz蓇Y? G^ #l-?)R=+ RAWzEqv I\lcCEljk!zmɻ0[-GT/Wg/ۊg& 0v[_V^ršCCX@)#*L1ϫu}|p"3Œpp<[59}[Tƃ/ӣ> J2v}`p3t8vd׌q'$$l0LORoS/!vwiZڜVc~%\{-B,> ^&.BQ2oT ZBDz f?['|t͔V)`TF~p2k? q <%>څB̳s\GW+-B[YMŅ0xb`t 8Y0^xiO9+`h},9x+dȏ`J4k6!XV3!ط/΀@͓G+RQ !I'џ\ 2|[˰Fx&psFmlIfhsWʓȼxFIrA~=+fL˙^PR ` [-]īea\GEz6P=ud)G`޸4snZt >VۻŌzԄ[PR8Zl[mh<~R2#$-}C8h3ѿBM<@ [BķבF}NzRarB/|,e&K||[#LZK=݃`c5W5pW@p;E5݋9­%._e2z24@hzwq*[MUߋShq;Jhu"&8{N~/y_q*_pIC+EPm@r9T˛<6֪-LgBhu0m`S&c֖:3X ocPg.5OVQEəjBE0g\-\֌UMB.j9k)H|HJP/w_t&ʹ ߎ/4 WX d'p)o A8, l>Z8 _@Mvg8Eb|kVEYʥ9&Yc{LL7)ۂr*'~(&&c^'_M]bZbl+5'KѺR2Qqs/?@~ ƥ!x2Q i =|c(ʱPsq"ZZPnesY= (#n]gWU@ʻVpigYZ 5}% lModal_Logics_for_NTSModal_Logics_for_NTS.FL_Bisimilarity_Implies_Equivalencedocument.tex7zXZִF! Fn]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?`֞WM&1>qvtANӵ6pt_p08ViBT 6x BnzԈSHΖ++gZqSZo͵J8AVZNt)6IW@k<:@wpɐ]T櫞Fms5SKrGR@D|5֠q@) RK2o;eh+lX)xzn]{_WA;=H[Aé.1^xg?uENrw90#vZ.-ޜ]D>)4a9JWk^ϫsn v]93l5Rؙu#)HwP}2oLvpqjfDJf6Ö9Bc:$HN&ۿb~"mVs?F2w _QE4-%X! B~0$<[7ݮW'}}z~P&$zK]{An!OxrѶZMI` 1'a,m1o s)xY~>6Ms]De&PS(M +Lw=q,np/vӡ9".|8?2! H~m/p@2OZ71alWBj[1@CHdǒk݂*0;zR@ gCgfY roE+Oӛ'?u*"Vw*䳾&g偒4pw]V Q Z)jدdx(FYDּ$fOw_sPPY"bWO3+7˿r x2)2)OS;535]|f^^ #ʥ\-HZo!EiڛLi -@(Ϝډ u5vrlQi bԧ]2E G-7G %sL  sdMJJ}$m;qPomgYZ 5w% \Modal_Logics_for_NTSModal_Logics_for_NTS.Bisimilarity_Implies_Equivalencedocument.tex7zXZִF! .h]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|gġ?04q:MuswmFYbo(/K[E1A;QҜU\y94rQƅ6vOz܍GYg/ Xc4`5+i*I###mb6xj,mڒAxnՃkqG7%׮ d!BkNF#F Ck*D,s0aa~gK*fp{[J9"eS'+S9aO<-*Ъ~́JѳuK}Z;4TZ1r \kHgYZ CC:5% #+ܰ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ֆ̖X.I52 srD1? }nf( XӜ9|tV/=4ުk\_1O^,Ȗ6uڭ0HɌ*v&Y[Q^TYK$>- ֖H]-Ф=t 8޽kLJi" )0x9 ėF/ě kY ;Lv?u/`5lYZѰu)*ܙ򇛅`1"2XP봪1!\XϳzK?H Ú(;q| @!@*; X5m,%O6Ԥih8XẒDY@҂gm 6A57a$ =-i_Ti{fȏ?fhRS>Xsk*4˃C@-U-GmidfD p [e#];vbX''Uc-R|u0jLIz7v] k696EjLh^yvIIӂS7<]ƲkǚC*Uѕ2ӕԐΛ; kc_ 5AWau+_S^rಹЍ~оA-qtm xDox)Æ4N yjXPIj48+FWU%czyo1Ԭa:WAq󇤒NR BTO][ iU}FyVcbZ˲߰ssi'D?uhd*̬ntG io}6QڦNݏ9vn Dh\('^t:݈| pt@W߂#F0 iAdNaБ??,~ uZ4}9B}|ϫ(EYwoTN?x҈f 7亣+Խ󂼡Qȝ8h m܀9%*mZڦN F/,(>7 SܒhDO1!`Û<ɲ8@Go(/ PSxus W۪o;QnEڡ ,֚ã1Q;B~,cV,Pܨ:{_#7׆gh>QP)_'}azg.Gj(limXQq=9a@"I2do#YAfE1"cU<͟6<: hX/9'v)UPVo롆kDgYZ 8V85]% $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{ٌL3[&&j8*&&vSdr_j!/2g*$NMqT2=o9h- a%3s۰ne*퓀1t[:ӹI׬=g+~?lËU$$S΂!^$4=Zg Bi-ZdGȟ 96amT1o"q,T [7Ŭ8+ҧT1M0o^ )9*!ؖ\.]שI"%~wցۛf30 AV1"j ۲B^$=~ AB F^^~ߚ1Լ k #ygYZ'5]% ,}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\BPmW꠪]Q;ݱ;,A*䩑O[|]HBa&KnZnvpJ_E2)dmTNP,MM>Udu1ʋ<r#.$]01_̶G~ t~$9 bܻC>˦6|IҰDT[#IHZn V%5$NFJCtO:D؂9nM^[RmWiy-T09ġ%wcO/SfnNJ_} Ԥ@LHdJӮ# Sf`eճu!lo 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/aUlGc.kΰ"sxwi/'YEBUtVz`ȼsS4E}D5f7MVgf%,'$P`H\ˍx~AEm]K nz6^ +_3a=8KhNDMˁZ.BM ;]%c8sRŪw>r͋ !|I> T}ʱgYZ!5I% DModal_Logics_for_NTSHOL-Cardinals.Wellfounded_Moredocument.tex7zXZִF! ]A-MՋhvG"uIBm5kA?PѣTeYN8]*T{nB+<#&LM :⍐Cjga@KIFK}5a<h 4rM}{~'Nt,/hC4 ֳ̟mf[op\kRA%d#[_`[D%Hqn#〱$%Q['[mIb@a@.iXtKLRX0y[26,1%BKf4ES(ҝ0HhH&y#' ; >펱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  1#5I% dModal_Logics_for_NTSHOL-Library.Cardinal_Notationsdocument.tex7zXZִF! `]A-MՋhvG"uIBm5 * )^ Í/Eo-kcӞ G{4/pVd[Wh@0 <+GR;Su\߷A|>C.@Ihb!s 3Qe46k ,E\Iv$7Aǫ}djwqW2pOWkGj-tẸEƓ<] v}w}0|A{q'Wʰ[VʔH& dHSo-Bi[DeLz0Qњn s ;6ԈqFs4.p.=ا]Z(N6= b'1ȗR灋??:4iv F1*:?VVW hoؓd$/g֞朢NO_dPxJL+ [MYfqoI*զ?aFٌt {.M)DmY(359!mh,]kxeG,r+b[;T͉PdT4bf]ҿn#b5J]{Gvh*2K4w_ѕPv1}]HAMώEʫXaų!b'u|2gYZ;"5]% dModal_Logics_for_NTSModal_Logics_for_NTS.Logical_Equivalencedocument.tex7zXZִF! B]A-MՋhvG"uIBm5&J qqMfA^9Z'awY {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ǸaFoui#7aWC7 (]T\n29e4c\BMEkB*k di.{᝗]p.+Wiǚ<2c<ػ`h5<NPlA6O6jqϴezF=OQtkLoQad 'G}igtOF7/F *~gYZ!5c% lModal_Logics_for_NTSModal_Logics_for_NTS.FL_Logical_Equivalencedocument.tex7zXZִF! n]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 DDOHyOQ"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ıgYZx$5g% TModal_Logics_for_NTSModal_Logics_for_NTS.Weak_Logical_Equivalencedocument.tex7zXZִF! Bc]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*AbF5Ǟp\Z u.)/z׽йXJt8֦dRsT'K0~H!X-Y"u0n$6<+( O)0\bI)cL+9bbEZS7P i&ijaM=-i)e!zL.:ϟ kN BW([cU$<Covox')^(U*"]\~ [XLxtOз7q/XezRLQE3@)s]$D֔f:PX՜ԞL.4 N?V;OʖLVHx}v7ŀsOřbގiWmx]x)l#Z`/F*FgYZLUyFc/(^W"~kƴke|>p[[.P׈;YgYZ7zXZִF! ]ŗXiɟ1?ߟt;9BP2CZz眭5 z*a$>0Y](/ڀepTy*ZqãD;3CJ@݆z}U&PfWt nhȭT2P`e8V:48H ֯i\}{Ao-W;w\DCՠc9v1.<Ȭ+[ZJj "YE $E[ D` 1Vꊻ:Mg U@ٹmf2f`#p)qzTfs#)F!0jIDM9}78nv˹JH⿶Sxo1_W2381%Vi!c: L j_p:ѭrC@XR2vF i%?l☛I~thI#rBCK}x7>FUx@6aiv|7vFiuQ桿vQ#Fzi9]XXg? w@|N(3"bfH/Y0|eƫ sPrVZ?)䬷E\dJ7SXEWBJP4yC75~zƮ<< =QgYZ7zXZִF! +]ŗXi%; J\~+`Ώx&҇CzԚQܥx22x$ ^ |A܋WMkA*TOɔ PS5~F>AQQTqEjC%>8-"4m|6]ZP>]R{[@/Q 3|R\xn3CiA@6He+ P/JRnGmPuFdnɠie-H`hl|BE&Gr+*ެb ~ij]:=v|%UFT2.SkDf$0ջmf ѵąAI%(XW X ,Y/pmS^Хm܊MzΎ]lN9f~/3icj쫄0^yw6|æ]LOkuU? W[ޣ"+'N`Kl P(m8AZМTXj ʷ2V,$ k4@`kI681cϾ̇T)p~tZϪm󠃩:jj7rysh"5.>UtxEDI䜄MiE |WUܾŮiÒW,xޢU&:g5`sQ Lem@$.y\ j $Dݢ`uQoc$x_'nDimʾ]&"tD)o*uNHGr;0O@z*IǏ?[)֟:("ۀYؑ{0-bF mcC2@^5NM!UMXۭ-lN=> D`Dg t̢0vT }IL2~d1jʳ HfahL ܸ\C5yST?c9Tj;S^qSh!hMO}>OsUD賂/4zЅ]Ah}ZC|((c-e,mK佟U'zG"s-K->k^tCi>N'=&#jxcq_sj w;T'z'<!AonYuTҥh 3|N,c ZsiߐR]i>+._i>wp\3Y qn=rC!+սySesω(_ ?'z8 G^/ps $3TLA>4ׇm@w,a>v)ӣgfbf@yc Azx%iFF&$Oc""A϶ٌjQLď-#ިGw >6%mI?1W~"4I,KsP^xnDpmbM9V8zZ)(D2 /~:o 7p0Z?{7=l{T{/bJBp==" uug:*7~f4Jr;ŭpjյ]ӫO'O&c{[֦AZEuĊ辤rZ Lc/Ebn:Hßnl|vMbD XVOvxӄt*A{6KIHBU(q::LAW +!$ԝOEWeB̲Ffp6ȅ>YTq&V{IiI׃V2j#\7'P_ЈA[HNPˆKd lxZ @Vs 9%'um,\{`2:c }oVBmKn:QWjCl{,Mo[Ѳ:bifעo,#Pӗm_ X^k_!_Ϡj ˸]}>;֮pe2&r#;\<. x+̖UӠ?\"Aui9ο5ϢPx&IOMcE <4u@: K_Q2$8$o+}eg2ڀI aU\ [}NwF#ϩ_+ԓጷCq,0̼+ƈ d^',@5{i?ӀmOG!H`D~P{X5Sh4sF\dJ^:!ӐD^(DšNN'0qቕ4 CpTG$E hCd/!\Oo6{"8ȴ~Q%8͜6rmc VW?!BF2WZs y1h 4 &-a+WQ fιN0HOv0Lje=bE:\8BhRxu)Vi,;>n*1,$1^-L J-zPm&!8 N%sf1'MJ}wP5EZ U"WVZ\*pBmr¸1+`f?+ao_y䥤%:!hR 6EOyfr|EDTM?p ݀YX6N&h` 9qTɅcw=1B}cVkSRqO6؛qf@WߨQ'إr\f;n }@?ӭGqMMSԾU$ԬPax^֨Ghq}vȻs:5 N>[ĢMx9|M뉘]xQ5& Yi #Sft#5*\LMyeD[^[?zQtu|tn+-{qrdw!SS^φ,V^) j9޾gȞ\aWMْ݅2eZ"B ۋxX1~cM ǀB# 3~fKO\m2(LYuPWtA4t6o6{<Bľå;6hAIB9FAi.]͂~M:%`&vF.8%/Mr[\@cPQ] Ւ*}}K԰MSt3@UDvʺ/u LaŤ,(gV:]rd=/6);M>%:x!]1h(|\uE ԼihpMGa3 ֕2QYf%l!mH4l[hˮN"=`g(pė+%3(hcVR=+6́8rF8^H{p #ƺiDQ38R,+r _akOwqKWZ;RȺc^IjkdMUL3舅.'Q4aBNYI ;|}r-#:jW/ε [-'33"ТDXk_^({VϼU\.N!ǖOQW@EFq_*Q+N:4|FF|i%j}u>Nh6-Nt_ 04Şv0F6N筚r|QҨIb!.z[FAQwA*|my 8.8os~$x-/7[H8p /9EnS(&` 7@jW7A9p҉uc|2m5ye$iRy7RAaVz &/sn 1[RDL kaAuڼ1Q1Cmm׹M[gE׋U@O.-H8iWs;vދ|HU4Jm\1N/QLɅtE(0f bɂy-Ds0Õڜ4Fn PcжĔc)p̌R69WRӔםY gwuc+ꚱ=Dhq""7VNz_yY\tF~40Q7ҏ:DYɝsޏ+|nyT-=\] 'Rln5D @("+ yGg34&:+A&v7{|Wh mWi\IE`ɂ8!~Z\+ Qvb"C)"6$Pl괽k}oϔCs[:}0Su|h5hU&`(mIjCCQB^暑IkfPpBu|jH'* pM!ao͹2@c~GkL50m U$e9RNzm׿d o՚׌;~V;x͞ziCe;j( !_kgq$;H3kh?_:qT"@#StȟEV V] 2ͩKS 4Uߠ̚+ M2'fn ^-d(Q5IqsIeC8H)$+?VXW54;2 3bsl\YfcAܥ篬ڎE yc:aAAhd7)m{鉤~7#^{O-Y *OhIcHfXI'C9q+u[vO;XߤC:T)`3O)k"FӦhH*.rZÍ*+l))f~%(*Eb\P HzLjUZFA ןX8 <Y:3eL!R!60ECM~BT# mTО`R4l-Gnzd?N99 <=NMs|;^R LFK} Q e_̰DXdHZ:w]1𠽐2hw{b -A6sב-uoɋz:sAy/v}[W˟D5Ey)<$YHO֟oE5 NY2{HG8z ^Fz=Akbk8|\X[m>KBu/IDt*Va3KO;´ѐYgH'U{|rug\Ԧ장~/8߼#p#+^v9TCo|'nUU4I{KA$׍ǣO`F3v*߀w-w`թOQxjyahY6~-oݽdv8vL1XI-,|N[篎zqje=.] ;Ƿ01ӂtfje5 ju)#<\.cCd:;ME#r# r4|8X41p8lj y+b.8<(CY7`[Ic98E y;ٵϸ m +*x L= *73Tn6DmIZcaSivblX d,I<EĨ!ɭMn0»gi^| oUy15A%>ܺr@lr4gI I'gB \bo$QYQbo> _?$ZbxK5Dj@2*zE.~_dh}}IvΑ OR; b$K5PqcX>0@zDž6rP B-:J#C}bK1Y_eʃQE0gH 4uN)9&|8TxXѰ<[祉aaSgDmΘHUN9l^!aٔr%fsi2R.z}unU36G1m";E/ }/%Xx(ZF¤139#I;yjOhk&Poߓrn| çбl97/>9_yek$Z?y?+( h2_M5DA})٨HK ~~Taې?̴21<?\8yXKElFCY~ ݰWI@ 2|-wnAq0|=Qt}5;<*90s]R?FOLDTJP=6+0CMl = )Z_t[MneZ#SQU=mZyXgSL6 Ɏ,rL liy@FD XʥfgYZa275a3eedc9f5a7ec15c73a6d3c1bc9c048004750a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 885e4c953d3aaad12ad880a7d0dc7dbfe6e0b9a1