Is there a listings (in nauty graph6 format) of the 720 self-complement graphs on 12 vertices? Thanks Sam Speed