Pertorm steps 1-3 of the CSDP for the following output reports. In setting out derivation rules.
you may use any convenient notation.