Z24661

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z24661"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z24660",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z21394",
            "Z21394K1": [
                "Z6",
                "(",
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z802",
                    "Z802K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z15777",
                        "Z15777K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z821",
                            "Z821K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z24660K1"
                            }
                        }
                    },
                    "Z802K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z21394",
                        "Z21394K1": [
                            "Z6",
                            "\"",
                            {
                                "Z1K1": "Z7",
                                "Z7K1": "Z821",
                                "Z821K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z24660K1"
                                }
                            },
                            "\""
                        ]
                    },
                    "Z802K3": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13318",
                        "Z13318K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z803",
                            "Z803K1": {
                                "Z1K1": "Z39",
                                "Z39K1": "Z4K5"
                            },
                            "Z803K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z16829",
                                "Z16829K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z821",
                                    "Z821K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z24660K1"
                                    }
                                }
                            }
                        },
                        "Z13318K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z821",
                            "Z821K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z24660K1"
                            }
                        },
                        "Z13318K3": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z24660K2"
                        }
                    }
                },
                ", ",
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z802",
                    "Z802K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z15777",
                        "Z15777K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z822",
                            "Z822K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z24660K1"
                            }
                        }
                    },
                    "Z802K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z21394",
                        "Z21394K1": [
                            "Z6",
                            "\"",
                            {
                                "Z1K1": "Z7",
                                "Z7K1": "Z822",
                                "Z822K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z24660K1"
                                }
                            },
                            "\""
                        ]
                    },
                    "Z802K3": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13318",
                        "Z13318K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z803",
                            "Z803K1": {
                                "Z1K1": "Z39",
                                "Z39K1": "Z4K5"
                            },
                            "Z803K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z16829",
                                "Z16829K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z822",
                                    "Z822K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z24660K1"
                                    }
                                }
                            }
                        },
                        "Z13318K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z822",
                            "Z822K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z24660K1"
                            }
                        },
                        "Z13318K3": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z24660K2"
                        }
                    }
                },
                ")"
            ]
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "display typed pair, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}