edges can now be compressed and printed to dotty, a set can be converted to a correct bit vector