minicomplexity
separability
definition

Given a string of sets of numbers from $[h]$, check that it can be split into substrings so that in each substring the first set contains the number of sets after it.

details

For every $h\geq 1$, separability$h$ (or just sep$h$) is defined over the alphabet of all subsets of $[h]=\{0,1,\dots,h{-}1\}$. Its instances are all strings of such sets.

A string of sets is a block if its first set contains the number of sets after it. E.g., the string $\mathtt{\{0{,}1{,}3\}\{3\}\emptyset\{1{,}4\}}$ is a block, because the first set is followed by three more sets and contains the number $3$. In contrast, $\mathtt{\{0{,}1{,}3\}\{3\}\{1{,}4\}}$ is not a block, because the first set is followed by two more sets but does not contain the number $2$. (Note that here each set is an individual symbol.)

A string of sets is a positive instance if it is a concatenation of blocks, i.e., if it can be split into blocks. If not, then it is a negative instance.

E.g., the following string is a positive instance of sep$8$

$\mathtt{ \{1{,}2{,}4\}\emptyset\{4\}\{0{,}4\}\{2{,}4{,}6\}\{4\}\{4{,}6\}\emptyset\{0{,}3\}\{1{,}6\}\{5{,}7\} }$
because it can be split into the substrings
$\mathtt{\{1{,}2{,}4\}\emptyset\{4\}}$  $\mathtt{\{0{,}4\}\{2{,}4{,}6\}\{4\}\{4{,}6\}\emptyset}$  $\mathtt{\{0{,}3\}}$  $\mathtt{\{1{,}6\}\{5{,}7\}}$
which are all blocks. In contrast, the string
$\mathtt{ \{1{,}2{,}7\}\{4\}\{5{,}6\}\emptyset\{3{,}6\}\{2{,}4{,}6\} }$
is a negative instance, because there is no way to split it into blocks.
notes

Introduced by Seiferas 1973, as a problem of 1N that is possibly not in 2D. Its completeness for 1N under $\leq_\text{h}$ was proven later, by Sakoda Sipser 1978.

Requires $\ge2^h$ states on single-pass 2DFAs Seiferas 1973. The generalization to sets of arbitrary natural numbers is complete for NL under logarithmic-space reductions Seiferas 1973.

The name “separability” was suggested by Kapoutsis 2009.

co-1N f1D/uny
co-1N f1D/uny 1D re-1D co-1D rc-1D rc-1N 1D/uny 21D/uny e1D/uny r1D/uny 1N/uny 21N/uny e1N/uny r1N/uny f1N/uny RD/uny 2RD/uny eRD/uny rRD/uny fRD/uny RN/uny 2RN/uny eRN/uny rRN/uny fRN/uny SD/uny 2SD/uny eSD/uny rSD/uny fSD/uny SN/uny 2SN/uny eSN/uny rSN/uny fSN/uny 2D/uny 22D/uny e2D/uny r2D/uny f2D/uny 2N/uny 22N/uny e2N/uny r2N/uny f2N/uny re-1D/uny re-21D/uny re-e1D/uny re-r1D/uny re-f1D/uny re-1N/uny re-21N/uny re-e1N/uny re-r1N/uny re-f1N/uny re-RD/uny re-2RD/uny re-eRD/uny re-rRD/uny re-fRD/uny re-RN/uny re-2RN/uny re-eRN/uny re-rRN/uny re-fRN/uny re-SD/uny re-2SD/uny re-eSD/uny re-rSD/uny re-fSD/uny re-SN/uny re-2SN/uny re-eSN/uny re-rSN/uny re-fSN/uny re-2D/uny re-22D/uny re-e2D/uny re-r2D/uny re-f2D/uny re-2N/uny re-22N/uny re-e2N/uny re-r2N/uny re-f2N/uny co-1D/uny co-21D/uny co-e1D/uny co-r1D/uny co-f1D/uny co-1N/uny co-21N/uny co-e1N/uny co-r1N/uny co-f1N/uny co-RD/uny co-2RD/uny co-eRD/uny co-rRD/uny co-fRD/uny co-RN/uny co-2RN/uny co-eRN/uny co-rRN/uny co-fRN/uny co-SD/uny co-2SD/uny co-eSD/uny co-rSD/uny co-fSD/uny co-SN/uny co-2SN/uny co-eSN/uny co-rSN/uny co-fSN/uny co-2D/uny co-22D/uny co-e2D/uny co-r2D/uny co-f2D/uny co-2N/uny co-22N/uny co-e2N/uny co-r2N/uny co-f2N/uny rc-1D/uny rc-21D/uny rc-e1D/uny rc-r1D/uny rc-f1D/uny rc-1N/uny rc-21N/uny rc-e1N/uny rc-r1N/uny rc-f1N/uny rc-RD/uny rc-2RD/uny rc-eRD/uny rc-rRD/uny rc-fRD/uny rc-RN/uny rc-2RN/uny rc-eRN/uny rc-rRN/uny rc-fRN/uny rc-SD/uny rc-2SD/uny rc-eSD/uny rc-rSD/uny rc-fSD/uny rc-SN/uny rc-2SN/uny rc-eSN/uny rc-rSN/uny rc-fSN/uny rc-2D/uny rc-22D/uny rc-e2D/uny rc-r2D/uny rc-f2D/uny rc-2N/uny rc-22N/uny rc-e2N/uny rc-r2N/uny rc-f2N/uny
1N
1N 21D e1D r1D f1D 21N e1N r1N f1N 2RD eRD rRD fRD RN 2RN eRN rRN fRN 2SD eSD rSD fSD SN 2SN eSN rSN fSN 22D e2D r2D f2D 2N 22N e2N r2N f2N re-21D re-e1D re-r1D re-f1D re-1N re-21N re-e1N re-r1N re-f1N re-2RD re-eRD re-rRD re-fRD re-RN re-2RN re-eRN re-rRN re-fRN re-2SD re-eSD re-rSD re-fSD re-SN re-2SN re-eSN re-rSN re-fSN re-22D re-e2D re-r2D re-f2D re-2N re-22N re-e2N re-r2N re-f2N co-21D co-e1D co-r1D co-f1D co-21N co-e1N co-r1N co-f1N co-2RD co-eRD co-rRD co-fRD co-2RN co-eRN co-rRN co-fRN co-2SD co-eSD co-rSD co-fSD co-2SN co-eSN co-rSN co-fSN co-22D co-e2D co-r2D co-f2D co-22N co-e2N co-r2N co-f2N rc-21D rc-e1D rc-r1D rc-f1D rc-21N rc-e1N rc-r1N rc-f1N rc-2RD rc-eRD rc-rRD rc-fRD rc-2RN rc-eRN rc-rRN rc-fRN rc-2SD rc-eSD rc-rSD rc-fSD rc-2SN rc-eSN rc-rSN rc-fSN rc-22D rc-e2D rc-r2D rc-f2D rc-22N rc-e2N rc-r2N rc-f2N
1N:$\leq^\text{t}_\text{h}$
1N:$\leq^\text{t}_\text{h}$ 1N:$\leq_\text{h}$ 1N:$\leq_\text{1D}$ 1N:$\leq_\text{RD}$ 1N:$\leq_\text{2D}$ 1N:$\leq_\text{1N}$ re-1N:$\leq^\text{t}_\text{h}$ re-1N:$\leq_\text{h}$ re-1N:$\leq_\text{1D}$ re-1N:$\leq_\text{RD}$ re-1N:$\leq_\text{2D}$ re-1N:$\leq_\text{1N}$
1D:$\leq^\text{t}_\text{h}$ re-1D:$\leq^\text{t}_\text{h}$ 1N/uny:$\leq^\text{t}_\text{h}$
1D:$\leq^\text{t}_\text{h}$ re-1D:$\leq^\text{t}_\text{h}$ 1N/uny:$\leq^\text{t}_\text{h}$ 1D:$\leq_\text{h}$ 1D:$\leq_\text{1D}$ 1D:$\leq_\text{RD}$ 1D:$\leq_\text{2D}$ 1D:$\leq_\text{1N}$ re-1D:$\leq_\text{h}$ re-1D:$\leq_\text{1D}$ re-1D:$\leq_\text{RD}$ re-1D:$\leq_\text{2D}$ re-1D:$\leq_\text{1N}$ co-1D:$\leq^\text{t}_\text{h}$ co-1D:$\leq_\text{h}$ co-1D:$\leq_\text{1D}$ co-1D:$\leq_\text{RD}$ co-1D:$\leq_\text{2D}$ co-1D:$\leq_\text{1N}$ rc-1D:$\leq^\text{t}_\text{h}$ rc-1D:$\leq_\text{h}$ rc-1D:$\leq_\text{1D}$ rc-1D:$\leq_\text{RD}$ rc-1D:$\leq_\text{2D}$ rc-1D:$\leq_\text{1N}$ 1D/uny:$\leq^\text{t}_\text{h}$ 1D/uny:$\leq_\text{h}$ 1D/uny:$\leq_\text{1D}$ 1D/uny:$\leq_\text{RD}$ 1D/uny:$\leq_\text{2D}$ 1D/uny:$\leq_\text{1N}$ 1N/uny:$\leq_\text{h}$ 1N/uny:$\leq_\text{1D}$ 1N/uny:$\leq_\text{RD}$ 1N/uny:$\leq_\text{2D}$ 1N/uny:$\leq_\text{1N}$ re-1D/uny:$\leq^\text{t}_\text{h}$ re-1D/uny:$\leq_\text{h}$ re-1D/uny:$\leq_\text{1D}$ re-1D/uny:$\leq_\text{RD}$ re-1D/uny:$\leq_\text{2D}$ re-1D/uny:$\leq_\text{1N}$ re-1N/uny:$\leq^\text{t}_\text{h}$ re-1N/uny:$\leq_\text{h}$ re-1N/uny:$\leq_\text{1D}$ re-1N/uny:$\leq_\text{RD}$ re-1N/uny:$\leq_\text{2D}$ re-1N/uny:$\leq_\text{1N}$ co-1D/uny:$\leq^\text{t}_\text{h}$ co-1D/uny:$\leq_\text{h}$ co-1D/uny:$\leq_\text{1D}$ co-1D/uny:$\leq_\text{RD}$ co-1D/uny:$\leq_\text{2D}$ co-1D/uny:$\leq_\text{1N}$ rc-1D/uny:$\leq^\text{t}_\text{h}$ rc-1D/uny:$\leq_\text{h}$ rc-1D/uny:$\leq_\text{1D}$ rc-1D/uny:$\leq_\text{RD}$ rc-1D/uny:$\leq_\text{2D}$ rc-1D/uny:$\leq_\text{1N}$
all$^c$:$\leq^\text{t}_\text{h}$ cowl:$\leq^\text{t}_\text{h}$ cowl:$\leq^\text{lac}_\text{1D}$ cowl$^r$:$\leq^\text{t}_\text{h}$ cowl$^r$:$\leq^\text{lac}_\text{1D}$ disj$^c$:$\leq^\text{t}_\text{h}$ disj$^c$:$\leq^\text{lac}_\text{1D}$ eqe$^c$:$\leq^\text{t}_\text{h}$ eq$^c$:$\leq^\text{t}_\text{h}$ eq$^c$:$\leq^\text{lac}_\text{1D}$ fcomp:$\leq^\text{t}_\text{h}$ fcomp:$\leq^\text{lac}_\text{1D}$ fcomp$^r$:$\leq^\text{t}_\text{h}$ fcomp$^r$:$\leq^\text{lac}_\text{1D}$ fcomp$^c$:$\leq^\text{t}_\text{h}$ fcomp$^c$:$\leq^\text{lac}_\text{1D}$ fcomp$^{rc}$:$\leq^\text{t}_\text{h}$ fcomp$^{rc}$:$\leq^\text{lac}_\text{1D}$ hennie:$\leq^\text{t}_\text{h}$ hennie$^r$:$\leq^\text{t}_\text{h}$ hennie$^c$:$\leq^\text{t}_\text{h}$ hennie$^{rc}$:$\leq^\text{t}_\text{h}$ incl$^c$:$\leq^\text{t}_\text{h}$ incl$^c$:$\leq^\text{lac}_\text{1D}$ incl$^{rc}$:$\leq^\text{t}_\text{h}$ incl$^{rc}$:$\leq^\text{lac}_\text{1D}$ ilen:$\leq^\text{t}_\text{h}$ ilen$^c$:$\leq^\text{t}_\text{h}$ irc:$\leq^\text{t}_\text{h}$ irc$^r$:$\leq^\text{t}_\text{h}$ irc$^c$:$\leq^\text{t}_\text{h}$ irc$^{rc}$:$\leq^\text{t}_\text{h}$ lan$^c$:$\leq^\text{t}_\text{h}$ len:$\leq^\text{lac}_\text{1D}$ len$^c$:$\leq^\text{lac}_\text{1D}$ lmem:$\leq^\text{t}_\text{h}$ lmem$^r$:$\leq^\text{t}_\text{h}$ lmem$^c$:$\leq^\text{t}_\text{h}$ lmem$^{rc}$:$\leq^\text{t}_\text{h}$ mem:$\leq^\text{t}_\text{h}$ mem:$\leq^\text{lac}_\text{1D}$ mem$^r$:$\leq^\text{t}_\text{h}$ mem$^r$:$\leq^\text{lac}_\text{1D}$ mem$^c$:$\leq^\text{t}_\text{h}$ mem$^c$:$\leq^\text{lac}_\text{1D}$ mem$^{rc}$:$\leq^\text{t}_\text{h}$ mem$^{rc}$:$\leq^\text{lac}_\text{1D}$ msp:$\leq^\text{t}_\text{h}$ msp$^r$:$\leq^\text{t}_\text{h}$ moore:$\leq^\text{t}_\text{h}$ moore$^r$:$\leq^\text{t}_\text{h}$ olmem:$\leq^\text{lac}_\text{1D}$ olmem$^r$:$\leq^\text{lac}_\text{1D}$ olmem$^c$:$\leq^\text{lac}_\text{1D}$ olmem$^{rc}$:$\leq^\text{lac}_\text{1D}$ ott:$\leq^\text{t}_\text{h}$ ott$^r$:$\leq^\text{t}_\text{h}$ ott$^c$:$\leq^\text{t}_\text{h}$ ott$^{rc}$:$\leq^\text{t}_\text{h}$ proj:$\leq^\text{t}_\text{h}$ proj:$\leq^\text{lac}_\text{1D}$ proj$^r$:$\leq^\text{t}_\text{h}$ proj$^r$:$\leq^\text{lac}_\text{1D}$ proj$^c$:$\leq^\text{t}_\text{h}$ proj$^c$:$\leq^\text{lac}_\text{1D}$ proj$^{rc}$:$\leq^\text{t}_\text{h}$ proj$^{rc}$:$\leq^\text{lac}_\text{1D}$ rc:$\leq^\text{t}_\text{h}$ rc$^r$:$\leq^\text{t}_\text{h}$ rc$^c$:$\leq^\text{t}_\text{h}$ rc$^{rc}$:$\leq^\text{t}_\text{h}$ srtall$^c$:$\leq^\text{lac}_\text{1D}$ srteqe$^c$:$\leq^\text{lac}_\text{1D}$ srtrc:$\leq^\text{lac}_\text{1D}$ srtrc$^r$:$\leq^\text{lac}_\text{1D}$ srtrc$^c$:$\leq^\text{lac}_\text{1D}$ srtrc$^{rc}$:$\leq^\text{lac}_\text{1D}$ wlan:$\leq^\text{t}_\text{h}$
all$^c$:$\leq^\text{t}_\text{h}$ cowl:$\leq^\text{t}_\text{h}$ cowl:$\leq^\text{lac}_\text{1D}$ cowl$^r$:$\leq^\text{t}_\text{h}$ cowl$^r$:$\leq^\text{lac}_\text{1D}$ disj$^c$:$\leq^\text{t}_\text{h}$ disj$^c$:$\leq^\text{lac}_\text{1D}$ eqe$^c$:$\leq^\text{t}_\text{h}$ eq$^c$:$\leq^\text{t}_\text{h}$ eq$^c$:$\leq^\text{lac}_\text{1D}$ fcomp:$\leq^\text{t}_\text{h}$ fcomp:$\leq^\text{lac}_\text{1D}$ fcomp$^r$:$\leq^\text{t}_\text{h}$ fcomp$^r$:$\leq^\text{lac}_\text{1D}$ fcomp$^c$:$\leq^\text{t}_\text{h}$ fcomp$^c$:$\leq^\text{lac}_\text{1D}$ fcomp$^{rc}$:$\leq^\text{t}_\text{h}$ fcomp$^{rc}$:$\leq^\text{lac}_\text{1D}$ hennie:$\leq^\text{t}_\text{h}$ hennie$^r$:$\leq^\text{t}_\text{h}$ hennie$^c$:$\leq^\text{t}_\text{h}$ hennie$^{rc}$:$\leq^\text{t}_\text{h}$ incl$^c$:$\leq^\text{t}_\text{h}$ incl$^c$:$\leq^\text{lac}_\text{1D}$ incl$^{rc}$:$\leq^\text{t}_\text{h}$ incl$^{rc}$:$\leq^\text{lac}_\text{1D}$ ilen:$\leq^\text{t}_\text{h}$ ilen$^c$:$\leq^\text{t}_\text{h}$ irc:$\leq^\text{t}_\text{h}$ irc$^r$:$\leq^\text{t}_\text{h}$ irc$^c$:$\leq^\text{t}_\text{h}$ irc$^{rc}$:$\leq^\text{t}_\text{h}$ lan$^c$:$\leq^\text{t}_\text{h}$ len:$\leq^\text{lac}_\text{1D}$ len$^c$:$\leq^\text{lac}_\text{1D}$ lmem:$\leq^\text{t}_\text{h}$ lmem$^r$:$\leq^\text{t}_\text{h}$ lmem$^c$:$\leq^\text{t}_\text{h}$ lmem$^{rc}$:$\leq^\text{t}_\text{h}$ mem:$\leq^\text{t}_\text{h}$ mem:$\leq^\text{lac}_\text{1D}$ mem$^r$:$\leq^\text{t}_\text{h}$ mem$^r$:$\leq^\text{lac}_\text{1D}$ mem$^c$:$\leq^\text{t}_\text{h}$ mem$^c$:$\leq^\text{lac}_\text{1D}$ mem$^{rc}$:$\leq^\text{t}_\text{h}$ mem$^{rc}$:$\leq^\text{lac}_\text{1D}$ msp:$\leq^\text{t}_\text{h}$ msp$^r$:$\leq^\text{t}_\text{h}$ moore:$\leq^\text{t}_\text{h}$ moore$^r$:$\leq^\text{t}_\text{h}$ olmem:$\leq^\text{lac}_\text{1D}$ olmem$^r$:$\leq^\text{lac}_\text{1D}$ olmem$^c$:$\leq^\text{lac}_\text{1D}$ olmem$^{rc}$:$\leq^\text{lac}_\text{1D}$ ott:$\leq^\text{t}_\text{h}$ ott$^r$:$\leq^\text{t}_\text{h}$ ott$^c$:$\leq^\text{t}_\text{h}$ ott$^{rc}$:$\leq^\text{t}_\text{h}$ proj:$\leq^\text{t}_\text{h}$ proj:$\leq^\text{lac}_\text{1D}$ proj$^r$:$\leq^\text{t}_\text{h}$ proj$^r$:$\leq^\text{lac}_\text{1D}$ proj$^c$:$\leq^\text{t}_\text{h}$ proj$^c$:$\leq^\text{lac}_\text{1D}$ proj$^{rc}$:$\leq^\text{t}_\text{h}$ proj$^{rc}$:$\leq^\text{lac}_\text{1D}$ rc:$\leq^\text{t}_\text{h}$ rc$^r$:$\leq^\text{t}_\text{h}$ rc$^c$:$\leq^\text{t}_\text{h}$ rc$^{rc}$:$\leq^\text{t}_\text{h}$ srtall$^c$:$\leq^\text{lac}_\text{1D}$ srteqe$^c$:$\leq^\text{lac}_\text{1D}$ srtrc:$\leq^\text{lac}_\text{1D}$ srtrc$^r$:$\leq^\text{lac}_\text{1D}$ srtrc$^c$:$\leq^\text{lac}_\text{1D}$ srtrc$^{rc}$:$\leq^\text{lac}_\text{1D}$ wlan:$\leq^\text{t}_\text{h}$ all$^c$:$\leq_\text{h}$ all$^c$:$\leq_\text{1D}$ all$^c$:$\leq_\text{RD}$ all$^c$:$\leq_\text{2D}$ all$^c$:$\leq_\text{1N}$ all$^{rc}$:$\leq^\text{t}_\text{h}$ all$^{rc}$:$\leq_\text{h}$ all$^{rc}$:$\leq_\text{1D}$ all$^{rc}$:$\leq_\text{RD}$ all$^{rc}$:$\leq_\text{2D}$ all$^{rc}$:$\leq_\text{1N}$ cowl:$\leq_\text{h}$ cowl:$\leq_\text{1D}$ cowl:$\leq^\text{lac}_\text{RD}$ cowl:$\leq_\text{RD}$ cowl:$\leq^\text{lac}_\text{2D}$ cowl:$\leq_\text{2D}$ cowl:$\leq^\text{lac}_\text{1N}$ cowl:$\leq_\text{1N}$ cowl$^r$:$\leq_\text{h}$ cowl$^r$:$\leq_\text{1D}$ cowl$^r$:$\leq^\text{lac}_\text{RD}$ cowl$^r$:$\leq_\text{RD}$ cowl$^r$:$\leq^\text{lac}_\text{2D}$ cowl$^r$:$\leq_\text{2D}$ cowl$^r$:$\leq^\text{lac}_\text{1N}$ cowl$^r$:$\leq_\text{1N}$ disj$^c$:$\leq_\text{h}$ disj$^c$:$\leq_\text{1D}$ disj$^c$:$\leq^\text{lac}_\text{RD}$ disj$^c$:$\leq_\text{RD}$ disj$^c$:$\leq^\text{lac}_\text{2D}$ disj$^c$:$\leq_\text{2D}$ disj$^c$:$\leq^\text{lac}_\text{1N}$ disj$^c$:$\leq_\text{1N}$ disj$^{rc}$:$\leq^\text{t}_\text{h}$ disj$^{rc}$:$\leq_\text{h}$ disj$^{rc}$:$\leq^\text{lac}_\text{1D}$ disj$^{rc}$:$\leq_\text{1D}$ disj$^{rc}$:$\leq^\text{lac}_\text{RD}$ disj$^{rc}$:$\leq_\text{RD}$ disj$^{rc}$:$\leq^\text{lac}_\text{2D}$ disj$^{rc}$:$\leq_\text{2D}$ disj$^{rc}$:$\leq^\text{lac}_\text{1N}$ disj$^{rc}$:$\leq_\text{1N}$ eqe$^c$:$\leq_\text{h}$ eqe$^c$:$\leq_\text{1D}$ eqe$^c$:$\leq_\text{RD}$ eqe$^c$:$\leq_\text{2D}$ eqe$^c$:$\leq_\text{1N}$ eqe$^{rc}$:$\leq^\text{t}_\text{h}$ eqe$^{rc}$:$\leq_\text{h}$ eqe$^{rc}$:$\leq_\text{1D}$ eqe$^{rc}$:$\leq_\text{RD}$ eqe$^{rc}$:$\leq_\text{2D}$ eqe$^{rc}$:$\leq_\text{1N}$ eq$^c$:$\leq_\text{h}$ eq$^c$:$\leq_\text{1D}$ eq$^c$:$\leq^\text{lac}_\text{RD}$ eq$^c$:$\leq_\text{RD}$ eq$^c$:$\leq^\text{lac}_\text{2D}$ eq$^c$:$\leq_\text{2D}$ eq$^c$:$\leq^\text{lac}_\text{1N}$ eq$^c$:$\leq_\text{1N}$ eq$^{rc}$:$\leq^\text{t}_\text{h}$ eq$^{rc}$:$\leq_\text{h}$ eq$^{rc}$:$\leq^\text{lac}_\text{1D}$ eq$^{rc}$:$\leq_\text{1D}$ eq$^{rc}$:$\leq^\text{lac}_\text{RD}$ eq$^{rc}$:$\leq_\text{RD}$ eq$^{rc}$:$\leq^\text{lac}_\text{2D}$ eq$^{rc}$:$\leq_\text{2D}$ eq$^{rc}$:$\leq^\text{lac}_\text{1N}$ eq$^{rc}$:$\leq_\text{1N}$ fcomp:$\leq_\text{h}$ fcomp:$\leq_\text{1D}$ fcomp:$\leq^\text{lac}_\text{RD}$ fcomp:$\leq_\text{RD}$ fcomp:$\leq^\text{lac}_\text{2D}$ fcomp:$\leq_\text{2D}$ fcomp:$\leq^\text{lac}_\text{1N}$ fcomp:$\leq_\text{1N}$ fcomp$^r$:$\leq_\text{h}$ fcomp$^r$:$\leq_\text{1D}$ fcomp$^r$:$\leq^\text{lac}_\text{RD}$ fcomp$^r$:$\leq_\text{RD}$ fcomp$^r$:$\leq^\text{lac}_\text{2D}$ fcomp$^r$:$\leq_\text{2D}$ fcomp$^r$:$\leq^\text{lac}_\text{1N}$ fcomp$^r$:$\leq_\text{1N}$ fcomp$^c$:$\leq_\text{h}$ fcomp$^c$:$\leq_\text{1D}$ fcomp$^c$:$\leq^\text{lac}_\text{RD}$ fcomp$^c$:$\leq_\text{RD}$ fcomp$^c$:$\leq^\text{lac}_\text{2D}$ fcomp$^c$:$\leq_\text{2D}$ fcomp$^c$:$\leq^\text{lac}_\text{1N}$ fcomp$^c$:$\leq_\text{1N}$ fcomp$^{rc}$:$\leq_\text{h}$ fcomp$^{rc}$:$\leq_\text{1D}$ fcomp$^{rc}$:$\leq^\text{lac}_\text{RD}$ fcomp$^{rc}$:$\leq_\text{RD}$ fcomp$^{rc}$:$\leq^\text{lac}_\text{2D}$ fcomp$^{rc}$:$\leq_\text{2D}$ fcomp$^{rc}$:$\leq^\text{lac}_\text{1N}$ fcomp$^{rc}$:$\leq_\text{1N}$ hennie:$\leq_\text{h}$ hennie:$\leq_\text{1D}$ hennie:$\leq_\text{RD}$ hennie:$\leq_\text{2D}$ hennie:$\leq_\text{1N}$ hennie$^r$:$\leq_\text{h}$ hennie$^r$:$\leq_\text{1D}$ hennie$^r$:$\leq_\text{RD}$ hennie$^r$:$\leq_\text{2D}$ hennie$^r$:$\leq_\text{1N}$ hennie$^c$:$\leq_\text{h}$ hennie$^c$:$\leq_\text{1D}$ hennie$^c$:$\leq_\text{RD}$ hennie$^c$:$\leq_\text{2D}$ hennie$^c$:$\leq_\text{1N}$ hennie$^{rc}$:$\leq_\text{h}$ hennie$^{rc}$:$\leq_\text{1D}$ hennie$^{rc}$:$\leq_\text{RD}$ hennie$^{rc}$:$\leq_\text{2D}$ hennie$^{rc}$:$\leq_\text{1N}$ incl$^c$:$\leq_\text{h}$ incl$^c$:$\leq_\text{1D}$ incl$^c$:$\leq^\text{lac}_\text{RD}$ incl$^c$:$\leq_\text{RD}$ incl$^c$:$\leq^\text{lac}_\text{2D}$ incl$^c$:$\leq_\text{2D}$ incl$^c$:$\leq^\text{lac}_\text{1N}$ incl$^c$:$\leq_\text{1N}$ incl$^{rc}$:$\leq_\text{h}$ incl$^{rc}$:$\leq_\text{1D}$ incl$^{rc}$:$\leq^\text{lac}_\text{RD}$ incl$^{rc}$:$\leq_\text{RD}$ incl$^{rc}$:$\leq^\text{lac}_\text{2D}$ incl$^{rc}$:$\leq_\text{2D}$ incl$^{rc}$:$\leq^\text{lac}_\text{1N}$ incl$^{rc}$:$\leq_\text{1N}$ ilen:$\leq_\text{h}$ ilen:$\leq_\text{1D}$ ilen:$\leq_\text{RD}$ ilen:$\leq_\text{2D}$ ilen:$\leq_\text{1N}$ ilen$^r$:$\leq^\text{t}_\text{h}$ ilen$^r$:$\leq_\text{h}$ ilen$^r$:$\leq_\text{1D}$ ilen$^r$:$\leq_\text{RD}$ ilen$^r$:$\leq_\text{2D}$ ilen$^r$:$\leq_\text{1N}$ ilen$^c$:$\leq_\text{h}$ ilen$^c$:$\leq_\text{1D}$ ilen$^c$:$\leq_\text{RD}$ ilen$^c$:$\leq_\text{2D}$ ilen$^c$:$\leq_\text{1N}$ ilen$^{rc}$:$\leq^\text{t}_\text{h}$ ilen$^{rc}$:$\leq_\text{h}$ ilen$^{rc}$:$\leq_\text{1D}$ ilen$^{rc}$:$\leq_\text{RD}$ ilen$^{rc}$:$\leq_\text{2D}$ ilen$^{rc}$:$\leq_\text{1N}$ irc:$\leq_\text{h}$ irc:$\leq_\text{1D}$ irc:$\leq_\text{RD}$ irc:$\leq_\text{2D}$ irc:$\leq_\text{1N}$ irc$^r$:$\leq_\text{h}$ irc$^r$:$\leq_\text{1D}$ irc$^r$:$\leq_\text{RD}$ irc$^r$:$\leq_\text{2D}$ irc$^r$:$\leq_\text{1N}$ irc$^c$:$\leq_\text{h}$ irc$^c$:$\leq_\text{1D}$ irc$^c$:$\leq_\text{RD}$ irc$^c$:$\leq_\text{2D}$ irc$^c$:$\leq_\text{1N}$ irc$^{rc}$:$\leq_\text{h}$ irc$^{rc}$:$\leq_\text{1D}$ irc$^{rc}$:$\leq_\text{RD}$ irc$^{rc}$:$\leq_\text{2D}$ irc$^{rc}$:$\leq_\text{1N}$ lan$^c$:$\leq_\text{h}$ lan$^c$:$\leq_\text{1D}$ lan$^c$:$\leq_\text{RD}$ lan$^c$:$\leq_\text{2D}$ lan$^c$:$\leq_\text{1N}$ lan$^{rc}$:$\leq^\text{t}_\text{h}$ lan$^{rc}$:$\leq_\text{h}$ lan$^{rc}$:$\leq_\text{1D}$ lan$^{rc}$:$\leq_\text{RD}$ lan$^{rc}$:$\leq_\text{2D}$ lan$^{rc}$:$\leq_\text{1N}$ len:$\leq^\text{t}_\text{h}$ len:$\leq_\text{h}$ len:$\leq_\text{1D}$ len:$\leq^\text{lac}_\text{RD}$ len:$\leq_\text{RD}$ len:$\leq^\text{lac}_\text{2D}$ len:$\leq_\text{2D}$ len:$\leq^\text{lac}_\text{1N}$ len:$\leq_\text{1N}$ len$^r$:$\leq^\text{t}_\text{h}$ len$^r$:$\leq_\text{h}$ len$^r$:$\leq^\text{lac}_\text{1D}$ len$^r$:$\leq_\text{1D}$ len$^r$:$\leq^\text{lac}_\text{RD}$ len$^r$:$\leq_\text{RD}$ len$^r$:$\leq^\text{lac}_\text{2D}$ len$^r$:$\leq_\text{2D}$ len$^r$:$\leq^\text{lac}_\text{1N}$ len$^r$:$\leq_\text{1N}$ len$^c$:$\leq^\text{t}_\text{h}$ len$^c$:$\leq_\text{h}$ len$^c$:$\leq_\text{1D}$ len$^c$:$\leq^\text{lac}_\text{RD}$ len$^c$:$\leq_\text{RD}$ len$^c$:$\leq^\text{lac}_\text{2D}$ len$^c$:$\leq_\text{2D}$ len$^c$:$\leq^\text{lac}_\text{1N}$ len$^c$:$\leq_\text{1N}$ len$^{rc}$:$\leq^\text{t}_\text{h}$ len$^{rc}$:$\leq_\text{h}$ len$^{rc}$:$\leq^\text{lac}_\text{1D}$ len$^{rc}$:$\leq_\text{1D}$ len$^{rc}$:$\leq^\text{lac}_\text{RD}$ len$^{rc}$:$\leq_\text{RD}$ len$^{rc}$:$\leq^\text{lac}_\text{2D}$ len$^{rc}$:$\leq_\text{2D}$ len$^{rc}$:$\leq^\text{lac}_\text{1N}$ len$^{rc}$:$\leq_\text{1N}$ lmem:$\leq_\text{h}$ lmem:$\leq_\text{1D}$ lmem:$\leq_\text{RD}$ lmem:$\leq_\text{2D}$ lmem:$\leq_\text{1N}$ lmem$^r$:$\leq_\text{h}$ lmem$^r$:$\leq_\text{1D}$ lmem$^r$:$\leq_\text{RD}$ lmem$^r$:$\leq_\text{2D}$ lmem$^r$:$\leq_\text{1N}$ lmem$^c$:$\leq_\text{h}$ lmem$^c$:$\leq_\text{1D}$ lmem$^c$:$\leq_\text{RD}$ lmem$^c$:$\leq_\text{2D}$ lmem$^c$:$\leq_\text{1N}$ lmem$^{rc}$:$\leq_\text{h}$ lmem$^{rc}$:$\leq_\text{1D}$ lmem$^{rc}$:$\leq_\text{RD}$ lmem$^{rc}$:$\leq_\text{2D}$ lmem$^{rc}$:$\leq_\text{1N}$ mem:$\leq_\text{h}$ mem:$\leq_\text{1D}$ mem:$\leq^\text{lac}_\text{RD}$ mem:$\leq_\text{RD}$ mem:$\leq^\text{lac}_\text{2D}$ mem:$\leq_\text{2D}$ mem:$\leq^\text{lac}_\text{1N}$ mem:$\leq_\text{1N}$ mem$^r$:$\leq_\text{h}$ mem$^r$:$\leq_\text{1D}$ mem$^r$:$\leq^\text{lac}_\text{RD}$ mem$^r$:$\leq_\text{RD}$ mem$^r$:$\leq^\text{lac}_\text{2D}$ mem$^r$:$\leq_\text{2D}$ mem$^r$:$\leq^\text{lac}_\text{1N}$ mem$^r$:$\leq_\text{1N}$ mem$^c$:$\leq_\text{h}$ mem$^c$:$\leq_\text{1D}$ mem$^c$:$\leq^\text{lac}_\text{RD}$ mem$^c$:$\leq_\text{RD}$ mem$^c$:$\leq^\text{lac}_\text{2D}$ mem$^c$:$\leq_\text{2D}$ mem$^c$:$\leq^\text{lac}_\text{1N}$ mem$^c$:$\leq_\text{1N}$ mem$^{rc}$:$\leq_\text{h}$ mem$^{rc}$:$\leq_\text{1D}$ mem$^{rc}$:$\leq^\text{lac}_\text{RD}$ mem$^{rc}$:$\leq_\text{RD}$ mem$^{rc}$:$\leq^\text{lac}_\text{2D}$ mem$^{rc}$:$\leq_\text{2D}$ mem$^{rc}$:$\leq^\text{lac}_\text{1N}$ mem$^{rc}$:$\leq_\text{1N}$ msp:$\leq_\text{h}$ msp:$\leq_\text{1D}$ msp:$\leq_\text{RD}$ msp:$\leq_\text{2D}$ msp:$\leq_\text{1N}$ msp$^r$:$\leq_\text{h}$ msp$^r$:$\leq_\text{1D}$ msp$^r$:$\leq_\text{RD}$ msp$^r$:$\leq_\text{2D}$ msp$^r$:$\leq_\text{1N}$ moore:$\leq_\text{h}$ moore:$\leq_\text{1D}$ moore:$\leq_\text{RD}$ moore:$\leq_\text{2D}$ moore:$\leq_\text{1N}$ moore$^r$:$\leq_\text{h}$ moore$^r$:$\leq_\text{1D}$ moore$^r$:$\leq_\text{RD}$ moore$^r$:$\leq_\text{2D}$ moore$^r$:$\leq_\text{1N}$ olmem:$\leq^\text{t}_\text{h}$ olmem:$\leq_\text{h}$ olmem:$\leq_\text{1D}$ olmem:$\leq^\text{lac}_\text{RD}$ olmem:$\leq_\text{RD}$ olmem:$\leq^\text{lac}_\text{2D}$ olmem:$\leq_\text{2D}$ olmem:$\leq^\text{lac}_\text{1N}$ olmem:$\leq_\text{1N}$ olmem$^r$:$\leq^\text{t}_\text{h}$ olmem$^r$:$\leq_\text{h}$ olmem$^r$:$\leq_\text{1D}$ olmem$^r$:$\leq^\text{lac}_\text{RD}$ olmem$^r$:$\leq_\text{RD}$ olmem$^r$:$\leq^\text{lac}_\text{2D}$ olmem$^r$:$\leq_\text{2D}$ olmem$^r$:$\leq^\text{lac}_\text{1N}$ olmem$^r$:$\leq_\text{1N}$ olmem$^c$:$\leq^\text{t}_\text{h}$ olmem$^c$:$\leq_\text{h}$ olmem$^c$:$\leq_\text{1D}$ olmem$^c$:$\leq^\text{lac}_\text{RD}$ olmem$^c$:$\leq_\text{RD}$ olmem$^c$:$\leq^\text{lac}_\text{2D}$ olmem$^c$:$\leq_\text{2D}$ olmem$^c$:$\leq^\text{lac}_\text{1N}$ olmem$^c$:$\leq_\text{1N}$ olmem$^{rc}$:$\leq^\text{t}_\text{h}$ olmem$^{rc}$:$\leq_\text{h}$ olmem$^{rc}$:$\leq_\text{1D}$ olmem$^{rc}$:$\leq^\text{lac}_\text{RD}$ olmem$^{rc}$:$\leq_\text{RD}$ olmem$^{rc}$:$\leq^\text{lac}_\text{2D}$ olmem$^{rc}$:$\leq_\text{2D}$ olmem$^{rc}$:$\leq^\text{lac}_\text{1N}$ olmem$^{rc}$:$\leq_\text{1N}$ ott:$\leq_\text{h}$ ott:$\leq_\text{1D}$ ott:$\leq_\text{RD}$ ott:$\leq_\text{2D}$ ott:$\leq_\text{1N}$ ott$^r$:$\leq_\text{h}$ ott$^r$:$\leq_\text{1D}$ ott$^r$:$\leq_\text{RD}$ ott$^r$:$\leq_\text{2D}$ ott$^r$:$\leq_\text{1N}$ ott$^c$:$\leq_\text{h}$ ott$^c$:$\leq_\text{1D}$ ott$^c$:$\leq_\text{RD}$ ott$^c$:$\leq_\text{2D}$ ott$^c$:$\leq_\text{1N}$ ott$^{rc}$:$\leq_\text{h}$ ott$^{rc}$:$\leq_\text{1D}$ ott$^{rc}$:$\leq_\text{RD}$ ott$^{rc}$:$\leq_\text{2D}$ ott$^{rc}$:$\leq_\text{1N}$ proj:$\leq_\text{h}$ proj:$\leq_\text{1D}$ proj:$\leq^\text{lac}_\text{RD}$ proj:$\leq_\text{RD}$ proj:$\leq^\text{lac}_\text{2D}$ proj:$\leq_\text{2D}$ proj:$\leq^\text{lac}_\text{1N}$ proj:$\leq_\text{1N}$ proj$^r$:$\leq_\text{h}$ proj$^r$:$\leq_\text{1D}$ proj$^r$:$\leq^\text{lac}_\text{RD}$ proj$^r$:$\leq_\text{RD}$ proj$^r$:$\leq^\text{lac}_\text{2D}$ proj$^r$:$\leq_\text{2D}$ proj$^r$:$\leq^\text{lac}_\text{1N}$ proj$^r$:$\leq_\text{1N}$ proj$^c$:$\leq_\text{h}$ proj$^c$:$\leq_\text{1D}$ proj$^c$:$\leq^\text{lac}_\text{RD}$ proj$^c$:$\leq_\text{RD}$ proj$^c$:$\leq^\text{lac}_\text{2D}$ proj$^c$:$\leq_\text{2D}$ proj$^c$:$\leq^\text{lac}_\text{1N}$ proj$^c$:$\leq_\text{1N}$ proj$^{rc}$:$\leq_\text{h}$ proj$^{rc}$:$\leq_\text{1D}$ proj$^{rc}$:$\leq^\text{lac}_\text{RD}$ proj$^{rc}$:$\leq_\text{RD}$ proj$^{rc}$:$\leq^\text{lac}_\text{2D}$ proj$^{rc}$:$\leq_\text{2D}$ proj$^{rc}$:$\leq^\text{lac}_\text{1N}$ proj$^{rc}$:$\leq_\text{1N}$ rc:$\leq_\text{h}$ rc:$\leq_\text{1D}$ rc:$\leq_\text{RD}$ rc:$\leq_\text{2D}$ rc:$\leq_\text{1N}$ rc$^r$:$\leq_\text{h}$ rc$^r$:$\leq_\text{1D}$ rc$^r$:$\leq_\text{RD}$ rc$^r$:$\leq_\text{2D}$ rc$^r$:$\leq_\text{1N}$ rc$^c$:$\leq_\text{h}$ rc$^c$:$\leq_\text{1D}$ rc$^c$:$\leq_\text{RD}$ rc$^c$:$\leq_\text{2D}$ rc$^c$:$\leq_\text{1N}$ rc$^{rc}$:$\leq_\text{h}$ rc$^{rc}$:$\leq_\text{1D}$ rc$^{rc}$:$\leq_\text{RD}$ rc$^{rc}$:$\leq_\text{2D}$ rc$^{rc}$:$\leq_\text{1N}$ srtall$^c$:$\leq^\text{t}_\text{h}$ srtall$^c$:$\leq_\text{h}$ srtall$^c$:$\leq_\text{1D}$ srtall$^c$:$\leq^\text{lac}_\text{RD}$ srtall$^c$:$\leq_\text{RD}$ srtall$^c$:$\leq^\text{lac}_\text{2D}$ srtall$^c$:$\leq_\text{2D}$ srtall$^c$:$\leq^\text{lac}_\text{1N}$ srtall$^c$:$\leq_\text{1N}$ srtall$^{rc}$:$\leq^\text{t}_\text{h}$ srtall$^{rc}$:$\leq_\text{h}$ srtall$^{rc}$:$\leq^\text{lac}_\text{1D}$ srtall$^{rc}$:$\leq_\text{1D}$ srtall$^{rc}$:$\leq^\text{lac}_\text{RD}$ srtall$^{rc}$:$\leq_\text{RD}$ srtall$^{rc}$:$\leq^\text{lac}_\text{2D}$ srtall$^{rc}$:$\leq_\text{2D}$ srtall$^{rc}$:$\leq^\text{lac}_\text{1N}$ srtall$^{rc}$:$\leq_\text{1N}$ srteqe$^c$:$\leq^\text{t}_\text{h}$ srteqe$^c$:$\leq_\text{h}$ srteqe$^c$:$\leq_\text{1D}$ srteqe$^c$:$\leq^\text{lac}_\text{RD}$ srteqe$^c$:$\leq_\text{RD}$ srteqe$^c$:$\leq^\text{lac}_\text{2D}$ srteqe$^c$:$\leq_\text{2D}$ srteqe$^c$:$\leq^\text{lac}_\text{1N}$ srteqe$^c$:$\leq_\text{1N}$ srteqe$^{rc}$:$\leq^\text{t}_\text{h}$ srteqe$^{rc}$:$\leq_\text{h}$ srteqe$^{rc}$:$\leq^\text{lac}_\text{1D}$ srteqe$^{rc}$:$\leq_\text{1D}$ srteqe$^{rc}$:$\leq^\text{lac}_\text{RD}$ srteqe$^{rc}$:$\leq_\text{RD}$ srteqe$^{rc}$:$\leq^\text{lac}_\text{2D}$ srteqe$^{rc}$:$\leq_\text{2D}$ srteqe$^{rc}$:$\leq^\text{lac}_\text{1N}$ srteqe$^{rc}$:$\leq_\text{1N}$ srtrc:$\leq^\text{t}_\text{h}$ srtrc:$\leq_\text{h}$ srtrc:$\leq_\text{1D}$ srtrc:$\leq^\text{lac}_\text{RD}$ srtrc:$\leq_\text{RD}$ srtrc:$\leq^\text{lac}_\text{2D}$ srtrc:$\leq_\text{2D}$ srtrc:$\leq^\text{lac}_\text{1N}$ srtrc:$\leq_\text{1N}$ srtrc$^r$:$\leq^\text{t}_\text{h}$ srtrc$^r$:$\leq_\text{h}$ srtrc$^r$:$\leq_\text{1D}$ srtrc$^r$:$\leq^\text{lac}_\text{RD}$ srtrc$^r$:$\leq_\text{RD}$ srtrc$^r$:$\leq^\text{lac}_\text{2D}$ srtrc$^r$:$\leq_\text{2D}$ srtrc$^r$:$\leq^\text{lac}_\text{1N}$ srtrc$^r$:$\leq_\text{1N}$ srtrc$^c$:$\leq^\text{t}_\text{h}$ srtrc$^c$:$\leq_\text{h}$ srtrc$^c$:$\leq_\text{1D}$ srtrc$^c$:$\leq^\text{lac}_\text{RD}$ srtrc$^c$:$\leq_\text{RD}$ srtrc$^c$:$\leq^\text{lac}_\text{2D}$ srtrc$^c$:$\leq_\text{2D}$ srtrc$^c$:$\leq^\text{lac}_\text{1N}$ srtrc$^c$:$\leq_\text{1N}$ srtrc$^{rc}$:$\leq^\text{t}_\text{h}$ srtrc$^{rc}$:$\leq_\text{h}$ srtrc$^{rc}$:$\leq_\text{1D}$ srtrc$^{rc}$:$\leq^\text{lac}_\text{RD}$ srtrc$^{rc}$:$\leq_\text{RD}$ srtrc$^{rc}$:$\leq^\text{lac}_\text{2D}$ srtrc$^{rc}$:$\leq_\text{2D}$ srtrc$^{rc}$:$\leq^\text{lac}_\text{1N}$ srtrc$^{rc}$:$\leq_\text{1N}$ wlan:$\leq_\text{h}$ wlan:$\leq_\text{1D}$ wlan:$\leq_\text{RD}$ wlan:$\leq_\text{2D}$ wlan:$\leq_\text{1N}$ wlan$^r$:$\leq^\text{t}_\text{h}$ wlan$^r$:$\leq_\text{h}$ wlan$^r$:$\leq_\text{1D}$ wlan$^r$:$\leq_\text{RD}$ wlan$^r$:$\leq_\text{2D}$ wlan$^r$:$\leq_\text{1N}$
owl:$\leq^\text{t}_\text{h}$ owl$^r$:$\leq^\text{t}_\text{h}$ sep$^r$:$\leq^\text{t}_\text{h}$ sp:$\leq^\text{t}_\text{h}$ sp$^r$:$\leq^\text{t}_\text{h}$
owl:$\leq^\text{t}_\text{h}$ owl$^r$:$\leq^\text{t}_\text{h}$ sep$^r$:$\leq^\text{t}_\text{h}$ sp:$\leq^\text{t}_\text{h}$ sp$^r$:$\leq^\text{t}_\text{h}$ owl:$\leq_\text{h}$ owl:$\leq_\text{1D}$ owl:$\leq_\text{RD}$ owl:$\leq_\text{2D}$ owl:$\leq_\text{1N}$ owl$^r$:$\leq_\text{h}$ owl$^r$:$\leq_\text{1D}$ owl$^r$:$\leq_\text{RD}$ owl$^r$:$\leq_\text{2D}$ owl$^r$:$\leq_\text{1N}$ sep$^r$:$\leq_\text{h}$ sep$^r$:$\leq_\text{1D}$ sep$^r$:$\leq_\text{RD}$ sep$^r$:$\leq_\text{2D}$ sep$^r$:$\leq_\text{1N}$ sp:$\leq_\text{h}$ sp:$\leq_\text{1D}$ sp:$\leq_\text{RD}$ sp:$\leq_\text{2D}$ sp:$\leq_\text{1N}$ sp$^r$:$\leq_\text{h}$ sp$^r$:$\leq_\text{1D}$ sp$^r$:$\leq_\text{RD}$ sp$^r$:$\leq_\text{2D}$ sp$^r$:$\leq_\text{1N}$
twl:$\leq^\text{t}_\text{h}$ twl:$\leq^\text{lac}_\text{1D}$ twl$^r$:$\leq^\text{t}_\text{h}$ twl$^r$:$\leq^\text{lac}_\text{1D}$
twl:$\leq^\text{t}_\text{h}$ twl:$\leq^\text{lac}_\text{1D}$ twl$^r$:$\leq^\text{t}_\text{h}$ twl$^r$:$\leq^\text{lac}_\text{1D}$ twl:$\leq_\text{h}$ twl:$\leq_\text{1D}$ twl:$\leq^\text{lac}_\text{RD}$ twl:$\leq_\text{RD}$ twl:$\leq^\text{lac}_\text{2D}$ twl:$\leq_\text{2D}$ twl:$\leq^\text{lac}_\text{1N}$ twl:$\leq_\text{1N}$ twl$^r$:$\leq_\text{h}$ twl$^r$:$\leq_\text{1D}$ twl$^r$:$\leq^\text{lac}_\text{RD}$ twl$^r$:$\leq_\text{RD}$ twl$^r$:$\leq^\text{lac}_\text{2D}$ twl$^r$:$\leq_\text{2D}$ twl$^r$:$\leq^\text{lac}_\text{1N}$ twl$^r$:$\leq_\text{1N}$