Leasing To The Comptroller General Of The Republic Of The Properties That Make Up The El Topacio Building As A Whole, Used By The National Institute Of Statistics And Census (Inec).