Z21753

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z21753"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z21750",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z19601",
            "Z19601K1": [
                "Z40",
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z866",
                    "Z866K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z21750K1"
                    },
                    "Z866K2": "qnan"
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z866",
                    "Z866K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z21750K1"
                    },
                    "Z866K2": "snan"
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z866",
                    "Z866K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z21750K1"
                    },
                    "Z866K2": "nan"
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10070",
                    "Z10070K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z21750K1"
                    },
                    "Z10070K2": "-inf"
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10070",
                    "Z10070K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z21750K1"
                    },
                    "Z10070K2": "inf"
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z866",
                    "Z866K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z21750K1"
                    },
                    "Z866K2": "-0"
                },
                {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10184",
                    "Z10184K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z866",
                        "Z866K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z21750K1"
                        },
                        "Z866K2": "+0"
                    },
                    "Z10184K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z866",
                        "Z866K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z21750K1"
                        },
                        "Z866K2": "0"
                    }
                }
            ],
            "Z19601K2": [
                "Z1",
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16660",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16660"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1024"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "2251799813685249"
                    },
                    "Z20838K4": "Z20836"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16660",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16660"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1024"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    },
                    "Z20838K4": "Z20835"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16660",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16660"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1024"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "4503599627370495"
                    },
                    "Z20838K4": "Z20834"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16662",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16660"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1024"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "0"
                    },
                    "Z20838K4": "Z20833"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16660",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16660"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1024"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "0"
                    },
                    "Z20838K4": "Z20832"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16662",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16662"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1023"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "0"
                    },
                    "Z20838K4": "Z20831"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16660",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16662"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "1023"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "0"
                    },
                    "Z20838K4": "Z20829"
                },
                {
                    "Z1K1": "Z20838",
                    "Z20838K1": "Z16660",
                    "Z20838K2": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16661"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "0"
                        }
                    },
                    "Z20838K3": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "0"
                    },
                    "Z20838K4": "Z20837"
                }
            ]
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "read special value, N-if composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}