{ "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_29": { "name": "_r_1_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_29_30": { "name": "_r_1_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29_31": { "name": "_r_1_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29_32": { "name": "_r_1_29_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29_33": { "name": "_r_1_29_33", "optional": true, "type": "OR", "note": "" }, "_r_1_29_33_34_35": { "name": "_r_1_29_33_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29_33_34_36": { "name": "_r_1_29_33_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29_37": { "name": "_r_1_29_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29_38": { "name": "_r_1_29_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17": { "name": "_r_1_2_17", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_17_18": { "name": "_r_1_2_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17_19": { "name": "_r_1_2_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17_20": { "name": "_r_1_2_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17_20_21": { "name": "_r_1_2_17_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17_20_22": { "name": "_r_1_2_17_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17_20_23": { "name": "_r_1_2_17_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_23": { "name": "_r_1_2_23", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_23_24": { "name": "_r_1_2_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_23_25": { "name": "_r_1_2_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_23_26": { "name": "_r_1_2_23_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_23_27": { "name": "_r_1_2_23_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_23_28": { "name": "_r_1_2_23_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_4": { "name": "_r_1_2_3_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_5": { "name": "_r_1_2_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_5_6": { "name": "_r_1_2_5_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_8": { "name": "_r_1_2_7_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_9": { "name": "_r_1_2_9", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_9_10_11": { "name": "_r_1_2_9_10_11", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_9_10_11_12_13": { "name": "_r_1_2_9_10_11_12_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_9_10_11_12_14": { "name": "_r_1_2_9_10_11_12_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_9_10_11_12_15": { "name": "_r_1_2_9_10_11_12_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_9_10_16": { "name": "_r_1_2_9_10_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39": { "name": "_r_1_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_40": { "name": "_r_1_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_41": { "name": "_r_1_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_41_42": { "name": "_r_1_41_42", "optional": true, "type": "XOR", "note": "" }, "_r_1_41_42_43_44": { "name": "_r_1_41_42_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_41_42_43_44_46": { "name": "_r_1_41_42_43_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_41_42_43_45": { "name": "_r_1_41_42_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_41_42_43_45_47": { "name": "_r_1_41_42_43_45_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_51": { "name": "_r_1_51", "optional": true, "type": "XOR", "note": "" }, "_r_1_51_53_54": { "name": "_r_1_51_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_51_53_55": { "name": "_r_1_51_53_55", "optional": true, "type": "XOR", "note": "" }, "_r_1_51_53_55_56_57": { "name": "_r_1_51_53_55_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_51_53_55_56_58": { "name": "_r_1_51_53_55_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59": { "name": "_r_1_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60": { "name": "_r_1_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_61": { "name": "_r_1_59_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_63": { "name": "_r_1_59_60_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_64": { "name": "_r_1_59_60_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_65": { "name": "_r_1_59_60_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_67": { "name": "_r_1_59_60_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_68": { "name": "_r_1_59_60_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69": { "name": "_r_1_59_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_70": { "name": "_r_1_59_69_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_71": { "name": "_r_1_59_69_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_71_72": { "name": "_r_1_59_69_71_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_73": { "name": "_r_1_59_69_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_73_74": { "name": "_r_1_59_69_73_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_75": { "name": "_r_1_59_69_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_75_76": { "name": "_r_1_59_69_75_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_77": { "name": "_r_1_59_69_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_69_77_78": { "name": "_r_1_59_69_77_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_79": { "name": "_r_1_59_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_79_80": { "name": "_r_1_59_79_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_81": { "name": "_r_1_59_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_81_82": { "name": "_r_1_59_81_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_81_83": { "name": "_r_1_59_81_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_84": { "name": "_r_1_59_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_85": { "name": "_r_1_59_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_86": { "name": "_r_1_59_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_88": { "name": "_r_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_106": { "name": "_r_88_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_107": { "name": "_r_88_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_108": { "name": "_r_88_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_109": { "name": "_r_88_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110": { "name": "_r_88_110", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111": { "name": "_r_88_110_111", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_112": { "name": "_r_88_110_111_112", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_112_113": { "name": "_r_88_110_111_112_113", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_112_114": { "name": "_r_88_110_111_112_114", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_112_115": { "name": "_r_88_110_111_112_115", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_116": { "name": "_r_88_110_111_116", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_116_117": { "name": "_r_88_110_111_116_117", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_116_118": { "name": "_r_88_110_111_116_118", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_116_119": { "name": "_r_88_110_111_116_119", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_116_120": { "name": "_r_88_110_111_116_120", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_121": { "name": "_r_88_110_111_121", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_121_122": { "name": "_r_88_110_111_121_122", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_121_123": { "name": "_r_88_110_111_121_123", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_121_124": { "name": "_r_88_110_111_121_124", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_121_125": { "name": "_r_88_110_111_121_125", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_121_126": { "name": "_r_88_110_111_121_126", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_127": { "name": "_r_88_110_111_127", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_127_128": { "name": "_r_88_110_111_127_128", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_127_129": { "name": "_r_88_110_111_127_129", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_130": { "name": "_r_88_110_111_130", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_130_131": { "name": "_r_88_110_111_130_131", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_130_132": { "name": "_r_88_110_111_130_132", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_130_133": { "name": "_r_88_110_111_130_133", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_134": { "name": "_r_88_110_111_134", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_134_135": { "name": "_r_88_110_111_134_135", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_136": { "name": "_r_88_110_111_136", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_136_137": { "name": "_r_88_110_111_136_137", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_136_138": { "name": "_r_88_110_111_136_138", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_139": { "name": "_r_88_110_111_139", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_139_140": { "name": "_r_88_110_111_139_140", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_141": { "name": "_r_88_110_111_141", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_111_141_142": { "name": "_r_88_110_111_141_142", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_143": { "name": "_r_88_110_143", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_143_144": { "name": "_r_88_110_143_144", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_145": { "name": "_r_88_110_143_144_145", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_145_146": { "name": "_r_88_110_143_144_145_146", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_145_146_147": { "name": "_r_88_110_143_144_145_146_147", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_145_148": { "name": "_r_88_110_143_144_145_148", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_145_149": { "name": "_r_88_110_143_144_145_149", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_145_150": { "name": "_r_88_110_143_144_145_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151": { "name": "_r_88_110_143_144_151", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_153": { "name": "_r_88_110_143_144_151_153", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_154": { "name": "_r_88_110_143_144_151_154", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_155": { "name": "_r_88_110_143_144_151_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_156": { "name": "_r_88_110_143_144_151_156", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_157": { "name": "_r_88_110_143_144_151_157", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_158": { "name": "_r_88_110_143_144_151_158", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_159": { "name": "_r_88_110_143_144_151_159", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_151_160": { "name": "_r_88_110_143_144_151_160", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_144_161": { "name": "_r_88_110_143_144_161", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162": { "name": "_r_88_110_143_162", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163": { "name": "_r_88_110_143_162_163", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163_164": { "name": "_r_88_110_143_162_163_164", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163_165": { "name": "_r_88_110_143_162_163_165", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163_166": { "name": "_r_88_110_143_162_163_166", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163_167": { "name": "_r_88_110_143_162_163_167", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163_168": { "name": "_r_88_110_143_162_163_168", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_163_169": { "name": "_r_88_110_143_162_163_169", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_170": { "name": "_r_88_110_143_162_170", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_170_171": { "name": "_r_88_110_143_162_170_171", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_143_162_170_172": { "name": "_r_88_110_143_162_170_172", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_110_173": { "name": "_r_88_110_173", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_174": { "name": "_r_88_174", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_174_175": { "name": "_r_88_174_175", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_174_175_176": { "name": "_r_88_174_175_176", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_174_175_177": { "name": "_r_88_174_175_177", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_174_175_178": { "name": "_r_88_174_175_178", "optional": false, "type": "FEATURE", "note": "" }, "_r_88_174_179": { "name": "_r_88_174_179", "optional": false, "type": "XOR", "note": "" }, "_r_88_174_179_181_182": { "name": "_r_88_174_179_181_182", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_174_179_181_183": { "name": "_r_88_174_179_181_183", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_174_179_181_184": { "name": "_r_88_174_179_181_184", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89": { "name": "_r_88_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_100": { "name": "_r_88_89_100", "optional": false, "type": "XOR", "note": "" }, "_r_88_89_100_101_102": { "name": "_r_88_89_100_101_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_100_101_103": { "name": "_r_88_89_100_101_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_100_101_104": { "name": "_r_88_89_100_101_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_100_101_105": { "name": "_r_88_89_100_101_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_90": { "name": "_r_88_89_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_90_91": { "name": "_r_88_89_90_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_90_92": { "name": "_r_88_89_90_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_93": { "name": "_r_88_89_93", "optional": false, "type": "XOR", "note": "" }, "_r_88_89_93_94_95": { "name": "_r_88_89_93_94_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_93_94_96": { "name": "_r_88_89_93_94_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_93_94_97": { "name": "_r_88_89_93_94_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_93_94_98": { "name": "_r_88_89_93_94_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_88_89_93_94_99": { "name": "_r_88_89_93_94_99", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2", "children": [ { "id": "_r_1_2_17", "children": [ { "id": "_r_1_2_17_18" }, { "id": "_r_1_2_17_19" }, { "id": "_r_1_2_17_20", "children": [ { "id": "_r_1_2_17_20_21" }, { "id": "_r_1_2_17_20_22" }, { "id": "_r_1_2_17_20_23" } ] } ] }, { "id": "_r_1_2_23", "children": [ { "id": "_r_1_2_23_24" }, { "id": "_r_1_2_23_25" }, { "id": "_r_1_2_23_26" }, { "id": "_r_1_2_23_27" }, { "id": "_r_1_2_23_28" } ] }, { "id": "_r_1_2_3", "children": [ { "id": "_r_1_2_3_4" } ] }, { "id": "_r_1_2_5", "children": [ { "id": "_r_1_2_5_6" } ] }, { "id": "_r_1_2_7", "children": [ { "id": "_r_1_2_7_8" } ] }, { "id": "_r_1_2_9", "children": [ { "id": "_r_1_2_9_10_11", "children": [ { "id": "_r_1_2_9_10_11_12_13" }, { "id": "_r_1_2_9_10_11_12_14" }, { "id": "_r_1_2_9_10_11_12_15" } ] }, { "id": "_r_1_2_9_10_16" } ] } ] }, { "id": "_r_1_29", "children": [ { "id": "_r_1_29_30" }, { "id": "_r_1_29_31" }, { "id": "_r_1_29_32" }, { "id": "_r_1_29_33", "children": [ { "id": "_r_1_29_33_34_35" }, { "id": "_r_1_29_33_34_36" } ] }, { "id": "_r_1_29_37" }, { "id": "_r_1_29_38" } ] }, { "id": "_r_1_39", "children": [ { "id": "_r_1_39_40" } ] }, { "id": "_r_1_41", "children": [ { "id": "_r_1_41_42", "children": [ { "id": "_r_1_41_42_43_44", "children": [ { "id": "_r_1_41_42_43_44_46" } ] }, { "id": "_r_1_41_42_43_45", "children": [ { "id": "_r_1_41_42_43_45_47" } ] } ] } ] }, { "id": "_r_1_51", "children": [ { "id": "_r_1_51_53_54" }, { "id": "_r_1_51_53_55", "children": [ { "id": "_r_1_51_53_55_56_57" }, { "id": "_r_1_51_53_55_56_58" } ] } ] }, { "id": "_r_1_59", "children": [ { "id": "_r_1_59_60", "children": [ { "id": "_r_1_59_60_61" }, { "id": "_r_1_59_60_63" }, { "id": "_r_1_59_60_64" }, { "id": "_r_1_59_60_65" }, { "id": "_r_1_59_60_67" }, { "id": "_r_1_59_60_68" } ] }, { "id": "_r_1_59_69", "children": [ { "id": "_r_1_59_69_70" }, { "id": "_r_1_59_69_71", "children": [ { "id": "_r_1_59_69_71_72" } ] }, { "id": "_r_1_59_69_73", "children": [ { "id": "_r_1_59_69_73_74" } ] }, { "id": "_r_1_59_69_75", "children": [ { "id": "_r_1_59_69_75_76" } ] }, { "id": "_r_1_59_69_77", "children": [ { "id": "_r_1_59_69_77_78" } ] } ] }, { "id": "_r_1_59_79", "children": [ { "id": "_r_1_59_79_80" } ] }, { "id": "_r_1_59_81", "children": [ { "id": "_r_1_59_81_82" }, { "id": "_r_1_59_81_83" } ] }, { "id": "_r_1_59_84" }, { "id": "_r_1_59_85" }, { "id": "_r_1_59_86" } ] } ] }, { "id": "_r_88", "children": [ { "id": "_r_88_106" }, { "id": "_r_88_107" }, { "id": "_r_88_108" }, { "id": "_r_88_109" }, { "id": "_r_88_110", "children": [ { "id": "_r_88_110_111", "children": [ { "id": "_r_88_110_111_112", "children": [ { "id": "_r_88_110_111_112_113" }, { "id": "_r_88_110_111_112_114" }, { "id": "_r_88_110_111_112_115" } ] }, { "id": "_r_88_110_111_116", "children": [ { "id": "_r_88_110_111_116_117" }, { "id": "_r_88_110_111_116_118" }, { "id": "_r_88_110_111_116_119" }, { "id": "_r_88_110_111_116_120" } ] }, { "id": "_r_88_110_111_121", "children": [ { "id": "_r_88_110_111_121_122" }, { "id": "_r_88_110_111_121_123" }, { "id": "_r_88_110_111_121_124" }, { "id": "_r_88_110_111_121_125" }, { "id": "_r_88_110_111_121_126" } ] }, { "id": "_r_88_110_111_127", "children": [ { "id": "_r_88_110_111_127_128" }, { "id": "_r_88_110_111_127_129" } ] }, { "id": "_r_88_110_111_130", "children": [ { "id": "_r_88_110_111_130_131" }, { "id": "_r_88_110_111_130_132" }, { "id": "_r_88_110_111_130_133" } ] }, { "id": "_r_88_110_111_134", "children": [ { "id": "_r_88_110_111_134_135" } ] }, { "id": "_r_88_110_111_136", "children": [ { "id": "_r_88_110_111_136_137" }, { "id": "_r_88_110_111_136_138" } ] }, { "id": "_r_88_110_111_139", "children": [ { "id": "_r_88_110_111_139_140" } ] }, { "id": "_r_88_110_111_141", "children": [ { "id": "_r_88_110_111_141_142" } ] } ] }, { "id": "_r_88_110_143", "children": [ { "id": "_r_88_110_143_144", "children": [ { "id": "_r_88_110_143_144_145", "children": [ { "id": "_r_88_110_143_144_145_146", "children": [ { "id": "_r_88_110_143_144_145_146_147" } ] }, { "id": "_r_88_110_143_144_145_148" }, { "id": "_r_88_110_143_144_145_149" }, { "id": "_r_88_110_143_144_145_150" } ] }, { "id": "_r_88_110_143_144_151", "children": [ { "id": "_r_88_110_143_144_151_153" }, { "id": "_r_88_110_143_144_151_154" }, { "id": "_r_88_110_143_144_151_155" }, { "id": "_r_88_110_143_144_151_156" }, { "id": "_r_88_110_143_144_151_157" }, { "id": "_r_88_110_143_144_151_158" }, { "id": "_r_88_110_143_144_151_159" }, { "id": "_r_88_110_143_144_151_160" } ] }, { "id": "_r_88_110_143_144_161" } ] }, { "id": "_r_88_110_143_162", "children": [ { "id": "_r_88_110_143_162_163", "children": [ { "id": "_r_88_110_143_162_163_164" }, { "id": "_r_88_110_143_162_163_165" }, { "id": "_r_88_110_143_162_163_166" }, { "id": "_r_88_110_143_162_163_167" }, { "id": "_r_88_110_143_162_163_168" }, { "id": "_r_88_110_143_162_163_169" } ] }, { "id": "_r_88_110_143_162_170", "children": [ { "id": "_r_88_110_143_162_170_171" }, { "id": "_r_88_110_143_162_170_172" } ] } ] } ] }, { "id": "_r_88_110_173" } ] }, { "id": "_r_88_174", "children": [ { "id": "_r_88_174_175", "children": [ { "id": "_r_88_174_175_176" }, { "id": "_r_88_174_175_177" }, { "id": "_r_88_174_175_178" } ] }, { "id": "_r_88_174_179", "children": [ { "id": "_r_88_174_179_181_182" }, { "id": "_r_88_174_179_181_183" }, { "id": "_r_88_174_179_181_184" } ] } ] }, { "id": "_r_88_89", "children": [ { "id": "_r_88_89_100", "children": [ { "id": "_r_88_89_100_101_102" }, { "id": "_r_88_89_100_101_103" }, { "id": "_r_88_89_100_101_104" }, { "id": "_r_88_89_100_101_105" } ] }, { "id": "_r_88_89_90", "children": [ { "id": "_r_88_89_90_91" }, { "id": "_r_88_89_90_92" } ] }, { "id": "_r_88_89_93", "children": [ { "id": "_r_88_89_93_94_95" }, { "id": "_r_88_89_93_94_96" }, { "id": "_r_88_89_93_94_97" }, { "id": "_r_88_89_93_94_98" }, { "id": "_r_88_89_93_94_99" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_38" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_141_142" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_141" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_173" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_86" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_30" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_39" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_41_42_43_44" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_17_20" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_33" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_17_20_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_32" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_33" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_23_28" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_86" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_37" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_30" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_86" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_86" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_37" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_32" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_81" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_38" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_29_33" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_59_86" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_7_8" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_38" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_136_138" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_121_124" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_127_129" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_127_128" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_121_126" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_121_125" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_136_137" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_130_133" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_130_132" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_130_131" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_33" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_69" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_121_122" ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_9_10_11_12_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_29_37" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_69" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_121_123" ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_139" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_139_140" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_112_113" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_112_114" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_51_53_55_56_58" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_81" ] } ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_51_53_55_56_58" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_81" ] } ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_116_119" ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_69" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_116_120" ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_116_117" ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_88_110_111_116_118" ] } ] } } }