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