digraph tamari {
OaObOcd -> OOabOcd;
OOaObcd -> OOOabcd;
OaOObcd -> OOaObcd;
OOabOcd -> OOOabcd;
OaObOcd -> OaOObcd;
}