Z30616

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z30616"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z808",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z808",
            "Z808K1": [
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z882",
                    "Z882K1": "Z39",
                    "Z882K2": "Z1"
                },
                {
                    "Z1K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z882",
                        "Z882K1": "Z39",
                        "Z882K2": "Z1"
                    },
                    "K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z1K1"
                    },
                    "K2": [
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z882",
                            "Z882K1": "Z39",
                            "Z882K2": "Z1"
                        },
                        {
                            "Z1K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z882",
                                "Z882K1": "Z39",
                                "Z882K2": "Z1"
                            },
                            "K1": {
                                "Z1K1": "Z39",
                                "Z39K1": "Z1K1"
                            },
                            "K2": {
                                "Z1K1": "Z6",
                                "Z6K1": "Z9"
                            }
                        },
                        {
                            "Z1K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z882",
                                "Z882K1": "Z39",
                                "Z882K2": "Z1"
                            },
                            "K1": {
                                "Z1K1": "Z39",
                                "Z39K1": "Z9K1"
                            },
                            "K2": {
                                "Z1K1": "Z6",
                                "Z6K1": "Z40"
                            }
                        }
                    ]
                },
                {
                    "Z1K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z882",
                        "Z882K1": "Z39",
                        "Z882K2": "Z1"
                    },
                    "K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z40K1"
                    },
                    "K2": [
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z882",
                            "Z882K1": "Z39",
                            "Z882K2": "Z1"
                        },
                        {
                            "Z1K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z882",
                                "Z882K1": "Z39",
                                "Z882K2": "Z1"
                            },
                            "K1": {
                                "Z1K1": "Z39",
                                "Z39K1": "Z1K1"
                            },
                            "K2": {
                                "Z1K1": "Z6",
                                "Z6K1": "Z9"
                            }
                        },
                        {
                            "Z1K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z882",
                                "Z882K1": "Z39",
                                "Z882K2": "Z1"
                            },
                            "K1": {
                                "Z1K1": "Z39",
                                "Z39K1": "Z9K1"
                            },
                            "K2": {
                                "Z1K1": "Z6",
                                "Z6K1": "Z41"
                            }
                        }
                    ]
                }
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "manual construction of Boolean True"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "Manual boolean construction"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}