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