So. We need to decide in what way Mars should be divided.

Number of tokens
Isn’t significant now. Imagine we decide to have 21000 tokens.

Mars is a sphere
In the first approximation. Later we can add some ellipsoid factors or something

Similarity of tokens
If Mars was a rectangular plane it would be easy to divide it into rectangular area. But…
We have to divide a sphere. We decided to make each area rectangular (as it can be on a sphere) and with same area.
I also propose dividing the planet with fixed number of tokens vertically and horizontally.

At all:
if we have 21000 tokens, we have 150 vertical parts and 140 horizontal parts. Later I’ll demonstrate

We also have separate tokens for poles

As for token numerating:
in the beta App I assume that token number is 1xxxyyy, like 1033080, where 33 is a number of horizontal division and 80 - of vertical

In the early beta it looks like this (selected is green, there are 100*100 areas here):

Mars equatorial radius is 3396.2 km
Mars polar radius is 3376.2 km

Mean radius is 3389.5 km - we take this number.

Mars surface is 144 800 000 sq. km. Let’s check: 4 * pi * 3389.5 ^ 2 = 144371391. Plus-minus 0.3% - seems legit (also precise area isn’t much sufficient on this step)

as I mentioned we need to have 21000 equal areas - it’s 150 * 140.
Let’s divide the planet vertically with 150 lines - and now we shall decide on which latitudes to divide Mars