dmt-mint.nat#43,544,793tapdmt-mint.nat#43,544,648tapdmt-mint.nat#43,544,514tapdmt-mint.nat#43,544,481tapdmt-mint.nat#43,544,476tapdmt-mint.nat#43,544,453tapdmt-mint.nat#43,544,452tapdmt-mint.nat#43,542,665tapdmt-mint.nat#43,542,662tapdmt-mint.nat#43,542,661tapdmt-mint.nat#43,542,546tapdmt-mint.nat#43,542,482tapdmt-mint.nat#43,542,480tapdmt-mint.nat#43,542,477tapdmt-mint.nat#43,542,378tapdmt-mint.nat#43,542,377tapdmt-mint.nat#43,542,376tapdmt-mint.nat#42,847,409tapdmt-mint.nat#42,635,017tapdmt-mint.nat#42,634,997tapdmt-mint.nat#42,634,985tapdmt-mint.nat#42,631,017tapdmt-mint.nat#42,580,715tapdmt-mint.nat#42,574,662tapdmt-mint.nat#42,574,650tapdmt-mint.nat#42,574,598tap