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 #|$| ]/ PseudoHoops:threads=2elapsed=90.882cpu=120.036gc=5.560factor=1.327zXZִF! Y8]ŗXf1-/6vR[3£ˎP$x}swZ  *ڑzI&A3o,_7pFg`8_:/ E< 7GtU^×KmhчFh4 rKSë Y᜿Gwڠ͞W( LaL[Eū?xg`#5€K>2{fU%Lr,7Zlk{WDj cqS8foH<b\]o|E,N p'%OI \ɻ"686q+EתH*@dDC_bðw@NwvT=HEuyqW{oj[=WfZ aRKG.a02ܗ~{-]^fl_uGdc/4%K,مO5ߥM|v/Y(;xQ6ׄE.ڼ[ ,n)S7;Y)P!Š^D$Q PH<$-aq(G$+ =j|]0h\S%Z[f[ۢ.rngE&ʳ}Њgа]_2k Z Ưo*ECşgub[w*o۬,{a GQ^ J+C,p~@Ks'w6BE (o _5fjsVd T޹FYzeouǸ7MEB2O;3h*eqR!Tl9f3CZy_! y޸=5)7 ٓ^Sa;`/u^OIK56 iwgGoZ"5/BOU@ڃDj+ mVRӺICq@6ErJ^Pfs߇]$IC]ƊlIcvW&P<7] (#[vg<ʠ]}Sd^ض<`#'iu%|8A: RI]@3?N!D"'lҖF"c_V4ZDTOQnG;o#,1n6LY<5/ʕt/ YL:Z|JŖ&uĠ?:*c*N$b]6|)*WE}wY#0q#c&,y9IJ途UnDjvz>]~ ;0$I1聘e)~B-Z.tf޽뉁L 2p\g\dԀns`\p:w暛D'xȺZJ>Hc/Ol@V'3@zQA/%Zz JJSsÅ= t [ʁؒ{0Ȁ[b*1Y2-hzF! Uj%>s,nC0VS@oi^!I֠7vK\ g+~xΒcq{ }IE`M}|8Q@C5EԮ(zvӔ,~gYZ7zXZִF! K]ŗXiɟ˗ g qmz7 $VV3zEG#K=bVV]M!SIB> XN'Sɘ]I)!j95U9oXDiM=yh֦ÒJKmC+B'm'$[ܼs+dx1{?,W! ʋڈjG،(~2_=scn. e^ X(b,vuKRgYZ7zXZִF! ]ŗXi%; KNk g'q4Ĕ*zsgmC{ [ J`}:KZ'4I6U9<\pwEηfbI@Y Уq;cA5gvezs=t%k&j9_}fI@>dk WVY1%rHKzFށ:¥W4D(Bc*mNpY qȥ-!?i ~ux!.ܬA2/=GI!;bFYLK̏D[~x(7~j ٙAWYUZW֤,O4 H2+yQ ,slGFE]Ÿ )Q[sDXFrٓ yY@dLR%g} r~)UܴeYٻكc]k! MwܒםRۉdY <xܫATrfRAzwo,Ta/x8]{.''=5e&bM0<7o~v.(Twv]o`KqR h)5wn4d;I6֒w)md4O>vhSeCL‡(ҫh.[TB bZ$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&    g  g] X3#9%PseudoHoopsPseudoHoops.Operationsdocument.tex @#S%PseudoHoopsPseudoHoops.RightComplementedMonoiddocument.tex ;#I%PseudoHoopsLatticeProperties.Lattice_Propdocument.tex D#[%PseudoHoopsLatticeProperties.Lattice_Ordered_Groupdocument.tex>#O%PseudoHoopsPseudoHoops.PseudoWaisbergAlgebradocument.tex?#Q%PseudoHoopsPseudoHoops.LeftComplementedMonoiddocument.tex4#;%PseudoHoopsPseudoHoops.PseudoHoopsdocument.texF#_%PseudoHoopsLatticeProperties.Modular_Distrib_Latticedocument.tex;#I%PseudoHoopsPseudoHoops.SpecialPseudoHoopsdocument.tex:#G%PseudoHoopsPseudoHoops.PseudoHoopFiltersdocument.tex0#5% PseudoHoopsPseudoHoops.Examplesdocument.texe a3v5wS0 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@^Mȼه/Z7&Qpy1bNɬ<_F7r,< m;+dvj:xTLlldUʆ5-f]6a ~`?I):-,YSI>lEmߌ@C:yi٧6D}x f-ӽlDjo%$xI% q4'PaoCLPbWd@]. ܲ2Wӿra|hb?|աx奄h;1$I~%$\ݞx9kW H9)ZFJdL?Ll1dy5ŪٝTgyD<<"/?źpQn4oIN )6&6|1a2S n-O^UD [[hVp~MQG䑝 59X(ژl&U-'ٗ 8̐ViDGPt"7_o-k1ћYփ* ׃0œR&>=$S qoW){5E(Bp^Vi`:?!D{N\KruUNNqUϿG7YvYe!QE$sbyXo$#@)فl˝߭'0S7l_?QKB=+3(<f,vcaFAmkI\obtw8we&ј_pP;~C';}.cF_*r.d )H59Ne:.!!F@O9?LX5JS֝om]. FW2pzSgK`\ϧȚ پ75sVco-ȎR KDeN® 9 GiHpw׿a7XܞsmitMG 7cfn~֛No2m^ą 0-6$\-NI>/=5VVؙRRkucq9U6tX)|i ,rDB :uLY /98HlܱZRXew)ӻrQi L>?'&2CO}ءQSGh׳@X50%+L@BP&w}s,.=WiY^\ա7RT~8hBu]sNVX;MTz{DI/ͺG{EڌP38}\^VX(nкZ*3z49V.1+=5E ۬E7Ш`&.GR>\!ᜬ )׸BQHpi'\mP^IM< 'tI27P@B-}e">=ILQBSi~M} s|_Q~μ_v,brڢ"4~; l{䦉8 .J48id)üD6b$@3xmgvJ)oYQ ܍>*Цex_j-xFoFtjn :B`MeFFp+siX DtPYo Π?n0L| .۳4RC& 2bP Q1@K(cwK ^ Bcb y-&}KnD}R]?qg{}9XDt֘E/qh[fYHCD3|2S =~˭Od+4%'N('-B-kXψM&THqcLjcJΊPM l$B^kH^[Fʚ<'#\aL9wIk"42< 2tDs:϶61Ds(͜ ͑wZԿO˳jgtj`$UKN,-kcuO?"x<ۼ*8imm&&,hFc圤7+M,$YkA EjKJBaS5Rb~ܑ/ 6bK0Y@#c«oෟk;irJ~XqRt@Bp_4h2vݻ [ۭ鑻/dRʷmrHފgE+ZsL.sX!d-,b9S4vUDa FW^P^`6gAːj Ec#_N~RiĶBLCQ'p5DX oOST&u'$u9JqŸSMNϓw3)J~LO?X=eS[h/̼`=zE*O0?JN7[yeJRnwd% ܮYG7/6^(t\Fpm!zk$@j뙴!QOSC9snMr~ C1/%&5I*E `֎8rձ׊g8l:L2mJl5׈fu .PG.E-fпFȕߨpLؗs,i3b3R $.y"9TX`pv: } O]1}Y oi!ņqKf̻`LGt.Z&9ij;d`Vr>+֒H^lh[TEf WG MD8UQ7?uv$O)'6"z* 6zNf@lMLn(ײP{!Q G XTQǁP,un9xtO+vt/BhGx ҁ) V%L͓U.)!+raNy ]}}w0ƅp`Р̀+f0zy$w|_c\8RY]N[J5m)4zjIZ?J8!X q)[BPJx<ܠ+pq-XM#˄dJykSAds%]BAlq*Ю|0#dL̮܍w :/&Ml@H nBEU(g.TZ9U *R9 qKZ~PId 1$_S.3;?v&^i|#Ο+!91\[S̒KN:NrkS%D9N>L2މ, r%S/6Y TwY"*j ,@3˵Ex2bSa9Lh~i]-S Xg^-dyбRLdcΘ3kk< F*1I+'o~zWZ\$t%}V]o_i(vWeߖDx_9pk ZlS='M]ET8MּXj'e~d %[{QV*ݕF1Fx`c -o](@qXޙ/(+pWLAW~4t>pBD+z?PG3t!ɧ9Y-gÝe97%x-oXiRWx M4&DtmDEYhQ{ў\/-7,Zxž-|M{doS[~pJƜ3m@D%I_a13;`c(^y IMCyMSk"s7o+Ax(Ӌ^.LU!JItz? R%1WguTi46aY8qbҝSaνWLjK} fvuK `i$̴ՆJԔK+ܳ ?PSܿ2;77-(\F7Ng %*6˸1E`/ы>u:@?uuDT@D$TVb>Z9žYʊi5U|5ifu o(卣C+(1"QxcH5cD}d_ |)eNB7Zu-%n1% eDXϋg{x'XOtOxH_-eqr]IO%Ņ2h''=9ʁY&aa8!vn%׋:Xu.͓*G 2L0,?cZ™m&J)?@X,&pCJyXU'.U<x. XW9zcwj.CiTe+eS;B[\zs Ҟ XŁ ༦%s™.tĢlXYKHYGjC @!3gu+$j\^ލjWd\!ANhs ιcS٣03YŘ3Q2N?5aϳ*,:o&ӋƂe|7;1>M%ACݡHWJ %"^d%Nd1b w4H#Ke<%Lh"X :ƢTxɴ1a͉'y-J#[,aWdz GPwU2]Zrmv^5: )뇚S X׺q?LJWZ` XZIVN7TDR4^l1? npms'q}u-G%i1CM^O~¹7@A lrM Lh>e"|cQ&R N oڡJ]=;HDG8~".9^~#"I;3<ƫXr8#64d{/iN22R;*\<\ h wʏ {Ql~ /p,S*t3GIq8)H VCȈb{yJuod$V?^˶,$W(RRg;8Pe}'R$db!}=Ɓ07DrRw쟺!O $P"|%1 $aR|1(W6_K[ils$n!D0q{邔$q|MDž| ^x'nI>ج 9>jGh{Ǣ{x6Cd.ZўSn|*&y.o!Qf?ׁ w`{epа+{YFaReM&!]kdUGZ`_%C?~y)'RZae9t !~4S/+!}Gբ 'BBz {ʖCd{ rR֔s]y[l,QԡSU¯P&}tGRk ׷OEЊxTib؏7/uyA.ܑ b dk ^P6 !wE֮x?dQq,gBOttt7=YV>A=_mC>t|MC\3U!Gؐ"5'Wi'+̧PB we ]h|C>jSoQn Z: ;ųlB1a_M6}RW 6 ?Twֈ_Z>W'm]$e3"8 3̒ ReIb: h:ӌ<AW,F(('J aͭcΑo85Q/&#ymvC䮡6bv}HtVHJ$ ^F ^8ݒF6SL?a8Tᨣ^XxD//8 Ub5 r,BB}ZxxWZ= ߾^rJ$WUN$ĭ Q?YYs4+V򓒩{E$3 Ha?7;yzg_1]Pτ2#>8G *VLG(`s{%j{Lq1WoAx>68ګz5.$ZZF%adJ|`F ]*FP;Y1TI[!RZrzP!`tU QJ< M& H8+k*xRNȡ ޕ>u ,OW"!-cbW`o֗tUHty"{s[e?9>=eHh>xbCj=i.)I0.3bQ$#TCO6r%0vM\U-$bwlH*P6O#.ۇZ>Ia{ 6/E} ӭD#l^ʭYe*Y=XM,[B!g,:y$7$741}'C` 1j>KWK-cnw5[ [&Qiv99ZD&9g\6%'35C>*{ZOkP=m(j]v2Pl\#}Wx+^໪ RIƕ3ӑmƂde!{ʒDnRu*Sql֞9Eܺ__k u+?@f*2 3 k Uץ6MR7HKRlm/)7Aķr .'g=TF" Dv֬" }+AlryN@F2~wƍk _4+JvK/F$ӧ&'Tŵk]J0HL`e&FekI+TfX'ƕ_L.z?FGj‚WV *F_"nC eKi Ĭ 퉍ld%qhLT}6lYY^o8^/+HL7p;Dg\5F&^0EH3$H(a aK<|mz pb8_Fxy0(_O*X2Ij $wn} 1{G3CɝrP5s4WtMWK"YSl4Y [Rq?>rqg_xT䃯ݚR/ ,wSn1s>չ z׷Xi6ANmqA=.0@49]frډLt hqfjtЛzi'Oj 6xYk%@eYrţv-!::m%'.G4H EVϒ1r6V>BZ*LL^Uk5jHjE.x>\kHu!MKl^P'JVzX̙0'?B$it;#O$gd 3sP 5;:R]%|hh ƌ>-.:gN7.ҺU9/E:JQ$)74䕄IƔrɐ@ەՂ'Vz0Sð"C6[؞N$ٔA?%߈Pȫ֑MX#%1P)i'=|gڔ^!X`y`a ,( 'oEz'.(Ӏvz4CӄbN뫚U7q`}ӧz*1ʮ\qÀ~Tr/򦭴`>UrkaGif_2(ORF*/b$ȗfF;Ps) ж/A`vYF5kjA@r0r$H^& f0LC&Qe4WC"9T|KΆ~1Cͦt#n7~in<Ӝ(ySMiV0|lex rLXݝ[z\/l˨Ae5"V]2#p~:ׯ )Gz㞩?~Uъu mN)f7.o rަf,ٶ<<X>@6 / )(g8L&/;^Fbz T,"ܹ(SXSp6H/ ex*n55CbNŸ~W3^MٮFE1Rsb F99`?*Hd]9ռ7a$ r1ជ3S]XEXY 5c;{Kծrz'}nS}=c ApEdcitx*Ay#Z%%&k-d8>!5@RukE&/}Wɦ%Y'1d/NgCvNq%ʐU22[;LuJ1ɪ˽H=w C~lA-{ AiEՓ$.upa>g5)I~6[‘Pӳ-"D`_e5Bw']ye Y0wi TAr7IsYlxu)K'sq>ZAơfuC$\b qߵY;DgRބS]ڎh#ZF[jX,w@aC+Hd {Ek@BXenZaB|h $䣡1t1٘YJj$Y 56[$uVtܩ!$p"$2%'C/PiU0jay~d%Wjam\W_DmZlv[uc|-߯RTd2>B l {<ϣPnoVk!.fpQl]N]DV7~-ji.kh}fn=܆[+WR ]AY97޻}2 g'P'7G\`4(t#K;<~"JGi0׏9фg2*Ĺ!E%fX7wwK@|eqŹ\1o5J N뛴Tpb '" @b8jf~-4|,\zD?x hհUR} LѼopvxˬYzcD*V vsTI׹|PO&J)iHƘߵ=;eRA3MMxhӼn(!7t5F5?^ŹetXAGB)WL ݦ;Em>lr{Uɦmׅ{M GG`EP i!mՆOJB0{4]ꕂ?LFCK5nL !x**=dT tzz|2d8d~\m2:dUqfi;DB#> DW7F^<&cF .UIJ | MT%a|2\%GBzx]"[Ϧ´G`"J^s}Bs#qWPɏc2;ߠ8I!y!ʜOsi/s1MMfy0rIʙ/$^y8[ni^61~Zx/vNT\: Ǘ9Vo);7ۻs!/ifne$z H.f"偻lσF2UHS\U ?Y17)kL{~(G0c] ;::/v.3 {GKZ!~r e*ucgĸ. sL>Fq1lD1/xSv֛Sl Ia Oez)t,S e`sj#sx3ZPzcUw^߱lO) Fuu48 r*f.}$}3\nW`T$@9ci~'Y&|38-о.6L;,2(9ޘq{_jf^v 1y}g"O=u1 43(cƛp{TKpR8WRMhibO [/ <$~\Gj;NqUXlݤ;qŒpar)\YDgZMaQm떺GlR\Ԇ-}'\8-#הsz֦Y;c+Xnj3?r,:V:,ρW嫔L&c{#c9KBO.G 66Ȕ$ޑ)J;.+ k܋ R;2tq- 46rWP7?Zْ>=1`t @]jTr)/"|{MMgA>L(޵N"dz Bx_+|sp}-R4 ;`iWJ ,ف  kl1\c-wg -K{ PohjeBӌp8>dưixZt 2o+^y+o0qG&:ɩOܰs& 5?qE _, 'ELB"7}%+(BX;hɆ'Uְ cG9=BxG%osŎ:(3Ii ^U]X:iq28xJ1Ea~5Kg@Rzx6?r_5RL`5d~VUYjTQ> Z`Dpo!F z6`r) r.%=dꂋզ^1>h4D&[U@/7K ड़e?Zx&{BQ,=\uޝ@$H @@~Pשz:ەm[2#'H"3"Le4V8?ֲL^AQ^O7,lݪ8]P.@3 ݤya ؄Mr.Ge@.Tމ+| g2nOBŶ*%g{X(GǝY*z4׋JzBh EPVZɁ yVu*O0-I n蟻-}74=[, S0\?[hl)/A{x`7[6%1^nrCw %9icEn,y.cv=؇]0*^Pc(Ov D-oBE3G>,;mw?3FGr#rTAB'qL[S5SKnܓL^(ya!fzNŹ hk2|T㝓+?(cy|,c1=Qhp,M9)S_YhHnZnIl@G>#Nẙ Xz3٢&Ŷ]2FBHïyl t"jE<-U\g9DHG^.pPzo⷏h>8Aח# wF_ݧF 8 ACwf5%O5_!T?U*pDɄVMHfJ֒r<.EEnxTimdw .5 cOxJ sV!`9 o*Ci0ШV 58"rEAlC =8lEnlm-f@'<# Jf2rEG|)w)~rQ"b yYS5f)X->ף剃UDc.:ЯEgu"ivE5c rsֵKR76OŸ^o~="_NJâÍG5y; h;ycScWkG]MQzt}$ oNPa*VCl?yݩWp(;3V ,^a] $VGJd:vKn!av蓵󌀝˧:^~tyƎ\\:r@g,;b)>51LL4jN,G0k$ O ]\T 9LgYZ rr{#5% PseudoHoopsPseudoHoops.Examplesdocument.tex7zXZִF! +:]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 M %lESR7P<#ÈJL$hKps@k Z@P3{ڌߟRF9hRMEd`ml{)6զNM$!ޫ_շpz[pY#ht;}׻،dG.EIg{V>$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ы 55<#G% PseudoHoopsPseudoHoops.PseudoHoopFiltersdocument.tex7zXZִF! O*@]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]#_)! @Gȹ4 ٖ£HyϻoIg=PCcnJ/#aN.z]8:F>цC(R[Ƽ"쎙u;є1:\"Odq&19 bPs|ik!k}:FvM dV Bz#.0J /X"?HRLC0ͭH'21 6 Ta)'7tYZm)2h6tIa=Zsb&~tɲY+"fpqpx;ļԿlv9kIOĉ X > _u?p,9یr;?7iz&Krd j8xj %|:v;r$!r+RH7})/V*j H ⸞mDLm㙺US"J>~ 'ͭ 87*$xaVaB"sZ3j,p>i%Z3 k)ػƩ#;QCf[2Ԡ+,V zOzHeaAx@٧gF21GGyvX>A}1ǽt{Z;{^Of/@iAèIg'4IRR)留 (S#Mf>)_w⬨&NbHTsu"hjϫx%xZl NYLMΌp_zDL;o vQ$/Y7(R㋒h{u6DY(<߭HqSeˏ+UR2RNֽJK@$\yć]-+ȵlh/~=||$`N]_}O?QN=/C,Ӱ+?=SO/6{&@j3)`+6[u}ڈX!LS*\.[Ic1E}]X! X|ё|^cRcҐ@urߋ Y"RXR QFEH˸c.if&ttT&\G^BRv ÚG|Qv6{"l @P2d=67Xs gB榇C5J ~A Nv"ϞS>)fPq:; NNX.vjYQN @U{;;zt9] 폅3: H V #bG7JFvo5<5{佇UvKth=:}m9Trns;J:˽B14'n# Ȍ&! 7X!G5ϪMl8XFu7^DbZ[}rh"S oÄ$>ӘN21kVI"u2!v\g,I[jK/Md0?R" F}GbY8l q`2+`p[+={> ~8UJ3['2h(Dj 9 Z!F#s]>ZdS ܡ7[?$@d[ OԽ1{)ԝyq}sWbl AvE2yIuBԂ~"k"}߻V&1o}XʣA,q Gb1#߈³A fa$eX{VxwH>#hȶXډ}"UC |{F6+%b- j~h#V3t0W`M ﶬ}]=^?(6u۰GH<d*$u!c_B`2ւbk6<:`" ˭$$OчhԾdd@Pz-F>lg)ٵZspha+JKCűU:+WP˪)]yn1ߋ lԙUvOL@٦8»O] }6z>-smޘ xSLd֤ǹ7\3GiccvtEy 8ӕ=|0Fa/|{{?#r'zp>ddm!OhEx4s%kڮBfd5kI*'^j8dwz3L8-BAg3e{,d4JdZQ0zR<$C\j8ywЬzsH]OA]p\Y{WⒻ[duKdC9dLKbgK_Ps[dij}P'r*Ɲ1T.(Yk/r8P`J㜦ąދRpGY- c\G5 eQMA_ (H@RkpCSǬ}O7!mئA&Jc0e w^agҊ0iU٨tb){u\}6IN4?z5vъ2R 打?ך?sz ݕog.kA)Mc9qUө(Lt7axH߲mvvc/0<}И]Xb-;2>mS lL(r]]:}9-ھ|R`of(=]cDjM8mPDl,Q.n<\g:8ɵ_|$c]o!ErgG[0.̓轅v_oUjtI}ԧ瘘U{F|l6blXLضd=ꞘK67;UFz*1'^ K KwSH%t(M)Y,p7$q9NbA)/+]vYѼWA@W$ .'&KY捒>L?STO[01zB:.LUUjh-e~jNM ,V,vcIer R ML}*(fsFY/y-|&i^3iꅛTaH`~{\6uF8Vx9ëhă%U{$ 5u::."uXp^z)K;m|SOrd0|ΉбWA⿩Q{^ʬ_q-\\$xx\xiM42kGu]ooR~_־n1p]ϓ!p>tfb.fzT9[Xfٷ&z=YKHz!(̓DBE-L8hBE1ƞIn]A͋RKgOS2+Wʳb"ZX&~/i -,7( qg%a;/6E39"A睘g 1:P% <|֞52h%|iv76ܹ^[&ee_]%8B({n\BN0h̏G^^!زziǛuZ0غ > |y;y-G#hX$Wiy+GA$<ۥ/5HTUI] ֆq03?O3{ Uѝo>|GPuwpdͬɣXq3>mrIm hS/K|uW R RɎ5G~I .W2d4=hGGjyoK}FaqـK427="Yvw?S/z%cNMR!es1ûWr"ZPc@ $bHZGw'G*IAKXq<3LeFnQl݅򓒵Nb5 Jɒay{?(1B0&.W<19=Asv )Y'FJ"D?޳W^r;!e'/I ڸ{(I__ZT^ţ0du돣WW$9AAqv٣MxA /=um`^Hz;?}I褊=|TR 5O)Rll E"+:ǾZf($3],$ށ SӬ9xG |G)n;1+V[`f 6\UqȐYh#3WYkq=ڽAxSٸQcBw5mby?tTKOLā'2QԀ-zto2i+m]AZ_iZyST/+Q̩pt6Z]`C*?l B\d0%*t$A\UB߅ۅ\rф `ELB 0ᛦF*/ِ&h:D6{8LA4Ii$]9Sߗz热ti#qb cB<dc=|6<1rsDX)A;`ճ\\{݉ŭ4O;ΫMg$u H;iS @Nxߟ>fK(G5 JLOl,3c!@ُ2})˒ByizR_]5AɼCqdظD8O<&$ٸɾH!kP7>f*ob-w3$Spa: 0{6 q!]b_@w$3A,CfQW!x'Z&5}B?-OF5> 1E/4AJl6hѯB߷Bh tE(Zq"0io;I[gK ֨gYZ R RK#_% PseudoHoopsLatticeProperties.Modular_Distrib_Latticedocument.tex7zXZִF! M]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}9ZN0b{=ڸ*[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ĺ$N~X3qDM~/1$m&3j)ն蠫VCO`nO<^p.#6ϣW/ؓpkg lptHU/LWt!W~|z^`Wq" yE3R,h;bhl>8w8ş4jE~[լRPY%߂Jbq@ sj48xsnXoZy+m97YH3nzk4@]KmZO$t*" f1ːxTh /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 4YWU5bCgkw#S̵o( }T wޏfÂKތM#H[M5 )ElR]_qm5yYNip_*.Ƅc _HC>cb2gdYv-[$6VCt4}s] ,{}w[䄎e\p#}FSՔ: ]>n\4 CæOlzk9: a%F^^gPu@ӠT{ "d^I-X5X)-=qAsHīY=P%*Y[Qx;p#Nޫv[I} z&|CƧ~Q P$M_0ns:cfcI 7 ћskaMY."_ 搫gp}uASw:Ea€|,< \Xrvkc7uڎ3=ҩ=as(9sJ"v^bPBo:j:F̓ SdD; [5Ȯ>pxYzKBf^'S~ʁxMs{k(wy'ňȹPC0>^W":ЂG&]l;} *^xm~S^)i@T'lB8ۆ(Z^t09*_ 45|UpGx.5_ڶȥٖr\L;EGk}4V{V%U}#ڝk@(-zx[>PM58 qTlV+e;PU?^ Cx`p9t+/.HnJ{J)q8I~* 1rʱgYZkG,r8PkTmU$M"{Y+'pu?4P>n{7~oʺWHA|#y~t{CTJ۲;Zl74)ٛnR+{29@fe]v0瀔Y3CvK}ٿ g!-Kj;T#'4@AܟO(؆!Xk 1aB S6o)- +j}敐xVߪOh>Qmtx$sr_%{ 4z;UJ#4Ř1aL.C)6jr1a Y|'ץ)QWx[U]Q+r V@ĸ|n╝W-lduQlN A@XpP)vs^=50O*_QW z~_&Ζ4o4;Ql9˗_(bEV\1j}VR7 ^h6v4vVnGISpqȎ*l g[x^`sLCx7#_.9e&XAwݾw5`D0@>~\{L'"y蕻k>l-G+R!qaإhޟHm bk S h]f!Y8M+|\p)`D>;wfj[4C8A=H0OsBDS|:9[H-'TR򬪵dIg_"PAZͤ3uYΏ>=Kdڋ[v~ʝqq^5݌.4")9P޽ڽ""ʇ` jj(tz@kIhr\|Ԙ 4v(o$z7g/P%5ԭW&B GR*[p>L6k!/Zyz66!,OzUF(vh6zJ[m~߬qtp[*WmF/63X xJi"ݧjjW=} Pۗgך)qU++VHomd׸綗HUvLh؁-u޽kj}` YϝNOWyZ©7)Y3f{GmT*f<gD}Sֽ;-tWߘ0pUKɵ͚0\f% 3Ppa^9=]Vî\h֞ L׌Frҡץ.W޴h اl{iFJ~wxrҦOyߑ Vy X7p7rM1HP<[35R4GZm@7q$*j=0[2Ac@^:Y&# =:"簦Uqn]L6o!FˉQœ^xOnس"I[*䤷]unYqJpfȧ)4`;@%E#零sFW؊6MN=-hxs=N"kb梮ӈnêR;SnPpi7lXTlOؒ]YࡈXc~66WQ^V$۟fĊV53!OoN[8s1vޡ6>f /+[{{xf"ty !QqjCҘ=3( Obxp#KKEx9)[U&R5:::{/bȔ**YPfp5]gPt#ۍ~<0GprxdXcQT(JXpnZ6uHY<}^'ae(x6{vo|Ut `$3SH=ɛxsp4a^MVUN_LHyOvmףxZMhh-aTJ xfJ X@Et?3'_g<C=\KYO5L;ti)GQRL%ӟ|Eߪl>R*$Yy\,[ MnpH&fb8-CIgr,plq6]z݋OCUrjWX#'$]9>..˃Qׁ%%->wa9DV޼`,y\Qn١Ey#$҆Kb( Dz) ݗa)$v@*$^5?% U{V3 8 ږ9 *40ѝM BH.izfTk&X<\ \]N?[eSŶ g|tn\ IL.R)nUhKF&yxIyqc_8%Z 1Ү P;@_Ϣ!`"4!|KǍ 0Xy]u &F)L)+3%(!y՘7gHicvI^d۫ a]iy\W u_@ljl &!ex%rX>hX$TfJH׭U!zm=~S^1j[|vU)'zn|jLW-S (-3?`tYnbF ~T[ܟKR*PbE&#?xb̼l~QCuUw9N۽!L}wA@"~ ~P͜gF|?nv,8<قD>[ +F| ө3˕`gNTF.8]- VLǟ&l$V񭳭7#/$([odlfD,[7,IG/<)$φ >wy $mPS"UZsN܌0[cWv $]hdj R2];*L:#VksZ١͹e?D׏jL/FQA,&5 n[rR|gU`n%Zi^e]ybkûc 6P|LI4/&t T,7s{;VajcӴ*Acy4L6z d/sۆ ~/^cH0ۢɵZY1 y\Q!)ψ> 3d -EIO;9ZF+wp= -8P+MX.`"'-4:*6h*TOvtq̓+_eTg iw.udH6m敍F%!/q=c}K섞4 % (P]Q{]ȴS!~]SG/t@ʋ #xuRsٿ{)XKI[ѲMlO,N$: ͯ@mmgt_㽥MD!-d^wpme9jL[b6: !n5 A@Xe.U qh.iZcb%EpZ*ALGt7;LQQJ³c'GAJ*ӛ|q)-6u>l&G"m*\,jYsh.!%̒aꐩo}JZh m`(^:g)?vm`kSJ13L ubjOd>̨pʼn 9(XᅭLN3)^}=f݅G%;2!6.w1ދ&Q9eKz D|ZgZ$$6R5jm, ơ)7Egu~MM;+X5fVz7H,*^H- .NMN t n !@O F#omW{j>E]&sp ydipoGYZD{{Q$ϧpX; e}߽Ϭjl݌`7'1Y@d\{C(POۍ)K"ճ6dé*͓qZ)5^p#.45!)謫"bN?3{5CKȞݎPS rC+xɟYwOecn۱hif _;l^peiDor *ol qTeT[/ObZw=Q^`t0H@gPCo}-')DU}- Ҡj +Q W}qL:-% kGKRi QFB"]3HF^DG8T/)nj7*G4RW8jwsKt);0/wr6aWt:y>&Sӳ/4gʧ,g꠩l} BR!fIM4JZCvL_+115?@#ѭ8Db4{WiHN &'F/YYf}X*\ϰYԘ2OY؎耲%G'яd t"1 goLXݦ==GS[Vg9JBma PV)uMʺ&ؒZ AUPHF"Q._cFĕ/r,yጭRo5as@7ʹ*4gB MzX|3no B؁RƊ]CwN@Adt>dƚ~@HboT/BBR~ʍYw 83W?'J"*Lr?\Dku6p-^4Μ64be٩RŎսC? wnwIeߧ,+BFyuIeW᧻nt|:F 4޸fAwc/~?־VT & 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\ua7^s;-m]wm #P4}&m4t4ڔWH9j]Un`#?+Vď]oJb(^WDE J~!4璃O@3)#kpGɅ:AIjRg4q< q^<(5CB Is1< +wgbAoˏgRt,uQy} ?SLhH2kHYլp4N̲ X}Gcd!3?CD3[y%5DGs(Q\ _ϜNMp OJr޷qU*\s]w`/MyN .NxRp\qnEZΒpPt ؼM8X tB\f4%MfHPߖ7+']” F0fA" ؊e)HN-b 9h@9{VQ*,4OKI4o>.r;NGQZdވUatP|JF7 ek]v.}nL$>`3TBaNf$n aI@ᡀfg 160 wc]GݛVR@4L EJ2 oG6sKߥ5XYɡ`nAlTccj1 \ >/dls}M<[@kӔmW'Z?`nCGM<`e22yB.n!n׊@QQAKG!_A9<FYK^@?#Vt)B!{S"ujE朢R|gokb"uw$O6@!lo2N\`h"Wj;zy% QҬqw$| GhMTTsὫ`h[N`vT Yx"TI&ۉ x 5DքZ|<#h)ɼ;{P8>K2`|DBiʈF{-=g^5g7=t{=У ܲe u@@si ޮgz {-U%z@8`r-&bq2=Q tVw=ZxfY 156Ȼn%(F#F/Pf@g.ŗOD:rzś-czKw!<``,hW wc6|d I./_n[ v[^`Z&ˌ8Ih$ ۙ YPZDDD>IDT7zc͂%T#"X6Xnl4eQT~+gE z6{$7=3֖2oͮ&18!VӗkZ^}Iк] oOp4gQ"'Fh \Q"|tkt(k%wGtP=OxtP>S" Me3D_9rr̜^] y4.g9Oj+n3 D% b%@P4kh܌:4b.Qa64 n v6TOEC5!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* fd'rYf  Z?kQ*ӂp= !4>3G}+6(b]9kz_F(n&֐\<>M*O<* _E۷xOˣ$U>jx0ͨp{.AՃF:6P] CD~iTg%=indy^ 6]eA4x/ʉtW§9 5eA%3߸{,m 3 ،f5aƟ' ""l!?=?=B#:l7&P>Yb s@#ȣ#3q{;MR;"r 4Q7;̀8*ӒӷT+(ݱ[k Vɹͫ! J,uHQQGP8+)GaCƩ^slˇOAHm{Xe@n#rf_w ['qdq."J: |ک]oqbH`B۞ډfCPjałYd'ܙ~ba0s31`r~א@ I?5ml+_{s)Vy\BK:VўOD9R޸wox'c=4QVk1!}&{P`i{(P/xm>2Wpug}Q"^T+l^V/?P>1o)D/ip< 9dk#Q3n ( H9jyqJ))ю`K u CշLgHp\$lg M[Z \'?_}EqkKhs0({AvѩN2GXe N<$ںܣϱgYZL\O]s&vXbEJ{&Pz;*ƽxgZ<ƾၻ&4 &`5d(#vJ Y[WEJ#l|"s ^7, x kWޅu4 yFP̃IrFV6U>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 jtiXB9sLQ=>~UۈQR{kEִǢfд~P~M ZQA#Lhk4 {mt 3o VlgC;R=>CF:3A4sA::%@l_kޏ8"<35 9r󳯝,`|z#QD%mNT_D;λ?/*;ajxzi ~>;͞E&-]'-q wrVFII_]+7v;z axXX~=B`Wdu9fMsTAGM2(W).{:v7^fxkIx)0.[;+=#N&%{1e7#e2SRi"cE<>T[B'vC@!Qn48F-yZiB\m,NL %R9mmЇʤ76牒Rf|&'jZl/eZs?=9!>F/0"&\=VxH`~ 8B@1=$V)yw^XBɧMϦ"N2./9 μqۚ&YQS tG<^g:m32LM4  U%SİBTk'.- ru}o;ҩ U& IiCɶT>To T'!0lƇyڗp)}F4)SXtNC5oInJȅXD3L>V'*cR_1JR{w&2ը+[MyXF%U^pr44R6^)KE\=^oȳ8*K).F6&BAa&]U&B.swHZ"'<rmn[/?Yc8ZRYx*$'JaOR,:g r:z38Q$nr$1OuBcQoF܀ E:ibZwωBCY('giɫfw ( ݊?Vl,X4$:7L)#}%s `*wO`򝬻'RKf[Ma$Pd@ ͠XuE*؋gYZ   _#O% LPseudoHoopsPseudoHoops.PseudoWaisbergAlgebradocument.tex7zXZִF! ^]A-MՋhvG"uIBm5ƍ@4|tM{fo`0M]|/k_pϠ଱Z_Y4݁rB_$^ebRx,RԪ1rV'76S +l;@!t3XJ~z{ ㌢91HB6  7.cɴ.|ףB:Glh}?wW6h:(Zn7ee Rf0G5Fz v=e-pFnXH5(MW]Y<|7+>fw5fy'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҄+U׭ `D #I% PseudoHoopsLatticeProperties.Lattice_Propdocument.tex7zXZִF! +AF]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`&/ixs?U$:VQ]y/(„T&^\ BI5w6_I("ȱ0?-6zZ>D8F{bZB[Pz;(TS,MV9Rq6옂v YV24lO7$'ݕhjDyȼ?0yT>s <[,@upFrO<M ƍdyLiEhm쵅7ZQN$'?oOO\`GLT/-ɰK@F) (KVQgYZ#[% Ї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@& I .`*Gr&|B(+7o52y- k[h0Bx. iviⰏJf3f۞(e̷@6 wID9Ygb}"d%D-xlx &L>/wGPF(/CˢH)RAJ%DgBwPkBy4"-s VRvi*xeB=0/㐦-)dl)wȻڐ wе54;s)PF9C$#3)Pw:qh8&ܑ_0(S#ٝcw'pKDhzmIOmF KF*Η T~5"(۫- L]"W-[wzwTUP%} !1õp^l:qMNr~>@[fuҧf[BK*x05?AZ *~n dgYZ #S% DPseudoHoopsPseudoHoops.RightComplementedMonoiddocument.tex7zXZִF! E]A-MՋhvG"uIBm5dƗ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%DTH;yW5"@!z aA0Q7dWf֪c},oW|Y+2YuhC3-/vXFgv0"j_Ts6Yij )}>@rPjSWd|y*߰#]eZ#` L(B U~b6 2v0f%H;~Xhʭs\t>cf A8u?(9[[Ox"4PPxChT*2Ҫ:־ΒRv!@.38W{i{ft~!=rx}< 5!,Z37Y Mʧ?P-w@-p)xJشL,p QY/D $`zE^ [=[xAUdwV*wfuazsS|I/m۾ p;fkֵe,{gCD ȶqD4@9gYZŲ^YbŊ$N;Q@ :Gn@@V4Y(<[́o ;TIˋr{_L]鵕)boR٬GBzd"X֡@~X$qhgbk+Ki3h RE]6ݑH"pa D)/ڸFλM='#+~IrbgkQ>\~=N0Csn退VOȚd wTM"]Rf-(rSh/ݻJ؄Fg sq<3o}f؊K ~Bg= ->)8#Rx}_|֧M;~x\-Kau<9YB2R*;/U&3[ `vѲ̇Kқ:i=ry+(7ӰolYb_C>`GsaH_O Yϴ%bu%r,<'ke*D l8 `ҲL'Pw|sLk*݈P̥ahY>k]#Q}2)1%#ꈺ0M_j ?NZs el⟬cyqAA+?tߢiWP,&F f ëAf KmCͲΓIj{8 /֣ mq$Q?MFZ=~Cr~?+6R&:<Y_/k?߽m rz~\(mjݟLbtzL|tPivb xؕԶW!o9Kkj rIM+l ?2E=az%Sp4< %ʫUGK(iqg h+ʒZcc`e$ /8#.# ?]1%20;$ DmmWG~WL(AEULZ]45^!jl@R`VjԐ6nK1TΤDQY15 ۩D! g<?,Zh0} yy2@7'2)WUC'WVzH€P L)Gz/$rXPҀͨƚ1S/ Ҵә4Er NY2Zd\aVW[mr -XՃ]^Jm"J;# 58Vs/( !Eյ-Юh0jr)#{z4%oQY uY$~%{Y|q[r} (+HEEuSg㬫segf脭**=( c)n+!ͥCVxVJ4@Lc'C,aаr#Nb 6snhLXҌxIm!IN8UL8ߩ(_b[e~L>עJ~PӷeLzҹ$} ,vG~ }qշZkχd݁o [Ji! ,qxkW9օ;lws)XiAfL⇛ .\Ow-]B }/c٬Lk:qfD2`|}]Mw,i[i\IA|mUڜr3=^s/z=zx?`o(Zm0∼~G=ଏxXX;;9<8б+Hվ"P>hhauaJ@u^s-G% {prĎ$noff938ȳ]]TpB9 γ5C'$jm:l~*;y_twt`z{?0_}E.Y1O Ҁ<+GR#$!jZpŜ`>Ǣ1̛ξY]C-܁Od}&t5tAW,-W.Zd?l3lF2ĩjRB;# XR;y}!]69x|QէHHދz$]gYZb3e18e4c1ed806ccd1ff5e46fc373c8fc56687250a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122