Z17301

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17301"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z17301K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "integer to convert to ordered pair"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "numero intero"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "entier à convertir en paire ordonnée"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Ganzzahl"
                        }
                    ]
                }
            }
        ],
        "Z8K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z881",
            "Z881K1": "Z13518"
        },
        "Z8K3": [
            "Z20",
            "Z17302",
            "Z17303",
            "Z17304"
        ],
        "Z8K4": [
            "Z14",
            "Z17306",
            "Z17305"
        ],
        "Z8K5": "Z17301"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "ordered pair of natural numbers representing integer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "coppia di naturali rappresentanti un intero"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "paire ordonnée de naturels représentant un entier"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ganzzahl als geordnetes Paar natürlicher Zahlen"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "coppia ordinata di numeri naturali rappresentanti un numero intero"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "see https://en.wikipedia.org/wiki/Integer#Equivalence_classes_of_ordered_pairs. This function chooses the simplest equivalent, either (a,0) or (0,a)."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "cette fonction choisit l'équivalent le plus simple, soit (a,0) ou (0,a)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gobt ein geordnetes Paar natürlicher Zahlen als Darstellung für eine Ganzzahl aus"
            }
        ]
    }
}