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

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17367"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17363",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z10184",
            "Z10184K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17140",
                "Z17140K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17363K1"
                },
                "Z17140K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17363K2"
                }
            },
            "Z10184K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z16688",
                "Z16688K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17363K1"
                },
                "Z16688K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17363K2"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "less than or equal (integer), composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "ihe na-erughị ma ọ bụ nhata (ọnụọgụ), mejupụtara"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "inférieur ou égal (entier), en Composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Erste Zahl kleiner oder gleich der zweiten, Komp."
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17374

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17374"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z13539",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17144",
            "Z17144K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17120",
                "Z17120K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17101",
                    "Z17101K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z13539K1"
                    }
                },
                "Z17120K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17101",
                    "Z17101K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z13539K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "multiply, composition from integer multiply"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "mụbaa, mejupụtara si onụọgụ mụbaa"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "multipliziere zwei natürliche Zahlen, Komp, abs."
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17377

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17377"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17376",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z17376(Z17376K1, Z17376K2):\n\tif (Z17376K1\u003EZ17376K2): return Z17376K1\n\treturn Z17376K2"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "greater of two integers, python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "größere von zwei Ganzzahlen in Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17385

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17385"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z16575",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z808",
            "Z808K1": [
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z882",
                    "Z882K1": "Z39",
                    "Z882K2": "Z1"
                },
                {
                    "Z1K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z882",
                        "Z882K1": "Z39",
                        "Z882K2": "Z1"
                    },
                    "K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z1K1"
                    },
                    "K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z805",
                        "Z805K1": "Z99"
                    }
                },
                {
                    "Z1K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z882",
                        "Z882K1": "Z39",
                        "Z882K2": "Z1"
                    },
                    "K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z99K1"
                    },
                    "K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z805",
                        "Z805K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z16575K1"
                        }
                    }
                }
            ]
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "quote an object, composition using abstract"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Objekt zitieren als Komposition mit abstrahieren"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17401

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17401"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z13558",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z813",
                "Z813K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z13558K1"
                }
            },
            "Z802K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "1"
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z876",
                "Z876K1": "Z13539",
                "Z876K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z812",
                    "Z812K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z13558K1"
                    }
                },
                "Z876K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z811",
                    "Z811K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z13558K1"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "N-list.product, composition: reduce(multiply, tail, head)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Produkt von Liste als Komposition mit ist leer"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "reduce the Natural number list without its first element using multiply two strings, with the first element as the initial value "
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "verringert die Liste der natürlichen Zahlen ohne ihr erstes Element, indem zwei Zeichenketten multipliziert werden, wobei das erste Element als Anfangswert dient"
            }
        ]
    }
}
Z17410

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17410"
    },
    "Z2K2": {
        "Z1K1": "Z46",
        "Z46K1": "Z17410",
        "Z46K2": "Z17402",
        "Z46K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17410( Z17410K1 ) {\n\tlet x = Z17410K1;\n\twhile (typeof x !== 'string') {\n\t\tif (x.Z9K1 !== undefined) {\n\t\t\tx = x.Z9K1;\n\t\t}\n\t\tif (x.Z17402K1 !== undefined) {\n\t\t\tx = x.Z17402K1;\n\t\t}\n\t}\n\tif ( x === 'Z17403' ) return 1;\n\tif ( x === 'Z17404' ) return 2;\n\tif ( x === 'Z17405' ) return 3;\n\tif ( x === 'Z17406' ) return 4;\n\tif ( x === 'Z17407' ) return 5;\n\tif ( x === 'Z17408' ) return 6;\n\tif ( x === 'Z17409' ) return 0;\n\tthrow Error('not a day of the week');\n}"
        },
        "Z46K4": "number"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Day of the week to JS number"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "JavaScript-Umwandler aus Wochentag"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Returns 0 for Sunday, 1 for Monday, etc."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gibt 0 für Sonntag, 1 für Montag usw. aus"
            }
        ]
    }
}
Z17412

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17412"
    },
    "Z2K2": {
        "Z1K1": "Z64",
        "Z64K1": "Z17412",
        "Z64K2": "Z17402",
        "Z64K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17412( Z17412K1 ) {\n\tlet x = '';\n\tswitch (Z17412K1) {\n\t\tcase 0: x = 'Z17409'; break;\n\t\tcase 1: x = 'Z17403'; break;\n\t\tcase 2: x = 'Z17404'; break;\n\t\tcase 3: x = 'Z17405'; break;\n\t\tcase 4: x = 'Z17406'; break;\n\t\tcase 5: x = 'Z17407'; break;\n\t\tcase 6: x = 'Z17408'; break;\n\t}\n\t\n\treturn {\n\t\t\"Z1K1\": {\n\t\t\t\"Z1K1\": \"Z9\",\n\t\t\t\"Z9K1\": \"Z17402\"\n\t\t\t\n\t\t},\n\t\t\"Z17402K1\": {\n\t\t\t\"Z1K1\": \"Z9\",\n\t\t\t\"Z9K1\": x\n\t\t}\n\t};\n\n}"
        },
        "Z64K4": "number"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "JS number to Day of the week"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "JavaScript-Umwandler in Wochentag"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17417

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17417"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17414",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17414",
            "Z17414K1": "Z17403",
            "Z17414K2": "Z17409"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Monday ≠ Sunday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "lundi ≠ dimanche"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Montag ≠ Sonntag"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17421

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17421"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17420",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17420",
            "Z17420K1": "Z17405"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z17414",
            "Z17414K2": "Z17406"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "after Wednesday is Thursday "
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1827",
                "Z11K2": "μετά την Τετάρτη είναι Πέμπτη"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "après le mercredi c'est le jeudi"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "nach Mittwoch kommt Donnerstag"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1004",
                "Z31K2": [
                    "Z6",
                    "après mercredi c'est jeudi"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17424

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17424"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z17424K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "day number (1-7)"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Zahl"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z17402",
        "Z8K3": [
            "Z20",
            "Z17427",
            "Z17429",
            "Z17430",
            "Z17447",
            "Z17449",
            "Z17450",
            "Z17451"
        ],
        "Z8K4": [
            "Z14",
            "Z17448",
            "Z17426"
        ],
        "Z8K5": "Z17424"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "day number to day (integer, starting 1=Sunday)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Zahl in Wochentag (1 = Sonntag)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Converts the integer number (1-7) to actual day it corresponds to in Javascript, starting with 1=Sunday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "wandelt die Ganzzahl in den entsprechenden Wochentag um, beginnend mit 1 = Sonntag"
            }
        ]
    }
}
Z17444

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17444"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17442",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17442",
            "Z17442K1": "Z17405"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z16688",
            "Z16688K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16660"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "4"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "day number of Wednesday is 4"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Mittwoch ist 4"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17454

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17454"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17452",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17452( Z17452K1, Z17452K2, Z17452K3 ) {\n\n const day = Z17452K1, month= Z17452K2, year =parseInt(Z17452K3);\n let total_count = 0;\n let total_days_in_month = new Date(year,month+1,0).getDate();\n \n for(let da = 1; da \u003C= total_days_in_month; da++){\n \tlet date = new Date(year,month, da);\n \tif(date.getDay() === day)\n \t  total_count++;\n }\n\n return total_count;\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "total occurrences of day in month, js iteration"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "nweta ngụkọta nke otu ụbọchị enyere"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Anzahl eines Wochentags im Monat in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17456

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17456"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17452",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17452",
            "Z17452K1": "Z17406",
            "Z17452K2": "Z16102",
            "Z17452K3": {
                "Z1K1": "Z13518",
                "Z13518K1": "2024"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "5"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "5 Thursdays in February 2024"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "5 Donnerstage im Februar 2024"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "The leap day was a Thursday."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Der Schalttag fiel auf einen Donnerstag"
            }
        ]
    }
}
Z17458

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17458"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z16316",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z16316( Z16316K1 ) {\n\tlet total_days_in_month = new Date(2022,Z16316K1+1,0).getDate();\n\treturn (BigInt(total_days_in_month));\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "using JS getDate"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Tage im Monat, nicht Schaltj., JavaScript, getDate"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "2022 chosen as an example of a non-leap year"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "verwendet 2022 als Beispiel für ein Jahr, das kein Schaltjahr ist"
            }
        ]
    }
}
Z17466

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17466"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17464",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17464( Z17464K1, Z17464K2 ) {\n  return JSON.stringify(Z17464K1) === JSON.stringify(Z17464K2);\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "⚠️ same Reference, JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "est-ce la même référence ?, en JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gleiches Referenzobjekt in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "return True if the arguments have equal JSON object literals"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gibt wahr aus, wenn die Argumente gleiche JSON-Objektliterale haben"
            }
        ]
    }
}
Z17473

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17473"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17469",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17469",
            "Z17469K1": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            ],
            "Z17469K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "7"
                }
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z889",
            "Z889K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "12"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            ],
            "Z889K3": "Z13522"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "(5,0) - (0,7) = (12,0) = 12"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "(5,0) - (0,7) = (12,0)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17475

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17475"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17469",
        "Z14K2": [
            "Z13518",
            {
                "Z1K1": "Z7",
                "Z7K1": "Z13521",
                "Z13521K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z811",
                    "Z811K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17469K1"
                    }
                },
                "Z13521K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z12964",
                    "Z12964K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17469K2"
                    }
                }
            },
            {
                "Z1K1": "Z7",
                "Z7K1": "Z13521",
                "Z13521K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z12964",
                    "Z12964K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17469K2"
                    }
                },
                "Z13521K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z811",
                    "Z811K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17469K2"
                    }
                }
            }
        ]
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "(a,b) - (c,d) = (a+d,b+c), composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "geordnete Paare subtrahieren als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17479

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17479"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17478",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17478( Z17478K1 ) {\n\treturn ((parseInt(Z17478K1)+6)%7);\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "day number to day (1=Sun), Javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "nọmba ụbọchị ruo ụbọchị (1=Sun), Javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "numéro du jour vers jour, en JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Zahl zu Wochentag (1 = Sonntag) in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17480

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17480"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17478",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17478",
            "Z17478K1": {
                "Z1K1": "Z13518",
                "Z13518K1": "1"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z17414",
            "Z17414K2": "Z17409"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "1 → Sunday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "1 → dimanche"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1830",
                "Z11K2": "1 → 日曜日"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "1 → Sonntag"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17476

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17476"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17315",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17315",
            "Z17315K1": {
                "Z1K1": "Z13518",
                "Z13518K1": "99"
            },
            "Z17315K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "42"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z16688",
            "Z16688K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16660"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "57"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "99 - 42 = 57"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "99 - 42 = \"57\""
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "99 - 42 = 57"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "expect True"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ergibt wahr"
            }
        ]
    }
}
Z17472

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17472"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17111",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17307",
            "Z17307K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17469",
                "Z17469K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17301",
                    "Z17301K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17111K1"
                    }
                },
                "Z17469K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17301",
                    "Z17301K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17111K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "subtract integers, set-theoretic method"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ganze Zahl subtrahieren, Komp., geordnetes Paar"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17489

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17489"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17485",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z17485(Z17485K1):\n\treturn Z17485K1%7+1"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "day to day number (Sunday=1), python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "nọmba ụbọchị ruo ụbọchị (sọnde=1), python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "jour vers numéro du jour, en Python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Tag zu Tagnummer in Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "démarre à partir de dimanche = 1"
            }
        ]
    }
}
Z17491

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17491"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z17402",
                "Z17K2": "Z17491K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "day to evaluate"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "giorno"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Wochentag"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z40",
        "Z8K3": [
            "Z20",
            "Z17493",
            "Z17494",
            "Z17495",
            "Z17496"
        ],
        "Z8K4": [
            "Z14",
            "Z17497",
            "Z17492",
            "Z17498"
        ],
        "Z8K5": "Z17491"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is Monday to Friday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Montag bis Freitag"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "è tra lunedì e venerdì"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "is weekday",
                    "is not weekend",
                    "is not Saturday or Sunday"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "è un giorno feriale"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "returns true if Monday-Friday, false if Saturday or Sunday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Gibt wahr zurück wenn der gewählte Wochentag Montag bis Freitag ist und falsch bei den Wochentagen Samstag und Sonntag"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Restituisce vero se è tra lunedì e venerdì, e falso se sabato o domenica"
            }
        ]
    }
}
Z17496

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17496"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17491",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17491",
            "Z17491K1": "Z17409"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Sunday is not a weekday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Sonntag ist kein Werktag"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "Le dimanche n'est pas en semaine"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17498

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17498"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17491",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z10184",
                "Z10184K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17414",
                    "Z17414K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17491K1"
                    },
                    "Z17414K2": "Z17408"
                },
                "Z10184K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17414",
                    "Z17414K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17491K1"
                    },
                    "Z17414K2": "Z17409"
                }
            },
            "Z802K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            },
            "Z802K3": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "weekday, composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Montag bis Freitag als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17499

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17499"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z13036",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13036",
            "Z13036K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z10249",
                "Z10249K1": "Hello, world!"
            },
            "Z13036K2": "arbitrary input string"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z866",
            "Z866K2": "Hello, world!"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "apply to test K combinator"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "wende \"K-Kombinator\" an"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17502

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17502"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17204",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17132",
            "Z17132K1": {
                "Z1K1": "Z18",
                "Z18K1": "Z17204K1"
            },
            "Z17132K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16661"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "\u003E 0, composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "est-ce un entier positif ?, en Composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist positive Ganzzahl als Komposition, größer als"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17505

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17505"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17167",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17167( Z17167K1, Z17167K2 ) {\n\treturn ((Z17167K1 % Z17167K2) + Z17167K2) % Z17167K2;\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "modulus of integers, JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Modulo für Ganzzahl in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17501

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17501"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17267",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17186",
            "Z17186K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17101",
                "Z17101K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17267K1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": " negate natural number to integer, composition with \"negate integer\" (Z17186)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "nat. Zahl in Ganzzahl neg., Komp., Ganzzahl neg."
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17519

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17519"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17517",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17517",
            "Z17517K1": "Z17403",
            "Z17517K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16660"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z17414",
            "Z17414K2": "Z17404"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Monday + 1 = Tuesday"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "lundi + 1 = \"mardi\""
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Montag + 1 = Dienstag"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}