% add 4 arcs, arc(10,30). arc(30,50). arc(50,70), arc(70,10).
% Does NOT have HCs.

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