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