dmt-mint.nat#43,786,208tapdmt-mint.nat#43,786,206tapdmt-mint.nat#43,786,205tapdmt-mint.nat#43,786,201tapdmt-mint.nat#43,786,199tapdmt-mint.nat#43,786,197tapdmt-mint.nat#43,786,196tapdmt-mint.nat#43,786,194tapdmt-mint.nat#43,786,189tapdmt-mint.nat#43,786,183tapdmt-mint.nat#43,786,181tapdmt-mint.nat#43,786,179tapdmt-mint.nat#43,786,177tapdmt-mint.nat#43,786,176tapdmt-mint.nat#43,786,174tapdmt-mint.nat#43,786,172tapdmt-mint.nat#43,786,171tapdmt-mint.nat#43,786,170tapdmt-mint.nat#43,786,169tapdmt-mint.nat#43,786,167tapdmt-mint.nat#43,786,166tapdmt-mint.nat#43,786,165tapdmt-mint.nat#43,786,161tapdmt-mint.nat#43,786,160tapdmt-mint.nat#43,786,159tapdmt-mint.nat#43,786,157tapdmt-mint.nat#43,786,156tapdmt-mint.nat#43,786,154tapdmt-mint.nat#43,786,153tapdmt-mint.nat#43,786,152tapdmt-mint.nat#43,776,161tapdmt-mint.nat#43,776,152tapdmt-mint.nat#43,776,148tapdmt-mint.nat#43,776,145tapdmt-mint.nat#43,776,140tapdmt-mint.nat#43,776,135tapdmt-mint.nat#43,776,133tapdmt-mint.nat#43,776,127tapdmt-mint.nat#43,774,141tapdmt-mint.nat#43,774,140tapdmt-mint.nat#43,774,139tapdmt-mint.nat#43,774,138tapdmt-mint.nat#43,774,137tapdmt-mint.nat#43,774,136tapdmt-mint.nat#43,774,135tapdmt-mint.nat#43,774,133tapdmt-mint.nat#43,774,128tapdmt-mint.nat#43,774,127tapdmt-mint.nat#43,774,125tapdmt-mint.nat#43,774,123tapdmt-mint.nat#43,774,121tapdmt-mint.nat#43,774,117tapdmt-mint.nat#43,774,115tapdmt-mint.nat#43,774,114tapdmt-mint.nat#43,774,110tapdmt-mint.nat#43,774,109tapdmt-mint.nat#43,774,108tapdmt-mint.nat#43,774,107tapdmt-mint.nat#43,774,106tapdmt-mint.nat#43,774,104tap