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