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,
                    ],
                ),
            ],
        ),
    ],
)