Z25867

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z25867"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z19677",
                "Z17K2": "Z25867K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "starting rational"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "razionale iniziale"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z25867K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "new denominator"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "nuovo denominatore"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z19677",
        "Z8K3": [
            "Z20",
            "Z25868",
            "Z25869",
            "Z25872",
            "Z27038"
        ],
        "Z8K4": [
            "Z14",
            "Z25870",
            "Z27830"
        ],
        "Z8K5": "Z25867"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "set denominator"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "imposta denominatore"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "unsimplify",
                    "expand rational denominator",
                    "change denominator",
                    "choose denominator",
                    "multiply denominator",
                    "multiple of rational",
                    "scale denominator",
                    "multiply numerator and denominator",
                    "denominator fixing"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1787",
                "Z31K2": [
                    "Z6",
                    "cambia denominatore",
                    "scegli denominatore"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Returns an unsimplified rational with the same value as the input but with the chosen denominator. Only works if the new denominator is a multiple of the simplified one. Otherwise returns the original"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "Ritorna un razionale non semplificato con lo stesso valore ma con il denominatore scelto. Funziona solo se il nuovo denominatore è multiplo di quello semplificato, altrimenti restituisce l'originale."
            }
        ]
    }
}