SQLite format 3@ .  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 <3 ,, ]% Residuated_Lattices:threads=2elapsed=27.144cpu=48.068gc=2.016factor=1.777zXZִF! -]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>heK  $4M'N`J"fKI-A*i$֘!6-ZB7DZǔ3utZCvjVoQ {w+a܅M> Nفٯ N]uE RG3bj ,/ܞ:t/?INfzV ca ~(a^?䞭{!h̅Jx1Haƙlxy8\iq߲lCĂ;gqx]BKu,+s#LYv8n=g߯Exg>r}edpęj~1O/=)o|Yv'6hFr^){Ehg) \zjX!+,ل⟝?aↄ u d ]ÑB/DqE-Z2 Aܚkj;7*h8 ru CLWȏR^ڒi˙\+ vn@Z>^gYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9 -/.fmd(4:="SMۉM^ۊBep;z ِKSG)w܃2 51=G+TCS,'q)eKo6xs{KhsfF Cq}0ɳgDR}FZouԁĻ0չC|gYZ7zXZִF! ]ŗXi%; 6(|*3!fm{[=ؙ!h8V UM=͸ci3"ex݃Rޛ7qdleˠ>?IסUW0q5QOKJ'n bW'~#ǝb:ދ\wO/vM/V;td!irFpōiQ6rS^aj>J W&hk{o#Z D,U&XSkB=y5'c(+d}0{^:OBs)|;e;ᤄ'M-z+M `HnmY sz#)`bM}4z2FCEf-!GS~OyO~̕1 2WWp+Ek|]+h2l-q^I5a pBdX Р7mqpqf>TN{:6$51?+XԵUz7/϶Ӯ_KL$s)b! ,=_#+ F`A eqtPc{O$M$e()eN͇4bvVI&>*UsŒ)# _RN ŽiV i'>!t\smxz diݣUi0ޭ|CvxBvW8Yq]Y1\EJB 6J< ,} e 3)2,A/a;s|8_( ͏ؑOʅShÀ.Yy)@rMuc0j^)N%hWr!ڰRXe%=\s t!ȯfT hJ(@rj w˾p2NhWw^5if . tT,< gVw.{ WCv=+]maȶ}(ô|c_ۛ>ܹpn><Qvn)"W @OwbhXg)ႷVIǩ#!7"+H$P}(2bg _u msZuaٓJ--da$x{,cƔڨU%+fnLLse [h%\ 適wnr@!bS;N:-(xϒg~geXk?2AJ(]bY3qj]w$mkqjTQ:>;[+w|Ӓ^stlAggYZ2f9a584950e32ff3b226e144e97f462f54f4678d0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 d6eb13e4ff6aaa8ef44fb02e2f473957fa623823 b4247c28cafe7078445bd7e51da75260d92440fc edda32bab0b71ab5eda087639086ac4dc0349e13 3 Residuated_Lattices>3k% \Residuated_LatticesResiduated_Lattices.Residuated_Boolean_Algebrasdocument.tex7zXZִF! [%']A-MՋhvG"uIBm5ۼV<nL65U\Q1wI^ nJ#u~ٰh9\迦=mp] PBϐ|ki2Q=%ہ"s*$HJD=aGhb.B8f:2L`5K!|yy<k,)7v|f{mqTMj#VFIHYيyOz 0]'Bu\|kc͉Rݎ;>& ڻOKI5 6dP J_ ^G[,q7O:ZL',zK@kغ!SﵨJ$%ݘ _\DeM:^__ X kxۃDdJς^+02UmS4hUYm߱IIJ 霓tf"=CҕKJbA# `5TϞfSRSޱ+BG{="7A^'Oc RX< ԛ"Hk f'([F#f6@ezY 3aLx.A"3aE% u  *V47i~\\\>KUPϷrg)U 퍵/n唝~+Ѥ/;Րw@:B\q;x jXٝtlEwA_ME劳.,i Kuf-Y׺..9aocɛIvCG<ˀL;٪6.] &/(違~3[% lResiduated_LatticesResiduated_Lattices.Residuated_Latticesdocument.tex7zXZִF! (&]A-MՋhvG"uIBm5ۼV<nL65U\Q1wI^ rՆ@mbv_<\60BK/8^,穇])&?ʢȓD#l6:QU9\VLꃖMq}.XRKQX&r~ З>-Ȑ1߆P8S=0L%8zT$׺L~lp4`14fmʥe!w3AvSM}Y %-ARmt(G_\jWܹ< HyXĠ}εwUa%Tㄠn8]Hs Qg9g kn(G$g6K\ЈEzuCp8`86KͤޱT2C9-:k $X/ Vq?]ӳk!:.Y~͒Ǡ|NU @W17qY2_ɬ[G[FxɽQ/W]q:%Li *n%6\[?(p*g#iIJebcQ']]!a!Y:Tm; i,'_KTPk]lao傘r uM84p?K&gͽF ÃZMTP a[ | a]`=Psԥ˭2Mhall.]&`os!m3cƚ !AaZRjS~E(#)[P%=(8o:K)05V0Ԃ}'C^Z̘K'~{.H?a" aU-N?,̓jdL+){Xv]PPwlQ` y~lWxuq;]mSÛr> s}-'2ߵ7:y%8@ S09S_:3C)42MghMYJM*jOC" T&f0miz"*WkUVws.7T$L{eG %:Tu"sM a~ xSIۣsɤ<aѵ&'p2F䲼&"IX*oXܗ` TѲeQ.a+ dW}񄂁an3lGv=1BcWG8 ]5{L,䋍rns)Y^j{O%Ev`CDanC:g ]Eы42o#˸-yhy bvjzw)=YS.H lp_v,lݵsyYJ ,VPx;Hށ%_{F]/ A-:5(#lB6Rtԣ2bP    $y_$T3k%Residuated_LatticesResiduated_Lattices.Residuated_Relation_Algebradocument.texG3Q%Residuated_LatticesResiduated_Lattices.Action_Algebradocument.texN3_%Residuated_LatticesResiduated_Lattices.Involutive_Residuateddocument.texN3_%Residuated_LatticesResiduated_Lattices.Action_Algebra_Modelsdocument.texT3k%Residuated_LatticesResiduated_Lattices.Residuated_Boolean_Algebrasdocument.texK3[% Residuated_LatticesResiduated_Lattices.Residuated_Latticesdocument.texoWxy_h)1S\Pcƃi7Ё{RZ_FLtIG4eKCq!knz* S΁6_dau'5k3wCEA/B$KQ\I+Ķ>k@x/x62AuPhCe.[.U˥ BA2,!_ _\4唶XWxK&ʷKeiSnUV wC䖏3cG̩fjU(7rJJaVWd#;Zj2|yBY@{!^zQ4 WގUZDmOn}^їn  q>AG>2 @:΋wb ڭ$7̀(`<\7gvO$|0bN2*N~dRJYyͤ|>A#0u[4ێzm a2ԈqDI⅄"RA)NABwe&\hOp{ƭ}^[NtA;jx q->% ?ׁH% .iLe6QH V/p% aP]r߲b>ε-_δL'AVWlQF oR\_Ѥ/%xUž93͋۰7Jړ8{")W,ipL0a1'5nm-FT6 y,:YGkMD 7Ҝļ˵SLwJh( zˊxc-*h?0gWIo~AXIr-z;E c?JI20ZoWe9A![ ߩbM[4=2<trg> fn:1~gfjL:%ʇիGpd 3+H^8+V@Tak. ِ-6*'TsC=lXJ@JN En◌ (jPkeh2-Tbf_Rw[u-f_=`L7bپŅgS3OcM nlRfb,p[kT5Utޖbkt wV@voVgw,y r!7b|>D*ŐBX] 9뛽U\SA"xld{!=kK'--k?E l\ULO}7&!mYϙ [hQQu𩉷2_9g %-QTba7[L@@ߕKa_ HSGrG:̰,u,L]A9< ;-i>lTˀG;x\G]qk)ߎ[ᗎ/~+Of/}oʋ)GXn8 ׅNQDܪM(:<1Z~Ѻ[?eϳ ߣ}RtYxImz&wO/gXPu*ӳV"]\wge=xM^ 7>lk*xӺLe٘W_T {$kɎH, HlTcO3T'W69B@9 B4pH`.ڶw4#r KSdfU ~7t6o bRI 3ĉY%%UNp>lد*դp1uFLь=sqlWKFNغsa _47,h֨.=4MߨGeKgpU&HՈl>o!Bb$ykzLEVYƣq@52CǵX{Sr/i2 gQHC# G l|U_ @U_t9lME YzaLiFΈHIןAOc}Lyġ-9k6UiHL%ıBTީÅ[U؋<BW}ˈSE.<72Fz\e(E0>n#x ɴ=AqN65X SᕾnƈjE@_Jc~ ]8y|oHT Њ+]$)cx!^#xipa\e^E}<%w+>Z:Zʋi?z>5X3$lYXe\A_Ӽ^<,J%`=\GnPk̤%HV#%'h7P8:kjs07jA P}za`jы4hiL *Y,s)ROp$g+}*9K)WJW⹆7F#$[U+<' z1#lR.] ̣P`D ⨚9a8&haIԷdsdD?pE,z#FfXhݔ-Bmt3yj)~.*tQ&*A#ISEW,Ml_6. v.(rO'G~ϓƝ$jN\+™n\h` e"hl i.?}Ձ䘆./O? ^-vM%r-{/!b!,dQUT7xLÁ .:zLOTVlB֝B4":i!iWӓb.0BJ%SxXoH(Q-s{kC'TP~C/N%g炈<ߔ뇑\ 7pyը6_Hb[f Aچ=ζ!C8ƻX]|+΅3L@&kTv{EK;P[*@ O0}BU8EiE[w?& +̓~m]#x"̊U"w`Us '7/1.CG͠ټe49\&@uM1$1} ( X;pBfюa*lf9jiuA\pwZ`)3jK&>Sp35d O-T b7gLN,Sޘdbh9l~"mYf[)ܿbtOV+D8L :6dI9O3 OT+0wǞP?Oˮ)f ۣg=}xsi@΋^MP^O3$ym V2.8p R?EOGfU`XR{~xd:WvX t5dz90YUԬ>pF: 3M^L7"dy{@#S$9r^ok%ah㣊#D45^(n g)XF(|f}Í\RUu<֎?j3◅EZ;#Z Ge9脷ub)H#rRuK,u*1Ijny.͑)D_R LJxP;Q"lm| K Ԍ_J %~%2tfCB'fsYʪ(nfREmP'@ tq_YObHsUß]e3We?ML{TSIIzByxg߱Z!>;O.Ȟ77S`P䐂mhN nY1'1tBvKg^C$ eO`1VU"TOАす@v&u / _B'tPH܀}YŅn~3h i͊+gCoUF WlJhA^ (iB 9Baj쿱&@Ǣ$(pƟ4Ҏ Z :G󮉱t1B~L}zsB&@'&9 #SMgFj̄|3uD^Yě<.2*czb]z L M5Z mp$$ ى;e+m, >j7Δw ܰ_0q a&~F)qcL[`֒%X za~\#(5bXPmb{#_l;1Vp=V~)-"Mq< rOܞ,pXE46QC-<_ cOr #Zs|i3.}*+#X?}~Py ya>PsHp1 2'д%KbNGvWGjJ۷%COEh{k 1"PS|Vsea2j$ [GczpiP茹sVEH-ѦN*5v> YQZ@)"f,[w2~P!x#@]CY|P>¯ut EV2KvEހfNN*5"6Ը @}8@-^F.4,ˍ[5~}vz{B/G[K#[E{|D /.qz'n(Y8IؙK qT-?Co:АS4UN4?B{yIwn8ܴV‚T嶠s=Rż*BbጣYTɭ:o ih#rAyK/K͚0n՗b#Dx:E&;LLQ ȑ'>2wˇS?-3{rՕ[@+SB: ∓@ySRzxefɷ9o3UuaQng 5֠z8Zl} L-6d4!샗mf@tV Qdh7A,"Gn/R-:>~ 1׾dgwq CRAޮEQu>Tɢ֐fO-'^p;]j](IWSMkn^+ uJ  `P9K:Q@#v>V3K/c`9>†ORtۙpz^4+4`7r@[>] V5O6UF'9 77kCRweua+;#ϥ\V ߦT =3jWDB=ѦLLxMOo_̹[?nP|PN"OJdB¨ˈdCȗSjl˝–ly|,8QEӲe_=77^O~[!Ötř`0L'UQ=G Οj#?kj>Xܯ&0S]5 >N"><~!Df^y"*N_FgN1<ἕQLqȕJ$$S5ɳXEκtuΰH^iJ_,C]t+:=QULzz)2a?L顱y$2%hL?| Wj"! _JTߺx\m%o,[vl@nn\^[IZq'C]&ĽG:`8m]Qql#`*,2e{ֺB ̈́l]gP\0+lQ/*=4?dGfCNv}n7SxbTL* y9}sJd C+\!zM̒mG%/5~C_> Dːm-~+v"eQ9wTOP~+4cC|>}5}w({ŷ]ȁ@u+Ú>cb-kN(7'’ĝ㈤S Mt(SnfDwUHXr܎5 O4G fRHdQQf^ڟs<}c@;l'F#fݦ:Rbt`G˩ϘPiS 8eA 6d>phD͋=uZe/ jX k_.SZ)@K]%v38|Wzn[  36rɷ1Cnk3Ⰹ+yĀ-^'ҾQ;4cL2l.ɝݺy%&Zvg~pce$1R?^Z}y߱ )j=N^!@E Ev%lhށ ֳ,V0ni%+s%K3 f.GmhA'[ehwyܬh̆Nվi#?Ұϗ9?19ws,چ2]5R},Mb$$fS7.}QX8"™8&V?L^JN5|~GB-bMT`nu&_B &[빚]J?CۙkN%zgYZ GUUSZ3lpn${0a3%.nذ?Am \uh}d#G}x`3 .'uM÷ &HPtw^G  @+O. ?y!$*ޏ^"$_a`c E9>SOkZpȦwMLJixry}DhEMB&yHkPvIE$9;eIH#~ʶoSBvJGa!|OqAD|,wJppz C8fBfKXDЯS[ >Cݳ|H*5=B+c:{$(?GDkwrT/TN"i\1SeIƆk$%ߪqZvR6x%'rvaؠ"'z`Zl Yb)9v] ?8AZD+:Q{h#ƪ)wX Y{_>4,*mNRꢹQ3! rV:QL{%e&Hhk}{=-"'T嵖88p۟5|-ˏŤqzH/O@U;k:O`j."A7/7(fO`A#{4 b|wBGd$Z.*h&}IYcؒfC..o$hC.8LYŇ~'K Ηz=D¿2z7F#|gh̊{C$^yIƊ:K]9cp7b jwU>"bǘ\yU|4»8L`f pS.f(Eab%pS]Ut8{!l2R]XNV"(Oq܀fD~#8">`ا{".E=M'yBj /HEWޱ<^ M !-UcSZ .-𷕚0]Ԗ(^8{mĐIsl?,`:u vd_^7:TwVy2^\$K/|jv4TjyH}^3’ %{ٚ E:Y d-~M)w|KyDQ,6d7Eha5i^4SE  vRQ0\/_ &*ހѝ KaK:ں]šV ,^@|$4BbU  g ~A~!  @˂B{+dkJ<[s NK; wZQQP_ K Aa/摭_a9e3mՙ.NV(YŜ| B qZ@[#]Rqd?S5sG:p!]ɨ0$iH @;?GgXH8Ⱦ,u):=u&^Gib?GR9XxFcTcҩAtIr{Y﵁˥%@BrIY )"h.J1Л6G vMLgIa|1~d,0-A Jn_t1b:9\C4ۯBfSFv5$ǼN9 1a76l/Ca>Du9usebP‚GPv-3[(劭~ I(Po2tJ|Nj fjcz <m<}.i ;p]@Ck|iڪkOg٦[xn6aYo)M!?ݣR B>P;h5_Z%++H֧K[XZr?vAyk&~IysYy,R<"rjCJ+֛ ̗dC;'!XWi* {v|͙5Ľ=("*jC BLzHA~祈xAP5+(M_qOsε  -3t)|%s^Q]p4ǁs\t;@]]pH _> g+ _2̠PbXCF&g^Ao"*1L -4u@0qZ&-VG(+V+o T>י߃/UzVy3Bb7]Y߬9a";1&U֛yryC%7r{aqmir6|K+|,D^;mڼ[`T|y(GBz3Cd}h ]S%8T^=Bx2/al;[AΓͫ(F~7Ǘ49n_OhH9da^ =:l]܉LQ`lL]3솖M]n%3i㳬Kl- &dlCB0--Qѧ+%`D! AT2AR䌑H@R Ip*:6 .gtw^Sȩ![_K4@)Dv>oTE> Gc%P1FXG.<<a0\KF} m46 `&T'~ *@ am3G2Zv/nNx3)w$ZDV?upbb7~2ʟ4:j16ø92gnrFAtmHJoy{-)!IW>t3}9|pH:V;d?7UA߁T-. Z6 R$=i/1H,=ܼh2Qv vUc,Q@bBgНrv`0Y]&չWċˠTf(/07iANq/^ s{~pn@^u+#t?<+,ԙSń4L)9Km47Ts]H*9:C*Ԁ"T7Tsa Db@6`=4oE|VV $Գ6Q23`!ȇrb9Ó?sv$h81.J1rOm9 v>swZ!68G@ nm @c`t9GO;` +I>&ݘQ\V= ͪ,W3R.}GZ}AUV9פ%5)+ 6 E%`T'k2@7U'm: 1=]GxD# e=%Ly]a4#@BmztRccy_9h<6;JTRL7pN#ᘱpQQ].4uggT.Ck'#|D>ኞ}=Hm@ sV-\N;a(þ`+k:D%tJXVw]|@ހ*uA`N$sK영@zЙ2F!=*ZlS"C;b K!; Kn 2\5d/3p8$  +BɂUW+~gUy$DGςqvI;=e!,Qx h;2_ 9hrObzv21g1f$Tҋnݔ#du &U^1"fKDz>0igkt*bYd&l B.8qHɄPP3ݷ۳Hc.NK _nIS01uIq`jDf+)wyzPn%?0 )S : c[<  z6E/1v&I<텑;JH/=2H\VJ*u=SF8*ZԢfI)I2֦Ac^dm(n{n暱nV7 U1 t$13c%$]gL*?U,'誏 `7Rs!u)JdWI+ DcYs&'<=()|ltXq1Kú5F<~4Yo?u~./&lA,C7σk%7wDMaҫ]dqj\DdžMÞdFP6*JY3/ОՙyYΥL6{HdX iˑҶ>Ԝb?DΏ+\_10gSđZz`[6P8̊Ȥ-R&[gO:FP ݓT3콆Hq p0D1>POg.U0{bPk'|B~?/ M0cN H3ҵ$ 7A+5Imd?N C> (^z..1 sNuC(b&5~+q?dY Q41u='N6aC#Po)$ŧyڻ046,ˣz<# rT3&&n1{z5hUI !ab7rBVL.۵--~[yF8w_=gᵮE+]n3mfP?p5q|LGAwb<e&WŷE6DWYqc.qq kWLS[+k) Ԕe:B:w{1/۴4. O/+zC&&Ղ}G2[rp~!0!iZ`T iDimC/zZi}~OtZS'$ճ3\k$oǖfkSM\oaFO;3ziỤW0\D2]%.$Y}1>.wBBoqeKͲGkRT dĥŽM7,A67P\=­0$(\ !/ [ "aX}^dfr88.,p|} <=HK`6"t7h5@h9}{n ҸJuPѦ e #Zb ]@A;8/>E#:>RrQ5F@ Dzڈ&hINx*.Q?$Y v8Oi`7 SY@G)i@Q` >0必DBQTA,V>SPAp൶?({%C v.bNQ7v2ٲ%Zuf['R.+?<dy|@hn(:sk N|0/SCP7Aj_ *摱\Bg Y}(61~P/[&D/ dmmQNa uEV$Gه|*a5L ќ1 m~;2Ra-%AsҬF4z' u2JM62-pI,$d>2k{O|oWӍiN2z`)?O o | ¡` vJ2C|%Z :< ۳^(9 S#HXkBaäًUQ .ޒxb#t|4lPeت| ڠR&<Wq1q'ghqB|,t4 rG]ߞ=x/sǒ( 9(8ZNb_jw0mGgx4E.~TO; g-4y+z*#4'#cF@֮NPe,2ax&y)v]u=v|E+gKw߀Y ښ(p t8 r_Pl-gTrq u6є,DɸA*뉒M}( ^(, w1C⽜|wRg3g]QxFn^U 4x9Daqه;9Wgp{8PCs%T(\wuRi;ZF\!)?֋t\9vO[m00 ƺ * B^5%"!Nx^K[``ފ-.׃#@r"ܹ y'HmެZMpn`Cj텝$TI մ#Gl*u!V|ؗ .{m܄oXuTUg/%*s" `s +qkbnblFWFVӜM oK1NT 7*7/+J&-| # K|a$ OcY Io`6_TB2S)K~iGY, VT8D4UZ;sqcF I@@9ӄ6R@7\=(a֍f!l5~* 4T* ˳uqap Y"5E<0WڅG1,ڵ E7A j?K^nn mAWhOpy9!$Ņ3Tm G|JAU*w.FΚ.4ThyDUu2~Ca@J8@~.UU 5w22ǔ葿;J/frqєL ue'Oyt6AyŸך~y/2Eũwx祺6JuAÁB OW"c7qLDŽlΜMvM0}wz^R_h30MDH)L >Vi?0`0_7,Bt#qK+-*Z*_xQ%pI^Gw* ԊUuMhOdpm\Y+9[0f3c`T,! ՍK!*]n9`!f\8K{O6?t组AVV07l3_IOpx]I BEQx 3 ̱q n1gJ\N(J=I-zAv%okPFC8mi)u8~U$ѽ%-:5]dW+CM#_9M7H3iVG^gNc#!z[\kM!|yXu%&/R^ X~R$qI0s}sBDyC'R^UEO[.(\4K[[3G׼Nj\sE9&gYZ s>3k% \Residuated_LatticesResiduated_Lattices.Residuated_Boolean_Algebrasdocument.tex7zXZִF! [%']A-MՋhvG"uIBm5ۼV<nL65U\Q1wI^ nJ#u~ٰh9\迦=mp] PBϐ|ki2Q=%ہ"s*$HJD=aGhb.B8f:2L`5K!|yy<k,)7v|f{mqTMj#VFIHYيyOz 0]'Bu\|kc͉Rݎ;>& ڻOKI5 6dP J_ ^G[,q7O:ZL',zK@kغ!SﵨJ$%ݘ _\DeM:^__ X kxۃDdJς^+02UmS4hUYm߱IIJ 霓tf"=CҕKJbA# `5TϞfSRSޱ+BG{="7A^'Oc RX< ԛ"Hk f'([F#f6@ezY 3aLx.A"3aE% u  *V47i~\\\>KUPϷrg)U 퍵/n唝~+Ѥ/;Րw@:B\q;x jXٝtlEwA_ME劳.,i Kuf-Y׺..9aocɛIvCG<ˀL;٪6.] &/(違~3[% lResiduated_LatticesResiduated_Lattices.Residuated_Latticesdocument.tex7zXZִF! (&]A-MՋhvG"uIBm5ۼV<nL65U\Q1wI^ rՆ@mbv_<\60BK/8^,穇])&?ʢȓD#l6:QU9\VLꃖMq}.XRKQX&r~ З>-Ȑ1߆P8S=0L%8zT$׺L~lp4`14fmʥe!w3AvSM}Y %-ARmt(G_\jWܹ< HyXĠ}εwUa%Tㄠn8]Hs Qg9g kn(G$g6K\ЈEzuCp8`86KͤޱT2C9-:k $X/ Vq?]ӳk!:.Y~͒Ǡ|NU @W17qY2_ɬ[G[FxɽQ/W]q:%Li *n%6\[?(p*g#iIJebcQ']]!a!Y:Tm; i,'_KTPk]lao傘r uM84p?K&gͽF ÃZMTP a[ | a]`=Psԥ˭2Mhall.]&`os!m3cƚ !AaZRjS~E(#)[P%=(8o:K)05V0Ԃ}'C^Z̘K'~{.H?a" aU-N?,̓jdL+){Xv]PPwlQ` y~lWxuq;]mSÛr> s}-'2ߵ7:y%8@ S09S_:3C)42MghMYJM*jOC" T&f0miz"*WkUVws.7T$L{eG %:Tu"sM a~ xSIۣsɤ<aѵ&'p2F䲼&"IX*oXܗ` TѲeQ.a+ dW}񄂁an3lGv=1BcWG8 ]5{L,䋍rns)Y^j{O%Ev`CDanC:g ]Eы42o#˸-yhy bvjzw)=YS.H lp_v,lݵsyYJ ,VPx;Hށ%_{F]/ A-:5(#lB6Rtԣ2bPXв9\0  F+3_% DResiduated_LatticesResiduated_Lattices.Involutive_Residuateddocument.tex7zXZִF! i ]A-MՋhvG"uIBm5ɿ+ ᛤRֈ,櫧埔0h*]Y PşB6fv˿]UAqVME^p$ꉗkgGt~lyVZ;o N}OZX>4d~LhkvtӍ\yO{HN::gy//YoE%5YRY9 -j)50B d4+VTf"3?gC-MQYR0[eN#r-BBWv!i ?zrҋ6)xKWe@@=PJ%5 Xg/]Oe@ߨ=ސ$;: zdzj`|7RќR /| ácS. ENjeNi֝ިd!GR%|P;8ť˻!WFjJBp{Ev&3Tz^`H-9 (5a_R77c}A~},eL00q>7#v %`MmIۛ" ʨ2P0F/~KD鼄 s8D\epiB Su'E Y.Ej$D+,,~ ~Sg/l>Aݰ*k즌^_/sԖ=`Y翑n},x>:zsʂSE3Zܥ䑲iDx)j)o#ܲTyـ[/xԉ )Cg3mzl^-k&.%c9=(Ϫ+^#\|Ug6-{ˀ]w"E&XΫ1El9 pV*ԯW6"hE}BP",)KB\iwrGw?ע x .>>/ JaI] ÞO#i/破%, X\)}Qɞ3j sEԶRu Y/]Zwx/c>6GKIEӦyOfCڶD6,Ebu c -R]8V7~eK& Ѿ-t|Մ,hў-2W˺ꨗNC{jȁTFSgvtjN0.>~DeN  g}V9]yipڰ[;X.VH&`A0\FõٯXqNz8`:w|K&P!OYYN#ec:@*6#@?d;%4sN-fa-Q32P__"3@;mI-_c5Ӝ&h9dHQWy* YUURpI@iDDa#N HHp9(pT^mAKM%6ho_싏X#C5J}ShDNI\rdd%P!Em ]SgUaE BDi=Ʈ$@9@!C#B}맜G0 ]YZ:.I^Q5 _~O'(3*Xǘ%į}KRѕHy|9?)V[?Qm'לwtUߦi5̌]sI[vD V*K-z0GEt9ȫﷁWCDy EzlGȔZUnjd$.4hCn h1 ]1pQ(26E%N%D:vtyɴc*on4:pJ F{dy(+Ro 񅦚չ CE2qHo\ 94NX0yWt6>I_/qn|Ɖ*6D XFX h%dϤLD;[ܵAX|W$w2NtlGT&r; :6M|3x6~!F$a4|0 φ{ Cj /P7r10VLtk]jrÞl+рCBu\1%vܠy }>2 JFER:7^b9 S %0ifJU~8yZ^w]N^: Ս(r{h#Oj5zO40{U:Fq$)ьw7Q 3Q% $Residuated_LatticesResiduated_Lattices.Action_Algebradocument.tex7zXZִF! H]A-MՋhvG"uIBm5yB>URpI@iDD`^)|rjԽ+XvH̗Ì%Xq`sTΪ[4|IF <ˢ$N݄<'-`0{RG9y)䚜\1bC~w~Nys6 >[ț;wg6γQu ?Q_8Lwx. M!e}>rѭZ/N_4^uڜW'`,-aha1qn ߤ6lV/֐Bl˷K}=X=]m<>VL㗲b9+/zJ5`j즂f |K6=H J\3h5_$_}09t8c% 농>7]$횑yX_^UxLdup6/׈=p$~OE$D{P'sg$Yuf!߲4F]eiƁ7sԾc1pШOUƾz P·2cF@4c1$ N6ia\0(?vVo9k@"τi޻a@w?r52:cϔXhznKyUȜd_}X`hRtl1n(q1sqosɺ0y#AN "'1/wFm$q% R>6_1Y쇤Tqo[NƩC0>u3>1D%JQX g$\*./b%w`Hed `Y,k2Rx+i4ޙU ;5j+vy̪ľtˁ/u_0٥ d<5r>Mo:=clJw-(WkMnZil#$S;'gy(åjM WWR0g XݨލĽ3d,KYD"BT2`â)~[G ž\t@ <@sY=Bᆈ#@eRo ^0L}+%ojv4:q uTUaӂS8p܆Hl j)q[^qsH5xlΟf9l߀MO@` ">5x0GFho!t_Vw |f^k0H}]@ɪ;s`Jd׉)ŋ$~g ut>y8)GKwQZùkNYE\Jm f"5~B8@ rt33:c˒X-@b$cЈS% PGRS.U#L'MI>Kn?kp$/X|ό-/QGUxr>*ԋxpyrc#it(oFUEDz?IqwM>VD/٢kQЛ4p1n&*%׮ # &VchBuh8L&\^׷[u3hU\.VeT#ip3$"IǎpL._ g_Lwh$TB*{eDrBt7Aqɗ"0q^*U-~6C+7oJ@$yOy1H0UaqWTJPs @iϢ+5{$Gޢ̶`zI!Ԛxf`vK tE Xs!6zBv78?(RԛR P GB fg֊?'>x'-]k]Ƿ[v;rn!G?I*`D %^햒b-!U(P;-&7S`m G?Tl!L@孇 E2DݱvΥBؠ.RР++z BU`6iAoڠN'J]G#ԡ-+BpSOΜF(nb=|"c`x 8Es0wJ!ZY!BjtX] ڦ>*^ˆ_L !PpQ0h'fn@kA6Q3&ƀiBWdJD2.ډŻ+`JN̋]W5JsB$%<ԥ5ƤYlQzJRiHe9չך\k E L(׋bQԐa$PI*Z&pB<8F >'inh>k0 bejotʷ6X0"G4@vʼnI~4,^,(#2dI AgﰇeetP+4!Xzg;pndQI G$%SgCY×R.pI(  Na`#^> G Hɚ9Si[$ kZ\FTJ:/ f rU T0,藰OMtv&F`Q?qQa0$ C0V6{u=NغշMDBdT޾qO˲[ KgbX\?pq8 gp֔E> x 뜛g XZwV# စì } P^Bk Nd޺bW9wһFZ7o֣`my"(n\~Rsr׋l҆Љud#Ol#x_@Vw[n xǑM񁒵 boZC )I_h |nߝeȃh9!\-1<Ү6_g#ad9ZWƖ+1bsJ?D𨔠y e_U Sk]@p( yL'3O[%Gg؊8>nKjc7yNr@͌m"2- 0c7!xn[U8$(Fb-0DֈB{,ZiI-#W Li^NaUqP sC;R^4Nrw6Wo}Yf!#Pl&Dgq1}ol pyϲ&W _Jc-ĐɄsgYZ @@=3k% \Residuated_LatticesResiduated_Lattices.Residuated_Relation_Algebradocument.tex7zXZִF! A%]A-MՋhvG"uIBm5ۼV<nL65U\Q1wI^ Ks`@fk!.G'-(̛Z~}iMEPݶhP2fCo`B)5M˛6)1E;rg--Ll *1mA|B*_SH;}C`JYb<'!RD_|(2M^$hE&gٝa'X6ɐĒ諉5ÚowD:~uXI*Ѻ̀I*/rmܹ49ʐ~; vnGNX"-O3+o"Yԥê(zi3zT?~v=="5#ڑcsdgmn~?;Ry?du6 0w(Q$ӗg\Ǩ?VhhiVL&?˃wo1~ĬVgg75}Iv(1q\ |MqG{]MEh~AR#6sIzHcg9d+6Pb-= EWK#ۺՆ#! xM߉'uR&iDٸ]Xfmll@K<3{0뿥}z(_Ɩ˴||AI]`97˻ kYV^j߾bpoa=B'8=-rMj>[k /f`)k*?cۢe6:~"%OXб6aΘ䲀KlIAZ T_Eߟ@ :? 4)|*9,Z:Huu=F~qvC(\GPAo@/áeEE&Usb6t y/mw@ ohȜw7] ]Äc=rՌcȡ9G#Y62D["-^]._G cL)S&hDUcX* +iz H_v{{OnV!m>t1 y~=4rWr 9H#Z.,G(OFuhcSUU^aR>`6Yyޜq]sHQem~8}Furׂ:-"\W([])fN8Xo,Sh_p0ц&4`3C]0Lcm qÇ_?[clb;GbU +H|('87xn<}u!>rfXez`{n<lTwsNxʍG_tх? e%%' |-J@g/.sr߼?!MCBFrՄIgk5:V&r#PCJrCgm-2(Mhf0ʾ {(ïNR93Д;e]gzz H@LP@M]κ(<)׎#rg2[ 8:nimTK)GCeM(wz;%#Ycg