Z30982

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z30982"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z30977",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z13695",
                "Z13695K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z12681",
                    "Z12681K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z30977K1"
                    }
                },
                "Z13695K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                }
            },
            "Z802K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z19565",
                "Z19565K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z23883",
                    "Z23883K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z12681",
                        "Z12681K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z30977K1"
                        }
                    }
                },
                "Z19565K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z851",
                    "Z851K1": "Z28170",
                    "Z851K2": [
                        "Z1",
                        "Z30977K1",
                        {
                            "Z1K1": "Z18",
                            "Z18K1": "Z30977K1"
                        }
                    ]
                },
                "Z19565K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z31547",
                    "Z31547K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z12681",
                        "Z12681K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z30977K1"
                        }
                    }
                },
                "Z19565K4": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z12681",
                    "Z12681K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z811",
                        "Z811K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z30977K1"
                        }
                    }
                },
                "Z19565K5": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13582",
                    "Z13582K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z31032",
                        "Z31032K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z14779",
                            "Z14779K1": "Z13052",
                            "Z14779K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z811",
                                "Z811K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z30977K1"
                                }
                            },
                            "Z14779K3": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z29446",
                                "Z29446K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z30977K1"
                                }
                            }
                        },
                        "Z31032K2": {
                            "Z1K1": "Z40",
                            "Z40K1": "Z41"
                        },
                        "Z31032K3": "Z844"
                    }
                }
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z13582",
                "Z13582K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z31032",
                    "Z31032K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z873",
                        "Z873K1": "Z12681",
                        "Z873K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z873",
                            "Z873K1": "Z19205",
                            "Z873K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z29791",
                                "Z29791K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z30977K1"
                                }
                            }
                        }
                    },
                    "Z31032K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    },
                    "Z31032K3": "Z13522"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "length of common prefix of lists, map composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}