Circuit Decompositions of Binary Matroids | Synapse