1 1 700 "(*(**)" 1 7 603 "*" 1 8 502 ")"