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