graph{ 1--2; 1--3; 1--7; 2--11; 3--4; 3--17; 4--5; 4--8; 4--9; 4--10; 6--11; 7--11; 7--16; 8--14; 9--14; 10--14; 11--16; 12--13; 12--15; 13--18; 13--19; 13--20; 15--18; 15--19; 15--20; 1--11 [style=dotted]; 4--14 [style=dotted]; 7--17 [style=dotted]; 13--15 [style=dotted]; }