dmt-mint.nat#42,718,303tapdmt-mint.nat#42,718,290tapdmt-mint.nat#42,718,282tapdmt-mint.nat#42,718,175tapdmt-mint.nat#42,714,490tapdmt-mint.nat#42,714,489tapdmt-mint.nat#42,713,298tapdmt-mint.nat#42,713,287tapdmt-mint.nat#42,713,202tapdmt-mint.nat#42,713,190tapdmt-mint.nat#42,713,161tapdmt-mint.nat#42,713,160tapdmt-mint.nat#42,713,151tapdmt-mint.nat#42,713,150tapdmt-mint.nat#42,599,605tapdmt-mint.nat#42,599,378tapdmt-mint.nat#42,598,918tapdmt-mint.nat#42,598,892tapdmt-mint.nat#42,598,867tapdmt-mint.nat#42,598,838tapdmt-mint.nat#42,596,096tapdmt-mint.nat#42,596,022tapdmt-mint.nat#42,595,954tapdmt-mint.nat#42,595,930tapdmt-mint.nat#42,595,086tapdmt-mint.nat#42,593,802tapdmt-mint.nat#42,593,801tapdmt-mint.nat#42,593,800tapdmt-mint.nat#42,593,799tapdmt-mint.nat#42,593,798tapdmt-mint.nat#42,593,718tapdmt-mint.nat#42,593,453tapdmt-mint.nat#42,593,413tapdmt-mint.nat#42,593,405tapdmt-mint.nat#42,593,404tapdmt-mint.nat#42,592,473tapdmt-mint.nat#42,592,472tapdmt-mint.nat#42,590,713tapdmt-mint.nat#42,589,521tapdmt-mint.nat#42,589,519tapdmt-mint.nat#42,589,516tapdmt-mint.nat#42,589,512tapdmt-mint.nat#42,589,486tapdmt-mint.nat#42,589,423tapdmt-mint.nat#42,589,421tapdmt-mint.nat#42,589,406tapdmt-mint.nat#42,589,368tapdmt-mint.nat#42,589,367tapdmt-mint.nat#42,589,366tapdmt-mint.nat#42,589,365tapdmt-mint.nat#42,587,586tapdmt-mint.nat#42,587,506tapdmt-mint.nat#42,587,220tapdmt-mint.nat#42,583,172tapdmt-mint.nat#42,583,156tapdmt-mint.nat#42,583,091tapdmt-mint.nat#42,582,315tapdmt-mint.nat#42,582,206tap