dmt-mint.nat#42,846,787tapdmt-mint.nat#42,846,767tapdmt-mint.nat#42,846,756tapdmt-mint.nat#42,846,744tapdmt-mint.nat#42,846,728tapdmt-mint.nat#42,846,724tapdmt-mint.nat#42,846,692tapdmt-mint.nat#42,846,689tapdmt-mint.nat#42,846,649tapdmt-mint.nat#42,846,648tapdmt-mint.nat#42,846,645tapdmt-mint.nat#42,846,635tapdmt-mint.nat#42,846,632tapdmt-mint.nat#42,846,626tapdmt-mint.nat#42,846,619tapdmt-mint.nat#42,846,608tapdmt-mint.nat#42,846,597tapdmt-mint.nat#42,846,587tapdmt-mint.nat#42,846,582tapdmt-mint.nat#42,846,576tapdmt-mint.nat#42,846,575tapdmt-mint.nat#42,565,690tapdmt-mint.nat#42,565,686tapdmt-mint.nat#42,565,660tapdmt-mint.nat#42,565,647tapdmt-mint.nat#42,565,641tapdmt-mint.nat#42,565,630tapdmt-mint.nat#42,565,627tapdmt-mint.nat#42,565,626tapdmt-mint.nat#42,565,620tapdmt-mint.nat#42,565,618tapdmt-mint.nat#42,565,616tapdmt-mint.nat#42,565,611tapdmt-mint.nat#42,565,609tapdmt-mint.nat#42,565,604tapdmt-mint.nat#42,565,603tapdmt-mint.nat#42,565,597tapdmt-mint.nat#42,565,588tapdmt-mint.nat#42,565,579tapdmt-mint.nat#42,565,574tapdmt-mint.nat#42,565,566tapdmt-mint.nat#42,565,550tapdmt-mint.nat#42,565,517tapdmt-mint.nat#42,565,513tapdmt-mint.nat#42,565,512tap