[1] |+-+-----+| [9] s246 --> s11 [3] s245 [1] |+-------+| [9] s133 --> s246 [1] |+-------+| [9] s18 --> s133 [1] |+-+--+ | [6] s246 --> s11 [3] s245 [1] |+----+ | [6] s133 --> s246 [1] |+----+ | [6] s18 --> s133 [1] |+-++ | [4] s239 --> s11 [3] s238 [1] |+--+ | [4] s131 --> s239 [1] |+--+ | [4] s16 --> s131 [1] |+++ | [3] s288 --> s26 [2] s22 [1] |+-+ | [3] s224 --> s288 [1] |+-+ | [3] s126 --> s288 [1] |+-+ | [3] s109 --> s224 [1] |+-+ | [3] s11 --> s126 [1] |+-+ | [3] s2 --> s109 [1] |++ | [2] s26 --> «1..2» [2] | ++ | [3] s136 --> «2..3» [2] | ++ | [3] s22 --> s136 [3] | ++----+| [9] s245 --> s306 [4] s2 [3] | +-----+| [9] s132 --> s245 [3] | +-----+| [9] s17 --> s132 [3] | ++-+ | [6] s245 --> s306 [4] s2 [3] | +--+ | [6] s132 --> s245 [3] | +--+ | [6] s17 --> s132 [3] | ++ | [4] s326 --> «3..4» [3] | ++ | [4] s320 --> s326 [3] | ++ | [4] s314 --> s320 [3] | ++ | [4] s306 --> s314 [3] | ++ | [4] s238 --> s306 [3] | ++ | [4] s130 --> s238 [3] | ++ | [4] s15 --> s130 [4] | ++---+| [9] s284 --> s27 [5] s23 [4] | +----+| [9] s221 --> s284 [4] | +----+| [9] s129 --> s284 [4] | +----+| [9] s106 --> s221 [4] | +----+| [9] s14 --> s129 [4] | +----+| [9] s2 --> s106 [4] | +-+--+| [9] s2 --> s106 [6] s105 [4] | +++ | [6] s284 --> s27 [5] s23 [4] | +-+ | [6] s221 --> s284 [4] | +-+ | [6] s129 --> s284 [4] | +-+ | [6] s106 --> s221 [4] | +-+ | [6] s14 --> s129 [4] | +-+ | [6] s2 --> s106 [4] | ++ | [5] s27 --> «4..5» [5] | ++--+| [9] s23 --> s137 [6] s19 [5] | ++ | [6] s137 --> «5..6» [5] | ++ | [6] s23 --> s137 [6] | ++-+| [9] s308 --> s32 [7] s224 [6] | +--+| [9] s282 --> s308 [6] | +--+| [9] s220 --> s282 [6] | +--+| [9] s105 --> s220 [6] | +--+| [9] s19 --> s282 [6] | +--+| [9] s1 --> s105 [6] | ++ | [7] s32 --> «6..7» [7] | +++| [9] s288 --> s26 [8] s22 [7] | +-+| [9] s224 --> s288 [7] | +-+| [9] s126 --> s288 [7] | +-+| [9] s109 --> s224 [7] | +-+| [9] s11 --> s126 [7] | +-+| [9] s2 --> s109 [7] | ++ | [8] s26 --> «7..8» [8] | ++| [9] s136 --> «8..9» [8] | ++| [9] s22 --> s136