[
    "((l 1) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h (r 8) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h (r 9) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 11) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 9) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 10) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h (r 10) h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 13) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 12) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (l 8) 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 2) h (r 11) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) 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 t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) 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 (r 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 13) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 13) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) 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 (r 4) h (r 4) h (r 6) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 12) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (l 8) 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 (r 12) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h (r 11) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 (r 12) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 15) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (l 8) 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 (r 12) 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 (r 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 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 10) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) 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 (r 14) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 13) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (l 4) h (r 4) h (l 2) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (l 8) 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 (r 12) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 12) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h (r 8) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) 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 t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) 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)",
    "(h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 9) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) 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 (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h (r 10) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 3) t (l 4) t (r 3) h (l 2) h (r 10) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) 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 (r 12) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (l 8) 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 (r 14) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) 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)",
    "(h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t 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 (r 11) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h (r 11) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 15) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (r 6) 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 (r 14) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 3) t (l 4) t (r 3) h (l 2) h (r 10) 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 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 14) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) 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 5) h (r 4) h (l 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 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 5) h (r 4) h (l 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 3) t (l 4) t (r 3) h (l 2) h (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 9) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) 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 (r 8) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) 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 (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 14) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 13) 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 t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h (r 7) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h (r 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 13) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 (r 14) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) 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 (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) 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 (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) 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)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h (r 10) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 12) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) 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 (r 13) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) 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 (r 11) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 1) t (r 6) 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 (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h (r 8) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 12) h (r 4) h (r 4) h (r 4) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (r 14) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 8) 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 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t 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 (r 14) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h (r 12) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 8) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 10) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 11) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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 (r 11) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 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 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 6) 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 (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h (r 4) h (l 2) h)",
    "(h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) 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 5) h (r 4) h (l 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 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 5) h (r 4) h (l 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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 (r 14) 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 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h (r 11) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 (r 13) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 (r 11) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 9) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 9) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 10) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h (r 10) h (r 4) h (l 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 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 12) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) 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 (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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 6) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 (r 14) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 13) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) 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 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 (r 14) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 13) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 14) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h (r 4) h (l 2) h (r 9) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 15) t (r 2) t (l 3) 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 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 13) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 7) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 10) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 8) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h (r 10) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 11) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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 (r 12) 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 (r 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 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 12) 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 (r 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 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 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 (r 14) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) 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 (r 14) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 9) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 9) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) 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 (r 12) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 15) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h (r 9) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 (r 13) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 8) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 11) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (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 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 15) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) 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 (r 15) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 (r 14) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 12) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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 (r 12) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 14) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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 (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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 (r 11) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 9) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) 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 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 16) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 10) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 14) 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 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h (r 10) 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 5) h (r 4) h (l 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 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 5) h (r 4) h (l 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 (r 12) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 (r 12) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (r 4) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h (r 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (l 8) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) 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 (r 7) t (r 6) t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h (r 10) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 4) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 8) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h (r 12) h (l 2) h (r 4) h (r 6) 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)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) 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 (r 12) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) 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 (r 14) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (r 15) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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 (r 15) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h (r 6) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 9) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 13) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 12) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 8) h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 4) h (r 4) h (l 2) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 9) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 10) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h h (r 4) h (l 2) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 12) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 9) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 13) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 13) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 14) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (r 14) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 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 (r 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 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 5) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t t (l 6) t t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (l 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 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 5) h (r 4) h (l 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 (r 12) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 14) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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 (r 15) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 (r 16) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 (r 13) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) 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)",
    "((r 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) 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 5) h (r 4) h (r 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 5) h (r 4) h (l 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)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 7) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) 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 (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 4) h (l 2) h (r 11) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 7) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (r 3) t (l 2) t (r 3) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) 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 (r 14) 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 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 13) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h (r 4) h (l 2) h (r 8) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 5) t t (r 6) t t (l 5) h (r 4) h (l 4) h (r 4) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h (r 7) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 12) h (r 4) h (r 4) h (r 4) h (r 8) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 9) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 10) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t (l 5) 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 (r 6) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 4) h (l 2) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 11) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (r 13) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (r 5) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 11) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) 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 (r 14) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (l 2) h (r 3) t (l 4) t (r 3) h (r 6) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (r 2) h (l 3) t (r 4) t (l 3) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 2) h)",
    "(h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (r 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 (r 14) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 3) t (r 2) t (l 3) h (r 4) h (l 4) h (r 4) h (l 2) h (r 10) 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 5) h (r 4) h (l 4) h (r 4) h (l 5) t (r 6) t (l 5) h (r 4) h (r 8) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (r 4) h (l 4) h (r 5) t (l 6) t (r 5) h (l 4) h (l 8) h (r 4) h (r 4) h (r 4) 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 5) h (r 4) h (l 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 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 5) h (r 4) h (l 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 (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h)",
    "((r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 9) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (r 1) t (r 3) h (l 1) t (l 3) h (l 8) h (r 4) h (r 4) h (r 4) h (r 8) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 12) h (r 4) h (r 4) h (r 4) h)",
    "(h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h (r 4) h (l 2) h (r 10) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h (l 4) h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) 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 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 (r 10) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 8) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (r 4) h (l 3) t (r 4) t (l 5) h (l 8) h (r 4) h (r 4) h (r 4) 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 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 (r 12) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) 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 h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h 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 (r 14) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (l 2) h (l 2) h (r 4) h (r 6) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (r 2) h (r 2) h (l 4) h (l 8) 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 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (r 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 4) h (r 3) t (l 4) t (r 5) h (l 12) h (r 4) h (r 4) h (r 4) h (r 6) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (l 4) h h (r 1) t (l 2) t (r 6) t (l 2) t (r 1) h h (r 8) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (r 4) h h (l 1) t (r 2) t (l 6) t (r 2) t (l 1) h h (l 8) 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)"
]