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