dmt-mint.nat#42,569,876tapdmt-mint.nat#42,559,986tapdmt-mint.nat#42,559,883tapdmt-mint.nat#42,559,811tapdmt-mint.nat#42,546,612tapdmt-mint.nat#42,538,575tapdmt-mint.nat#42,538,264tapdmt-mint.nat#42,538,140tapdmt-mint.nat#42,535,531tapdmt-mint.nat#42,535,336tapdmt-mint.nat#42,535,218tapdmt-mint.nat#42,534,932tapdmt-mint.nat#42,534,911tapdmt-mint.nat#42,534,910tapdmt-mint.nat#42,534,858tapdmt-mint.nat#42,534,857tapdmt-mint.nat#42,534,856tapdmt-mint.nat#42,534,855tapdmt-mint.nat#42,531,646tapdmt-mint.nat#42,531,627tapdmt-mint.nat#42,531,497tapdmt-mint.nat#42,531,455tapdmt-mint.nat#42,531,454tapdmt-mint.nat#42,531,453tapdmt-mint.nat#42,530,998tapdmt-mint.nat#42,528,403tapdmt-mint.nat#42,527,807tapdmt-mint.nat#42,527,362tapdmt-mint.nat#42,527,348tapdmt-mint.nat#42,527,033tapdmt-mint.nat#42,527,007tapdmt-mint.nat#42,527,006tapdmt-mint.nat#42,526,504tapdmt-mint.nat#42,525,977tapdmt-mint.nat#42,525,661tapdmt-mint.nat#42,525,029tapdmt-mint.nat#42,524,828tapdmt-mint.nat#42,524,827tapdmt-mint.nat#42,524,826tapdmt-mint.nat#42,524,825tapdmt-mint.nat#42,524,824tapdmt-mint.nat#42,524,823tap