dmt-mint.nat#76,573,978tapdmt-mint.nat#76,561,335tapdmt-mint.nat#76,561,081tapdmt-mint.nat#76,559,732tapdmt-mint.nat#76,559,657tapdmt-mint.nat#76,559,616tapdmt-mint.nat#76,557,367tapdmt-mint.nat#76,556,820tapdmt-mint.nat#76,556,765tapdmt-mint.nat#76,556,713tapdmt-mint.nat#76,556,672tapdmt-mint.nat#76,556,622tapdmt-mint.nat#76,553,992tapdmt-mint.nat#76,553,749tapdmt-mint.nat#76,553,703tapdmt-mint.nat#76,553,330tapdmt-mint.nat#76,553,214tapdmt-mint.nat#76,552,522tapdmt-mint.nat#76,551,467tapdmt-mint.nat#76,551,266tapdmt-mint.nat#76,551,157tapdmt-mint.nat#76,550,991tapdmt-mint.nat#76,550,635tapdmt-mint.nat#76,550,564tapdmt-mint.nat#76,550,442tapdmt-mint.nat#76,548,785tapdmt-mint.nat#76,548,697tapdmt-mint.nat#76,548,615tapdmt-mint.nat#76,547,252tapdmt-mint.nat#76,547,217tapdmt-mint.nat#76,546,728tapdmt-mint.nat#76,546,716tapdmt-mint.nat#76,546,432tapdmt-mint.nat#76,546,414tapdmt-mint.nat#76,546,294tapdmt-mint.nat#76,546,101tapdmt-mint.nat#76,546,085tapdmt-mint.nat#76,545,722tapdmt-mint.nat#76,545,533tapdmt-mint.nat#76,544,861tapdmt-mint.nat#76,544,712tapdmt-mint.nat#76,544,692tapdmt-mint.nat#76,543,354tapdmt-mint.nat#76,541,355tapdmt-mint.nat#76,540,648tapdmt-mint.nat#76,537,770tapdmt-mint.nat#76,536,825tapdmt-mint.nat#76,536,824tapdmt-mint.nat#76,536,631tapdmt-mint.nat#76,534,357tapdmt-mint.nat#76,533,766tapdmt-mint.nat#76,533,519tapdmt-mint.nat#76,533,408tapdmt-mint.nat#76,533,360tapdmt-mint.nat#76,532,568tapdmt-mint.nat#76,530,819tapdmt-mint.nat#76,525,950tapdmt-mint.nat#76,524,056tapdmt-mint.nat#76,522,876tapdmt-mint.nat#76,521,584tap