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