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