dmt-mint.nat#43,505,359tapdmt-mint.nat#43,503,458tapdmt-mint.nat#43,503,456tapdmt-mint.nat#43,503,455tapdmt-mint.nat#43,503,449tapdmt-mint.nat#43,503,444tapdmt-mint.nat#43,503,443tapdmt-mint.nat#43,503,432tapdmt-mint.nat#43,492,211tapdmt-mint.nat#43,492,210tapdmt-mint.nat#43,492,209tapdmt-mint.nat#43,492,208tapdmt-mint.nat#43,492,207tapdmt-mint.nat#43,492,206tapdmt-mint.nat#43,492,205tapdmt-mint.nat#43,492,204tapdmt-mint.nat#43,492,203tapdmt-mint.nat#43,492,202tapdmt-mint.nat#43,395,274tapdmt-mint.nat#43,395,273tapdmt-mint.nat#43,395,272tapdmt-mint.nat#43,395,271tapdmt-mint.nat#43,395,270tapdmt-mint.nat#43,395,269tapdmt-mint.nat#43,395,268tapdmt-mint.nat#43,395,267tapdmt-mint.nat#43,395,266tapdmt-mint.nat#43,395,265tapdmt-mint.nat#43,383,170tapdmt-mint.nat#43,383,169tapdmt-mint.nat#43,383,168tapdmt-mint.nat#43,383,167tapdmt-mint.nat#43,383,166tapdmt-mint.nat#43,383,165tapdmt-mint.nat#43,383,164tapdmt-mint.nat#43,383,163tapdmt-mint.nat#43,383,162tapdmt-mint.nat#43,383,161tapdmt-mint.nat#43,380,604tapdmt-mint.nat#43,380,603tapdmt-mint.nat#43,379,585tapdmt-mint.nat#43,379,582tapdmt-mint.nat#43,379,581tapdmt-mint.nat#43,379,580tapdmt-mint.nat#43,379,579tapdmt-mint.nat#43,379,578tapdmt-mint.nat#43,379,577tapdmt-mint.nat#43,379,574tapdmt-mint.nat#43,379,573tapdmt-mint.nat#43,379,572tapdmt-mint.nat#43,379,570tapdmt-mint.nat#43,379,569tapdmt-mint.nat#43,379,568tapdmt-mint.nat#43,379,567tapdmt-mint.nat#43,379,566tapdmt-mint.nat#43,379,565tapdmt-mint.nat#43,379,563tapdmt-mint.nat#43,379,562tapdmt-mint.nat#43,379,561tapdmt-mint.nat#43,379,559tap