{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_4_5": { "name": "_r_1_2_4_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_4_6": { "name": "_r_1_2_4_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7_10": { "name": "_r_1_2_7_10", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_7_10_20_21": { "name": "_r_1_2_7_10_20_21", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_10_20_21_73_74": { "name": "_r_1_2_7_10_20_21_73_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_10_20_21_73_75": { "name": "_r_1_2_7_10_20_21_73_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_10_20_22": { "name": "_r_1_2_7_10_20_22", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_10_20_22_76_77": { "name": "_r_1_2_7_10_20_22_76_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_10_20_22_76_78": { "name": "_r_1_2_7_10_20_22_76_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_10_20_23": { "name": "_r_1_2_7_10_20_23", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_10_20_23_79_80": { "name": "_r_1_2_7_10_20_23_79_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_10_20_23_79_81": { "name": "_r_1_2_7_10_20_23_79_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11": { "name": "_r_1_2_7_11", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_7_11_24_25": { "name": "_r_1_2_7_11_24_25", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_11_24_25_82_83": { "name": "_r_1_2_7_11_24_25_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_25_82_84": { "name": "_r_1_2_7_11_24_25_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_26": { "name": "_r_1_2_7_11_24_26", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_11_24_26_85_86": { "name": "_r_1_2_7_11_24_26_85_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_26_85_87": { "name": "_r_1_2_7_11_24_26_85_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_27": { "name": "_r_1_2_7_11_24_27", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_11_24_27_88_89": { "name": "_r_1_2_7_11_24_27_88_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_27_88_90": { "name": "_r_1_2_7_11_24_27_88_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_28": { "name": "_r_1_2_7_11_24_28", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_11_24_28_91_92": { "name": "_r_1_2_7_11_24_28_91_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_28_91_93": { "name": "_r_1_2_7_11_24_28_91_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_29": { "name": "_r_1_2_7_11_24_29", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_11_24_29_94_95": { "name": "_r_1_2_7_11_24_29_94_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_11_24_29_94_96": { "name": "_r_1_2_7_11_24_29_94_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8": { "name": "_r_1_2_7_8", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_7_8_12_13": { "name": "_r_1_2_7_8_12_13", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_8_12_13_55_56": { "name": "_r_1_2_7_8_12_13_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8_12_13_55_57": { "name": "_r_1_2_7_8_12_13_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8_12_14": { "name": "_r_1_2_7_8_12_14", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_8_12_14_58_59": { "name": "_r_1_2_7_8_12_14_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8_12_14_58_60": { "name": "_r_1_2_7_8_12_14_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8_12_15": { "name": "_r_1_2_7_8_12_15", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_8_12_15_61_62": { "name": "_r_1_2_7_8_12_15_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8_12_15_61_63": { "name": "_r_1_2_7_8_12_15_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_9": { "name": "_r_1_2_7_9", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_7_9_16_17": { "name": "_r_1_2_7_9_16_17", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_9_16_17_64_65": { "name": "_r_1_2_7_9_16_17_64_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_9_16_17_64_66": { "name": "_r_1_2_7_9_16_17_64_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_9_16_18": { "name": "_r_1_2_7_9_16_18", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_9_16_18_67_68": { "name": "_r_1_2_7_9_16_18_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_9_16_18_67_69": { "name": "_r_1_2_7_9_16_18_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_9_16_19": { "name": "_r_1_2_7_9_16_19", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_7_9_16_19_70_71": { "name": "_r_1_2_7_9_16_19_70_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_9_16_19_70_72": { "name": "_r_1_2_7_9_16_19_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3": { "name": "_r_1_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3_30": { "name": "_r_1_3_30", "optional": false, "type": "XOR", "note": "" }, "_r_1_3_30_33_34": { "name": "_r_1_3_30_33_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_30_33_35": { "name": "_r_1_3_30_33_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_30_33_36": { "name": "_r_1_3_30_33_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_31": { "name": "_r_1_3_31", "optional": false, "type": "XOR", "note": "" }, "_r_1_3_31_37_38": { "name": "_r_1_3_31_37_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_31_37_39": { "name": "_r_1_3_31_37_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_31_37_40": { "name": "_r_1_3_31_37_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_32": { "name": "_r_1_3_32", "optional": false, "type": "XOR", "note": "" }, "_r_1_3_32_41_42": { "name": "_r_1_3_32_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_32_41_43": { "name": "_r_1_3_32_41_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_32_41_44": { "name": "_r_1_3_32_41_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_32_41_45": { "name": "_r_1_3_32_41_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_46": { "name": "_r_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_53": { "name": "_r_46_53", "optional": true, "type": "XOR", "note": "" }, "_r_46_53_61_62": { "name": "_r_46_53_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_53_61_63": { "name": "_r_46_53_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_53_61_64": { "name": "_r_46_53_61_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_53_61_65": { "name": "_r_46_53_61_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_53_61_66": { "name": "_r_46_53_61_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_53_67": { "name": "_r_46_53_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54": { "name": "_r_46_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_55": { "name": "_r_46_54_55", "optional": true, "type": "XOR", "note": "" }, "_r_46_54_55_97_98": { "name": "_r_46_54_55_97_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_55_97_99": { "name": "_r_46_54_55_97_99", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_56": { "name": "_r_46_54_56", "optional": true, "type": "XOR", "note": "" }, "_r_46_54_56_100_101": { "name": "_r_46_54_56_100_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_56_100_102": { "name": "_r_46_54_56_100_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_57": { "name": "_r_46_54_57", "optional": true, "type": "XOR", "note": "" }, "_r_46_54_57_103_104": { "name": "_r_46_54_57_103_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_57_103_105": { "name": "_r_46_54_57_103_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_58": { "name": "_r_46_54_58", "optional": true, "type": "XOR", "note": "" }, "_r_46_54_58_106_107": { "name": "_r_46_54_58_106_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_58_106_108": { "name": "_r_46_54_58_106_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_59": { "name": "_r_46_54_59", "optional": true, "type": "XOR", "note": "" }, "_r_46_54_59_109_110": { "name": "_r_46_54_59_109_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_59_109_111": { "name": "_r_46_54_59_109_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_60": { "name": "_r_46_54_60", "optional": true, "type": "XOR", "note": "" }, "_r_46_54_60_112_113": { "name": "_r_46_54_60_112_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_54_60_112_114": { "name": "_r_46_54_60_112_114", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2", "children": [ { "id": "_r_1_2_4", "children": [ { "id": "_r_1_2_4_5" }, { "id": "_r_1_2_4_6" } ] }, { "id": "_r_1_2_7", "children": [ { "id": "_r_1_2_7_10", "children": [ { "id": "_r_1_2_7_10_20_21", "children": [ { "id": "_r_1_2_7_10_20_21_73_74" }, { "id": "_r_1_2_7_10_20_21_73_75" } ] }, { "id": "_r_1_2_7_10_20_22", "children": [ { "id": "_r_1_2_7_10_20_22_76_77" }, { "id": "_r_1_2_7_10_20_22_76_78" } ] }, { "id": "_r_1_2_7_10_20_23", "children": [ { "id": "_r_1_2_7_10_20_23_79_80" }, { "id": "_r_1_2_7_10_20_23_79_81" } ] } ] }, { "id": "_r_1_2_7_11", "children": [ { "id": "_r_1_2_7_11_24_25", "children": [ { "id": "_r_1_2_7_11_24_25_82_83" }, { "id": "_r_1_2_7_11_24_25_82_84" } ] }, { "id": "_r_1_2_7_11_24_26", "children": [ { "id": "_r_1_2_7_11_24_26_85_86" }, { "id": "_r_1_2_7_11_24_26_85_87" } ] }, { "id": "_r_1_2_7_11_24_27", "children": [ { "id": "_r_1_2_7_11_24_27_88_89" }, { "id": "_r_1_2_7_11_24_27_88_90" } ] }, { "id": "_r_1_2_7_11_24_28", "children": [ { "id": "_r_1_2_7_11_24_28_91_92" }, { "id": "_r_1_2_7_11_24_28_91_93" } ] }, { "id": "_r_1_2_7_11_24_29", "children": [ { "id": "_r_1_2_7_11_24_29_94_95" }, { "id": "_r_1_2_7_11_24_29_94_96" } ] } ] }, { "id": "_r_1_2_7_8", "children": [ { "id": "_r_1_2_7_8_12_13", "children": [ { "id": "_r_1_2_7_8_12_13_55_56" }, { "id": "_r_1_2_7_8_12_13_55_57" } ] }, { "id": "_r_1_2_7_8_12_14", "children": [ { "id": "_r_1_2_7_8_12_14_58_59" }, { "id": "_r_1_2_7_8_12_14_58_60" } ] }, { "id": "_r_1_2_7_8_12_15", "children": [ { "id": "_r_1_2_7_8_12_15_61_62" }, { "id": "_r_1_2_7_8_12_15_61_63" } ] } ] }, { "id": "_r_1_2_7_9", "children": [ { "id": "_r_1_2_7_9_16_17", "children": [ { "id": "_r_1_2_7_9_16_17_64_65" }, { "id": "_r_1_2_7_9_16_17_64_66" } ] }, { "id": "_r_1_2_7_9_16_18", "children": [ { "id": "_r_1_2_7_9_16_18_67_68" }, { "id": "_r_1_2_7_9_16_18_67_69" } ] }, { "id": "_r_1_2_7_9_16_19", "children": [ { "id": "_r_1_2_7_9_16_19_70_71" }, { "id": "_r_1_2_7_9_16_19_70_72" } ] } ] } ] } ] }, { "id": "_r_1_3", "children": [ { "id": "_r_1_3_30", "children": [ { "id": "_r_1_3_30_33_34" }, { "id": "_r_1_3_30_33_35" }, { "id": "_r_1_3_30_33_36" } ] }, { "id": "_r_1_3_31", "children": [ { "id": "_r_1_3_31_37_38" }, { "id": "_r_1_3_31_37_39" }, { "id": "_r_1_3_31_37_40" } ] }, { "id": "_r_1_3_32", "children": [ { "id": "_r_1_3_32_41_42" }, { "id": "_r_1_3_32_41_43" }, { "id": "_r_1_3_32_41_44" }, { "id": "_r_1_3_32_41_45" } ] } ] } ] }, { "id": "_r_46", "children": [ { "id": "_r_46_53", "children": [ { "id": "_r_46_53_61_62" }, { "id": "_r_46_53_61_63" }, { "id": "_r_46_53_61_64" }, { "id": "_r_46_53_61_65" }, { "id": "_r_46_53_61_66" }, { "id": "_r_46_53_67" } ] }, { "id": "_r_46_54", "children": [ { "id": "_r_46_54_55", "children": [ { "id": "_r_46_54_55_97_98" }, { "id": "_r_46_54_55_97_99" } ] }, { "id": "_r_46_54_56", "children": [ { "id": "_r_46_54_56_100_101" }, { "id": "_r_46_54_56_100_102" } ] }, { "id": "_r_46_54_57", "children": [ { "id": "_r_46_54_57_103_104" }, { "id": "_r_46_54_57_103_105" } ] }, { "id": "_r_46_54_58", "children": [ { "id": "_r_46_54_58_106_107" }, { "id": "_r_46_54_58_106_108" } ] }, { "id": "_r_46_54_59", "children": [ { "id": "_r_46_54_59_109_110" }, { "id": "_r_46_54_59_109_111" } ] }, { "id": "_r_46_54_60", "children": [ { "id": "_r_46_54_60_112_113" }, { "id": "_r_46_54_60_112_114" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_4_6" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_4_6" ] } ] } } }