Airy-kernel determinant on two large intervals

We find the probability of two gaps of the form (sc,sb)∪(sa,+∞), c<0, for large s>0, in the edge scaling limit of the Gaussian Unitary Ensemble, including the multiplicative constant in the asymptotics.