  An excluded minor characterization for the class of binary signed-graphic
matroids with graphic cocircuits is provided. In this report we present the
necessary computations for the case analysis in the proof.
