{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_105": { "name": "_r_105", "optional": true, "type": "OR", "note": "" }, "_r_105_106_107": { "name": "_r_105_106_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_105_106_108": { "name": "_r_105_106_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_105_106_109": { "name": "_r_105_106_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_105_106_110": { "name": "_r_105_106_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_105_106_111": { "name": "_r_105_106_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_112": { "name": "_r_112", "optional": true, "type": "OR", "note": "" }, "_r_112_115_116": { "name": "_r_112_115_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_115_117": { "name": "_r_112_115_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_115_118": { "name": "_r_112_115_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_115_119": { "name": "_r_112_115_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_115_120": { "name": "_r_112_115_120", "optional": true, "type": "FEATURE", "note": "" }, "_r_16": { "name": "_r_16", "optional": true, "type": "OR", "note": "" }, "_r_16_17_18": { "name": "_r_16_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_16_17_19": { "name": "_r_16_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_16_17_20": { "name": "_r_16_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": true, "type": "OR", "note": "" }, "_r_24": { "name": "_r_24", "optional": true, "type": "OR", "note": "" }, "_r_24_25_26": { "name": "_r_24_25_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_29": { "name": "_r_24_25_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_30": { "name": "_r_24_25_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_31": { "name": "_r_24_25_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_32": { "name": "_r_24_25_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_33": { "name": "_r_24_25_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_11": { "name": "_r_2_5_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_12": { "name": "_r_2_5_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_13": { "name": "_r_2_5_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_14": { "name": "_r_2_5_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_15": { "name": "_r_2_5_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_6": { "name": "_r_2_5_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_7": { "name": "_r_2_5_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_8": { "name": "_r_2_5_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_5_9": { "name": "_r_2_5_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_44": { "name": "_r_44", "optional": true, "type": "XOR", "note": "" }, "_r_44_47_48": { "name": "_r_44_47_48", "optional": true, "type": "OR", "note": "" }, "_r_44_47_48_52_53": { "name": "_r_44_47_48_52_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_48_52_54": { "name": "_r_44_47_48_52_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49": { "name": "_r_44_47_49", "optional": true, "type": "OR", "note": "" }, "_r_44_47_49_55_56": { "name": "_r_44_47_49_55_56", "optional": true, "type": "XOR", "note": "" }, "_r_44_47_49_55_56_64_65": { "name": "_r_44_47_49_55_56_64_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_56_64_66": { "name": "_r_44_47_49_55_56_64_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_56_64_67": { "name": "_r_44_47_49_55_56_64_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_57": { "name": "_r_44_47_49_55_57", "optional": true, "type": "XOR", "note": "" }, "_r_44_47_49_55_57_68_69": { "name": "_r_44_47_49_55_57_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_57_68_70": { "name": "_r_44_47_49_55_57_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_57_68_72": { "name": "_r_44_47_49_55_57_68_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_58": { "name": "_r_44_47_49_55_58", "optional": true, "type": "XOR", "note": "" }, "_r_44_47_49_55_58_74_75": { "name": "_r_44_47_49_55_58_74_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_58_74_76": { "name": "_r_44_47_49_55_58_74_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_58_74_77": { "name": "_r_44_47_49_55_58_74_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_59": { "name": "_r_44_47_49_55_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_60": { "name": "_r_44_47_49_55_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_61": { "name": "_r_44_47_49_55_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47_49_55_62": { "name": "_r_44_47_49_55_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_99": { "name": "_r_99", "optional": true, "type": "XOR", "note": "" }, "_r_99_100_101": { "name": "_r_99_100_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_99_100_102": { "name": "_r_99_100_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_99_100_103": { "name": "_r_99_100_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_99_100_104": { "name": "_r_99_100_104", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_105", "children": [ { "id": "_r_105_106_107" }, { "id": "_r_105_106_108" }, { "id": "_r_105_106_109" }, { "id": "_r_105_106_110" }, { "id": "_r_105_106_111" } ] }, { "id": "_r_112", "children": [ { "id": "_r_112_115_116" }, { "id": "_r_112_115_117" }, { "id": "_r_112_115_118" }, { "id": "_r_112_115_119" }, { "id": "_r_112_115_120" } ] }, { "id": "_r_16", "children": [ { "id": "_r_16_17_18" }, { "id": "_r_16_17_19" }, { "id": "_r_16_17_20" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_5_11" }, { "id": "_r_2_5_12" }, { "id": "_r_2_5_13" }, { "id": "_r_2_5_14" }, { "id": "_r_2_5_15" }, { "id": "_r_2_5_6" }, { "id": "_r_2_5_7" }, { "id": "_r_2_5_8" }, { "id": "_r_2_5_9" } ] }, { "id": "_r_24", "children": [ { "id": "_r_24_25_26" }, { "id": "_r_24_25_29" }, { "id": "_r_24_25_30" }, { "id": "_r_24_25_31" }, { "id": "_r_24_25_32" }, { "id": "_r_24_25_33" } ] }, { "id": "_r_44", "children": [ { "id": "_r_44_47_48", "children": [ { "id": "_r_44_47_48_52_53" }, { "id": "_r_44_47_48_52_54" } ] }, { "id": "_r_44_47_49", "children": [ { "id": "_r_44_47_49_55_56", "children": [ { "id": "_r_44_47_49_55_56_64_65" }, { "id": "_r_44_47_49_55_56_64_66" }, { "id": "_r_44_47_49_55_56_64_67" } ] }, { "id": "_r_44_47_49_55_57", "children": [ { "id": "_r_44_47_49_55_57_68_69" }, { "id": "_r_44_47_49_55_57_68_70" }, { "id": "_r_44_47_49_55_57_68_72" } ] }, { "id": "_r_44_47_49_55_58", "children": [ { "id": "_r_44_47_49_55_58_74_75" }, { "id": "_r_44_47_49_55_58_74_76" }, { "id": "_r_44_47_49_55_58_74_77" } ] }, { "id": "_r_44_47_49_55_59" }, { "id": "_r_44_47_49_55_60" }, { "id": "_r_44_47_49_55_61" }, { "id": "_r_44_47_49_55_62" } ] } ] }, { "id": "_r_99", "children": [ { "id": "_r_99_100_101" }, { "id": "_r_99_100_102" }, { "id": "_r_99_100_103" }, { "id": "_r_99_100_104" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_19" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_29" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_30" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_110" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_108" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_103" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_102" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_31" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_33" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_60" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_16_17_18" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_44_47_49" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_70" ] } ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_69" ] } ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_72" ] } ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_65" ] } ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_67" ] } ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_66" ] } ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_107" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_99_100_101" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_112_115_116" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_111" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_109" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_118" ] } ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_117" ] } ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_103" ] } ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_76" ] } ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_77" ] } ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_75" ] } ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_61" ] } ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_62" ] } ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_72" ] } ] } ] }, "Constraint 46": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_67" ] } ] } ] }, "Constraint 47": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 48": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_77" ] } ] } ] }, "Constraint 49": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 50": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_108" ] } ] } ] }, "Constraint 51": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_110" ] } ] } ] }, "Constraint 52": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_69" ] } ] } ] }, "Constraint 53": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_67" ] } ] } ] }, "Constraint 54": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_66" ] } ] } ] }, "Constraint 55": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_70" ] } ] } ] }, "Constraint 56": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_75" ] } ] } ] }, "Constraint 57": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_72" ] } ] } ] }, "Constraint 58": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_77" ] } ] } ] }, "Constraint 59": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_76" ] } ] } ] }, "Constraint 60": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_116" ] } ] } ] }, "Constraint 61": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 62": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] } ] }, "Constraint 63": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_102" ] } ] } ] }, "Constraint 64": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_101" ] } ] } ] }, "Constraint 65": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_102" ] } ] } ] }, "Constraint 66": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 67": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_109" ] } ] } ] }, "Constraint 68": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_108" ] } ] } ] }, "Constraint 69": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_107" ] } ] } ] }, "Constraint 70": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_65" ] } ] } ] }, "Constraint 71": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_66" ] } ] } ] }, "Constraint 72": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_62" ] } ] } ] }, "Constraint 73": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_60" ] } ] } ] }, "Constraint 74": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_29" ] } ] } ] }, "Constraint 75": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] } ] }, "Constraint 76": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] } ] }, "Constraint 77": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 78": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_103" ] } ] } ] }, "Constraint 79": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 80": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_118" ] } ] } ] }, "Constraint 81": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 82": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48_52_53" ] } ] } ] }, "Constraint 83": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 84": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_103" ] } ] } ] }, "Constraint 85": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_102" ] } ] } ] }, "Constraint 86": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48_52_54" ] } ] } ] }, "Constraint 87": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] } ] }, "Constraint 88": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 89": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_29" ] } ] } ] }, "Constraint 90": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 91": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 92": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_118" ] } ] } ] }, "Constraint 93": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 94": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_109" ] } ] }, "Constraint 95": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_110" ] } ] }, "Constraint 96": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_111" ] } ] }, "Constraint 97": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_67" ] } ] } ] }, "Constraint 98": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_103" ] } ] } ] }, "Constraint 99": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 100": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_107" ] } ] }, "Constraint 101": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_105_106_108" ] } ] }, "Constraint 102": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_62" ] } ] } ] }, "Constraint 103": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 104": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_70" ] } ] } ] }, "Constraint 105": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 106": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_110" ] } ] } ] }, "Constraint 107": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] } ] }, "Constraint 108": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_67" ] } ] } ] }, "Constraint 109": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 110": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 111": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_99_100_101" ] } ] }, "Constraint 112": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_72" ] } ] } ] }, "Constraint 113": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 114": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] } ] }, "Constraint 115": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_103" ] } ] } ] }, "Constraint 116": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_60" ] } ] } ] }, "Constraint 117": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_72" ] } ] } ] }, "Constraint 118": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_102" ] } ] } ] }, "Constraint 119": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_62" ] } ] } ] }, "Constraint 120": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_108" ] } ] } ] }, "Constraint 121": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 122": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] }, "Constraint 123": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_29" ] } ] } ] }, "Constraint 124": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_19" ] } ] } ] }, "Constraint 125": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 126": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_110" ] } ] } ] }, "Constraint 127": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 128": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_16_17_18" ] } ] }, "Constraint 129": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_116" ] } ] } ] }, "Constraint 130": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 131": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_77" ] } ] } ] }, "Constraint 132": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_99_100_104" ] } ] } ] }, "Constraint 133": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_61" ] } ] } ] }, "Constraint 134": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_107" ] } ] } ] }, "Constraint 135": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_60" ] } ] } ] }, "Constraint 136": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 137": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_33" ] } ] } ] }, "Constraint 138": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 139": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 140": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_31" ] } ] } ] }, "Constraint 141": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_31" ] } ] } ] }, "Constraint 142": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_33" ] } ] } ] }, "Constraint 143": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_30" ] } ] } ] }, "Constraint 144": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_60" ] } ] } ] }, "Constraint 145": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] }, "Constraint 146": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_61" ] } ] } ] }, "Constraint 147": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 148": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 149": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57" ] } ] } ] }, "Constraint 150": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] } ] }, "Constraint 151": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56" ] } ] } ] }, "Constraint 152": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 153": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_16_17_19" ] } ] }, "Constraint 154": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_30" ] } ] } ] }, "Constraint 155": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] } ] }, "Constraint 156": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_18" ] } ] } ] }, "Constraint 157": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] } ] }, "Constraint 158": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 159": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_33" ] } ] } ] }, "Constraint 160": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56" ] } ] } ] }, "Constraint 161": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 162": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_67" ] } ] } ] }, "Constraint 163": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_105_106_110" ] } ] } ] }, "Constraint 164": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_99_100_101" ] } ] }, "Constraint 165": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_48" ] } ] } ] }, "Constraint 166": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_62" ] } ] } ] }, "Constraint 167": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_61" ] } ] } ] }, "Constraint 168": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_69" ] } ] } ] }, "Constraint 169": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_57_68_72" ] } ] } ] }, "Constraint 170": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_56_64_65" ] } ] } ] }, "Constraint 171": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_75" ] } ] } ] }, "Constraint 172": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_116" ] } ] } ] }, "Constraint 173": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_77" ] } ] } ] }, "Constraint 174": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 175": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 176": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_16_17_19" ] } ] }, "Constraint 177": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_18" ] } ] } ] }, "Constraint 178": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 179": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] } ] }, "Constraint 180": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_29" ] } ] } ] }, "Constraint 181": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_30" ] } ] } ] }, "Constraint 182": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 183": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_26" ] } ] } ] }, "Constraint 184": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16_17_20" ] } ] } ] }, "Constraint 185": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_117" ] } ] } ] }, "Constraint 186": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_24_25_33" ] } ] }, "Constraint 187": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_112_115_116" ] } ] }, "Constraint 188": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_32" ] } ] } ] }, "Constraint 189": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_31" ] } ] } ] }, "Constraint 190": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_30" ] } ] } ] }, "Constraint 191": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_61" ] } ] } ] }, "Constraint 192": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_60" ] } ] } ] }, "Constraint 193": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_59" ] } ] } ] }, "Constraint 194": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58" ] } ] } ] }, "Constraint 195": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_118" ] } ] } ] }, "Constraint 196": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 197": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_62" ] } ] } ] }, "Constraint 198": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] }, "Constraint 199": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44_47_49_55_58_74_77" ] } ] } ] }, "Constraint 200": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_120" ] } ] } ] }, "Constraint 201": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_118" ] } ] } ] }, "Constraint 202": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_5_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_112_115_119" ] } ] } ] } } }