dmt-mint.nat#76,574,958tapdmt-mint.nat#76,560,507tapdmt-mint.nat#76,559,849tapdmt-mint.nat#76,558,667tapdmt-mint.nat#76,555,465tapdmt-mint.nat#76,552,642tapdmt-mint.nat#76,550,841tapdmt-mint.nat#76,550,585tapdmt-mint.nat#76,550,466tapdmt-mint.nat#76,548,480tapdmt-mint.nat#76,547,828tapdmt-mint.nat#76,547,028tapdmt-mint.nat#76,546,809tapdmt-mint.nat#76,546,767tapdmt-mint.nat#76,546,720tapdmt-mint.nat#76,546,717tapdmt-mint.nat#76,546,714tapdmt-mint.nat#76,545,333tapdmt-mint.nat#76,545,220tapdmt-mint.nat#76,545,190tapdmt-mint.nat#76,544,732tapdmt-mint.nat#76,544,699tapdmt-mint.nat#76,544,630tapdmt-mint.nat#76,544,325tapdmt-mint.nat#76,543,781tapdmt-mint.nat#76,543,242tapdmt-mint.nat#76,542,294tapdmt-mint.nat#76,541,860tapdmt-mint.nat#76,541,393tapdmt-mint.nat#76,537,880tapdmt-mint.nat#76,537,482tapdmt-mint.nat#76,534,398tapdmt-mint.nat#76,533,552tapdmt-mint.nat#76,533,334tapdmt-mint.nat#76,531,163tapdmt-mint.nat#76,531,035tapdmt-mint.nat#76,530,744tapdmt-mint.nat#76,516,671tapdmt-mint.nat#76,514,245tapdmt-mint.nat#76,514,041tapdmt-mint.nat#76,513,849tapdmt-mint.nat#76,513,699tapdmt-mint.nat#76,513,610tapdmt-mint.nat#76,513,408tapdmt-mint.nat#76,512,974tapdmt-mint.nat#76,511,794tapdmt-mint.nat#76,510,565tapdmt-mint.nat#76,510,558tapdmt-mint.nat#76,510,474tapdmt-mint.nat#76,510,412tapdmt-mint.nat#76,510,262tapdmt-mint.nat#76,510,165tapdmt-mint.nat#76,510,091tapdmt-mint.nat#76,510,036tapdmt-mint.nat#76,509,996tapdmt-mint.nat#76,509,669tapdmt-mint.nat#76,509,594tapdmt-mint.nat#76,509,066tapdmt-mint.nat#76,508,879tapdmt-mint.nat#76,508,759tap