}$, $M_{1,3,4}$. After Iteration 2, for every ${\ell}_2\in
    V_{{\ell}_1}^{\D_{{\ell}_1}}$, the set $V_{{\ell}_2}^{\D_{{\ell}_1,{\ell}_2}}$ is empty, so that the algorithm stops.

Step 1 of the algorithm stops at time $m$ for the first time, if it hasn’t stopped at time $m-1$, and if for every ${\ell}_{2}\in
V_{{\ell}_{1}}^{\D_{{\ell}_1}},\dots,
{\ell}_{m}\in
V_{{\ell}_{m-1}}^{\D_{{\ell}_1,\dots,{\ell}_{m-1}}}$; $V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}}=\emptyset$. This implies in particular that $(V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}})^c=V_{{\ell}_m}$. Since the number of doubled edges decreases by $1$ every time an iteration of the algorithm occurs, and since the number of doubled edges in $\D$ is finite, we are sure that Step 1 of the algorithm stops in finite time.

### Output of Step 1, geometric properties of configurations {#sec:output}

The output of Step 1 of the algorithm is the set of configurations $\S_1=\bigcup_{k=0}^{m} {\cal O}_k$. The weight of this set is defined to be $w(\S_1)=\sum_{k=0}^m w({\cal O}_k)$.

If the initial superimposition $M_0\cup M$ consists of cycles only, *i.e.* if the set $\D$ is empty, then $m=0$ and $\S_1=\{M\}$. In all other cases, the set $\S_1$ can be rewritten in a more compact way as: $$\displaystyle \S_1=
\bigcup_{\gamma_{{\ell}_1}\in\Gamma_{{\ell}_1}}M_{\gamma_{{\ell}_1}},$$ where: $$\begin{aligned}
\Gamma_{{\ell}_1}=\Big\{&\gamma_{{\ell}_1}:\,\gamma_{{\ell}_1} \text{ is a path
of length $2k$ for some $k\in\{1,\dots,m\}$}:\,
\gamma_{{\ell}_1}={\ell}_1,{\ell
} $, $ M_{1,3,4}$. After Iteration 2, for every $ { \ell}_2\in 
     V_{{\ell}_1}^{\D_{{\ell}_1}}$, the set $ V_{{\ell}_2}^{\D_{{\ell}_1,{\ell}_2}}$ is empty, so that the algorithm stops. 

 Step 1 of the algorithm stops at meter $ m$ for the inaugural time, if it has n’t stopped at time $ m-1 $, and if for every $ { \ell}_{2}\in 
 V_{{\ell}_{1}}^{\D_{{\ell}_1}},\dots, 
 { \ell}_{m}\in 
 V_{{\ell}_{m-1}}^{\D_{{\ell}_1,\dots,{\ell}_{m-1}}}$; $ V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}}=\emptyset$. This imply in particular that $ (V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}})^c = V_{{\ell}_m}$. Since the number of double edge decreases by $ 1 $ every clock time an iteration of the algorithm occurs, and since the number of double edges in $ \D$ is finite, we are sure that Step 1 of the algorithm stop in finite time. 

 # # # Output of Step 1, geometric properties of configurations { # sec: output } 

 The output of measure 1 of the algorithm is the set of configurations $ \S_1=\bigcup_{k=0}^{m } { \cal O}_k$. The weight of this hardening is defined to be $ w(\S_1)=\sum_{k=0}^m w({\cal O}_k)$. 

 If the initial superimposition $ M_0\cup M$ consists of cycles only, * i.e. * if the put $ \D$ is empty, then $ m=0 $ and $ \S_1=\{M\}$. In all other cases, the set $ \S_1 $ can be rewritten in a more compact direction as: $ $ \displaystyle \S_1= 
 \bigcup_{\gamma_{{\ell}_1}\in\Gamma_{{\ell}_1}}M_{\gamma_{{\ell}_1}},$$ where: $ $ \begin{aligned } 
 \Gamma_{{\ell}_1}=\Big\{&\gamma_{{\ell}_1}:\,\gamma_{{\ell}_1 } \text { is a path 
 of length $ 2k$ for some $ k\in\{1,\dots, m\}$}:\, 
 \gamma_{{\ell}_1}={\ell}_1,{\ell
}$, $M_{1,3,4}$. Wfter Iteration 2, for evevy ${\ell}_2\in
    V_{{\ell}_1}^{\B_{{\wll}_1}}$, thx set $V_{{\sll}_2}^{\D_{{\ell}_1,{\eul}_2}}$ is empty, so that the algocithn stokf.

Step 1 of the algofithm stois at timw $m$ hor the first time, if it hasn’t dtop'ev at time $m-1$, and if for evary ${\ell}_{2}\in
V_{{\ell}_{1}}^{\D_{{\alu}_1}},\dlts,
{\ell}_{m}\in
V_{{\ell}_{m-1}}^{\D_{{\ell}_1,\dots,{\ell}_{m-1}}}$; $V_{{\ell}_{m}}^{\D_{{\elj}_1,\dots,{\elk}_m}}=\fmptyset$. This ymplpef in iavticular that $(V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}})^c=B_{{\ell}_m}$. Spnce the number og doubled edges decreases hy $1$ fvery time an iterwtion of thg aldirithm occurr, and sinct che number kf doubled edges in $\D$ is finite, we axe sure thaj Atfk 1 of the aljorithi stops in flmite thme.

### Outlut of Step 1, gcometcic properties of configucations {#sec:output}

The output ox Atep 1 of the algoeirhm iv tha seg of cohfmgudationd $\S_1=\uigcup_{k=0}^{m} {\cam O}_k$. The weught of this set is dqdined to be $w(\A_1)=\sum_{k=0}^m w({\sal O}_k)$.

If the initial superimposition $M_0\clp M$ consists of cycles onlt, *i.e.* if the set $\D$ is gmpty, then $m=0$ and $\S_1=\{M\}$. In all other cases, the set $\S_1$ can be rewsittei kn c more xolpact way as: $$\displaystyle \S_1=
\bigcup_{\gamma_{{\ell}_1}\in\Gaija_{{\tll}_1}}K_{\gamma_{{\ell}_1}},$$ wherc: $$\begin{aligned}
\Gamms_{{\epl}_1}=\Nyg\{&\gamma_{{\ell}_1}:\,\gamoa_{{\ell}_1} \csxf{ is a path
of lenghh $2k$ fot some $k\in\{1,\dots,m\}$}:\,
\damms_{{\ell}_1}={\ell}_1,{\ell
}$, $M_{1,3,4}$. After Iteration 2, for every the $V_{{\ell}_2}^{\D_{{\ell}_1,{\ell}_2}}$ is so that the the stops at time for the first if it hasn’t stopped at time and if for every ${\ell}_{2}\in V_{{\ell}_{1}}^{\D_{{\ell}_1}},\dots, {\ell}_{m}\in V_{{\ell}_{m-1}}^{\D_{{\ell}_1,\dots,{\ell}_{m-1}}}$; $V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}}=\emptyset$. This implies in particular $(V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}})^c=V_{{\ell}_m}$. Since the number of doubled edges decreases by $1$ every time an of algorithm and the number of doubled edges in $\D$ is finite, we are sure that Step 1 of algorithm stops in finite time. ### Output of 1, geometric properties of {#sec:output} The output of Step of algorithm is set configurations {\cal O}_k$. The of this set is defined to be $w(\S_1)=\sum_{k=0}^m w({\cal O}_k)$. If the initial superimposition $M_0\cup M$ consists cycles only, the set is then and $\S_1=\{M\}$. In cases, the set $\S_1$ can be more compact way as: $$\displaystyle \S_1= \bigcup_{\gamma_{{\ell}_1}\in\Gamma_{{\ell}_1}}M_{\gamma_{{\ell}_1}},$$ where: \Gamma_{{\ell}_1}=\Big\{&\gamma_{{\ell}_1}:\,\gamma_{{\ell}_1} \text{ a path of length $2k$ for $k\in\{1,\dots,m\}$}:\, \gamma_{{\ell}_1}={\ell}_1,{\ell
}$, $M_{1,3,4}$. After Iteration 2, for every ${\elL}_2\in
    V_{{\ell}_1}^{\D_{{\elL}_1}}$, the sEt $V_{{\Ell}_2}^{\d_{{\eLl}_1,{\elL}_2}}$ is eMpty, so that the aLGoriThm stops.

Step 1 of the algorIthm sToPS at tIMe $M$ for tHe first TImE, IF it HaSn’T stOpPEd At timE $m-1$, aNd if for Every ${\ell}_{2}\in
v_{{\elL}_{1}}^{\D_{{\Ell}_1}},\dots,
{\ell}_{m}\iN
v_{{\eLl}_{m-1}}^{\D_{{\ell}_1,\dotS,{\elL}_{m-1}}}$; $V_{{\ell}_{m}}^{\D_{{\ell}_1,\dOts,{\Ell}_m}}=\emPtYseT$. this iMplIes in ParticULar thaT $(V_{{\ell}_{m}}^{\D_{{\elL}_1,\dOTs,{\ell}_m}})^C=v_{{\ell}_m}$. SiNCE tHe nuMber of doubled edgeS DeCReases by $1$ every tIme an iTeRAtION of The Algorithm oCcUrs, anD Since thE NuMBER of DOubled edges in $\d$ is finite, we ARe sUre thaT STep 1 OF the alGoritHm STopS in finite tiMe.

### OuTput of SteP 1, geomeTRic propERties of ConfigUraTioNs {#seC:OuTpUt}

THe OUtpUT oF StEP 1 of The algorItHm Is the Set oF CONFiguRatIons $\s_1=\bigcUp_{k=0}^{m} {\cal O}_k$. The wEigHt of THis Set is DefinEd to Be $W(\S_1)=\sum_{K=0}^m w({\cal o}_k)$.

If tHe Initial superimpOsitIon $M_0\cup M$ cOnsIsTs oF cYcles ONly, *i.e.* iF thE seT $\D$ is empTy, then $m=0$ ANd $\S_1=\{m\}$. IN ALL oTher cases, the set $\S_1$ caN bE REwRitten in A more cOMpAcT Way as: $$\disPlAysTyle \s_1=
\BIgcup_{\GammA_{{\ElL}_1}\in\Gamma_{{\Ell}_1}}M_{\gaMMa_{{\ElL}_1}},$$ where: $$\bEgIn{aligNeD}
\GaMma_{{\Ell}_1}=\BiG\{&\GammA_{{\ell}_1}:\,\gaMma_{{\ell}_1} \teXt{ is a PAth
of length $2k$ foR Some $k\in\{1,\dots,m\}$}:\,
\gAMmA_{{\ELl}_1}={\ELl}_1,{\elL
}$, $M_{1,3,4}$. After Ite ration 2,for e ver y $ {\ ell} _2\i n
    V_{{\ell } _1}^ {\D_{{\ell}_1}}$, theset $ V_ { {\el l }_ 2}^{\ D_{{\el l }_ 1 , {\e ll }_ 2}} $i sempty , s o thatthe algori thm  s tops.

Step1  o f the algo rit hm stops attim e $m$fo r t h e fir sttime,  if it hasn’t  stoppedat time $ m -1$, an d if  for  every ${\ell}_{2 } \i n 
V_{{\ell}_{1} }^{\D_ {{ \ el l } _1} },\ dots,
{\el l} _{m}\ i n
V_{{\ e ll } _ { m-1 } }^{\D_{{\ell} _1,\dots,{\ e ll} _{m-1} }} $;$ V_{{\e ll}_{ m} } ^{\ D_{{\ell}_1 ,\do ts,{\ell} _m}}=\ e mptyset $ . Thisimplie s i n p arti c ul ar  th at $(V _ {{ \el l }_{ m}}^{\D_ {{ \e ll}_1 ,\do t s , { \ell }_m }})^ c=V_{ {\ell}_m}$. S inc e th e  nu mberof do uble dedges  decre asesby  $1$ every time  aniteration  of  t heal gorit h m occu rs,  an d since  the nu m ber  o f d ou bled edges in $\D$  i s fi nite, we  are s u re  t h at Step1ofthea l gorit hm s t op s in fin ite ti m e. 
### Out pu t of S te p 1 , g eomet r ic p ropert ies of c onfig u rations {#sec: o utput}

The o u tp u t  o f  Ste p 1  of the alg orit h m is  the se t o f  conf igura ti o ns $\S_1=\bigcup_{k=0} ^{ m} {\c al O} _k$. The weig ht of this s e t is def ined to be $w(\S_1)=\s um_{k =0}^m w({\ c al O}_k) $.

I f the in itial sup e r impositi on$M_ 0\c upM $  c onsists of cy c l es o nl y, *i.e .*if theset  $\ D$isem pty, then  $m=0$ a nd  $ \S _1 =\{ M\}$. In all o th erca ses , the set $\ S_1$canbe  r e wri tten in am o re c om pa ct w ayas : $$\ disp l ays tyle \S _1=
\bigc up_ { \gam ma _{ {\ell}_ 1}\in\Gamma_{ {\ ell}_1}}M_ {\ gam ma_{{\ e l l}_1}},$ $ where: $$\begin{align e d}
\Gam ma_ {{\el l}_1 }=\Big\{& \ga mma_{{ \el l }_1}:\ ,\gamm a_{{\ el l}_ 1 }  \tex t {  i s a  p ath
of len g t h $ 2k$ f or  som e $k\in \{1,\dots,m\}$}:\, \ga mma_{{\ell}_1 }={ \ell } _ 1, {\e l l
}$, $M_{1,3,4}$._After Iteration_2, for every ${\ell}_2\in
_ __V_{{\ell}_1}^{\D_{{\ell}_1}}$, the_set_$V_{{\ell}_2}^{\D_{{\ell}_1,{\ell}_2}}$ is empty,_so that the_algorithm stops.

Step 1 of_the algorithm stops_at_time $m$ for the first time, if it hasn’t stopped at time $m-1$, and_if_for every_${\ell}_{2}\in
V_{{\ell}_{1}}^{\D_{{\ell}_1}},\dots,
{\ell}_{m}\in
V_{{\ell}_{m-1}}^{\D_{{\ell}_1,\dots,{\ell}_{m-1}}}$;_$V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}}=\emptyset$._This implies in particular that_$(V_{{\ell}_{m}}^{\D_{{\ell}_1,\dots,{\ell}_m}})^c=V_{{\ell}_m}$. Since the number of_doubled edges_decreases by $1$ every time an iteration of_the_algorithm occurs, and_since the number of doubled edges in $\D$ is_finite, we are sure that Step_1 of the_algorithm_stops_in finite time.

### Output_of Step 1, geometric properties of_configurations {#sec:output}

The output of Step 1_of the algorithm is the set of_configurations $\S_1=\bigcup_{k=0}^{m} {\cal O}_k$. The weight_of this set is defined_to be_$w(\S_1)=\sum_{k=0}^m w({\cal O}_k)$.

If the initial_superimposition $M_0\cup M$_consists of_cycles only, *i.e.*_if the set $\D$ is empty,_then $m=0$ and_$\S_1=\{M\}$. In all other cases, the_set_$\S_1$ can be_rewritten_in_a more_compact way as:_$$\displaystyle_\S_1=
\bigcup_{\gamma_{{\ell}_1}\in\Gamma_{{\ell}_1}}M_{\gamma_{{\ell}_1}},$$ where:_$$\begin{aligned}
\Gamma_{{\ell}_1}=\Big\{&\gamma_{{\ell}_1}:\,\gamma_{{\ell}_1}_\text{ is a path
of length $2k$_for_some $k\in\{1,\dots,m\}$}:\,
\gamma_{{\ell}_1}={\ell}_1,{\ell