dmt-mint.nat#44,442,160tapdmt-mint.nat#44,442,159tapdmt-mint.nat#44,442,158tapdmt-mint.nat#44,438,093tapdmt-mint.nat#44,438,092tapdmt-mint.nat#44,438,091tapdmt-mint.nat#44,438,090tapdmt-mint.nat#44,438,089tapdmt-mint.nat#44,433,709tapdmt-mint.nat#44,433,708tapdmt-mint.nat#44,433,707tapdmt-mint.nat#44,433,706tapdmt-mint.nat#44,433,705tapdmt-mint.nat#44,425,422tapdmt-mint.nat#44,425,421tapdmt-mint.nat#44,425,420tapdmt-mint.nat#44,425,419tapdmt-mint.nat#44,425,418tapdmt-mint.nat#44,352,636tapdmt-mint.nat#44,352,635tapdmt-mint.nat#44,352,634tapdmt-mint.nat#44,352,633tapdmt-mint.nat#44,352,632tapdmt-mint.nat#44,332,948tapdmt-mint.nat#44,332,947tapdmt-mint.nat#44,332,946tapdmt-mint.nat#44,332,945tapdmt-mint.nat#44,332,944tapdmt-mint.nat#43,659,386tapdmt-mint.nat#43,659,385tapdmt-mint.nat#43,659,384tapdmt-mint.nat#43,659,383tapdmt-mint.nat#43,659,382tapdmt-mint.nat#43,393,110tapdmt-mint.nat#43,393,109tapdmt-mint.nat#43,343,677tapdmt-mint.nat#43,343,676tapdmt-mint.nat#43,326,106tapdmt-mint.nat#43,326,105tapdmt-mint.nat#43,326,104tapdmt-mint.nat#43,241,974tapdmt-mint.nat#42,927,485tapdmt-mint.nat#42,927,484tapdmt-mint.nat#42,927,483tapdmt-mint.nat#42,859,231tapdmt-mint.nat#42,859,230tapdmt-mint.nat#42,859,229tapdmt-mint.nat#42,859,228tapdmt-mint.nat#42,859,227tapdmt-mint.nat#42,848,491tapdmt-mint.nat#42,848,490tapdmt-mint.nat#42,848,489tapdmt-mint.nat#42,848,488tapdmt-mint.nat#42,848,487tapdmt-mint.nat#42,727,291tapdmt-mint.nat#42,727,290tapdmt-mint.nat#42,724,565tapdmt-mint.nat#42,724,564tapdmt-mint.nat#42,720,848tapdmt-mint.nat#42,720,847tap