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