Below is the result of this SEDE query. It's significantly more complicated than the one martin mentioned in his comment, largely because it was only composed within the last year and Maritn's comment was from 2017 (though the link in his comment does have this new SEDE query listed in one of the comments too).

Like all the others have been saying, a SEDE query can only be as good as the information it has available, and in this case, for example, 3 users seem completely missing from the SEDE result:

Those three users do have their locations given in their profile, so it might be possible to scrape this data somehow and further improve the results of the above SEDE query, but we will always be limited by flaws and gaps in the information available.

Below is the result of this SEDE query. It's significantly more complicated than the one martin mentioned in his comment, largely because it was only composed within the last year and Martin's comment was from 2017 (though the link in his comment does have this new SEDE query listed in one of the comments too).

Like all the others have been saying, a SEDE query can only be as good as the information it has available, and in this case, for example, 3 users seem completely missing from the SEDE result:

Those three users do have their locations given in their profile, so it might be possible to scrape this data somehow and further improve the results of the above SEDE query, but we will always be limited by flaws and gaps in the information available.