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