2px;"><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;">P = </span></div><div style="white-space: pre; font-style: normal; color: rgb(64, 64, 64); font-size: 12px;">     0     0     0     1
     0     0     1     0
     0     1     0     0
     1     0     0     0
</div></div></div></div></div></div></div><div class = "S0"></div><div class = 'Sect