dmt-mint.nat#43,856,406tapdmt-mint.nat#43,854,352tapdmt-mint.nat#43,583,632tapdmt-mint.nat#43,583,440tapdmt-mint.nat#43,581,743tapdmt-mint.nat#43,581,588tapdmt-mint.nat#43,581,169tapdmt-mint.nat#43,581,164tapdmt-mint.nat#43,581,118tapdmt-mint.nat#43,580,218tapdmt-mint.nat#43,578,895tapdmt-mint.nat#43,578,893tapdmt-mint.nat#43,392,758tapdmt-mint.nat#43,391,469tapdmt-mint.nat#43,391,399tapdmt-mint.nat#43,387,211tapdmt-mint.nat#43,387,201tapdmt-mint.nat#43,387,169tapdmt-mint.nat#43,387,164tapdmt-mint.nat#43,387,146tapdmt-mint.nat#43,387,140tapdmt-mint.nat#43,387,137tapdmt-mint.nat#43,387,009tapdmt-mint.nat#43,387,008tapdmt-mint.nat#43,383,070tapdmt-mint.nat#43,377,488tapdmt-mint.nat#43,373,965tapdmt-mint.nat#43,373,964tapdmt-mint.nat#43,373,963tapdmt-mint.nat#43,373,962tapdmt-mint.nat#43,373,961tapdmt-mint.nat#43,373,960tapdmt-mint.nat#43,373,959tapdmt-mint.nat#43,373,958tap