{
    "id": "FM__r0",
    "name": "FM__r0",
    "features": {
        "_r0": {
            "name": "_r0",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r1": {
            "name": "_r1",
            "optional": false,
            "type": "OR",
            "note": ""
        },
        "_r10": {
            "name": "_r10",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r11": {
            "name": "_r11",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r12": {
            "name": "_r12",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "_r13": {
            "name": "_r13",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r14": {
            "name": "_r14",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r15": {
            "name": "_r15",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "_r16": {
            "name": "_r16",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r17": {
            "name": "_r17",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r18": {
            "name": "_r18",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r19": {
            "name": "_r19",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r2": {
            "name": "_r2",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r20": {
            "name": "_r20",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "_r21": {
            "name": "_r21",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "_r22": {
            "name": "_r22",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "_r23": {
            "name": "_r23",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "_r24": {
            "name": "_r24",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r25": {
            "name": "_r25",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r3": {
            "name": "_r3",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r4": {
            "name": "_r4",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r5": {
            "name": "_r5",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "_r6": {
            "name": "_r6",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r7": {
            "name": "_r7",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r8": {
            "name": "_r8",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_r9": {
            "name": "_r9",
            "optional": false,
            "type": "XOR",
            "note": ""
        }
    },
    "tree": {
        "id": "_r0",
        "children": [
            {
                "id": "_r1",
                "children": [
                    {
                        "id": "_r2"
                    },
                    {
                        "id": "_r3"
                    },
                    {
                        "id": "_r4"
                    }
                ]
            },
            {
                "id": "_r12",
                "children": [
                    {
                        "id": "_r13"
                    },
                    {
                        "id": "_r14"
                    }
                ]
            },
            {
                "id": "_r15",
                "children": [
                    {
                        "id": "_r16"
                    },
                    {
                        "id": "_r17"
                    },
                    {
                        "id": "_r18"
                    },
                    {
                        "id": "_r19"
                    }
                ]
            },
            {
                "id": "_r20",
                "children": [
                    {
                        "id": "_r21"
                    },
                    {
                        "id": "_r22"
                    }
                ]
            },
            {
                "id": "_r23",
                "children": [
                    {
                        "id": "_r24"
                    },
                    {
                        "id": "_r25"
                    }
                ]
            },
            {
                "id": "_r5",
                "children": [
                    {
                        "id": "_r6"
                    },
                    {
                        "id": "_r7"
                    },
                    {
                        "id": "_r8"
                    }
                ]
            },
            {
                "id": "_r9",
                "children": [
                    {
                        "id": "_r10"
                    },
                    {
                        "id": "_r11"
                    }
                ]
            }
        ]
    },
    "constraints": {
        "Constraint 0": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r20"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r2"
                    ]
                }
            ]
        },
        "Constraint 1": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r22"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r23"
                    ]
                }
            ]
        },
        "Constraint 2": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r15"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r3"
                    ]
                }
            ]
        },
        "Constraint 3": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r12"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r4"
                    ]
                }
            ]
        },
        "Constraint 4": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r5"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r4"
                    ]
                }
            ]
        },
        "Constraint 5": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r23"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r2"
                    ]
                }
            ]
        },
        "Constraint 6": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r9"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "_r4"
                    ]
                }
            ]
        }
    }
}