A splitter theorem for internally 4-connected binary matroids: small matroids

Our splitter theorem for internally 4-connected binary matroids studies pairs of the form (M,N), where N and M are internally 4-connected binary matroids, M has a proper N-minor, and if M' is an internally 4-connected matroid such that M has a proper M'-minor and M' has an N-minor, then |E(M)|-|E(M')|>3. The analysis in the splitter theorem requires the constraint that |E(M)|>15. In this technical report, we complement that analysis by using an exhaustive computer search to find all such pairs satisfying |E(M)|<16.