OP-00111 Lean verified Full nonnegative rank of the quadratic correlation matrix NA · extended formulations · nonnegative rank · OpenProblemsInNLA · unique-disjointness matrices