Z26196

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z26196"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z25356",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z26950",
                "Z26950K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z25356K1"
                }
            },
            "Z802K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z802",
                "Z802K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z26946",
                    "Z26946K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z25356K1"
                    }
                },
                "Z802K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z25656",
                    "Z25656K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z25294",
                        "Z25294K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z25356K1"
                        }
                    },
                    "Z25656K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z25356K2"
                    }
                },
                "Z802K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z21394",
                    "Z21394K1": [
                        "Z6",
                        "[",
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25656",
                            "Z25656K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z25294",
                                "Z25294K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z25356K1"
                                }
                            },
                            "Z25656K2": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25356K2"
                            }
                        },
                        "; ≤",
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25656",
                            "Z25656K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z25300",
                                "Z25300K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z25356K1"
                                }
                            },
                            "Z25656K2": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25356K2"
                            }
                        },
                        "]"
                    ]
                }
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z802",
                "Z802K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z26946",
                    "Z26946K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z25356K1"
                    }
                },
                "Z802K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z21394",
                    "Z21394K1": [
                        "Z6",
                        "[≥",
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25656",
                            "Z25656K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z25297",
                                "Z25297K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z25356K1"
                                }
                            },
                            "Z25656K2": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25356K2"
                            }
                        },
                        "; ",
                        {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25656",
                            "Z25656K1": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z25294",
                                "Z25294K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z25356K1"
                                }
                            },
                            "Z25656K2": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25356K2"
                            }
                        },
                        "]"
                    ]
                },
                "Z802K3": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z802",
                    "Z802K1": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z28359",
                        "Z28359K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z25356K1"
                        }
                    },
                    "Z802K2": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z25656",
                        "Z25656K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25294",
                            "Z25294K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25356K1"
                            }
                        },
                        "Z25656K2": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z25356K2"
                        }
                    },
                    "Z802K3": {
                        "Z1K1": "Z7",
                        "Z7K1": "Z802",
                        "Z802K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z25310",
                            "Z25310K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z25356K1"
                            }
                        },
                        "Z802K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z21394",
                            "Z21394K1": [
                                "Z6",
                                {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z25656",
                                    "Z25656K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z25294",
                                        "Z25294K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z25356K1"
                                        }
                                    },
                                    "Z25656K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z25356K2"
                                    }
                                },
                                "±",
                                {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z25362",
                                    "Z25362K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z19699",
                                        "Z19699K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z25294",
                                            "Z25294K1": {
                                                "Z1K1": "Z18",
                                                "Z18K1": "Z25356K1"
                                            }
                                        },
                                        "Z19699K2": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z25297",
                                            "Z25297K1": {
                                                "Z1K1": "Z18",
                                                "Z18K1": "Z25356K1"
                                            }
                                        }
                                    },
                                    "Z25362K2": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z25647",
                                        "Z25647K1": {
                                            "Z1K1": "Z7",
                                            "Z7K1": "Z25294",
                                            "Z25294K1": {
                                                "Z1K1": "Z18",
                                                "Z18K1": "Z25356K1"
                                            }
                                        }
                                    },
                                    "Z25362K3": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z25356K2"
                                    }
                                }
                            ]
                        },
                        "Z802K3": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z12899",
                            "Z12899K1": [
                                "Z6",
                                "[≥",
                                {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z25656",
                                    "Z25656K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z25297",
                                        "Z25297K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z25356K1"
                                        }
                                    },
                                    "Z25656K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z25356K2"
                                    }
                                },
                                "; ",
                                {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z25656",
                                    "Z25656K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z25294",
                                        "Z25294K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z25356K1"
                                        }
                                    },
                                    "Z25656K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z25356K2"
                                    }
                                },
                                "; ≤",
                                {
                                    "Z1K1": "Z7",
                                    "Z7K1": "Z25656",
                                    "Z25656K1": {
                                        "Z1K1": "Z7",
                                        "Z7K1": "Z25300",
                                        "Z25300K1": {
                                            "Z1K1": "Z18",
                                            "Z18K1": "Z25356K1"
                                        }
                                    },
                                    "Z25656K2": {
                                        "Z1K1": "Z18",
                                        "Z18K1": "Z25356K2"
                                    }
                                },
                                "]"
                            ],
                            "Z12899K2": ""
                        }
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "display quantity with digits, comp, with unknowns "
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "complex composition of cases, with helper functions to run the actual tests and conversions"
            }
        ]
    }
}