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