I have studied Core 10k breakdown down to level 31, having no energy left to study down to level 1. Reading the post by Leebo gave me the idea. I might just study #1000 or #5000 frequency only.
So, I exported the whole Core 10k excluding WK tag into the spreadsheet; and then sort by frequency column.
I myself will study a limited list of L1-10, L11-20, L21-30.
Please see if you find this useful. You might as well export this into Memrise (because I probably won’t. I have had problem importing things into there.)
Now, for the version I am planning to export to Anki.