changed number of sorted productions