edge(1,2).
edge(1,3).
edge(1,4).
edge(1,5).
edge(6,7).
edge(6,8).
edge(6,9).
edge(10,11).
edge(10,12).
edge(10,13).
edge(14,15).
edge(14,16).
edge(17,18).
edge(19,20).
edge(21,22).
edge(21,23).
edge(24,25).
edge(24,26).
edge(24,27).
edge(24,28).
edge(24,29).
edge(24,30).
edge(31,32).
edge(33,34).
edge(33,13).
edge(35,36).
edge(37,38).
edge(39,18).
edge(40,41).
edge(40,42).
edge(5,43).
edge(5,44).
edge(45,3).
edge(45,46).
edge(47,48).
edge(47,49).
edge(47,7).
edge(47,50).
edge(51,41).
edge(51,12).
edge(51,13).
edge(52,53).
edge(52,54).
edge(52,55).
edge(52,56).
edge(57,58).
edge(57,59).
edge(57,60).
edge(57,61).
edge(57,62).
edge(57,63).
edge(57,64).
edge(65,66).
edge(65,61).
edge(65,38).
edge(65,67).
edge(65,4).
edge(65,32).
edge(68,69).
edge(68,70).
edge(68,71).
edge(68,72).
edge(68,73).
edge(68,74).
edge(68,75).
edge(76,77).
edge(76,78).
edge(76,79).
edge(80,64).
edge(81,25).
edge(36,82).
edge(36,83).
edge(36,84).
edge(36,85).
edge(36,86).
edge(36,87).
edge(36,88).
edge(36,89).
edge(36,90).
edge(36,91).
edge(36,64).
edge(92,93).
edge(92,94).
edge(92,95).
edge(92,96).
edge(92,97).
edge(92,98).
edge(92,99).
edge(92,100).
edge(92,29).
edge(92,101).
edge(92,15).
edge(64,32).
edge(64,87).
edge(64,91).
edge(64,20).
edge(64,63).
edge(64,102).
edge(15,96).
edge(15,16).
edge(103,104).
edge(70,93).
edge(70,71).
edge(70,105).
edge(75,106).
edge(75,69).
edge(75,73).
edge(75,74).
edge(29,107).
edge(29,108).
edge(29,13).
edge(29,78).
edge(29,98).
edge(29,99).
edge(29,109).
edge(29,110).
edge(29,111).
edge(27,112).
edge(27,44).
edge(113,114).
edge(109,110).
edge(18,2).
edge(18,115).
edge(18,107).
edge(18,116).
edge(18,108).
edge(18,114).
edge(18,117).
edge(18,13).
edge(18,7).
edge(18,118).
edge(119,7).
edge(53,56).
edge(120,7).
edge(121,122).
edge(72,69).
edge(59,20).
edge(59,60).
edge(123,124).
edge(123,125).
edge(126,127).
edge(128,102).
edge(22,2).
edge(129,32).
edge(130,44).
edge(131,102).
edge(73,69).
edge(73,78).
edge(132,85).
edge(132,13).
edge(98,107).
edge(98,13).
edge(98,99).
edge(98,111).
edge(25,133).
edge(25,30).
edge(134,102).
edge(13,135).
edge(13,107).
edge(13,114).
edge(13,89).
edge(136,137).
edge(100,99).
edge(100,101).
edge(138,139).
edge(138,102).
edge(56,124).
edge(102,140).
edge(102,141).
edge(102,67).
edge(102,142).
edge(102,143).
edge(102,144).
edge(102,86).
edge(102,87).
edge(102,89).
edge(102,91).
edge(102,145).
edge(146,2).
edge(3,2).
edge(3,61).
edge(3,147).
edge(148,140).
edge(107,140).
edge(107,2).
edge(107,11).
edge(107,149).
edge(107,127).
edge(107,46).
edge(107,99).
edge(107,150).
edge(107,111).
edge(151,152).
edge(151,7).
edge(124,153).
edge(124,11).
edge(124,154).
edge(124,125).
edge(124,155).
edge(124,156).
edge(157,158).
edge(157,78).
edge(87,83).
edge(87,89).
edge(87,91).
edge(155,125).
edge(12,140).
edge(12,159).
edge(12,41).
edge(12,160).
edge(12,161).
edge(12,162).
edge(12,163).
edge(12,7).
edge(12,110).
edge(12,8).
edge(2,140).
edge(97,150).
edge(91,20).
edge(89,122).
edge(164,34).
edge(165,114).
edge(85,140).
edge(85,135).
edge(85,166).
edge(85,90).
edge(167,93).
edge(28,168).
edge(28,169).
edge(101,95).
edge(101,99).
edge(93,71).
edge(93,74).
edge(104,140).
edge(170,63).
edge(79,77).
edge(79,78).
edge(110,58).
edge(110,171).
edge(172,133).
edge(173,105).
edge(174,63).
edge(171,175).
edge(171,96).
edge(171,176).
edge(171,111).
edge(171,177).
edge(143,20).
edge(78,178).
edge(78,150).
edge(69,71).
edge(69,105).
edge(69,74).
edge(20,32).
edge(20,60).
edge(20,63).
edge(179,11).
edge(175,111).
edge(180,181).
edge(180,46).
edge(34,140).
edge(34,182).
edge(23,183).
edge(111,7).
edge(111,177).
edge(181,127).
edge(181,46).
edge(176,177).
edge(160,90).
edge(160,184).
edge(185,133).
edge(90,135).
edge(168,150).
edge(60,62).
edge(83,58).
edge(83,67).
edge(46,140).
edge(46,186).
edge(46,41).
edge(46,127).
edge(46,11).
edge(152,187).
edge(152,42).
edge(152,7).
edge(152,8).
edge(141,188).
edge(114,58).
edge(114,187).
edge(114,189).
edge(114,190).
edge(114,137).
edge(135,140).
edge(135,183).
edge(135,94).
edge(191,183).
edge(95,192).
edge(193,58).
edge(105,194).
edge(4,195).
edge(196,96).
edge(166,197).
edge(61,140).
edge(61,58).
edge(11,140).
edge(7,198).
edge(7,8).
edge(178,77).
edge(178,199).
edge(190,187).
edge(190,137).
edge(71,74).
edge(71,200).
edge(186,140).
edge(42,187).
edge(58,140).
edge(137,187).
first(1).
last(200).
