I was having ChatGPT do the math, it seems to think 16t if considering lost coins
Sounds about right.