\begin{tikzpicture}[scale=0.45]
	\begin{pgfonlayer}{nodelayer}
		\node [style=none] (256) at (2.5, -6.25) {};
		\node [style=none] (257) at (2.5, -10.25) {};
		\node [style=none] (258) at (2.5, -8.25) {};
		\node [style=none] (259) at (1.75, -7.25) {};
		\node [style=none] (260) at (1.75, -9.25) {};
		\node [style=none] (261) at (6, -4.25) {};
		\node [style=none] (262) at (2.5, -6.25) {};
		\node [style=none] (263) at (6, -8.25) {};
		\node [style=none] (264) at (4.25, -5.25) {};
		\node [style=none] (265) at (6, -6.25) {};
		\node [style=none] (266) at (4.25, -7.25) {};
		\node [style=none] (267) at (5.25, -5.25) {};
		\node [style=none] (268) at (3.5, -6.25) {};
		\node [style=none] (269) at (5.25, -7.25) {};
		\node [style=none] (270) at (3.25, -9.25) {};
		\node [style=none] (271) at (3.25, -7.25) {};
		\node [style=none] (272) at (5, -8.25) {};
		\node [style=none] (273) at (4.25, -9.25) {};
		\node [style=none] (274) at (6, -4.25) {};
		\node [style=none] (275) at (6, -8.25) {};
		\node [style=none] (276) at (6, -6.25) {};
		\node [style=none] (277) at (6, -4.25) {};
		\node [style=none] (278) at (7.75, -5.25) {};
		\node [style=none] (279) at (6.75, -7.25) {};
		\node [style=none] (280) at (6.75, -5.25) {};
		\node [style=none] (281) at (8.5, -6.25) {};
		\node [style=none] (282) at (7.75, -7.25) {};
		\node [style=label-small] (283) at (2.5, -7.25) {1};
		\node [style=label-small] (284) at (2.5, -9.25) {2};
		\node [style=label-small] (285) at (3.75, -8.25) {3};
		\node [style=label-small] (286) at (3.5, -6.75) {4};
		\node [style=label-small] (287) at (4.75, -6.25) {6};
		\node [style=label-small] (288) at (6, -7.25) {8};
		\node [style=label-small] (289) at (5.25, -7.75) {5};
		\node [style=label-small] (290) at (7.25, -6.25) {9};
		\node [style=label-small] (291) at (6, -5.25) {7};
		\node [style=none] (330) at (-14.5, -6.5) {};
		\node [style=none] (331) at (-14.5, -10.5) {};
		\node [style=none] (332) at (-14.5, -8.5) {};
		\node [style=none] (333) at (-15.25, -7.5) {};
		\node [style=none] (334) at (-15.25, -9.5) {};
		\node [style=none] (335) at (-11, -4.5) {};
		\node [style=none] (336) at (-14.5, -6.5) {};
		\node [style=none] (337) at (-11, -8.5) {};
		\node [style=none] (338) at (-12.75, -5.5) {};
		\node [style=none] (339) at (-11, -6.5) {};
		\node [style=none] (340) at (-12.75, -7.5) {};
		\node [style=none] (341) at (-11.75, -5.5) {};
		\node [style=none] (342) at (-13.5, -6.5) {};
		\node [style=none] (343) at (-11.75, -7.5) {};
		\node [style=none] (344) at (-13.75, -9.5) {};
		\node [style=none] (345) at (-13.75, -7.5) {};
		\node [style=none] (346) at (-12, -8.5) {};
		\node [style=none] (347) at (-12.75, -9.5) {};
		\node [style=none] (348) at (-11, -4.5) {};
		\node [style=none] (349) at (-11, -8.5) {};
		\node [style=none] (350) at (-11, -6.5) {};
		\node [style=none] (351) at (-11, -4.5) {};
		\node [style=none] (352) at (-9.25, -5.5) {};
		\node [style=none] (353) at (-10.25, -7.5) {};
		\node [style=none] (354) at (-10.25, -5.5) {};
		\node [style=none] (355) at (-8.5, -6.5) {};
		\node [style=none] (356) at (-9.25, -7.5) {};
		\node [style=label-small] (357) at (-14.5, -7.5) {1};
		\node [style=label-small] (358) at (-14.5, -9.5) {2};
		\node [style=label-small] (359) at (-13.25, -8.5) {3};
		\node [style=label-small] (360) at (-13.5, -7) {4};
		\node [style=label-small] (361) at (-12.25, -6.5) {6};
		\node [style=label-small] (362) at (-11, -7.5) {8};
		\node [style=label-small] (363) at (-11.75, -8) {5};
		\node [style=label-small] (364) at (-9.75, -6.5) {9};
		\node [style=label-small] (365) at (-11, -5.5) {7};
		\node [style=none] (366) at (-5.75, -6.5) {};
		\node [style=none] (367) at (-5.75, -10.5) {};
		\node [style=none] (368) at (-5.75, -8.5) {};
		\node [style=none] (369) at (-6.5, -7.5) {};
		\node [style=none] (370) at (-6.5, -9.5) {};
		\node [style=none] (371) at (-2.25, -4.5) {};
		\node [style=none] (372) at (-5.75, -6.5) {};
		\node [style=none] (373) at (-2.25, -8.5) {};
		\node [style=none] (374) at (-4, -5.5) {};
		\node [style=none] (375) at (-2.25, -6.5) {};
		\node [style=none] (376) at (-4, -7.5) {};
		\node [style=none] (377) at (-3, -5.5) {};
		\node [style=none] (378) at (-4.75, -6.5) {};
		\node [style=none] (379) at (-3, -7.5) {};
		\node [style=none] (380) at (-5, -9.5) {};
		\node [style=none] (381) at (-5, -7.5) {};
		\node [style=none] (382) at (-3.25, -8.5) {};
		\node [style=none] (383) at (-4, -9.5) {};
		\node [style=none] (384) at (-2.25, -4.5) {};
		\node [style=none] (385) at (-2.25, -8.5) {};
		\node [style=none] (386) at (-2.25, -6.5) {};
		\node [style=none] (387) at (-2.25, -4.5) {};
		\node [style=none] (388) at (-0.5, -5.5) {};
		\node [style=none] (389) at (-1.5, -7.5) {};
		\node [style=none] (390) at (-1.5, -5.5) {};
		\node [style=none] (391) at (0.25, -6.5) {};
		\node [style=none] (392) at (-0.5, -7.5) {};
		\node [style=label-small] (393) at (-5.75, -7.5) {1};
		\node [style=label-small] (394) at (-5.75, -9.5) {2};
		\node [style=label-small] (395) at (-4.5, -8.5) {3};
		\node [style=label-small] (396) at (-4.75, -7) {4};
		\node [style=label-small] (397) at (-3.5, -6.5) {6};
		\node [style=label-small] (398) at (-2.25, -7.5) {8};
		\node [style=label-small] (399) at (-3, -8) {5};
		\node [style=label-small] (400) at (-1, -6.5) {9};
		\node [style=label-small] (401) at (-2.25, -5.5) {7};
		\node [style=none] (402) at (-8, -7.75) {$\cup$};
		\node [style=none] (403) at (1, -7.75) {$=$};
		\node [style=none] (404) at (-12, -11) {$M_0$};
		\node [style=none] (405) at (-3, -11) {$M$};
		\node [style=none] (406) at (5.75, -11) {$\overline{M}$};
	\end{pgfonlayer}
	\begin{pgfonlayer}{edgelayer}
		\draw [style=orange] (259.center) to (256.center);
		\draw [style=orange] (259.center) to (258.center);
		\draw [style=single edge] (260.center) to (258.center);
		\draw [style=single edge] (260.center) to (257.center);
		\draw [style=single edge] (267.center) to (261.center);
		\draw [style=orange] (267.center) to (264.center);
		\draw [style=single edge] (267.center) to (265.center);
		\draw [style=single edge] (269.center) to (265.center);
		\draw [style=single edge] (269.center) to (266.center);
		\draw [style=orange] (269.center) to (263.center);
		\draw [style=orange] (264.center) to (268.center);
		\draw [style=orange] (268.center) to (266.center);
		\draw [style=orange] (268.center) to (262.center);
		\draw [style=orange] (262.center) to (271.center);
		\draw [style=single edge] (271.center) to (258.center);
		\draw [style=orange] (258.center) to (270.center);
		\draw [style=single edge] (270.center) to (257.center);
		\draw [style=single edge] (271.center) to (266.center);
		\draw [style=single edge] (270.center) to (273.center);
		\draw [style=single edge] (273.center) to (272.center);
		\draw [style=orange] (266.center) to (272.center);
		\draw [style=single edge] (272.center) to (263.center);
		\draw [style=single edge] (277.center) to (280.center);
		\draw [style=orange] (280.center) to (276.center);
		\draw [style=orange] (276.center) to (279.center);
		\draw [style=single edge] (279.center) to (275.center);
		\draw [style=single edge] (280.center) to (278.center);
		\draw [style=single edge] (279.center) to (282.center);
		\draw [style=single edge] (282.center) to (281.center);
		\draw [style=single edge] (278.center) to (281.center);
		\draw [style=double edge] (259.center) to (262.center);
		\draw [style=double edge] (264.center) to (268.center);
		\draw [style=orange] (333.center) to (330.center);
		\draw [style=orange] (333.center) to (332.center);
		\draw [style=single edge] (334.center) to (332.center);
		\draw [style=orange] (334.center) to (331.center);
		\draw [style=single edge] (341.center) to (335.center);
		\draw [style=orange] (341.center) to (338.center);
		\draw [style=orange] (341.center) to (339.center);
		\draw [style=single edge] (343.center) to (339.center);
		\draw [style=orange] (343.center) to (340.center);
		\draw [style=orange] (343.center) to (337.center);
		\draw [style=orange] (338.center) to (342.center);
		\draw [style=orange] (342.center) to (340.center);
		\draw [style=orange] (342.center) to (336.center);
		\draw [style=orange] (336.center) to (345.center);
		\draw [style=orange] (345.center) to (332.center);
		\draw [style=orange] (332.center) to (344.center);
		\draw [style=single edge] (344.center) to (331.center);
		\draw [style=single edge] (345.center) to (340.center);
		\draw [style=orange] (344.center) to (347.center);
		\draw [style=single edge] (347.center) to (346.center);
		\draw [style=orange] (340.center) to (346.center);
		\draw [style=orange] (346.center) to (337.center);
		\draw [style=orange] (351.center) to (354.center);
		\draw [style=orange] (354.center) to (350.center);
		\draw [style=orange] (350.center) to (353.center);
		\draw [style=single edge] (353.center) to (349.center);
		\draw [style=single edge] (354.center) to (352.center);
		\draw [style=orange] (353.center) to (356.center);
		\draw [style=single edge] (356.center) to (355.center);
		\draw [style=orange] (352.center) to (355.center);
		\draw [style=single edge] (333.center) to (336.center);
		\draw [style=single edge] (338.center) to (342.center);
		\draw [style=orange] (369.center) to (366.center);
		\draw [style=orange] (369.center) to (368.center);
		\draw [style=orange] (370.center) to (368.center);
		\draw [style=single edge] (370.center) to (367.center);
		\draw [style=orange] (377.center) to (371.center);
		\draw [style=orange] (377.center) to (374.center);
		\draw [style=single edge] (377.center) to (375.center);
		\draw [style=orange] (379.center) to (375.center);
		\draw [style=single edge] (379.center) to (376.center);
		\draw [style=orange] (379.center) to (373.center);
		\draw [style=orange] (374.center) to (378.center);
		\draw [style=orange] (378.center) to (376.center);
		\draw [style=orange] (378.center) to (372.center);
		\draw [style=orange] (372.center) to (381.center);
		\draw [style=single edge] (381.center) to (368.center);
		\draw [style=orange] (368.center) to (380.center);
		\draw [style=orange] (380.center) to (367.center);
		\draw [style=orange] (381.center) to (376.center);
		\draw [style=single edge] (380.center) to (383.center);
		\draw [style=orange] (383.center) to (382.center);
		\draw [style=orange] (376.center) to (382.center);
		\draw [style=single edge] (382.center) to (373.center);
		\draw [style=single edge] (387.center) to (390.center);
		\draw [style=orange] (390.center) to (386.center);
		\draw [style=orange] (386.center) to (389.center);
		\draw [style=orange] (389.center) to (385.center);
		\draw [style=orange] (390.center) to (388.center);
		\draw [style=single edge] (389.center) to (392.center);
		\draw [style=orange] (392.center) to (391.center);
		\draw [style=single edge] (388.center) to (391.center);
		\draw [style=single edge] (369.center) to (372.center);
		\draw [style=single edge] (374.center) to (378.center);
	\end{pgfonlayer}
\end{tikzpicture}
