Weinstein presentations for high-dimensional antisurgery

We give an algorithm for describing the Weinstein presentation of Weinstein subdomains obtained by carving out regular Lagrangians.Our work generalizes previous work in dimension 3 and requires a novel Legendrian isotopy move (the "boat move") that changes the local index of Reeb chords in a front projection.As applications, we describe presentations for certain exotic Weinstein subdomains and give explicit descriptions of P -loose Legendrians.