open-index/open-wikipedia-markdown huggingface dataset:
Z14084

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14084"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z13546",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z13546( Z13546K1, Z13546K2 ) {\n\tif(Z13546K2 === 0n) {\n\t\tWikifunctions.Error(\"Z28194\",[\"\"+Z13546K1,\"Z13546K1\",\"Z13546K2\"])\n\t}\n\n\t//Rounds fractional results down to nearest integer\n\treturn Z13546K1 / Z13546K2;\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "natural number division, javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "eke nọmba nkewa, javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "dividiere natürliche Zahlen in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14088

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14088"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z13482",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13482",
            "Z13482K1": "EN"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "EN is not a valid ISO 639-1 alpha 2 language code"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "EN ist kein ISO 639-1-Sprachcode"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14090

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14090"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z12427",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z12427(Z12427K1):\n    # Start checking factors at 2\n    cnt = 2\n    x = Z12427K1\n    # 1 is not prime but we start checking from 2\n    if x \u003C= 1:\n        return False\n    while cnt*cnt \u003C= x: \n        if x % cnt == 0:\n            # Its a factor, number is not prime\n            return False\n        else:\n            # Check the next possible factor\n            cnt += 1\n    # If we didn't already return then there were no factors and\n    # the number must be prime\n    return True"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is prime python (O(sqrt(n)) method)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1003",
                "Z11K2": "Es primo (División por tentativa O(√n)) - python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Primzahl in Python mit Quadratwurzel"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1003",
                "Z11K2": "Comprobación verdadero/falso de primalidad, utilizando como algoritmo la División por tentativa"
            }
        ]
    }
}
Z14096

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14096"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z12427",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z12427(Z12427K1):\n\tdef mrtest(a,n,d,s):\n\t\tif a%n==0:\n\t\t\treturn True\n\t\tx=pow(a,d,n)\n\t\tif x==1:\n\t\t\treturn True\n\t\tfor i in range(s):\n\t\t\tif x==n-1:\n\t\t\t\treturn True\n\t\t\tx=pow(x,2,n)\n\t\t\tif x==1:\n\t\t\t\treturn False\n\t\treturn x==1\n\tn=Z12427K1\n\tif n\u003C=1:\n\t\treturn False\n\tif n==2:\n\t\treturn True\n\tif n%2==0:\n\t\treturn False\n\td=n-1\n\ts=0\n\twhile d%2==0:\n\t\td//=2\n\t\ts+=1\n\ttest_num=[2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37]\n\t# some random number\n\ttest_num.append((n*0xdead)\u003E\u003E32)\n\ttest_num.append((n*0xbeef)\u003E\u003E32)\n\ttest_num.append((n*0xdeadbeef)\u003E\u003E64)\n\tfor i in test_num:\n\t\tif not mrtest(i,n,d,s):\n\t\t\treturn False\n\treturn True"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is prime (Miller–Rabin test)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Primzahl in Python (Miller-Rabin-Test)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "est-ce un nombre premier ?, en Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "Miller-Rabin primality test",
                    "Rabin-Miller primality test"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "note: false positive may exist"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Python-Implementierung der Funktion zur Prüfung, ob es sich um eine Primzahl handelt, mit dem Miller-Rabin-Test"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "utilise le test de primalité de Miller-Rabin ; des faux-positifs peuvent exister"
            }
        ]
    }
}
Z14109

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14109"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z13407",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13407",
            "Z13407K1": "                    "
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z813"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "string of only whitespace results in empty list"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "leere Zeichenkette anhand von Leerzeichen trennen"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": " une chaîne composée d'espaces donne une liste vid"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "lorsqu'une chaîne est composée uniquement d'espaces, elle renvoie une liste vide"
            }
        ]
    }
}
Z14111

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14111"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z11577",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K1": {
                "Z1K1": "Z13518",
                "Z13518K1": "1"
            },
            "Z13522K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z11040",
                "Z11040K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10193",
                    "Z10193K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z11102",
                        "Z11102K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z10193",
                            "Z10193K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z10047",
                                "Z10047K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z11577K1"
                                }
                            },
                            "Z10193K2": "(([^\\s])[^\\s]*)*",
                            "Z10193K3": "$2"
                        }
                    },
                    "Z10193K2": "\\s",
                    "Z10193K3": ""
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is tautogram, composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Tautogramm als Komposition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "est-ce un tautogramme ?, en Composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14120

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14120"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z14119",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14119",
            "Z14119K1": "abcde",
            "Z14119K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "98"
            },
            "Z14119K3": {
                "Z1K1": "Z13518",
                "Z13518K1": "100"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z866",
            "Z866K2": "ae"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "remove 98-100 (b-d) from \"abcde\""
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "entferne 98-100 aus \"abcde\""
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14121

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14121"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14119",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z14119(Z14119K1, Z14119K2, Z14119K3):\n\treturn''.join([char for char in Z14119K1 if not Z14119K2 \u003C= ord(char) \u003C= Z14119K3])"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "remove characters in unicode range, python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "wepu mkpụrụedemede na oke unicode, python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "entferne Zeichen in Unicode-Bereich in Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14117

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14117"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14112",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z813",
                "Z813K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z14112K2"
                }
            },
            "Z802K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z10174",
                "Z10174K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13445",
                    "Z13445K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13436",
                        "Z13436K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z14112K1"
                        },
                        "Z13436K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z811",
                            "Z811K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z14112K2"
                            }
                        },
                        "Z13436K3": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z14112K2"
                        }
                    }
                },
                "Z10174K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z14112",
                    "Z14112K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z14112K1"
                    },
                    "Z14112K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z812",
                        "Z812K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z14112K2"
                        }
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is empty relation, recursive composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist leere Relation über Liste als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14127

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14127"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z14127K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "input string"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1014",
                            "Z11K2": "eriri ntinye"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Zeichenkette"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6",
        "Z8K3": [
            "Z20",
            "Z14128"
        ],
        "Z8K4": [
            "Z14",
            "Z14129"
        ],
        "Z8K5": "Z14127"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "remove obsolete characters for Khmer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "wepụ ihe odide ochie maka Khmer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "entferne obsolete Zeichen für Khmer"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "these are deprecated in Unicode"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "Akwụsịla ihe ndị a na Unicode"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "entfernt veraltete Unicode-Zeichen"
            }
        ]
    }
}
Z14129

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14129"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14127",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14119",
            "Z14119K1": {
                "Z1K1": "Z18",
                "Z18K1": "Z14127K1"
            },
            "Z14119K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "6051"
            },
            "Z14119K3": {
                "Z1K1": "Z13518",
                "Z13518K1": "6099"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "remove 6051-6099, python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "entferne obsolete Zeichen für Khmer in Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "https://www.w3.org/TR/unicode-xml/#Suitable"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Implementierung der Funktion zur Entfernung obsoleter Zeichen für Khmer mit Entfernen der Zeichen aus dem Unicode-Bereich 6051-6099"
            }
        ]
    }
}
Z14163

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14163"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z14159",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14159",
            "Z14159K1": "Венера"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z866",
            "Z866K2": "♀"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1005",
                "Z11K2": "Венера = ♀"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": " Venus is ♀"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Венера = ♀"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "the astronomical symbol for Venus is♀"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "astronomisches Symbol für die Venus"
            }
        ]
    }
}
Z14170

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14170"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z14166",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14166",
            "Z14166K1": {
                "Z1K1": "Z13518",
                "Z13518K1": "0"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "3"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "0th digit of π is 3"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "nullte Stelle von π ist 3"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Edge case. We define the 1st and 0th digit to be the same. This is consistent with Wolfram Alpha."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Randfall, da wir die erste und nullte Stelle gleich definieren"
            }
        ]
    }
}
Z14171

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14171"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z813",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z813",
            "Z813K1": [
                "Z13518"
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "empty list typed with natural numbers is empty"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "leere Liste natürlicher Zahlen ist leer"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14173

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14173"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14166",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z14166(Z14166K1):\n\timport math\n\timport sys\n\n\tdef unit_root(n, unit):\n\t\tfloating_point_precision = 10**16\n\t\tn_float = float((n * unit * floating_point_precision) // unit) / floating_point_precision\n\t\tx = (int(floating_point_precision * math.sqrt(n_float)) * unit) // floating_point_precision\n\t\tn_unit = n * unit**2\n\t\twhile 1:\n\t\t\tx_old = x\n\t\t\tx = (x + n_unit // x) // 2\n\t\t\tif x == x_old:\n\t\t\t\tbreak\n\t\treturn x\n\n\tdef pi_chudnovsky(unit):\n\t\tj = 1\n\t\ta_j = unit\n\t\ta_sum = unit\n\t\tb_sum = 0\n\t\twhile 1:\n\t\t\ta_j = a_j * -(6*j-1)*(2*j-1)*(6*j-5)\n\t\t\ta_j = a_j // (10939058860032000*(j**3))\n\t\t\ta_sum += a_j\n\t\t\tb_sum += j * a_j\n\t\t\tj += 1\n\t\t\tif a_j == 0:\n\t\t\t\tbreak\n\t\ttotal = 13591409*a_sum + 545140134*b_sum\n\t\tpi = (426880*unit_root(10005, unit)*unit) // total\n\t\treturn pi\n\n\tif Z14166K1 == 0:\n\t\treturn 3\n\tsys.set_int_max_str_digits(max(2*Z14166K1+20, 641))\n\tunit = 10**((Z14166K1+2)*2)\n\tpi = pi_chudnovsky(unit)\n\ts = str(pi)\n\treturn int(s[Z14166K1-1])\n"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Chudnovsky's algorithm in Python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "x-te Stelle von π in Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14175

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14175"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z14175K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "decimal place"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1014",
                            "Z11K2": "Nọmba eke"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Dezimalstelle"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z13518",
        "Z8K3": [
            "Z20",
            "Z14176",
            "Z14178",
            "Z23854"
        ],
        "Z8K4": [
            "Z14",
            "Z14177"
        ],
        "Z8K5": "Z14175"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "nth decimal place of π"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "nth nkeji nkeji nke π"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "nte Dezimalstelle von π"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Return the digit of the decimal representation of pi at the position after the decimal point. See Z14166 to include the first digit (3) in the count."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "Weghachite mkpụrụọnụọgụgụ nke nnochite anya pimal n'ọkwa mgbe akara nrịbasị ahụ gachara. Hụ Z14166 ka itinye ọnụọgụ mbụ (3) na ọnụọgụ."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gibt die Zahl an der angegebenen Dezimalstelle von Pi aus"
            }
        ]
    }
}
Z14180

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14180"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z14180K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "number of digits to include"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1014",
                            "Z11K2": "ọnụ ọgụgụ nke ọnụọgụgụ iji tinye"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Anzahl der Stellen"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6",
        "Z8K3": [
            "Z20",
            "Z14181",
            "Z14182"
        ],
        "Z8K4": [
            "Z14",
            "Z14184"
        ],
        "Z8K5": "Z14180"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "pi string up to the nth digit"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "eriri pi ruo nkeji nth "
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Zeichenkette von π bis zur nten Stelle"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "pi up to nth digit",
                    "pi up to the nth digit",
                    "string representing pi up to the nth digit"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "produces the decimal representation of pi up to a certain digit"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "na-ewepụta ihe nnọchianya pimal nke pi ruo otu nkeji"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gibt die dezimale Darstellung von Pi mit der angegebenen Anzahl von Stellen aus"
            }
        ]
    }
}
Z14183

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14183"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z14180",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14180",
            "Z14180K1": {
                "Z1K1": "Z13518",
                "Z13518K1": "0"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z866",
            "Z866K2": "3"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "0 digits of pi: default to \"3\"?"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "0 Stellen von π: 3"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "define edge case as returning 3?"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Randfall definiert als 3"
            }
        ]
    }
}
Z14184

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14184"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14180",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z11542",
            "Z11542K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z13695",
                "Z13695K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z14180K1"
                },
                "Z13695K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            },
            "Z11542K2": "3",
            "Z11542K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z11542",
                "Z11542K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13522",
                    "Z13522K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z14180K1"
                    },
                    "Z13522K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "2"
                    }
                },
                "Z11542K2": "3.1",
                "Z11542K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10000",
                    "Z10000K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z14180",
                        "Z14180K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13582",
                            "Z13582K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z14180K1"
                            }
                        }
                    },
                    "Z10000K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13713",
                        "Z13713K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z14166",
                            "Z14166K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z14180K1"
                            }
                        }
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "pi string up to n digits, recursive composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Zeichenkette von π bis nte Stelle, Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14187

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14187"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14166",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z14166( Z14166K1 ) {\n    function unit_root(n, unit) {\n\t\tconst floating_point_precision = 10n**16n;\n\t\tconst n_float = Number((n * unit * floating_point_precision) / unit) / Number(floating_point_precision);\n\t\tlet x = (BigInt(Number(floating_point_precision) * Math.sqrt(n_float)) * unit) / floating_point_precision;\n\t\tconst n_unit = n * unit**2n;\n        let x_old = x;\n\t\tdo {\n\t\t\tx_old = x;\n\t\t\tx = (x + n_unit / x) / 2n;\n        } while (x !== x_old);\n\t\treturn x;\n    };\n\n\tfunction pi_chudnovsky(unit) {\n\t\tlet j = 1n;\n\t\tlet a_j = unit;\n\t\tlet a_sum = unit;\n\t\tlet b_sum = 0n;\n\t\tdo {\n\t\t\ta_j = a_j * -(6n*j-1n)*(2n*j-1n)*(6n*j-5n);\n\t\t\ta_j = a_j / (10939058860032000n*(j**3n));\n\t\t\ta_sum += a_j;\n\t\t\tb_sum += j * a_j;\n\t\t\tj += 1n;\n        } while (a_j !== 0n);\n        const total = 13591409n*a_sum + 545140134n*b_sum;\n\t\tconst pi = (426880n*unit_root(10005n, unit)*unit) / total;\n\t\treturn pi\n    };\n\n\tif (Z14166K1 === 0n) return 3n;\n\tconst unit = 10n**((Z14166K1+2n)*2n);\n\tconst pi = pi_chudnovsky(unit);\n\tconst s = pi.toString();\n\treturn BigInt(s[Number(Z14166K1)-1]);\n};"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Chudnovsky's algorithm in JS"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "x-te Stelle von π in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14195

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14195"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z14195K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "Input String"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1014",
                            "Z11K2": "eriri ntinye"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Zeichenkette"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6",
        "Z8K3": [
            "Z20",
            "Z14197",
            "Z14196",
            "Z14199"
        ],
        "Z8K4": [
            "Z14",
            "Z14198"
        ],
        "Z8K5": "Z14195"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Base32 decode"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "isi32  Ihe ndoziIhe ndozi "
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Base32-Decodierung"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Decode a string from Base32"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "Na-akọwapụta eriri"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "decodiert eine Zeichenkette aus Base32"
            }
        ]
    }
}
Z14199

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14199"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z14195",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14195",
            "Z14195K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z14189",
                "Z14189K1": "Wikifunctions"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z866",
            "Z866K2": "Wikifunctions"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Base32 Decode (Base32 encode (“Wikifunctions”) == “Wikifunctions”"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Base32-Decodierung von Base32-Codierung"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Pair inverse Base32 encode and decode functions for testing"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Decodierung der codierten Zeichenkette ergibt den Ausgangswert"
            }
        ]
    }
}
Z14201

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14201"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z14200",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z14200",
            "Z14200K1": "NOT A DATE"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "'NOT A DATE' is not a valid 8601 date or time string"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "NOT A DATE ist kein gültiges ISO-8601-Datum"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14206

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14206"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z14200",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z14200(Z14200K1):\n\tfrom datetime import datetime\n\ttry:\n\t\tdatetime.fromisoformat(Z14200K1)\n\texcept:\n\t\treturn False\n\treturn True"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is valid 8601 date or time string: python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Zeichenkette ISO 8601-Datum oder Zeit, Python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "date ou heure ISO 8601 valide ?, en Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z14188

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14188"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z10215",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z18",
                "Z18K1": "Z10215K1"
            },
            "Z802K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z10216",
                "Z10216K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10216",
                    "Z10216K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z10215K1"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "if true then true, if false then not(not(false))"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Identität als Komposition mit wenn"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Test für T360172"
            }
        ]
    }
}
Z14207

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14207"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z12696",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z12846",
            "Z12846K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z28691",
                "Z28691K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z12696K1"
                }
            },
            "Z12846K2": [
                "Z1",
                {
                    "Z1K1": "Z18",
                    "Z18K1": "Z12696K2"
                }
            ]
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "contains superset composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "enthält als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "True if the list is a superset (multiset) of the “element” (in a list)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Komposition mit ist Übermenge"
            }
        ]
    }
}
Z14208

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z14208"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z12846",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z12846",
            "Z12846K1": [
                "Z1",
                {
                    "Z1K1": "Z40",
                    "Z40K1": "Z41"
                }
            ],
            "Z12846K2": [
                "Z1",
                "True"
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z10216",
                "Z10216K1": {
                    "Z1K1": "Z40",
                    "Z40K1": "Z41"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "[True] is not [“True”]"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "[wahr] ist keine Übermenge von [\"True\"]"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "[vrai] n'est pas un sur-ensemble de [“True”]"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "The Boolean True (in a list) is not the same as the string “True” (in a list)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "boolescher Wert \"wahr\" und Zeichenkette \"True\" sind nicht gleich"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "le booléen vrai (dans une liste) n'est pas la même chose que la chaîne “True” ou en français “vrai” (dans une liste)"
            }
        ]
    }
}