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 #xl4l ]/ PseudoHoops:threads=4elapsed=115.205cpu=166.244gc=4.7047zXZִF! j -]ŗXiɟ fftb:u t:[[q.t'&R: oJ]~wAím2k$n+E\7f܀ -;p- ]6WJ%{~Ew.vP~%yRI'3X)׵VF'4V f8qum~[< 3!D6NjaܣW+9|۸Q%Սt="pI"T&sljYz'Oxڬ=ؑq$Ԯàf(_sK8EXW̆G~GFPD迧ߨIێm35? 9sv/nmV 8b~( ;pWJsWHn}Wm`;?`Lol1ۉQ%HZv'b7,&eq8} bZ X)jxv]E;3_eL yٙR 8\E-ӑS~p|{=0BdL!pe% "wd`ϥkXH2GQhV5|+ FD+Պ7[çn(߶ mzMm*%잜77>]GaXO7Pmitdd1.6 RܺPvs-H}q]Ss7U_ Izy3hD4-S$L.AYPP5z q2t:+ӡ#bx؞% 6pdw9s#n~=F!=U_3+@5R$6=N3a=-2D/wԱW]'I-f:=v7&淐D^ ˗8@xVb g֦C&CgyIsp+!*2c(d)cOې%PThX @(8i^X4)^b`-tms 59ie6` Sӹc ἊC1=d{&`IyAKBWٳ4[JwJ(ݨNEg.HQg䴎y&%Tmޑx%jȾ|G =f^GǩR#Sj Z/V`?P˱B+fq?'_ sم^ C6} 26Il#/\yT:Yoe*剞oъ㭝 j"UK1;mt@- 29Q+WUUn@,O)r L!A,%F;ؿ!7U/3xka-.Akd?g $5B~k [PB :]uHJY`ȷnA%lNLզQHsU1Cb%d]V/Wǻ/c{5KDNrN*@xgnSƒJq% '&s%{e$ ϣ@M%MݙB8P04]+$}ոsDC48L Ұ+@fZTgPUt`Ly9:LCZZi࡚T82#ͿA^2q)DegslemšۺؙMAz7.NǴ:JEJjk$9ELs̱gYZ7zXZִF! Q]ŗXiɟ˗ g qmz7 $VVЛh}#k1I?¡o( ΪR+YoCG۳n/#UqLSX^ i;8@!ѝHF[ְE>ffҜd7Rxzyub7\ Gy1yԶֿO.Nne=@\Umv[[Hf;_I:sǷʯrXw99IP#*,+h"Ka@C%hH@txUM=P'#Dak[gYZ7zXZִF! ⤆"]ŗXi%D3 ߑI+_t\C+B4Z;`cĞmR GU Ƀh._Pu0Gq(%p=#ia.*Yyς?3!JtTW˽t +! ZOUMYF]^gO_8gl^~.t `@7:):'黰Ѭg{5Lɱ Q9f?dRyp@b 񘪋&!ĞY`)l#s*X2Lz&qs{@қzZu>i *iP]VOx@V [Z (:%X 4"y>ɹ@Ϗ0ݶV3wZV[[B2pAJ7("nv~Ĭ4>Mo-$~:{9ށ$5rW*y'_‘`5Iqf >3c?AAXHjb2JrROqhyC]~rQ?ם# 5js5o"\,ZUVR|=Cy,XM uY%ЕS 3%ɤIP`P,ccm;lkػBG({-XMδ`9 WM5 ? H pDM8xDNbO52 dwiAW1ԪYv9iޝ@fiW' uC­ȋkurዦj1Rz03W "LPɱy^̔jx$ZOc[eC|íb0~q+_2E"޴<BpOle#MCO̷v~ĝ<"4oV8ӽ"hFM#} # PseudoHoopsS #;% DPseudoHoopsPseudoHoops.PseudoHoopsdocument.tex7zXZִF! )]A-MՋhvG"uIBm5ƍ@_dkQf X~xiIҫй1f:m8SS1He 5TВ`Fc `1t!Wpև]!Sb8e⾚  ߩIvUR5f5BnH IU#aun l VtesǸ0Ql .SF9W.)+60]K]p֊qREs%Yߑ?K> SIhOHWV C"䍰>ƍͯ7Q],3^@jy; v=4w OtwzwgN p`!,쿻Q?at6%"Z/ɁZBO^ttC+왡'vx3D*p)K7F ~[̹\ y!Z!*}r{>YvjBARҔ:-䤺u˝_=p#Y=\T@oCn3-Ma*DÙ}*ݪ p4~-C-; \d4N +-X!'`}Y<:);nte$W\u`ՓS WpD68$#CtM#q( P}KT L(Ja[}JZ"2"8<~Z8%9$/M?R!v( ; Բ~dlbbn>X(w`@'^L OF/jPu:NRiws6"áz֍č}?eEo4 ˨X i@vo|8pFBUU4Ei[,0  -{ 1 *?j6G6x+ mv!w t?I:̋ކ{Pp%aUa6hgJM[5e$ɖ2v]g j'U[K B!M~3f \rVBfԶ !;jH,癯 օY>I#lMqZf!.u#ja1WY\5E:]*CJ +W'a؊sO //9({|?dEfW[t# X_SG C9l z\3( 6:4o1N'vD꟩G)|!h؄kա5y+D"T_8 ͔ <䊏A@v@rNt cK#c~|;QykBt̐ ຿j>[pk`wC;!:5/EK) (]tqV7Sϔl8qRRو&p5ъ oHNj\8䞏mĂ3CyZߧQ`MUFƓ6TTˮ@Ʃxڌg03A> #z"< %M 7a1R59ACrXFCL7x\\>e.vCHj&)f߱`FÍ(x3EJNZX[=`j1IHuzjדJqꇻJ8^O;J;/*O|kFUײ2f}MD(ik~˫џx+͙uSMgH ^MDj6 Ő73bԤj6D3My2sRJ ' .)!jT{r*n{ԮTڷ2 3J<JހbdQC>u}4Ԃ|h;#Wy^;\|#L!Ao+=%PDw>.D$6KAX?I#MWô7MՌtnqF r"囆l򥑊d pG}_ɟ;7>äЪA~|8tմ5p~͵LlY)<3>!y8͘Bk~`eI!_x0ڨ+9($ML ^X3j/̕L_;3ׇb1CI3,1%RKr湦/nCGA!M)!edL`~_vh]0ˠA=Ys5X):HGJ<nPVGaĄhYM&թ)į /5`IX*<ݓA/ٌ4!?*\UY!`+YS]^ ~D{l9b|^D,gCvGe(^VL. <#AqASK]$󗏬RfKWqq 'MNB3XmUTP'-?U/su୚    g g^)] ;#I%PseudoHoopsLatticeProperties.Lattice_Propdocument.tex @#S%PseudoHoopsPseudoHoops.RightComplementedMonoiddocument.tex D#[%PseudoHoopsLatticeProperties.Lattice_Ordered_Groupdocument.tex 3#9%PseudoHoopsPseudoHoops.Operationsdocument.tex:#G%PseudoHoopsPseudoHoops.PseudoHoopFiltersdocument.texF#_%PseudoHoopsLatticeProperties.Modular_Distrib_Latticedocument.tex>#O%PseudoHoopsPseudoHoops.PseudoWaisbergAlgebradocument.tex?#Q%PseudoHoopsPseudoHoops.LeftComplementedMonoiddocument.tex1#5%PseudoHoopsPseudoHoops.Examplesdocument.tex;#I%PseudoHoopsPseudoHoops.SpecialPseudoHoopsdocument.tex3#;% PseudoHoopsPseudoHoops.PseudoHoopsdocument.texĀPx`5r&fJT42u=~%;J!rpS3]]͖ y0~@H=~Ev9VnH3Gd'"(\꠭^,j%PJ>b([_M~7VĘ:ޮw_Yzc,^P]U' z@*pصz)؏ PI&In:l1&*`XGElzb͓ѓIݛtEȽ?[xj <a]yؿ$Pp#`!ýk  df2D)A6aԙ~պNCpdɃt"F&x(U}av6gC;.ySTFGvF>`&E֦M4@XBYﲀUU@>cN5 ooz엦I^3Yp!oH8# ].tF"+%y9inЭ RiBf8\Pfž4GUՔA<;LxNf#ţįBy;"]L]ۘϴXD褵~6dh2ٽTIfhfψ hf&-hgWrT&NX偙B UGq0Qd M$ax?bL r'\iY (ig@?!n,{,5/9#؝yY\!_LDkEc;$H67|{Xn9& %y7y8&a.>U{iƓ:wȍ܋T$b s\; -M+>l _42ʣf &&7Ki-m_~vI}*e0vyE:Ou!94@ˏ+#g)bk ]r6葈ACf,Rhy8-J@ g+6=N~&!(tʹM羿Ut_SsCwVV<m-Xޖ!TAm'3:i1 p 9LMF ?!JSpH/uL>Ͳ˟?`ȗC@$/ֱ#-JfrƢJ,Qp me5/{U NK]ɲŔ{GxkeWhIT QELҧ*⽒ʚVv`62Ku2Q1^x Yo3t5iJ*>J\sVWv,fEk#~bL[+=Q5.J(מdN>Zv3z JDԘKQ,Gcg wf4Cؑʓ>Lujn+1mzYfgn-6CmE2s` z:IK0f39u PK<ɷ9*1 zgہ my<|u:}LӰ]%{`PGt_p1 nVIT;bLtPu\uju8bL'-V$v@ T"Y^ĵѽهx!KRI,vH!0n:m-=M|ڦN n&&ߟq\ՏOzg5^C\{ 'pLWPzJkobySP-PNqww ~עogRy۝r"%7Ċ>:gL> &jj/nq\U+WzV `Y e*hjP7܉:@&yȝᕸ%| 5wы5*?i~nf,?5B}{Tŝ46t\X7ɶ CUEԳˡP?LM٣*g=qK36Њ$\Pֺ,` #9,[}ms9?@fQQHƞ @c`9t8`OD O + cxY@TF8^g)4<5SL"rRq"g'AxЈI@V >1$F,fN?ofrR1b.c*' N4T?Xp瓔g;Q /;7wzk%+IQ$Պ՚WS8;6)0]FTڕf!AYu@O9Y4jý3!mN=) ࣸU\ Y DGAeg$EN gf޾8Nm>#mXOoX#iQ i=j}qDd<]yD/F_c1C~+h.,.GK"%I:+ƣ_0{Uy,.YcG{#H#kq bGTY8\Ee?qZ^I:&Vq?͠X^iu\XϬky,ckun/|3'<|R4L A)INa,'#%κI"ZL'BD_!y䗱Rha7];F Ѝo\.3LI~86÷)h&!\Q7O :lV]e:%6,2<<A#&sONE X[e#n- QWLz7_ꎒ7,y Y ƞfxoXU Rl>+<,h@(P0GBg%DT|if[܏ZʠJ~yx:PnYŤiԁ)⋥쿞o(C#đwPAdTrfHof#-]+޻F/+.@F,ގ!6i)k_g"1$* ",ϖvUeYg!4 z tUz'ڼZC{̷r,1[+]z;DMMFI@z^,n6ڪ)"KMDxj/vCm*1^v5Q+yBX=hG4`2&9ly=7f}-w{o*_OO0VuP1k ( `\O"4hR֧s8Kv멓4e[+}sCIO!4~LHB{[Y8Wcc$1ֵv:4rVSmLE\c jIBO*kUPsNT`*f GW^b R Օ {L`WyzLgc<5%6](=B0 ,h.eKRym09PRY5] й *_xoπtOrV#C:4<>7S/X(nĜ \vk8'O>{hJk|uu+*eZr}`wpk(yMfa V[I Pِ輇)e75if{o 7 ƽ2^ŊɞJCװ7 2e QxBe4IjdfQ]j+Guǫ $Ʋ%n@>EOkҀ!YGPt$< [~zR(ƳqX3|Y/x)8? z̭A.d%2k4CBy|GB uchg \0鶰r۸H٭S&`-4TkPx׊ lW\ãpePP4!(m۠P=+'& #b xņ]L"^:Ƿr?$%s\H';c6}" iEDXS((&KS~2;oϟbwvϐz+~=9a/>L5"v57hwjt$dHb joPPwd2EJA׾f։J}òYUq[I-CɽY;=t&#h"Ѯw۰5)ځ QЌCIfꀃ nq7s5+^$oKd:%JDthm, ORr|!]7b&Ĵ|m1 }j)V+0x{wz!Kbfja$J6*MWƌʌXi\"T2>Em6S2;>W7/Z/_X. ᔉ5cէ4P' Nu4ތ 9mvA$Ah8ei^МX$HQ aʡ>3;ݳ0_N! 8B0<G I2>BU> RC-XGqZatwQ9* iO󳌕оҠZSu\ǕF*Je\ c}9}Ɇl90* =odOHyD`MՏ__̾2w >~ gn6 VOWk10k_>hLŏwfG[TRʦh B.pa@jF(NJxpKXgyg&<&t낙>%^IaO A$iP^u6jgT[ x)5sv c}h*pe=X"tA0Gu<` 91 VR&"8k釉8,9E <jwQj0 voXeLmg}i`:G2[Bp5e$5+@hqOVMO7α~ |=SR#=N|[N&KqiȽ4 =@5و@sb҉~0{ VR@3AK],/DJpyu:wASUjDkgnpux*73,47Ĩ!>В!EGa2 1vt&lh*2["[0c0'e_ €pVn2fCf_2FuNX4F #dwC !gO0vB6̈b8&/P "݈6>򸃍.Z,$z.oioTʷ|+I!_xϾ< sIJq{KT7Jp'0Ⱥ4 foOl~t :PL$t,gpRvS IgYZ >{GQdD^ޞ}ˌC,\_k3C(d۝d@9~vN/`Ae%eX^1\8hy,)e6[x;ugejf`x?ۼ!׏Sճ$}Tٺ=.f{eR~uk{.y,}D\'PFaqDZu= -b:>STӦV4`bϻP 2qclIK@`45]j;է7=yT0IE7錳Y#mg1Abw>YuE睾p oLXM}^lJ#HQbK"@gI3*Z;tikҟԢ~r/\Ӗ:nn VzEX2;(h,J:/ Ԍlb41^^hE' u%Lܲj6R5Yj:636HCXr̦lN0V]2O-N-3i,H .-ɠTc&P[2܉),?=L>(#0z%n,`uڧ[1ە5W5HWuQjQ3qB C{r>j$:ѯJJ=P@%fJ&L9n^LO<-7'E@BC?<2iZ߆k7ˢ &H>ٽLԦ:|XuP('^ols/N'N&LDZ2$zK l.{u{_79c\?1=a #t)SM h*26G>nzVyNM#EHW{ `qz8kYS(<; |UB),C"c$+cC=Kgcw^P&Ε;g\(i%,tkq{NyaLգ`VXhѤ E 3+2?B;6x0[(PAٱg':a,u+J/5J8t١FDjCs{h@ 0L6$vF_By"Gm}vĦ;@~qTP/lAڰo йZ ~c~u2T"5]+Oc?w2 ^=b=VȝYCJ3޼ȳ:~5'-AbYn'N=p~)\ ƔG{'=QXq'Ǖ> g!paػԦolA$ɉ0|oqK(b3#Zu.CbGT&E@FI$l=)/CI- mJ=J|'#6 v`]lckT7Ij6`a]6/+}L3rxΑb 3G^ӛX 3"1=Ńnaa6l\aAg\^zѲ_^,uivgWM?hk Se?.9m+.x_ ]bEVXI3\x+AbsΧFyӻykFe\g$$"i;mwM6'K.t?`,L33/4Dh THEr:㟒ۛ4mZ ĨS9yMdh^Zz1,/^ r~bz! +(AaWf+j b96~18'Hgh(û  X*M/z31I9iV:l1ɸ y؊}NFIbOM9VΫzO >NE\Ə64T'KAO: wk̬;#:dN\AR-!G(,.`ރxvtX6Ȯ@qot6#[PTMQ Vq%V9k|_g# XjApdo!>@"P͘7ɷ fwK)sPEkِejh8J}@9e8\DC=$A"y7H4\,}W >zh(8zus&MI Kҟ~WFpI< 7bn'V4kxBj>-q_s0 -oElv|F_HCNo$vruGLp DY~0"F?#ZspN52v )!> ^(5+쌀>2`lRdxKZ|mktL5n[4gQ;h8 oϲ_Ypi 6#}ӽ΂*mHb}7sqO/Y!dm=i)=e*~$:[۫c)t&pLVqkoNɮ LRw `cRMaKt$nKӋ̴E#eui.H3BBӵJqkM0:Jp*ē) ǥhwN[_<}@9gu1FH\6rF\sL:҇7i/REvN<^o3Qi@Fj79Jv&Te\V_|dCa.掃 z8ۮfІ[i#܁4f4Xj_Nwzza.Kϧ<ј *ӋSDt,m0[]y(`ᡗ$iCuq؝)}?4'h$Z;L#aQV% 2+M˵3j`w#'k ĸUJ.#%ds,ɑb ϦỄ[̙c܊ܥzԧ^e+&2"T]O x;dzРJom}0(1ܐeA C[lP`cF->#E%3w`</C_CEi 5M2Ww &y2$]-zh`/4,g1@uɌu~:zmħ!]`迻gy-,~3&R=6T+Dc{t~/1[r,ZP5@$*rRE=OՐInw`-X+qB M|wzt͈Q.<-  :M&ېKۓlFi'Ot!Da"\ioY_^rw cFMҘ$U/͛h^o02V0u]#eqb r4:&tRbYϧ K W= խ=%:^Be`N+JsQR:ĐUs^B.xn+eۨ+/:%-vvĐ;jxr8wXcR_ 7X'h# @R>oTM4'%[_0DfbU}zTl4]+RiRQB h>^G,| 5.RYRT|:,ё]9 P"o獦hE*iCwzJ_VWF@bDb;3_)&iCGKZJ\G7eWqmG/'e>ze? V׉_%eK~Դnn9Fo9}Q)hD3d6Z WB(,PS#E'*Rf#hxaopj~sZhz7i^&+ʴ'ݸ^ډC-Nl+`^CO``|aK[ۨ*mgĤhrtNU@0w/(b7f8ߌK$e =%z|G6Enua^OiEM]h7ڬ0 ,RAe~iWKX,q;Bi;1` -v͇\8^^yDߴMKdzBxt"* Czz#cv%TYe!^^U LfKba;hg #6 ҳXwj\f# KcrzC^`O_}W,Εt聾mA(*VLK#0;*U<@,U8x^e! -W^^In {.*Q%`:LaRهoI%U5G 4I6P40n~HlUv (s#WWxDn`BF- (`\_^BPf]ђ*~ ƅ0 gMML(/18\;l 6D Be Q'2éқ #S'n$c&cWDA` ٧P*Hv?62D^?Te r}:ưv6 P'h]*w1q=9*zbFpFID-)]؄+AR~h!D37uv}y`U(=nmCwՀ), ؆1Vŧ]½N ~aTuU#%Ȝ fw.ZD([M$uơ{wے;^ҬnHm9KJNN("APrzeaEP&r{ah/WMhJΆ\8BUw`3y @3"ıPwH qR.|f/<Gw/ Yp]Dm@bD[!2=MSԚ00žDg!gSk%:q1\S#ɤ7afctAz$:DuiMb&JW)r`A'pyhgcF;0[6Ἥΐ<)rv{6I] A}Sa#VaVw[Hrw!1=5ޒzuD1WIZk;ma@z痮l3AF;zC j3cCT TDRD`&Rw+>,p( 6L j*[guK] :&k5GoQ̒04LjoS]"9V_;LX,p/~b S^&j~ܞ V. <D)8Tb :@X g$INKÄ$(wQQmx(˿=XSPӪe- SVl{v١O.LZS Uw7Jrup*O$q60ZVBsPXK -_z"fd@ 7nĵ5ReˠYFs:/eE=buXĔ֚qlCCO^yq 4&h^>!S@L.2"7*@UQ`rUbAHJv[ګwRHxuO aHdU0^ uH,7 A rpyBjq8B̋&"m HR% #;ͣEj ]ԕt/ט|4 xne8slC;Γ])xqNj?y SbT̜`,~ua`mc-];Ȧ[LWpTmmC1852ӟ[ĝ ^8S$Ԗ>Xmz儺s-!1|"@İ[Cwo#ANRPW-I}p^&>hhh]{|vߌp 17_l\$~9{_ 'Cocb\MeMWjȩ ffaL`oNܵܧ&APF9ұSgQq|՘(GEccFU]DBIODVWi +&ёӮЄQcҖ$㖫 7>A`. vKu0[Z?1Y(H<C$ hʦ%GE0i=(4UppzTGO5X´\SwTJ#zm3&=M-&f-V6\᫴ݥ=} jwWRkiג~nH437pT/[ wᜟeXdc]LG@noUI)7+pg>h1g>GjK0D4OTѵ\f.K ~"ͱgYZ S #;% DPseudoHoopsPseudoHoops.PseudoHoopsdocument.tex7zXZִF! )]A-MՋhvG"uIBm5ƍ@_dkQf X~xiIҫй1f:m8SS1He 5TВ`Fc `1t!Wpև]!Sb8e⾚  ߩIvUR5f5BnH IU#aun l VtesǸ0Ql .SF9W.)+60]K]p֊qREs%Yߑ?K> SIhOHWV C"䍰>ƍͯ7Q],3^@jy; v=4w OtwzwgN p`!,쿻Q?at6%"Z/ɁZBO^ttC+왡'vx3D*p)K7F ~[̹\ y!Z!*}r{>YvjBARҔ:-䤺u˝_=p#Y=\T@oCn3-Ma*DÙ}*ݪ p4~-C-; \d4N +-X!'`}Y<:);nte$W\u`ՓS WpD68$#CtM#q( P}KT L(Ja[}JZ"2"8<~Z8%9$/M?R!v( ; Բ~dlbbn>X(w`@'^L OF/jPu:NRiws6"áz֍č}?eEo4 ˨X i@vo|8pFBUU4Ei[,0  -{ 1 *?j6G6x+ mv!w t?I:̋ކ{Pp%aUa6hgJM[5e$ɖ2v]g j'U[K B!M~3f \rVBfԶ !;jH,癯 օY>I#lMqZf!.u#ja1WY\5E:]*CJ +W'a؊sO //9({|?dEfW[t# X_SG C9l z\3( 6:4o1N'vD꟩G)|!h؄kա5y+D"T_8 ͔ <䊏A@v@rNt cK#c~|;QykBt̐ ຿j>[pk`wC;!:5/EK) (]tqV7Sϔl8qRRو&p5ъ oHNj\8䞏mĂ3CyZߧQ`MUFƓ6TTˮ@Ʃxڌg03A> #z"< %M 7a1R59ACrXFCL7x\\>e.vCHj&)f߱`FÍ(x3EJNZX[=`j1IHuzjדJqꇻJ8^O;J;/*O|kFUײ2f}MD(ik~˫џx+͙uSMgH ^MDj6 Ő73bԤj6D3My2sRJ ' .)!jT{r*n{ԮTڷ2 3J<JހbdQC>u}4Ԃ|h;#Wy^;\|#L!Ao+=%PDw>.D$6KAX?I#MWô7MՌtnqF r"囆l򥑊d pG}_ɟ;7>äЪA~|8tմ5p~͵LlY)<3>!y8͘Bk~`eI!_x0ڨ+9($ML ^X3j/̕L_;3ׇb1CI3,1%RKr湦/nCGA!M)!edL`~_vh]0ˠA=Ys5X):HGJ<nPVGaĄhYM&թ)į /5`IX*<ݓA/ٌ4!?*\UY!`+YS]^ ~D{l9b|^D,gCvGe(^VL. <#AqASK]$󗏬RfKWqq 'MNB3XmUTP'-?U/su୚l/uAc #I% PseudoHoopsPseudoHoops.SpecialPseudoHoopsdocument.tex7zXZִF! %]A-MՋhvG"uIBm5ȧ| w"e%j9B,$z-FE/baMB"f˺?{)L"4RA=0'_\)!]nĴڮuFƅFMb=T&t[ #[N~|ЌeMjIM`.|LQJߠz!zϒU %$Eg9j;b 6nf{*ɆS>ZN0b{=ڸ*[BY,$_)?AL my^K 5A &z yҺ4%q ?y G(ET@Wndo~ ҫni^>JTGzvE\3U39 C8 MӇ\TU܌d  `UN4xt:Q¬8? ɞC[7AbRۡDL#o( İįJ]i׬)`܄8K_rعъ%wG 0хbWq%W6Y9%?Ko;ȴ1ʸi4|^1zn_} @ H]Aӏ]3ܙaYq@D(Y%v7~P%L# ].ugxβFV}_hz ~f[R+d|0A)j:WsG?dlDsC9Hh asvWxQڦW C|Nc;*]^ tWY.||lI-+r2D+45>.xuѥnN;??ط=p 80W:;9 Ktdv{W YN$!Wރ!tzt7uʹg̼& -v\F7Fz`//ԠpsZN8c#Ub5 0gƛg=XIif;c-*B[^)iv/A4 뭝KO9:wq_ߖ˞w)g/seVS v!R_wU[H0e/9V 擭zy&q S }ťdj#Z4J[niIĺ$iD&Tک(x0ߢ*j_aZ6} Z gNN YS%?L|^v8ǀz3~01?Tͣ"XLdgz%C ru|^k1VWA}&$I0 bE-<ݍة!UXhӜXBGծr5W+xƥ591CQkCh eٓ{5b+"c{H41g nMH{gN"W's!FPȫ~:/d›{:cԭ˵\`\U/gA4L `dA5BHx@)BX2W]uՋ,;dXCm&3>LZ.5Q$6*o;A~IY:]lZtTJoo ESD}}kꊘP{9j4j!i fW 6 tVhK3QNUU|L8Vo"Vk(bůE 6/{IE2֐KtBi`WJ&ސ [Q[H]!TjRP=<g'K-[ys2X$oΈ L2g^0G X} ȍy==eboUYR߇-o Nd? @Gzus+,b <'߼GAGffa.;%I6lEł'*rCQOGpّ 9w>I#mW+fKkuړeo:{S|J,ƃTP9/+D2ٻ?wzgcG"3WbN]?k0/ N2,%<"[јG½4&ġy}Dp$KG"K 4-' S$qCsgpl3$ B H/r= tyn)hU]9 SPKpYvtcy5%,`&؂4оj&`Ͽ&2*DF_Ti0'pbd';%=iAmh = tK!2~ޒQIg;*kvUxcvʾ3Q1Wdvl(6,ޘ?8J5# .13 tP/ZGaA&vS!SŌ}Iuvoe}Rr()jS=RK!Ҵ-_ "p9 2~t bF{#ifmn>j-e[Nۧ9nU(}=7AHYrH0m{XK CYXKybكQb b @#bbhwfn{/vew(^6ȃ.1EJ˗=^VقY`nb~;߉Jm]q% # R֭t[LYM[ &P^~yY B0w l>W'CY?~O_%%~W$to<جLn yB፿R08 jzRZujۅc<|Zb<*?ҳӈ?HZX4V_̂ݝ|Bn _p;-잪4Đ0' }]s`B'(hұ; +Jz\Q/BZwDŽ9J^*c(ÄH sO/{`_U$u(Q5gowPAJI4雗x ˀ9aV ϝ1c|ͨ& TIqg]a1sZ٪l1{wlB45xD, nm }4_Ă[FtD$-jDXKɫ?h'%CŽ|TӴA>+:1bcx<|A|I0В蕺VaQ%RMZ.)W>i(g4 ͑ {WhE6UBy>0%NnXU@= A(GLW^W1b*)Jt |.32"u +-ۑ X _ZG„P@>֒&*&(^qZʲ$Eԩ{q/\Jb|J#?[R*C [["d M ׸N7'ۓEyn Low'gybΒ(^йF-}afoʰ`B|gpJ uOV}-B>AjhAK\<"|'Λy=L6.K ;~AU<חN >:!cɾfoxeYr"/潊D*uy#'9Ns5]m#q@tdwd@#K:}W., qHw5|j6[?j2}jF,\N]w+|ٖVx) chnRMfTyeh:/̓z7q϶_Xc:B4iUsXτ?t>B^TqDRd J,h-}өtvȒԼ~&OkW MFI%GZ岉y~Ci%X>he%^YWbn4q%tlT=5Nltc0Dn gn=ޑƘI[r֭}mZ%(duޞ/VLUsTF"oC L sMjo7nibdZ֮Bn[5 JnlDd$*/#JYa Vm<\d9ϙH8kOgNksgp;Sszf[`T~_0ZM2%dW a9gJ ZwXe~;ޟOdzZ}1MpTx_U\aM\ / pG(LnSw n?jϰyg\ 9oƎMg@JVC P6G'f^3\2u5p kWۄ 7ĬPRQZñ`ib1dػD{ds? čjP)`힕xFjbiEf-#V S|X6_-Dd^_auʲڻb,'U PSF ٍ4\7(Y4%^>I ҝ ,'1 D1YEfͽn1Q<l\I5{Su?z w+D?l.”_`jy!lQ6K*lf`8Nwen&"3P!#~:£+R@-T?{7Lnttu,eԔ4a{$JEݦň@J>펠HI5]$^ .)ba LvEfRVYKHP_l9nqV5`1;?u0 (IJe)p~b@9pF(|a0z[1ZԹ5KHg!CI43_`FI[PQn|ɤ/̲( $ 7uvAj7aͶBE^rX޳lc$ʖi2!YV$NRlN ?a,뷨BR²6pRp4 };M]A.O+|}"ZSH;b4*֊Ȧs(hwUR;vש7s@U~v\=/ ZJW~3u'Z DT7J+Lg7n1$o"Q *ZL=SeuLrWÝ׫ưՍ4扌[)va-%9JCdioVI5\b25 81pW5A8jirk|W뵊+LpZr!myx17#]*ŷ Q\38)f(jĒwVmytWAuJ Erz ٩V}-}.8^59 @h7YE+|&:A1IMh8u :hBqn-t(֥C,Mcja~~2F=[ i}h7|A`Ìws8?w3h^ʓUhis>ER=|1#U7 )dQŠxP0FpEkub'ԄLHQt;^Y_8YtJX5jz~dMH-m`C5՞Jar򃛶G€膞.ޘhrv@\6Nfa\)@0 IiD08OȫvAM rKsN Ȣ3ͣ&I%]~ ^b.okHp3E-|6_sZc$D h/G,Ih F%^5Ve2`0(z?uOxa7DesB3b]to%\Os < G;xCQD^as;CpY=5*/.h(7oRь8kd~󃮐$uFvPBZC]J]Mv}- ChQtʹ :HTQjɞ03cZ(~jT:d?뻙Pbʌ$,*!O:8Ƀ HCα|i.?=[hL$$ Ai}"Xn5dM~Ь9#"34 .u^egгiNэqsTylysŇ ׻| IO+b 0E r겶v a鄭j@m~Y!0t7̲6`!j(t~ ݈.oH1aBWhQ0ƞ_hhJ*K;o-/uw;lidl?ĖFo$JD=ЍM_4)Z; '\ַ.uH [I~M`l4] NX5ADxiJߜel1tiK/~d%0 ǓPeX-[x~S9'UD]Xɘ>r5{q\$%Jr1H3^# Fx A謦&eٳ$`ys.HdpRk;7e 6+Wʧ *27^4=I6ئ/?g!#'IV'܀}#덌{ sIB "Ϯ;!Ԋ)$'D\{;9k6[,,ڮ8 m+1\dIm\1Kl/ODf >}Em|nv rLFZܣiA fUCH .ϱV+hu ZܞҾ/5 Id2%@{wb۠i?IcWh\AmIHkKp6m}A61m neuBRcBCؙi|>P1qI5{˒bոgYmoJ^gD=NႈlBⷾ3=-[]kM%5nN^~I:*~B W$vq ;fum|B"wa6YH<7+ySbS4.sK2iV`w"3j4;~JbGSdzp̶⩰ߠHFG/kNU lwCpm0aoƯIjdy=ަdȓ% 5$!,I = eaVVˆN8A4V\kB9ՖWbyqpS;mSO  $KN-c_5ڔ8Nh-ޅ:FпXs}kUЋD62zpH! jq{R =JPlKK.H[I1*h9aԞAHE},pY=-G/XUyr 9Z Q-5ZbtE/1ac^yiCt9B +>iNr14sB(k9`+?O]BT }t>cr ?Ӎ 4O4ԥB]@uh_D3E?~Ϝ:BǓH[Uywc<_TСxf4hwq(K12\Xf3+%YQc{Oe"p$d?\U~'1k(|e1=LeG\ʴ4XuV(C3 `lewz9dC_"=_$S b?Wabv7lW!HJw9v$'#'X{Ũ߱-Aƀ(`.FgЕNA}ff@i*>J|srT)ߧ갥0Avwo_>~J3O{rv܄qs3߽Zynw0Z<ĬR>"A>b%8z!LLn|v+M;3WYLB>i L!pKN\@ftb4~w4ɐE\C nX00>@[#w Ia8&ŭPnaZ zCPaK<@b+ǾݕelЬW<د?8*Q(3i#]j")?."1?'ZğBp}is_ :M,MFk1f B! m /u!jnVMuP=K꬇*4}fFMqi!Ҝˠ?8b=j ƴ|}br ۱e{ew)#DI7\$KD@ѲTA}}VL1AsJϰ&xE>H!ڭbVb$FRBE{jފ/Q6ctt4 e;*@+1ahyRlPg>U[GGek0R ~=ʍZw\Vp!Ĉ} Z!5U@HW Jbمح&ZШ1Q@}KSU>ˣL.TTR:Ƴ+b\\#YY\NjG&W㯌9܈!P!Tk|CGTޅ !7ʠK !cdLE0ef~Ttq2 j6[AN9ٸaZe +hfY~c^GHW %}CƉ\9c4(Q63.0n~XlC O@ /jSD?3FpX_rWy󍨣2vA<z.0vと$"m ԫ؟hwYyw]d05MpSQ«򱋾JBg!5T`@ =,֗P3C&g7FbÔ~|箌IiX %QZ';D59c*n­Djԍ25)B8zGQx%h[FmHX5NK *8c 1z{ E5#Ʃ\dal+9[b x˚wJ4bV`+/B(KL5 3g;DA'ԅϩ3i5Kav5Vc\u<ݠ4\g /lS306>܄? 9nARm)Rߡ_V.w\A.J:~C؜ #"fpJd,WKtTMھ6(6n|@3DApW9 ǃϨû8>B 20B9ڗ者BT_UhS*mpsB?49DJahCnGLM؈2S:.(B ?aMY2y Z:8jbS՟_^ s +Z YFA 2XX00;ϯ9`h*Lȝ:/zU嵵kzuKXZ>"!2g MMz'Uv)B'&Zɞ,p[@#c+r6o'tũe9B\U?ZdJמ,  P$.#Pc3W=$(4Z" ='.{Wֈg:VeMg QYSÕi>Hu-L4˟jKDJ=$k?zyy}#oW<;Gc3ñ[\&GRs<2,R) 0|قJu3.iInƯ~*%DPļ#S~0Hj)},2eLBhU-!+ te7pAl(N6mV"[aZu놖j7v`^[Cw-JOSh^ؼʑxޘ2zqY3cOY>fSZBn\VeRV`U̥Qx2<'e#(d/9D;q3/l Tjyg^߈АZ tחKAأ:/%D'Kuj C]:cꄦfE-ĿIO{9+OT,ئXs 2&¥BW$K%Z1͍w;5 gy+KX_/_;jQ%,bϗ3D#lmKNL)2R4~DrV}bME-~L:];¸eWٖVi^wܝ[o†n%8~3Z[P[/SO-!^0[o٤;YkU؅o1R; }SU CF{*ـ[3R+ўS;fK;`/49gUr sz/ƘG )17/t#vTGFLo.n;+ 8cU Lz6B]wĄNuqg=u,Uz-,I3zS;ꪇ0 S~5qXc(P`HB Sp)&1!E`׾Iz+/䰠k86IW0|]:o#(kʺC䔐3'y='y hnyֶmjz^YN;(ڠʶ\8#]+GR| Yݓ5M` ,.l@noJ1vC`)Sd6KXm<NGSi .4=46{ƂV?őV7e!#mg%-JW{j]lm U v5[$+ ~X{i NᲴPkkQ Vac S{T}|{AyP*"kRUcqץNPo9 12J,%_PgbR$)ʤ(]wHښ= P_jYla|U*J*)AD%YOVRȝ#}@wIuaC&n`ddVfv6Yô+Nf(@3^:/af65Uhd3@7;5el狉Hs5bRY2zwl95b*J\o:m+xNO`,YbRσnm|#3˒xIҭ QƸJi{i!o)isW)ݲ9!ҒيIPG'%1;&Nx '\o RՁ@~yX[\8N}R.d2h/\!*I;9p~*׳vMQn`1K_ZVyߞ*N\38tb2OD,X{b_'}`Bt5旪5 [r|7-ʎVAnr K׵|zP+9xxjM/?h>|џ_\TkΦ<"` ]X#G*R*K?g%N&OK@M?,~涧> $Ij2VA..j4NUoeg Erpzp⊨y/eFDr'2W@q3{t zcgL*,sdwro C8wS@A:iOx*)s ^U|K(9$b 5-:EyUzӇ)QоHBBn\mcg=G1sGަ⊐"Wqei_LOlE2C t{x$*׊26%ʡh72%8_{<O3l.):o݀4p4c|" haO&sf2⇟+F{wp #Q% PseudoHoopsPseudoHoops.LeftComplementedMonoiddocument.tex7zXZִF! ' ~]A-MՋhvG"uIBm5!$ҍGBfU3J,GbTUtq!\rho`k]{ +|ڙ5ZLۻ̃1k6TOEC5!WWc $<`oPvhA=Wb<>E!уs.f7Us٠+@t SqR.rU.F;-'?ߙ#_FT?wkDX`\L/F9tr_iɂ 0LN%Kkxaq#ۖf5ZE9a)kтr +KdT[s}Eqg&j>O=euGd I*/*fiӫ)@E @%y_Cnd* ij X#W#3=ym}%G@+σ(5GA*K}v;-Si˵mSDi=[=b(_1QEʚi#uw޽Gvް2T_*4(d.(Fٞ1"zXڙyWBW/ n@)MGGM_ҸR\6=l:"-IsO3adcr̔Q r&7{ H`dYƿb]*"m[K:R6^ܩ6W{V̝ω;S1@<(f~;l'\#}x M\݈{ ?fȫQ#"~T&&j mʱ3XkfC-쵹-' +dƒDcγj;Q0LE8xx=2mIvLVƿM:{Fȃ_#e1r/4H t^ 'g"{?UDnL϶z ̏5xwX~Vf +b~2۴+d 俎$ru'$gt^nPVΩy!#~X,fs-cSot u1xG$@IHi.u\}V%QZ$^vSr_K ෼){f7z[$|%%D?cB/E roo2wxZA<&>YEPV~똢n}Eͦ@UG\Uģf^3I,3x _ǀ9UBOať0hx?+^^>Ӊf>lj=JYJ;f2ɞ=dW Ra"LǧۅB+\K<8-b";j't{ "?^e/Xo]eWq 2Rs|w9p#ԏjk5sfѫ + g&sl4~3/Hi9YH EX췗y*Ѣ%u;E|9i ^K*w*| YΑ;}T3"Ntmh1n`|Q;}5\kLdD7Eg=1u|9&hBFWT2SkӛF 7ڋ\Aؕ4[7=P_*$8Vsy9f .Np$ @9jQMzI2 An+6m\G4H'U B jvC=:Ԛ/y1Ya"ɛe$\y\,M)tJ9é{di ur/j'ZX4|ߴQ17p/w'|YY'z[@&mܧT Bβ3`eƐNlȒgJTrޛK V >lߚp˄)yG*A"0%0 'UU=Nno &@բNiASzZ2/X;#3v$Rw*gͿ.=Kj|ZOx7 ^rP V6DJSlê c} Q~0'0@Pjw3_!_ޒZнǗH#aNWsBU,zGL*Q1Z?ټ|oЀzĖ'/BRQH#5@*ޫ%wDD_5(5ѤEVj O^ì<0ks TFUBh\㕃5By*v[eICPqpU5rmmڂ!~bqHNj6ByrYM8@1E RQ=Jj!4ۻca/z m9{7փ_F4& qJ$,{'eSL =^Wa\1iuΒ8 @%k,|'sqkk717:GمR KhN7;i:joF/|=W:e.e%a|Jp;$GumyYh;M(:kv`\WX!f1n9]ȝUt& 0Tް>Ezקjqcw='Vys{* Hl'%hǮ'G ׵= \y%yneLPP -oe>r!$K3=c; R [Ԭ|1M\w&6{#k#K <'C^T3KJ,w*Y!~`hս*:EE^T?%[RTvyvf/tO W/˶K|&/|S8~vQFzB!W;)~S]ԛ~i^Dvruȭ.!A'u=8m) s;ŭGZq3BY\ސG. ʗA8r%Ƙ@qQMX_ю…slh>Hb2N ڊcm!2}x$+Gڶ!^ڧn'|g0em _Wm e:r{;p4 -Φ}uq1+kث&iC̳$ SA.ݼEU~ cFRLSLPô!D O law~#4wtO !x5GGn-6ʂP *a!\ )˅݀W٧lMCtr"D44v* :w b6k|噪.7;=UfDI.Z=eov>辇omևf[5\ wyw%j/xFʮHB&+/Gqs`[cdlimϞU-sV3e(A/:hzYR\gfQG kt[5"_ڠPʝ\NyMѺ+-7j[ L㶁RdsSq>-Sr4 $pv1eLZ@%C4"w e%]r(y*}+(gbG]4^o`gu`w0ӁA?:8KVWúo*L)%,vX&)o^[A494K׋^uXAѪ[Z.F#෵i!-]Fw.IpLCڼW;%ʈLud6Ӵ9o|[9v/#xp!?2SI$&qrpJ ɰf{Ea)%kbGjy%+˰kĂ::~j)&:f3e Ưh&_Ply{B͛5N)?7Z|ﲸZAY DRPĴN2ߙdcsene{"Sw+%gJI ^;4+}|hHm@JB6Y QU !}hEs[rcvWEiq+O%7R2pyrЍ<55,`ujy+y{I`=V/2nzGL H/7" jn[nmχl!Y0aNwHaͯp JMZSʒ`D[:H}5`.3-zBz/ZQfA9?5sԤnҾ~{e0qML ΩR^ϼ _||> 4w`F5;z5=` R!?3-*h8"B1GOffȼ2Ccb0=0.%֕fF73Pؖ<-$ 8 p_kmU6I'LMu@Js^ƵjDm.;2<PEu;s=z6#9GdZ̉ 1i,;+ӏYf ׌LHfgX@w`Y]ϸ8?Ŷˉ?4 YF4@}u/{8x4mJ+iin 4'DL YP+A'@q u<|NBC/ S7{\Ϫn~+>=shF8@v%#Rb̲ǟZ鱴ʵ_ݥZZ$wP %C yDnCxrfL\)R\d:\OT\̝nW0}m"{VMߺz[gce~')_TA~hΜS?7f"ǜ:{Ps1i¾~|^%|ʖ'b jTIMm6m]So;?xp:TR4$YȈi s^ֹf&la?!6YീT9vQsg[ ѮcNP)Udp¤J^$^OS1jTOԝx=ruƝQ1SRKL$ڰ{#~,^}4 ua'I]e~:Tt2/QHO 0=A+\F{m.^tR$eY$V 3rb(Fg5Ʋewx&py +*G Vyb3=Fi)8sV<޷r;wGcgvƋT0|?!_ո#<{RhǐQn]Z{qpB&#Y@b0@뙿{4FD_vA,oj]oCH!\ ŗL֠|\x%i0!G%1"Azl~D]m/yS)4X> >"ِڳC8-nl0m=ɣ"O}7j)j)~^M3>0ka%sđ&4tҫ 1Y؇g=IwiBQ^}ۦ.>QHDjU\qyt3H(fmwUB9 h5+'?l x~%TGH 5vܣ^9e3i3>\EUm,5@۶U`y1cQ!x0Y#^yj%^5r}'>nVr8 BP *ы(gYZ  H#_% PseudoHoopsLatticeProperties.Modular_Distrib_Latticedocument.tex7zXZִF! F]A-MՋhvG"uIBm51Vhgfo-p$êYCB\vU"ݧV gM"JL"W]CZpeUKua1:Po/oסu/WkS2Eh>F14%P li_HL1 (ǡHƖ#%,R2 8XLDkH ";H Ԁk8;MԔvlKMvQ)ˑj˜DX_eAhTt=>xxbGVp W2x>S^)4)Iz8]N DoN&T$xug{&]| ќ_V ՘P]`V=~${;Fײǩ4r3yUK.iUI* X}O0cNhVx5\4lgմY5I.Ph;) Ÿߒm!9R^{? ~B $e)8b-*twT}9fw5fy'U(׀1_xQ\+^m;{GA6%d"WYNdqa (-|$;cJE|U꘼?Fk|'يAH1ΠV!v|dEhTF2PI5Y;$/*AE"-]$sލܐ+bb5WAc IOKRDʂRfQ_Wϟ\T}gT@zS3CmIl4lSA\)b͵HdjC\]lS־ϻV@ؑS\*cE"R$9⋐緂@c ?QSGCeoVٸ5AIs++ [9 #]!< }.6qQꚆPx-Pm$*bԮ$gWmDtDYÆ4W"ѹ os*gEms c G]TX% BqfgNaG)!X5*? jٹ*&3;ޭ X,=$8BAh;+輏p?*t֤Nyĵɾ+ǝ"YjfUFi)ؾY4&*IYѤ4c?&&7>nY#~Rc>ǸWKxaѨc8 l` zwSĘdMğC0avO%DΊ -iYn Ob@/OIwhN#*P!od2hrLJ06V&gb$IEC:/ ~rǞ_HzvR҄+~"~/0O#`'}٤WȒ=AN>b] _ (?2H箩y˙PwyTC Ƹw'Dm.pRc5H ;Qٻ.?}}1E22Aqa -ײa r%Ym$z VoyHk&%2)*.򅘝;/3YJ{cQ$zJl5IYV/8<9Ʋy_ (=l*m5cȊUaìz>lϤܢs#9*j \MoWfJ, ~*i`W!٣o:=3^Þ $jh7 Y!m^#}l..1ƧZU3hQdt zdYͻ9Rdv5&ox=dg|jlbKidR&(7EZݲ{}K}@ij fNSxQyx2ЗT!"]% $h[S={V#dY/s f3bþ1"*B5k&Wz:wK<Ž o yW ;j fђsK, 7՗dјdJ.DT)&4C5$<߫GNDVH@ftM 'f#-&TzƱvl!lFt*-M! IOGc_>UaFrC@X@a74L&BM_~Xɭ~b1l*%([_2*ֻ<kwBc, Ҟ''&vzBPU ϋ$u2"}Taε a)#ϴ v?O;5i".nG.`zNr@C9 MlP 9pgV̈w] їf􈫬p6TUQcf^SΟEqa9ǻHȨ3 #/RQ{UPkPoe>]qR'`4$; t5U1:Yq d?P$FxAIhe|cn6dly┹zJ}0}Bm/+;ߩ7=[ Qϔ?hЖ/SJc.3ZIc<q cWӱ7^6Ru@#r$$gC.kkk_2h2Ct}G5--MuKR8ma#9l>`E?HZQ|r*P]ưU6 y{asN&n|slkq~Dzn^'şZgqZτR@cb=ćR&(jpm٣ SMMۉ֝IL=(ΫGÇe/MѠm:gs"Tzh{Y?oJЁRϊxԶ26(KNtD^:Xp&`N37*qav ֓Lj-fEnZY &P0: )!p5e z[vr9qr`@qKKD(Xg ٸB\U0*+jqT}1N~^:Q֍StX ^l9"Vr|‡娇^] Y#r+ _AK:`ia8˵/$:[Vm-e U0hYZ$jh{%N-ni ^CSzʇIGЌ|o2-rV_ry]g `a">!'TtKQ\0u5Õ;ٚ (#VZx&Ngn>wig;=bTs D5q]\J ؆2m߯DֳFJrE2?JK"y&su[E@_H<b c qk$F4w8gX k$:*{va+~yx,N!{<+<@BAU]>yGǃvFLYf+-xGȧx>+3+ޡ-r$lK:xlG2l-^\Fq߅}q:!̿<0V:i:/njs(ujۚ2$Q\93M$e{eNt|# D4Y}RE_Q ~|5B`XL,'ϨfrY\A.Y GKv\Y|b_~}EB[4GeC۝Ŏ5lޗjE_J#N cDMiauu F4$T!  ($HPOLGojcu/?h)ˠ`kcd9FFflkSӿ]/d-Ǎu_ˉA%ʽ&8QXpVǽD޿JUڧq3.!݉w*&K[vGb?"g(XC*I Dȼ`bqϋӽ:+'5I;Q범~( uUuBHtO"'>Uԧ!ޣs@$Cmb#u gMӢŀ΁TF9Bk*E!0E81U72e [3O7#2+WU&ݩw.Qm Vz U zbNݪɾJپ2^󴩑%,Cjr@]ϡ3i6v)rԩ\lgʔS&-<­g2SӖׇQ'@͌(6|Ab;B֎a |zA JJAn p<L bһ|صbV qNI>(&y~tx=% ];r4^[.Z~h(3Qhe>]Sb6.gS :Vr>&^dydK"'>eTCL<8U=Iֹ)A՝ OX:QW1òcrZ9 ? u$xwBq&Q9 0Yf2W{'Uo #E[yͺ#6J/({O/=1LiaԟԎs~MV% G NOkoG:EsΜ|qduܙaS3LeVgbZf-r }o$Hl`Jm1x\ N|nGj%VwN )Q󗐩s̚u>X<_j6rU:k8rYq 783ڀ!؊ܜIh#zmJm"7Ƌ_/1lq3mѴΨoO6{G,dGݣޗ4Ę bfc{ 5Y ȓ/}"^K}y njZrH瀡ysCf&¤LZ{MxMmpbDp*#C 4ky|1;#'U2)ONKfir` 4˷Y([}AXtsE4|K @R4ef.v INọʵMЕyDj-de8.݅O xxZ\qΕ;4@iR2ŵr9A =eMށB0zLR whƵMJ]d=rv6}/#FP72`z )%MqFuP0@Ԃ z$+2ZG W5ʛη>" oG>ϙXd0M<$=#x;F%QZB_.dޯ>P&(`y9ՀmLcJ y.ehI\yL+*neɸ:~ <.,3D3@"s}.>K!k =lU^d7$EZ!ΰA:U\"FvJڑ%_ ϱ d9 .70ДN36I]e>Cj6DPPp(@ A%YOZN@n G'v.@N<6 /k!i%(sl^)f~rydsRs0R Jvm=k{ѱlPȳ+5F"mx*ֳlfԞu}WH)xe4vzoVHm #t~t/S~Emd)d ]5]:flE$X eodPt͔r;@Dh'1Ngn7 uq*~zܖ*"XF+ \Ig(?j^k%7xs[ܐ297al1j'%be*, =A[InQئ~bʶsKɸ~4PVNQhlA@dlտՙrVuǺXBZH\$; C \ہ[iA%9 >< /څ')KD |10^;JҁkZbUY(Ɖe}URl.mH!K@:]\_Fi?OwBõPIb@%Q/Ga/IJڿR-!0Nh9:oaj[.NhȾ|pzy ֧om Qc:ve/3M0Ɍ&ϛ7j6o~"y|f|?/_݉†L0O|{N>nLV2KNHbizӶ]Ɖy9㩶br$sFZN;!%0duв9sx&.Q,Ev;U٫L@H$ǾHp(tr`7-{˜O6}e i^!D@ V[;UAD^7:W6/@{[^ 6e[ª)m̿P7Opmmd#~akcS}Ʃsx0Ȃf׬)i+jῑ# WNvřrLwt WuXrGVK>p6t0_g]{Q.뫺BF?wj6w jH.h8@G8r0+;Yat|Emo%g>R6xlSATplq>]ċu`G3G[mnq:7$cN,t I [WF.Ry/l`h_lҡ1DbL'|S!Ѣ!F|H  enZefHl|7;\Ÿ+1i21B{-u|ݦdNX%A( [q $~?cɊw=T$2C|e#ȘWR Tce!q9ܒKPe_|8aVm ~oʭTxgڑ<C<!RJW&`c11e8pDw[L6, |ߪMzWbT+\K;[X:Sاnۆ͜xT%rvv?Z7Q5UMsӫSܣ{o3+ư W00S5, 0tm`U[-D3_lHB!Z_@*4 uD*0W'k% ]edrWP@T| l15~M$"}Lܡ`RACg屈tѲyrLӳЗ :lZzH\mavSq gAM'b R 8(w|F XISMLBv2߇) M/ڝ /YI'!p`.p7Ͻz Zqd2t} Oĭ}>:]COׄxfs x[b+zWdW$t8;zMT*9ύ$ Kڟez<ad YT{Ra=GL&ې,Dմ L jVnLX̍ \7;tMFĂ.و{Wn 4DQH_2|{S}!pPHiC?Qpb+싏$]z\&% C հe kl𧄕d[Ha(&HY]N@QօeuGuOyYIkr8t0  e /H%(E)ղy,E\Ә(H,ѺSN|&Li 7]ߛx Ӕb#&=KB}Ff7llHcfO9sKTëADA/UXHc8jG(WH1\ve&i Z;lxͻ68z<)W}HUe#La wմ7cᢙ9;6BJ WsF*WS1?y[P "a`Jż|aqF݈We0$uDԜ.2HQ@k'QNT}@Yci:ɒ{y@G;R#vY˨de+ZiW Ӱ9v͚K-ŨX6&1>wiWΥz%D dQpaÓ[(Ǧإe/Gg}k\WpDE9XXsYY wS'ИI"82z}uQJ[#cTsf]>֟?_oX_=~H3pn]OIXщAb*L+KقL86/"ƿ[}1K= H}}DIIk(,5*jIIg#?bc-gi$J&jIT7*mט:G=&9h6%lb*CK܌%&zc5N,4oC#W$7bS}î ҃\v1p  L +G0ʪ O1o~ -Øşu?c'sPiATB %\ݡ9h~t>̲[#v#!T'Q-sdʐhB%J2-}Bm&ikL`vǂx-crKSʃOx8W ~E]<οҪL`Y';ǭ'@?>빹I|ddi<4σхGWS3 4Y5Qʿ$YX]dlj{ܱǺO/!원zT! 9ɦh7juoO.wOq Q["K~rǵZe;@[RKѕ3$r:alm. E,eHp)1*%E3׼<8 bESx <밽9-KhmRƵU o=k S"_]@njgxi/^\W2d3-zm8C&6Ќem_/_Afa$%[CJUjsx$EhS?+^t{ oawUL 7=H۴6N?խP, zJAlP_'8gL5VP. y0/{p' 2Z` -aY~El>~ɥsi^t㺑EFGfR?W}PZG*=|,lMdӡ|T3n KQh,&gNI047ݞ̢}LI^PfH$EgFR [$+^A'obC?l|. tUyS#Єcb'E?5kұ/Ғ;ܤa3 ,X?:6fu1o85JIJ@CZQ dNN2[Ut5&iBlDNAzv>}޵w".WE0* 5K ~rVE4VD"8*FT;1frAU"*[>zxJ]A f KWw>pSU?57.˭e](fB:ΌXU;yGU Wh[ZG݊ nsvY첔^b"unDֶ_T5%"i>ܖg!_ռ7yy{ uj77o6d9['*^%_OZԑoCؚrRʶ븇+%>'zxp:XrOP`/{ď GA Gyap6;~}7е;;YwNwT 컢gYZ |=#9% PseudoHoopsPseudoHoops.Operationsdocument.tex7zXZִF! _G]A-MՋhvG"uIBm5łMy¥=p*hiyTd/4ȴ=X"N1߾?qHw(lOb+- ?~$WĿH?lJ/OM#qh8&ܑ_0(S#ٝcw'pKDhzmIOmF KF*Η?o[x `5zm>m+ͣZX"NUINځK5_,V&hd>\]*I?z=̠&OGGd[ɧ0מer;bObgYZu #G% |PseudoHoopsPseudoHoops.PseudoHoopFiltersdocument.tex7zXZִF! M&)]A-MՋhvG"uIBm5ƍ@_b)o.fn;d)E)p 9m,h S35F٩x`6__A!aC&jLGYgMKp.SI]Xj*+jzTR" D^W]TA1iqcwk&?qcik>:54`:X:JRF9aI= >K02nggM0PS # ~ q|w;Az;j[+A^wjdJzZ#񌵉 nfK[9p S-KŦ>U6\DCܿ÷RR'59{<6()!Ǟբl $e 4nd⩱ӧ ?Ghk[t3SEo!ϯ2 zE|Mb:%zkH+v%U(BG?akxݠqC5QP1S5F`FbmCqb^~P#[Wzozr( LNC%#ƕ /F6`[G]#_)!18lb Eѝ9H4jK$\)RcS^*${놮s'=:l(]J?^fZ[?qy7Evef7f* mxFE `%ho#:c=;q唈7&A %t;pj,cYmV .ư$e~|,doK+}e6]$,HOd .K2ש-G_PdSvӢzCsB@r (;_󇎄 q<o]f⠚j@NChWy Tl<=Pv)W}I Rcrc)K@92S賤2&sjgYv1Mhq$戦 ї~u}qql)symにTQpxQLçN -C hYtq Dփ~ -E\:O/TMJ*|6=CZ* xYVt"u͹ƄE{!"0Z6rla|B8B4yV/xTCvӎ>ui)rTm9 E!Ыfܢ8_>?I8DwkrctS U˻[b/LfC1Fz=oe5CL@ӻWk{QPK|67lL rRHz=C@vRaHG$YZ~|{f?"D{F#yQv~}r7ϻw_@| ~XSNꣿCt ,K~f.|y nzg u/ZhAL(\ϠœQ#f}^Hls _)!_)El*;XIISY|?Iws:iaQG5[,uH΀\B~rgHSnZ7!qzAbzd.f)n@蛀bn^;FjK""\NOP,ȃ]d(;d6%o ;KQVS ョ 6teZ9anK68S.״z1$NSö˭౉ uy1UV4%B00A@n.6GÌ)r*EJʺow"_L lsԗ,Ζ5Q~KN ]dcm@@3}""t (ToVM 1шJ!J/qRJߓ;jE9|SrҖzH|.%'BUj2qLiW/]# Raѧ;*1TQ8Qk0F^́ѯe(R>f`H,mUnW97gaoE=ObޖUis]h!C^|'zl Gڝ Djv&"R44D ёLa9o &<}DRxg@  4N~#'#p/v3kDR'5 jҼCKgHB+ʉKFcЦ.a}w`MZkQ(VU iCl ,7'9S63CIXV gg #[% ,PseudoHoopsLatticeProperties.Lattice_Ordered_Groupdocument.tex7zXZִF! ]A-MՋhvG"uIBm5gbP\8(iQ_D*Xm\pF-)(mƊd/O[;`jOl˂֤Vz۲(vV+NηDe暡9jDM9dJi 5XPO,vqw O^Ω'\c` WIDCQ7r^,=?G]d4l!q֡ifmI 0yL\6E]%_+NOقiI2oUޯ}PԨ[[BF kg8grM3W4%DD:b|$GDtwDuFSexi>Їx*0wWߝA(pUD v.c.[;FnW<=;g"YM\?\h-XfԻ4u"M (!U0?)~WR5V~=)z]\ x<%E_7i~wmw S:d_CgIlC(v|n@y TSmO BQ?crwӣ3nF.,sj!s׍fRvdж I9z+7jʵH#'ܛ[_lŌ\1'v2|#l“|XdX;9ȷ|8pd> \MC,5D!Im En^d?h 5쉎ZN)BNy:!q0Ze}2!W2՘Ga ;iNl `LVωQE]$E;$Y_B}nY0mӲWٮ7j{_n[ \ O;aq׸ Vf*E} {^w񏻯r#kb)#wD]}XAwNIsɝB=8+?w+)] 9 -$e(绾4z&򓫇LNK{}1D8m;>h|-%2h8liApk烴njN(ĎrT]>Rr|1e}pbt=!{۾K®&QcgC<ړ J,Ɋ|(Bfg ChL%7E :^l~6ӔsfpyS SX*GJlBVdwXBh>TMLxGL\/3nNЋ}niԎkl@md@Zs5`.rhgɦzfZ;C'BW! 6eaigR9}`San2ɲ犩9x08~BCOTrxbgC+z8!NźX&4 oRD6BE[,G"?+"_~ 3ly u xHn8'S0IɱsFf2lgkB\F3 !ʼnc-lνc8V,')58G+3%/.%FN{4+<%rVm>rYsh^ޛVm?G (G(K`l觿`Z!~NML9y\x|e. @7=:ʉL2,} EIn^/LJѻN7tN7u.tME Y:]2x)=mR {Yƺ6$a7E=>=}6Ts6\ /X2z.jjv$S./ e/^Qq7Q*z+Tq%Mɑ-UT|M Hޔ^hR\AU atY*LUYbDz."u a%5?w|nt[,lWE|~"}݋iU$ }-^t/ {ǧqVdn q2ĮZyl~tMAbn'<⯪9b4rxkP2T=HRc]R͉\sEG)-$DPbm˵2:~84( _eeG.#rz̡8RTu+PyFy03g%y R?5uzYB!_3c]0KxvUo,5lR裊rRK7ϡwk$ X'HW(Kyw.d^]^Y|oGʇz Wa)Də -? &թb .25MJgYZ cA #I% PseudoHoopsLatticeProperties.Lattice_Propdocument.tex7zXZִF! +:A]A-MՋhvG"uIBm5gbP\8(iQbt{ ![K|H WP%鮛LHHKKm]Q7EU`9s.c zjŔ*UTy_(1в. ZjnSx%.Zu,oY~w:/R=Ȱ}Zy/1yʨVcđ\{j\JT2# mb-sTŴDЅ,@ ew'b@lSꐞD(ksiѿwkFzoP,~"KfʼP*`J#˴kL;A98Z:Eeš9TS/$׹!k*U/*4Ȣ8"wCSVIǑZf̉H:qS/E8 W[f1ŲeUeχMmATA!eìJ&d8`% r%M[)%v$H- jYg[E7)N-t roͬ3<{ũ$4p{W|CjH EԟUaCY9d?/^hS6jVUofGV`IXځB-h.,LUD.;+= G=R+15|YVt gYZ #S% dƗX8I`>bM8 V &[@):|>|3=D"Ls|5rF^h'HJPOC{s( җ 9)]iFj!1]8c'=, Blwn S<_жjQ,YAl*}@uMTˍO?4yɺ[/s` sLme5S>>S:wW\:zgŽPb%&$ 7FDؒ0Q?Z®7r xwlпWArX!`Lf@g/?^NRUӆBIw?>1UZ[QUyZBoSbWZ* nzl@b&"Fww@< #" 9DmR\rx{&1asprHa`>IR-k %Y.p}SzE MJJuyY 쀱KuɈh1,iIրh3C/ɏ j_(ٸ&$ٽ7>/"ڕN_#Wh%Ć<~ËάaUI {CKm[`{֢A:VP7ʴ4=,0с9:VlS`ͨ؀@lҪlاi!bK>eԭٽC qb1<oNJnњm .,:+6=p?g %@ˑi ?+~aߖ^b'zF,ȉezdOG%DH DI2\tٛHhJcf's C*d@*Ѽ(qhiatwVRafi3LaB78_09aV)|3DPx!=Uj\K&O *P$mI}A:a\ZKovq;HR 8K/qPr W v|61} T.t͡0{5 @{p9#:3*'cByvLWrI)!|VF=lN_;=XAj֙T!a;͜mjPeyu#As-AAh/JQ q8ƭ~QG) s:rq:{eCdUR&.n"sPmwhjX Z6ncʪC[h1nT.o^ ~.8(bL8zAL=bYk\gЖ:l_|cLb!0{ cѷgE.YDu> q"›vטDLi܌Y Y^B~֟ĂP 8DYQT/Q։&:hi.5sRE$p"91Hy*d+ׅ4&jLeBݨ<;*?sxyH#}:[ i<0X;~O60CV 3 E.Xbq N.͖ZNC$x#e*o/B2(63/SaaO6g51Z?l|A=e_SkT~wlK1xWo^? 4abW1 _'t6&t t~|٣z+̤57 B"ď̫ DX;|Zl w< ?HϺ r,44qo~Khh "qwn#H; =ApBٕ$GΔ1QxC?8rGol)xsH&7H&xX&_E+_I/\m>I7 )L:ꁬ)`V2 fj~a\Ąl#L5mEڧ]uDOk(5a&=>lƀ "StKְsoLda2Ooc[aB]r1RJpg' nF Qv| F(Xfύ/.U2_lQ*ZwBVs&լ-KHR ?dņF<램l1- uOU["0:O(6m˻֋n7Dah멎=3"xx\Dce}Jg^12{Ey 4,B~n.Ci {aFTILЌmfhM0)s}/+ 0K8x5*BCQ=5;ΧD6ET5AXKr{H6 SBR4qcYCS*gcrv{F.p@~{QwI:"GVz˗ed3[GD:,.';n a=pawMDqmbdfY`KGʠzj-|9b髼To~"rbv*:@5q!CP[H/W"*J>802R ZGB5LPsM*źC[7 j߰o\lF0}$304ߟS!b EV$Bh k>da}z:'<80#JE`>K w>߶ aιR77s N7ׁ<ݝ ^(/t;9ON:DUƊqQo_xBbtzX.6q `u{Q Gs9C#yUrGN}OC r39?^H!a)-hN<#*Y /j\6f_/&溞e$<@5̤{Qu6B|Cݩ>Qk폼-*@zy|rc&,#vGvA4U&ӫٟ!ͧK!` VO-5/GCQtp|i#ۡp%֓ gemMQ½n@֙Nx婽l\/Q9~ʭdf"P"P q-M҅?;g3 :\62D4s#1]t;QW]1PzeQʽ3E|zZ$m.Md sj)kԒ!(lS]Ф/s~=n;]fNH,jP[V~<~ }~*zqwdC$Y[v{v/3Z: 3eo``? CnǸ'Jf=n{n8}ݥ܊Lb}Eʪ4xfVTljű5cjW(xoTWE"۶c*{l`JoHRmkLRĸ  A~`fX`r>(sv/B=>dt}} nat5`SQzñ䆣jSJh'j0\U5Wd2dzV\G-vjSxӈ8&k?LS]=igY`";k܃3G*0#igd'&ViZaΖsr*SKɵ9"-@*lNV'[D$L@R< k{S R<Խg[qGt5pq5AKO;g]"P+fi99ѡmL~ #z-hzى32}G<"lJ\hR@A6l(9(hMןI8n]>yN0췛Ommx}JT:h}pU~åMt 3NKמN)@o<[H#k]IjE(O,lbPWU;K3yI3/BwlqyҩZ5G2G,é&b> xJl v_(PF#`j)C| }p}[yy]Il/؊TS_v.r|*_ec>npOJrF{R7K D?v̢q;W$?u|t]O&pZwı^ ӥ5.\, czړ(\V2J#UkP(IxZ]=\y$6HdY_RYM99@FnS2ǁgRL1eÿ?]uV{\aM7f|vdz#G*nUBr﵁^aUc)H{q@F~Er!lpS:P~LR7_OV,FpP;׃5y\CkUgǢdNLvD3IݎAL*[;+`+ZRXs,NU)D~MT/_ոMRnvU;s*F왿'L^EӰi?&~()j&suLAc-`a5t#Z(y!wxis+<-Tj%2 L[/h=[CU4I86 f /{COkpld.SĸBX;T*WjްyPHٕ+:3m)GK)ppQkc(DF6q>U?&;1#O[btdBiac!` n+3ʴUVv#,$P'C8n) C@2G:a ?u^3yI7!< any #f@P< b9YWKB afKA^vܕy'I۸b 8sagM9&>Kڃ&ZnB ,KY-A,DTsɪ|o;b¬;*H##0=IJE[%?<"k۔ZOkܲ*_Yސq%hAbNj|X"@ nFM>{'̈=ci0 l"VwPT߿SCWz!-߃Od)iv}&wo:*ؒ4| }+6>m8- ibUWOx Dw886GL.*W`5| ֍QU"VP6ýZȯwܠU<7>9j P gGU{`rIy-q>[j0iQjg#VԂ}06n b%JePW\`8_%#4y&eΆZXihJ=xqE6T))FP&$v٬ 9 ͯeM^,Ѳ΄#PYbTu9ӏ ^@cX!:{C8tmؼV=w&|{;Ѐ2:˧+t>Xe~u ṹq>*0^unU[@}i:_>OBt#SjVSf䁱hWU2[bq4ƝҙVF.uA"±\(nzAyce^|P(u|}CQuzAusOFdڷrvND7=p{|*X Ë^j녞)@*DRh"Ӹ2M=qkj^^7\(b/_u 7%3Y852+0P6 EK QMý_|B׼>kR $z5:E|F$#ռiU 2 ]B= ^tBO 1#cv4=zKX>:l!N1 ޳.ChCݼ 6g/x z-ՒZ\V|Sb"KTS n[,rXРWGRՄPY|v-M%guCqfIBdAfZ{"!9pd`M677r||9$py葱ƶlʥ%r@muhix YauG. r梑@&1kb^QȋW&s@=o\v ;- T7-,_a#\7o?iM\ihw&<1B^S~Ɠ|unf`W)pA@'.0J8ћBaVB qksc9Xz~0<,=w HM_79,V^|уG! }+_Z4JNiqrcR'082t~R;.;p ~$5X&$ˉ"S,Y:|>Z|![@ƇIt6+kh;3P,+\|$|)ٷE&5Rm(z?NÇ {YD@~C> kOn Yw&R=UCߙ7.}vS-\;=`OrWyeL:_09& VF VtgYZ5188b6ecaccfcd8ad1e633079cc86d84e57cddd0c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6