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