Constr(
    0,
    [
        Constr(
            0,
            [
                Constr(
                    1,
                    [
                        Integer(
                            1723106785,
                        ),
                    ],
                ),
                Constr(
                    1,
                    [],
                ),
            ],
        ),
        Constr(
            0,
            [
                Constr(
                    2,
                    [],
                ),
                Constr(
                    1,
                    [],
                ),
            ],
        ),
    ],
)