dmt-mint.nat#42,541,142tapdmt-mint.nat#42,539,623tapdmt-mint.nat#42,539,613tapdmt-mint.nat#42,539,582tapdmt-mint.nat#42,539,513tapdmt-mint.nat#42,539,506tapdmt-mint.nat#42,539,504tapdmt-mint.nat#42,539,468tapdmt-mint.nat#42,539,467tapdmt-mint.nat#42,539,466tapdmt-mint.nat#42,539,465tapdmt-mint.nat#42,539,464tapdmt-mint.nat#42,539,463tapdmt-mint.nat#42,533,809tapdmt-mint.nat#42,533,781tapdmt-mint.nat#42,533,738tapdmt-mint.nat#42,533,730tapdmt-mint.nat#42,532,253tapdmt-mint.nat#42,532,251tapdmt-mint.nat#42,532,248tapdmt-mint.nat#42,532,246tapdmt-mint.nat#42,532,242tapdmt-mint.nat#42,532,240tapdmt-mint.nat#42,532,176tapdmt-mint.nat#42,532,134tapdmt-mint.nat#42,532,118tapdmt-mint.nat#42,532,096tapdmt-mint.nat#42,532,079tapdmt-mint.nat#42,532,030tapdmt-mint.nat#42,530,033tapdmt-mint.nat#42,530,032tapdmt-mint.nat#42,530,031tapdmt-mint.nat#42,530,029tapdmt-mint.nat#42,530,028tapdmt-mint.nat#42,530,026tapdmt-mint.nat#42,530,024tapdmt-mint.nat#42,530,022tapdmt-mint.nat#42,530,016tapdmt-mint.nat#42,529,365tapdmt-mint.nat#42,524,910tapdmt-mint.nat#42,523,478tapdmt-mint.nat#42,523,429tapdmt-mint.nat#42,523,108tapdmt-mint.nat#42,523,107tapdmt-mint.nat#42,522,786tapdmt-mint.nat#42,521,056tapdmt-mint.nat#42,519,914tapdmt-mint.nat#42,518,779tapdmt-mint.nat#42,517,033tapdmt-mint.nat#42,517,017tapdmt-mint.nat#42,515,624tapdmt-mint.nat#42,515,623tapdmt-mint.nat#42,515,622tapdmt-mint.nat#42,515,621tapdmt-mint.nat#42,515,620tapdmt-mint.nat#42,510,353tap