Z31277

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z31277"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z21821",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z21821",
            "Z21821K1": "Z13735",
            "Z21821K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "20"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z889",
            "Z889K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "1"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "7"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "11"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "13"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "7"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "2"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "17"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "3"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "19"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                }
            ],
            "Z889K3": "Z13522"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "gen(largest prime divisor, 20) =\u003E [ ..., 19, 5 ]"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}