Efficent Allocation of Real Property Rights on the Plant Mars