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