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