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