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