<86>Feb 3 00:59:45 userdel[2937979]: delete user 'rooter' <86>Feb 3 00:59:45 userdel[2937979]: removed group 'rooter' owned by 'rooter' <86>Feb 3 00:59:45 userdel[2937979]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 3 00:59:45 groupadd[2937984]: group added to /etc/group: name=rooter, GID=666 <86>Feb 3 00:59:45 groupadd[2937984]: group added to /etc/gshadow: name=rooter <86>Feb 3 00:59:45 groupadd[2937984]: new group: name=rooter, GID=666 <86>Feb 3 00:59:45 useradd[2937988]: new user: name=rooter, UID=666, GID=666, home=/root, shell=/bin/bash <86>Feb 3 00:59:45 userdel[2937994]: delete user 'builder' <86>Feb 3 00:59:45 userdel[2937994]: removed group 'builder' owned by 'builder' <86>Feb 3 00:59:45 userdel[2937994]: removed shadow group 'builder' owned by 'builder' <86>Feb 3 00:59:45 groupadd[2937999]: group added to /etc/group: name=builder, GID=667 <86>Feb 3 00:59:45 groupadd[2937999]: group added to /etc/gshadow: name=builder <86>Feb 3 00:59:45 groupadd[2937999]: new group: name=builder, GID=667 <86>Feb 3 00:59:45 useradd[2938003]: new user: name=builder, UID=667, GID=667, home=/usr/src, shell=/bin/bash /usr/src/in/srpm/hyphen-lt-0.20100531-alt1_12.src.rpm: license not found in '/usr/share/license' directory: LPPL warning: user igor does not exist - using root warning: group igor does not exist - using root warning: user igor does not exist - using root warning: group igor does not exist - using root warning: user igor does not exist - using root warning: group igor does not exist - using root warning: user igor does not exist - using root warning: group igor does not exist - using root <13>Feb 3 00:59:48 rpmi: libhyphen-2.8.8-alt1 1433702532 installed <13>Feb 3 00:59:48 rpmi: libhyphen-devel-2.8.8-alt1 1433702532 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/hyphen-lt-0.20100531-alt1_12.nosrc.rpm (w1.gzdio) Installing hyphen-lt-0.20100531-alt1_12.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.16730 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf hyphen-lt + /bin/mkdir -p hyphen-lt + cd hyphen-lt + /bin/chmod -c -Rf u+rwX,go-w . + cp -p /usr/src/RPM/SOURCES/hyph-lt.tex . + echo 'Patch #0 (hyphen-lt-cleantex.patch):' Patch #0 (hyphen-lt-cleantex.patch): + /usr/bin/patch -p0 -b --suffix .clean patching file hyph-lt.tex + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.16730 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd hyphen-lt + substrings.pl hyph-lt.tex hyph_lt_LT.dic UTF-8 .ap1 is embedded in .ap1 +.ap1 a1p is embedded in .ap1 .ap includes ap at pos 1 .ap1 + a1p -> .a1p1 .ap1 is embedded in .api1 .ap includes .ap at pos 0 .a1p1 + .ap1 -> .a1p1 .api1 is embedded in .api1 +.api1 a1p is embedded in .api1 .ap includes ap at pos 1 .a1p1 + a1p -> .a1p1 p2i is embedded in .api1 .api includes pi at pos 2 .api1 + p2i -> .ap2i1 .ap1 is embedded in .ap3r .ap includes .ap at pos 0 .a1p1 + .ap1 -> .a1p1 .ap3r is embedded in .ap3r +.ap3r a1p is embedded in .ap3r .ap includes ap at pos 1 .a1p1 + a1p -> .a1p1 a3pr is embedded in .ap3r .apr includes apr at pos 1 .ap3r + a3pr -> .a3p3r 2p2r is embedded in .ap3r .apr includes pr at pos 2 .a3p3r + 2p2r -> .a3p3r .arbi1 is embedded in .arbi1 +.arbi1 a1r is embedded in .arbi1 .+a1r 2r1b is embedded in .arbi1 .a+2r1b .arti1 is embedded in .arti1 +.arti1 a1r is embedded in .arti1 .ar includes ar at pos 1 .a1r + a1r -> .a1r 4r1t is embedded in .arti1 .a+4r1t t2i is embedded in .arti1 .arti includes ti at pos 3 .arti1 + t2i -> .art2i1 .as3p is embedded in .as3p +.as3p a1s is embedded in .as3p .+a1s 3s2p is embedded in .as3p .asp includes sp at pos 2 .as3p + 3s2p -> .a3s3p .at1 is embedded in .at1 +.at1 a1t is embedded in .at1 .at includes at at pos 1 .at1 + a1t -> .a1t1 .at1 is embedded in .ata1 .at includes .at at pos 0 .a1t1 + .at1 -> .a1t1 .ata1 is embedded in .ata1 +.ata1 a1t is embedded in .ata1 .at includes at at pos 1 .a1t1 + a1t -> .a1t1 t2a is embedded in .ata1 .ata includes ta at pos 2 .ata1 + t2a -> .at2a1 .at1 is embedded in .at3r .at includes .at at pos 0 .a1t1 + .at1 -> .a1t1 .at3r is embedded in .at3r +.at3r a1t is embedded in .at3r .at includes at at pos 1 .a1t1 + a1t -> .a1t1 2t1r is embedded in .at3r .atr includes tr at pos 2 .at3r + 2t1r -> .a2t3r .aš3v is embedded in .aš3v +.aš3v a1š is embedded in .aš3v .+a1š aš2v is embedded in .aš3v .ašv includes ašv at pos 1 .aš3v + aš2v -> .aš3v 3š1v is embedded in .aš3v .ašv includes šv at pos 2 .aš3v + 3š1v -> .a3š3v .dina1 is embedded in .dina1 +.dina1 4i1n is embedded in .dina1 .d+4i1n .ek3r is embedded in .ek3r +.ek3r e1k is embedded in .ek3r .+e1k e3kr is embedded in .ek3r .ekr includes ekr at pos 1 .ek3r + e3kr -> .e3k3r 2k2r is embedded in .ek3r .ekr includes kr at pos 2 .e3k3r + 2k2r -> .e3k3r .i2š3 is embedded in .i2š3 +.i2š3 i1š is embedded in .i2š3 .iš includes iš at pos 1 .i2š3 + i1š -> .i2š3 .i2š3 is embedded in .iši2 .iš includes .iš at pos 0 .i2š3 + .i2š3 -> .i2š3 .iši2 is embedded in .iši2 +.iši2 i1š is embedded in .iši2 .iš includes iš at pos 1 .i2š3 + i1š -> .i2š3 .kirti1 is embedded in .kirti1 +.kirti1 k4i is embedded in .kirti1 .+k4i i1r is embedded in .kirti1 .k+i1r 4r1t is embedded in .kirti1 .ki+4r1t t2i is embedded in .kirti1 .kirti includes ti at pos 4 .kirti1 + t2i -> .kirt2i1 .nu1 is embedded in .nu1 +.nu1 .nu1 is embedded in .nusi1 .nu includes .nu at pos 0 .nu1 + .nu1 -> .nu1 .nusi1 is embedded in .nusi1 +.nusi1 nu5s4 is embedded in .nusi1 .+nu5s4 u1s is embedded in .nusi1 .nus includes us at pos 2 .nu5s4 + u1s -> .nu5s4 .pie2č is embedded in .pie2č +.pie2č p2i is embedded in .pie2č .+p2i i2e is embedded in .pie2č .p+i2e e1č is embedded in .pie2č .pieč includes eč at pos 3 .pie2č + e1č -> .pie2č .sam1 is embedded in .sam1 +.sam1 a1m is embedded in .sam1 .sam includes am at pos 2 .sam1 + a1m -> .sa1m1 .sida1 is embedded in .sida1 +.sida1 si3d is embedded in .sida1 .+si3d i1d is embedded in .sida1 .sid includes id at pos 2 .si3d + i1d -> .si3d .sk4 is embedded in .sk4 +.sk4 3s2k2 is embedded in .sk4 .sk includes sk at pos 1 .sk4 + 3s2k2 -> .3s2k4 .st4 is embedded in .st4 +.st4 2s1t is embedded in .st4 .st includes st at pos 1 .st4 + 2s1t -> .2s1t4 .su5kr is embedded in .su5kr +.su5kr su1 is embedded in .su5kr .+su1 u1k is embedded in .su5kr .s+u1k u3kr is embedded in .su5kr .sukr includes ukr at pos 2 .su5kr + u3kr -> .su5kr 2k2r is embedded in .su5kr .sukr includes kr at pos 3 .su5kr + 2k2r -> .su5k2r .te3s2 is embedded in .te3s2 +.te3s2 e1s is embedded in .te3s2 .tes includes es at pos 2 .te3s2 + e1s -> .te3s2 .uk3 is embedded in .uk3 +.uk3 u1k is embedded in .uk3 .uk includes uk at pos 1 .uk3 + u1k -> .u1k3 .u2š3 is embedded in .u2š3 +.u2š3 u1š is embedded in .u2š3 .uš includes uš at pos 1 .u2š3 + u1š -> .u2š3 .už1 is embedded in .už1 +.už1 u1ž is embedded in .už1 .už includes už at pos 1 .už1 + u1ž -> .u1ž1 .įs4 is embedded in .įs4 +.įs4 į1s is embedded in .įs4 .įs includes įs at pos 1 .įs4 + į1s -> .į1s4 .šven1 is embedded in .šven1 +.šven1 3š1v is embedded in .šven1 .+3š1v v2e is embedded in .šven1 .š+v2e 2e1n is embedded in .šven1 .šven includes en at pos 4 .šven1 + 2e1n -> .šv2e1n1 a1a2 is embedded in a1a2 +a1a2 a1b is embedded in a1b +a1b a1c is embedded in a1c +a1c a1c is embedded in a2ch ac includes ac at pos 0 a1c + a1c -> a1c a2ch is embedded in a2ch +a2ch a1d is embedded in a1d +a1d a1d is embedded in a4dra ad includes ad at pos 0 a1d + a1d -> a1d a4dra is embedded in a4dra +a4dra 2d1r is embedded in a4dra a+2d1r r2a is embedded in a4dra adra includes ra at pos 2 a4dra + r2a -> a4dr2a a1e is embedded in a1e +a1e a1e is embedded in ae2l ae includes ae at pos 0 a1e + a1e -> a1e ae2l is embedded in ae2l +ae2l e1l is embedded in ae2l ael includes el at pos 1 ae2l + e1l -> ae2l a1f is embedded in a1f +a1f 2a1g is embedded in 2a1g +2a1g 2a1g is embedded in a4gr ag includes ag at pos 0 2a1g + 2a1g -> 2a1g a4gr is embedded in a4gr +a4gr 3g2r is embedded in a4gr agr includes gr at pos 1 a4gr + 3g2r -> a4g2r 2a1g is embedded in ag3ra ag includes ag at pos 0 2a1g + 2a1g -> 2a1g a4gr is embedded in ag3ra agr includes agr at pos 0 a4g2r + a4gr -> a4g2r ag3ra is embedded in ag3ra +ag3ra 3g2r is embedded in ag3ra agr includes gr at pos 1 a4g2r + 3g2r -> a4g2r r2a is embedded in ag3ra agra includes ra at pos 2 ag3ra + r2a -> ag3r2a 2a1g is embedded in a5grio ag includes ag at pos 0 2a1g + 2a1g -> 2a1g a4gr is embedded in a5grio agr includes agr at pos 0 a4g2r + a4gr -> a4g2r a5grio is embedded in a5grio +a5grio 3g2r is embedded in a5grio agr includes gr at pos 1 a4g2r + 3g2r -> a4g2r g3ri is embedded in a5grio a+g3ri 4g4rio is embedded in a5grio agrio includes grio at pos 1 a5grio + 4g4rio -> a5g4rio r2i is embedded in a5grio agri includes ri at pos 2 ag3ri + r2i -> ag3r2i 3rio is embedded in a5grio agrio includes rio at pos 2 a5g4rio + 3rio -> a5g4rio i2o is embedded in a5grio agrio includes io at pos 3 a5g4rio + i2o -> a5g4ri2o 2a1g is embedded in a5gro ag includes ag at pos 0 2a1g + 2a1g -> 2a1g a4gr is embedded in a5gro agr includes agr at pos 0 a4g2r + a4gr -> a4g2r a5gro is embedded in a5gro +a5gro 3g2r is embedded in a5gro agr includes gr at pos 1 a4g2r + 3g2r -> a4g2r r2o is embedded in a5gro agro includes ro at pos 2 a5gro + r2o -> a5gr2o a1h is embedded in a1h +a1h a5inf is embedded in a5inf +a5inf 4i1n is embedded in a5inf a+4i1n 2n1f is embedded in a5inf ainf includes nf at pos 2 a5inf + 2n1f -> a5i2n1f ai4sk is embedded in ai4sk +ai4sk 4i1s is embedded in ai4sk a+4i1s is4k is embedded in ai4sk aisk includes isk at pos 1 ai4sk + is4k -> ai4s4k 3s2k2 is embedded in ai4sk aisk includes sk at pos 2 ai4s4k + 3s2k2 -> ai4s4k2 ai4tr is embedded in ai4tr +ai4tr 2i3t2 is embedded in ai4tr a+2i3t2 2t1r is embedded in ai4tr aitr includes tr at pos 2 ai4tr + 2t1r -> ai4t1r a1j is embedded in a1j +a1j a1k is embedded in a1k +a1k a1k is embedded in ak2l ak includes ak at pos 0 a1k + a1k -> a1k ak2l is embedded in ak2l +ak2l 2k1l is embedded in ak2l akl includes kl at pos 1 ak2l + 2k1l -> a2k2l a1k is embedded in ak2vi ak includes ak at pos 0 a1k + a1k -> a1k ak2vi is embedded in ak2vi +ak2vi 2k1v is embedded in ak2vi a+2k1v a1k is embedded in a2kėt ak includes ak at pos 0 a1k + a1k -> a1k a2kėt is embedded in a2kėt +a2kėt 2ė3t is embedded in a2kėt akėt includes ėt at pos 2 a2kėt + 2ė3t -> a2k2ė3t a1l is embedded in a1l +a1l a1l is embedded in a3li al includes al at pos 0 a1l + a1l -> a1l a3li is embedded in a3li +a3li a1l is embedded in a5lo1 al includes al at pos 0 a1l + a1l -> a1l a5lo1 is embedded in a5lo1 +a5lo1 a1l is embedded in a3ly al includes al at pos 0 a1l + a1l -> a1l a3ly is embedded in a3ly +a3ly a1l is embedded in a3lė al includes al at pos 0 a1l + a1l -> a1l a3lė is embedded in a3lė +a3lė a1l is embedded in a3lū al includes al at pos 0 a1l + a1l -> a1l a3lū is embedded in a3lū +a3lū a1m is embedded in a1m +a1m a1n is embedded in a1n +a1n a1n is embedded in an3k2l an includes an at pos 0 a1n + a1n -> a1n an3k2l is embedded in an3k2l +an3k2l 2n1k is embedded in an3k2l a+2n1k 2k1l is embedded in an3k2l ankl includes kl at pos 2 an3k2l + 2k1l -> an3k2l a1n is embedded in an4sk an includes an at pos 0 a1n + a1n -> a1n an4sk is embedded in an4sk +an4sk 4n1s is embedded in an4sk a+4n1s 3s2k2 is embedded in an4sk ansk includes sk at pos 2 an4sk + 3s2k2 -> an4s2k2 a1n is embedded in an4tr an includes an at pos 0 a1n + a1n -> a1n an4tr is embedded in an4tr +an4tr 4n1t is embedded in an4tr a+4n1t 2t1r is embedded in an4tr antr includes tr at pos 2 an4tr + 2t1r -> an4t1r a2o is embedded in a2o +a2o a1p is embedded in a1p +a1p a1p is embedded in ap1a4k ap includes ap at pos 0 a1p + a1p -> a1p ap1a4k is embedded in ap1a4k +ap1a4k pa3 is embedded in ap1a4k a+pa3 a1k is embedded in ap1a4k apak includes ak at pos 2 ap1a4k + a1k -> ap1a4k a1p is embedded in ap3ei ap includes ap at pos 0 a1p + a1p -> a1p ap3ei is embedded in ap3ei +ap3ei p2e is embedded in ap3ei a+p2e a1p is embedded in ap3i2m ap includes ap at pos 0 a1p + a1p -> a1p ap3i2m is embedded in ap3i2m +ap3i2m p2i is embedded in ap3i2m a+p2i i1m is embedded in ap3i2m apim includes im at pos 2 ap3i2m + i1m -> ap3i2m a1p is embedded in ap3l ap includes ap at pos 0 a1p + a1p -> a1p ap3l is embedded in ap3l +ap3l 3p2l is embedded in ap3l apl includes pl at pos 1 ap3l + 3p2l -> a3p3l a1p is embedded in a3pr ap includes ap at pos 0 a1p + a1p -> a1p a3pr is embedded in a3pr +a3pr 2p2r is embedded in a3pr apr includes pr at pos 1 a3pr + 2p2r -> a3p2r a1p is embedded in ap3s2 ap includes ap at pos 0 a1p + a1p -> a1p ap3s2 is embedded in ap3s2 +ap3s2 4p1s is embedded in ap3s2 aps includes ps at pos 1 ap3s2 + 4p1s -> a4p3s2 a1r is embedded in a1r +a1r a1r is embedded in ar1eit ar includes ar at pos 0 a1r + a1r -> a1r ar1eit is embedded in ar1eit +ar1eit 4reit is embedded in ar1eit areit includes reit at pos 1 ar1eit + 4reit -> a4r1eit 2i3t2 is embedded in ar1eit areit includes it at pos 3 a4r1eit + 2i3t2 -> a4r1e2i3t2 a1r is embedded in a4rg ar includes ar at pos 0 a1r + a1r -> a1r a4rg is embedded in a4rg +a4rg 2r1g is embedded in a4rg arg includes rg at pos 1 a4rg + 2r1g -> a4r1g a1r is embedded in ari4s ar includes ar at pos 0 a1r + a1r -> a1r ari4s is embedded in ari4s +ari4s r2i is embedded in ari4s a+r2i 4i1s is embedded in ari4s aris includes is at pos 2 ari4s + 4i1s -> ar4i4s a1s is embedded in a1s +a1s a1s is embedded in asi1 as includes as at pos 0 a1s + a1s -> a1s asi1 is embedded in asi1 +asi1 a1s is embedded in asi5s as includes as at pos 0 a1s + a1s -> a1s asi1 is embedded in asi5s asi includes asi at pos 0 asi1 + asi1 -> asi1 asi5s is embedded in asi5s +asi5s si3s2 is embedded in asi5s asis includes sis at pos 1 asi5s + si3s2 -> asi5s2 4i1s is embedded in asi5s asis includes is at pos 2 asi5s2 + 4i1s -> as4i5s2 a1s is embedded in a4sk as includes as at pos 0 a1s + a1s -> a1s a4sk is embedded in a4sk +a4sk 3s2k2 is embedded in a4sk ask includes sk at pos 1 a4sk + 3s2k2 -> a4s2k2 a1s is embedded in as3kl as includes as at pos 0 a1s + a1s -> a1s a4sk is embedded in as3kl ask includes ask at pos 0 a4s2k2 + a4sk -> a4s2k2 as3kl is embedded in as3kl +as3kl 3s2k2 is embedded in as3kl ask includes sk at pos 1 a4s2k2 + 3s2k2 -> a4s2k2 2k1l is embedded in as3kl askl includes kl at pos 2 as3kl + 2k1l -> as3k1l a1s is embedded in a3sl as includes as at pos 0 a1s + a1s -> a1s a3sl is embedded in a3sl +a3sl 2s2l is embedded in a3sl asl includes sl at pos 1 a3sl + 2s2l -> a3s2l a1s is embedded in as2mi as includes as at pos 0 a1s + a1s -> a1s as2mi is embedded in as2mi +as2mi 2s1m is embedded in as2mi a+2s1m a1s is embedded in as2mu as includes as at pos 0 a1s + a1s -> a1s as2mu is embedded in as2mu +as2mu 2s1m is embedded in as2mu asm includes sm at pos 1 a2s1m + 2s1m -> a2s1m a1s is embedded in a5s4n as includes as at pos 0 a1s + a1s -> a1s a5s4n is embedded in a5s4n +a5s4n 4s3n is embedded in a5s4n asn includes sn at pos 1 a5s4n + 4s3n -> a5s4n a1s is embedded in a4stu as includes as at pos 0 a1s + a1s -> a1s a4stu is embedded in a4stu +a4stu 2s1t is embedded in a4stu a+2s1t a1t is embedded in a1t +a1t a1t is embedded in at3aug at includes at at pos 0 a1t + a1t -> a1t at3aug is embedded in at3aug +at3aug t2a is embedded in at3aug a+t2a a4u is embedded in at3aug at+a4u u1g is embedded in at3aug ataug includes ug at pos 3 at3aug + u1g -> at3au1g a1t is embedded in ate5ist at includes at at pos 0 a1t + a1t -> a1t ate5ist is embedded in ate5ist +ate5ist 2eis3t is embedded in ate5ist ateist includes eist at pos 2 ate5ist + 2eis3t -> at2e5is3t 4i1s is embedded in ate5ist ate+4i1s 2s1t is embedded in ate5ist ateist includes st at pos 4 at2e5is3t + 2s1t -> at2e5i2s3t a1t is embedded in at3i2m at includes at at pos 0 a1t + a1t -> a1t at3i2m is embedded in at3i2m +at3i2m t2i is embedded in at3i2m a+t2i i1m is embedded in at3i2m atim includes im at pos 2 at3i2m + i1m -> at3i2m a1t is embedded in ato1 at includes at at pos 0 a1t + a1t -> a1t ato1 is embedded in ato1 +ato1 t2o is embedded in ato1 ato includes to at pos 1 ato1 + t2o -> at2o1 a1t is embedded in atp4 at includes at at pos 0 a1t + a1t -> a1t atp4 is embedded in atp4 +atp4 2t3p is embedded in atp4 atp includes tp at pos 1 atp4 + 2t3p -> a2t3p4 a1t is embedded in a4tru at includes at at pos 0 a1t + a1t -> a1t a4tru is embedded in a4tru +a4tru 2t1r is embedded in a4tru a+2t1r r2u is embedded in a4tru atru includes ru at pos 2 a4tru + r2u -> a4tr2u a1t is embedded in at1ė2 at includes at at pos 0 a1t + a1t -> a1t at1ė2 is embedded in at1ė2 +at1ė2 a1t is embedded in atū2ž at includes at at pos 0 a1t + a1t -> a1t atū2ž is embedded in atū2ž +atū2ž ū1ž is embedded in atū2ž atūž includes ūž at pos 2 atū2ž + ū1ž -> atū2ž a4u is embedded in a4u +a4u a4u is embedded in au4kl au includes au at pos 0 a4u + a4u -> a4u au4kl is embedded in au4kl +au4kl u1k is embedded in au4kl a+u1k u3kl is embedded in au4kl aukl includes ukl at pos 1 au4kl + u3kl -> au4kl 2k1l is embedded in au4kl aukl includes kl at pos 2 au4kl + 2k1l -> au4k1l a4u is embedded in au4sk au includes au at pos 0 a4u + a4u -> a4u au4sk is embedded in au4sk +au4sk u1s is embedded in au4sk a+u1s 3s2k2 is embedded in au4sk ausk includes sk at pos 2 au4sk + 3s2k2 -> au4s2k2 a4u is embedded in au4sl au includes au at pos 0 a4u + a4u -> a4u au4sl is embedded in au4sl +au4sl u1s is embedded in au4sl aus includes us at pos 1 au1s + u1s -> au1s u3sl is embedded in au4sl ausl includes usl at pos 1 au4sl + u3sl -> au4sl 2s2l is embedded in au4sl ausl includes sl at pos 2 au4sl + 2s2l -> au4s2l a4u is embedded in au4t3r au includes au at pos 0 a4u + a4u -> a4u au4t3r is embedded in au4t3r +au4t3r u3t2 is embedded in au4t3r a+u3t2 2utr is embedded in au4t3r autr includes utr at pos 1 au4t3r + 2utr -> a2u4t3r 2t1r is embedded in au4t3r autr includes tr at pos 2 a2u4t3r + 2t1r -> a2u4t3r a1v is embedded in a1v +a1v a1w is embedded in a1w +a1w a1y is embedded in a1y +a1y a1z is embedded in a1z +a1z a1ą is embedded in a1ą +a1ą 2a1č is embedded in 2a1č +2a1č a1ę is embedded in a1ę +a1ę a1ė2 is embedded in a1ė2 +a1ė2 a1į is embedded in a1į +a1į a1š is embedded in a1š +a1š a1š is embedded in a3šn aš includes aš at pos 0 a1š + a1š -> a1š a3šn is embedded in a3šn +a3šn 2š1n is embedded in a3šn ašn includes šn at pos 1 a3šn + 2š1n -> a3š1n a1š is embedded in aš4tr aš includes aš at pos 0 a1š + a1š -> a1š aš4tr is embedded in aš4tr +aš4tr 4š3t2 is embedded in aš4tr a+4š3t2 2t1r is embedded in aš4tr aštr includes tr at pos 3 aš4tr + 2t1r -> aš4t1r a1š is embedded in aš2v aš includes aš at pos 0 a1š + a1š -> a1š aš2v is embedded in aš2v +aš2v 3š1v is embedded in aš2v ašv includes šv at pos 1 aš2v + 3š1v -> a3š2v a1ų is embedded in a1ų +a1ų a1ū2 is embedded in a1ū2 +a1ū2 a1ž is embedded in a1ž +a1ž a1ž is embedded in až2l až includes až at pos 0 a1ž + a1ž -> a1ž až2l is embedded in až2l +až2l 2ž1l is embedded in až2l ažl includes žl at pos 1 až2l + 2ž1l -> a2ž2l ba3c is embedded in ba3c +ba3c a1c is embedded in ba3c bac includes ac at pos 1 ba3c + a1c -> ba3c balta1 is embedded in balta1 +balta1 a1l is embedded in balta1 b+a1l 4l3t is embedded in balta1 ba+4l3t t2a is embedded in balta1 balta includes ta at pos 3 balta1 + t2a -> balt2a1 ba4sl is embedded in ba4sl +ba4sl a1s is embedded in ba4sl b+a1s a3sl is embedded in ba4sl basl includes asl at pos 1 ba4sl + a3sl -> ba4sl 2s2l is embedded in ba4sl basl includes sl at pos 2 ba4sl + 2s2l -> ba4s2l 2b1b is embedded in 2b1b +2b1b 2b1c is embedded in 2b1c +2b1c 4b3d is embedded in 4b3d +4b3d bep4 is embedded in bep4 +bep4 e3p is embedded in bep4 bep includes ep at pos 1 bep4 + e3p -> be3p4 be3s2 is embedded in be3s2 +be3s2 e1s is embedded in be3s2 bes includes es at pos 1 be3s2 + e1s -> be3s2 be3s2 is embedded in besi1 bes includes bes at pos 0 be3s2 + be3s2 -> be3s2 besi1 is embedded in besi1 +besi1 e1s is embedded in besi1 bes includes es at pos 1 be3s2 + e1s -> be3s2 be3t2 is embedded in be3t2 +be3t2 e1t is embedded in be3t2 bet includes et at pos 1 be3t2 + e1t -> be3t2 2b1f is embedded in 2b1f +2b1f 2b1g is embedded in 2b1g +2b1g 2b1h is embedded in 2b1h +2b1h b1j is embedded in b1j +b1j 2b1k is embedded in 2b1k +2b1k 2b1l is embedded in 2b1l +2b1l 2b1l is embedded in b2la bl includes bl at pos 0 2b1l + 2b1l -> 2b1l b2la is embedded in b2la +b2la 2b1l is embedded in b2liz bl includes bl at pos 0 2b1l + 2b1l -> 2b1l b2liz is embedded in b2liz +b2liz i1z is embedded in b2liz bliz includes iz at pos 2 b2liz + i1z -> b2li1z 2b1l is embedded in 3b2lo bl includes bl at pos 0 2b1l + 2b1l -> 2b1l 3b2lo is embedded in 3b2lo +3b2lo 2b1l is embedded in b2lu bl includes bl at pos 0 2b1l + 2b1l -> 2b1l b2lu is embedded in b2lu +b2lu 2b1m is embedded in 2b1m +2b1m 2b1n is embedded in 2b1n +2b1n 2b1p is embedded in 2b1p +2b1p 2b2r is embedded in 2b2r +2b2r 2b2r is embedded in b3ri br includes br at pos 0 2b2r + 2b2r -> 2b2r b3ri is embedded in b3ri +b3ri r2i is embedded in b3ri bri includes ri at pos 1 b3ri + r2i -> b3r2i 2b1s is embedded in 2b1s +2b1s 2b3t is embedded in 2b3t +2b3t bu4k is embedded in bu4k +bu4k u1k is embedded in bu4k buk includes uk at pos 1 bu4k + u1k -> bu4k 2b1v is embedded in 2b1v +2b1v 2b1w is embedded in 2b1w +2b1w 2b1z is embedded in 2b1z +2b1z 2b1č is embedded in 2b1č +2b1č 2b1š is embedded in 2b1š +2b1š 2b1ž is embedded in 2b1ž +2b1ž car4 is embedded in car4 +car4 a1r is embedded in car4 car includes ar at pos 1 car4 + a1r -> ca1r4 2c1b is embedded in 2c1b +2c1b 2c1c is embedded in 2c1c +2c1c 2c1d is embedded in 2c1d +2c1d 2c1f is embedded in 2c1f +2c1f 2c1g is embedded in 2c1g +2c1g 3chi is embedded in 3chi +3chi 2c1k is embedded in 2c1k +2c1k 2c1l is embedded in 2c1l +2c1l 2c1m is embedded in 2c1m +2c1m 2c1n is embedded in 2c1n +2c1n 2c1p is embedded in 2c1p +2c1p 2c1r is embedded in 2c1r +2c1r 2c1s is embedded in 2c1s +2c1s 2c1t is embedded in 2c1t +2c1t cu4 is embedded in cu4 +cu4 cu4 is embedded in cuk5 cu includes cu at pos 0 cu4 + cu4 -> cu4 cuk5 is embedded in cuk5 +cuk5 u1k is embedded in cuk5 cuk includes uk at pos 1 cuk5 + u1k -> cu1k5 2c1v is embedded in 2c1v +2c1v 2c1w is embedded in 2c1w +2c1w 2c1z is embedded in 2c1z +2c1z 2c1č is embedded in 2c1č +2c1č 2c1š is embedded in 2c1š +2c1š 2c1ž is embedded in 2c1ž +2c1ž da3b4 is embedded in da3b4 +da3b4 a1b is embedded in da3b4 dab includes ab at pos 1 da3b4 + a1b -> da3b4 2d1b is embedded in 2d1b +2d1b 2d1c is embedded in 2d1c +2d1c 2d1d is embedded in 2d1d +2d1d de4k is embedded in de4k +de4k e1k is embedded in de4k dek includes ek at pos 1 de4k + e1k -> de4k dema1 is embedded in dema1 +dema1 e1m is embedded in dema1 d+e1m m2a is embedded in dema1 dema includes ma at pos 2 dema1 + m2a -> dem2a1 de4pr is embedded in de4pr +de4pr e3p is embedded in de4pr d+e3p ep4r is embedded in de4pr depr includes epr at pos 1 de4pr + ep4r -> de4p4r 2p2r is embedded in de4pr depr includes pr at pos 2 de4p4r + 2p2r -> de4p4r de4sp is embedded in de4sp +de4sp e1s is embedded in de4sp d+e1s 3s2p is embedded in de4sp desp includes sp at pos 2 de4sp + 3s2p -> de4s2p 2d1f is embedded in 2d1f +2d1f 2d1g is embedded in 2d1g +2d1g 2d1h is embedded in 2d1h +2d1h di4p is embedded in di4p +di4p i1p is embedded in di4p dip includes ip at pos 1 di4p + i1p -> di4p di4s is embedded in di4s +di4s 4i1s is embedded in di4s dis includes is at pos 1 di4s + 4i1s -> d4i4s di4s is embedded in dis5k dis includes dis at pos 0 d4i4s + di4s -> d4i4s dis5k is embedded in dis5k +dis5k 4i1s is embedded in dis5k dis includes is at pos 1 d4i4s + 4i1s -> d4i4s is4k is embedded in dis5k disk includes isk at pos 1 dis5k + is4k -> dis5k 3s2k2 is embedded in dis5k disk includes sk at pos 2 dis5k + 3s2k2 -> di3s5k2 2d1j is embedded in 2d1j +2d1j 2d3k is embedded in 2d3k +2d3k 4d3l is embedded in 4d3l +4d3l 2d1m is embedded in 2d1m +2d1m 2d1n is embedded in 2d1n +2d1n do3ri is embedded in do3ri +do3ri o1r is embedded in do3ri d+o1r r2i is embedded in do3ri dori includes ri at pos 2 do3ri + r2i -> do3r2i 2d1p is embedded in 2d1p +2d1p 2d1r is embedded in 2d1r +2d1r 2d1r is embedded in dro1 dr includes dr at pos 0 2d1r + 2d1r -> 2d1r dro1 is embedded in dro1 +dro1 r2o is embedded in dro1 dro includes ro at pos 1 dro1 + r2o -> dr2o1 2d1r is embedded in dro2b dr includes dr at pos 0 2d1r + 2d1r -> 2d1r dro1 is embedded in dro2b dro includes dro at pos 0 dr2o1 + dro1 -> dr2o1 dro2b is embedded in dro2b +dro2b r2o is embedded in dro2b dro includes ro at pos 1 dr2o1 + r2o -> dr2o1 o1b is embedded in dro2b drob includes ob at pos 2 dro2b + o1b -> dro2b 2d1r is embedded in d2rė dr includes dr at pos 0 2d1r + 2d1r -> 2d1r d2rė is embedded in d2rė +d2rė 2d1r is embedded in 4drų dr includes dr at pos 0 2d1r + 2d1r -> 2d1r 4drų is embedded in 4drų +4drų 5rų is embedded in 4drų drų includes rų at pos 1 4drų + 5rų -> 4d5rų 2d1s is embedded in 2d1s +2d1s 2d1t is embedded in 2d1t +2d1t du2a is embedded in du2a +du2a u1a2 is embedded in du2a dua includes ua at pos 1 du2a + u1a2 -> du2a2 du4k is embedded in du4k +du4k u1k is embedded in du4k duk includes uk at pos 1 du4k + u1k -> du4k du4k is embedded in du5ka duk includes duk at pos 0 du4k + du4k -> du4k du5ka is embedded in du5ka +du5ka u1k is embedded in du5ka duk includes uk at pos 1 du4k + u1k -> du4k du4sl is embedded in du4sl +du4sl u1s is embedded in du4sl d+u1s u3sl is embedded in du4sl dusl includes usl at pos 1 du4sl + u3sl -> du4sl 2s2l is embedded in du4sl dusl includes sl at pos 2 du4sl + 2s2l -> du4s2l 2d1v is embedded in 2d1v +2d1v 2d1v is embedded in d3va dv includes dv at pos 0 2d1v + 2d1v -> 2d1v d3va is embedded in d3va +d3va 2d1v is embedded in dvi3a dv includes dv at pos 0 2d1v + 2d1v -> 2d1v dvi3a is embedded in dvi3a +dvi3a i2a is embedded in dvi3a dvia includes ia at pos 2 dvi3a + i2a -> dvi3a 2d1w is embedded in 2d1w +2d1w d4z is embedded in d4z +d4z 2d1č is embedded in 2d1č +2d1č 2d1š is embedded in 2d1š +2d1š d4ž is embedded in d4ž +d4ž d4ž is embedded in džio1 dž includes dž at pos 0 d4ž + d4ž -> d4ž džio1 is embedded in džio1 +džio1 žio3 is embedded in džio1 džio includes žio at pos 1 džio1 + žio3 -> džio3 i2o is embedded in džio1 džio includes io at pos 3 džio3 + i2o -> dži2o3 e1a2 is embedded in e1a2 +e1a2 e1a2 is embedded in e2a3l ea includes ea at pos 0 e1a2 + e1a2 -> e1a2 e2a3l is embedded in e2a3l +e2a3l a1l is embedded in e2a3l eal includes al at pos 1 e2a3l + a1l -> e2a3l e1a2 is embedded in eapi1 ea includes ea at pos 0 e1a2 + e1a2 -> e1a2 eapi1 is embedded in eapi1 +eapi1 a1p is embedded in eapi1 e+a1p p2i is embedded in eapi1 eapi includes pi at pos 2 eapi1 + p2i -> eap2i1 e1a2 is embedded in eat1 ea includes ea at pos 0 e1a2 + e1a2 -> e1a2 eat1 is embedded in eat1 +eat1 a1t is embedded in eat1 eat includes at at pos 1 eat1 + a1t -> ea1t1 e1b2 is embedded in e1b2 +e1b2 e1b2 is embedded in ebe1 eb includes eb at pos 0 e1b2 + e1b2 -> e1b2 ebe1 is embedded in ebe1 +ebe1 e1b2 is embedded in e3bl eb includes eb at pos 0 e1b2 + e1b2 -> e1b2 e3bl is embedded in e3bl +e3bl 2b1l is embedded in e3bl ebl includes bl at pos 1 e3bl + 2b1l -> e3b1l e1b2 is embedded in eb3r eb includes eb at pos 0 e1b2 + e1b2 -> e1b2 eb3r is embedded in eb3r +eb3r 2b2r is embedded in eb3r ebr includes br at pos 1 eb3r + 2b2r -> e2b3r e1c is embedded in e1c +e1c e1c is embedded in e2ch ec includes ec at pos 0 e1c + e1c -> e1c e2ch is embedded in e2ch +e2ch e3d2 is embedded in e3d2 +e3d2 e3d2 is embedded in ed3ri ed includes ed at pos 0 e3d2 + e3d2 -> e3d2 ed3ri is embedded in ed3ri +ed3ri 2d1r is embedded in ed3ri e+2d1r r2i is embedded in ed3ri edri includes ri at pos 2 ed3ri + r2i -> ed3r2i e3d2 is embedded in e4dro ed includes ed at pos 0 e3d2 + e3d2 -> e3d2 e4dro is embedded in e4dro +e4dro 2d1r is embedded in e4dro edr includes dr at pos 1 e2d1r + 2d1r -> e2d1r dro1 is embedded in e4dro edro includes dro at pos 1 e4dro + dro1 -> e4dro1 r2o is embedded in e4dro edro includes ro at pos 2 e4dro1 + r2o -> e4dr2o1 e3d2 is embedded in ed3rė ed includes ed at pos 0 e3d2 + e3d2 -> e3d2 ed3rė is embedded in ed3rė +ed3rė 2d1r is embedded in ed3rė edr includes dr at pos 1 e2d1r + 2d1r -> e2d1r d2rė is embedded in ed3rė edrė includes drė at pos 1 ed3rė + d2rė -> ed3rė e1e is embedded in e1e +e1e e1f is embedded in e1f +e1f e1g is embedded in e1g +e1g e1g is embedded in eg3ra eg includes eg at pos 0 e1g + e1g -> e1g eg3ra is embedded in eg3ra +eg3ra 3g2r is embedded in eg3ra e+3g2r r2a is embedded in eg3ra egra includes ra at pos 2 eg3ra + r2a -> eg3r2a e1h is embedded in e1h +e1h e1ie is embedded in e1ie +e1ie i2e is embedded in e1ie eie includes ie at pos 1 e1ie + i2e -> e1i2e ei4k3l is embedded in ei4k3l +ei4k3l i1k is embedded in ei4k3l e+i1k 2k1l is embedded in ei4k3l eikl includes kl at pos 2 ei4k3l + 2k1l -> ei4k3l 1ein is embedded in 1ein +1ein 4i1n is embedded in 1ein ein includes in at pos 1 1ein + 4i1n -> 1e4i1n ei4sk is embedded in ei4sk +ei4sk 4i1s is embedded in ei4sk e+4i1s is4k is embedded in ei4sk eisk includes isk at pos 1 ei4sk + is4k -> ei4s4k 3s2k2 is embedded in ei4sk eisk includes sk at pos 2 ei4s4k + 3s2k2 -> ei4s4k2 ei4sl is embedded in ei4sl +ei4sl 4i1s is embedded in ei4sl eis includes is at pos 1 e4i1s + 4i1s -> e4i1s i3sl is embedded in ei4sl eisl includes isl at pos 1 ei4sl + i3sl -> ei4sl 2s2l is embedded in ei4sl eisl includes sl at pos 2 ei4sl + 2s2l -> ei4s2l 2eis3t is embedded in 2eis3t +2eis3t 4i1s is embedded in 2eis3t eis includes is at pos 1 e4i1s + 4i1s -> e4i1s 2s1t is embedded in 2eis3t eist includes st at pos 2 2eis3t + 2s1t -> 2ei2s3t 2eis3t is embedded in eist2ra eist includes eist at pos 0 2ei2s3t + 2eis3t -> 2ei2s3t eist2ra is embedded in eist2ra +eist2ra 4i1s is embedded in eist2ra eis includes is at pos 1 e4i1s + 4i1s -> e4i1s 2s1t is embedded in eist2ra eist includes st at pos 2 2ei2s3t + 2s1t -> 2ei2s3t 2t1r is embedded in eist2ra eis+2t1r r2a is embedded in eist2ra eistra includes ra at pos 4 eist2ra + r2a -> eist2r2a ei2š1 is embedded in ei2š1 +ei2š1 i1š is embedded in ei2š1 eiš includes iš at pos 1 ei2š1 + i1š -> ei2š1 e1j is embedded in e1j +e1j e1k is embedded in e1k +e1k e1k is embedded in e3kr ek includes ek at pos 0 e1k + e1k -> e1k e3kr is embedded in e3kr +e3kr 2k2r is embedded in e3kr ekr includes kr at pos 1 e3kr + 2k2r -> e3k2r e1l is embedded in e1l +e1l e1m is embedded in e1m +e1m e1m is embedded in ema5s4 em includes em at pos 0 e1m + e1m -> e1m ema5s4 is embedded in ema5s4 +ema5s4 m2a is embedded in ema5s4 e+m2a 3mas is embedded in ema5s4 emas includes mas at pos 1 ema5s4 + 3mas -> e3ma5s4 a1s is embedded in ema5s4 emas includes as at pos 2 e3ma5s4 + a1s -> e3ma5s4 2e1n is embedded in 2e1n +2e1n 2e1n is embedded in en3k2l en includes en at pos 0 2e1n + 2e1n -> 2e1n en3k2l is embedded in en3k2l +en3k2l 2n1k is embedded in en3k2l e+2n1k 2k1l is embedded in en3k2l enkl includes kl at pos 2 en3k2l + 2k1l -> en3k2l 2e1n is embedded in enk4la en includes en at pos 0 2e1n + 2e1n -> 2e1n en3k2l is embedded in enk4la enkl includes enkl at pos 0 en3k2l + en3k2l -> en3k2l enk4la is embedded in enk4la +enk4la 2n1k is embedded in enk4la enk includes nk at pos 1 e2n1k + 2n1k -> e2n1k nk3la is embedded in enk4la enkla includes nkla at pos 1 enk4la + nk3la -> enk4la 2k1l is embedded in enk4la enkl includes kl at pos 2 en3k2l + 2k1l -> en3k2l 3k2la is embedded in enk4la enkla includes kla at pos 2 enk4la + 3k2la -> en3k4la 2e1n is embedded in eno1 en includes en at pos 0 2e1n + 2e1n -> 2e1n eno1 is embedded in eno1 +eno1 5no is embedded in eno1 eno includes no at pos 1 eno1 + 5no -> e5no1 2e1n is embedded in ens4 en includes en at pos 0 2e1n + 2e1n -> 2e1n ens4 is embedded in ens4 +ens4 4n1s is embedded in ens4 ens includes ns at pos 1 ens4 + 4n1s -> e4n1s4 2e1n is embedded in 4enta en includes en at pos 0 2e1n + 2e1n -> 2e1n 4enta is embedded in 4enta +4enta 4n1t is embedded in 4enta e+4n1t n3ta is embedded in 4enta enta includes nta at pos 1 4enta + n3ta -> 4en3ta t2a is embedded in 4enta enta includes ta at pos 2 4en3ta + t2a -> 4en3t2a 2e1n is embedded in enu1 en includes en at pos 0 2e1n + 2e1n -> 2e1n enu1 is embedded in enu1 +enu1 e2o is embedded in e2o +e2o e2o is embedded in e3or eo includes eo at pos 0 e2o + e2o -> e2o e3or is embedded in e3or +e3or o1r is embedded in e3or eor includes or at pos 1 e3or + o1r -> e3o1r e2o is embedded in e3o2š eo includes eo at pos 0 e2o + e2o -> e2o e3o2š is embedded in e3o2š +e3o2š o1š is embedded in e3o2š eoš includes oš at pos 1 e3o2š + o1š -> e3o2š e3p is embedded in e3p +e3p e3p is embedded in ep4li ep includes ep at pos 0 e3p + e3p -> e3p ep4li is embedded in ep4li +ep4li 3p2l is embedded in ep4li e+3p2l p3li is embedded in ep4li epli includes pli at pos 1 ep4li + p3li -> ep4li e3p is embedded in ep4r ep includes ep at pos 0 e3p + e3p -> e3p ep4r is embedded in ep4r +ep4r 2p2r is embedded in ep4r epr includes pr at pos 1 ep4r + 2p2r -> e2p4r e3p is embedded in epra1 ep includes ep at pos 0 e3p + e3p -> e3p ep4r is embedded in epra1 epr includes epr at pos 0 e2p4r + ep4r -> e2p4r epra1 is embedded in epra1 +epra1 2p2r is embedded in epra1 epr includes pr at pos 1 e2p4r + 2p2r -> e2p4r r2a is embedded in epra1 epra includes ra at pos 2 epra1 + r2a -> epr2a1 e3p is embedded in epri1 ep includes ep at pos 0 e3p + e3p -> e3p ep4r is embedded in epri1 epr includes epr at pos 0 e2p4r + ep4r -> e2p4r epri1 is embedded in epri1 +epri1 2p2r is embedded in epri1 epr includes pr at pos 1 e2p4r + 2p2r -> e2p4r p3ri is embedded in epri1 epri includes pri at pos 1 epri1 + p3ri -> ep3ri1 r2i is embedded in epri1 epri includes ri at pos 2 ep3ri1 + r2i -> ep3r2i1 e1r is embedded in e1r +e1r e1r is embedded in ere3a4 er includes er at pos 0 e1r + e1r -> e1r ere3a4 is embedded in ere3a4 +ere3a4 e1a2 is embedded in ere3a4 erea includes ea at pos 2 ere3a4 + e1a2 -> ere3a4 e1r is embedded in eri4s er includes er at pos 0 e1r + e1r -> e1r eri4s is embedded in eri4s +eri4s r2i is embedded in eri4s e+r2i 4i1s is embedded in eri4s eris includes is at pos 2 eri4s + 4i1s -> er4i4s e1r is embedded in ero1 er includes er at pos 0 e1r + e1r -> e1r ero1 is embedded in ero1 +ero1 r2o is embedded in ero1 ero includes ro at pos 1 ero1 + r2o -> er2o1 e1r is embedded in erė2 er includes er at pos 0 e1r + e1r -> e1r erė2 is embedded in erė2 +erė2 e1s is embedded in e1s +e1s e1s is embedded in esi5s es includes es at pos 0 e1s + e1s -> e1s esi5s is embedded in esi5s +esi5s si3s2 is embedded in esi5s esis includes sis at pos 1 esi5s + si3s2 -> esi5s2 4i1s is embedded in esi5s esis includes is at pos 2 esi5s2 + 4i1s -> es4i5s2 e1s is embedded in es4k es includes es at pos 0 e1s + e1s -> e1s es4k is embedded in es4k +es4k 3s2k2 is embedded in es4k esk includes sk at pos 1 es4k + 3s2k2 -> e3s4k2 e1s is embedded in eska1 es includes es at pos 0 e1s + e1s -> e1s es4k is embedded in eska1 esk includes esk at pos 0 e3s4k2 + es4k -> e3s4k2 eska1 is embedded in eska1 +eska1 3s2k2 is embedded in eska1 esk includes sk at pos 1 e3s4k2 + 3s2k2 -> e3s4k2 e1s is embedded in e5sko es includes es at pos 0 e1s + e1s -> e1s es4k is embedded in e5sko esk includes esk at pos 0 e3s4k2 + es4k -> e3s4k2 e5sko is embedded in e5sko +e5sko 3s2k2 is embedded in e5sko esk includes sk at pos 1 e3s4k2 + 3s2k2 -> e3s4k2 3ko is embedded in e5sko esko includes ko at pos 2 e5sko + 3ko -> e5s3ko e1s is embedded in e3s2v es includes es at pos 0 e1s + e1s -> e1s e3s2v is embedded in e3s2v +e3s2v 2s1v is embedded in e3s2v esv includes sv at pos 1 e3s2v + 2s1v -> e3s2v e1t is embedded in e1t +e1t e1u4 is embedded in e1u4 +e1u4 e1u4 is embedded in euž3 eu includes eu at pos 0 e1u4 + e1u4 -> e1u4 euž3 is embedded in euž3 +euž3 u1ž is embedded in euž3 euž includes už at pos 1 euž3 + u1ž -> eu1ž3 e1v is embedded in e1v +e1v e1v is embedded in e3vi ev includes ev at pos 0 e1v + e1v -> e1v e3vi is embedded in e3vi +e3vi e1w is embedded in e1w +e1w e1y is embedded in e1y +e1y e1z is embedded in e1z +e1z e1ą is embedded in e1ą +e1ą e1č is embedded in e1č +e1č e1ę is embedded in e1ę +e1ę e1ė is embedded in e1ė +e1ė e1į4 is embedded in e1į4 +e1į4 e1į4 is embedded in eįp3 eį includes eį at pos 0 e1į4 + e1į4 -> e1į4 eįp3 is embedded in eįp3 +eįp3 į4p is embedded in eįp3 eįp includes įp at pos 1 eįp3 + į4p -> eį4p3 e1į4 is embedded in eįs3k eį includes eį at pos 0 e1į4 + e1į4 -> e1į4 eįs3k is embedded in eįs3k +eįs3k į1s is embedded in eįs3k e+į1s 3s2k2 is embedded in eįs3k eįsk includes sk at pos 3 eįs3k + 3s2k2 -> eį3s3k2 e1į4 is embedded in eįt3r eį includes eį at pos 0 e1į4 + e1į4 -> e1į4 eįt3r is embedded in eįt3r +eįt3r į2t2 is embedded in eįt3r e+į2t2 2t1r is embedded in eįt3r eįtr includes tr at pos 3 eįt3r + 2t1r -> eį2t3r e1š is embedded in e1š +e1š e1š is embedded in e3šn eš includes eš at pos 0 e1š + e1š -> e1š e3šn is embedded in e3šn +e3šn 2š1n is embedded in e3šn ešn includes šn at pos 1 e3šn + 2š1n -> e3š1n e1š is embedded in eš2v eš includes eš at pos 0 e1š + e1š -> e1š eš2v is embedded in eš2v +eš2v 3š1v is embedded in eš2v ešv includes šv at pos 1 eš2v + 3š1v -> e3š2v e1š is embedded in ešė3 eš includes eš at pos 0 e1š + e1š -> e1š ešė3 is embedded in ešė3 +ešė3 e1ų is embedded in e1ų +e1ų e1ū is embedded in e1ū +e1ū e1ž is embedded in e1ž +e1ž 2f1b is embedded in 2f1b +2f1b 2f1c is embedded in 2f1c +2f1c 2f1d is embedded in 2f1d +2f1d 2f1f is embedded in 2f1f +2f1f 2f1g is embedded in 2f1g +2f1g 2f1h is embedded in 2f1h +2f1h fi4s5 is embedded in fi4s5 +fi4s5 4i1s is embedded in fi4s5 fis includes is at pos 1 fi4s5 + 4i1s -> f4i4s5 2f1k is embedded in 2f1k +2f1k 2f1l is embedded in 2f1l +2f1l 2f1m is embedded in 2f1m +2f1m 2f1n is embedded in 2f1n +2f1n 2f1p is embedded in 2f1p +2f1p 2f1r is embedded in 2f1r +2f1r 2f1r is embedded in fri1 fr includes fr at pos 0 2f1r + 2f1r -> 2f1r fri1 is embedded in fri1 +fri1 r2i is embedded in fri1 fri includes ri at pos 1 fri1 + r2i -> fr2i1 2f1s is embedded in 2f1s +2f1s 2f1t is embedded in 2f1t +2f1t 2f1v is embedded in 2f1v +2f1v 2f1w is embedded in 2f1w +2f1w 2f1z is embedded in 2f1z +2f1z 2f1č is embedded in 2f1č +2f1č 2f1š is embedded in 2f1š +2f1š 2f1ž is embedded in 2f1ž +2f1ž gaš3 is embedded in gaš3 +gaš3 a1š is embedded in gaš3 gaš includes aš at pos 1 gaš3 + a1š -> ga1š3 2g1b is embedded in 2g1b +2g1b 2g1c is embedded in 2g1c +2g1c 2g1d is embedded in 2g1d +2g1d ge4o1 is embedded in ge4o1 +ge4o1 e2o is embedded in ge4o1 geo includes eo at pos 1 ge4o1 + e2o -> ge4o1 2g1f is embedded in 2g1f +2g1f 2g1g is embedded in 2g1g +2g1g 2g1h is embedded in 2g1h +2g1h 2g1k is embedded in 2g1k +2g1k 2g1l is embedded in 2g1l +2g1l 2g1l is embedded in g2le gl includes gl at pos 0 2g1l + 2g1l -> 2g1l g2le is embedded in g2le +g2le 2g1l is embedded in g2lo gl includes gl at pos 0 2g1l + 2g1l -> 2g1l g2lo is embedded in g2lo +g2lo 2g1m is embedded in 2g1m +2g1m 2g1n is embedded in 2g1n +2g1n 2g1n is embedded in 3g2nų gn includes gn at pos 0 2g1n + 2g1n -> 2g1n 3g2nų is embedded in 3g2nų +3g2nų 2g1p2 is embedded in 2g1p2 +2g1p2 3g2r is embedded in 3g2r +3g2r 3g2r is embedded in grai2 gr includes gr at pos 0 3g2r + 3g2r -> 3g2r grai2 is embedded in grai2 +grai2 r2a is embedded in grai2 g+r2a 3g2r is embedded in g3ran gr includes gr at pos 0 3g2r + 3g2r -> 3g2r g3ran is embedded in g3ran +g3ran r2a is embedded in g3ran gra includes ra at pos 1 gr2a + r2a -> gr2a a1n is embedded in g3ran gran includes an at pos 2 g3ran + a1n -> g3ra1n 3g2r is embedded in 5g3re gr includes gr at pos 0 3g2r + 3g2r -> 3g2r 5g3re is embedded in 5g3re +5g3re 3g2r is embedded in g4rei gr includes gr at pos 0 3g2r + 3g2r -> 3g2r 5g3re is embedded in g4rei gre includes gre at pos 0 5g3re + 5g3re -> 5g3re g4rei is embedded in g4rei +g4rei 3g2r is embedded in g3ri gr includes gr at pos 0 3g2r + 3g2r -> 3g2r g3ri is embedded in g3ri +g3ri r2i is embedded in g3ri gri includes ri at pos 1 g3ri + r2i -> g3r2i 3g2r is embedded in 4g4rio gr includes gr at pos 0 3g2r + 3g2r -> 3g2r g3ri is embedded in 4g4rio gri includes gri at pos 0 g3r2i + g3ri -> g3r2i 4g4rio is embedded in 4g4rio +4g4rio r2i is embedded in 4g4rio gri includes ri at pos 1 g3r2i + r2i -> g3r2i 3rio is embedded in 4g4rio grio includes rio at pos 1 4g4rio + 3rio -> 4g4rio i2o is embedded in 4g4rio grio includes io at pos 2 4g4rio + i2o -> 4g4ri2o 3g2r is embedded in g3ro. gr includes gr at pos 0 3g2r + 3g2r -> 3g2r g3ro. is embedded in g3ro. +g3ro. r2o is embedded in g3ro. g+r2o 3g2r is embedded in g4rą gr includes gr at pos 0 3g2r + 3g2r -> 3g2r g4rą is embedded in g4rą +g4rą 3rą is embedded in g4rą grą includes rą at pos 1 g4rą + 3rą -> g4rą 3g2r is embedded in 5grį gr includes gr at pos 0 3g2r + 3g2r -> 3g2r 5grį is embedded in 5grį +5grį 3g2r is embedded in 4grų gr includes gr at pos 0 3g2r + 3g2r -> 3g2r 4grų is embedded in 4grų +4grų 5rų is embedded in 4grų grų includes rų at pos 1 4grų + 5rų -> 4g5rų 2g1s is embedded in 2g1s +2g1s 4g1t is embedded in 4g1t +4g1t 3gu is embedded in 3gu +3gu 2g1v is embedded in 2g1v +2g1v 2g1w is embedded in 2g1w +2g1w gyva1 is embedded in gyva1 +gyva1 y1v is embedded in gyva1 g+y1v 2g1z is embedded in 2g1z +2g1z 2g1č is embedded in 2g1č +2g1č 2g1š is embedded in 2g1š +2g1š 2g1ž is embedded in 2g1ž +2g1ž 2h1b is embedded in 2h1b +2h1b 2h1c is embedded in 2h1c +2h1c 2h1d is embedded in 2h1d +2h1d 2h1f is embedded in 2h1f +2h1f 2h1g is embedded in 2h1g +2h1g 2h1h is embedded in 2h1h +2h1h hi4b is embedded in hi4b +hi4b i3b2 is embedded in hi4b hib includes ib at pos 1 hi4b + i3b2 -> hi4b2 2h1k is embedded in 2h1k +2h1k 2h2l is embedded in 2h2l +2h2l 2h1m is embedded in 2h1m +2h1m 2h1m is embedded in h2me hm includes hm at pos 0 2h1m + 2h1m -> 2h1m h2me is embedded in h2me +h2me 2h1n is embedded in 2h1n +2h1n 2h1p is embedded in 2h1p +2h1p 2h1r is embedded in 2h1r +2h1r 2h1s is embedded in 2h1s +2h1s 2h1t is embedded in 2h1t +2h1t 2h1v is embedded in 2h1v +2h1v 2h1w is embedded in 2h1w +2h1w 2h1z is embedded in 2h1z +2h1z 2h1č is embedded in 2h1č +2h1č 2h1š is embedded in 2h1š +2h1š 2h1ž is embedded in 2h1ž +2h1ž i2a is embedded in i2a +i2a i2a is embedded in ia5g4 ia includes ia at pos 0 i2a + i2a -> i2a ia5g4 is embedded in ia5g4 +ia5g4 2a1g is embedded in ia5g4 iag includes ag at pos 1 ia5g4 + 2a1g -> i2a5g4 i2a is embedded in i3aiš ia includes ia at pos 0 i2a + i2a -> i2a i3aiš is embedded in i3aiš +i3aiš i1š is embedded in i3aiš iaiš includes iš at pos 2 i3aiš + i1š -> i3ai1š i2a is embedded in ia3k ia includes ia at pos 0 i2a + i2a -> i2a ia3k is embedded in ia3k +ia3k a1k is embedded in ia3k iak includes ak at pos 1 ia3k + a1k -> ia3k i2a is embedded in i3antę ia includes ia at pos 0 i2a + i2a -> i2a i3antę is embedded in i3antę +i3antę a1n is embedded in i3antę i+a1n 4n1t is embedded in i3antę ia+4n1t 3tę is embedded in i3antę iantę includes tę at pos 3 i3antę + 3tę -> i3an3tę i2a is embedded in i3antė ia includes ia at pos 0 i2a + i2a -> i2a i3antė is embedded in i3antė +i3antė a1n is embedded in i3antė ian includes an at pos 1 ia1n + a1n -> ia1n 4n1t is embedded in i3antė iant includes nt at pos 2 ia4n1t + 4n1t -> ia4n1t i2a is embedded in iap4 ia includes ia at pos 0 i2a + i2a -> i2a iap4 is embedded in iap4 +iap4 a1p is embedded in iap4 iap includes ap at pos 1 iap4 + a1p -> ia1p4 i2a is embedded in i3ar ia includes ia at pos 0 i2a + i2a -> i2a i3ar is embedded in i3ar +i3ar a1r is embedded in i3ar iar includes ar at pos 1 i3ar + a1r -> i3a1r i3b2 is embedded in i3b2 +i3b2 i1c is embedded in i1c +i1c i1c is embedded in ice1 ic includes ic at pos 0 i1c + i1c -> i1c ice1 is embedded in ice1 +ice1 i1d is embedded in i1d +i1d i1d is embedded in id2r id includes id at pos 0 i1d + i1d -> i1d id2r is embedded in id2r +id2r 2d1r is embedded in id2r idr includes dr at pos 1 id2r + 2d1r -> i2d2r i1d is embedded in id3rė id includes id at pos 0 i1d + i1d -> i1d id2r is embedded in id3rė idr includes idr at pos 0 i2d2r + id2r -> i2d2r id3rė is embedded in id3rė +id3rė 2d1r is embedded in id3rė idr includes dr at pos 1 i2d2r + 2d1r -> i2d2r d2rė is embedded in id3rė idrė includes drė at pos 1 id3rė + d2rė -> id3rė i1d is embedded in i2dėm id includes id at pos 0 i1d + i1d -> i1d i2dėm is embedded in i2dėm +i2dėm ė1m is embedded in i2dėm idėm includes ėm at pos 2 i2dėm + ė1m -> i2dė1m i2e is embedded in i2e +i2e i2e is embedded in ie4d3r ie includes ie at pos 0 i2e + i2e -> i2e ie4d3r is embedded in ie4d3r +ie4d3r e3d2 is embedded in ie4d3r i+e3d2 2d1r is embedded in ie4d3r iedr includes dr at pos 2 ie4d3r + 2d1r -> ie4d3r i2e is embedded in ie3g ie includes ie at pos 0 i2e + i2e -> i2e ie3g is embedded in ie3g +ie3g e1g is embedded in ie3g ieg includes eg at pos 1 ie3g + e1g -> ie3g i2e is embedded in i3ei ie includes ie at pos 0 i2e + i2e -> i2e i3ei is embedded in i3ei +i3ei i2e is embedded in ie3kl ie includes ie at pos 0 i2e + i2e -> i2e ie3kl is embedded in ie3kl +ie3kl e1k is embedded in ie3kl i+e1k 2k1l is embedded in ie3kl iekl includes kl at pos 2 ie3kl + 2k1l -> ie3k1l i2e is embedded in i3ent ie includes ie at pos 0 i2e + i2e -> i2e i3ent is embedded in i3ent +i3ent 2e1n is embedded in i3ent i+2e1n 4n1t is embedded in i3ent ient includes nt at pos 2 i3ent + 4n1t -> i3e4n1t i2e is embedded in ie4p5r ie includes ie at pos 0 i2e + i2e -> i2e ie4p5r is embedded in ie4p5r +ie4p5r e3p is embedded in ie4p5r i+e3p ep4r is embedded in ie4p5r iepr includes epr at pos 1 ie4p5r + ep4r -> ie4p5r 2p2r is embedded in ie4p5r iepr includes pr at pos 2 ie4p5r + 2p2r -> ie4p5r i2e is embedded in ie4sk ie includes ie at pos 0 i2e + i2e -> i2e ie4sk is embedded in ie4sk +ie4sk e1s is embedded in ie4sk i+e1s es4k is embedded in ie4sk iesk includes esk at pos 1 ie4sk + es4k -> ie4s4k 3s2k2 is embedded in ie4sk iesk includes sk at pos 2 ie4s4k + 3s2k2 -> ie4s4k2 i1f is embedded in i1f +i1f 2i1g is embedded in 2i1g +2i1g 2i1g is embedded in i3g2l ig includes ig at pos 0 2i1g + 2i1g -> 2i1g i3g2l is embedded in i3g2l +i3g2l 2g1l is embedded in i3g2l igl includes gl at pos 1 i3g2l + 2g1l -> i3g2l 2i1g is embedded in ig3ru ig includes ig at pos 0 2i1g + 2i1g -> 2i1g ig3ru is embedded in ig3ru +ig3ru 3g2r is embedded in ig3ru i+3g2r r2u is embedded in ig3ru igru includes ru at pos 2 ig3ru + r2u -> ig3r2u 2i1h is embedded in 2i1h +2i1h i1i2 is embedded in i1i2 +i1i2 i1j is embedded in i1j +i1j i1k is embedded in i1k +i1k i1k is embedded in i3k2n ik includes ik at pos 0 i1k + i1k -> i1k i3k2n is embedded in i3k2n +i3k2n 2k1n is embedded in i3k2n ikn includes kn at pos 1 i3k2n + 2k1n -> i3k2n i1k is embedded in ik3r ik includes ik at pos 0 i1k + i1k -> i1k ik3r is embedded in ik3r +ik3r 2k2r is embedded in ik3r ikr includes kr at pos 1 ik3r + 2k2r -> i2k3r i1l is embedded in i1l +i1l i1l is embedded in ilo1 il includes il at pos 0 i1l + i1l -> i1l ilo1 is embedded in ilo1 +ilo1 i1m is embedded in i1m +i1m i1m is embedded in 1imd im includes im at pos 0 i1m + i1m -> i1m 1imd is embedded in 1imd +1imd 2m1d is embedded in 1imd imd includes md at pos 1 1imd + 2m1d -> 1i2m1d 4i1n is embedded in 4i1n +4i1n 4i1n is embedded in in4kl in includes in at pos 0 4i1n + 4i1n -> 4i1n in4kl is embedded in in4kl +in4kl 2n1k is embedded in in4kl i+2n1k 2k1l is embedded in in4kl inkl includes kl at pos 2 in4kl + 2k1l -> in4k1l 4i1n is embedded in 5inv in includes in at pos 0 4i1n + 4i1n -> 4i1n 5inv is embedded in 5inv +5inv 2n1v is embedded in 5inv inv includes nv at pos 1 5inv + 2n1v -> 5i2n1v i2o is embedded in i2o +i2o i2o is embedded in io4g3r io includes io at pos 0 i2o + i2o -> i2o io4g3r is embedded in io4g3r +io4g3r o1g is embedded in io4g3r i+o1g 3g2r is embedded in io4g3r iogr includes gr at pos 2 io4g3r + 3g2r -> io4g3r i2o is embedded in iok2 io includes io at pos 0 i2o + i2o -> i2o iok2 is embedded in iok2 +iok2 o1k is embedded in iok2 iok includes ok at pos 1 iok2 + o1k -> io1k2 i2o is embedded in io4pl io includes io at pos 0 i2o + i2o -> i2o io4pl is embedded in io4pl +io4pl o1p is embedded in io4pl i+o1p 3p2l is embedded in io4pl iopl includes pl at pos 2 io4pl + 3p2l -> io4p2l i2o is embedded in i3or io includes io at pos 0 i2o + i2o -> i2o i3or is embedded in i3or +i3or o1r is embedded in i3or ior includes or at pos 1 i3or + o1r -> i3o1r i1p is embedded in i1p +i1p i1p is embedded in i2p1j ip includes ip at pos 0 i1p + i1p -> i1p i2p1j is embedded in i2p1j +i2p1j i1p is embedded in ip3ru ip includes ip at pos 0 i1p + i1p -> i1p ip3ru is embedded in ip3ru +ip3ru 2p2r is embedded in ip3ru i+2p2r r2u is embedded in ip3ru ipru includes ru at pos 2 ip3ru + r2u -> ip3r2u i1r is embedded in i1r +i1r i1r is embedded in ira3s2 ir includes ir at pos 0 i1r + i1r -> i1r ira3s2 is embedded in ira3s2 +ira3s2 r2a is embedded in ira3s2 i+r2a a1s is embedded in ira3s2 iras includes as at pos 2 ira3s2 + a1s -> ira3s2 i1r is embedded in i3ri ir includes ir at pos 0 i1r + i1r -> i1r i3ri is embedded in i3ri +i3ri r2i is embedded in i3ri iri includes ri at pos 1 i3ri + r2i -> i3r2i 4i1s is embedded in 4i1s +4i1s 4i1s is embedded in i5sa is includes is at pos 0 4i1s + 4i1s -> 4i1s i5sa is embedded in i5sa +i5sa 4i1s is embedded in i5si is includes is at pos 0 4i1s + 4i1s -> 4i1s i5si is embedded in i5si +i5si 4i1s is embedded in is4k is includes is at pos 0 4i1s + 4i1s -> 4i1s is4k is embedded in is4k +is4k 3s2k2 is embedded in is4k isk includes sk at pos 1 is4k + 3s2k2 -> i3s4k2 4i1s is embedded in i3sl is includes is at pos 0 4i1s + 4i1s -> 4i1s i3sl is embedded in i3sl +i3sl 2s2l is embedded in i3sl isl includes sl at pos 1 i3sl + 2s2l -> i3s2l 4i1s is embedded in is4li is includes is at pos 0 4i1s + 4i1s -> 4i1s i3sl is embedded in is4li isl includes isl at pos 0 i3s2l + i3sl -> i3s2l is4li is embedded in is4li +is4li 2s2l is embedded in is4li isl includes sl at pos 1 i3s2l + 2s2l -> i3s2l s3li is embedded in is4li isli includes sli at pos 1 is4li + s3li -> is4li 4i1s is embedded in i5s4n is includes is at pos 0 4i1s + 4i1s -> 4i1s i5s4n is embedded in i5s4n +i5s4n 4s3n is embedded in i5s4n isn includes sn at pos 1 i5s4n + 4s3n -> i5s4n 4i1s is embedded in i4ste is includes is at pos 0 4i1s + 4i1s -> 4i1s i4ste is embedded in i4ste +i4ste 2s1t is embedded in i4ste i+2s1t 4i1s is embedded in isto1 is includes is at pos 0 4i1s + 4i1s -> 4i1s isto1 is embedded in isto1 +isto1 2s1t is embedded in isto1 ist includes st at pos 1 i2s1t + 2s1t -> i2s1t t2o is embedded in isto1 isto includes to at pos 2 isto1 + t2o -> ist2o1 2i3t2 is embedded in 2i3t2 +2i3t2 i2u is embedded in i2u +i2u i1v is embedded in i1v +i1v i1w is embedded in i1w +i1w i1y is embedded in i1y +i1y i1z is embedded in i1z +i1z i2ą is embedded in i2ą +i2ą i1č is embedded in i1č +i1č i1ę is embedded in i1ę +i1ę i1ė2 is embedded in i1ė2 +i1ė2 i1į is embedded in i1į +i1į i1š is embedded in i1š +i1š i1š is embedded in i3šn iš includes iš at pos 0 i1š + i1š -> i1š i3šn is embedded in i3šn +i3šn 2š1n is embedded in i3šn išn includes šn at pos 1 i3šn + 2š1n -> i3š1n i1š is embedded in iš5t iš includes iš at pos 0 i1š + i1š -> i1š iš5t is embedded in iš5t +iš5t 4š3t2 is embedded in iš5t išt includes št at pos 1 iš5t + 4š3t2 -> i4š5t2 i1š is embedded in i4šv iš includes iš at pos 0 i1š + i1š -> i1š i4šv is embedded in i4šv +i4šv 3š1v is embedded in i4šv išv includes šv at pos 1 i4šv + 3š1v -> i4š1v i1š is embedded in išė2 iš includes iš at pos 0 i1š + i1š -> i1š išė2 is embedded in išė2 +išė2 i1š is embedded in 1išš iš includes iš at pos 0 i1š + i1š -> i1š 1išš is embedded in 1išš +1išš 2š1š is embedded in 1išš išš includes šš at pos 1 1išš + 2š1š -> 1i2š1š i2ų is embedded in i2ų +i2ų i2ū is embedded in i2ū +i2ū i3ž is embedded in i3ž +i3ž 3ja. is embedded in 3ja. +3ja. jauna1 is embedded in jauna1 +jauna1 a4u is embedded in jauna1 j+a4u u1n is embedded in jauna1 ja+u1n 2j1b is embedded in 2j1b +2j1b 2j1c is embedded in 2j1c +2j1c 2j1d is embedded in 2j1d +2j1d 2j1f is embedded in 2j1f +2j1f 2j1g is embedded in 2j1g +2j1g 2j1h is embedded in 2j1h +2j1h 2j1j is embedded in 2j1j +2j1j 2j1k is embedded in 2j1k +2j1k 2j1l is embedded in 2j1l +2j1l 2j1m is embedded in 2j1m +2j1m 2j1n is embedded in 2j1n +2j1n jot3 is embedded in jot3 +jot3 o3t2 is embedded in jot3 jot includes ot at pos 1 jot3 + o3t2 -> jo3t3 jot3 is embedded in jo4tv jot includes jot at pos 0 jo3t3 + jot3 -> jo3t3 jo4tv is embedded in jo4tv +jo4tv o3t2 is embedded in jo4tv jot includes ot at pos 1 jo3t3 + o3t2 -> jo3t3 2t1v is embedded in jo4tv jotv includes tv at pos 2 jo4tv + 2t1v -> jo4t1v 2j1p is embedded in 2j1p +2j1p 2j1r is embedded in 2j1r +2j1r 2j1s is embedded in 2j1s +2j1s 2j1t is embedded in 2j1t +2j1t 1ju is embedded in 1ju +1ju 2j1v is embedded in 2j1v +2j1v 2j1w is embedded in 2j1w +2j1w 2j1z is embedded in 2j1z +2j1z 2j1č is embedded in 2j1č +2j1č 2j1š is embedded in 2j1š +2j1š 1jū is embedded in 1jū +1jū 2j1ž is embedded in 2j1ž +2j1ž 3ka. is embedded in 3ka. +3ka. 5ka3d is embedded in 5ka3d +5ka3d a1d is embedded in 5ka3d kad includes ad at pos 1 5ka3d + a1d -> 5ka3d kak3 is embedded in kak3 +kak3 a1k is embedded in kak3 kak includes ak at pos 1 kak3 + a1k -> ka1k3 kak3 is embedded in ka4kl kak includes kak at pos 0 ka1k3 + kak3 -> ka1k3 ka4kl is embedded in ka4kl +ka4kl a1k is embedded in ka4kl kak includes ak at pos 1 ka1k3 + a1k -> ka1k3 ak2l is embedded in ka4kl kakl includes akl at pos 1 ka4kl + ak2l -> ka4k2l 2k1l is embedded in ka4kl kakl includes kl at pos 2 ka4k2l + 2k1l -> ka4k2l ka4pr is embedded in ka4pr +ka4pr a1p is embedded in ka4pr k+a1p a3pr is embedded in ka4pr kapr includes apr at pos 1 ka4pr + a3pr -> ka4pr 2p2r is embedded in ka4pr kapr includes pr at pos 2 ka4pr + 2p2r -> ka4p2r 3kar is embedded in 3kar +3kar a1r is embedded in 3kar kar includes ar at pos 1 3kar + a1r -> 3ka1r 3kas is embedded in 3kas +3kas a1s is embedded in 3kas kas includes as at pos 1 3kas + a1s -> 3ka1s 3kati is embedded in 3kati +3kati a1t is embedded in 3kati k+a1t t2i is embedded in 3kati kati includes ti at pos 2 3kati + t2i -> 3kat2i 5kav is embedded in 5kav +5kav a1v is embedded in 5kav kav includes av at pos 1 5kav + a1v -> 5ka1v 5kav is embedded in kavar1 kav includes kav at pos 0 5ka1v + 5kav -> 5ka1v kavar1 is embedded in kavar1 +kavar1 a1v is embedded in kavar1 kav includes av at pos 1 5ka1v + a1v -> 5ka1v a1r is embedded in kavar1 kavar includes ar at pos 3 kavar1 + a1r -> kava1r1 ka3z2 is embedded in ka3z2 +ka3z2 a1z is embedded in ka3z2 kaz includes az at pos 1 ka3z2 + a1z -> ka3z2 2k1b is embedded in 2k1b +2k1b 2k1c is embedded in 2k1c +2k1c 2k1d is embedded in 2k1d +2k1d 3ke is embedded in 3ke +3ke 3ke is embedded in ke4b3 ke includes ke at pos 0 3ke + 3ke -> 3ke ke4b3 is embedded in ke4b3 +ke4b3 e1b2 is embedded in ke4b3 keb includes eb at pos 1 ke4b3 + e1b2 -> ke4b3 3ke is embedded in keren1 ke includes ke at pos 0 3ke + 3ke -> 3ke keren1 is embedded in keren1 +keren1 e1r is embedded in keren1 k+e1r 2e1n is embedded in keren1 keren includes en at pos 3 keren1 + 2e1n -> ker2e1n1 2k1f is embedded in 2k1f +2k1f 2k1g is embedded in 2k1g +2k1g 2k1h is embedded in 2k1h +2k1h k4i is embedded in k4i +k4i k4i is embedded in 5ki. ki includes ki at pos 0 k4i + k4i -> k4i 5ki. is embedded in 5ki. +5ki. k4i is embedded in 5kia ki includes ki at pos 0 k4i + k4i -> k4i 5kia is embedded in 5kia +5kia i2a is embedded in 5kia kia includes ia at pos 1 5kia + i2a -> 5ki2a k4i is embedded in 3kib ki includes ki at pos 0 k4i + k4i -> k4i 3kib is embedded in 3kib +3kib i3b2 is embedded in 3kib kib includes ib at pos 1 3kib + i3b2 -> 3ki3b2 k4i is embedded in 3kil ki includes ki at pos 0 k4i + k4i -> k4i 3kil is embedded in 3kil +3kil i1l is embedded in 3kil kil includes il at pos 1 3kil + i1l -> 3ki1l k4i is embedded in 5kit ki includes ki at pos 0 k4i + k4i -> k4i 5kit is embedded in 5kit +5kit 2i3t2 is embedded in 5kit kit includes it at pos 1 5kit + 2i3t2 -> 5k2i3t2 2k1k is embedded in 2k1k +2k1k 2k1l is embedded in 2k1l +2k1l 2k1l is embedded in 3k2la kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 3k2la is embedded in 3k2la +3k2la 2k1l is embedded in k4lan kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 3k2la is embedded in k4lan kla includes kla at pos 0 3k2la + 3k2la -> 3k2la k4lan is embedded in k4lan +k4lan a1n is embedded in k4lan klan includes an at pos 2 k4lan + a1n -> k4la1n 2k1l is embedded in 4kle. kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 4kle. is embedded in 4kle. +4kle. 3le. is embedded in 4kle. kle. includes le. at pos 1 4kle. + 3le. -> 4k3le. 2k1l is embedded in k2lel kl includes kl at pos 0 2k1l + 2k1l -> 2k1l k2lel is embedded in k2lel +k2lel e1l is embedded in k2lel klel includes el at pos 2 k2lel + e1l -> k2le1l 2k1l is embedded in 4klo. kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 4klo. is embedded in 4klo. +4klo. 3lo. is embedded in 4klo. klo. includes lo. at pos 1 4klo. + 3lo. -> 4k3lo. 2k1l is embedded in 4klu. kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 4klu. is embedded in 4klu. +4klu. 3lu. is embedded in 4klu. klu. includes lu. at pos 1 4klu. + 3lu. -> 4k3lu. 2k1l is embedded in k2ly kl includes kl at pos 0 2k1l + 2k1l -> 2k1l k2ly is embedded in k2ly +k2ly 2k1l is embedded in 4klą kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 4klą is embedded in 4klą +4klą 3lą is embedded in 4klą klą includes lą at pos 1 4klą + 3lą -> 4k3lą 2k1l is embedded in 4klų kl includes kl at pos 0 2k1l + 2k1l -> 2k1l 4klų is embedded in 4klų +4klų 3lų is embedded in 4klų klų includes lų at pos 1 4klų + 3lų -> 4k3lų 2k1m is embedded in 2k1m +2k1m 2k1n is embedded in 2k1n +2k1n 3ko is embedded in 3ko +3ko 2k1p is embedded in 2k1p +2k1p 2k2r is embedded in 2k2r +2k2r 2k2r is embedded in k4rau kr includes kr at pos 0 2k2r + 2k2r -> 2k2r k4rau is embedded in k4rau +k4rau r2a is embedded in k4rau k+r2a a4u is embedded in k4rau krau includes au at pos 2 k4rau + a4u -> k4ra4u 2k2r is embedded in kris2 kr includes kr at pos 0 2k2r + 2k2r -> 2k2r kris2 is embedded in kris2 +kris2 r2i is embedded in kris2 k+r2i 4i1s is embedded in kris2 kris includes is at pos 2 kris2 + 4i1s -> kr4i1s2 2k2r is embedded in kri5st kr includes kr at pos 0 2k2r + 2k2r -> 2k2r kris2 is embedded in kri5st kris includes kris at pos 0 kr4i1s2 + kris2 -> kr4i1s2 kri5st is embedded in kri5st +kri5st r2i is embedded in kri5st kri includes ri at pos 1 kr2i + r2i -> kr2i ri3st is embedded in kri5st krist includes rist at pos 1 kri5st + ri3st -> kri5st 4i1s is embedded in kri5st kris includes is at pos 2 kr4i1s2 + 4i1s -> kr4i1s2 2s1t is embedded in kri5st krist includes st at pos 3 kri5st + 2s1t -> kri5s1t 2k2r is embedded in k3ro kr includes kr at pos 0 2k2r + 2k2r -> 2k2r k3ro is embedded in k3ro +k3ro r2o is embedded in k3ro kro includes ro at pos 1 k3ro + r2o -> k3r2o 2k2r is embedded in k4rov kr includes kr at pos 0 2k2r + 2k2r -> 2k2r k3ro is embedded in k4rov kro includes kro at pos 0 k3r2o + k3ro -> k3r2o k4rov is embedded in k4rov +k4rov r2o is embedded in k4rov kro includes ro at pos 1 k3r2o + r2o -> k3r2o o1v is embedded in k4rov krov includes ov at pos 2 k4rov + o1v -> k4ro1v 2k2r is embedded in 4k3ru kr includes kr at pos 0 2k2r + 2k2r -> 2k2r 4k3ru is embedded in 4k3ru +4k3ru r2u is embedded in 4k3ru kru includes ru at pos 1 4k3ru + r2u -> 4k3r2u 2k2r is embedded in 5krun kr includes kr at pos 0 2k2r + 2k2r -> 2k2r 4k3ru is embedded in 5krun kru includes kru at pos 0 4k3r2u + 4k3ru -> 4k3r2u 5krun is embedded in 5krun +5krun r2u is embedded in 5krun kru includes ru at pos 1 4k3r2u + r2u -> 4k3r2u 4run is embedded in 5krun krun includes run at pos 1 5krun + 4run -> 5k4run u1n is embedded in 5krun krun includes un at pos 2 5k4run + u1n -> 5k4ru1n 2k2r is embedded in k4ry kr includes kr at pos 0 2k2r + 2k2r -> 2k2r k4ry is embedded in k4ry +k4ry 2k2r is embedded in k5rą kr includes kr at pos 0 2k2r + 2k2r -> 2k2r k5rą is embedded in k5rą +k5rą 3rą is embedded in k5rą krą includes rą at pos 1 k5rą + 3rą -> k5rą 2k1s is embedded in 2k1s +2k1s 2k1s is embedded in k4sk ks includes ks at pos 0 2k1s + 2k1s -> 2k1s k4sk is embedded in k4sk +k4sk 3s2k2 is embedded in k4sk ksk includes sk at pos 1 k4sk + 3s2k2 -> k4s2k2 2k1s is embedded in ks3l ks includes ks at pos 0 2k1s + 2k1s -> 2k1s ks3l is embedded in ks3l +ks3l 2s2l is embedded in ks3l ksl includes sl at pos 1 ks3l + 2s2l -> k2s3l 2k1s is embedded in k4s3p ks includes ks at pos 0 2k1s + 2k1s -> 2k1s k4s3p is embedded in k4s3p +k4s3p 3s2p is embedded in k4s3p ksp includes sp at pos 1 k4s3p + 3s2p -> k4s3p 4k1t is embedded in 4k1t +4k1t 4k1t is embedded in k3ta kt includes kt at pos 0 4k1t + 4k1t -> 4k1t k3ta is embedded in k3ta +k3ta t2a is embedded in k3ta kta includes ta at pos 1 k3ta + t2a -> k3t2a 3ku is embedded in 3ku +3ku 3ku is embedded in 4kub ku includes ku at pos 0 3ku + 3ku -> 3ku 4kub is embedded in 4kub +4kub u1b is embedded in 4kub kub includes ub at pos 1 4kub + u1b -> 4ku1b 3ku is embedded in ku4k ku includes ku at pos 0 3ku + 3ku -> 3ku ku4k is embedded in ku4k +ku4k u1k is embedded in ku4k kuk includes uk at pos 1 ku4k + u1k -> ku4k 3ku is embedded in ku4pr ku includes ku at pos 0 3ku + 3ku -> 3ku ku4pr is embedded in ku4pr +ku4pr u3p is embedded in ku4pr k+u3p 2p2r is embedded in ku4pr kupr includes pr at pos 2 ku4pr + 2p2r -> ku4p2r 2k1v is embedded in 2k1v +2k1v 2k1v is embedded in k2va kv includes kv at pos 0 2k1v + 2k1v -> 2k1v k2va is embedded in k2va +k2va 2k1v is embedded in k3vo kv includes kv at pos 0 2k1v + 2k1v -> 2k1v k3vo is embedded in k3vo +k3vo 2k1v is embedded in k2vė kv includes kv at pos 0 2k1v + 2k1v -> 2k1v k2vė is embedded in k2vė +k2vė 3vė is embedded in k2vė kvė includes vė at pos 1 k2vė + 3vė -> k3vė 2k1w is embedded in 2k1w +2k1w 3kyt is embedded in 3kyt +3kyt y1t is embedded in 3kyt kyt includes yt at pos 1 3kyt + y1t -> 3ky1t 2k1z is embedded in 2k1z +2k1z 5ką is embedded in 5ką +5ką 2k1č is embedded in 2k1č +2k1č 2k1š is embedded in 2k1š +2k1š 2k1š is embedded in kš2ly kš includes kš at pos 0 2k1š + 2k1š -> 2k1š kš2ly is embedded in kš2ly +kš2ly 2š1l is embedded in kš2ly k+2š1l 3šly is embedded in kš2ly kšly includes šly at pos 1 kš2ly + 3šly -> k3š2ly 2k1š is embedded in kšė3 kš includes kš at pos 0 2k1š + 2k1š -> 2k1š kšė3 is embedded in kšė3 +kšė3 2k1ž is embedded in 2k1ž +2k1ž 3la. is embedded in 3la. +3la. lap4s3to is embedded in lap4s3to +lap4s3to a1p is embedded in lap4s3to l+a1p ap3s2 is embedded in lap4s3to l+ap3s2 4p1s is embedded in lap4s3to laps includes ps at pos 2 lap3s2 + 4p1s -> la4p3s2 2s1t is embedded in lap4s3to lap+2s1t t2o is embedded in lap4s3to lapsto includes to at pos 4 lap4s3to + t2o -> lap4s3t2o 2l1b is embedded in 2l1b +2l1b 2l1b is embedded in lb3r lb includes lb at pos 0 2l1b + 2l1b -> 2l1b lb3r is embedded in lb3r +lb3r 2b2r is embedded in lb3r lbr includes br at pos 1 lb3r + 2b2r -> l2b3r 2l1c is embedded in 2l1c +2l1c 2l1d is embedded in 2l1d +2l1d 3le. is embedded in 3le. +3le. le3c is embedded in le3c +le3c e1c is embedded in le3c lec includes ec at pos 1 le3c + e1c -> le3c le4gr is embedded in le4gr +le4gr e1g is embedded in le4gr l+e1g 3g2r is embedded in le4gr legr includes gr at pos 2 le4gr + 3g2r -> le4g2r 4leč is embedded in 4leč +4leč e1č is embedded in 4leč leč includes eč at pos 1 4leč + e1č -> 4le1č 2l1f is embedded in 2l1f +2l1f 2l1g is embedded in 2l1g +2l1g 2l1g is embedded in lg3s2t lg includes lg at pos 0 2l1g + 2l1g -> 2l1g lg3s2t is embedded in lg3s2t +lg3s2t 2g1s is embedded in lg3s2t l+2g1s 2s1t is embedded in lg3s2t lgst includes st at pos 2 lg3s2t + 2s1t -> lg3s2t 2l1h is embedded in 2l1h +2l1h 3li. is embedded in 3li. +3li. li4a is embedded in li4a +li4a i2a is embedded in li4a lia includes ia at pos 1 li4a + i2a -> li4a 5li4o is embedded in 5li4o +5li4o i2o is embedded in 5li4o lio includes io at pos 1 5li4o + i2o -> 5li4o 3lių is embedded in 3lių +3lių i2ų is embedded in 3lių lių includes ių at pos 1 3lių + i2ų -> 3li2ų 2l1j is embedded in 2l1j +2l1j 2l1k is embedded in 2l1k +2l1k 2l1k is embedded in lko1 lk includes lk at pos 0 2l1k + 2l1k -> 2l1k lko1 is embedded in lko1 +lko1 3ko is embedded in lko1 lko includes ko at pos 1 lko1 + 3ko -> l3ko1 2l1l is embedded in 2l1l +2l1l 2l1m is embedded in 2l1m +2l1m 2l1n is embedded in 2l1n +2l1n 3lo. is embedded in 3lo. +3lo. log4 is embedded in log4 +log4 o1g is embedded in log4 log includes og at pos 1 log4 + o1g -> lo1g4 4lop is embedded in 4lop +4lop o1p is embedded in 4lop lop includes op at pos 1 4lop + o1p -> 4lo1p 4l1p is embedded in 4l1p +4l1p 4l1p is embedded in lpna1 lp includes lp at pos 0 4l1p + 4l1p -> 4l1p lpna1 is embedded in lpna1 +lpna1 4p1n is embedded in lpna1 l+4p1n 2l1r is embedded in 2l1r +2l1r 4l1s is embedded in 4l1s +4l1s 4l1s is embedded in l4sk ls includes ls at pos 0 4l1s + 4l1s -> 4l1s l4sk is embedded in l4sk +l4sk 3s2k2 is embedded in l4sk lsk includes sk at pos 1 l4sk + 3s2k2 -> l4s2k2 4l1s is embedded in l4s3p ls includes ls at pos 0 4l1s + 4l1s -> 4l1s l4s3p is embedded in l4s3p +l4s3p 3s2p is embedded in l4s3p lsp includes sp at pos 1 l4s3p + 3s2p -> l4s3p 4l3t is embedded in 4l3t +4l3t 3lu. is embedded in 3lu. +3lu. 2lup is embedded in 2lup +2lup u3p is embedded in 2lup lup includes up at pos 1 2lup + u3p -> 2lu3p 4l1v is embedded in 4l1v +4l1v 2l1w is embedded in 2l1w +2l1w 3lyč is embedded in 3lyč +3lyč y1č is embedded in 3lyč lyč includes yč at pos 1 3lyč + y1č -> 3ly1č 2l1z is embedded in 2l1z +2l1z 3lą is embedded in 3lą +3lą 2l1č is embedded in 2l1č +2l1č 3lęs is embedded in 3lęs +3lęs ę1s is embedded in 3lęs lęs includes ęs at pos 1 3lęs + ę1s -> 3lę1s 3lėm is embedded in 3lėm +3lėm ė1m is embedded in 3lėm lėm includes ėm at pos 1 3lėm + ė1m -> 3lė1m 3lės is embedded in 3lės +3lės 2ė1s is embedded in 3lės lės includes ės at pos 1 3lės + 2ė1s -> 3l2ė1s 2lėč is embedded in 2lėč +2lėč ė1č is embedded in 2lėč lėč includes ėč at pos 1 2lėč + ė1č -> 2lė1č 3lį4 is embedded in 3lį4 +3lį4 4l1š is embedded in 4l1š +4l1š 3lų is embedded in 3lų +3lų 2l1ž is embedded in 2l1ž +2l1ž m2a is embedded in m2a +m2a m2a is embedded in 2m3aid ma includes ma at pos 0 m2a + m2a -> m2a 2m3aid is embedded in 2m3aid +2m3aid i1d is embedded in 2m3aid maid includes id at pos 2 2m3aid + i1d -> 2m3ai1d m2a is embedded in 3mas ma includes ma at pos 0 m2a + m2a -> m2a 3mas is embedded in 3mas +3mas a1s is embedded in 3mas mas includes as at pos 1 3mas + a1s -> 3ma1s m2a is embedded in mas3ki ma includes ma at pos 0 m2a + m2a -> m2a 3mas is embedded in mas3ki mas includes mas at pos 0 3ma1s + 3mas -> 3ma1s mas3ki is embedded in mas3ki +mas3ki a1s is embedded in mas3ki mas includes as at pos 1 3ma1s + a1s -> 3ma1s a4sk is embedded in mas3ki m+a4sk 3s2k2 is embedded in mas3ki mask includes sk at pos 2 ma4sk + 3s2k2 -> ma4s2k2 5ski is embedded in mas3ki maski includes ski at pos 2 mas3ki + 5ski -> ma5s3ki k4i is embedded in mas3ki maski includes ki at pos 3 ma5s3ki + k4i -> ma5s3k4i 2m1b is embedded in 2m1b +2m1b 2m1b is embedded in mb3r mb includes mb at pos 0 2m1b + 2m1b -> 2m1b mb3r is embedded in mb3r +mb3r 2b2r is embedded in mb3r mbr includes br at pos 1 mb3r + 2b2r -> m2b3r 2m1c is embedded in 2m1c +2m1c 2m1d is embedded in 2m1d +2m1d me3c is embedded in me3c +me3c e1c is embedded in me3c mec includes ec at pos 1 me3c + e1c -> me3c meis1 is embedded in meis1 +meis1 4i1s is embedded in meis1 meis includes is at pos 2 meis1 + 4i1s -> me4i1s1 2m1f is embedded in 2m1f +2m1f 2m1g is embedded in 2m1g +2m1g 2m1h is embedded in 2m1h +2m1h mi4gl is embedded in mi4gl +mi4gl 2i1g is embedded in mi4gl m+2i1g i3g2l is embedded in mi4gl migl includes igl at pos 1 mi4gl + i3g2l -> mi4g2l 2g1l is embedded in mi4gl migl includes gl at pos 2 mi4g2l + 2g1l -> mi4g2l mi4gr is embedded in mi4gr +mi4gr 2i1g is embedded in mi4gr mig includes ig at pos 1 m2i1g + 2i1g -> m2i1g 3g2r is embedded in mi4gr migr includes gr at pos 2 mi4gr + 3g2r -> mi4g2r min4s is embedded in min4s +min4s 4i1n is embedded in min4s m+4i1n 4n1s is embedded in min4s mins includes ns at pos 2 min4s + 4n1s -> mi4n4s mi4tr is embedded in mi4tr +mi4tr 2i3t2 is embedded in mi4tr m+2i3t2 2t1r is embedded in mi4tr mitr includes tr at pos 2 mi4tr + 2t1r -> mi4t1r 2m1k is embedded in 2m1k +2m1k 2m1l is embedded in 2m1l +2m1l 2m1m is embedded in 2m1m +2m1m 2m1n is embedded in 2m1n +2m1n m2o is embedded in m2o +m2o m2o is embedded in 2mod mo includes mo at pos 0 m2o + m2o -> m2o 2mod is embedded in 2mod +2mod o1d is embedded in 2mod mod includes od at pos 1 2mod + o1d -> 2mo1d 2m1p is embedded in 2m1p +2m1p 2m1p is embedded in m4pl mp includes mp at pos 0 2m1p + 2m1p -> 2m1p m4pl is embedded in m4pl +m4pl 3p2l is embedded in m4pl mpl includes pl at pos 1 m4pl + 3p2l -> m4p2l 2m1p is embedded in m3pr mp includes mp at pos 0 2m1p + 2m1p -> 2m1p m3pr is embedded in m3pr +m3pr 2p2r is embedded in m3pr mpr includes pr at pos 1 m3pr + 2p2r -> m3p2r 2m1r is embedded in 2m1r +2m1r 4m1s is embedded in 4m1s +4m1s 2m1t is embedded in 2m1t +2m1t 2m1t is embedded in m3ta mt includes mt at pos 0 2m1t + 2m1t -> 2m1t m3ta is embedded in m3ta +m3ta t2a is embedded in m3ta mta includes ta at pos 1 m3ta + t2a -> m3t2a 3muo is embedded in 3muo +3muo u2o is embedded in 3muo muo includes uo at pos 1 3muo + u2o -> 3mu2o 2m1v is embedded in 2m1v +2m1v 2m1w is embedded in 2m1w +2m1w 2m1z is embedded in 2m1z +2m1z 2m1č is embedded in 2m1č +2m1č 2m1š is embedded in 2m1š +2m1š 2m1ž is embedded in 2m1ž +2m1ž na3s2 is embedded in na3s2 +na3s2 a1s is embedded in na3s2 nas includes as at pos 1 na3s2 + a1s -> na3s2 na3t2 is embedded in na3t2 +na3t2 a1t is embedded in na3t2 nat includes at at pos 1 na3t2 + a1t -> na3t2 2n1b is embedded in 2n1b +2n1b 2n1c is embedded in 2n1c +2n1c 2n1c is embedded in ncen1 nc includes nc at pos 0 2n1c + 2n1c -> 2n1c ncen1 is embedded in ncen1 +ncen1 2e1n is embedded in ncen1 ncen includes en at pos 2 ncen1 + 2e1n -> nc2e1n1 2n1d is embedded in 2n1d +2n1d 2n1d is embedded in n3drė nd includes nd at pos 0 2n1d + 2n1d -> 2n1d n3drė is embedded in n3drė +n3drė 2d1r is embedded in n3drė n+2d1r d2rė is embedded in n3drė ndrė includes drė at pos 1 n3drė + d2rė -> n3d2rė ne1 is embedded in ne1 +ne1 ne1 is embedded in neg4 ne includes ne at pos 0 ne1 + ne1 -> ne1 neg4 is embedded in neg4 +neg4 e1g is embedded in neg4 neg includes eg at pos 1 neg4 + e1g -> ne1g4 ne1 is embedded in nei2m ne includes ne at pos 0 ne1 + ne1 -> ne1 nei2m is embedded in nei2m +nei2m i1m is embedded in nei2m neim includes im at pos 2 nei2m + i1m -> nei2m ne1 is embedded in ne4o3 ne includes ne at pos 0 ne1 + ne1 -> ne1 ne4o3 is embedded in ne4o3 +ne4o3 e2o is embedded in ne4o3 neo includes eo at pos 1 ne4o3 + e2o -> ne4o3 ne1 is embedded in neor2 ne includes ne at pos 0 ne1 + ne1 -> ne1 ne4o3 is embedded in neor2 neo includes neo at pos 0 ne4o3 + ne4o3 -> ne4o3 neor2 is embedded in neor2 +neor2 e2o is embedded in neor2 neo includes eo at pos 1 ne4o3 + e2o -> ne4o3 e3or is embedded in neor2 neor includes eor at pos 1 neor2 + e3or -> ne3or2 o1r is embedded in neor2 neor includes or at pos 2 ne3or2 + o1r -> ne3o1r2 ne1 is embedded in nerė3 ne includes ne at pos 0 ne1 + ne1 -> ne1 nerė3 is embedded in nerė3 +nerė3 e1r is embedded in nerė3 n+e1r erė2 is embedded in nerė3 nerė includes erė at pos 1 nerė3 + erė2 -> nerė3 ne1 is embedded in nesi1 ne includes ne at pos 0 ne1 + ne1 -> ne1 nesi1 is embedded in nesi1 +nesi1 e1s is embedded in nesi1 n+e1s ne1 is embedded in ne3sl ne includes ne at pos 0 ne1 + ne1 -> ne1 ne3sl is embedded in ne3sl +ne3sl e1s is embedded in ne3sl nes includes es at pos 1 ne1s + e1s -> ne1s 2s2l is embedded in ne3sl nesl includes sl at pos 2 ne3sl + 2s2l -> ne3s2l ne1 is embedded in ne3s2t ne includes ne at pos 0 ne1 + ne1 -> ne1 ne3s2t is embedded in ne3s2t +ne3s2t e1s is embedded in ne3s2t nes includes es at pos 1 ne1s + e1s -> ne1s 2s1t is embedded in ne3s2t nest includes st at pos 2 ne3s2t + 2s1t -> ne3s2t ne1 is embedded in ne3t2 ne includes ne at pos 0 ne1 + ne1 -> ne1 ne3t2 is embedded in ne3t2 +ne3t2 e1t is embedded in ne3t2 net includes et at pos 1 ne3t2 + e1t -> ne3t2 ne1 is embedded in neįs3t ne includes ne at pos 0 ne1 + ne1 -> ne1 neįs3t is embedded in neįs3t +neįs3t e1į4 is embedded in neįs3t n+e1į4 į1s is embedded in neįs3t ne+į1s įst2 is embedded in neįs3t neįst includes įst at pos 2 neįs3t + įst2 -> neįs3t2 2s1t is embedded in neįs3t neįst includes st at pos 4 neįs3t2 + 2s1t -> neį2s3t2 2n1f is embedded in 2n1f +2n1f 4n1g is embedded in 4n1g +4n1g 4n1g is embedded in ng3l ng includes ng at pos 0 4n1g + 4n1g -> 4n1g ng3l is embedded in ng3l +ng3l 2g1l is embedded in ng3l ngl includes gl at pos 1 ng3l + 2g1l -> n2g3l 4n1g is embedded in ng4r ng includes ng at pos 0 4n1g + 4n1g -> 4n1g ng4r is embedded in ng4r +ng4r 3g2r is embedded in ng4r ngr includes gr at pos 1 ng4r + 3g2r -> n3g4r 2n1h is embedded in 2n1h +2n1h ni4s is embedded in ni4s +ni4s 4i1s is embedded in ni4s nis includes is at pos 1 ni4s + 4i1s -> n4i4s 2n1j is embedded in 2n1j +2n1j 2n1k is embedded in 2n1k +2n1k 2n1k is embedded in nk3la nk includes nk at pos 0 2n1k + 2n1k -> 2n1k nk3la is embedded in nk3la +nk3la 2k1l is embedded in nk3la n+2k1l 3k2la is embedded in nk3la nkla includes kla at pos 1 nk3la + 3k2la -> n3k3la 2n1k is embedded in nk3r nk includes nk at pos 0 2n1k + 2n1k -> 2n1k nk3r is embedded in nk3r +nk3r 2k2r is embedded in nk3r nkr includes kr at pos 1 nk3r + 2k2r -> n2k3r 2n1k is embedded in n3kry nk includes nk at pos 0 2n1k + 2n1k -> 2n1k nk3r is embedded in n3kry nkr includes nkr at pos 0 n2k3r + nk3r -> n2k3r n3kry is embedded in n3kry +n3kry 2k2r is embedded in n3kry nkr includes kr at pos 1 n2k3r + 2k2r -> n2k3r k4ry is embedded in n3kry nkry includes kry at pos 1 n3kry + k4ry -> n3k4ry 2n1l is embedded in 2n1l +2n1l 2n1m is embedded in 2n1m +2n1m 2n1n is embedded in 2n1n +2n1n 5no is embedded in 5no +5no 2n1p is embedded in 2n1p +2n1p 2n1r is embedded in 2n1r +2n1r 4n1s is embedded in 4n1s +4n1s 4n1s is embedded in ns4ku ns includes ns at pos 0 4n1s + 4n1s -> 4n1s ns4ku is embedded in ns4ku +ns4ku 3s2k2 is embedded in ns4ku n+3s2k2 3ku is embedded in ns4ku nsku includes ku at pos 2 ns4ku + 3ku -> ns4ku 4n1s is embedded in ns3l ns includes ns at pos 0 4n1s + 4n1s -> 4n1s ns3l is embedded in ns3l +ns3l 2s2l is embedded in ns3l nsl includes sl at pos 1 ns3l + 2s2l -> n2s3l 4n1s is embedded in n4s3p ns includes ns at pos 0 4n1s + 4n1s -> 4n1s n4s3p is embedded in n4s3p +n4s3p 3s2p is embedded in n4s3p nsp includes sp at pos 1 n4s3p + 3s2p -> n4s3p 4n1s is embedded in nst3r ns includes ns at pos 0 4n1s + 4n1s -> 4n1s nst3r is embedded in nst3r +nst3r 2s1t is embedded in nst3r n+2s1t 2t1r is embedded in nst3r nstr includes tr at pos 2 nst3r + 2t1r -> ns2t3r 4n1t is embedded in 4n1t +4n1t 4n1t is embedded in n3ta nt includes nt at pos 0 4n1t + 4n1t -> 4n1t n3ta is embedded in n3ta +n3ta t2a is embedded in n3ta nta includes ta at pos 1 n3ta + t2a -> n3t2a 4n1t is embedded in nt4pl nt includes nt at pos 0 4n1t + 4n1t -> 4n1t nt4pl is embedded in nt4pl +nt4pl 2t3p is embedded in nt4pl n+2t3p 3p2l is embedded in nt4pl ntpl includes pl at pos 2 nt4pl + 3p2l -> nt4p2l 4n1t is embedded in n3tru nt includes nt at pos 0 4n1t + 4n1t -> 4n1t n3tru is embedded in n3tru +n3tru 2t1r is embedded in n3tru n+2t1r r2u is embedded in n3tru ntru includes ru at pos 2 n3tru + r2u -> n3tr2u 4n1t is embedded in nt2ruo nt includes nt at pos 0 4n1t + 4n1t -> 4n1t n3tru is embedded in nt2ruo ntru includes ntru at pos 0 n3tr2u + n3tru -> n3tr2u nt2ruo is embedded in nt2ruo +nt2ruo 2t1r is embedded in nt2ruo ntr includes tr at pos 1 n2t1r + 2t1r -> n2t1r r2u is embedded in nt2ruo ntru includes ru at pos 2 n3tr2u + r2u -> n3tr2u u2o is embedded in nt2ruo ntruo includes uo at pos 3 nt2ruo + u2o -> nt2ru2o nua4 is embedded in nua4 +nua4 u1a2 is embedded in nua4 nua includes ua at pos 1 nua4 + u1a2 -> nu1a4 nu3b2 is embedded in nu3b2 +nu3b2 u1b is embedded in nu3b2 nub includes ub at pos 1 nu3b2 + u1b -> nu3b2 nu3g is embedded in nu3g +nu3g u1g is embedded in nu3g nug includes ug at pos 1 nu3g + u1g -> nu3g nu1i is embedded in nu1i +nu1i nuk2 is embedded in nuk2 +nuk2 u1k is embedded in nuk2 nuk includes uk at pos 1 nuk2 + u1k -> nu1k2 nu4o3 is embedded in nu4o3 +nu4o3 u2o is embedded in nu4o3 nuo includes uo at pos 1 nu4o3 + u2o -> nu4o3 nu4o3 is embedded in nuos2 nuo includes nuo at pos 0 nu4o3 + nu4o3 -> nu4o3 nuos2 is embedded in nuos2 +nuos2 u2o is embedded in nuos2 nuo includes uo at pos 1 nu4o3 + u2o -> nu4o3 o1s is embedded in nuos2 nuos includes os at pos 2 nuos2 + o1s -> nuo1s2 nu5s4 is embedded in nu5s4 +nu5s4 u1s is embedded in nu5s4 nus includes us at pos 1 nu5s4 + u1s -> nu5s4 2n1v is embedded in 2n1v +2n1v 2n1w is embedded in 2n1w +2n1w 2n1z is embedded in 2n1z +2n1z 4n1č is embedded in 4n1č +4n1č 2n1š is embedded in 2n1š +2n1š 2n1ž is embedded in 2n1ž +2n1ž o1a is embedded in o1a +o1a o1b is embedded in o1b +o1b o1c is embedded in o1c +o1c o1d is embedded in o1d +o1d o1d is embedded in o3dr od includes od at pos 0 o1d + o1d -> o1d o3dr is embedded in o3dr +o3dr 2d1r is embedded in o3dr odr includes dr at pos 1 o3dr + 2d1r -> o3d1r o1e is embedded in o1e +o1e o1e is embedded in o2et oe includes oe at pos 0 o1e + o1e -> o1e o2et is embedded in o2et +o2et e1t is embedded in o2et oet includes et at pos 1 o2et + e1t -> o2e1t o1f is embedded in o1f +o1f o1g is embedded in o1g +o1g o1h is embedded in o1h +o1h o1i is embedded in o1i +o1i o1j is embedded in o1j +o1j o1k is embedded in o1k +o1k o1k is embedded in o3kr ok includes ok at pos 0 o1k + o1k -> o1k o3kr is embedded in o3kr +o3kr 2k2r is embedded in o3kr okr includes kr at pos 1 o3kr + 2k2r -> o3k2r o1l is embedded in o1l +o1l o1l is embedded in olen1 ol includes ol at pos 0 o1l + o1l -> o1l olen1 is embedded in olen1 +olen1 2e1n is embedded in olen1 olen includes en at pos 2 olen1 + 2e1n -> ol2e1n1 o1m is embedded in o1m +o1m o1m is embedded in om4pr om includes om at pos 0 o1m + o1m -> o1m om4pr is embedded in om4pr +om4pr 2m1p is embedded in om4pr o+2m1p m3pr is embedded in om4pr ompr includes mpr at pos 1 om4pr + m3pr -> om4pr 2p2r is embedded in om4pr ompr includes pr at pos 2 om4pr + 2p2r -> om4p2r o1n is embedded in o1n +o1n o1n is embedded in ono1 on includes on at pos 0 o1n + o1n -> o1n ono1 is embedded in ono1 +ono1 5no is embedded in ono1 ono includes no at pos 1 ono1 + 5no -> o5no1 o1o2 is embedded in o1o2 +o1o2 o1p is embedded in o1p +o1p o1r is embedded in o1r +o1r o1r is embedded in o2rie or includes or at pos 0 o1r + o1r -> o1r o2rie is embedded in o2rie +o2rie r2i is embedded in o2rie o+r2i i2e is embedded in o2rie orie includes ie at pos 2 o2rie + i2e -> o2ri2e o1r is embedded in ori4s or includes or at pos 0 o1r + o1r -> o1r ori4s is embedded in ori4s +ori4s r2i is embedded in ori4s ori includes ri at pos 1 or2i + r2i -> or2i 4i1s is embedded in ori4s oris includes is at pos 2 ori4s + 4i1s -> or4i4s o1r is embedded in or4tr or includes or at pos 0 o1r + o1r -> o1r or4tr is embedded in or4tr +or4tr 4r1t is embedded in or4tr o+4r1t r3t2r is embedded in or4tr ortr includes rtr at pos 1 or4tr + r3t2r -> or4t2r 2t1r is embedded in or4tr ortr includes tr at pos 2 or4t2r + 2t1r -> or4t2r o1r is embedded in o2rę or includes or at pos 0 o1r + o1r -> o1r o2rę is embedded in o2rę +o2rę o1s is embedded in o1s +o1s o1s is embedded in o3sl os includes os at pos 0 o1s + o1s -> o1s o3sl is embedded in o3sl +o3sl 2s2l is embedded in o3sl osl includes sl at pos 1 o3sl + 2s2l -> o3s2l o1s is embedded in os3le os includes os at pos 0 o1s + o1s -> o1s o3sl is embedded in os3le osl includes osl at pos 0 o3s2l + o3sl -> o3s2l os3le is embedded in os3le +os3le 2s2l is embedded in os3le osl includes sl at pos 1 o3s2l + 2s2l -> o3s2l 3sle is embedded in os3le osle includes sle at pos 1 os3le + 3sle -> o3s3le o1s is embedded in os4lo os includes os at pos 0 o1s + o1s -> o1s o3sl is embedded in os4lo osl includes osl at pos 0 o3s2l + o3sl -> o3s2l os4lo is embedded in os4lo +os4lo 2s2l is embedded in os4lo osl includes sl at pos 1 o3s2l + 2s2l -> o3s2l s3lo is embedded in os4lo oslo includes slo at pos 1 os4lo + s3lo -> os4lo o1s is embedded in o3s2v os includes os at pos 0 o1s + o1s -> o1s o3s2v is embedded in o3s2v +o3s2v 2s1v is embedded in o3s2v osv includes sv at pos 1 o3s2v + 2s1v -> o3s2v o3t2 is embedded in o3t2 +o3t2 o3t2 is embedded in oto1 ot includes ot at pos 0 o3t2 + o3t2 -> o3t2 oto1 is embedded in oto1 +oto1 t2o is embedded in oto1 oto includes to at pos 1 oto1 + t2o -> ot2o1 o1v is embedded in o1v +o1v o1w is embedded in o1w +o1w o1y is embedded in o1y +o1y o1z is embedded in o1z +o1z o1ą is embedded in o1ą +o1ą o1č is embedded in o1č +o1č o1ę is embedded in o1ę +o1ę o1ė is embedded in o1ė +o1ė o1į is embedded in o1į +o1į o1š is embedded in o1š +o1š o1š is embedded in oš2v oš includes oš at pos 0 o1š + o1š -> o1š oš2v is embedded in oš2v +oš2v 3š1v is embedded in oš2v ošv includes šv at pos 1 oš2v + 3š1v -> o3š2v o1ų is embedded in o1ų +o1ų o1ū is embedded in o1ū +o1ū o1ž is embedded in o1ž +o1ž pa3 is embedded in pa3 +pa3 pa3 is embedded in pad2 pa includes pa at pos 0 pa3 + pa3 -> pa3 pad2 is embedded in pad2 +pad2 a1d is embedded in pad2 pad includes ad at pos 1 pad2 + a1d -> pa1d2 pa3 is embedded in pai2l pa includes pa at pos 0 pa3 + pa3 -> pa3 pai2l is embedded in pai2l +pai2l i1l is embedded in pai2l pail includes il at pos 2 pai2l + i1l -> pai2l pa3 is embedded in pai2m pa includes pa at pos 0 pa3 + pa3 -> pa3 pai2m is embedded in pai2m +pai2m i1m is embedded in pai2m paim includes im at pos 2 pai2m + i1m -> pai2m pa3 is embedded in pai2r pa includes pa at pos 0 pa3 + pa3 -> pa3 pai2r is embedded in pai2r +pai2r i1r is embedded in pai2r pair includes ir at pos 2 pai2r + i1r -> pai2r pa3 is embedded in 3pan pa includes pa at pos 0 pa3 + pa3 -> pa3 3pan is embedded in 3pan +3pan a1n is embedded in 3pan pan includes an at pos 1 3pan + a1n -> 3pa1n pa3 is embedded in pap4 pa includes pa at pos 0 pa3 + pa3 -> pa3 pap4 is embedded in pap4 +pap4 a1p is embedded in pap4 pap includes ap at pos 1 pap4 + a1p -> pa1p4 pa3 is embedded in p2ar pa includes pa at pos 0 pa3 + pa3 -> pa3 p2ar is embedded in p2ar +p2ar a1r is embedded in p2ar par includes ar at pos 1 p2ar + a1r -> p2a1r pa3 is embedded in parsi1 pa includes pa at pos 0 pa3 + pa3 -> pa3 p2ar is embedded in parsi1 par includes par at pos 0 p2a1r + p2ar -> p2a1r parsi1 is embedded in parsi1 +parsi1 a1r is embedded in parsi1 par includes ar at pos 1 p2a1r + a1r -> p2a1r 4r1s is embedded in parsi1 pa+4r1s pa3 is embedded in pa4r1ė2 pa includes pa at pos 0 pa3 + pa3 -> pa3 p2ar is embedded in pa4r1ė2 par includes par at pos 0 p2a1r + p2ar -> p2a1r pa4r1ė2 is embedded in pa4r1ė2 +pa4r1ė2 a1r is embedded in pa4r1ė2 par includes ar at pos 1 p2a1r + a1r -> p2a1r pa3 is embedded in pas2 pa includes pa at pos 0 pa3 + pa3 -> pa3 pas2 is embedded in pas2 +pas2 a1s is embedded in pas2 pas includes as at pos 1 pas2 + a1s -> pa1s2 pa3 is embedded in pa5sr pa includes pa at pos 0 pa3 + pa3 -> pa3 pas2 is embedded in pa5sr pas includes pas at pos 0 pa1s2 + pas2 -> pa1s2 pa5sr is embedded in pa5sr +pa5sr a1s is embedded in pa5sr pas includes as at pos 1 pa1s2 + a1s -> pa1s2 4s1r is embedded in pa5sr pasr includes sr at pos 2 pa5sr + 4s1r -> pa5s1r pa3 is embedded in p2at2 pa includes pa at pos 0 pa3 + pa3 -> pa3 p2at2 is embedded in p2at2 +p2at2 a1t is embedded in p2at2 pat includes at at pos 1 p2at2 + a1t -> p2a1t2 2p1b is embedded in 2p1b +2p1b 4p1c is embedded in 4p1c +4p1c 4p3d2 is embedded in 4p3d2 +4p3d2 p2e is embedded in p2e +p2e p2e is embedded in per1 pe includes pe at pos 0 p2e + p2e -> p2e per1 is embedded in per1 +per1 e1r is embedded in per1 per includes er at pos 1 per1 + e1r -> pe1r1 p2e is embedded in pe2re pe includes pe at pos 0 p2e + p2e -> p2e per1 is embedded in pe2re per includes per at pos 0 pe1r1 + per1 -> pe1r1 pe2re is embedded in pe2re +pe2re e1r is embedded in pe2re per includes er at pos 1 pe1r1 + e1r -> pe1r1 p2e is embedded in pe2r3im pe includes pe at pos 0 p2e + p2e -> p2e per1 is embedded in pe2r3im per includes per at pos 0 pe1r1 + per1 -> pe1r1 pe2r3im is embedded in pe2r3im +pe2r3im e1r is embedded in pe2r3im per includes er at pos 1 pe1r1 + e1r -> pe1r1 r2i is embedded in pe2r3im pe+r2i i1m is embedded in pe2r3im perim includes im at pos 3 pe2r3im + i1m -> pe2r3i1m p2e is embedded in per3s pe includes pe at pos 0 p2e + p2e -> p2e per1 is embedded in per3s per includes per at pos 0 pe1r1 + per1 -> pe1r1 per3s is embedded in per3s +per3s e1r is embedded in per3s per includes er at pos 1 pe1r1 + e1r -> pe1r1 4r1s is embedded in per3s pers includes rs at pos 2 per3s + 4r1s -> pe4r3s p2e is embedded in pe2rė pe includes pe at pos 0 p2e + p2e -> p2e per1 is embedded in pe2rė per includes per at pos 0 pe1r1 + per1 -> pe1r1 pe2rė is embedded in pe2rė +pe2rė e1r is embedded in pe2rė per includes er at pos 1 pe1r1 + e1r -> pe1r1 erė2 is embedded in pe2rė perė includes erė at pos 1 pe2rė + erė2 -> pe2rė2 2p1f is embedded in 2p1f +2p1f 2p1g is embedded in 2p1g +2p1g 2p1h is embedded in 2p1h +2p1h p2i is embedded in p2i +p2i p2i is embedded in p3ieš pi includes pi at pos 0 p2i + p2i -> p2i p3ieš is embedded in p3ieš +p3ieš i2e is embedded in p3ieš p+i2e e1š is embedded in p3ieš pieš includes eš at pos 2 p3ieš + e1š -> p3ie1š 2p3k2 is embedded in 2p3k2 +2p3k2 3p2l is embedded in 3p2l +3p2l 3p2l is embedded in p3le pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p3le is embedded in p3le +p3le 3p2l is embedded in p3li pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p3li is embedded in p3li +p3li 3p2l is embedded in 4plio pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p3li is embedded in 4plio pli includes pli at pos 0 p3li + p3li -> p3li 4plio is embedded in 4plio +4plio 5li4o is embedded in 4plio plio includes lio at pos 1 4plio + 5li4o -> 4p5li4o i2o is embedded in 4plio plio includes io at pos 2 4p5li4o + i2o -> 4p5li4o 3p2l is embedded in p4liu pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p3li is embedded in p4liu pli includes pli at pos 0 p3li + p3li -> p3li p4liu is embedded in p4liu +p4liu i2u is embedded in p4liu pliu includes iu at pos 2 p4liu + i2u -> p4li2u 3p2l is embedded in p3lo pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p3lo is embedded in p3lo +p3lo 3p2l is embedded in p4loj pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p3lo is embedded in p4loj plo includes plo at pos 0 p3lo + p3lo -> p3lo p4loj is embedded in p4loj +p4loj o1j is embedded in p4loj ploj includes oj at pos 2 p4loj + o1j -> p4lo1j 3p2l is embedded in p4lu pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p4lu is embedded in p4lu +p4lu 3p2l is embedded in p4ly pl includes pl at pos 0 3p2l + 3p2l -> 3p2l p4ly is embedded in p4ly +p4ly 2p1m is embedded in 2p1m +2p1m 4p1n is embedded in 4p1n +4p1n 3po is embedded in 3po +3po 3po is embedded in po4g po includes po at pos 0 3po + 3po -> 3po po4g is embedded in po4g +po4g o1g is embedded in po4g pog includes og at pos 1 po4g + o1g -> po4g 3po is embedded in poli1 po includes po at pos 0 3po + 3po -> 3po poli1 is embedded in poli1 +poli1 o1l is embedded in poli1 p+o1l 2p1p is embedded in 2p1p +2p1p 2p2r is embedded in 2p2r +2p2r 2p2r is embedded in p3rai pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3rai is embedded in p3rai +p3rai r2a is embedded in p3rai p+r2a 2p2r is embedded in prau2si pr includes pr at pos 0 2p2r + 2p2r -> 2p2r prau2si is embedded in prau2si +prau2si r2a is embedded in prau2si pra includes ra at pos 1 pr2a + r2a -> pr2a a4u is embedded in prau2si pr+a4u u1s is embedded in prau2si pra+u1s 2p2r is embedded in p3raš pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3raš is embedded in p3raš +p3raš r2a is embedded in p3raš pra includes ra at pos 1 pr2a + r2a -> pr2a a1š is embedded in p3raš praš includes aš at pos 2 p3raš + a1š -> p3ra1š 2p2r is embedded in p3ri pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3ri is embedded in p3ri +p3ri r2i is embedded in p3ri pri includes ri at pos 1 p3ri + r2i -> p3r2i 2p2r is embedded in pris2 pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3ri is embedded in pris2 pri includes pri at pos 0 p3r2i + p3ri -> p3r2i pris2 is embedded in pris2 +pris2 r2i is embedded in pris2 pri includes ri at pos 1 p3r2i + r2i -> p3r2i 4i1s is embedded in pris2 pris includes is at pos 2 pris2 + 4i1s -> pr4i1s2 2p2r is embedded in p5ro. pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p5ro. is embedded in p5ro. +p5ro. r2o is embedded in p5ro. p+r2o 2p2r is embedded in p3rom pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3rom is embedded in p3rom +p3rom r2o is embedded in p3rom pro includes ro at pos 1 pr2o + r2o -> pr2o o1m is embedded in p3rom prom includes om at pos 2 p3rom + o1m -> p3ro1m 2p2r is embedded in p3ry pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3ry is embedded in p3ry +p3ry 2p2r is embedded in 4prą pr includes pr at pos 0 2p2r + 2p2r -> 2p2r 4prą is embedded in 4prą +4prą 3rą is embedded in 4prą prą includes rą at pos 1 4prą + 3rą -> 4p3rą 2p2r is embedded in p3rė pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3rė is embedded in p3rė +p3rė 2p2r is embedded in p3rū pr includes pr at pos 0 2p2r + 2p2r -> 2p2r p3rū is embedded in p3rū +p3rū 4p1s is embedded in 4p1s +4p1s 4p1s is embedded in psi1 ps includes ps at pos 0 4p1s + 4p1s -> 4p1s psi1 is embedded in psi1 +psi1 4p1s is embedded in p5s4k ps includes ps at pos 0 4p1s + 4p1s -> 4p1s p5s4k is embedded in p5s4k +p5s4k 3s2k2 is embedded in p5s4k psk includes sk at pos 1 p5s4k + 3s2k2 -> p5s4k2 4p1s is embedded in p4s3ty ps includes ps at pos 0 4p1s + 4p1s -> 4p1s p4s3ty is embedded in p4s3ty +p4s3ty 2s1t is embedded in p4s3ty p+2s1t 4p1s is embedded in p3s2v ps includes ps at pos 0 4p1s + 4p1s -> 4p1s p3s2v is embedded in p3s2v +p3s2v 2s1v is embedded in p3s2v psv includes sv at pos 1 p3s2v + 2s1v -> p3s2v 4p3t2 is embedded in 4p3t2 +4p3t2 3p4u is embedded in 3p4u +3p4u 3p4u is embedded in pusiau1 pu includes pu at pos 0 3p4u + 3p4u -> 3p4u pusiau1 is embedded in pusiau1 +pusiau1 u1s is embedded in pusiau1 p+u1s i2a is embedded in pusiau1 pus+i2a a4u is embedded in pusiau1 pusiau includes au at pos 4 pusiau1 + a4u -> pusia4u1 3p4u is embedded in pu4sk pu includes pu at pos 0 3p4u + 3p4u -> 3p4u pu4sk is embedded in pu4sk +pu4sk u1s is embedded in pu4sk pus includes us at pos 1 pu1s + u1s -> pu1s 3s2k2 is embedded in pu4sk pusk includes sk at pos 2 pu4sk + 3s2k2 -> pu4s2k2 3p4u is embedded in pu4sl pu includes pu at pos 0 3p4u + 3p4u -> 3p4u pu4sl is embedded in pu4sl +pu4sl u1s is embedded in pu4sl pus includes us at pos 1 pu1s + u1s -> pu1s u3sl is embedded in pu4sl pusl includes usl at pos 1 pu4sl + u3sl -> pu4sl 2s2l is embedded in pu4sl pusl includes sl at pos 2 pu4sl + 2s2l -> pu4s2l 3p4u is embedded in pu4tr pu includes pu at pos 0 3p4u + 3p4u -> 3p4u pu4tr is embedded in pu4tr +pu4tr u3t2 is embedded in pu4tr p+u3t2 2utr is embedded in pu4tr putr includes utr at pos 1 pu4tr + 2utr -> p2u4tr 2t1r is embedded in pu4tr putr includes tr at pos 2 p2u4tr + 2t1r -> p2u4t1r 2p1v is embedded in 2p1v +2p1v 2p1w is embedded in 2p1w +2p1w p2y is embedded in p2y +p2y 2p1z is embedded in 2p1z +2p1z 2p1č is embedded in 2p1č +2p1č p2ė is embedded in p2ė +p2ė 4p3š2 is embedded in 4p3š2 +4p3š2 4p3ž is embedded in 4p3ž +4p3ž r2a is embedded in r2a +r2a r2a is embedded in 3ra. ra includes ra at pos 0 r2a + r2a -> r2a 3ra. is embedded in 3ra. +3ra. r2a is embedded in ra3b ra includes ra at pos 0 r2a + r2a -> r2a ra3b is embedded in ra3b +ra3b a1b is embedded in ra3b rab includes ab at pos 1 ra3b + a1b -> ra3b r2a is embedded in 3rac ra includes ra at pos 0 r2a + r2a -> r2a 3rac is embedded in 3rac +3rac a1c is embedded in 3rac rac includes ac at pos 1 3rac + a1c -> 3ra1c r2a is embedded in ra1im ra includes ra at pos 0 r2a + r2a -> r2a ra1im is embedded in ra1im +ra1im i1m is embedded in ra1im raim includes im at pos 2 ra1im + i1m -> ra1i1m r2a is embedded in rai4tį ra includes ra at pos 0 r2a + r2a -> r2a rai4tį is embedded in rai4tį +rai4tį 2i3t2 is embedded in rai4tį ra+2i3t2 r2a is embedded in ra3kr ra includes ra at pos 0 r2a + r2a -> r2a ra3kr is embedded in ra3kr +ra3kr a1k is embedded in ra3kr r+a1k 2k2r is embedded in ra3kr rakr includes kr at pos 2 ra3kr + 2k2r -> ra3k2r r2a is embedded in 3ral ra includes ra at pos 0 r2a + r2a -> r2a 3ral is embedded in 3ral +3ral a1l is embedded in 3ral ral includes al at pos 1 3ral + a1l -> 3ra1l r2a is embedded in 3ram ra includes ra at pos 0 r2a + r2a -> r2a 3ram is embedded in 3ram +3ram a1m is embedded in 3ram ram includes am at pos 1 3ram + a1m -> 3ra1m r2a is embedded in ras4l ra includes ra at pos 0 r2a + r2a -> r2a ras4l is embedded in ras4l +ras4l a1s is embedded in ras4l r+a1s a3sl is embedded in ras4l rasl includes asl at pos 1 ras4l + a3sl -> ra3s4l 2s2l is embedded in ras4l rasl includes sl at pos 2 ra3s4l + 2s2l -> ra3s4l r2a is embedded in ra3sm ra includes ra at pos 0 r2a + r2a -> r2a ra3sm is embedded in ra3sm +ra3sm a1s is embedded in ra3sm ras includes as at pos 1 ra1s + a1s -> ra1s 2s1m is embedded in ra3sm rasm includes sm at pos 2 ra3sm + 2s1m -> ra3s1m r2a is embedded in rau4ka. ra includes ra at pos 0 r2a + r2a -> r2a rau4ka. is embedded in rau4ka. +rau4ka. a4u is embedded in rau4ka. r+a4u u1k is embedded in rau4ka. ra+u1k 3ka. is embedded in rau4ka. rauka. includes ka. at pos 3 rau4ka. + 3ka. -> rau4ka. r2a is embedded in 3rav ra includes ra at pos 0 r2a + r2a -> r2a 3rav is embedded in 3rav +3rav a1v is embedded in 3rav rav includes av at pos 1 3rav + a1v -> 3ra1v 2r1b is embedded in 2r1b +2r1b 2r1b is embedded in rbo1 rb includes rb at pos 0 2r1b + 2r1b -> 2r1b rbo1 is embedded in rbo1 +rbo1 2r1b is embedded in r3b4r rb includes rb at pos 0 2r1b + 2r1b -> 2r1b r3b4r is embedded in r3b4r +r3b4r 2b2r is embedded in r3b4r rbr includes br at pos 1 r3b4r + 2b2r -> r3b4r 2r1c is embedded in 2r1c +2r1c 4r1d is embedded in 4r1d +4r1d 2reb is embedded in 2reb +2reb e1b2 is embedded in 2reb reb includes eb at pos 1 2reb + e1b2 -> 2re1b2 4rein is embedded in 4rein +4rein 1ein is embedded in 4rein rein includes ein at pos 1 4rein + 1ein -> 4r1ein 4i1n is embedded in 4rein rein includes in at pos 2 4r1ein + 4i1n -> 4r1e4i1n 4reit is embedded in 4reit +4reit 2i3t2 is embedded in 4reit reit includes it at pos 2 4reit + 2i3t2 -> 4re2i3t2 3rel is embedded in 3rel +3rel e1l is embedded in 3rel rel includes el at pos 1 3rel + e1l -> 3re1l re4p5 is embedded in re4p5 +re4p5 e3p is embedded in re4p5 rep includes ep at pos 1 re4p5 + e3p -> re4p5 5res is embedded in 5res +5res e1s is embedded in 5res res includes es at pos 1 5res + e1s -> 5re1s 5res is embedded in res3l res includes res at pos 0 5re1s + 5res -> 5re1s res3l is embedded in res3l +res3l e1s is embedded in res3l res includes es at pos 1 5re1s + e1s -> 5re1s 2s2l is embedded in res3l resl includes sl at pos 2 res3l + 2s2l -> re2s3l 3ret is embedded in 3ret +3ret e1t is embedded in 3ret ret includes et at pos 1 3ret + e1t -> 3re1t 2r1f is embedded in 2r1f +2r1f 2r1g is embedded in 2r1g +2r1g 2r1h is embedded in 2r1h +2r1h r2i is embedded in r2i +r2i r2i is embedded in 3ri. ri includes ri at pos 0 r2i + r2i -> r2i 3ri. is embedded in 3ri. +3ri. r2i is embedded in ri3d ri includes ri at pos 0 r2i + r2i -> r2i ri3d is embedded in ri3d +ri3d i1d is embedded in ri3d rid includes id at pos 1 ri3d + i1d -> ri3d r2i is embedded in 3rij ri includes ri at pos 0 r2i + r2i -> r2i 3rij is embedded in 3rij +3rij i1j is embedded in 3rij rij includes ij at pos 1 3rij + i1j -> 3ri1j r2i is embedded in ri3kr ri includes ri at pos 0 r2i + r2i -> r2i ri3kr is embedded in ri3kr +ri3kr i1k is embedded in ri3kr r+i1k ik3r is embedded in ri3kr rikr includes ikr at pos 1 ri3kr + ik3r -> ri3k3r 2k2r is embedded in ri3kr rikr includes kr at pos 2 ri3k3r + 2k2r -> ri3k3r r2i is embedded in 2ril ri includes ri at pos 0 r2i + r2i -> r2i 2ril is embedded in 2ril +2ril i1l is embedded in 2ril ril includes il at pos 1 2ril + i1l -> 2ri1l r2i is embedded in ri2ma. ri includes ri at pos 0 r2i + r2i -> r2i ri2ma. is embedded in ri2ma. +ri2ma. i1m is embedded in ri2ma. r+i1m m2a is embedded in ri2ma. ri+m2a r2i is embedded in 2r3imt ri includes ri at pos 0 r2i + r2i -> r2i 2r3imt is embedded in 2r3imt +2r3imt i1m is embedded in 2r3imt rim includes im at pos 1 ri1m + i1m -> ri1m 2m1t is embedded in 2r3imt rimt includes mt at pos 2 2r3imt + 2m1t -> 2r3i2m1t r2i is embedded in 3rio ri includes ri at pos 0 r2i + r2i -> r2i 3rio is embedded in 3rio +3rio i2o is embedded in 3rio rio includes io at pos 1 3rio + i2o -> 3ri2o r2i is embedded in ri3p ri includes ri at pos 0 r2i + r2i -> r2i ri3p is embedded in ri3p +ri3p i1p is embedded in ri3p rip includes ip at pos 1 ri3p + i1p -> ri3p r2i is embedded in risi1 ri includes ri at pos 0 r2i + r2i -> r2i risi1 is embedded in risi1 +risi1 4i1s is embedded in risi1 r+4i1s i5si is embedded in risi1 risi includes isi at pos 1 risi1 + i5si -> ri5si1 r2i is embedded in ri3st ri includes ri at pos 0 r2i + r2i -> r2i ri3st is embedded in ri3st +ri3st 4i1s is embedded in ri3st ris includes is at pos 1 r4i1s + 4i1s -> r4i1s 2s1t is embedded in ri3st rist includes st at pos 2 ri3st + 2s1t -> ri3s1t r2i is embedded in rivin1 ri includes ri at pos 0 r2i + r2i -> r2i rivin1 is embedded in rivin1 +rivin1 i1v is embedded in rivin1 r+i1v 4i1n is embedded in rivin1 rivin includes in at pos 3 rivin1 + 4i1n -> riv4i1n1 r2i is embedded in 3rią ri includes ri at pos 0 r2i + r2i -> r2i 3rią is embedded in 3rią +3rią i2ą is embedded in 3rią rią includes ią at pos 1 3rią + i2ą -> 3ri2ą r2i is embedded in 3rių ri includes ri at pos 0 r2i + r2i -> r2i 3rių is embedded in 3rių +3rių i2ų is embedded in 3rių rių includes ių at pos 1 3rių + i2ų -> 3ri2ų r2i is embedded in 2riū ri includes ri at pos 0 r2i + r2i -> r2i 2riū is embedded in 2riū +2riū i2ū is embedded in 2riū riū includes iū at pos 1 2riū + i2ū -> 2ri2ū 4r1k is embedded in 4r1k +4r1k 4r1k is embedded in rk3ly rk includes rk at pos 0 4r1k + 4r1k -> 4r1k rk3ly is embedded in rk3ly +rk3ly 2k1l is embedded in rk3ly r+2k1l k2ly is embedded in rk3ly rkly includes kly at pos 1 rk3ly + k2ly -> rk3ly 4r1k is embedded in r3k4r rk includes rk at pos 0 4r1k + 4r1k -> 4r1k r3k4r is embedded in r3k4r +r3k4r 2k2r is embedded in r3k4r rkr includes kr at pos 1 r3k4r + 2k2r -> r3k4r 4r1l is embedded in 4r1l +4r1l 2r1m is embedded in 2r1m +2r1m 4r1n is embedded in 4r1n +4r1n r2o is embedded in r2o +r2o r2o is embedded in 3rod2 ro includes ro at pos 0 r2o + r2o -> r2o 3rod2 is embedded in 3rod2 +3rod2 o1d is embedded in 3rod2 rod includes od at pos 1 3rod2 + o1d -> 3ro1d2 r2o is embedded in ro4gr ro includes ro at pos 0 r2o + r2o -> r2o ro4gr is embedded in ro4gr +ro4gr o1g is embedded in ro4gr r+o1g 3g2r is embedded in ro4gr rogr includes gr at pos 2 ro4gr + 3g2r -> ro4g2r r2o is embedded in 3roj ro includes ro at pos 0 r2o + r2o -> r2o 3roj is embedded in 3roj +3roj o1j is embedded in 3roj roj includes oj at pos 1 3roj + o1j -> 3ro1j r2o is embedded in 3rok ro includes ro at pos 0 r2o + r2o -> r2o 3rok is embedded in 3rok +3rok o1k is embedded in 3rok rok includes ok at pos 1 3rok + o1k -> 3ro1k r2o is embedded in 3ron ro includes ro at pos 0 r2o + r2o -> r2o 3ron is embedded in 3ron +3ron o1n is embedded in 3ron ron includes on at pos 1 3ron + o1n -> 3ro1n r2o is embedded in 3rop ro includes ro at pos 0 r2o + r2o -> r2o 3rop is embedded in 3rop +3rop o1p is embedded in 3rop rop includes op at pos 1 3rop + o1p -> 3ro1p r2o is embedded in 2r3org ro includes ro at pos 0 r2o + r2o -> r2o 2r3org is embedded in 2r3org +2r3org o1r is embedded in 2r3org r+o1r 2r1g is embedded in 2r3org rorg includes rg at pos 2 2r3org + 2r1g -> 2r3o2r1g r2o is embedded in 5ros ro includes ro at pos 0 r2o + r2o -> r2o 5ros is embedded in 5ros +5ros o1s is embedded in 5ros ros includes os at pos 1 5ros + o1s -> 5ro1s 2r1p is embedded in 2r1p +2r1p 2r1p is embedded in r3p4r rp includes rp at pos 0 2r1p + 2r1p -> 2r1p r3p4r is embedded in r3p4r +r3p4r 2p2r is embedded in r3p4r rpr includes pr at pos 1 r3p4r + 2p2r -> r3p4r 2r1r is embedded in 2r1r +2r1r 4r1s is embedded in 4r1s +4r1s 4r1s is embedded in rs4ko. rs includes rs at pos 0 4r1s + 4r1s -> 4r1s rs4ko. is embedded in rs4ko. +rs4ko. 3s2k2 is embedded in rs4ko. r+3s2k2 3ko is embedded in rs4ko. rs+3ko 4r1s is embedded in rs4p rs includes rs at pos 0 4r1s + 4r1s -> 4r1s rs4p is embedded in rs4p +rs4p 3s2p is embedded in rs4p rsp includes sp at pos 1 rs4p + 3s2p -> r3s4p 4r1t is embedded in 4r1t +4r1t 4r1t is embedded in rti5k4 rt includes rt at pos 0 4r1t + 4r1t -> 4r1t rti5k4 is embedded in rti5k4 +rti5k4 t2i is embedded in rti5k4 r+t2i i1k is embedded in rti5k4 rtik includes ik at pos 2 rti5k4 + i1k -> rti5k4 4r1t is embedded in rti3s2 rt includes rt at pos 0 4r1t + 4r1t -> 4r1t rti3s2 is embedded in rti3s2 +rti3s2 t2i is embedded in rti3s2 rti includes ti at pos 1 rt2i + t2i -> rt2i 4i1s is embedded in rti3s2 rtis includes is at pos 2 rti3s2 + 4i1s -> rt4i3s2 4r1t is embedded in r3t2r rt includes rt at pos 0 4r1t + 4r1t -> 4r1t r3t2r is embedded in r3t2r +r3t2r 2t1r is embedded in r3t2r rtr includes tr at pos 1 r3t2r + 2t1r -> r3t2r 4r1t is embedded in r3t2v rt includes rt at pos 0 4r1t + 4r1t -> 4r1t r3t2v is embedded in r3t2v +r3t2v 2t1v is embedded in r3t2v rtv includes tv at pos 1 r3t2v + 2t1v -> r3t2v r2u is embedded in r2u +r2u r2u is embedded in 2ruk ru includes ru at pos 0 r2u + r2u -> r2u 2ruk is embedded in 2ruk +2ruk u1k is embedded in 2ruk ruk includes uk at pos 1 2ruk + u1k -> 2ru1k r2u is embedded in 3rul ru includes ru at pos 0 r2u + r2u -> r2u 3rul is embedded in 3rul +3rul u1l is embedded in 3rul rul includes ul at pos 1 3rul + u1l -> 3ru1l r2u is embedded in 4run ru includes ru at pos 0 r2u + r2u -> r2u 4run is embedded in 4run +4run u1n is embedded in 4run run includes un at pos 1 4run + u1n -> 4ru1n r2u is embedded in 3ruos ru includes ru at pos 0 r2u + r2u -> r2u 3ruos is embedded in 3ruos +3ruos u2o is embedded in 3ruos r+u2o o1s is embedded in 3ruos ruos includes os at pos 2 3ruos + o1s -> 3ruo1s r2u is embedded in 2rup ru includes ru at pos 0 r2u + r2u -> r2u 2rup is embedded in 2rup +2rup u3p is embedded in 2rup rup includes up at pos 1 2rup + u3p -> 2ru3p r2u is embedded in 3rus ru includes ru at pos 0 r2u + r2u -> r2u 3rus is embedded in 3rus +3rus u1s is embedded in 3rus rus includes us at pos 1 3rus + u1s -> 3ru1s r2u is embedded in ru4sk ru includes ru at pos 0 r2u + r2u -> r2u 3rus is embedded in ru4sk rus includes rus at pos 0 3ru1s + 3rus -> 3ru1s ru4sk is embedded in ru4sk +ru4sk u1s is embedded in ru4sk rus includes us at pos 1 3ru1s + u1s -> 3ru1s 3s2k2 is embedded in ru4sk rusk includes sk at pos 2 ru4sk + 3s2k2 -> ru4s2k2 r2u is embedded in 4ruto ru includes ru at pos 0 r2u + r2u -> r2u 4ruto is embedded in 4ruto +4ruto u3t2 is embedded in 4ruto r+u3t2 uto1 is embedded in 4ruto ruto includes uto at pos 1 4ruto + uto1 -> 4ruto1 t2o is embedded in 4ruto ruto includes to at pos 2 4ruto1 + t2o -> 4rut2o1 4r1v is embedded in 4r1v +4r1v 2r1w is embedded in 2r1w +2r1w 2r1z is embedded in 2r1z +2r1z 3rą is embedded in 3rą +3rą 3rą is embedded in 4rąs rą includes rą at pos 0 3rą + 3rą -> 3rą 4rąs is embedded in 4rąs +4rąs ą1s is embedded in 4rąs rąs includes ąs at pos 1 4rąs + ą1s -> 4rą1s 4r1č is embedded in 4r1č +4r1č 4r1š is embedded in 4r1š +4r1š 4r1š is embedded in r3š2l rš includes rš at pos 0 4r1š + 4r1š -> 4r1š r3š2l is embedded in r3š2l +r3š2l 2š1l is embedded in r3š2l ršl includes šl at pos 1 r3š2l + 2š1l -> r3š2l 4r1š is embedded in r3š2m rš includes rš at pos 0 4r1š + 4r1š -> 4r1š r3š2m is embedded in r3š2m +r3š2m 2š1m is embedded in r3š2m ršm includes šm at pos 1 r3š2m + 2š1m -> r3š2m 5rų is embedded in 5rų +5rų 2r1ž is embedded in 2r1ž +2r1ž sala1 is embedded in sala1 +sala1 a1l is embedded in sala1 s+a1l 2s1amž is embedded in 2s1amž +2s1amž a1m is embedded in 2s1amž s+a1m 2m1ž is embedded in 2s1amž samž includes mž at pos 2 2s1amž + 2m1ž -> 2s1a2m1ž san5t is embedded in san5t +san5t a1n is embedded in san5t s+a1n 4n1t is embedded in san5t sant includes nt at pos 2 san5t + 4n1t -> sa4n5t sarka1 is embedded in sarka1 +sarka1 a1r is embedded in sarka1 s+a1r 4r1k is embedded in sarka1 sa+4r1k 2s3b is embedded in 2s3b +2s3b 2s1c is embedded in 2s1c +2s1c 2s3d is embedded in 2s3d +2s3d s2e is embedded in s2e +s2e s2e is embedded in se4kr se includes se at pos 0 s2e + s2e -> s2e se4kr is embedded in se4kr +se4kr e1k is embedded in se4kr s+e1k e3kr is embedded in se4kr sekr includes ekr at pos 1 se4kr + e3kr -> se4kr 2k2r is embedded in se4kr sekr includes kr at pos 2 se4kr + 2k2r -> se4k2r s2e is embedded in senat4 se includes se at pos 0 s2e + s2e -> s2e senat4 is embedded in senat4 +senat4 2e1n is embedded in senat4 s+2e1n na3t2 is embedded in senat4 senat includes nat at pos 2 senat4 + na3t2 -> sena3t4 a1t is embedded in senat4 senat includes at at pos 3 sena3t4 + a1t -> sena3t4 2s1f is embedded in 2s1f +2s1f 2s1g is embedded in 2s1g +2s1g 2s1h is embedded in 2s1h +2s1h si3auk is embedded in si3auk +si3auk i2a is embedded in si3auk s+i2a a4u is embedded in si3auk si+a4u u1k is embedded in si3auk siauk includes uk at pos 3 si3auk + u1k -> si3au1k si3a2v is embedded in si3a2v +si3a2v i2a is embedded in si3a2v sia includes ia at pos 1 si2a + i2a -> si2a a1v is embedded in si3a2v siav includes av at pos 2 si3a2v + a1v -> si3a2v si3a2š is embedded in si3a2š +si3a2š i2a is embedded in si3a2š sia includes ia at pos 1 si2a + i2a -> si2a a1š is embedded in si3a2š siaš includes aš at pos 2 si3a2š + a1š -> si3a2š si3d is embedded in si3d +si3d i1d is embedded in si3d sid includes id at pos 1 si3d + i1d -> si3d si3k4 is embedded in si3k4 +si3k4 i1k is embedded in si3k4 sik includes ik at pos 1 si3k4 + i1k -> si3k4 si3p4 is embedded in si3p4 +si3p4 i1p is embedded in si3p4 sip includes ip at pos 1 si3p4 + i1p -> si3p4 si3s2 is embedded in si3s2 +si3s2 4i1s is embedded in si3s2 sis includes is at pos 1 si3s2 + 4i1s -> s4i3s2 si5š2v is embedded in si5š2v +si5š2v i1š is embedded in si5š2v s+i1š i4šv is embedded in si5š2v sišv includes išv at pos 1 si5š2v + i4šv -> si5š2v 3š1v is embedded in si5š2v sišv includes šv at pos 2 si5š2v + 3š1v -> si5š2v 3s2k2 is embedded in 3s2k2 +3s2k2 3s2k2 is embedded in 4sk. sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 4sk. is embedded in 4sk. +4sk. 3s2k2 is embedded in s5ka. sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 s5ka. is embedded in s5ka. +s5ka. 3ka. is embedded in s5ka. ska. includes ka. at pos 1 s5ka. + 3ka. -> s5ka. 3s2k2 is embedded in 4ske sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 4ske is embedded in 4ske +4ske 3ke is embedded in 4ske ske includes ke at pos 1 4ske + 3ke -> 4s3ke 3s2k2 is embedded in 5s4ken sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 4ske is embedded in 5s4ken ske includes ske at pos 0 4s3ke + 4ske -> 4s3ke 5s4ken is embedded in 5s4ken +5s4ken 3ke is embedded in 5s4ken ske includes ke at pos 1 4s3ke + 3ke -> 4s3ke 2e1n is embedded in 5s4ken sken includes en at pos 2 5s4ken + 2e1n -> 5s4k2e1n 3s2k2 is embedded in 5ski sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 5ski is embedded in 5ski +5ski k4i is embedded in 5ski ski includes ki at pos 1 5ski + k4i -> 5sk4i 3s2k2 is embedded in 5s4kle sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 5s4kle is embedded in 5s4kle +5s4kle 2k1l is embedded in 5s4kle s+2k1l 3s2k2 is embedded in 5sk4r sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 5sk4r is embedded in 5sk4r +5sk4r 2k2r is embedded in 5sk4r skr includes kr at pos 1 5sk4r + 2k2r -> 5s2k4r 3s2k2 is embedded in 5skub sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 5skub is embedded in 5skub +5skub 3ku is embedded in 5skub s+3ku 4kub is embedded in 5skub skub includes kub at pos 1 5skub + 4kub -> 5s4kub u1b is embedded in 5skub skub includes ub at pos 2 5s4kub + u1b -> 5s4ku1b 3s2k2 is embedded in sk3va sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 sk3va is embedded in sk3va +sk3va 2k1v is embedded in sk3va s+2k1v k2va is embedded in sk3va skva includes kva at pos 1 sk3va + k2va -> sk3va 3s2k2 is embedded in sk3vi sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 sk3vi is embedded in sk3vi +sk3vi 2k1v is embedded in sk3vi skv includes kv at pos 1 s2k1v + 2k1v -> s2k1v 3s2k2 is embedded in 5sky sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 5sky is embedded in 5sky +5sky 3s2k2 is embedded in 4ską sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 4ską is embedded in 4ską +4ską 5ką is embedded in 4ską ską includes ką at pos 1 4ską + 5ką -> 4s5ką 3s2k2 is embedded in 5skę sk includes sk at pos 0 3s2k2 + 3s2k2 -> 3s2k2 5skę is embedded in 5skę +5skę 2s2l is embedded in 2s2l +2s2l 2s2l is embedded in 3sle sl includes sl at pos 0 2s2l + 2s2l -> 2s2l 3sle is embedded in 3sle +3sle 2s2l is embedded in s3li sl includes sl at pos 0 2s2l + 2s2l -> 2s2l s3li is embedded in s3li +s3li 2s2l is embedded in s3lo sl includes sl at pos 0 2s2l + 2s2l -> 2s2l s3lo is embedded in s3lo +s3lo 2s2l is embedded in 4s3lu sl includes sl at pos 0 2s2l + 2s2l -> 2s2l 4s3lu is embedded in 4s3lu +4s3lu 2s2l is embedded in 4s3lū sl includes sl at pos 0 2s2l + 2s2l -> 2s2l 4s3lū is embedded in 4s3lū +4s3lū 2s1m is embedded in 2s1m +2s1m 2s1m is embedded in 4sme. sm includes sm at pos 0 2s1m + 2s1m -> 2s1m 4sme. is embedded in 4sme. +4sme. 2s1m is embedded in 4smę sm includes sm at pos 0 2s1m + 2s1m -> 2s1m 4smę is embedded in 4smę +4smę 4s3n is embedded in 4s3n +4s3n so4dr is embedded in so4dr +so4dr o1d is embedded in so4dr s+o1d o3dr is embedded in so4dr sodr includes odr at pos 1 so4dr + o3dr -> so4dr 2d1r is embedded in so4dr sodr includes dr at pos 2 so4dr + 2d1r -> so4d1r 3s2p is embedded in 3s2p +3s2p 3s2p is embedded in s3pe sp includes sp at pos 0 3s2p + 3s2p -> 3s2p s3pe is embedded in s3pe +s3pe p2e is embedded in s3pe spe includes pe at pos 1 s3pe + p2e -> s3p2e 3s2p is embedded in 4spn sp includes sp at pos 0 3s2p + 3s2p -> 3s2p 4spn is embedded in 4spn +4spn 4p1n is embedded in 4spn spn includes pn at pos 1 4spn + 4p1n -> 4s4p1n 3s2p is embedded in 4spu sp includes sp at pos 0 3s2p + 3s2p -> 3s2p 4spu is embedded in 4spu +4spu 3p4u is embedded in 4spu spu includes pu at pos 1 4spu + 3p4u -> 4s3p4u 4s1r is embedded in 4s1r +4s1r 4s1r is embedded in s3ri sr includes sr at pos 0 4s1r + 4s1r -> 4s1r s3ri is embedded in s3ri +s3ri r2i is embedded in s3ri sri includes ri at pos 1 s3ri + r2i -> s3r2i 2s1s is embedded in 2s1s +2s1s 2s1t is embedded in 2s1t +2s1t 2s1t is embedded in s2tal st includes st at pos 0 2s1t + 2s1t -> 2s1t s2tal is embedded in s2tal +s2tal t2a is embedded in s2tal s+t2a a1l is embedded in s2tal stal includes al at pos 2 s2tal + a1l -> s2ta1l 2s1t is embedded in s2ten st includes st at pos 0 2s1t + 2s1t -> 2s1t s2ten is embedded in s2ten +s2ten 2e1n is embedded in s2ten sten includes en at pos 2 s2ten + 2e1n -> s2t2e1n 2s1t is embedded in 4stin st includes st at pos 0 2s1t + 2s1t -> 2s1t 4stin is embedded in 4stin +4stin t2i is embedded in 4stin s+t2i 3tin is embedded in 4stin stin includes tin at pos 1 4stin + 3tin -> 4s3tin 4i1n is embedded in 4stin stin includes in at pos 2 4s3tin + 4i1n -> 4s3t4i1n 2s1t is embedded in s2tod st includes st at pos 0 2s1t + 2s1t -> 2s1t s2tod is embedded in s2tod +s2tod t2o is embedded in s2tod s+t2o o1d is embedded in s2tod stod includes od at pos 2 s2tod + o1d -> s2to1d 2s1t is embedded in s2toj st includes st at pos 0 2s1t + 2s1t -> 2s1t s2toj is embedded in s2toj +s2toj t2o is embedded in s2toj sto includes to at pos 1 st2o + t2o -> st2o o1j is embedded in s2toj stoj includes oj at pos 2 s2toj + o1j -> s2to1j 2s1t is embedded in 3s2tov st includes st at pos 0 2s1t + 2s1t -> 2s1t 3s2tov is embedded in 3s2tov +3s2tov t2o is embedded in 3s2tov sto includes to at pos 1 st2o + t2o -> st2o o1v is embedded in 3s2tov stov includes ov at pos 2 3s2tov + o1v -> 3s2to1v 2s1t is embedded in st2rai st includes st at pos 0 2s1t + 2s1t -> 2s1t st2rai is embedded in st2rai +st2rai 2t1r is embedded in st2rai s+2t1r r2a is embedded in st2rai st+r2a 2s1t is embedded in st2v st includes st at pos 0 2s1t + 2s1t -> 2s1t st2v is embedded in st2v +st2v 2t1v is embedded in st2v stv includes tv at pos 1 st2v + 2t1v -> s2t2v 2s1t is embedded in 4stę st includes st at pos 0 2s1t + 2s1t -> 2s1t 4stę is embedded in 4stę +4stę 3tę is embedded in 4stę stę includes tę at pos 1 4stę + 3tę -> 4s3tę 2s1t is embedded in 4s3tė st includes st at pos 0 2s1t + 2s1t -> 2s1t 4s3tė is embedded in 4s3tė +4s3tė 2s1t is embedded in 4stų st includes st at pos 0 2s1t + 2s1t -> 2s1t 4stų is embedded in 4stų +4stų 2s1t is embedded in s2tū st includes st at pos 0 2s1t + 2s1t -> 2s1t s2tū is embedded in s2tū +s2tū su1 is embedded in su1 +su1 su1 is embedded in su3bl su includes su at pos 0 su1 + su1 -> su1 su3bl is embedded in su3bl +su3bl u1b is embedded in su3bl s+u1b 2b1l is embedded in su3bl subl includes bl at pos 2 su3bl + 2b1l -> su3b1l su1 is embedded in su3d2 su includes su at pos 0 su1 + su1 -> su1 su3d2 is embedded in su3d2 +su3d2 u1d is embedded in su3d2 sud includes ud at pos 1 su3d2 + u1d -> su3d2 su1 is embedded in su3g2 su includes su at pos 0 su1 + su1 -> su1 su3g2 is embedded in su3g2 +su3g2 u1g is embedded in su3g2 sug includes ug at pos 1 su3g2 + u1g -> su3g2 su1 is embedded in suk2l su includes su at pos 0 su1 + su1 -> su1 suk2l is embedded in suk2l +suk2l u1k is embedded in suk2l s+u1k u3kl is embedded in suk2l sukl includes ukl at pos 1 suk2l + u3kl -> su3k2l 2k1l is embedded in suk2l sukl includes kl at pos 2 su3k2l + 2k1l -> su3k2l su1 is embedded in su3s2 su includes su at pos 0 su1 + su1 -> su1 su3s2 is embedded in su3s2 +su3s2 u1s is embedded in su3s2 sus includes us at pos 1 su3s2 + u1s -> su3s2 su1 is embedded in susi1 su includes su at pos 0 su1 + su1 -> su1 su3s2 is embedded in susi1 sus includes sus at pos 0 su3s2 + su3s2 -> su3s2 susi1 is embedded in susi1 +susi1 u1s is embedded in susi1 sus includes us at pos 1 su3s2 + u1s -> su3s2 su1 is embedded in suž4 su includes su at pos 0 su1 + su1 -> su1 suž4 is embedded in suž4 +suž4 u1ž is embedded in suž4 suž includes už at pos 1 suž4 + u1ž -> su1ž4 2s1v is embedded in 2s1v +2s1v 2s1v is embedded in s2ve sv includes sv at pos 0 2s1v + 2s1v -> 2s1v s2ve is embedded in s2ve +s2ve v2e is embedded in s2ve sve includes ve at pos 1 s2ve + v2e -> s2v2e 2s1v is embedded in 3s2vy sv includes sv at pos 0 2s1v + 2s1v -> 2s1v 3s2vy is embedded in 3s2vy +3s2vy 2s1w is embedded in 2s1w +2s1w 2s1z is embedded in 2s1z +2s1z są3 is embedded in są3 +są3 4s3č is embedded in 4s3č +4s3č 5sė is embedded in 5sė +5sė 2s1š is embedded in 2s1š +2s1š 2s1ž is embedded in 2s1ž +2s1ž t2a is embedded in t2a +t2a t2a is embedded in 2tab ta includes ta at pos 0 t2a + t2a -> t2a 2tab is embedded in 2tab +2tab a1b is embedded in 2tab tab includes ab at pos 1 2tab + a1b -> 2ta1b t2a is embedded in ta3kr ta includes ta at pos 0 t2a + t2a -> t2a ta3kr is embedded in ta3kr +ta3kr a1k is embedded in ta3kr t+a1k 2k2r is embedded in ta3kr takr includes kr at pos 2 ta3kr + 2k2r -> ta3k2r t2a is embedded in ta5s ta includes ta at pos 0 t2a + t2a -> t2a ta5s is embedded in ta5s +ta5s a1s is embedded in ta5s tas includes as at pos 1 ta5s + a1s -> ta5s t2a is embedded in 2tat ta includes ta at pos 0 t2a + t2a -> t2a 2tat is embedded in 2tat +2tat a1t is embedded in 2tat tat includes at at pos 1 2tat + a1t -> 2ta1t t2a is embedded in taura1 ta includes ta at pos 0 t2a + t2a -> t2a taura1 is embedded in taura1 +taura1 a4u is embedded in taura1 t+a4u u1r is embedded in taura1 ta+u1r r2a is embedded in taura1 taura includes ra at pos 3 taura1 + r2a -> taur2a1 t2a is embedded in 2tač ta includes ta at pos 0 t2a + t2a -> t2a 2tač is embedded in 2tač +2tač 2a1č is embedded in 2tač tač includes ač at pos 1 2tač + 2a1č -> 2t2a1č 2t1b is embedded in 2t1b +2t1b 2t1c is embedded in 2t1c +2t1c 2t1d is embedded in 2t1d +2t1d 2teb is embedded in 2teb +2teb e1b2 is embedded in 2teb teb includes eb at pos 1 2teb + e1b2 -> 2te1b2 3tem is embedded in 3tem +3tem e1m is embedded in 3tem tem includes em at pos 1 3tem + e1m -> 3te1m te4o is embedded in te4o +te4o e2o is embedded in te4o teo includes eo at pos 1 te4o + e2o -> te4o te3t2 is embedded in te3t2 +te3t2 e1t is embedded in te3t2 tet includes et at pos 1 te3t2 + e1t -> te3t2 2t1f is embedded in 2t1f +2t1f 4t3g is embedded in 4t3g +4t3g 2t1h is embedded in 2t1h +2t1h t2i is embedded in t2i +t2i t2i is embedded in ti4gr ti includes ti at pos 0 t2i + t2i -> t2i ti4gr is embedded in ti4gr +ti4gr 2i1g is embedded in ti4gr t+2i1g 3g2r is embedded in ti4gr tigr includes gr at pos 2 ti4gr + 3g2r -> ti4g2r t2i is embedded in ti4k3l ti includes ti at pos 0 t2i + t2i -> t2i ti4k3l is embedded in ti4k3l +ti4k3l i1k is embedded in ti4k3l t+i1k 2k1l is embedded in ti4k3l tikl includes kl at pos 2 ti4k3l + 2k1l -> ti4k3l t2i is embedded in 3tin ti includes ti at pos 0 t2i + t2i -> t2i 3tin is embedded in 3tin +3tin 4i1n is embedded in 3tin tin includes in at pos 1 3tin + 4i1n -> 3t4i1n t2i is embedded in 2tip ti includes ti at pos 0 t2i + t2i -> t2i 2tip is embedded in 2tip +2tip i1p is embedded in 2tip tip includes ip at pos 1 2tip + i1p -> 2ti1p 4t3j is embedded in 4t3j +4t3j 4t3k is embedded in 4t3k +4t3k 4t3k is embedded in t4kl tk includes tk at pos 0 4t3k + 4t3k -> 4t3k t4kl is embedded in t4kl +t4kl 2k1l is embedded in t4kl tkl includes kl at pos 1 t4kl + 2k1l -> t4k1l 4t3l is embedded in 4t3l +4t3l 4t3m is embedded in 4t3m +4t3m 2t1n is embedded in 2t1n +2t1n t2o is embedded in t2o +t2o t2o is embedded in 3toje to includes to at pos 0 t2o + t2o -> t2o 3toje is embedded in 3toje +3toje o1j is embedded in 3toje t+o1j t2o is embedded in 2tolį to includes to at pos 0 t2o + t2o -> t2o 2tolį is embedded in 2tolį +2tolį o1l is embedded in 2tolį t+o1l 3lį4 is embedded in 2tolį tolį includes lį at pos 2 2tolį + 3lį4 -> 2to3lį4 t2o is embedded in to3s2 to includes to at pos 0 t2o + t2o -> t2o to3s2 is embedded in to3s2 +to3s2 o1s is embedded in to3s2 tos includes os at pos 1 to3s2 + o1s -> to3s2 t2o is embedded in 2tow to includes to at pos 0 t2o + t2o -> t2o 2tow is embedded in 2tow +2tow o1w is embedded in 2tow tow includes ow at pos 1 2tow + o1w -> 2to1w 2t3p is embedded in 2t3p +2t3p 2t3p is embedded in t4pj tp includes tp at pos 0 2t3p + 2t3p -> 2t3p t4pj is embedded in t4pj +t4pj 2t3p is embedded in tp3lū tp includes tp at pos 0 2t3p + 2t3p -> 2t3p tp3lū is embedded in tp3lū +tp3lū 3p2l is embedded in tp3lū t+3p2l 2t3p is embedded in tp4r tp includes tp at pos 0 2t3p + 2t3p -> 2t3p tp4r is embedded in tp4r +tp4r 2p2r is embedded in tp4r tpr includes pr at pos 1 tp4r + 2p2r -> t2p4r 2t1r is embedded in 2t1r +2t1r 2t1r is embedded in 4trio tr includes tr at pos 0 2t1r + 2t1r -> 2t1r 4trio is embedded in 4trio +4trio r2i is embedded in 4trio t+r2i 3rio is embedded in 4trio trio includes rio at pos 1 4trio + 3rio -> 4t3rio i2o is embedded in 4trio trio includes io at pos 2 4t3rio + i2o -> 4t3ri2o 2t1r is embedded in t2riš tr includes tr at pos 0 2t1r + 2t1r -> 2t1r t2riš is embedded in t2riš +t2riš r2i is embedded in t2riš tri includes ri at pos 1 tr2i + r2i -> tr2i i1š is embedded in t2riš triš includes iš at pos 2 t2riš + i1š -> t2ri1š 2t1r is embedded in 4tro tr includes tr at pos 0 2t1r + 2t1r -> 2t1r 4tro is embedded in 4tro +4tro r2o is embedded in 4tro tro includes ro at pos 1 4tro + r2o -> 4tr2o 2t1r is embedded in 4trą tr includes tr at pos 0 2t1r + 2t1r -> 2t1r 4trą is embedded in 4trą +4trą 3rą is embedded in 4trą trą includes rą at pos 1 4trą + 3rą -> 4t3rą 2t1r is embedded in 4trų tr includes tr at pos 0 2t1r + 2t1r -> 2t1r 4trų is embedded in 4trų +4trų 5rų is embedded in 4trų trų includes rų at pos 1 4trų + 5rų -> 4t5rų 4t3s4 is embedded in 4t3s4 +4t3s4 4t3s4 is embedded in tsi1 ts includes ts at pos 0 4t3s4 + 4t3s4 -> 4t3s4 tsi1 is embedded in tsi1 +tsi1 4t3s4 is embedded in tskri1 ts includes ts at pos 0 4t3s4 + 4t3s4 -> 4t3s4 tskri1 is embedded in tskri1 +tskri1 3s2k2 is embedded in tskri1 t+3s2k2 5sk4r is embedded in tskri1 t+5sk4r 2k2r is embedded in tskri1 tskr includes kr at pos 2 t5sk4r + 2k2r -> t5s2k4r r2i is embedded in tskri1 tskri includes ri at pos 3 tskri1 + r2i -> tskr2i1 4t1t is embedded in 4t1t +4t1t tua4 is embedded in tua4 +tua4 u1a2 is embedded in tua4 tua includes ua at pos 1 tua4 + u1a2 -> tu1a4 3tur is embedded in 3tur +3tur u1r is embedded in 3tur tur includes ur at pos 1 3tur + u1r -> 3tu1r 2t1v is embedded in 2t1v +2t1v 2t1v is embedded in t2vo tv includes tv at pos 0 2t1v + 2t1v -> 2t1v t2vo is embedded in t2vo +t2vo 2t1v is embedded in 4tvėj tv includes tv at pos 0 2t1v + 2t1v -> 2t1v 4tvėj is embedded in 4tvėj +4tvėj 3vė is embedded in 4tvėj t+3vė ė1j is embedded in 4tvėj tvėj includes ėj at pos 2 4tvėj + ė1j -> 4tvė1j 2t1w is embedded in 2t1w +2t1w 3tyd is embedded in 3tyd +3tyd y1d is embedded in 3tyd tyd includes yd at pos 1 3tyd + y1d -> 3ty1d 2t1z is embedded in 2t1z +2t1z 2t1č is embedded in 2t1č +2t1č 3tę is embedded in 3tę +3tę t2ėm is embedded in t2ėm +t2ėm ė1m is embedded in t2ėm tėm includes ėm at pos 1 t2ėm + ė1m -> t2ė1m t2ėm is embedded in t3ėmu tėm includes tėm at pos 0 t2ė1m + t2ėm -> t2ė1m t3ėmu is embedded in t3ėmu +t3ėmu ė1m is embedded in t3ėmu tėm includes ėm at pos 1 t2ė1m + ė1m -> t2ė1m t2ėm is embedded in t3ėmę tėm includes tėm at pos 0 t2ė1m + t2ėm -> t2ė1m t3ėmę is embedded in t3ėmę +t3ėmę ė1m is embedded in t3ėmę tėm includes ėm at pos 1 t2ė1m + ė1m -> t2ė1m t2ėm is embedded in t3ėmė tėm includes tėm at pos 0 t2ė1m + t2ėm -> t2ė1m t3ėmė is embedded in t3ėmė +t3ėmė ė1m is embedded in t3ėmė tėm includes ėm at pos 1 t2ė1m + ė1m -> t2ė1m 2t3š2 is embedded in 2t3š2 +2t3š2 2t3ž is embedded in 2t3ž +2t3ž u1a2 is embedded in u1a2 +u1a2 u1a2 is embedded in u3ai ua includes ua at pos 0 u1a2 + u1a2 -> u1a2 u3ai is embedded in u3ai +u3ai u1b is embedded in u1b +u1b u1b is embedded in u2bj ub includes ub at pos 0 u1b + u1b -> u1b u2bj is embedded in u2bj +u2bj b1j is embedded in u2bj ubj includes bj at pos 1 u2bj + b1j -> u2b1j u1c is embedded in u1c +u1c u1d is embedded in u1d +u1d u1e2 is embedded in u1e2 +u1e2 u1f is embedded in u1f +u1f u1g is embedded in u1g +u1g u1g is embedded in ug4r ug includes ug at pos 0 u1g + u1g -> u1g ug4r is embedded in ug4r +ug4r 3g2r is embedded in ug4r ugr includes gr at pos 1 ug4r + 3g2r -> u3g4r u1g is embedded in ug5rio ug includes ug at pos 0 u1g + u1g -> u1g ug4r is embedded in ug5rio ugr includes ugr at pos 0 u3g4r + ug4r -> u3g4r ug5rio is embedded in ug5rio +ug5rio 3g2r is embedded in ug5rio ugr includes gr at pos 1 u3g4r + 3g2r -> u3g4r g3ri is embedded in ug5rio u+g3ri 4g4rio is embedded in ug5rio ugrio includes grio at pos 1 ug5rio + 4g4rio -> u4g5rio r2i is embedded in ug5rio ugri includes ri at pos 2 ug3ri + r2i -> ug3r2i 3rio is embedded in ug5rio ugrio includes rio at pos 2 u4g5rio + 3rio -> u4g5rio i2o is embedded in ug5rio ugrio includes io at pos 3 u4g5rio + i2o -> u4g5ri2o u1h is embedded in u1h +u1h u1i2m is embedded in u1i2m +u1i2m i1m is embedded in u1i2m uim includes im at pos 1 u1i2m + i1m -> u1i2m u5in is embedded in u5in +u5in 4i1n is embedded in u5in uin includes in at pos 1 u5in + 4i1n -> u5i1n ui2r is embedded in ui2r +ui2r i1r is embedded in ui2r uir includes ir at pos 1 ui2r + i1r -> ui2r u1j is embedded in u1j +u1j u1k is embedded in u1k +u1k u1k is embedded in u3kl uk includes uk at pos 0 u1k + u1k -> u1k u3kl is embedded in u3kl +u3kl 2k1l is embedded in u3kl ukl includes kl at pos 1 u3kl + 2k1l -> u3k1l u1k is embedded in uk2le uk includes uk at pos 0 u1k + u1k -> u1k u3kl is embedded in uk2le ukl includes ukl at pos 0 u3k1l + u3kl -> u3k1l uk2le is embedded in uk2le +uk2le 2k1l is embedded in uk2le ukl includes kl at pos 1 u3k1l + 2k1l -> u3k1l u1k is embedded in u3kr uk includes uk at pos 0 u1k + u1k -> u1k u3kr is embedded in u3kr +u3kr 2k2r is embedded in u3kr ukr includes kr at pos 1 u3kr + 2k2r -> u3k2r u1k is embedded in u3kv uk includes uk at pos 0 u1k + u1k -> u1k u3kv is embedded in u3kv +u3kv 2k1v is embedded in u3kv ukv includes kv at pos 1 u3kv + 2k1v -> u3k1v u1k is embedded in u5kų uk includes uk at pos 0 u1k + u1k -> u1k u5kų is embedded in u5kų +u5kų u1l is embedded in u1l +u1l u1m is embedded in u1m +u1m u1n is embedded in u1n +u1n u2o is embedded in u2o +u2o u2o is embedded in u3or uo includes uo at pos 0 u2o + u2o -> u2o u3or is embedded in u3or +u3or o1r is embedded in u3or uor includes or at pos 1 u3or + o1r -> u3o1r u2o is embedded in uo4sl uo includes uo at pos 0 u2o + u2o -> u2o uo4sl is embedded in uo4sl +uo4sl o1s is embedded in uo4sl u+o1s o3sl is embedded in uo4sl uosl includes osl at pos 1 uo4sl + o3sl -> uo4sl 2s2l is embedded in uo4sl uosl includes sl at pos 2 uo4sl + 2s2l -> uo4s2l u3p is embedded in u3p +u3p u3p is embedded in up4l up includes up at pos 0 u3p + u3p -> u3p up4l is embedded in up4l +up4l 3p2l is embedded in up4l upl includes pl at pos 1 up4l + 3p2l -> u3p4l u3p is embedded in up3ro up includes up at pos 0 u3p + u3p -> u3p up3ro is embedded in up3ro +up3ro 2p2r is embedded in up3ro u+2p2r r2o is embedded in up3ro upro includes ro at pos 2 up3ro + r2o -> up3r2o u1r is embedded in u1r +u1r u1r is embedded in urk2 ur includes ur at pos 0 u1r + u1r -> u1r urk2 is embedded in urk2 +urk2 4r1k is embedded in urk2 urk includes rk at pos 1 urk2 + 4r1k -> u4r1k2 u1r is embedded in ur3kl ur includes ur at pos 0 u1r + u1r -> u1r urk2 is embedded in ur3kl urk includes urk at pos 0 u4r1k2 + urk2 -> u4r1k2 ur3kl is embedded in ur3kl +ur3kl 4r1k is embedded in ur3kl urk includes rk at pos 1 u4r1k2 + 4r1k -> u4r1k2 2k1l is embedded in ur3kl urkl includes kl at pos 2 ur3kl + 2k1l -> ur3k1l u1r is embedded in u5ro1 ur includes ur at pos 0 u1r + u1r -> u1r u5ro1 is embedded in u5ro1 +u5ro1 r2o is embedded in u5ro1 uro includes ro at pos 1 u5ro1 + r2o -> u5r2o1 u1r is embedded in ur3s2 ur includes ur at pos 0 u1r + u1r -> u1r ur3s2 is embedded in ur3s2 +ur3s2 4r1s is embedded in ur3s2 urs includes rs at pos 1 ur3s2 + 4r1s -> u4r3s2 u1s is embedded in u1s +u1s u1s is embedded in u2s1al us includes us at pos 0 u1s + u1s -> u1s u2s1al is embedded in u2s1al +u2s1al a1l is embedded in u2s1al usal includes al at pos 2 u2s1al + a1l -> u2s1a1l u1s is embedded in u3sl us includes us at pos 0 u1s + u1s -> u1s u3sl is embedded in u3sl +u3sl 2s2l is embedded in u3sl usl includes sl at pos 1 u3sl + 2s2l -> u3s2l u1s is embedded in us3la us includes us at pos 0 u1s + u1s -> u1s u3sl is embedded in us3la usl includes usl at pos 0 u3s2l + u3sl -> u3s2l us3la is embedded in us3la +us3la 2s2l is embedded in us3la usl includes sl at pos 1 u3s2l + 2s2l -> u3s2l u1s is embedded in us3le us includes us at pos 0 u1s + u1s -> u1s u3sl is embedded in us3le usl includes usl at pos 0 u3s2l + u3sl -> u3s2l us3le is embedded in us3le +us3le 2s2l is embedded in us3le usl includes sl at pos 1 u3s2l + 2s2l -> u3s2l 3sle is embedded in us3le usle includes sle at pos 1 us3le + 3sle -> u3s3le u1s is embedded in usva1 us includes us at pos 0 u1s + u1s -> u1s usva1 is embedded in usva1 +usva1 2s1v is embedded in usva1 u+2s1v u1s is embedded in us3ve us includes us at pos 0 u1s + u1s -> u1s us3ve is embedded in us3ve +us3ve 2s1v is embedded in us3ve usv includes sv at pos 1 u2s1v + 2s1v -> u2s1v s2ve is embedded in us3ve usve includes sve at pos 1 us3ve + s2ve -> us3ve v2e is embedded in us3ve usve includes ve at pos 2 us3ve + v2e -> us3v2e u3t2 is embedded in u3t2 +u3t2 u3t2 is embedded in uto1 ut includes ut at pos 0 u3t2 + u3t2 -> u3t2 uto1 is embedded in uto1 +uto1 t2o is embedded in uto1 uto includes to at pos 1 uto1 + t2o -> ut2o1 u3t2 is embedded in 2utr ut includes ut at pos 0 u3t2 + u3t2 -> u3t2 2utr is embedded in 2utr +2utr 2t1r is embedded in 2utr utr includes tr at pos 1 2utr + 2t1r -> 2u2t1r u1u is embedded in u1u +u1u u1v is embedded in u1v +u1v u1w is embedded in u1w +u1w u1y is embedded in u1y +u1y u1z is embedded in u1z +u1z u1ą is embedded in u1ą +u1ą u1č is embedded in u1č +u1č u1ę is embedded in u1ę +u1ę u1ė2 is embedded in u1ė2 +u1ė2 u1į is embedded in u1į +u1į u1š is embedded in u1š +u1š u1š is embedded in u3š2l uš includes uš at pos 0 u1š + u1š -> u1š u3š2l is embedded in u3š2l +u3š2l 2š1l is embedded in u3š2l ušl includes šl at pos 1 u3š2l + 2š1l -> u3š2l u1š is embedded in u3š2n uš includes uš at pos 0 u1š + u1š -> u1š u3š2n is embedded in u3š2n +u3š2n 2š1n is embedded in u3š2n ušn includes šn at pos 1 u3š2n + 2š1n -> u3š2n u1š is embedded in uš2v uš includes uš at pos 0 u1š + u1š -> u1š uš2v is embedded in uš2v +uš2v 3š1v is embedded in uš2v ušv includes šv at pos 1 uš2v + 3š1v -> u3š2v u1ų is embedded in u1ų +u1ų u1ū2 is embedded in u1ū2 +u1ū2 u1ž is embedded in u1ž +u1ž u1ž is embedded in uži2m už includes už at pos 0 u1ž + u1ž -> u1ž uži2m is embedded in uži2m +uži2m i1m is embedded in uži2m užim includes im at pos 3 uži2m + i1m -> uži2m u1ž is embedded in u3žl už includes už at pos 0 u1ž + u1ž -> u1ž u3žl is embedded in u3žl +u3žl 2ž1l is embedded in u3žl užl includes žl at pos 1 u3žl + 2ž1l -> u3ž1l u1ž is embedded in už3v už includes už at pos 0 u1ž + u1ž -> u1ž už3v is embedded in už3v +už3v 3ž2v is embedded in už3v užv includes žv at pos 1 už3v + 3ž2v -> u3ž3v u1ž is embedded in už1ė2 už includes už at pos 0 u1ž + u1ž -> u1ž už1ė2 is embedded in už1ė2 +už1ė2 3va. is embedded in 3va. +3va. vap4 is embedded in vap4 +vap4 a1p is embedded in vap4 vap includes ap at pos 1 vap4 + a1p -> va1p4 va3t is embedded in va3t +va3t a1t is embedded in va3t vat includes at at pos 1 va3t + a1t -> va3t 2v1b is embedded in 2v1b +2v1b 2v1c is embedded in 2v1c +2v1c 2v1d is embedded in 2v1d +2v1d v2e is embedded in v2e +v2e v2e is embedded in 2vep ve includes ve at pos 0 v2e + v2e -> v2e 2vep is embedded in 2vep +2vep e3p is embedded in 2vep vep includes ep at pos 1 2vep + e3p -> 2ve3p v2e is embedded in 3ves ve includes ve at pos 0 v2e + v2e -> v2e 3ves is embedded in 3ves +3ves e1s is embedded in 3ves ves includes es at pos 1 3ves + e1s -> 3ve1s 2v1f is embedded in 2v1f +2v1f 2v1g is embedded in 2v1g +2v1g 2v1h is embedded in 2v1h +2v1h viesia1 is embedded in viesia1 +viesia1 i2e is embedded in viesia1 v+i2e e1s is embedded in viesia1 vi+e1s i2a is embedded in viesia1 viesia includes ia at pos 4 viesia1 + i2a -> viesi2a1 vi4s5k is embedded in vi4s5k +vi4s5k 4i1s is embedded in vi4s5k v+4i1s is4k is embedded in vi4s5k visk includes isk at pos 1 vi4s5k + is4k -> vi4s5k 3s2k2 is embedded in vi4s5k visk includes sk at pos 2 vi4s5k + 3s2k2 -> vi4s5k2 vi4t3r is embedded in vi4t3r +vi4t3r 2i3t2 is embedded in vi4t3r v+2i3t2 2t1r is embedded in vi4t3r vitr includes tr at pos 2 vi4t3r + 2t1r -> vi4t3r 2v1j is embedded in 2v1j +2v1j 2v1k is embedded in 2v1k +2v1k 2v1l is embedded in 2v1l +2v1l 2v1m is embedded in 2v1m +2v1m 2v1n is embedded in 2v1n +2v1n 2v1p is embedded in 2v1p +2v1p 2v1r is embedded in 2v1r +2v1r 2v4s is embedded in 2v4s +2v4s 2v1t is embedded in 2v1t +2v1t 2v1v is embedded in 2v1v +2v1v 2v1w is embedded in 2v1w +2v1w 2vydau is embedded in 2vydau +2vydau y1d is embedded in 2vydau v+y1d a4u is embedded in 2vydau vydau includes au at pos 3 2vydau + a4u -> 2vyda4u 2v1z is embedded in 2v1z +2v1z 3vą is embedded in 3vą +3vą 2v1č is embedded in 2v1č +2v1č 3vė is embedded in 3vė +3vė 3vė is embedded in 4vėp vė includes vė at pos 0 3vė + 3vė -> 3vė 4vėp is embedded in 4vėp +4vėp ė1p is embedded in 4vėp vėp includes ėp at pos 1 4vėp + ė1p -> 4vė1p 2v1š is embedded in 2v1š +2v1š 2v1ž is embedded in 2v1ž +2v1ž 2w1b is embedded in 2w1b +2w1b 2w1c is embedded in 2w1c +2w1c 2w1d is embedded in 2w1d +2w1d 2w1f is embedded in 2w1f +2w1f 2w1g is embedded in 2w1g +2w1g 2w1h is embedded in 2w1h +2w1h 2w1k is embedded in 2w1k +2w1k 2w1l is embedded in 2w1l +2w1l 2w1m is embedded in 2w1m +2w1m 2w1n is embedded in 2w1n +2w1n 2w1p is embedded in 2w1p +2w1p 2w1r is embedded in 2w1r +2w1r 2w1s is embedded in 2w1s +2w1s 2w1t is embedded in 2w1t +2w1t 2w1v is embedded in 2w1v +2w1v 2w1w is embedded in 2w1w +2w1w 2w1z is embedded in 2w1z +2w1z 2w1č is embedded in 2w1č +2w1č 2w1š is embedded in 2w1š +2w1š 2w1ž is embedded in 2w1ž +2w1ž y1a is embedded in y1a +y1a y1b is embedded in y1b +y1b y1c is embedded in y1c +y1c y1d is embedded in y1d +y1d y1e is embedded in y1e +y1e y1f is embedded in y1f +y1f y1g is embedded in y1g +y1g y1g is embedded in ygia1 yg includes yg at pos 0 y1g + y1g -> y1g ygia1 is embedded in ygia1 +ygia1 i2a is embedded in ygia1 ygia includes ia at pos 2 ygia1 + i2a -> ygi2a1 y1h is embedded in y1h +y1h y1i is embedded in y1i +y1i y1j is embedded in y1j +y1j y1k is embedded in y1k +y1k y1k is embedded in y4k3l yk includes yk at pos 0 y1k + y1k -> y1k y4k3l is embedded in y4k3l +y4k3l 2k1l is embedded in y4k3l ykl includes kl at pos 1 y4k3l + 2k1l -> y4k3l y1l is embedded in y1l +y1l y1m is embedded in y1m +y1m y1n is embedded in y1n +y1n y1o is embedded in y1o +y1o y1p is embedded in y1p +y1p y3r is embedded in y3r +y3r y1s is embedded in y1s +y1s y1s is embedded in y4sk ys includes ys at pos 0 y1s + y1s -> y1s y4sk is embedded in y4sk +y4sk 3s2k2 is embedded in y4sk ysk includes sk at pos 1 y4sk + 3s2k2 -> y4s2k2 y1t is embedded in y1t +y1t y1u is embedded in y1u +y1u y1v is embedded in y1v +y1v y1w is embedded in y1w +y1w y1y is embedded in y1y +y1y y1z is embedded in y1z +y1z y1ą is embedded in y1ą +y1ą y1č is embedded in y1č +y1č y1ę is embedded in y1ę +y1ę y1ė is embedded in y1ė +y1ė y1į is embedded in y1į +y1į y1š is embedded in y1š +y1š y1ų is embedded in y1ų +y1ų y1ū is embedded in y1ū +y1ū y1ž is embedded in y1ž +y1ž 2z1b is embedded in 2z1b +2z1b 2z1c is embedded in 2z1c +2z1c 2z1d is embedded in 2z1d +2z1d 2z1f is embedded in 2z1f +2z1f 2z1g is embedded in 2z1g +2z1g 2z1h is embedded in 2z1h +2z1h 2z1k is embedded in 2z1k +2z1k 2z1l is embedded in 2z1l +2z1l 2z1m is embedded in 2z1m +2z1m 2z1n is embedded in 2z1n +2z1n 2z1p is embedded in 2z1p +2z1p 2z1r is embedded in 2z1r +2z1r 2z1s is embedded in 2z1s +2z1s 2z1t is embedded in 2z1t +2z1t 2z1v is embedded in 2z1v +2z1v 2z1w is embedded in 2z1w +2z1w 2z1z is embedded in 2z1z +2z1z 2z1č is embedded in 2z1č +2z1č 2z1š is embedded in 2z1š +2z1š 2z1ž is embedded in 2z1ž +2z1ž ą1a is embedded in ą1a +ą1a ą1b is embedded in ą1b +ą1b ą1c is embedded in ą1c +ą1c ą1d is embedded in ą1d +ą1d ą1e is embedded in ą1e +ą1e ą1f is embedded in ą1f +ą1f ą1g is embedded in ą1g +ą1g ą1h is embedded in ą1h +ą1h ą1i is embedded in ą1i +ą1i ą1j is embedded in ą1j +ą1j ą1k is embedded in ą1k +ą1k ą1l is embedded in ą1l +ą1l ą1m is embedded in ą1m +ą1m ą1n is embedded in ą1n +ą1n ą1o is embedded in ą1o +ą1o ą1p is embedded in ą1p +ą1p ą1r is embedded in ą1r +ą1r ą1s is embedded in ą1s +ą1s ą1t is embedded in ą1t +ą1t ą1u is embedded in ą1u +ą1u ą1v is embedded in ą1v +ą1v ą1w is embedded in ą1w +ą1w ą1y is embedded in ą1y +ą1y ą1z is embedded in ą1z +ą1z ą1ą is embedded in ą1ą +ą1ą ą1č is embedded in ą1č +ą1č ą1ę is embedded in ą1ę +ą1ę ą1ė is embedded in ą1ė +ą1ė ą1į is embedded in ą1į +ą1į ą1š is embedded in ą1š +ą1š ą1ų is embedded in ą1ų +ą1ų ą1ū is embedded in ą1ū +ą1ū ą1ž is embedded in ą1ž +ą1ž 2č1b is embedded in 2č1b +2č1b 2č1c is embedded in 2č1c +2č1c 2č1d is embedded in 2č1d +2č1d čeko1 is embedded in čeko1 +čeko1 e1k is embedded in čeko1 č+e1k 3ko is embedded in čeko1 čeko includes ko at pos 3 čeko1 + 3ko -> če3ko1 2č1f is embedded in 2č1f +2č1f 2č1g is embedded in 2č1g +2č1g 2č1h is embedded in 2č1h +2č1h čin1 is embedded in čin1 +čin1 4i1n is embedded in čin1 čin includes in at pos 2 čin1 + 4i1n -> č4i1n1 2č1k is embedded in 2č1k +2č1k 2č1l is embedded in 2č1l +2č1l 2č1m is embedded in 2č1m +2č1m 2č1n is embedded in 2č1n +2č1n 2č1p is embedded in 2č1p +2č1p 2č1r is embedded in 2č1r +2č1r 2č1s is embedded in 2č1s +2č1s 2č1t is embedded in 2č1t +2č1t 2č1v is embedded in 2č1v +2č1v 2č1w is embedded in 2č1w +2č1w 2č1z is embedded in 2č1z +2č1z 2č1č is embedded in 2č1č +2č1č 2č1š is embedded in 2č1š +2č1š 2č1ž is embedded in 2č1ž +2č1ž ę1a is embedded in ę1a +ę1a ę1b is embedded in ę1b +ę1b ę1c is embedded in ę1c +ę1c ę1d is embedded in ę1d +ę1d ę1e is embedded in ę1e +ę1e ę1f is embedded in ę1f +ę1f ę1g is embedded in ę1g +ę1g ę1h is embedded in ę1h +ę1h ę1i is embedded in ę1i +ę1i ę1j is embedded in ę1j +ę1j ę1k is embedded in ę1k +ę1k ę1l is embedded in ę1l +ę1l ę1m is embedded in ę1m +ę1m ę1n is embedded in ę1n +ę1n ę1o is embedded in ę1o +ę1o ę1p is embedded in ę1p +ę1p ę1r is embedded in ę1r +ę1r ę1s is embedded in ę1s +ę1s ę1t is embedded in ę1t +ę1t ę1u is embedded in ę1u +ę1u ę1v is embedded in ę1v +ę1v ę1w is embedded in ę1w +ę1w ę1y is embedded in ę1y +ę1y ę1z is embedded in ę1z +ę1z ę1ą is embedded in ę1ą +ę1ą ę1č is embedded in ę1č +ę1č ę1ę is embedded in ę1ę +ę1ę ę1ė is embedded in ę1ė +ę1ė ę1į is embedded in ę1į +ę1į ę1š is embedded in ę1š +ę1š ę1ų is embedded in ę1ų +ę1ų ę1ū is embedded in ę1ū +ę1ū ę1ž is embedded in ę1ž +ę1ž ė1a is embedded in ė1a +ė1a ė1b is embedded in ė1b +ė1b ė1c is embedded in ė1c +ė1c ė1d is embedded in ė1d +ė1d ė1e is embedded in ė1e +ė1e ė1f is embedded in ė1f +ė1f ė1g is embedded in ė1g +ė1g ė1h is embedded in ė1h +ė1h ė1i is embedded in ė1i +ė1i ė1j is embedded in ė1j +ė1j ė1k is embedded in ė1k +ė1k ė1k is embedded in ė4k3l ėk includes ėk at pos 0 ė1k + ė1k -> ė1k ė4k3l is embedded in ė4k3l +ė4k3l 2k1l is embedded in ė4k3l ėkl includes kl at pos 2 ė4k3l + 2k1l -> ė4k3l 2ė3l is embedded in 2ė3l +2ė3l ė1m is embedded in ė1m +ė1m ė1m is embedded in ė3me ėm includes ėm at pos 0 ė1m + ė1m -> ė1m ė3me is embedded in ė3me +ė3me ė1n is embedded in ė1n +ė1n ė1o is embedded in ė1o +ė1o ė1p is embedded in ė1p +ė1p ė1r is embedded in ė1r +ė1r 2ė1s is embedded in 2ė1s +2ė1s 2ė1s is embedded in ės3l ės includes ės at pos 0 2ė1s + 2ė1s -> 2ė1s ės3l is embedded in ės3l +ės3l 2s2l is embedded in ės3l ėsl includes sl at pos 2 ės3l + 2s2l -> ė2s3l 2ė3t is embedded in 2ė3t +2ė3t 2ė3t is embedded in ė4tr ėt includes ėt at pos 0 2ė3t + 2ė3t -> 2ė3t ė4tr is embedded in ė4tr +ė4tr 2t1r is embedded in ė4tr ėtr includes tr at pos 2 ė4tr + 2t1r -> ė4t1r ė1u is embedded in ė1u +ė1u ė1v is embedded in ė1v +ė1v ė1w is embedded in ė1w +ė1w ė1y is embedded in ė1y +ė1y ė1z is embedded in ė1z +ė1z ė1ą is embedded in ė1ą +ė1ą ė1č is embedded in ė1č +ė1č ė1ę is embedded in ė1ę +ė1ę ė1ė is embedded in ė1ė +ė1ė ė1į is embedded in ė1į +ė1į ė1š is embedded in ė1š +ė1š ė1ų is embedded in ė1ų +ė1ų ė1ū is embedded in ė1ū +ė1ū ė1ž is embedded in ė1ž +ė1ž į1a is embedded in į1a +į1a į1b is embedded in į1b +į1b į1c is embedded in į1c +į1c į1d2 is embedded in į1d2 +į1d2 į2e is embedded in į2e +į2e į1f is embedded in į1f +į1f į4g is embedded in į4g +į4g į1h is embedded in į1h +į1h į1i is embedded in į1i +į1i į1j is embedded in į1j +į1j į2k4 is embedded in į2k4 +į2k4 į2l is embedded in į2l +į2l į2m is embedded in į2m +į2m į1n is embedded in į1n +į1n į1o is embedded in į1o +į1o į4p is embedded in į4p +į4p į2r is embedded in į2r +į2r į1s is embedded in į1s +į1s į1s is embedded in įsi1 įs includes įs at pos 0 į1s + į1s -> į1s įsi1 is embedded in įsi1 +įsi1 į1s is embedded in įs3l įs includes įs at pos 0 į1s + į1s -> į1s įs3l is embedded in įs3l +įs3l 2s2l is embedded in įs3l įsl includes sl at pos 2 įs3l + 2s2l -> į2s3l į1s is embedded in įs2m įs includes įs at pos 0 į1s + į1s -> į1s įs2m is embedded in įs2m +įs2m 2s1m is embedded in įs2m įsm includes sm at pos 2 įs2m + 2s1m -> į2s2m į1s is embedded in įs2r įs includes įs at pos 0 į1s + į1s -> į1s įs2r is embedded in įs2r +įs2r 4s1r is embedded in įs2r įsr includes sr at pos 2 įs2r + 4s1r -> į4s2r į1s is embedded in įst2 įs includes įs at pos 0 į1s + į1s -> į1s įst2 is embedded in įst2 +įst2 2s1t is embedded in įst2 įst includes st at pos 2 įst2 + 2s1t -> į2s1t2 į2t2 is embedded in į2t2 +į2t2 į1u is embedded in į1u +į1u į2v is embedded in į2v +į2v į1w is embedded in į1w +į1w į1y is embedded in į1y +į1y į1z is embedded in į1z +į1z į1ą is embedded in į1ą +į1ą į1č is embedded in į1č +į1č į1ę is embedded in į1ę +į1ę į1ė2 is embedded in į1ė2 +į1ė2 į1į is embedded in į1į +į1į į1š is embedded in į1š +į1š į1ų is embedded in į1ų +į1ų į1ū is embedded in į1ū +į1ū į1ž is embedded in į1ž +į1ž 2š1b2 is embedded in 2š1b2 +2š1b2 2š1c is embedded in 2š1c +2š1c 2š3d2 is embedded in 2š3d2 +2š3d2 š1ei is embedded in š1ei +š1ei še2v is embedded in še2v +še2v e1v is embedded in še2v šev includes ev at pos 2 še2v + e1v -> še2v 2š1f is embedded in 2š1f +2š1f 2š1g4 is embedded in 2š1g4 +2š1g4 2š1h is embedded in 2š1h +2š1h 2š5ist is embedded in 2š5ist +2š5ist 4i1s is embedded in 2š5ist š+4i1s 2s1t is embedded in 2š5ist šist includes st at pos 3 2š5ist + 2s1t -> 2š5i2s1t šiuk1 is embedded in šiuk1 +šiuk1 i2u is embedded in šiuk1 š+i2u u1k is embedded in šiuk1 šiuk includes uk at pos 3 šiuk1 + u1k -> šiu1k1 2š1k2 is embedded in 2š1k2 +2š1k2 2š1l is embedded in 2š1l +2š1l 2š1l is embedded in š2lij šl includes šl at pos 0 2š1l + 2š1l -> 2š1l š2lij is embedded in š2lij +š2lij i1j is embedded in š2lij šlij includes ij at pos 3 š2lij + i1j -> š2li1j 2š1l is embedded in š2lu šl includes šl at pos 0 2š1l + 2š1l -> 2š1l š2lu is embedded in š2lu +š2lu 2š1l is embedded in 3šly šl includes šl at pos 0 2š1l + 2š1l -> 2š1l 3šly is embedded in 3šly +3šly 2š1m is embedded in 2š1m +2š1m 2š1n is embedded in 2š1n +2š1n 2š1n is embedded in š2ne šn includes šn at pos 0 2š1n + 2š1n -> 2š1n š2ne is embedded in š2ne +š2ne ne1 is embedded in š2ne šne includes ne at pos 2 š2ne + ne1 -> š2ne1 2š1n is embedded in šno1 šn includes šn at pos 0 2š1n + 2š1n -> 2š1n šno1 is embedded in šno1 +šno1 5no is embedded in šno1 šno includes no at pos 2 šno1 + 5no -> š5no1 šo2r is embedded in šo2r +šo2r o1r is embedded in šo2r šor includes or at pos 2 šo2r + o1r -> šo2r 2š1p4 is embedded in 2š1p4 +2š1p4 2š1r is embedded in 2š1r +2š1r 2š3s4 is embedded in 2š3s4 +2š3s4 2š3s4 is embedded in šsi1 šs includes šs at pos 0 2š3s4 + 2š3s4 -> 2š3s4 šsi1 is embedded in šsi1 +šsi1 2š3s4 is embedded in šsikap1 šs includes šs at pos 0 2š3s4 + 2š3s4 -> 2š3s4 šsi1 is embedded in šsikap1 šsi includes šsi at pos 0 šsi1 + šsi1 -> šsi1 šsikap1 is embedded in šsikap1 +šsikap1 si3k4 is embedded in šsikap1 š+si3k4 i1k is embedded in šsikap1 šsik includes ik at pos 3 šsi3k4 + i1k -> šsi3k4 a1p is embedded in šsikap1 šsikap includes ap at pos 5 šsikap1 + a1p -> šsika1p1 4š3t2 is embedded in 4š3t2 +4š3t2 šu4š is embedded in šu4š +šu4š u1š is embedded in šu4š šuš includes uš at pos 2 šu4š + u1š -> šu4š 3š1v is embedded in 3š1v +3š1v 3š1v is embedded in š2vi šv includes šv at pos 0 3š1v + 3š1v -> 3š1v š2vi is embedded in š2vi +š2vi 3š1v is embedded in š4vyd šv includes šv at pos 0 3š1v + 3š1v -> 3š1v š4vyd is embedded in š4vyd +š4vyd y1d is embedded in š4vyd švyd includes yd at pos 3 š4vyd + y1d -> š4vy1d 2š1w is embedded in 2š1w +2š1w 2š1z is embedded in 2š1z +2š1z 4š3č is embedded in 4š3č +4š3č šė2j is embedded in šė2j +šė2j ė1j is embedded in šė2j šėj includes ėj at pos 2 šė2j + ė1j -> šė2j 2š1š is embedded in 2š1š +2š1š 2š1ž is embedded in 2š1ž +2š1ž ų1a is embedded in ų1a +ų1a ų1b is embedded in ų1b +ų1b ų1c is embedded in ų1c +ų1c ų1d is embedded in ų1d +ų1d ų1e is embedded in ų1e +ų1e ų1f is embedded in ų1f +ų1f ų1g is embedded in ų1g +ų1g ų1h is embedded in ų1h +ų1h ų1i is embedded in ų1i +ų1i ų1j is embedded in ų1j +ų1j ų1k is embedded in ų1k +ų1k ų1l is embedded in ų1l +ų1l ų1m is embedded in ų1m +ų1m ų1n is embedded in ų1n +ų1n ų1o is embedded in ų1o +ų1o ų1p is embedded in ų1p +ų1p ų1r is embedded in ų1r +ų1r ų1s is embedded in ų1s +ų1s ų1t is embedded in ų1t +ų1t ų1u is embedded in ų1u +ų1u ų1v is embedded in ų1v +ų1v ų1w is embedded in ų1w +ų1w ų1y is embedded in ų1y +ų1y ų1z is embedded in ų1z +ų1z ų1ą is embedded in ų1ą +ų1ą ų1č is embedded in ų1č +ų1č ų1ę is embedded in ų1ę +ų1ę ų1ė is embedded in ų1ė +ų1ė ų1į is embedded in ų1į +ų1į ų1š is embedded in ų1š +ų1š ų1ų is embedded in ų1ų +ų1ų ų1ū is embedded in ų1ū +ų1ū ų1ž is embedded in ų1ž +ų1ž ū1a is embedded in ū1a +ū1a ū1b is embedded in ū1b +ū1b ū1c is embedded in ū1c +ū1c ū1d is embedded in ū1d +ū1d ū1e is embedded in ū1e +ū1e ū1f is embedded in ū1f +ū1f ū1g is embedded in ū1g +ū1g ū1h is embedded in ū1h +ū1h ū1i is embedded in ū1i +ū1i ū1j is embedded in ū1j +ū1j ū1k is embedded in ū1k +ū1k ū1k is embedded in ū4k3l ūk includes ūk at pos 0 ū1k + ū1k -> ū1k ū4k3l is embedded in ū4k3l +ū4k3l 2k1l is embedded in ū4k3l ūkl includes kl at pos 2 ū4k3l + 2k1l -> ū4k3l ū1l is embedded in ū1l +ū1l ū1m is embedded in ū1m +ū1m ū1n is embedded in ū1n +ū1n ū1o is embedded in ū1o +ū1o ū1p is embedded in ū1p +ū1p ū1r is embedded in ū1r +ū1r ū1s is embedded in ū1s +ū1s ū1s is embedded in ū4s3k ūs includes ūs at pos 0 ū1s + ū1s -> ū1s ū4s3k is embedded in ū4s3k +ū4s3k 3s2k2 is embedded in ū4s3k ūsk includes sk at pos 2 ū4s3k + 3s2k2 -> ū4s3k2 ū1s is embedded in ūs3l ūs includes ūs at pos 0 ū1s + ū1s -> ū1s ūs3l is embedded in ūs3l +ūs3l 2s2l is embedded in ūs3l ūsl includes sl at pos 2 ūs3l + 2s2l -> ū2s3l ū1s is embedded in ūs3t ūs includes ūs at pos 0 ū1s + ū1s -> ū1s ūs3t is embedded in ūs3t +ūs3t 2s1t is embedded in ūs3t ūst includes st at pos 2 ūs3t + 2s1t -> ū2s3t ū1t is embedded in ū1t +ū1t ū1u is embedded in ū1u +ū1u ū1v is embedded in ū1v +ū1v ū1w is embedded in ū1w +ū1w ū1y is embedded in ū1y +ū1y ū1z is embedded in ū1z +ū1z ū1ą is embedded in ū1ą +ū1ą ū1č is embedded in ū1č +ū1č ū1ę is embedded in ū1ę +ū1ę ū1ė is embedded in ū1ė +ū1ė ū1į is embedded in ū1į +ū1į ū1š is embedded in ū1š +ū1š ū1ų is embedded in ū1ų +ū1ų ū1ū is embedded in ū1ū +ū1ū ū1ž is embedded in ū1ž +ū1ž žant4 is embedded in žant4 +žant4 a1n is embedded in žant4 ž+a1n 4n1t is embedded in žant4 žant includes nt at pos 3 žant4 + 4n1t -> ža4n1t4 žant4 is embedded in žants5 žant includes žant at pos 0 ža4n1t4 + žant4 -> ža4n1t4 žants5 is embedded in žants5 +žants5 a1n is embedded in žants5 žan includes an at pos 2 ža1n + a1n -> ža1n 4n1t is embedded in žants5 žant includes nt at pos 3 ža4n1t4 + 4n1t -> ža4n1t4 4t3s4 is embedded in žants5 žants includes ts at pos 4 žants5 + 4t3s4 -> žan4t3s5 2ž3b2 is embedded in 2ž3b2 +2ž3b2 2ž1c is embedded in 2ž1c +2ž1c 2ž3d2 is embedded in 2ž3d2 +2ž3d2 žen1 is embedded in žen1 +žen1 2e1n is embedded in žen1 žen includes en at pos 2 žen1 + 2e1n -> ž2e1n1 2ž3f4 is embedded in 2ž3f4 +2ž3f4 2ž3g is embedded in 2ž3g +2ž3g 2ž1h is embedded in 2ž1h +2ž1h ži3mu is embedded in ži3mu +ži3mu i1m is embedded in ži3mu ž+i1m žio3 is embedded in žio3 +žio3 i2o is embedded in žio3 žio includes io at pos 2 žio3 + i2o -> ži2o3 ž1j is embedded in ž1j +ž1j 2ž3k2 is embedded in 2ž3k2 +2ž3k2 2ž1l is embedded in 2ž1l +2ž1l 2ž1l is embedded in ž2lu žl includes žl at pos 0 2ž1l + 2ž1l -> 2ž1l ž2lu is embedded in ž2lu +ž2lu 4ž1m is embedded in 4ž1m +4ž1m 2ž1n is embedded in 2ž1n +2ž1n 2ž3p is embedded in 2ž3p +2ž3p 2ž1r is embedded in 2ž1r +2ž1r 2ž1s is embedded in 2ž1s +2ž1s 2ž1s is embedded in žsi1 žs includes žs at pos 0 2ž1s + 2ž1s -> 2ž1s žsi1 is embedded in žsi1 +žsi1 2ž1s is embedded in ž4sk žs includes žs at pos 0 2ž1s + 2ž1s -> 2ž1s ž4sk is embedded in ž4sk +ž4sk 3s2k2 is embedded in ž4sk žsk includes sk at pos 2 ž4sk + 3s2k2 -> ž4s2k2 2ž1s is embedded in ž4s5l žs includes žs at pos 0 2ž1s + 2ž1s -> 2ž1s ž4s5l is embedded in ž4s5l +ž4s5l 2s2l is embedded in ž4s5l žsl includes sl at pos 2 ž4s5l + 2s2l -> ž4s5l 2ž1s is embedded in žs3t žs includes žs at pos 0 2ž1s + 2ž1s -> 2ž1s žs3t is embedded in žs3t +žs3t 2s1t is embedded in žs3t žst includes st at pos 2 žs3t + 2s1t -> ž2s3t 4ž3t2 is embedded in 4ž3t2 +4ž3t2 ž2u is embedded in ž2u +ž2u ž2u is embedded in žu3s2 žu includes žu at pos 0 ž2u + ž2u -> ž2u žu3s2 is embedded in žu3s2 +žu3s2 u1s is embedded in žu3s2 žus includes us at pos 2 žu3s2 + u1s -> žu3s2 3ž2v is embedded in 3ž2v +3ž2v 3ž2v is embedded in ž4vi žv includes žv at pos 0 3ž2v + 3ž2v -> 3ž2v ž4vi is embedded in ž4vi +ž4vi 3ž2v is embedded in ž3vo žv includes žv at pos 0 3ž2v + 3ž2v -> 3ž2v ž3vo is embedded in ž3vo +ž3vo 2ž1w is embedded in 2ž1w +2ž1w 2ž1z is embedded in 2ž1z +2ž1z 2ž1č is embedded in 2ž1č +2ž1č žįs3 is embedded in žįs3 +žįs3 į1s is embedded in žįs3 žįs includes įs at pos 2 žįs3 + į1s -> žį1s3 2ž1š is embedded in 2ž1š +2ž1š 2ž1ž is embedded in 2ž1ž +2ž1ž + echo 'Created with substring.pl by substrings.pl hyph-lt.tex hyph_lt_LT.dic UTF-8' + echo 'Original in-line credits were:' + echo '' + head -n 45 hyph-lt.tex + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.80645 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/hyphen-lt-buildroot + : + /bin/rm -rf -- /usr/src/tmp/hyphen-lt-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games + cd hyphen-lt + mkdir -p /usr/src/tmp/hyphen-lt-buildroot//usr/share/hyphen + cp -p hyph_lt_LT.dic /usr/src/tmp/hyphen-lt-buildroot//usr/share/hyphen + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/hyphen-lt-buildroot (auto) Verifying and fixing files in /usr/src/tmp/hyphen-lt-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/hyphen-lt-buildroot/ (default) Compressing files in /usr/src/tmp/hyphen-lt-buildroot (auto) Verifying ELF objects in /usr/src/tmp/hyphen-lt-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Hardlinking identical .pyc and .pyo files Processing files: hyphen-lt-0.20100531-alt1_12 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.80645 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd hyphen-lt + DOCDIR=/usr/src/tmp/hyphen-lt-buildroot/usr/share/doc/hyphen-lt-0.20100531 + export DOCDIR + rm -rf /usr/src/tmp/hyphen-lt-buildroot/usr/share/doc/hyphen-lt-0.20100531 + /bin/mkdir -p /usr/src/tmp/hyphen-lt-buildroot/usr/share/doc/hyphen-lt-0.20100531 + cp -prL README /usr/src/tmp/hyphen-lt-buildroot/usr/share/doc/hyphen-lt-0.20100531 + chmod -R go-w /usr/src/tmp/hyphen-lt-buildroot/usr/share/doc/hyphen-lt-0.20100531 + chmod -R a+rX /usr/src/tmp/hyphen-lt-buildroot/usr/share/doc/hyphen-lt-0.20100531 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.RgBwhR find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.E4gqXS find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libhyphen Wrote: /usr/src/RPM/RPMS/noarch/hyphen-lt-0.20100531-alt1_12.noarch.rpm (w2.lzdio) 2.56user 0.44system 0:04.84elapsed 62%CPU (0avgtext+0avgdata 10284maxresident)k 0inputs+0outputs (0major+90797minor)pagefaults 0swaps /.out/hyphen-lt-0.20100531-alt1_12.noarch.rpm: license not found in '/usr/share/license' directory: LPPL 8.06user 5.72system 0:15.01elapsed 91%CPU (0avgtext+0avgdata 110400maxresident)k 56inputs+0outputs (0major+357927minor)pagefaults 0swaps