Constr(
    0,
    [
        Constr(
            0,
            [
                List(
                    [
                        Constr(
                            0,
                            [
                                Constr(
                                    0,
                                    [
                                        Constr(
                                            0,
                                            [
                                                Bytes(
                                                    [
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Integer(
                                            3,
                                        ),
                                    ],
                                ),
                                Constr(
                                    0,
                                    [
                                        Constr(
                                            0,
                                            [
                                                Constr(
                                                    0,
                                                    [
                                                        Bytes(
                                                            [
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                                Constr(
                                                    0,
                                                    [
                                                        Constr(
                                                            0,
                                                            [
                                                                Constr(
                                                                    1,
                                                                    [
                                                                        Bytes(
                                                                            [
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                            ],
                                                                        ),
                                                                    ],
                                                                ),
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Map(
                                            [
                                                (
                                                    Bytes(
                                                        [],
                                                    ),
                                                    Map(
                                                        [
                                                            (
                                                                Bytes(
                                                                    [],
                                                                ),
                                                                Integer(
                                                                    234,
                                                                ),
                                                            ),
                                                        ],
                                                    ),
                                                ),
                                                (
                                                    Bytes(
                                                        [
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                        ],
                                                    ),
                                                    Map(
                                                        [
                                                            (
                                                                Bytes(
                                                                    [
                                                                        83,
                                                                        111,
                                                                        109,
                                                                        101,
                                                                        116,
                                                                        104,
                                                                        105,
                                                                        110,
                                                                        103,
                                                                    ],
                                                                ),
                                                                Integer(
                                                                    123,
                                                                ),
                                                            ),
                                                        ],
                                                    ),
                                                ),
                                            ],
                                        ),
                                        Constr(
                                            2,
                                            [
                                                Constr(
                                                    1,
                                                    [
                                                        Bytes(
                                                            [
                                                                83,
                                                                111,
                                                                109,
                                                                101,
                                                                116,
                                                                104,
                                                                105,
                                                                110,
                                                                103,
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Constr(
                                            0,
                                            [
                                                Bytes(
                                                    [
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                    ],
                                                ),
                                            ],
                                        ),
                                    ],
                                ),
                            ],
                        ),
                    ],
                ),
                List(
                    [
                        Constr(
                            0,
                            [
                                Constr(
                                    0,
                                    [
                                        Constr(
                                            0,
                                            [
                                                Bytes(
                                                    [
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Integer(
                                            3,
                                        ),
                                    ],
                                ),
                                Constr(
                                    0,
                                    [
                                        Constr(
                                            0,
                                            [
                                                Constr(
                                                    0,
                                                    [
                                                        Bytes(
                                                            [
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                                0,
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                                Constr(
                                                    0,
                                                    [
                                                        Constr(
                                                            0,
                                                            [
                                                                Constr(
                                                                    1,
                                                                    [
                                                                        Bytes(
                                                                            [
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                                1,
                                                                            ],
                                                                        ),
                                                                    ],
                                                                ),
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Map(
                                            [
                                                (
                                                    Bytes(
                                                        [],
                                                    ),
                                                    Map(
                                                        [
                                                            (
                                                                Bytes(
                                                                    [],
                                                                ),
                                                                Integer(
                                                                    234,
                                                                ),
                                                            ),
                                                        ],
                                                    ),
                                                ),
                                                (
                                                    Bytes(
                                                        [
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                            1,
                                                        ],
                                                    ),
                                                    Map(
                                                        [
                                                            (
                                                                Bytes(
                                                                    [
                                                                        83,
                                                                        111,
                                                                        109,
                                                                        101,
                                                                        116,
                                                                        104,
                                                                        105,
                                                                        110,
                                                                        103,
                                                                    ],
                                                                ),
                                                                Integer(
                                                                    123,
                                                                ),
                                                            ),
                                                        ],
                                                    ),
                                                ),
                                            ],
                                        ),
                                        Constr(
                                            2,
                                            [
                                                Constr(
                                                    1,
                                                    [
                                                        Bytes(
                                                            [
                                                                83,
                                                                111,
                                                                109,
                                                                101,
                                                                116,
                                                                104,
                                                                105,
                                                                110,
                                                                103,
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Constr(
                                            0,
                                            [
                                                Bytes(
                                                    [
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                    ],
                                                ),
                                            ],
                                        ),
                                    ],
                                ),
                            ],
                        ),
                    ],
                ),
                List(
                    [
                        Constr(
                            0,
                            [
                                Constr(
                                    0,
                                    [
                                        Constr(
                                            0,
                                            [
                                                Bytes(
                                                    [
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                        0,
                                                    ],
                                                ),
                                            ],
                                        ),
                                        Constr(
                                            0,
                                            [
                                                Constr(
                                                    0,
                                                    [
                                                        Constr(
                                                            1,
                                                            [
                                                                Bytes(
                                                                    [
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                        1,
                                                                    ],
                                                                ),
                                                            ],
                                                        ),
                                                    ],
                                                ),
                                            ],
                                        ),
                                    ],
                                ),
                                Map(
                                    [
                                        (
                                            Bytes(
                                                [],
                                            ),
                                            Map(
                                                [
                                                    (
                                                        Bytes(
                                                            [],
                                                        ),
                                                        Integer(
                                                            234,
                                                        ),
                                                    ),
                                                ],
                                            ),
                                        ),
                                        (
                                            Bytes(
                                                [
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                ],
                                            ),
                                            Map(
                                                [
                                                    (
                                                        Bytes(
                                                            [
                                                                83,
                                                                111,
                                                                109,
                                                                101,
                                                                116,
                                                                104,
                                                                105,
                                                                110,
                                                                103,
                                                            ],
                                                        ),
                                                        Integer(
                                                            123,
                                                        ),
                                                    ),
                                                ],
                                            ),
                                        ),
                                    ],
                                ),
                                Constr(
                                    2,
                                    [
                                        Constr(
                                            1,
                                            [
                                                Bytes(
                                                    [
                                                        83,
                                                        111,
                                                        109,
                                                        101,
                                                        116,
                                                        104,
                                                        105,
                                                        110,
                                                        103,
                                                    ],
                                                ),
                                            ],
                                        ),
                                    ],
                                ),
                                Constr(
                                    0,
                                    [
                                        Bytes(
                                            [
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                                0,
                                            ],
                                        ),
                                    ],
                                ),
                            ],
                        ),
                    ],
                ),
                Map(
                    [
                        (
                            Bytes(
                                [],
                            ),
                            Map(
                                [
                                    (
                                        Bytes(
                                            [],
                                        ),
                                        Integer(
                                            234,
                                        ),
                                    ),
                                ],
                            ),
                        ),
                        (
                            Bytes(
                                [
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                ],
                            ),
                            Map(
                                [
                                    (
                                        Bytes(
                                            [
                                                83,
                                                111,
                                                109,
                                                101,
                                                116,
                                                104,
                                                105,
                                                110,
                                                103,
                                            ],
                                        ),
                                        Integer(
                                            123,
                                        ),
                                    ),
                                ],
                            ),
                        ),
                    ],
                ),
                Map(
                    [
                        (
                            Bytes(
                                [],
                            ),
                            Map(
                                [
                                    (
                                        Bytes(
                                            [],
                                        ),
                                        Integer(
                                            234,
                                        ),
                                    ),
                                ],
                            ),
                        ),
                        (
                            Bytes(
                                [
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                    1,
                                ],
                            ),
                            Map(
                                [
                                    (
                                        Bytes(
                                            [
                                                83,
                                                111,
                                                109,
                                                101,
                                                116,
                                                104,
                                                105,
                                                110,
                                                103,
                                            ],
                                        ),
                                        Integer(
                                            123,
                                        ),
                                    ),
                                ],
                            ),
                        ),
                    ],
                ),
                List(
                    [
                        Constr(
                            2,
                            [
                                Constr(
                                    0,
                                    [
                                        Constr(
                                            1,
                                            [
                                                Bytes(
                                                    [
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                        1,
                                                    ],
                                                ),
                                            ],
                                        ),
                                    ],
                                ),
                                Bytes(
                                    [
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                        0,
                                    ],
                                ),
                            ],
                        ),
                    ],
                ),
                Map(
                    [
                        (
                            Constr(
                                0,
                                [
                                    Constr(
                                        1,
                                        [
                                            Bytes(
                                                [
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                    1,
                                                ],
                                            ),
                                        ],
                                    ),
                                ],
                            ),
                            Integer(
                                12,
                            ),
                        ),
                    ],
                ),
                Constr(
                    0,
                    [
                        Constr(
                            0,
                            [
                                Constr(
                                    1,
                                    [
                                        Integer(
                                            1723106785,
                                        ),
                                    ],
                                ),
                                Constr(
                                    1,
                                    [],
                                ),
                            ],
                        ),
                        Constr(
                            0,
                            [
                                Constr(
                                    2,
                                    [],
                                ),
                                Constr(
                                    1,
                                    [],
                                ),
                            ],
                        ),
                    ],
                ),
                List(
                    [
                        Bytes(
                            [
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                            ],
                        ),
                    ],
                ),
                Map(
                    [
                        (
                            Constr(
                                0,
                                [
                                    Bytes(
                                        [
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                            1,
                                        ],
                                    ),
                                ],
                            ),
                            Integer(
                                144,
                            ),
                        ),
                    ],
                ),
                Map(
                    [
                        (
                            Bytes(
                                [
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                    0,
                                ],
                            ),
                            Constr(
                                1,
                                [
                                    Bytes(
                                        [
                                            83,
                                            111,
                                            109,
                                            101,
                                            116,
                                            104,
                                            105,
                                            110,
                                            103,
                                        ],
                                    ),
                                ],
                            ),
                        ),
                    ],
                ),
                Constr(
                    0,
                    [
                        Bytes(
                            [
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                                0,
                            ],
                        ),
                    ],
                ),
            ],
        ),
        Constr(
            0,
            [
                Bytes(
                    [
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                        1,
                    ],
                ),
            ],
        ),
    ],
)