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 n1t< $ ]% Knuth_Bendix_Order:threads=4elapsed=13.525cpu=49.644gc=2.3127zXZִF! ]ŗXiɟW;g``ϐcv#m7Ocw{Kpi@?vgYZ7zXZִF! E]ŗXiɟ@cVAB»RZKf|ݫjns~< _\vQ_߶W]&65HpLv/@Ag*E<.3F&FgkOhHW)W*A-IoW<䔮TPjisd)hs+H3ba&eDIB漘<3B3tM @܎=CVƚ]eBYN0ߤatUQ7];xgYZ7zXZִF! eL]ŗXi%D4Hzb{8sxuMI SŽwo"D=AΧ%ZgCmY`Pd.3r-wN)GBX;qy?bF㸥ev9)5W4b~ز`gM,U*/2#LcQ"&<2c1nA+MqQ/Knxb,Y;Zafί/o;Uk Ҥi(f?m MTMPo-JV}^ )Hڟ#8 }he54rBS|Hs9zk}$l.T%Mz!Cq6߻1;&^-DD GC꼩E{Xwچf6fn='bIqiم&x:88lف-ڤRzv7 r dDeE_֕b S,c}C5=K@?sO p2p 8i#`oQB6M jqig aJJͦljoPlj&6Ȟ!/ުVx7sIm:P8H`<iIx6k]vྕPD jG@]LqA(&G@k#DZhW+Ǎw $h3r_djb. y:ɍ=}}tg{qwdG xw2{g~4}`R=)9A6E!ѣܧbʴS>&M4;ePfN>en!9 < XLb(Kp ǃigˢ䍕HsAq] )k `SG/ى t \8>#ҰW@D:gM hfzh|BpYt1>yqfk(IYSÎ]UAq<uNTf4w3N>ZE̫J *LB&9.)P9!PGM/Tɨ1P.fP>4y>t+Yyf?Ҕb](8FZÆ9UPLgYZfe90eef14a51f86b22619173e56df0ede8a7c880c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 50cbd62b6cd1752dd5a269fe724c3aa9c7ec177c 1cd6d3450a06a3dceeaaf8891a46156121c910c9 1 Knuth_Bendix_Ordery 1a% \Knuth_Bendix_OrderKnuth_Bendix_Order.Lexicographic_Extensiondocument.tex7zXZִF! 3f]A-MՋhvG"uIBm5gBB_St<ɞEz/H"C]mMfkhQJ0ЃTBsN(~vNu8t6&ZÅBxfWMy>?)zǍN^#)XhJ ,4Cn4gԩ=_7pc3h~4C̬͌:].*dV)|: wĒ@ ;yxu{/+b4DEl]26Gy<%m+;C[.8mxsx 5gVứvF9L< ; ]ͳ]O-o5`(,:Yz۲?!}֌B͇A]VBUqI^Q XqF1id DZs-BpHJ1+6#zX1PSܟ'=w vorY>K>N($3#,[ɗt $1)% lKnuth_Bendix_OrderMatrix.Utilitydocument.tex7zXZִF! ˅]A-MՋhvG"uIBm5{σ& N9؞k%[Ufsdeۼ}J[1Bi ~z7Gg^4&{B49ע̨ΡF'YBsX4Z ]axh{l=#/_{ (MO{9gm"ƥHb[C ri7JX ]C |ub"zOAl_#w{\Y=Q=~l YJAl2 i%rc4y8! Q_RE}/wFB +LRw(4֜x?VģJ]& aT,>3,fW7헽ȇWB,E}#%J}#r3Ą Oqnw!0T 8Iʭ5ljl.%pﲖd-!EK?:[ޮ& EFVk~?9-u%cK(:qX ZzjUk)#B}ZY>[YÄw~yY%i1C:7j/&H$,F-_E~03&6 P Eڈ`5^DT@wU8aʓ|k3 -?́9rVͨ!lJpgCH*VHV.N!,b!Xnx;?ovyS8 1^V > (u[#gwej7ˡHUMr=#fvOg#M/{j;dyO<cf#N\8Kđwt [I¾s9W<[Z)Qʻ3e zG\f2c-C b*N// %;i7iSbؗڈTEdU;cFFQ 1Y% Knuth_Bendix_OrderKnuth_Bendix_Order.Subterm_and_Contextdocument.tex7zXZִF! Ҁ$D]A-MՋhvG"uIBm5Ȫ`7>` + %m.Ik@7q젒硂.y3BiFo''+qYj<ܼs;ws`kZWBOZ$ufA0 y1 ΰ#}f *z(X!=Flkf:S+‚J * 3hW=rg(FٖR &% <'f5@] ZP~WWH4wXX?ѿ4GINzva/A_bbD${Q:^KDIhآT:Ic+|4zlhTcbH4tzv,2E(pa=oD@Sb%.ap-0tٹצw)Q,lUKkAOJ楀a\`پ/Urg7s-W- 9^ f+guu][JRa\<$i/=uM{ڙ"8rn5 l|[vaJAߦm4.niyAborG_V{{0җQe, {X?(uz*^ g+Hy SlijyO#RN$fTQcf~9 vdV6;3DK4bP %->2|PJL?@_oh. MjqGȹ)cFUKZrOq>TF?k&ΤD0dJ~ՏːiSiSeDYrP^8׼3VV9Eq5 /G"=Fs}q2lgz<7Gb{t4%"7_sV^x_2_0g`j(rְX}N\oe*V4p~ ]  W'TY猄lᙌ?cjy8XͣdJAf   -w4-I1W%Knuth_Bendix_OrderPolynomial_Factorization.Missing_Listdocument.tex:19%Knuth_Bendix_OrderKnuth_Bendix_Order.KBOdocument.texA1G%Knuth_Bendix_OrderKnuth_Bendix_Order.Order_Pairdocument.tex?1C%Knuth_Bendix_OrderKnuth_Bendix_Order.Term_Auxdocument.texN1a%Knuth_Bendix_OrderKnuth_Bendix_Order.Lexicographic_Extensiondocument.tex21)%Knuth_Bendix_OrderMatrix.Utilitydocument.texI1Y% Knuth_Bendix_OrderKnuth_Bendix_Order.Subterm_and_Contextdocument.texΐ݉r腿/P-h)*'PjKr&B@L-9v>qf2G \]PX@"Жt&Bu)ˣ./!T7Iy7y:c33|f>mo5cܨ1p"YeDF"g41ńqjB¼Qvjn V 'ԔT;hg5T8lyox8Fͨm5LHT܃z_Gm[sMvz L`ẽ߳[-|>w-1Cu uy{0I2RR.Ȧz.NTq xO@1 |ׂvx#.'פ`$ϚL +x1頻| ũWXMU!2?F h`*oUqM 7ߧx ٓbɘ`8b3੬E& G21p D)㋦k{52߷mC$w+]3q,|@4Y# Ka.2.Ð, >5JHRwa-R:%fc. _SAkbc!m.1A[0\  b:J޴%0Y,#4+4ֲk$ۼ jx'0~ }a/tutdV# x=1N-t'O gHS \pX+#Z`L" }С.Gd؄lF> z x,A2ÝMƅI~ㄬH?b W ) ADFQ7a."`\c)~kXok(D,$􌇿7;ݰ+Ytj'Eʊ)#]* +}Bf9GN1Hb%2b3P ?7Z꽇bC4 !+zD⽎Lu?ciaQI:钄*@ڙ[VrYɂHCqtŐChZ+- m0`GO$=Yfpf!3´I>Nw׸~_fЉ&RYU6jul4?Jrlj}Q]EP:ܠsE[ܵ2=5LuslA&i&쪢U BvNW8guE. +СՍO6*_. FABV8@߅) Ղ7wrz^ GUv q`PӠw v :.:I\j, 89EFև{GʱDaYo[P<9GnK$58VF% Xa9|0;^u{nM8ѓGlFrlr`8(A}鴜J8Tgd\׬|Niy/vr߳}aѹC*Vl\5w+ I¨-nbtˤ7(7ygkހ"N q30z´<޿x3WŸvOAMuy2VUm{?E@5~/ 6W b >}h/mхP%o# EGJkPЭSMp4@V[)bZ <ِJ0eXʇ i-`n n^]w bdYUi>c] d\/6Ozid0B0%3g\vߚ)qyN4 X#Iž3f{.XsaڑϳZldXh`A1 6{HU.1 Hߖ)ÞZpѿҚ]%669ʍaUy5)9;!hIbXtC7صtg/ԣf[ -=٠/#) I G* :;m 1o⩋X 23َ~j@0t&2;DzQ{)8P"ir EFƈfg&0C)<_5,lFC5 `X\p-@:,C4۞Nɿ#yU*3Kt^~wn8f-'FOE!q٣`VWb`-7CT]'j[/R]P`VveMb*[1M`!\dXN?%R[9HNJ#>؆|pq| m-;`:+*Z:;DJ>a|?mࡺ gt9<KO hʩ#ee-|XٷY\BZu:Dj90[Ò kL6*KK ۺIh_TYPL978 |&P  ^"˳V/}3tMNfW샑6s$j`Dz2cr3 ޢgtUv\1%‘t}55GEF+k r3gv"/"lR퐧HƉMG[}se D9vZ`9EKn|M5Ҳ[ %lEFnt8bgciZw+^XUsؿC"eơ1B^MM-j_&^e"زiBy&m8܅ Ɲ4hR–n]}i@e~`a+@q;J(|c`K/ nCjȠh<ɚ)=r3Țڠ&-Ʒ? ,t9N0uFJx{b|R@䞬pM{8'PښBZ58SvO?Ĥ: &jb~ cauؐ@蔼TKNRdL1 î;jRP"i;@g8MN9]@LР'n3_T Bnz*PCXyf9s*>ufOqge8:DѿR'Bw&ٴcuoo؃`ưofͬWM_fHYH#!qRЕ_ bG=TScHo%!_ObDbU05voUIY g0]账βFzw̳)f"0슴wB޷F*X'<|;G E僮#.C ȭJoq^Y# ֌c1Up};4~箥msOû՜)פANBiSeJ$!m Ƃ4#=s0jC;L#ּx=sDk-EcS5m ȑ8mu +͌a'a]nosݤj`KHQ?m@gɲ6nT&n;1OnOCBnc%xco0q%te>DZý?Ԟ>A8 ݢ> SibN/qV+[ק՛9gC[FW t[t+$8a ݁R9xe}w[|e(c$}Y= a`$$ "ިm*s|5Ehfqb80Zdl%"6(H,4RAV$bX!rFDf5Aǿg(eke,K3}0ڝJrtrMa+sok-賓-TR4[b"dVt~4V789P2JvP{(< HDzO } <ۛAOR& N/m7Ԛvz5c>Sk2^;G /Be`h^Yz tcB3{@䭚HsX@",k1jn4p?Ԃ2.niR{ L3gYϹvdi`QⅾQBQPUoiT,U'DドԼd<bku UVGr |R 5ۃEMA,ex/|jT}wyYiIȋMgF7M7U5%+49TcL6y?!-9K/tl9_' oi>\RhR]9̜QX5&/e$f/H6])d E.T,3Oе-J }gFl~ g:6sB%Dpc2`Yf%*z門ķMYjw8/)pRGT,flg\IT--g_+mzF98rhnկíV deJ5Y>E}n8e렒nBl8wckTp8+7t&_E0v0ͽ` G/B*LcղlY`{VdW-Oy2g?_k &Cۆʳfc}!y*Pq7uXy;ﯻ(ZG/w ɊO,=iy p:=I3'I/wFՆʜ.`GU'jCRʄV#")jFe^3VT1H&;XJ{))FC*??rmh*%T SnrȨgNC0<>uZZO&᝔w ќOjp1sK^hgױB\ӵϼ}0b67\/qL@s)Ye=ƘDMӠ{Rq"Έ,t(AukG]>Z*t Fΰ넠bns3]j8=?[IUDAza !'6UꆫMɷ|Mr AB) ^+ےJ̊U q7,HxgYZt4i27r3#46~gygV^poz9Kly,B?I_J~PCߦzcJc i%`&'mw{Bj=!JˑzM=EA t#,PomD8l˞Phμhj"3klO/pԑMPav+7V݅/As[[|VW#ʫ o#nˈE}H+:;+3:LwVj ̏g6_2?22F,vjqs޺, c 9,baFM&l@ +Cэ̌ޫNԂпIMq#q{@4/Jٸ5dv(} gd?$Hrڕ9.?T 5hWЪ6s,&[. )uyS?7oyؼknCOPz[2h1>p6Ab? -'!K3t<1B!na uCȧl%F,OhY[z9DX ӯA%2WmǂW` Yۤ^UJ@&M{C `B#%&Y-5W?QLJo?&oG_}?7peGfbɷO1!῞ϒqƵy'FrߨV}Jl5ON)"&׷O|w {RG3sGG&S'pO3[P1ia|ukMqmq}`/ǴdDu:S KxRRx{O5;i0G`X^DC"a0| .7###?k, .:.cg|poCu?VI :eܣռ| e_#>àw\l0vG$"P p#I'/yQ`ޤk + X Ɩ֑M_i;SVxD#$y2;!]scF!y`L60kg@D#؆ N/aaKu  pQQpJ?cKBxH|lrȠge;4S,!4Glwj:_|6rTW@MT97FR3-N(^0G\ƖSj)C_=&l܀sI"8D{D R8 1#N ޜ$$uCAZf6G^GB\oAE$2Z5uz4kKJ#OMvLRbsgS7(Ϯz?OJå4zin1+'EB,o?/ί޸NSޱƬBE#`s/yv)Mb1b ɦY!-d% [B5)8 Prb< h>-?-.Ib3%9 [rD?7DQ" xtIºm cr j*dCH"ҬͱL!wNtm!pX?<'Ma. K 6jYu1W(igp*MheM-QJN٦yc]%XkK0NZ~w7 $sh]: +lz̔WovittqO7>73oP犯&eDntg;V]-Pe91ꆐ<}=,=07$P=dUn@V8BOucAB]HV =wܘo`mNEvGce[| & nNyfEtJ[ qZWQPJ]pp!g3D>G _]d4,N>R.1 jq~DL i.U38\КN}rɸ0lSg"*qԆjx!Fi)z$M0・g`6Q+кW8OϚ V:Ym L AF6Ǵiq  Ϗt%G0L,P-Zd 8X*>νFӽjiA<@K̿@԰a9:gvZڷ)\1 'бgYZ ޮMN2v;EQ= Qɔz@3sA r!yz7a"ڦRy)s$aTqy2%}nV[~m7*llgH 7ؙՖ# E1} ݪ*lߧ1ouܿ=,F~icPTƇ;3SYd<,wmWcS|h+iZcҪ8xqjke׫'o 6D=J~R٩NIG|mjX!+|w,cڕ8꣎ eSVvˀ)* 3W  3 yyr;6D-h!aMC1FĵT˩d@ʑb76o! 46V_q-qĻ0"[;QR䨣^>//ef0Ne3Srkw@#̕xI<2n>Pu π!xh F5acrΤr&k1Pzh{4PJe\#ǻS*s,b惵5wݫ3"hAE6).;/R`BLcg 26΢Ro #MarX lr!+>-6`,Z}R8q#}6IO?!@9'$2P iv -oK eeBMNP1I |biw@[b:@֝Jh+B~h˜Ԡ~ypU@msCR6-p,wbvg{ϯO&'U_6zۢ߳X.A8YhiHB-|{VůX5 3 SPJ&YH[8r ‹P5OZAe*Z9VYk}K) "9H/mQGd7!ˆNU|%^vp g[{JƈuPC9e<"H֙"Cz㇆Ỹ@^1}Sc]PTO ̢@2?#9 T <@xi5G^ͥv~aMbq ؏m&X[]o'KHu?m/jtO`!0}OT8]a)%zi{AjMa@HJN݀h;. &ll _,Kj>K?6¹W~#GF1k 5‰z E5sMr..6f,.ƞDa-$7BVoa$Eg+[IHUb%i3Ĵ.-Ugj0jHJs^HlOb:C.sAi"vc(l=hː*@()䤶*S=DA~a>?-Vӵ6kJaHdLCkl6.'quHe(}bt)*fca(& .1Q` 63mH'(V<_r >2rU7xz| f[Ȕ(AM .nQ[-}g *a̰=Z0\IWߝ&,'LWe97~=+--ݣcfɗl@É-%H&4dPh „A oU7X~YK 2giaqǺ^PrZ&~ḛx2o૝Q'|^}g7$M[[U{dg.'=Jӿ<~G9hba_~UϭUMZ:M'R!v: qm@4Q~.1UB0ɝp,}#-tnZ@T@Z&Y,jcLԪЃ]E7=j^߫7#@vߗf3IxùL &9w[ٝ)E`.avSYHD= _L*YۇoL7=^{ߐjSl:ffӘK APeb . xj0Xm9JJ5*JF4,AfFP9=$;% +azIҞ 7q~DnC&wGK)1Fk=]#gv%XdskXΦ~=LL<YxoO&a1&ZC `ă` CD1KViFӼ򸮰uzORQ|@l  }s]7*Ubj */D%:wc}FbKNz<nfFeb30G ,Hd(G*} } &D., U^g5 30h(Bk̀¶Β maFCh\-+t^^ZVvy6hj^r:5y_bn)+mH&4c*MiДF^\Y͜xR[ff1BɌĶ''>&KO5 I}H|%)'!~g ~drU$gP07Yw>?f\Nter1oBbO{?Na#ul|VW$'h?X\$ثA稜lEk+P֕zɩo$ݑAb@iDɛ4͊N.AZ[qǛ,o3A|56L#e%_(V,+Bp., O0bv@P=Z#sҜAn\)Y0ECm'Bi A._!9BWG(Tq">=yهϏ"P/"H l\< & l .^g9 })isRUX&au(PgĠO&&p*RJ-׍9C|-u+ 2ɔadkd9(J~U~PH>@W'fC:=+)n \AL5F| pfLs}k?F(_E@Z=uiUwyczOcDt̿8B~CkVehS1)#:<{z.pA;)ƫ)+MZW̫:d翪2}見b0'; AW6IV%pV5ޘR~zν)%~7/$m>8= J%ϖ 0!w!UhQ)II|-EB 0`$ hfVfDž|*Ѳݗ+(K`&)#m<ul~Iof&=20[!4Ŵ g!dw^Iǂbe5,x,䤎K{;FQ_sKnPʒx^0lErMiSq2:~Ԡhx}:,(|aKɾ`G_xo q}p)ϊ77 D >nsRۙ(bVQĩɅ%܅ A 6E/u}DG-c7 053d& 6ܰ|q^ eo 6ILO4 Ms1'` m-O0se7*xVZ~;V:V#LReT2bDy6P~p[/1AS޷:.CS=#`1{Vc^b˛Ѓ'2~谻l]Y$8;Ck\r i,3|J4IKB WE axY;e2k[ #ܳ萩z#>O& /HbtgΨ 0`{Ev6>#^ - _)YqpR&\Z:VzSZv7j)/fFW3'=p,R8Nv{}J z7We5.ӗdЭNc5&B5kjb~\z%#^Xe¨>-Zrmj\3),g":!gj[WX%UAmi +Ðl_SmiD?7swa#fvL-o7$Ӹ"v'vyK{V\-SK{((6.`8W;=z{I?Yi\ zĘャ^p7HH_k{Z G>h%e9{·/  ^<Nʠgh~拽;qQ.2ݨۀm{.or$}QM bėZbڍ>2 z$Z@,IгGCҜpLiρ'p"#:(opY^{W>`t-!xqykT+tuIrzPV RͨdNW!f*ٝKwdhskxȥ&#֙ hٵQ$ y@u${wT >;2WNE3V3'/h!!|HβtUe'ϵ?;a# 1;uH OdeWσLa8޳Xbig,z߈vmO{h/X2!' ۢbb弚МDO C]!v>[K-X\/ eH䏾], '}SZLAxbAmCpPC&1\G5bkl' ..wcm wtu%_`+aW d ;y,ҽۢegxjX8 \ uY;)>gQT3 eA4=zN`y|1Wcؙ(9b@@OPr!O04"m`c= Dwfd&1.e M&IalnMD:7d-oYv7!򧿗Bր[>hxo.[\&~,|t)3lj@*~Zqv#?|w&Ғ=W{ QE.Pn8vH>]ez)Dt\u1U d/p0s(q%YEW]LGYK 0z3L8zao'j# ʲỵr>AA9+y39QHwIpAx2<((hZPf5wP^լSh ߸1m ;p TB&u>5@Ϛ ?`~$%sx $$a<ZKunhs=!qlp iʔ вV)l1+5r:qE'"gOg* ~_3C6*fٶDBjחs=`Tܛ#/nA_s~/Dz\ ؉ T:w*Zmy|v4ˈsKU=q< ۗ1K!U Bz$VBenWfȽ-<^FimiԺ20KOr ]rrh3\t'03mD<3Ye\hfxK;fdYMUR āWmoFm߆C,t3 XqTJ$MSv,·Uñl͞:6O\ry4q ȩP}m!g{8ʅ K݆7&bxi8-\7W5u@OƁjcUg0F*Yqa^xR&ТX*#T0 45fxDfpL))Pa;n#tG`)E&AmPllAKMFl݆ oՑv }a}oe$ |r׶v QSP t~k좟mlΫ(ex#,8<p5FG:%[R0 k5AXBixBIt̹ =ءW&!$}AalI%=L[ѥyǣ"*N X)=cG7QZ|aoUbc*%ƽ2ۺ2'ȕp,8wƾϗ,$&dFp Ӄwƻ P\|95qL/p9X[U?Ve)rfOqtj]?ץu̍R/![? |,[f",dT6ֺ6A0NQ bOQѱΓ]*mؑOT:R,%ڨKWi,DjAo yq8C<| !YPIU#@*ʲ9>®W$px/I'4oȺDޛѻOGD J!oUz2|c 0qw.N yvs_Qƺl'[<r"cW;_s.n i^/1;ݚQ>*]gzbltMURNi1t\F]`hKWz53lKR0-s1t^ U1~}+x< hL-jtDOp-ͧF/X"//#[Pݘ~׺"ol氰XݛZ|/N6<-ÔkEoMdR⮛},/@ĚއJsP667WeJJr6n-=D-ˀJNb]?Ty cӚv l#xT\|h0o8 .{a>2+<~iyi!ē$aSœ_e<'058Tj(V *e:jKdQnKm8rҎ9 Uk'ѽ߻oР!n5OHp8tdUN^|Rc2h2 b#D1ӛ {ĹAH (~&銿\]YOãM COI -k$+NQ7B d҇1)Mo$&{ڣ5 Dɬ0tߪqpᵅTdZ|P/^[d^#.xAĕQ ``f,w*C Ѻ/}KW(SJTD'4$NVWGW{H:/9Jؐ ~r  %LJ+%H-y?n媂]c0sj8esqNWW0ũIC.?P7 YB7"ji20T&X|.6u,픇"I2eZTT\] `#[#N$-K4bsb*t-SmR]ukyT3yz)fV%XDmg,Łvk_6{sJI7e<тu I$A.1M߯`;Y_U^E2W{p1v!Uw+^7 IAX+qt/:m*cyc4'udl߰_d7='PQFA)jpl%$hYlO ZˁźE)ΖӃgu/Qva2]k"C+ ^N/>ˀFCu%+o_?g*{gYZ  y 1a% \Knuth_Bendix_OrderKnuth_Bendix_Order.Lexicographic_Extensiondocument.tex7zXZִF! 3f]A-MՋhvG"uIBm5gBB_St<ɞEz/H"C]mMfkhQJ0ЃTBsN(~vNu8t6&ZÅBxfWMy>?)zǍN^#)XhJ ,4Cn4gԩ=_7pc3h~4C̬͌:].*dV)|: wĒ@ ;yxu{/+b4DEl]26Gy<%m+;C[.8mxsx 5gVứvF9L< ; ]ͳ]O-o5`(,:Yz۲?!}֌B͇A]VBUqI^Q XqF1id DZs-BpHJ1+6#zX1PSܟ'=w vorY>K>N($3#,[ɗt $1)% lKnuth_Bendix_OrderMatrix.Utilitydocument.tex7zXZִF! ˅]A-MՋhvG"uIBm5{σ& N9؞k%[Ufsdeۼ}J[1Bi ~z7Gg^4&{B49ע̨ΡF'YBsX4Z ]axh{l=#/_{ (MO{9gm"ƥHb[C ri7JX ]C |ub"zOAl_#w{\Y=Q=~l YJAl2 i%rc4y8! Q_RE}/wFB +LRw(4֜x?VģJ]& aT,>3,fW7헽ȇWB,E}#%J}#r3Ą Oqnw!0T 8Iʭ5ljl.%pﲖd-!EK?:[ޮ& EFVk~?9-u%cK(:qX ZzjUk)#B}ZY>[YÄw~yY%i1C:7j/&H$,F-_E~03&6 P Eڈ`5^DT@wU8aʓ|k3 -?́9rVͨ!lJpgCH*VHV.N!,b!Xnx;?ovyS8 1^V > (u[#gwej7ˡHUMr=#fvOg#M/{j;dyO<cf#N\8Kđwt [I¾s9W<[Z)Qʻ3e zG\f2c-C b*N// %;i7iSbؗڈTEdU;cFFQ 1Y% Knuth_Bendix_OrderKnuth_Bendix_Order.Subterm_and_Contextdocument.tex7zXZִF! Ҁ$D]A-MՋhvG"uIBm5Ȫ`7>` + %m.Ik@7q젒硂.y3BiFo''+qYj<ܼs;ws`kZWBOZ$ufA0 y1 ΰ#}f *z(X!=Flkf:S+‚J * 3hW=rg(FٖR &% <'f5@] ZP~WWH4wXX?ѿ4GINzva/A_bbD${Q:^KDIhآT:Ic+|4zlhTcbH4tzv,2E(pa=oD@Sb%.ap-0tٹצw)Q,lUKkAOJ楀a\`پ/Urg7s-W- 9^ f+guu][JRa\<$i/=uM{ڙ"8rn5 l|[vaJAߦm4.niyAborG_V{{0җQe, {X?(uz*^ g+Hy SlijyO#RN$fTQcf~9 vdV6;3DK4bP %->2|PJL?@_oh. MjqGȹ)cFUKZrOq>TF?k&ΤD0dJ~ՏːiSiSeDYrP^8׼3VV9Eq5 /G"=Fs}q2lgz<7Gb{t4%"7_sV^x_2_0g`j(rְX}N\oe*V4p~ ]  W'TY猄lᙌ?cjy8XͣdJAf5ٓk2ĖfTT9FV&bzG;, 2n=jg'[pbɭAYf CV`dc'  =8w&G&yq"4 8[bP;\O1Blݪ4B_<{4js2:KA.5MA~FWM4^KLf-Hub&"ṫk=5^Z >؄1_.K65*0nvY4~sIQc 5bW͘gHZg&=n9mU}cX5h(}M+(ǥ\Uo GdfuBۉäx[O)$ LvG/3=R/,ֶׁ2 7,}V5HP1X0tx9`u@,}Xx' HHHg4_fO&?P؀R?a]֮\F k~u 7tl󾿿Ùr@5K^x9r~ɤ#>أO$Pװ:M@lX턌I£WS.=ި͆]M|Zy+fLP%Q]۩v' yT ?D3yրL ]_:畢L~k* }]E3@H%`',*=*H{T=h[d4lI+8)]M$MiP\0}%7A0gm1VQZv['aN*|W|魂:Kb&G $8Y s=;BHxO|H3AJU2̌Sp]B!6}P B2|s1>zq<hB|^۾1_.8,TOnLڡ4892dl݅V|Ja}{ ebz}Bdمwzeslnq%x) FM8 ynR?fˌY&Px:9(ӲDQ*o6fm_Pkec I`XK݊oGZZvcH9CAάf߇Cg#y8n-T>gXCsC+"/u O.LJh Jػ_(y\<^sk ‡ @H6 cFma =Rm&CauyT T_X7I؉4D-QЌuzx%{um~xZ(nkp^6?龰0B>.`9~H%;TI x$8Zˀ#J e.)cJ(FeީXfC{[$w&\V@M=?o-i{-Rm]ˬ>B#+:&Aܫ (_5) &aivȉBJ=sS$eXF!^^/`0z_/K[3?^0\fd`͛NYFNQ9p$'V8C}|v/F.V=҇W4=WQ? |{VsN]I#‘F"ӼGJ Ⱦ4CbKU 9ڽV\xX i`<>B8#Ct!^CZ"j>y<"f3λ(*Ǽ]\@xlwju_1[ $ 2>06AgmކM -7KO^fM;s[!k?¾y1PfI tS .]jVCY#S$ºcE$tē@ނ!)[dUE?V oZ3ε7Dp"bZ{2>;Q}օw9n 10pzEkV?A{N4|bJ!0Yb|Ei/D>pF1kBȰ҈ߤtEA#ԨvH⌂]bX~*h_S[ TпlF/J^[b>9A "_x@i4",}zg P񎸠O:mhOB95&x1^ ,r'#<5!iƻ9RA*ښr΄L)):[hxZ:w p/#߫hop Xk}j3iW{M9Wx'{D!Ob/](e^p3x0'&g,ںWlaH9Vgt@4&)ِӣSBS*}(#p&%gYZ z 19% LKnuth_Bendix_OrderKnuth_Bendix_Order.KBOdocument.tex7zXZִF! kAP]A-MՋhvG"uIBm5Fkc 5–8jAx؅>~{[|Y߸_{[,v@KgJR6 (B-vH9RfDZ⫺pK.BҙZij@݀G}}ק=5~rҢڱx&R rdjlfYjVd[pby_GeSD)A"]juwmBR`=K (s =Y"0gtsթx1G% Knuth_Bendix_OrderKnuth_Bendix_Order.Order_Pairdocument.tex7zXZִF! k ]A-MՋhvG"uIBm5Ń!31 UF e¬$:J2YdbnLVd:y <ϢpvYd |; s2i jJ1x| 7"& ?>K݇4@fj:(XYE%.O+ș熿ê"fv;H4D#& U0UͻDRPfB^+ʑ9 o~,?/ƶ ,$Peb=inmaߑ1l 吨._2)KEn/"#5 ;1NB"$D6XݡuJ"gWxkXay-J;gNi'&A(xbLͨfײOAw vA_]RpsD\s[,hQ2Dp\w:ig|JAF13+6=}|ryW2&sWV#О!F/J{*: G Չ!!W[Ԅ{w;Cecnu))̡_T 5uDnӱyG>-r3BNؠ{5-h@i.[UYΆ"Ź b=kʽ*9r޼vŇRc UȩA2 "3Ck,9#Hbp E4 8ˡKnY›L#> 4=ڭL'# yQj <4Y5w -rIWoMrȱ7^p k̼Gl$RNZqHZzQ 6<2eKѣrَsاO(kyhZRV3Jp;O< `(qCY"1`oE#_X Elk_C]96@fAj.SOqUuIC83xAޓ̏Ƹ̸MծЗEq`ӟL%@CwNCBۢ1+r0.1#-'M;@ImDbʫ"YуbDW!Uzv<y]h"R4ja6+,_)?߰60gW >:sbmxGIx^CXLgH1o :iFۓ \.wcwE cS6of.o?b#HN7%Ķ> q#hwc8Sk&~f-tOo~@V;YeT%g &*@vQ-Iwn>|zo}G 4hUv\@A9 % ?7ZX.R5KX7 kbκj3Bl[%D- ҄b9\c'\K$0Hϳę\t~ }uH 5ЊPa0cr2 MK΢|#:,4ME|~M|n+aYIe}k k$k$0gCI(%EOMctـ ݨp)&5RXV?Z_2HLl<q/$68N_q#TûO6\ lH5^+ ϱgYZ JJ=z-7íXi;%4C fynbLǷ>YtXѦ9A12pMK%>yoAc;%EĒ-} -;pQK}pR#݊hSf0C/y)nCY0ah\ٿ4V̇k큏!*r6SHa 8Y{Gcz~Skw4 0Ҝ夼y>sdI-MHn󜮨P U{||Am z_< sKko6(z VPK jA JQ}xQ*53[ uTxM' 0Ԩa&Ko>9?qHPjd7n %֒iO늁<;d' +-=#c9<1<'ɻ\bdJՂq}KO ӖTkÚ؆/{ ~ᅣ{|wH`:D {+']y|iD-ý^}QOd&%9Cܛ`j,Fi7M[O<+{ ȉc"u6sCӰPD;f`v Wa*gH| t H⻼O)ƺeNS!MYG G+ ']"V 3Fg&0nq3j:+͑b]tY[d4U8'kmЋ z8pG>rhi堟MpKihlp WO<<qڒ]D@P3FDYPmBCF6 ;KJj Rx(bd`Ws>< D%AP(pZ|'S{7Y6.# ScKp0z-9h,4g1_WNuq^?Ūax΅D[u(tVyiva V6ε!XRpM$4YwnCN;bdSRQr*g7 a:>-iu~?tq OǣfUh}z˞*glԤfe lxAƁjڗ^gA=h`#d{8/ϗ/@{Qω9$rkPL&DZo-sfMT8&tUIMEUC<8& l|*v9ri߭ҶJ'v! wsJFWg&iRy (RlZ~a#;q|#i ()u3C\|d 99I ioD$o\}L+}_4Fxw#d.QjD͡$z7eb8(i#5>''PO+-cw ;8^qPlوޚC_8.1X*7?Zr9 q(Aպ@0)fܲ 4|ƏV^;Bw^A]P@؂zwk*|ZJxU+n$RQ46]ݠfO^kY%?vp̔%bs\JXF0^i gM',vWAR y"J?31)2 yYA(@y`< IK1S]vQnc䜬,-Jn># ߝkJ*8mqXqT="U#3Eo>M%(YR'~@ؔN5s\n9!8C]02ahV`]0c܍=Ǎp'#^!Zn_CN\$PU6o UxL=EhPian<`b-ɎR88&+*Cz4+^'{w Yd}[&6ZY-̄Gz -pƇ ti YH!'GlA a鸖R C=B=^sy=p6^j+ݒQjG9 !䏣(]"A_IϨ ]MZІu&IXwGkdoM@ ɮ?覼]iEi}j~T1셋T5-sl,ld8/|<2+ߨM>)\\3 ix4ОjtLDjY/y ]0!, jnEm iYS 1Má|ZΐTi= OBeIU°1$YigsU]zyYˈC~]FT/](h]:)VGtˇ*a8_`nVלE;K9LG}L,펐+XewIj J5BD\{p$S0-AK+wB$^-r=@$|HߋbnRX-ZZ X\c\<+a z/#zrSSGyl}sQؙ 0fMJoJ3D1_72g0'@BMB5>@A<'B"E2=VQ"-}) YC*TO '[\HLX4LgeCvunRg')Pn3(\Vfs/si@ WbD /.u,5;bAUœɝ V 0cEBҿe3/}8^]gdoWG]!ׁE_iۉ}{%?s2[ ?ɊdF ͨpr̆Xܐ5tE`ٶ~7I ٜnR) , ,tPneM%ݝGneV3" X~, x7FKH1Uۗ }]=jj_ 꺠ң}"g v6잂UN5/_+7E 9塹T]f7nhtV΅ACyts̙&ˎb#  -U$݂t,N [kQ/~/8j5& B;g6䝧Ŭi:n&]Ӯ>6 Ks5cP̉$4 sX9ō֜>kH~j~n\t#Um,?|&ҧ= +.VN (],B4P3E`: .tZ #Um*RU'7 w4u#fڍk4yLT\:tyXܴW(9 )C"Q&j5RI@O*=-!A/N뮛WZ \*t:-v~ nUpH;nWMV; ÏoQ"g*u4=L4yugo9/pN#ݾ+7A,#Yrz ,ʻP?y/J,yHTyUeօbE8!c[RlskuglQ{ܷh0?a-Et)# -eeiZkf/@ v4 u tMA$#r1wbVa8@F REXu"vʣcvWa)͔ ,ToA ,w#ȣzGRAi{`2yȒvЃ,i|%dD~_k ex^isaRDaxkdj.'jD*e2Ry|L.gR2|kf'X; p펉9aO]@ĖXO5ħh)eqg+2J*t"`]U-Y~gt ď峑m3<%A5kk6\?Jt;!Hyk0k+HNk6yç25!ݐN^A\߆=_~nsj~~G_p@CLLfZJq.dR",+etCJ$#sJ_VvbZqv#9` ΢{POmӨg 10[rd8`a4xqW&@ֺ&=7';d0vB7"cŭPN@#:خ??u@Ef< ը%!fIbTqUP3{e +OJl6m]z_%(fJ6~ϊ~?Tz Mor˻K02ڤ>q*K!04vs#x+ KQ/] CM(د'{Zf'A*ĈH*L1AyXq!gWu(*⚸BE+2H^ mڢסHFNG+{a@y~*K/aݻ X2 fHܹ[+H Jօ}=Cmp.v|R@R.N62ZOu% : Ä/NX#@(lqb p4ޛxa/HH]ݎ@fGW/of >f9"(u.35h]B1.L.XdxX;ls3i> o$7J z& W/J eP_&_#mNȢL;DMK1k?Q>9=y[c0a~#MҰ.|5Hm'?\up̺w7JC@hC*u]%Ǝ~q(/{`Uc._xЦITecJ"E:ʰYTi.X)lӇ肛rR8sUT!X@|*PVCrAٳ|ͫoW;8wj Q1P p3@[S*HvS$|ͮ[""-nDaTu|+7gsf `:>Hg|OZĨ$_|J@t?f{m܎,22&VXHPkd/{`#5viq9/W0VDCuN [ ѡ(Bdo?!oA]&JgЀNkl Sޣ0b1Q'L4&O$;e`='`UʊQDyšy b֍UxwM:Y# olx0Y.J&s e$S7bXDŔ5M;}˩^R-}TdPE0SAx~4.^e: rdyVK]=ם3zT4^Y{=A>Z 8("Na5sdJ yA< 72=> Y,qDsŪӑ{̏[|x):I Ґ8⻝m68NQe{03|#Ȥd#*\ ъO33v>ߜ*AJ-T:Z `}Ekyq "W;Z@`۳ʹ %|SRj^-JF:~sO{l&T/+ 07] TW5 Co*FP40 MxCl W!62@B0vB:B@oG43 !-܆܅Mh@?(u{֡ 3* mc<^`TՄ 96TO ]$ :|wNeR s㑱>'}K@tt_:tB͕V{0L< C *+l 8WBHGuD@t R遂KωH;i\\v&y241qEA}qBUG"vOjc6O ϊTҳT-E C;;`}s=6և-$` zh,N2[~lG}Cgge*毵Re 쑘'9ҀA֝N;y9G{5:ͳ(Xk$_ZHM]5m\`" + 4~cΛF *Uigͩje'c} t:{;/F NN2[e>#W1NQ%MO[6| j2sj/uض'{yA0Cu>ovMՙNP0όzm&ᣓgd]pKjH)ϩgts~B1>~:I l`:ڨU{|[#195}[:.¸IY e ek : Oy(rx]u:_S]:V͐rP7/5Wkh.KK;JUfj&!dRme+0 4!]I 5TRdՙ&ry\6H3c&DA@64D/9dC߲Y9k"p:_JMܚ{oc0U|rTֆ,y vÜb/ )EU\6Hi\zXWښC|˅2&Oj]̉s6^KIKQߥ'QO' jbvɘۿPb1Pw,$x &po6X; P:!{i~my &CUFolH j)t#qW"nz >H;e*JrK }mx/GpnԷ|p^Nw(T Beq`{h1+?R]*zmJ_q18{z4黹Ɓf#/rj7ھĀ6p'YI8f pL 6=JfbKG\ҹpME|+eUM}N,[ u0.F@d6~`Ӟdp)d= h{\QZ xnƛ7-k*%9kʺN t1aoB= 6AZrO7Dԁ ش.l[t*/9?ob }<,S?6^*d7|E8)&r&em+KퟕyrU^6Xci}{Zɡ( dnW9נɚ˞S^x F8 k!cp7}g1N/0[Q]\ O.}:a~ቮac(]muNi}C <=j E=K0 hYZE?o R(VșQ  Ct c;揵SGX#r9]'{s} #á7 {![W1'=%KqO m^٣Е}(-vicԁM}wႢZk%Etrir`fDk.XsăS#JPKMT"D 2'w pDV).αt򼩳;E&`q( x5_Z]E Q/F7sV1W#܌q.=aD(M{^6)eJz#muNT1zdz e_)&|YH+78IyoOxZ0|9Lj-*>9B 攒m (*a.ceyOuN DѬإިc~=M@T(އ߿>lJ&և6m/I)OI"?/{<U#4GDCiQ`yׁfRWͬ58A3s.|YGU,_lvx嬾Ə PM'YQh70/_cMpz"i2 O9a۟ilP7^FnRYaxjp0}9rE;p T"?k1%~M?1}lj qo2l2<,2XW>+D7z1)C nS|jzYk nG7v|?om.:9ZqdԎاRXx+Zӿ` T`N_}>q]ՏZxcg+U. MG***KU1vmsM()L@:H Ҵ Cb%dpn+K1;>}HLyr 9aPpFIB>spPҤ3g`;jڽf%UnhwHJu-T;r0Af +\ pPCb̌RW[W ;/m:& {9r*QNBmOԇ'O9a׵6AUy$$}<7e}vv ̭dme=xw'r9x~T1;t:$P0|Оܹ)i#Y\o%2oh*ܐrOt]Wb{@D"Y$HR3I4f$!y1.¼Ǡ'=F m! Z Y!b(g$"5L<]5ܬ]0HGIH煵SQ:ʊߕsQpӘ+SwB6Ndi`V]X)3ӈ)kHM@Dik;%?g( e¥)J&t0HMنcAMN-,.+W6mT ;yJ 1LqX/PH41m ls7ɑA2uK 9 4_Fymۇh^.H3~=bKB)Hc#rC?75r@JG9E-9j=!wPr6TJEsT .o`-eR]=*ed&NQ"9ԅ RmQE`]/mD(DCx\OM<@>|Gɫ Bo2)5=!*-^M2-iAt}_ hlXދ HԵ8 W|ϝz nI>E I܋Beg;7ӮЎ!ydHlqJЉyH_ 2,X\t[!ɕ:E5 TpX:SSлEDZe7e޺Hd֨Jhl\ xѵz0RqBӍ%R IF(zߛ0Pv9L9ojdZh)(hj}hѾF+:ǭ y`rL5a=3 8`-Ư*%G SԸS.ɇ0o=!aggQR:q[,JvUdm3N9Zq1W>0hқ3ѱ`W$ +S9bnD؃0eL+!MM~})QE#r.nQ2KatCGP j!Q,1PgSH\>bO0Pk5Ev]/\ z,ebR18xĠHKxL*N`.I$IZ^tljOcϢ}'sm۠vPЖ Ӧ[A}Ih*v7j{\$.16Yb߈V2C{%Mbne2ZIUYR|iiP*=a F6."W[Z2^8Lβ̥C㠆 N#(f:Dyd+f>^yMN~I@f[;uWo}k2f\d6繰uam^̼Ea^5M{?'8&Kl!V^+b[2@R-Cu1*i{=KoԴ}͎MUa'ђ*,_>^QYDQåc: 4 O21]eу1Hv/_YU$ !o7>v0]WA{E1|ZFw$!Qo*Nq $m'/b\3436i_)*i I;_>ϹȜτc YIaC㕜Nd6du3S*b.MpC@$qNQeq0+A|s r]~ٞ{D&)=/ŰC[ǐ};k>)Q16 bJ<Aqeu 3!,{͟SYֆs#*f_k%%1aigL&V3;ς]Kbr_) .A%E|>QYD{->U1cHJD4L[>ރy#vן+;4NB ,j߹vzzr܉7lB+vg3Ay аbEPl#Nj<lX+z$äe5èZ֌hz S\0X&PJK@6l xb_1Q+mj-=]*!H]6W]`?ˆ<,/blM1a-:x=N23} w4v׫UH>C [|Bw?"ҝ4 (c~0|>Y~Osg6A6s5ʛV~#W]_Q,7[|זh^)]qZ}d9am4=VF%ZHgXyY8ش咁n#鞣p7f,k{y);N{./ǜѭ1*f.W;3 Q`$; lj܊e00CxH9'o6DUs1g^ |Zm^-<6F4ﯮ% x7:%dB/uAC!&<:1 yzQ10/Pڗz)kJڰr(_k`̖M O{}?-'jcd2\vvL]m;9>KG%f.LW\Vє.Ɛ(QؼC zqk˻{:v,W_l!2֭K PSplTa*uvE@~5~V"fw7^pxgqgh_o62KVKKRKD) 2o /ʽWnĸ]vŧ1y˺-EO0@iBA6IjE/RD77׫;c7 ݏ?-fUYʍHUBI*v;4Gζ`5\O&I<IЅ* s;@:I|=r i+,˻ܴ*ԗǼ62gþv2X?3BiڡJP[)}6c|Hz_lYW ?-,rwtN楏f5 GzH5&\G"c/PW`gO$ath'F(ZjՔqΜ">AKlz1_ɑАDS F%E_兎,Ft4[tlRo|*.9Huݳy'h p%Z 4 cDsNLETCy ߵpu-AkeuaDg*/rC3UH@F1m5l? :@̙Rfx @ϱ\ -gEuGNޖ Jz6S{d/X >]LejtuˣIbkڼG;FwUL(K.WzK,1Ŀki;c+# Ad#S#7Q_ӵy鄺wOËn1LDV&WR a7$blcus~f,{턵7 ~HGH}Jf}"Dͣ,",Ž蟊!mw9EǠ sDewJD AR_u z=ic  EjI\siI{Umko:* ,S̕v$׈р Pv?!xTOMQ%qB\yðhSuG4F[$yxˆkv耷2|ƺEBZp5%^E܁gO.v@@{ t0Q)HjܧCȎ0̙Z *P\>ug/ZMǞﯭm7e:*y:5+95Nf*uY A'q8@hoZ/Y 1L'd#Yʫ~V?%]=5UCR0gAB溣 9P-<)s45m$1 #1@J.n8[C$Ss),'RqAF5NeQmW7벞%t$7>9!ts_fӎ#Ҝ 3ɥ}sz/C9iVko#fam^ %aA{OIog^}i-w.I91HMO2&VA&Q?^3hQMi784X~"yGcժ˃r`sgMRb S9$SpSsbI57.b0(o7QB 6ENtz]`E";XaNݎRH89v7 _B<"E IJ,9k"O*YAS7H=!Q 7M]=TW}ͬgh/"图01XT*k&_̋^E).#9n')лVjuNJ 3;fc",F #9m"ގMVr="mG 6R}4bȚGƈN/ĩ#zy8SN/ #&3ik(G6=E,Gn IQsp'ia #1j5<-o}CՔpYXKYپG#i_0틬kǿQ(iu>#+/3 ~M?1:!6u-Ă @VX ->ZJ~˔:(No5+bDVp6&rŎy4j卦^< nPoǵpW_g9Fp=⪢28Xfu']0l.t?/XƱ-м1kxu!I aG o𾳐q㋢·+Zw619A'}N/ -%^npUآ_eBr3`-\Ph!{&mBTK&P[_\dGTOz~2_ SOy[̳4Fc`g4vǫyfPG& 2qm;MZtX2TMn~ \t8ӛ77!TiT6.*ѤL5c+5m--xeP`]Y>3>!lsy J7jWW5AM/VP e~ެ+q>Gӥ\؛Pe{y~rOE8SOJ(r/N^ro,*V* @59HoWAl-j-̜` w3Vۜܤa_kk#/nI^FQx=T烑"EX yGC3^(0z]q_eg*4V=n9Ӵ+gZ_L>楴;MƵIA eBn[?ѵnG1dٙĠT[y0n1\8_9 +` vr:m`4f~h09=DB05\nJҺ<҄V..S|p6ߓ-ym4wL0ݜn=[23WDwآV #XN~-jhy q,{zc . %L-^G7̪r%ZХ k]2xF}ؗ^o\)6=2D㼭rO.<"+\A\$>6iڙӉ J</э^6ְ@;\`i-TDgI4 ϴ#J*4TL]1C2XD3E) K%A2пgWzBr@xȉz)"Twxg!LsVI\1(4з!rLp`I C6>"LDkc=꿆-atǡ9!kz d(Mܠ ^՟ 9Ls!Gyɀcvb`Ǧsu`j`4Mzj4NΚV~UrH.I7GݺtRQK4 qIuCwܩ7FQݺ,)& #k?lyިd^%מ_^T`r{2;2''x@csYbF;sW 9U95\?~~M1QX|f.m&Ӯ.宮gŕ SCNeۢ P xQH{ A;ych1,n& .L|هEBI_d'+gҪ^Dr>c (GF ݨ)Re4;vz8o,ݬdqi_e/&6c=N|Z}Q;e*:{{i32]|@UociT*AdDBFŗkߓWR%N-rZvŎ멢K Xm$'ʏ8@f(hP_.R.IQu+ʿi=pRRJPbJK-rm~i7+r]r;lqoV{-ե vm ʫ25fy y*KMuēJ<@Q\Tp:"l&ĭ J T@dۗ 6<-;LiLwq a GR˘5-zGu#|ȍr<f$ɇ͸V\2{;_?1Y H:2s1Sk 㣲0V B^䇜/8W%C)n>S)1|z{ˍZaZ7w?Ҁ Pj87RR3a_>L m^Ex\Wb7Tf} H5v .E9UiH5y=4S"M̃sI`44?%vY<$F6,04>;e؉q.,;IֿGMye`/^@_40@bˇ eM}>8<+ؙYzHs%w]/f@^o݋B{:5Ewo&yIG, 'i`)TWZ0Z `ԐjOVվ,?@+!:ZZf$$қjGۉz+@`+d5b${."HZ2 m,a  %Yo^8aYsatT7܈B6z6hJNO}fNl萴NCd5g?ڶ[0r N^Ƙx͑FDPh|݋Փ8Ƈ'cU:#>:Kٿ("QN $`cOn5,dTyliIhYfz4Slk3{l q6NbmH[i=vQ,Kbyfgr:'ӛ+Ā/SmGJnrzy&^Q}M\=spÉ)*9gxmv+ [;AOT<1L1ƊcNDT!Ұc"3t2E)7䣊Rfe--FŖ;$fx]6,$sUpkn 0UӮ?aK`e74@Ėx|[ߩ򥞦$/ Dbs2$OLO^*,lSXS TdAܿ ʑ f j:6#Ӥ7)ٱ=P:f Ȫ+s*!fZ$qXp4[[ o1xZaia6Z~\]2NGƣQ&ALT]:keX@ݽœP$@k%`W`s|דȳwPId7M~}|=6sBf^g.ѷE;3@6k{j|7=QpØsK0$:I]m .~r5}.  0KL4Z0 u@VBcP2Wz "{֒꣌?-IBe.f$wcTYdUxi%;y+l߽VmK P͎L+*HmȬ53 ފ(N;—q `>#TwePmNg]GhDr;]gW>oOZ< pMU;@ K:&D)^zU.(U1օ#L.ͮ+mͰ}-Ϝg+J~4_՚&UqOH@W͉c %uxhޚ>Hp0VSN.G|gǡޤ.SCs6ՏkF=4Q[>֊*5@}T`4 SL 9DH iyH Rm7[l{Ư%S֦ERWw ̙lSdôV@b{>4~0+|2C|%iF(d71D|W(Rx-fR76i A \Wz!zDPU|v(Ǿ=r] hB(p(Wʧ Ӧ}0~3,=Du0,YιD˞bgwívk#`7Wnb9Z CQ#W@Ttwu=DU\޳F* uigXL|c8{wg|V}]"-t-p5Vjt00Sj|)+.E*Uzq-1l,*jnre{9D-;MoelWA:$mN >T]@.}{rEDi6 ;`y52HvXkNXԭ'"S`ٸwaԽ|'n x-h@9$#]-uRdc9@<u^f{6_79n`hARp\XDzm{&(ːb^<>8afA|dp1|R^E;V+B4i8LcHtLa<&NYEh 7pSXr=r`UxZHĜI ~  &C/L= L pH9OY[ _ˡ]ǰmy`C6Jg^/#vay]ǵ8D,.p&1N5+K|F/*QP@|pj1b󧶏3۰2YA$\J=KOq 7ԙ s!&BX#}|`<7&_Ay ۾d(H9^oK~aIpY *g{9f[CȒou \?ҟddw8kvjU 'r7(‰@^X'amE܀J{k"muml$!K_ozfe,9}MJFL=9/'OPb7Zm 4BtQJ GW|Mk43+UAB4ҭρIj3=zX0+ DVܾ,=GLW VY~isW6x @j\Dy{zO)Rl0 _ONAYG`z`YYCO'ߡRhl\_CK*C˻Cuy?uK< xAi72Ӵ|a\9q'ΐ2zМ tr>A^{x H=DD7os"]ڋWsD^%Xlbm=ftL%cP?h* *A[b).#G5}Hk%AjWN|-VP3i҈[1 u :%CuaGz\ O(1)9^G9o0{?'\gE|,4d23UXg=C3*L<])A>NO6͟*iHu`L͗=$$iKu 1:+V4Ve< @e9tuaV5੠]JciBG)Cb(7efWZ1ҹchM2)QQ3NA!.(+pX:@@0lXmJ_fXRyZ4 _z#ċHIG:9sȁ_[W1>(NTtJ7^*'L Lսaѿ }ةS=ͦдq.B` tOċ[FyQ߳{Pw P&EIg0%pH^ f{?Pl[l/LZٽL"nHdӹd+H/ u'D"(3u]DrqRڻ̧(ccz hzk|UF- RݬSQn )3D=7D C=lY*<3m=w=b|)Ԁ/A 騿niO&YOQcx.y|:}Y4Y }I F5(ѻ %>F:S(HuIҒJԛKT2 wqk_Z ,ur9I(8fU;9Os2# ]Z98 8Y\KB'*cGDn51DooII4G:p®Zr>7W~Gy H;Id54}ѓGAN}D0anbw{g^n!vp)ì7oʁk{Հk†`${Xy1}(]U{ =N ,Bz#LЊ2'ZnX/Y3?>d*r0'KOb s@QXձlemYcqHg]`:\p تKWg$VGs=TUp"_+ʁnTL(#jeO.}#ym hb3j%%w@ڳoȔ#HvT_ǤߍLc5„ N%KC]j!` i(1wTb~kԇva&:*e͐E3-B푸1c,A? '>!P߷ *,JD%>[;pYc3둄9SAQ]^t*6Ϡ^dZR꥛T@z0&GG4/N\L6wKL/wUIj9f3Ӧ(wV!3L}^{D(2-e`fHH'rŊhe: XV/UEƑTr"f=5t5A^U1SV 3Ke!Ǐ揼YҊQbU.,f rQUԒ.đM=:9{E5c|yZ; ڦVkˏߌHQGV|qc,δo 剬,%aÈ.KK@&p)+ﳤO/_ Ԇ DD JrqD}R]Uf]0<~NķD%Г{uPZzpO;5c0m6ۣ>{(&̈GDvG16F4K#:PL|+/GF8&ORo*Pk4&% z:f\ ͖h5s[FbiOqYWkdFԜW[op+|aMehƫn]I.i?pj)Nç]jVA2⎟&U\_;Dlpr" r]j|=?z|7H]2Fe$G>%*kDzH%OQTi>圊v!> <|xp𠫰4>}q"fl'TܯbwUq1^5 Q|ۚ&_mDn gfu>yr @[BYN0\y $H\#u4We:俇fC$3K>yH^G?*W#B`Rtn6TG$:@RyRɈcڭEމ6twM*Rd JLfDxrSDXPk$߹yI0؊5/GDKiΐg-*MdcR=5#pH=/~OHb^HLOpG;$5Uws"hgw^ENT臸}GrHO*Z]  dnQL?˫3U؞q۾X M $ -Ǒ;Kz/w͟ZǎW22F %M2CyX?V= LÄM1l&sRfXTn$8w,A L>nK&~n6O.Roè~ENkM^4cWk}P#U^ ~DD%)%o\z@LHPy+'H˚4CPfDݧ̬ vR5-f5YVs="^$Կ% [^x+i^ Xd a0 B-zgJE34*'7NA鍺%T WK%ux:MF&jŻVLhI`'vLQkb$ϣ13zڧ?{md6MLnh 0Q bcpHTÒJ5ܑ6p>3W=`C|mvn/! 8 Ԇ9ɵ߉mIɎ4Rr1 =ꌞOtv -;٣ujBj/des6/S P|GXj02ThF-8ʪ̅dN2 CYy=~yv{,֬hm@3=K}r16zEyaq\-=:M5!p+㶙4hyن-\Q Ɖ~jiq/??WRQđ N8Sv%YdG 1cQ9|4S_[H3[ e[IAz)?E\]]<{%mV1̀ӄwչzi3V4"t}tC:^X՚v&&1s/bM(z2B/U$p8}zHl(}`x";{-]E`e6WxT]{bJTn9v;Rt+Vwcg; gAD=1{ >6[(~j4G5jS  |2D[ӦPZl@{s|=n $<ݧ~;e'φQR]$c\ġe2`AY&1s3hȣ5xfd6G{Ix>52iK:߹b7D\@b dI1&1s*tB[{*, ɢh5 "n06V&If5p/g sH<{CtͯZotp ,[|v[”>iJMOE4 ѕp|]ڌy\bӷX ڏx>9r^$ϔ~RSg])J ]*X+JLQ0Q{ij'`VrW;5 fʹ,8%2U:Tzo?3S_gD)}`Vr7hcrtOr{ۃGpG4 % u(ۄ8%Qgdk *|z.Zj۷>Qp >X]]hMJ W\Ýr_y8ǎ=40P `Aa0xѡW8T\M|*?~y÷[;4 J" /nN&b25X q>B#P265q[D!ýy HU n%4,[w5,Κf J5;mHy^M`,D,ukM>2cd6ީͭ(ƎJl+¹!6+ aoJ6}{sbe|~Ik>sg IO#x1 Mc:L U9G\7oa!5cQJt'ߧ0Lͼo{c s<_J!A#c,^{9y?; !#oBf7N]G Rbbh4d_iO8b\(Y6JWm/\;3bb !9zoZِ);mPI*Wp(srC7`IŸReI4i9BTzf6jI B2Tg9w>6[C&P*Rs0$ؗ[x"jdfG:vqeJkQ?gOC;?r/Dg+>$jbJYvJkAe1sqoliFkdW'&2 R;2Ecwgdf sAY!V*r)M1rBbHdn׿y8]S)Il#Ex.t7k"ŋ&Ҭِi(-ha4>y,QV 8^`۽GߤBDŽg י0fidP5]1yU[qMHD7PXWN;6tKDPMmT7|b[==;R }ڽW,w6Mt_䛿ayBG]3 4ϰH1xYV!_y"\X(iȨ{Akj-w/˄nH*()[weO4"Vtbҵ" s~՟u$ (iFFO7IIҙ-ph<5 ˳`H>3܋ϒ 0oe K6DmgOɨj5GSιѮԦ4يuu%8g!ވ ?>a&gfJߗjrfA Cd3J* iIS/-ZG Ѐ5d18"2#aaϿ!Q|0u7kᑂ )K:}+ H~ ϳXW?,'j~v#}"l0HRQRU^r*.< e]^QEYg)-aAj/f O.FSg.IMt-PJ}8mGZE3in%\J| 6W8|ݗI79$>]JMyl]ph%l{'l>Z()| "m&Eo$_~'acBy炋e_Ș@|7ވ_,|&r vkv>mb1UeOk܇jß>엞,|$& 9qD~6HO:}TuG>x5d8<)OCydsܽth3>$Mޖ]L NġG&tx3 OQF衺2?E{TkR,ɗF#֕)\WJAlމX\ .[&cgeNH^"){͘Rc ]܎,\7K%s `& ? }" f1I=,[>{Z":?%t4+7,qZ7͟>p-V7t!<;olpFnͻw1 KWR/[66[#,J lFsj[(SL#|v2!'C6h7Ј/o\I칽e uCe$d#ik'rs`CaшiD[򚇍qx㭳o \z߇/nAJe. '5&oP n D;v(9|*64V?Ԛl,1gt_A!< 쿓{}[L5zʔ[T@ Z]u ^$zavg)4fo`ד׊iQbR(\VaN̝wl@7q2 #ƼE^Y}뷿6sҦ[HSjNkT(D[6y\%zil-\èIJ ^reb^C Z]|&mVr(K'." Єn~nPC&nv(pdSKkՑ8UV2Ǭ{&KPv_܀ ^rfpӠm;}KA9CQ pK曍 L.;RX&›'|5lO-Y!r©,/d{ybscq[2"vCgl0 x&<<R GհB??g"BN'b$11~_`U@Z?1L}TMЛFJX;Gc_esD YIZa!(}$&)Ȝ -0C",WQ $߁{H/^各CDjySYcXK8ň.\Lй}_LZH#KAL#{2)e}QF#[C1ųjh)l-l!#$h}6G:~jcu Y7f"#Ca0URM݂dɎnWDJn%G0,9(3i_hlʆ#&X!Ee^:+_Rh0, :c*(Yi< ?+/kuxJXuWEC%P$4j^P`ͫ\~h2 |j)!뼨SV綐0 zwx2d.QJ.ƛڝ;5A@BSke)'a,!vV([ [xS$1 ARH}- K5 XpaRi楉$PUjs†tĂ!\mOC,:1] uTW>5d_mexRY"}HQ=8Ivh>SG!2m+q."VаW %9%Bn>:R+/2T`΢VJb H'.sƳ-Lo$ZǔL`{*cā}_x-%ROReE V_bQ$L쯴Ln$YW:(!/qOoB&e-*Gam@mUթ:AAW+4(.;C]\h=}hU rg̊;?u!t$p2ŗL2a;mUcר(M@g7+v4P"q4D;2d^9ea8rF~z13$N>A -oLҥG)eƅ㏡7=iEF}͸[ \M\%xIuef1.1~AN 0Lhn(OH*<:mۻXMRL3pv}ƒ<6 RXqZV}(k-4RަmX0:f弬~wb[?%C7!.Iҽq-H >}P _yO8wRe6ۉ{eש%aRtnhL[6Y[+BjF{cPLr5?#3s6HBʠnږ=M8Nd7dّJ|s}6.rOi Ec>] mFbfԑ.'@TFoYu .䧓#4={i,UWə17fD/C@kb<nYPX{SdZQ–z]RD@KL0ei X -Y.9C \xmO!2e }9D^ݿd(lrɳ2MA(hѨS?NjJePMDٽaƟG3f$.OxAG|H 3mWHQK;/l^ei͞MqDSgļGEH/FU֐Fp[J ۅ>udOP2Z26Y$%%9$J펴׈p&Jx 벏{nۭ5+z ׬FbR^~0BC },JY=eMb̈M2SS 8t,ҞN/~izykY4'y/osTOڰDB8LTS\n^*9Z 2a?Q)ct2Yu0#(h<؟(ʤu|Hè^$ld\S\ DP~Upn:>5iSh=cXc"1}fM6RG9sдgz~E%~B:_Yx6afݬk"{͵LyVgWNzpqyO`$#w G@eFv ە_w"7\]n’\CbW>Q-{QA\_HHk(3:+gjd9ڙ̡1:2P]X9գz=&GKWn)wO0{u`=nsaT̗CBA/xzR<ҟP9@B+zתBdRwZĨ4yшΒW4j&{䊎㋁N;a ǽ6_/lyn_3թh),sJ\zp;LzN!|xF+QBv.fY6C5g-o{J bŞӲһ.0(f3htq^!T`ol88RSuy}Ϥ8DovSFeKgQ:i=He7DzN2Y}? &B]9=LĽ'lUw[޼:/+nƂ3Ӭ.Q[~}֍>aw}$tR cDFhsLIA 5lbKhPxD},mI&LJҝDLk7 !SA8Dp tspp!=؉c]w7r{ڹ oWHQ M L +zēNSx.ƭ)I72;STPMo (yK,S9i.ZxQ|>7_ yK?k9c]Ihw_^s`8A|hXPWBP rCbru[̬1Ȑ h2;Z\s zhA[5HL5y~#1_sVPjVo/rM J5i;$hF[6'ɑHbPR8< |üæ: V,y=Pg,oص+jlЋGDDtclTvMnoqmw<Qx0ۀJL)`Go6:YRYˆxg1YlsٞyY(yz5, mf=Wg r jn}h u8lA$kfs+$eD:\tfl;0J;zzXo?-Y5}^*8?(lb5"Ȗ$O(!Ls4FVeoQYIk$̧"BANlm( #1o.h:`\+l{=$5H}Z޼6*Τh*a9f}IK6տ"J46*BD\~3Y"}OguGaJ{m@ij0$}4jÃK3 v(c[%aH3Dp @&k<廴|K5Mcy#+ #T.;\͋an& h-G4vZ`u ?#M(b.3|nȮ 0XQm%01/kSUVQU'A%Y'dǿBαgYZ ` 1W% 4Knuth_Bendix_OrderPolynomial_Factorization.Missing_Listdocument.tex7zXZִF! 坝gS]A-MՋhvG"uIBm51Fq,H|Dm3~ > fVDÒRP&X >)29ه2Lݯ佖#vOHwb h9+Yһk~s9)9ঞ&֘,ϵcE`#w@r@Oq_G݌f&E(V( ߂!J xkp<BW?tR*Pļ.yi3)EzXyM%;r]PbݭT7tA"w_{hZ~#zu7P 'R0_cw0 3F ܞxW[_&}(mJC]8BQ]m%Pc5b0)jQ}1gDi5|Z3kxٜH[y.?EW;]7ϬfTǓ$ݕzK,lhKH$($oO~>Р:{I1'CmgXuWxTfudF[2!6֛wPt hfmBEW˜҅Ѝ,EHdX" 1.KNϔ׷=CyD@ 7+w۷Qs辡Kщ= ,'@ܡdGx|$*Aam y>~HhWz$S@ zwR^ϐ 76{fhxT WTӾH{+lNvoζ t+4g/1FaUU:ROrP) s),4[o5;*]vnqgI,:Wj9W#2k79#L^ PeThiqR4 GvB ]ƨ P}c B{B 7 (<1z#\b(IS~Pt)c]܃8[Vi&es,ҹf-)%$rsDZ(# =rD3 MqޥmK 1VFI: _Y;/KM_&ɆxR/7,3k#$u44?'uC5 1qadESZ 2Rw#kw7BYЮ)$eK'N?uZZuDw| A6*Yƚug?:n"4ɾ.N/] 0Of x h!ls' u9ټ. YA\6 A-DŽi>IbmxewX"18+$:C* &iyJ !i6<5ڠ0 灬?-quʒw(4K.  $X Z/$ɱQT& :σYe%s2 ||G.M$jÞͶmw@.[U]%'64I.0k}riSR@փrաsC1^ރ}ݍwv70CsK0z)B냥BߖSTٮjdڧ6T习~P M+|kY(ZuN*-`k5/p{lf$X  kY/iD r%*Oj"LGQ](4vv`˦ e9Af`-jem<,nxuɭ.it6l̯jL9dDxeڭQ&tjF7tlmQ2b8_=T0WcnTNCwu ܩ|Ku hV"-\|`ʷP7 )a _Hs5Y7׎I7(%(+"Y#NĴ!M˒{L"+]Y