dmt-mint.nat#72,272,778tapdmt-mint.nat#72,272,563tapdmt-mint.nat#72,272,556tapdmt-mint.nat#72,272,393tapdmt-mint.nat#72,271,068tapdmt-mint.nat#72,270,809tapdmt-mint.nat#72,268,381tapdmt-mint.nat#72,268,311tapdmt-mint.nat#72,267,846tapdmt-mint.nat#72,267,615tapdmt-mint.nat#72,267,614tapdmt-mint.nat#72,266,912tapdmt-mint.nat#72,266,893tapdmt-mint.nat#72,266,811tapdmt-mint.nat#72,266,810tapdmt-mint.nat#72,266,541tapdmt-mint.nat#72,266,153tapdmt-mint.nat#72,265,996tapdmt-mint.nat#72,265,865tapdmt-mint.nat#72,265,804tapdmt-mint.nat#72,265,298tapdmt-mint.nat#72,265,174tapdmt-mint.nat#72,264,834tapdmt-mint.nat#72,264,726tapdmt-mint.nat#72,264,475tapdmt-mint.nat#72,264,406tapdmt-mint.nat#72,264,309tapdmt-mint.nat#72,264,259tapdmt-mint.nat#72,262,243tapdmt-mint.nat#72,262,227tapdmt-mint.nat#72,262,218tapdmt-mint.nat#72,262,139tapdmt-mint.nat#72,262,102tapdmt-mint.nat#72,261,530tapdmt-mint.nat#72,257,637tapdmt-mint.nat#72,256,533tapdmt-mint.nat#72,255,602tapdmt-mint.nat#72,253,844tapdmt-mint.nat#72,253,468tapdmt-mint.nat#72,251,471tapdmt-mint.nat#72,249,666tapdmt-mint.nat#72,249,665tapdmt-mint.nat#72,246,341tapdmt-mint.nat#72,244,825tapdmt-mint.nat#72,244,739tap