]{};

(orig) – (2.25,0) \[-&gt;\] (2.25,0) – (removeOnePod0); (removeOnePod0) – (removeOnePod0B); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playToPod1); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playToPod2); (playToPod1) – (playToPod0); (playToPod2) – (playToPod0); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (removeOnePod21); (removeOnePod21) – (removeOnePod21B); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playToPm); (playToPm) – (playToPmB);

**Case 2 :** $P_2 \sim_1$ [$S_{2,2}$]{}

Figure \[fig:pod1EQUIV1pod22\] shows the possible moves on $P_2$ or [$S_{2,2}$]{}, and the answer leading to a ${\mathcal{P}}$-position (for readability, we write $S$ instead of $\hat{S}$ in the figure).

(orig) at (0,0) [ ]{};

(removeTwoPod1) at (5,0)

\(1) at (-1.1,1) ; (2) at (-2.1,0) ; (2b) at (-3.1,0) ; (2c) at (-3.65,0) [$S$]{}; (-3,0) – (-3.75,0.5); (-3,0) – (-3.75,-0.5); (-3.75,0.5) arc (135:225:0.7); (-1.4,0) node [+]{};

(1,0) – (0.25,0.5); (1,0) – (0.25,-0.5); (0.25,0.5) arc (135:225:0.
] { }; 

 (orig) – (2.25,0) \[-&gt;\ ] (2.25,0) – (removeOnePod0); (removeOnePod0) – (removeOnePod0B); (orig) – (2.25,0) \[-&gt;\ ] (2.25,0) |- (playToPod1); (orig) – (2.25,0) \[-&gt;\ ] (2.25,0) |- (playToPod2); (playToPod1) – (playToPod0); (playToPod2) – (playToPod0); (orig) – (2.25,0) \[-&gt;\ ] (2.25,0) |- (removeOnePod21); (removeOnePod21) – (removeOnePod21B); (orig) – (2.25,0) \[-&gt;\ ] (2.25,0) |- (playToPm); (playToPm) – (playToPmB); 

 * * Case 2 :* * $ P_2 \sim_1 $ [ $ S_{2,2}$ ] { } 

 Figure   \[fig: pod1EQUIV1pod22\ ] shows the possible moves on $ P_2 $ or [ $ S_{2,2}$ ] { }, and the solution go to a $ { \mathcal{P}}$-position (for readability, we write $ S$ alternatively of $ \hat{S}$ in the digit). 

 (orig) at (0,0) [ ] { }; 

 (removeTwoPod1) at (5,0) 

 \(1) at (-1.1,1); (2) at (-2.1,0); (2b) at (-3.1,0); (2c) at (-3.65,0) [ $ S$ ] { }; (-3,0) – (-3.75,0.5); (-3,0) – (-3.75,-0.5); (-3.75,0.5) arc (135:225:0.7); (-1.4,0) node [ + ] { }; 

 (1,0) – (0.25,0.5); (1,0) – (0.25,-0.5); (0.25,0.5) arc (135:225:0.
]{};

(orih) – (2.25,0) \[-&gt;\] (2.25,0) – (removeOnePod0); (reooveOnePod0) – (removeOnePmd0B); (orjg) – (2.25,0) \[-&gt;\] (2.25,0) |- (playToPod1); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playVoPoe2); (platToPod1) – (playToPod0); (playGoPod2) – (plwyToPod0); (irig) – (2.25,0) \[-&gt;\] (2.25,0) |- (removeOnePod21); (remobcOnePmv21) – (removeOnePod21N); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playToPm); (pldyGo'm) – (playToPmB);

**Case 2 :** $P_2 \sim_1$ [$S_{2,2}$]{}

Figure \[fig:[od1EQUIF1pld22\] shows the pjssinje mknew on $P_2$ or [$S_{2,2}$]{}, and the answer lezding tm a ${\mathcal{P}}$-ppsition (for readability, we wrihe $S$ instead of $\hah{S}$ in the fugurq).

(irig) at (0,0) [ ]{};

(reooveTwoPod1) at (5,0)

\(1) at (-1.1,1) ; (2) aj (-2.1,0) ; (2b) at (-3.1,0) ; (2c) at (-3.65,0) [$S$]{}; (-3,0) – (-3.75,0.5); (-3,0) – (-3.75,-0.5); (-3.75,0.5) arc (135:225:0.7); (-1.4,0) vode [+]{};

(1,0) – (0.25,0.5); (1,0) – (0.25,-0.5); (0.25,0.5) arc (135:225:0.
]{}; (orig) – (2.25,0) \[-&gt;\] (2.25,0) – – (orig) – \[-&gt;\] (2.25,0) |- (2.25,0) (playToPod2); (playToPod1) – (playToPod2) – (playToPod0); – (2.25,0) \[-&gt;\] (2.25,0) |- (removeOnePod21); – (removeOnePod21B); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playToPm); (playToPm) – (playToPmB); **Case :** $P_2 \sim_1$ [$S_{2,2}$]{} Figure \[fig:pod1EQUIV1pod22\] shows the possible moves on $P_2$ or and answer to ${\mathcal{P}}$-position (for readability, we write $S$ instead of $\hat{S}$ in the figure). (orig) at (0,0) [ (removeTwoPod1) at (5,0) \(1) at (-1.1,1) ; (2) (-2.1,0) ; (2b) at ; (2c) at (-3.65,0) [$S$]{}; – (-3,0) – (-3.75,0.5) (135:225:0.7); node [+]{}; (1,0) (0.25,0.5); (1,0) – (0.25,-0.5); (0.25,0.5) arc (135:225:0.
]{};

(orig) – (2.25,0) \[-&gt;\] (2.25,0) – (removeOnePod0); (removeONePod0) – (removEOnePOd0B); (OriG) – (2.25,0) \[-&gT;\] (2.25,0) |- (plaYToPOd1); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (playTopOd2); (plAyToPod1) – (playToPod0); (playTopod2) – (plAytOPod0); (ORiG) – (2.25,0) \[-&gt;\] (2.25,0) |- (reMoveOnepOd21); (REMovEONepod21) – (ReMOvEOnePOd21B); (Orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (pLayToPm); (plaYTopm) – (PlayToPmB);

**CasE 2 :** $p_2 \sIm_1$ [$S_{2,2}$]{}

Figure \[fIg:pOd1EQUIV1pod22\] shOws The posSiBle MOves oN $P_2$ oR [$S_{2,2}$]{}, and The ansWEr leadIng to a ${\matHcAL{P}}$-posiTIon (for rEADaBiliTy, we write $S$ instead OF $\hAT{S}$ in the figure).

(oRig) at (0,0) [ ]{};

(rEmOVetWOPoD1) at (5,0)

\(1) At (-1.1,1) ; (2) at (-2.1,0) ; (2b) at (-3.1,0) ; (2c) at (-3.65,0) [$s$]{}; (-3,0) – (-3.75,0.5); (-3,0) – (-3.75,-0.5); (-3.75,0.5) aRc (135:225:0.7); (-1.4,0) nodE [+]{};

(1,0) – (0.25,0.5); (1,0) – (0.25,-0.5); (0.25,0.5) Arc (135:225:0.
]{};

(orig) – (2.25,0) \[ -&gt;\] (2 .25,0 ) –  (r em oveO nePo d0); (removeOn e Pod0 ) – (removeOnePod0B);(orig )–  (2. 2 5, 0) \[ -&gt;\] (2 . 2 5,0 )|-  (p la y To Pod1) ; ( orig) –  (2.25,0)\[- &g t;\] (2.25,0 )  | - (playToP od2 ); (playToPo d1)  – (pl ay ToP o d0);(pl ayToP od2) – (playT oPod0); ( or i g) – ( 2 .25,0)\ [ -& gt;\ ] (2.25,0) |- (re m ov e OnePod21); (re moveOn eP o d2 1 )  –(re moveOnePod 21 B); ( o rig) –( 2. 2 5 , 0)\ [-&gt;\] (2.2 5,0) |- (pl a yTo Pm); ( pl ayT o Pm) –(play To P mB) ;

**Case 2  :**  $P_2 \si m_1$ [ $ S_{2,2} $ ]{}

Fi gure \ [fi g:p od1E Q UI V1 pod 22 \ ] s h ow s t h e p ossiblemo ve s on$P_2 $ o r  [$S _{2 ,2}$ ]{},and the answe r l eadi n g t o a $ {\mat hcal {P }}$-p ositio n (fo rreadability, we  wri te $S$ in ste ad  of  $ \hat{ S }$ inthe  fi gure).
(orig) at(0 , 0 )  [  ]{};

(removeTwoP od 1 )  a t (5,0)
\(1)a t(- 1 .1,1) ;(2 ) a t (- 2 . 1,0); (2 b )at (-3.1 ,0) ;( 2c )at (-3. 65 ,0) [$ S$ ]{} ; ( -3,0) – (- 3.75,0 .5); (-3 ,0) – (-3.75,-0.5);( -3.75,0.5) ar c  ( 1 3 5: 2 25:0 .7) ; (-1.4,0)node [+]{ };
( 1, 0)–  (0.2 5,0.5 ); (1 , 0) – (0.25,-0.5); ( 0. 25,0.5 ) arc  (135:225:0.
]{};

(orig) –_(2.25,0) \[-&gt;\]_(2.25,0) – (removeOnePod0); (removeOnePod0)_– (removeOnePod0B);_(orig)_– (2.25,0)_\[-&gt;\]_(2.25,0) |- (playToPod1);_(orig) – (2.25,0)_\[-&gt;\] (2.25,0) |- (playToPod2);_(playToPod1) – (playToPod0);_(playToPod2)_– (playToPod0); (orig) – (2.25,0) \[-&gt;\] (2.25,0) |- (removeOnePod21); (removeOnePod21) – (removeOnePod21B); (orig) –_(2.25,0)_\[-&gt;\] (2.25,0)_|-_(playToPm);_(playToPm) – (playToPmB);

**Case 2 :**_$P_2 \sim_1$ [$S_{2,2}$]{}

Figure \[fig:pod1EQUIV1pod22\] shows the_possible moves_on $P_2$ or [$S_{2,2}$]{}, and the answer leading_to_a ${\mathcal{P}}$-position (for_readability, we write $S$ instead of $\hat{S}$ in the_figure).

(orig) at (0,0) [ ]{};

(removeTwoPod1) at_(5,0)

\(1) at (-1.1,1)_;_(2)_at (-2.1,0) ; (2b)_at (-3.1,0) ; (2c) at (-3.65,0)_[$S$]{}; (-3,0) – (-3.75,0.5); (-3,0) –_(-3.75,-0.5); (-3.75,0.5) arc (135:225:0.7); (-1.4,0) node [+]{};

(1,0)_– (0.25,0.5); (1,0) – (0.25,-0.5); (0.25,0.5)_arc (135:225:0.