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