Storyboard StudyRightReachabilityGraph

Start: Build a start graph

Total number of states 65

Success state 43