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