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