Z24342

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z24342"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z881",
                    "Z881K1": "Z19677"
                },
                "Z17K2": "Z24342K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "vettore"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "vector"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "vecteur"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z19677",
        "Z8K3": [
            "Z20",
            "Z24343",
            "Z24344",
            "Z24428"
        ],
        "Z8K4": [
            "Z14",
            "Z24356",
            "Z24495",
            "Z24345"
        ],
        "Z8K5": "Z24342"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "modulo quadro di vettore"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "squared norm of a vector (rational)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "norme au carré d'un vecteur (rationnel)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "prodotto scalare di vettore con se stesso",
                    "norma quadrata di vettore",
                    "modulo al quadrato di vettore",
                    "norma al quadrato di vettore"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "sum of squares in list",
                    "rational sum of squares",
                    "square elements then sum"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "returns the sum of the squares of the elements of a vector"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "renvoie la somme des carrés des éléments d'un vecteur"
            }
        ]
    }
}