Z31020

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z31020"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z31019",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z10216",
                "Z10216K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z13324",
                    "Z13324K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z31019K2"
                    },
                    "Z13324K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z31019K3"
                    }
                }
            },
            "Z802K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z31019",
                "Z31019K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z31019K1"
                },
                "Z31019K2": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z31019K3"
                },
                "Z31019K3": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z31019K2"
                }
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z19565",
                "Z19565K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10216",
                    "Z10216K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z23883",
                        "Z23883K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z30977",
                            "Z30977K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z801",
                                "Z801K1": [
                                    "Z1",
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                ]
                            }
                        }
                    }
                },
                "Z19565K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z31019",
                    "Z31019K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z31019K1"
                    },
                    "Z31019K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z811",
                        "Z811K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z31002",
                            "Z31002K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z801",
                                "Z801K1": [
                                    "Z1",
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                ]
                            }
                        }
                    },
                    "Z31019K3": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z29446",
                        "Z29446K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z31002",
                            "Z31002K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z801",
                                "Z801K1": [
                                    "Z1",
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                ]
                            }
                        }
                    }
                },
                "Z19565K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z10216",
                    "Z10216K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z23883",
                        "Z23883K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z30978",
                            "Z30978K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z801",
                                "Z801K1": [
                                    "Z1",
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                ]
                            }
                        }
                    }
                },
                "Z19565K4": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z31019",
                    "Z31019K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z31019K1"
                    },
                    "Z31019K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z811",
                        "Z811K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z31003",
                            "Z31003K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z801",
                                "Z801K1": [
                                    "Z1",
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                ]
                            }
                        }
                    },
                    "Z31019K3": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z29446",
                        "Z29446K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z31003",
                            "Z31003K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z801",
                                "Z801K1": [
                                    "Z1",
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                ]
                            }
                        }
                    }
                },
                "Z19565K5": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z19565",
                    "Z19565K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13695",
                        "Z13695K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z12681",
                            "Z12681K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31019K2"
                            }
                        },
                        "Z13695K2": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z31019K1"
                        }
                    },
                    "Z19565K2": {
                        "Z1K1": "Z40",
                        "Z40K1": "Z41"
                    },
                    "Z19565K3": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13689",
                        "Z13689K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z31019K1"
                        },
                        "Z13689K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13569",
                            "Z13569K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z12681",
                                "Z12681K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31019K2"
                                }
                            },
                            "Z13569K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z12681",
                                "Z12681K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31019K3"
                                }
                            }
                        }
                    },
                    "Z19565K4": {
                        "Z1K1": "Z40",
                        "Z40K1": "Z42"
                    },
                    "Z19565K5": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z19565",
                        "Z19565K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z10174",
                            "Z10174K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z12864",
                                "Z12864K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31019K2"
                                },
                                "Z12864K2": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31019K3"
                                }
                            },
                            "Z10174K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z13695",
                                "Z13695K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z31026",
                                    "Z31026K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    "Z31026K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                },
                                "Z13695K2": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z31019K1"
                                }
                            }
                        },
                        "Z19565K2": {
                            "Z1K1": "Z40",
                            "Z40K1": "Z41"
                        },
                        "Z19565K3": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z31554",
                            "Z31554K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z31019K1"
                            }
                        },
                        "Z19565K4": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z19565",
                            "Z19565K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z31554",
                                "Z31554K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z13569",
                                    "Z13569K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z12681",
                                        "Z12681K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K2"
                                        }
                                    },
                                    "Z13569K2": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z12681",
                                        "Z12681K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K3"
                                        }
                                    }
                                }
                            },
                            "Z19565K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z23883",
                                "Z23883K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z31026",
                                    "Z31026K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z12967",
                                        "Z12967K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z812",
                                            "Z812K1": {
                                                "Z1K1": "Z18",
                                                "Z18K1": "Z31019K2"
                                            }
                                        }
                                    },
                                    "Z31026K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                }
                            },
                            "Z19565K3": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z31547",
                                "Z31547K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z13569",
                                    "Z13569K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z12681",
                                        "Z12681K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K2"
                                        }
                                    },
                                    "Z13569K2": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z12681",
                                        "Z12681K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K3"
                                        }
                                    }
                                }
                            },
                            "Z19565K4": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z10184",
                                "Z10184K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z23883",
                                    "Z23883K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z31026",
                                        "Z31026K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z12967",
                                            "Z12967K1": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z812",
                                                "Z812K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K2"
                                                }
                                            }
                                        },
                                        "Z31026K2": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z12967",
                                            "Z12967K1": {
                                                "Z1K1": "Z18",
                                                "Z18K1": "Z31019K3"
                                            }
                                        }
                                    }
                                },
                                "Z10184K2": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z23883",
                                    "Z23883K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z31026",
                                        "Z31026K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z12967",
                                            "Z12967K1": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z812",
                                                "Z812K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K2"
                                                }
                                            }
                                        },
                                        "Z31026K2": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z812",
                                            "Z812K1": {
                                                "Z1K1": "Z18",
                                                "Z18K1": "Z31019K3"
                                            }
                                        }
                                    }
                                }
                            },
                            "Z19565K5": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z10184",
                                "Z10184K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z23883",
                                    "Z23883K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z31026",
                                        "Z31026K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z12967",
                                            "Z12967K1": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z812",
                                                "Z812K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K2"
                                                }
                                            }
                                        },
                                        "Z31026K2": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z12967",
                                            "Z12967K1": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z812",
                                                "Z812K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K3"
                                                }
                                            }
                                        }
                                    }
                                },
                                "Z10184K2": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z10184",
                                    "Z10184K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z23883",
                                        "Z23883K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z31026",
                                            "Z31026K1": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z12967",
                                                "Z12967K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K2"
                                                }
                                            },
                                            "Z31026K2": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z812",
                                                "Z812K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K3"
                                                }
                                            }
                                        }
                                    },
                                    "Z10184K2": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z23883",
                                        "Z23883K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z31026",
                                            "Z31026K1": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z812",
                                                "Z812K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K2"
                                                }
                                            },
                                            "Z31026K2": {
                                                "Z1K1": "Z7",
                                                "Z7K1": "Z12967",
                                                "Z12967K1": {
                                                    "Z1K1": "Z18",
                                                    "Z18K1": "Z31019K3"
                                                }
                                            }
                                        }
                                    }
                                }
                            }
                        },
                        "Z19565K5": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z802",
                            "Z802K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z23883",
                                "Z23883K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z31026",
                                    "Z31026K1": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K2"
                                    },
                                    "Z31026K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K3"
                                    }
                                }
                            },
                            "Z802K2": {
                                "Z1K1": "Z40",
                                "Z40K1": "Z41"
                            },
                            "Z802K3": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z10174",
                                "Z10174K1": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z10216",
                                    "Z10216K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z23883",
                                        "Z23883K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K1"
                                        }
                                    }
                                },
                                "Z10174K2": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z13695",
                                    "Z13695K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z31013",
                                        "Z31013K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K2"
                                        },
                                        "Z31013K2": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z31019K3"
                                        }
                                    },
                                    "Z13695K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z31019K1"
                                    }
                                }
                            }
                        }
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Levenshtein distance is at most, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "special-case logic for threshold=1 and threshold=2 based on infinisil's implementation in Nixpkgs"
            }
        ]
    }
}