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