mal; color: rgb(64, 64, 64); font-size: 12px;"><div style="white-space: pre; font-style: normal; color: rgb(64, 64, 64); font-size: 12px;"><span class="variableNameElement" style="white-space: pre; font-style: normal; color: rgb(64, 64, 64); font-size: 12px;">U = </span></div><div style="white-space: pre; font-style: normal; color: rgb(64, 64, 64); font-size: 12px;">  -4.0000e+00   5.0000e+00  -7.0000e+00  -1.0000e+01
            0   1.6250e+01   2.5000e-01  -7.0000e+00
            0            0   5.5385e+