Version 5.0.25, last production version before switching to version 5.1.0 (the new CDS prediction and overlap resolution).
