% Graph with 100 vertices

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