sbool ai_isZShapeSextet(Pair<T3S> p) {
  ret p != null && (
    empty(p.a.a) && empty(p.b.c) && nempty(p.b.a) && nempty(p.a.c) ||
    empty(p.a.c) && empty(p.b.a) && nempty(p.b.c) && nempty(p.a.a));
}