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