Z13912

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z13912"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z13848",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z31490",
            "Z31490K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z23883",
                "Z23883K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z13848K2"
                }
            },
            "Z31490K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z13522",
                "Z13522K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z13848K2"
                },
                "Z13522K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z13848K1"
                }
            },
            "Z31490K3": {
                "Z1K1": "Z13518",
                "Z13518K1": "1"
            },
            "Z31490K4": {
                "Z1K1": "Z7",
                "Z7K1": "Z13521",
                "Z13521K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13848",
                    "Z13848K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13582",
                        "Z13582K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z13848K1"
                        }
                    },
                    "Z13848K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13582",
                        "Z13582K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z13848K2"
                        }
                    }
                },
                "Z13521K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13848",
                    "Z13848K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13582",
                        "Z13582K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z13848K1"
                        }
                    },
                    "Z13848K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z13848K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "binomial recursive composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Binomialkoeffizient als rekursive Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "if k==0 or k==n, then 1, else n-1 choose k-1 + n-1 choose k"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "rekursive Komposition der Funktion zur Berechnung des Binomialkoeffizienten"
            }
        ]
    }
}