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