[
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                            Lit(
                                Atom(
                                    "The-Other",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "The-Other",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: Some(
                        5,
                    ),
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Ap(
                                Ap(
                                    Var(
                                        "foo",
                                    ),
                                    Var(
                                        "bar",
                                    ),
                                ),
                                Var(
                                    "baz",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Tup(
                                [
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [],
                                                ),
                                            },
                                        ],
                                    ),
                                ],
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Tup(
                                [
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [
                                                        Lit(
                                                            Num(
                                                                1,
                                                            ),
                                                        ),
                                                    ],
                                                ),
                                            },
                                        ],
                                    ),
                                ],
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Tup(
                                [
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [
                                                        Lit(
                                                            Num(
                                                                1,
                                                            ),
                                                        ),
                                                    ],
                                                ),
                                            },
                                        ],
                                    ),
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [
                                                        Lit(
                                                            Num(
                                                                2,
                                                            ),
                                                        ),
                                                    ],
                                                ),
                                            },
                                        ],
                                    ),
                                ],
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Tup(
                                [
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [
                                                        Lit(
                                                            Num(
                                                                1,
                                                            ),
                                                        ),
                                                    ],
                                                ),
                                            },
                                        ],
                                    ),
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [
                                                        Lit(
                                                            Num(
                                                                2,
                                                            ),
                                                        ),
                                                    ],
                                                ),
                                            },
                                        ],
                                    ),
                                    Chc(
                                        [
                                            Choice {
                                                weight: None,
                                                value: Cat(
                                                    [
                                                        Lit(
                                                            Num(
                                                                3,
                                                            ),
                                                        ),
                                                    ],
                                                ),
                                            },
                                        ],
                                    ),
                                ],
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Range(
                                Lit(
                                    Num(
                                        0,
                                    ),
                                ),
                                Lit(
                                    Num(
                                        20,
                                    ),
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Range(
                                Var(
                                    "x",
                                ),
                                Var(
                                    "y",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Ap(
                                Var(
                                    "f",
                                ),
                                Var(
                                    "x",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
]