Creio que com esses (US$8,5 BI) ou R$ 26,18 BI (em conversão pela cotação de hoje; 1 US$ = R$ 3,08 ) da pra fazer muitos Quilômetros de Metrô, se os custos ficarem em R$ 50 MI por km se faz algo em trono de 523 km de trilhos
se for 100MI por Km da pra fazer 261 Km, isso considerando o nosso relevo e a baixa necessidade de muitos tuneis, fazendo o traçado em trincheira como é feito o nosso metro