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