dmt-mint.nat#70,365,402tapdmt-mint.nat#70,313,948tapdmt-mint.nat#70,313,947tapdmt-mint.nat#70,313,914tapdmt-mint.nat#70,313,886tapdmt-mint.nat#70,313,872tapdmt-mint.nat#70,313,844tapdmt-mint.nat#70,313,815tapdmt-mint.nat#70,313,792tapdmt-mint.nat#70,313,777tapdmt-mint.nat#70,313,763tapdmt-mint.nat#70,313,755tapdmt-mint.nat#70,313,742tapdmt-mint.nat#70,313,730tapdmt-mint.nat#70,313,713tapdmt-mint.nat#70,313,712tapdmt-mint.nat#70,313,711tapdmt-mint.nat#70,313,710tapdmt-mint.nat#70,313,575tapdmt-mint.nat#70,313,574tapdmt-mint.nat#70,313,573tapdmt-mint.nat#70,313,518tapdmt-mint.nat#70,313,495tapdmt-mint.nat#70,313,487tapdmt-mint.nat#70,313,472tapdmt-mint.nat#70,313,467tapdmt-mint.nat#70,313,438tapdmt-mint.nat#70,313,430tapdmt-mint.nat#70,313,407tapdmt-mint.nat#70,313,388tapdmt-mint.nat#70,313,380tapdmt-mint.nat#70,313,351tapdmt-mint.nat#70,313,327tapdmt-mint.nat#70,313,319tapdmt-mint.nat#70,313,309tapdmt-mint.nat#70,313,308tapdmt-mint.nat#70,313,253tapdmt-mint.nat#70,313,241tapdmt-mint.nat#70,313,152tapdmt-mint.nat#70,313,113tapdmt-mint.nat#70,313,005tapdmt-mint.nat#70,312,788tapdmt-mint.nat#70,312,761tapdmt-mint.nat#70,312,559tapdmt-mint.nat#70,312,540tapdmt-mint.nat#70,312,496tapdmt-mint.nat#70,312,445tapdmt-mint.nat#70,312,362tapdmt-mint.nat#70,312,361tapdmt-mint.nat#70,312,320tapdmt-mint.nat#70,311,892tapdmt-mint.nat#70,311,877tapdmt-mint.nat#70,311,848tapdmt-mint.nat#70,311,549tapdmt-mint.nat#70,310,615tapdmt-mint.nat#70,310,593tapdmt-mint.nat#70,310,088tapdmt-mint.nat#70,310,057tapdmt-mint.nat#70,307,733tapdmt-mint.nat#70,307,513tap