Hello and welcome to the forum!
Savarez 500CJ can work for that application, but the cristal trebles do have more sustain than a dedicated flamenco string. My thought is they come with those strings since they are very sweet and lyrical, making the guitar sound really nice.
But if you are after the traditional flamenco punch and short sustain, then check out our nifty string filter, (under classical strings) > Full sets > checkmark Flamenco > yields 36 available sets.
Our phone lines and email are open for questions you may have.
Here is the direct link to our flamenco string offering...
https://www.stringsbymail.com/index....by_filter=true