<?xml version="1.0" encoding="UTF-8" standalone="no"?>
	<featureModel chosenLayoutAlgorithm="1">
		<struct>
			<and mandatory="true" name="R">
				<and mandatory="true" name="m_1">
					<feature name="o_1_1"/>
					<feature mandatory="true" name="m_1_2"/>
				</and>
				<or mandatory="true" name="m_2">
					<feature mandatory="true" name="g_2_1_1"/>
					<feature mandatory="true" name="g_2_1_2"/>
				</or>
				<or abstract="true" mandatory="true" name="R_3">
					<feature mandatory="true" name="g_3_1"/>
					<feature mandatory="true" name="g_3_2"/>
				</or>
				<and mandatory="true" name="m_4">
					<feature mandatory="true" name="m_4_1"/>
				</and>
				<and name="o_5">
					<feature mandatory="true" name="m_5_1"/>
				</and>
				<and name="o_6">
					<feature mandatory="true" name="m_6_1"/>
				</and>
			</and>
		</struct>
		<constraints>
			<rule>
				<disj>
					<not>
						<var>g_2_1_2</var>
					</not>
					<disj>
						<not>
							<var>g_3_1</var>
						</not>
						<not>
							<var>m_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_1_2</var>
					<disj>
						<var>g_3_1</var>
						<var>m_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_1_2</var>
					</not>
					<disj>
						<var>g_3_1</var>
						<var>m_1_2</var>
					</disj>
				</disj>
			</rule>
		</constraints>
		<calculations Auto="true" Constraints="true" Features="true" Redundant="true" Tautology="true"/>
		<comments/>
		<featureOrder userDefined="false"/>
	</featureModel>
