<?xml version="1.0" encoding="UTF-8"?>

<instance>
<presentation name="?" format="XCSP 2.0"/>

<domains nbDomains="5">
<domain name="D0" nbValues="44">16 30 44 58 72 86 100 114 128 142 156 254 268 282 296 310 324 338 352 366 380 394 414 428 442 456 470 484 498 512 526 540 554 652 666 680 694 708 722 736 750 764 778 792</domain>
<domain name="D1" nbValues="36">30 44 58 72 86 100 114 128 142 268 282 296 310 324 338 352 366 380 428 442 456 470 484 498 512 526 540 666 680 694 708 722 736 750 764 778</domain>
<domain name="D2" nbValues="22">16 30 44 58 72 86 100 114 128 142 156 254 268 282 296 310 324 338 352 366 380 394</domain>
<domain name="D3" nbValues="24">16 30 58 86 114 142 254 268 296 324 352 380 414 442 470 498 526 554 652 680 708 736 764 792</domain>
<domain name="D4" nbValues="6">142 170 240 380 408 478</domain>
</domains>

<variables nbVariables="680">
<variable name="V0" domain="D0"/>
<variable name="V1" domain="D0"/>
<variable name="V2" domain="D0"/>
<variable name="V29" domain="D1"/>
<variable name="V30" domain="D0"/>
<variable name="V31" domain="D0"/>
<variable name="V83" domain="D2"/>
<variable name="V84" domain="D0"/>
<variable name="V85" domain="D0"/>
<variable name="V86" domain="D3"/>
<variable name="V389" domain="D1"/>
<variable name="V390" domain="D0"/>
</variables>

<relations nbRelations="7">
<relation name="R0" arity="2" nbTuples="33" semantics="conflicts">0 0|1 1|2 2|3 3|4 4|5 5|6 6|7 7|8 8|9 9|10 10|11 11|12 12|13 13|14 14|15 15|16 16|17 17|18 18|19 19|20 20|21 21|22 22|23 23|24 24|25 25|26 26|28 28|29 29|30 30|31 31|32 32|35 35</relation>
<relation name="R1" arity="2" nbTuples="36" semantics="conflicts">0 0|1 1|2 2|3 3|4 4|5 5|6 6|7 7|8 8|9 9|10 10|11 11|12 12|13 13|14 14|15 15|16 16|17 17|18 18|19 19|20 20|21 21|22 22|23 23|24 24|25 25|26 26|27 27|28 28|29 29|30 30|31 31|32 32|33 33|34 34|35 35</relation>
<relation name="R2" arity="2" nbTuples="147" semantics="supports">0 8|0 13|1 9|1 12|1 14|2 6|2 10|2 13|2 15|3 7|3 11|3 14|3 16|4 8|4 15|4 17|5 9|5 16|6 2|6 14|6 19|7 3|7 15|7 18|7 20|8 0|8 4|8 12|8 16|8 19|8 21|9 1|9 5|9 13|9 17|9 20|9 22|10 2|10 14|10 21|10 23|11 3|11 15|11 22|12 1|12 8|12 20|12 25|13 0|13 2|13 9|13 21|13 24|13 26|14 1|14 3|14 6|14 10|14 18|14 22|14 25|15 2|15 4|15 7|15 11|15 19|15 23|15 26|15 28|16 3|16 5|16 8|16 20|16 29|17 4|17 9|17 21|17 28|18 7|18 14|18 26|18 31|19 6|19 8|19 15|19 30|19 32|20 7|20 9|20 12|20 16|20 24|20 28|20 31|21 8|21 10|21 13|21 17|21 25|21 29|21 32|22 9|22 11|22 14|22 26|22 35|23 10|23 15|24 13|24 20|24 32|25 12|25 14|25 21|26 13|26 15|26 18|26 22|26 30|27 14|27 16|27 19|27 23|27 31|27 35|28 15|28 17|28 20|28 32|29 16|29 21|30 19|30 26|31 18|31 20|32 19|32 21|32 24|32 28|33 20|33 22|33 25|33 29|34 21|34 23|34 26|35 22</relation>
</relations>


<predicates nbPredicates="2">
<predicate name="P0">
  <parameters>int X0 int X1 int X2</parameters>
  <expression> 
    <functional>gt(abs(sub(X0,X1)),X2)</functional>
  </expression>
</predicate>
<predicate name="P1">
  <parameters>int X0 int X1 int X2</parameters>
  <expression> 
    <functional>eq(abs(sub(X0,X1)),X2)</functional>
  </expression>
</predicate>
</predicates>



<constraints nbConstraints="4103">
<constraint name="C0" arity="2" scope="V0 V79" reference="P0">
  <parameters>V0 V79 56</parameters>
</constraint>
<constraint name="C1" arity="2" scope="V0 V98" reference="P0">
  <parameters>V0 V98 42</parameters>
</constraint>
<constraint name="C2" arity="2" scope="V0 V641" reference="P0">
  <parameters>V0 V641 42</parameters>
</constraint>
<constraint name="C3" arity="2" scope="V0 V664" reference="P0">
  <parameters>V0 V664 56</parameters>
</constraint>
<constraint name="C4" arity="2" scope="V0 V666" reference="P0">
  <parameters>V0 V666 56</parameters>
</constraint>

</constraints>


</instance>

