dmt-mint.nat#44,819,253tapdmt-mint.nat#44,819,229tapdmt-mint.nat#44,819,007tapdmt-mint.nat#44,818,941tapdmt-mint.nat#44,818,932tapdmt-mint.nat#44,818,843tapdmt-mint.nat#44,818,635tapdmt-mint.nat#44,818,616tapdmt-mint.nat#44,818,600tapdmt-mint.nat#44,818,575tapdmt-mint.nat#44,818,573tapdmt-mint.nat#44,818,535tapdmt-mint.nat#44,818,386tapdmt-mint.nat#44,818,314tapdmt-mint.nat#44,818,247tapdmt-mint.nat#44,818,246tapdmt-mint.nat#44,808,265tapdmt-mint.nat#44,808,252tapdmt-mint.nat#44,808,211tapdmt-mint.nat#44,808,186tapdmt-mint.nat#44,808,099tapdmt-mint.nat#44,808,096tapdmt-mint.nat#44,807,837tapdmt-mint.nat#44,807,735tapdmt-mint.nat#44,807,730tapdmt-mint.nat#44,807,693tapdmt-mint.nat#44,807,669tapdmt-mint.nat#44,807,631tapdmt-mint.nat#44,807,565tapdmt-mint.nat#44,807,539tapdmt-mint.nat#44,807,373tapdmt-mint.nat#44,807,337tapdmt-mint.nat#44,807,127tapdmt-mint.nat#44,807,091tapdmt-mint.nat#44,806,882tapdmt-mint.nat#44,806,832tapdmt-mint.nat#44,806,664tapdmt-mint.nat#44,806,544tapdmt-mint.nat#44,806,529tapdmt-mint.nat#44,799,604tapdmt-mint.nat#44,799,583tapdmt-mint.nat#44,799,356tapdmt-mint.nat#44,799,138tapdmt-mint.nat#44,798,957tapdmt-mint.nat#44,798,948tapdmt-mint.nat#44,798,886tapdmt-mint.nat#44,798,801tapdmt-mint.nat#44,798,638tapdmt-mint.nat#44,798,605tapdmt-mint.nat#44,796,193tapdmt-mint.nat#42,502,791tapdmt-mint.nat#42,502,788tapdmt-mint.nat#42,502,787tapdmt-mint.nat#42,502,784tapdmt-mint.nat#42,502,761tapdmt-mint.nat#42,502,757tapdmt-mint.nat#42,502,755tapdmt-mint.nat#42,502,741tapdmt-mint.nat#42,502,730tapdmt-mint.nat#42,502,724tap