Z24238

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z24238"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z24236",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z24236",
            "Z24236K1": [
                "Z19677",
                {
                    "Z1K1": "Z19677",
                    "Z19677K1": {
                        "Z1K1": "Z16659",
                        "Z16659K1": "Z16660"
                    },
                    "Z19677K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    },
                    "Z19677K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    }
                },
                {
                    "Z1K1": "Z19677",
                    "Z19677K1": {
                        "Z1K1": "Z16659",
                        "Z16659K1": "Z16660"
                    },
                    "Z19677K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "10"
                    },
                    "Z19677K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    }
                }
            ],
            "Z24236K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z15142",
                "Z15142K1": [
                    "Z1",
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z15142",
                        "Z15142K1": [
                            "Z1",
                            {
                                "Z1K1": "Z19677",
                                "Z19677K1": {
                                    "Z1K1": "Z16659",
                                    "Z16659K1": "Z16660"
                                },
                                "Z19677K2": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                },
                                "Z19677K3": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                }
                            },
                            {
                                "Z1K1": "Z19677",
                                "Z19677K1": {
                                    "Z1K1": "Z16659",
                                    "Z16659K1": "Z16660"
                                },
                                "Z19677K2": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                },
                                "Z19677K3": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                }
                            }
                        ]
                    },
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z15142",
                        "Z15142K1": [
                            "Z1",
                            {
                                "Z1K1": "Z19677",
                                "Z19677K1": {
                                    "Z1K1": "Z16659",
                                    "Z16659K1": "Z16662"
                                },
                                "Z19677K2": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                },
                                "Z19677K3": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                }
                            },
                            {
                                "Z1K1": "Z19677",
                                "Z19677K1": {
                                    "Z1K1": "Z16659",
                                    "Z16659K1": "Z16660"
                                },
                                "Z19677K2": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                },
                                "Z19677K3": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "1"
                                }
                            }
                        ]
                    }
                ]
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z24166",
            "Z24166K2": [
                "Z19677",
                {
                    "Z1K1": "Z19677",
                    "Z19677K1": {
                        "Z1K1": "Z16659",
                        "Z16659K1": "Z16662"
                    },
                    "Z19677K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "9"
                    },
                    "Z19677K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    }
                },
                {
                    "Z1K1": "Z19677",
                    "Z19677K1": {
                        "Z1K1": "Z16659",
                        "Z16659K1": "Z16660"
                    },
                    "Z19677K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "11"
                    },
                    "Z19677K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    }
                }
            ]
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "[1,10]*[1,1],-1,1"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "[1,10]*[1,1],-1,1=[-9,11]"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}