dmt-mint.nat#42,508,488tapdmt-mint.nat#42,508,485tapdmt-mint.nat#42,508,481tapdmt-mint.nat#42,508,479tapdmt-mint.nat#42,508,474tapdmt-mint.nat#42,508,471tapdmt-mint.nat#42,508,469tapdmt-mint.nat#42,508,468tapdmt-mint.nat#42,508,466tapdmt-mint.nat#42,508,450tapdmt-mint.nat#42,508,444tapdmt-mint.nat#42,508,439tapdmt-mint.nat#42,508,438tapdmt-mint.nat#42,508,432tapdmt-mint.nat#42,508,429tapdmt-mint.nat#42,508,422tapdmt-mint.nat#42,508,419tapdmt-mint.nat#42,508,414tapdmt-mint.nat#42,508,411tapdmt-mint.nat#42,508,410tapdmt-mint.nat#42,508,399tapdmt-mint.nat#42,508,393tapdmt-mint.nat#42,508,390tapdmt-mint.nat#42,508,388tapdmt-mint.nat#42,500,803tapdmt-mint.nat#42,500,760tapdmt-mint.nat#42,500,728tapdmt-mint.nat#42,500,703tapdmt-mint.nat#42,500,692tapdmt-mint.nat#42,500,641tapdmt-mint.nat#42,500,636tapdmt-mint.nat#42,500,585tapdmt-mint.nat#42,500,550tapdmt-mint.nat#42,500,549tapdmt-mint.nat#42,500,547tapdmt-mint.nat#42,500,462tapdmt-mint.nat#42,500,439tapdmt-mint.nat#42,500,368tapdmt-mint.nat#42,500,354tapdmt-mint.nat#42,500,326tapdmt-mint.nat#42,500,309tapdmt-mint.nat#42,500,247tapdmt-mint.nat#42,498,371tapdmt-mint.nat#42,498,370tapdmt-mint.nat#42,498,366tapdmt-mint.nat#42,498,357tapdmt-mint.nat#42,498,337tapdmt-mint.nat#42,498,299tap