<CSPIF VERSION="0.01">
<CSP>
<NAME>Untitled</NAME>
<VARIABLE TYPE="Integer">
	<NAME>A</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7092.1426, 5085.0273)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>B</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7364.0, 5040.0)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>C</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7468.453, 5238.2485)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>D</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7419.0, 5399.0)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>E</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7161.0, 5407.0)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>F</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7071.5, 5235.0723)</PROPERTY>
</VARIABLE>
<CONSTRAINT TYPE="LessThan">
	<GIVEN>A</GIVEN>
	<GIVEN>B</GIVEN>
	<ARGS></ARGS>
	<PROPERTY>position = (7222.0, 5031.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>|A-C|=1</CUSTOMNAME>
	<GIVEN>A</GIVEN>
	<GIVEN>C</GIVEN>
	<TABLE>
		F T F F T F T F F T F T F F T F 
	</TABLE>
	<PROPERTY>position = (7334.0, 5175.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>B-C is even</CUSTOMNAME>
	<GIVEN>B</GIVEN>
	<GIVEN>C</GIVEN>
	<TABLE>
		T F T F F T F T T F T F F T F T 
	</TABLE>
	<PROPERTY>position = (7470.8335, 5112.8125)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>B</GIVEN>
	<GIVEN>D</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7415.0, 5164.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="GreaterThan">
	<GIVEN>D</GIVEN>
	<GIVEN>A</GIVEN>
	<ARGS></ARGS>
	<PROPERTY>position = (7203.0, 5190.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>D</GIVEN>
	<GIVEN>C</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7514.5, 5325.578)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>E</GIVEN>
	<GIVEN>C</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7364.0, 5287.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>E lt D-1</CUSTOMNAME>
	<GIVEN>E</GIVEN>
	<GIVEN>D</GIVEN>
	<TABLE>
		F F T T F F F T F F F F F F F F 
	</TABLE>
	<PROPERTY>position = (7289.0, 5413.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>not(E=B-2)</CUSTOMNAME>
	<GIVEN>E</GIVEN>
	<GIVEN>B</GIVEN>
	<TABLE>
		T T F T T T T F T T T T T T T T 
	</TABLE>
	<PROPERTY>position = (7223.0, 5277.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>A</GIVEN>
	<GIVEN>F</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7066.7354, 5150.9194)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>F</GIVEN>
	<GIVEN>B</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7236.0, 5097.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>F</GIVEN>
	<GIVEN>C</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7324.0, 5227.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>F</GIVEN>
	<GIVEN>D</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7129.0, 5299.0)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>E-F is odd</CUSTOMNAME>
	<GIVEN>F</GIVEN>
	<GIVEN>E</GIVEN>
	<TABLE>
		F T F T T F T F F T F T T F T F 
	</TABLE>
	<PROPERTY>position = (7077.849, 5342.253)</PROPERTY>
</CONSTRAINT>
</CSP>
</CSPIF>


