[
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 7) t (r 10) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 6) h (r 4) h (r 4) h (l 9) t (r 10) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 10) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 10) h (r 4) h (r 4) h (l 11) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 6) h (r 4) h (r 4) h (l 9) t (r 10) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 10) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 5) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h (l 2) h (r 4) h (l 5) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h (l 2) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 2) h (l 2) h (r 4) h (l 5) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 9) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 7) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 6) h (r 4) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 10) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 13) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 11) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 11) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 10) t (r 2) t (r 10) t (l 22) t (r 22) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 29) t (r 14) t (r 2) t (r 14) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 14) t (r 2) t (r 14) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 29) t (r 14) t (r 2) t (r 14) t (l 16) t (r 2) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 14) t (r 2) t (r 14) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 29) t (r 14) t (r 2) t (r 14) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 10) t (r 2) t (r 10) t (l 22) t (r 22) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 14) t (r 2) t (r 14) t (l 16) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t (l 14) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t (l 14) t (r 14) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t (l 22) t (r 22) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 29) t (r 14) t (r 2) t (r 14) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 14) t (r 2) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 11) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 11) t (r 6) t (r 2) t (r 6) t (l 14) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 11) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 10) h (r 4) h (r 4) h (l 10) h (r 4) h (r 4) h (r 4) h (l 13) t (r 6) t (r 2) t (r 6) t (l 14) t (r 14) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 21) t (r 10) t (r 2) t (r 10) t (l 22) t (r 22) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 29) t (r 14) t (r 2) t (r 14) t (l 16) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 21) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 22) t (r 6) t (r 10) t (r 6) t (l 22) t (r 22) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 24) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 24) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 21) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 21) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 22) t (r 6) t (r 10) t (r 6) t (l 22) t (r 22) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 21) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 31) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 31) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 34) t (r 10) t (r 14) t (r 10) t (l 34) t (r 34) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 31) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 24) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 21) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 21) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 31) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 24) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 18) h (r 4) h (r 4) h (r 4) h (r 4) h (l 19) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 33) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 24) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 30) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 31) t (r 10) t (r 2) t (r 10) t (r 2) t (r 10) t (l 34) t (r 10) t (r 14) t (r 10) t (l 34) t (r 34) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 30) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 30) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 24) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 24) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 30) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 30) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 24) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 30) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 30) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 29) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 24) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 6) t (r 10) t (r 6) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 32) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 24) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 32) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 24) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 6) t (r 10) t (r 6) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 32) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 24) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 32) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 24) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 32) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 24) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 6) t (r 10) t (r 6) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 32) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 24) t (r 6) t (r 2) t (r 6) t (r 2) t (r 6) t (l 16) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t)",
    "((l 1) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t (l 38) t (r 14) t (r 10) t (r 14) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 20) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 20) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 30) t (r 10) t (r 10) t (r 10) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 23) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 25) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t (l 26) t (r 6) t (r 14) t (r 6) t (l 26) t (r 26) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 24) t (r 2) t (r 14) t (r 2) t (l 16) t (r 14) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t (l 24) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 20) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 23) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 25) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t (l 20) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 24) t (r 2) t (r 14) t (r 2) t (l 16) t (r 14) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 30) t (r 10) t (r 10) t (r 10) t (l 30) t (r 30) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t (l 24) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 20) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 23) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 23) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t (l 26) t (r 6) t (r 14) t (r 6) t (l 26) t (r 26) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 25) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t (l 20) t (r 2) t (r 10) t (r 2) t (l 12) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 28) t (r 2) t (r 14) t (r 2) t (l 16) t (r 14) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 28) t (r 2) t (r 14) t (r 2) t (l 16) t (r 14) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t (l 24) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 30) t (r 10) t (r 10) t (r 10) t (l 30) t (r 30) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t (l 38) t (r 14) t (r 10) t (r 14) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 30) t (r 10) t (r 10) t (r 10) t (l 30) t (r 30) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 27) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 20) t (r 2) t (r 6) t (r 2) t (l 8) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 10) t (r 2) t (r 6) t (r 2) t (r 10) t (l 30) t (r 10) t (r 10) t (r 10) t (l 30) t (r 30) t)",
    "((l 1) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 14) t (r 2) t (r 6) t (r 2) t (r 14) t (l 38) t (r 14) t (r 10) t (r 14) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 22) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 25) t (r 6) t (r 2) t (r 10) t (r 2) t (r 6) t (l 26) t (r 6) t (r 14) t (r 6) t (l 26) t (r 26) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 28) t (r 2) t (r 14) t (r 2) t (l 16) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 29) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 24) t (r 2) t (r 14) t (r 2) t (l 16) t (r 14) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 14) t (r 14) t (l 13) h (r 12) h (l 10) h (r 8) h (l 6) h (r 4) h (l 8) h (r 12) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 26) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 29) t (r 6) t (r 2) t (r 14) t (r 2) t (r 6) t (l 30) t (r 6) t (r 18) t (r 6) t (l 30) t (r 30) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 32) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (l 24) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 32) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (l 24) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 28) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 28) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 32) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (l 24) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 32) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (l 24) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 28) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 32) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (l 24) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 37) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 38) t (r 10) t (r 2) t (r 14) t (r 2) t (r 10) t (l 38) t (r 10) t (r 18) t (r 10) t (l 38) t (r 38) t)",
    "((l 1) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 10) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (r 10) t (l 28) t (r 2) t (r 6) t (r 2) t (r 6) t (r 2) t (l 16) t (r 6) t (r 2) t (r 6) t (l 8) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 37) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 32) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (l 24) t (r 10) t (r 2) t (r 10) t (l 12) t (r 2) t)",
    "((l 1) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 10) t (r 10) t (l 9) h (r 2) h (r 6) h (l 2) h (l 6) h (r 4) h (r 4) h (r 3) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 6) t (r 6) t (l 5) h (r 4) h (l 34) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (r 4) h (l 35) t (r 6) t (r 2) t (r 10) t (r 2) t (r 10) t (r 2) t (r 6) t (l 38) t (r 6) t (r 2) t (r 22) t (r 2) t (r 6) t (l 38) t (r 6) t (r 26) t (r 6) t (l 38) t (r 38) t)"
]