<7> { ... } <7> { { } } <11> { { { } } } <19> { { } { { { } } } } <7> { ... }