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