Z31586

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z31586"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z31585",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z31585",
            "Z31585K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z801",
                "Z801K1": [
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z881",
                        "Z881K1": "Z1"
                    },
                    [
                        "Z13518",
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "41"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "51"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "61"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "71"
                        }
                    ],
                    [
                        "Z13518",
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "31"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "42"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "52"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "62"
                        }
                    ],
                    [
                        "Z13518",
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "21"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "32"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "43"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "53"
                        }
                    ],
                    [
                        "Z13518",
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "11"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "22"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "33"
                        },
                        {
                            "Z1K1": "Z13518",
                            "Z13518K1": "45"
                        }
                    ]
                ]
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z889",
            "Z889K2": [
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z881",
                    "Z881K1": "Z13518"
                },
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "11"
                    }
                ],
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "21"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "22"
                    }
                ],
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "31"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "32"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "33"
                    }
                ],
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "41"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "42"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "43"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "44"
                    }
                ],
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "51"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "52"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "53"
                    }
                ],
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "61"
                    },
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "62"
                    }
                ],
                [
                    "Z13518",
                    {
                        "Z1K1": "Z13518",
                        "Z13518K1": "71"
                    }
                ]
            ],
            "Z889K3": "Z13522"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "check k-diagonals of 4x4 matrix"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}