0)  \(0) at (-0,0) ; (-0,0) - (-0.00,0.0); (-0,0) - (-0.00,-0.0); (-0.00,0.0) arc (000:000:0.0); (0b) at (-0.00,0) [$S$]{}; (-0,0) node [+]{};  (0,0) - (0.00,0.0); (0,0) - (0.00,-0.0); (0.00,0.0) arc (000:000:0.0); (0b) at (0.00,0) [$S$]{}; (0) at (0,0) ; (0) at (0,0) ; (0) at (0,0) ; (0) at (0,-0) ; (0) at (0,0) ; (0) - (0); (0) to (0); (0) to (0);  ; (00,-0.00) node [${\mathcal{P}}$ by]{}; (00,-0.00) node [$\emptyset \sim_0$