There's plenty of evidence that it's tens of thousands, but it's absurd to even argue over those numbers when a government massacring any number of its own citizens is morally reprehensible (whether it's 5k or 50k). Iran has a long history of executing its own citizens en masse.

Iran has admitted outright to 6k deaths, by the way.