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