digraph Syzygy {
  KRBBvKB -> KBBvKB;
  KRBBvKB -> KRBvKB;
  KRBBvKB -> KRBBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBBvK -> KBvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBvKB -> KBvK;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
}