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