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

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25127"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z25127K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "input"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "input"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6060",
        "Z8K3": [
            "Z20",
            "Z25129",
            "Z25131",
            "Z25697"
        ],
        "Z8K4": [
            "Z14",
            "Z26403",
            "Z25700"
        ],
        "Z8K5": "Z25127"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "leggi Orario, indipendente dalla lingua"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "read Time of day, language independent"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "leggi Orario, mul"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "read Time of day, mul"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Reads both 24h formats and 12h formats"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Legge sia il formato 12h che 24h"
            }
        ]
    }
}
Z25128

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25128"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z25128K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "time string"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "stringa"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Zeitangabe"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z40",
        "Z8K3": [
            "Z20",
            "Z25130",
            "Z25132",
            "Z25133",
            "Z25135",
            "Z25140",
            "Z25664",
            "Z25665",
            "Z25666",
            "Z25667",
            "Z25669",
            "Z25695",
            "Z25709",
            "Z25710"
        ],
        "Z8K4": [
            "Z14",
            "Z25157"
        ],
        "Z8K5": "Z25128"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is a standard time format"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "è orario in formato standard"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ist ein Standarddatumformat"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "is HH:MM:DD",
                    "string is standard time format",
                    "standard time format",
                    "time format standard"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "returns true if the string is in a language-independent standard time format such as hH:MM:DD"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Gibt wahr zurück, wenn eine sprachbezogene Zeichenkette in einem sprachunabhängigen Standarddatumformat eingegeben ist"
            }
        ]
    }
}
Z25152

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25152"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z20420",
                "Z17K2": "Z25152K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "data"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "date"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z40",
        "Z8K3": [
            "Z20",
            "Z25153",
            "Z25154",
            "Z25155"
        ],
        "Z8K4": [
            "Z14",
            "Z25156"
        ],
        "Z8K5": "Z25152"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "ha secondo intercalare?"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "has leap second?"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Given a date, returns true if that date has a leap second. It assumes there won't be any leap second in the future"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Data una data, restituisce vero se contiene un secondo intercalare. Per le date future restituisce sempre falso"
            }
        ]
    }
}
Z25153

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25153"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z25152",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z25152",
            "Z25152K1": {
                "Z1K1": "Z20420",
                "Z20420K1": {
                    "Z1K1": "Z20159",
                    "Z20159K1": {
                        "Z1K1": "Z17813",
                        "Z17813K1": "Z17814"
                    },
                    "Z20159K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1972"
                    }
                },
                "Z20420K2": {
                    "Z1K1": "Z20342",
                    "Z20342K1": {
                        "Z1K1": "Z16098",
                        "Z16098K1": "Z16106"
                    },
                    "Z20342K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "30"
                    }
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "30 giugno 1972 ha secondo intercalare"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25156

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25156"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25152",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z25152(Z25152K1):\n\tjun30= (1972,1981,1982,1983,1985,1992,1993,1994,1997,2012,2015)\n\tdec31= (1972,1973,1974,1975,1976,1977,1978,1979,1987,1989,1990,1995,1998,2005,2008,2016)\n\t\n\tif (Z25152K1[\"K2\"], Z25152K1[\"K3\"]) == (6,30) and Z25152K1[\"K1\"] in jun30:\n\t\treturn True\n\tif (Z25152K1[\"K2\"], Z25152K1[\"K3\"]) == (12,31) and Z25152K1[\"K1\"] in dec31:\n\t\treturn True\n\t\n\treturn False\n\t"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "ha secondo intercalare?, py"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "has leap second?, py"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25159

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25159"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z25158",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z25158",
            "Z25158K1": "00:00:00"
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z18683",
            "Z18683K2": {
                "Z1K1": "Z6060",
                "Z6060K1": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                "Z6060K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                "Z6060K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "read \"00:00:00\" (strict test)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "use strict object equality to ensure natural number strings are \"0\" not \"00\""
            }
        ]
    }
}
Z25160

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25160"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25158",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z25158( Z25158K1 ) {\n\tvar l;\n\n\tlet sanitized_string = Z25158K1.replace(/\\s/g, '');\n\n\t//hH:MM.MMM\n\t//hHMM.MMM\n\tif (l=(sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2}):([0-9]{2}[\\.,\\,][0-9]+)(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/) ??\n\t\t sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{2})([0-9]{2}[\\.,\\,][0-9]+)(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/))) {\n\t\tlet mmm=+l[2].replace(\",\",\".\");\n\t\tlet m=Math.floor(mmm);\n\t\tlet s=Math.floor((\".\"+l[2].replace(\",\",\".\").split(\".\")[1])*60)\n\t\treturn {K1:Number(l[1]), K2:m, K3:s};\n\t}\n\t\n\t//hH:MM:SS\n\t//HHMMSS\n\t//hH:MM:SS.SSS\n\t//HHMMSS.SSS\n\t//hH.MM.SS\n\t//hH,MM,SS\n\tif (l=(sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2})[:\\.\\,]([0-9]{2})[:\\.\\,]([0-9]{2})([\\,,\\.][0-9]+)?(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/) ??\n\t\t sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{2})([0-9]{2})([0-9]{2})([\\,,\\.][0-9]+)?(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/))) {\n\t\treturn {K1:Number(l[1]), K2:Number(l[2]), K3:Number(l[3])};\n\t}\n\t\n\t\n\t//hH:MM\n\t//hHMM\n\tif (l=(sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2})[:\\.\\,]([0-9]{2})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/) ??\n\t\t sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{2})([0-9]{2})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/))) {\n\t\treturn {K1:Number(l[1]), K2:+l[2].replace(\",\",\".\"), K3:0};\n\t}\n\t\n\t//hH.HHH\n\tif (l=sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2}[\\.,\\,][0-9]{3,})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/)){\n\t\tlet hhh=l[1].replace(\",\",\".\");\n\t\tlet h=Math.floor(hhh);\n\t\tlet mmm=(\".\"+hhh.split(\".\")[1])*60;\n\t\tlet m=Math.floor(mmm);\n\t\tlet s;\n\t\tif (m==mmm){\n\t\t\ts=0;\n\t\t} else {\n\t\t\ts=Math.floor((\".\"+(mmm+\"\").split(\".\")[1])*60);\n\t\t}\n\t\treturn {K1:h, K2:m, K3:s};\n\t}\n\t\n\t//hH\n\tif (l=sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/)){\n\t\treturn {K1:Number(l[1]), K2:0, K3:0};\n\t}\n\t\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "read time in standard format, javascript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25157

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25157"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25128",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z25128( Z25128K1 ) {\n\tvar l;\n\t\n\tlet sanitized_string = Z25128K1.replace(/\\s/g, '');\n\t\t\n\t//hH:MM.MMM\n\t//hHMM.MMM\n\tif (l=(sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2}):([0-9]{2}[\\.,\\,][0-9]+)(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/) ??\n\t\t sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{2})([0-9]{2}[\\.,\\,][0-9]+)(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/))) {\n\t\tlet mmm=+l[2].replace(\",\",\".\");\n\t\tlet m=Math.floor(mmm);\n\t\tif ((Number(l[1])\u003C24)\u0026\u0026(m\u003C60)) {\n\t\t\treturn true;\n\t\t}\n\t}\n\t\n\t//hH:MM:SS\n\t//HHMMSS\n\t//hH:MM:SS.SSS\n\t//HHMMSS.SSS\n\t//hH.MM.SS\n\t//hH,MM,SS\n\tif (l=(sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2})[:\\.\\,]([0-9]{2})[:\\.\\,]([0-9]{2})([\\,,\\.][0-9]+)?(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/) ??\n\t\t sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{2})([0-9]{2})([0-9]{2})([\\,,\\.][0-9]+)?(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/))) {\n\t\t \tif ((Number(l[1])\u003C24)\u0026\u0026(Number(l[2])\u003C60)\u0026\u0026(Number(l[3])\u003C61)) {\n\t\t \t\treturn true;\n\t\t \t}\n\t}\n\n\t//hH:MM\n\t//hHMM\n\tif (l=(sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2}):([0-9]{2})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/) ??\n\t\t sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{2})([0-9]{2})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/))) {\n\t\t if ((Number(l[1])\u003C24)\u0026\u0026(Number(+l[2].replace(\",\",\".\"))\u003C60)) {\n\t\t\treturn true;\n\t\t}\n\t}\n\n\t//hH.HHH\n\tif (l=sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2}[\\.,\\,][0-9]{3,})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/)){\n\t\tlet hhh=l[1].replace(\",\",\".\");\n\t\tlet h=Math.floor(hhh);\n\t\tif (h\u003C24) {\n\t\t\treturn true;\n\t\t}\n\t}\n\t\n\t//hH\n\tif (l=sanitized_string.match(/^\\s*(?:[0-9,\\+,\\-,W,\\.]*T)?[\\+]?([0-9]{1,2})(Z|[\\+,\\-][0-9]{2}(:?[0-9]{2})?)?\\s*$/)){\n\t\t if (Number(l[1])\u003C24) {\n\t\t\treturn true;\n\t\t}\n\t}\t\n\t\n\treturn false;\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is a standard time format, javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "è orario in formato standard, js"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25158

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25158"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z6",
                "Z17K2": "Z25158K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "time in standard format"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "orario in formato standard"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6060",
        "Z8K3": [
            "Z20",
            "Z25159",
            "Z25670",
            "Z25671",
            "Z25672",
            "Z25673",
            "Z25674",
            "Z25675",
            "Z25676",
            "Z25677",
            "Z25678",
            "Z25687",
            "Z25684"
        ],
        "Z8K4": [
            "Z14",
            "Z25160"
        ],
        "Z8K5": "Z25158"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "read time in standard format"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "leggi orario in formato standard"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "convert a string into a Time of day object if the string satisfies a standard format recognized by Z25128"
            }
        ]
    }
}
Z25166

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25166"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25113",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z25113(Z25113K1, Z25113K2):\n\th1 = int(Z25113K1['K1'])\n\th2 = int(Z25113K2['K1'])\n\tif h1 \u003C h2:\n\t\treturn True\n\tif h1 \u003E h2:\n\t\treturn False\n\n\tm1 = int(Z25113K1['K2'])\n\tm2 = int(Z25113K2['K2'])\n\tif m1 \u003C m2:\n\t\treturn True\n\tif m1 \u003E m2:\n\t\treturn False\n\n\ts1 = int(Z25113K1['K3'])\n\ts2 = int(Z25113K2['K3'])\n\tif s1 \u003C s2:\n\t\treturn True\n\tif s1 \u003E s2:\n\t\treturn False\n\t\t\n\treturn True\n"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "less than or equal, python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "earlier or same, python"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25172

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25172"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z25167",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z25167",
            "Z25167K1": {
                "Z1K1": "Z6060",
                "Z6060K1": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                },
                "Z6060K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "34"
                },
                "Z6060K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "56"
                }
            },
            "Z25167K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "1"
            },
            "Z25167K3": {
                "Z1K1": "Z13518",
                "Z13518K1": "34"
            },
            "Z25167K4": {
                "Z1K1": "Z13518",
                "Z13518K1": "56"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z25098",
            "Z25098K2": {
                "Z1K1": "Z6060",
                "Z6060K1": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                },
                "Z6060K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "9"
                },
                "Z6060K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "52"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "add 1h 34m 56s to 1:34:56"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25174

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25174"
    },
    "Z2K2": {
        "Z1K1": "Z13518",
        "Z13518K1": "0"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "zero (natural number)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1181",
                "Z11K2": "нула"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "0",
                    "zero"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1181",
                "Z31K2": [
                    "Z6",
                    "0"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "persistent object for an important natural number so it can be referred to by name"
            }
        ]
    }
}
Z25176

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25176"
    },
    "Z2K2": {
        "Z1K1": "Z46",
        "Z46K1": "Z25176",
        "Z46K2": "Z6060",
        "Z46K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z25176( Z25176K1 ) {\n\tlet hour = Z25176K1.Z6060K1.Z13518K1;\n\tif (typeof hour !== 'string') {\n\t\tif ( 'Z6K1' in hour ) {\n\t\t\thour = hour.Z6K1;\n\t\t}\n\t}\n\thour = parseInt( hour );\n\tif (hour \u003C 0 || hour \u003E 23) {\n\t\tthrow new Error(\"Received Zobject representing Time of day with invalid hour\");\n\t}\n\n\tlet minute = Z25176K1.Z6060K2.Z13518K1;\n\tif (typeof minute !== 'string') {\n\t\tif ( 'Z6K1' in minute ) {\n\t\t\tminute = minute.Z6K1;\n\t\t}\n\t}\n\tminute = parseInt( minute );\n\tif (minute \u003C 0 || minute \u003E 59) {\n\t\tthrow new Error(\"Received Zobject representing Time of day with invalid minute\");\n\t}\n\n\tlet second = Z25176K1.Z6060K3.Z13518K1;\n\tif (typeof second !== 'string') {\n\t\tif ( 'Z6K1' in second ) {\n\t\t\tsecond = second.Z6K1;\n\t\t}\n\t}\n\tsecond = parseInt( second );\n\tif (second \u003C 0 || second \u003E 60) {\n\t\tthrow new Error(\"Received Zobject representing Time of day with invalid second\");\n\t}\t\n\t\n\treturn {\n\t\t'K1': hour,\n\t\t'K2': minute,\n\t\t'K3': second\n\t};\n}"
        },
        "Z46K4": "Object"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "JavaScript converter from Time of day"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "convertitore JavaScript da Orario"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "JavaScript-Umwandler von Tageszeit"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25177

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25177"
    },
    "Z2K2": {
        "Z1K1": "Z64",
        "Z64K1": "Z25177",
        "Z64K2": "Z6060",
        "Z64K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z25177(Z25177K1):\n\thour = str(Z25177K1[\"K1\"])\n\tminute = str(Z25177K1[\"K2\"])\n\tsecond = str(Z25177K1[\"K3\"])\n\n\treturn {\n\t\t\"Z1K1\": {\n\t\t\t\"Z1K1\": \"Z9\",\n\t\t\t\"Z9K1\": \"Z6060\"\n\t\t},\n\t\t\"Z6060K1\": {\n\t\t\t\"Z1K1\": {\n\t\t\t\t\"Z1K1\": \"Z9\",\n\t\t\t\t\"Z9K1\": \"Z13518\"\n\t\t\t},\n\t\t\t\"Z13518K1\": {\n\t\t\t\t\"Z1K1\": \"Z6\",\n\t\t\t\t\"Z6K1\": hour\n\t\t\t}\n\t\t},\n\t\t\"Z6060K2\": {\n\t\t\t\"Z1K1\": {\n\t\t\t\t\"Z1K1\": \"Z9\",\n\t\t\t\t\"Z9K1\": \"Z13518\"\n\t\t\t},\n\t\t\t\"Z13518K1\": {\n\t\t\t\t\"Z1K1\": \"Z6\",\n\t\t\t\t\"Z6K1\": minute\n\t\t\t}\n\t\t},\n\t\t\"Z6060K3\": {\n\t\t\t\"Z1K1\": {\n\t\t\t\t\"Z1K1\": \"Z9\",\n\t\t\t\t\"Z9K1\": \"Z13518\"\n\t\t\t},\n\t\t\t\"Z13518K1\": {\n\t\t\t\t\"Z1K1\": \"Z6\",\n\t\t\t\t\"Z6K1\": second\n\t\t\t}\n\t\t}\n\t}\n"
        },
        "Z64K4": "dict"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Python converter to Time of day"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "convertitore Python in Orario"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Python-Umwandler zu Tageszeit"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25175

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25175"
    },
    "Z2K2": {
        "Z1K1": "Z46",
        "Z46K1": "Z25175",
        "Z46K2": "Z6060",
        "Z46K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z25175(Z25175K1):\n\thour = Z25175K1['Z6060K1']['Z13518K1']\n\tif type(hour) is not str:\n\t\tif 'Z6K1' in hour:\n\t\t\thour = hour['Z6K1']\n\ttry:\n\t\thour = int(hour)\n\texcept ValueError as e:\n\t\traise ValueError(\"Invalid hour in ZObject\") from e\n\tif hour \u003C 0 or hour \u003E 23 :\n\t\traise ValueError(\"Received ZObject for Time of day with invalid hour\")\n\n\t\n\tminute = Z25175K1['Z6060K2']['Z13518K1']\n\tif type(minute) is not str:\n\t\tif 'Z6K1' in minute:\n\t\t\tminute = minute['Z6K1']\n\ttry:\n\t\tminute = int(minute)\n\texcept ValueError as e:\n\t\traise ValueError(\"Invalid minute in ZObject\") from e\n\tif minute \u003C 0 or minute \u003E 59 :\n\t\traise ValueError(\"Received ZObject for Time of day with invalid minute\")\n\n\tsecond = Z25175K1['Z6060K3']['Z13518K1']\n\tif type(second) is not str:\n\t\tif 'Z6K1' in second:\n\t\t\tsecond = second['Z6K1']\n\ttry:\n\t\tsecond = int(second)\n\texcept ValueError as e:\n\t\traise ValueError(\"Invalid second in ZObject\") from e\n\tif second \u003C 0 or second \u003E 60 :\n\t\traise ValueError(\"Received ZObject for Time of day with invalid second\")\n\t\n\treturn {\n\t\t'K1': hour,\n\t\t'K2': minute,\n\t\t'K3': second\n\t}\n"
        },
        "Z46K4": "dict"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Python converter from Time of day"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "convertitore Python da Orario"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Python-Umwandler von Tageszeit"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25186

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25186"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25167",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z25179",
            "Z25179K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z13551",
                "Z13551K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z14038",
                    "Z14038K1": [
                        "Z13518",
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25108",
                            "Z25108K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25167K1"
                            }
                        },
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13539",
                            "Z13539K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25167K2"
                            },
                            "Z13539K2": {
                                "Z1K1": "Z13518",
                                "Z13518K1": "3600"
                            }
                        },
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13539",
                            "Z13539K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25167K3"
                            },
                            "Z13539K2": {
                                "Z1K1": "Z13518",
                                "Z13518K1": "60"
                            }
                        },
                        {
                            "Z1K1": "Z18",
                            "Z18K1": "Z25167K4"
                        }
                    ]
                },
                "Z13551K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "86400"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "somma ad orario, tramite numero di secondi, comp."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "add to time of day, compose from seconds"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25187

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25187"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z25187K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "fraction of day completed [0-1)"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "frazione di giorno completata [0, 1)"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6060",
        "Z8K3": [
            "Z20",
            "Z25188",
            "Z25189",
            "Z25190",
            "Z25193",
            "Z27590",
            "Z27591"
        ],
        "Z8K4": [
            "Z14",
            "Z25206"
        ],
        "Z8K5": "Z25187"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "fraction of regular day to time of day"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "frazione di giorno in orario"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "part of day",
                    "rational to time of day",
                    "fraction of day to time of day",
                    "fraction of day without a leap second",
                    "q to time"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "frazione del giorno in orario",
                    "orario da frazione",
                    "frazione in orario",
                    "razionale in orario",
                    "orario da razionale"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Inputs between 0 (inclusive) and 1 (normally exclusive). Beyond that it should wrap back into that range. 1 indicates almost a full day with a leap second (or can be used to represent a complete day)."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Ingresso tra 0 (inclusivo) e 1 (normalmente esclusivo). 1 indica un giorno quasi completo con un secondo intercalare (o può essere usato per rappresentare un giorno completo)"
            }
        ]
    }
}
Z25191

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25191"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z20420",
                "Z17K2": "Z25191K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "giorno"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "day"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z13518",
        "Z8K3": [
            "Z20",
            "Z25192",
            "Z25194"
        ],
        "Z8K4": [
            "Z14",
            "Z25195"
        ],
        "Z8K5": "Z25191"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "numero di secondi in giorno"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "number of seconds in day"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Dato un giorno, restituisce il numero di secondi presenti in tale giorno (considerando anche il secondo intercalare)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "usually 86400 unless the day has a leap second when it is 86401"
            }
        ]
    }
}
Z25196

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25196"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z25196K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "integer"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "intero"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z25196K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "modulus"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "modulo"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z13518",
        "Z8K3": [
            "Z20",
            "Z25198",
            "Z25199"
        ],
        "Z8K4": [
            "Z14",
            "Z25197"
        ],
        "Z8K5": "Z25196"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "integer modulo natural number"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "intero modulo numero naturale"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "integer to natural number",
                    "mod",
                    "modulo",
                    "modulus"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "modulo"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Restituisce un numero naturale compreso tra 0 e M-1"
            }
        ]
    }
}
Z25194

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25194"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z25191",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z25191",
            "Z25191K1": {
                "Z1K1": "Z20420",
                "Z20420K1": {
                    "Z1K1": "Z20159",
                    "Z20159K1": {
                        "Z1K1": "Z17813",
                        "Z17813K1": "Z17814"
                    },
                    "Z20159K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "2016"
                    }
                },
                "Z20420K2": {
                    "Z1K1": "Z20342",
                    "Z20342K1": {
                        "Z1K1": "Z16098",
                        "Z16098K1": "Z16112"
                    },
                    "Z20342K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "31"
                    }
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "86401"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "31 dicembre 2016 ha 86401 s"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25198

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25198"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z25196",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z25196",
            "Z25196K1": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16662"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                }
            },
            "Z25196K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "5"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "2"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "-3 mod 5 is 2"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z25200

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25200"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z25200K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "rational to test"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "razionale"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z40",
        "Z8K3": [
            "Z20",
            "Z25201",
            "Z25202",
            "Z25203",
            "Z25204"
        ],
        "Z8K4": [
            "Z14",
            "Z25205"
        ],
        "Z8K5": "Z25200"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is rational number 1?"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "è numero razionale 1?"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "=1",
                    "==1",
                    "=1/1",
                    "==1/1",
                    "is 1",
                    "is rational 1"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "è uguale a 1",
                    "è 1",
                    "è razionale 1",
                    "è frazione 1"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "only true if the argument is equal to 1/1 (including unsimplified n/n)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Restituisce vero se l'argomento è uguale a 1 (inclusi i valori non semplificati n/n)"
            }
        ]
    }
}
Z25205

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25205"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25200",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19686",
            "Z19686K1": {
                "Z1K1": "Z18",
                "Z18K1": "Z25200K1"
            },
            "Z19686K2": {
                "Z1K1": "Z19677",
                "Z19677K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16660"
                },
                "Z19677K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                },
                "Z19677K3": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is rational number 1, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}