% Here are the nodes for the graph, whose edges I just sent to
% you. There are 876 nodes.

:-(index(/(node,1),1,877)).

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