{ "id": "FM__r", "name": "FM__r", "features": { "__r_125_137": { "name": "__r_125_137", "optional": false, "type": "FEATURE", "note": "" }, "__r_14_108": { "name": "__r_14_108", "optional": true, "type": "FEATURE", "note": "" }, "__r_14_109": { "name": "__r_14_109", "optional": false, "type": "FEATURE", "note": "" }, "__r_14_110": { "name": "__r_14_110", "optional": true, "type": "FEATURE", "note": "" }, "__r_14_88": { "name": "__r_14_88", "optional": false, "type": "FEATURE", "note": "" }, "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_125": { "name": "_r_125", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126": { "name": "_r_125_126", "optional": false, "type": "OR", "note": "" }, "_r_125_126_127_128": { "name": "_r_125_126_127_128", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_129": { "name": "_r_125_126_127_129", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_130": { "name": "_r_125_126_127_130", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_131": { "name": "_r_125_126_127_131", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_132": { "name": "_r_125_126_127_132", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_133": { "name": "_r_125_126_127_133", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_134": { "name": "_r_125_126_127_134", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_135": { "name": "_r_125_126_127_135", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_126_127_136": { "name": "_r_125_126_127_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_133": { "name": "_r_125_133", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_134": { "name": "_r_125_134", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_135": { "name": "_r_125_135", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_136": { "name": "_r_125_136", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_137": { "name": "_r_125_137", "optional": false, "type": "OR", "note": "" }, "_r_125_137_138_139": { "name": "_r_125_137_138_139", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_137_138_140": { "name": "_r_125_137_138_140", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_137_138_141": { "name": "_r_125_137_138_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_137_138_142": { "name": "_r_125_137_138_142", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_138": { "name": "_r_125_138", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_139": { "name": "_r_125_139", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_140": { "name": "_r_125_140", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_141": { "name": "_r_125_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_141_162": { "name": "_r_125_141_162", "optional": false, "type": "OR", "note": "" }, "_r_125_141_162_163_164": { "name": "_r_125_141_162_163_164", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_141_162_163_165": { "name": "_r_125_141_162_163_165", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_141_162_163_166": { "name": "_r_125_141_162_163_166", "optional": true, "type": "XOR", "note": "" }, "_r_125_141_162_163_166_167_168": { "name": "_r_125_141_162_163_166_167_168", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_141_162_163_166_167_169": { "name": "_r_125_141_162_163_166_167_169", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_141_162_163_173": { "name": "_r_125_141_162_163_173", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_142": { "name": "_r_125_142", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_143": { "name": "_r_125_143", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_144": { "name": "_r_125_144", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_145": { "name": "_r_125_145", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_146": { "name": "_r_125_146", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_147": { "name": "_r_125_147", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_148": { "name": "_r_125_148", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_149": { "name": "_r_125_149", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_150": { "name": "_r_125_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_151": { "name": "_r_125_151", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_152": { "name": "_r_125_152", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_153": { "name": "_r_125_153", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_154": { "name": "_r_125_154", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_155": { "name": "_r_125_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_156": { "name": "_r_125_156", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_157": { "name": "_r_125_157", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_158": { "name": "_r_125_158", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_159": { "name": "_r_125_159", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_170": { "name": "_r_125_170", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_171": { "name": "_r_125_171", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_172": { "name": "_r_125_172", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_174": { "name": "_r_125_174", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_175": { "name": "_r_125_175", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_176": { "name": "_r_125_176", "optional": false, "type": "FEATURE", "note": "" }, "_r_14": { "name": "_r_14", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_101": { "name": "_r_14_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_102": { "name": "_r_14_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103": { "name": "_r_14_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103_113": { "name": "_r_14_103_113", "optional": false, "type": "OR", "note": "" }, "_r_14_103_113_120_121": { "name": "_r_14_103_113_120_121", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103_113_120_122": { "name": "_r_14_103_113_120_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103_114": { "name": "_r_14_103_114", "optional": false, "type": "XOR", "note": "" }, "_r_14_103_114_115_116": { "name": "_r_14_103_114_115_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103_114_115_117": { "name": "_r_14_103_114_115_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103_114_115_118": { "name": "_r_14_103_114_115_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_103_114_115_119": { "name": "_r_14_103_114_115_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_104": { "name": "_r_14_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_105": { "name": "_r_14_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_106": { "name": "_r_14_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_107": { "name": "_r_14_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_108": { "name": "_r_14_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_111": { "name": "_r_14_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_112": { "name": "_r_14_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_113": { "name": "_r_14_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_113_114": { "name": "_r_14_113_114", "optional": false, "type": "XOR", "note": "" }, "_r_14_113_114_115_116": { "name": "_r_14_113_114_115_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_113_114_115_117": { "name": "_r_14_113_114_115_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_113_114_115_118": { "name": "_r_14_113_114_115_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_119": { "name": "_r_14_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_123": { "name": "_r_14_123", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_124": { "name": "_r_14_124", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_19": { "name": "_r_14_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_19_20": { "name": "_r_14_19_20", "optional": false, "type": "XOR", "note": "" }, "_r_14_19_20_21_22": { "name": "_r_14_19_20_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_19_20_21_23": { "name": "_r_14_19_20_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_24": { "name": "_r_14_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_25": { "name": "_r_14_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_27": { "name": "_r_14_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_29": { "name": "_r_14_29", "optional": true, "type": "OR", "note": "" }, "_r_14_29_30_31": { "name": "_r_14_29_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_29_30_32": { "name": "_r_14_29_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_33": { "name": "_r_14_33", "optional": true, "type": "OR", "note": "" }, "_r_14_33_34_35": { "name": "_r_14_33_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_33_34_36": { "name": "_r_14_33_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_40": { "name": "_r_14_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_40_45": { "name": "_r_14_40_45", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_40_45_46_47": { "name": "_r_14_40_45_46_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_41": { "name": "_r_14_41", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_41_48": { "name": "_r_14_41_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_41_48_49_50": { "name": "_r_14_41_48_49_50", "optional": false, "type": "XOR", "note": "" }, "_r_14_41_48_49_50_51_52": { "name": "_r_14_41_48_49_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_41_48_49_50_51_53": { "name": "_r_14_41_48_49_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_41_48_49_50_51_54": { "name": "_r_14_41_48_49_50_51_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_41_48_49_50_51_55": { "name": "_r_14_41_48_49_50_51_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_56": { "name": "_r_14_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_57": { "name": "_r_14_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_58": { "name": "_r_14_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_59": { "name": "_r_14_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_60": { "name": "_r_14_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_61": { "name": "_r_14_61", "optional": false, "type": "XOR", "note": "" }, "_r_14_61_62_63": { "name": "_r_14_61_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_61_62_64": { "name": "_r_14_61_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_61_62_65": { "name": "_r_14_61_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_66": { "name": "_r_14_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_67": { "name": "_r_14_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_68": { "name": "_r_14_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_69": { "name": "_r_14_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_70": { "name": "_r_14_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_71": { "name": "_r_14_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_72": { "name": "_r_14_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_73": { "name": "_r_14_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_74": { "name": "_r_14_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_75": { "name": "_r_14_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_76": { "name": "_r_14_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_77": { "name": "_r_14_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_78": { "name": "_r_14_78", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_79": { "name": "_r_14_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_80": { "name": "_r_14_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_81": { "name": "_r_14_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_82": { "name": "_r_14_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_83": { "name": "_r_14_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_84": { "name": "_r_14_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_85": { "name": "_r_14_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_86": { "name": "_r_14_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_87": { "name": "_r_14_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_88": { "name": "_r_14_88", "optional": false, "type": "FEATURE", "note": "" }, "_r_14_89": { "name": "_r_14_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_90": { "name": "_r_14_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_91": { "name": "_r_14_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_92": { "name": "_r_14_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_93": { "name": "_r_14_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_17": { "name": "_r_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_102": { "name": "_r_17_102", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_103": { "name": "_r_17_103", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_108": { "name": "_r_17_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_174": { "name": "_r_17_174", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_174_175": { "name": "_r_17_174_175", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_176": { "name": "_r_17_176", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_89": { "name": "_r_17_89", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_90": { "name": "_r_17_90", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_91": { "name": "_r_17_91", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_92": { "name": "_r_17_92", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_93": { "name": "_r_17_93", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_94": { "name": "_r_17_94", "optional": false, "type": "XOR", "note": "" }, "_r_17_94_95_100": { "name": "_r_17_94_95_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_94_95_101": { "name": "_r_17_94_95_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_94_95_96": { "name": "_r_17_94_95_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_94_95_97": { "name": "_r_17_94_95_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_94_95_98": { "name": "_r_17_94_95_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_94_95_99": { "name": "_r_17_94_95_99", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_95": { "name": "_r_17_95", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_96": { "name": "_r_17_96", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_98": { "name": "_r_17_98", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_98_100": { "name": "_r_17_98_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_98_104": { "name": "_r_17_98_104", "optional": false, "type": "XOR", "note": "" }, "_r_17_98_104_105_106": { "name": "_r_17_98_104_105_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_98_104_105_107": { "name": "_r_17_98_104_105_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_98_104_105_173": { "name": "_r_17_98_104_105_173", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_98_99": { "name": "_r_17_98_99", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_125", "children": [ { "id": "__r_125_137" }, { "id": "_r_125_126", "children": [ { "id": "_r_125_126_127_128" }, { "id": "_r_125_126_127_129" }, { "id": "_r_125_126_127_130" }, { "id": "_r_125_126_127_131" }, { "id": "_r_125_126_127_132" }, { "id": "_r_125_126_127_133" }, { "id": "_r_125_126_127_134" }, { "id": "_r_125_126_127_135" }, { "id": "_r_125_126_127_136" } ] }, { "id": "_r_125_133" }, { "id": "_r_125_134" }, { "id": "_r_125_135" }, { "id": "_r_125_136" }, { "id": "_r_125_137", "children": [ { "id": "_r_125_137_138_139" }, { "id": "_r_125_137_138_140" }, { "id": "_r_125_137_138_141" }, { "id": "_r_125_137_138_142" } ] }, { "id": "_r_125_138" }, { "id": "_r_125_139" }, { "id": "_r_125_140" }, { "id": "_r_125_141", "children": [ { "id": "_r_125_141_162", "children": [ { "id": "_r_125_141_162_163_164" }, { "id": "_r_125_141_162_163_165" }, { "id": "_r_125_141_162_163_166", "children": [ { "id": "_r_125_141_162_163_166_167_168" }, { "id": "_r_125_141_162_163_166_167_169" } ] }, { "id": "_r_125_141_162_163_173" } ] } ] }, { "id": "_r_125_142" }, { "id": "_r_125_143" }, { "id": "_r_125_144" }, { "id": "_r_125_145" }, { "id": "_r_125_146" }, { "id": "_r_125_147" }, { "id": "_r_125_148" }, { "id": "_r_125_149" }, { "id": "_r_125_150" }, { "id": "_r_125_151" }, { "id": "_r_125_152" }, { "id": "_r_125_153" }, { "id": "_r_125_154" }, { "id": "_r_125_155" }, { "id": "_r_125_156" }, { "id": "_r_125_157" }, { "id": "_r_125_158" }, { "id": "_r_125_159" }, { "id": "_r_125_170" }, { "id": "_r_125_171" }, { "id": "_r_125_172" }, { "id": "_r_125_174" }, { "id": "_r_125_175" }, { "id": "_r_125_176" } ] }, { "id": "_r_14", "children": [ { "id": "__r_14_108" }, { "id": "__r_14_109" }, { "id": "__r_14_110" }, { "id": "__r_14_88" }, { "id": "_r_14_101" }, { "id": "_r_14_102" }, { "id": "_r_14_103", "children": [ { "id": "_r_14_103_113", "children": [ { "id": "_r_14_103_113_120_121" }, { "id": "_r_14_103_113_120_122" } ] }, { "id": "_r_14_103_114", "children": [ { "id": "_r_14_103_114_115_116" }, { "id": "_r_14_103_114_115_117" }, { "id": "_r_14_103_114_115_118" }, { "id": "_r_14_103_114_115_119" } ] } ] }, { "id": "_r_14_104" }, { "id": "_r_14_105" }, { "id": "_r_14_106" }, { "id": "_r_14_107" }, { "id": "_r_14_108" }, { "id": "_r_14_111" }, { "id": "_r_14_112" }, { "id": "_r_14_113", "children": [ { "id": "_r_14_113_114", "children": [ { "id": "_r_14_113_114_115_116" }, { "id": "_r_14_113_114_115_117" }, { "id": "_r_14_113_114_115_118" } ] } ] }, { "id": "_r_14_119" }, { "id": "_r_14_123" }, { "id": "_r_14_124" }, { "id": "_r_14_19", "children": [ { "id": "_r_14_19_20", "children": [ { "id": "_r_14_19_20_21_22" }, { "id": "_r_14_19_20_21_23" } ] } ] }, { "id": "_r_14_24" }, { "id": "_r_14_25" }, { "id": "_r_14_27" }, { "id": "_r_14_29", "children": [ { "id": "_r_14_29_30_31" }, { "id": "_r_14_29_30_32" } ] }, { "id": "_r_14_33", "children": [ { "id": "_r_14_33_34_35" }, { "id": "_r_14_33_34_36" } ] }, { "id": "_r_14_40", "children": [ { "id": "_r_14_40_45", "children": [ { "id": "_r_14_40_45_46_47" } ] } ] }, { "id": "_r_14_41", "children": [ { "id": "_r_14_41_48", "children": [ { "id": "_r_14_41_48_49_50", "children": [ { "id": "_r_14_41_48_49_50_51_52" }, { "id": "_r_14_41_48_49_50_51_53" }, { "id": "_r_14_41_48_49_50_51_54" }, { "id": "_r_14_41_48_49_50_51_55" } ] } ] } ] }, { "id": "_r_14_56" }, { "id": "_r_14_57" }, { "id": "_r_14_58" }, { "id": "_r_14_59" }, { "id": "_r_14_60" }, { "id": "_r_14_61", "children": [ { "id": "_r_14_61_62_63" }, { "id": "_r_14_61_62_64" }, { "id": "_r_14_61_62_65" } ] }, { "id": "_r_14_66" }, { "id": "_r_14_67" }, { "id": "_r_14_68" }, { "id": "_r_14_69" }, { "id": "_r_14_70" }, { "id": "_r_14_71" }, { "id": "_r_14_72" }, { "id": "_r_14_73" }, { "id": "_r_14_74" }, { "id": "_r_14_75" }, { "id": "_r_14_76" }, { "id": "_r_14_77" }, { "id": "_r_14_78" }, { "id": "_r_14_79" }, { "id": "_r_14_80" }, { "id": "_r_14_81" }, { "id": "_r_14_82" }, { "id": "_r_14_83" }, { "id": "_r_14_84" }, { "id": "_r_14_85" }, { "id": "_r_14_86" }, { "id": "_r_14_87" }, { "id": "_r_14_88" }, { "id": "_r_14_89" }, { "id": "_r_14_90" }, { "id": "_r_14_91" }, { "id": "_r_14_92" }, { "id": "_r_14_93" } ] }, { "id": "_r_17", "children": [ { "id": "_r_17_102" }, { "id": "_r_17_103" }, { "id": "_r_17_108" }, { "id": "_r_17_174", "children": [ { "id": "_r_17_174_175" } ] }, { "id": "_r_17_176" }, { "id": "_r_17_89" }, { "id": "_r_17_90" }, { "id": "_r_17_91" }, { "id": "_r_17_92" }, { "id": "_r_17_93" }, { "id": "_r_17_94", "children": [ { "id": "_r_17_94_95_100" }, { "id": "_r_17_94_95_101" }, { "id": "_r_17_94_95_96" }, { "id": "_r_17_94_95_97" }, { "id": "_r_17_94_95_98" }, { "id": "_r_17_94_95_99" } ] }, { "id": "_r_17_95" }, { "id": "_r_17_96" }, { "id": "_r_17_98", "children": [ { "id": "_r_17_98_100" }, { "id": "_r_17_98_104", "children": [ { "id": "_r_17_98_104_105_106" }, { "id": "_r_17_98_104_105_107" }, { "id": "_r_17_98_104_105_173" } ] }, { "id": "_r_17_98_99" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_94_95_101" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_108" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_94_95_98" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_108" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_94_95_100" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_108" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_94_95_97" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_108" ] } ] } } }