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