#const n=130.
node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
edge(1,5).
edge(5,1).
edge(1,35).
edge(35,1).
edge(1,37).
edge(37,1).
edge(1,44).
edge(44,1).
edge(1,64).
edge(64,1).
edge(1,76).
edge(76,1).
edge(1,78).
edge(78,1).
edge(1,85).
edge(85,1).
edge(1,86).
edge(86,1).
edge(1,88).
edge(88,1).
edge(1,96).
edge(96,1).
edge(1,102).
edge(102,1).
edge(1,114).
edge(114,1).
edge(1,121).
edge(121,1).
edge(1,124).
edge(124,1).
edge(1,125).
edge(125,1).
edge(1,128).
edge(128,1).
edge(1,130).
edge(130,1).
edge(2,6).
edge(6,2).
edge(2,16).
edge(16,2).
edge(2,29).
edge(29,2).
edge(2,33).
edge(33,2).
edge(2,35).
edge(35,2).
edge(2,38).
edge(38,2).
edge(2,79).
edge(79,2).
edge(2,83).
edge(83,2).
edge(2,103).
edge(103,2).
edge(2,122).
edge(122,2).
edge(2,125).
edge(125,2).
edge(2,126).
edge(126,2).
edge(2,129).
edge(129,2).
edge(3,7).
edge(7,3).
edge(3,10).
edge(10,3).
edge(3,26).
edge(26,3).
edge(3,40).
edge(40,3).
edge(3,42).
edge(42,3).
edge(3,55).
edge(55,3).
edge(3,74).
edge(74,3).
edge(3,79).
edge(79,3).
edge(3,90).
edge(90,3).
edge(3,100).
edge(100,3).
edge(3,127).
edge(127,3).
edge(4,8).
edge(8,4).
edge(4,16).
edge(16,4).
edge(4,17).
edge(17,4).
edge(4,28).
edge(28,4).
edge(4,31).
edge(31,4).
edge(4,35).
edge(35,4).
edge(4,43).
edge(43,4).
edge(4,54).
edge(54,4).
edge(4,57).
edge(57,4).
edge(4,77).
edge(77,4).
edge(4,82).
edge(82,4).
edge(4,87).
edge(87,4).
edge(4,91).
edge(91,4).
edge(4,92).
edge(92,4).
edge(4,124).
edge(124,4).
edge(5,15).
edge(15,5).
edge(5,19).
edge(19,5).
edge(5,28).
edge(28,5).
edge(5,31).
edge(31,5).
edge(5,55).
edge(55,5).
edge(5,58).
edge(58,5).
edge(5,93).
edge(93,5).
edge(5,99).
edge(99,5).
edge(5,100).
edge(100,5).
edge(5,113).
edge(113,5).
edge(5,124).
edge(124,5).
edge(5,125).
edge(125,5).
edge(5,126).
edge(126,5).
edge(5,128).
edge(128,5).
edge(5,129).
edge(129,5).
edge(6,30).
edge(30,6).
edge(6,34).
edge(34,6).
edge(6,53).
edge(53,6).
edge(6,70).
edge(70,6).
edge(6,75).
edge(75,6).
edge(6,78).
edge(78,6).
edge(6,85).
edge(85,6).
edge(6,111).
edge(111,6).
edge(6,122).
edge(122,6).
edge(7,18).
edge(18,7).
edge(7,29).
edge(29,7).
edge(7,60).
edge(60,7).
edge(7,67).
edge(67,7).
edge(7,82).
edge(82,7).
edge(7,88).
edge(88,7).
edge(7,91).
edge(91,7).
edge(7,107).
edge(107,7).
edge(7,122).
edge(122,7).
edge(8,16).
edge(16,8).
edge(8,23).
edge(23,8).
edge(8,27).
edge(27,8).
edge(8,32).
edge(32,8).
edge(8,37).
edge(37,8).
edge(8,47).
edge(47,8).
edge(8,57).
edge(57,8).
edge(8,68).
edge(68,8).
edge(8,75).
edge(75,8).
edge(8,79).
edge(79,8).
edge(8,97).
edge(97,8).
edge(8,107).
edge(107,8).
edge(8,112).
edge(112,8).
edge(8,121).
edge(121,8).
edge(8,125).
edge(125,8).
edge(9,13).
edge(13,9).
edge(9,30).
edge(30,9).
edge(9,50).
edge(50,9).
edge(9,51).
edge(51,9).
edge(9,86).
edge(86,9).
edge(9,99).
edge(99,9).
edge(9,102).
edge(102,9).
edge(9,110).
edge(110,9).
edge(9,116).
edge(116,9).
edge(10,15).
edge(15,10).
edge(10,19).
edge(19,10).
edge(10,24).
edge(24,10).
edge(10,36).
edge(36,10).
edge(10,37).
edge(37,10).
edge(10,47).
edge(47,10).
edge(10,65).
edge(65,10).
edge(10,96).
edge(96,10).
edge(10,98).
edge(98,10).
edge(10,126).
edge(126,10).
edge(11,26).
edge(26,11).
edge(11,27).
edge(27,11).
edge(11,34).
edge(34,11).
edge(11,59).
edge(59,11).
edge(11,71).
edge(71,11).
edge(11,74).
edge(74,11).
edge(11,85).
edge(85,11).
edge(11,110).
edge(110,11).
edge(11,111).
edge(111,11).
edge(11,113).
edge(113,11).
edge(11,115).
edge(115,11).
edge(11,126).
edge(126,11).
edge(11,127).
edge(127,11).
edge(12,18).
edge(18,12).
edge(12,27).
edge(27,12).
edge(12,58).
edge(58,12).
edge(12,60).
edge(60,12).
edge(12,89).
edge(89,12).
edge(12,116).
edge(116,12).
edge(12,129).
edge(129,12).
edge(13,20).
edge(20,13).
edge(13,23).
edge(23,13).
edge(13,27).
edge(27,13).
edge(13,29).
edge(29,13).
edge(13,32).
edge(32,13).
edge(13,59).
edge(59,13).
edge(13,77).
edge(77,13).
edge(13,79).
edge(79,13).
edge(13,81).
edge(81,13).
edge(13,93).
edge(93,13).
edge(13,94).
edge(94,13).
edge(13,104).
edge(104,13).
edge(13,111).
edge(111,13).
edge(13,112).
edge(112,13).
edge(13,121).
edge(121,13).
edge(13,124).
edge(124,13).
edge(13,125).
edge(125,13).
edge(13,130).
edge(130,13).
edge(14,37).
edge(37,14).
edge(14,43).
edge(43,14).
edge(14,46).
edge(46,14).
edge(14,51).
edge(51,14).
edge(14,54).
edge(54,14).
edge(14,72).
edge(72,14).
edge(14,81).
edge(81,14).
edge(14,87).
edge(87,14).
edge(15,44).
edge(44,15).
edge(15,58).
edge(58,15).
edge(15,69).
edge(69,15).
edge(15,75).
edge(75,15).
edge(15,103).
edge(103,15).
edge(15,104).
edge(104,15).
edge(15,111).
edge(111,15).
edge(15,129).
edge(129,15).
edge(16,32).
edge(32,16).
edge(16,40).
edge(40,16).
edge(16,42).
edge(42,16).
edge(16,74).
edge(74,16).
edge(16,82).
edge(82,16).
edge(16,90).
edge(90,16).
edge(16,110).
edge(110,16).
edge(16,123).
edge(123,16).
edge(17,21).
edge(21,17).
edge(17,31).
edge(31,17).
edge(17,32).
edge(32,17).
edge(17,42).
edge(42,17).
edge(17,46).
edge(46,17).
edge(17,50).
edge(50,17).
edge(17,58).
edge(58,17).
edge(17,63).
edge(63,17).
edge(17,81).
edge(81,17).
edge(17,87).
edge(87,17).
edge(17,108).
edge(108,17).
edge(17,109).
edge(109,17).
edge(17,110).
edge(110,17).
edge(17,126).
edge(126,17).
edge(17,129).
edge(129,17).
edge(18,26).
edge(26,18).
edge(18,32).
edge(32,18).
edge(18,42).
edge(42,18).
edge(18,62).
edge(62,18).
edge(18,68).
edge(68,18).
edge(18,76).
edge(76,18).
edge(18,77).
edge(77,18).
edge(18,82).
edge(82,18).
edge(18,84).
edge(84,18).
edge(18,92).
edge(92,18).
edge(18,94).
edge(94,18).
edge(18,95).
edge(95,18).
edge(18,117).
edge(117,18).
edge(19,31).
edge(31,19).
edge(19,45).
edge(45,19).
edge(19,51).
edge(51,19).
edge(19,72).
edge(72,19).
edge(19,91).
edge(91,19).
edge(19,102).
edge(102,19).
edge(19,105).
edge(105,19).
edge(19,112).
edge(112,19).
edge(19,116).
edge(116,19).
edge(19,119).
edge(119,19).
edge(19,122).
edge(122,19).
edge(19,124).
edge(124,19).
edge(20,21).
edge(21,20).
edge(20,41).
edge(41,20).
edge(20,51).
edge(51,20).
edge(20,68).
edge(68,20).
edge(20,80).
edge(80,20).
edge(20,86).
edge(86,20).
edge(20,95).
edge(95,20).
edge(20,109).
edge(109,20).
edge(20,116).
edge(116,20).
edge(20,129).
edge(129,20).
edge(21,23).
edge(23,21).
edge(21,27).
edge(27,21).
edge(21,38).
edge(38,21).
edge(21,58).
edge(58,21).
edge(21,59).
edge(59,21).
edge(21,91).
edge(91,21).
edge(21,101).
edge(101,21).
edge(21,109).
edge(109,21).
edge(21,117).
edge(117,21).
edge(22,24).
edge(24,22).
edge(22,49).
edge(49,22).
edge(22,62).
edge(62,22).
edge(22,77).
edge(77,22).
edge(22,83).
edge(83,22).
edge(23,25).
edge(25,23).
edge(23,33).
edge(33,23).
edge(23,50).
edge(50,23).
edge(23,52).
edge(52,23).
edge(23,58).
edge(58,23).
edge(23,69).
edge(69,23).
edge(23,79).
edge(79,23).
edge(23,100).
edge(100,23).
edge(23,102).
edge(102,23).
edge(23,106).
edge(106,23).
edge(23,115).
edge(115,23).
edge(23,123).
edge(123,23).
edge(24,30).
edge(30,24).
edge(24,33).
edge(33,24).
edge(24,48).
edge(48,24).
edge(24,93).
edge(93,24).
edge(24,94).
edge(94,24).
edge(24,115).
edge(115,24).
edge(24,117).
edge(117,24).
edge(25,34).
edge(34,25).
edge(25,44).
edge(44,25).
edge(25,78).
edge(78,25).
edge(25,96).
edge(96,25).
edge(25,108).
edge(108,25).
edge(25,109).
edge(109,25).
edge(25,118).
edge(118,25).
edge(26,30).
edge(30,26).
edge(26,41).
edge(41,26).
edge(26,46).
edge(46,26).
edge(26,47).
edge(47,26).
edge(26,53).
edge(53,26).
edge(26,79).
edge(79,26).
edge(26,123).
edge(123,26).
edge(26,129).
edge(129,26).
edge(27,34).
edge(34,27).
edge(27,35).
edge(35,27).
edge(27,48).
edge(48,27).
edge(27,64).
edge(64,27).
edge(27,93).
edge(93,27).
edge(27,112).
edge(112,27).
edge(27,124).
edge(124,27).
edge(28,40).
edge(40,28).
edge(28,45).
edge(45,28).
edge(28,50).
edge(50,28).
edge(28,54).
edge(54,28).
edge(28,87).
edge(87,28).
edge(28,88).
edge(88,28).
edge(28,110).
edge(110,28).
edge(28,115).
edge(115,28).
edge(29,35).
edge(35,29).
edge(29,70).
edge(70,29).
edge(29,77).
edge(77,29).
edge(29,91).
edge(91,29).
edge(29,98).
edge(98,29).
edge(29,101).
edge(101,29).
edge(29,102).
edge(102,29).
edge(29,125).
edge(125,29).
edge(29,126).
edge(126,29).
edge(30,34).
edge(34,30).
edge(30,40).
edge(40,30).
edge(30,42).
edge(42,30).
edge(30,53).
edge(53,30).
edge(30,60).
edge(60,30).
edge(30,67).
edge(67,30).
edge(30,78).
edge(78,30).
edge(30,79).
edge(79,30).
edge(30,83).
edge(83,30).
edge(30,88).
edge(88,30).
edge(30,91).
edge(91,30).
edge(30,97).
edge(97,30).
edge(30,98).
edge(98,30).
edge(30,111).
edge(111,30).
edge(30,112).
edge(112,30).
edge(30,113).
edge(113,30).
edge(30,114).
edge(114,30).
edge(30,128).
edge(128,30).
edge(31,36).
edge(36,31).
edge(31,47).
edge(47,31).
edge(31,49).
edge(49,31).
edge(31,52).
edge(52,31).
edge(31,61).
edge(61,31).
edge(31,79).
edge(79,31).
edge(31,108).
edge(108,31).
edge(31,128).
edge(128,31).
edge(32,42).
edge(42,32).
edge(32,66).
edge(66,32).
edge(32,74).
edge(74,32).
edge(32,85).
edge(85,32).
edge(32,101).
edge(101,32).
edge(32,103).
edge(103,32).
edge(32,118).
edge(118,32).
edge(33,37).
edge(37,33).
edge(33,39).
edge(39,33).
edge(33,46).
edge(46,33).
edge(33,50).
edge(50,33).
edge(33,66).
edge(66,33).
edge(33,80).
edge(80,33).
edge(33,83).
edge(83,33).
edge(33,90).
edge(90,33).
edge(33,97).
edge(97,33).
edge(33,109).
edge(109,33).
edge(33,121).
edge(121,33).
edge(33,125).
edge(125,33).
edge(33,128).
edge(128,33).
edge(34,42).
edge(42,34).
edge(34,57).
edge(57,34).
edge(34,78).
edge(78,34).
edge(34,84).
edge(84,34).
edge(34,86).
edge(86,34).
edge(34,111).
edge(111,34).
edge(34,120).
edge(120,34).
edge(34,125).
edge(125,34).
edge(34,128).
edge(128,34).
edge(35,44).
edge(44,35).
edge(35,45).
edge(45,35).
edge(35,58).
edge(58,35).
edge(35,61).
edge(61,35).
edge(35,63).
edge(63,35).
edge(35,88).
edge(88,35).
edge(35,124).
edge(124,35).
edge(36,39).
edge(39,36).
edge(36,45).
edge(45,36).
edge(36,48).
edge(48,36).
edge(36,53).
edge(53,36).
edge(36,61).
edge(61,36).
edge(36,86).
edge(86,36).
edge(36,102).
edge(102,36).
edge(36,107).
edge(107,36).
edge(36,119).
edge(119,36).
edge(36,128).
edge(128,36).
edge(36,130).
edge(130,36).
edge(37,48).
edge(48,37).
edge(37,53).
edge(53,37).
edge(37,61).
edge(61,37).
edge(37,86).
edge(86,37).
edge(37,101).
edge(101,37).
edge(37,119).
edge(119,37).
edge(37,122).
edge(122,37).
edge(37,129).
edge(129,37).
edge(37,130).
edge(130,37).
edge(38,62).
edge(62,38).
edge(38,68).
edge(68,38).
edge(38,69).
edge(69,38).
edge(38,98).
edge(98,38).
edge(38,103).
edge(103,38).
edge(38,119).
edge(119,38).
edge(39,44).
edge(44,39).
edge(39,53).
edge(53,39).
edge(39,57).
edge(57,39).
edge(39,64).
edge(64,39).
edge(39,69).
edge(69,39).
edge(39,72).
edge(72,39).
edge(39,99).
edge(99,39).
edge(39,103).
edge(103,39).
edge(39,119).
edge(119,39).
edge(39,124).
edge(124,39).
edge(39,125).
edge(125,39).
edge(40,51).
edge(51,40).
edge(40,56).
edge(56,40).
edge(40,62).
edge(62,40).
edge(40,66).
edge(66,40).
edge(40,76).
edge(76,40).
edge(40,85).
edge(85,40).
edge(40,86).
edge(86,40).
edge(40,89).
edge(89,40).
edge(41,83).
edge(83,41).
edge(41,91).
edge(91,41).
edge(42,51).
edge(51,42).
edge(42,63).
edge(63,42).
edge(42,64).
edge(64,42).
edge(42,75).
edge(75,42).
edge(42,89).
edge(89,42).
edge(42,95).
edge(95,42).
edge(42,96).
edge(96,42).
edge(42,103).
edge(103,42).
edge(42,109).
edge(109,42).
edge(42,111).
edge(111,42).
edge(42,117).
edge(117,42).
edge(42,123).
edge(123,42).
edge(43,50).
edge(50,43).
edge(43,73).
edge(73,43).
edge(43,81).
edge(81,43).
edge(43,94).
edge(94,43).
edge(43,96).
edge(96,43).
edge(43,106).
edge(106,43).
edge(43,124).
edge(124,43).
edge(43,129).
edge(129,43).
edge(44,52).
edge(52,44).
edge(44,83).
edge(83,44).
edge(44,114).
edge(114,44).
edge(44,118).
edge(118,44).
edge(44,126).
edge(126,44).
edge(45,48).
edge(48,45).
edge(45,55).
edge(55,45).
edge(45,58).
edge(58,45).
edge(45,71).
edge(71,45).
edge(45,74).
edge(74,45).
edge(45,82).
edge(82,45).
edge(45,87).
edge(87,45).
edge(45,95).
edge(95,45).
edge(45,96).
edge(96,45).
edge(45,108).
edge(108,45).
edge(45,115).
edge(115,45).
edge(45,124).
edge(124,45).
edge(45,130).
edge(130,45).
edge(46,61).
edge(61,46).
edge(46,71).
edge(71,46).
edge(46,80).
edge(80,46).
edge(46,87).
edge(87,46).
edge(46,97).
edge(97,46).
edge(46,108).
edge(108,46).
edge(46,114).
edge(114,46).
edge(46,126).
edge(126,46).
edge(47,71).
edge(71,47).
edge(47,73).
edge(73,47).
edge(47,98).
edge(98,47).
edge(47,100).
edge(100,47).
edge(47,105).
edge(105,47).
edge(48,56).
edge(56,48).
edge(48,59).
edge(59,48).
edge(48,82).
edge(82,48).
edge(48,85).
edge(85,48).
edge(48,88).
edge(88,48).
edge(48,94).
edge(94,48).
edge(48,99).
edge(99,48).
edge(48,100).
edge(100,48).
edge(48,101).
edge(101,48).
edge(48,107).
edge(107,48).
edge(48,109).
edge(109,48).
edge(48,112).
edge(112,48).
edge(49,95).
edge(95,49).
edge(49,97).
edge(97,49).
edge(49,110).
edge(110,49).
edge(49,116).
edge(116,49).
edge(50,53).
edge(53,50).
edge(50,58).
edge(58,50).
edge(50,65).
edge(65,50).
edge(50,118).
edge(118,50).
edge(50,122).
edge(122,50).
edge(51,56).
edge(56,51).
edge(51,71).
edge(71,51).
edge(51,82).
edge(82,51).
edge(51,84).
edge(84,51).
edge(51,98).
edge(98,51).
edge(52,75).
edge(75,52).
edge(52,91).
edge(91,52).
edge(52,97).
edge(97,52).
edge(52,99).
edge(99,52).
edge(52,106).
edge(106,52).
edge(52,115).
edge(115,52).
edge(52,118).
edge(118,52).
edge(52,130).
edge(130,52).
edge(53,76).
edge(76,53).
edge(53,84).
edge(84,53).
edge(53,107).
edge(107,53).
edge(53,122).
edge(122,53).
edge(53,124).
edge(124,53).
edge(54,62).
edge(62,54).
edge(54,63).
edge(63,54).
edge(54,75).
edge(75,54).
edge(54,86).
edge(86,54).
edge(54,92).
edge(92,54).
edge(54,107).
edge(107,54).
edge(54,118).
edge(118,54).
edge(54,119).
edge(119,54).
edge(54,121).
edge(121,54).
edge(55,58).
edge(58,55).
edge(55,67).
edge(67,55).
edge(55,75).
edge(75,55).
edge(55,77).
edge(77,55).
edge(55,79).
edge(79,55).
edge(55,98).
edge(98,55).
edge(55,107).
edge(107,55).
edge(55,118).
edge(118,55).
edge(55,122).
edge(122,55).
edge(55,126).
edge(126,55).
edge(56,72).
edge(72,56).
edge(56,85).
edge(85,56).
edge(56,97).
edge(97,56).
edge(56,114).
edge(114,56).
edge(56,122).
edge(122,56).
edge(56,130).
edge(130,56).
edge(57,78).
edge(78,57).
edge(57,86).
edge(86,57).
edge(57,90).
edge(90,57).
edge(57,93).
edge(93,57).
edge(57,97).
edge(97,57).
edge(57,100).
edge(100,57).
edge(58,64).
edge(64,58).
edge(58,81).
edge(81,58).
edge(58,87).
edge(87,58).
edge(58,105).
edge(105,58).
edge(58,116).
edge(116,58).
edge(58,118).
edge(118,58).
edge(58,126).
edge(126,58).
edge(59,60).
edge(60,59).
edge(59,65).
edge(65,59).
edge(59,73).
edge(73,59).
edge(59,77).
edge(77,59).
edge(59,91).
edge(91,59).
edge(59,97).
edge(97,59).
edge(59,114).
edge(114,59).
edge(59,116).
edge(116,59).
edge(59,117).
edge(117,59).
edge(59,123).
edge(123,59).
edge(59,129).
edge(129,59).
edge(60,73).
edge(73,60).
edge(60,81).
edge(81,60).
edge(60,89).
edge(89,60).
edge(61,63).
edge(63,61).
edge(61,67).
edge(67,61).
edge(61,69).
edge(69,61).
edge(61,72).
edge(72,61).
edge(61,73).
edge(73,61).
edge(61,79).
edge(79,61).
edge(61,80).
edge(80,61).
edge(61,89).
edge(89,61).
edge(61,91).
edge(91,61).
edge(61,116).
edge(116,61).
edge(61,117).
edge(117,61).
edge(62,68).
edge(68,62).
edge(62,85).
edge(85,62).
edge(62,100).
edge(100,62).
edge(62,113).
edge(113,62).
edge(62,128).
edge(128,62).
edge(63,82).
edge(82,63).
edge(63,85).
edge(85,63).
edge(63,97).
edge(97,63).
edge(63,127).
edge(127,63).
edge(64,71).
edge(71,64).
edge(64,76).
edge(76,64).
edge(64,80).
edge(80,64).
edge(64,94).
edge(94,64).
edge(64,96).
edge(96,64).
edge(64,114).
edge(114,64).
edge(64,122).
edge(122,64).
edge(64,130).
edge(130,64).
edge(65,82).
edge(82,65).
edge(65,94).
edge(94,65).
edge(65,101).
edge(101,65).
edge(65,117).
edge(117,65).
edge(66,69).
edge(69,66).
edge(66,70).
edge(70,66).
edge(66,128).
edge(128,66).
edge(67,69).
edge(69,67).
edge(67,78).
edge(78,67).
edge(67,79).
edge(79,67).
edge(67,87).
edge(87,67).
edge(67,103).
edge(103,67).
edge(67,107).
edge(107,67).
edge(67,116).
edge(116,67).
edge(67,120).
edge(120,67).
edge(68,76).
edge(76,68).
edge(68,79).
edge(79,68).
edge(68,88).
edge(88,68).
edge(68,97).
edge(97,68).
edge(68,98).
edge(98,68).
edge(68,101).
edge(101,68).
edge(68,127).
edge(127,68).
edge(69,70).
edge(70,69).
edge(69,81).
edge(81,69).
edge(69,87).
edge(87,69).
edge(69,89).
edge(89,69).
edge(69,104).
edge(104,69).
edge(69,110).
edge(110,69).
edge(69,120).
edge(120,69).
edge(69,121).
edge(121,69).
edge(70,98).
edge(98,70).
edge(70,115).
edge(115,70).
edge(70,124).
edge(124,70).
edge(71,73).
edge(73,71).
edge(71,80).
edge(80,71).
edge(71,85).
edge(85,71).
edge(71,99).
edge(99,71).
edge(71,110).
edge(110,71).
edge(72,77).
edge(77,72).
edge(72,87).
edge(87,72).
edge(72,88).
edge(88,72).
edge(72,92).
edge(92,72).
edge(72,97).
edge(97,72).
edge(72,108).
edge(108,72).
edge(72,111).
edge(111,72).
edge(73,89).
edge(89,73).
edge(73,97).
edge(97,73).
edge(73,98).
edge(98,73).
edge(73,102).
edge(102,73).
edge(73,106).
edge(106,73).
edge(74,76).
edge(76,74).
edge(74,78).
edge(78,74).
edge(74,85).
edge(85,74).
edge(74,89).
edge(89,74).
edge(74,114).
edge(114,74).
edge(74,115).
edge(115,74).
edge(74,116).
edge(116,74).
edge(74,121).
edge(121,74).
edge(74,123).
edge(123,74).
edge(74,124).
edge(124,74).
edge(75,80).
edge(80,75).
edge(75,89).
edge(89,75).
edge(76,77).
edge(77,76).
edge(76,82).
edge(82,76).
edge(76,88).
edge(88,76).
edge(76,125).
edge(125,76).
edge(77,79).
edge(79,77).
edge(77,83).
edge(83,77).
edge(77,89).
edge(89,77).
edge(77,105).
edge(105,77).
edge(78,82).
edge(82,78).
edge(78,90).
edge(90,78).
edge(78,92).
edge(92,78).
edge(78,95).
edge(95,78).
edge(78,117).
edge(117,78).
edge(78,124).
edge(124,78).
edge(78,127).
edge(127,78).
edge(79,95).
edge(95,79).
edge(79,98).
edge(98,79).
edge(79,101).
edge(101,79).
edge(79,113).
edge(113,79).
edge(80,84).
edge(84,80).
edge(80,98).
edge(98,80).
edge(80,118).
edge(118,80).
edge(80,129).
edge(129,80).
edge(81,82).
edge(82,81).
edge(81,87).
edge(87,81).
edge(81,109).
edge(109,81).
edge(81,111).
edge(111,81).
edge(81,115).
edge(115,81).
edge(81,130).
edge(130,81).
edge(82,84).
edge(84,82).
edge(82,97).
edge(97,82).
edge(82,104).
edge(104,82).
edge(82,130).
edge(130,82).
edge(83,86).
edge(86,83).
edge(83,97).
edge(97,83).
edge(83,111).
edge(111,83).
edge(83,116).
edge(116,83).
edge(84,90).
edge(90,84).
edge(84,97).
edge(97,84).
edge(84,100).
edge(100,84).
edge(84,125).
edge(125,84).
edge(85,93).
edge(93,85).
edge(85,97).
edge(97,85).
edge(85,112).
edge(112,85).
edge(85,121).
edge(121,85).
edge(86,87).
edge(87,86).
edge(86,92).
edge(92,86).
edge(86,100).
edge(100,86).
edge(86,113).
edge(113,86).
edge(86,122).
edge(122,86).
edge(86,126).
edge(126,86).
edge(86,128).
edge(128,86).
edge(87,93).
edge(93,87).
edge(87,101).
edge(101,87).
edge(87,104).
edge(104,87).
edge(87,113).
edge(113,87).
edge(87,118).
edge(118,87).
edge(88,100).
edge(100,88).
edge(88,111).
edge(111,88).
edge(89,110).
edge(110,89).
edge(89,113).
edge(113,89).
edge(89,130).
edge(130,89).
edge(90,93).
edge(93,90).
edge(90,105).
edge(105,90).
edge(90,112).
edge(112,90).
edge(90,115).
edge(115,90).
edge(90,118).
edge(118,90).
edge(90,120).
edge(120,90).
edge(91,98).
edge(98,91).
edge(91,105).
edge(105,91).
edge(91,108).
edge(108,91).
edge(91,113).
edge(113,91).
edge(91,118).
edge(118,91).
edge(91,129).
edge(129,91).
edge(92,102).
edge(102,92).
edge(92,107).
edge(107,92).
edge(92,108).
edge(108,92).
edge(92,114).
edge(114,92).
edge(92,118).
edge(118,92).
edge(92,125).
edge(125,92).
edge(93,104).
edge(104,93).
edge(94,96).
edge(96,94).
edge(94,104).
edge(104,94).
edge(94,107).
edge(107,94).
edge(94,114).
edge(114,94).
edge(94,115).
edge(115,94).
edge(95,105).
edge(105,95).
edge(95,128).
edge(128,95).
edge(96,110).
edge(110,96).
edge(96,113).
edge(113,96).
edge(96,123).
edge(123,96).
edge(96,126).
edge(126,96).
edge(98,104).
edge(104,98).
edge(98,107).
edge(107,98).
edge(98,118).
edge(118,98).
edge(98,119).
edge(119,98).
edge(98,122).
edge(122,98).
edge(101,104).
edge(104,101).
edge(101,110).
edge(110,101).
edge(101,115).
edge(115,101).
edge(101,123).
edge(123,101).
edge(101,125).
edge(125,101).
edge(102,126).
edge(126,102).
edge(103,104).
edge(104,103).
edge(103,109).
edge(109,103).
edge(103,123).
edge(123,103).
edge(103,127).
edge(127,103).
edge(104,107).
edge(107,104).
edge(105,106).
edge(106,105).
edge(105,111).
edge(111,105).
edge(106,116).
edge(116,106).
edge(106,117).
edge(117,106).
edge(106,126).
edge(126,106).
edge(107,109).
edge(109,107).
edge(107,124).
edge(124,107).
edge(107,128).
edge(128,107).
edge(108,125).
edge(125,108).
edge(109,115).
edge(115,109).
edge(109,116).
edge(116,109).
edge(109,118).
edge(118,109).
edge(109,127).
edge(127,109).
edge(109,128).
edge(128,109).
edge(110,118).
edge(118,110).
edge(111,116).
edge(116,111).
edge(111,117).
edge(117,111).
edge(111,120).
edge(120,111).
edge(112,115).
edge(115,112).
edge(112,119).
edge(119,112).
edge(112,121).
edge(121,112).
edge(113,118).
edge(118,113).
edge(113,122).
edge(122,113).
edge(113,124).
edge(124,113).
edge(113,125).
edge(125,113).
edge(115,118).
edge(118,115).
edge(115,119).
edge(119,115).
edge(116,118).
edge(118,116).
edge(116,125).
edge(125,116).
edge(119,128).
edge(128,119).
edge(120,126).
edge(126,120).
edge(121,125).
edge(125,121).
edge(122,123).
edge(123,122).
edge(127,130).
edge(130,127).