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).
vertex(40).
vertex(41).
vertex(42).
vertex(43).
vertex(44).
vertex(45).
vertex(46).
vertex(47).
vertex(48).
vertex(49).
vertex(50).
vertex(51).
vertex(52).
vertex(53).
vertex(54).
vertex(55).
vertex(56).
vertex(57).
vertex(58).
vertex(59).
arc(50, 37).
arc(38, 13).
arc(0, 56).
arc(37, 41).
arc(14, 56).
arc(34, 56).
arc(10, 16).
arc(12, 31).
arc(40, 23).
arc(10, 6).
arc(3, 56).
arc(30, 24).
arc(51, 9).
arc(26, 30).
arc(8, 7).
arc(8, 31).
arc(56, 28).
arc(56, 43).
arc(23, 20).
arc(37, 4).
arc(59, 22).
arc(23, 1).
arc(11, 5).
arc(47, 42).
arc(59, 50).
arc(21, 3).
arc(4, 24).
arc(42, 4).
arc(41, 38).
arc(10, 53).
arc(13, 20).
arc(45, 57).
arc(16, 36).
arc(13, 46).
arc(7, 51).
arc(11, 54).
arc(19, 59).
arc(32, 52).
arc(17, 56).
arc(33, 13).
arc(8, 1).
arc(27, 37).
arc(21, 8).
arc(52, 2).
arc(6, 9).
arc(20, 30).
arc(32, 35).
arc(6, 41).
arc(56, 40).
arc(45, 4).
arc(44, 54).
arc(51, 19).
arc(23, 34).
arc(55, 53).
arc(55, 56).
arc(19, 42).
arc(47, 1).
arc(12, 55).
arc(26, 24).
arc(6, 7).
arc(18, 57).
arc(49, 47).
arc(43, 41).
arc(36, 3).
arc(36, 0).
arc(25, 4).
arc(18, 9).
arc(35, 13).
arc(58, 27).
arc(57, 48).
arc(39, 26).
arc(7, 12).
arc(52, 27).
arc(6, 33).
arc(10, 27).
arc(49, 43).
arc(13, 5).
arc(52, 26).
arc(6, 48).
arc(31, 58).
arc(42, 18).
arc(8, 3).
arc(1, 5).
arc(31, 54).
arc(56, 46).
arc(7, 23).
arc(4, 47).
arc(26, 2).
arc(7, 18).
arc(14, 33).
arc(30, 18).
arc(1, 31).
arc(23, 45).
arc(33, 21).
arc(23, 38).
arc(32, 21).
arc(27, 16).
arc(34, 10).
arc(27, 29).
arc(33, 30).
arc(33, 44).
arc(41, 39).
arc(7, 1).
arc(39, 48).
arc(38, 33).
arc(12, 13).
arc(13, 48).
arc(30, 21).
arc(8, 22).
arc(10, 1).
arc(13, 53).
arc(23, 52).
arc(53, 30).
arc(14, 44).
arc(37, 3).
arc(31, 12).
arc(4, 7).
arc(55, 37).
arc(47, 59).
arc(7, 35).
arc(41, 15).
arc(36, 19).
arc(11, 17).
arc(24, 21).
arc(11, 34).
arc(43, 22).
arc(2, 44).
arc(16, 11).
arc(16, 1).
arc(58, 28).
arc(22, 13).
arc(9, 56).
arc(57, 52).
arc(40, 59).
arc(59, 9).
arc(49, 29).
arc(37, 53).
arc(53, 36).
arc(2, 47).
arc(17, 14).
arc(20, 16).
arc(11, 50).
arc(4, 43).
arc(23, 52).
arc(3, 46).
arc(42, 56).
arc(27, 59).
arc(53, 19).
arc(39, 4).
arc(7, 19).
arc(25, 0).
arc(49, 3).
arc(29, 58).
arc(58, 18).
arc(34, 20).
arc(41, 21).
arc(45, 12).
arc(26, 47).
arc(9, 19).
arc(18, 13).
arc(53, 29).
arc(14, 18).
arc(40, 0).
arc(1, 49).
arc(40, 27).
arc(34, 27).
arc(10, 56).
arc(14, 6).
arc(3, 30).
arc(27, 25).
arc(6, 17).
arc(46, 42).
arc(52, 59).
arc(46, 21).
arc(44, 20).
arc(18, 59).
arc(38, 6).
arc(12, 9).
arc(55, 19).
arc(10, 21).
arc(38, 50).
arc(51, 26).
arc(14, 37).
arc(3, 10).
arc(28, 7).
arc(32, 35).
arc(6, 15).
arc(51, 12).
arc(47, 19).
arc(46, 17).
arc(38, 22).
arc(20, 26).
arc(37, 19).
arc(11, 53).
arc(12, 34).
arc(5, 47).
arc(21, 17).
arc(0, 6).
arc(23, 20).
arc(50, 0).
arc(3, 30).
arc(39, 42).
arc(39, 54).
arc(50, 12).
arc(13, 20).
arc(59, 13).
arc(49, 59).
arc(3, 41).
arc(13, 39).
arc(37, 50).
arc(30, 11).
arc(14, 46).
arc(56, 33).
arc(26, 27).
arc(38, 22).
arc(5, 16).
arc(23, 36).
arc(49, 23).
arc(28, 14).
arc(27, 32).
arc(49, 0).
arc(4, 44).
arc(2, 39).
arc(32, 6).
arc(42, 36).
arc(57, 41).
arc(39, 33).
arc(0, 57).
arc(4, 44).
arc(20, 23).
arc(4, 30).
arc(55, 52).
arc(39, 7).
arc(49, 50).
arc(0, 11).
arc(29, 25).
arc(49, 37).
arc(46, 39).
arc(26, 3).
arc(41, 2).
arc(40, 44).
arc(47, 10).
arc(17, 24).
arc(0, 25).
arc(36, 24).
arc(11, 51).
arc(19, 10).
arc(41, 26).
arc(20, 33).
arc(20, 59).
arc(9, 18).
arc(28, 10).
arc(27, 26).
arc(32, 22).
arc(35, 1).
arc(18, 44).
arc(7, 33).
arc(32, 16).
arc(58, 48).
arc(33, 10).
arc(15, 48).
arc(6, 15).
arc(28, 50).
arc(54, 27).
arc(23, 44).
arc(57, 37).
arc(13, 10).
arc(17, 12).
arc(56, 15).
arc(54, 32).
arc(22, 47).
arc(54, 37).
arc(15, 17).
arc(35, 28).
arc(4, 45).
arc(12, 52).
arc(41, 53).
arc(38, 42).
arc(3, 16).
arc(59, 54).
arc(22, 50).
arc(17, 45).
arc(49, 19).
arc(16, 35).
arc(32, 44).
arc(17, 54).
arc(31, 28).
arc(29, 17).
arc(19, 43).
arc(1, 50).
arc(1, 44).
arc(56, 50).
arc(38, 17).
arc(34, 5).
arc(44, 14).