<instance>
   <presentation name="?" nbSolutions="at least 1" format="XCSP 2.0"/>
   <domains nbDomains="1">
	<domain name="D0" nbValues="2">
		0 1
	</domain>
   </domains>
   <variables nbVariables="4">
	<variable name="V0" domain="D0" />
	<variable name="V1" domain="D0" />
	<variable name="V2" domain="D0" />
	<variable name="V3" domain="D0" />
   </variables>
   <relations nbRelations="256">
<relation name="R0" number="?" arity="3" nbTuples="8" semantics="conflicts">
 0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>

// truth table may be omitted
<relation name="R1" number="?" arity="3" nbTuples="1" semantics="supports">
</relation>

<relation name="R1" number="?" arity="3" nbTuples="1" semantics="supports">
0 0 0
</relation>
<relation name="R2" number="?" arity="3" nbTuples="1" semantics="supports">
0 0 1
</relation>
<relation name="R3" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 0 0 1
</relation>
<relation name="R4" number="?" arity="3" nbTuples="1" semantics="supports">
0 1 0
</relation>
<relation name="R5" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 0 1 0
</relation>
<relation name="R6" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 1 | 0 1 0
</relation>
<relation name="R7" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0
</relation>
<relation name="R8" number="?" arity="3" nbTuples="1" semantics="supports">
0 1 1
</relation>
<relation name="R9" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 0 1 1
</relation>
<relation name="R10" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 1 | 0 1 1
</relation>
<relation name="R11" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1
</relation>
<relation name="R12" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 0 | 0 1 1
</relation>
<relation name="R13" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1
</relation>
<relation name="R14" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1
</relation>
<relation name="R15" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1
</relation>
<relation name="R16" number="?" arity="3" nbTuples="1" semantics="supports">
1 0 0
</relation>
<relation name="R17" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 1 0 0
</relation>
<relation name="R18" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 1 | 1 0 0
</relation>
<relation name="R19" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0
</relation>
<relation name="R20" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 0 | 1 0 0
</relation>
<relation name="R21" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0
</relation>
<relation name="R22" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0
</relation>
<relation name="R23" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0
</relation>
<relation name="R24" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 1 | 1 0 0
</relation>
<relation name="R25" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0
</relation>
<relation name="R26" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0
</relation>
<relation name="R27" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0
</relation>
<relation name="R28" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0
</relation>
<relation name="R29" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0
</relation>
<relation name="R30" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0
</relation>
<relation name="R31" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0
</relation>
<relation name="R32" number="?" arity="3" nbTuples="1" semantics="supports">
1 0 1
</relation>
<relation name="R33" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 1 0 1
</relation>
<relation name="R34" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 1 | 1 0 1
</relation>
<relation name="R35" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 0 1 | 1 0 1
</relation>
<relation name="R36" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 0 | 1 0 1
</relation>
<relation name="R37" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 0 | 1 0 1
</relation>
<relation name="R38" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 0 | 1 0 1
</relation>
<relation name="R39" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 1
</relation>
<relation name="R40" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 1 | 1 0 1
</relation>
<relation name="R41" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 1 | 1 0 1
</relation>
<relation name="R42" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 1 | 1 0 1
</relation>
<relation name="R43" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 1
</relation>
<relation name="R44" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 0 1 1 | 1 0 1
</relation>
<relation name="R45" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 1
</relation>
<relation name="R46" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 1
</relation>
<relation name="R47" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 1
</relation>
<relation name="R48" number="?" arity="3" nbTuples="2" semantics="supports">
1 0 0 | 1 0 1
</relation>
<relation name="R49" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 1 0 0 | 1 0 1
</relation>
<relation name="R50" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R51" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R52" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 1 0 0 | 1 0 1
</relation>
<relation name="R53" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 0 1
</relation>
<relation name="R54" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 0 1
</relation>
<relation name="R55" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 0 1
</relation>
<relation name="R56" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R57" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R58" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R59" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R60" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R61" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R62" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R63" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1
</relation>
<relation name="R64" number="?" arity="3" nbTuples="1" semantics="supports">
1 1 0
</relation>
<relation name="R65" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 1 1 0
</relation>
<relation name="R66" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 1 | 1 1 0
</relation>
<relation name="R67" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 0 1 | 1 1 0
</relation>
<relation name="R68" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 0 | 1 1 0
</relation>
<relation name="R69" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 0 | 1 1 0
</relation>
<relation name="R70" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 0 | 1 1 0
</relation>
<relation name="R71" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 1 0
</relation>
<relation name="R72" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 1 | 1 1 0
</relation>
<relation name="R73" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 1 | 1 1 0
</relation>
<relation name="R74" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 1 | 1 1 0
</relation>
<relation name="R75" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 1 0
</relation>
<relation name="R76" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 0 1 1 | 1 1 0
</relation>
<relation name="R77" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 1 0
</relation>
<relation name="R78" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 1 0
</relation>
<relation name="R79" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 1 0
</relation>
<relation name="R80" number="?" arity="3" nbTuples="2" semantics="supports">
1 0 0 | 1 1 0
</relation>
<relation name="R81" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 1 0 0 | 1 1 0
</relation>
<relation name="R82" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R83" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R84" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 1 0 0 | 1 1 0
</relation>
<relation name="R85" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 1 0
</relation>
<relation name="R86" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 1 0
</relation>
<relation name="R87" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 1 0
</relation>
<relation name="R88" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R89" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R90" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R91" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R92" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R93" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R94" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R95" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 0
</relation>
<relation name="R96" number="?" arity="3" nbTuples="2" semantics="supports">
1 0 1 | 1 1 0
</relation>
<relation name="R97" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R98" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R99" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R100" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R101" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R102" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R103" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R104" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R105" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R106" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R107" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R108" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R109" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R110" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R111" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 0
</relation>
<relation name="R112" number="?" arity="3" nbTuples="3" semantics="supports">
1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R113" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R114" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R115" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R116" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R117" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R118" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R119" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R120" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R121" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R122" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R123" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R124" number="?" arity="3" nbTuples="5" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R125" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R126" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R127" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0
</relation>
<relation name="R128" number="?" arity="3" nbTuples="1" semantics="supports">
1 1 1
</relation>
<relation name="R129" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 0 | 1 1 1
</relation>
<relation name="R130" number="?" arity="3" nbTuples="2" semantics="supports">
0 0 1 | 1 1 1
</relation>
<relation name="R131" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 0 1 | 1 1 1
</relation>
<relation name="R132" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 0 | 1 1 1
</relation>
<relation name="R133" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 0 | 1 1 1
</relation>
<relation name="R134" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 0 | 1 1 1
</relation>
<relation name="R135" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 1 1
</relation>
<relation name="R136" number="?" arity="3" nbTuples="2" semantics="supports">
0 1 1 | 1 1 1
</relation>
<relation name="R137" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 0 1 1 | 1 1 1
</relation>
<relation name="R138" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 0 1 1 | 1 1 1
</relation>
<relation name="R139" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 1 1
</relation>
<relation name="R140" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 0 1 1 | 1 1 1
</relation>
<relation name="R141" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 1 1
</relation>
<relation name="R142" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 1 1
</relation>
<relation name="R143" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 1 1
</relation>
<relation name="R144" number="?" arity="3" nbTuples="2" semantics="supports">
1 0 0 | 1 1 1
</relation>
<relation name="R145" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 1 0 0 | 1 1 1
</relation>
<relation name="R146" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R147" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R148" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 1 0 0 | 1 1 1
</relation>
<relation name="R149" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 1 1
</relation>
<relation name="R150" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 1 1
</relation>
<relation name="R151" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 1 1
</relation>
<relation name="R152" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R153" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R154" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R155" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R156" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R157" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R158" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R159" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 1
</relation>
<relation name="R160" number="?" arity="3" nbTuples="2" semantics="supports">
1 0 1 | 1 1 1
</relation>
<relation name="R161" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R162" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R163" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R164" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R165" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R166" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R167" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R168" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R169" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R170" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R171" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R172" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R173" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R174" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R175" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 1
</relation>
<relation name="R176" number="?" arity="3" nbTuples="3" semantics="supports">
1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R177" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R178" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R179" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R180" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R181" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R182" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R183" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R184" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R185" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R186" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R187" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R188" number="?" arity="3" nbTuples="5" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R189" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R190" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R191" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 1
</relation>
<relation name="R192" number="?" arity="3" nbTuples="2" semantics="supports">
1 1 0 | 1 1 1
</relation>
<relation name="R193" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R194" number="?" arity="3" nbTuples="3" semantics="supports">
0 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R195" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R196" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R197" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R198" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R199" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R200" number="?" arity="3" nbTuples="3" semantics="supports">
0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R201" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R202" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R203" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R204" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R205" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R206" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R207" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R208" number="?" arity="3" nbTuples="3" semantics="supports">
1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R209" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R210" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R211" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R212" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R213" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R214" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R215" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R216" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R217" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R218" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R219" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R220" number="?" arity="3" nbTuples="5" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R221" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R222" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R223" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 1 0 | 1 1 1
</relation>
<relation name="R224" number="?" arity="3" nbTuples="3" semantics="supports">
1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R225" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R226" number="?" arity="3" nbTuples="4" semantics="supports">
0 0 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R227" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 0 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R228" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R229" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R230" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R231" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R232" number="?" arity="3" nbTuples="4" semantics="supports">
0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R233" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R234" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R235" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R236" number="?" arity="3" nbTuples="5" semantics="supports">
0 1 0 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R237" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R238" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R239" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R240" number="?" arity="3" nbTuples="4" semantics="supports">
1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R241" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 0 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R242" number="?" arity="3" nbTuples="5" semantics="supports">
0 0 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R243" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 0 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R244" number="?" arity="3" nbTuples="5" semantics="supports">
0 1 0 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R245" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R246" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R247" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R248" number="?" arity="3" nbTuples="5" semantics="supports">
0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R249" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R250" number="?" arity="3" nbTuples="6" semantics="supports">
0 0 1 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R251" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 0 1 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R252" number="?" arity="3" nbTuples="6" semantics="supports">
0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R253" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 0 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R254" number="?" arity="3" nbTuples="7" semantics="supports">
0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
<relation name="R255" number="?" arity="3" nbTuples="8" semantics="supports">
0 0 0 | 0 0 1 | 0 1 0 | 0 1 1 | 1 0 0 | 1 0 1 | 1 1 0 | 1 1 1
</relation>
   </relations>
   <constraints nbConstraints="3">
      <constraint name="C0" arity="3" scope="V0 V1 V2" reference="R22"/>
      <constraint name="C1" arity="3" scope="V0    V2 V3" reference="R22"/>
      <constraint name="C2" arity="3" scope="V0 V1    V3" reference="R22"/>
   </constraints>
</instance>
