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

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19770"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z19754",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19754",
            "Z19754K1": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                }
            },
            "Z19754K2": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16662",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "2/3 is not less than or equal to -2/3"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19800

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19800"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z19800K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "rational number to approximate"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z19800K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "maximum denominator"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z19677",
        "Z8K3": [
            "Z20",
            "Z19802",
            "Z19804",
            "Z19805"
        ],
        "Z8K4": [
            "Z14",
            "Z19801"
        ],
        "Z8K5": "Z19800"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "limit denominator"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "approximate rational number"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "returns the closest rational number to the input with a denominator no greater than the specified maximum (see https://github.com/python/cpython/issues/95723)"
            }
        ]
    }
}
Z19806

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19806"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z19806K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "rational number to test"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "nombre rationnel à tester"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z40",
        "Z8K3": [
            "Z20",
            "Z19808",
            "Z19809",
            "Z19810",
            "Z19811",
            "Z19812"
        ],
        "Z8K4": [
            "Z14",
            "Z31521",
            "Z19807",
            "Z19813",
            "Z31308"
        ],
        "Z8K5": "Z19806"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is rational number an integer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "ce nombre rationnel est-il un entier ?"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "is integer",
                    "rational number is integer",
                    "is Rational number integral?",
                    "is Rational number non-fractional?"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "returns true if a rational number is equivalent to an integer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "renvoie \"vrai\" si un nombre rationnel est équivalent à un entier"
            }
        ]
    }
}
Z19813

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19813"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19806",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z19806(Z19806K1):\n\treturn Z19806K1.denominator == 1"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is q in Z, python .denominator==1"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "ce nombre rationnel est-il un entier ?, en Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19821

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19821"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z19814",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19814",
            "Z19814K1": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "10"
                }
            },
            "Z19814K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "5"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z19686",
            "Z19686K2": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "1/10 is half way to 1/5, rounds to 0"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "careful with implementations that go via floating point"
            }
        ]
    }
}
Z19827

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19827"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z19827K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "in"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6",
        "Z8K3": [
            "Z20",
            "Z19834",
            "Z19836",
            "Z19838"
        ],
        "Z8K4": [
            "Z14",
            "Z19865",
            "Z19832"
        ],
        "Z8K5": "Z19827"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Rational number to string"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "display rational number",
                    "rational to string",
                    "string from rational",
                    "render rational number",
                    "renderer for rational number",
                    "generic display for rational number"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "generic string conversion for display function in languages where a specific one has not been developed"
            }
        ]
    }
}
Z19830

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19830"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19826",
        "Z14K2": {
            "Z1K1": "Z19677",
            "Z19677K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z19717",
                "Z19717K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19826K1"
                }
            },
            "Z19677K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z13539",
                "Z13539K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z19722",
                    "Z19722K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19826K1"
                    }
                },
                "Z13539K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19826K2"
                }
            },
            "Z19677K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z19724",
                "Z19724K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19826K1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "multiply q by n, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19832

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19832"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19827",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z12899",
            "Z12899K1": [
                "Z6",
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z802",
                    "Z802K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z16667",
                        "Z16667K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z19717",
                            "Z19717K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z19827K1"
                            }
                        },
                        "Z16667K2": "Z16662"
                    },
                    "Z802K2": "−",
                    "Z802K3": ""
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13713",
                    "Z13713K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z19733",
                        "Z19733K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z19827K1"
                        }
                    }
                },
                "/",
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13713",
                    "Z13713K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z803",
                        "Z803K1": {
                            "Z1K1": "Z39",
                            "Z39K1": "Z19677K3"
                        },
                        "Z803K2": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z19827K1"
                        }
                    }
                }
            ],
            "Z12899K2": ""
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "render rational number, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19839

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19839"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19833",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19708",
            "Z19708K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z19679",
                "Z19679K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19833K1"
                },
                "Z19679K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19833K2"
                }
            },
            "Z19708K2": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "average rationals, composition of add and /2"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19844

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19844"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z19841",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19841",
            "Z19841K1": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16662",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "4"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z16688",
            "Z16688K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16662"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "-4/3 rounds to -1"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1001",
                "Z11K2": "-4/3 التقريب إلى -1"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19848

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19848"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z19848K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "numerator"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z19848K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "denominator"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z19677",
        "Z8K3": [
            "Z20",
            "Z19849",
            "Z19851",
            "Z19852",
            "Z19853"
        ],
        "Z8K4": [
            "Z14",
            "Z19850"
        ],
        "Z8K5": "Z19848"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "rational from integer numerator and denominator"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19841

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19841"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z19841K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "rational number to round"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1001",
                            "Z11K2": "تقريب عدد كسري"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z16683",
        "Z8K3": [
            "Z20",
            "Z19842",
            "Z19843",
            "Z19844",
            "Z19845",
            "Z19847"
        ],
        "Z8K4": [
            "Z14",
            "Z27711",
            "Z19846"
        ],
        "Z8K5": "Z19841"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "rational to nearest integer, even integer tiebreak"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1001",
                "Z11K2": "تحويل كسر عشري إلى أقرب عدد صحيح، مع كسر متساوي يُ"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "round()",
                    "round rational to integer",
                    "q to Z"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "exact halves round to the nearest even integer"
            }
        ]
    }
}
Z19895

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19895"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z19892",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19892",
            "Z19892K1": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16662",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "7"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "42"
                }
            },
            "Z19892K2": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16662",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "6"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z42"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "not (7/42 === 1/6)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "equal values but not identical objects; different representations "
            }
        ]
    }
}
Z19901

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19901"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z19901K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "string representing rational number"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z16659",
        "Z8K3": [
            "Z20",
            "Z19902",
            "Z19903",
            "Z19904",
            "Z19905",
            "Z19906",
            "Z19907",
            "Z19908",
            "Z19910",
            "Z19912",
            "Z19913",
            "Z19951",
            "Z24569",
            "Z24570"
        ],
        "Z8K4": [
            "Z14",
            "Z28747",
            "Z19924"
        ],
        "Z8K5": "Z19901"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "sign of string representing rational number"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "Sign from String representation of rational number"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "a helper function for Z19866"
            }
        ]
    }
}
Z19909

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19909"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19901",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19565",
            "Z19565K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z10184",
                "Z10184K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10070",
                    "Z10070K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19901K1"
                    },
                    "Z10070K2": "-"
                },
                "Z10184K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10070",
                    "Z10070K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19901K1"
                    },
                    "Z10070K2": "−"
                }
            },
            "Z19565K2": "Z16662",
            "Z19565K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z10615",
                "Z10615K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19901K1"
                },
                "Z10615K2": "0"
            },
            "Z19565K4": "Z16661",
            "Z19565K5": "Z16660"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "sign of string representing rational, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19924

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19924"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19901",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z19901(Z19901K1):\n\t\n\tdef sign_of_normal_substring(norm_substring):\n\t\tstem = norm_substring.split(\"e\",1)[0]\n\t\ttry:\n\t\t\tx = float(stem)\n\t\t\tif (x\u003C0):\n\t\t\t\treturn -1\n\t\t\telif (x\u003E0):\n\t\t\t\treturn 1\n\t\t\telse:\n\t\t\t\treturn 0\n\t\texcept:\n\t\t\tcount_minus = stem.count('-')\n\t\t\tif count_minus%2 == 1:\n\t\t\t\treturn -1\n\t\t\telse:\n\t\t\t\treturn 1\n\n\n\tnormalised_string = Z19901K1.replace(\"−\", \"-\")\n\tnormalised_string = normalised_string.replace(\"–\", \"-\")\n\tnormalised_string = normalised_string.replace('(', \"\")\n\tnormalised_string = normalised_string.replace(')', \"\")\n\tnormalised_string = normalised_string.replace('.', \"\")\n\tnormalised_string = normalised_string.replace(',', \"\")\n\tnormalised_string = normalised_string.replace('E', 'e')\n\n\tif '/' in normalised_string:\n\t\tseparated_string = normalised_string.split(\"/\",1)\n\t\tnumerator_string = separated_string[0]\n\t\tdenominator_string = separated_string[1]\n\t\treturn sign_of_normal_substring(numerator_string)*sign_of_normal_substring(denominator_string)\n\telse:\n\t\treturn sign_of_normal_substring(normalised_string)\n\n"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "sign of string representing q, python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19928

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19928"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19892",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z10174",
            "Z10174K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z19686",
                "Z19686K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19892K1"
                },
                "Z19686K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z19892K2"
                }
            },
            "Z10174K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z13522",
                "Z13522K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z803",
                    "Z803K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z19677K2"
                    },
                    "Z803K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19892K1"
                    }
                },
                "Z13522K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z803",
                    "Z803K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z19677K2"
                    },
                    "Z803K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19892K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "same Rational number object, inference composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "less rigorous but more efficient: if the values are equal and the numerators are equal, they are the same representation and object, by inference"
            }
        ]
    }
}
Z19949

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19949"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z19866",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z801",
            "Z801K1": {
                "Z1K1": "Z19677",
                "Z19677K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z19901",
                    "Z19901K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19866K1"
                    }
                },
                "Z19677K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z19933",
                    "Z19933K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19866K1"
                    }
                },
                "Z19677K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z19943",
                    "Z19943K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z19866K1"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "composition of underlying code helper functions"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "converti Stringa in Numero razionale, comp."
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "compose Z19901 Z19933 Z19943"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "directly composes Z19901 Z19933 Z19943"
            }
        ]
    }
}
Z19957

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19957"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z19953",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19953",
            "Z19953K1": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "18"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                }
            },
            "Z19953K2": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "18"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "9"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z19686",
            "Z19686K2": {
                "Z1K1": "Z19677",
                "Z19677K1": "Z16660",
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "81"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "18/2^18/9=81/1"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z19967

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19967"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z19967K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "probability of event"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "probabilità"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1078",
                            "Z11K2": "probabilitas kejadian"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z19677",
        "Z8K3": [
            "Z20",
            "Z19969",
            "Z19970",
            "Z19971"
        ],
        "Z8K4": [
            "Z14",
            "Z19973",
            "Z19968",
            "Z19972"
        ],
        "Z8K5": "Z19967"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "complementary probability"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "probabilità complementare"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1078",
                "Z11K2": " probabilitas komplementer"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "P(!A) = 1 - P(A)",
                    "probability of not occurring",
                    "inverse probability",
                    "opposite probability",
                    "1-rational"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1078",
                "Z31K2": [
                    "Z6",
                    "P(!A) = 1 - P(A)"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "probability of the event not occurring, given the probability that it will occur. P(!A) = 1 - P(A)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1078",
                "Z11K2": "probabilitas suatu peristiwa tidak terjadi, dengan asumsi probabilitas peristiwa tersebut akan terjadi. P(!A) = 1 - P(A)"
            }
        ]
    }
}
Z19989

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z19989"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z19583",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19583",
            "Z19583K1": "Z16660",
            "Z19583K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "2"
            },
            "Z19583K3": {
                "Z1K1": "Z13518",
                "Z13518K1": "2"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "+2/2 is valid (but unsimplified)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "+2/2 est valide, mais pas simplifié"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z20001

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z20001"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z20000",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19708",
            "Z19708K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z19706",
                "Z19706K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z20000K1"
                },
                "Z19706K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z20000K2"
                }
            },
            "Z19708K2": {
                "Z1K1": "Z18",
                "Z18K1": "Z20000K3"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Bayes', composition of multiply and divide"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "théorème de Bayes, en Composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "composition de multiplier et diviser"
            }
        ]
    }
}
Z20012

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z20012"
    },
    "Z2K2": {
        "Z1K1": "Z46",
        "Z46K1": "Z20012",
        "Z46K2": "Z20159",
        "Z46K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z20012( Z20012K1 ) {\n\tlet era = Z20012K1.Z20159K1;\n\tif (typeof era === 'object') {\n\t\tif ( 'Z17813K1' in era ) {\n\t\t\tera = era.Z17813K1;\n\t\t}\n\t\tif ( 'Z9K1' in era ) {\n\t\t\tera = era.Z9K1;\n\t\t}\n\t}\n\t\n\tlet year = Z20012K1.Z20159K2.Z13518K1;\n\tif (typeof year !== 'string') {\n\t\tif ( 'Z6K1' in year ) {\n\t\t\tyear = year.Z6K1;\n\t\t}\n\t}\n\tyear = BigInt( year );\n\tif ( era == 'Z17815' ) {\n\t\tyear = -1n * year + 1n;\n\t}\n\treturn year;\n}"
        },
        "Z46K4": "BigInt"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "JS converter from Gregorian Year"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "JavaScript-Umwandler aus gregorianischem Jahr"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z20013

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z20013"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z20013K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "month"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1001",
                            "Z11K2": "الشهر"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6",
        "Z8K3": [
            "Z20",
            "Z20015",
            "Z20017",
            "Z20018"
        ],
        "Z8K4": [
            "Z14",
            "Z25828",
            "Z20014"
        ],
        "Z8K5": "Z20013"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Arabic Syriac to Latin month"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1001",
                "Z11K2": "تحويل الشهر السرياني إلى الشهر اللاتيني المعرب"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Convert Arabic Syriac month name to Arabic Latin month name"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1001",
                "Z11K2": "تحويل الشهور السريانية إلى الشهور اللاتينية المعربة"
            }
        ]
    }
}
Z20020

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z20020"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z881",
                    "Z881K1": "Z19677"
                },
                "Z17K2": "Z20020K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "List of numbers"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "liste de nombres"
                        }
                    ]
                }
            }
        ],
        "Z8K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z881",
            "Z881K1": "Z19677"
        },
        "Z8K3": [
            "Z20",
            "Z20022",
            "Z20023"
        ],
        "Z8K4": [
            "Z14",
            "Z21769"
        ],
        "Z8K5": "Z20020"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "sort rational numbers"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "trier des nombres rationnels"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Sorts a list of rational numbers."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "trie une liste de nombre rationnels"
            }
        ]
    }
}
Z20025

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z20025"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z20024",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z20024(Z20024K1):\n\t\"\"\"Converts a Latin month name (Arabic) to its Syriac equivalent (in Arabic).\"\"\"\n\tmonth_mapping = {\n\t\t\"يناير\": \"كانون الثاني\",\n\t\t\"فبراير\": \"شباط\",\n\t\t\"مارس\": \"آذار\",\n\t\t\"أبريل\": \"نيسان\",\n\t\t\"ماي\": \"أيار\",\n\t\t\"يونيو\": \"حزيران\",\n\t\t\"يوليوز\": \"تموز\",\n\t\t\"غشت\": \"آب\",\n\t\t\"شتنبر\": \"أيلول\",\n\t\t\"أكتوبر\": \"تشرين الأول\",\n\t\t\"نونبر\": \"تشرين الثاني\",\n\t\t\"دجنبر\": \"كانون الأول\"\n\t}\n\treturn month_mapping.get(Z20024K1)"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Arabic Latin to Syriac month, Python impl"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}