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