dmt-mint.nat#42,592,855tapdmt-mint.nat#42,592,852tapdmt-mint.nat#42,592,847tapdmt-mint.nat#42,592,842tapdmt-mint.nat#42,592,832tapdmt-mint.nat#42,592,831tapdmt-mint.nat#42,592,817tapdmt-mint.nat#42,592,815tapdmt-mint.nat#42,592,813tapdmt-mint.nat#42,592,804tapdmt-mint.nat#42,592,803tapdmt-mint.nat#42,590,729tapdmt-mint.nat#42,590,721tapdmt-mint.nat#42,590,719tapdmt-mint.nat#42,590,717tapdmt-mint.nat#42,590,716tapdmt-mint.nat#42,590,715tapdmt-mint.nat#42,590,714tapdmt-mint.nat#42,590,711tapdmt-mint.nat#42,590,708tapdmt-mint.nat#42,590,707tapdmt-mint.nat#42,589,986tapdmt-mint.nat#42,589,812tapdmt-mint.nat#42,589,811tapdmt-mint.nat#42,589,810tapdmt-mint.nat#42,589,809tapdmt-mint.nat#42,589,808tapdmt-mint.nat#42,589,807tapdmt-mint.nat#42,589,806tapdmt-mint.nat#42,589,805tapdmt-mint.nat#42,589,804tap