SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  33t<4 ]% Residuated_Lattices:threads=4elapsed=33.185cpu=64.720gc=2.0447zXZִF! -`]ŗXiɟ}g7xxsZ@Kq'}$"8.G |x0I4.9Z)7(o'Tҿ3 2IT8 ~$-Y^^!w dMyrOuU@ԫZ/{Wry]Hu=EMV'Z+!"b,il\\M$.rYNZɨ}+ὴo]+)^d^ʁ[=`{#-cT2 <#TFl_oװa$|€qmet=namue蹲^lޜJ3}>|y6q#(}t59Χ?FV򶆓̳֛PX&MtJXk{jyyDƍa}Cj'fֹWq];.h,4I%U|Er"K<ي.+j SURpI@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] ڦ>*^}O1g\,JzpHx)XN4%G. 8Ns;%gKޣUbzCX*Xsi4bxԍ `Xﵠ-~7:2ʷD3t |E;D=Շ*CK@Bjh8aKi3imh#36"rZ=?;2xGٰL xHVx&bzxH<P9FŚbY [ް 1pIJB Pk6YyQ!kRL.nHYWck;6FpbxP 0'uDoU֞fX;=ߴ ooMR.x`37twv~Ga]^zV':=H#gI/ȖKp#Hfot TA_C456UcU!{[AH2ae.kpն]NJb#= c>u*oZ]ZKbyiJ0=np&g>gmAХʃbPY;HћP2j ^~'vh Ȑ= +` AP7TEE>pKkr=c\tgo>İOxN/ Ě:uWF@Lq$}"-4t#׮4EI-yMjlGMШF.| nBLj_C($ h{i{TSJSGʛ^x_Җ3=7/[є̐~#D;; ο?(o3g3 隉zg[_Aŗm9ș[toBG"]{H_i%n #BIGRxURpI@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] ڦ>*^}O1g\,JzpHx)XN4%G. 8Ns;%gKޣUbzCX*Xsi4bxԍ `Xﵠ-~7:2ʷD3t |E;D=Շ*CK@Bjh8aKi3imh#36"rZ=?;2xGٰL xHVx&bzxH<P9FŚbY [ް 1pIJB Pk6YyQ!kRL.nHYWck;6FpbxP 0'uDoU֞fX;=ߴ ooMR.x`37twv~Ga]^zV':=H#gI/ȖKp#Hfot TA_C456UcU!{[AH2ae.kpն]NJb#= c>u*oZ]ZKbyiJ0=np&g>gmAХʃbPY;HћP2j ^~'vh Ȑ= +` AP7TEE>pKkr=c\tgo>İOxN/ Ě:uWF@Lq$}"-4t#׮4EI-yMjlGMШF.| nBLj_C($ h{i{TSJSGʛ^x_Җ3=7/[є̐~#D;; ο?(o3g3 隉zg[_Aŗm9ș[toBG"]{H_i%n #BIGRxUAqVME^p$ꉗkgGt~lyVZ;o N}OZX>4d~LhkvtӍ\yO{HN::gy//YoE%5YRY9 -j)50B d4+VTf"3?gC-MQYR0[eN#r-BBWv!i ?zsv "]\>Ɖ+Yͅ vy|`D-=# z]5x U"^'xKT,u-ž'(?eL8^tlB,<(j٭yX]6r /J{{X5]V.3KMB!F z5z^ Z s kwQwRN-}l;}m?9API kX5G@|*KLHVwVFڌlL"m')v}>=OYgjy?LԿAC?jLg^}e鄪س!e3%CN,v!"|5Ќ$N`Sw}s!cj*)Oq8&ma ]?e_>^3"渺`]'%Z6(dXC)c?{nYp9TcCYi;]oE_50k"q^ZѮ@ސ?,+ =Yë~6 hAg!5 ܗ*@w%"!6*Y~It̀0T u Y|ufhԖ]vr@;{UIUYD$YpːTZ< MN,g2twukpy7ݜ %}S9{1KgV4 !ȯ"YqiQ%vdN Ya˷I##|G,xױnRš10;d:1T9")S̻n@Сђ}y/^G1"5ɩ_(lmIYVB(r5RxHĻEJ,!gx*Y._F ~wo wbGQz4^Դ;owL}ͫ@{-_ja~+},+m8pȕf1Y*ym],y.^BPxؐ#TPCTzJtvF/<1J2m)*ܘT(˱ymPUr΃.- b=ƝQ} W/ |YFmv6_f%X7n44(e8 \0UG|-u+syRk= b/o|نKFnj!ws2VyNr:Cf< }w/' gi^rT+VP&ûf5 pw. Wn"8:͔Рee5$,7LqTIG`.]W9EX0=c׼?%c}vO2C!+tf2]tu ;䩄Km0&ag) BCǎbf9~n p'dix}e?G$Sp"xEY|yn}]0q5ngHp}Fýw6":5I8r ZcNݱgYZ G,3_% DResiduated_LatticesResiduated_Lattices.Action_Algebra_Modelsdocument.tex7zXZִF! "]A-MՋhvG"uIBm5yB>URpI@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$)ьw7 63k% LResiduated_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;Gbe3]E=BXN])" C$7Z .Ь d2e&npCrN0{꟦a7 ࿹[O5K<. Hg2 z>)3~XxҭCi;\o Ru =stW)($}}:5޵2»=[ cT,'̓{}W 0rG3aCIV]|Ʈn9Wu?-Lk۰nN'9nIX+Zpfq؇M׺xWY"C^p<3@>>=fU'sïyx+꧈ˤV, %:X(ޚÈsL]A~;KI8_B$nfF&=fou@T $ eޣ&g#ƒY>gYZQWy0^zBcxŗKŒyz3x5ҍWȌW7p5?<ǼZJ`#ϑ7s6Z~VBZOn*DHҼGZ aC&Q x$")_bBRU_{we+DŽ h&LQA7R&+:\~غn!ku(G&#x>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[``ފ0)!IY7,WDtI\X;Ա훆,?qkL%Ulⱷ1_lX=1 r%3WnoI&Zbcv\^p*ԝ,97}AtQ~; M5ѥ&,dS=iyT+H"t)UKV;61yo*j+6;'/[`V{ >FM%EI)K+ZD_䞙.D~D !/UhJcj }6P9'}7XIaW tdc (Aݬm>F5Bu#MC}Z@=ted yook[Y~.ꮯOԏMZd13E{{獳ψl~O$+֫4aLjEY <ꠄI 3+͕p+1feݽprن3pSi淬s ,ENu[PتCfƦKV] Xn䆞|s{)R"s੃ouSd>SXB5h& 6&bVAawQ[34^15oHE>ry3QU? %v8T[([hERBVI}qf+CLm̠\UqdЅ4ödC@,EmtPo!$iW*E}=^jC9Tl%|pJ V1M"aOz׍=cE% jƞ(VhPcU*G8(aQg$\M÷ &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$sKLv|T 8l+ m(R傅6-JS:5gbw76D1mrttA@"*-QQO ;" x ͇[[(0M3U 3ؖ-smk YSF4TqlsF}e"}-\?ynkpvsu:N8L|r -vAC/g酑J)ӆB`g5Q*.r1 yGL 5_"]`{u PN4ut )urCLR$/x1Rr=Rh2'$zv&OhPTdȈX7o#,,>Gu1<|=HU =Su3/E7:VCIkccV%:vܔZt/뒠Ry!ōu}ţq:ů<.UP ]%%RO4: CpW}%1q⚮s,ueZ1(?֡Rn84AwJq 4mػY0%BvsuѺǁ?J㼡niN\I[2pFJ+fpLg![6ڲ pg]P' )"":b-\7wlT0 G3זsS r?pbߡ+(hp %')IW}с5pRߘJ@(,毥1l{mw\cJצ܉hfA +?zx?W22{* 5:-ZV\f^9烜tzC)o6M'S묊~sY#Wt сʏ'\b+[D *Yy03(q7850uLK(|MmfH@'xt +WFk<,S$=vuI(88LdC9aݑ»:(֧D׷IY\^PuWz tҹ6xfXjAG;V뻀sݯ e%K-M"$/(<#U$dAq83zmj &Wqv]ӇbIuͺZAi~֊7_O3mm-xz38BA֟At|@iQ45f_ ݌@ iWrЋOgo9\}rT7O*oNǗa)؀⼨@˔Y V-~ t6(fJ`Lp;s&jy-pxĞ/qf]Fjׁ+O7ܟC iLm(rK:VeI =*|ij/Z ӻ5q>鑬Dz)?zӗCݯPQzc"ؤT*309 'A2;g|:ߠ!H*"dx0ȯ%FHXϣw@YWo8{` t]Ƭk>">iG"ā%Qq}, I0Hsia7]bGq0S+!Q_Axy[](`!sW*jϷFMKQgު<49}Hm0h__QϢ#aY.@ZwJ(c_y ٽ6`fͤs}'\W !XK_G+ޕ38!]7Ï 0:B^l116gMU]a3fHׂUԷb(;ESJ#0d|VN>6wzOG8j43Un ~1=0Z;)#2<*U+Զf!OC}֌t (ow-)Y-EUnUҁ=2^ql*H,|\}Ao/UVR-EPJ̊)oM_Sun%)<3^0"*>'K#o[[?f`]xҔ+=X9{j04Nɱ:$OY>|L!;Nb' Fh-C2" {bו 0ʢ-.!Ue 2]f% d  m«8{ r&b(`$ؿ{ $В{FJ :ygYZ  6w 3[% \Residuated_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 ; 3k% TResiduated_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.] &/( в9\0oWxy_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|U&];yD';r1[v?}oM8Nǰu>k~穗{J0z*,z)\NjN%Α>ab,:3 UpΉp9hwMjȽ〡I`; xR gWrIT 80$b7Z@ގȋ!Z/G1OǑ<$ wY\:W]{]t8 Q>r[ȧQL{[?ϨpDUR/Nyhk.lhsF-Mz6w,";Ibis^M9Zaq2uxF ]O}Hd*M.+yd~p~u3O\Ϗ[uK.~k%&G5GZp>AM< ӻgݩO VrU oS.j~vYd-"BT@*P-El6Y2'ͱ0,]HIҏڷ1I.:O?49 `q_|֙L$3lŸaIŒj f!d? p6mgc.32"Sa092s2YxOf+>xBϏGm^Po[S;^Uh3rtjzy{孭l<&%?lAh5ш( m;pIїR&rGE%mU(8;#~ɩ|W4 #Mx^JuĕæF*91K׻x`(f7g>t$3AQ|miI$vR4Xvk~^vV=}~a4'̒8Q!C'/ؗޟ xB@Ī$ք (m }^mc3k FgQ.h YMV&KcۋEWOs<,C2)}ёHG  X8R ,.+0o;pma5\,变p6+a>5 =]& \*q),!L$#4c4N/,v ]a^.@_(|HL}J$J]4\ή"*3/QAH:p_xco9uk2>63w.~  r'8Fb2NתE hcUъmǾpB-Op6]\EFWT~T͇/ӐaEEgr;! {i5|B+rYcOQg9# T˽Ą0g];SN)JJ N̬gYZyjBctJnɖ^Qïql>e[d1i:F j]_3Ifʬ[shZD= mHCA4#Zs`gYZ7zXZִF! =]ŗXiɟi5)9ݻs?lҢ 9|s۶S>xh.ko4ދAM\3aX=qbc*+o>!۱_ȣWt1**+bé * gDdKgYZ7zXZִF!  <]ŗXi%D4nd) !ć$̤૝V-@ thCZRJ?in Ri2Shه pDiHĢ\}F3_o3!*V,J:i%e &Ͳݮtz+;sl!Oo>>6 ՜;iA)^iQU4 Z\1IPYrߍU# Ӂm)q ^6q3M\`\BR>)XDKQ=hڤíMJ&HlZ8Q҂HOdn"{ηEtQzbjqEǠd`#\95"Yܗ^e%. 0H;W/p9#g`A[ >SnFӎժe c EB r$*=7x ++B*rAn͙)AI;PvCıYRH\lxOJL]s9S,j5%vZCqF}P^jUrrCā15N,M#|F)4YeU#([@ڟls$OCEʄ<1Y5ӉaLv勦_ !)w?Z7xwgJ?9 97_-r0Jq& cUX`p3IdbfPGp~N g R8p ) 5xlgx!3+1:r+})?r[Is1`LviOpkZ N,$&WFÊȮER\i\ I*F~kEaU|jPEa^/X>˸wf_)P%/zr%oDp[A$qGTK]{wܣ#FW>֙WӂeЉЍAW+K}0A;Xw^fAy1 MoRF.t6Z# 'uk~51G 1 {=q՘%hNEA,3u< 0%2 Ŗ*h`ibT*z7-D:駣>R53m(;F=ٟhvl̛b?0B'DBzbpD 롤s%v8;(I*ž~&JMAګ:dv\l>=ݎ't*q(<kVg0s'U`'Y*X.Ԩ/h d>y"-u`VnֲNzrzVNz~)2<x@6Ђ4G1͝N>sޚ4:{:>d3Z포ܪmZD#ciT(O)>R ΰ`K)mg}Mᤆ?佌,,o<;GG('s2UPRS"c~(1V|kUTyqa}4aQ>Ђ2 ,2qW'ZlA'6"H=?E7$DF5j1jbUk?*̰ࣖHU`p4݁GT `xG2;.Tx*겪r zi(m=JMEv.l6koXE.Vt^>!΄duE&lGBw :Ѕ߮,ΣogDDduFM@f0SǛwG"K̡n?K'˟ Ц?tJ\ҚcMA9wT;C+Ayq/q8$>cJľ-QxWBUov/ǁF1#c\aS9._A 'f BC'`3;%ʹ8^5׷k;yq} & +\p֒?ɳڵīoK'k"o\GGŢ&CPd5U[=-XUB|x<7EjCՓ,s8f8Q2P1jH<OΰN-=eD~"7iÈ4Ui2ǠϞZ.|#NVz45pTǎ u4#FR}uݱ˙3 WT11:ݍ:.Tԩ-g6}m<]ڕyIi-fx&U5["V- A[mZΚ.D~3ͥ9mGVӵ m+^b (1zgYZ4edd1d4229f1330393acb275e6b9dd85dcfea3a1c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e 31af6fbe992d84a9bd2fe141138885957eb04f52 5773173c57746701849ae568b43daa93b1258146