<7> { ... } <7> { { } } { <7> { { } } } { <3> { } { <7> { { } } } } <7> { ... }