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