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