Z18946

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z18946"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17120",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17120",
            "Z17120K1": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16662"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                }
            },
            "Z17120K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z17120",
                "Z17120K1": {
                    "Z1K1": "Z16683",
                    "Z16683K1": {
                        "Z1K1": "Z16659",
                        "Z16659K1": "Z16662"
                    },
                    "Z16683K2": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "3"
                    }
                },
                "Z17120K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17120",
                    "Z17120K1": {
                        "Z1K1": "Z16683",
                        "Z16683K1": {
                            "Z1K1": "Z16659",
                            "Z16659K1": "Z16662"
                        },
                        "Z16683K2": {
                            "Z1K1": "Z13518",
                            "Z13518K1": "5"
                        }
                    },
                    "Z17120K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z17120",
                        "Z17120K1": {
                            "Z1K1": "Z16683",
                            "Z16683K1": {
                                "Z1K1": "Z16659",
                                "Z16659K1": "Z16662"
                            },
                            "Z16683K2": {
                                "Z1K1": "Z13518",
                                "Z13518K1": "7"
                            }
                        },
                        "Z17120K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z17120",
                            "Z17120K1": {
                                "Z1K1": "Z16683",
                                "Z16683K1": {
                                    "Z1K1": "Z16659",
                                    "Z16659K1": "Z16660"
                                },
                                "Z16683K2": {
                                    "Z1K1": "Z13518",
                                    "Z13518K1": "11"
                                }
                            },
                            "Z17120K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z17120",
                                "Z17120K1": {
                                    "Z1K1": "Z16683",
                                    "Z16683K1": {
                                        "Z1K1": "Z16659",
                                        "Z16659K1": "Z16662"
                                    },
                                    "Z16683K2": {
                                        "Z1K1": "Z13518",
                                        "Z13518K1": "13"
                                    }
                                },
                                "Z17120K2": {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z17120",
                                    "Z17120K1": {
                                        "Z1K1": "Z16683",
                                        "Z16683K1": {
                                            "Z1K1": "Z16659",
                                            "Z16659K1": "Z16662"
                                        },
                                        "Z16683K2": {
                                            "Z1K1": "Z13518",
                                            "Z13518K1": "17"
                                        }
                                    },
                                    "Z17120K2": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z17120",
                                        "Z17120K1": {
                                            "Z1K1": "Z16683",
                                            "Z16683K1": {
                                                "Z1K1": "Z16659",
                                                "Z16659K1": "Z16662"
                                            },
                                            "Z16683K2": {
                                                "Z1K1": "Z13518",
                                                "Z13518K1": "19"
                                            }
                                        },
                                        "Z17120K2": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z17120",
                                            "Z17120K1": {
                                                "Z1K1": "Z16683",
                                                "Z16683K1": {
                                                    "Z1K1": "Z16659",
                                                    "Z16659K1": "Z16662"
                                                },
                                                "Z16683K2": {
                                                    "Z1K1": "Z13518",
                                                    "Z13518K1": "23"
                                                }
                                            },
                                            "Z17120K2": {
                                                "Z1K1": "Z16683",
                                                "Z16683K1": {
                                                    "Z1K1": "Z16659",
                                                    "Z16659K1": "Z16662"
                                                },
                                                "Z16683K2": {
                                                    "Z1K1": "Z13518",
                                                    "Z13518K1": "29"
                                                }
                                            }
                                        }
                                    }
                                }
                            }
                        }
                    }
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z16688",
            "Z16688K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16662"
                },
                "Z16683K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z15291",
                    "Z15291K1": {
                        "Z1K1": "Z13518",
                        "Z13518K1": "30"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "negative primorial 30"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "-3 * -5 * -7 * 11 * -13 * -17 * -19 * -23 * -29"
            }
        ]
    }
}