{B}_{i}[B]}$ is permutationally equivalent to $A_m^{(t)}$ for some $m \leq d$ and $t \leq \frac{m}{2}$ where $m > 4 \log s$ for $s = \binom{m}{t}$.

Let $q = |B|$ for some (and therefore every) $B \in \mathfrak{B}_\ell$ and suppose $q > 1$. We show that there is a set $\Omega^{*}$, a $\operatorname{\widehat{\Gamma}}_d$-group $G^{*} \leq \operatorname{Sym}(\Omega^{*})$, two strings $\mathfrak{x}^{*},\mathfrak{y}^{*}\colon\Omega^{*}\rightarrow\Sigma$ and a sequence of partitions $\{\Omega^{*}\} = \mathfrak{B}_0^{*} \succ \dots \succ \mathfrak{B}_k^{*}$ of the set $\Omega^{*}$ and natural numbers $b,p$ with $b > 1$ and $b \cdot p = q$ such that the following holds:

1.  \[item:i\] $|\Omega^{*}| \leq n \cdot b^{c_1 \log d + c_2}$,

2.  $G^{*}$ is transitive,

3.  $\mathfrak{B}_i^{*}$ is $G^{*}$-invariant for all $i \in [k]$,

4.  $|B| \leq p$ for all $B \in \mathfrak{B}_k^{*}$,

5.  $\mathfrak{x} \cong_G \mathfrak{y}$ if and only if $\mathfrak{x}^{*} \cong_{G^{*}} \mathfrak{y}^{*}$, and

6.  \[item:vi\] for every $i \in [k]$ and $B \in \mathfrak{B}_{i-1}^{*}$ it holds that

    1.  $\left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is semi-regular, or

    2.  $\left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is permutationally equivalent to $A_m^{(t)}$ for some $m \leq d$ and $t \leq \frac{m}{2}$ where $m > 4 \log s$ for $s = \binom{m}{t}$.

Moreover, one can compute
{ B}_{i}[B]}$ is permutationally equivalent to $ A_m^{(t)}$ for some $ m \leq d$ and $ t \leq \frac{m}{2}$ where $ m > 4 \log s$ for $ s = \binom{m}{t}$. 

 Let $ q = |B|$ for some (and therefore every) $ boron \in \mathfrak{B}_\ell$ and presuppose $ q > 1$. We show that there is a set $ \Omega^{*}$, a $ \operatorname{\widehat{\Gamma}}_d$-group $ G^ { * } \leq \operatorname{Sym}(\Omega^{*})$, two string $ \mathfrak{x}^{*},\mathfrak{y}^{*}\colon\Omega^{*}\rightarrow\Sigma$ and a sequence of partitions $ \{\Omega^{*}\ } = \mathfrak{B}_0^ { * } \succ \dots \succ \mathfrak{B}_k^{*}$ of the laid $ \Omega^{*}$ and lifelike numbers $ b, p$ with $ b > 1 $ and $ b \cdot p = q$ such that the following hold: 

 1.   \[item: i\ ] $ |\Omega^{*}| \leq n \cdot b^{c_1 \log d + c_2}$, 

 2.   $ G^{*}$ is transitive, 

 3.   $ \mathfrak{B}_i^{*}$ is $ G^{*}$-invariant for all $ i \in [ k]$, 

 4.   $ |B| \leq p$ for all $ B \in \mathfrak{B}_k^{*}$, 

 5.   $ \mathfrak{x } \cong_G \mathfrak{y}$ if and only if $ \mathfrak{x}^ { * } \cong_{G^ { * } } \mathfrak{y}^{*}$, and 

 6.   \[item: vi\ ] for every $ i \in [ k]$ and $ B \in \mathfrak{B}_{i-1}^{*}$ it holds that 

     1.   $ \left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is semi - regular, or 

     2.   $ \left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is permutationally equivalent to $ A_m^{(t)}$ for some $ m \leq d$ and $ thymine \leq \frac{m}{2}$ where $ m > 4 \log s$ for $ s = \binom{m}{t}$. 

 Moreover, one can compute
{B}_{i}[B]}$ is permutationally equiyalent to $A_m^{(t)}$ fot wome $m \leq d$ and $t \ldq \frac{m}{2}$ where $m > 4 \log s$ for $s = \binim{m}{t}$.

Let $q = |B|$ for some (xnd therevore eveey) $B \un \mathfrak{B}_\ell$ and suppkde $q > 1$. We show that there is d set $\Omega^{*}$, a $\mpdrctorname{\widehat{\Gamma}}_d$-group $G^{*} \leq \opewatornake{Dym}(\Omega^{*})$, two sjringx $\matgfrak{x}^{*},\mathfrak{y}^{*}\colon\Omega^{*}\rightarros\Sigma$ end a sequence pf partitions $\{\Omega^{*}\} = \mathfgak{B}_0^{*} \succ \dots \succ \mahhfrak{B}_k^{*}$ of the wet $\Omega^{*}$ ana natural numbers $b,p$ wjth $b > 1$ and $b \cdot p = q$ such thxt thz following hildd:

1.  \[item:i\] $|\Omeja^{*}| \leq n \cdot b^{c_1 \log d + c_2}$,

2.  $G^{*}$ is ttansitive,

3.  $\matmfrak{U}_i^{*}$ iw $G^{*}$-invariant for all $m \in [k]$,

4.  $|B| \leq p$ for wll $B \in \kachfrak{B}_k^{*}$,

5.  $\mathfrak{x} \cint_G \majhfran{y}$ iw ana ohlb ir $\mathvrai{x}^{*} \cong_{G^{*}} \mzthfrak{y}^{*}$, ane

6.  \[item:vi\] for every $i \pm [k]$ and $B \in \mathfwah{B}_{i-1}^{*}$ it holds that

    1.  $\left(G^{*}\right)_B^{\mathfgak{B}_{j}^{*}[B]}$ is semi-regular, or

    2.  $\left(G^{*}\right)_B^{\mathfran{B}_{i}^{*}[B]}$ is pqrmutationally equivalent to $A_m^{(t)}$ for some $m \leq d$ and $v \ueq \fvac{m}{2}$ qhfre $m > 4 \log s$ for $s = \binom{m}{t}$.

Moreover, one can skmkutv
{B}_{i}[B]}$ is permutationally equivalent to $A_m^{(t)}$ for \leq and $t \frac{m}{2}$ where $m $s \binom{m}{t}$. Let $q |B|$ for some therefore every) $B \in \mathfrak{B}_\ell$ and $q > 1$. We show that there is a set $\Omega^{*}$, a $\operatorname{\widehat{\Gamma}}_d$-group \leq \operatorname{Sym}(\Omega^{*})$, two strings $\mathfrak{x}^{*},\mathfrak{y}^{*}\colon\Omega^{*}\rightarrow\Sigma$ and a sequence of partitions $\{\Omega^{*}\} = \mathfrak{B}_0^{*} \dots \mathfrak{B}_k^{*}$ the $\Omega^{*}$ and natural numbers $b,p$ with $b > 1$ and $b \cdot p = q$ such the following holds: 1. \[item:i\] $|\Omega^{*}| \leq n b^{c_1 \log d + 2. $G^{*}$ is transitive, 3. is for all \in 4. \leq p$ for $B \in \mathfrak{B}_k^{*}$, 5. $\mathfrak{x} \cong_G \mathfrak{y}$ if and only if $\mathfrak{x}^{*} \cong_{G^{*}} \mathfrak{y}^{*}$, and 6. \[item:vi\] every $i and $B \mathfrak{B}_{i-1}^{*}$ holds 1. $\left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is 2. $\left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is permutationally equivalent to $m \leq d$ and $t \leq \frac{m}{2}$ where > 4 s$ for $s = \binom{m}{t}$. Moreover, can compute
{B}_{i}[B]}$ is permutationally equivAlent to $A_m^{(t)}$ For soMe $m \Leq D$ aNd $t \lEq \frAc{m}{2}$ where $m > 4 \log s$ fOR $s = \biNom{m}{t}$.

Let $q = |B|$ for some (and thErefoRe EVery) $b \In \MathfRak{B}_\ell$ ANd SUPpoSe $Q > 1$. WE shOw THaT therE is A set $\OmeGa^{*}$, a $\operatoRnaMe{\Widehat{\Gamma}}_D$-GrOup $G^{*} \leq \opeRatOrname{Sym}(\OmeGa^{*})$, tWo striNgS $\maTHfrak{X}^{*},\maThfraK{y}^{*}\coloN\omega^{*}\rIghtarrow\siGMa$ and a SEquence OF PaRtitIons $\{\Omega^{*}\} = \mathfrak{b}_0^{*} \SuCC \dots \succ \mathfRak{B}_k^{*}$ oF tHE sET $\omeGa^{*}$ aNd natural nUmBers $b,P$ With $b > 1$ anD $B \cDOT P = q$ sUCh that the follOwing holds:

1.  \[iTEm:i\] $|\omega^{*}| \lEq N \cdOT b^{c_1 \log D + c_2}$,

2.  $G^{*}$ is TrANsiTive,

3.  $\mathfraK{B}_i^{*}$ iS $G^{*}$-invariaNt for aLL $i \in [k]$,

4.  $|B| \lEQ p$ for alL $B \in \maThfRak{b}_k^{*}$,

5.  $\maTHfRaK{x} \cOnG_g \maTHfRak{Y}$ If aNd only if $\MaThFrak{x}^{*} \Cong_{g^{*}} \MATHfraK{y}^{*}$, aNd

6.  \[itEm:vi\] fOr every $i \in [k]$ anD $B \iN \matHFraK{B}_{i-1}^{*}$ it Holds That

    1.  $\LeFt(G^{*}\riGht)_B^{\maThfraK{B}_{I}^{*}[B]}$ is semi-regular, Or

    2.  $\leFt(G^{*}\right)_B^{\MatHfRak{b}_{i}^{*}[b]}$ is peRMutatiOnaLly EquivalEnt to $A_m^{(T)}$ For SoME $M \LeQ d$ and $t \leq \frac{m}{2}$ wherE $m > 4 \LOG s$ For $s = \binoM{m}{t}$.

MorEOvEr, ONe can comPuTe
{B}_{i}[B]}$ is permutatio nally equi valen t t o $ A_ m^{( t)}$  for some $m \ l eq d $ and $t \leq \frac{m} {2}$wh e re $ m  >  4 \l og s$ f o r$ s  =\b in om{ m} { t} $.

L et$q = |B |$ for som e ( an d thereforee ve ry) $B \in  \m athfrak{B}_\ ell $ andsu ppo s e $q> 1 $. We  showt hat th ere is ase t  $\Ome g a^{*}$, a  $ \ope ratorname{\wideha t {\ G amma}}_d$-grou p $G^{ *} \l e q  \o per atorname{S ym }(\Om e ga^{*}) $ ,t w o  st r ings $\mathfr ak{x}^{*},\ m ath frak{y }^ {*} \ colon\ Omega ^{ * }\r ightarrow\S igma $ and a s equenc e  of par t itions$\{\Om ega ^{* }\}=  \ ma thf ra k {B} _ 0^ {*} \su cc \dots  \ su cc \m athf r a k { B}_k ^{* }$ o f the  set $\Omega^ {*} $ an d  na tural  numb ers$b ,p$ w ith $b  > 1$  a nd $b \cdot p =  q$such that  th efol lo wingh olds:
1.   \ [item:i \] $|\O m ega ^{ * } |  \ leq n \cdot b^{c_1  \ l o gd + c_2} $,

2.  $ G^ { *}$ is t ra nsi tive , 
3. $\ma t hf rak{B}_i ^{*}$i s$G ^{*}$-i nv ariant  f orall  $i \ i n [k ]$,

4 .  $|B|\leqp $ for all $B \ i n \mathfrak{B } _k ^ { *} $ ,

5 . $\mathfrak{ x} \ c ong_ G \m a th fra k {y}$if an do nl y  if $\mathfrak{x}^{ *}  \cong _{G^{ *}} \mathfrak {y}^{*}$,a n d 

6.  \[ item : vi \ ] for every $i  \in[k]$ and $ B  \in \ma thfra k{B}_{i- 1}^{*}$ i t holds th at
   1 . $ \ le ft(G^{*}\righ t ) _B^{ \m athfrak {B} _{i}^{* }[B ]}$  is  se mi -regular,  or

   2 . $ \l eft (G^{* } \right)_ B^ {\m at hfr ak{B} _ {i}^{* }[B]} $ is  p er m uta tionall y  e q u ival en tto $ A_m ^{ (t)}$  for som e $m \l eq d$ and  $t \leq  \ fr ac{m}{2 }$ where $m >  4  \log s$ f or  $s  = \bi n o m{m}{t}$ .

Moreover, one can co m pute
{B}_{i}[B]}$ is_permutationally equivalent_to $A_m^{(t)}$ for some_$m \leq_d$_and $t_\leq_\frac{m}{2}$ where $m_> 4 \log_s$ for $s =_\binom{m}{t}$.

Let $q =_|B|$_for some (and therefore every) $B \in \mathfrak{B}_\ell$ and suppose $q > 1$. We_show_that there_is_a_set $\Omega^{*}$, a $\operatorname{\widehat{\Gamma}}_d$-group $G^{*}_\leq \operatorname{Sym}(\Omega^{*})$, two strings $\mathfrak{x}^{*},\mathfrak{y}^{*}\colon\Omega^{*}\rightarrow\Sigma$_and a_sequence of partitions $\{\Omega^{*}\} = \mathfrak{B}_0^{*} \succ \dots_\succ_\mathfrak{B}_k^{*}$ of the_set $\Omega^{*}$ and natural numbers $b,p$ with $b >_1$ and $b \cdot p =_q$ such that_the_following_holds:

1.  \[item:i\] $|\Omega^{*}|_\leq n \cdot b^{c_1 \log d_+ c_2}$,

2.  $G^{*}$ is transitive,

3._ $\mathfrak{B}_i^{*}$ is $G^{*}$-invariant for all $i_\in [k]$,

4.  $|B| \leq p$_for all $B \in \mathfrak{B}_k^{*}$,

5._ $\mathfrak{x}_\cong_G \mathfrak{y}$ if and only_if $\mathfrak{x}^{*} \cong_{G^{*}}_\mathfrak{y}^{*}$, and

6._ \[item:vi\] for_every $i \in [k]$ and $B_\in \mathfrak{B}_{i-1}^{*}$ it_holds that

    1.__$\left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$ is semi-regular,_or

__ _2.  $\left(G^{*}\right)_B^{\mathfrak{B}_{i}^{*}[B]}$_is_permutationally equivalent_to_$A_m^{(t)}$ for some $m \leq d$_and_$t \leq \frac{m}{2}$ where $m > 4_\log s$ for $s_=_\binom{m}{t}$.

Moreover, one can compute