vertex(0).
vertex(1).
vertex(2).
vertex(3).
vertex(4).
vertex(5).
vertex(6).
vertex(7).
vertex(8).
vertex(9).
vertex(10).
vertex(11).
vertex(12).
vertex(13).
vertex(14).
vertex(15).
vertex(16).
vertex(17).
vertex(18).
vertex(19).
vertex(20).
vertex(21).
vertex(22).
vertex(23).
vertex(24).
vertex(25).
vertex(26).
vertex(27).
vertex(28).
vertex(29).
vertex(30).
vertex(31).
vertex(32).
vertex(33).
vertex(34).
vertex(35).
vertex(36).
vertex(37).
vertex(38).
vertex(39).
arc(35, 6).
arc(0, 3).
arc(29, 2).
arc(16, 7).
arc(25, 18).
arc(14, 37).
arc(21, 9).
arc(34, 22).
arc(12, 37).
arc(23, 38).
arc(28, 31).
arc(21, 18).
arc(11, 31).
arc(15, 26).
arc(20, 5).
arc(9, 23).
arc(22, 15).
arc(39, 11).
arc(15, 38).
arc(30, 11).
arc(19, 7).
arc(19, 30).
arc(15, 2).
arc(37, 26).
arc(3, 36).
arc(20, 11).
arc(27, 5).
arc(38, 10).
arc(4, 33).
arc(13, 31).
arc(15, 39).
arc(2, 31).
arc(15, 11).
arc(23, 3).
arc(26, 35).
arc(16, 22).
arc(33, 36).
arc(8, 20).
arc(24, 3).
arc(18, 19).
arc(36, 2).
arc(38, 20).
arc(23, 24).
arc(15, 6).
arc(22, 23).
arc(4, 36).
arc(9, 31).
arc(22, 33).
arc(25, 3).
arc(14, 34).
arc(39, 8).
arc(12, 2).
arc(28, 9).
arc(0, 11).
arc(2, 18).
arc(16, 7).
arc(14, 17).
arc(9, 25).
arc(26, 36).
arc(23, 18).
arc(3, 14).
arc(13, 37).
arc(8, 25).
arc(28, 2).
arc(37, 27).
arc(3, 27).
arc(2, 25).
arc(10, 0).
arc(24, 4).
arc(23, 26).
arc(37, 29).
arc(5, 17).
arc(19, 17).
arc(32, 39).
arc(13, 37).
arc(25, 17).
arc(4, 25).
arc(9, 1).
arc(15, 5).
arc(2, 28).
arc(19, 8).
arc(5, 6).
arc(3, 28).
arc(30, 9).
arc(18, 29).
arc(37, 11).
arc(7, 38).
arc(20, 2).
arc(8, 1).
arc(19, 5).
arc(1, 13).
arc(0, 25).
arc(16, 24).
arc(33, 26).
arc(18, 35).
arc(18, 24).
arc(0, 31).
arc(20, 13).
arc(31, 27).
arc(11, 15).
arc(26, 18).
arc(6, 18).
arc(0, 7).
arc(21, 19).
arc(37, 33).
arc(9, 36).
arc(11, 28).
arc(26, 20).
arc(9, 2).
arc(19, 2).
arc(2, 20).
arc(10, 29).
arc(31, 4).
arc(18, 31).
arc(8, 21).
arc(13, 5).
arc(34, 9).
arc(38, 19).
arc(28, 26).
arc(18, 11).
arc(15, 9).
arc(21, 20).
arc(32, 18).
arc(35, 34).
arc(7, 13).
arc(13, 10).
arc(20, 10).
arc(0, 25).
arc(31, 4).
arc(20, 17).
arc(20, 18).
arc(26, 12).
arc(9, 13).
arc(35, 36).
arc(7, 29).
arc(7, 8).
arc(18, 2).
arc(28, 30).
arc(33, 4).
arc(27, 0).
arc(27, 33).
arc(24, 34).
arc(11, 29).
arc(18, 28).
arc(15, 18).
arc(0, 31).
arc(10, 39).
arc(9, 0).
arc(21, 17).
arc(32, 15).
arc(14, 32).
arc(4, 32).
arc(39, 35).
arc(21, 33).
arc(25, 32).
arc(30, 9).
arc(7, 25).
arc(4, 11).
arc(27, 7).
arc(18, 37).
arc(1, 24).
arc(2, 11).
arc(21, 32).
arc(36, 18).
arc(28, 9).
arc(14, 21).
arc(29, 26).
arc(23, 1).
arc(38, 17).
arc(36, 2).
arc(38, 8).
arc(38, 2).
arc(31, 32).
arc(10, 21).
arc(7, 16).
arc(30, 38).
arc(35, 20).
arc(12, 22).
arc(2, 30).
arc(0, 25).
arc(18, 37).
arc(33, 2).
arc(5, 8).
arc(2, 16).
arc(25, 17).
arc(22, 31).
arc(18, 2).
arc(29, 6).
arc(8, 32).
arc(33, 17).
arc(14, 15).
arc(28, 6).
arc(29, 9).
arc(10, 1).
arc(15, 32).
arc(29, 22).
arc(2, 27).
arc(21, 25).
arc(13, 10).
arc(31, 3).
arc(11, 22).
arc(29, 12).
arc(26, 37).
arc(3, 7).
arc(24, 22).
arc(14, 8).
arc(11, 1).
arc(5, 30).
arc(5, 12).
arc(29, 17).
arc(8, 37).
arc(30, 18).
arc(7, 18).
arc(39, 5).
arc(33, 18).
arc(33, 7).
arc(4, 25).
arc(38, 15).
arc(21, 38).
arc(8, 22).
arc(26, 13).
arc(33, 22).
arc(3, 35).
arc(14, 4).
arc(12, 38).
arc(2, 29).
arc(36, 8).
arc(36, 10).
arc(34, 31).
arc(8, 35).
arc(4, 13).
arc(15, 5).
arc(8, 32).
arc(14, 35).
arc(7, 33).
arc(6, 29).
arc(4, 21).
arc(16, 3).
arc(24, 38).
arc(22, 8).
arc(26, 39).
arc(34, 31).
arc(9, 17).
arc(0, 22).
arc(26, 32).
arc(27, 29).
arc(16, 5).
arc(32, 37).
arc(15, 26).
arc(36, 16).
arc(6, 39).
arc(6, 28).
arc(8, 31).
arc(28, 39).
arc(33, 25).
arc(39, 34).
arc(5, 13).
arc(18, 30).
arc(31, 16).
arc(30, 33).
arc(12, 33).
arc(29, 15).
arc(9, 15).
arc(1, 6).
arc(4, 7).
arc(16, 3).
arc(12, 18).
arc(13, 18).
arc(38, 13).
arc(15, 26).
arc(29, 0).
arc(11, 33).
arc(27, 24).
arc(2, 34).
arc(26, 28).
arc(10, 25).
arc(0, 26).
arc(38, 2).
arc(6, 0).
arc(29, 21).
arc(32, 2).
arc(27, 10).
arc(34, 22).
arc(34, 4).
arc(31, 25).
arc(22, 8).
arc(9, 7).
arc(35, 1).
arc(31, 29).
arc(7, 18).
arc(25, 15).
arc(31, 11).