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