https://9lib.org/document/y4w2jdkq-crew-scheduling-summary.html