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