dmt-mint.nat#42,588,176tapdmt-mint.nat#42,569,323tapdmt-mint.nat#42,569,322tapdmt-mint.nat#42,560,969tapdmt-mint.nat#42,560,968tapdmt-mint.nat#42,560,219tapdmt-mint.nat#42,560,218tapdmt-mint.nat#42,560,217tapdmt-mint.nat#42,559,375tapdmt-mint.nat#42,544,301tapdmt-mint.nat#42,544,281tapdmt-mint.nat#42,544,280tapdmt-mint.nat#42,544,279tapdmt-mint.nat#42,544,277tapdmt-mint.nat#42,544,276tapdmt-mint.nat#42,541,140tapdmt-mint.nat#42,539,493tapdmt-mint.nat#42,539,435tapdmt-mint.nat#42,539,434tapdmt-mint.nat#42,539,433tapdmt-mint.nat#42,539,432tapdmt-mint.nat#42,539,421tapdmt-mint.nat#42,539,420tapdmt-mint.nat#42,539,419tapdmt-mint.nat#42,539,418tapdmt-mint.nat#42,539,417tapdmt-mint.nat#42,539,416tapdmt-mint.nat#42,539,415tapdmt-mint.nat#42,539,414tapdmt-mint.nat#42,539,410tapdmt-mint.nat#42,535,855tapdmt-mint.nat#42,535,854tapdmt-mint.nat#42,535,853tapdmt-mint.nat#42,533,736tapdmt-mint.nat#42,532,137tapdmt-mint.nat#42,532,005tapdmt-mint.nat#42,531,972tapdmt-mint.nat#42,531,954tapdmt-mint.nat#42,531,953tapdmt-mint.nat#42,531,951tapdmt-mint.nat#42,531,945tapdmt-mint.nat#42,531,944tapdmt-mint.nat#42,531,943tapdmt-mint.nat#42,531,933tapdmt-mint.nat#42,530,011tapdmt-mint.nat#42,530,010tapdmt-mint.nat#42,530,009tapdmt-mint.nat#42,530,008tapdmt-mint.nat#42,530,007tapdmt-mint.nat#42,530,006tapdmt-mint.nat#42,530,004tapdmt-mint.nat#42,527,234tapdmt-mint.nat#42,524,888tapdmt-mint.nat#42,524,887tapdmt-mint.nat#42,524,886tapdmt-mint.nat#42,524,884tapdmt-mint.nat#42,523,173tapdmt-mint.nat#42,523,112tapdmt-mint.nat#42,523,110tapdmt-mint.nat#42,523,106tap