Debugging this research code of mine is really pissing me off. It took me a fucking hour just to get the counterexample down by an order of magnitude or two in size, and I have another couple left before it starts looking understandable.
Oh, whoops. A serendipitous mistake revealed what the mistake in my code was. Stupid foreign constants.