DART is Korea's mandatory electronic disclosure system. How non-Korean investors read its Korean filings to verify Samsung and SK hynix numbers.