[
  "and",
  [
    "and",
    [
      "eq",
      [
        "zero"
      ],
      [
        "zero"
      ]
    ],
    [
      "and",
      [
        "eq",
        [
          "mul",
          [
            "succ",
            [
              "succ",
              [
                "zero"
              ]
            ]
          ],
          [
            "succ",
            [
              "mul",
              [
                "succ",
                [
                  "succ",
                  [
                    "zero"
                  ]
                ]
              ],
              [
                "succ",
                [
                  "mul",
                  [
                    "succ",
                    [
                      "succ",
                      [
                        "zero"
                      ]
                    ]
                  ],
                  [
                    "succ",
                    [
                      "mul",
                      [
                        "succ",
                        [
                          "succ",
                          [
                            "zero"
                          ]
                        ]
                      ],
                      [
                        "succ",
                        [
                          "zero"
                        ]
                      ]
                    ]
                  ]
                ]
              ]
            ]
          ]
        ],
        [
          "mul",
          [
            "succ",
            [
              "succ",
              [
                "zero"
              ]
            ]
          ],
          [
            "succ",
            [
              "mul",
              [
                "succ",
                [
                  "succ",
                  [
                    "zero"
                  ]
                ]
              ],
              [
                "succ",
                [
                  "mul",
                  [
                    "succ",
                    [
                      "succ",
                      [
                        "zero"
                      ]
                    ]
                  ],
                  [
                    "succ",
                    [
                      "mul",
                      [
                        "succ",
                        [
                          "succ",
                          [
                            "zero"
                          ]
                        ]
                      ],
                      [
                        "succ",
                        [
                          "zero"
                        ]
                      ]
                    ]
                  ]
                ]
              ]
            ]
          ]
        ]
      ],
      [
        "eq",
        [
          "succ",
          [
            "zero"
          ]
        ],
        [
          "succ",
          [
            "zero"
          ]
        ]
      ]
    ]
  ],
  [
    "and",
    [
      "and",
      [
        "eq",
        [
          "zero"
        ],
        [
          "zero"
        ]
      ],
      [
        "eq",
        [
          "zero"
        ],
        [
          "zero"
        ]
      ]
    ],
    [
      "and",
      [
        "eq",
        [
          "zero"
        ],
        [
          "zero"
        ]
      ],
      [
        "eq",
        [
          "zero"
        ],
        [
          "zero"
        ]
      ]
    ]
  ]
]