Which SAS program will divide the original data set into 60% training and 40% validation data sets, stratified by county?