dmt-mint.nat#42,503,882tapdmt-mint.nat#42,503,869tapdmt-mint.nat#42,503,851tapdmt-mint.nat#42,503,835tapdmt-mint.nat#42,503,784tapdmt-mint.nat#42,503,765tapdmt-mint.nat#42,503,728tapdmt-mint.nat#42,503,725tapdmt-mint.nat#42,503,718tapdmt-mint.nat#42,503,717tapdmt-mint.nat#42,500,701tapdmt-mint.nat#42,500,545tapdmt-mint.nat#42,500,472tapdmt-mint.nat#42,500,332tapdmt-mint.nat#42,500,228tapdmt-mint.nat#42,498,332tapdmt-mint.nat#42,498,330tapdmt-mint.nat#42,498,318tapdmt-mint.nat#42,498,306tapdmt-mint.nat#42,498,305tapdmt-mint.nat#42,495,212tapdmt-mint.nat#42,495,211tapdmt-mint.nat#42,495,210tapdmt-mint.nat#42,495,209tapdmt-mint.nat#42,495,208tapdmt-mint.nat#42,495,207tapdmt-mint.nat#42,495,206tapdmt-mint.nat#42,495,205tapdmt-mint.nat#42,495,204tapdmt-mint.nat#42,495,203tapdmt-mint.nat#42,495,126tapdmt-mint.nat#42,495,120tapdmt-mint.nat#42,495,113tapdmt-mint.nat#42,495,097tapdmt-mint.nat#42,495,094tapdmt-mint.nat#42,495,081tapdmt-mint.nat#42,495,053tapdmt-mint.nat#42,494,988tapdmt-mint.nat#42,492,637tapdmt-mint.nat#42,492,636tapdmt-mint.nat#42,492,041tapdmt-mint.nat#42,492,040tapdmt-mint.nat#42,492,039tapdmt-mint.nat#42,492,038tapdmt-mint.nat#42,492,037tapdmt-mint.nat#42,492,036tapdmt-mint.nat#42,492,035tapdmt-mint.nat#42,492,034tapdmt-mint.nat#42,492,033tapdmt-mint.nat#42,492,032tap