Este Caderno de Fórmulas tem por objetivo esclarecer aos usuários a metodologia de cálculo e os critérios de precisão aplicados aos seguintes ativos de emissão do Tesouro Nacional: Alongamento da Dívida Agrícola - ADA (ASTN), Certificado do Tesouro Nacional - ADA (ECTN), Certificado da Dívida Pública Mobiliária Federal - Instituto Nacional do Seguro Social - CDP/INSS (AINSS), Certificado Financeiro do Tesouro - CFT (HSTN ou HCFT), Crédito Securitizado registrado no sistema SNA indexado à taxa SELIC - CRED. SEC. (JSTN).