dmt-mint.nat#43,316,716tapdmt-mint.nat#43,316,677tapdmt-mint.nat#43,316,540tapdmt-mint.nat#43,316,519tapdmt-mint.nat#43,316,509tapdmt-mint.nat#43,316,458tapdmt-mint.nat#43,316,421tapdmt-mint.nat#43,316,325tapdmt-mint.nat#43,316,174tapdmt-mint.nat#43,315,925tapdmt-mint.nat#43,315,924tapdmt-mint.nat#43,230,334tapdmt-mint.nat#43,230,303tapdmt-mint.nat#43,230,286tapdmt-mint.nat#43,230,281tapdmt-mint.nat#43,230,271tapdmt-mint.nat#43,230,244tapdmt-mint.nat#43,230,237tapdmt-mint.nat#43,230,224tapdmt-mint.nat#43,230,221tapdmt-mint.nat#43,230,213tapdmt-mint.nat#43,230,202tapdmt-mint.nat#43,230,198tapdmt-mint.nat#43,228,189tapdmt-mint.nat#43,228,113tapdmt-mint.nat#43,228,088tapdmt-mint.nat#43,228,067tapdmt-mint.nat#43,228,032tapdmt-mint.nat#43,228,007tapdmt-mint.nat#43,227,953tapdmt-mint.nat#43,227,930tapdmt-mint.nat#43,227,901tapdmt-mint.nat#43,227,881tapdmt-mint.nat#43,227,849tapdmt-mint.nat#43,227,838tapdmt-mint.nat#43,227,837tapdmt-mint.nat#43,227,805tapdmt-mint.nat#43,227,800tapdmt-mint.nat#43,227,791tapdmt-mint.nat#43,227,785tapdmt-mint.nat#43,227,782tapdmt-mint.nat#43,227,767tapdmt-mint.nat#43,227,704tapdmt-mint.nat#43,227,691tapdmt-mint.nat#43,227,663tapdmt-mint.nat#43,227,622tapdmt-mint.nat#43,227,621tap