[
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (l 5) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (l 13) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (l 5) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (l 5) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (l 5) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 13) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 2) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 2) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (l 21) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t t (r 6) t t (r 3) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 20) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t (r 6) t (l 3) h h (l 2) h (r 4) h (l 20) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 14) h (r 4) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)"
]