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