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