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