%%Here are the 4476 edges for the new graph.  The nodes are the same as
%%for the first graph I sent you.

:-(index(/(edge,2),.(1,.(2,[])),4477)).

edge(sts1,sts147).
edge(sts2,sts3).
edge(sts2,sts5).
edge(sts2,sts4).
edge(sts3,sts2).
edge(sts3,sts5).
edge(sts3,sts6).
edge(sts3,sts4).
edge(sts4,sts2).
edge(sts4,sts3).
edge(sts4,sts5).
edge(sts5,sts6).
edge(sts5,sts2).
edge(sts5,sts3).
edge(sts5,sts168).
edge(sts5,sts7).
edge(sts5,sts8).
edge(sts5,sts4).
edge(sts5,sts843).
edge(sts6,sts5).
edge(sts6,sts3).
edge(sts7,sts8).
edge(sts7,sts9).
edge(sts7,sts10).
edge(sts7,sts5).
edge(sts8,sts7).
edge(sts8,sts5).
edge(sts8,sts9).
edge(sts9,sts10).
edge(sts9,sts7).
edge(sts9,sts8).
edge(sts10,sts9).
edge(sts10,sts7).
edge(sts11,sts12).
edge(sts12,sts13).
edge(sts12,sts11).
edge(sts13,sts12).
edge(sts13,sts15).
edge(sts14,sts15).
edge(sts14,sts844).
edge(sts14,sts845).
edge(sts14,sts846).
edge(sts15,sts16).
edge(sts15,sts14).
edge(sts15,sts844).
edge(sts15,sts845).
edge(sts15,sts846).
edge(sts15,sts13).
edge(sts16,sts15).
edge(sts17,sts19).
edge(sts17,sts20).
edge(sts17,sts18).
edge(sts18,sts20).
edge(sts18,sts17).
edge(sts18,sts19).
edge(sts19,sts17).
edge(sts19,sts20).
edge(sts19,sts21).
edge(sts19,sts18).
edge(sts20,sts17).
edge(sts20,sts19).
edge(sts20,sts21).
edge(sts20,sts18).
edge(sts21,sts19).
edge(sts21,sts20).
edge(sts21,sts22).
edge(sts21,sts23).
edge(sts22,sts23).
edge(sts22,sts24).
edge(sts22,sts376).
edge(sts22,sts377).
edge(sts22,sts21).
edge(sts23,sts22).
edge(sts23,sts24).
edge(sts23,sts376).
edge(sts23,sts377).
edge(sts23,sts21).
edge(sts24,sts22).
edge(sts24,sts23).
edge(sts24,sts376).
edge(sts24,sts377).
edge(sts24,sts26).
edge(sts24,sts25).
edge(sts24,sts519).
edge(sts24,sts520).
edge(sts24,sts522).
edge(sts25,sts24).
edge(sts25,sts519).
edge(sts25,sts520).
edge(sts25,sts522).
edge(sts25,sts26).
edge(sts26,sts24).
edge(sts26,sts27).
edge(sts26,sts28).
edge(sts26,sts29).
edge(sts26,sts30).
edge(sts26,sts31).
edge(sts26,sts25).
edge(sts27,sts28).
edge(sts27,sts26).
edge(sts27,sts29).
edge(sts27,sts30).
edge(sts27,sts31).
edge(sts27,sts32).
edge(sts28,sts29).
edge(sts28,sts30).
edge(sts28,sts31).
edge(sts28,sts27).
edge(sts28,sts32).
edge(sts28,sts26).
edge(sts29,sts28).
edge(sts29,sts30).
edge(sts29,sts31).
edge(sts29,sts26).
edge(sts29,sts27).
edge(sts29,sts32).
edge(sts29,sts33).
edge(sts30,sts28).
edge(sts30,sts29).
edge(sts30,sts31).
edge(sts30,sts32).
edge(sts30,sts26).
edge(sts30,sts27).
edge(sts30,sts33).
edge(sts31,sts28).
edge(sts31,sts29).
edge(sts31,sts30).
edge(sts31,sts32).
edge(sts31,sts26).
edge(sts31,sts27).
edge(sts31,sts33).
edge(sts32,sts33).
edge(sts32,sts28).
edge(sts32,sts30).
edge(sts32,sts31).
edge(sts32,sts27).
edge(sts32,sts29).
edge(sts33,sts32).
edge(sts33,sts34).
edge(sts33,sts29).
edge(sts33,sts30).
edge(sts33,sts31).
edge(sts34,sts35).
edge(sts34,sts36).
edge(sts34,sts33).
edge(sts35,sts36).
edge(sts35,sts34).
edge(sts36,sts35).
edge(sts36,sts34).
edge(sts37,sts38).
edge(sts37,sts40).
edge(sts38,sts40).
edge(sts38,sts39).
edge(sts38,sts41).
edge(sts38,sts37).
edge(sts39,sts41).
edge(sts39,sts42).
edge(sts39,sts38).
edge(sts40,sts38).
edge(sts40,sts37).
edge(sts41,sts39).
edge(sts41,sts42).
edge(sts41,sts38).
edge(sts42,sts39).
edge(sts42,sts41).
edge(sts43,sts44).
edge(sts43,sts45).
edge(sts44,sts43).
edge(sts44,sts45).
edge(sts45,sts46).
edge(sts45,sts43).
edge(sts45,sts44).
edge(sts46,sts45).
edge(sts46,sts47).
edge(sts46,sts48).
edge(sts47,sts48).
edge(sts47,sts50).
edge(sts47,sts51).
edge(sts47,sts863).
edge(sts47,sts46).
edge(sts48,sts47).
edge(sts48,sts50).
edge(sts48,sts51).
edge(sts48,sts863).
edge(sts48,sts46).
edge(sts48,sts49).
edge(sts49,sts50).
edge(sts49,sts51).
edge(sts49,sts48).
edge(sts50,sts47).
edge(sts50,sts48).
edge(sts50,sts51).
edge(sts50,sts49).
edge(sts51,sts47).
edge(sts51,sts48).
edge(sts51,sts50).
edge(sts51,sts49).
edge(sts51,sts52).
edge(sts51,sts53).
edge(sts51,sts55).
edge(sts52,sts51).
edge(sts52,sts53).
edge(sts52,sts55).
edge(sts52,sts54).
edge(sts53,sts54).
edge(sts53,sts55).
edge(sts53,sts56).
edge(sts53,sts57).
edge(sts53,sts58).
edge(sts53,sts59).
edge(sts53,sts51).
edge(sts53,sts52).
edge(sts54,sts53).
edge(sts54,sts55).
edge(sts54,sts56).
edge(sts54,sts57).
edge(sts54,sts58).
edge(sts54,sts59).
edge(sts54,sts52).
edge(sts55,sts53).
edge(sts55,sts54).
edge(sts55,sts56).
edge(sts55,sts57).
edge(sts55,sts58).
edge(sts55,sts59).
edge(sts55,sts51).
edge(sts55,sts52).
edge(sts56,sts53).
edge(sts56,sts54).
edge(sts56,sts55).
edge(sts56,sts57).
edge(sts56,sts58).
edge(sts56,sts59).
edge(sts57,sts59).
edge(sts57,sts60).
edge(sts57,sts53).
edge(sts57,sts54).
edge(sts57,sts55).
edge(sts57,sts56).
edge(sts57,sts58).
edge(sts58,sts53).
edge(sts58,sts54).
edge(sts58,sts55).
edge(sts58,sts56).
edge(sts58,sts57).
edge(sts59,sts57).
edge(sts59,sts60).
edge(sts59,sts53).
edge(sts59,sts54).
edge(sts59,sts55).
edge(sts59,sts56).
edge(sts59,sts61).
edge(sts59,sts62).
edge(sts60,sts57).
edge(sts60,sts59).
edge(sts60,sts178).
edge(sts60,sts179).
edge(sts60,sts180).
edge(sts60,sts62).
edge(sts60,sts61).
edge(sts61,sts62).
edge(sts61,sts59).
edge(sts61,sts60).
edge(sts62,sts61).
edge(sts62,sts60).
edge(sts62,sts59).
edge(sts63,sts64).
edge(sts63,sts65).
edge(sts64,sts63).
edge(sts64,sts65).
edge(sts64,sts66).
edge(sts65,sts63).
edge(sts65,sts64).
edge(sts65,sts66).
edge(sts66,sts67).
edge(sts66,sts68).
edge(sts66,sts70).
edge(sts66,sts69).
edge(sts66,sts64).
edge(sts66,sts65).
edge(sts67,sts66).
edge(sts67,sts68).
edge(sts67,sts69).
edge(sts67,sts70).
edge(sts68,sts66).
edge(sts68,sts67).
edge(sts68,sts70).
edge(sts68,sts69).
edge(sts69,sts66).
edge(sts69,sts67).
edge(sts69,sts68).
edge(sts69,sts70).
edge(sts69,sts71).
edge(sts69,sts72).
edge(sts69,sts73).
edge(sts69,sts74).
edge(sts70,sts71).
edge(sts70,sts72).
edge(sts70,sts73).
edge(sts70,sts74).
edge(sts70,sts66).
edge(sts70,sts68).
edge(sts70,sts67).
edge(sts70,sts69).
edge(sts71,sts70).
edge(sts71,sts72).
edge(sts71,sts73).
edge(sts71,sts74).
edge(sts71,sts69).
edge(sts71,sts829).
edge(sts72,sts70).
edge(sts72,sts71).
edge(sts72,sts73).
edge(sts72,sts74).
edge(sts72,sts69).
edge(sts73,sts70).
edge(sts73,sts71).
edge(sts73,sts72).
edge(sts73,sts74).
edge(sts73,sts75).
edge(sts73,sts69).
edge(sts73,sts829).
edge(sts74,sts70).
edge(sts74,sts71).
edge(sts74,sts72).
edge(sts74,sts73).
edge(sts74,sts75).
edge(sts74,sts69).
edge(sts75,sts73).
edge(sts75,sts74).
edge(sts76,sts77).
edge(sts76,sts78).
edge(sts76,sts79).
edge(sts77,sts78).
edge(sts77,sts76).
edge(sts77,sts79).
edge(sts78,sts77).
edge(sts78,sts76).
edge(sts78,sts79).
edge(sts79,sts76).
edge(sts79,sts77).
edge(sts79,sts78).
edge(sts80,sts82).
edge(sts80,sts84).
edge(sts80,sts81).
edge(sts81,sts82).
edge(sts81,sts83).
edge(sts81,sts84).
edge(sts81,sts85).
edge(sts81,sts80).
edge(sts82,sts81).
edge(sts82,sts83).
edge(sts82,sts84).
edge(sts82,sts85).
edge(sts82,sts80).
edge(sts83,sts84).
edge(sts83,sts85).
edge(sts83,sts86).
edge(sts83,sts81).
edge(sts83,sts82).
edge(sts84,sts85).
edge(sts84,sts86).
edge(sts84,sts83).
edge(sts84,sts81).
edge(sts84,sts82).
edge(sts84,sts80).
edge(sts85,sts84).
edge(sts85,sts86).
edge(sts85,sts83).
edge(sts85,sts81).
edge(sts85,sts82).
edge(sts86,sts84).
edge(sts86,sts85).
edge(sts86,sts83).
edge(sts86,sts87).
edge(sts86,sts775).
edge(sts87,sts88).
edge(sts87,sts86).
edge(sts88,sts87).
edge(sts89,sts91).
edge(sts89,sts92).
edge(sts89,sts93).
edge(sts89,sts90).
edge(sts89,sts94).
edge(sts90,sts89).
edge(sts90,sts91).
edge(sts90,sts93).
edge(sts90,sts94).
edge(sts90,sts92).
edge(sts91,sts89).
edge(sts91,sts92).
edge(sts91,sts93).
edge(sts91,sts90).
edge(sts91,sts94).
edge(sts92,sts89).
edge(sts92,sts91).
edge(sts92,sts93).
edge(sts92,sts94).
edge(sts92,sts549).
edge(sts92,sts552).
edge(sts92,sts553).
edge(sts92,sts90).
edge(sts93,sts89).
edge(sts93,sts91).
edge(sts93,sts92).
edge(sts93,sts90).
edge(sts93,sts94).
edge(sts93,sts549).
edge(sts93,sts552).
edge(sts93,sts553).
edge(sts94,sts89).
edge(sts94,sts90).
edge(sts94,sts91).
edge(sts94,sts93).
edge(sts94,sts92).
edge(sts94,sts549).
edge(sts94,sts552).
edge(sts94,sts553).
edge(sts95,sts96).
edge(sts95,sts98).
edge(sts95,sts99).
edge(sts95,sts97).
edge(sts95,sts100).
edge(sts96,sts95).
edge(sts96,sts98).
edge(sts96,sts99).
edge(sts96,sts97).
edge(sts96,sts100).
edge(sts97,sts95).
edge(sts97,sts96).
edge(sts97,sts98).
edge(sts97,sts100).
edge(sts97,sts99).
edge(sts98,sts95).
edge(sts98,sts96).
edge(sts98,sts99).
edge(sts98,sts97).
edge(sts98,sts100).
edge(sts99,sts95).
edge(sts99,sts96).
edge(sts99,sts98).
edge(sts99,sts97).
edge(sts99,sts100).
edge(sts100,sts101).
edge(sts100,sts102).
edge(sts100,sts95).
edge(sts100,sts96).
edge(sts100,sts97).
edge(sts100,sts98).
edge(sts100,sts99).
edge(sts101,sts102).
edge(sts101,sts103).
edge(sts101,sts100).
edge(sts102,sts101).
edge(sts102,sts103).
edge(sts102,sts100).
edge(sts102,sts104).
edge(sts103,sts101).
edge(sts103,sts102).
edge(sts103,sts104).
edge(sts104,sts105).
edge(sts104,sts102).
edge(sts104,sts103).
edge(sts105,sts104).
edge(sts105,sts107).
edge(sts105,sts108).
edge(sts106,sts107).
edge(sts106,sts109).
edge(sts106,sts110).
edge(sts107,sts105).
edge(sts107,sts108).
edge(sts107,sts109).
edge(sts107,sts106).
edge(sts107,sts110).
edge(sts108,sts111).
edge(sts108,sts105).
edge(sts108,sts107).
edge(sts108,sts109).
edge(sts109,sts108).
edge(sts109,sts110).
edge(sts109,sts107).
edge(sts109,sts106).
edge(sts110,sts111).
edge(sts110,sts114).
edge(sts110,sts115).
edge(sts110,sts112).
edge(sts110,sts113).
edge(sts110,sts109).
edge(sts110,sts106).
edge(sts110,sts107).
edge(sts111,sts110).
edge(sts111,sts114).
edge(sts111,sts115).
edge(sts111,sts108).
edge(sts111,sts112).
edge(sts111,sts113).
edge(sts112,sts110).
edge(sts112,sts111).
edge(sts112,sts113).
edge(sts112,sts114).
edge(sts113,sts110).
edge(sts113,sts111).
edge(sts113,sts112).
edge(sts113,sts114).
edge(sts114,sts110).
edge(sts114,sts111).
edge(sts114,sts115).
edge(sts114,sts112).
edge(sts114,sts113).
edge(sts115,sts116).
edge(sts115,sts117).
edge(sts115,sts110).
edge(sts115,sts111).
edge(sts115,sts114).
edge(sts115,sts118).
edge(sts116,sts115).
edge(sts116,sts117).
edge(sts116,sts118).
edge(sts116,sts119).
edge(sts117,sts115).
edge(sts117,sts116).
edge(sts117,sts118).
edge(sts117,sts119).
edge(sts118,sts117).
edge(sts118,sts119).
edge(sts118,sts115).
edge(sts118,sts116).
edge(sts119,sts117).
edge(sts119,sts118).
edge(sts119,sts116).
edge(sts121,sts122).
edge(sts121,sts123).
edge(sts121,sts124).
edge(sts121,sts125).
edge(sts122,sts123).
edge(sts122,sts125).
edge(sts122,sts121).
edge(sts122,sts124).
edge(sts123,sts125).
edge(sts123,sts122).
edge(sts123,sts121).
edge(sts123,sts124).
edge(sts124,sts121).
edge(sts124,sts122).
edge(sts124,sts123).
edge(sts124,sts125).
edge(sts124,sts217).
edge(sts125,sts123).
edge(sts125,sts122).
edge(sts125,sts121).
edge(sts125,sts124).
edge(sts125,sts217).
edge(sts126,sts127).
edge(sts127,sts126).
edge(sts127,sts128).
edge(sts128,sts129).
edge(sts128,sts130).
edge(sts128,sts132).
edge(sts128,sts127).
edge(sts129,sts130).
edge(sts129,sts131).
edge(sts129,sts134).
edge(sts129,sts128).
edge(sts129,sts132).
edge(sts130,sts132).
edge(sts130,sts133).
edge(sts130,sts134).
edge(sts130,sts129).
edge(sts130,sts131).
edge(sts130,sts128).
edge(sts131,sts133).
edge(sts131,sts135).
edge(sts131,sts129).
edge(sts131,sts130).
edge(sts131,sts134).
edge(sts131,sts524).
edge(sts131,sts132).
edge(sts132,sts130).
edge(sts132,sts133).
edge(sts132,sts134).
edge(sts132,sts128).
edge(sts132,sts129).
edge(sts132,sts131).
edge(sts133,sts131).
edge(sts133,sts135).
edge(sts133,sts130).
edge(sts133,sts132).
edge(sts133,sts134).
edge(sts133,sts524).
edge(sts134,sts130).
edge(sts134,sts132).
edge(sts134,sts133).
edge(sts134,sts129).
edge(sts134,sts131).
edge(sts135,sts136).
edge(sts135,sts131).
edge(sts135,sts133).
edge(sts135,sts757).
edge(sts135,sts760).
edge(sts136,sts135).
edge(sts136,sts757).
edge(sts136,sts760).
edge(sts137,sts139).
edge(sts137,sts141).
edge(sts137,sts138).
edge(sts137,sts140).
edge(sts138,sts137).
edge(sts138,sts139).
edge(sts138,sts140).
edge(sts139,sts137).
edge(sts139,sts141).
edge(sts139,sts138).
edge(sts139,sts140).
edge(sts140,sts137).
edge(sts140,sts138).
edge(sts140,sts139).
edge(sts140,sts141).
edge(sts141,sts137).
edge(sts141,sts139).
edge(sts141,sts142).
edge(sts141,sts143).
edge(sts141,sts144).
edge(sts141,sts145).
edge(sts141,sts140).
edge(sts141,sts146).
edge(sts142,sts141).
edge(sts142,sts143).
edge(sts142,sts144).
edge(sts142,sts145).
edge(sts142,sts146).
edge(sts142,sts147).
edge(sts143,sts141).
edge(sts143,sts142).
edge(sts143,sts144).
edge(sts143,sts145).
edge(sts143,sts146).
edge(sts143,sts632).
edge(sts143,sts147).
edge(sts144,sts141).
edge(sts144,sts142).
edge(sts144,sts143).
edge(sts144,sts145).
edge(sts144,sts146).
edge(sts144,sts632).
edge(sts144,sts147).
edge(sts145,sts141).
edge(sts145,sts142).
edge(sts145,sts143).
edge(sts145,sts144).
edge(sts145,sts146).
edge(sts145,sts632).
edge(sts145,sts147).
edge(sts146,sts143).
edge(sts146,sts144).
edge(sts146,sts145).
edge(sts146,sts632).
edge(sts146,sts141).
edge(sts146,sts142).
edge(sts146,sts147).
edge(sts147,sts144).
edge(sts147,sts145).
edge(sts147,sts142).
edge(sts147,sts143).
edge(sts147,sts146).
edge(sts147,sts1).
edge(sts148,sts149).
edge(sts148,sts150).
edge(sts148,sts151).
edge(sts149,sts151).
edge(sts149,sts150).
edge(sts149,sts152).
edge(sts149,sts148).
edge(sts150,sts149).
edge(sts150,sts151).
edge(sts150,sts152).
edge(sts150,sts153).
edge(sts150,sts148).
edge(sts151,sts149).
edge(sts151,sts150).
edge(sts151,sts152).
edge(sts151,sts153).
edge(sts151,sts148).
edge(sts152,sts149).
edge(sts152,sts150).
edge(sts152,sts151).
edge(sts152,sts153).
edge(sts153,sts150).
edge(sts153,sts151).
edge(sts153,sts152).
edge(sts153,sts154).
edge(sts153,sts155).
edge(sts154,sts155).
edge(sts154,sts157).
edge(sts154,sts158).
edge(sts154,sts156).
edge(sts154,sts153).
edge(sts155,sts154).
edge(sts155,sts157).
edge(sts155,sts158).
edge(sts155,sts156).
edge(sts155,sts153).
edge(sts156,sts159).
edge(sts156,sts154).
edge(sts156,sts157).
edge(sts156,sts158).
edge(sts156,sts155).
edge(sts157,sts154).
edge(sts157,sts155).
edge(sts157,sts158).
edge(sts157,sts156).
edge(sts158,sts159).
edge(sts158,sts160).
edge(sts158,sts162).
edge(sts158,sts154).
edge(sts158,sts155).
edge(sts158,sts157).
edge(sts158,sts156).
edge(sts159,sts158).
edge(sts159,sts160).
edge(sts159,sts162).
edge(sts159,sts156).
edge(sts160,sts158).
edge(sts160,sts159).
edge(sts160,sts162).
edge(sts161,sts568).
edge(sts162,sts158).
edge(sts162,sts159).
edge(sts162,sts160).
edge(sts162,sts163).
edge(sts163,sts164).
edge(sts163,sts162).
edge(sts164,sts163).
edge(sts165,sts166).
edge(sts165,sts167).
edge(sts165,sts213).
edge(sts166,sts167).
edge(sts166,sts165).
edge(sts167,sts166).
edge(sts167,sts165).
edge(sts168,sts169).
edge(sts168,sts170).
edge(sts168,sts171).
edge(sts168,sts5).
edge(sts169,sts168).
edge(sts169,sts170).
edge(sts169,sts171).
edge(sts169,sts172).
edge(sts170,sts168).
edge(sts170,sts169).
edge(sts170,sts171).
edge(sts170,sts172).
edge(sts171,sts168).
edge(sts171,sts169).
edge(sts171,sts170).
edge(sts171,sts172).
edge(sts171,sts173).
edge(sts171,sts174).
edge(sts172,sts173).
edge(sts172,sts174).
edge(sts172,sts171).
edge(sts172,sts169).
edge(sts172,sts170).
edge(sts173,sts172).
edge(sts173,sts174).
edge(sts173,sts171).
edge(sts173,sts175).
edge(sts174,sts172).
edge(sts174,sts173).
edge(sts174,sts171).
edge(sts175,sts176).
edge(sts175,sts177).
edge(sts175,sts173).
edge(sts176,sts624).
edge(sts176,sts177).
edge(sts176,sts175).
edge(sts177,sts178).
edge(sts177,sts179).
edge(sts177,sts180).
edge(sts177,sts181).
edge(sts177,sts183).
edge(sts177,sts184).
edge(sts177,sts185).
edge(sts177,sts176).
edge(sts177,sts175).
edge(sts178,sts179).
edge(sts178,sts180).
edge(sts178,sts181).
edge(sts178,sts182).
edge(sts178,sts183).
edge(sts178,sts184).
edge(sts178,sts185).
edge(sts178,sts177).
edge(sts178,sts60).
edge(sts179,sts178).
edge(sts179,sts180).
edge(sts179,sts181).
edge(sts179,sts182).
edge(sts179,sts183).
edge(sts179,sts184).
edge(sts179,sts185).
edge(sts179,sts177).
edge(sts179,sts60).
edge(sts180,sts178).
edge(sts180,sts179).
edge(sts180,sts181).
edge(sts180,sts182).
edge(sts180,sts183).
edge(sts180,sts184).
edge(sts180,sts185).
edge(sts180,sts177).
edge(sts180,sts60).
edge(sts181,sts178).
edge(sts181,sts179).
edge(sts181,sts180).
edge(sts181,sts182).
edge(sts181,sts183).
edge(sts181,sts184).
edge(sts181,sts185).
edge(sts181,sts177).
edge(sts182,sts178).
edge(sts182,sts179).
edge(sts182,sts180).
edge(sts182,sts181).
edge(sts182,sts183).
edge(sts182,sts184).
edge(sts182,sts185).
edge(sts183,sts178).
edge(sts183,sts179).
edge(sts183,sts180).
edge(sts183,sts181).
edge(sts183,sts182).
edge(sts183,sts184).
edge(sts183,sts185).
edge(sts183,sts177).
edge(sts184,sts178).
edge(sts184,sts179).
edge(sts184,sts180).
edge(sts184,sts181).
edge(sts184,sts182).
edge(sts184,sts183).
edge(sts184,sts185).
edge(sts184,sts177).
edge(sts184,sts186).
edge(sts184,sts187).
edge(sts185,sts178).
edge(sts185,sts179).
edge(sts185,sts180).
edge(sts185,sts181).
edge(sts185,sts182).
edge(sts185,sts183).
edge(sts185,sts184).
edge(sts185,sts177).
edge(sts185,sts186).
edge(sts185,sts187).
edge(sts186,sts187).
edge(sts186,sts188).
edge(sts186,sts185).
edge(sts186,sts184).
edge(sts187,sts186).
edge(sts187,sts188).
edge(sts187,sts185).
edge(sts187,sts189).
edge(sts187,sts190).
edge(sts187,sts184).
edge(sts188,sts186).
edge(sts188,sts187).
edge(sts188,sts189).
edge(sts188,sts190).
edge(sts188,sts191).
edge(sts189,sts190).
edge(sts189,sts191).
edge(sts189,sts187).
edge(sts189,sts188).
edge(sts189,sts221).
edge(sts189,sts222).
edge(sts189,sts192).
edge(sts190,sts189).
edge(sts190,sts187).
edge(sts190,sts188).
edge(sts190,sts191).
edge(sts191,sts189).
edge(sts191,sts188).
edge(sts191,sts190).
edge(sts191,sts221).
edge(sts191,sts222).
edge(sts191,sts192).
edge(sts192,sts189).
edge(sts192,sts191).
edge(sts193,sts194).
edge(sts193,sts195).
edge(sts193,sts196).
edge(sts194,sts193).
edge(sts194,sts195).
edge(sts194,sts196).
edge(sts195,sts193).
edge(sts195,sts194).
edge(sts195,sts196).
edge(sts195,sts197).
edge(sts195,sts198).
edge(sts195,sts199).
edge(sts195,sts200).
edge(sts195,sts201).
edge(sts196,sts193).
edge(sts196,sts194).
edge(sts196,sts195).
edge(sts196,sts197).
edge(sts196,sts200).
edge(sts196,sts201).
edge(sts196,sts202).
edge(sts196,sts198).
edge(sts196,sts199).
edge(sts197,sts196).
edge(sts197,sts200).
edge(sts197,sts201).
edge(sts197,sts202).
edge(sts197,sts195).
edge(sts197,sts198).
edge(sts197,sts199).
edge(sts197,sts203).
edge(sts198,sts195).
edge(sts198,sts196).
edge(sts198,sts197).
edge(sts198,sts199).
edge(sts198,sts200).
edge(sts198,sts201).
edge(sts198,sts202).
edge(sts198,sts203).
edge(sts199,sts200).
edge(sts199,sts201).
edge(sts199,sts195).
edge(sts199,sts196).
edge(sts199,sts197).
edge(sts199,sts198).
edge(sts199,sts202).
edge(sts199,sts203).
edge(sts200,sts196).
edge(sts200,sts197).
edge(sts200,sts201).
edge(sts200,sts202).
edge(sts200,sts199).
edge(sts200,sts195).
edge(sts200,sts198).
edge(sts200,sts203).
edge(sts201,sts196).
edge(sts201,sts197).
edge(sts201,sts200).
edge(sts201,sts202).
edge(sts201,sts199).
edge(sts201,sts195).
edge(sts201,sts198).
edge(sts201,sts203).
edge(sts202,sts196).
edge(sts202,sts197).
edge(sts202,sts200).
edge(sts202,sts201).
edge(sts202,sts198).
edge(sts202,sts199).
edge(sts202,sts203).
edge(sts202,sts204).
edge(sts202,sts205).
edge(sts202,sts206).
edge(sts203,sts770).
edge(sts203,sts197).
edge(sts203,sts198).
edge(sts203,sts199).
edge(sts203,sts200).
edge(sts203,sts201).
edge(sts203,sts202).
edge(sts203,sts204).
edge(sts203,sts205).
edge(sts203,sts841).
edge(sts203,sts206).
edge(sts204,sts203).
edge(sts204,sts202).
edge(sts204,sts205).
edge(sts204,sts206).
edge(sts204,sts841).
edge(sts205,sts202).
edge(sts205,sts204).
edge(sts205,sts206).
edge(sts205,sts203).
edge(sts205,sts841).
edge(sts206,sts202).
edge(sts206,sts204).
edge(sts206,sts205).
edge(sts206,sts203).
edge(sts207,sts210).
edge(sts208,sts209).
edge(sts208,sts210).
edge(sts209,sts208).
edge(sts209,sts210).
edge(sts209,sts211).
edge(sts209,sts212).
edge(sts210,sts208).
edge(sts210,sts209).
edge(sts210,sts207).
edge(sts210,sts211).
edge(sts210,sts212).
edge(sts211,sts212).
edge(sts211,sts213).
edge(sts211,sts209).
edge(sts211,sts210).
edge(sts212,sts211).
edge(sts212,sts213).
edge(sts212,sts209).
edge(sts212,sts210).
edge(sts213,sts211).
edge(sts213,sts212).
edge(sts213,sts165).
edge(sts214,sts215).
edge(sts214,sts216).
edge(sts215,sts214).
edge(sts215,sts216).
edge(sts216,sts214).
edge(sts216,sts215).
edge(sts216,sts370).
edge(sts217,sts218).
edge(sts217,sts220).
edge(sts217,sts124).
edge(sts217,sts125).
edge(sts218,sts217).
edge(sts218,sts219).
edge(sts218,sts220).
edge(sts219,sts218).
edge(sts219,sts220).
edge(sts219,sts514).
edge(sts220,sts218).
edge(sts220,sts219).
edge(sts220,sts217).
edge(sts220,sts221).
edge(sts220,sts222).
edge(sts220,sts223).
edge(sts220,sts514).
edge(sts221,sts222).
edge(sts221,sts223).
edge(sts221,sts224).
edge(sts221,sts220).
edge(sts221,sts189).
edge(sts221,sts191).
edge(sts222,sts221).
edge(sts222,sts223).
edge(sts222,sts224).
edge(sts222,sts220).
edge(sts222,sts189).
edge(sts222,sts191).
edge(sts223,sts221).
edge(sts223,sts222).
edge(sts223,sts224).
edge(sts223,sts220).
edge(sts224,sts221).
edge(sts224,sts222).
edge(sts224,sts223).
edge(sts224,sts225).
edge(sts224,sts226).
edge(sts224,sts227).
edge(sts225,sts224).
edge(sts225,sts226).
edge(sts225,sts576).
edge(sts225,sts577).
edge(sts225,sts227).
edge(sts226,sts224).
edge(sts226,sts225).
edge(sts226,sts227).
edge(sts226,sts228).
edge(sts227,sts224).
edge(sts227,sts226).
edge(sts227,sts228).
edge(sts227,sts225).
edge(sts228,sts226).
edge(sts228,sts227).
edge(sts228,sts229).
edge(sts228,sts230).
edge(sts228,sts643).
edge(sts228,sts644).
edge(sts228,sts645).
edge(sts229,sts230).
edge(sts229,sts228).
edge(sts229,sts643).
edge(sts229,sts644).
edge(sts229,sts645).
edge(sts230,sts231).
edge(sts230,sts232).
edge(sts230,sts233).
edge(sts230,sts229).
edge(sts230,sts228).
edge(sts230,sts643).
edge(sts230,sts644).
edge(sts230,sts645).
edge(sts231,sts232).
edge(sts231,sts233).
edge(sts231,sts234).
edge(sts231,sts235).
edge(sts231,sts230).
edge(sts231,sts298).
edge(sts231,sts299).
edge(sts231,sts300).
edge(sts232,sts231).
edge(sts232,sts233).
edge(sts232,sts234).
edge(sts232,sts235).
edge(sts232,sts230).
edge(sts232,sts236).
edge(sts232,sts237).
edge(sts232,sts238).
edge(sts233,sts231).
edge(sts233,sts232).
edge(sts233,sts234).
edge(sts233,sts235).
edge(sts233,sts230).
edge(sts233,sts236).
edge(sts233,sts237).
edge(sts233,sts238).
edge(sts233,sts754).
edge(sts233,sts756).
edge(sts234,sts231).
edge(sts234,sts232).
edge(sts234,sts233).
edge(sts234,sts235).
edge(sts234,sts236).
edge(sts234,sts754).
edge(sts234,sts756).
edge(sts235,sts231).
edge(sts235,sts232).
edge(sts235,sts233).
edge(sts235,sts234).
edge(sts235,sts236).
edge(sts235,sts237).
edge(sts235,sts238).
edge(sts235,sts754).
edge(sts235,sts756).
edge(sts236,sts235).
edge(sts236,sts237).
edge(sts236,sts232).
edge(sts236,sts233).
edge(sts236,sts238).
edge(sts236,sts234).
edge(sts237,sts238).
edge(sts237,sts236).
edge(sts237,sts232).
edge(sts237,sts233).
edge(sts237,sts235).
edge(sts238,sts237).
edge(sts238,sts232).
edge(sts238,sts233).
edge(sts238,sts235).
edge(sts238,sts236).
edge(sts239,sts240).
edge(sts239,sts729).
edge(sts239,sts730).
edge(sts240,sts239).
edge(sts240,sts241).
edge(sts240,sts242).
edge(sts241,sts240).
edge(sts241,sts242).
edge(sts242,sts240).
edge(sts242,sts241).
edge(sts243,sts244).
edge(sts244,sts243).
edge(sts245,sts246).
edge(sts245,sts248).
edge(sts246,sts245).
edge(sts246,sts248).
edge(sts246,sts247).
edge(sts246,sts249).
edge(sts247,sts246).
edge(sts247,sts248).
edge(sts248,sts245).
edge(sts248,sts246).
edge(sts248,sts247).
edge(sts248,sts249).
edge(sts248,sts250).
edge(sts249,sts250).
edge(sts249,sts252).
edge(sts249,sts251).
edge(sts249,sts248).
edge(sts249,sts246).
edge(sts250,sts249).
edge(sts250,sts252).
edge(sts250,sts248).
edge(sts251,sts249).
edge(sts251,sts252).
edge(sts251,sts253).
edge(sts252,sts249).
edge(sts252,sts250).
edge(sts252,sts251).
edge(sts252,sts253).
edge(sts253,sts254).
edge(sts253,sts255).
edge(sts253,sts256).
edge(sts253,sts257).
edge(sts253,sts258).
edge(sts253,sts259).
edge(sts253,sts260).
edge(sts253,sts251).
edge(sts253,sts252).
edge(sts254,sts253).
edge(sts254,sts255).
edge(sts254,sts256).
edge(sts254,sts257).
edge(sts254,sts258).
edge(sts254,sts259).
edge(sts254,sts260).
edge(sts255,sts253).
edge(sts255,sts254).
edge(sts255,sts256).
edge(sts255,sts257).
edge(sts255,sts258).
edge(sts255,sts259).
edge(sts255,sts260).
edge(sts256,sts253).
edge(sts256,sts254).
edge(sts256,sts255).
edge(sts256,sts257).
edge(sts256,sts258).
edge(sts256,sts259).
edge(sts256,sts260).
edge(sts257,sts258).
edge(sts257,sts259).
edge(sts257,sts260).
edge(sts257,sts261).
edge(sts257,sts253).
edge(sts257,sts254).
edge(sts257,sts255).
edge(sts257,sts256).
edge(sts258,sts257).
edge(sts258,sts259).
edge(sts258,sts260).
edge(sts258,sts261).
edge(sts258,sts253).
edge(sts258,sts254).
edge(sts258,sts255).
edge(sts258,sts256).
edge(sts259,sts257).
edge(sts259,sts258).
edge(sts259,sts260).
edge(sts259,sts261).
edge(sts259,sts253).
edge(sts259,sts254).
edge(sts259,sts255).
edge(sts259,sts256).
edge(sts260,sts261).
edge(sts260,sts257).
edge(sts260,sts258).
edge(sts260,sts259).
edge(sts260,sts253).
edge(sts260,sts254).
edge(sts260,sts255).
edge(sts260,sts256).
edge(sts261,sts260).
edge(sts261,sts257).
edge(sts261,sts258).
edge(sts261,sts259).
edge(sts261,sts262).
edge(sts262,sts263).
edge(sts262,sts261).
edge(sts263,sts262).
edge(sts264,sts265).
edge(sts265,sts264).
edge(sts265,sts266).
edge(sts265,sts268).
edge(sts265,sts267).
edge(sts265,sts269).
edge(sts266,sts267).
edge(sts266,sts268).
edge(sts266,sts269).
edge(sts266,sts270).
edge(sts266,sts271).
edge(sts266,sts265).
edge(sts267,sts266).
edge(sts267,sts268).
edge(sts267,sts269).
edge(sts267,sts270).
edge(sts267,sts271).
edge(sts267,sts265).
edge(sts268,sts266).
edge(sts268,sts267).
edge(sts268,sts269).
edge(sts268,sts270).
edge(sts268,sts271).
edge(sts268,sts265).
edge(sts269,sts266).
edge(sts269,sts267).
edge(sts269,sts268).
edge(sts269,sts270).
edge(sts269,sts271).
edge(sts269,sts265).
edge(sts270,sts266).
edge(sts270,sts267).
edge(sts270,sts268).
edge(sts270,sts269).
edge(sts270,sts271).
edge(sts270,sts734).
edge(sts271,sts266).
edge(sts271,sts267).
edge(sts271,sts268).
edge(sts271,sts269).
edge(sts271,sts270).
edge(sts272,sts273).
edge(sts272,sts810).
edge(sts272,sts811).
edge(sts272,sts812).
edge(sts272,sts400).
edge(sts272,sts274).
edge(sts272,sts275).
edge(sts273,sts272).
edge(sts273,sts274).
edge(sts273,sts275).
edge(sts274,sts275).
edge(sts274,sts276).
edge(sts274,sts272).
edge(sts274,sts273).
edge(sts275,sts274).
edge(sts275,sts276).
edge(sts275,sts272).
edge(sts275,sts273).
edge(sts276,sts274).
edge(sts276,sts275).
edge(sts277,sts278).
edge(sts277,sts279).
edge(sts277,sts281).
edge(sts278,sts279).
edge(sts278,sts280).
edge(sts278,sts281).
edge(sts278,sts282).
edge(sts278,sts283).
edge(sts278,sts277).
edge(sts279,sts280).
edge(sts279,sts281).
edge(sts279,sts282).
edge(sts279,sts278).
edge(sts279,sts283).
edge(sts279,sts277).
edge(sts280,sts279).
edge(sts280,sts281).
edge(sts280,sts282).
edge(sts280,sts278).
edge(sts280,sts283).
edge(sts281,sts279).
edge(sts281,sts280).
edge(sts281,sts282).
edge(sts281,sts278).
edge(sts281,sts283).
edge(sts281,sts277).
edge(sts282,sts279).
edge(sts282,sts280).
edge(sts282,sts281).
edge(sts282,sts283).
edge(sts282,sts278).
edge(sts283,sts282).
edge(sts283,sts278).
edge(sts283,sts279).
edge(sts283,sts280).
edge(sts283,sts281).
edge(sts284,sts285).
edge(sts284,sts286).
edge(sts284,sts287).
edge(sts284,sts288).
edge(sts284,sts289).
edge(sts284,sts290).
edge(sts284,sts291).
edge(sts284,sts292).
edge(sts284,sts659).
edge(sts284,sts660).
edge(sts284,sts661).
edge(sts285,sts284).
edge(sts285,sts286).
edge(sts285,sts287).
edge(sts285,sts288).
edge(sts285,sts289).
edge(sts285,sts290).
edge(sts285,sts291).
edge(sts285,sts292).
edge(sts285,sts761).
edge(sts286,sts285).
edge(sts286,sts287).
edge(sts286,sts288).
edge(sts286,sts289).
edge(sts286,sts284).
edge(sts286,sts659).
edge(sts286,sts660).
edge(sts286,sts661).
edge(sts286,sts761).
edge(sts286,sts560).
edge(sts287,sts285).
edge(sts287,sts286).
edge(sts287,sts288).
edge(sts287,sts289).
edge(sts287,sts284).
edge(sts287,sts290).
edge(sts287,sts291).
edge(sts287,sts292).
edge(sts287,sts659).
edge(sts287,sts660).
edge(sts287,sts661).
edge(sts287,sts761).
edge(sts287,sts560).
edge(sts288,sts285).
edge(sts288,sts286).
edge(sts288,sts287).
edge(sts288,sts289).
edge(sts288,sts284).
edge(sts288,sts290).
edge(sts288,sts291).
edge(sts288,sts292).
edge(sts288,sts659).
edge(sts288,sts660).
edge(sts288,sts661).
edge(sts288,sts560).
edge(sts289,sts285).
edge(sts289,sts286).
edge(sts289,sts287).
edge(sts289,sts288).
edge(sts289,sts284).
edge(sts289,sts290).
edge(sts289,sts291).
edge(sts289,sts292).
edge(sts290,sts284).
edge(sts290,sts285).
edge(sts290,sts287).
edge(sts290,sts288).
edge(sts290,sts289).
edge(sts290,sts291).
edge(sts290,sts292).
edge(sts290,sts293).
edge(sts290,sts294).
edge(sts290,sts295).
edge(sts291,sts284).
edge(sts291,sts285).
edge(sts291,sts287).
edge(sts291,sts288).
edge(sts291,sts289).
edge(sts291,sts290).
edge(sts291,sts292).
edge(sts291,sts293).
edge(sts292,sts293).
edge(sts292,sts294).
edge(sts292,sts284).
edge(sts292,sts285).
edge(sts292,sts287).
edge(sts292,sts288).
edge(sts292,sts289).
edge(sts292,sts290).
edge(sts292,sts291).
edge(sts292,sts295).
edge(sts293,sts292).
edge(sts293,sts294).
edge(sts293,sts685).
edge(sts293,sts290).
edge(sts293,sts291).
edge(sts293,sts295).
edge(sts294,sts292).
edge(sts294,sts293).
edge(sts294,sts296).
edge(sts294,sts295).
edge(sts294,sts290).
edge(sts295,sts294).
edge(sts295,sts296).
edge(sts295,sts290).
edge(sts295,sts292).
edge(sts295,sts293).
edge(sts296,sts294).
edge(sts296,sts295).
edge(sts297,sts298).
edge(sts297,sts299).
edge(sts297,sts301).
edge(sts297,sts302).
edge(sts298,sts297).
edge(sts298,sts299).
edge(sts298,sts301).
edge(sts298,sts302).
edge(sts298,sts300).
edge(sts298,sts231).
edge(sts299,sts300).
edge(sts299,sts302).
edge(sts299,sts303).
edge(sts299,sts304).
edge(sts299,sts305).
edge(sts299,sts297).
edge(sts299,sts298).
edge(sts299,sts301).
edge(sts299,sts231).
edge(sts300,sts299).
edge(sts300,sts302).
edge(sts300,sts303).
edge(sts300,sts304).
edge(sts300,sts305).
edge(sts300,sts298).
edge(sts300,sts231).
edge(sts301,sts302).
edge(sts301,sts303).
edge(sts301,sts305).
edge(sts301,sts297).
edge(sts301,sts298).
edge(sts301,sts299).
edge(sts301,sts304).
edge(sts302,sts299).
edge(sts302,sts300).
edge(sts302,sts303).
edge(sts302,sts304).
edge(sts302,sts305).
edge(sts302,sts301).
edge(sts302,sts297).
edge(sts302,sts298).
edge(sts302,sts306).
edge(sts303,sts299).
edge(sts303,sts300).
edge(sts303,sts302).
edge(sts303,sts304).
edge(sts303,sts305).
edge(sts303,sts301).
edge(sts303,sts306).
edge(sts304,sts299).
edge(sts304,sts300).
edge(sts304,sts302).
edge(sts304,sts303).
edge(sts304,sts305).
edge(sts304,sts306).
edge(sts304,sts301).
edge(sts305,sts299).
edge(sts305,sts300).
edge(sts305,sts302).
edge(sts305,sts303).
edge(sts305,sts304).
edge(sts305,sts301).
edge(sts305,sts306).
edge(sts306,sts302).
edge(sts306,sts304).
edge(sts306,sts303).
edge(sts306,sts305).
edge(sts307,sts309).
edge(sts307,sts308).
edge(sts307,sts310).
edge(sts307,sts311).
edge(sts307,sts348).
edge(sts308,sts307).
edge(sts308,sts310).
edge(sts308,sts311).
edge(sts308,sts309).
edge(sts309,sts310).
edge(sts309,sts311).
edge(sts309,sts312).
edge(sts309,sts307).
edge(sts309,sts308).
edge(sts310,sts311).
edge(sts310,sts312).
edge(sts310,sts313).
edge(sts310,sts314).
edge(sts310,sts315).
edge(sts310,sts309).
edge(sts310,sts307).
edge(sts310,sts308).
edge(sts311,sts312).
edge(sts311,sts310).
edge(sts311,sts313).
edge(sts311,sts314).
edge(sts311,sts315).
edge(sts311,sts309).
edge(sts311,sts307).
edge(sts311,sts308).
edge(sts312,sts311).
edge(sts312,sts310).
edge(sts312,sts313).
edge(sts312,sts314).
edge(sts312,sts315).
edge(sts312,sts309).
edge(sts313,sts310).
edge(sts313,sts311).
edge(sts313,sts312).
edge(sts313,sts314).
edge(sts313,sts315).
edge(sts313,sts316).
edge(sts314,sts310).
edge(sts314,sts311).
edge(sts314,sts312).
edge(sts314,sts313).
edge(sts314,sts315).
edge(sts314,sts316).
edge(sts314,sts493).
edge(sts314,sts494).
edge(sts315,sts310).
edge(sts315,sts311).
edge(sts315,sts312).
edge(sts315,sts313).
edge(sts315,sts314).
edge(sts315,sts316).
edge(sts315,sts493).
edge(sts315,sts494).
edge(sts316,sts314).
edge(sts316,sts315).
edge(sts316,sts318).
edge(sts316,sts319).
edge(sts316,sts320).
edge(sts316,sts313).
edge(sts316,sts493).
edge(sts316,sts494).
edge(sts317,sts318).
edge(sts317,sts319).
edge(sts317,sts320).
edge(sts317,sts517).
edge(sts317,sts518).
edge(sts317,sts863).
edge(sts318,sts317).
edge(sts318,sts319).
edge(sts318,sts320).
edge(sts318,sts316).
edge(sts318,sts517).
edge(sts318,sts518).
edge(sts318,sts863).
edge(sts319,sts317).
edge(sts319,sts318).
edge(sts319,sts320).
edge(sts319,sts316).
edge(sts319,sts517).
edge(sts319,sts518).
edge(sts320,sts317).
edge(sts320,sts318).
edge(sts320,sts319).
edge(sts320,sts316).
edge(sts320,sts863).
edge(sts321,sts731).
edge(sts322,sts323).
edge(sts322,sts324).
edge(sts323,sts322).
edge(sts323,sts324).
edge(sts324,sts322).
edge(sts324,sts323).
edge(sts325,sts326).
edge(sts326,sts325).
edge(sts327,sts328).
edge(sts327,sts329).
edge(sts327,sts330).
edge(sts328,sts327).
edge(sts328,sts329).
edge(sts328,sts330).
edge(sts329,sts327).
edge(sts329,sts328).
edge(sts329,sts330).
edge(sts330,sts331).
edge(sts330,sts327).
edge(sts330,sts328).
edge(sts330,sts329).
edge(sts331,sts330).
edge(sts331,sts332).
edge(sts332,sts333).
edge(sts332,sts334).
edge(sts332,sts331).
edge(sts333,sts334).
edge(sts333,sts336).
edge(sts333,sts337).
edge(sts333,sts339).
edge(sts333,sts332).
edge(sts333,sts335).
edge(sts334,sts333).
edge(sts334,sts336).
edge(sts334,sts337).
edge(sts334,sts339).
edge(sts334,sts332).
edge(sts334,sts335).
edge(sts335,sts337).
edge(sts335,sts339).
edge(sts335,sts334).
edge(sts335,sts336).
edge(sts335,sts338).
edge(sts335,sts333).
edge(sts336,sts333).
edge(sts336,sts334).
edge(sts336,sts337).
edge(sts336,sts339).
edge(sts336,sts335).
edge(sts337,sts335).
edge(sts337,sts339).
edge(sts337,sts333).
edge(sts337,sts334).
edge(sts337,sts336).
edge(sts337,sts338).
edge(sts338,sts335).
edge(sts338,sts337).
edge(sts338,sts339).
edge(sts339,sts335).
edge(sts339,sts337).
edge(sts339,sts333).
edge(sts339,sts334).
edge(sts339,sts336).
edge(sts339,sts338).
edge(sts340,sts341).
edge(sts340,sts342).
edge(sts340,sts343).
edge(sts340,sts344).
edge(sts340,sts345).
edge(sts340,sts347).
edge(sts341,sts342).
edge(sts341,sts343).
edge(sts341,sts344).
edge(sts341,sts345).
edge(sts341,sts346).
edge(sts341,sts340).
edge(sts342,sts341).
edge(sts342,sts343).
edge(sts342,sts344).
edge(sts342,sts345).
edge(sts342,sts346).
edge(sts342,sts340).
edge(sts342,sts347).
edge(sts343,sts341).
edge(sts343,sts342).
edge(sts343,sts344).
edge(sts343,sts345).
edge(sts343,sts346).
edge(sts343,sts340).
edge(sts343,sts347).
edge(sts344,sts341).
edge(sts344,sts342).
edge(sts344,sts343).
edge(sts344,sts345).
edge(sts344,sts346).
edge(sts344,sts340).
edge(sts344,sts347).
edge(sts345,sts341).
edge(sts345,sts342).
edge(sts345,sts343).
edge(sts345,sts344).
edge(sts345,sts346).
edge(sts345,sts340).
edge(sts345,sts347).
edge(sts346,sts341).
edge(sts346,sts342).
edge(sts346,sts343).
edge(sts346,sts344).
edge(sts346,sts345).
edge(sts346,sts348).
edge(sts346,sts347).
edge(sts347,sts346).
edge(sts347,sts348).
edge(sts347,sts342).
edge(sts347,sts343).
edge(sts347,sts340).
edge(sts347,sts344).
edge(sts347,sts345).
edge(sts348,sts346).
edge(sts348,sts349).
edge(sts348,sts347).
edge(sts348,sts307).
edge(sts349,sts348).
edge(sts349,sts350).
edge(sts350,sts351).
edge(sts350,sts352).
edge(sts350,sts353).
edge(sts350,sts349).
edge(sts351,sts350).
edge(sts351,sts352).
edge(sts351,sts353).
edge(sts352,sts350).
edge(sts352,sts351).
edge(sts352,sts353).
edge(sts353,sts350).
edge(sts353,sts351).
edge(sts353,sts352).
edge(sts356,sts357).
edge(sts357,sts356).
edge(sts358,sts360).
edge(sts358,sts359).
edge(sts358,sts361).
edge(sts358,sts362).
edge(sts358,sts363).
edge(sts359,sts358).
edge(sts359,sts361).
edge(sts359,sts362).
edge(sts359,sts363).
edge(sts360,sts358).
edge(sts360,sts361).
edge(sts360,sts362).
edge(sts360,sts363).
edge(sts361,sts360).
edge(sts361,sts362).
edge(sts361,sts363).
edge(sts361,sts364).
edge(sts361,sts365).
edge(sts361,sts366).
edge(sts361,sts367).
edge(sts361,sts358).
edge(sts361,sts359).
edge(sts361,sts368).
edge(sts362,sts360).
edge(sts362,sts361).
edge(sts362,sts363).
edge(sts362,sts358).
edge(sts362,sts359).
edge(sts363,sts360).
edge(sts363,sts361).
edge(sts363,sts362).
edge(sts363,sts364).
edge(sts363,sts365).
edge(sts363,sts366).
edge(sts363,sts367).
edge(sts363,sts358).
edge(sts363,sts359).
edge(sts363,sts368).
edge(sts364,sts365).
edge(sts364,sts367).
edge(sts364,sts368).
edge(sts364,sts361).
edge(sts364,sts363).
edge(sts364,sts366).
edge(sts365,sts364).
edge(sts365,sts367).
edge(sts365,sts368).
edge(sts365,sts361).
edge(sts365,sts363).
edge(sts365,sts366).
edge(sts365,sts369).
edge(sts366,sts367).
edge(sts366,sts368).
edge(sts366,sts370).
edge(sts366,sts361).
edge(sts366,sts363).
edge(sts366,sts364).
edge(sts366,sts365).
edge(sts367,sts364).
edge(sts367,sts365).
edge(sts367,sts368).
edge(sts367,sts366).
edge(sts367,sts370).
edge(sts367,sts361).
edge(sts367,sts363).
edge(sts368,sts364).
edge(sts368,sts365).
edge(sts368,sts367).
edge(sts368,sts366).
edge(sts368,sts370).
edge(sts368,sts369).
edge(sts368,sts361).
edge(sts368,sts363).
edge(sts369,sts370).
edge(sts369,sts368).
edge(sts369,sts365).
edge(sts370,sts369).
edge(sts370,sts366).
edge(sts370,sts367).
edge(sts370,sts368).
edge(sts370,sts371).
edge(sts370,sts216).
edge(sts371,sts375).
edge(sts371,sts647).
edge(sts371,sts370).
edge(sts371,sts373).
edge(sts372,sts373).
edge(sts372,sts374).
edge(sts372,sts375).
edge(sts372,sts377).
edge(sts373,sts372).
edge(sts373,sts374).
edge(sts373,sts375).
edge(sts373,sts377).
edge(sts373,sts371).
edge(sts373,sts376).
edge(sts373,sts378).
edge(sts374,sts372).
edge(sts374,sts373).
edge(sts374,sts375).
edge(sts374,sts377).
edge(sts374,sts376).
edge(sts374,sts378).
edge(sts375,sts371).
edge(sts375,sts372).
edge(sts375,sts373).
edge(sts375,sts374).
edge(sts375,sts377).
edge(sts375,sts376).
edge(sts375,sts378).
edge(sts376,sts22).
edge(sts376,sts23).
edge(sts376,sts24).
edge(sts376,sts377).
edge(sts376,sts378).
edge(sts376,sts373).
edge(sts376,sts374).
edge(sts376,sts375).
edge(sts376,sts379).
edge(sts377,sts22).
edge(sts377,sts23).
edge(sts377,sts24).
edge(sts377,sts376).
edge(sts377,sts378).
edge(sts377,sts372).
edge(sts377,sts373).
edge(sts377,sts374).
edge(sts377,sts375).
edge(sts378,sts376).
edge(sts378,sts377).
edge(sts378,sts379).
edge(sts378,sts873).
edge(sts378,sts874).
edge(sts378,sts373).
edge(sts378,sts374).
edge(sts378,sts375).
edge(sts379,sts380).
edge(sts379,sts378).
edge(sts379,sts873).
edge(sts379,sts874).
edge(sts379,sts376).
edge(sts380,sts379).
edge(sts381,sts383).
edge(sts381,sts384).
edge(sts381,sts382).
edge(sts382,sts381).
edge(sts382,sts383).
edge(sts382,sts384).
edge(sts383,sts381).
edge(sts383,sts384).
edge(sts383,sts382).
edge(sts384,sts381).
edge(sts384,sts383).
edge(sts384,sts382).
edge(sts385,sts386).
edge(sts385,sts388).
edge(sts385,sts387).
edge(sts385,sts389).
edge(sts386,sts388).
edge(sts386,sts390).
edge(sts386,sts391).
edge(sts386,sts385).
edge(sts386,sts389).
edge(sts386,sts387).
edge(sts387,sts388).
edge(sts387,sts389).
edge(sts387,sts386).
edge(sts387,sts390).
edge(sts387,sts385).
edge(sts388,sts386).
edge(sts388,sts390).
edge(sts388,sts391).
edge(sts388,sts387).
edge(sts388,sts389).
edge(sts388,sts385).
edge(sts389,sts387).
edge(sts389,sts388).
edge(sts389,sts386).
edge(sts389,sts385).
edge(sts389,sts390).
edge(sts390,sts386).
edge(sts390,sts388).
edge(sts390,sts391).
edge(sts390,sts393).
edge(sts390,sts395).
edge(sts390,sts387).
edge(sts390,sts392).
edge(sts390,sts389).
edge(sts391,sts386).
edge(sts391,sts388).
edge(sts391,sts390).
edge(sts391,sts392).
edge(sts391,sts393).
edge(sts391,sts394).
edge(sts391,sts395).
edge(sts391,sts396).
edge(sts391,sts397).
edge(sts391,sts398).
edge(sts391,sts399).
edge(sts392,sts391).
edge(sts392,sts393).
edge(sts392,sts394).
edge(sts392,sts395).
edge(sts392,sts396).
edge(sts392,sts397).
edge(sts392,sts398).
edge(sts392,sts399).
edge(sts392,sts390).
edge(sts393,sts391).
edge(sts393,sts392).
edge(sts393,sts394).
edge(sts393,sts395).
edge(sts393,sts396).
edge(sts393,sts397).
edge(sts393,sts398).
edge(sts393,sts399).
edge(sts393,sts390).
edge(sts394,sts391).
edge(sts394,sts392).
edge(sts394,sts393).
edge(sts394,sts395).
edge(sts394,sts396).
edge(sts394,sts397).
edge(sts394,sts398).
edge(sts394,sts399).
edge(sts395,sts391).
edge(sts395,sts392).
edge(sts395,sts393).
edge(sts395,sts394).
edge(sts395,sts396).
edge(sts395,sts397).
edge(sts395,sts398).
edge(sts395,sts399).
edge(sts395,sts390).
edge(sts396,sts391).
edge(sts396,sts392).
edge(sts396,sts393).
edge(sts396,sts394).
edge(sts396,sts395).
edge(sts396,sts397).
edge(sts396,sts398).
edge(sts396,sts399).
edge(sts397,sts391).
edge(sts397,sts392).
edge(sts397,sts393).
edge(sts397,sts394).
edge(sts397,sts395).
edge(sts397,sts396).
edge(sts397,sts398).
edge(sts397,sts399).
edge(sts398,sts391).
edge(sts398,sts392).
edge(sts398,sts393).
edge(sts398,sts394).
edge(sts398,sts395).
edge(sts398,sts396).
edge(sts398,sts397).
edge(sts398,sts399).
edge(sts398,sts400).
edge(sts399,sts391).
edge(sts399,sts392).
edge(sts399,sts393).
edge(sts399,sts394).
edge(sts399,sts395).
edge(sts399,sts396).
edge(sts399,sts397).
edge(sts399,sts398).
edge(sts399,sts400).
edge(sts400,sts398).
edge(sts400,sts399).
edge(sts400,sts402).
edge(sts400,sts272).
edge(sts400,sts401).
edge(sts401,sts402).
edge(sts401,sts439).
edge(sts401,sts440).
edge(sts401,sts442).
edge(sts401,sts400).
edge(sts402,sts403).
edge(sts402,sts401).
edge(sts402,sts400).
edge(sts403,sts402).
edge(sts406,sts407).
edge(sts406,sts408).
edge(sts407,sts408).
edge(sts407,sts409).
edge(sts407,sts406).
edge(sts408,sts407).
edge(sts408,sts409).
edge(sts408,sts406).
edge(sts409,sts407).
edge(sts409,sts408).
edge(sts410,sts411).
edge(sts410,sts412).
edge(sts411,sts410).
edge(sts411,sts412).
edge(sts412,sts410).
edge(sts412,sts411).
edge(sts414,sts415).
edge(sts414,sts417).
edge(sts414,sts418).
edge(sts414,sts416).
edge(sts415,sts414).
edge(sts415,sts417).
edge(sts415,sts418).
edge(sts415,sts416).
edge(sts416,sts415).
edge(sts416,sts417).
edge(sts416,sts418).
edge(sts416,sts414).
edge(sts417,sts414).
edge(sts417,sts415).
edge(sts417,sts418).
edge(sts417,sts419).
edge(sts417,sts416).
edge(sts418,sts414).
edge(sts418,sts415).
edge(sts418,sts417).
edge(sts418,sts419).
edge(sts418,sts416).
edge(sts419,sts417).
edge(sts419,sts418).
edge(sts419,sts420).
edge(sts420,sts421).
edge(sts420,sts419).
edge(sts421,sts420).
edge(sts421,sts422).
edge(sts422,sts423).
edge(sts422,sts425).
edge(sts422,sts426).
edge(sts422,sts424).
edge(sts422,sts512).
edge(sts422,sts513).
edge(sts422,sts421).
edge(sts423,sts422).
edge(sts423,sts425).
edge(sts423,sts426).
edge(sts423,sts424).
edge(sts424,sts425).
edge(sts424,sts422).
edge(sts424,sts423).
edge(sts424,sts426).
edge(sts425,sts422).
edge(sts425,sts423).
edge(sts425,sts426).
edge(sts425,sts427).
edge(sts425,sts428).
edge(sts425,sts429).
edge(sts425,sts424).
edge(sts426,sts422).
edge(sts426,sts423).
edge(sts426,sts425).
edge(sts426,sts427).
edge(sts426,sts428).
edge(sts426,sts429).
edge(sts426,sts424).
edge(sts427,sts425).
edge(sts427,sts426).
edge(sts427,sts428).
edge(sts427,sts429).
edge(sts428,sts425).
edge(sts428,sts426).
edge(sts428,sts427).
edge(sts428,sts429).
edge(sts429,sts430).
edge(sts429,sts431).
edge(sts429,sts425).
edge(sts429,sts426).
edge(sts429,sts427).
edge(sts429,sts428).
edge(sts430,sts431).
edge(sts430,sts429).
edge(sts430,sts432).
edge(sts430,sts433).
edge(sts430,sts434).
edge(sts431,sts430).
edge(sts431,sts429).
edge(sts431,sts432).
edge(sts431,sts433).
edge(sts431,sts434).
edge(sts432,sts433).
edge(sts432,sts434).
edge(sts432,sts430).
edge(sts432,sts431).
edge(sts433,sts432).
edge(sts433,sts430).
edge(sts433,sts431).
edge(sts433,sts434).
edge(sts434,sts432).
edge(sts434,sts430).
edge(sts434,sts431).
edge(sts434,sts433).
edge(sts434,sts435).
edge(sts435,sts437).
edge(sts435,sts438).
edge(sts435,sts439).
edge(sts435,sts440).
edge(sts435,sts434).
edge(sts436,sts439).
edge(sts436,sts441).
edge(sts437,sts435).
edge(sts437,sts438).
edge(sts437,sts439).
edge(sts437,sts440).
edge(sts438,sts435).
edge(sts438,sts437).
edge(sts438,sts439).
edge(sts438,sts440).
edge(sts439,sts401).
edge(sts439,sts440).
edge(sts439,sts442).
edge(sts439,sts436).
edge(sts439,sts441).
edge(sts439,sts435).
edge(sts439,sts437).
edge(sts439,sts438).
edge(sts440,sts401).
edge(sts440,sts439).
edge(sts440,sts442).
edge(sts440,sts435).
edge(sts440,sts437).
edge(sts440,sts438).
edge(sts440,sts441).
edge(sts440,sts443).
edge(sts440,sts445).
edge(sts441,sts442).
edge(sts441,sts443).
edge(sts441,sts436).
edge(sts441,sts439).
edge(sts441,sts440).
edge(sts441,sts445).
edge(sts442,sts441).
edge(sts442,sts401).
edge(sts442,sts439).
edge(sts442,sts440).
edge(sts442,sts443).
edge(sts442,sts445).
edge(sts442,sts444).
edge(sts443,sts444).
edge(sts443,sts445).
edge(sts443,sts441).
edge(sts443,sts442).
edge(sts443,sts440).
edge(sts444,sts443).
edge(sts444,sts445).
edge(sts444,sts446).
edge(sts444,sts448).
edge(sts444,sts442).
edge(sts445,sts443).
edge(sts445,sts444).
edge(sts445,sts446).
edge(sts445,sts448).
edge(sts445,sts447).
edge(sts445,sts440).
edge(sts445,sts441).
edge(sts445,sts442).
edge(sts446,sts444).
edge(sts446,sts445).
edge(sts446,sts448).
edge(sts446,sts447).
edge(sts446,sts449).
edge(sts446,sts450).
edge(sts447,sts446).
edge(sts447,sts445).
edge(sts447,sts448).
edge(sts447,sts449).
edge(sts447,sts450).
edge(sts447,sts841).
edge(sts447,sts842).
edge(sts448,sts444).
edge(sts448,sts445).
edge(sts448,sts446).
edge(sts448,sts449).
edge(sts448,sts450).
edge(sts448,sts451).
edge(sts448,sts452).
edge(sts448,sts447).
edge(sts448,sts529).
edge(sts449,sts450).
edge(sts449,sts448).
edge(sts449,sts451).
edge(sts449,sts452).
edge(sts449,sts453).
edge(sts449,sts454).
edge(sts449,sts529).
edge(sts449,sts446).
edge(sts449,sts447).
edge(sts450,sts449).
edge(sts450,sts451).
edge(sts450,sts453).
edge(sts450,sts454).
edge(sts450,sts448).
edge(sts450,sts452).
edge(sts450,sts446).
edge(sts450,sts447).
edge(sts450,sts675).
edge(sts450,sts676).
edge(sts451,sts452).
edge(sts451,sts453).
edge(sts451,sts450).
edge(sts451,sts454).
edge(sts451,sts448).
edge(sts451,sts449).
edge(sts451,sts455).
edge(sts451,sts675).
edge(sts451,sts676).
edge(sts452,sts451).
edge(sts452,sts453).
edge(sts452,sts454).
edge(sts452,sts455).
edge(sts452,sts448).
edge(sts452,sts449).
edge(sts452,sts450).
edge(sts452,sts675).
edge(sts452,sts676).
edge(sts453,sts451).
edge(sts453,sts452).
edge(sts453,sts450).
edge(sts453,sts454).
edge(sts453,sts449).
edge(sts453,sts456).
edge(sts454,sts455).
edge(sts454,sts456).
edge(sts454,sts450).
edge(sts454,sts451).
edge(sts454,sts453).
edge(sts454,sts452).
edge(sts454,sts449).
edge(sts454,sts457).
edge(sts455,sts456).
edge(sts455,sts454).
edge(sts455,sts457).
edge(sts455,sts458).
edge(sts455,sts460).
edge(sts455,sts452).
edge(sts455,sts451).
edge(sts456,sts455).
edge(sts456,sts454).
edge(sts456,sts457).
edge(sts456,sts458).
edge(sts456,sts460).
edge(sts456,sts453).
edge(sts457,sts455).
edge(sts457,sts456).
edge(sts457,sts458).
edge(sts457,sts460).
edge(sts457,sts454).
edge(sts457,sts771).
edge(sts458,sts455).
edge(sts458,sts456).
edge(sts458,sts457).
edge(sts458,sts460).
edge(sts458,sts771).
edge(sts458,sts459).
edge(sts458,sts627).
edge(sts458,sts629).
edge(sts459,sts460).
edge(sts459,sts461).
edge(sts459,sts462).
edge(sts459,sts463).
edge(sts459,sts464).
edge(sts459,sts466).
edge(sts459,sts467).
edge(sts459,sts458).
edge(sts459,sts627).
edge(sts459,sts629).
edge(sts460,sts459).
edge(sts460,sts461).
edge(sts460,sts462).
edge(sts460,sts463).
edge(sts460,sts464).
edge(sts460,sts466).
edge(sts460,sts467).
edge(sts460,sts455).
edge(sts460,sts456).
edge(sts460,sts457).
edge(sts460,sts458).
edge(sts460,sts627).
edge(sts460,sts629).
edge(sts461,sts459).
edge(sts461,sts460).
edge(sts461,sts462).
edge(sts461,sts463).
edge(sts461,sts464).
edge(sts461,sts466).
edge(sts461,sts467).
edge(sts461,sts465).
edge(sts462,sts459).
edge(sts462,sts460).
edge(sts462,sts461).
edge(sts462,sts463).
edge(sts462,sts464).
edge(sts462,sts466).
edge(sts462,sts467).
edge(sts462,sts465).
edge(sts463,sts459).
edge(sts463,sts460).
edge(sts463,sts461).
edge(sts463,sts462).
edge(sts463,sts464).
edge(sts463,sts466).
edge(sts463,sts467).
edge(sts463,sts465).
edge(sts464,sts465).
edge(sts464,sts466).
edge(sts464,sts467).
edge(sts464,sts459).
edge(sts464,sts460).
edge(sts464,sts461).
edge(sts464,sts462).
edge(sts464,sts463).
edge(sts465,sts464).
edge(sts465,sts466).
edge(sts465,sts467).
edge(sts465,sts461).
edge(sts465,sts462).
edge(sts465,sts463).
edge(sts466,sts464).
edge(sts466,sts465).
edge(sts466,sts467).
edge(sts466,sts459).
edge(sts466,sts460).
edge(sts466,sts461).
edge(sts466,sts462).
edge(sts466,sts463).
edge(sts466,sts468).
edge(sts466,sts469).
edge(sts466,sts470).
edge(sts466,sts471).
edge(sts467,sts464).
edge(sts467,sts465).
edge(sts467,sts466).
edge(sts467,sts459).
edge(sts467,sts460).
edge(sts467,sts461).
edge(sts467,sts462).
edge(sts467,sts463).
edge(sts467,sts468).
edge(sts467,sts469).
edge(sts467,sts470).
edge(sts467,sts471).
edge(sts468,sts466).
edge(sts468,sts467).
edge(sts468,sts469).
edge(sts468,sts470).
edge(sts468,sts471).
edge(sts469,sts466).
edge(sts469,sts467).
edge(sts469,sts468).
edge(sts469,sts470).
edge(sts469,sts471).
edge(sts470,sts466).
edge(sts470,sts467).
edge(sts470,sts468).
edge(sts470,sts469).
edge(sts470,sts471).
edge(sts471,sts466).
edge(sts471,sts467).
edge(sts471,sts468).
edge(sts471,sts469).
edge(sts471,sts470).
edge(sts471,sts472).
edge(sts472,sts471).
edge(sts472,sts685).
edge(sts472,sts686).
edge(sts472,sts473).
edge(sts473,sts474).
edge(sts473,sts475).
edge(sts473,sts472).
edge(sts474,sts475).
edge(sts474,sts476).
edge(sts474,sts473).
edge(sts475,sts474).
edge(sts475,sts476).
edge(sts475,sts473).
edge(sts476,sts474).
edge(sts476,sts475).
edge(sts476,sts477).
edge(sts476,sts478).
edge(sts476,sts479).
edge(sts476,sts480).
edge(sts477,sts476).
edge(sts477,sts478).
edge(sts477,sts479).
edge(sts477,sts480).
edge(sts478,sts476).
edge(sts478,sts477).
edge(sts478,sts479).
edge(sts478,sts480).
edge(sts479,sts476).
edge(sts479,sts477).
edge(sts479,sts478).
edge(sts479,sts480).
edge(sts480,sts476).
edge(sts480,sts477).
edge(sts480,sts478).
edge(sts480,sts479).
edge(sts480,sts481).
edge(sts480,sts482).
edge(sts481,sts483).
edge(sts481,sts484).
edge(sts481,sts485).
edge(sts481,sts486).
edge(sts481,sts482).
edge(sts481,sts480).
edge(sts482,sts481).
edge(sts482,sts483).
edge(sts482,sts484).
edge(sts482,sts486).
edge(sts482,sts485).
edge(sts482,sts480).
edge(sts483,sts481).
edge(sts483,sts484).
edge(sts483,sts485).
edge(sts483,sts486).
edge(sts483,sts482).
edge(sts483,sts487).
edge(sts484,sts481).
edge(sts484,sts483).
edge(sts484,sts485).
edge(sts484,sts486).
edge(sts484,sts482).
edge(sts484,sts487).
edge(sts485,sts481).
edge(sts485,sts483).
edge(sts485,sts484).
edge(sts485,sts486).
edge(sts485,sts482).
edge(sts485,sts487).
edge(sts486,sts481).
edge(sts486,sts483).
edge(sts486,sts484).
edge(sts486,sts485).
edge(sts486,sts482).
edge(sts486,sts487).
edge(sts487,sts488).
edge(sts487,sts484).
edge(sts487,sts486).
edge(sts487,sts485).
edge(sts487,sts483).
edge(sts488,sts487).
edge(sts488,sts489).
edge(sts488,sts490).
edge(sts488,sts757).
edge(sts488,sts758).
edge(sts488,sts759).
edge(sts488,sts760).
edge(sts489,sts488).
edge(sts489,sts490).
edge(sts490,sts488).
edge(sts490,sts489).
edge(sts493,sts494).
edge(sts493,sts495).
edge(sts493,sts498).
edge(sts493,sts499).
edge(sts493,sts500).
edge(sts493,sts501).
edge(sts493,sts496).
edge(sts493,sts497).
edge(sts493,sts314).
edge(sts493,sts315).
edge(sts493,sts316).
edge(sts494,sts493).
edge(sts494,sts495).
edge(sts494,sts498).
edge(sts494,sts499).
edge(sts494,sts500).
edge(sts494,sts501).
edge(sts494,sts496).
edge(sts494,sts497).
edge(sts494,sts314).
edge(sts494,sts315).
edge(sts494,sts316).
edge(sts495,sts493).
edge(sts495,sts494).
edge(sts495,sts498).
edge(sts495,sts499).
edge(sts495,sts500).
edge(sts495,sts501).
edge(sts495,sts496).
edge(sts495,sts497).
edge(sts496,sts493).
edge(sts496,sts495).
edge(sts496,sts497).
edge(sts496,sts498).
edge(sts496,sts499).
edge(sts496,sts494).
edge(sts496,sts500).
edge(sts496,sts501).
edge(sts497,sts493).
edge(sts497,sts495).
edge(sts497,sts496).
edge(sts497,sts498).
edge(sts497,sts499).
edge(sts497,sts494).
edge(sts497,sts500).
edge(sts498,sts493).
edge(sts498,sts494).
edge(sts498,sts495).
edge(sts498,sts499).
edge(sts498,sts500).
edge(sts498,sts501).
edge(sts498,sts496).
edge(sts498,sts497).
edge(sts499,sts493).
edge(sts499,sts494).
edge(sts499,sts495).
edge(sts499,sts498).
edge(sts499,sts500).
edge(sts499,sts501).
edge(sts499,sts496).
edge(sts499,sts497).
edge(sts500,sts493).
edge(sts500,sts494).
edge(sts500,sts495).
edge(sts500,sts498).
edge(sts500,sts499).
edge(sts500,sts501).
edge(sts500,sts497).
edge(sts500,sts496).
edge(sts501,sts493).
edge(sts501,sts494).
edge(sts501,sts495).
edge(sts501,sts498).
edge(sts501,sts499).
edge(sts501,sts500).
edge(sts501,sts804).
edge(sts501,sts496).
edge(sts502,sts503).
edge(sts503,sts504).
edge(sts503,sts502).
edge(sts504,sts503).
edge(sts504,sts505).
edge(sts504,sts506).
edge(sts505,sts506).
edge(sts505,sts507).
edge(sts505,sts508).
edge(sts505,sts509).
edge(sts505,sts504).
edge(sts506,sts507).
edge(sts506,sts508).
edge(sts506,sts505).
edge(sts506,sts509).
edge(sts506,sts504).
edge(sts507,sts506).
edge(sts507,sts508).
edge(sts507,sts505).
edge(sts507,sts509).
edge(sts508,sts506).
edge(sts508,sts507).
edge(sts508,sts505).
edge(sts508,sts509).
edge(sts509,sts505).
edge(sts509,sts506).
edge(sts509,sts507).
edge(sts509,sts508).
edge(sts512,sts513).
edge(sts512,sts514).
edge(sts512,sts422).
edge(sts513,sts512).
edge(sts513,sts514).
edge(sts513,sts516).
edge(sts513,sts517).
edge(sts513,sts518).
edge(sts513,sts422).
edge(sts514,sts512).
edge(sts514,sts513).
edge(sts514,sts515).
edge(sts514,sts516).
edge(sts514,sts517).
edge(sts514,sts518).
edge(sts514,sts219).
edge(sts514,sts220).
edge(sts515,sts516).
edge(sts515,sts518).
edge(sts515,sts514).
edge(sts515,sts517).
edge(sts516,sts515).
edge(sts516,sts518).
edge(sts516,sts514).
edge(sts516,sts517).
edge(sts516,sts519).
edge(sts516,sts520).
edge(sts516,sts521).
edge(sts516,sts522).
edge(sts516,sts513).
edge(sts516,sts523).
edge(sts517,sts317).
edge(sts517,sts318).
edge(sts517,sts319).
edge(sts517,sts518).
edge(sts517,sts519).
edge(sts517,sts520).
edge(sts517,sts521).
edge(sts517,sts522).
edge(sts517,sts514).
edge(sts517,sts515).
edge(sts517,sts516).
edge(sts517,sts513).
edge(sts517,sts523).
edge(sts518,sts317).
edge(sts518,sts318).
edge(sts518,sts319).
edge(sts518,sts517).
edge(sts518,sts515).
edge(sts518,sts516).
edge(sts518,sts514).
edge(sts518,sts513).
edge(sts518,sts519).
edge(sts518,sts521).
edge(sts518,sts522).
edge(sts518,sts523).
edge(sts519,sts520).
edge(sts519,sts521).
edge(sts519,sts522).
edge(sts519,sts523).
edge(sts519,sts517).
edge(sts519,sts516).
edge(sts519,sts24).
edge(sts519,sts25).
edge(sts519,sts518).
edge(sts520,sts519).
edge(sts520,sts521).
edge(sts520,sts522).
edge(sts520,sts523).
edge(sts520,sts517).
edge(sts520,sts516).
edge(sts520,sts24).
edge(sts520,sts25).
edge(sts521,sts519).
edge(sts521,sts520).
edge(sts521,sts522).
edge(sts521,sts523).
edge(sts521,sts517).
edge(sts521,sts516).
edge(sts521,sts518).
edge(sts522,sts519).
edge(sts522,sts520).
edge(sts522,sts521).
edge(sts522,sts523).
edge(sts522,sts517).
edge(sts522,sts516).
edge(sts522,sts24).
edge(sts522,sts25).
edge(sts522,sts524).
edge(sts522,sts518).
edge(sts523,sts519).
edge(sts523,sts520).
edge(sts523,sts521).
edge(sts523,sts522).
edge(sts523,sts524).
edge(sts523,sts516).
edge(sts523,sts517).
edge(sts523,sts518).
edge(sts524,sts131).
edge(sts524,sts133).
edge(sts524,sts525).
edge(sts524,sts522).
edge(sts524,sts523).
edge(sts525,sts526).
edge(sts525,sts524).
edge(sts526,sts525).
edge(sts529,sts530).
edge(sts529,sts533).
edge(sts529,sts534).
edge(sts529,sts535).
edge(sts529,sts448).
edge(sts529,sts449).
edge(sts529,sts531).
edge(sts530,sts529).
edge(sts530,sts533).
edge(sts530,sts534).
edge(sts530,sts535).
edge(sts530,sts531).
edge(sts531,sts529).
edge(sts531,sts530).
edge(sts533,sts529).
edge(sts533,sts530).
edge(sts533,sts534).
edge(sts533,sts535).
edge(sts534,sts529).
edge(sts534,sts530).
edge(sts534,sts533).
edge(sts534,sts535).
edge(sts534,sts536).
edge(sts534,sts537).
edge(sts534,sts538).
edge(sts535,sts529).
edge(sts535,sts530).
edge(sts535,sts533).
edge(sts535,sts534).
edge(sts535,sts536).
edge(sts535,sts538).
edge(sts535,sts537).
edge(sts536,sts534).
edge(sts536,sts537).
edge(sts536,sts538).
edge(sts536,sts535).
edge(sts537,sts534).
edge(sts537,sts536).
edge(sts537,sts538).
edge(sts537,sts535).
edge(sts538,sts539).
edge(sts538,sts540).
edge(sts538,sts541).
edge(sts538,sts542).
edge(sts538,sts543).
edge(sts538,sts534).
edge(sts538,sts536).
edge(sts538,sts537).
edge(sts538,sts535).
edge(sts539,sts538).
edge(sts539,sts540).
edge(sts539,sts541).
edge(sts539,sts542).
edge(sts539,sts543).
edge(sts540,sts541).
edge(sts540,sts542).
edge(sts540,sts543).
edge(sts540,sts538).
edge(sts540,sts539).
edge(sts541,sts540).
edge(sts541,sts542).
edge(sts541,sts543).
edge(sts541,sts538).
edge(sts541,sts539).
edge(sts542,sts540).
edge(sts542,sts541).
edge(sts542,sts543).
edge(sts542,sts538).
edge(sts542,sts539).
edge(sts543,sts544).
edge(sts543,sts545).
edge(sts543,sts540).
edge(sts543,sts541).
edge(sts543,sts542).
edge(sts543,sts538).
edge(sts543,sts539).
edge(sts544,sts543).
edge(sts544,sts545).
edge(sts545,sts543).
edge(sts545,sts544).
edge(sts546,sts547).
edge(sts547,sts546).
edge(sts548,sts550).
edge(sts548,sts551).
edge(sts548,sts552).
edge(sts548,sts553).
edge(sts548,sts549).
edge(sts548,sts554).
edge(sts548,sts555).
edge(sts549,sts550).
edge(sts549,sts92).
edge(sts549,sts93).
edge(sts549,sts94).
edge(sts549,sts552).
edge(sts549,sts553).
edge(sts549,sts548).
edge(sts549,sts551).
edge(sts549,sts554).
edge(sts549,sts555).
edge(sts550,sts549).
edge(sts550,sts548).
edge(sts550,sts551).
edge(sts550,sts552).
edge(sts550,sts553).
edge(sts551,sts548).
edge(sts551,sts550).
edge(sts551,sts552).
edge(sts551,sts553).
edge(sts551,sts549).
edge(sts551,sts554).
edge(sts551,sts555).
edge(sts551,sts556).
edge(sts551,sts557).
edge(sts552,sts548).
edge(sts552,sts550).
edge(sts552,sts551).
edge(sts552,sts553).
edge(sts552,sts92).
edge(sts552,sts93).
edge(sts552,sts94).
edge(sts552,sts549).
edge(sts552,sts554).
edge(sts552,sts555).
edge(sts552,sts556).
edge(sts552,sts557).
edge(sts553,sts548).
edge(sts553,sts550).
edge(sts553,sts551).
edge(sts553,sts552).
edge(sts553,sts92).
edge(sts553,sts93).
edge(sts553,sts94).
edge(sts553,sts549).
edge(sts553,sts554).
edge(sts554,sts548).
edge(sts554,sts549).
edge(sts554,sts551).
edge(sts554,sts552).
edge(sts554,sts555).
edge(sts554,sts553).
edge(sts555,sts556).
edge(sts555,sts557).
edge(sts555,sts558).
edge(sts555,sts548).
edge(sts555,sts549).
edge(sts555,sts551).
edge(sts555,sts552).
edge(sts555,sts554).
edge(sts555,sts559).
edge(sts556,sts557).
edge(sts556,sts558).
edge(sts556,sts559).
edge(sts556,sts555).
edge(sts556,sts560).
edge(sts556,sts561).
edge(sts556,sts551).
edge(sts556,sts552).
edge(sts557,sts556).
edge(sts557,sts558).
edge(sts557,sts559).
edge(sts557,sts555).
edge(sts557,sts560).
edge(sts557,sts561).
edge(sts557,sts551).
edge(sts557,sts552).
edge(sts558,sts556).
edge(sts558,sts557).
edge(sts558,sts559).
edge(sts558,sts555).
edge(sts558,sts560).
edge(sts558,sts561).
edge(sts559,sts556).
edge(sts559,sts557).
edge(sts559,sts558).
edge(sts559,sts560).
edge(sts559,sts561).
edge(sts559,sts555).
edge(sts559,sts562).
edge(sts560,sts562).
edge(sts560,sts563).
edge(sts560,sts564).
edge(sts560,sts565).
edge(sts560,sts556).
edge(sts560,sts557).
edge(sts560,sts558).
edge(sts560,sts559).
edge(sts560,sts561).
edge(sts560,sts286).
edge(sts560,sts287).
edge(sts560,sts288).
edge(sts561,sts562).
edge(sts561,sts563).
edge(sts561,sts565).
edge(sts561,sts566).
edge(sts561,sts568).
edge(sts561,sts556).
edge(sts561,sts557).
edge(sts561,sts558).
edge(sts561,sts559).
edge(sts561,sts560).
edge(sts562,sts561).
edge(sts562,sts563).
edge(sts562,sts565).
edge(sts562,sts566).
edge(sts562,sts568).
edge(sts562,sts564).
edge(sts562,sts567).
edge(sts562,sts569).
edge(sts562,sts560).
edge(sts562,sts559).
edge(sts563,sts561).
edge(sts563,sts562).
edge(sts563,sts565).
edge(sts563,sts566).
edge(sts563,sts568).
edge(sts563,sts564).
edge(sts563,sts567).
edge(sts563,sts569).
edge(sts563,sts560).
edge(sts564,sts565).
edge(sts564,sts566).
edge(sts564,sts562).
edge(sts564,sts563).
edge(sts564,sts567).
edge(sts564,sts568).
edge(sts564,sts569).
edge(sts564,sts560).
edge(sts565,sts561).
edge(sts565,sts562).
edge(sts565,sts563).
edge(sts565,sts566).
edge(sts565,sts568).
edge(sts565,sts564).
edge(sts565,sts567).
edge(sts565,sts560).
edge(sts566,sts561).
edge(sts566,sts562).
edge(sts566,sts563).
edge(sts566,sts565).
edge(sts566,sts568).
edge(sts566,sts564).
edge(sts566,sts567).
edge(sts566,sts569).
edge(sts567,sts568).
edge(sts567,sts562).
edge(sts567,sts563).
edge(sts567,sts564).
edge(sts567,sts565).
edge(sts567,sts566).
edge(sts567,sts569).
edge(sts568,sts561).
edge(sts568,sts562).
edge(sts568,sts563).
edge(sts568,sts565).
edge(sts568,sts566).
edge(sts568,sts569).
edge(sts568,sts570).
edge(sts568,sts572).
edge(sts568,sts573).
edge(sts568,sts567).
edge(sts568,sts564).
edge(sts568,sts161).
edge(sts569,sts570).
edge(sts569,sts571).
edge(sts569,sts568).
edge(sts569,sts572).
edge(sts569,sts573).
edge(sts569,sts562).
edge(sts569,sts563).
edge(sts569,sts564).
edge(sts569,sts566).
edge(sts569,sts567).
edge(sts570,sts571).
edge(sts570,sts573).
edge(sts570,sts576).
edge(sts570,sts569).
edge(sts570,sts568).
edge(sts570,sts572).
edge(sts571,sts570).
edge(sts571,sts573).
edge(sts571,sts576).
edge(sts571,sts569).
edge(sts572,sts573).
edge(sts572,sts575).
edge(sts572,sts568).
edge(sts572,sts569).
edge(sts572,sts570).
edge(sts573,sts570).
edge(sts573,sts571).
edge(sts573,sts576).
edge(sts573,sts572).
edge(sts573,sts575).
edge(sts573,sts568).
edge(sts573,sts569).
edge(sts573,sts574).
edge(sts574,sts575).
edge(sts574,sts576).
edge(sts574,sts573).
edge(sts575,sts572).
edge(sts575,sts573).
edge(sts575,sts574).
edge(sts575,sts576).
edge(sts576,sts570).
edge(sts576,sts571).
edge(sts576,sts573).
edge(sts576,sts225).
edge(sts576,sts577).
edge(sts576,sts574).
edge(sts576,sts575).
edge(sts577,sts225).
edge(sts577,sts576).
edge(sts577,sts826).
edge(sts577,sts827).
edge(sts577,sts829).
edge(sts578,sts579).
edge(sts578,sts580).
edge(sts578,sts581).
edge(sts578,sts582).
edge(sts579,sts578).
edge(sts579,sts580).
edge(sts579,sts581).
edge(sts579,sts582).
edge(sts580,sts578).
edge(sts580,sts579).
edge(sts580,sts581).
edge(sts580,sts582).
edge(sts581,sts578).
edge(sts581,sts579).
edge(sts581,sts580).
edge(sts581,sts582).
edge(sts581,sts583).
edge(sts582,sts578).
edge(sts582,sts579).
edge(sts582,sts581).
edge(sts582,sts583).
edge(sts582,sts580).
edge(sts583,sts581).
edge(sts583,sts582).
edge(sts584,sts585).
edge(sts584,sts586).
edge(sts584,sts587).
edge(sts585,sts584).
edge(sts585,sts586).
edge(sts585,sts587).
edge(sts586,sts584).
edge(sts586,sts585).
edge(sts586,sts587).
edge(sts587,sts584).
edge(sts587,sts585).
edge(sts587,sts586).
edge(sts588,sts590).
edge(sts589,sts590).
edge(sts589,sts592).
edge(sts589,sts593).
edge(sts589,sts595).
edge(sts589,sts596).
edge(sts589,sts597).
edge(sts589,sts591).
edge(sts589,sts594).
edge(sts589,sts598).
edge(sts589,sts599).
edge(sts590,sts589).
edge(sts590,sts592).
edge(sts590,sts593).
edge(sts590,sts595).
edge(sts590,sts596).
edge(sts590,sts597).
edge(sts590,sts591).
edge(sts590,sts594).
edge(sts590,sts598).
edge(sts590,sts599).
edge(sts590,sts588).
edge(sts591,sts592).
edge(sts591,sts593).
edge(sts591,sts594).
edge(sts591,sts595).
edge(sts591,sts598).
edge(sts591,sts589).
edge(sts591,sts590).
edge(sts591,sts596).
edge(sts591,sts599).
edge(sts591,sts597).
edge(sts592,sts591).
edge(sts592,sts593).
edge(sts592,sts594).
edge(sts592,sts595).
edge(sts592,sts598).
edge(sts592,sts589).
edge(sts592,sts590).
edge(sts592,sts596).
edge(sts592,sts597).
edge(sts592,sts599).
edge(sts593,sts591).
edge(sts593,sts592).
edge(sts593,sts594).
edge(sts593,sts595).
edge(sts593,sts598).
edge(sts593,sts589).
edge(sts593,sts590).
edge(sts593,sts596).
edge(sts593,sts597).
edge(sts593,sts599).
edge(sts594,sts591).
edge(sts594,sts592).
edge(sts594,sts593).
edge(sts594,sts595).
edge(sts594,sts598).
edge(sts594,sts589).
edge(sts594,sts590).
edge(sts594,sts596).
edge(sts594,sts599).
edge(sts594,sts597).
edge(sts595,sts591).
edge(sts595,sts592).
edge(sts595,sts593).
edge(sts595,sts594).
edge(sts595,sts598).
edge(sts595,sts589).
edge(sts595,sts590).
edge(sts595,sts596).
edge(sts595,sts597).
edge(sts595,sts599).
edge(sts596,sts589).
edge(sts596,sts590).
edge(sts596,sts592).
edge(sts596,sts593).
edge(sts596,sts595).
edge(sts596,sts597).
edge(sts596,sts591).
edge(sts596,sts594).
edge(sts596,sts598).
edge(sts596,sts599).
edge(sts597,sts589).
edge(sts597,sts590).
edge(sts597,sts592).
edge(sts597,sts593).
edge(sts597,sts595).
edge(sts597,sts596).
edge(sts597,sts594).
edge(sts597,sts598).
edge(sts597,sts591).
edge(sts598,sts591).
edge(sts598,sts592).
edge(sts598,sts593).
edge(sts598,sts594).
edge(sts598,sts595).
edge(sts598,sts589).
edge(sts598,sts590).
edge(sts598,sts596).
edge(sts598,sts599).
edge(sts598,sts597).
edge(sts599,sts600).
edge(sts599,sts601).
edge(sts599,sts602).
edge(sts599,sts603).
edge(sts599,sts605).
edge(sts599,sts606).
edge(sts599,sts589).
edge(sts599,sts590).
edge(sts599,sts591).
edge(sts599,sts592).
edge(sts599,sts593).
edge(sts599,sts594).
edge(sts599,sts595).
edge(sts599,sts596).
edge(sts599,sts598).
edge(sts599,sts604).
edge(sts600,sts599).
edge(sts600,sts601).
edge(sts600,sts602).
edge(sts600,sts603).
edge(sts600,sts605).
edge(sts600,sts606).
edge(sts600,sts607).
edge(sts600,sts604).
edge(sts601,sts602).
edge(sts601,sts603).
edge(sts601,sts604).
edge(sts601,sts606).
edge(sts601,sts599).
edge(sts601,sts600).
edge(sts601,sts605).
edge(sts601,sts607).
edge(sts602,sts601).
edge(sts602,sts603).
edge(sts602,sts604).
edge(sts602,sts606).
edge(sts602,sts599).
edge(sts602,sts600).
edge(sts602,sts605).
edge(sts602,sts607).
edge(sts603,sts601).
edge(sts603,sts602).
edge(sts603,sts604).
edge(sts603,sts606).
edge(sts603,sts599).
edge(sts603,sts600).
edge(sts603,sts605).
edge(sts603,sts607).
edge(sts604,sts601).
edge(sts604,sts602).
edge(sts604,sts603).
edge(sts604,sts606).
edge(sts604,sts605).
edge(sts604,sts607).
edge(sts604,sts600).
edge(sts604,sts599).
edge(sts605,sts599).
edge(sts605,sts600).
edge(sts605,sts601).
edge(sts605,sts602).
edge(sts605,sts603).
edge(sts605,sts606).
edge(sts605,sts604).
edge(sts605,sts607).
edge(sts606,sts601).
edge(sts606,sts602).
edge(sts606,sts603).
edge(sts606,sts604).
edge(sts606,sts599).
edge(sts606,sts600).
edge(sts606,sts605).
edge(sts606,sts607).
edge(sts607,sts608).
edge(sts607,sts600).
edge(sts607,sts601).
edge(sts607,sts602).
edge(sts607,sts603).
edge(sts607,sts606).
edge(sts607,sts604).
edge(sts607,sts605).
edge(sts607,sts609).
edge(sts608,sts609).
edge(sts608,sts610).
edge(sts608,sts611).
edge(sts608,sts612).
edge(sts608,sts613).
edge(sts608,sts607).
edge(sts609,sts610).
edge(sts609,sts611).
edge(sts609,sts612).
edge(sts609,sts613).
edge(sts609,sts608).
edge(sts609,sts607).
edge(sts610,sts609).
edge(sts610,sts611).
edge(sts610,sts612).
edge(sts610,sts613).
edge(sts610,sts608).
edge(sts611,sts609).
edge(sts611,sts610).
edge(sts611,sts612).
edge(sts611,sts613).
edge(sts611,sts608).
edge(sts611,sts614).
edge(sts611,sts615).
edge(sts612,sts609).
edge(sts612,sts610).
edge(sts612,sts611).
edge(sts612,sts613).
edge(sts612,sts608).
edge(sts613,sts609).
edge(sts613,sts610).
edge(sts613,sts611).
edge(sts613,sts612).
edge(sts613,sts608).
edge(sts613,sts614).
edge(sts613,sts615).
edge(sts614,sts615).
edge(sts614,sts616).
edge(sts614,sts611).
edge(sts614,sts613).
edge(sts615,sts616).
edge(sts615,sts614).
edge(sts615,sts611).
edge(sts615,sts613).
edge(sts616,sts615).
edge(sts616,sts614).
edge(sts617,sts618).
edge(sts617,sts619).
edge(sts618,sts617).
edge(sts618,sts619).
edge(sts619,sts617).
edge(sts619,sts618).
edge(sts620,sts621).
edge(sts621,sts620).
edge(sts623,sts624).
edge(sts623,sts625).
edge(sts624,sts623).
edge(sts624,sts625).
edge(sts624,sts176).
edge(sts624,sts626).
edge(sts625,sts623).
edge(sts625,sts624).
edge(sts625,sts626).
edge(sts626,sts628).
edge(sts626,sts627).
edge(sts626,sts629).
edge(sts626,sts624).
edge(sts626,sts625).
edge(sts627,sts629).
edge(sts627,sts630).
edge(sts627,sts626).
edge(sts627,sts628).
edge(sts627,sts458).
edge(sts627,sts459).
edge(sts627,sts460).
edge(sts628,sts626).
edge(sts628,sts627).
edge(sts628,sts630).
edge(sts628,sts629).
edge(sts629,sts627).
edge(sts629,sts630).
edge(sts629,sts628).
edge(sts629,sts626).
edge(sts629,sts458).
edge(sts629,sts459).
edge(sts629,sts460).
edge(sts630,sts627).
edge(sts630,sts629).
edge(sts630,sts628).
edge(sts632,sts633).
edge(sts632,sts143).
edge(sts632,sts144).
edge(sts632,sts145).
edge(sts632,sts146).
edge(sts632,sts634).
edge(sts633,sts632).
edge(sts633,sts634).
edge(sts634,sts635).
edge(sts634,sts636).
edge(sts634,sts633).
edge(sts634,sts632).
edge(sts635,sts634).
edge(sts635,sts636).
edge(sts636,sts634).
edge(sts636,sts635).
edge(sts636,sts637).
edge(sts637,sts636).
edge(sts638,sts639).
edge(sts638,sts641).
edge(sts638,sts642).
edge(sts638,sts640).
edge(sts639,sts638).
edge(sts639,sts641).
edge(sts639,sts642).
edge(sts639,sts640).
edge(sts640,sts641).
edge(sts640,sts642).
edge(sts640,sts638).
edge(sts640,sts639).
edge(sts641,sts640).
edge(sts641,sts642).
edge(sts641,sts638).
edge(sts641,sts639).
edge(sts642,sts640).
edge(sts642,sts641).
edge(sts642,sts638).
edge(sts642,sts639).
edge(sts643,sts228).
edge(sts643,sts229).
edge(sts643,sts230).
edge(sts643,sts644).
edge(sts643,sts645).
edge(sts644,sts645).
edge(sts644,sts228).
edge(sts644,sts229).
edge(sts644,sts230).
edge(sts644,sts643).
edge(sts645,sts644).
edge(sts645,sts228).
edge(sts645,sts229).
edge(sts645,sts230).
edge(sts645,sts643).
edge(sts646,sts647).
edge(sts647,sts371).
edge(sts647,sts648).
edge(sts647,sts649).
edge(sts647,sts651).
edge(sts647,sts652).
edge(sts647,sts653).
edge(sts647,sts646).
edge(sts648,sts647).
edge(sts648,sts649).
edge(sts648,sts651).
edge(sts648,sts652).
edge(sts648,sts653).
edge(sts649,sts647).
edge(sts649,sts648).
edge(sts649,sts651).
edge(sts649,sts652).
edge(sts649,sts653).
edge(sts650,sts651).
edge(sts650,sts652).
edge(sts650,sts653).
edge(sts651,sts647).
edge(sts651,sts648).
edge(sts651,sts649).
edge(sts651,sts652).
edge(sts651,sts653).
edge(sts651,sts654).
edge(sts651,sts650).
edge(sts652,sts653).
edge(sts652,sts654).
edge(sts652,sts655).
edge(sts652,sts647).
edge(sts652,sts648).
edge(sts652,sts649).
edge(sts652,sts651).
edge(sts652,sts650).
edge(sts653,sts652).
edge(sts653,sts654).
edge(sts653,sts655).
edge(sts653,sts647).
edge(sts653,sts648).
edge(sts653,sts649).
edge(sts653,sts651).
edge(sts653,sts650).
edge(sts654,sts652).
edge(sts654,sts653).
edge(sts654,sts655).
edge(sts654,sts651).
edge(sts655,sts652).
edge(sts655,sts653).
edge(sts655,sts654).
edge(sts656,sts657).
edge(sts656,sts659).
edge(sts656,sts661).
edge(sts656,sts658).
edge(sts656,sts660).
edge(sts657,sts656).
edge(sts657,sts659).
edge(sts657,sts661).
edge(sts657,sts658).
edge(sts657,sts660).
edge(sts658,sts656).
edge(sts658,sts657).
edge(sts658,sts659).
edge(sts658,sts660).
edge(sts659,sts656).
edge(sts659,sts657).
edge(sts659,sts661).
edge(sts659,sts660).
edge(sts659,sts658).
edge(sts659,sts284).
edge(sts659,sts286).
edge(sts659,sts287).
edge(sts659,sts288).
edge(sts660,sts659).
edge(sts660,sts661).
edge(sts660,sts656).
edge(sts660,sts657).
edge(sts660,sts658).
edge(sts660,sts284).
edge(sts660,sts286).
edge(sts660,sts287).
edge(sts660,sts288).
edge(sts661,sts662).
edge(sts661,sts663).
edge(sts661,sts656).
edge(sts661,sts657).
edge(sts661,sts659).
edge(sts661,sts660).
edge(sts661,sts284).
edge(sts661,sts286).
edge(sts661,sts287).
edge(sts661,sts288).
edge(sts662,sts661).
edge(sts662,sts663).
edge(sts663,sts664).
edge(sts663,sts661).
edge(sts663,sts662).
edge(sts664,sts663).
edge(sts664,sts666).
edge(sts664,sts667).
edge(sts664,sts665).
edge(sts664,sts668).
edge(sts664,sts669).
edge(sts665,sts664).
edge(sts665,sts667).
edge(sts665,sts668).
edge(sts665,sts669).
edge(sts666,sts668).
edge(sts666,sts669).
edge(sts666,sts664).
edge(sts666,sts667).
edge(sts667,sts668).
edge(sts667,sts669).
edge(sts667,sts664).
edge(sts667,sts666).
edge(sts667,sts665).
edge(sts668,sts666).
edge(sts668,sts669).
edge(sts668,sts667).
edge(sts668,sts664).
edge(sts668,sts665).
edge(sts669,sts666).
edge(sts669,sts668).
edge(sts669,sts667).
edge(sts669,sts664).
edge(sts669,sts665).
edge(sts670,sts671).
edge(sts670,sts672).
edge(sts670,sts673).
edge(sts670,sts674).
edge(sts670,sts675).
edge(sts671,sts670).
edge(sts671,sts672).
edge(sts671,sts673).
edge(sts671,sts674).
edge(sts671,sts675).
edge(sts672,sts670).
edge(sts672,sts671).
edge(sts672,sts673).
edge(sts672,sts674).
edge(sts672,sts675).
edge(sts673,sts670).
edge(sts673,sts671).
edge(sts673,sts672).
edge(sts673,sts674).
edge(sts673,sts675).
edge(sts674,sts670).
edge(sts674,sts671).
edge(sts674,sts672).
edge(sts674,sts673).
edge(sts674,sts675).
edge(sts675,sts670).
edge(sts675,sts671).
edge(sts675,sts672).
edge(sts675,sts673).
edge(sts675,sts674).
edge(sts675,sts450).
edge(sts675,sts451).
edge(sts675,sts452).
edge(sts675,sts676).
edge(sts676,sts450).
edge(sts676,sts451).
edge(sts676,sts452).
edge(sts676,sts675).
edge(sts677,sts678).
edge(sts677,sts679).
edge(sts677,sts681).
edge(sts677,sts682).
edge(sts677,sts683).
edge(sts677,sts680).
edge(sts678,sts677).
edge(sts678,sts679).
edge(sts678,sts681).
edge(sts678,sts682).
edge(sts678,sts683).
edge(sts678,sts680).
edge(sts679,sts677).
edge(sts679,sts678).
edge(sts679,sts681).
edge(sts679,sts682).
edge(sts679,sts683).
edge(sts679,sts680).
edge(sts680,sts678).
edge(sts680,sts679).
edge(sts680,sts681).
edge(sts680,sts682).
edge(sts680,sts677).
edge(sts680,sts683).
edge(sts681,sts677).
edge(sts681,sts678).
edge(sts681,sts679).
edge(sts681,sts682).
edge(sts681,sts683).
edge(sts681,sts680).
edge(sts682,sts677).
edge(sts682,sts678).
edge(sts682,sts679).
edge(sts682,sts681).
edge(sts682,sts683).
edge(sts682,sts680).
edge(sts683,sts677).
edge(sts683,sts678).
edge(sts683,sts679).
edge(sts683,sts681).
edge(sts683,sts682).
edge(sts683,sts680).
edge(sts684,sts685).
edge(sts684,sts686).
edge(sts685,sts686).
edge(sts685,sts687).
edge(sts685,sts293).
edge(sts685,sts684).
edge(sts685,sts472).
edge(sts686,sts685).
edge(sts686,sts687).
edge(sts686,sts684).
edge(sts686,sts472).
edge(sts687,sts685).
edge(sts687,sts686).
edge(sts688,sts690).
edge(sts688,sts689).
edge(sts689,sts688).
edge(sts689,sts690).
edge(sts689,sts691).
edge(sts690,sts688).
edge(sts690,sts689).
edge(sts690,sts691).
edge(sts691,sts692).
edge(sts691,sts689).
edge(sts691,sts690).
edge(sts692,sts691).
edge(sts693,sts694).
edge(sts693,sts696).
edge(sts693,sts697).
edge(sts693,sts695).
edge(sts694,sts693).
edge(sts694,sts696).
edge(sts694,sts697).
edge(sts694,sts695).
edge(sts695,sts696).
edge(sts695,sts697).
edge(sts695,sts693).
edge(sts695,sts694).
edge(sts695,sts698).
edge(sts696,sts693).
edge(sts696,sts694).
edge(sts696,sts695).
edge(sts696,sts697).
edge(sts696,sts698).
edge(sts697,sts695).
edge(sts697,sts696).
edge(sts697,sts693).
edge(sts697,sts694).
edge(sts697,sts698).
edge(sts698,sts700).
edge(sts698,sts701).
edge(sts698,sts703).
edge(sts698,sts704).
edge(sts698,sts699).
edge(sts698,sts702).
edge(sts698,sts695).
edge(sts698,sts696).
edge(sts698,sts697).
edge(sts699,sts698).
edge(sts699,sts700).
edge(sts699,sts701).
edge(sts699,sts702).
edge(sts700,sts702).
edge(sts700,sts703).
edge(sts700,sts704).
edge(sts700,sts698).
edge(sts700,sts701).
edge(sts700,sts699).
edge(sts701,sts698).
edge(sts701,sts700).
edge(sts701,sts703).
edge(sts701,sts704).
edge(sts701,sts699).
edge(sts701,sts702).
edge(sts701,sts705).
edge(sts701,sts707).
edge(sts702,sts703).
edge(sts702,sts704).
edge(sts702,sts705).
edge(sts702,sts706).
edge(sts702,sts707).
edge(sts702,sts700).
edge(sts702,sts698).
edge(sts702,sts699).
edge(sts702,sts701).
edge(sts703,sts702).
edge(sts703,sts704).
edge(sts703,sts705).
edge(sts703,sts706).
edge(sts703,sts707).
edge(sts703,sts700).
edge(sts703,sts698).
edge(sts703,sts701).
edge(sts704,sts702).
edge(sts704,sts703).
edge(sts704,sts705).
edge(sts704,sts706).
edge(sts704,sts707).
edge(sts704,sts700).
edge(sts704,sts698).
edge(sts704,sts701).
edge(sts705,sts702).
edge(sts705,sts703).
edge(sts705,sts704).
edge(sts705,sts706).
edge(sts705,sts707).
edge(sts705,sts701).
edge(sts706,sts707).
edge(sts706,sts708).
edge(sts706,sts702).
edge(sts706,sts703).
edge(sts706,sts704).
edge(sts706,sts705).
edge(sts707,sts706).
edge(sts707,sts708).
edge(sts707,sts702).
edge(sts707,sts703).
edge(sts707,sts704).
edge(sts707,sts705).
edge(sts707,sts701).
edge(sts708,sts706).
edge(sts708,sts707).
edge(sts708,sts709).
edge(sts708,sts710).
edge(sts709,sts708).
edge(sts709,sts710).
edge(sts710,sts708).
edge(sts710,sts709).
edge(sts711,sts713).
edge(sts711,sts714).
edge(sts711,sts712).
edge(sts711,sts716).
edge(sts711,sts715).
edge(sts712,sts711).
edge(sts712,sts714).
edge(sts712,sts716).
edge(sts712,sts713).
edge(sts712,sts715).
edge(sts713,sts711).
edge(sts713,sts714).
edge(sts713,sts712).
edge(sts713,sts715).
edge(sts713,sts716).
edge(sts714,sts711).
edge(sts714,sts713).
edge(sts714,sts712).
edge(sts714,sts716).
edge(sts714,sts715).
edge(sts715,sts711).
edge(sts715,sts712).
edge(sts715,sts713).
edge(sts715,sts714).
edge(sts715,sts716).
edge(sts715,sts717).
edge(sts715,sts718).
edge(sts716,sts711).
edge(sts716,sts712).
edge(sts716,sts714).
edge(sts716,sts713).
edge(sts716,sts715).
edge(sts716,sts717).
edge(sts716,sts718).
edge(sts717,sts715).
edge(sts717,sts716).
edge(sts717,sts718).
edge(sts718,sts720).
edge(sts718,sts715).
edge(sts718,sts716).
edge(sts718,sts717).
edge(sts718,sts722).
edge(sts718,sts723).
edge(sts718,sts719).
edge(sts719,sts720).
edge(sts719,sts721).
edge(sts719,sts718).
edge(sts720,sts718).
edge(sts720,sts719).
edge(sts720,sts721).
edge(sts720,sts722).
edge(sts720,sts723).
edge(sts721,sts719).
edge(sts721,sts720).
edge(sts722,sts723).
edge(sts722,sts724).
edge(sts722,sts718).
edge(sts722,sts720).
edge(sts723,sts722).
edge(sts723,sts724).
edge(sts723,sts718).
edge(sts723,sts720).
edge(sts724,sts722).
edge(sts724,sts723).
edge(sts724,sts725).
edge(sts725,sts726).
edge(sts725,sts727).
edge(sts725,sts724).
edge(sts725,sts757).
edge(sts726,sts727).
edge(sts726,sts728).
edge(sts726,sts729).
edge(sts726,sts730).
edge(sts726,sts725).
edge(sts727,sts726).
edge(sts727,sts728).
edge(sts727,sts729).
edge(sts727,sts730).
edge(sts727,sts725).
edge(sts728,sts729).
edge(sts728,sts730).
edge(sts728,sts726).
edge(sts728,sts727).
edge(sts729,sts728).
edge(sts729,sts730).
edge(sts729,sts726).
edge(sts729,sts727).
edge(sts729,sts839).
edge(sts729,sts239).
edge(sts730,sts728).
edge(sts730,sts729).
edge(sts730,sts726).
edge(sts730,sts727).
edge(sts730,sts839).
edge(sts730,sts239).
edge(sts731,sts732).
edge(sts731,sts733).
edge(sts731,sts321).
edge(sts732,sts731).
edge(sts732,sts733).
edge(sts732,sts734).
edge(sts732,sts735).
edge(sts733,sts731).
edge(sts733,sts732).
edge(sts733,sts734).
edge(sts733,sts735).
edge(sts734,sts735).
edge(sts734,sts270).
edge(sts734,sts732).
edge(sts734,sts733).
edge(sts735,sts734).
edge(sts735,sts732).
edge(sts735,sts733).
edge(sts737,sts738).
edge(sts738,sts737).
edge(sts739,sts740).
edge(sts739,sts741).
edge(sts739,sts742).
edge(sts739,sts745).
edge(sts740,sts739).
edge(sts740,sts741).
edge(sts740,sts742).
edge(sts740,sts745).
edge(sts740,sts743).
edge(sts740,sts744).
edge(sts741,sts739).
edge(sts741,sts740).
edge(sts741,sts742).
edge(sts741,sts745).
edge(sts741,sts743).
edge(sts741,sts744).
edge(sts741,sts746).
edge(sts741,sts747).
edge(sts742,sts739).
edge(sts742,sts740).
edge(sts742,sts741).
edge(sts742,sts745).
edge(sts742,sts744).
edge(sts742,sts746).
edge(sts742,sts748).
edge(sts742,sts743).
edge(sts742,sts747).
edge(sts743,sts742).
edge(sts743,sts744).
edge(sts743,sts745).
edge(sts743,sts746).
edge(sts743,sts747).
edge(sts743,sts748).
edge(sts743,sts740).
edge(sts743,sts741).
edge(sts744,sts745).
edge(sts744,sts747).
edge(sts744,sts748).
edge(sts744,sts742).
edge(sts744,sts746).
edge(sts744,sts743).
edge(sts744,sts740).
edge(sts744,sts741).
edge(sts745,sts744).
edge(sts745,sts747).
edge(sts745,sts748).
edge(sts745,sts739).
edge(sts745,sts740).
edge(sts745,sts741).
edge(sts745,sts742).
edge(sts745,sts746).
edge(sts745,sts743).
edge(sts746,sts747).
edge(sts746,sts748).
edge(sts746,sts749).
edge(sts746,sts742).
edge(sts746,sts744).
edge(sts746,sts745).
edge(sts746,sts743).
edge(sts746,sts750).
edge(sts746,sts741).
edge(sts747,sts746).
edge(sts747,sts748).
edge(sts747,sts749).
edge(sts747,sts744).
edge(sts747,sts745).
edge(sts747,sts750).
edge(sts747,sts743).
edge(sts747,sts741).
edge(sts747,sts742).
edge(sts748,sts746).
edge(sts748,sts747).
edge(sts748,sts749).
edge(sts748,sts744).
edge(sts748,sts745).
edge(sts748,sts750).
edge(sts748,sts742).
edge(sts748,sts743).
edge(sts749,sts746).
edge(sts749,sts747).
edge(sts749,sts748).
edge(sts749,sts750).
edge(sts750,sts747).
edge(sts750,sts748).
edge(sts750,sts749).
edge(sts750,sts746).
edge(sts751,sts752).
edge(sts752,sts751).
edge(sts753,sts754).
edge(sts753,sts755).
edge(sts753,sts756).
edge(sts754,sts753).
edge(sts754,sts755).
edge(sts754,sts756).
edge(sts754,sts233).
edge(sts754,sts234).
edge(sts754,sts235).
edge(sts755,sts753).
edge(sts755,sts754).
edge(sts755,sts756).
edge(sts756,sts753).
edge(sts756,sts754).
edge(sts756,sts755).
edge(sts756,sts233).
edge(sts756,sts234).
edge(sts756,sts235).
edge(sts757,sts758).
edge(sts757,sts759).
edge(sts757,sts760).
edge(sts757,sts761).
edge(sts757,sts135).
edge(sts757,sts136).
edge(sts757,sts488).
edge(sts757,sts725).
edge(sts758,sts757).
edge(sts758,sts759).
edge(sts758,sts760).
edge(sts758,sts761).
edge(sts758,sts488).
edge(sts759,sts757).
edge(sts759,sts758).
edge(sts759,sts760).
edge(sts759,sts761).
edge(sts759,sts488).
edge(sts760,sts757).
edge(sts760,sts758).
edge(sts760,sts759).
edge(sts760,sts761).
edge(sts760,sts135).
edge(sts760,sts136).
edge(sts760,sts488).
edge(sts761,sts757).
edge(sts761,sts760).
edge(sts761,sts758).
edge(sts761,sts759).
edge(sts761,sts285).
edge(sts761,sts286).
edge(sts761,sts287).
edge(sts762,sts763).
edge(sts763,sts762).
edge(sts764,sts765).
edge(sts764,sts766).
edge(sts764,sts767).
edge(sts765,sts764).
edge(sts765,sts766).
edge(sts765,sts767).
edge(sts766,sts764).
edge(sts766,sts765).
edge(sts766,sts767).
edge(sts767,sts764).
edge(sts767,sts765).
edge(sts767,sts766).
edge(sts767,sts770).
edge(sts767,sts768).
edge(sts767,sts769).
edge(sts768,sts769).
edge(sts768,sts771).
edge(sts768,sts767).
edge(sts769,sts770).
edge(sts769,sts771).
edge(sts769,sts772).
edge(sts769,sts773).
edge(sts769,sts768).
edge(sts769,sts767).
edge(sts770,sts203).
edge(sts770,sts769).
edge(sts770,sts771).
edge(sts770,sts772).
edge(sts770,sts773).
edge(sts770,sts767).
edge(sts771,sts769).
edge(sts771,sts770).
edge(sts771,sts772).
edge(sts771,sts773).
edge(sts771,sts768).
edge(sts771,sts457).
edge(sts771,sts458).
edge(sts772,sts773).
edge(sts772,sts769).
edge(sts772,sts770).
edge(sts772,sts771).
edge(sts772,sts774).
edge(sts773,sts774).
edge(sts773,sts775).
edge(sts773,sts772).
edge(sts773,sts769).
edge(sts773,sts770).
edge(sts773,sts771).
edge(sts774,sts773).
edge(sts774,sts775).
edge(sts774,sts776).
edge(sts774,sts778).
edge(sts774,sts779).
edge(sts774,sts772).
edge(sts775,sts773).
edge(sts775,sts774).
edge(sts775,sts776).
edge(sts775,sts778).
edge(sts775,sts777).
edge(sts775,sts86).
edge(sts776,sts775).
edge(sts776,sts778).
edge(sts776,sts774).
edge(sts776,sts779).
edge(sts776,sts777).
edge(sts777,sts778).
edge(sts777,sts779).
edge(sts777,sts775).
edge(sts777,sts776).
edge(sts778,sts777).
edge(sts778,sts779).
edge(sts778,sts775).
edge(sts778,sts776).
edge(sts778,sts774).
edge(sts779,sts777).
edge(sts779,sts778).
edge(sts779,sts774).
edge(sts779,sts776).
edge(sts780,sts781).
edge(sts780,sts782).
edge(sts780,sts783).
edge(sts780,sts784).
edge(sts780,sts785).
edge(sts781,sts783).
edge(sts781,sts785).
edge(sts781,sts782).
edge(sts781,sts780).
edge(sts781,sts784).
edge(sts782,sts783).
edge(sts782,sts784).
edge(sts782,sts785).
edge(sts782,sts781).
edge(sts782,sts780).
edge(sts783,sts782).
edge(sts783,sts784).
edge(sts783,sts785).
edge(sts783,sts781).
edge(sts783,sts780).
edge(sts783,sts786).
edge(sts784,sts782).
edge(sts784,sts783).
edge(sts784,sts785).
edge(sts784,sts786).
edge(sts784,sts780).
edge(sts784,sts781).
edge(sts785,sts782).
edge(sts785,sts783).
edge(sts785,sts784).
edge(sts785,sts781).
edge(sts785,sts786).
edge(sts785,sts780).
edge(sts786,sts785).
edge(sts786,sts784).
edge(sts786,sts787).
edge(sts786,sts788).
edge(sts786,sts789).
edge(sts786,sts783).
edge(sts787,sts788).
edge(sts787,sts789).
edge(sts787,sts790).
edge(sts787,sts791).
edge(sts787,sts786).
edge(sts788,sts787).
edge(sts788,sts789).
edge(sts788,sts790).
edge(sts788,sts791).
edge(sts788,sts786).
edge(sts789,sts787).
edge(sts789,sts788).
edge(sts789,sts790).
edge(sts789,sts791).
edge(sts789,sts786).
edge(sts790,sts787).
edge(sts790,sts788).
edge(sts790,sts789).
edge(sts790,sts791).
edge(sts790,sts792).
edge(sts790,sts793).
edge(sts791,sts787).
edge(sts791,sts788).
edge(sts791,sts789).
edge(sts791,sts790).
edge(sts791,sts792).
edge(sts791,sts793).
edge(sts792,sts793).
edge(sts792,sts790).
edge(sts792,sts791).
edge(sts792,sts794).
edge(sts793,sts792).
edge(sts793,sts790).
edge(sts793,sts791).
edge(sts793,sts794).
edge(sts794,sts795).
edge(sts794,sts796).
edge(sts794,sts797).
edge(sts794,sts792).
edge(sts794,sts793).
edge(sts795,sts794).
edge(sts795,sts796).
edge(sts795,sts797).
edge(sts796,sts794).
edge(sts796,sts795).
edge(sts796,sts797).
edge(sts797,sts794).
edge(sts797,sts795).
edge(sts797,sts796).
edge(sts797,sts798).
edge(sts798,sts799).
edge(sts798,sts797).
edge(sts799,sts798).
edge(sts800,sts801).
edge(sts800,sts802).
edge(sts801,sts802).
edge(sts801,sts800).
edge(sts802,sts801).
edge(sts802,sts800).
edge(sts803,sts804).
edge(sts803,sts805).
edge(sts804,sts803).
edge(sts804,sts501).
edge(sts804,sts805).
edge(sts805,sts803).
edge(sts805,sts804).
edge(sts806,sts807).
edge(sts806,sts808).
edge(sts806,sts809).
edge(sts807,sts808).
edge(sts807,sts806).
edge(sts807,sts809).
edge(sts808,sts809).
edge(sts808,sts807).
edge(sts808,sts806).
edge(sts809,sts808).
edge(sts809,sts806).
edge(sts809,sts807).
edge(sts810,sts812).
edge(sts810,sts813).
edge(sts810,sts272).
edge(sts810,sts811).
edge(sts811,sts272).
edge(sts811,sts810).
edge(sts811,sts812).
edge(sts811,sts813).
edge(sts812,sts810).
edge(sts812,sts813).
edge(sts812,sts272).
edge(sts812,sts811).
edge(sts813,sts810).
edge(sts813,sts812).
edge(sts813,sts811).
edge(sts814,sts816).
edge(sts814,sts815).
edge(sts815,sts816).
edge(sts815,sts818).
edge(sts815,sts819).
edge(sts815,sts814).
edge(sts815,sts817).
edge(sts816,sts814).
edge(sts816,sts815).
edge(sts816,sts818).
edge(sts816,sts819).
edge(sts817,sts815).
edge(sts817,sts819).
edge(sts817,sts820).
edge(sts818,sts815).
edge(sts818,sts816).
edge(sts818,sts819).
edge(sts819,sts820).
edge(sts819,sts821).
edge(sts819,sts822).
edge(sts819,sts815).
edge(sts819,sts816).
edge(sts819,sts818).
edge(sts819,sts817).
edge(sts820,sts819).
edge(sts820,sts821).
edge(sts820,sts822).
edge(sts820,sts817).
edge(sts821,sts819).
edge(sts821,sts820).
edge(sts821,sts822).
edge(sts822,sts819).
edge(sts822,sts820).
edge(sts822,sts821).
edge(sts822,sts823).
edge(sts823,sts822).
edge(sts824,sts825).
edge(sts824,sts826).
edge(sts824,sts827).
edge(sts825,sts824).
edge(sts825,sts826).
edge(sts825,sts827).
edge(sts826,sts824).
edge(sts826,sts825).
edge(sts826,sts827).
edge(sts826,sts577).
edge(sts826,sts829).
edge(sts827,sts828).
edge(sts827,sts824).
edge(sts827,sts825).
edge(sts827,sts826).
edge(sts827,sts577).
edge(sts827,sts829).
edge(sts827,sts830).
edge(sts827,sts831).
edge(sts828,sts827).
edge(sts828,sts829).
edge(sts828,sts830).
edge(sts828,sts831).
edge(sts828,sts832).
edge(sts829,sts577).
edge(sts829,sts826).
edge(sts829,sts827).
edge(sts829,sts828).
edge(sts829,sts830).
edge(sts829,sts831).
edge(sts829,sts832).
edge(sts829,sts71).
edge(sts829,sts73).
edge(sts830,sts828).
edge(sts830,sts829).
edge(sts830,sts831).
edge(sts830,sts832).
edge(sts830,sts827).
edge(sts831,sts828).
edge(sts831,sts829).
edge(sts831,sts830).
edge(sts831,sts832).
edge(sts831,sts827).
edge(sts832,sts833).
edge(sts832,sts834).
edge(sts832,sts828).
edge(sts832,sts829).
edge(sts832,sts830).
edge(sts832,sts831).
edge(sts833,sts832).
edge(sts833,sts834).
edge(sts833,sts835).
edge(sts833,sts836).
edge(sts833,sts837).
edge(sts834,sts832).
edge(sts834,sts833).
edge(sts835,sts836).
edge(sts835,sts837).
edge(sts835,sts833).
edge(sts836,sts835).
edge(sts836,sts837).
edge(sts836,sts833).
edge(sts837,sts835).
edge(sts837,sts836).
edge(sts837,sts833).
edge(sts837,sts839).
edge(sts837,sts840).
edge(sts837,sts838).
edge(sts838,sts840).
edge(sts838,sts839).
edge(sts838,sts837).
edge(sts839,sts840).
edge(sts839,sts838).
edge(sts839,sts837).
edge(sts839,sts729).
edge(sts839,sts730).
edge(sts840,sts838).
edge(sts840,sts839).
edge(sts840,sts837).
edge(sts841,sts447).
edge(sts841,sts842).
edge(sts841,sts203).
edge(sts841,sts204).
edge(sts841,sts205).
edge(sts842,sts447).
edge(sts842,sts841).
edge(sts843,sts844).
edge(sts843,sts5).
edge(sts844,sts845).
edge(sts844,sts846).
edge(sts844,sts14).
edge(sts844,sts15).
edge(sts844,sts847).
edge(sts844,sts843).
edge(sts845,sts844).
edge(sts845,sts846).
edge(sts845,sts14).
edge(sts845,sts15).
edge(sts845,sts847).
edge(sts846,sts844).
edge(sts846,sts845).
edge(sts846,sts14).
edge(sts846,sts15).
edge(sts846,sts847).
edge(sts847,sts848).
edge(sts847,sts849).
edge(sts847,sts844).
edge(sts847,sts845).
edge(sts847,sts846).
edge(sts848,sts847).
edge(sts848,sts849).
edge(sts848,sts850).
edge(sts849,sts850).
edge(sts849,sts847).
edge(sts849,sts848).
edge(sts850,sts849).
edge(sts850,sts851).
edge(sts850,sts852).
edge(sts850,sts853).
edge(sts850,sts854).
edge(sts850,sts855).
edge(sts850,sts848).
edge(sts851,sts850).
edge(sts851,sts852).
edge(sts851,sts854).
edge(sts851,sts855).
edge(sts852,sts850).
edge(sts852,sts853).
edge(sts852,sts854).
edge(sts852,sts855).
edge(sts852,sts851).
edge(sts853,sts850).
edge(sts853,sts852).
edge(sts853,sts854).
edge(sts853,sts855).
edge(sts854,sts850).
edge(sts854,sts852).
edge(sts854,sts853).
edge(sts854,sts855).
edge(sts854,sts851).
edge(sts855,sts850).
edge(sts855,sts852).
edge(sts855,sts853).
edge(sts855,sts854).
edge(sts855,sts851).
edge(sts855,sts856).
edge(sts856,sts858).
edge(sts856,sts859).
edge(sts856,sts857).
edge(sts856,sts855).
edge(sts857,sts856).
edge(sts857,sts858).
edge(sts857,sts859).
edge(sts858,sts856).
edge(sts858,sts859).
edge(sts858,sts857).
edge(sts859,sts856).
edge(sts859,sts858).
edge(sts859,sts857).
edge(sts860,sts862).
edge(sts861,sts862).
edge(sts861,sts863).
edge(sts861,sts864).
edge(sts862,sts861).
edge(sts862,sts863).
edge(sts862,sts864).
edge(sts862,sts860).
edge(sts863,sts864).
edge(sts863,sts865).
edge(sts863,sts47).
edge(sts863,sts48).
edge(sts863,sts861).
edge(sts863,sts862).
edge(sts863,sts317).
edge(sts863,sts318).
edge(sts863,sts320).
edge(sts864,sts863).
edge(sts864,sts865).
edge(sts864,sts866).
edge(sts864,sts867).
edge(sts864,sts869).
edge(sts864,sts861).
edge(sts864,sts862).
edge(sts865,sts867).
edge(sts865,sts863).
edge(sts865,sts864).
edge(sts865,sts866).
edge(sts865,sts869).
edge(sts866,sts864).
edge(sts866,sts865).
edge(sts866,sts867).
edge(sts866,sts869).
edge(sts867,sts865).
edge(sts867,sts864).
edge(sts867,sts866).
edge(sts867,sts869).
edge(sts868,sts869).
edge(sts868,sts870).
edge(sts868,sts872).
edge(sts868,sts871).
edge(sts868,sts873).
edge(sts869,sts868).
edge(sts869,sts870).
edge(sts869,sts872).
edge(sts869,sts864).
edge(sts869,sts865).
edge(sts869,sts866).
edge(sts869,sts867).
edge(sts869,sts871).
edge(sts869,sts873).
edge(sts870,sts871).
edge(sts870,sts868).
edge(sts870,sts869).
edge(sts870,sts872).
edge(sts870,sts873).
edge(sts871,sts870).
edge(sts871,sts868).
edge(sts871,sts869).
edge(sts871,sts872).
edge(sts871,sts873).
edge(sts872,sts873).
edge(sts872,sts868).
edge(sts872,sts869).
edge(sts872,sts870).
edge(sts872,sts871).
edge(sts873,sts872).
edge(sts873,sts378).
edge(sts873,sts379).
edge(sts873,sts874).
edge(sts873,sts868).
edge(sts873,sts869).
edge(sts873,sts870).
edge(sts873,sts871).
edge(sts874,sts875).
edge(sts874,sts876).
edge(sts874,sts378).
edge(sts874,sts379).
edge(sts874,sts873).
edge(sts875,sts874).
edge(sts875,sts876).
edge(sts875,sts878).
edge(sts876,sts874).
edge(sts876,sts875).
edge(sts877,sts878).
edge(sts878,sts875).
edge(sts878,sts877).


