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