[1] |+-+-----+| [9] s303 --> s12 [3] s302 [1] |+-------+| [9] s268 --> s303 [1] |+-------+| [9] s217 --> s268 [1] |+-------+| [9] s102 --> s217 [1] |+-------+| [9] s1 --> s102 [1] |+-+--+ | [6] s303 --> s12 [3] s302 [1] |+----+ | [6] s268 --> s303 [1] |+----+ | [6] s217 --> s268 [1] |+----+ | [6] s102 --> s217 [1] |+----+ | [6] s1 --> s102 [1] |+-++ | [4] s296 --> s12 [3] s295 [1] |+--+ | [4] s266 --> s296 [1] |+--+ | [4] s215 --> s266 [1] |+--+ | [4] s102 --> s215 [1] |+--+ | [4] s1 --> s102 [1] |+++ | [3] s276 --> s23 [2] s19 [1] |+-+ | [3] s222 --> s276 [1] |+-+ | [3] s124 --> s276 [1] |+-+ | [3] s107 --> s222 [1] |+-+ | [3] s12 --> s124 [1] |+-+ | [3] s3 --> s107 [1] |++ | [2] s23 --> «1..2» [2] | ++ | [3] s130 --> «2..3» [2] | ++ | [3] s19 --> s130 [3] | ++----+| [9] s302 --> s310 [4] s3 [3] | +-----+| [9] s267 --> s302 [3] | +-----+| [9] s216 --> s267 [3] | +-----+| [9] s102 --> s216 [3] | +-----+| [9] s1 --> s102 [3] | ++-+ | [6] s302 --> s310 [4] s3 [3] | +--+ | [6] s267 --> s302 [3] | +--+ | [6] s216 --> s267 [3] | +--+ | [6] s102 --> s216 [3] | +--+ | [6] s1 --> s102 [3] | ++ | [4] s328 --> «3..4» [3] | ++ | [4] s322 --> s328 [3] | ++ | [4] s316 --> s322 [3] | ++ | [4] s310 --> s316 [3] | ++ | [4] s295 --> s310 [3] | ++ | [4] s265 --> s295 [3] | ++ | [4] s214 --> s265 [3] | ++ | [4] s102 --> s214 [3] | ++ | [4] s1 --> s102 [4] | ++---+| [9] s272 --> s24 [5] s20 [4] | +----+| [9] s219 --> s272 [4] | +----+| [9] s127 --> s272 [4] | +----+| [9] s104 --> s219 [4] | +----+| [9] s15 --> s127 [4] | +----+| [9] s3 --> s104 [4] | +-+--+| [9] s3 --> s104 [6] s103 [4] | +++ | [6] s272 --> s24 [5] s20 [4] | +-+ | [6] s219 --> s272 [4] | +-+ | [6] s127 --> s272 [4] | +-+ | [6] s104 --> s219 [4] | +-+ | [6] s15 --> s127 [4] | +-+ | [6] s3 --> s104 [4] | ++ | [5] s24 --> «4..5» [5] | ++--+| [9] s20 --> s131 [6] s16 [5] | ++ | [6] s131 --> «5..6» [5] | ++ | [6] s20 --> s131 [6] | ++-+| [9] s304 --> s29 [7] s222 [6] | +--+| [9] s270 --> s304 [6] | +--+| [9] s218 --> s270 [6] | +--+| [9] s103 --> s218 [6] | +--+| [9] s16 --> s270 [6] | +--+| [9] s2 --> s103 [6] | ++ | [7] s29 --> «6..7» [7] | +++| [9] s276 --> s23 [8] s19 [7] | +-+| [9] s222 --> s276 [7] | +-+| [9] s124 --> s276 [7] | +-+| [9] s107 --> s222 [7] | +-+| [9] s12 --> s124 [7] | +-+| [9] s3 --> s107 [7] | ++ | [8] s23 --> «7..8» [8] | ++| [9] s130 --> «8..9» [8] | ++| [9] s19 --> s130