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