{ "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_150": { "name": "_r_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_177": { "name": "_r_150_177", "optional": false, "type": "XOR", "note": "" }, "_r_150_177_149_150": { "name": "_r_150_177_149_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_177_149_151": { "name": "_r_150_177_149_151", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_177_149_152": { "name": "_r_150_177_149_152", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_178": { "name": "_r_150_178", "optional": false, "type": "XOR", "note": "" }, "_r_150_178_154_155": { "name": "_r_150_178_154_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_178_154_158": { "name": "_r_150_178_154_158", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_178_154_159": { "name": "_r_150_178_154_159", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_179": { "name": "_r_150_179", "optional": false, "type": "XOR", "note": "" }, "_r_150_179_160_161": { "name": "_r_150_179_160_161", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_179_160_162": { "name": "_r_150_179_160_162", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_179_160_163": { "name": "_r_150_179_160_163", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_180": { "name": "_r_150_180", "optional": false, "type": "XOR", "note": "" }, "_r_150_180_164_165": { "name": "_r_150_180_164_165", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_180_164_166": { "name": "_r_150_180_164_166", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_180_164_167": { "name": "_r_150_180_164_167", "optional": true, "type": "FEATURE", "note": "" }, "_r_150_180_164_168": { "name": "_r_150_180_164_168", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13": { "name": "_r_1_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_13_14": { "name": "_r_1_13_14", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_13_14_15": { "name": "_r_1_13_14_15", "optional": false, "type": "XOR", "note": "" }, "_r_1_13_14_15_16_17": { "name": "_r_1_13_14_15_16_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_14_15_16_18": { "name": "_r_1_13_14_15_16_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_14_15_16_19": { "name": "_r_1_13_14_15_16_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_14_15_16_20": { "name": "_r_1_13_14_15_16_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_14_15_16_21": { "name": "_r_1_13_14_15_16_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_14_22": { "name": "_r_1_13_14_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23": { "name": "_r_1_13_23", "optional": false, "type": "XOR", "note": "" }, "_r_1_13_23_24_25": { "name": "_r_1_13_23_24_25", "optional": true, "type": "XOR", "note": "" }, "_r_1_13_23_24_25_29_30": { "name": "_r_1_13_23_24_25_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_25_29_31": { "name": "_r_1_13_23_24_25_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_25_29_32": { "name": "_r_1_13_23_24_25_29_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_25_29_33": { "name": "_r_1_13_23_24_25_29_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_25_29_34": { "name": "_r_1_13_23_24_25_29_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_27": { "name": "_r_1_13_23_24_27", "optional": true, "type": "XOR", "note": "" }, "_r_1_13_23_24_27_37_38": { "name": "_r_1_13_23_24_27_37_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_27_37_39": { "name": "_r_1_13_23_24_27_37_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_27_37_40": { "name": "_r_1_13_23_24_27_37_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_27_37_41": { "name": "_r_1_13_23_24_27_37_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_27_37_42": { "name": "_r_1_13_23_24_27_37_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_27_37_43": { "name": "_r_1_13_23_24_27_37_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_28": { "name": "_r_1_13_23_24_28", "optional": true, "type": "XOR", "note": "" }, "_r_1_13_23_24_28_44_45": { "name": "_r_1_13_23_24_28_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23_24_28_44_46": { "name": "_r_1_13_23_24_28_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_47": { "name": "_r_1_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_47_48": { "name": "_r_1_47_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_47_49": { "name": "_r_1_47_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_47_49_52": { "name": "_r_1_47_49_52", "optional": true, "type": "XOR", "note": "" }, "_r_1_47_49_52_54_55": { "name": "_r_1_47_49_52_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_47_49_52_54_56": { "name": "_r_1_47_49_52_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_47_49_52_54_57": { "name": "_r_1_47_49_52_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_47_49_53": { "name": "_r_1_47_49_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_47_50": { "name": "_r_1_47_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_47_50_51": { "name": "_r_1_47_50_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_6": { "name": "_r_1_5_6", "optional": false, "type": "OR", "note": "" }, "_r_1_5_6_7_10": { "name": "_r_1_5_6_7_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_11": { "name": "_r_1_5_6_7_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_12": { "name": "_r_1_5_6_7_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_8": { "name": "_r_1_5_6_7_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_9": { "name": "_r_1_5_6_7_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_100": { "name": "_r_2_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131": { "name": "_r_2_131", "optional": true, "type": "OR", "note": "" }, "_r_2_131_132_133": { "name": "_r_2_131_132_133", "optional": true, "type": "OR", "note": "" }, "_r_2_131_132_133_135_136": { "name": "_r_2_131_132_133_135_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_133_135_137": { "name": "_r_2_131_132_133_135_137", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_133_135_138": { "name": "_r_2_131_132_133_135_138", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_133_135_139": { "name": "_r_2_131_132_133_135_139", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_133_135_140": { "name": "_r_2_131_132_133_135_140", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_134": { "name": "_r_2_131_132_134", "optional": true, "type": "OR", "note": "" }, "_r_2_131_132_134_143_144": { "name": "_r_2_131_132_134_143_144", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_134_143_145": { "name": "_r_2_131_132_134_143_145", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_134_143_146": { "name": "_r_2_131_132_134_143_146", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_131_132_134_143_148": { "name": "_r_2_131_132_134_143_148", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_149": { "name": "_r_2_149", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_151": { "name": "_r_2_151", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_151_153": { "name": "_r_2_151_153", "optional": false, "type": "XOR", "note": "" }, "_r_2_151_153_154_155": { "name": "_r_2_151_153_154_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_151_153_154_156": { "name": "_r_2_151_153_154_156", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_151_153_154_157": { "name": "_r_2_151_153_154_157", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_151_161": { "name": "_r_2_151_161", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_181": { "name": "_r_2_181", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58": { "name": "_r_2_58", "optional": false, "type": "OR", "note": "" }, "_r_2_58_59_60": { "name": "_r_2_58_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58_59_61": { "name": "_r_2_58_59_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58_59_62": { "name": "_r_2_58_59_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58_59_63": { "name": "_r_2_58_59_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58_59_64": { "name": "_r_2_58_59_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58_59_65": { "name": "_r_2_58_59_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_66": { "name": "_r_2_66", "optional": true, "type": "OR", "note": "" }, "_r_2_66_67_68": { "name": "_r_2_66_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_66_67_69": { "name": "_r_2_66_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_66_67_70": { "name": "_r_2_66_67_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_66_67_71": { "name": "_r_2_66_67_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_66_67_72": { "name": "_r_2_66_67_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73": { "name": "_r_2_73", "optional": true, "type": "OR", "note": "" }, "_r_2_73_74_75": { "name": "_r_2_73_74_75", "optional": true, "type": "XOR", "note": "" }, "_r_2_73_74_75_77_78": { "name": "_r_2_73_74_75_77_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_74_75_77_79": { "name": "_r_2_73_74_75_77_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_74_75_77_80": { "name": "_r_2_73_74_75_77_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_74_75_77_81": { "name": "_r_2_73_74_75_77_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_74_76": { "name": "_r_2_73_74_76", "optional": true, "type": "XOR", "note": "" }, "_r_2_73_74_76_82_83": { "name": "_r_2_73_74_76_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_74_76_82_84": { "name": "_r_2_73_74_76_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_74_76_82_85": { "name": "_r_2_73_74_76_82_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_86": { "name": "_r_2_86", "optional": false, "type": "OR", "note": "" }, "_r_2_86_87_88": { "name": "_r_2_86_87_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_86_87_89": { "name": "_r_2_86_87_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_86_87_90": { "name": "_r_2_86_87_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_91": { "name": "_r_2_91", "optional": true, "type": "XOR", "note": "" }, "_r_2_91_92_93": { "name": "_r_2_91_92_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_91_92_94": { "name": "_r_2_91_92_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_91_92_95": { "name": "_r_2_91_92_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99": { "name": "_r_2_99", "optional": false, "type": "XOR", "note": "" }, "_r_2_99_101_102": { "name": "_r_2_99_101_102", "optional": true, "type": "XOR", "note": "" }, "_r_2_99_101_102_105_106": { "name": "_r_2_99_101_102_105_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_102_105_107": { "name": "_r_2_99_101_102_105_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_102_105_108": { "name": "_r_2_99_101_102_105_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_102_105_109": { "name": "_r_2_99_101_102_105_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_102_105_110": { "name": "_r_2_99_101_102_105_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103": { "name": "_r_2_99_101_103", "optional": true, "type": "XOR", "note": "" }, "_r_2_99_101_103_111_112": { "name": "_r_2_99_101_103_111_112", "optional": true, "type": "XOR", "note": "" }, "_r_2_99_101_103_111_112_114_115": { "name": "_r_2_99_101_103_111_112_114_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_112_114_116": { "name": "_r_2_99_101_103_111_112_114_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_112_114_117": { "name": "_r_2_99_101_103_111_112_114_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_113": { "name": "_r_2_99_101_103_111_113", "optional": true, "type": "XOR", "note": "" }, "_r_2_99_101_103_111_113_118_119": { "name": "_r_2_99_101_103_111_113_118_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_113_118_120": { "name": "_r_2_99_101_103_111_113_118_120", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_113_118_121": { "name": "_r_2_99_101_103_111_113_118_121", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_113_118_122": { "name": "_r_2_99_101_103_111_113_118_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_103_111_113_118_123": { "name": "_r_2_99_101_103_111_113_118_123", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_104": { "name": "_r_2_99_101_104", "optional": true, "type": "XOR", "note": "" }, "_r_2_99_101_104_126_127": { "name": "_r_2_99_101_104_126_127", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_104_126_128": { "name": "_r_2_99_101_104_126_128", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_104_126_129": { "name": "_r_2_99_101_104_126_129", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_104_126_130": { "name": "_r_2_99_101_104_126_130", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_162": { "name": "_r_4_162", "optional": true, "type": "OR", "note": "" }, "_r_4_162_163_164": { "name": "_r_4_162_163_164", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_162_163_165": { "name": "_r_4_162_163_165", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_162_163_166": { "name": "_r_4_162_163_166", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_167": { "name": "_r_4_167", "optional": false, "type": "XOR", "note": "" }, "_r_4_167_168_169": { "name": "_r_4_167_168_169", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_167_168_170": { "name": "_r_4_167_168_170", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_167_168_171": { "name": "_r_4_167_168_171", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_167_168_172": { "name": "_r_4_167_168_172", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_167_168_173": { "name": "_r_4_167_168_173", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_167_168_174": { "name": "_r_4_167_168_174", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_175": { "name": "_r_4_175", "optional": false, "type": "XOR", "note": "" }, "_r_4_175_143_144": { "name": "_r_4_175_143_144", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_175_143_145": { "name": "_r_4_175_143_145", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_175_143_146": { "name": "_r_4_175_143_146", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_175_143_147": { "name": "_r_4_175_143_147", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_175_143_148": { "name": "_r_4_175_143_148", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_176": { "name": "_r_4_176", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_13", "children": [ { "id": "_r_1_13_14", "children": [ { "id": "_r_1_13_14_15", "children": [ { "id": "_r_1_13_14_15_16_17" }, { "id": "_r_1_13_14_15_16_18" }, { "id": "_r_1_13_14_15_16_19" }, { "id": "_r_1_13_14_15_16_20" }, { "id": "_r_1_13_14_15_16_21" } ] }, { "id": "_r_1_13_14_22" } ] }, { "id": "_r_1_13_23", "children": [ { "id": "_r_1_13_23_24_25", "children": [ { "id": "_r_1_13_23_24_25_29_30" }, { "id": "_r_1_13_23_24_25_29_31" }, { "id": "_r_1_13_23_24_25_29_32" }, { "id": "_r_1_13_23_24_25_29_33" }, { "id": "_r_1_13_23_24_25_29_34" } ] }, { "id": "_r_1_13_23_24_27", "children": [ { "id": "_r_1_13_23_24_27_37_38" }, { "id": "_r_1_13_23_24_27_37_39" }, { "id": "_r_1_13_23_24_27_37_40" }, { "id": "_r_1_13_23_24_27_37_41" }, { "id": "_r_1_13_23_24_27_37_42" }, { "id": "_r_1_13_23_24_27_37_43" } ] }, { "id": "_r_1_13_23_24_28", "children": [ { "id": "_r_1_13_23_24_28_44_45" }, { "id": "_r_1_13_23_24_28_44_46" } ] } ] } ] }, { "id": "_r_1_47", "children": [ { "id": "_r_1_47_48" }, { "id": "_r_1_47_49", "children": [ { "id": "_r_1_47_49_52", "children": [ { "id": "_r_1_47_49_52_54_55" }, { "id": "_r_1_47_49_52_54_56" }, { "id": "_r_1_47_49_52_54_57" } ] }, { "id": "_r_1_47_49_53" } ] }, { "id": "_r_1_47_50", "children": [ { "id": "_r_1_47_50_51" } ] } ] }, { "id": "_r_1_5", "children": [ { "id": "_r_1_5_6", "children": [ { "id": "_r_1_5_6_7_10" }, { "id": "_r_1_5_6_7_11" }, { "id": "_r_1_5_6_7_12" }, { "id": "_r_1_5_6_7_8" }, { "id": "_r_1_5_6_7_9" } ] } ] } ] }, { "id": "_r_150", "children": [ { "id": "_r_150_177", "children": [ { "id": "_r_150_177_149_150" }, { "id": "_r_150_177_149_151" }, { "id": "_r_150_177_149_152" } ] }, { "id": "_r_150_178", "children": [ { "id": "_r_150_178_154_155" }, { "id": "_r_150_178_154_158" }, { "id": "_r_150_178_154_159" } ] }, { "id": "_r_150_179", "children": [ { "id": "_r_150_179_160_161" }, { "id": "_r_150_179_160_162" }, { "id": "_r_150_179_160_163" } ] }, { "id": "_r_150_180", "children": [ { "id": "_r_150_180_164_165" }, { "id": "_r_150_180_164_166" }, { "id": "_r_150_180_164_167" }, { "id": "_r_150_180_164_168" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_100" }, { "id": "_r_2_131", "children": [ { "id": "_r_2_131_132_133", "children": [ { "id": "_r_2_131_132_133_135_136" }, { "id": "_r_2_131_132_133_135_137" }, { "id": "_r_2_131_132_133_135_138" }, { "id": "_r_2_131_132_133_135_139" }, { "id": "_r_2_131_132_133_135_140" } ] }, { "id": "_r_2_131_132_134", "children": [ { "id": "_r_2_131_132_134_143_144" }, { "id": "_r_2_131_132_134_143_145" }, { "id": "_r_2_131_132_134_143_146" }, { "id": "_r_2_131_132_134_143_148" } ] } ] }, { "id": "_r_2_149" }, { "id": "_r_2_151", "children": [ { "id": "_r_2_151_153", "children": [ { "id": "_r_2_151_153_154_155" }, { "id": "_r_2_151_153_154_156" }, { "id": "_r_2_151_153_154_157" } ] }, { "id": "_r_2_151_161" } ] }, { "id": "_r_2_181" }, { "id": "_r_2_58", "children": [ { "id": "_r_2_58_59_60" }, { "id": "_r_2_58_59_61" }, { "id": "_r_2_58_59_62" }, { "id": "_r_2_58_59_63" }, { "id": "_r_2_58_59_64" }, { "id": "_r_2_58_59_65" } ] }, { "id": "_r_2_66", "children": [ { "id": "_r_2_66_67_68" }, { "id": "_r_2_66_67_69" }, { "id": "_r_2_66_67_70" }, { "id": "_r_2_66_67_71" }, { "id": "_r_2_66_67_72" } ] }, { "id": "_r_2_73", "children": [ { "id": "_r_2_73_74_75", "children": [ { "id": "_r_2_73_74_75_77_78" }, { "id": "_r_2_73_74_75_77_79" }, { "id": "_r_2_73_74_75_77_80" }, { "id": "_r_2_73_74_75_77_81" } ] }, { "id": "_r_2_73_74_76", "children": [ { "id": "_r_2_73_74_76_82_83" }, { "id": "_r_2_73_74_76_82_84" }, { "id": "_r_2_73_74_76_82_85" } ] } ] }, { "id": "_r_2_86", "children": [ { "id": "_r_2_86_87_88" }, { "id": "_r_2_86_87_89" }, { "id": "_r_2_86_87_90" } ] }, { "id": "_r_2_91", "children": [ { "id": "_r_2_91_92_93" }, { "id": "_r_2_91_92_94" }, { "id": "_r_2_91_92_95" } ] }, { "id": "_r_2_99", "children": [ { "id": "_r_2_99_101_102", "children": [ { "id": "_r_2_99_101_102_105_106" }, { "id": "_r_2_99_101_102_105_107" }, { "id": "_r_2_99_101_102_105_108" }, { "id": "_r_2_99_101_102_105_109" }, { "id": "_r_2_99_101_102_105_110" } ] }, { "id": "_r_2_99_101_103", "children": [ { "id": "_r_2_99_101_103_111_112", "children": [ { "id": "_r_2_99_101_103_111_112_114_115" }, { "id": "_r_2_99_101_103_111_112_114_116" }, { "id": "_r_2_99_101_103_111_112_114_117" } ] }, { "id": "_r_2_99_101_103_111_113", "children": [ { "id": "_r_2_99_101_103_111_113_118_119" }, { "id": "_r_2_99_101_103_111_113_118_120" }, { "id": "_r_2_99_101_103_111_113_118_121" }, { "id": "_r_2_99_101_103_111_113_118_122" }, { "id": "_r_2_99_101_103_111_113_118_123" } ] } ] }, { "id": "_r_2_99_101_104", "children": [ { "id": "_r_2_99_101_104_126_127" }, { "id": "_r_2_99_101_104_126_128" }, { "id": "_r_2_99_101_104_126_129" }, { "id": "_r_2_99_101_104_126_130" } ] } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_162", "children": [ { "id": "_r_4_162_163_164" }, { "id": "_r_4_162_163_165" }, { "id": "_r_4_162_163_166" } ] }, { "id": "_r_4_167", "children": [ { "id": "_r_4_167_168_169" }, { "id": "_r_4_167_168_170" }, { "id": "_r_4_167_168_171" }, { "id": "_r_4_167_168_172" }, { "id": "_r_4_167_168_173" }, { "id": "_r_4_167_168_174" } ] }, { "id": "_r_4_175", "children": [ { "id": "_r_4_175_143_144" }, { "id": "_r_4_175_143_145" }, { "id": "_r_4_175_143_146" }, { "id": "_r_4_175_143_147" }, { "id": "_r_4_175_143_148" } ] }, { "id": "_r_4_176" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_130" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_162" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_110" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_162" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_117" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_158" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_115" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_158" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_116" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_159" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_122" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_159" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_123" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_155" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_120" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_155" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_18" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_139" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_119" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_155" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_23_24_27" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_107" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_106" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_108" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_13_23_24_25_29_33" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_131_132_134_143_148" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_110" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_158" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_136" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_109" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_162" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_137" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_108" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_159" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_138" ] } ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_107" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_159" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_64" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_131" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_58_59_64" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_116" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_162_163_164" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_162_163_166" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_136" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_138" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_130" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_155" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_129" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_159" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_66_67_71" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_66_67_72" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_127" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_158" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_128" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_155" ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_86" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_122" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_50_51" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_149" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_73" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_91" ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_131" ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_129" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_128" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_163" ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_149" ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104_126_127" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_162" ] } ] }, "Constraint 46": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_5_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_151" ] } ] }, "Constraint 47": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_123" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_161" ] } ] }, "Constraint 48": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_86_87_88" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_86_87_89" ] } ] } ] }, "Constraint 49": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_86_87_88" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 50": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_86_87_90" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 51": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_151_161" ] } ] }, "Constraint 52": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_73_74_76_82_83" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 53": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_73_74_75_77_78" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 54": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_100" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 55": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_134_143_148" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 56": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_23_24_25" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 57": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_134_143_145" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 58": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_106" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_158" ] } ] }, "Constraint 59": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102_105_109" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_159" ] } ] }, "Constraint 60": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_65" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 61": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_64" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 62": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_181" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 63": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_23_24_25" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 64": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_66" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 65": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14_15_16_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 66": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 67": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 68": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_63" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 69": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_133_135_136" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 70": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_86" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 71": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_151_161" ] } ] }, "Constraint 72": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_131_132_134_143_148" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 73": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_73" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 74": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_100" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_167" ] } ] } ] }, "Constraint 75": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_181" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] }, "Constraint 76": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] } ] }, "Constraint 77": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103" ] } ] }, "Constraint 78": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_100" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_166" ] } ] } ] }, "Constraint 79": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_102" ] } ] }, "Constraint 80": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_53" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104" ] } ] } ] }, "Constraint 81": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_73_74_75" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_167" ] } ] } ] }, "Constraint 82": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_73_74_76" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_167" ] } ] }, "Constraint 83": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_86_87_88" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_167" ] } ] }, "Constraint 84": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_167" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_151_161" ] } ] } ] }, "Constraint 85": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_66" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_167" ] } ] } ] }, "Constraint 86": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_73" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_168" ] } ] } ] }, "Constraint 87": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_100" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_168" ] } ] } ] }, "Constraint 88": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_168" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_151_161" ] } ] } ] }, "Constraint 89": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_66" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_150_180_164_168" ] } ] } ] }, "Constraint 90": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_151_153_154_157" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_161" ] } ] }, "Constraint 91": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_23_24_25" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_161" ] } ] }, "Constraint 92": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_121" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_178_154_155" ] } ] }, "Constraint 93": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_121" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_161" ] } ] }, "Constraint 94": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_162" ] } ] }, "Constraint 95": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_58_59_64" ] } ] }, "Constraint 96": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_66" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_180_164_165" ] } ] }, "Constraint 97": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_121" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_100" ] } ] }, "Constraint 98": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_119" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_100" ] } ] }, "Constraint 99": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_120" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_100" ] } ] }, "Constraint 100": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_50_51" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_58_59_62" ] } ] }, "Constraint 101": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_122" ] } ] }, "Constraint 102": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_115" ] } ] }, "Constraint 103": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_117" ] } ] }, "Constraint 104": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_104" ] } ] } ] }, "Constraint 105": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_120" ] } ] }, "Constraint 106": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_119" ] } ] }, "Constraint 107": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_121" ] } ] }, "Constraint 108": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99" ] } ] }, "Constraint 109": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_47_49_52_54_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_112_114_116" ] } ] }, "Constraint 110": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_99_101_103_111_113_118_120" ] }, { "type": "FeatureTerm", "operands": [ "_r_150_179_160_161" ] } ] } } }