Z31618

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z31618"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z31587",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z29787",
            "Z29787K1": "Z30282",
            "Z29787K2": {
                "Z1K1": "Z18",
                "Z18K1": "Z31587K1"
            },
            "Z29787K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z802",
                "Z802K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17215",
                    "Z17215K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z31587K2"
                    }
                },
                "Z802K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13831",
                    "Z13831K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13578",
                        "Z13578K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z17144",
                            "Z17144K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31587K2"
                            }
                        }
                    },
                    "Z13831K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z821",
                        "Z821K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z31612",
                            "Z31612K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31587K1"
                            }
                        }
                    }
                },
                "Z802K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13831",
                    "Z13831K1": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    },
                    "Z13831K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13569",
                        "Z13569K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z802",
                            "Z802K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z17239",
                                "Z17239K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31587K2"
                                }
                            },
                            "Z802K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z13633",
                                "Z13633K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z821",
                                    "Z821K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z31612",
                                        "Z31612K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31587K1"
                                        }
                                    }
                                },
                                "Z13633K2": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z822",
                                    "Z822K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z31612",
                                        "Z31612K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31587K1"
                                        }
                                    }
                                }
                            },
                            "Z802K3": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z822",
                                "Z822K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z31612",
                                    "Z31612K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31587K1"
                                    }
                                }
                            }
                        },
                        "Z13569K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z17144",
                            "Z17144K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31587K2"
                            }
                        }
                    }
                }
            },
            "Z29787K4": {
                "Z1K1": "Z7",
                "Z7K1": "Z802",
                "Z802K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17215",
                    "Z17215K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z31587K2"
                    }
                },
                "Z802K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13831",
                    "Z13831K1": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "1"
                    },
                    "Z13831K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13569",
                        "Z13569K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z821",
                            "Z821K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z31612",
                                "Z31612K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31587K1"
                                }
                            }
                        },
                        "Z13569K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z17144",
                            "Z17144K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31587K2"
                            }
                        }
                    }
                },
                "Z802K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13831",
                    "Z13831K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13578",
                        "Z13578K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z17144",
                            "Z17144K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31587K2"
                            }
                        }
                    },
                    "Z13831K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z802",
                        "Z802K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z17239",
                            "Z17239K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31587K2"
                            }
                        },
                        "Z802K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13633",
                            "Z13633K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z821",
                                "Z821K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z31612",
                                    "Z31612K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31587K1"
                                    }
                                }
                            },
                            "Z13633K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z822",
                                "Z822K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z31612",
                                    "Z31612K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31587K1"
                                    }
                                }
                            }
                        },
                        "Z802K3": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z822",
                            "Z822K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z31612",
                                "Z31612K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31587K1"
                                }
                            }
                        }
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "get k-diagonal of list of lists, map composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}