| } ~ 16 { | ) ~ 17 { ) } ~ 18 { ) } ~

15 ) | } ~

16 { | ) ~

17 { ) } ~

18 { ) } ~