as2.xml

<CSPIF VERSION="0.01">
<CSP>
<NAME>Untitled</NAME>
<DESCRIPTION>
	<SHORT></SHORT>
	<DETAILED></DETAILED>
</DESCRIPTION>
<VARIABLE TYPE="Integer">
	<NAME>G</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7399.001, 5218.6123)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>H</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7690.4355, 5190.9116)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>C</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7809.3335, 5416.5767)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>D</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7753.044, 5599.556)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>E</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7459.3643, 5608.663)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>F</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7357.489, 5412.9585)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>A</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7404.186, 5067.337)</PROPERTY>
</VARIABLE>
<VARIABLE TYPE="Integer">
	<NAME>B</NAME>
	<VALUE>1</VALUE>
	<VALUE>2</VALUE>
	<VALUE>3</VALUE>
	<VALUE>4</VALUE>
	<PROPERTY>position = (7160.25, 5282.425)</PROPERTY>
</VARIABLE>
<CONSTRAINT TYPE="LessThan">
	<GIVEN>G</GIVEN>
	<GIVEN>H</GIVEN>
	<ARGS></ARGS>
	<PROPERTY>position = (7528.802, 5180.669)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>|G-C|=1</CUSTOMNAME>
	<GIVEN>G</GIVEN>
	<GIVEN>C</GIVEN>
	<TABLE>
		F T F F T F T F F T F T F F T F 
	</TABLE>
	<PROPERTY>position = (7656.288, 5344.5835)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>H-C is even</CUSTOMNAME>
	<GIVEN>H</GIVEN>
	<GIVEN>C</GIVEN>
	<TABLE>
		T F T F F T F T T F T F F T F T 
	</TABLE>
	<PROPERTY>position = (7853.619, 5237.767)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>H</GIVEN>
	<GIVEN>D</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7737.4043, 5286.3325)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="LessThan">
	<GIVEN>D</GIVEN>
	<GIVEN>G</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7507.174, 5361.6553)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>D</GIVEN>
	<GIVEN>C</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7861.7505, 5515.9834)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>E</GIVEN>
	<GIVEN>C</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7690.4355, 5472.0703)</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 = (7605.068, 5615.493)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>not(E=H-2)</CUSTOMNAME>
	<GIVEN>E</GIVEN>
	<GIVEN>H</GIVEN>
	<TABLE>
		T T F T T T T F T T T T T T T T 
	</TABLE>
	<PROPERTY>position = (7529.939, 5460.6875)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>G</GIVEN>
	<GIVEN>F</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7352.066, 5317.1724)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>F</GIVEN>
	<GIVEN>H</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7568.2954, 5237.7817)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>F</GIVEN>
	<GIVEN>C</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7644.905, 5403.771)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Equals">
	<GIVEN>F</GIVEN>
	<GIVEN>D</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7422.9414, 5485.7305)</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 = (7318.983, 5546.0493)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="LessThan">
	<GIVEN>A</GIVEN>
	<GIVEN>G</GIVEN>
	<ARGS>complement</ARGS>
	<PROPERTY>position = (7312.0337, 5145.49)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="Custom">
	<CUSTOMNAME>|F-B|=1</CUSTOMNAME>
	<GIVEN>B</GIVEN>
	<GIVEN>F</GIVEN>
	<TABLE>
		F T F F T F T F F T F T F F T F 
	</TABLE>
	<PROPERTY>position = (7215.291, 5388.159)</PROPERTY>
</CONSTRAINT>
<CONSTRAINT TYPE="LessThan">
	<GIVEN>A</GIVEN>
	<GIVEN>H</GIVEN>
	<ARGS></ARGS>
	<PROPERTY>position = (7546.2876, 5106.122)</PROPERTY>
</CONSTRAINT>
</CSP>
</CSPIF>