Gessel-sequence interpretation conjecture. The sequence bnb_nbn has a combinatorial interpretation of type (C1).
