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