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