dmt-mint.nat#43,501,076tapdmt-mint.nat#43,498,676tapdmt-mint.nat#43,498,639tapdmt-mint.nat#43,498,587tapdmt-mint.nat#43,498,541tapdmt-mint.nat#43,495,828tapdmt-mint.nat#43,495,827tapdmt-mint.nat#43,495,826tapdmt-mint.nat#43,495,825tapdmt-mint.nat#43,495,824tapdmt-mint.nat#42,620,110tapdmt-mint.nat#42,620,092tapdmt-mint.nat#42,620,055tapdmt-mint.nat#42,620,010tapdmt-mint.nat#42,619,998tapdmt-mint.nat#42,619,965tapdmt-mint.nat#42,619,105tapdmt-mint.nat#42,619,032tapdmt-mint.nat#42,618,942tapdmt-mint.nat#42,618,888tapdmt-mint.nat#42,618,887tapdmt-mint.nat#42,618,782tapdmt-mint.nat#42,616,995tapdmt-mint.nat#42,616,897tapdmt-mint.nat#42,615,866tapdmt-mint.nat#42,615,854tapdmt-mint.nat#42,615,565tapdmt-mint.nat#42,615,564tapdmt-mint.nat#42,614,777tapdmt-mint.nat#42,614,674tapdmt-mint.nat#42,614,579tapdmt-mint.nat#42,614,528tapdmt-mint.nat#42,614,463tapdmt-mint.nat#42,613,929tapdmt-mint.nat#42,613,883tapdmt-mint.nat#42,613,843tapdmt-mint.nat#42,613,827tapdmt-mint.nat#42,613,770tapdmt-mint.nat#42,613,764tapdmt-mint.nat#42,611,371tapdmt-mint.nat#42,611,325tap