dmt-mint.nat#44,620,138tapdmt-mint.nat#43,325,104tapdmt-mint.nat#43,325,052tapdmt-mint.nat#43,324,996tapdmt-mint.nat#42,969,111tapdmt-mint.nat#42,969,105tapdmt-mint.nat#42,969,102tapdmt-mint.nat#42,969,100tapdmt-mint.nat#42,969,095tapdmt-mint.nat#42,969,094tapdmt-mint.nat#42,969,085tapdmt-mint.nat#42,969,083tapdmt-mint.nat#42,969,077tapdmt-mint.nat#42,969,076tapdmt-mint.nat#42,969,070tapdmt-mint.nat#42,969,067tapdmt-mint.nat#42,969,062tapdmt-mint.nat#42,969,061tapdmt-mint.nat#42,969,059tapdmt-mint.nat#42,969,054tapdmt-mint.nat#42,969,050tapdmt-mint.nat#42,969,048tapdmt-mint.nat#42,969,045tapdmt-mint.nat#42,969,041tapdmt-mint.nat#42,969,032tapdmt-mint.nat#42,969,031tapdmt-mint.nat#42,969,025tapdmt-mint.nat#42,969,024tapdmt-mint.nat#42,969,015tapdmt-mint.nat#42,969,007tapdmt-mint.nat#42,969,005tapdmt-mint.nat#42,968,992tapdmt-mint.nat#42,968,985tapdmt-mint.nat#42,968,978tapdmt-mint.nat#42,968,960tapdmt-mint.nat#42,968,927tapdmt-mint.nat#42,968,922tapdmt-mint.nat#42,968,921tapdmt-mint.nat#42,968,908tapdmt-mint.nat#42,968,907tapdmt-mint.nat#42,968,897tapdmt-mint.nat#42,968,889tapdmt-mint.nat#42,968,880tapdmt-mint.nat#42,968,876tapdmt-mint.nat#42,968,869tapdmt-mint.nat#42,968,860tapdmt-mint.nat#42,968,852tapdmt-mint.nat#42,968,850tapdmt-mint.nat#42,968,849tapdmt-mint.nat#42,968,845tapdmt-mint.nat#42,968,844tapdmt-mint.nat#42,968,841tapdmt-mint.nat#42,968,839tapdmt-mint.nat#42,968,822tapdmt-mint.nat#42,968,814tapdmt-mint.nat#42,968,807tapdmt-mint.nat#42,968,788tapdmt-mint.nat#42,968,781tapdmt-mint.nat#42,968,765tapdmt-mint.nat#42,968,757tap