The UBmatrix Formula Trace report below is produced by UBmatrix Processing Engine. The tests for SEC Public Validation Criteria are based upon a set of XBRL Formulas written by UBmatrix.  These formulas test an XBRL submission for both the existence of required data and for the values reported.  They also ensure that the instance document and taxonomy extensions have been prepared according to the SEC's guidance.