<?xml version="1.0" encoding="UTF-8" standalone="no"?>
	<featureModel chosenLayoutAlgorithm="1">
		<struct>
			<and mandatory="true" name="R">
				<and name="o_1">
					<and mandatory="true" name="m_1_1">
						<and mandatory="true" name="m_1_1_1">
							<and name="o_1_1_1_1">
								<feature mandatory="true" name="m_1_1_1_1_1"/>
							</and>
							<and name="o_1_1_1_2">
								<feature mandatory="true" name="m_1_1_1_2_1"/>
							</and>
						</and>
						<and name="o_1_1_2">
							<feature name="o_1_1_2_1"/>
							<feature mandatory="true" name="m_1_1_2_2"/>
						</and>
						<and name="o_1_1_3">
							<feature name="o_1_1_3_1"/>
							<alt abstract="true" mandatory="true" name="o_1_1_3_2">
								<feature mandatory="true" name="g_1_1_3_2_1"/>
								<feature mandatory="true" name="g_1_1_3_2_2"/>
								<feature mandatory="true" name="g_1_1_3_2_3"/>
							</alt>
						</and>
						<and name="o_1_1_4">
							<and mandatory="true" name="m_1_1_4_1">
								<feature mandatory="true" name="m_1_1_4_1_1"/>
							</and>
						</and>
					</and>
					<and mandatory="true" name="m_1_2">
						<and name="o_1_2_1">
							<feature name="o_1_2_1_1"/>
							<feature mandatory="true" name="m_1_2_1_2"/>
						</and>
						<and mandatory="true" name="m_1_2_2">
							<feature mandatory="true" name="m_1_2_2_1"/>
						</and>
						<and mandatory="true" name="m_1_2_3">
							<feature mandatory="true" name="m_1_2_3_1"/>
						</and>
						<and mandatory="true" name="m_1_2_4">
							<feature mandatory="true" name="m_1_2_4_1"/>
						</and>
						<alt abstract="true" mandatory="true" name="m_1_2_5">
							<feature mandatory="true" name="g_1_2_5_1"/>
							<feature mandatory="true" name="g_1_2_5_2"/>
							<feature mandatory="true" name="g_1_2_5_3"/>
							<feature mandatory="true" name="g_1_2_5_4"/>
							<feature mandatory="true" name="g_1_2_5_5"/>
							<feature mandatory="true" name="g_1_2_5_6"/>
						</alt>
						<and name="o_1_2_6">
							<feature mandatory="true" name="m_1_2_6_1"/>
						</and>
					</and>
					<and mandatory="true" name="m_1_3">
						<and name="o_1_3_1">
							<or abstract="true" mandatory="true" name="o_1_3_1_1">
								<or mandatory="true" name="g_1_3_1_1_1">
									<feature mandatory="true" name="g_1_3_1_1_1_1_1"/>
									<feature mandatory="true" name="g_1_3_1_1_1_1_2"/>
									<feature mandatory="true" name="g_1_3_1_1_1_1_3"/>
								</or>
								<and mandatory="true" name="g_1_3_1_1_2">
									<feature name="o_1_3_1_1_2_1"/>
								</and>
								<and mandatory="true" name="g_1_3_1_1_3">
									<feature name="o_1_3_1_1_3_1"/>
								</and>
								<and mandatory="true" name="g_1_3_1_1_4">
									<feature mandatory="true" name="m_1_3_1_1_4_1"/>
								</and>
								<and mandatory="true" name="g_1_3_1_1_5">
									<feature name="o_1_3_1_1_5_1"/>
								</and>
							</or>
							<or abstract="true" mandatory="true" name="o_1_3_1_2">
								<feature mandatory="true" name="g_1_3_1_2_1"/>
								<feature mandatory="true" name="g_1_3_1_2_2"/>
								<feature mandatory="true" name="g_1_3_1_2_3"/>
								<feature mandatory="true" name="g_1_3_1_2_4"/>
								<feature mandatory="true" name="g_1_3_1_2_5"/>
								<feature mandatory="true" name="g_1_3_1_2_6"/>
							</or>
						</and>
					</and>
					<and name="o_1_4">
						<and name="o_1_4_1">
							<alt name="o_1_4_1_1">
								<feature mandatory="true" name="g_1_4_1_1_1_1"/>
								<feature mandatory="true" name="g_1_4_1_1_1_2"/>
								<feature mandatory="true" name="g_1_4_1_1_1_3"/>
								<feature mandatory="true" name="g_1_4_1_1_1_4"/>
								<feature mandatory="true" name="g_1_4_1_1_1_5"/>
							</alt>
							<alt abstract="true" mandatory="true" name="o_1_4_1_2">
								<feature mandatory="true" name="g_1_4_1_2_1"/>
								<feature mandatory="true" name="g_1_4_1_2_2"/>
								<feature mandatory="true" name="g_1_4_1_2_3"/>
							</alt>
							<feature mandatory="true" name="m_1_4_1_3"/>
							<feature mandatory="true" name="m_1_4_1_4"/>
							<feature name="o_1_4_1_5"/>
						</and>
						<or abstract="true" mandatory="true" name="o_1_4_2">
							<and mandatory="true" name="g_1_4_2_1">
								<feature mandatory="true" name="m_1_4_2_1_1"/>
							</and>
							<and mandatory="true" name="g_1_4_2_2">
								<feature name="o_1_4_2_2_1"/>
							</and>
							<or mandatory="true" name="g_1_4_2_3">
								<feature mandatory="true" name="g_1_4_2_3_1_1"/>
								<feature mandatory="true" name="g_1_4_2_3_1_2"/>
							</or>
							<alt mandatory="true" name="g_1_4_2_4">
								<feature mandatory="true" name="g_1_4_2_4_1_1"/>
								<feature mandatory="true" name="g_1_4_2_4_1_2"/>
								<feature mandatory="true" name="g_1_4_2_4_1_3"/>
							</alt>
						</or>
					</and>
					<and name="o_1_5">
						<or abstract="true" mandatory="true" name="o_1_5_1">
							<feature mandatory="true" name="g_1_5_1_1"/>
							<feature mandatory="true" name="g_1_5_1_2"/>
							<feature mandatory="true" name="g_1_5_1_3"/>
						</or>
						<and mandatory="true" name="m_1_5_2">
							<feature mandatory="true" name="m_1_5_2_1"/>
						</and>
						<and name="o_1_5_3">
							<feature mandatory="true" name="m_1_5_3_1"/>
						</and>
						<or name="o_1_5_4">
							<feature mandatory="true" name="g_1_5_4_1_1"/>
							<feature mandatory="true" name="g_1_5_4_1_2"/>
						</or>
						<or abstract="true" mandatory="true" name="o_1_5_5">
							<feature mandatory="true" name="g_1_5_5_1"/>
							<feature mandatory="true" name="g_1_5_5_2"/>
							<feature mandatory="true" name="g_1_5_5_3"/>
							<feature mandatory="true" name="g_1_5_5_4"/>
							<feature mandatory="true" name="g_1_5_5_5"/>
							<feature mandatory="true" name="g_1_5_5_6"/>
						</or>
						<and mandatory="true" name="m_1_5_6">
							<feature mandatory="true" name="m_1_5_6_1"/>
						</and>
					</and>
					<and name="o_1_6">
						<or mandatory="true" name="m_1_6_1">
							<or mandatory="true" name="g_1_6_1_1_1">
								<feature mandatory="true" name="g_1_6_1_1_1_1_1"/>
								<feature mandatory="true" name="g_1_6_1_1_1_1_2"/>
							</or>
							<and mandatory="true" name="g_1_6_1_1_2">
								<or abstract="true" mandatory="true" name="g_1_6_1_1_2_1">
									<feature mandatory="true" name="g_1_6_1_1_2_1_1"/>
									<feature mandatory="true" name="g_1_6_1_1_2_1_2"/>
									<feature mandatory="true" name="g_1_6_1_1_2_1_3"/>
									<feature mandatory="true" name="g_1_6_1_1_2_1_4"/>
									<feature mandatory="true" name="g_1_6_1_1_2_1_5"/>
									<feature mandatory="true" name="g_1_6_1_1_2_1_6"/>
								</or>
								<feature name="o_1_6_1_1_2_2"/>
							</and>
							<and mandatory="true" name="g_1_6_1_1_3">
								<feature mandatory="true" name="m_1_6_1_1_3_1"/>
							</and>
						</or>
					</and>
				</and>
				<and name="o_2">
					<and mandatory="true" name="m_2_1">
						<alt abstract="true" mandatory="true" name="m_2_1_1">
							<feature mandatory="true" name="g_2_1_1_1"/>
							<feature mandatory="true" name="g_2_1_1_2"/>
							<feature mandatory="true" name="g_2_1_1_3"/>
							<feature mandatory="true" name="g_2_1_1_4"/>
							<feature mandatory="true" name="g_2_1_1_5"/>
							<feature mandatory="true" name="g_2_1_1_6"/>
						</alt>
						<and name="o_2_1_2">
							<and name="o_2_1_2_1">
								<feature mandatory="true" name="m_2_1_2_1_1"/>
								<feature mandatory="true" name="m_2_1_2_1_2"/>
							</and>
						</and>
						<and mandatory="true" name="m_2_1_3">
							<feature name="o_2_1_3_1"/>
							<feature name="o_2_1_3_2"/>
							<feature name="o_2_1_3_3"/>
						</and>
					</and>
					<and name="o_2_2">
						<and mandatory="true" name="m_2_2_1">
							<or name="o_2_2_1_1">
								<feature mandatory="true" name="g_2_2_1_1_1_1"/>
								<feature mandatory="true" name="g_2_2_1_1_1_2"/>
								<feature mandatory="true" name="g_2_2_1_1_1_3"/>
							</or>
							<alt abstract="true" mandatory="true" name="m_2_2_1_2">
								<feature mandatory="true" name="g_2_2_1_2_1"/>
								<feature mandatory="true" name="g_2_2_1_2_2"/>
							</alt>
							<or mandatory="true" name="m_2_2_1_3">
								<feature mandatory="true" name="g_2_2_1_3_1_1"/>
								<feature mandatory="true" name="g_2_2_1_3_1_2"/>
								<feature mandatory="true" name="g_2_2_1_3_1_3"/>
								<feature mandatory="true" name="g_2_2_1_3_1_4"/>
								<feature mandatory="true" name="g_2_2_1_3_1_5"/>
							</or>
							<and name="o_2_2_1_4">
								<feature name="o_2_2_1_4_1"/>
							</and>
							<and mandatory="true" name="m_2_2_1_5">
								<feature name="o_2_2_1_5_1"/>
							</and>
							<alt abstract="true" mandatory="true" name="m_2_2_1_6">
								<feature mandatory="true" name="g_2_2_1_6_1"/>
								<feature mandatory="true" name="g_2_2_1_6_2"/>
								<feature mandatory="true" name="g_2_2_1_6_3"/>
								<feature mandatory="true" name="g_2_2_1_6_4"/>
								<feature mandatory="true" name="g_2_2_1_6_5"/>
							</alt>
						</and>
					</and>
					<and mandatory="true" name="m_2_3">
						<or abstract="true" mandatory="true" name="m_2_3_1">
							<and mandatory="true" name="g_2_3_1_1">
								<feature name="o_2_3_1_1_1"/>
							</and>
							<or mandatory="true" name="g_2_3_1_2">
								<feature mandatory="true" name="g_2_3_1_2_1_1"/>
								<feature mandatory="true" name="g_2_3_1_2_1_2"/>
								<feature mandatory="true" name="g_2_3_1_2_1_3"/>
							</or>
							<and mandatory="true" name="g_2_3_1_3">
								<feature name="o_2_3_1_3_1"/>
							</and>
							<and mandatory="true" name="g_2_3_1_4">
								<feature mandatory="true" name="m_2_3_1_4_1"/>
							</and>
						</or>
						<and mandatory="true" name="m_2_3_2">
							<alt abstract="true" mandatory="true" name="m_2_3_2_1">
								<feature mandatory="true" name="g_2_3_2_1_1"/>
								<feature mandatory="true" name="g_2_3_2_1_2"/>
							</alt>
							<feature mandatory="true" name="m_2_3_2_2"/>
							<feature mandatory="true" name="m_2_3_2_3"/>
							<feature name="o_2_3_2_4"/>
							<feature name="o_2_3_2_5"/>
						</and>
					</and>
					<and name="o_2_4">
						<and name="o_2_4_1">
							<feature name="o_2_4_1_1"/>
							<feature name="o_2_4_1_2"/>
							<feature name="o_2_4_1_3"/>
							<feature name="o_2_4_1_4"/>
						</and>
						<alt name="o_2_4_2">
							<and mandatory="true" name="g_2_4_2_1_1">
								<feature mandatory="true" name="m_2_4_2_1_1_1"/>
							</and>
							<and mandatory="true" name="g_2_4_2_1_2">
								<feature mandatory="true" name="m_2_4_2_1_2_1"/>
							</and>
						</alt>
						<and name="o_2_4_3">
							<and mandatory="true" name="m_2_4_3_1">
								<alt abstract="true" mandatory="true" name="m_2_4_3_1_1">
									<feature mandatory="true" name="g_2_4_3_1_1_1"/>
									<feature mandatory="true" name="g_2_4_3_1_1_2"/>
									<feature mandatory="true" name="g_2_4_3_1_1_3"/>
								</alt>
								<or abstract="true" mandatory="true" name="m_2_4_3_1_2">
									<feature mandatory="true" name="g_2_4_3_1_2_1"/>
									<feature mandatory="true" name="g_2_4_3_1_2_2"/>
									<feature mandatory="true" name="g_2_4_3_1_2_3"/>
								</or>
							</and>
						</and>
					</and>
					<and mandatory="true" name="m_2_5">
						<and mandatory="true" name="m_2_5_1">
							<alt abstract="true" mandatory="true" name="m_2_5_1_1">
								<feature mandatory="true" name="g_2_5_1_1_1"/>
								<feature mandatory="true" name="g_2_5_1_1_2"/>
							</alt>
							<feature name="o_2_5_1_2"/>
						</and>
						<and mandatory="true" name="m_2_5_2">
							<and name="o_2_5_2_1">
								<feature mandatory="true" name="m_2_5_2_1_1"/>
							</and>
						</and>
						<or abstract="true" mandatory="true" name="m_2_5_3">
							<and mandatory="true" name="g_2_5_3_1">
								<feature mandatory="true" name="m_2_5_3_1_1"/>
							</and>
							<and mandatory="true" name="g_2_5_3_2">
								<feature mandatory="true" name="m_2_5_3_2_1"/>
							</and>
						</or>
						<and mandatory="true" name="m_2_5_4">
							<feature name="o_2_5_4_1"/>
							<feature name="o_2_5_4_2"/>
						</and>
					</and>
					<alt abstract="true" mandatory="true" name="o_2_6">
						<and mandatory="true" name="g_2_6_1">
							<feature mandatory="true" name="m_2_6_1_1"/>
							<feature name="o_2_6_1_2"/>
							<feature mandatory="true" name="m_2_6_1_3"/>
						</and>
						<and mandatory="true" name="g_2_6_2">
							<feature name="o_2_6_2_1"/>
							<feature name="o_2_6_2_2"/>
							<alt abstract="true" mandatory="true" name="g_2_6_2_3">
								<feature mandatory="true" name="g_2_6_2_3_1"/>
								<feature mandatory="true" name="g_2_6_2_3_2"/>
							</alt>
						</and>
						<and mandatory="true" name="g_2_6_3">
							<feature name="o_2_6_3_1"/>
							<feature mandatory="true" name="m_2_6_3_2"/>
							<feature name="o_2_6_3_3"/>
						</and>
						<and mandatory="true" name="g_2_6_4">
							<and mandatory="true" name="m_2_6_4_1">
								<or abstract="true" mandatory="true" name="m_2_6_4_1_1">
									<feature mandatory="true" name="g_2_6_4_1_1_1"/>
									<feature mandatory="true" name="g_2_6_4_1_1_2"/>
									<feature mandatory="true" name="g_2_6_4_1_1_3"/>
									<feature mandatory="true" name="g_2_6_4_1_1_4"/>
									<feature mandatory="true" name="g_2_6_4_1_1_5"/>
									<feature mandatory="true" name="g_2_6_4_1_1_6"/>
								</or>
								<feature name="o_2_6_4_1_2"/>
							</and>
						</and>
					</alt>
				</and>
				<and mandatory="true" name="m_3">
					<alt abstract="true" mandatory="true" name="m_3_1">
						<and mandatory="true" name="g_3_1_1">
							<and name="o_3_1_1_1">
								<or abstract="true" mandatory="true" name="o_3_1_1_1_1">
									<feature mandatory="true" name="g_3_1_1_1_1_1"/>
									<feature mandatory="true" name="g_3_1_1_1_1_2"/>
									<feature mandatory="true" name="g_3_1_1_1_1_3"/>
									<feature mandatory="true" name="g_3_1_1_1_1_4"/>
									<feature mandatory="true" name="g_3_1_1_1_1_5"/>
								</or>
								<and mandatory="true" name="m_3_1_1_1_2">
									<feature mandatory="true" name="m_3_1_1_1_2_1"/>
								</and>
								<alt abstract="true" mandatory="true" name="o_3_1_1_1_3">
									<feature mandatory="true" name="g_3_1_1_1_3_1"/>
									<feature mandatory="true" name="g_3_1_1_1_3_2"/>
									<feature mandatory="true" name="g_3_1_1_1_3_3"/>
								</alt>
							</and>
							<or abstract="true" mandatory="true" name="g_3_1_1_2">
								<and mandatory="true" name="g_3_1_1_2_1">
									<feature name="o_3_1_1_2_1_1"/>
									<feature mandatory="true" name="m_3_1_1_2_1_2"/>
								</and>
								<and mandatory="true" name="g_3_1_1_2_2">
									<feature name="o_3_1_1_2_2_1"/>
									<alt abstract="true" mandatory="true" name="g_3_1_1_2_2_2">
										<feature mandatory="true" name="g_3_1_1_2_2_2_1"/>
										<feature mandatory="true" name="g_3_1_1_2_2_2_2"/>
									</alt>
								</and>
							</or>
						</and>
						<and mandatory="true" name="g_3_1_2">
							<and name="o_3_1_2_1">
								<and name="o_3_1_2_1_1">
									<feature name="o_3_1_2_1_1_1"/>
									<feature name="o_3_1_2_1_1_2"/>
									<or abstract="true" mandatory="true" name="o_3_1_2_1_1_3">
										<feature mandatory="true" name="g_3_1_2_1_1_3_1"/>
										<feature mandatory="true" name="g_3_1_2_1_1_3_2"/>
										<feature mandatory="true" name="g_3_1_2_1_1_3_3"/>
										<feature mandatory="true" name="g_3_1_2_1_1_3_4"/>
										<feature mandatory="true" name="g_3_1_2_1_1_3_5"/>
										<feature mandatory="true" name="g_3_1_2_1_1_3_6"/>
									</or>
									<feature mandatory="true" name="m_3_1_2_1_1_4"/>
									<feature mandatory="true" name="m_3_1_2_1_1_5"/>
								</and>
							</and>
							<and name="o_3_1_2_2">
								<and mandatory="true" name="m_3_1_2_2_1">
									<feature name="o_3_1_2_2_1_1"/>
								</and>
								<alt mandatory="true" name="m_3_1_2_2_2">
									<feature mandatory="true" name="g_3_1_2_2_2_1_1"/>
									<feature mandatory="true" name="g_3_1_2_2_2_1_2"/>
									<feature mandatory="true" name="g_3_1_2_2_2_1_3"/>
									<feature mandatory="true" name="g_3_1_2_2_2_1_4"/>
									<feature mandatory="true" name="g_3_1_2_2_2_1_5"/>
								</alt>
								<feature mandatory="true" name="m_3_1_2_2_3"/>
								<feature name="o_3_1_2_2_4"/>
							</and>
						</and>
					</alt>
					<and name="o_3_2">
						<and mandatory="true" name="m_3_2_1">
							<and mandatory="true" name="m_3_2_1_1">
								<feature name="o_3_2_1_1_1"/>
								<feature name="o_3_2_1_1_2"/>
							</and>
							<feature name="o_3_2_1_2"/>
							<feature mandatory="true" name="m_3_2_1_3"/>
							<feature name="o_3_2_1_4"/>
							<feature mandatory="true" name="m_3_2_1_5"/>
							<or abstract="true" mandatory="true" name="m_3_2_1_6">
								<feature mandatory="true" name="g_3_2_1_6_1"/>
								<feature mandatory="true" name="g_3_2_1_6_2"/>
							</or>
						</and>
					</and>
					<and mandatory="true" name="m_3_3">
						<and mandatory="true" name="m_3_3_1">
							<or abstract="true" mandatory="true" name="m_3_3_1_1">
								<feature mandatory="true" name="g_3_3_1_1_1"/>
								<feature mandatory="true" name="g_3_3_1_1_2"/>
							</or>
							<feature name="o_3_3_1_2"/>
							<feature mandatory="true" name="m_3_3_1_3"/>
							<feature mandatory="true" name="m_3_3_1_4"/>
							<feature mandatory="true" name="m_3_3_1_5"/>
						</and>
						<and name="o_3_3_2">
							<feature name="o_3_3_2_1"/>
							<feature mandatory="true" name="m_3_3_2_2"/>
							<feature name="o_3_3_2_3"/>
							<feature mandatory="true" name="m_3_3_2_4"/>
						</and>
						<and mandatory="true" name="m_3_3_3">
							<alt abstract="true" mandatory="true" name="m_3_3_3_1">
								<feature mandatory="true" name="g_3_3_3_1_1"/>
								<feature mandatory="true" name="g_3_3_3_1_2"/>
								<feature mandatory="true" name="g_3_3_3_1_3"/>
								<feature mandatory="true" name="g_3_3_3_1_4"/>
								<feature mandatory="true" name="g_3_3_3_1_5"/>
								<feature mandatory="true" name="g_3_3_3_1_6"/>
							</alt>
							<feature mandatory="true" name="m_3_3_3_2"/>
							<feature mandatory="true" name="m_3_3_3_3"/>
							<feature mandatory="true" name="m_3_3_3_4"/>
						</and>
						<and mandatory="true" name="m_3_3_4">
							<alt abstract="true" mandatory="true" name="m_3_3_4_1">
								<feature mandatory="true" name="g_3_3_4_1_1"/>
								<feature mandatory="true" name="g_3_3_4_1_2"/>
								<feature mandatory="true" name="g_3_3_4_1_3"/>
								<feature mandatory="true" name="g_3_3_4_1_4"/>
								<feature mandatory="true" name="g_3_3_4_1_5"/>
								<feature mandatory="true" name="g_3_3_4_1_6"/>
							</alt>
							<feature mandatory="true" name="m_3_3_4_2"/>
						</and>
						<or mandatory="true" name="m_3_3_5">
							<feature mandatory="true" name="g_3_3_5_1_1"/>
							<feature mandatory="true" name="g_3_3_5_1_2"/>
							<feature mandatory="true" name="g_3_3_5_1_3"/>
							<feature mandatory="true" name="g_3_3_5_1_4"/>
							<feature mandatory="true" name="g_3_3_5_1_5"/>
							<feature mandatory="true" name="g_3_3_5_1_6"/>
						</or>
					</and>
				</and>
				<alt abstract="true" mandatory="true" name="R_4">
					<and mandatory="true" name="g_4_1">
						<and name="o_4_1_1">
							<and mandatory="true" name="m_4_1_1_1">
								<feature mandatory="true" name="m_4_1_1_1_1"/>
							</and>
							<and mandatory="true" name="m_4_1_1_2">
								<feature mandatory="true" name="m_4_1_1_2_1"/>
							</and>
							<and name="o_4_1_1_3">
								<feature name="o_4_1_1_3_1"/>
							</and>
							<feature mandatory="true" name="m_4_1_1_4"/>
							<feature name="o_4_1_1_5"/>
						</and>
						<and name="o_4_1_2">
							<and mandatory="true" name="m_4_1_2_1">
								<feature mandatory="true" name="m_4_1_2_1_1"/>
								<feature mandatory="true" name="m_4_1_2_1_2"/>
							</and>
							<or abstract="true" mandatory="true" name="o_4_1_2_2">
								<feature mandatory="true" name="g_4_1_2_2_1"/>
								<feature mandatory="true" name="g_4_1_2_2_2"/>
								<feature mandatory="true" name="g_4_1_2_2_3"/>
							</or>
							<and mandatory="true" name="m_4_1_2_3">
								<feature name="o_4_1_2_3_1"/>
							</and>
						</and>
					</and>
					<and mandatory="true" name="g_4_2">
						<and name="o_4_2_1">
							<feature name="o_4_2_1_1"/>
							<feature mandatory="true" name="m_4_2_1_2"/>
							<feature mandatory="true" name="m_4_2_1_3"/>
						</and>
						<and mandatory="true" name="m_4_2_2">
							<alt abstract="true" mandatory="true" name="m_4_2_2_1">
								<feature mandatory="true" name="g_4_2_2_1_1"/>
								<feature mandatory="true" name="g_4_2_2_1_2"/>
								<feature mandatory="true" name="g_4_2_2_1_3"/>
							</alt>
							<feature mandatory="true" name="m_4_2_2_2"/>
							<or abstract="true" mandatory="true" name="m_4_2_2_3">
								<feature mandatory="true" name="g_4_2_2_3_1"/>
								<feature mandatory="true" name="g_4_2_2_3_2"/>
								<feature mandatory="true" name="g_4_2_2_3_3"/>
							</or>
						</and>
						<and name="o_4_2_3">
							<feature mandatory="true" name="m_4_2_3_1"/>
							<feature mandatory="true" name="m_4_2_3_2"/>
							<feature mandatory="true" name="m_4_2_3_3"/>
						</and>
						<and mandatory="true" name="m_4_2_4">
							<feature name="o_4_2_4_1"/>
							<feature mandatory="true" name="m_4_2_4_2"/>
							<feature mandatory="true" name="m_4_2_4_3"/>
						</and>
					</and>
					<alt mandatory="true" name="g_4_3">
						<and mandatory="true" name="g_4_3_1_1">
							<or abstract="true" mandatory="true" name="g_4_3_1_1_1">
								<and mandatory="true" name="g_4_3_1_1_1_1">
									<feature name="o_4_3_1_1_1_1_1"/>
								</and>
								<or mandatory="true" name="g_4_3_1_1_1_2">
									<feature mandatory="true" name="g_4_3_1_1_1_2_1_1"/>
									<feature mandatory="true" name="g_4_3_1_1_1_2_1_2"/>
									<feature mandatory="true" name="g_4_3_1_1_1_2_1_3"/>
									<feature mandatory="true" name="g_4_3_1_1_1_2_1_4"/>
								</or>
							</or>
							<and mandatory="true" name="m_4_3_1_1_2">
								<feature mandatory="true" name="m_4_3_1_1_2_1"/>
							</and>
						</and>
						<alt mandatory="true" name="g_4_3_1_2">
							<and mandatory="true" name="g_4_3_1_2_1_1">
								<feature name="o_4_3_1_2_1_1_1"/>
							</and>
							<and mandatory="true" name="g_4_3_1_2_1_2">
								<feature mandatory="true" name="m_4_3_1_2_1_2_1"/>
							</and>
							<or mandatory="true" name="g_4_3_1_2_1_3">
								<feature mandatory="true" name="g_4_3_1_2_1_3_1_1"/>
								<feature mandatory="true" name="g_4_3_1_2_1_3_1_2"/>
								<feature mandatory="true" name="g_4_3_1_2_1_3_1_3"/>
								<feature mandatory="true" name="g_4_3_1_2_1_3_1_4"/>
							</or>
							<and mandatory="true" name="g_4_3_1_2_1_4">
								<feature name="o_4_3_1_2_1_4_1"/>
							</and>
						</alt>
					</alt>
					<and mandatory="true" name="g_4_4">
						<alt abstract="true" mandatory="true" name="g_4_4_1">
							<and mandatory="true" name="g_4_4_1_1">
								<feature mandatory="true" name="m_4_4_1_1_1"/>
							</and>
							<and mandatory="true" name="g_4_4_1_2">
								<feature mandatory="true" name="m_4_4_1_2_1"/>
							</and>
						</alt>
						<alt abstract="true" mandatory="true" name="g_4_4_2">
							<feature mandatory="true" name="g_4_4_2_1"/>
							<feature mandatory="true" name="g_4_4_2_2"/>
							<feature mandatory="true" name="g_4_4_2_3"/>
							<feature mandatory="true" name="g_4_4_2_4"/>
							<feature mandatory="true" name="g_4_4_2_5"/>
						</alt>
						<alt abstract="true" mandatory="true" name="g_4_4_3">
							<feature mandatory="true" name="g_4_4_3_1"/>
							<feature mandatory="true" name="g_4_4_3_2"/>
							<feature mandatory="true" name="g_4_4_3_3"/>
							<feature mandatory="true" name="g_4_4_3_4"/>
						</alt>
						<and mandatory="true" name="m_4_4_4">
							<feature mandatory="true" name="m_4_4_4_1"/>
							<alt abstract="true" mandatory="true" name="m_4_4_4_2">
								<feature mandatory="true" name="g_4_4_4_2_1"/>
								<feature mandatory="true" name="g_4_4_4_2_2"/>
								<feature mandatory="true" name="g_4_4_4_2_3"/>
								<feature mandatory="true" name="g_4_4_4_2_4"/>
								<feature mandatory="true" name="g_4_4_4_2_5"/>
							</alt>
						</and>
						<or mandatory="true" name="m_4_4_5">
							<feature mandatory="true" name="g_4_4_5_1_1"/>
							<feature mandatory="true" name="g_4_4_5_1_2"/>
						</or>
						<alt name="o_4_4_6">
							<feature mandatory="true" name="g_4_4_6_1_1"/>
							<feature mandatory="true" name="g_4_4_6_1_2"/>
						</alt>
					</and>
					<and mandatory="true" name="g_4_5">
						<and mandatory="true" name="m_4_5_1">
							<feature name="o_4_5_1_1"/>
							<feature name="o_4_5_1_2"/>
							<or abstract="true" mandatory="true" name="m_4_5_1_3">
								<feature mandatory="true" name="g_4_5_1_3_1"/>
								<feature mandatory="true" name="g_4_5_1_3_2"/>
								<feature mandatory="true" name="g_4_5_1_3_3"/>
								<feature mandatory="true" name="g_4_5_1_3_4"/>
							</or>
						</and>
						<and name="o_4_5_2">
							<feature name="o_4_5_2_1"/>
							<feature name="o_4_5_2_2"/>
						</and>
						<alt mandatory="true" name="m_4_5_3">
							<feature mandatory="true" name="g_4_5_3_1_1"/>
							<feature mandatory="true" name="g_4_5_3_1_2"/>
							<feature mandatory="true" name="g_4_5_3_1_3"/>
							<feature mandatory="true" name="g_4_5_3_1_4"/>
							<feature mandatory="true" name="g_4_5_3_1_5"/>
						</alt>
						<and mandatory="true" name="m_4_5_4">
							<feature name="o_4_5_4_1"/>
							<feature mandatory="true" name="m_4_5_4_2"/>
						</and>
						<and mandatory="true" name="m_4_5_5">
							<and name="o_4_5_5_1">
								<feature mandatory="true" name="m_4_5_5_1_1"/>
							</and>
						</and>
					</and>
				</alt>
				<and name="o_5">
					<and name="o_5_1">
						<and name="o_5_1_1">
							<feature mandatory="true" name="m_5_1_1_1"/>
							<feature name="o_5_1_1_2"/>
							<feature name="o_5_1_1_3"/>
							<feature name="o_5_1_1_4"/>
							<feature mandatory="true" name="m_5_1_1_5"/>
						</and>
					</and>
				</and>
				<and name="o_6">
					<and mandatory="true" name="m_6_1">
						<and mandatory="true" name="m_6_1_1">
							<feature name="o_6_1_1_1"/>
							<feature mandatory="true" name="m_6_1_1_2"/>
							<feature name="o_6_1_1_3"/>
							<feature mandatory="true" name="m_6_1_1_4"/>
							<feature mandatory="true" name="m_6_1_1_5"/>
							<or abstract="true" mandatory="true" name="m_6_1_1_6">
								<feature mandatory="true" name="g_6_1_1_6_1"/>
								<feature mandatory="true" name="g_6_1_1_6_2"/>
								<feature mandatory="true" name="g_6_1_1_6_3"/>
							</or>
						</and>
						<and mandatory="true" name="m_6_1_2">
							<feature name="o_6_1_2_1"/>
							<or abstract="true" mandatory="true" name="m_6_1_2_2">
								<feature mandatory="true" name="g_6_1_2_2_1"/>
								<feature mandatory="true" name="g_6_1_2_2_2"/>
								<feature mandatory="true" name="g_6_1_2_2_3"/>
								<feature mandatory="true" name="g_6_1_2_2_4"/>
							</or>
							<feature name="o_6_1_2_3"/>
							<alt abstract="true" mandatory="true" name="m_6_1_2_4">
								<feature mandatory="true" name="g_6_1_2_4_1"/>
								<feature mandatory="true" name="g_6_1_2_4_2"/>
								<feature mandatory="true" name="g_6_1_2_4_3"/>
							</alt>
							<feature name="o_6_1_2_5"/>
							<feature name="o_6_1_2_6"/>
						</and>
						<and name="o_6_1_3">
							<feature mandatory="true" name="m_6_1_3_1"/>
						</and>
						<or abstract="true" mandatory="true" name="m_6_1_4">
							<and mandatory="true" name="g_6_1_4_1">
								<feature name="o_6_1_4_1_1"/>
								<feature name="o_6_1_4_1_2"/>
								<feature name="o_6_1_4_1_3"/>
							</and>
							<and mandatory="true" name="g_6_1_4_2">
								<feature mandatory="true" name="m_6_1_4_2_1"/>
								<feature name="o_6_1_4_2_2"/>
								<feature name="o_6_1_4_2_3"/>
							</and>
							<and mandatory="true" name="g_6_1_4_3">
								<feature name="o_6_1_4_3_1"/>
								<or abstract="true" mandatory="true" name="g_6_1_4_3_2">
									<feature mandatory="true" name="g_6_1_4_3_2_1"/>
									<feature mandatory="true" name="g_6_1_4_3_2_2"/>
									<feature mandatory="true" name="g_6_1_4_3_2_3"/>
									<feature mandatory="true" name="g_6_1_4_3_2_4"/>
									<feature mandatory="true" name="g_6_1_4_3_2_5"/>
								</or>
								<or abstract="true" mandatory="true" name="g_6_1_4_3_3">
									<feature mandatory="true" name="g_6_1_4_3_3_1"/>
									<feature mandatory="true" name="g_6_1_4_3_3_2"/>
								</or>
							</and>
							<or mandatory="true" name="g_6_1_4_4">
								<feature mandatory="true" name="g_6_1_4_4_1_1"/>
								<feature mandatory="true" name="g_6_1_4_4_1_2"/>
								<feature mandatory="true" name="g_6_1_4_4_1_3"/>
								<feature mandatory="true" name="g_6_1_4_4_1_4"/>
								<feature mandatory="true" name="g_6_1_4_4_1_5"/>
							</or>
						</or>
						<and name="o_6_1_5">
							<feature mandatory="true" name="m_6_1_5_1"/>
							<feature name="o_6_1_5_2"/>
							<feature name="o_6_1_5_3"/>
							<feature name="o_6_1_5_4"/>
							<feature name="o_6_1_5_5"/>
						</and>
						<and name="o_6_1_6">
							<feature name="o_6_1_6_1"/>
							<feature mandatory="true" name="m_6_1_6_2"/>
						</and>
					</and>
				</and>
			</and>
		</struct>
		<constraints>
			<rule>
				<disj>
					<not>
						<var>g_3_1_1</var>
					</not>
					<disj>
						<not>
							<var>g_4_4_2_1</var>
						</not>
						<not>
							<var>m_2_5_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_4_1_2</var>
					<disj>
						<var>m_1_1_4_1_1</var>
						<var>o_2_6_4_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_1</var>
					</not>
					<disj>
						<not>
							<var>g_6_1_1_6_2</var>
						</not>
						<not>
							<var>m_2_4_3_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_2_1_6_4</var>
					</not>
					<disj>
						<not>
							<var>g_3_1_2_2_2_1_3</var>
						</not>
						<not>
							<var>g_4_2_2_3_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_1</var>
					</not>
					<disj>
						<not>
							<var>m_1_6_1</var>
						</not>
						<not>
							<var>m_4_2_3_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_1_1_6</var>
					</not>
					<disj>
						<var>g_3_1_2_1_1_3_3</var>
						<not>
							<var>o_1_4_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_1_3_2_3</var>
					</not>
					<disj>
						<not>
							<var>g_3_3_3_1_6</var>
						</not>
						<not>
							<var>g_4_4_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_1_3_2_3</var>
					<disj>
						<var>o_2_1_3_2</var>
						<var>o_2_3_2_4</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_3_1_1_4</var>
					<disj>
						<var>g_3_3_1_1_1</var>
						<var>o_6_1_4_2_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>o_1_1_1_2</var>
					</not>
					<disj>
						<not>
							<var>o_2_3_1_3_1</var>
						</not>
						<not>
							<var>o_3_1_2_1_1_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>m_1_3_1_1_4_1</var>
					</not>
					<disj>
						<not>
							<var>m_6_1_6_2</var>
						</not>
						<not>
							<var>o_1_5_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_2_1_1_3_3</var>
					</not>
					<disj>
						<not>
							<var>g_6_1_2_2_2</var>
						</not>
						<not>
							<var>m_2_4_3_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_1_1_1</var>
					<disj>
						<var>g_4_5_3_1_3</var>
						<var>o_6_1_5_5</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_5_4</var>
					<disj>
						<not>
							<var>m_4_5_5_1_1</var>
						</not>
						<var>o_1_4_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_1_2_2_2_1_3</var>
					<disj>
						<var>m_1_6_1</var>
						<var>o_6_1_5_5</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_3_1_2_1_3_1_1</var>
					</not>
					<disj>
						<not>
							<var>m_1_2_2_1</var>
						</not>
						<not>
							<var>m_2_3_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>m_2_2_1_3</var>
					<disj>
						<not>
							<var>m_4_4_4</var>
						</not>
						<var>o_1_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_1_1_1</var>
					<disj>
						<var>g_4_2_2_1_2</var>
						<var>o_2_6_4_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_4_1_2</var>
					</not>
					<disj>
						<not>
							<var>m_4_2_2</var>
						</not>
						<not>
							<var>o_4_4_6</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>m_1_1_1_2_1</var>
					<disj>
						<var>m_2_4_3_1</var>
						<var>o_1_5_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_4_1_1_1_2</var>
					</not>
					<disj>
						<not>
							<var>g_4_4_3_2</var>
						</not>
						<not>
							<var>g_6_1_2_2_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_3_1_1_4</var>
					</not>
					<disj>
						<not>
							<var>g_2_2_1_3_1_4</var>
						</not>
						<not>
							<var>g_2_3_1_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>m_4_1_1_2_1</var>
					</not>
					<disj>
						<not>
							<var>m_4_2_3_3</var>
						</not>
						<not>
							<var>o_1_4_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_4_1_1_1_2</var>
					<disj>
						<var>g_4_2_2_3_1</var>
						<var>o_6_1_4_2_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_3_1_6</var>
					<disj>
						<var>g_4_4_5_1_2</var>
						<var>o_2_3_2_4</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_6_2</var>
					<disj>
						<var>m_4_2_2</var>
						<var>m_6_1_5_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_3_1_1_4</var>
					</not>
					<disj>
						<not>
							<var>g_1_3_1_2_1</var>
						</not>
						<not>
							<var>o_3_1_2_1_1_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_1_2_2_2</var>
					</not>
					<disj>
						<not>
							<var>g_4_2_2_1_2</var>
						</not>
						<not>
							<var>g_4_4_2_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_4_4_4_2_4</var>
					<disj>
						<not>
							<var>g_6_1_2_2_3</var>
						</not>
						<var>m_2_4_3_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_4_1_2</var>
					<disj>
						<var>g_3_3_4_1_6</var>
						<var>o_6_1_5_5</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_4_3_1_2_1_3_1_2</var>
					<disj>
						<var>m_3_3_1_3</var>
						<var>o_6_1_5_5</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_1_1_6</var>
					<disj>
						<var>g_2_2_1_3_1_4</var>
						<var>g_6_1_2_2_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_1_3_2_3</var>
					<disj>
						<var>g_3_3_1_1_1</var>
						<var>o_1_3_1_1_3_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_1_3_2_3</var>
					</not>
					<disj>
						<not>
							<var>g_1_3_1_1_1</var>
						</not>
						<not>
							<var>o_4_4_6</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_5_5_4</var>
					</not>
					<disj>
						<not>
							<var>g_4_2_2_3_3</var>
						</not>
						<not>
							<var>g_4_4_4_2_4</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_2_2_3_1</var>
					</not>
					<disj>
						<not>
							<var>m_4_5_5_1_1</var>
						</not>
						<not>
							<var>o_2_4</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_4_3_1_1_2</var>
					<disj>
						<var>g_6_1_1_6_1</var>
						<var>o_2_1_3_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_3_4_1_6</var>
					</not>
					<disj>
						<not>
							<var>g_4_1</var>
						</not>
						<not>
							<var>g_6_1_2_2_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_6_2</var>
					<disj>
						<var>g_3_1_1_2_2</var>
						<var>o_2_4_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_3_1_2_1</var>
					</not>
					<disj>
						<not>
							<var>g_4_4_1_2</var>
						</not>
						<not>
							<var>o_1_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_3_1_1_3</var>
					<disj>
						<var>g_2_2_1_6_2</var>
						<var>o_1_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_4_1_2</var>
					</not>
					<disj>
						<not>
							<var>m_4_5_5_1_1</var>
						</not>
						<not>
							<var>o_4_1_1_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_4_1_4</var>
					<disj>
						<var>g_4_1_2_2_2</var>
						<var>o_2_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_1_1_1_3_3</var>
					<disj>
						<var>g_4_5_3_1_3</var>
						<var>o_2_4_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_6_1_1_6_1</var>
					<disj>
						<var>m_1_6_1</var>
						<var>o_2_1_3_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_3_1_2</var>
					</not>
					<disj>
						<not>
							<var>g_3_1_1_1_3_3</var>
						</not>
						<not>
							<var>g_4_2_2_3_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_4_1_2_3</var>
					</not>
					<disj>
						<not>
							<var>m_1_1_1_2_1</var>
						</not>
						<not>
							<var>o_6_1_5_5</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_5_5_4</var>
					</not>
					<disj>
						<not>
							<var>g_4_5_3_1_3</var>
						</not>
						<not>
							<var>o_2_6_4_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_4_4_5_1_2</var>
					<disj>
						<var>m_1_3_1_1_4_1</var>
						<var>o_3_1_2_1_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>o_1_1_1_2</var>
					<disj>
						<var>o_2_3_1_3_1</var>
						<var>o_2_3_2_4</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_5_6</var>
					<disj>
						<var>g_6_1_2_2_3</var>
						<var>m_1_2_2_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_3_1_2_1</var>
					</not>
					<disj>
						<not>
							<var>g_3_3_3_1_4</var>
						</not>
						<not>
							<var>g_3_3_4_1_4</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_3_4_1_6</var>
					</not>
					<disj>
						<not>
							<var>g_4_4_4_2_4</var>
						</not>
						<not>
							<var>m_4_1_2_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_2_1_1_3_3</var>
					</not>
					<disj>
						<not>
							<var>o_2_4</var>
						</not>
						<not>
							<var>o_2_4_1_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_3_4_1_1</var>
					</not>
					<disj>
						<not>
							<var>g_4_4_1_2</var>
						</not>
						<var>m_1_1_4_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_4_1_2</var>
					<disj>
						<var>g_4_4_3_2</var>
						<var>o_3_1_2_1_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_4_4_2_1</var>
					<disj>
						<var>g_4_4_3_2</var>
						<var>o_6_1_4_2_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_4_2_1</var>
					</not>
					<disj>
						<not>
							<var>g_6_1_2_2_3</var>
						</not>
						<not>
							<var>m_4_5_5_1_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_5_5_4</var>
					</not>
					<disj>
						<not>
							<var>g_4_4_6_1_1</var>
						</not>
						<not>
							<var>g_6_1_2_4_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_5_3_1_3</var>
					</not>
					<disj>
						<not>
							<var>g_6_1_2_2_2</var>
						</not>
						<not>
							<var>o_2_4_1_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_4_1_4</var>
					<disj>
						<var>m_4_1_1_1_1</var>
						<var>m_4_1_2_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_1_1_2</var>
					<disj>
						<var>o_1_1_2</var>
						<var>o_2_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_3_1_2_1_3_1_2</var>
					</not>
					<disj>
						<not>
							<var>g_4_5_3_1_3</var>
						</not>
						<not>
							<var>m_2_5_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_4_2_1</var>
					</not>
					<disj>
						<not>
							<var>g_6_1_2_4_3</var>
						</not>
						<not>
							<var>m_1_1_1_2_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_3_1_6</var>
					<disj>
						<var>g_4_4_2_1</var>
						<var>g_6_1_1_6_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_5_4_1_2</var>
					</not>
					<disj>
						<not>
							<var>g_3_1_2_1_1_3_3</var>
						</not>
						<not>
							<var>g_4_2_2_3_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_5_4</var>
					<disj>
						<var>g_4_2_2_3_3</var>
						<var>m_4_2_3_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_1_1_3_2</var>
					</not>
					<disj>
						<var>g_4_4_1_2</var>
						<var>g_4_4_2_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_2_1_3_1_4</var>
					</not>
					<disj>
						<not>
							<var>g_3_3_3_1_4</var>
						</not>
						<not>
							<var>o_2_1_3_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_6_2</var>
					</not>
					<disj>
						<not>
							<var>m_1_3_1_1_4_1</var>
						</not>
						<not>
							<var>o_1_3_1_1_3_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_2_1_6_4</var>
					</not>
					<disj>
						<not>
							<var>g_4_3_1_2_1_3_1_2</var>
						</not>
						<var>m_4_1_1_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_6_1_2_2_2</var>
					<disj>
						<var>m_3_3_1</var>
						<var>m_4_1_1_2_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_1_1_2_2</var>
					<disj>
						<var>m_3_3_1</var>
						<var>m_6_1_6_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_3_1_1_1</var>
					<disj>
						<var>m_4_1_1_2_1</var>
						<var>m_4_4_4</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_4_2_2_1_2</var>
					<disj>
						<not>
							<var>g_6_1_2_2_1</var>
						</not>
						<var>m_1_1_4_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_3_1_1</var>
					</not>
					<disj>
						<not>
							<var>g_3_3_3_1_2</var>
						</not>
						<not>
							<var>o_2_6_4_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_4_1_1_1_2</var>
					</not>
					<disj>
						<not>
							<var>m_4_5_5_1_1</var>
						</not>
						<not>
							<var>o_2_1_3_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_4_1_1_1_2</var>
					<disj>
						<var>m_1_1_4_1_1</var>
						<var>m_3_3_1_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_3_1_1_1</var>
					<disj>
						<var>g_4_1</var>
						<var>o_2_1_3_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_3_1_1_4</var>
					<disj>
						<var>g_3_1_1</var>
						<var>m_4_2_3_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_1_3_2_3</var>
					</not>
					<disj>
						<not>
							<var>g_2_3_1_2</var>
						</not>
						<not>
							<var>o_1_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_3_1_2</var>
					</not>
					<disj>
						<not>
							<var>g_3_1_1_1_3_2</var>
						</not>
						<not>
							<var>g_6_1_2_2_3</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_2_1_1_3_3</var>
					</not>
					<disj>
						<not>
							<var>g_6_1_1_6_2</var>
						</not>
						<not>
							<var>o_6_1_4_1_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_3_1_1_3</var>
					<disj>
						<var>m_3_3_5</var>
						<var>o_2_1_3_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_6_1_1_6_2</var>
					<disj>
						<var>o_1_4</var>
						<var>o_3_2_1_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_4_2_1_1</var>
					<disj>
						<var>g_3_3_3_1_2</var>
						<var>o_1_4_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_2_1_6_4</var>
					</not>
					<disj>
						<not>
							<var>g_2_3_1_2</var>
						</not>
						<not>
							<var>g_3_1_1_1_3_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_5_5_6</var>
					</not>
					<disj>
						<not>
							<var>g_2_4_2_1_1</var>
						</not>
						<not>
							<var>g_4_1</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_4_2_1_1</var>
					</not>
					<disj>
						<not>
							<var>g_3_3_4_1_1</var>
						</not>
						<var>o_3_2_1_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_1_2_2_2_1_3</var>
					<disj>
						<var>g_6_1_2_2_2</var>
						<var>o_1_1_2</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_2_2_1_6_2</var>
					</not>
					<disj>
						<not>
							<var>g_4_2_2_3_3</var>
						</not>
						<not>
							<var>o_2_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_3_1_1</var>
					<disj>
						<var>g_6_1_2_4_3</var>
						<var>o_2_3_1_3_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_5_5_4</var>
					</not>
					<disj>
						<not>
							<var>m_2_2_1_3</var>
						</not>
						<not>
							<var>o_2_1_3_2</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_5_5_4</var>
					<disj>
						<var>m_4_1_1_4</var>
						<var>m_4_2_3_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_3_1_2_1_1_3_3</var>
					</not>
					<disj>
						<not>
							<var>m_4_1_1_2_1</var>
						</not>
						<not>
							<var>o_1_4</var>
						</not>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_3_1_2_1</var>
					<disj>
						<var>m_6_1_5_1</var>
						<var>o_2_4_1_1</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_1_3_1_2_1</var>
					</not>
					<disj>
						<not>
							<var>g_2_1_1_6</var>
						</not>
						<var>m_2_5</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_2_2_1_6_2</var>
					<disj>
						<var>m_1_4_2_1_1</var>
						<var>m_4_1_1_4</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<var>g_1_1_3_2_3</var>
					<disj>
						<var>g_3_1_1_2_2</var>
						<var>o_1_5_3</var>
					</disj>
				</disj>
			</rule>
			<rule>
				<disj>
					<not>
						<var>g_4_4_4_2_4</var>
					</not>
					<disj>
						<var>g_6_1_2_2_3</var>
						<var>g_6_1_2_4_3</var>
					</disj>
				</disj>
			</rule>
		</constraints>
		<calculations Auto="true" Constraints="true" Features="true" Redundant="true" Tautology="true"/>
		<comments/>
		<featureOrder userDefined="false"/>
	</featureModel>
