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