% Graph with 75 vertices

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