Z13931

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z13931"
    },
    "Z2K2": [
        "Z13518",
        {
            "Z1K1": "Z13518",
            "Z13518K1": "2"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "3"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "5"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "7"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "13"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "17"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "19"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "31"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "61"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "89"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "107"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "127"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "521"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "607"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "1279"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "2203"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "2281"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "3217"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "4253"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "4423"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "9689"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "9941"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "11213"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "19937"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "21701"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "23209"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "44497"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "86243"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "110503"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "132049"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "216091"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "756839"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "859433"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "1257787"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "1398269"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "2976221"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "3021377"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "6972593"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "13466917"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "20996011"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "24036583"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "24036583"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "30402457"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "32582657"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "37156667"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "42643801"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "43112609"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "57885161"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "74207281"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "77232917"
        },
        {
            "Z1K1": "Z13518",
            "Z13518K1": "82589933"
        }
    ],
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "list of Mersenne exponents"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Liste von Mersenne-Exponenten"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}